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-4262462-1502427724/watcher-4262462-1502427724 -o /tmp/evaluation-result-4262462-1502427724/solver-4262462-1502427724 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502411403-4960 --watchdog 2580 bin/concrete HOME/instance-4262462-1502427724.xml
pid=10422
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.79 1.75 1.60 3/199 10425
/proc/meminfo: memFree=29764104/32770624 swapFree=0/445960
[pid=10425] ppid=10422 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10425/stat : 10425 (runsolver) D 10422 10425 4896 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 142425352 24240128 106 18446744073709551615 4194304 4338465 140724299926000 140724299923640 139646309421783 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 27590656 140724299931857 140724299932233 140724299932233 140724299935690 0
/proc/10425/statm: 5918 106 53 36 0 2156 0
[startup+0.100113 s]
/proc/loadavg: 1.79 1.75 1.60 3/199 10425
/proc/meminfo: memFree=29764104/32770624 swapFree=0/445960
[pid=10425] ppid=10422 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10425/stat : 10425 (runsolver) R 10422 10425 4896 0 -1 4202560 113 0 0 0 0 0 0 0 20 0 1 0 142425352 24240128 108 18446744073709551615 4194304 4338465 140724299926000 140724299923496 139646309247479 0 0 1 24578 0 0 0 17 1 0 0 10 0 0 6438912 6441760 27590656 140724299931857 140724299932233 140724299932233 140724299935690 0
/proc/10425/statm: 2 1 0 0 0 2 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200318 s]
/proc/loadavg: 1.79 1.75 1.60 3/199 10425
/proc/meminfo: memFree=29764104/32770624 swapFree=0/445960
[pid=10425] ppid=10422 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/10425/stat : 10425 (bash) S 10422 10425 4896 0 -1 4202496 896 6480 0 0 0 0 0 1 20 0 1 0 142425352 9867264 377 18446744073709551615 4194304 5098028 140731635762080 140731635756088 140697105071104 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 10 0 0 7196144 7232144 12464128 140731635765780 140731635765865 140731635765865 140731635769322 0
/proc/10425/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300338 s]
/proc/loadavg: 1.79 1.75 1.60 3/199 10425
/proc/meminfo: memFree=29764104/32770624 swapFree=0/445960
[pid=10425] ppid=10422 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 5990 12665 0 0 5 1 5 3 20 0 14 0 142425352 14241083392 5671 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3476827 5671 2649 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.703058 s]
/proc/loadavg: 1.79 1.75 1.60 3/199 10425
/proc/meminfo: memFree=29764104/32770624 swapFree=0/445960
[pid=10425] ppid=10422 vsize=13974784 CPUtime=0.59 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 13792 12665 0 0 47 4 5 3 20 0 15 0 142425352 14310178816 14263 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3493696 14263 3072 1 0 3482965 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13974784
[startup+1.50064 s]
/proc/loadavg: 1.79 1.75 1.60 3/214 10488
/proc/meminfo: memFree=29673360/32770624 swapFree=0/446036
[pid=10425] ppid=10422 vsize=13985408 CPUtime=1.8 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 28251 12665 0 0 163 9 5 3 20 0 15 0 142425352 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3496352 33870 3338 1 0 3485525 0
[pid=10425/tid=10475] ppid=10422 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 23023 12665 0 0 112 7 5 3 20 0 15 0 142425375 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630742419952 139630722266462 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 1 12665 0 0 0 0 5 3 20 0 15 0 142425375 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 1 12665 0 0 0 0 5 3 20 0 15 0 142425375 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 1 12665 0 0 0 0 5 3 20 0 15 0 142425375 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 2 12665 0 0 0 0 5 3 20 0 15 0 142425375 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 5 12665 0 0 0 0 5 3 20 0 15 0 142425377 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 33 12665 0 0 0 0 5 3 20 0 15 0 142425377 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630215652512 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 21 12665 0 0 0 0 5 3 20 0 15 0 142425377 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630214599408 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10484] ppid=10422 vsize=13985408 CPUtime=0.26 cores=1,3,5,7
/proc/10425/task/10484/stat : 10484 (java) S 10422 10425 4896 0 -1 1077944384 1160 12665 0 0 18 0 5 3 20 0 15 0 142425380 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630212496112 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10485] ppid=10422 vsize=13985408 CPUtime=0.18 cores=1,3,5,7
/proc/10425/task/10485/stat : 10485 (java) S 10422 10425 4896 0 -1 1077944384 547 12665 0 0 10 0 5 3 20 0 15 0 142425380 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630211443568 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10486] ppid=10422 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/10425/task/10486/stat : 10486 (java) S 10422 10425 4896 0 -1 1077944384 1286 12665 0 0 21 0 5 3 20 0 15 0 142425380 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630210390512 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10487] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 10 12665 0 0 0 0 5 3 20 0 15 0 142425388 14321057792 33870 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408
[startup+3.10093 s]
/proc/loadavg: 1.81 1.75 1.60 5/214 10488
/proc/meminfo: memFree=29598656/32770624 swapFree=0/446036
[pid=10425] ppid=10422 vsize=13999932 CPUtime=5.94 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 46465 12665 0 0 570 16 5 3 20 0 15 0 142425352 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3499983 53813 3452 1 0 3488597 0
[pid=10425/tid=10475] ppid=10422 vsize=13999932 CPUtime=2.83 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 30445 12665 0 0 265 10 5 3 20 0 15 0 142425375 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630742416208 139630346486524 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 67 12665 0 0 1 0 5 3 20 0 15 0 142425375 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 53 12665 0 0 1 0 5 3 20 0 15 0 142425375 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 9 12665 0 0 0 0 5 3 20 0 15 0 142425375 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 222 12665 0 0 1 0 5 3 20 0 15 0 142425375 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 1545 12665 0 0 1 0 5 3 20 0 15 0 142425377 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 54 12665 0 0 0 0 5 3 20 0 15 0 142425377 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630215652576 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 44 12665 0 0 0 0 5 3 20 0 15 0 142425377 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630214599408 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10484] ppid=10422 vsize=13999932 CPUtime=1.23 cores=1,3,5,7
/proc/10425/task/10484/stat : 10484 (java) R 10422 10425 4896 0 -1 4202560 4281 12665 0 0 114 1 5 3 20 0 15 0 142425380 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630212475584 139630721682759 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10485] ppid=10422 vsize=13999932 CPUtime=0.82 cores=1,3,5,7
/proc/10425/task/10485/stat : 10485 (java) R 10422 10425 4896 0 -1 4202560 1917 12665 0 0 73 1 5 3 20 0 15 0 142425380 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630211429592 139630719705650 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10486] ppid=10422 vsize=13999932 CPUtime=1.2 cores=1,3,5,7
/proc/10425/task/10486/stat : 10486 (java) S 10422 10425 4896 0 -1 1077944384 5656 12665 0 0 111 1 5 3 20 0 15 0 142425380 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630210390512 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10487] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 11 12665 0 0 0 0 5 3 20 0 15 0 142425388 14335930368 53813 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 13999932
[startup+6.30065 s]
/proc/loadavg: 1.81 1.75 1.60 5/214 10488
/proc/meminfo: memFree=29461736/32770624 swapFree=0/446028
[pid=10425] ppid=10422 vsize=13999932 CPUtime=11.91 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 53599 12665 0 0 1161 22 5 3 20 0 15 0 142425352 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3499983 82746 3463 1 0 3488597 0
[pid=10425/tid=10475] ppid=10422 vsize=13999932 CPUtime=5.97 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 31469 12665 0 0 577 12 5 3 20 0 15 0 142425375 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630742419528 139630356741268 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 218 12665 0 0 3 0 5 3 20 0 15 0 142425375 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 120 12665 0 0 3 0 5 3 20 0 15 0 142425375 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 177 12665 0 0 3 0 5 3 20 0 15 0 142425375 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=13999932 CPUtime=0.11 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 799 12665 0 0 3 0 5 3 20 0 15 0 142425375 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 1649 12665 0 0 2 0 5 3 20 0 15 0 142425377 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 54 12665 0 0 0 0 5 3 20 0 15 0 142425377 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630215652576 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 44 12665 0 0 0 0 5 3 20 0 15 0 142425377 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630214599424 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10484] ppid=10422 vsize=13999932 CPUtime=2.25 cores=1,3,5,7
/proc/10425/task/10484/stat : 10484 (java) S 10422 10425 4896 0 -1 1077944384 5388 12665 0 0 216 1 5 3 20 0 15 0 142425380 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630212496112 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10485] ppid=10422 vsize=13999932 CPUtime=2.17 cores=1,3,5,7
/proc/10425/task/10485/stat : 10485 (java) S 10422 10425 4896 0 -1 1077944384 5283 12665 0 0 208 1 5 3 20 0 15 0 142425380 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630211443568 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10486] ppid=10422 vsize=13999932 CPUtime=1.51 cores=1,3,5,7
/proc/10425/task/10486/stat : 10486 (java) S 10422 10425 4896 0 -1 1077944384 6163 12665 0 0 141 2 5 3 20 0 15 0 142425380 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630210390512 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10487] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 74 12665 0 0 0 0 5 3 20 0 15 0 142425388 14335930368 82746 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.77 1.75 1.60 3/214 10488
/proc/meminfo: memFree=29144812/32770624 swapFree=0/446024
[pid=10425] ppid=10422 vsize=14069564 CPUtime=23.65 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 92801 12665 0 0 2322 35 5 3 20 0 15 0 142425352 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3517391 161993 3477 1 0 3506005 0
[pid=10425/tid=10475] ppid=10422 vsize=14069564 CPUtime=12.29 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 52883 12665 0 0 1203 18 5 3 20 0 15 0 142425375 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630742419552 139630363350676 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 334 12665 0 0 7 1 5 3 20 0 15 0 142425375 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 1304 12665 0 0 5 1 5 3 20 0 15 0 142425375 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=14069564 CPUtime=0.15 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 213 12665 0 0 6 1 5 3 20 0 15 0 142425375 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=14069564 CPUtime=0.14 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 832 12665 0 0 5 1 5 3 20 0 15 0 142425375 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 6647 12665 0 0 5 0 5 3 20 0 15 0 142425377 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 57 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630215652576 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 48 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630214599424 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 161993 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
################
# More data... #
################
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=14069564 CPUtime=1.42 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 1159 12665 0 0 65 69 5 3 20 0 15 0 142425388 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 2376.1
Current children cumulated vsize (KiB) 14069564
[startup+2382.3 s]
/proc/loadavg: 1.25 1.27 1.31 3/213 10662
/proc/meminfo: memFree=28548496/32770624 swapFree=0/446444
[pid=10425] ppid=10422 vsize=14069564 CPUtime=2436.9 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 289650 12665 0 0 243331 351 5 3 20 0 15 0 142425352 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3517391 299995 3477 1 0 3506005 0
[pid=10425/tid=10475] ppid=10422 vsize=14069564 CPUtime=2358.11 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 104607 12665 0 0 235748 55 5 3 20 0 15 0 142425375 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630742419280 139630362713959 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=14069564 CPUtime=10.64 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 18449 12665 0 0 1006 50 5 3 20 0 15 0 142425375 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=14069564 CPUtime=10.58 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 26730 12665 0 0 997 53 5 3 20 0 15 0 142425375 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=14069564 CPUtime=10.58 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 22696 12665 0 0 998 52 5 3 20 0 15 0 142425375 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=14069564 CPUtime=10.58 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 18964 12665 0 0 993 57 5 3 20 0 15 0 142425375 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=14069564 CPUtime=10.09 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 24406 12665 0 0 946 55 5 3 20 0 15 0 142425377 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 57 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630215652576 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 48 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630214599424 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10484] ppid=10422 vsize=14069564 CPUtime=10.62 cores=1,3,5,7
/proc/10425/task/10484/stat : 10484 (java) S 10422 10425 4896 0 -1 1077944384 21262 12665 0 0 1048 6 5 3 20 0 15 0 142425380 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630212496112 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10485] ppid=10422 vsize=14069564 CPUtime=10.93 cores=1,3,5,7
/proc/10425/task/10485/stat : 10485 (java) S 10422 10425 4896 0 -1 1077944384 19248 12665 0 0 1080 5 5 3 20 0 15 0 142425380 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630211443568 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10486] ppid=10422 vsize=14069564 CPUtime=3.92 cores=1,3,5,7
/proc/10425/task/10486/stat : 10486 (java) S 10422 10425 4896 0 -1 1077944384 29846 12665 0 0 376 8 5 3 20 0 15 0 142425380 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630210390512 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10487] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=14069564 CPUtime=1.45 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 1176 12665 0 0 66 71 5 3 20 0 15 0 142425388 14407233536 299995 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 2436.9
Current children cumulated vsize (KiB) 14069564
[startup+2442.3 s]
/proc/loadavg: 1.88 1.43 1.36 3/213 11298
/proc/meminfo: memFree=28846444/32770624 swapFree=0/446760
[pid=10425] ppid=10422 vsize=14069564 CPUtime=2497.7 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 292041 12665 0 0 249404 358 5 3 20 0 15 0 142425352 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3517391 300507 3477 1 0 3506005 0
[pid=10425/tid=10475] ppid=10422 vsize=14069564 CPUtime=2417.51 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 105600 12665 0 0 241688 55 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630742419008 139630344214013 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=14069564 CPUtime=10.92 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 18556 12665 0 0 1032 52 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=14069564 CPUtime=10.87 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 26826 12665 0 0 1024 55 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=14069564 CPUtime=10.86 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 22985 12665 0 0 1025 53 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=14069564 CPUtime=10.86 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 19369 12665 0 0 1020 58 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=14069564 CPUtime=10.34 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 24632 12665 0 0 970 56 5 3 20 0 15 0 142425377 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 57 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630215652576 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 48 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630214599424 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10484] ppid=10422 vsize=14069564 CPUtime=10.62 cores=1,3,5,7
/proc/10425/task/10484/stat : 10484 (java) S 10422 10425 4896 0 -1 1077944384 21266 12665 0 0 1048 6 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630212496112 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10485] ppid=10422 vsize=14069564 CPUtime=10.93 cores=1,3,5,7
/proc/10425/task/10485/stat : 10485 (java) S 10422 10425 4896 0 -1 1077944384 19252 12665 0 0 1080 5 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630211443568 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10486] ppid=10422 vsize=14069564 CPUtime=3.92 cores=1,3,5,7
/proc/10425/task/10486/stat : 10486 (java) S 10422 10425 4896 0 -1 1077944384 30095 12665 0 0 376 8 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630210390512 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10487] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=14069564 CPUtime=1.5 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 1194 12665 0 0 68 74 5 3 20 0 15 0 142425388 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 2497.7
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.4 s]
/proc/loadavg: 1.77 1.44 1.37 3/213 11299
/proc/meminfo: memFree=27121420/32770624 swapFree=0/446760
[pid=10425] ppid=10422 vsize=14069564 CPUtime=2520.09 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 292578 12665 0 0 251640 361 5 3 20 0 15 0 142425352 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3517391 300507 3477 1 0 3506005 0
[pid=10425/tid=10475] ppid=10422 vsize=14069564 CPUtime=2439.38 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 105838 12665 0 0 243875 55 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630742420208 139630361903072 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=14069564 CPUtime=11.01 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 18574 12665 0 0 1041 52 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=14069564 CPUtime=10.97 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 26850 12665 0 0 1034 55 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=14069564 CPUtime=10.97 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 23053 12665 0 0 1035 54 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=14069564 CPUtime=10.96 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 19372 12665 0 0 1029 59 5 3 20 0 15 0 142425375 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=14069564 CPUtime=10.43 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 24807 12665 0 0 979 56 5 3 20 0 15 0 142425377 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 57 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630215652576 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 48 12665 0 0 0 0 5 3 20 0 15 0 142425377 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630214599424 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10484] ppid=10422 vsize=14069564 CPUtime=10.62 cores=1,3,5,7
/proc/10425/task/10484/stat : 10484 (java) S 10422 10425 4896 0 -1 1077944384 21266 12665 0 0 1048 6 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630212496112 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10485] ppid=10422 vsize=14069564 CPUtime=10.93 cores=1,3,5,7
/proc/10425/task/10485/stat : 10485 (java) S 10422 10425 4896 0 -1 1077944384 19252 12665 0 0 1080 5 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630211443568 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10486] ppid=10422 vsize=14069564 CPUtime=3.92 cores=1,3,5,7
/proc/10425/task/10486/stat : 10486 (java) S 10422 10425 4896 0 -1 1077944384 30095 12665 0 0 376 8 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630210390512 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10487] ppid=10422 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 15 0 142425380 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=14069564 CPUtime=1.5 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 1205 12665 0 0 68 74 5 3 20 0 15 0 142425388 14407233536 300507 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 2520.09
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 10425 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.6 s]
/proc/loadavg: 1.77 1.44 1.37 3/213 11299
/proc/meminfo: memFree=27121420/32770624 swapFree=0/446760
[pid=10425] ppid=10422 vsize=14202692 CPUtime=2520.58 cores=1,3,5,7
/proc/10425/stat : 10425 (java) S 10422 10425 4896 0 -1 1077944320 299186 12665 0 0 251688 362 5 3 20 0 17 0 142425352 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 140727229568240 139630738185975 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 10 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
/proc/10425/statm: 3550673 302351 3477 1 0 3539287 0
[pid=10425/tid=10475] ppid=10422 vsize=14202692 CPUtime=2439.41 cores=1,3,5,7
/proc/10425/task/10475/stat : 10475 (java) R 10422 10425 4896 0 -1 4202560 106178 12665 0 0 243877 56 5 3 20 0 17 0 142425375 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630742423520 139630723431305 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10476] ppid=10422 vsize=14202692 CPUtime=11.11 cores=1,3,5,7
/proc/10425/task/10476/stat : 10476 (java) S 10422 10425 4896 0 -1 1077944384 18620 12665 0 0 1051 52 5 3 20 0 17 0 142425375 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630672620560 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10477] ppid=10422 vsize=14202692 CPUtime=11.06 cores=1,3,5,7
/proc/10425/task/10477/stat : 10477 (java) S 10422 10425 4896 0 -1 1077944384 26879 12665 0 0 1043 55 5 3 20 0 17 0 142425375 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630671568016 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10478] ppid=10422 vsize=14202692 CPUtime=11.06 cores=1,3,5,7
/proc/10425/task/10478/stat : 10478 (java) S 10422 10425 4896 0 -1 1077944384 23072 12665 0 0 1044 54 5 3 20 0 17 0 142425375 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630670514960 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10479] ppid=10422 vsize=14202692 CPUtime=11.06 cores=1,3,5,7
/proc/10425/task/10479/stat : 10479 (java) S 10422 10425 4896 0 -1 1077944384 19418 12665 0 0 1039 59 5 3 20 0 17 0 142425375 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630669462416 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10480] ppid=10422 vsize=14202692 CPUtime=10.51 cores=1,3,5,7
/proc/10425/task/10480/stat : 10480 (java) S 10422 10425 4896 0 -1 1077944384 30680 12665 0 0 987 56 5 3 20 0 17 0 142425377 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630216706288 139630738197122 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10481] ppid=10422 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10481/stat : 10481 (java) S 10422 10425 4896 0 -1 1077944384 61 12665 0 0 0 0 5 3 20 0 17 0 142425377 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630215652576 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10482] ppid=10422 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10482/stat : 10482 (java) S 10422 10425 4896 0 -1 1077944384 50 12665 0 0 0 0 5 3 20 0 17 0 142425377 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630214599424 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10483] ppid=10422 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10483/stat : 10483 (java) S 10422 10425 4896 0 -1 1077944384 83 12665 0 0 0 0 5 3 20 0 17 0 142425380 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630213547984 139630738204571 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10484] ppid=10422 vsize=14202692 CPUtime=10.62 cores=1,3,5,7
/proc/10425/task/10484/stat : 10484 (java) S 10422 10425 4896 0 -1 1077944384 21266 12665 0 0 1048 6 5 3 20 0 17 0 142425380 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630212496112 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10485] ppid=10422 vsize=14202692 CPUtime=10.94 cores=1,3,5,7
/proc/10425/task/10485/stat : 10485 (java) R 10422 10425 4896 0 -1 4202560 19289 12665 0 0 1081 5 5 3 20 0 17 0 142425380 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630211431712 139630722474976 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10486] ppid=10422 vsize=14202692 CPUtime=3.92 cores=1,3,5,7
/proc/10425/task/10486/stat : 10486 (java) S 10422 10425 4896 0 -1 1077944384 30117 12665 0 0 376 8 5 3 20 0 17 0 142425380 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630210390512 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10487] ppid=10422 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/10425/task/10487/stat : 10487 (java) S 10422 10425 4896 0 -1 1077944384 3 12665 0 0 0 0 5 3 20 0 17 0 142425380 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630209338208 139630738196181 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
[pid=10425/tid=10488] ppid=10422 vsize=14202692 CPUtime=1.5 cores=1,3,5,7
/proc/10425/task/10488/stat : 10488 (java) S 10422 10425 4896 0 -1 1077944384 1205 12665 0 0 68 74 5 3 20 0 17 0 142425388 14543556608 302351 18446744073709551615 4194304 4196468 140727229585696 139630208285232 139630738197122 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13578240 140727229589456 140727229592241 140727229592241 140727229595599 0
Current children cumulated CPU time (s) 2520.58
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2464.63
CPU time (s): 2520.61
CPU user time (s): 2516.95
CPU system time (s): 3.66
CPU usage (%): 102.272
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.95
system time used= 3.66
maximum resident set size= 1210268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 284293
involuntary context switches= 7565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0409 second user time and 15.9655 second system time
The end