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-4262169-1502422163/watcher-4262169-1502422163 -o /tmp/evaluation-result-4262169-1502422163/solver-4262169-1502422163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262169-1502422163.xml
pid=3709
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.60 1.57 1.58 6/194 3712
/proc/meminfo: memFree=30579276/32770624 swapFree=0/498092
[pid=3712] ppid=3709 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3712/stat : 3712 (runsolver) D 3709 3712 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 44437090 24240128 108 18446744073709551615 4194304 4338465 140734254341872 140734254339512 139807987880663 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38924288 140734254346449 140734254346825 140734254346825 140734254350282 0
/proc/3712/statm: 5918 108 54 36 0 2156 0
[startup+0.100067 s]
/proc/loadavg: 1.60 1.57 1.58 6/194 3712
/proc/meminfo: memFree=30579276/32770624 swapFree=0/498092
[pid=3712] ppid=3709 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/3712/stat : 3712 (bash) S 3709 3712 1330 0 -1 4202496 716 3531 0 0 0 0 0 0 20 0 1 0 44437090 9736192 355 18446744073709551615 4194304 5098028 140721850943040 140721850940680 139673437846528 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 8 0 0 7196144 7232144 30167040 140721850946068 140721850946153 140721850946153 140721850949610 0
/proc/3712/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200493 s]
/proc/loadavg: 1.60 1.57 1.58 6/194 3712
/proc/meminfo: memFree=30579276/32770624 swapFree=0/498092
[pid=3712] ppid=3709 vsize=9636 CPUtime=0.08 cores=1,3,5,7
/proc/3712/stat : 3712 (bash) R 3709 3712 1330 0 -1 4202496 959 12300 0 0 0 0 5 3 20 0 1 0 44437090 9867264 380 18446744073709551615 4194304 5098028 140721850943040 140721850938872 139673437408229 0 0 5 65536 0 0 0 17 5 0 0 8 0 0 7196144 7232144 30167040 140721850946068 140721850946153 140721850946153 140721850949610 0
/proc/3712/statm: 2409 380 299 221 0 118 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9636
[startup+0.307652 s]
/proc/loadavg: 1.60 1.57 1.58 6/194 3712
/proc/meminfo: memFree=30579276/32770624 swapFree=0/498092
[pid=3712] ppid=3709 vsize=13973936 CPUtime=0.15 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 5779 12300 0 0 6 1 5 3 20 0 15 0 44437090 14309310464 6464 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3493484 6464 2714 1 0 3482965 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 13973936
[startup+0.700302 s]
/proc/loadavg: 1.60 1.57 1.58 6/194 3712
/proc/meminfo: memFree=30579276/32770624 swapFree=0/498092
[pid=3712] ppid=3709 vsize=13974784 CPUtime=0.71 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 13701 12300 0 0 58 5 5 3 20 0 15 0 44437090 14310178816 15177 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3493696 15177 3113 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784
[startup+1.50059 s]
/proc/loadavg: 1.60 1.57 1.58 4/209 3776
/proc/meminfo: memFree=30469668/32770624 swapFree=0/497940
[pid=3712] ppid=3709 vsize=13985408 CPUtime=1.93 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 29333 12300 0 0 174 11 5 3 20 0 15 0 44437090 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3496352 43243 3370 1 0 3485525 0
[pid=3712/tid=3762] ppid=3709 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 22528 12300 0 0 114 7 5 3 20 0 15 0 44437110 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140665308700720 140665304495261 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 59 12300 0 0 1 0 5 3 20 0 15 0 44437111 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 194 12300 0 0 1 0 5 3 20 0 15 0 44437111 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 48 12300 0 0 0 0 5 3 20 0 15 0 44437111 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 55 12300 0 0 1 0 5 3 20 0 15 0 44437111 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 1134 12300 0 0 1 0 5 3 20 0 15 0 44437112 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 55 12300 0 0 0 0 5 3 20 0 15 0 44437113 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664781657184 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 44 12300 0 0 0 0 5 3 20 0 15 0 44437113 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3771] ppid=3709 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/3712/task/3771/stat : 3771 (java) S 3709 3712 1330 0 -1 1077944384 1108 12300 0 0 16 0 5 3 20 0 15 0 44437115 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664778500976 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3772] ppid=3709 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/3712/task/3772/stat : 3772 (java) S 3709 3712 1330 0 -1 1077944384 558 12300 0 0 13 0 5 3 20 0 15 0 44437115 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664777448176 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3773] ppid=3709 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/3712/task/3773/stat : 3773 (java) S 3709 3712 1330 0 -1 1077944384 1384 12300 0 0 23 0 5 3 20 0 15 0 44437116 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664776395376 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3774] ppid=3709 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 6 12300 0 0 0 0 5 3 20 0 15 0 44437119 14321057792 43243 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13985408
[startup+3.10329 s]
/proc/loadavg: 1.60 1.57 1.58 5/209 3776
/proc/meminfo: memFree=30362372/32770624 swapFree=0/497940
[pid=3712] ppid=3709 vsize=13999932 CPUtime=5.51 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 48457 12300 0 0 527 16 5 3 20 0 15 0 44437090 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3499983 55359 3442 1 0 3488597 0
[pid=3712/tid=3762] ppid=3709 vsize=13999932 CPUtime=2.88 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 36135 12300 0 0 271 9 5 3 20 0 15 0 44437110 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140665308705888 140664902854416 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 59 12300 0 0 1 0 5 3 20 0 15 0 44437111 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 194 12300 0 0 1 0 5 3 20 0 15 0 44437111 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 48 12300 0 0 0 0 5 3 20 0 15 0 44437111 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 55 12300 0 0 1 0 5 3 20 0 15 0 44437111 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 1151 12300 0 0 1 0 5 3 20 0 15 0 44437112 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 55 12300 0 0 0 0 5 3 20 0 15 0 44437113 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664781657184 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 44 12300 0 0 0 0 5 3 20 0 15 0 44437113 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3771] ppid=3709 vsize=13999932 CPUtime=0.68 cores=1,3,5,7
/proc/3712/task/3771/stat : 3771 (java) R 3709 3712 1330 0 -1 4202560 1757 12300 0 0 59 1 5 3 20 0 15 0 44437115 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664778489648 140665290497188 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3772] ppid=3709 vsize=13999932 CPUtime=1.02 cores=1,3,5,7
/proc/3712/task/3772/stat : 3772 (java) R 3709 3712 1330 0 -1 1077944384 3379 12300 0 0 94 0 5 3 20 0 15 0 44437115 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664777448304 140665304483541 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3773] ppid=3709 vsize=13999932 CPUtime=1.04 cores=1,3,5,7
/proc/3712/task/3773/stat : 3773 (java) R 3709 3712 1330 0 -1 4202560 3415 12300 0 0 95 1 5 3 20 0 15 0 44437116 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664776393168 140665283198163 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3774] ppid=3709 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 7 12300 0 0 0 0 5 3 20 0 15 0 44437119 14335930368 55359 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 13999932
[startup+6.30067 s]
/proc/loadavg: 1.63 1.58 1.58 5/209 3776
/proc/meminfo: memFree=30142160/32770624 swapFree=0/497928
[pid=3712] ppid=3709 vsize=14069564 CPUtime=14.5 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 68769 12300 0 0 1418 24 5 3 20 0 15 0 44437090 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3517391 96371 3477 1 0 3506005 0
[pid=3712/tid=3762] ppid=3709 vsize=14069564 CPUtime=5.81 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 45274 12300 0 0 560 13 5 3 20 0 15 0 44437110 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140665308707408 140664909338435 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 106 12300 0 0 13 0 5 3 20 0 15 0 44437111 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=14069564 CPUtime=0.18 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 225 12300 0 0 10 0 5 3 20 0 15 0 44437111 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 133 12300 0 0 12 0 5 3 20 0 15 0 44437111 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=14069564 CPUtime=0.17 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 91 12300 0 0 9 0 5 3 20 0 15 0 44437111 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 2032 12300 0 0 12 0 5 3 20 0 15 0 44437112 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 55 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664781657248 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 45 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3771] ppid=3709 vsize=14069564 CPUtime=2.95 cores=1,3,5,7
/proc/3712/task/3771/stat : 3771 (java) S 3709 3712 1330 0 -1 1077944384 6571 12300 0 0 285 2 5 3 20 0 15 0 44437115 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664778500976 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3772] ppid=3709 vsize=14069564 CPUtime=3.55 cores=1,3,5,7
/proc/3712/task/3772/stat : 3772 (java) S 3709 3712 1330 0 -1 1077944384 6926 12300 0 0 346 1 5 3 20 0 15 0 44437115 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664777448176 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3773] ppid=3709 vsize=14069564 CPUtime=1.75 cores=1,3,5,7
/proc/3712/task/3773/stat : 3773 (java) S 3709 3712 1330 0 -1 1077944384 5143 12300 0 0 165 2 5 3 20 0 15 0 44437116 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664776395376 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3774] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 8 12300 0 0 0 0 5 3 20 0 15 0 44437119 14407233536 96371 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (KiB) 14069564
[startup+12.7007 s]
/proc/loadavg: 1.58 1.57 1.58 3/209 3776
/proc/meminfo: memFree=29797672/32770624 swapFree=0/497928
[pid=3712] ppid=3709 vsize=14069564 CPUtime=21.54 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 77370 12300 0 0 2114 32 5 3 20 0 15 0 44437090 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3517391 164675 3482 1 0 3506005 0
[pid=3712/tid=3762] ppid=3709 vsize=14069564 CPUtime=12.18 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 47114 12300 0 0 1194 16 5 3 20 0 15 0 44437110 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140665308707552 140664909584679 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 1076 12300 0 0 13 1 5 3 20 0 15 0 44437111 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 263 12300 0 0 11 1 5 3 20 0 15 0 44437111 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 632 12300 0 0 12 1 5 3 20 0 15 0 44437111 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 160 12300 0 0 10 1 5 3 20 0 15 0 44437111 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 2405 12300 0 0 13 0 5 3 20 0 15 0 44437112 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 55 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140664781657248 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 45 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14407233536 164675 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
################
# More data... #
################
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=14069564 CPUtime=1.42 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 1176 12300 0 0 63 71 5 3 20 0 15 0 44437119 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 2377.91
Current children cumulated vsize (KiB) 14069564
[startup+2382.3 s]
/proc/loadavg: 1.54 1.42 1.41 3/209 3917
/proc/meminfo: memFree=29753760/32770624 swapFree=0/498420
[pid=3712] ppid=3709 vsize=14069564 CPUtime=2438.88 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 269712 12300 0 0 243484 396 5 3 20 0 15 0 44437090 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3517391 217997 3482 1 0 3506005 0
[pid=3712/tid=3762] ppid=3709 vsize=14069564 CPUtime=2355.82 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 100088 12300 0 0 235513 61 5 3 20 0 15 0 44437110 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140665308707328 140664910159724 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=14069564 CPUtime=12.82 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 18935 12300 0 0 1208 66 5 3 20 0 15 0 44437111 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=14069564 CPUtime=12.87 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 15545 12300 0 0 1219 60 5 3 20 0 15 0 44437111 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=14069564 CPUtime=12.86 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 19136 12300 0 0 1218 60 5 3 20 0 15 0 44437111 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=14069564 CPUtime=12.79 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 11304 12300 0 0 1207 64 5 3 20 0 15 0 44437111 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=14069564 CPUtime=11.41 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 15129 12300 0 0 1070 63 5 3 20 0 15 0 44437112 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 63 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664781657248 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 45 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3771] ppid=3709 vsize=14069564 CPUtime=7.73 cores=1,3,5,7
/proc/3712/task/3771/stat : 3771 (java) S 3709 3712 1330 0 -1 1077944384 24620 12300 0 0 759 6 5 3 20 0 15 0 44437115 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664778500976 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3772] ppid=3709 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/3712/task/3772/stat : 3772 (java) S 3709 3712 1330 0 -1 1077944384 29595 12300 0 0 813 6 5 3 20 0 15 0 44437115 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664777448176 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3773] ppid=3709 vsize=14069564 CPUtime=3.48 cores=1,3,5,7
/proc/3712/task/3773/stat : 3773 (java) S 3709 3712 1330 0 -1 1077944384 31902 12300 0 0 334 6 5 3 20 0 15 0 44437116 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664776395376 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3774] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=14069564 CPUtime=1.47 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 1190 12300 0 0 65 74 5 3 20 0 15 0 44437119 14407233536 217997 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 2438.88
Current children cumulated vsize (KiB) 14069564
[startup+2442.3 s]
/proc/loadavg: 1.24 1.37 1.39 3/209 3920
/proc/meminfo: memFree=29751716/32770624 swapFree=0/498460
[pid=3712] ppid=3709 vsize=14069564 CPUtime=2499.93 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 271237 12300 0 0 249579 406 5 3 20 0 15 0 44437090 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3517391 218509 3482 1 0 3506005 0
[pid=3712/tid=3762] ppid=3709 vsize=14069564 CPUtime=2415.13 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 100894 12300 0 0 241444 61 5 3 20 0 15 0 44437110 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665308707824 140664900978784 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=14069564 CPUtime=13.16 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 19005 12300 0 0 1241 67 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=14069564 CPUtime=13.22 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 15626 12300 0 0 1252 62 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=14069564 CPUtime=13.2 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 19468 12300 0 0 1251 61 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=14069564 CPUtime=13.13 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 11316 12300 0 0 1239 66 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=14069564 CPUtime=11.7 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 15328 12300 0 0 1098 64 5 3 20 0 15 0 44437112 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 63 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664781657248 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 45 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3771] ppid=3709 vsize=14069564 CPUtime=7.73 cores=1,3,5,7
/proc/3712/task/3771/stat : 3771 (java) S 3709 3712 1330 0 -1 1077944384 24622 12300 0 0 759 6 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664778500976 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3772] ppid=3709 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/3712/task/3772/stat : 3772 (java) S 3709 3712 1330 0 -1 1077944384 29598 12300 0 0 813 6 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664777448176 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3773] ppid=3709 vsize=14069564 CPUtime=3.49 cores=1,3,5,7
/proc/3712/task/3773/stat : 3773 (java) S 3709 3712 1330 0 -1 1077944384 31904 12300 0 0 334 7 5 3 20 0 15 0 44437116 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664776395376 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3774] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=14069564 CPUtime=1.5 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 1208 12300 0 0 67 75 5 3 20 0 15 0 44437119 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 2499.93
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2462.1 s]
/proc/loadavg: 1.31 1.37 1.39 3/209 4048
/proc/meminfo: memFree=29480260/32770624 swapFree=0/498508
[pid=3712] ppid=3709 vsize=14069564 CPUtime=2520.05 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 271870 12300 0 0 251589 408 5 3 20 0 15 0 44437090 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3517391 218509 3482 1 0 3506005 0
[pid=3712/tid=3762] ppid=3709 vsize=14069564 CPUtime=2434.7 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 101151 12300 0 0 243401 61 5 3 20 0 15 0 44437110 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665308707248 140664908297065 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=14069564 CPUtime=13.27 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 19284 12300 0 0 1252 67 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=14069564 CPUtime=13.33 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 15627 12300 0 0 1263 62 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=14069564 CPUtime=13.31 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 19523 12300 0 0 1261 62 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=14069564 CPUtime=13.25 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 11327 12300 0 0 1250 67 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=14069564 CPUtime=11.8 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 15350 12300 0 0 1107 65 5 3 20 0 15 0 44437112 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 63 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664781657248 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 45 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3771] ppid=3709 vsize=14069564 CPUtime=7.73 cores=1,3,5,7
/proc/3712/task/3771/stat : 3771 (java) S 3709 3712 1330 0 -1 1077944384 24624 12300 0 0 759 6 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664778500976 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3772] ppid=3709 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/3712/task/3772/stat : 3772 (java) S 3709 3712 1330 0 -1 1077944384 29600 12300 0 0 813 6 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664777448176 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3773] ppid=3709 vsize=14069564 CPUtime=3.49 cores=1,3,5,7
/proc/3712/task/3773/stat : 3773 (java) S 3709 3712 1330 0 -1 1077944384 31906 12300 0 0 334 7 5 3 20 0 15 0 44437116 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664776395376 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3774] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=14069564 CPUtime=1.51 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 1210 12300 0 0 67 76 5 3 20 0 15 0 44437119 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 2520.05
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 3712 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2462.1 s]
/proc/loadavg: 1.31 1.37 1.39 3/209 4048
/proc/meminfo: memFree=29480260/32770624 swapFree=0/498508
[pid=3712] ppid=3709 vsize=14069564 CPUtime=2520.05 cores=1,3,5,7
/proc/3712/stat : 3712 (java) S 3709 3712 1330 0 -1 1077944320 271870 12300 0 0 251589 408 5 3 20 0 15 0 44437090 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140725585401504 140665304473335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
/proc/3712/statm: 3517391 218509 3482 1 0 3506005 0
[pid=3712/tid=3762] ppid=3709 vsize=14069564 CPUtime=2434.7 cores=1,3,5,7
/proc/3712/task/3762/stat : 3762 (java) R 3709 3712 1330 0 -1 4202560 101151 12300 0 0 243401 61 5 3 20 0 15 0 44437110 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665308707248 140664908297065 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3763] ppid=3709 vsize=14069564 CPUtime=13.27 cores=1,3,5,7
/proc/3712/task/3763/stat : 3763 (java) S 3709 3712 1330 0 -1 1077944384 19284 12300 0 0 1252 67 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665223888016 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3764] ppid=3709 vsize=14069564 CPUtime=13.33 cores=1,3,5,7
/proc/3712/task/3764/stat : 3764 (java) S 3709 3712 1330 0 -1 1077944384 15627 12300 0 0 1263 62 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665222835216 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3765] ppid=3709 vsize=14069564 CPUtime=13.31 cores=1,3,5,7
/proc/3712/task/3765/stat : 3765 (java) S 3709 3712 1330 0 -1 1077944384 19523 12300 0 0 1261 62 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665221782416 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3766] ppid=3709 vsize=14069564 CPUtime=13.25 cores=1,3,5,7
/proc/3712/task/3766/stat : 3766 (java) S 3709 3712 1330 0 -1 1077944384 11327 12300 0 0 1250 67 5 3 20 0 15 0 44437111 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140665220729616 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3767] ppid=3709 vsize=14069564 CPUtime=11.8 cores=1,3,5,7
/proc/3712/task/3767/stat : 3767 (java) S 3709 3712 1330 0 -1 1077944384 15350 12300 0 0 1107 65 5 3 20 0 15 0 44437112 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664782711152 140665304484482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3768] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3768/stat : 3768 (java) S 3709 3712 1330 0 -1 1077944384 63 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664781657248 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3769] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3769/stat : 3769 (java) S 3709 3712 1330 0 -1 1077944384 45 12300 0 0 0 0 5 3 20 0 15 0 44437113 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664780604288 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3770] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3770/stat : 3770 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664779552592 140665304491931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3771] ppid=3709 vsize=14069564 CPUtime=7.73 cores=1,3,5,7
/proc/3712/task/3771/stat : 3771 (java) S 3709 3712 1330 0 -1 1077944384 24624 12300 0 0 759 6 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664778500976 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3772] ppid=3709 vsize=14069564 CPUtime=8.27 cores=1,3,5,7
/proc/3712/task/3772/stat : 3772 (java) S 3709 3712 1330 0 -1 1077944384 29600 12300 0 0 813 6 5 3 20 0 15 0 44437115 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664777448176 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3773] ppid=3709 vsize=14069564 CPUtime=3.49 cores=1,3,5,7
/proc/3712/task/3773/stat : 3773 (java) S 3709 3712 1330 0 -1 1077944384 31906 12300 0 0 334 7 5 3 20 0 15 0 44437116 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664776395376 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3774] ppid=3709 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/3712/task/3774/stat : 3774 (java) S 3709 3712 1330 0 -1 1077944384 3 12300 0 0 0 0 5 3 20 0 15 0 44437116 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664775342816 140665304483541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
[pid=3712/tid=3775] ppid=3709 vsize=14069564 CPUtime=1.51 cores=1,3,5,7
/proc/3712/task/3775/stat : 3775 (java) S 3709 3712 1330 0 -1 1077944384 1210 12300 0 0 67 76 5 3 20 0 15 0 44437119 14407233536 218509 18446744073709551615 4194304 4196468 140725585418960 140664774290096 140665304484482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16482304 140725585422288 140725585425073 140725585425073 140725585428431 0
Current children cumulated CPU time (s) 2520.05
Current children cumulated vsize (KiB) 14069564
Child status: 143
Real time (s): 2462.14
CPU time (s): 2520.09
CPU user time (s): 2515.96
CPU system time (s): 4.12627
CPU usage (%): 102.354
Max. virtual memory (cumulated for all children) (KiB): 14072084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.96
system time used= 4.12627
maximum resident set size= 958060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285299
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= 308767
involuntary context switches= 6895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.785 second user time and 15.4277 second system time
The end