runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4259740-1501643688/watcher-4259740-1501643688 -o /tmp/evaluation-result-4259740-1501643688/solver-4259740-1501643688 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27966 --watchdog 300 bin/concrete HOME/instance-4259740-1501643688.xml
pid=31505
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.71 1.57 1.68 2/199 31508
/proc/meminfo: memFree=29439628/32770624 swapFree=0/239424
[pid=31508] ppid=31505 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31508/stat : 31508 (runsolver) D 31505 31508 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 6279425 24240128 107 18446744073709551615 4194304 4338465 140736306728192 140736306725832 140339603768023 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 9572352 140736306729169 140736306729543 140736306729543 140736306733002 0
/proc/31508/statm: 5918 107 54 36 0 2156 0
[startup+0.100142 s]
/proc/loadavg: 1.71 1.57 1.68 2/199 31508
/proc/meminfo: memFree=29439628/32770624 swapFree=0/239424
[pid=31508] ppid=31505 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/31508/stat : 31508 (bash) S 31505 31508 3187 0 -1 4202496 891 6489 0 0 0 0 0 1 20 0 1 0 6279425 9867264 377 18446744073709551615 4194304 5098028 140728250941856 140728250935864 140563006180352 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 7 0 0 7196144 7232144 29372416 140728250950162 140728250950247 140728250950247 140728250953706 0
/proc/31508/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.20028 s]
/proc/loadavg: 1.71 1.57 1.68 2/199 31508
/proc/meminfo: memFree=29439628/32770624 swapFree=0/239424
[pid=31508] ppid=31505 vsize=30064 CPUtime=0.07 cores=0,2,4,6
/proc/31508/stat : 31508 (java) R 31505 31508 3187 0 -1 4202496 2141 12760 0 0 0 0 5 2 20 0 1 0 6279425 30785536 1120 18446744073709551615 4194304 4196468 140737289842368 140737289823064 139736849210341 0 0 1 0 0 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 7773 1120 829 1 0 417 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30064
[startup+0.3003 s]
/proc/loadavg: 1.71 1.57 1.68 2/199 31508
/proc/meminfo: memFree=29439628/32770624 swapFree=0/239424
[pid=31508] ppid=31505 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 5544 12760 0 0 5 1 5 2 20 0 14 0 6279425 14241083392 5216 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3476827 5216 2552 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700299 s]
/proc/loadavg: 1.71 1.57 1.68 2/199 31508
/proc/meminfo: memFree=29439628/32770624 swapFree=0/239424
[pid=31508] ppid=31505 vsize=13974784 CPUtime=0.68 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 13678 12760 0 0 58 3 5 2 20 0 15 0 6279425 14310178816 14524 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3493696 14524 3080 1 0 3482973 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784
[startup+1.50068 s]
/proc/loadavg: 1.71 1.57 1.68 3/214 31571
/proc/meminfo: memFree=29346012/32770624 swapFree=0/239920
[pid=31508] ppid=31505 vsize=13985408 CPUtime=1.89 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 28247 12760 0 0 172 10 5 2 20 0 15 0 6279425 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3496352 39600 3355 1 0 3485533 0
[pid=31508/tid=31558] ppid=31505 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) S 31505 31508 3187 0 -1 1077944384 21772 12760 0 0 116 6 5 2 20 0 15 0 6279445 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736861187360 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) S 31505 31508 3187 0 -1 1077944384 194 12760 0 0 0 0 5 2 20 0 15 0 6279446 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736456882832 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) S 31505 31508 3187 0 -1 1077944384 41 12760 0 0 0 0 5 2 20 0 15 0 6279446 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) S 31505 31508 3187 0 -1 1077944384 41 12760 0 0 0 0 5 2 20 0 15 0 6279446 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736454777232 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) S 31505 31508 3187 0 -1 1077944384 56 12760 0 0 0 0 5 2 20 0 15 0 6279446 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) R 31505 31508 3187 0 -1 4202560 1116 12760 0 0 0 0 5 2 20 0 15 0 6279447 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736335189184 139736841964897 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 33 12760 0 0 0 0 5 2 20 0 15 0 6279448 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736334136864 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 21 12760 0 0 0 0 5 2 20 0 15 0 6279448 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736333084016 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31567] ppid=31505 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/31508/task/31567/stat : 31567 (java) S 31505 31508 3187 0 -1 1077944384 821 12760 0 0 15 0 5 2 20 0 15 0 6279451 14321057792 39600 18446744073709551615 4194304 4196468 140737289842368 139736330979696 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31568] ppid=31505 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/31508/task/31568/stat : 31568 (java) S 31505 31508 3187 0 -1 1077944384 768 12760 0 0 14 0 5 2 20 0 15 0 6279451 14321057792 40112 18446744073709551615 4194304 4196468 140737289842368 139736329926896 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31569] ppid=31505 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/31508/task/31569/stat : 31569 (java) S 31505 31508 3187 0 -1 1077944384 1219 12760 0 0 23 0 5 2 20 0 15 0 6279451 14321057792 40112 18446744073709551615 4194304 4196468 140737289842368 139736328869472 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31570] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14321057792 40112 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 10 12760 0 0 0 0 5 2 20 0 15 0 6279456 14321057792 40112 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10108 s]
/proc/loadavg: 1.71 1.57 1.68 4/214 31571
/proc/meminfo: memFree=29268568/32770624 swapFree=0/239920
[pid=31508] ppid=31505 vsize=13997884 CPUtime=6.09 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 44843 12760 0 0 587 15 5 2 20 0 15 0 6279425 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3499471 55060 3433 1 0 3488093 0
[pid=31508/tid=31558] ppid=31505 vsize=13997884 CPUtime=2.87 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) R 31505 31508 3187 0 -1 4202560 28193 12760 0 0 271 9 5 2 20 0 15 0 6279445 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736861197472 139736500933564 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) S 31505 31508 3187 0 -1 1077944384 199 12760 0 0 0 0 5 2 20 0 15 0 6279446 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736456882832 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) S 31505 31508 3187 0 -1 1077944384 41 12760 0 0 1 0 5 2 20 0 15 0 6279446 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) S 31505 31508 3187 0 -1 1077944384 41 12760 0 0 1 0 5 2 20 0 15 0 6279446 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736454777232 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) S 31505 31508 3187 0 -1 1077944384 59 12760 0 0 1 0 5 2 20 0 15 0 6279446 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) S 31505 31508 3187 0 -1 1077944384 1493 12760 0 0 1 0 5 2 20 0 15 0 6279447 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736335190896 139736856980098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 56 12760 0 0 0 0 5 2 20 0 15 0 6279448 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736334136864 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 45 12760 0 0 0 0 5 2 20 0 15 0 6279448 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736333084032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31567] ppid=31505 vsize=13997884 CPUtime=1.19 cores=0,2,4,6
/proc/31508/task/31567/stat : 31567 (java) R 31505 31508 3187 0 -1 4202560 4881 12760 0 0 112 0 5 2 20 0 15 0 6279451 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736330961648 139736837695719 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31568] ppid=31505 vsize=13997884 CPUtime=0.94 cores=0,2,4,6
/proc/31508/task/31568/stat : 31568 (java) R 31505 31508 3187 0 -1 4202560 2795 12760 0 0 86 1 5 2 20 0 15 0 6279451 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736329904768 139736840874871 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31569] ppid=31505 vsize=13997884 CPUtime=1.19 cores=0,2,4,6
/proc/31508/task/31569/stat : 31569 (java) S 31505 31508 3187 0 -1 1077944384 4873 12760 0 0 111 1 5 2 20 0 15 0 6279451 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736328874096 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31570] ppid=31505 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 11 12760 0 0 0 0 5 2 20 0 15 0 6279456 14333833216 55060 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 13997884
[startup+6.30064 s]
/proc/loadavg: 1.89 1.61 1.69 5/214 31571
/proc/meminfo: memFree=28995476/32770624 swapFree=0/239924
[pid=31508] ppid=31505 vsize=14001980 CPUtime=15.31 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 66511 12760 0 0 1494 30 5 2 20 0 15 0 6279425 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3500495 106919 3468 1 0 3489117 0
[pid=31508/tid=31558] ppid=31505 vsize=14001980 CPUtime=5.87 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) R 31505 31508 3187 0 -1 4202560 32879 12760 0 0 570 10 5 2 20 0 15 0 6279445 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736861196016 139736501613735 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) S 31505 31508 3187 0 -1 1077944384 337 12760 0 0 12 3 5 2 20 0 15 0 6279446 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736456882832 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=14001980 CPUtime=0.21 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) S 31505 31508 3187 0 -1 1077944384 180 12760 0 0 11 3 5 2 20 0 15 0 6279446 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=14001980 CPUtime=0.21 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) S 31505 31508 3187 0 -1 1077944384 578 12760 0 0 12 2 5 2 20 0 15 0 6279446 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736454777232 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=14001980 CPUtime=0.2 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) S 31505 31508 3187 0 -1 1077944384 253 12760 0 0 11 2 5 2 20 0 15 0 6279446 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) S 31505 31508 3187 0 -1 1077944384 2227 12760 0 0 5 0 5 2 20 0 15 0 6279447 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736335190896 139736856980098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 56 12760 0 0 0 0 5 2 20 0 15 0 6279448 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736334136992 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 45 12760 0 0 0 0 5 2 20 0 15 0 6279448 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736333084032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31567] ppid=31505 vsize=14001980 CPUtime=3.66 cores=0,2,4,6
/proc/31508/task/31567/stat : 31567 (java) R 31505 31508 3187 0 -1 4202560 9257 12760 0 0 358 1 5 2 20 0 15 0 6279451 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736330979696 139736838144775 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31568] ppid=31505 vsize=14001980 CPUtime=3.4 cores=0,2,4,6
/proc/31508/task/31568/stat : 31568 (java) R 31505 31508 3187 0 -1 4202560 6723 12760 0 0 331 2 5 2 20 0 15 0 6279451 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736329914576 139736836214799 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31569] ppid=31505 vsize=14001980 CPUtime=1.87 cores=0,2,4,6
/proc/31508/task/31569/stat : 31569 (java) S 31505 31508 3187 0 -1 1077944384 11661 12760 0 0 178 2 5 2 20 0 15 0 6279451 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736328874096 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31570] ppid=31505 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 159 12760 0 0 0 0 5 2 20 0 15 0 6279456 14338027520 106919 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 15.31
Current children cumulated vsize (KiB) 14001980
[startup+12.7008 s]
/proc/loadavg: 1.90 1.61 1.70 3/214 31571
/proc/meminfo: memFree=28338700/32770624 swapFree=0/239932
[pid=31508] ppid=31505 vsize=14004028 CPUtime=25.46 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 91446 12760 0 0 2492 47 5 2 20 0 15 0 6279425 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3501007 245966 3474 1 0 3489629 0
[pid=31508/tid=31558] ppid=31505 vsize=14004028 CPUtime=12.2 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) R 31505 31508 3187 0 -1 4202560 48634 12760 0 0 1194 19 5 2 20 0 15 0 6279445 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736861202992 139736510938519 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=14004028 CPUtime=0.27 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) S 31505 31508 3187 0 -1 1077944384 382 12760 0 0 16 4 5 2 20 0 15 0 6279446 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736456882832 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=14004028 CPUtime=0.26 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) S 31505 31508 3187 0 -1 1077944384 230 12760 0 0 15 4 5 2 20 0 15 0 6279446 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=14004028 CPUtime=0.26 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) S 31505 31508 3187 0 -1 1077944384 647 12760 0 0 15 4 5 2 20 0 15 0 6279446 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736454777232 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=14004028 CPUtime=0.27 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) S 31505 31508 3187 0 -1 1077944384 416 12760 0 0 16 4 5 2 20 0 15 0 6279446 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=14004028 CPUtime=0.13 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) S 31505 31508 3187 0 -1 1077944384 2581 12760 0 0 6 0 5 2 20 0 15 0 6279447 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736335190896 139736856980098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 58 12760 0 0 0 0 5 2 20 0 15 0 6279448 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736334136992 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 50 12760 0 0 0 0 5 2 20 0 15 0 6279448 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736333084032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14340124672 245966 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
################
# More data... #
################
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14340124672 522219 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=14004028 CPUtime=0.16 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 279 12760 0 0 4 5 5 2 20 0 15 0 6279456 14340124672 522219 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 176.31
Current children cumulated vsize (KiB) 14004028
[startup+222.307 s]
/proc/loadavg: 1.54 1.49 1.62 3/215 31731
/proc/meminfo: memFree=28610708/32770624 swapFree=0/240120
[pid=31508] ppid=31505 vsize=14004028 CPUtime=237.11 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 122045 12760 0 0 23621 83 5 2 20 0 15 0 6279425 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3501007 519140 3474 1 0 3489629 0
[pid=31508/tid=31558] ppid=31505 vsize=14004028 CPUtime=220.68 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) R 31505 31508 3187 0 -1 4202560 60678 12760 0 0 22024 37 5 2 20 0 15 0 6279445 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736861203152 139736514849438 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=14004028 CPUtime=0.83 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) S 31505 31508 3187 0 -1 1077944384 2148 12760 0 0 68 8 5 2 20 0 15 0 6279446 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736456882832 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=14004028 CPUtime=0.82 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) S 31505 31508 3187 0 -1 1077944384 4934 12760 0 0 68 7 5 2 20 0 15 0 6279446 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=14004028 CPUtime=0.81 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) S 31505 31508 3187 0 -1 1077944384 3004 12760 0 0 67 7 5 2 20 0 15 0 6279446 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736454777232 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=14004028 CPUtime=0.82 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) S 31505 31508 3187 0 -1 1077944384 700 12760 0 0 69 6 5 2 20 0 15 0 6279446 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=14004028 CPUtime=0.54 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) S 31505 31508 3187 0 -1 1077944384 4739 12760 0 0 44 3 5 2 20 0 15 0 6279447 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736335190896 139736856980098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 58 12760 0 0 0 0 5 2 20 0 15 0 6279448 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736334136992 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 50 12760 0 0 0 0 5 2 20 0 15 0 6279448 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736333084032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31567] ppid=31505 vsize=14004028 CPUtime=5.58 cores=0,2,4,6
/proc/31508/task/31567/stat : 31567 (java) S 31505 31508 3187 0 -1 1077944384 17572 12760 0 0 549 2 5 2 20 0 15 0 6279451 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736330979696 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31568] ppid=31505 vsize=14004028 CPUtime=5.1 cores=0,2,4,6
/proc/31508/task/31568/stat : 31568 (java) S 31505 31508 3187 0 -1 1077944384 11890 12760 0 0 500 3 5 2 20 0 15 0 6279451 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736329926896 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31569] ppid=31505 vsize=14004028 CPUtime=2.23 cores=0,2,4,6
/proc/31508/task/31569/stat : 31569 (java) S 31505 31508 3187 0 -1 1077944384 13811 12760 0 0 213 3 5 2 20 0 15 0 6279451 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736328874096 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31570] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=14004028 CPUtime=0.2 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 305 12760 0 0 6 7 5 2 20 0 15 0 6279456 14340124672 519140 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 237.11
Current children cumulated vsize (KiB) 14004028
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.53 1.49 1.62 3/214 31732
/proc/meminfo: memFree=28409132/32770624 swapFree=0/240128
[pid=31508] ppid=31505 vsize=14004028 CPUtime=255.06 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 125292 12760 0 0 25413 86 5 2 20 0 15 0 6279425 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3501007 517987 3474 1 0 3489629 0
[pid=31508/tid=31558] ppid=31505 vsize=14004028 CPUtime=238.21 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) R 31505 31508 3187 0 -1 4202560 61541 12760 0 0 23776 38 5 2 20 0 15 0 6279445 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736861203120 139736510938337 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=14004028 CPUtime=0.92 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) S 31505 31508 3187 0 -1 1077944384 2780 12760 0 0 77 8 5 2 20 0 15 0 6279446 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736456882832 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=14004028 CPUtime=0.91 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) S 31505 31508 3187 0 -1 1077944384 5174 12760 0 0 76 8 5 2 20 0 15 0 6279446 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=14004028 CPUtime=0.9 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) S 31505 31508 3187 0 -1 1077944384 3099 12760 0 0 75 8 5 2 20 0 15 0 6279446 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736454777232 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=14004028 CPUtime=0.91 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) S 31505 31508 3187 0 -1 1077944384 1755 12760 0 0 78 6 5 2 20 0 15 0 6279446 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=14004028 CPUtime=0.61 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) S 31505 31508 3187 0 -1 1077944384 5075 12760 0 0 51 3 5 2 20 0 15 0 6279447 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736335190896 139736856980098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 58 12760 0 0 0 0 5 2 20 0 15 0 6279448 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736334136992 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 50 12760 0 0 0 0 5 2 20 0 15 0 6279448 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736333084032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31567] ppid=31505 vsize=14004028 CPUtime=5.58 cores=0,2,4,6
/proc/31508/task/31567/stat : 31567 (java) S 31505 31508 3187 0 -1 1077944384 17575 12760 0 0 549 2 5 2 20 0 15 0 6279451 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736330979696 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31568] ppid=31505 vsize=14004028 CPUtime=5.1 cores=0,2,4,6
/proc/31508/task/31568/stat : 31568 (java) S 31505 31508 3187 0 -1 1077944384 11892 12760 0 0 500 3 5 2 20 0 15 0 6279451 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736329926896 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31569] ppid=31505 vsize=14004028 CPUtime=2.23 cores=0,2,4,6
/proc/31508/task/31569/stat : 31569 (java) S 31505 31508 3187 0 -1 1077944384 13813 12760 0 0 213 3 5 2 20 0 15 0 6279451 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736328874096 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31570] ppid=31505 vsize=14004028 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 15 0 6279451 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=14004028 CPUtime=0.21 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 324 12760 0 0 6 8 5 2 20 0 15 0 6279456 14340124672 517987 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 255.06
Current children cumulated vsize (KiB) 14004028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.401 s]
/proc/loadavg: 1.53 1.49 1.62 3/214 31732
/proc/meminfo: memFree=28409132/32770624 swapFree=0/240128
[pid=31508] ppid=31505 vsize=14137156 CPUtime=256.38 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 137960 12760 0 0 25544 87 5 2 20 0 17 0 6279425 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3534289 519562 3475 1 0 3522911 0
[pid=31508/tid=31558] ppid=31505 vsize=14137156 CPUtime=238.23 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) S 31505 31508 3187 0 -1 1077944384 62253 12760 0 0 23778 38 5 2 20 0 17 0 6279445 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736861206496 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=14137156 CPUtime=1.23 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) R 31505 31508 3187 0 -1 4202560 2855 12760 0 0 108 8 5 2 20 0 17 0 6279446 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736456883032 139736841457887 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=14137156 CPUtime=1.22 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) R 31505 31508 3187 0 -1 4202560 5222 12760 0 0 107 8 5 2 20 0 17 0 6279446 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736841666613 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=14137156 CPUtime=1.21 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) R 31505 31508 3187 0 -1 4202560 3160 12760 0 0 106 8 5 2 20 0 17 0 6279446 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736454777120 139736841423568 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=14137156 CPUtime=1.21 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) R 31505 31508 3187 0 -1 4202560 1890 12760 0 0 108 6 5 2 20 0 17 0 6279446 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736838565962 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=14137156 CPUtime=0.68 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) S 31505 31508 3187 0 -1 1077944384 16044 12760 0 0 57 4 5 2 20 0 17 0 6279447 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736335189296 139736856979157 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 60 12760 0 0 0 0 5 2 20 0 17 0 6279448 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736334136896 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 50 12760 0 0 0 0 5 2 20 0 17 0 6279448 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736333084032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 211 12760 0 0 0 0 5 2 20 0 17 0 6279451 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31567] ppid=31505 vsize=14137156 CPUtime=5.59 cores=0,2,4,6
/proc/31508/task/31567/stat : 31567 (java) S 31505 31508 3187 0 -1 1077944384 17684 12760 0 0 550 2 5 2 20 0 17 0 6279451 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736330970160 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31568] ppid=31505 vsize=14137156 CPUtime=5.1 cores=0,2,4,6
/proc/31508/task/31568/stat : 31568 (java) S 31505 31508 3187 0 -1 1077944384 11892 12760 0 0 500 3 5 2 20 0 17 0 6279451 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736329926896 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31569] ppid=31505 vsize=14137156 CPUtime=2.23 cores=0,2,4,6
/proc/31508/task/31569/stat : 31569 (java) S 31505 31508 3187 0 -1 1077944384 13813 12760 0 0 213 3 5 2 20 0 17 0 6279451 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736328874096 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31570] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 17 0 6279451 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=14137156 CPUtime=0.21 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 324 12760 0 0 6 8 5 2 20 0 17 0 6279456 14476447744 519562 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 256.38
Current children cumulated vsize (KiB) 14137156
[startup+240.501 s]
/proc/loadavg: 1.53 1.49 1.62 3/214 31732
/proc/meminfo: memFree=28409132/32770624 swapFree=0/240128
[pid=31508] ppid=31505 vsize=14137156 CPUtime=256.64 cores=0,2,4,6
/proc/31508/stat : 31508 (java) S 31505 31508 3187 0 -1 1077944320 138357 12760 0 0 25570 87 5 2 20 0 17 0 6279425 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 140737289824912 139736856968951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 7 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
/proc/31508/statm: 3534289 519578 3476 1 0 3522911 0
[pid=31508/tid=31558] ppid=31505 vsize=14137156 CPUtime=238.23 cores=0,2,4,6
/proc/31508/task/31558/stat : 31558 (java) S 31505 31508 3187 0 -1 1077944384 62372 12760 0 0 23778 38 5 2 20 0 17 0 6279445 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736861211824 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31559] ppid=31505 vsize=14137156 CPUtime=1.29 cores=0,2,4,6
/proc/31508/task/31559/stat : 31559 (java) S 31505 31508 3187 0 -1 1077944384 2855 12760 0 0 114 8 5 2 20 0 17 0 6279446 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736456882832 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31560] ppid=31505 vsize=14137156 CPUtime=1.27 cores=0,2,4,6
/proc/31508/task/31560/stat : 31560 (java) S 31505 31508 3187 0 -1 1077944384 5222 12760 0 0 112 8 5 2 20 0 17 0 6279446 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736455830032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31561] ppid=31505 vsize=14137156 CPUtime=1.26 cores=0,2,4,6
/proc/31508/task/31561/stat : 31561 (java) S 31505 31508 3187 0 -1 1077944384 3161 12760 0 0 111 8 5 2 20 0 17 0 6279446 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736454777232 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31562] ppid=31505 vsize=14137156 CPUtime=1.27 cores=0,2,4,6
/proc/31508/task/31562/stat : 31562 (java) S 31505 31508 3187 0 -1 1077944384 1890 12760 0 0 114 6 5 2 20 0 17 0 6279446 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736453724432 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31563] ppid=31505 vsize=14137156 CPUtime=0.71 cores=0,2,4,6
/proc/31508/task/31563/stat : 31563 (java) S 31505 31508 3187 0 -1 1077944384 16044 12760 0 0 60 4 5 2 20 0 17 0 6279447 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736335190896 139736856980098 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31564] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31564/stat : 31564 (java) S 31505 31508 3187 0 -1 1077944384 61 12760 0 0 0 0 5 2 20 0 17 0 6279448 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736334136992 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31565] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31565/stat : 31565 (java) S 31505 31508 3187 0 -1 1077944384 52 12760 0 0 0 0 5 2 20 0 17 0 6279448 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736333084032 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31566] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31566/stat : 31566 (java) S 31505 31508 3187 0 -1 1077944384 211 12760 0 0 0 0 5 2 20 0 17 0 6279451 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736332032336 139736856987547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31567] ppid=31505 vsize=14137156 CPUtime=5.59 cores=0,2,4,6
/proc/31508/task/31567/stat : 31567 (java) S 31505 31508 3187 0 -1 1077944384 17809 12760 0 0 550 2 5 2 20 0 17 0 6279451 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736330979696 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31568] ppid=31505 vsize=14137156 CPUtime=5.1 cores=0,2,4,6
/proc/31508/task/31568/stat : 31568 (java) S 31505 31508 3187 0 -1 1077944384 11892 12760 0 0 500 3 5 2 20 0 17 0 6279451 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736329926896 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31569] ppid=31505 vsize=14137156 CPUtime=2.24 cores=0,2,4,6
/proc/31508/task/31569/stat : 31569 (java) S 31505 31508 3187 0 -1 1077944384 13961 12760 0 0 214 3 5 2 20 0 17 0 6279451 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736328874096 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31570] ppid=31505 vsize=14137156 CPUtime=0.07 cores=0,2,4,6
/proc/31508/task/31570/stat : 31570 (java) S 31505 31508 3187 0 -1 1077944384 3 12760 0 0 0 0 5 2 20 0 17 0 6279451 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736327821536 139736856979157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
[pid=31508/tid=31571] ppid=31505 vsize=14137156 CPUtime=0.21 cores=0,2,4,6
/proc/31508/task/31571/stat : 31571 (java) S 31505 31508 3187 0 -1 1077944384 324 12760 0 0 6 8 5 2 20 0 17 0 6279456 14476447744 519578 18446744073709551615 4194304 4196468 140737289842368 139736326769840 139736856980098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7675904 140737289844686 140737289847471 140737289847471 140737289850831 0
Current children cumulated CPU time (s) 256.64
Current children cumulated vsize (KiB) 14137156
Child status: 143
Real time (s): 240.522
CPU time (s): 256.69
CPU user time (s): 255.762
CPU system time (s): 0.928165
CPU usage (%): 106.722
Max. virtual memory (cumulated for all children) (KiB): 14137156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.762
system time used= 0.928165
maximum resident set size= 2189448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23609
involuntary context switches= 664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07668 second user time and 1.55487 second system time
The end