runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458646-1307152920/watcher-3458646-1307152920 -o /tmp/evaluation-result-3458646-1307152920/solver-3458646-1307152920 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458646-1307152920.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: 1.94 2.01 1.99 3/487 11010
/proc/meminfo: memFree=23971632/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 905522480 31260672 956 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 7632 956 730 9 0 383 0
[pid=11010/tid=11011] ppid=11008 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 6414 0 1 0 0 1 0 0 25 0 2 0 905522481 13850947584 7229 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.101653 s]
/proc/loadavg: 1.94 2.01 1.99 3/487 11010
/proc/meminfo: memFree=23971632/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13621636 CPUtime=0.1 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 15441 0 1 0 8 2 0 0 25 0 18 0 905522480 13948555264 15137 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3405409 15137 2093 9 0 3396143 0
[pid=11010/tid=11011] ppid=11008 vsize=13621636 CPUtime=0.09 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 13682 0 1 0 7 2 0 0 18 0 18 0 905522481 13948555264 15137 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 47107644018595 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621636
[startup+0.200622 s]
/proc/loadavg: 1.94 2.01 1.99 3/487 11010
/proc/meminfo: memFree=23971632/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13623484 CPUtime=0.28 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 16703 0 1 0 26 2 0 0 25 0 18 0 905522480 13950447616 16399 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3405871 16400 2184 9 0 3396605 0
[pid=11010/tid=11011] ppid=11008 vsize=13623484 CPUtime=0.18 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 14411 0 1 0 16 2 0 0 18 0 18 0 905522481 13950447616 16400 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 47107648486227 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13623484
[startup+0.300626 s]
/proc/loadavg: 1.94 2.01 1.99 3/487 11010
/proc/meminfo: memFree=23971632/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13627052 CPUtime=0.57 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 22617 0 1 0 54 3 0 0 25 0 18 0 905522480 13954101248 20702 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3406763 20703 2202 9 0 3397497 0
[pid=11010/tid=11011] ppid=11008 vsize=13627052 CPUtime=0.28 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 15775 0 1 0 26 2 0 0 18 0 18 0 905522481 13954101248 20704 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505593363 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13627052
[startup+0.700524 s]
/proc/loadavg: 1.94 2.01 1.99 3/487 11010
/proc/meminfo: memFree=23971632/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13628472 CPUtime=1.16 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 57841 0 1 0 108 8 0 0 25 0 18 0 905522480 13955555328 55552 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3407118 55556 2213 9 0 3397852 0
[pid=11010/tid=11011] ppid=11008 vsize=13628472 CPUtime=0.69 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 50429 0 1 0 62 7 0 0 18 0 18 0 905522481 13955555328 55558 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13628472
[startup+1.50143 s]
/proc/loadavg: 1.94 2.01 1.99 4/512 11346
/proc/meminfo: memFree=23571276/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13628432 CPUtime=2.17 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 145188 0 1 0 199 18 0 0 25 0 18 0 905522480 13955514368 142310 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3407108 142315 2217 9 0 3397842 0
[pid=11010/tid=11011] ppid=11008 vsize=13628432 CPUtime=1.48 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 137133 0 1 0 131 17 0 0 19 0 18 0 905522481 13955514368 142318 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505754996 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142320 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142323 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142326 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142329 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142331 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142334 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142337 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522483 13955514368 142340 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 8699 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905522484 13955514368 142342 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 0 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905522484 13955514368 142345 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 905522484 13955514368 142348 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522486 13955514368 142351 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469889457 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=13628432 CPUtime=0.38 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 8699 0 -1 4202560 4241 0 0 0 38 0 0 0 20 0 18 0 905522486 13955514368 142354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=13628432 CPUtime=0.28 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 8699 0 -1 4202560 2672 0 0 0 28 0 0 0 20 0 18 0 905522486 13955514368 142356 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905522486 13955514368 142360 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=13628432 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905522486 13955514368 142362 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 13628432
[startup+3.10113 s]
/proc/loadavg: 1.94 2.01 1.99 4/511 11347
/proc/meminfo: memFree=23302968/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13629536 CPUtime=4.03 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 169962 0 1 0 382 21 0 0 25 0 19 0 905522480 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3407384 166354 2232 9 0 3398118 0
[pid=11010/tid=11011] ppid=11008 vsize=13629536 CPUtime=3.08 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 161151 0 1 0 288 20 0 0 25 0 19 0 905522481 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505893122 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 8699 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 0 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905522484 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905522484 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469889457 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=13629536 CPUtime=0.54 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 8699 0 -1 4202560 4265 0 0 0 54 0 0 0 15 0 19 0 905522486 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=13629536 CPUtime=0.38 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 8699 0 -1 4202560 3386 0 0 0 38 0 0 0 15 0 19 0 905522486 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905522486 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11347] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11347/stat : 11347 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905522653 13956644864 166354 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13629536
[startup+6.30155 s]
/proc/loadavg: 1.94 2.01 1.99 3/506 11495
/proc/meminfo: memFree=23304152/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13629536 CPUtime=7.28 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 170086 0 1 0 706 22 0 0 25 0 19 0 905522480 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3407384 166466 2235 9 0 3398118 0
[pid=11010/tid=11011] ppid=11008 vsize=13629536 CPUtime=6.28 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 161261 0 1 0 608 20 0 0 25 0 19 0 905522481 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505865578 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522483 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 8699 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 905522484 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 0 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 8699 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905522484 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905522484 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469889457 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=13629536 CPUtime=0.58 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 8699 0 -1 4202560 4278 0 0 0 58 0 0 0 15 0 19 0 905522486 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=13629536 CPUtime=0.38 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 8699 0 -1 4202560 3386 0 0 0 38 0 0 0 15 0 19 0 905522486 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 166466 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=11010/tid=11018] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 8699 0 -1 4202560 361 0 0 0 4 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=13629536 CPUtime=0.06 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 8699 0 -1 4202560 2957 0 0 0 6 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 8699 0 -1 4202560 3295 0 0 0 5 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=13629536 CPUtime=1.42 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 8699 0 -1 4202560 8424 0 0 0 141 1 0 0 15 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 0 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469889457 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=13629536 CPUtime=0.63 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 8699 0 -1 4202560 4293 0 0 0 63 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=13629536 CPUtime=0.51 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 8699 0 -1 4202560 3421 0 0 0 51 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 8699 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11347] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11347/stat : 11347 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905522653 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1723.72
Current children cumulated vsize (KiB) 13629536
[startup+1782.3 s]
/proc/loadavg: 2.17 2.09 2.02 3/506 11591
/proc/meminfo: memFree=20683852/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13629536 CPUtime=1783.73 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 186577 0 1 0 178346 27 0 0 25 0 19 0 905522480 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3407384 182753 2263 9 0 3398118 0
[pid=11010/tid=11011] ppid=11008 vsize=13629536 CPUtime=1780.71 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 161621 0 1 0 178047 24 0 0 25 0 19 0 905522481 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505864898 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 8699 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 8699 0 -1 4202560 66 0 0 0 5 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 8699 0 -1 4202560 541 0 0 0 4 0 0 0 16 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=13629536 CPUtime=0.02 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 8699 0 -1 4202560 49 0 0 0 2 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=13629536 CPUtime=0.03 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 8699 0 -1 4202560 144 0 0 0 3 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 8699 0 -1 4202560 361 0 0 0 4 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=13629536 CPUtime=0.06 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 8699 0 -1 4202560 2957 0 0 0 6 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 8699 0 -1 4202560 3295 0 0 0 5 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=13629536 CPUtime=1.47 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 8699 0 -1 4202560 8426 0 0 0 146 1 0 0 15 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 0 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469889457 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=13629536 CPUtime=0.63 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 8699 0 -1 4202560 4293 0 0 0 63 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=13629536 CPUtime=0.51 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 8699 0 -1 4202560 3421 0 0 0 51 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 8699 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11347] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11347/stat : 11347 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905522653 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1783.73
Current children cumulated vsize (KiB) 13629536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.62 s]
/proc/loadavg: 2.12 2.08 2.02 3/506 11591
/proc/meminfo: memFree=20683828/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13629536 CPUtime=1800.06 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 186577 0 1 0 179978 28 0 0 25 0 19 0 905522480 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3407384 182753 2263 9 0 3398118 0
[pid=11010/tid=11011] ppid=11008 vsize=13629536 CPUtime=1797.04 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 161621 0 1 0 179680 24 0 0 25 0 19 0 905522481 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505864465 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 8699 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 8699 0 -1 4202560 66 0 0 0 5 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 8699 0 -1 4202560 541 0 0 0 4 0 0 0 16 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=13629536 CPUtime=0.02 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 8699 0 -1 4202560 49 0 0 0 2 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=13629536 CPUtime=0.03 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 8699 0 -1 4202560 144 0 0 0 3 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 8699 0 -1 4202560 361 0 0 0 4 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=13629536 CPUtime=0.06 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 8699 0 -1 4202560 2957 0 0 0 6 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 8699 0 -1 4202560 3295 0 0 0 5 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=13629536 CPUtime=1.47 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 8699 0 -1 4202560 8426 0 0 0 146 1 0 0 15 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 0 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469889457 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=13629536 CPUtime=0.63 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 8699 0 -1 4202560 4293 0 0 0 63 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=13629536 CPUtime=0.51 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 8699 0 -1 4202560 3421 0 0 0 51 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 8699 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11347] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11347/stat : 11347 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905522653 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13629536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.62 s]
/proc/loadavg: 2.12 2.08 2.02 3/506 11591
/proc/meminfo: memFree=20683828/32951124 swapFree=56297244/67111528
[pid=11010] ppid=11008 vsize=13629536 CPUtime=1800.06 cores=0,2,4,6
/proc/11010/stat : 11010 (java) S 11008 11010 8699 0 -1 4202496 186577 0 1 0 179978 28 0 0 25 0 19 0 905522480 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11010/statm: 3407384 182753 2263 9 0 3398118 0
[pid=11010/tid=11011] ppid=11008 vsize=13629536 CPUtime=1797.04 cores=0,2,4,6
/proc/11010/task/11011/stat : 11011 (java) R 11008 11010 8699 0 -1 4202560 161621 0 1 0 179680 24 0 0 25 0 19 0 905522481 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 46912505864465 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11013/stat : 11013 (java) S 11008 11010 8699 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/11010/task/11014/stat : 11014 (java) S 11008 11010 8699 0 -1 4202560 66 0 0 0 5 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11015/stat : 11015 (java) S 11008 11010 8699 0 -1 4202560 541 0 0 0 4 0 0 0 16 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=13629536 CPUtime=0.02 cores=0,2,4,6
/proc/11010/task/11016/stat : 11016 (java) S 11008 11010 8699 0 -1 4202560 49 0 0 0 2 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=13629536 CPUtime=0.03 cores=0,2,4,6
/proc/11010/task/11017/stat : 11017 (java) S 11008 11010 8699 0 -1 4202560 144 0 0 0 3 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11018] ppid=11008 vsize=13629536 CPUtime=0.04 cores=0,2,4,6
/proc/11010/task/11018/stat : 11018 (java) S 11008 11010 8699 0 -1 4202560 361 0 0 0 4 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11019] ppid=11008 vsize=13629536 CPUtime=0.06 cores=0,2,4,6
/proc/11010/task/11019/stat : 11019 (java) S 11008 11010 8699 0 -1 4202560 2957 0 0 0 6 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11020] ppid=11008 vsize=13629536 CPUtime=0.05 cores=0,2,4,6
/proc/11010/task/11020/stat : 11020 (java) S 11008 11010 8699 0 -1 4202560 3295 0 0 0 5 0 0 0 15 0 19 0 905522483 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11021] ppid=11008 vsize=13629536 CPUtime=1.47 cores=0,2,4,6
/proc/11010/task/11021/stat : 11021 (java) S 11008 11010 8699 0 -1 4202560 8426 0 0 0 146 1 0 0 15 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 0 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11022] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11022/stat : 11022 (java) S 11008 11010 8699 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11023] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11023/stat : 11023 (java) S 11008 11010 8699 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905522484 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11024] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11024/stat : 11024 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469889457 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11025] ppid=11008 vsize=13629536 CPUtime=0.63 cores=0,2,4,6
/proc/11010/task/11025/stat : 11025 (java) S 11008 11010 8699 0 -1 4202560 4293 0 0 0 63 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
[pid=11010/tid=11026] ppid=11008 vsize=13629536 CPUtime=0.51 cores=0,2,4,6
/proc/11010/task/11026/stat : 11026 (java) S 11008 11010 8699 0 -1 4202560 3421 0 0 0 51 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 6 0 0 0
[pid=11010/tid=11027] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11027/stat : 11027 (java) S 11008 11010 8699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469881753 0 4 0 16800975 18446604445796672832 0 0 -1 2 0 0 0
[pid=11010/tid=11028] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11028/stat : 11028 (java) S 11008 11010 8699 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 905522486 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 0 0 0 0
[pid=11010/tid=11347] ppid=11008 vsize=13629536 CPUtime=0 cores=0,2,4,6
/proc/11010/task/11347/stat : 11347 (java) S 11008 11010 8699 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 905522653 13956644864 182753 33554432000 1073741824 1073778376 140734090277520 18446744073709551615 252469882368 0 4 0 16800975 18446604445796672832 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13629536
Child status: 143
Real time (s): 1798.71
CPU time (s): 1800.18
CPU user time (s): 1799.86
CPU system time (s): 0.310952
CPU usage (%): 100.082
Max. virtual memory (cumulated for all children) (KiB): 13629536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186609
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37435
involuntary context switches= 5093
runsolver used 9.15661 second user time and 18.6872 second system time
The end