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-4261930-1502441868/watcher-4261930-1502441868 -o /tmp/evaluation-result-4261930-1502441868/solver-4261930-1502441868 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13072 --watchdog 2580 bin/concrete HOME/instance-4261930-1502441868.xml
pid=21128
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.86 1.67 1.62 2/200 21131
/proc/meminfo: memFree=30140484/32770624 swapFree=0/461644
[pid=21131] ppid=21128 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21131/stat : 21131 (runsolver) D 21128 21131 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 86098042 24240128 107 18446744073709551615 4194304 4338465 140721576410480 140721576408120 140303945269975 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 15659008 140721576411344 140721576411721 140721576411721 140721576415178 0
/proc/21131/statm: 5918 107 54 36 0 2156 0
[startup+0.100059 s]
/proc/loadavg: 1.86 1.67 1.62 2/200 21131
/proc/meminfo: memFree=30140484/32770624 swapFree=0/461644
[pid=21131] ppid=21128 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/21131/stat : 21131 (bash) S 21128 21131 13007 0 -1 4202496 797 5298 0 0 0 0 0 1 20 0 1 0 86098042 9867264 360 18446744073709551615 4194304 5098028 140737079325808 140737079323464 139905162505216 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 9449472 140737079329300 140737079329385 140737079329385 140737079332842 0
/proc/21131/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200276 s]
/proc/loadavg: 1.86 1.67 1.62 2/200 21131
/proc/meminfo: memFree=30140484/32770624 swapFree=0/461644
[pid=21131] ppid=21128 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/21131/stat : 21131 (bash) S 21128 21131 13007 0 -1 4202496 896 6477 0 0 0 0 0 1 20 0 1 0 86098042 9867264 377 18446744073709551615 4194304 5098028 140737079325808 140737079319816 139905162505216 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 9449472 140737079329300 140737079329385 140737079329385 140737079332842 0
/proc/21131/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.30164 s]
/proc/loadavg: 1.86 1.67 1.62 2/200 21131
/proc/meminfo: memFree=30140484/32770624 swapFree=0/461644
[pid=21131] ppid=21128 vsize=13973872 CPUtime=0.13 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 5841 12405 0 0 5 1 5 2 20 0 15 0 86098042 14309244928 5488 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3493468 5488 2563 1 0 3482965 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13973872
[startup+0.700301 s]
/proc/loadavg: 1.86 1.67 1.62 2/200 21131
/proc/meminfo: memFree=30140484/32770624 swapFree=0/461644
[pid=21131] ppid=21128 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 13948 12405 0 0 59 4 5 2 20 0 15 0 86098042 14310178816 14896 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3493696 14896 3137 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50221 s]
/proc/loadavg: 1.86 1.67 1.62 4/215 21194
/proc/meminfo: memFree=30044256/32770624 swapFree=0/461688
[pid=21131] ppid=21128 vsize=13985408 CPUtime=1.9 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 29755 12405 0 0 173 10 5 2 20 0 15 0 86098042 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3496352 42586 3369 1 0 3485525 0
[pid=21131/tid=21181] ppid=21128 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) R 21128 21131 13007 0 -1 4202560 22350 12405 0 0 115 6 5 2 20 0 15 0 86098064 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140696056340336 140695694134356 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 53 12405 0 0 0 0 5 2 20 0 15 0 86098064 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 197 12405 0 0 1 0 5 2 20 0 15 0 86098064 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 59 12405 0 0 1 0 5 2 20 0 15 0 86098064 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 47 12405 0 0 1 0 5 2 20 0 15 0 86098064 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) S 21128 21131 13007 0 -1 1077944384 1648 12405 0 0 1 0 5 2 20 0 15 0 86098066 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695530571760 140696052132482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 55 12405 0 0 0 0 5 2 20 0 15 0 86098066 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695529517984 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 15 0 86098066 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695528463984 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21190] ppid=21128 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/21131/task/21190/stat : 21190 (java) S 21128 21131 13007 0 -1 1077944384 1184 12405 0 0 15 0 5 2 20 0 15 0 86098069 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695526361584 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21191] ppid=21128 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/21131/task/21191/stat : 21191 (java) R 21128 21131 13007 0 -1 1077944384 589 12405 0 0 13 0 5 2 20 0 15 0 86098069 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695525309040 140696052132482 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21192] ppid=21128 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/21131/task/21192/stat : 21192 (java) R 21128 21131 13007 0 -1 4202560 1362 12405 0 0 23 0 5 2 20 0 15 0 86098069 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695524251872 140696035463329 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21193] ppid=21128 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 6 12405 0 0 0 0 5 2 20 0 15 0 86098072 14321057792 42586 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 13985408
[startup+3.10127 s]
/proc/loadavg: 1.95 1.69 1.62 4/215 21194
/proc/meminfo: memFree=29967924/32770624 swapFree=0/461688
[pid=21131] ppid=21128 vsize=13997884 CPUtime=5.99 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 44823 12405 0 0 577 15 5 2 20 0 15 0 86098042 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3499471 55390 3441 1 0 3488085 0
[pid=21131/tid=21181] ppid=21128 vsize=13997884 CPUtime=2.86 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) R 21128 21131 13007 0 -1 4202560 28625 12405 0 0 271 8 5 2 20 0 15 0 86098064 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140696056346080 140695697544872 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 53 12405 0 0 0 0 5 2 20 0 15 0 86098064 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 197 12405 0 0 1 0 5 2 20 0 15 0 86098064 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 59 12405 0 0 1 0 5 2 20 0 15 0 86098064 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 47 12405 0 0 1 0 5 2 20 0 15 0 86098064 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) S 21128 21131 13007 0 -1 1077944384 1682 12405 0 0 1 0 5 2 20 0 15 0 86098066 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695530571760 140696052132482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 55 12405 0 0 0 0 5 2 20 0 15 0 86098066 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695529517984 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 15 0 86098066 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695528465408 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21190] ppid=21128 vsize=13997884 CPUtime=1.17 cores=1,3,5,7
/proc/21131/task/21190/stat : 21190 (java) R 21128 21131 13007 0 -1 4202560 4526 12405 0 0 109 1 5 2 20 0 15 0 86098069 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695526346544 140696033665457 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21191] ppid=21128 vsize=13997884 CPUtime=0.88 cores=1,3,5,7
/proc/21131/task/21191/stat : 21191 (java) R 21128 21131 13007 0 -1 4202560 1880 12405 0 0 80 1 5 2 20 0 15 0 86098069 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695525309040 140696044410789 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21192] ppid=21128 vsize=13997884 CPUtime=1.17 cores=1,3,5,7
/proc/21131/task/21192/stat : 21192 (java) R 21128 21131 13007 0 -1 4202560 5484 12405 0 0 109 1 5 2 20 0 15 0 86098069 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695524256496 140696036313257 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21193] ppid=21128 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 10 12405 0 0 0 0 5 2 20 0 15 0 86098072 14333833216 55390 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 13997884
[startup+6.31003 s]
/proc/loadavg: 1.95 1.69 1.62 3/215 21194
/proc/meminfo: memFree=29841804/32770624 swapFree=0/461688
[pid=21131] ppid=21128 vsize=14001980 CPUtime=11.32 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 55026 12405 0 0 1102 23 5 2 20 0 15 0 86098042 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3500495 85592 3464 1 0 3489109 0
[pid=21131/tid=21181] ppid=21128 vsize=14001980 CPUtime=5.99 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) R 21128 21131 13007 0 -1 4202560 30098 12405 0 0 582 10 5 2 20 0 15 0 86098064 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140696056353552 140696036201822 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 74 12405 0 0 3 1 5 2 20 0 15 0 86098064 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=14001980 CPUtime=0.13 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 259 12405 0 0 5 1 5 2 20 0 15 0 86098064 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=14001980 CPUtime=0.13 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 407 12405 0 0 5 1 5 2 20 0 15 0 86098064 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=14001980 CPUtime=0.12 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 128 12405 0 0 4 1 5 2 20 0 15 0 86098064 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=14001980 CPUtime=0.11 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) S 21128 21131 13007 0 -1 1077944384 2292 12405 0 0 4 0 5 2 20 0 15 0 86098066 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695530571760 140696052132482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 55 12405 0 0 0 0 5 2 20 0 15 0 86098066 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695529518048 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 15 0 86098066 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695528465408 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21190] ppid=21128 vsize=14001980 CPUtime=1.96 cores=1,3,5,7
/proc/21131/task/21190/stat : 21190 (java) R 21128 21131 13007 0 -1 1077944384 6442 12405 0 0 188 1 5 2 20 0 15 0 86098069 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695526361584 140696052132482 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21191] ppid=21128 vsize=14001980 CPUtime=1.66 cores=1,3,5,7
/proc/21131/task/21191/stat : 21191 (java) R 21128 21131 13007 0 -1 4202560 5516 12405 0 0 157 2 5 2 20 0 15 0 86098069 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695525298832 140696038135716 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21192] ppid=21128 vsize=14001980 CPUtime=1.58 cores=1,3,5,7
/proc/21131/task/21192/stat : 21192 (java) R 21128 21131 13007 0 -1 4202560 7428 12405 0 0 149 2 5 2 20 0 15 0 86098069 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695524256496 140696052142682 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21193] ppid=21128 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=14001980 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 125 12405 0 0 0 0 5 2 20 0 15 0 86098072 14338027520 85592 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 14001980
[startup+12.7007 s]
/proc/loadavg: 2.11 1.73 1.64 3/215 21194
/proc/meminfo: memFree=29341148/32770624 swapFree=0/461684
[pid=21131] ppid=21128 vsize=14067516 CPUtime=21.02 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 78802 12405 0 0 2061 34 5 2 20 0 15 0 86098042 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3516879 203100 3477 1 0 3505493 0
[pid=21131/tid=21181] ppid=21128 vsize=14067516 CPUtime=12.34 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) R 21128 21131 13007 0 -1 4202560 43337 12405 0 0 1209 18 5 2 20 0 15 0 86098064 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140696056355392 140695712088672 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 371 12405 0 0 4 1 5 2 20 0 15 0 86098064 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 313 12405 0 0 6 1 5 2 20 0 15 0 86098064 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=14067516 CPUtime=0.14 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 419 12405 0 0 6 1 5 2 20 0 15 0 86098064 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 542 12405 0 0 5 1 5 2 20 0 15 0 86098064 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) S 21128 21131 13007 0 -1 1077944384 2769 12405 0 0 6 0 5 2 20 0 15 0 86098066 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695530571760 140696052132482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 55 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695529518112 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695528465408 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 203100 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
################
# More data... #
################
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=14067516 CPUtime=1.64 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 3014 12405 0 0 68 89 5 2 20 0 15 0 86098072 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
Current children cumulated CPU time (s) 2365.17
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.39 1.42 1.40 3/213 21737
/proc/meminfo: memFree=27775804/32770624 swapFree=0/462152
[pid=21131] ppid=21128 vsize=14067516 CPUtime=2426.1 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 268871 12405 0 0 242201 402 5 2 20 0 15 0 86098042 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3516879 366894 3477 1 0 3505493 0
[pid=21131/tid=21181] ppid=21128 vsize=14067516 CPUtime=2355.31 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) R 21128 21131 13007 0 -1 4202560 100781 12405 0 0 235462 62 5 2 20 0 15 0 86098064 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140696056355440 140695695294010 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=14067516 CPUtime=12.36 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 23717 12405 0 0 1165 64 5 2 20 0 15 0 86098064 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=14067516 CPUtime=12.4 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 27156 12405 0 0 1168 65 5 2 20 0 15 0 86098064 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=14067516 CPUtime=12.36 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 30616 12405 0 0 1164 65 5 2 20 0 15 0 86098064 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=14067516 CPUtime=12.35 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 19661 12405 0 0 1168 60 5 2 20 0 15 0 86098064 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=14067516 CPUtime=11.41 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) S 21128 21131 13007 0 -1 1077944384 21707 12405 0 0 1069 65 5 2 20 0 15 0 86098066 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695530571760 140696052132482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 55 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695529518112 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695528465408 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21190] ppid=21128 vsize=14067516 CPUtime=3.54 cores=1,3,5,7
/proc/21131/task/21190/stat : 21190 (java) S 21128 21131 13007 0 -1 1077944384 13279 12405 0 0 345 2 5 2 20 0 15 0 86098069 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695526361584 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21191] ppid=21128 vsize=14067516 CPUtime=3.28 cores=1,3,5,7
/proc/21131/task/21191/stat : 21191 (java) S 21128 21131 13007 0 -1 1077944384 9714 12405 0 0 318 3 5 2 20 0 15 0 86098069 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695525309040 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21192] ppid=21128 vsize=14067516 CPUtime=1.92 cores=1,3,5,7
/proc/21131/task/21192/stat : 21192 (java) S 21128 21131 13007 0 -1 1077944384 16946 12405 0 0 181 4 5 2 20 0 15 0 86098069 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695524256496 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21193] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=14067516 CPUtime=1.69 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 3034 12405 0 0 70 92 5 2 20 0 15 0 86098072 14405136384 366894 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
Current children cumulated CPU time (s) 2426.1
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.32 1.40 1.40 3/213 21740
/proc/meminfo: memFree=27802224/32770624 swapFree=0/462176
[pid=21131] ppid=21128 vsize=14067516 CPUtime=2487.07 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 270534 12405 0 0 248288 412 5 2 20 0 15 0 86098042 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3516879 367406 3477 1 0 3505493 0
[pid=21131/tid=21181] ppid=21128 vsize=14067516 CPUtime=2414.6 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) R 21128 21131 13007 0 -1 4202560 101700 12405 0 0 241390 63 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140696056355408 140695710206165 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=14067516 CPUtime=12.7 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 23755 12405 0 0 1197 66 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=14067516 CPUtime=12.73 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 27261 12405 0 0 1200 66 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=14067516 CPUtime=12.69 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 30866 12405 0 0 1195 67 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=14067516 CPUtime=12.69 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 19816 12405 0 0 1199 63 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=14067516 CPUtime=11.72 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) S 21128 21131 13007 0 -1 1077944384 21862 12405 0 0 1098 67 5 2 20 0 15 0 86098066 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695530571760 140696052132482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 55 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695529518112 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695528465408 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21190] ppid=21128 vsize=14067516 CPUtime=3.54 cores=1,3,5,7
/proc/21131/task/21190/stat : 21190 (java) S 21128 21131 13007 0 -1 1077944384 13283 12405 0 0 345 2 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695526361584 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21191] ppid=21128 vsize=14067516 CPUtime=3.28 cores=1,3,5,7
/proc/21131/task/21191/stat : 21191 (java) S 21128 21131 13007 0 -1 1077944384 9718 12405 0 0 318 3 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695525309040 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21192] ppid=21128 vsize=14067516 CPUtime=1.92 cores=1,3,5,7
/proc/21131/task/21192/stat : 21192 (java) S 21128 21131 13007 0 -1 1077944384 16950 12405 0 0 181 4 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695524256496 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21193] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=14067516 CPUtime=1.73 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 3063 12405 0 0 72 94 5 2 20 0 15 0 86098072 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
Current children cumulated CPU time (s) 2487.07
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.8 s]
/proc/loadavg: 1.37 1.41 1.40 3/213 21743
/proc/meminfo: memFree=27810984/32770624 swapFree=0/462192
[pid=21131] ppid=21128 vsize=14067516 CPUtime=2520.05 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 271693 12405 0 0 251582 416 5 2 20 0 15 0 86098042 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3516879 367406 3477 1 0 3505493 0
[pid=21131/tid=21181] ppid=21128 vsize=14067516 CPUtime=2446.7 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) R 21128 21131 13007 0 -1 4202560 102313 12405 0 0 244599 64 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140696056355664 140695710364992 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=14067516 CPUtime=12.87 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 23789 12405 0 0 1214 66 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=14067516 CPUtime=12.91 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 27532 12405 0 0 1217 67 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=14067516 CPUtime=12.87 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 30897 12405 0 0 1212 68 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=14067516 CPUtime=12.86 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 19899 12405 0 0 1215 64 5 2 20 0 15 0 86098064 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=14067516 CPUtime=11.87 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) S 21128 21131 13007 0 -1 1077944384 21968 12405 0 0 1112 68 5 2 20 0 15 0 86098066 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695530571760 140696052132482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 55 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695529518112 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 15 0 86098066 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695528465408 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21190] ppid=21128 vsize=14067516 CPUtime=3.54 cores=1,3,5,7
/proc/21131/task/21190/stat : 21190 (java) S 21128 21131 13007 0 -1 1077944384 13285 12405 0 0 345 2 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695526361584 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21191] ppid=21128 vsize=14067516 CPUtime=3.28 cores=1,3,5,7
/proc/21131/task/21191/stat : 21191 (java) S 21128 21131 13007 0 -1 1077944384 9720 12405 0 0 318 3 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695525309040 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21192] ppid=21128 vsize=14067516 CPUtime=1.92 cores=1,3,5,7
/proc/21131/task/21192/stat : 21192 (java) S 21128 21131 13007 0 -1 1077944384 16952 12405 0 0 181 4 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695524256496 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21193] ppid=21128 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 15 0 86098069 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=14067516 CPUtime=1.74 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 3078 12405 0 0 72 95 5 2 20 0 15 0 86098072 14405136384 367406 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 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 21131 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.91 s]
/proc/loadavg: 1.37 1.41 1.40 3/213 21743
/proc/meminfo: memFree=27810984/32770624 swapFree=0/462192
[pid=21131] ppid=21128 vsize=14200644 CPUtime=2520.34 cores=1,3,5,7
/proc/21131/stat : 21131 (java) S 21128 21131 13007 0 -1 1077944320 277948 12405 0 0 251609 418 5 2 20 0 17 0 86098042 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140732321925056 140696052121335 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
/proc/21131/statm: 3550161 369161 3478 1 0 3538775 0
[pid=21131/tid=21181] ppid=21128 vsize=14200644 CPUtime=2446.71 cores=1,3,5,7
/proc/21131/task/21181/stat : 21181 (java) S 21128 21131 13007 0 -1 1077944384 102625 12405 0 0 244600 64 5 2 20 0 17 0 86098064 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140696056358880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21182] ppid=21128 vsize=14200644 CPUtime=12.93 cores=1,3,5,7
/proc/21131/task/21182/stat : 21182 (java) S 21128 21131 13007 0 -1 1077944384 23809 12405 0 0 1220 66 5 2 20 0 17 0 86098064 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695652612880 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21183] ppid=21128 vsize=14200644 CPUtime=12.96 cores=1,3,5,7
/proc/21131/task/21183/stat : 21183 (java) S 21128 21131 13007 0 -1 1077944384 27542 12405 0 0 1222 67 5 2 20 0 17 0 86098064 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695651560336 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21184] ppid=21128 vsize=14200644 CPUtime=12.92 cores=1,3,5,7
/proc/21131/task/21184/stat : 21184 (java) S 21128 21131 13007 0 -1 1077944384 30916 12405 0 0 1217 68 5 2 20 0 17 0 86098064 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695650507792 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21185] ppid=21128 vsize=14200644 CPUtime=12.92 cores=1,3,5,7
/proc/21131/task/21185/stat : 21185 (java) S 21128 21131 13007 0 -1 1077944384 19945 12405 0 0 1221 64 5 2 20 0 17 0 86098064 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695649455248 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21186] ppid=21128 vsize=14200644 CPUtime=11.9 cores=1,3,5,7
/proc/21131/task/21186/stat : 21186 (java) R 21128 21131 13007 0 -1 4202560 27534 12405 0 0 1115 68 5 2 20 0 17 0 86098066 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695530570160 140696037255179 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21187] ppid=21128 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21187/stat : 21187 (java) S 21128 21131 13007 0 -1 1077944384 56 12405 0 0 0 0 5 2 20 0 17 0 86098066 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695529518016 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21188] ppid=21128 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21188/stat : 21188 (java) S 21128 21131 13007 0 -1 1077944384 44 12405 0 0 0 0 5 2 20 0 17 0 86098066 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695528465408 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21189] ppid=21128 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21189/stat : 21189 (java) S 21128 21131 13007 0 -1 1077944384 67 12405 0 0 0 0 5 2 20 0 17 0 86098069 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695527413968 140696052139931 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21190] ppid=21128 vsize=14200644 CPUtime=3.54 cores=1,3,5,7
/proc/21131/task/21190/stat : 21190 (java) S 21128 21131 13007 0 -1 1077944384 13285 12405 0 0 345 2 5 2 20 0 17 0 86098069 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695526361584 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21191] ppid=21128 vsize=14200644 CPUtime=3.28 cores=1,3,5,7
/proc/21131/task/21191/stat : 21191 (java) S 21128 21131 13007 0 -1 1077944384 9720 12405 0 0 318 3 5 2 20 0 17 0 86098069 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695525309040 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21192] ppid=21128 vsize=14200644 CPUtime=1.92 cores=1,3,5,7
/proc/21131/task/21192/stat : 21192 (java) S 21128 21131 13007 0 -1 1077944384 17097 12405 0 0 181 4 5 2 20 0 17 0 86098069 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695524256064 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21193] ppid=21128 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/21131/task/21193/stat : 21193 (java) S 21128 21131 13007 0 -1 1077944384 3 12405 0 0 0 0 5 2 20 0 17 0 86098069 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695523204192 140696052131541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
[pid=21131/tid=21194] ppid=21128 vsize=14200644 CPUtime=1.74 cores=1,3,5,7
/proc/21131/task/21194/stat : 21194 (java) S 21128 21131 13007 0 -1 1077944384 3078 12405 0 0 72 95 5 2 20 0 17 0 86098072 14541459456 369161 18446744073709551615 4194304 4196468 140732321942512 140695522150704 140696052132482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21557248 140732321949648 140732321952433 140732321952433 140732321955791 0
Current children cumulated CPU time (s) 2520.34
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2475
CPU time (s): 2520.54
CPU user time (s): 2516.32
CPU system time (s): 4.21657
CPU usage (%): 101.84
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.32
system time used= 4.21657
maximum resident set size= 1477272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 303588
involuntary context switches= 9435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2032 second user time and 13.8028 second system time
The end