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-4262304-1502446681/watcher-4262304-1502446681 -o /tmp/evaluation-result-4262304-1502446681/solver-4262304-1502446681 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4262304-1502446681.xml
pid=9458
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.59 1.46 1.43 2/195 9461
/proc/meminfo: memFree=30051216/32770624 swapFree=0/505100
[pid=9461] ppid=9458 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9461/stat : 9461 (runsolver) D 9458 9461 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 46888870 24240128 107 18446744073709551615 4194304 4338465 140726477813120 140726477810760 140516190991063 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 26521600 140726477820113 140726477820489 140726477820489 140726477823946 0
/proc/9461/statm: 5918 107 54 36 0 2156 0
[startup+0.100133 s]
/proc/loadavg: 1.59 1.46 1.43 2/195 9461
/proc/meminfo: memFree=30051216/32770624 swapFree=0/505100
[pid=9461] ppid=9458 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/9461/stat : 9461 (bash) S 9458 9461 1330 0 -1 4202496 684 1541 0 0 0 0 0 0 20 0 1 0 46888870 9736192 351 18446744073709551615 4194304 5098028 140735665538096 140735665535736 139867336993792 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 33689600 140735665545748 140735665545833 140735665545833 140735665549290 0
/proc/9461/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200223 s]
/proc/loadavg: 1.59 1.46 1.43 2/195 9461
/proc/meminfo: memFree=30051216/32770624 swapFree=0/505100
[pid=9461] ppid=9458 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/9461/stat : 9461 (bash) S 9458 9461 1330 0 -1 4202496 897 6479 0 0 0 0 0 1 20 0 1 0 46888870 9867264 377 18446744073709551615 4194304 5098028 140735665538096 140735665532104 139867336993792 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 8 0 0 7196144 7232144 33689600 140735665545748 140735665545833 140735665545833 140735665549290 0
/proc/9461/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300281 s]
/proc/loadavg: 1.59 1.46 1.43 2/195 9461
/proc/meminfo: memFree=30051216/32770624 swapFree=0/505100
[pid=9461] ppid=9458 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 5994 12723 0 0 5 1 5 2 20 0 14 0 46888870 14241083392 5161 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3476827 5161 2567 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.708086 s]
/proc/loadavg: 1.59 1.46 1.43 2/195 9461
/proc/meminfo: memFree=30051216/32770624 swapFree=0/505100
[pid=9461] ppid=9458 vsize=13974784 CPUtime=0.63 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 14027 12723 0 0 52 4 5 2 20 0 15 0 46888870 14310178816 14507 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3493696 14507 3126 1 0 3482965 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784
[startup+1.50052 s]
/proc/loadavg: 1.62 1.46 1.44 3/210 9524
/proc/meminfo: memFree=29960412/32770624 swapFree=0/504948
[pid=9461] ppid=9458 vsize=13985408 CPUtime=1.8 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 27776 12723 0 0 166 7 5 2 20 0 15 0 46888870 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3496352 33918 3341 1 0 3485525 0
[pid=9461/tid=9511] ppid=9458 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) R 9458 9461 1330 0 -1 4202560 22660 12723 0 0 114 6 5 2 20 0 15 0 46888892 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785678226928 139785659363378 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) S 9458 9461 1330 0 -1 1077944384 1 12723 0 0 0 0 5 2 20 0 15 0 46888893 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 1 12723 0 0 0 0 5 2 20 0 15 0 46888893 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) S 9458 9461 1330 0 -1 1077944384 1 12723 0 0 0 0 5 2 20 0 15 0 46888893 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 2 12723 0 0 0 0 5 2 20 0 15 0 46888893 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 5 12723 0 0 0 0 5 2 20 0 15 0 46888894 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785219648240 139785674005122 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 33 12723 0 0 0 0 5 2 20 0 15 0 46888894 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785218594464 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 21 12723 0 0 0 0 5 2 20 0 15 0 46888895 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785217541360 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9520] ppid=9458 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/9461/task/9520/stat : 9520 (java) S 9458 9461 1330 0 -1 1077944384 988 12723 0 0 16 0 5 2 20 0 15 0 46888897 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785215437040 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9521] ppid=9458 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/9461/task/9521/stat : 9521 (java) S 9458 9461 1330 0 -1 1077944384 660 12723 0 0 13 0 5 2 20 0 15 0 46888897 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785146460528 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9522] ppid=9458 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/9461/task/9522/stat : 9522 (java) R 9458 9461 1330 0 -1 4202560 1237 12723 0 0 22 0 5 2 20 0 15 0 46888897 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785145407472 139785674005910 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9523] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 6 12723 0 0 0 0 5 2 20 0 15 0 46888904 14321057792 33918 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408
[startup+3.10063 s]
/proc/loadavg: 1.62 1.46 1.44 5/210 9524
/proc/meminfo: memFree=29881272/32770624 swapFree=0/504940
[pid=9461] ppid=9458 vsize=13999932 CPUtime=5.3 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 49042 12723 0 0 508 15 5 2 20 0 15 0 46888870 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3499983 55708 3447 1 0 3488597 0
[pid=9461/tid=9511] ppid=9458 vsize=13999932 CPUtime=2.81 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) R 9458 9461 1330 0 -1 4202560 36926 12723 0 0 266 8 5 2 20 0 15 0 46888892 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785678215424 139785658074462 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) S 9458 9461 1330 0 -1 1077944384 72 12723 0 0 0 0 5 2 20 0 15 0 46888893 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 41 12723 0 0 1 0 5 2 20 0 15 0 46888893 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) S 9458 9461 1330 0 -1 1077944384 40 12723 0 0 1 0 5 2 20 0 15 0 46888893 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 192 12723 0 0 1 0 5 2 20 0 15 0 46888893 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 1059 12723 0 0 1 0 5 2 20 0 15 0 46888894 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785219648240 139785674005122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 56 12723 0 0 0 0 5 2 20 0 15 0 46888894 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785218594528 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 44 12723 0 0 0 0 5 2 20 0 15 0 46888895 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785217541376 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9520] ppid=9458 vsize=13999932 CPUtime=0.61 cores=1,3,5,7
/proc/9461/task/9520/stat : 9520 (java) S 9458 9461 1330 0 -1 1077944384 1402 12723 0 0 54 0 5 2 20 0 15 0 46888897 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785215437040 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9521] ppid=9458 vsize=13999932 CPUtime=0.97 cores=1,3,5,7
/proc/9461/task/9521/stat : 9521 (java) S 9458 9461 1330 0 -1 1077944384 3816 12723 0 0 89 1 5 2 20 0 15 0 46888897 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785146460528 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9522] ppid=9458 vsize=13999932 CPUtime=0.99 cores=1,3,5,7
/proc/9461/task/9522/stat : 9522 (java) S 9458 9461 1330 0 -1 1077944384 3222 12723 0 0 90 2 5 2 20 0 15 0 46888897 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785145407472 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9523] ppid=9458 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 10 12723 0 0 0 0 5 2 20 0 15 0 46888904 14335930368 55708 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 13999932
[startup+6.30062 s]
/proc/loadavg: 1.57 1.46 1.44 3/210 9524
/proc/meminfo: memFree=29694300/32770624 swapFree=0/504940
[pid=9461] ppid=9458 vsize=14067516 CPUtime=11.52 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 63842 12723 0 0 1123 22 5 2 20 0 15 0 46888870 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3516879 106204 3461 1 0 3505493 0
[pid=9461/tid=9511] ppid=9458 vsize=14067516 CPUtime=5.95 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) R 9458 9461 1330 0 -1 4202560 44968 12723 0 0 576 12 5 2 20 0 15 0 46888892 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785678228320 139785302626800 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) S 9458 9461 1330 0 -1 1077944384 110 12723 0 0 3 1 5 2 20 0 15 0 46888893 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 124 12723 0 0 3 0 5 2 20 0 15 0 46888893 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) S 9458 9461 1330 0 -1 1077944384 63 12723 0 0 3 0 5 2 20 0 15 0 46888893 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 214 12723 0 0 3 0 5 2 20 0 15 0 46888893 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 2042 12723 0 0 3 0 5 2 20 0 15 0 46888894 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785219648240 139785674005122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 56 12723 0 0 0 0 5 2 20 0 15 0 46888894 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785218594592 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 44 12723 0 0 0 0 5 2 20 0 15 0 46888895 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785217541376 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9520] ppid=9458 vsize=14067516 CPUtime=1.99 cores=1,3,5,7
/proc/9461/task/9520/stat : 9520 (java) S 9458 9461 1330 0 -1 1077944384 5918 12723 0 0 191 1 5 2 20 0 15 0 46888897 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785215437040 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9521] ppid=9458 vsize=14067516 CPUtime=2.32 cores=1,3,5,7
/proc/9461/task/9521/stat : 9521 (java) S 9458 9461 1330 0 -1 1077944384 4401 12723 0 0 224 1 5 2 20 0 15 0 46888897 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785146460528 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9522] ppid=9458 vsize=14067516 CPUtime=1.2 cores=1,3,5,7
/proc/9461/task/9522/stat : 9522 (java) S 9458 9461 1330 0 -1 1077944384 3729 12723 0 0 111 2 5 2 20 0 15 0 46888897 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785145407472 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9523] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 11 12723 0 0 0 0 5 2 20 0 15 0 46888904 14405136384 106204 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 14067516
[startup+12.7006 s]
/proc/loadavg: 1.53 1.45 1.43 3/210 9524
/proc/meminfo: memFree=29363160/32770624 swapFree=0/504932
[pid=9461] ppid=9458 vsize=14067516 CPUtime=17.97 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 67551 12723 0 0 1762 28 5 2 20 0 15 0 46888870 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3516879 175005 3467 1 0 3505493 0
[pid=9461/tid=9511] ppid=9458 vsize=14067516 CPUtime=12.33 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) R 9458 9461 1330 0 -1 4202560 46191 12723 0 0 1210 16 5 2 20 0 15 0 46888892 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785678228320 139785298579551 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) S 9458 9461 1330 0 -1 1077944384 221 12723 0 0 3 1 5 2 20 0 15 0 46888893 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 662 12723 0 0 4 1 5 2 20 0 15 0 46888893 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) S 9458 9461 1330 0 -1 1077944384 940 12723 0 0 4 1 5 2 20 0 15 0 46888893 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 426 12723 0 0 4 1 5 2 20 0 15 0 46888893 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 2451 12723 0 0 4 0 5 2 20 0 15 0 46888894 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785219648240 139785674005122 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 56 12723 0 0 0 0 5 2 20 0 15 0 46888894 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785218594592 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 44 12723 0 0 0 0 5 2 20 0 15 0 46888895 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785217541376 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 175005 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
################
# More data... #
################
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=14067516 CPUtime=1.55 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 926 12723 0 0 66 82 5 2 20 0 15 0 46888904 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 2363.29
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.80 1.75 1.65 3/210 9791
/proc/meminfo: memFree=27093496/32770624 swapFree=0/505324
[pid=9461] ppid=9458 vsize=14067516 CPUtime=2424.26 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 186833 12723 0 0 242007 412 5 2 20 0 15 0 46888870 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3516879 236564 3467 1 0 3505493 0
[pid=9461/tid=9511] ppid=9458 vsize=14067516 CPUtime=2354.72 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) R 9458 9461 1330 0 -1 4202560 91735 12723 0 0 235407 58 5 2 20 0 15 0 46888892 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785678228032 139785308060608 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=14067516 CPUtime=12.72 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) S 9458 9461 1330 0 -1 1077944384 13622 12723 0 0 1196 69 5 2 20 0 15 0 46888893 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=14067516 CPUtime=12.7 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 13566 12723 0 0 1192 71 5 2 20 0 15 0 46888893 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=14067516 CPUtime=12.73 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) S 9458 9461 1330 0 -1 1077944384 13977 12723 0 0 1195 71 5 2 20 0 15 0 46888893 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=14067516 CPUtime=12.71 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 16447 12723 0 0 1195 69 5 2 20 0 15 0 46888893 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=14067516 CPUtime=12.02 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 14536 12723 0 0 1127 68 5 2 20 0 15 0 46888894 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785219648240 139785674005122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 56 12723 0 0 0 0 5 2 20 0 15 0 46888894 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785218594592 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 44 12723 0 0 0 0 5 2 20 0 15 0 46888895 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785217541376 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9520] ppid=9458 vsize=14067516 CPUtime=2.01 cores=1,3,5,7
/proc/9461/task/9520/stat : 9520 (java) S 9458 9461 1330 0 -1 1077944384 6029 12723 0 0 192 2 5 2 20 0 15 0 46888897 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785215437040 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9521] ppid=9458 vsize=14067516 CPUtime=2.34 cores=1,3,5,7
/proc/9461/task/9521/stat : 9521 (java) S 9458 9461 1330 0 -1 1077944384 4508 12723 0 0 226 1 5 2 20 0 15 0 46888897 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785146460528 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9522] ppid=9458 vsize=14067516 CPUtime=1.23 cores=1,3,5,7
/proc/9461/task/9522/stat : 9522 (java) S 9458 9461 1330 0 -1 1077944384 9207 12723 0 0 113 3 5 2 20 0 15 0 46888897 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785145407472 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9523] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=14067516 CPUtime=1.59 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 944 12723 0 0 68 84 5 2 20 0 15 0 46888904 14405136384 236564 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 2424.26
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.45 1.67 1.63 3/210 9793
/proc/meminfo: memFree=27207384/32770624 swapFree=0/505328
[pid=9461] ppid=9458 vsize=14067516 CPUtime=2485.27 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 188513 12723 0 0 248100 420 5 2 20 0 15 0 46888870 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3516879 237076 3467 1 0 3505493 0
[pid=9461/tid=9511] ppid=9458 vsize=14067516 CPUtime=2414 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) R 9458 9461 1330 0 -1 4202560 92813 12723 0 0 241334 59 5 2 20 0 15 0 46888892 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785678227952 139785300820198 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=14067516 CPUtime=13.06 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) S 9458 9461 1330 0 -1 1077944384 13671 12723 0 0 1229 70 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=14067516 CPUtime=13.04 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 13770 12723 0 0 1225 72 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=14067516 CPUtime=13.07 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) S 9458 9461 1330 0 -1 1077944384 14054 12723 0 0 1227 73 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=14067516 CPUtime=13.05 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 16508 12723 0 0 1228 70 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=14067516 CPUtime=12.34 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 14727 12723 0 0 1158 69 5 2 20 0 15 0 46888894 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785219648240 139785674005122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 56 12723 0 0 0 0 5 2 20 0 15 0 46888894 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785218594592 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 44 12723 0 0 0 0 5 2 20 0 15 0 46888895 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785217541376 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9520] ppid=9458 vsize=14067516 CPUtime=2.01 cores=1,3,5,7
/proc/9461/task/9520/stat : 9520 (java) S 9458 9461 1330 0 -1 1077944384 6029 12723 0 0 192 2 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785215437040 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9521] ppid=9458 vsize=14067516 CPUtime=2.34 cores=1,3,5,7
/proc/9461/task/9521/stat : 9521 (java) S 9458 9461 1330 0 -1 1077944384 4510 12723 0 0 226 1 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785146460528 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9522] ppid=9458 vsize=14067516 CPUtime=1.23 cores=1,3,5,7
/proc/9461/task/9522/stat : 9522 (java) S 9458 9461 1330 0 -1 1077944384 9209 12723 0 0 113 3 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785145407472 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9523] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=14067516 CPUtime=1.62 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 960 12723 0 0 70 85 5 2 20 0 15 0 46888904 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 2485.27
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.5 s]
/proc/loadavg: 1.54 1.67 1.63 3/209 9793
/proc/meminfo: memFree=27278892/32770624 swapFree=0/505328
[pid=9461] ppid=9458 vsize=14067516 CPUtime=2520.05 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 189247 12723 0 0 251572 426 5 2 20 0 15 0 46888870 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3516879 237076 3467 1 0 3505493 0
[pid=9461/tid=9511] ppid=9458 vsize=14067516 CPUtime=2447.82 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) R 9458 9461 1330 0 -1 4202560 93269 12723 0 0 244716 59 5 2 20 0 15 0 46888892 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785678228176 139785309147932 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=14067516 CPUtime=13.25 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) S 9458 9461 1330 0 -1 1077944384 13680 12723 0 0 1247 71 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=14067516 CPUtime=13.24 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 13774 12723 0 0 1244 73 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=14067516 CPUtime=13.26 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) S 9458 9461 1330 0 -1 1077944384 14089 12723 0 0 1245 74 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=14067516 CPUtime=13.24 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 16555 12723 0 0 1246 71 5 2 20 0 15 0 46888893 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=14067516 CPUtime=12.51 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 14896 12723 0 0 1174 70 5 2 20 0 15 0 46888894 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785219648240 139785674005122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 56 12723 0 0 0 0 5 2 20 0 15 0 46888894 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785218594592 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 44 12723 0 0 0 0 5 2 20 0 15 0 46888895 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785217541376 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9520] ppid=9458 vsize=14067516 CPUtime=2.01 cores=1,3,5,7
/proc/9461/task/9520/stat : 9520 (java) S 9458 9461 1330 0 -1 1077944384 6031 12723 0 0 192 2 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785215437040 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9521] ppid=9458 vsize=14067516 CPUtime=2.34 cores=1,3,5,7
/proc/9461/task/9521/stat : 9521 (java) S 9458 9461 1330 0 -1 1077944384 4510 12723 0 0 226 1 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785146460528 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9522] ppid=9458 vsize=14067516 CPUtime=1.23 cores=1,3,5,7
/proc/9461/task/9522/stat : 9522 (java) S 9458 9461 1330 0 -1 1077944384 9209 12723 0 0 113 3 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785145407472 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9523] ppid=9458 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 15 0 46888897 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=14067516 CPUtime=1.65 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 972 12723 0 0 71 87 5 2 20 0 15 0 46888904 14405136384 237076 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 2520.05
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 9461 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.6 s]
/proc/loadavg: 1.54 1.67 1.63 3/209 9793
/proc/meminfo: memFree=27278892/32770624 swapFree=0/505328
[pid=9461] ppid=9458 vsize=14200644 CPUtime=2520.33 cores=1,3,5,7
/proc/9461/stat : 9461 (java) S 9458 9461 1330 0 -1 1077944320 195532 12723 0 0 251600 426 5 2 20 0 17 0 46888870 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 140736025134208 139785673993975 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
/proc/9461/statm: 3550161 238836 3467 1 0 3538775 0
[pid=9461/tid=9511] ppid=9458 vsize=14200644 CPUtime=2447.83 cores=1,3,5,7
/proc/9461/task/9511/stat : 9511 (java) S 9458 9461 1330 0 -1 1077944384 93645 12723 0 0 244717 59 5 2 20 0 17 0 46888892 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785678231520 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9512] ppid=9458 vsize=14200644 CPUtime=13.31 cores=1,3,5,7
/proc/9461/task/9512/stat : 9512 (java) R 9458 9461 1330 0 -1 1077944384 13708 12723 0 0 1253 71 5 2 20 0 17 0 46888893 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785630960144 139785674004181 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9513] ppid=9458 vsize=14200644 CPUtime=13.3 cores=1,3,5,7
/proc/9461/task/9513/stat : 9513 (java) S 9458 9461 1330 0 -1 1077944384 13785 12723 0 0 1250 73 5 2 20 0 17 0 46888893 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785629907600 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9514] ppid=9458 vsize=14200644 CPUtime=13.32 cores=1,3,5,7
/proc/9461/task/9514/stat : 9514 (java) R 9458 9461 1330 0 -1 1077944384 14107 12723 0 0 1251 74 5 2 20 0 17 0 46888893 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785628854544 139785674004181 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9515] ppid=9458 vsize=14200644 CPUtime=13.3 cores=1,3,5,7
/proc/9461/task/9515/stat : 9515 (java) S 9458 9461 1330 0 -1 1077944384 16572 12723 0 0 1252 71 5 2 20 0 17 0 46888893 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785627802000 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9516] ppid=9458 vsize=14200644 CPUtime=12.54 cores=1,3,5,7
/proc/9461/task/9516/stat : 9516 (java) S 9458 9461 1330 0 -1 1077944384 20521 12723 0 0 1177 70 5 2 20 0 17 0 46888894 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785219646640 139785674004181 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9517] ppid=9458 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9517/stat : 9517 (java) S 9458 9461 1330 0 -1 1077944384 57 12723 0 0 0 0 5 2 20 0 17 0 46888894 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785218594496 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9518] ppid=9458 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9518/stat : 9518 (java) S 9458 9461 1330 0 -1 1077944384 44 12723 0 0 0 0 5 2 20 0 17 0 46888895 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785217541376 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9519] ppid=9458 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9519/stat : 9519 (java) S 9458 9461 1330 0 -1 1077944384 80 12723 0 0 0 0 5 2 20 0 17 0 46888897 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785216489936 139785674012571 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9520] ppid=9458 vsize=14200644 CPUtime=2.01 cores=1,3,5,7
/proc/9461/task/9520/stat : 9520 (java) S 9458 9461 1330 0 -1 1077944384 6031 12723 0 0 192 2 5 2 20 0 17 0 46888897 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785215437040 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9521] ppid=9458 vsize=14200644 CPUtime=2.34 cores=1,3,5,7
/proc/9461/task/9521/stat : 9521 (java) S 9458 9461 1330 0 -1 1077944384 4510 12723 0 0 226 1 5 2 20 0 17 0 46888897 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785146460528 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9522] ppid=9458 vsize=14200644 CPUtime=1.23 cores=1,3,5,7
/proc/9461/task/9522/stat : 9522 (java) S 9458 9461 1330 0 -1 1077944384 9229 12723 0 0 113 3 5 2 20 0 17 0 46888897 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785145401392 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9523] ppid=9458 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/9461/task/9523/stat : 9523 (java) S 9458 9461 1330 0 -1 1077944384 3 12723 0 0 0 0 5 2 20 0 17 0 46888897 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785144355168 139785674004181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
[pid=9461/tid=9524] ppid=9458 vsize=14200644 CPUtime=1.65 cores=1,3,5,7
/proc/9461/task/9524/stat : 9524 (java) S 9458 9461 1330 0 -1 1077944384 972 12723 0 0 71 87 5 2 20 0 17 0 46888904 14541459456 238836 18446744073709551615 4194304 4196468 140736025151664 139785143303216 139785674005122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33062912 140736025159632 140736025162417 140736025162417 140736025165775 0
Current children cumulated CPU time (s) 2520.33
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2476.68
CPU time (s): 2520.5
CPU user time (s): 2516.2
CPU system time (s): 4.30779
CPU usage (%): 101.769
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 4.30779
maximum resident set size= 956192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 332608
involuntary context switches= 7073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4623 second user time and 14.2439 second system time
The end