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-3709881-1338151076/watcher-3709881-1338151076 -o /tmp/evaluation-result-3709881-1338151076/solver-3709881-1338151076 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709881-1338151076.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: 2.07 2.08 2.03 2/194 4602
/proc/meminfo: memFree=28867668/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4602/stat : 4602 (java) R 4600 4602 32120 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 281233007 9515008 183 33554432000 1073741824 1073778376 140736530663184 140736530654216 270707357927 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2323 184 142 9 0 71 0
[startup+0.0751639 s]
/proc/loadavg: 2.07 2.08 2.03 2/194 4602
/proc/meminfo: memFree=28867668/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 3356 0 1 0 4 0 0 0 20 0 18 0 281233007 9787842560 4564 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2389610 4567 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440
[startup+0.10027 s]
/proc/loadavg: 2.07 2.08 2.03 2/194 4602
/proc/meminfo: memFree=28867668/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 4264 0 1 0 8 0 0 0 20 0 18 0 281233007 9787842560 5982 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2389610 5982 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440
[startup+0.300227 s]
/proc/loadavg: 2.07 2.08 2.03 2/194 4602
/proc/meminfo: memFree=28867668/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=0.51 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 6150 0 1 0 50 1 0 0 20 0 19 0 281233007 9856004096 8906 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 8906 2239 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625004
[startup+0.700213 s]
/proc/loadavg: 2.07 2.08 2.03 2/194 4602
/proc/meminfo: memFree=28867668/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 6228 0 1 0 101 1 0 0 20 0 19 0 281233007 9856004096 10482 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 10482 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9625004
[startup+1.50069 s]
/proc/loadavg: 2.07 2.08 2.03 3/213 4621
/proc/meminfo: memFree=28830144/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=1.83 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 6236 0 1 0 182 1 0 0 20 0 19 0 281233007 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 13044 2242 9 0 2396937 0
[pid=4602/tid=4604] ppid=4600 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/4602/task/4604/stat : 4604 (java) R 4600 4602 32120 0 -1 4202560 2519 0 1 0 147 0 0 0 20 0 19 0 281233008 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139907448148584 139907301845536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4605] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4605/stat : 4605 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139907420601128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4606] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4606/stat : 4606 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139907290409640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4607] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4607/stat : 4607 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139907289357352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4608] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4608/stat : 4608 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139907288304552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4609] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4609/stat : 4609 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139907287251240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4610] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4610/stat : 4610 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139907286198440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4611] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4611/stat : 4611 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906949048872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4612] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4612/stat : 4612 (java) S 4600 4602 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906947996072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4613] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4613/stat : 4613 (java) S 4600 4602 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281233010 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906935798504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4614] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4614/stat : 4614 (java) S 4600 4602 32120 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906934744568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4615] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4615/stat : 4615 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906933692168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4616] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4616/stat : 4616 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906932640656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4617] ppid=4600 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/4602/task/4617/stat : 4617 (java) S 4600 4602 32120 0 -1 4202560 992 0 0 0 17 0 0 0 20 0 19 0 281233013 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906931587256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4618] ppid=4600 vsize=9625004 CPUtime=0.16 cores=0,2,4,6
/proc/4602/task/4618/stat : 4618 (java) S 4600 4602 32120 0 -1 4202560 1531 0 0 0 16 0 0 0 20 0 19 0 281233013 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906930534456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4619] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4619/stat : 4619 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906929482360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4620] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4620/stat : 4620 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906928429768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4621] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4621/stat : 4621 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233029 9856004096 13044 33554432000 1073741824 1073778376 140734220790608 139906927375784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9625004
[startup+3.10069 s]
/proc/loadavg: 2.07 2.08 2.03 4/213 4621
/proc/meminfo: memFree=28817360/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=3.51 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 6785 0 1 0 349 2 0 0 20 0 19 0 281233007 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 25412 2275 9 0 2396937 0
[pid=4602/tid=4604] ppid=4600 vsize=9625004 CPUtime=3.04 cores=0,2,4,6
/proc/4602/task/4604/stat : 4604 (java) R 4600 4602 32120 0 -1 4202560 2531 0 1 0 303 1 0 0 20 0 19 0 281233008 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139907448148360 139907301891118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4605] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4605/stat : 4605 (java) S 4600 4602 32120 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139907420601128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4606] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4606/stat : 4606 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139907290409640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4607] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4607/stat : 4607 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139907289357352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4608] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4608/stat : 4608 (java) S 4600 4602 32120 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139907288304552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4609] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4609/stat : 4609 (java) S 4600 4602 32120 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139907287251240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4610] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4610/stat : 4610 (java) S 4600 4602 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139907286198440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4611] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4611/stat : 4611 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906949048872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4612] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4612/stat : 4612 (java) S 4600 4602 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906947996072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4613] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4613/stat : 4613 (java) S 4600 4602 32120 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 19 0 281233010 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906935798504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4614] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4614/stat : 4614 (java) S 4600 4602 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906934744568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4615] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4615/stat : 4615 (java) S 4600 4602 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906933692168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4616] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4616/stat : 4616 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906932640656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4617] ppid=4600 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/4602/task/4617/stat : 4617 (java) S 4600 4602 32120 0 -1 4202560 1449 0 0 0 22 0 0 0 20 0 19 0 281233013 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906931587256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4618] ppid=4600 vsize=9625004 CPUtime=0.17 cores=0,2,4,6
/proc/4602/task/4618/stat : 4618 (java) S 4600 4602 32120 0 -1 4202560 1535 0 0 0 17 0 0 0 20 0 19 0 281233013 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906930534456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4619] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4619/stat : 4619 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906929482360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4620] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4620/stat : 4620 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906928429768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4621] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4621/stat : 4621 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233029 9856004096 25412 33554432000 1073741824 1073778376 140734220790608 139906927375784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9625004
[startup+6.30061 s]
/proc/loadavg: 2.07 2.08 2.03 3/213 4621
/proc/meminfo: memFree=28773856/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=6.82 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 7333 0 1 0 674 8 0 0 20 0 19 0 281233007 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 35510 2275 9 0 2396937 0
[pid=4602/tid=4604] ppid=4600 vsize=9625004 CPUtime=6.21 cores=0,2,4,6
/proc/4602/task/4604/stat : 4604 (java) R 4600 4602 32120 0 -1 4202560 2533 0 1 0 619 2 0 0 20 0 19 0 281233008 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139907448148272 139907301972386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4605] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4605/stat : 4605 (java) S 4600 4602 32120 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139907420601128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4606] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4606/stat : 4606 (java) S 4600 4602 32120 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139907290409640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4607] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4607/stat : 4607 (java) S 4600 4602 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139907289357352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4608] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4608/stat : 4608 (java) S 4600 4602 32120 0 -1 4202560 96 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139907288304552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4609] ppid=4600 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/4602/task/4609/stat : 4609 (java) S 4600 4602 32120 0 -1 4202560 148 0 0 0 0 1 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139907287251240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4610] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4610/stat : 4610 (java) S 4600 4602 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139907286198440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4611] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4611/stat : 4611 (java) S 4600 4602 32120 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906949048872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4612] ppid=4600 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/4602/task/4612/stat : 4612 (java) S 4600 4602 32120 0 -1 4202560 155 0 0 0 0 1 0 0 20 0 19 0 281233009 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906947996072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4613] ppid=4600 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/4602/task/4613/stat : 4613 (java) S 4600 4602 32120 0 -1 4202560 41 0 0 0 1 0 0 0 20 0 19 0 281233010 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906935798504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4614] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4614/stat : 4614 (java) S 4600 4602 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906934744568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4615] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4615/stat : 4615 (java) S 4600 4602 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906933692168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4616] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4616/stat : 4616 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906932640656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4617] ppid=4600 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/4602/task/4617/stat : 4617 (java) S 4600 4602 32120 0 -1 4202560 1449 0 0 0 24 0 0 0 20 0 19 0 281233013 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906931587256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4618] ppid=4600 vsize=9625004 CPUtime=0.19 cores=0,2,4,6
/proc/4602/task/4618/stat : 4618 (java) S 4600 4602 32120 0 -1 4202560 1538 0 0 0 19 0 0 0 20 0 19 0 281233013 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906930534456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4619] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4619/stat : 4619 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906929482360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4620] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4620/stat : 4620 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906928429768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4621] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4621/stat : 4621 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233029 9856004096 35510 33554432000 1073741824 1073778376 140734220790608 139906927375784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=4602/tid=4610] ppid=4600 vsize=9625004 CPUtime=2.88 cores=0,2,4,6
/proc/4602/task/4610/stat : 4610 (java) S 4600 4602 32120 0 -1 4202560 1083 0 0 0 276 12 0 0 20 0 19 0 281233009 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139907286198440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4611] ppid=4600 vsize=9625004 CPUtime=2.89 cores=0,2,4,6
/proc/4602/task/4611/stat : 4611 (java) S 4600 4602 32120 0 -1 4202560 872 0 0 0 275 14 0 0 20 0 19 0 281233009 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906949048872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4612] ppid=4600 vsize=9625004 CPUtime=3.1 cores=0,2,4,6
/proc/4602/task/4612/stat : 4612 (java) S 4600 4602 32120 0 -1 4202560 1202 0 0 0 294 16 0 0 20 0 19 0 281233009 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906947996072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4613] ppid=4600 vsize=9625004 CPUtime=4.05 cores=0,2,4,6
/proc/4602/task/4613/stat : 4613 (java) S 4600 4602 32120 0 -1 4202560 940 0 0 0 400 5 0 0 20 0 19 0 281233010 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906935798504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4614] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4614/stat : 4614 (java) S 4600 4602 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906934744568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4615] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4615/stat : 4615 (java) S 4600 4602 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906933692168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4616] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4616/stat : 4616 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906932640656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4617] ppid=4600 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/4602/task/4617/stat : 4617 (java) S 4600 4602 32120 0 -1 4202560 1449 0 0 0 24 0 0 0 20 0 19 0 281233013 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906931587256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4618] ppid=4600 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/4602/task/4618/stat : 4618 (java) S 4600 4602 32120 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 281233013 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906930534456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4619] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4619/stat : 4619 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906929482360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4620] ppid=4600 vsize=9625004 CPUtime=0.55 cores=0,2,4,6
/proc/4602/task/4620/stat : 4620 (java) S 4600 4602 32120 0 -1 4202560 93 0 0 0 26 29 0 0 20 0 19 0 281233013 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906928429768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4621] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4621/stat : 4621 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233029 9856004096 216200 33554432000 1073741824 1073778376 140734220790608 139906927375784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1620.35
Current children cumulated vsize (KiB) 9625004
[startup+1662.3 s]
/proc/loadavg: 2.15 2.15 2.06 3/212 4717
/proc/meminfo: memFree=27435252/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=1681.56 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 16587 0 1 0 167991 165 0 0 20 0 19 0 281233007 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 225942 2276 9 0 2396937 0
[pid=4602/tid=4604] ppid=4600 vsize=9625004 CPUtime=1650.76 cores=0,2,4,6
/proc/4602/task/4604/stat : 4604 (java) R 4600 4602 32120 0 -1 4202560 2852 0 1 0 165046 30 0 0 20 0 19 0 281233008 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139907448147328 139907301845562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4605] ppid=4600 vsize=9625004 CPUtime=3.27 cores=0,2,4,6
/proc/4602/task/4605/stat : 4605 (java) S 4600 4602 32120 0 -1 4202560 977 0 0 0 312 15 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139907420601128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4606] ppid=4600 vsize=9625004 CPUtime=3.27 cores=0,2,4,6
/proc/4602/task/4606/stat : 4606 (java) S 4600 4602 32120 0 -1 4202560 1533 0 0 0 313 14 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139907290409640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4607] ppid=4600 vsize=9625004 CPUtime=3.22 cores=0,2,4,6
/proc/4602/task/4607/stat : 4607 (java) S 4600 4602 32120 0 -1 4202560 906 0 0 0 307 15 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139907289357352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4608] ppid=4600 vsize=9625004 CPUtime=3.18 cores=0,2,4,6
/proc/4602/task/4608/stat : 4608 (java) S 4600 4602 32120 0 -1 4202560 399 0 0 0 302 16 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139907288304552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4609] ppid=4600 vsize=9625004 CPUtime=3.21 cores=0,2,4,6
/proc/4602/task/4609/stat : 4609 (java) S 4600 4602 32120 0 -1 4202560 1002 0 0 0 303 18 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139907287251240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4610] ppid=4600 vsize=9625004 CPUtime=3.13 cores=0,2,4,6
/proc/4602/task/4610/stat : 4610 (java) S 4600 4602 32120 0 -1 4202560 1386 0 0 0 300 13 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139907286198440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4611] ppid=4600 vsize=9625004 CPUtime=3.12 cores=0,2,4,6
/proc/4602/task/4611/stat : 4611 (java) S 4600 4602 32120 0 -1 4202560 1095 0 0 0 297 15 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906949048872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4612] ppid=4600 vsize=9625004 CPUtime=3.29 cores=0,2,4,6
/proc/4602/task/4612/stat : 4612 (java) S 4600 4602 32120 0 -1 4202560 1208 0 0 0 312 17 0 0 20 0 19 0 281233009 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906947996072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4613] ppid=4600 vsize=9625004 CPUtime=4.27 cores=0,2,4,6
/proc/4602/task/4613/stat : 4613 (java) S 4600 4602 32120 0 -1 4202560 958 0 0 0 422 5 0 0 20 0 19 0 281233010 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906935798504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4614] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4614/stat : 4614 (java) S 4600 4602 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906934744568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4615] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4615/stat : 4615 (java) S 4600 4602 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906933692168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4616] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4616/stat : 4616 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906932640656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4617] ppid=4600 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/4602/task/4617/stat : 4617 (java) S 4600 4602 32120 0 -1 4202560 1449 0 0 0 24 0 0 0 20 0 19 0 281233013 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906931587256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4618] ppid=4600 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/4602/task/4618/stat : 4618 (java) S 4600 4602 32120 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 281233013 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906930534456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4619] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4619/stat : 4619 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906929482360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4620] ppid=4600 vsize=9625004 CPUtime=0.58 cores=0,2,4,6
/proc/4602/task/4620/stat : 4620 (java) S 4600 4602 32120 0 -1 4202560 96 0 0 0 27 31 0 0 20 0 19 0 281233013 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906928429768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4621] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4621/stat : 4621 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233029 9856004096 225942 33554432000 1073741824 1073778376 140734220790608 139906927375784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1681.56
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.05 2.12 2.05 3/213 4718
/proc/meminfo: memFree=27469996/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=1742.36 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 16634 0 1 0 174069 167 0 0 20 0 19 0 281233007 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 227498 2276 9 0 2396937 0
[pid=4602/tid=4604] ppid=4600 vsize=9625004 CPUtime=1710.35 cores=0,2,4,6
/proc/4602/task/4604/stat : 4604 (java) R 4600 4602 32120 0 -1 4202560 2861 0 1 0 171005 30 0 0 20 0 19 0 281233008 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139907448147328 139907301861953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4605] ppid=4600 vsize=9625004 CPUtime=3.39 cores=0,2,4,6
/proc/4602/task/4605/stat : 4605 (java) S 4600 4602 32120 0 -1 4202560 996 0 0 0 324 15 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139907420601128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4606] ppid=4600 vsize=9625004 CPUtime=3.42 cores=0,2,4,6
/proc/4602/task/4606/stat : 4606 (java) S 4600 4602 32120 0 -1 4202560 1535 0 0 0 327 15 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139907290409640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4607] ppid=4600 vsize=9625004 CPUtime=3.36 cores=0,2,4,6
/proc/4602/task/4607/stat : 4607 (java) S 4600 4602 32120 0 -1 4202560 906 0 0 0 321 15 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139907289357352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4608] ppid=4600 vsize=9625004 CPUtime=3.3 cores=0,2,4,6
/proc/4602/task/4608/stat : 4608 (java) S 4600 4602 32120 0 -1 4202560 399 0 0 0 314 16 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139907288304552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4609] ppid=4600 vsize=9625004 CPUtime=3.33 cores=0,2,4,6
/proc/4602/task/4609/stat : 4609 (java) S 4600 4602 32120 0 -1 4202560 1005 0 0 0 314 19 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139907287251240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4610] ppid=4600 vsize=9625004 CPUtime=3.31 cores=0,2,4,6
/proc/4602/task/4610/stat : 4610 (java) S 4600 4602 32120 0 -1 4202560 1388 0 0 0 318 13 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139907286198440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4611] ppid=4600 vsize=9625004 CPUtime=3.25 cores=0,2,4,6
/proc/4602/task/4611/stat : 4611 (java) S 4600 4602 32120 0 -1 4202560 1095 0 0 0 310 15 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906949048872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4612] ppid=4600 vsize=9625004 CPUtime=3.41 cores=0,2,4,6
/proc/4602/task/4612/stat : 4612 (java) S 4600 4602 32120 0 -1 4202560 1208 0 0 0 324 17 0 0 20 0 19 0 281233009 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906947996072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4613] ppid=4600 vsize=9625004 CPUtime=4.38 cores=0,2,4,6
/proc/4602/task/4613/stat : 4613 (java) S 4600 4602 32120 0 -1 4202560 968 0 0 0 433 5 0 0 20 0 19 0 281233010 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906935798504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4614] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4614/stat : 4614 (java) S 4600 4602 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906934744568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4615] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4615/stat : 4615 (java) S 4600 4602 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906933692168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4616] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4616/stat : 4616 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906932640656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4617] ppid=4600 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/4602/task/4617/stat : 4617 (java) S 4600 4602 32120 0 -1 4202560 1449 0 0 0 24 0 0 0 20 0 19 0 281233013 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906931587256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4618] ppid=4600 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/4602/task/4618/stat : 4618 (java) S 4600 4602 32120 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 281233013 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906930534456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4619] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4619/stat : 4619 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906929482360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4620] ppid=4600 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/4602/task/4620/stat : 4620 (java) S 4600 4602 32120 0 -1 4202560 98 0 0 0 28 32 0 0 20 0 19 0 281233013 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906928429768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4621] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4621/stat : 4621 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233029 9856004096 227498 33554432000 1073741824 1073778376 140734220790608 139906927375784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1742.36
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1779.4 s]
/proc/loadavg: 2.05 2.11 2.05 3/213 4719
/proc/meminfo: memFree=27591208/32873648 swapFree=6864/6864
[pid=4602] ppid=4600 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6
/proc/4602/stat : 4602 (java) S 4600 4602 32120 0 -1 4202496 16654 0 1 0 179840 168 0 0 20 0 19 0 281233007 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 140734220781744 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4602/statm: 2406251 225591 2276 9 0 2396937 0
[pid=4602/tid=4604] ppid=4600 vsize=9625004 CPUtime=1767.21 cores=0,2,4,6
/proc/4602/task/4604/stat : 4604 (java) R 4600 4602 32120 0 -1 4202560 2869 0 1 0 176690 31 0 0 20 0 19 0 281233008 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139907448147312 139907301872208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4605] ppid=4600 vsize=9625004 CPUtime=3.47 cores=0,2,4,6
/proc/4602/task/4605/stat : 4605 (java) S 4600 4602 32120 0 -1 4202560 1000 0 0 0 332 15 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139907420601128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4606] ppid=4600 vsize=9625004 CPUtime=3.53 cores=0,2,4,6
/proc/4602/task/4606/stat : 4606 (java) S 4600 4602 32120 0 -1 4202560 1535 0 0 0 338 15 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139907290409640 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4607] ppid=4600 vsize=9625004 CPUtime=3.44 cores=0,2,4,6
/proc/4602/task/4607/stat : 4607 (java) S 4600 4602 32120 0 -1 4202560 906 0 0 0 329 15 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139907289357352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4602/tid=4608] ppid=4600 vsize=9625004 CPUtime=3.41 cores=0,2,4,6
/proc/4602/task/4608/stat : 4608 (java) S 4600 4602 32120 0 -1 4202560 399 0 0 0 325 16 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139907288304552 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4609] ppid=4600 vsize=9625004 CPUtime=3.43 cores=0,2,4,6
/proc/4602/task/4609/stat : 4609 (java) S 4600 4602 32120 0 -1 4202560 1005 0 0 0 324 19 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139907287251240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4602/tid=4610] ppid=4600 vsize=9625004 CPUtime=3.42 cores=0,2,4,6
/proc/4602/task/4610/stat : 4610 (java) S 4600 4602 32120 0 -1 4202560 1388 0 0 0 329 13 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139907286198440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4611] ppid=4600 vsize=9625004 CPUtime=3.38 cores=0,2,4,6
/proc/4602/task/4611/stat : 4611 (java) S 4600 4602 32120 0 -1 4202560 1095 0 0 0 323 15 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906949048872 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4612] ppid=4600 vsize=9625004 CPUtime=3.55 cores=0,2,4,6
/proc/4602/task/4612/stat : 4612 (java) S 4600 4602 32120 0 -1 4202560 1208 0 0 0 338 17 0 0 20 0 19 0 281233009 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906947996072 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4613] ppid=4600 vsize=9625004 CPUtime=4.38 cores=0,2,4,6
/proc/4602/task/4613/stat : 4613 (java) S 4600 4602 32120 0 -1 4202560 972 0 0 0 433 5 0 0 20 0 19 0 281233010 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906935798504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4614] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4614/stat : 4614 (java) S 4600 4602 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906934744568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4615] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4615/stat : 4615 (java) S 4600 4602 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281233011 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906933692168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4616] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4616/stat : 4616 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906932640656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4617] ppid=4600 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/4602/task/4617/stat : 4617 (java) S 4600 4602 32120 0 -1 4202560 1449 0 0 0 24 0 0 0 20 0 19 0 281233013 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906931587256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4618] ppid=4600 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/4602/task/4618/stat : 4618 (java) S 4600 4602 32120 0 -1 4202560 1545 0 0 0 23 0 0 0 20 0 19 0 281233013 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906930534456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4619] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4619/stat : 4619 (java) S 4600 4602 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281233013 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906929482360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4602/tid=4620] ppid=4600 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/4602/task/4620/stat : 4620 (java) S 4600 4602 32120 0 -1 4202560 102 0 0 0 29 33 0 0 20 0 19 0 281233013 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906928429768 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4602/tid=4621] ppid=4600 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/4602/task/4621/stat : 4621 (java) S 4600 4602 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281233029 9856004096 225591 33554432000 1073741824 1073778376 140734220790608 139906927375784 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1779.45
CPU time (s): 1800.65
CPU user time (s): 1798.57
CPU system time (s): 2.08268
CPU usage (%): 101.192
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 2.08268
maximum resident set size= 913576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16761
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47107
involuntary context switches= 51037
runsolver used 5.88011 second user time and 14.9037 second system time
The end