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-4261892-1502433365/watcher-4261892-1502433365 -o /tmp/evaluation-result-4261892-1502433365/solver-4261892-1502433365 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4261892-1502433365.xml
pid=15668
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.21 1.27 1.42 2/195 15671
/proc/meminfo: memFree=27244756/32770624 swapFree=0/382412
[pid=15671] ppid=15668 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15671/stat : 15671 (runsolver) D 15668 15671 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 31677223 24240128 107 18446744073709551615 4194304 4338465 140721910993712 140721910991352 139702903685847 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28971008 140721911001297 140721911001673 140721911001673 140721911005130 0
/proc/15671/statm: 5918 107 54 36 0 2156 0
[startup+0.100061 s]
/proc/loadavg: 1.21 1.27 1.42 2/195 15671
/proc/meminfo: memFree=27244756/32770624 swapFree=0/382412
[pid=15671] ppid=15668 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15671/stat : 15671 (bash) S 15668 15671 7434 0 -1 4202496 896 6474 0 0 0 0 0 1 20 0 1 0 31677223 9867264 377 18446744073709551615 4194304 5098028 140728553121232 140728553115240 140482500160512 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 14217216 140728553124372 140728553124457 140728553124457 140728553127914 0
/proc/15671/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.2002 s]
/proc/loadavg: 1.21 1.27 1.42 2/195 15671
/proc/meminfo: memFree=27244756/32770624 swapFree=0/382412
[pid=15671] ppid=15668 vsize=13358716 CPUtime=0.08 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 3826 12394 0 0 1 0 5 2 20 0 6 0 31677223 13679325184 3643 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3339679 3643 1579 1 0 3329176 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13358716
[startup+0.300247 s]
/proc/loadavg: 1.21 1.27 1.42 2/195 15671
/proc/meminfo: memFree=27244756/32770624 swapFree=0/382412
[pid=15671] ppid=15668 vsize=13907308 CPUtime=0.12 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 5489 12394 0 0 5 0 5 2 20 0 14 0 31677223 14241083392 5166 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3476827 5166 2565 1 0 3466324 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13907308
[startup+0.703501 s]
/proc/loadavg: 1.21 1.27 1.42 2/195 15671
/proc/meminfo: memFree=27244756/32770624 swapFree=0/382412
[pid=15671] ppid=15668 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 13543 12394 0 0 59 4 5 2 20 0 15 0 31677223 14310178816 15474 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3493696 15474 3116 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50079 s]
/proc/loadavg: 1.21 1.27 1.42 4/210 15734
/proc/meminfo: memFree=27145048/32770624 swapFree=0/382696
[pid=15671] ppid=15668 vsize=13985408 CPUtime=1.9 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 26091 12394 0 0 173 10 5 2 20 0 15 0 31677223 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3496352 43682 3359 1 0 3485525 0
[pid=15671/tid=15721] ppid=15668 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) S 15668 15671 7434 0 -1 1077944384 19944 12394 0 0 114 6 5 2 20 0 15 0 31677242 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424625547152 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) S 15668 15671 7434 0 -1 1077944384 50 12394 0 0 1 0 5 2 20 0 15 0 31677242 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) R 15668 15671 7434 0 -1 4202560 173 12394 0 0 1 0 5 2 20 0 15 0 31677242 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424562211336 140424613946087 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) S 15668 15671 7434 0 -1 1077944384 26 12394 0 0 1 0 5 2 20 0 15 0 31677242 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424561158688 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) S 15668 15671 7434 0 -1 1077944384 45 12394 0 0 1 0 5 2 20 0 15 0 31677242 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424218417808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) S 15668 15671 7434 0 -1 1077944384 646 12394 0 0 1 0 5 2 20 0 15 0 31677244 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424166999072 140424621328085 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 33 12394 0 0 0 0 5 2 20 0 15 0 31677244 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424165946784 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 21 12394 0 0 0 0 5 2 20 0 15 0 31677244 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424164894192 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15730] ppid=15668 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/15671/task/15730/stat : 15730 (java) S 15668 15671 7434 0 -1 1077944384 1220 12394 0 0 17 0 5 2 20 0 15 0 31677247 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424162789360 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15731] ppid=15668 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/15671/task/15731/stat : 15731 (java) S 15668 15671 7434 0 -1 1077944384 560 12394 0 0 11 0 5 2 20 0 15 0 31677247 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424161736816 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15732] ppid=15668 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/15671/task/15732/stat : 15732 (java) S 15668 15671 7434 0 -1 1077944384 1212 12394 0 0 22 0 5 2 20 0 15 0 31677247 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424160680144 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15733] ppid=15668 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15733/stat : 15733 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424159631968 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15734] ppid=15668 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15734/stat : 15734 (java) S 15668 15671 7434 0 -1 1077944384 1 12394 0 0 0 0 5 2 20 0 15 0 31677253 14321057792 43682 18446744073709551615 4194304 4196468 140726264642352 140424158579504 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13985408
[startup+3.10464 s]
/proc/loadavg: 1.28 1.28 1.42 4/210 15734
/proc/meminfo: memFree=27069240/32770624 swapFree=0/382696
[pid=15671] ppid=15668 vsize=13997884 CPUtime=6.23 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 35154 12394 0 0 603 13 5 2 20 0 15 0 31677223 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3499471 56563 3443 1 0 3488085 0
[pid=15671/tid=15721] ppid=15668 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) R 15668 15671 7434 0 -1 4202560 23734 12394 0 0 272 8 5 2 20 0 15 0 31677242 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424625548624 140424601219856 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) S 15668 15671 7434 0 -1 1077944384 50 12394 0 0 1 0 5 2 20 0 15 0 31677242 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) S 15668 15671 7434 0 -1 1077944384 173 12394 0 0 1 0 5 2 20 0 15 0 31677242 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424562211216 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) S 15668 15671 7434 0 -1 1077944384 26 12394 0 0 1 0 5 2 20 0 15 0 31677242 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424561158672 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) S 15668 15671 7434 0 -1 1077944384 45 12394 0 0 1 0 5 2 20 0 15 0 31677242 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424218417808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) S 15668 15671 7434 0 -1 1077944384 647 12394 0 0 1 0 5 2 20 0 15 0 31677244 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424167000560 140424621329026 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 35 12394 0 0 0 0 5 2 20 0 15 0 31677244 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424165946848 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 23 12394 0 0 0 0 5 2 20 0 15 0 31677244 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424164894208 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15730] ppid=15668 vsize=13997884 CPUtime=1.29 cores=1,3,5,7
/proc/15671/task/15730/stat : 15730 (java) R 15668 15671 7434 0 -1 4202560 2997 12394 0 0 122 0 5 2 20 0 15 0 31677247 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424162778032 140424600570575 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15731] ppid=15668 vsize=13997884 CPUtime=0.99 cores=1,3,5,7
/proc/15671/task/15731/stat : 15731 (java) R 15668 15671 7434 0 -1 1077944384 1192 12394 0 0 91 1 5 2 20 0 15 0 31677247 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424161727792 140424621328085 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15732] ppid=15668 vsize=13997884 CPUtime=1.18 cores=1,3,5,7
/proc/15671/task/15732/stat : 15732 (java) R 15668 15671 7434 0 -1 4202560 4071 12394 0 0 110 1 5 2 20 0 15 0 31677247 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424160680000 140424621329814 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15733] ppid=15668 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15733/stat : 15733 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424159631968 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15734] ppid=15668 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15734/stat : 15734 (java) S 15668 15671 7434 0 -1 1077944384 1 12394 0 0 0 0 5 2 20 0 15 0 31677253 14333833216 56563 18446744073709551615 4194304 4196468 140726264642352 140424158579504 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13997884
[startup+6.30063 s]
/proc/loadavg: 1.28 1.28 1.42 5/210 15734
/proc/meminfo: memFree=26882964/32770624 swapFree=0/382688
[pid=15671] ppid=15668 vsize=14069564 CPUtime=15.93 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 74033 12394 0 0 1562 24 5 2 20 0 15 0 31677223 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3517391 104735 3477 1 0 3506005 0
[pid=15671/tid=15721] ppid=15668 vsize=14069564 CPUtime=5.95 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) R 15668 15671 7434 0 -1 4202560 41582 12394 0 0 577 11 5 2 20 0 15 0 31677242 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424625552592 140424259599111 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) S 15668 15671 7434 0 -1 1077944384 85 12394 0 0 6 0 5 2 20 0 15 0 31677242 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) S 15668 15671 7434 0 -1 1077944384 736 12394 0 0 7 0 5 2 20 0 15 0 31677242 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424562211216 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) S 15668 15671 7434 0 -1 1077944384 86 12394 0 0 6 0 5 2 20 0 15 0 31677242 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424561158672 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) S 15668 15671 7434 0 -1 1077944384 75 12394 0 0 6 0 5 2 20 0 15 0 31677242 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424218417808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) S 15668 15671 7434 0 -1 1077944384 2530 12394 0 0 4 0 5 2 20 0 15 0 31677244 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424167000560 140424621329026 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 39 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424165946848 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 46 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424164894208 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15730] ppid=15668 vsize=14069564 CPUtime=4.11 cores=1,3,5,7
/proc/15671/task/15730/stat : 15730 (java) S 15668 15671 7434 0 -1 1077944384 10286 12394 0 0 402 2 5 2 20 0 15 0 31677247 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424162789360 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15731] ppid=15668 vsize=14069564 CPUtime=3.69 cores=1,3,5,7
/proc/15671/task/15731/stat : 15731 (java) S 15668 15671 7434 0 -1 1077944384 8711 12394 0 0 360 2 5 2 20 0 15 0 31677247 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424161736816 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15732] ppid=15668 vsize=14069564 CPUtime=1.97 cores=1,3,5,7
/proc/15671/task/15732/stat : 15732 (java) S 15668 15671 7434 0 -1 1077944384 7684 12394 0 0 187 3 5 2 20 0 15 0 31677247 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424160684272 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15733] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15733/stat : 15733 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424159631968 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15734] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15734/stat : 15734 (java) S 15668 15671 7434 0 -1 1077944384 13 12394 0 0 0 0 5 2 20 0 15 0 31677253 14407233536 104735 18446744073709551615 4194304 4196468 140726264642352 140424158579504 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
Current children cumulated CPU time (s) 15.93
Current children cumulated vsize (KiB) 14069564
[startup+12.7007 s]
/proc/loadavg: 1.46 1.32 1.43 4/210 15734
/proc/meminfo: memFree=26579932/32770624 swapFree=0/382680
[pid=15671] ppid=15668 vsize=14069564 CPUtime=25.31 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 82842 12394 0 0 2493 31 5 2 20 0 15 0 31677223 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3517391 185258 3482 1 0 3506005 0
[pid=15671/tid=15721] ppid=15668 vsize=14069564 CPUtime=12.32 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) R 15668 15671 7434 0 -1 4202560 42511 12394 0 0 1209 16 5 2 20 0 15 0 31677242 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424625551912 140424621329814 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) S 15668 15671 7434 0 -1 1077944384 98 12394 0 0 8 1 5 2 20 0 15 0 31677242 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) S 15668 15671 7434 0 -1 1077944384 1531 12394 0 0 9 1 5 2 20 0 15 0 31677242 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424562211216 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) S 15668 15671 7434 0 -1 1077944384 133 12394 0 0 8 1 5 2 20 0 15 0 31677242 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424561158672 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) S 15668 15671 7434 0 -1 1077944384 175 12394 0 0 9 1 5 2 20 0 15 0 31677242 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424218417808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) S 15668 15671 7434 0 -1 1077944384 2708 12394 0 0 5 0 5 2 20 0 15 0 31677244 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424167000560 140424621329026 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 39 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424165946848 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 46 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424164894208 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14407233536 185258 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
################
# More data... #
################
[startup+2442.3 s]
/proc/loadavg: 1.33 1.34 1.39 3/213 16150
/proc/meminfo: memFree=29417184/32770624 swapFree=0/383776
[pid=15671] ppid=15668 vsize=14069564 CPUtime=2501.68 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 261360 12394 0 0 249776 385 5 2 20 0 15 0 31677223 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3517391 143597 3484 1 0 3506005 0
[pid=15671/tid=15721] ppid=15668 vsize=14069564 CPUtime=2417.57 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) R 15668 15671 7434 0 -1 4202560 88709 12394 0 0 241698 52 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424625551824 140424259860387 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=14069564 CPUtime=12.22 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) S 15668 15671 7434 0 -1 1077944384 10478 12394 0 0 1157 58 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=14069564 CPUtime=12.27 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) S 15668 15671 7434 0 -1 1077944384 21671 12394 0 0 1160 60 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424562211216 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=14069564 CPUtime=12.24 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) S 15668 15671 7434 0 -1 1077944384 20220 12394 0 0 1157 60 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424561158672 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=14069564 CPUtime=12.25 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) S 15668 15671 7434 0 -1 1077944384 15713 12394 0 0 1161 57 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424218417808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=14069564 CPUtime=10.57 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) S 15668 15671 7434 0 -1 1077944384 16004 12394 0 0 987 63 5 2 20 0 15 0 31677244 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424167000560 140424621329026 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 39 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424165946848 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 46 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424164894208 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15730] ppid=15668 vsize=14069564 CPUtime=10.31 cores=1,3,5,7
/proc/15671/task/15730/stat : 15730 (java) S 15668 15671 7434 0 -1 1077944384 36179 12394 0 0 1018 6 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424162789360 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15731] ppid=15668 vsize=14069564 CPUtime=9.64 cores=1,3,5,7
/proc/15671/task/15731/stat : 15731 (java) S 15668 15671 7434 0 -1 1077944384 24637 12394 0 0 951 6 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424161736816 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15732] ppid=15668 vsize=14069564 CPUtime=3.62 cores=1,3,5,7
/proc/15671/task/15732/stat : 15732 (java) S 15668 15671 7434 0 -1 1077944384 24691 12394 0 0 348 7 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424160684272 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15733] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15733/stat : 15733 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424159631968 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15734] ppid=15668 vsize=14069564 CPUtime=1.5 cores=1,3,5,7
/proc/15671/task/15734/stat : 15734 (java) S 15668 15671 7434 0 -1 1077944384 813 12394 0 0 68 75 5 2 20 0 15 0 31677253 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424158579504 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
Current children cumulated CPU time (s) 2501.68
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2460.4 s]
/proc/loadavg: 1.33 1.34 1.39 3/210 16150
/proc/meminfo: memFree=29418500/32770624 swapFree=0/383780
[pid=15671] ppid=15668 vsize=14069564 CPUtime=2520.07 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 261666 12394 0 0 251613 387 5 2 20 0 15 0 31677223 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3517391 143597 3484 1 0 3506005 0
[pid=15671/tid=15721] ppid=15668 vsize=14069564 CPUtime=2435.5 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) R 15668 15671 7434 0 -1 4202560 88980 12394 0 0 243490 53 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424625552256 140424603838404 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=14069564 CPUtime=12.33 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) S 15668 15671 7434 0 -1 1077944384 10488 12394 0 0 1167 59 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=14069564 CPUtime=12.37 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) S 15668 15671 7434 0 -1 1077944384 21675 12394 0 0 1169 61 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424562211216 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=14069564 CPUtime=12.34 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) S 15668 15671 7434 0 -1 1077944384 20227 12394 0 0 1166 61 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424561158672 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=14069564 CPUtime=12.34 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) S 15668 15671 7434 0 -1 1077944384 15724 12394 0 0 1170 57 5 2 20 0 15 0 31677242 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424218417808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=14069564 CPUtime=10.65 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) S 15668 15671 7434 0 -1 1077944384 16007 12394 0 0 994 64 5 2 20 0 15 0 31677244 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424167000560 140424621329026 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 39 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424165946848 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 46 12394 0 0 0 0 5 2 20 0 15 0 31677244 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424164894208 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15730] ppid=15668 vsize=14069564 CPUtime=10.31 cores=1,3,5,7
/proc/15671/task/15730/stat : 15730 (java) S 15668 15671 7434 0 -1 1077944384 36179 12394 0 0 1018 6 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424162789360 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15731] ppid=15668 vsize=14069564 CPUtime=9.64 cores=1,3,5,7
/proc/15671/task/15731/stat : 15731 (java) S 15668 15671 7434 0 -1 1077944384 24637 12394 0 0 951 6 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424161736816 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15732] ppid=15668 vsize=14069564 CPUtime=3.62 cores=1,3,5,7
/proc/15671/task/15732/stat : 15732 (java) S 15668 15671 7434 0 -1 1077944384 24691 12394 0 0 348 7 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424160684272 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15733] ppid=15668 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15733/stat : 15733 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 15 0 31677247 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424159631968 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15734] ppid=15668 vsize=14069564 CPUtime=1.51 cores=1,3,5,7
/proc/15671/task/15734/stat : 15734 (java) S 15668 15671 7434 0 -1 1077944384 813 12394 0 0 69 75 5 2 20 0 15 0 31677253 14407233536 143597 18446744073709551615 4194304 4196468 140726264642352 140424158579504 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
Current children cumulated CPU time (s) 2520.07
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 15671 sig 9
??? kill -15671 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2460.6 s]
/proc/loadavg: 1.33 1.34 1.39 3/210 16150
/proc/meminfo: memFree=29418500/32770624 swapFree=0/383780
[pid=15671] ppid=15668 vsize=14202692 CPUtime=2520.71 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 268309 12394 0 0 251676 388 5 2 20 0 17 0 31677223 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3550673 144774 3485 1 0 3539287 0
[pid=15671/tid=15721] ppid=15668 vsize=14202692 CPUtime=2435.51 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) S 15668 15671 7434 0 -1 1077944384 89306 12394 0 0 243491 53 5 2 20 0 17 0 31677242 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424625555600 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=14202692 CPUtime=12.47 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) S 15668 15671 7434 0 -1 1077944384 10567 12394 0 0 1181 59 5 2 20 0 17 0 31677242 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=14202692 CPUtime=12.52 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) S 15668 15671 7434 0 -1 1077944384 21727 12394 0 0 1184 61 5 2 20 0 17 0 31677242 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424562211216 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=14202692 CPUtime=12.48 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) S 15668 15671 7434 0 -1 1077944384 20266 12394 0 0 1180 61 5 2 20 0 17 0 31677242 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424561158672 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=14202692 CPUtime=12.49 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) S 15668 15671 7434 0 -1 1077944384 15745 12394 0 0 1185 57 5 2 20 0 17 0 31677242 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424218417808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=14202692 CPUtime=10.68 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) R 15668 15671 7434 0 -1 4202560 21884 12394 0 0 997 64 5 2 20 0 17 0 31677244 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424166998960 140424607009579 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 40 12394 0 0 0 0 5 2 20 0 17 0 31677244 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424165946752 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 46 12394 0 0 0 0 5 2 20 0 17 0 31677244 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424164894208 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 86 12394 0 0 0 0 5 2 20 0 17 0 31677247 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15730] ppid=15668 vsize=14202692 CPUtime=10.31 cores=1,3,5,7
/proc/15671/task/15730/stat : 15730 (java) S 15668 15671 7434 0 -1 1077944384 36179 12394 0 0 1018 6 5 2 20 0 17 0 31677247 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424162789360 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15731] ppid=15668 vsize=14202692 CPUtime=9.64 cores=1,3,5,7
/proc/15671/task/15731/stat : 15731 (java) S 15668 15671 7434 0 -1 1077944384 24692 12394 0 0 951 6 5 2 20 0 17 0 31677247 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424161721808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15732] ppid=15668 vsize=14202692 CPUtime=3.62 cores=1,3,5,7
/proc/15671/task/15732/stat : 15732 (java) S 15668 15671 7434 0 -1 1077944384 24691 12394 0 0 348 7 5 2 20 0 17 0 31677247 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424160684272 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15733] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15733/stat : 15733 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 17 0 31677247 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424159631968 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15734] ppid=15668 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/15671/task/15734/stat : 15734 (java) S 15668 15671 7434 0 -1 1077944384 813 12394 0 0 69 75 5 2 20 0 17 0 31677253 14543556608 144774 18446744073709551615 4194304 4196468 140726264642352 140424158579504 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
Current children cumulated CPU time (s) 2520.71
Current children cumulated vsize (KiB) 14202692
[startup+2460.7 s]
/proc/loadavg: 1.33 1.34 1.39 6/212 16152
/proc/meminfo: memFree=29414620/32770624 swapFree=0/383780
[pid=15671] ppid=15668 vsize=14202692 CPUtime=2521.01 cores=1,3,5,7
/proc/15671/stat : 15671 (java) S 15668 15671 7434 0 -1 1077944320 268314 12394 0 0 251706 388 5 2 20 0 17 0 31677223 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140726264624896 140424621317879 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
/proc/15671/statm: 3550673 144777 3485 1 0 3539287 0
[pid=15671/tid=15721] ppid=15668 vsize=14202692 CPUtime=2435.51 cores=1,3,5,7
/proc/15671/task/15721/stat : 15721 (java) S 15668 15671 7434 0 -1 1077944384 89308 12394 0 0 243491 53 5 2 20 0 17 0 31677242 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424625555600 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15722] ppid=15668 vsize=14202692 CPUtime=12.54 cores=1,3,5,7
/proc/15671/task/15722/stat : 15722 (java) R 15668 15671 7434 0 -1 4202560 10567 12394 0 0 1188 59 5 2 20 0 17 0 31677242 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424563263760 140424613946087 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15723] ppid=15668 vsize=14202692 CPUtime=12.58 cores=1,3,5,7
/proc/15671/task/15723/stat : 15723 (java) R 15668 15671 7434 0 -1 4202560 21727 12394 0 0 1190 61 5 2 20 0 17 0 31677242 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424562211216 140424613946087 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15724] ppid=15668 vsize=14202692 CPUtime=12.55 cores=1,3,5,7
/proc/15671/task/15724/stat : 15724 (java) R 15668 15671 7434 0 -1 4202560 20267 12394 0 0 1187 61 5 2 20 0 17 0 31677242 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424561158672 140424613946087 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15725] ppid=15668 vsize=14202692 CPUtime=12.55 cores=1,3,5,7
/proc/15671/task/15725/stat : 15725 (java) R 15668 15671 7434 0 -1 4202560 15745 12394 0 0 1191 57 5 2 20 0 17 0 31677242 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424218418008 140424606016635 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15726] ppid=15668 vsize=14202692 CPUtime=10.72 cores=1,3,5,7
/proc/15671/task/15726/stat : 15726 (java) S 15668 15671 7434 0 -1 1077944384 21884 12394 0 0 1001 64 5 2 20 0 17 0 31677244 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424166999184 140424621328085 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15727] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15727/stat : 15727 (java) S 15668 15671 7434 0 -1 1077944384 41 12394 0 0 0 0 5 2 20 0 17 0 31677244 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424165946384 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15728] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15728/stat : 15728 (java) S 15668 15671 7434 0 -1 1077944384 46 12394 0 0 0 0 5 2 20 0 17 0 31677244 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424164894208 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15729] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15729/stat : 15729 (java) S 15668 15671 7434 0 -1 1077944384 86 12394 0 0 0 0 5 2 20 0 17 0 31677247 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424163842768 140424621336475 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15730] ppid=15668 vsize=14202692 CPUtime=10.31 cores=1,3,5,7
/proc/15671/task/15730/stat : 15730 (java) S 15668 15671 7434 0 -1 1077944384 36179 12394 0 0 1018 6 5 2 20 0 17 0 31677247 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424162789360 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15731] ppid=15668 vsize=14202692 CPUtime=9.64 cores=1,3,5,7
/proc/15671/task/15731/stat : 15731 (java) S 15668 15671 7434 0 -1 1077944384 24692 12394 0 0 951 6 5 2 20 0 17 0 31677247 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424161721808 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15732] ppid=15668 vsize=14202692 CPUtime=3.62 cores=1,3,5,7
/proc/15671/task/15732/stat : 15732 (java) S 15668 15671 7434 0 -1 1077944384 24691 12394 0 0 348 7 5 2 20 0 17 0 31677247 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424160684272 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15733] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/15733/stat : 15733 (java) S 15668 15671 7434 0 -1 1077944384 3 12394 0 0 0 0 5 2 20 0 17 0 31677247 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424159631968 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=15734] ppid=15668 vsize=14202692 CPUtime=1.51 cores=1,3,5,7
/proc/15671/task/15734/stat : 15734 (java) S 15668 15671 7434 0 -1 1077944384 813 12394 0 0 69 75 5 2 20 0 17 0 31677253 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140424158579504 140424621329026 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=16151] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/16151/stat : 16151 (java) S 15668 15671 7434 0 -1 1077944384 85 12394 0 0 0 0 5 2 20 0 17 0 31923264 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140423500046960 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
[pid=15671/tid=16152] ppid=15668 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/15671/task/16152/stat : 16152 (java) S 15668 15671 7434 0 -1 1077944384 25 12394 0 0 0 0 5 2 20 0 17 0 31923264 14543556608 144777 18446744073709551615 4194304 4196468 140726264642352 140423498995264 140424621328085 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34275328 140726264649680 140726264652465 140726264652465 140726264655823 0
Current children cumulated CPU time (s) 2521.01
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2460.77
CPU time (s): 2521.17
CPU user time (s): 2517.25
CPU system time (s): 3.91383
CPU usage (%): 102.454
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.25
system time used= 3.91383
maximum resident set size= 1078256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285035
involuntary context switches= 4759
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5758 second user time and 15.3826 second system time
The end