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-4259397-1501660336/watcher-4259397-1501660336 -o /tmp/evaluation-result-4259397-1501660336/solver-4259397-1501660336 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259397-1501660336.xml
pid=19672
running on 4 cores: 1,3,5,7
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.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19675/stat : 19675 (runsolver) D 19672 19675 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13848936 24240128 107 18446744073709551615 4194304 4338465 140733752581296 140733752578936 140274151785175 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 22859776 140733752586448 140733752586822 140733752586822 140733752590282 0
/proc/19675/statm: 5918 107 54 36 0 2156 0
[startup+0.100113 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19675/stat : 19675 (bash) S 19672 19675 5228 0 -1 4202496 793 5311 0 0 0 0 0 1 20 0 1 0 13848936 9867264 360 18446744073709551615 4194304 5098028 140728782175584 140728782173240 140310691081216 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 21868544 140728782180881 140728782180966 140728782180966 140728782184426 0
/proc/19675/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200221 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/19675/stat : 19675 (bash) S 19672 19675 5228 0 -1 4202496 891 6490 0 0 0 0 0 1 20 0 1 0 13848936 9867264 377 18446744073709551615 4194304 5098028 140728782175584 140728782169592 140310691081216 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 21868544 140728782180881 140728782180966 140728782180966 140728782184426 0
/proc/19675/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300365 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 5651 12371 0 0 5 1 4 3 20 0 14 0 13848936 14241083392 5325 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3476827 5325 2554 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.706397 s]
/proc/loadavg: 1.37 1.53 1.65 3/198 19675
/proc/meminfo: memFree=29253464/32770624 swapFree=0/243552
[pid=19675] ppid=19672 vsize=13974784 CPUtime=0.69 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 13946 12371 0 0 58 4 4 3 20 0 15 0 13848936 14310178816 14352 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3493696 14352 3113 1 0 3482973 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784
[startup+1.50059 s]
/proc/loadavg: 1.37 1.53 1.65 3/213 19738
/proc/meminfo: memFree=29161220/32770624 swapFree=0/243536
[pid=19675] ppid=19672 vsize=13985408 CPUtime=1.88 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 31717 12371 0 0 170 11 4 3 20 0 15 0 13848936 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3496352 39651 3356 1 0 3485533 0
[pid=19675/tid=19725] ppid=19672 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) S 19672 19675 5228 0 -1 1077944384 24869 12371 0 0 115 7 4 3 20 0 15 0 13848958 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306800369984 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 54 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 205 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 62 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848959 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) R 19672 19675 5228 0 -1 4202560 1327 12371 0 0 0 0 4 3 20 0 15 0 13848960 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306274693440 140306777784757 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 33 12371 0 0 0 0 4 3 20 0 15 0 13848960 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306273641376 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 21 12371 0 0 0 0 4 3 20 0 15 0 13848961 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306272588784 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 748 12371 0 0 13 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 873 12371 0 0 16 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 1381 12371 0 0 22 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306268375824 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 10 12371 0 0 0 0 4 3 20 0 15 0 13848967 14321057792 39651 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13985408
[startup+3.10143 s]
/proc/loadavg: 1.37 1.53 1.65 4/213 19738
/proc/meminfo: memFree=29084752/32770624 swapFree=0/243536
[pid=19675] ppid=19672 vsize=13995836 CPUtime=6.01 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 43774 12371 0 0 577 17 4 3 20 0 15 0 13848936 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3498959 69663 3451 1 0 3487581 0
[pid=19675/tid=19725] ppid=19672 vsize=13995836 CPUtime=2.85 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 31023 12371 0 0 268 10 4 3 20 0 15 0 13848958 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306800380576 140306789243259 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 67 12371 0 0 1 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 209 12371 0 0 2 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 75 12371 0 0 2 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 66 12371 0 0 1 0 4 3 20 0 15 0 13848959 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 1883 12371 0 0 2 0 4 3 20 0 15 0 13848960 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 56 12371 0 0 0 0 4 3 20 0 15 0 13848960 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 43 12371 0 0 0 0 4 3 20 0 15 0 13848961 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=13995836 CPUtime=0.99 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) R 19672 19675 5228 0 -1 4202560 1773 12371 0 0 92 0 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306270470944 140306777690623 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=13995836 CPUtime=1.22 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) R 19672 19675 5228 0 -1 4202560 3319 12371 0 0 114 1 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306269419280 140306777690657 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=13995836 CPUtime=0.98 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 3093 12371 0 0 90 1 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 11 12371 0 0 0 0 4 3 20 0 15 0 13848967 14331736064 69663 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 13995836
[startup+6.30064 s]
/proc/loadavg: 1.66 1.59 1.67 5/213 19738
/proc/meminfo: memFree=28665432/32770624 swapFree=0/243528
[pid=19675] ppid=19672 vsize=13999932 CPUtime=14.51 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 54754 12371 0 0 1405 39 4 3 20 0 15 0 13848936 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3499983 152137 3455 1 0 3488605 0
[pid=19675/tid=19725] ppid=19672 vsize=13999932 CPUtime=5.84 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 32744 12371 0 0 565 12 4 3 20 0 15 0 13848958 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306800376272 140306413707768 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 188 12371 0 0 16 5 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=13999932 CPUtime=0.28 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 360 12371 0 0 16 5 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 730 12371 0 0 16 4 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=13999932 CPUtime=0.27 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 234 12371 0 0 15 5 4 3 20 0 15 0 13848959 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 2158 12371 0 0 3 0 4 3 20 0 15 0 13848960 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 56 12371 0 0 0 0 4 3 20 0 15 0 13848960 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 43 12371 0 0 0 0 4 3 20 0 15 0 13848961 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=13999932 CPUtime=3.06 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 4706 12371 0 0 298 1 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=13999932 CPUtime=3.26 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 5013 12371 0 0 317 2 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=13999932 CPUtime=1.63 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 6175 12371 0 0 154 2 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 190 12371 0 0 0 0 4 3 20 0 15 0 13848967 14335930368 152137 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 14.51
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.69 1.60 1.67 4/213 19738
/proc/meminfo: memFree=27946804/32770624 swapFree=0/243540
[pid=19675] ppid=19672 vsize=14069564 CPUtime=25.93 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 93327 12371 0 0 2497 89 4 3 20 0 15 0 13848936 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3517391 343908 3474 1 0 3506013 0
[pid=19675/tid=19725] ppid=19672 vsize=14069564 CPUtime=11.64 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 52404 12371 0 0 1136 21 4 3 20 0 15 0 13848958 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306800379008 140306417047280 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14069564 CPUtime=0.84 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 476 12371 0 0 62 15 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14069564 CPUtime=0.84 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 762 12371 0 0 63 14 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14069564 CPUtime=0.82 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 1062 12371 0 0 61 14 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14069564 CPUtime=0.83 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 745 12371 0 0 62 14 4 3 20 0 15 0 13848959 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 6322 12371 0 0 6 0 4 3 20 0 15 0 13848960 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 15 0 13848960 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848961 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 343908 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
################
# More data... #
################
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 4041 12371 0 0 97 20 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14069564 CPUtime=1.24 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 2288 12371 0 0 98 19 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14069564 CPUtime=1.21 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 1936 12371 0 0 96 18 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14069564 CPUtime=1.23 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 2753 12371 0 0 97 19 4 3 20 0 15 0 13848959 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 8663 12371 0 0 22 3 4 3 20 0 15 0 13848960 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 15 0 13848960 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848961 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14069564 CPUtime=6.05 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 16197 12371 0 0 596 2 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 20427 12371 0 0 634 4 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14069564 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18482 12371 0 0 228 4 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 15 0 13848967 14407233536 961524 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 240.4
Current children cumulated vsize (KiB) 14069564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.70 1.68 1.69 3/214 19886
/proc/meminfo: memFree=23711292/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=14069564 CPUtime=258.32 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 147908 12371 0 0 25663 162 4 3 20 0 15 0 13848936 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3517391 948825 3476 1 0 3506013 0
[pid=19675/tid=19725] ppid=19672 vsize=14069564 CPUtime=238.18 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) R 19672 19675 5228 0 -1 4202560 68047 12371 0 0 23749 62 4 3 20 0 15 0 13848958 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306800380752 140306409550203 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) S 19672 19675 5228 0 -1 1077944384 4060 12371 0 0 103 20 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14069564 CPUtime=1.31 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) S 19672 19675 5228 0 -1 1077944384 2305 12371 0 0 105 19 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306729528208 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14069564 CPUtime=1.29 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) S 19672 19675 5228 0 -1 1077944384 1952 12371 0 0 103 19 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306728475664 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) S 19672 19675 5228 0 -1 1077944384 2801 12371 0 0 103 20 4 3 20 0 15 0 13848959 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 8665 12371 0 0 25 3 4 3 20 0 15 0 13848960 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306274695152 140306796157570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 15 0 13848960 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 15 0 13848961 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14069564 CPUtime=6.07 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 17279 12371 0 0 597 3 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 21143 12371 0 0 634 4 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14069564 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18800 12371 0 0 228 4 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 15 0 13848963 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 15 0 13848967 14407233536 948825 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 258.32
Current children cumulated vsize (KiB) 14069564
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 19675 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.801 s]
/proc/loadavg: 1.70 1.68 1.69 3/214 19886
/proc/meminfo: memFree=23711292/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=14202692 CPUtime=261.27 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 158062 12371 0 0 25956 164 4 3 20 0 17 0 13848936 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3550673 951275 3476 1 0 3539295 0
[pid=19675/tid=19725] ppid=19672 vsize=14202692 CPUtime=238.23 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) S 19672 19675 5228 0 -1 1077944384 68501 12371 0 0 23754 62 4 3 20 0 17 0 13848958 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306800384144 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14202692 CPUtime=2.02 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) R 19672 19675 5228 0 -1 4202560 4485 12371 0 0 175 20 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306730580872 140306780847424 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14202692 CPUtime=2.02 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) R 19672 19675 5228 0 -1 4202560 2387 12371 0 0 176 19 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306729528328 140306780847111 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14202692 CPUtime=2 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) R 19672 19675 5228 0 -1 4202560 2084 12371 0 0 174 19 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306728475784 140306780847070 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14202692 CPUtime=2.02 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) R 19672 19675 5228 0 -1 4202560 2934 12371 0 0 175 20 4 3 20 0 17 0 13848959 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306727423240 140306780847056 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14202692 CPUtime=0.38 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 17223 12371 0 0 27 4 4 3 20 0 17 0 13848960 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306274693776 140306796156629 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 60 12371 0 0 0 0 4 3 20 0 17 0 13848960 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306273641440 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 17 0 13848961 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 130 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14202692 CPUtime=6.07 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 17279 12371 0 0 597 3 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306270484976 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14202692 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 21143 12371 0 0 634 4 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306269432432 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14202692 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18800 12371 0 0 228 4 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 17 0 13848967 14543556608 951275 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 261.27
Current children cumulated vsize (KiB) 14202692
[startup+241.601 s]
/proc/loadavg: 1.70 1.68 1.69 7/216 19889
/proc/meminfo: memFree=23703352/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=14202692 CPUtime=264.26 cores=1,3,5,7
/proc/19675/stat : 19675 (java) S 19672 19675 5228 0 -1 1077944320 158308 12371 0 0 26255 164 4 3 20 0 17 0 13848936 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140730862804480 140306796146423 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
/proc/19675/statm: 3550673 950282 3476 1 0 3539295 0
[pid=19675/tid=19725] ppid=19672 vsize=14202692 CPUtime=238.23 cores=1,3,5,7
/proc/19675/task/19725/stat : 19725 (java) S 19672 19675 5228 0 -1 1077944384 68501 12371 0 0 23754 62 4 3 20 0 17 0 13848958 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306800384144 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19726] ppid=19672 vsize=14202692 CPUtime=2.75 cores=1,3,5,7
/proc/19675/task/19726/stat : 19726 (java) R 19672 19675 5228 0 -1 4202560 4490 12371 0 0 248 20 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306730580752 140306777793520 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19727] ppid=19672 vsize=14202692 CPUtime=2.75 cores=1,3,5,7
/proc/19675/task/19727/stat : 19727 (java) R 19672 19675 5228 0 -1 4202560 2391 12371 0 0 249 19 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306729528096 140306777742436 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19728] ppid=19672 vsize=14202692 CPUtime=2.74 cores=1,3,5,7
/proc/19675/task/19728/stat : 19728 (java) R 19672 19675 5228 0 -1 4202560 2090 12371 0 0 248 19 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306728475864 140306781131719 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19729] ppid=19672 vsize=14202692 CPUtime=2.75 cores=1,3,5,7
/proc/19675/task/19729/stat : 19729 (java) R 19672 19675 5228 0 -1 4202560 2937 12371 0 0 248 20 4 3 20 0 17 0 13848959 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306727423120 140306781097028 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19730] ppid=19672 vsize=14202692 CPUtime=0.45 cores=1,3,5,7
/proc/19675/task/19730/stat : 19730 (java) S 19672 19675 5228 0 -1 1077944384 17446 12371 0 0 34 4 4 3 20 0 17 0 13848960 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306274693552 140306796156629 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19731] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19731/stat : 19731 (java) S 19672 19675 5228 0 -1 1077944384 62 12371 0 0 0 0 4 3 20 0 17 0 13848960 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306273640832 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19732] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19732/stat : 19732 (java) S 19672 19675 5228 0 -1 1077944384 46 12371 0 0 0 0 4 3 20 0 17 0 13848961 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306272588800 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19733] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19733/stat : 19733 (java) S 19672 19675 5228 0 -1 1077944384 130 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306271537360 140306796165019 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19734] ppid=19672 vsize=14202692 CPUtime=6.07 cores=1,3,5,7
/proc/19675/task/19734/stat : 19734 (java) S 19672 19675 5228 0 -1 1077944384 17279 12371 0 0 597 3 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306270485024 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19735] ppid=19672 vsize=14202692 CPUtime=6.45 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) S 19672 19675 5228 0 -1 1077944384 21144 12371 0 0 634 4 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306269432192 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19736] ppid=19672 vsize=14202692 CPUtime=2.39 cores=1,3,5,7
/proc/19675/task/19736/stat : 19736 (java) S 19672 19675 5228 0 -1 1077944384 18800 12371 0 0 228 4 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306268379888 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19737] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19737/stat : 19737 (java) S 19672 19675 5228 0 -1 1077944384 3 12371 0 0 0 0 4 3 20 0 17 0 13848963 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306267327584 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19738] ppid=19672 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/19675/task/19738/stat : 19738 (java) S 19672 19675 5228 0 -1 1077944384 593 12371 0 0 5 9 4 3 20 0 17 0 13848967 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140306266274096 140306796157570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19887] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19887/stat : 19887 (java) S 19672 19675 5228 0 -1 1077944384 215 12371 0 0 0 0 4 3 20 0 17 0 13872937 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140305674432624 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
[pid=19675/tid=19888] ppid=19672 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/19675/task/19888/stat : 19888 (java) S 19672 19675 5228 0 -1 1077944384 29 12371 0 0 0 0 4 3 20 0 17 0 13872937 14543556608 950282 18446744073709551615 4194304 4196468 140730862821936 140305673379296 140306796156629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24272896 140730862823373 140730862826158 140730862826158 140730862829519 0
Current children cumulated CPU time (s) 264.26
Current children cumulated vsize (KiB) 14202692
[startup+241.801 s]
/proc/loadavg: 1.70 1.68 1.69 7/216 19889
/proc/meminfo: memFree=23703352/32770624 swapFree=0/243684
[pid=19675] ppid=19672 vsize=0 CPUtime=264.92 cores=1,3,5,7
/proc/19675/stat : 19675 (java) Z 19672 19675 5228 0 -1 4228108 158462 12371 0 0 26321 164 4 3 20 0 2 0 13848936 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 0 0 0 0 0 0 0 0
/proc/19675/statm: 0 0 0 0 0 0 0
[pid=19675/tid=19735] ppid=19672 vsize=0 CPUtime=6.46 cores=1,3,5,7
/proc/19675/task/19735/stat : 19735 (java) R 19672 19675 5228 0 -1 4203588 21151 12371 0 0 635 4 4 3 20 0 2 0 13848963 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 264.92
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 241.822
CPU time (s): 264.968
CPU user time (s): 263.266
CPU system time (s): 1.70136
CPU usage (%): 109.572
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.266
system time used= 1.70136
maximum resident set size= 3978688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170833
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= 18641
involuntary context switches= 661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00964 second user time and 1.60433 second system time
The end