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-3734251-1338691280/watcher-3734251-1338691280 -o /tmp/evaluation-result-3734251-1338691280/solver-3734251-1338691280 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734251-1338691280.opb
running on 4 cores: 0,2,4,6
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: 3.83 3.78 3.69 4/197 5923
/proc/meminfo: memFree=23194168/32873844 swapFree=7628/7628
[pid=5923] ppid=5921 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/5923/stat : 5923 (java) S 5921 5923 442 0 -1 4202496 1175 0 0 0 0 0 0 0 20 0 2 0 335252330 91889664 894 33554432000 1073741824 1073778376 140734278431328 140734278422464 254753669181 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5923/statm: 22434 894 678 9 0 16769 0
[pid=5923/tid=5924] ppid=5921 vsize=91880 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5924/stat : 5924 (java) R 5921 5923 442 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 2 0 335252331 94085120 906 33554432000 1073741824 1073778376 140734278431328 140734278420392 254741147527 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.072081 s]
/proc/loadavg: 3.83 3.78 3.69 4/197 5923
/proc/meminfo: memFree=23194168/32873844 swapFree=7628/7628
[pid=5923] ppid=5921 vsize=11586364 CPUtime=0.06 cores=0,2,4,6
/proc/5923/stat : 5923 (java) S 5921 5923 442 0 -1 4202496 4409 0 1 0 4 2 0 0 20 0 18 0 335252330 11864436736 12771 33554432000 1073741824 1073778376 140734278431328 140734278422464 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5923/statm: 2896591 12771 1757 9 0 2887285 0
[pid=5923/tid=5924] ppid=5921 vsize=11586364 CPUtime=0.05 cores=0,2,4,6
/proc/5923/task/5924/stat : 5924 (java) R 5921 5923 442 0 -1 4202560 3199 0 1 0 3 2 0 0 20 0 18 0 335252331 11864436736 12771 33554432000 1073741824 1073778376 140734278431328 139903020075680 254753694989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586364
[startup+0.100291 s]
/proc/loadavg: 3.83 3.78 3.69 4/197 5923
/proc/meminfo: memFree=23194168/32873844 swapFree=7628/7628
[pid=5923] ppid=5921 vsize=11586392 CPUtime=0.1 cores=0,2,4,6
/proc/5923/stat : 5923 (java) S 5921 5923 442 0 -1 4202496 5246 0 1 0 8 2 0 0 20 0 18 0 335252330 11864465408 13594 33554432000 1073741824 1073778376 140734278431328 140734278422464 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5923/statm: 2896598 13594 2116 9 0 2887285 0
[pid=5923/tid=5924] ppid=5921 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/5923/task/5924/stat : 5924 (java) R 5921 5923 442 0 -1 4202560 3294 0 1 0 5 2 0 0 20 0 18 0 335252331 11864465408 13594 33554432000 1073741824 1073778376 140734278431328 139903020073720 139903024591073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300193 s]
/proc/loadavg: 3.83 3.78 3.69 4/197 5923
/proc/meminfo: memFree=23194168/32873844 swapFree=7628/7628
[pid=5923] ppid=5921 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/5923/stat : 5923 (java) S 5921 5923 442 0 -1 4202496 8911 0 1 0 64 3 0 0 20 0 22 0 335252330 12137111552 18252 33554432000 1073741824 1073778376 140734278431328 140734278422464 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5923/statm: 2963162 18252 2227 9 0 2953849 0
[pid=5923/tid=5924] ppid=5921 vsize=11852648 CPUtime=0.15 cores=0,2,4,6
/proc/5923/task/5924/stat : 5924 (java) S 5921 5923 442 0 -1 4202560 3368 0 1 0 13 2 0 0 20 0 22 0 335252331 12137111552 18252 33554432000 1073741824 1073778376 140734278431328 139903020074136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 11852648
[startup+0.7003 s]
/proc/loadavg: 3.83 3.78 3.69 4/197 5923
/proc/meminfo: memFree=23194168/32873844 swapFree=7628/7628
[pid=5923] ppid=5921 vsize=11852648 CPUtime=0.89 cores=0,2,4,6
/proc/5923/stat : 5923 (java) S 5921 5923 442 0 -1 4202496 10545 0 1 0 84 5 0 0 20 0 19 0 335252330 12137111552 20495 33554432000 1073741824 1073778376 140734278431328 140734278422464 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5923/statm: 2963162 20495 2233 9 0 2953849 0
[pid=5923/tid=5924] ppid=5921 vsize=11852648 CPUtime=0.15 cores=0,2,4,6
/proc/5923/task/5924/stat : 5924 (java) S 5921 5923 442 0 -1 4202560 3368 0 1 0 13 2 0 0 20 0 19 0 335252331 12137111552 20495 33554432000 1073741824 1073778376 140734278431328 139903020074136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 11852648
[startup+1.50072 s]
/proc/loadavg: 3.83 3.78 3.69 3/216 5948
/proc/meminfo: memFree=23120224/32873844 swapFree=7628/7628
[pid=5923] ppid=5921 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/5923/stat : 5923 (java) S 5921 5923 442 0 -1 4202496 17528 0 1 0 151 7 0 0 20 0 20 0 335252330 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 140734278422464 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5923/statm: 2963162 32766 2247 9 0 2953849 0
[pid=5923/tid=5924] ppid=5921 vsize=11852648 CPUtime=0.15 cores=0,2,4,6
/proc/5923/task/5924/stat : 5924 (java) S 5921 5923 442 0 -1 4202560 3369 0 1 0 13 2 0 0 20 0 20 0 335252331 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139903020074136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5926] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5926/stat : 5926 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902995479208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5927] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5927/stat : 5927 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902994426664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5923/tid=5928] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5928/stat : 5928 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902993374120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5923/tid=5929] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5929/stat : 5929 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902992321576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5930] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5930/stat : 5930 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902991268008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5931] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5931/stat : 5931 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902851533096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5932] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5932/stat : 5932 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902850480552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5933] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5933/stat : 5933 (java) S 5921 5923 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902849428008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5934] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5934/stat : 5934 (java) S 5921 5923 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335252334 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902837230184 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5935] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5935/stat : 5935 (java) S 5921 5923 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 335252335 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902836176504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5936] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5936/stat : 5936 (java) S 5921 5923 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335252335 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902835123848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5937] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5937/stat : 5937 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902834072592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5938] ppid=5921 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/5923/task/5938/stat : 5938 (java) S 5921 5923 442 0 -1 4202560 6803 0 0 0 48 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902833018936 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5939] ppid=5921 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/5923/task/5939/stat : 5939 (java) S 5921 5923 442 0 -1 4202560 6004 0 0 0 42 1 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902831966392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5923/tid=5940] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5940/stat : 5940 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902830914040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5923/tid=5941] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5941/stat : 5941 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902829861704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5944] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5944/stat : 5944 (java) S 5921 5923 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335252348 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902826702376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.60091 s]
/proc/loadavg: 3.83 3.78 3.69 3/216 5948
/proc/meminfo: memFree=23120224/32873844 swapFree=7628/7628
[pid=5923] ppid=5921 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/5923/stat : 5923 (java) S 5921 5923 442 0 -1 4202496 17528 0 1 0 151 7 0 0 20 0 20 0 335252330 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 140734278422464 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5923/statm: 2963162 32766 2247 9 0 2953849 0
[pid=5923/tid=5924] ppid=5921 vsize=11852648 CPUtime=0.15 cores=0,2,4,6
/proc/5923/task/5924/stat : 5924 (java) S 5921 5923 442 0 -1 4202560 3369 0 1 0 13 2 0 0 20 0 20 0 335252331 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139903020074136 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5926] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5926/stat : 5926 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902995479208 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5927] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5927/stat : 5927 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902994426664 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5923/tid=5928] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5928/stat : 5928 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902993374120 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5923/tid=5929] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5929/stat : 5929 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902992321576 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5930] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5930/stat : 5930 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902991268008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5931] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5931/stat : 5931 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902851533096 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5932] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5932/stat : 5932 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902850480552 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5933] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5933/stat : 5933 (java) S 5921 5923 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 335252333 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902849428008 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5934] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5934/stat : 5934 (java) S 5921 5923 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 335252334 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902837230184 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5935] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5935/stat : 5935 (java) S 5921 5923 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 335252335 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902836176504 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5936] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5936/stat : 5936 (java) S 5921 5923 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335252335 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902835123848 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5937] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5937/stat : 5937 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902834072592 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5938] ppid=5921 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/5923/task/5938/stat : 5938 (java) S 5921 5923 442 0 -1 4202560 6803 0 0 0 48 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902833018936 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5923/tid=5939] ppid=5921 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/5923/task/5939/stat : 5939 (java) S 5921 5923 442 0 -1 4202560 6004 0 0 0 42 1 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902831966392 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5923/tid=5940] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5940/stat : 5940 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902830914040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5923/tid=5941] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5941/stat : 5941 (java) S 5921 5923 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 335252337 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902829861704 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5923/tid=5944] ppid=5921 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/5923/task/5944/stat : 5944 (java) S 5921 5923 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 335252348 12137111552 32766 33554432000 1073741824 1073778376 140734278431328 139902826702376 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.68854
CPU time (s): 1.62375
CPU user time (s): 1.52077
CPU system time (s): 0.102984
CPU usage (%): 96.1633
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.52077
system time used= 0.102984
maximum resident set size= 133120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17534
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= 324
involuntary context switches= 56
runsolver used 0.012998 second user time and 0.014997 second system time
The end