runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687243-1337871889/watcher-3687243-1337871889 -o /tmp/evaluation-result-3687243-1337871889/solver-3687243-1337871889 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687243-1337871889.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 3/192 21614
/proc/meminfo: memFree=29453232/32873624 swapFree=7104/7104
[pid=21614] ppid=21612 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/21614/stat : 21614 (java) S 21612 21614 21495 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 2 0 253314396 98635776 960 33554432000 1073741824 1073778376 140736584559440 140736584550576 227515859005 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 24081 962 730 9 0 16771 0
[pid=21614/tid=21615] ppid=21612 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21615/stat : 21615 (java) R 21612 21614 21495 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 2 0 253314397 98570240 970 33554432000 1073741824 1073778376 140736584559440 140578927717928 227512501136 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0463791 s]
/proc/loadavg: 0.08 0.02 0.01 3/192 21614
/proc/meminfo: memFree=29453232/32873624 swapFree=7104/7104
[pid=21614] ppid=21612 vsize=9558380 CPUtime=0.03 cores=1,3,5,7
/proc/21614/stat : 21614 (java) S 21612 21614 21495 0 -1 4202496 3159 0 1 0 3 0 0 0 20 0 18 0 253314396 9787781120 4369 33554432000 1073741824 1073778376 140736584559440 140736584550576 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 2389595 4369 1744 9 0 2380296 0
[pid=21614/tid=21615] ppid=21612 vsize=9558380 CPUtime=0.02 cores=1,3,5,7
/proc/21614/task/21615/stat : 21615 (java) R 21612 21614 21495 0 -1 4202560 1950 0 1 0 2 0 0 0 20 0 18 0 253314397 9787781120 4369 33554432000 1073741824 1073778376 140736584559440 140578927725216 227515884813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9558380
[startup+0.10027 s]
/proc/loadavg: 0.08 0.02 0.01 3/192 21614
/proc/meminfo: memFree=29453232/32873624 swapFree=7104/7104
[pid=21614] ppid=21612 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/21614/stat : 21614 (java) S 21612 21614 21495 0 -1 4202496 4479 0 1 0 11 1 0 0 20 0 18 0 253314396 9787813888 6113 33554432000 1073741824 1073778376 140736584559440 140736584550576 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 2389603 6113 2149 9 0 2380296 0
[pid=21614/tid=21615] ppid=21612 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/21614/task/21615/stat : 21615 (java) R 21612 21614 21495 0 -1 4202560 2430 0 1 0 8 0 0 0 20 0 18 0 253314397 9787813888 6113 33554432000 1073741824 1073778376 140736584559440 140578927721392 227515884813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558412
[startup+0.300243 s]
/proc/loadavg: 0.08 0.02 0.01 3/192 21614
/proc/meminfo: memFree=29453232/32873624 swapFree=7104/7104
[pid=21614] ppid=21612 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/21614/stat : 21614 (java) S 21612 21614 21495 0 -1 4202496 6871 0 1 0 53 1 0 0 20 0 19 0 253314396 9855975424 8080 33554432000 1073741824 1073778376 140736584559440 140736584550576 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 2406244 8080 2233 9 0 2396937 0
[pid=21614/tid=21615] ppid=21612 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/21614/task/21615/stat : 21615 (java) R 21612 21614 21495 0 -1 4202560 2449 0 1 0 28 0 0 0 20 0 19 0 253314397 9855975424 8080 33554432000 1073741824 1073778376 140736584559440 140578927723280 140578792937392 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9624976
[startup+0.700267 s]
/proc/loadavg: 0.08 0.02 0.01 3/192 21614
/proc/meminfo: memFree=29453232/32873624 swapFree=7104/7104
[pid=21614] ppid=21612 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/21614/stat : 21614 (java) S 21612 21614 21495 0 -1 4202496 7214 0 1 0 105 1 0 0 20 0 19 0 253314396 9855975424 10183 33554432000 1073741824 1073778376 140736584559440 140736584550576 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 2406244 10183 2268 9 0 2396937 0
[pid=21614/tid=21615] ppid=21612 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/21614/task/21615/stat : 21615 (java) R 21612 21614 21495 0 -1 4202560 2454 0 1 0 66 0 0 0 20 0 19 0 253314397 9855975424 10183 33554432000 1073741824 1073778376 140736584559440 140578927722904 140578793097820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+1.10667 s]
/proc/loadavg: 0.08 0.02 0.01 3/211 21633
/proc/meminfo: memFree=29418956/32873624 swapFree=7104/7104
[pid=21614] ppid=21612 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/21614/stat : 21614 (java) S 21612 21614 21495 0 -1 4202496 7224 0 1 0 149 1 0 0 20 0 19 0 253314396 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140736584550576 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 2406244 10191 2269 9 0 2396937 0
[pid=21614/tid=21615] ppid=21612 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/21614/task/21615/stat : 21615 (java) R 21612 21614 21495 0 -1 4202560 2454 0 1 0 104 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578927722904 140578793097088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21617] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21617/stat : 21617 (java) S 21612 21614 21495 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578916784424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21618] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21618/stat : 21618 (java) S 21612 21614 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578915731624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21619] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21619/stat : 21619 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578914679336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21620] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21620/stat : 21620 (java) S 21612 21614 21495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578913626536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21621] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21621/stat : 21621 (java) S 21612 21614 21495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578912574248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21622] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21622/stat : 21622 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578911521448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21623] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21623/stat : 21623 (java) S 21612 21614 21495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578765093928 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21624] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21624/stat : 21624 (java) S 21612 21614 21495 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578764041128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21625] ppid=21612 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21614/task/21625/stat : 21625 (java) S 21612 21614 21495 0 -1 4202560 29 0 0 0 2 0 0 0 20 0 19 0 253314398 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578751842536 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21614/tid=21626] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21626/stat : 21626 (java) S 21612 21614 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314399 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578750788600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21627] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21627/stat : 21627 (java) S 21612 21614 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314399 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578749736200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21628] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21628/stat : 21628 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314401 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578748684688 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21629] ppid=21612 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/21614/task/21629/stat : 21629 (java) S 21612 21614 21495 0 -1 4202560 1210 0 0 0 16 0 0 0 20 0 19 0 253314401 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578747632312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21630] ppid=21612 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/21614/task/21630/stat : 21630 (java) S 21612 21614 21495 0 -1 4202560 2314 0 0 0 21 0 0 0 20 0 19 0 253314401 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578746579512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21631] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21631/stat : 21631 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314401 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578745527416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21614/tid=21632] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21632/stat : 21632 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314401 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578744474824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21633] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21633/stat : 21633 (java) S 21612 21614 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314411 9855975424 10191 33554432000 1073741824 1073778376 140736584559440 140578743419816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9624976
[startup+1.30068 s]
/proc/loadavg: 0.08 0.02 0.01 3/211 21633
/proc/meminfo: memFree=29418956/32873624 swapFree=7104/7104
[pid=21614] ppid=21612 vsize=9624976 CPUtime=1.7 cores=1,3,5,7
/proc/21614/stat : 21614 (java) S 21612 21614 21495 0 -1 4202496 7229 0 1 0 169 1 0 0 20 0 19 0 253314396 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140736584550576 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21614/statm: 2406244 10706 2269 9 0 2396937 0
[pid=21614/tid=21615] ppid=21612 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/21614/task/21615/stat : 21615 (java) R 21612 21614 21495 0 -1 4202560 2455 0 1 0 122 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578927722904 140578793109471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21617] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21617/stat : 21617 (java) S 21612 21614 21495 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578916784424 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21618] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21618/stat : 21618 (java) S 21612 21614 21495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578915731624 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21619] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21619/stat : 21619 (java) S 21612 21614 21495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578914679336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21620] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21620/stat : 21620 (java) S 21612 21614 21495 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578913626536 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21621] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21621/stat : 21621 (java) S 21612 21614 21495 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578912574248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21622] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21622/stat : 21622 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578911521448 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21614/tid=21623] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21623/stat : 21623 (java) S 21612 21614 21495 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578765093928 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21624] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21624/stat : 21624 (java) S 21612 21614 21495 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253314397 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578764041128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21625] ppid=21612 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21614/task/21625/stat : 21625 (java) S 21612 21614 21495 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 253314398 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578751842536 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21614/tid=21626] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21626/stat : 21626 (java) S 21612 21614 21495 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253314399 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578750788600 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21627] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21627/stat : 21627 (java) S 21612 21614 21495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253314399 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578749736200 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21628] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21628/stat : 21628 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314401 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578748684688 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21629] ppid=21612 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/21614/task/21629/stat : 21629 (java) S 21612 21614 21495 0 -1 4202560 1210 0 0 0 16 0 0 0 20 0 19 0 253314401 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578747632312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21614/tid=21630] ppid=21612 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/21614/task/21630/stat : 21630 (java) S 21612 21614 21495 0 -1 4202560 2314 0 0 0 21 0 0 0 20 0 19 0 253314401 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578746579512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21631] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21631/stat : 21631 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314401 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578745527416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21614/tid=21632] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21632/stat : 21632 (java) S 21612 21614 21495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253314401 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578744474824 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21614/tid=21633] ppid=21612 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21614/task/21633/stat : 21633 (java) S 21612 21614 21495 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253314411 9855975424 10706 33554432000 1073741824 1073778376 140736584559440 140578743419816 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 9624976
Child status: 20
Real time (s): 1.33515
CPU time (s): 1.72274
CPU user time (s): 1.68074
CPU system time (s): 0.041993
CPU usage (%): 129.03
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.68074
system time used= 0.041993
maximum resident set size= 42892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7250
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 386
involuntary context switches= 103
runsolver used 0.003999 second user time and 0.003999 second system time
The end