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-4262253-1502463234/watcher-4262253-1502463234 -o /tmp/evaluation-result-4262253-1502463234/solver-4262253-1502463234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4262253-1502463234.xml
pid=25503
running on 4 cores: 0,2,4,6
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: 2.12 1.67 1.51 3/194 25506
/proc/meminfo: memFree=22950584/32770624 swapFree=0/396768
[pid=25506] ppid=25503 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25506/stat : 25506 (runsolver) D 25503 25506 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 34664068 24240128 106 18446744073709551615 4194304 4338465 140720593623024 140720593620664 139979282232023 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 16781312 140720593625297 140720593625673 140720593625673 140720593629130 0
/proc/25506/statm: 5918 106 53 36 0 2156 0
[startup+0.100138 s]
/proc/loadavg: 2.12 1.67 1.51 3/194 25506
/proc/meminfo: memFree=22950584/32770624 swapFree=0/396768
[pid=25506] ppid=25503 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/25506/stat : 25506 (bash) S 25503 25506 7434 0 -1 4202496 684 1542 0 0 0 0 0 0 20 0 1 0 34664068 9736192 351 18446744073709551615 4194304 5098028 140728240419600 140728240417240 139660173188096 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 15196160 140728240423444 140728240423529 140728240423529 140728240426986 0
/proc/25506/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200324 s]
/proc/loadavg: 2.12 1.67 1.51 3/194 25506
/proc/meminfo: memFree=22950584/32770624 swapFree=0/396768
[pid=25506] ppid=25503 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/25506/stat : 25506 (bash) S 25503 25506 7434 0 -1 4202496 897 6482 0 0 0 0 0 1 20 0 1 0 34664068 9867264 377 18446744073709551615 4194304 5098028 140728240419600 140728240413608 139660173188096 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 8 0 0 7196144 7232144 15196160 140728240423444 140728240423529 140728240423529 140728240426986 0
/proc/25506/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300279 s]
/proc/loadavg: 2.12 1.67 1.51 3/194 25506
/proc/meminfo: memFree=22950584/32770624 swapFree=0/396768
[pid=25506] ppid=25503 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 5613 12438 0 0 5 1 5 3 20 0 14 0 34664068 14241083392 5300 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3476827 5300 2658 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.707414 s]
/proc/loadavg: 2.12 1.67 1.51 3/194 25506
/proc/meminfo: memFree=22950584/32770624 swapFree=0/396768
[pid=25506] ppid=25503 vsize=13974784 CPUtime=0.66 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 13851 12438 0 0 53 5 5 3 20 0 15 0 34664068 14310178816 14310 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3493696 14310 3122 1 0 3482965 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 13974784
[startup+1.50062 s]
/proc/loadavg: 2.12 1.67 1.51 3/209 25569
/proc/meminfo: memFree=22950440/32770624 swapFree=0/397064
[pid=25506] ppid=25503 vsize=13985408 CPUtime=1.84 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 27891 12438 0 0 167 9 5 3 20 0 15 0 34664068 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3496352 34016 3337 1 0 3485525 0
[pid=25506/tid=25556] ppid=25503 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) R 25503 25506 7434 0 -1 4202560 22464 12438 0 0 114 7 5 3 20 0 15 0 34664091 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764673096544 139764654554609 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 1 12438 0 0 0 0 5 3 20 0 15 0 34664092 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) S 25503 25506 7434 0 -1 1077944384 1 12438 0 0 0 0 5 3 20 0 15 0 34664092 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764624788240 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 1 12438 0 0 0 0 5 3 20 0 15 0 34664092 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 2 12438 0 0 0 0 5 3 20 0 15 0 34664092 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764622683152 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 5 12438 0 0 0 0 5 3 20 0 15 0 34664093 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764214573168 139764668885634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 33 12438 0 0 0 0 5 3 20 0 15 0 34664093 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764213519136 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 21 12438 0 0 0 0 5 3 20 0 15 0 34664094 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764212466800 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25565] ppid=25503 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/25506/task/25565/stat : 25565 (java) S 25503 25506 7434 0 -1 1077944384 835 12438 0 0 12 0 5 3 20 0 15 0 34664096 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764210362992 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25566] ppid=25503 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/25506/task/25566/stat : 25566 (java) S 25503 25506 7434 0 -1 1077944384 1013 12438 0 0 17 0 5 3 20 0 15 0 34664096 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764141386224 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25567] ppid=25503 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/25506/task/25567/stat : 25567 (java) R 25503 25506 7434 0 -1 4202560 1345 12438 0 0 22 0 5 3 20 0 15 0 34664096 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764140333936 139764652954974 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25568] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 10 12438 0 0 0 0 5 3 20 0 15 0 34664101 14321057792 34016 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408
[startup+3.10202 s]
/proc/loadavg: 2.12 1.67 1.51 3/209 25569
/proc/meminfo: memFree=22880840/32770624 swapFree=0/397068
[pid=25506] ppid=25503 vsize=13997884 CPUtime=5.31 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 47851 12438 0 0 508 15 5 3 20 0 15 0 34664068 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3499471 57323 3452 1 0 3488085 0
[pid=25506/tid=25556] ppid=25503 vsize=13997884 CPUtime=2.86 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) R 25503 25506 7434 0 -1 4202560 36883 12438 0 0 269 9 5 3 20 0 15 0 34664091 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764673104640 139764668886422 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 199 12438 0 0 0 0 5 3 20 0 15 0 34664092 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) S 25503 25506 7434 0 -1 1077944384 38 12438 0 0 0 0 5 3 20 0 15 0 34664092 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764624788240 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 47 12438 0 0 1 0 5 3 20 0 15 0 34664092 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 71 12438 0 0 1 0 5 3 20 0 15 0 34664092 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764622683152 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 1099 12438 0 0 1 0 5 3 20 0 15 0 34664093 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764214573168 139764668885634 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 56 12438 0 0 0 0 5 3 20 0 15 0 34664093 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764213519200 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 44 12438 0 0 0 0 5 3 20 0 15 0 34664094 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764212466816 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25565] ppid=25503 vsize=13997884 CPUtime=0.78 cores=0,2,4,6
/proc/25506/task/25565/stat : 25565 (java) S 25503 25506 7434 0 -1 1077944384 1720 12438 0 0 70 0 5 3 20 0 15 0 34664096 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764210362992 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25566] ppid=25503 vsize=13997884 CPUtime=0.79 cores=0,2,4,6
/proc/25506/task/25566/stat : 25566 (java) R 25503 25506 7434 0 -1 4202560 1934 12438 0 0 71 0 5 3 20 0 15 0 34664096 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764141376016 139764648567591 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25567] ppid=25503 vsize=13997884 CPUtime=0.99 cores=0,2,4,6
/proc/25506/task/25567/stat : 25567 (java) S 25503 25506 7434 0 -1 1077944384 3585 12438 0 0 90 1 5 3 20 0 15 0 34664096 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764140333936 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25568] ppid=25503 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 13 12438 0 0 0 0 5 3 20 0 15 0 34664101 14333833216 57323 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 13997884
[startup+6.30063 s]
/proc/loadavg: 2.19 1.70 1.51 5/209 25569
/proc/meminfo: memFree=22829684/32770624 swapFree=0/397068
[pid=25506] ppid=25503 vsize=14001980 CPUtime=15.23 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 56450 12438 0 0 1493 22 5 3 20 0 15 0 34664068 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3500495 96308 3460 1 0 3489109 0
[pid=25506/tid=25556] ppid=25503 vsize=14001980 CPUtime=5.94 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) R 25503 25506 7434 0 -1 4202560 38267 12438 0 0 576 10 5 3 20 0 15 0 34664091 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764673105248 139764307951623 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=14001980 CPUtime=0.14 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 302 12438 0 0 5 1 5 3 20 0 15 0 34664092 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=14001980 CPUtime=0.14 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) S 25503 25506 7434 0 -1 1077944384 60 12438 0 0 5 1 5 3 20 0 15 0 34664092 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764624788240 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=14001980 CPUtime=0.15 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 148 12438 0 0 6 1 5 3 20 0 15 0 34664092 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 146 12438 0 0 4 0 5 3 20 0 15 0 34664092 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764622683152 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 2167 12438 0 0 4 0 5 3 20 0 15 0 34664093 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764214573168 139764668885634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 56 12438 0 0 0 0 5 3 20 0 15 0 34664093 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764213519200 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 44 12438 0 0 0 0 5 3 20 0 15 0 34664094 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764212466816 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25565] ppid=25503 vsize=14001980 CPUtime=3.78 cores=0,2,4,6
/proc/25506/task/25565/stat : 25565 (java) S 25503 25506 7434 0 -1 1077944384 4316 12438 0 0 368 2 5 3 20 0 15 0 34664096 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764210362992 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25566] ppid=25503 vsize=14001980 CPUtime=3.78 cores=0,2,4,6
/proc/25506/task/25566/stat : 25566 (java) S 25503 25506 7434 0 -1 1077944384 3366 12438 0 0 369 1 5 3 20 0 15 0 34664096 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764141386224 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25567] ppid=25503 vsize=14001980 CPUtime=1.61 cores=0,2,4,6
/proc/25506/task/25567/stat : 25567 (java) S 25503 25506 7434 0 -1 1077944384 5402 12438 0 0 150 3 5 3 20 0 15 0 34664096 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764140333936 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25568] ppid=25503 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 14 12438 0 0 0 0 5 3 20 0 15 0 34664101 14338027520 96308 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 14001980
[startup+12.7008 s]
/proc/loadavg: 2.18 1.70 1.52 3/209 25569
/proc/meminfo: memFree=22641020/32770624 swapFree=0/397068
[pid=25506] ppid=25503 vsize=14067516 CPUtime=25.62 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 81765 12438 0 0 2516 38 5 3 20 0 15 0 34664068 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3516879 235033 3476 1 0 3505493 0
[pid=25506/tid=25556] ppid=25503 vsize=14067516 CPUtime=12.28 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) R 25503 25506 7434 0 -1 4202560 49162 12438 0 0 1201 19 5 3 20 0 15 0 34664091 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764673108864 139764294486466 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 1090 12438 0 0 9 2 5 3 20 0 15 0 34664092 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=14067516 CPUtime=0.19 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) S 25503 25506 7434 0 -1 1077944384 177 12438 0 0 9 2 5 3 20 0 15 0 34664092 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764624788240 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=14067516 CPUtime=0.18 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 245 12438 0 0 8 2 5 3 20 0 15 0 34664092 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=14067516 CPUtime=0.17 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 259 12438 0 0 8 1 5 3 20 0 15 0 34664092 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764622683152 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 2747 12438 0 0 4 1 5 3 20 0 15 0 34664093 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764214573168 139764668885634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 64 12438 0 0 0 0 5 3 20 0 15 0 34664093 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764213519200 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 55 12438 0 0 0 0 5 3 20 0 15 0 34664094 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764212466816 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 235033 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
################
# More data... #
################
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 355250 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=14067516 CPUtime=1.53 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 2442 12438 0 0 69 76 5 3 20 0 15 0 34664101 14405136384 355250 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 2370.67
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.40 1.36 1.39 3/209 25859
/proc/meminfo: memFree=28267424/32770624 swapFree=0/398116
[pid=25506] ppid=25503 vsize=14067516 CPUtime=2431.62 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 228301 12438 0 0 242774 380 5 3 20 0 15 0 34664068 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3516879 355762 3476 1 0 3505493 0
[pid=25506/tid=25556] ppid=25503 vsize=14067516 CPUtime=2356.28 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) R 25503 25506 7434 0 -1 4202560 101884 12438 0 0 235557 63 5 3 20 0 15 0 34664091 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764673108784 139764304495552 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=14067516 CPUtime=12.61 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 14271 12438 0 0 1197 56 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=14067516 CPUtime=12.62 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) S 25503 25506 7434 0 -1 1077944384 19256 12438 0 0 1197 57 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764624788240 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=14067516 CPUtime=12.6 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 13752 12438 0 0 1195 57 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=14067516 CPUtime=12.59 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 15945 12438 0 0 1191 60 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764622683152 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=14067516 CPUtime=10.68 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 17799 12438 0 0 996 64 5 3 20 0 15 0 34664093 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764214573168 139764668885634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 64 12438 0 0 0 0 5 3 20 0 15 0 34664093 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764213519200 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 55 12438 0 0 0 0 5 3 20 0 15 0 34664094 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764212466816 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25565] ppid=25503 vsize=14067516 CPUtime=5.6 cores=0,2,4,6
/proc/25506/task/25565/stat : 25565 (java) S 25503 25506 7434 0 -1 1077944384 8985 12438 0 0 549 3 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764210362992 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25566] ppid=25503 vsize=14067516 CPUtime=5.68 cores=0,2,4,6
/proc/25506/task/25566/stat : 25566 (java) S 25503 25506 7434 0 -1 1077944384 11194 12438 0 0 557 3 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764141386224 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25567] ppid=25503 vsize=14067516 CPUtime=2 cores=0,2,4,6
/proc/25506/task/25567/stat : 25567 (java) S 25503 25506 7434 0 -1 1077944384 20460 12438 0 0 187 5 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764140333936 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25568] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=14067516 CPUtime=1.57 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 2474 12438 0 0 71 78 5 3 20 0 15 0 34664101 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 2431.62
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.39 1.36 1.39 3/212 25875
/proc/meminfo: memFree=28260916/32770624 swapFree=0/398124
[pid=25506] ppid=25503 vsize=14067516 CPUtime=2492.61 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 229936 12438 0 0 248865 388 5 3 20 0 15 0 34664068 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3516879 355762 3476 1 0 3505493 0
[pid=25506/tid=25556] ppid=25503 vsize=14067516 CPUtime=2415.56 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) R 25503 25506 7434 0 -1 4202560 102862 12438 0 0 241484 64 5 3 20 0 15 0 34664091 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764673109008 139764302255967 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=14067516 CPUtime=12.96 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 14485 12438 0 0 1230 58 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=14067516 CPUtime=12.97 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) S 25503 25506 7434 0 -1 1077944384 19310 12438 0 0 1231 58 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764624788240 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=14067516 CPUtime=12.95 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 13791 12438 0 0 1228 59 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=14067516 CPUtime=12.94 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 16073 12438 0 0 1224 62 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764622683152 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=14067516 CPUtime=10.97 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 17997 12438 0 0 1024 65 5 3 20 0 15 0 34664093 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764214573168 139764668885634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 64 12438 0 0 0 0 5 3 20 0 15 0 34664093 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764213519200 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 55 12438 0 0 0 0 5 3 20 0 15 0 34664094 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764212466816 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25565] ppid=25503 vsize=14067516 CPUtime=5.6 cores=0,2,4,6
/proc/25506/task/25565/stat : 25565 (java) S 25503 25506 7434 0 -1 1077944384 8987 12438 0 0 549 3 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764210362992 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25566] ppid=25503 vsize=14067516 CPUtime=5.68 cores=0,2,4,6
/proc/25506/task/25566/stat : 25566 (java) S 25503 25506 7434 0 -1 1077944384 11196 12438 0 0 557 3 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764141386224 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25567] ppid=25503 vsize=14067516 CPUtime=2 cores=0,2,4,6
/proc/25506/task/25567/stat : 25567 (java) S 25503 25506 7434 0 -1 1077944384 20462 12438 0 0 187 5 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764140333936 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25568] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=14067516 CPUtime=1.61 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 2492 12438 0 0 73 80 5 3 20 0 15 0 34664101 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 2492.61
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.3 s]
/proc/loadavg: 1.14 1.30 1.37 3/212 25876
/proc/meminfo: memFree=28260916/32770624 swapFree=0/398144
[pid=25506] ppid=25503 vsize=14067516 CPUtime=2520.06 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 230967 12438 0 0 251605 393 5 3 20 0 15 0 34664068 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3516879 355762 3476 1 0 3505493 0
[pid=25506/tid=25556] ppid=25503 vsize=14067516 CPUtime=2442.25 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) R 25503 25506 7434 0 -1 4202560 103245 12438 0 0 244153 64 5 3 20 0 15 0 34664091 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764673108784 139764294486466 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=14067516 CPUtime=13.12 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 14621 12438 0 0 1245 59 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=14067516 CPUtime=13.13 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) S 25503 25506 7434 0 -1 1077944384 19328 12438 0 0 1246 59 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764624788240 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=14067516 CPUtime=13.1 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 13850 12438 0 0 1243 59 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=14067516 CPUtime=13.08 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 16297 12438 0 0 1238 62 5 3 20 0 15 0 34664092 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764622683152 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=14067516 CPUtime=11.11 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 18187 12438 0 0 1037 66 5 3 20 0 15 0 34664093 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764214573168 139764668885634 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 64 12438 0 0 0 0 5 3 20 0 15 0 34664093 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764213519200 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 55 12438 0 0 0 0 5 3 20 0 15 0 34664094 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764212466816 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25565] ppid=25503 vsize=14067516 CPUtime=5.6 cores=0,2,4,6
/proc/25506/task/25565/stat : 25565 (java) S 25503 25506 7434 0 -1 1077944384 8989 12438 0 0 549 3 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764210362992 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25566] ppid=25503 vsize=14067516 CPUtime=5.68 cores=0,2,4,6
/proc/25506/task/25566/stat : 25566 (java) S 25503 25506 7434 0 -1 1077944384 11198 12438 0 0 557 3 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764141386224 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25567] ppid=25503 vsize=14067516 CPUtime=2 cores=0,2,4,6
/proc/25506/task/25567/stat : 25567 (java) S 25503 25506 7434 0 -1 1077944384 20464 12438 0 0 187 5 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764140333936 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25568] ppid=25503 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 15 0 34664096 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=14067516 CPUtime=1.63 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 2507 12438 0 0 74 81 5 3 20 0 15 0 34664101 14405136384 355762 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 2520.06
Current children cumulated vsize (KiB) 14067516
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 25506 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.6 s]
/proc/loadavg: 1.14 1.30 1.37 3/212 25876
/proc/meminfo: memFree=28260916/32770624 swapFree=0/398144
[pid=25506] ppid=25503 vsize=14200644 CPUtime=2520.97 cores=0,2,4,6
/proc/25506/stat : 25506 (java) S 25503 25506 7434 0 -1 1077944320 238019 12438 0 0 251696 393 5 3 20 0 17 0 34664068 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 140720960888512 139764668874487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
/proc/25506/statm: 3550161 357650 3484 1 0 3538775 0
[pid=25506/tid=25556] ppid=25503 vsize=14200644 CPUtime=2442.26 cores=0,2,4,6
/proc/25506/task/25556/stat : 25556 (java) S 25503 25506 7434 0 -1 1077944384 103624 12438 0 0 244154 64 5 3 20 0 17 0 34664091 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764673112272 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25557] ppid=25503 vsize=14200644 CPUtime=13.32 cores=0,2,4,6
/proc/25506/task/25557/stat : 25557 (java) S 25503 25506 7434 0 -1 1077944384 14645 12438 0 0 1265 59 5 3 20 0 17 0 34664092 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764625841040 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25558] ppid=25503 vsize=14200644 CPUtime=13.33 cores=0,2,4,6
/proc/25506/task/25558/stat : 25558 (java) R 25503 25506 7434 0 -1 4202560 19364 12438 0 0 1266 59 5 3 20 0 17 0 34664092 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764624788360 139764661502695 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25559] ppid=25503 vsize=14200644 CPUtime=13.3 cores=0,2,4,6
/proc/25506/task/25559/stat : 25559 (java) S 25503 25506 7434 0 -1 1077944384 13958 12438 0 0 1263 59 5 3 20 0 17 0 34664092 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764623735952 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25560] ppid=25503 vsize=14200644 CPUtime=13.29 cores=0,2,4,6
/proc/25506/task/25560/stat : 25560 (java) S 25503 25506 7434 0 -1 1077944384 16341 12438 0 0 1259 62 5 3 20 0 17 0 34664092 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764622683168 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25561] ppid=25503 vsize=14200644 CPUtime=11.19 cores=0,2,4,6
/proc/25506/task/25561/stat : 25561 (java) S 25503 25506 7434 0 -1 1077944384 24456 12438 0 0 1045 66 5 3 20 0 17 0 34664093 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764214571792 139764668884693 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25562] ppid=25503 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25562/stat : 25562 (java) S 25503 25506 7434 0 -1 1077944384 66 12438 0 0 0 0 5 3 20 0 17 0 34664093 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764213518704 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25563] ppid=25503 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25563/stat : 25563 (java) S 25503 25506 7434 0 -1 1077944384 55 12438 0 0 0 0 5 3 20 0 17 0 34664094 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764212466816 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25564] ppid=25503 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25564/stat : 25564 (java) S 25503 25506 7434 0 -1 1077944384 82 12438 0 0 0 0 5 3 20 0 17 0 34664096 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764211415120 139764668893083 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25565] ppid=25503 vsize=14200644 CPUtime=5.6 cores=0,2,4,6
/proc/25506/task/25565/stat : 25565 (java) S 25503 25506 7434 0 -1 1077944384 8989 12438 0 0 549 3 5 3 20 0 17 0 34664096 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764210362992 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25566] ppid=25503 vsize=14200644 CPUtime=5.68 cores=0,2,4,6
/proc/25506/task/25566/stat : 25566 (java) S 25503 25506 7434 0 -1 1077944384 11198 12438 0 0 557 3 5 3 20 0 17 0 34664096 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764141386224 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25567] ppid=25503 vsize=14200644 CPUtime=2 cores=0,2,4,6
/proc/25506/task/25567/stat : 25567 (java) S 25503 25506 7434 0 -1 1077944384 20464 12438 0 0 187 5 5 3 20 0 17 0 34664096 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764140333936 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25568] ppid=25503 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/25506/task/25568/stat : 25568 (java) S 25503 25506 7434 0 -1 1077944384 3 12438 0 0 0 0 5 3 20 0 17 0 34664096 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764139281376 139764668884693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
[pid=25506/tid=25569] ppid=25503 vsize=14200644 CPUtime=1.63 cores=0,2,4,6
/proc/25506/task/25569/stat : 25569 (java) S 25503 25506 7434 0 -1 1077944384 2507 12438 0 0 74 81 5 3 20 0 17 0 34664101 14541459456 357650 18446744073709551615 4194304 4196468 140720960905968 139764138228144 139764668885634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17645568 140720960907216 140720960910001 140720960910001 140720960913359 0
Current children cumulated CPU time (s) 2520.97
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2469.62
CPU time (s): 2521.01
CPU user time (s): 2517.03
CPU system time (s): 3.97881
CPU usage (%): 102.081
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.03
system time used= 3.97881
maximum resident set size= 1534352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250594
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 293902
involuntary context switches= 8131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5204 second user time and 15.721 second system time
The end