runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand348.cudf.s-e-l-s.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/incremental/s-e-l-s/rand348.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand348.cudf.s-e-l-s.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.01 1.02 1.00 5/37 11187
/proc/meminfo: memFree=371628/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2568 CPUtime=0
/proc/11186/stat : 11186 (p2cudf) R 11185 11185 4778 34817 4778 4202496 345 0 0 0 0 0 0 0 25 0 1 0 10559013 2629632 271 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11186/statm: 642 271 231 194 0 29 0
[pid=11187] ppid=11186 vsize=2568 CPUtime=0
/proc/11187/stat : 11187 (p2cudf) R 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10559013 2629632 40 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11187/statm: 642 40 0 194 0 29 0

[startup+0.195802 s]
/proc/loadavg: 1.01 1.02 1.00 5/37 11187
/proc/meminfo: memFree=371628/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.205792 s]
/proc/loadavg: 1.01 1.02 1.00 5/37 11187
/proc/meminfo: memFree=371628/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.305813 s]
/proc/loadavg: 1.01 1.02 1.00 5/37 11187
/proc/meminfo: memFree=371628/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.705894 s]
/proc/loadavg: 1.01 1.02 1.00 5/37 11187
/proc/meminfo: memFree=371628/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+1.50605 s]
/proc/loadavg: 1.01 1.02 1.00 5/47 11208
/proc/meminfo: memFree=314312/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=898408 CPUtime=1.47
/proc/11199/stat : 11199 (java) S 11186 11185 4778 34817 4778 4202496 25280 0 1 0 138 9 0 0 25 0 10 0 10559016 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 224602 21655 1719 10 0 221693 0
[pid=11199/tid=11200] ppid=11186 vsize=898408 CPUtime=0.79
/proc/11199/task/11200/stat : 11200 (java) R 11186 11185 4778 34817 4778 4202560 10679 0 1 0 77 2 0 0 25 0 10 0 10559017 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4149175530 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11199/tid=11201] ppid=11186 vsize=898408 CPUtime=0
/proc/11199/task/11201/stat : 11201 (java) S 11186 11185 4778 34817 4778 4202560 7 0 0 0 0 0 0 0 17 0 10 0 10559019 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11202] ppid=11186 vsize=898408 CPUtime=0
/proc/11199/task/11202/stat : 11202 (java) S 11186 11185 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10559019 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11203] ppid=11186 vsize=898408 CPUtime=0
/proc/11199/task/11203/stat : 11203 (java) S 11186 11185 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10559019 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11204] ppid=11186 vsize=898408 CPUtime=0
/proc/11199/task/11204/stat : 11204 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10559022 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11205] ppid=11186 vsize=898408 CPUtime=0.45
/proc/11199/task/11205/stat : 11205 (java) R 11186 11185 4778 34817 4778 4202560 8947 0 0 0 38 7 0 0 25 0 10 0 10559022 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11199/tid=11206] ppid=11186 vsize=898408 CPUtime=0.22
/proc/11199/task/11206/stat : 11206 (java) S 11186 11185 4778 34817 4778 4202560 4576 0 0 0 22 0 0 0 22 0 10 0 10559022 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11207] ppid=11186 vsize=898408 CPUtime=0
/proc/11199/task/11207/stat : 11207 (java) S 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10559022 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11208] ppid=11186 vsize=898408 CPUtime=0
/proc/11199/task/11208/stat : 11208 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10559022 919969792 21655 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 903544

[startup+3.10638 s]
/proc/loadavg: 1.09 1.03 1.01 2/47 11208
/proc/meminfo: memFree=229124/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=896368 CPUtime=3.07
/proc/11199/stat : 11199 (java) S 11186 11185 4778 34817 4778 4202496 79325 0 1 0 278 29 0 0 25 0 10 0 10559016 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 224092 74578 1732 10 0 221183 0
[pid=11199/tid=11200] ppid=11186 vsize=896368 CPUtime=1.65
/proc/11199/task/11200/stat : 11200 (java) R 11186 11185 4778 34817 4778 4202560 50003 0 1 0 147 18 0 0 25 0 10 0 10559017 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4095358208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11199/tid=11201] ppid=11186 vsize=896368 CPUtime=0.28
/proc/11199/task/11201/stat : 11201 (java) S 11186 11185 4778 34817 4778 4202560 13290 0 0 0 25 3 0 0 16 0 10 0 10559019 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11202] ppid=11186 vsize=896368 CPUtime=0
/proc/11199/task/11202/stat : 11202 (java) S 11186 11185 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10559019 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11203] ppid=11186 vsize=896368 CPUtime=0
/proc/11199/task/11203/stat : 11203 (java) S 11186 11185 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10559019 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11204] ppid=11186 vsize=896368 CPUtime=0
/proc/11199/task/11204/stat : 11204 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10559022 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11205] ppid=11186 vsize=896368 CPUtime=0.51
/proc/11199/task/11205/stat : 11205 (java) S 11186 11185 4778 34817 4778 4202560 8987 0 0 0 44 7 0 0 25 0 10 0 10559022 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11206] ppid=11186 vsize=896368 CPUtime=0.6
/proc/11199/task/11206/stat : 11206 (java) S 11186 11185 4778 34817 4778 4202560 5972 0 0 0 60 0 0 0 15 0 10 0 10559022 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11207] ppid=11186 vsize=896368 CPUtime=0
/proc/11199/task/11207/stat : 11207 (java) S 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 10559022 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11208] ppid=11186 vsize=896368 CPUtime=0
/proc/11199/task/11208/stat : 11208 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10559022 917880832 74578 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 901504

[startup+6.3072 s]
/proc/loadavg: 1.09 1.03 1.01 4/48 11209
/proc/meminfo: memFree=20432/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=896752 CPUtime=6.25
/proc/11199/stat : 11199 (java) S 11186 11185 4778 34817 4778 4202496 96299 0 1 0 592 33 0 0 25 0 11 0 10559016 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 224188 89309 1778 10 0 221279 0
[pid=11199/tid=11200] ppid=11186 vsize=896752 CPUtime=2.97
/proc/11199/task/11200/stat : 11200 (java) R 11186 11185 4778 34817 4778 4202560 50277 0 1 0 279 18 0 0 25 0 11 0 10559017 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4096186132 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11199/tid=11201] ppid=11186 vsize=896752 CPUtime=0.63
/proc/11199/task/11201/stat : 11201 (java) S 11186 11185 4778 34817 4778 4202560 27520 0 0 0 56 7 0 0 16 0 11 0 10559019 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11202] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11202/stat : 11202 (java) S 11186 11185 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10559019 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11203] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11203/stat : 11203 (java) S 11186 11185 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10559019 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11204] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11204/stat : 11204 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11205] ppid=11186 vsize=896752 CPUtime=0.51
/proc/11199/task/11205/stat : 11205 (java) S 11186 11185 4778 34817 4778 4202560 8987 0 0 0 44 7 0 0 25 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11206] ppid=11186 vsize=896752 CPUtime=2.11
/proc/11199/task/11206/stat : 11206 (java) S 11186 11185 4778 34817 4778 4202560 8438 0 0 0 211 0 0 0 15 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11207] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11207/stat : 11207 (java) S 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11208] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11208/stat : 11208 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11209] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11209/stat : 11209 (java) S 11186 11185 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10559543 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 901888

Solver just ended. Dumping a history of the last processes samples

[startup+6.40722 s]
/proc/loadavg: 1.09 1.03 1.01 4/48 11209
/proc/meminfo: memFree=20432/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=896752 CPUtime=6.35
/proc/11199/stat : 11199 (java) S 11186 11185 4778 34817 4778 4202496 96299 0 1 0 602 33 0 0 25 0 11 0 10559016 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 224188 89309 1778 10 0 221279 0
[pid=11199/tid=11200] ppid=11186 vsize=896752 CPUtime=3.07
/proc/11199/task/11200/stat : 11200 (java) R 11186 11185 4778 34817 4778 4202560 50277 0 1 0 289 18 0 0 25 0 11 0 10559017 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4096069350 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11199/tid=11201] ppid=11186 vsize=896752 CPUtime=0.63
/proc/11199/task/11201/stat : 11201 (java) S 11186 11185 4778 34817 4778 4202560 27520 0 0 0 56 7 0 0 16 0 11 0 10559019 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11202] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11202/stat : 11202 (java) S 11186 11185 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10559019 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11203] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11203/stat : 11203 (java) S 11186 11185 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10559019 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11204] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11204/stat : 11204 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11205] ppid=11186 vsize=896752 CPUtime=0.51
/proc/11199/task/11205/stat : 11205 (java) S 11186 11185 4778 34817 4778 4202560 8987 0 0 0 44 7 0 0 25 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11206] ppid=11186 vsize=896752 CPUtime=2.11
/proc/11199/task/11206/stat : 11206 (java) S 11186 11185 4778 34817 4778 4202560 8438 0 0 0 211 0 0 0 15 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11207] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11207/stat : 11207 (java) S 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11208] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11208/stat : 11208 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10559022 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11209] ppid=11186 vsize=896752 CPUtime=0
/proc/11199/task/11209/stat : 11209 (java) S 11186 11185 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10559543 918274048 89309 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 901888

[startup+7.10749 s]
/proc/loadavg: 1.08 1.03 1.00 2/48 11209
/proc/meminfo: memFree=20308/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=894736 CPUtime=7.05
/proc/11199/stat : 11199 (java) S 11186 11185 4778 34817 4778 4202496 96325 0 1 0 672 33 0 0 25 0 11 0 10559016 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 223684 88837 1782 10 0 220775 0
[pid=11199/tid=11200] ppid=11186 vsize=894736 CPUtime=3.55
/proc/11199/task/11200/stat : 11200 (java) R 11186 11185 4778 34817 4778 4202560 50277 0 1 0 337 18 0 0 25 0 11 0 10559017 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4096186250 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11199/tid=11201] ppid=11186 vsize=894736 CPUtime=0.63
/proc/11199/task/11201/stat : 11201 (java) S 11186 11185 4778 34817 4778 4202560 27520 0 0 0 56 7 0 0 15 0 11 0 10559019 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11202] ppid=11186 vsize=894736 CPUtime=0
/proc/11199/task/11202/stat : 11202 (java) S 11186 11185 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10559019 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11203] ppid=11186 vsize=894736 CPUtime=0
/proc/11199/task/11203/stat : 11203 (java) S 11186 11185 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10559019 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11204] ppid=11186 vsize=894736 CPUtime=0
/proc/11199/task/11204/stat : 11204 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10559022 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11205] ppid=11186 vsize=894736 CPUtime=0.51
/proc/11199/task/11205/stat : 11205 (java) S 11186 11185 4778 34817 4778 4202560 8987 0 0 0 44 7 0 0 25 0 11 0 10559022 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11206] ppid=11186 vsize=894736 CPUtime=2.33
/proc/11199/task/11206/stat : 11206 (java) S 11186 11185 4778 34817 4778 4202560 8464 0 0 0 233 0 0 0 15 0 11 0 10559022 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11207] ppid=11186 vsize=894736 CPUtime=0
/proc/11199/task/11207/stat : 11207 (java) S 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10559022 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11208] ppid=11186 vsize=894736 CPUtime=0
/proc/11199/task/11208/stat : 11208 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10559022 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11209] ppid=11186 vsize=894736 CPUtime=0
/proc/11199/task/11209/stat : 11209 (java) S 11186 11185 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10559543 916209664 88837 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 899872

[startup+7.50618 s]
/proc/loadavg: 1.08 1.03 1.00 2/48 11209
/proc/meminfo: memFree=20308/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=895060 CPUtime=7.11
/proc/11199/stat : 11199 (java) S 11186 11185 4778 34817 4778 4202496 96338 0 1 0 678 33 0 0 25 0 11 0 10559016 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 223765 88850 1783 10 0 220856 0
[pid=11199/tid=11200] ppid=11186 vsize=895060 CPUtime=3.6
/proc/11199/task/11200/stat : 11200 (java) S 11186 11185 4778 34817 4778 4202560 50285 0 1 0 342 18 0 0 25 0 11 0 10559017 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11201] ppid=11186 vsize=895060 CPUtime=0.64
/proc/11199/task/11201/stat : 11201 (java) S 11186 11185 4778 34817 4778 4202560 27520 0 0 0 57 7 0 0 16 0 11 0 10559019 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11202] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11202/stat : 11202 (java) S 11186 11185 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10559019 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11203] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11203/stat : 11203 (java) S 11186 11185 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10559019 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11204] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11204/stat : 11204 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10559022 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11205] ppid=11186 vsize=895060 CPUtime=0.51
/proc/11199/task/11205/stat : 11205 (java) S 11186 11185 4778 34817 4778 4202560 8987 0 0 0 44 7 0 0 25 0 11 0 10559022 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11206] ppid=11186 vsize=895060 CPUtime=2.33
/proc/11199/task/11206/stat : 11206 (java) S 11186 11185 4778 34817 4778 4202560 8464 0 0 0 233 0 0 0 15 0 11 0 10559022 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11207] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11207/stat : 11207 (java) S 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10559022 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11208] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11208/stat : 11208 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10559022 916541440 88850 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 900196

[startup+7.70828 s]
/proc/loadavg: 1.08 1.03 1.00 1/48 11210
/proc/meminfo: memFree=21672/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=895060 CPUtime=7.15
/proc/11199/stat : 11199 (java) S 11186 11185 4778 34817 4778 4202496 96341 0 1 0 682 33 0 0 25 0 11 0 10559016 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 223765 88853 1783 10 0 220856 0
[pid=11199/tid=11200] ppid=11186 vsize=895060 CPUtime=3.6
/proc/11199/task/11200/stat : 11200 (java) S 11186 11185 4778 34817 4778 4202560 50285 0 1 0 342 18 0 0 25 0 11 0 10559017 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11201] ppid=11186 vsize=895060 CPUtime=0.64
/proc/11199/task/11201/stat : 11201 (java) S 11186 11185 4778 34817 4778 4202560 27520 0 0 0 57 7 0 0 16 0 11 0 10559019 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11202] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11202/stat : 11202 (java) S 11186 11185 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10559019 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11203] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11203/stat : 11203 (java) S 11186 11185 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10559019 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11204] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11204/stat : 11204 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10559022 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11205] ppid=11186 vsize=895060 CPUtime=0.51
/proc/11199/task/11205/stat : 11205 (java) S 11186 11185 4778 34817 4778 4202560 8987 0 0 0 44 7 0 0 25 0 11 0 10559022 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11206] ppid=11186 vsize=895060 CPUtime=2.34
/proc/11199/task/11206/stat : 11206 (java) S 11186 11185 4778 34817 4778 4202560 8467 0 0 0 234 0 0 0 15 0 11 0 10559022 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11207] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11207/stat : 11207 (java) S 11186 11185 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 11 0 10559022 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11208] ppid=11186 vsize=895060 CPUtime=0
/proc/11199/task/11208/stat : 11208 (java) S 11186 11185 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 10559022 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=11199/tid=11210] ppid=11186 vsize=895060 CPUtime=0.03
/proc/11199/task/11210/stat : 11210 (java) R 11186 11185 4778 34817 4778 4202560 4 0 0 0 3 0 0 0 20 0 11 0 10559729 916541440 88853 1283457024 134512640 134550932 4286605520 18446744073709551615 4095050993 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 900196

[startup+7.80242 s]
/proc/loadavg: 1.08 1.03 1.00 1/48 11210
/proc/meminfo: memFree=21672/1048576 swapFree=0/0
[pid=11185] ppid=11184 vsize=2564 CPUtime=0
/proc/11185/stat : 11185 (p2cudf-paranoid) S 11184 11185 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10559013 2625536 270 1283457024 134512640 135304128 4288830528 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11185/statm: 641 270 230 194 0 28 0
[pid=11186] ppid=11185 vsize=2572 CPUtime=0.02
/proc/11186/stat : 11186 (p2cudf) S 11185 11185 4778 34817 4778 4202496 388 3014 0 1 0 0 2 0 25 0 1 0 10559013 2633728 280 1283457024 134512640 135304128 4292247440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11186/statm: 643 280 239 194 0 30 0
[pid=11199] ppid=11186 vsize=0 CPUtime=7.22
/proc/11199/stat : 11199 (java) Z 11186 11185 4778 34817 4778 4203532 96348 0 1 0 685 37 0 0 18 0 2 0 10559016 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11199/statm: 0 0 0 0 0 0 0
[pid=11199/tid=11200] ppid=11186 vsize=0 CPUtime=3.62
/proc/11199/task/11200/stat : 11200 (java) R 11186 11185 4778 34817 4778 4203588 50285 0 1 0 342 20 0 0 19 0 2 0 10559017 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 5136

Child status: 0
Real time (s): 7.81276
CPU time (s): 7.26845
CPU user time (s): 6.87243
CPU system time (s): 0.396024
CPU usage (%): 93.0331
Max. virtual memory (cumulated for all children) (KiB): 905952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.87243
system time used= 0.396024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100146
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 856
involuntary context switches= 845

runsolver used 0 second user time and 0.012 second system time

The end