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-3687358-1337871905/watcher-3687358-1337871905 -o /tmp/evaluation-result-3687358-1337871905/solver-3687358-1337871905 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687358-1337871905.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.91 0.22 0.07 4/197 21476
/proc/meminfo: memFree=28540900/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21476/stat : 21476 (java) R 21474 21476 21231 0 -1 4202496 1099 0 0 0 0 0 0 0 20 0 1 0 253316304 23793664 827 33554432000 1073741824 1073778376 140737092964608 140737092953672 139986144620448 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 5809 843 635 9 0 128 0
[startup+0.020208 s]
/proc/loadavg: 0.91 0.22 0.07 4/197 21476
/proc/meminfo: memFree=28540900/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 2785 0 1 0 0 0 0 0 20 0 10 0 253316304 9233014784 2973 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2254154 2976 1535 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100271 s]
/proc/loadavg: 0.91 0.22 0.07 4/197 21476
/proc/meminfo: memFree=28540900/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 4425 0 1 0 9 1 0 0 20 0 18 0 253316304 9787813888 6134 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2389603 6134 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.30019 s]
/proc/loadavg: 0.91 0.22 0.07 4/197 21476
/proc/meminfo: memFree=28540900/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 5490 0 1 0 45 1 0 0 20 0 18 0 253316304 9787813888 8258 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2389603 8258 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412
[startup+0.700259 s]
/proc/loadavg: 0.91 0.22 0.07 4/197 21476
/proc/meminfo: memFree=28540900/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9558412 CPUtime=1.49 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 13474 0 1 0 142 7 0 0 20 0 18 0 253316304 9787813888 45247 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2389603 45247 2246 9 0 2380296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9558412
[startup+1.50075 s]
/proc/loadavg: 0.91 0.22 0.07 4/215 21494
/proc/meminfo: memFree=28350252/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9558412 CPUtime=2.51 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 13742 0 1 0 235 16 0 0 20 0 18 0 253316304 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2389603 86846 2246 9 0 2380296 0
[pid=21476/tid=21477] ppid=21474 vsize=9558412 CPUtime=1.37 cores=1,3,5,7
/proc/21476/task/21477/stat : 21477 (java) R 21474 21476 21231 0 -1 4202560 2605 0 1 0 131 6 0 0 20 0 18 0 253316305 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139986140970440 139986013911820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21479] ppid=21474 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21476/task/21479/stat : 21479 (java) S 21474 21476 21231 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985984961064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21480] ppid=21474 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/21476/task/21480/stat : 21480 (java) S 21474 21476 21231 0 -1 4202560 19 0 0 0 4 1 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985983908264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21481] ppid=21474 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/21476/task/21481/stat : 21481 (java) S 21474 21476 21231 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985982855464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21482] ppid=21474 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21476/task/21482/stat : 21482 (java) S 21474 21476 21231 0 -1 4202560 21 0 0 0 2 2 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985981802664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21483] ppid=21474 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21476/task/21483/stat : 21483 (java) S 21474 21476 21231 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985980750888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21484] ppid=21474 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21476/task/21484/stat : 21484 (java) S 21474 21476 21231 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985979698088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21485] ppid=21474 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21476/task/21485/stat : 21485 (java) S 21474 21476 21231 0 -1 4202560 19 0 0 0 4 0 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985978645288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21486] ppid=21474 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21476/task/21486/stat : 21486 (java) S 21474 21476 21231 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 18 0 253316306 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985977592488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21487] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21487/stat : 21487 (java) S 21474 21476 21231 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253316307 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985965181416 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21488] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21488/stat : 21488 (java) S 21474 21476 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253316307 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985964127480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21489] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21489/stat : 21489 (java) S 21474 21476 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253316307 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985963074568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21490] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21490/stat : 21490 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316310 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985962023056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21491] ppid=21474 vsize=9558412 CPUtime=0.35 cores=1,3,5,7
/proc/21476/task/21491/stat : 21491 (java) S 21474 21476 21231 0 -1 4202560 4899 0 0 0 33 2 0 0 20 0 18 0 253316310 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985960971192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21492] ppid=21474 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/21476/task/21492/stat : 21492 (java) S 21474 21476 21231 0 -1 4202560 4750 0 0 0 37 1 0 0 20 0 18 0 253316310 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985959918392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21493] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21493/stat : 21493 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316310 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985958865784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21494] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21494/stat : 21494 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316310 9787813888 86846 33554432000 1073741824 1073778376 140737092964608 139985957813192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 9558412
[startup+3.10079 s]
/proc/loadavg: 0.91 0.22 0.07 4/215 21494
/proc/meminfo: memFree=28103688/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9558412 CPUtime=4.6 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 14557 0 1 0 427 33 0 0 20 0 18 0 253316304 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2389603 165208 2246 9 0 2380296 0
[pid=21476/tid=21477] ppid=21474 vsize=9558412 CPUtime=2.8 cores=1,3,5,7
/proc/21476/task/21477/stat : 21477 (java) R 21474 21476 21231 0 -1 4202560 2715 0 1 0 270 10 0 0 20 0 18 0 253316305 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139986140969992 139986013911828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21479] ppid=21474 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/21476/task/21479/stat : 21479 (java) S 21474 21476 21231 0 -1 4202560 42 0 0 0 9 3 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985984961064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21480] ppid=21474 vsize=9558412 CPUtime=0.16 cores=1,3,5,7
/proc/21476/task/21480/stat : 21480 (java) S 21474 21476 21231 0 -1 4202560 68 0 0 0 12 4 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985983908264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21481] ppid=21474 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21476/task/21481/stat : 21481 (java) S 21474 21476 21231 0 -1 4202560 56 0 0 0 8 2 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985982855464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21482] ppid=21474 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21476/task/21482/stat : 21482 (java) S 21474 21476 21231 0 -1 4202560 64 0 0 0 8 2 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985981802664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21483] ppid=21474 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21476/task/21483/stat : 21483 (java) S 21474 21476 21231 0 -1 4202560 31 0 0 0 6 3 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985980750888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21484] ppid=21474 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21476/task/21484/stat : 21484 (java) S 21474 21476 21231 0 -1 4202560 41 0 0 0 8 2 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985979698088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21485] ppid=21474 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/21476/task/21485/stat : 21485 (java) S 21474 21476 21231 0 -1 4202560 177 0 0 0 9 2 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985978645288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21486] ppid=21474 vsize=9558412 CPUtime=0.12 cores=1,3,5,7
/proc/21476/task/21486/stat : 21486 (java) S 21474 21476 21231 0 -1 4202560 53 0 0 0 10 2 0 0 20 0 18 0 253316306 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985977592488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21487] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21487/stat : 21487 (java) S 21474 21476 21231 0 -1 4202560 486 0 0 0 0 0 0 0 20 0 18 0 253316307 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985965181416 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21488] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21488/stat : 21488 (java) S 21474 21476 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253316307 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985964127480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21489] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21489/stat : 21489 (java) S 21474 21476 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253316307 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985963074568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21490] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21490/stat : 21490 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316310 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985962023056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21491] ppid=21474 vsize=9558412 CPUtime=0.35 cores=1,3,5,7
/proc/21476/task/21491/stat : 21491 (java) S 21474 21476 21231 0 -1 4202560 4899 0 0 0 33 2 0 0 20 0 18 0 253316310 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985960971192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21492] ppid=21474 vsize=9558412 CPUtime=0.38 cores=1,3,5,7
/proc/21476/task/21492/stat : 21492 (java) S 21474 21476 21231 0 -1 4202560 4750 0 0 0 37 1 0 0 20 0 18 0 253316310 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985959918392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21493] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21493/stat : 21493 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316310 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985958865784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21494] ppid=21474 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21494/stat : 21494 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253316310 9787813888 165208 33554432000 1073741824 1073778376 140737092964608 139985957813192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 9558412
[startup+6.30071 s]
/proc/loadavg: 1.00 0.25 0.08 11/215 21494
/proc/meminfo: memFree=27238624/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9824668 CPUtime=9.71 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 24417 0 1 0 904 67 0 0 20 0 22 0 253316304 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2456167 324250 2263 9 0 2446860 0
[pid=21476/tid=21477] ppid=21474 vsize=9824668 CPUtime=5.52 cores=1,3,5,7
/proc/21476/task/21477/stat : 21477 (java) S 21474 21476 21231 0 -1 4202560 3423 0 1 0 532 20 0 0 20 0 22 0 253316305 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139986140972024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21479] ppid=21474 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21476/task/21479/stat : 21479 (java) S 21474 21476 21231 0 -1 4202560 69 0 0 0 18 5 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985984961064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21480] ppid=21474 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/21476/task/21480/stat : 21480 (java) S 21474 21476 21231 0 -1 4202560 108 0 0 0 26 7 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985983908264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21481] ppid=21474 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/21476/task/21481/stat : 21481 (java) S 21474 21476 21231 0 -1 4202560 220 0 0 0 33 7 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985982855464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21482] ppid=21474 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/21476/task/21482/stat : 21482 (java) S 21474 21476 21231 0 -1 4202560 96 0 0 0 22 5 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985981802664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21483] ppid=21474 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/21476/task/21483/stat : 21483 (java) S 21474 21476 21231 0 -1 4202560 59 0 0 0 14 4 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985980750888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21484] ppid=21474 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21476/task/21484/stat : 21484 (java) S 21474 21476 21231 0 -1 4202560 82 0 0 0 18 5 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985979698088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21485] ppid=21474 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/21476/task/21485/stat : 21485 (java) S 21474 21476 21231 0 -1 4202560 204 0 0 0 21 5 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985978645288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21486] ppid=21474 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/21476/task/21486/stat : 21486 (java) S 21474 21476 21231 0 -1 4202560 115 0 0 0 31 7 0 0 20 0 22 0 253316306 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985977592488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21487] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21487/stat : 21487 (java) S 21474 21476 21231 0 -1 4202560 514 0 0 0 0 0 0 0 20 0 22 0 253316307 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985965181416 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21488] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21488/stat : 21488 (java) S 21474 21476 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253316307 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985964127480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21489] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21489/stat : 21489 (java) S 21474 21476 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253316307 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985963074568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21490] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21490/stat : 21490 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316310 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985962023056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21491] ppid=21474 vsize=9824668 CPUtime=0.78 cores=1,3,5,7
/proc/21476/task/21491/stat : 21491 (java) R 21474 21476 21231 0 -1 4202560 7014 0 0 0 75 3 0 0 20 0 22 0 253316310 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985960958168 139986143838048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21492] ppid=21474 vsize=9824668 CPUtime=0.76 cores=1,3,5,7
/proc/21476/task/21492/stat : 21492 (java) R 21474 21476 21231 0 -1 4202560 11227 0 0 0 73 3 0 0 20 0 22 0 253316310 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985959895640 139986147945828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21493] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21493/stat : 21493 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316310 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985958865784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21494] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21494/stat : 21494 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316310 10060460032 324250 33554432000 1073741824 1073778376 140737092964608 139985957813192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (KiB) 9824668
Solver just ended. Dumping a history of the last processes samples
[startup+6.40087 s]
/proc/loadavg: 1.00 0.25 0.08 11/215 21494
/proc/meminfo: memFree=27238624/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9824668 CPUtime=10.12 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 25925 0 1 0 944 68 0 0 20 0 22 0 253316304 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2456167 324186 2267 9 0 2446860 0
[pid=21476/tid=21477] ppid=21474 vsize=9824668 CPUtime=5.52 cores=1,3,5,7
/proc/21476/task/21477/stat : 21477 (java) S 21474 21476 21231 0 -1 4202560 3423 0 1 0 532 20 0 0 20 0 22 0 253316305 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139986140972024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21479] ppid=21474 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21476/task/21479/stat : 21479 (java) S 21474 21476 21231 0 -1 4202560 69 0 0 0 18 5 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985984961064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21480] ppid=21474 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/21476/task/21480/stat : 21480 (java) S 21474 21476 21231 0 -1 4202560 108 0 0 0 26 7 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985983908264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21481] ppid=21474 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/21476/task/21481/stat : 21481 (java) S 21474 21476 21231 0 -1 4202560 220 0 0 0 33 7 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985982855464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21482] ppid=21474 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/21476/task/21482/stat : 21482 (java) S 21474 21476 21231 0 -1 4202560 96 0 0 0 22 5 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985981802664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21483] ppid=21474 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/21476/task/21483/stat : 21483 (java) S 21474 21476 21231 0 -1 4202560 59 0 0 0 14 4 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985980750888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21484] ppid=21474 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21476/task/21484/stat : 21484 (java) S 21474 21476 21231 0 -1 4202560 82 0 0 0 18 5 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985979698088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21485] ppid=21474 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/21476/task/21485/stat : 21485 (java) S 21474 21476 21231 0 -1 4202560 204 0 0 0 21 5 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985978645288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21486] ppid=21474 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/21476/task/21486/stat : 21486 (java) S 21474 21476 21231 0 -1 4202560 115 0 0 0 31 7 0 0 20 0 22 0 253316306 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985977592488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21487] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21487/stat : 21487 (java) S 21474 21476 21231 0 -1 4202560 514 0 0 0 0 0 0 0 20 0 22 0 253316307 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985965181416 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21488] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21488/stat : 21488 (java) S 21474 21476 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253316307 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985964127480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21489] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21489/stat : 21489 (java) S 21474 21476 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253316307 10060460032 324186 33554432000 1073741824 1073778376 140737092964608 139985963074568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21490] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21490/stat : 21490 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316310 10060460032 324190 33554432000 1073741824 1073778376 140737092964608 139985962023056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21491] ppid=21474 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/21476/task/21491/stat : 21491 (java) R 21474 21476 21231 0 -1 4202560 7452 0 0 0 85 3 0 0 20 0 22 0 253316310 10060460032 324209 33554432000 1073741824 1073778376 140737092964608 139985960958168 139986144548450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21492] ppid=21474 vsize=9824668 CPUtime=0.86 cores=1,3,5,7
/proc/21476/task/21492/stat : 21492 (java) R 21474 21476 21231 0 -1 4202560 12319 0 0 0 83 3 0 0 20 0 22 0 253316310 10060460032 324227 33554432000 1073741824 1073778376 140737092964608 139985959895640 139986144548458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21493] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21493/stat : 21493 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316310 10060460032 324245 33554432000 1073741824 1073778376 140737092964608 139985958865784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21494] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21494/stat : 21494 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253316310 10060460032 324264 33554432000 1073741824 1073778376 140737092964608 139985957813192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.12
Current children cumulated vsize (KiB) 9824668
[startup+6.60071 s]
/proc/loadavg: 1.00 0.25 0.08 3/216 21498
/proc/meminfo: memFree=27183640/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=9824668 CPUtime=10.59 cores=1,3,5,7
/proc/21476/stat : 21476 (java) S 21474 21476 21231 0 -1 4202496 27436 0 1 0 989 70 0 0 20 0 19 0 253316304 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 140737092955744 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 2456167 324147 2273 9 0 2446860 0
[pid=21476/tid=21477] ppid=21474 vsize=9824668 CPUtime=5.52 cores=1,3,5,7
/proc/21476/task/21477/stat : 21477 (java) S 21474 21476 21231 0 -1 4202560 3423 0 1 0 532 20 0 0 20 0 19 0 253316305 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139986140972024 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21479] ppid=21474 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21476/task/21479/stat : 21479 (java) S 21474 21476 21231 0 -1 4202560 69 0 0 0 18 5 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985984961064 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21480] ppid=21474 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/21476/task/21480/stat : 21480 (java) S 21474 21476 21231 0 -1 4202560 108 0 0 0 26 7 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985983908264 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21481] ppid=21474 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/21476/task/21481/stat : 21481 (java) S 21474 21476 21231 0 -1 4202560 220 0 0 0 33 7 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985982855464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21482] ppid=21474 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/21476/task/21482/stat : 21482 (java) S 21474 21476 21231 0 -1 4202560 96 0 0 0 22 5 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985981802664 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21483] ppid=21474 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/21476/task/21483/stat : 21483 (java) S 21474 21476 21231 0 -1 4202560 59 0 0 0 14 4 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985980750888 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21484] ppid=21474 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/21476/task/21484/stat : 21484 (java) S 21474 21476 21231 0 -1 4202560 82 0 0 0 18 5 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985979698088 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21485] ppid=21474 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/21476/task/21485/stat : 21485 (java) S 21474 21476 21231 0 -1 4202560 204 0 0 0 21 5 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985978645288 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21476/tid=21486] ppid=21474 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/21476/task/21486/stat : 21486 (java) S 21474 21476 21231 0 -1 4202560 115 0 0 0 31 7 0 0 20 0 19 0 253316306 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985977592488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21487] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21487/stat : 21487 (java) S 21474 21476 21231 0 -1 4202560 514 0 0 0 0 0 0 0 20 0 19 0 253316307 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985965181416 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21488] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21488/stat : 21488 (java) S 21474 21476 21231 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316307 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985964127480 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21489] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21489/stat : 21489 (java) S 21474 21476 21231 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316307 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985963074568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21490] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21490/stat : 21490 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316310 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985962023056 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21491] ppid=21474 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/21476/task/21491/stat : 21491 (java) S 21474 21476 21231 0 -1 4202560 8189 0 0 0 102 3 0 0 20 0 19 0 253316310 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985960971192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21476/tid=21492] ppid=21474 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/21476/task/21492/stat : 21492 (java) S 21474 21476 21231 0 -1 4202560 13067 0 0 0 100 3 0 0 20 0 19 0 253316310 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985959918392 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21493] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21493/stat : 21493 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316310 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985958865784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21476/tid=21494] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21494/stat : 21494 (java) S 21474 21476 21231 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316310 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985957813192 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21476/tid=21498] ppid=21474 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21498/stat : 21498 (java) S 21474 21476 21231 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316923 10060460032 324147 33554432000 1073741824 1073778376 140737092964608 139985953600296 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 9824668
[startup+6.70724 s]
/proc/loadavg: 1.00 0.25 0.08 3/216 21498
/proc/meminfo: memFree=27183640/32873844 swapFree=7104/7104
[pid=21476] ppid=21474 vsize=0 CPUtime=10.7 cores=1,3,5,7
/proc/21476/stat : 21476 (java) Z 21474 21476 21231 0 -1 4203532 27447 0 1 0 985 85 0 0 20 0 2 0 253316304 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21476/statm: 0 0 0 0 0 0 0
[pid=21476/tid=21490] ppid=21474 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/21476/task/21490/stat : 21490 (java) R 21474 21476 21231 0 -1 4203588 8 0 0 0 0 0 0 0 20 0 2 0 253316310 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.7
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 6.71024
CPU time (s): 10.7014
CPU user time (s): 9.8515
CPU system time (s): 0.84987
CPU usage (%): 159.478
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.8515
system time used= 0.84987
maximum resident set size= 1298392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27447
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= 707
involuntary context switches= 1391
runsolver used 0.020996 second user time and 0.066989 second system time
The end