runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13559 MiB free)
memory of node 1: 16384 MiB (13931 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297988-1532740979/watcher-4297988-1532740979 -o /tmp/evaluation-result-4297988-1532740979/solver-4297988-1532740979 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532740979-19310 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4297988-1532740979.xml --timelimit 2520
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19330, runsolver pid=19325
[startup+0.101035 s]*
/proc/loadavg: 8.07 8.25 8.28 4/217 19370
/proc/meminfo: memFree=28117504/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10658972 memory=28392 CPUtime=0.13 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 4986 0 0 0 11 2 0 0 20 0 15 0 91661056 10914787328 7098 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2664743 7098 2836 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10658972 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 2824 0 0 0 8 1 0 0 20 0 15 0 91661057 10914787328 7098 33554432000 4194304 4196468 140728729611088 140435188793120 140435184583258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10914787328 7098 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10658972 memory=139728911369856 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10914787328 7098 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10914787328 7098 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91661058 10914787328 7098 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10658972 memory=139728911369856 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91661059 10914787328 7098 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91661059 10914787328 7098 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10914787328 7164 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10914787328 7164 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10658972 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) R 19325 19330 19278 0 -1 4202560 466 0 0 0 1 0 0 0 20 0 15 0 91661062 10914787328 7164 33554432000 4194304 4196468 140728729611088 140434214963520 140435162220976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) R 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661062 10914787328 7164 33554432000 4194304 4196468 140728729611088 140434213919216 140435184573058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10658972 memory=139728911369856 CPUtime=0.02 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 91661062 10914787328 7164 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10914787328 7164 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10658972 memory=139728911369856 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661062 10914787328 7164 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 28392 KiB
[startup+0.21061 s]*
/proc/loadavg: 8.07 8.25 8.28 5/217 19370
/proc/meminfo: memFree=28094956/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10661132 memory=40096 CPUtime=0.33 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 7629 0 0 0 30 3 0 0 20 0 15 0 91661056 10916999168 10024 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2665283 10024 2949 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10661132 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 4747 0 0 0 18 2 0 0 20 0 15 0 91661057 10916999168 10056 33554432000 4194304 4196468 140728729611088 140435188794224 140435168642398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=364 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 10056 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=139728911883940 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 10056 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 10056 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 10056 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=139728911369856 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10661132 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) S 19325 19330 19278 0 -1 1077944384 496 0 0 0 2 0 0 0 20 0 15 0 91661062 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434214972016 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10661132 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) S 19325 19330 19278 0 -1 1077944384 307 0 0 0 2 0 0 0 20 0 15 0 91661062 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434213919216 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10661132 memory=139728911369856 CPUtime=0.07 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 719 0 0 0 7 0 0 0 20 0 15 0 91661062 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10661132 memory=139728911369856 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 10056 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 40096 KiB
[startup+0.310777 s]*
/proc/loadavg: 8.07 8.25 8.28 7/217 19370
/proc/meminfo: memFree=28082612/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10661132 memory=46952 CPUtime=0.54 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 8311 0 0 0 51 3 0 0 20 0 15 0 91661056 10916999168 11738 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2665283 11738 3050 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10661132 memory=53476 CPUtime=0.29 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) S 19325 19330 19278 0 -1 1077944384 5053 0 0 0 27 2 0 0 20 0 15 0 91661057 10916999168 11738 33554432000 4194304 4196468 140728729611088 140435188799536 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 11738 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=139728911427872 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 11738 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 11738 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 11738 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=139728911434784 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) R 19325 19330 19278 0 -1 1077944384 583 0 0 0 4 0 0 0 20 0 15 0 91661062 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434214972016 140435184573058 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10661132 memory=139728775143375 CPUtime=0.05 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) S 19325 19330 19278 0 -1 1077944384 403 0 0 0 5 0 0 0 20 0 15 0 91661062 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434213912240 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10661132 memory=139728911389166 CPUtime=0.14 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 902 0 0 0 14 0 0 0 20 0 15 0 91661062 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10661132 memory=139728775143375 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10661132 memory=279457686529984 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 11738 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46952 KiB
[startup+0.701108 s]
/proc/loadavg: 8.07 8.25 8.28 5/217 19370
/proc/meminfo: memFree=28009652/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10661132 memory=147408 CPUtime=1.57 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 12492 0 0 0 152 5 0 0 20 0 15 0 91661056 10916999168 36852 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2665283 36852 3096 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10661132 memory=15436 CPUtime=0.67 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 5145 0 0 0 64 3 0 0 20 0 15 0 91661057 10916999168 36852 33554432000 4194304 4196468 140728729611088 140435188782080 140728729937858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=15988 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 36852 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 36852 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 36852 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=139728775236448 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 36852 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10661132 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10661132 memory=6944656592455097440 CPUtime=0.34 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) R 19325 19330 19278 0 -1 4202560 2788 0 0 0 34 0 0 0 20 0 15 0 91661062 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434214957896 140435169687306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10661132 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) R 19325 19330 19278 0 -1 4202560 2039 0 0 0 37 0 0 0 20 0 15 0 91661062 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434213903776 140435163779286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10661132 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 1150 0 0 0 17 0 0 0 20 0 15 0 91661062 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10661132 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10661132 memory=-7452431979323206951 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 36852 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 147408 KiB
[startup+1.5011 s]
/proc/loadavg: 8.07 8.25 8.28 5/217 19370
/proc/meminfo: memFree=27801016/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10661132 memory=195492 CPUtime=3.05 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 14824 0 0 0 298 7 0 0 20 0 15 0 91661056 10916999168 48873 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2665283 48873 3112 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10661132 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 5166 0 0 0 141 4 0 0 20 0 15 0 91661057 10916999168 48873 33554432000 4194304 4196468 140728729611088 140435188797792 140434779559134 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 48873 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=139728775236448 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 48873 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 48873 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 91661058 10916999168 48873 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 48873 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
################
# More data... #
################
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 27207 0 0 0 232414 3574 0 0 20 0 15 0 91661057 10916999168 97957 33554432000 4194304 4196468 140728729611088 140435188795872 140434779559396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=387732 CPUtime=10.25 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 4930 0 0 0 951 74 0 0 20 0 15 0 91661058 10916999168 97957 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=389780 CPUtime=10.21 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 5544 0 0 0 954 67 0 0 20 0 15 0 91661058 10916999168 97957 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=391828 CPUtime=10.24 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 4120 0 0 0 954 70 0 0 20 0 15 0 91661058 10916999168 97957 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=391828 CPUtime=10.24 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 3715 0 0 0 959 65 0 0 20 0 15 0 91661058 10916999168 97957 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=389780 CPUtime=9.5 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 5602 0 0 0 888 62 0 0 20 0 15 0 91661059 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10661132 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10661132 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10661132 memory=385684 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10661132 memory=391828 CPUtime=0.39 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) S 19325 19330 19278 0 -1 1077944384 2867 0 0 0 38 1 0 0 20 0 15 0 91661062 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434214972016 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10661132 memory=387732 CPUtime=1.03 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) S 19325 19330 19278 0 -1 1077944384 4267 0 0 0 102 1 0 0 20 0 15 0 91661062 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434213919216 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10661132 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 1230 0 0 0 18 0 0 0 20 0 15 0 91661062 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10661132 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10661132 memory=7124 CPUtime=1.2 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1100 0 0 0 60 60 0 0 20 0 15 0 91661062 10916999168 97957 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 2413.22 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 391828 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.35 1.89 3/215 19466
/proc/meminfo: memFree=27326448/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10661132 memory=395924 CPUtime=2474.23 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 63260 0 0 0 243423 4000 0 0 20 0 15 0 91661056 10916999168 98981 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2665283 98981 3124 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10661132 memory=395924 CPUtime=2419.24 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 27763 0 0 0 238264 3660 0 0 20 0 15 0 91661057 10916999168 98981 33554432000 4194304 4196468 140728729611088 140435188794192 140728729937858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=395924 CPUtime=10.59 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 4997 0 0 0 983 76 0 0 20 0 15 0 91661058 10916999168 98981 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=393876 CPUtime=10.56 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 5650 0 0 0 986 70 0 0 20 0 15 0 91661058 10916999168 98981 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=395924 CPUtime=10.59 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 4273 0 0 0 988 71 0 0 20 0 15 0 91661058 10916999168 98981 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=395924 CPUtime=10.58 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 3964 0 0 0 992 66 0 0 20 0 15 0 91661058 10916999168 98981 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=395924 CPUtime=9.75 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 5769 0 0 0 910 65 0 0 20 0 15 0 91661059 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10661132 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10661132 memory=395924 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10661132 memory=395924 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10661132 memory=395924 CPUtime=0.39 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) S 19325 19330 19278 0 -1 1077944384 2869 0 0 0 38 1 0 0 20 0 15 0 91661062 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434214972016 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10661132 memory=395924 CPUtime=1.03 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) S 19325 19330 19278 0 -1 1077944384 4269 0 0 0 102 1 0 0 20 0 15 0 91661062 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434213919216 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10661132 memory=395924 CPUtime=0.18 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 1232 0 0 0 18 0 0 0 20 0 15 0 91661062 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10661132 memory=395924 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10661132 memory=395924 CPUtime=1.23 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1114 0 0 0 61 62 0 0 20 0 15 0 91661062 10916999168 98981 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 2474.23 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 395924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2487.3 s]
/proc/loadavg: 1.38 1.35 1.87 2/196 19477
/proc/meminfo: memFree=27762036/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10661132 memory=400020 CPUtime=2520.06 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 63934 0 0 0 247931 4075 0 0 20 0 15 0 91661056 10916999168 100005 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2665283 100005 3124 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10661132 memory=400020 CPUtime=2463.74 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 28136 0 0 0 242645 3729 0 0 20 0 15 0 91661057 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435188795008 140728729937858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=397972 CPUtime=10.87 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 5249 0 0 0 1009 78 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=400020 CPUtime=10.84 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 5658 0 0 0 1014 70 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=400020 CPUtime=10.87 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 4284 0 0 0 1014 73 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=840 CPUtime=10.86 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 3987 0 0 0 1019 67 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=400020 CPUtime=9.93 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 5774 0 0 0 927 66 0 0 20 0 15 0 91661059 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10661132 memory=400020 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10661132 memory=400020 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10661132 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10661132 memory=792 CPUtime=0.39 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) S 19325 19330 19278 0 -1 1077944384 2869 0 0 0 38 1 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434214972016 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10661132 memory=400020 CPUtime=1.03 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) S 19325 19330 19278 0 -1 1077944384 4269 0 0 0 102 1 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434213919216 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10661132 memory=3868 CPUtime=0.18 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 1232 0 0 0 18 0 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10661132 memory=400020 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10661132 memory=3868 CPUtime=1.25 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1116 0 0 0 62 63 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 400020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2487.31 s]
# the end of solver process 19330 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2479.32 s, system=40.7595 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2487.3 s]
/proc/loadavg: 1.38 1.35 1.87 2/196 19477
/proc/meminfo: memFree=27762036/32770624 swapFree=67108532/67108860
[pid=19330] ppid=19325 vsize=10661132 memory=400020 CPUtime=2520.06 cores=1,3,5,7
/proc/19330/stat : 19330 (java) S 19325 19330 19278 0 -1 1077944320 63934 0 0 0 247931 4075 0 0 20 0 15 0 91661056 10916999168 100005 33554432000 4194304 4196468 140728729611088 140728729593632 140435184561911 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
/proc/19330/statm: 2665283 100005 3124 1 0 2627263 0
[pid=19330/tid=19332] ppid=19325 vsize=10661132 memory=400020 CPUtime=2463.74 cores=1,3,5,7
/proc/19330/task/19332/stat : 19332 (java) R 19325 19330 19278 0 -1 4202560 28136 0 0 0 242645 3729 0 0 20 0 15 0 91661057 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435188795008 140728729937858 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19337] ppid=19325 vsize=10661132 memory=397972 CPUtime=10.87 cores=1,3,5,7
/proc/19330/task/19337/stat : 19337 (java) S 19325 19330 19278 0 -1 1077944384 5249 0 0 0 1009 78 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435110636432 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19338] ppid=19325 vsize=10661132 memory=400020 CPUtime=10.84 cores=1,3,5,7
/proc/19330/task/19338/stat : 19338 (java) S 19325 19330 19278 0 -1 1077944384 5658 0 0 0 1014 70 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435109583632 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19339] ppid=19325 vsize=10661132 memory=400020 CPUtime=10.87 cores=1,3,5,7
/proc/19330/task/19339/stat : 19339 (java) S 19325 19330 19278 0 -1 1077944384 4284 0 0 0 1014 73 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435108531344 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19340] ppid=19325 vsize=10661132 memory=840 CPUtime=10.86 cores=1,3,5,7
/proc/19330/task/19340/stat : 19340 (java) S 19325 19330 19278 0 -1 1077944384 3987 0 0 0 1019 67 0 0 20 0 15 0 91661058 10916999168 100005 33554432000 4194304 4196468 140728729611088 140435107478544 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19343] ppid=19325 vsize=10661132 memory=400020 CPUtime=9.93 cores=1,3,5,7
/proc/19330/task/19343/stat : 19343 (java) S 19325 19330 19278 0 -1 1077944384 5774 0 0 0 927 66 0 0 20 0 15 0 91661059 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434219182192 140435184573058 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19349] ppid=19325 vsize=10661132 memory=400020 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19349/stat : 19349 (java) S 19325 19330 19278 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 91661059 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434218128160 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19350] ppid=19325 vsize=10661132 memory=400020 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19350/stat : 19350 (java) S 19325 19330 19278 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 91661060 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434217075824 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19356] ppid=19325 vsize=10661132 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19356/stat : 19356 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434216024144 140435184580507 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19357] ppid=19325 vsize=10661132 memory=792 CPUtime=0.39 cores=1,3,5,7
/proc/19330/task/19357/stat : 19357 (java) S 19325 19330 19278 0 -1 1077944384 2869 0 0 0 38 1 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434214972016 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19358] ppid=19325 vsize=10661132 memory=400020 CPUtime=1.03 cores=1,3,5,7
/proc/19330/task/19358/stat : 19358 (java) S 19325 19330 19278 0 -1 1077944384 4269 0 0 0 102 1 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434213919216 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19359] ppid=19325 vsize=10661132 memory=3868 CPUtime=0.18 cores=1,3,5,7
/proc/19330/task/19359/stat : 19359 (java) S 19325 19330 19278 0 -1 1077944384 1232 0 0 0 18 0 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434212866928 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19361] ppid=19325 vsize=10661132 memory=400020 CPUtime=0 cores=1,3,5,7
/proc/19330/task/19361/stat : 19361 (java) S 19325 19330 19278 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434211814368 140435184572117 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
[pid=19330/tid=19363] ppid=19325 vsize=10661132 memory=3868 CPUtime=1.25 cores=1,3,5,7
/proc/19330/task/19363/stat : 19363 (java) S 19325 19330 19278 0 -1 1077944384 1116 0 0 0 62 63 0 0 20 0 15 0 91661062 10916999168 100005 33554432000 4194304 4196468 140728729611088 140434210761136 140435184573058 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 26062848 140728729617528 140728729617673 140728729617673 140728729620431 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 400020 KiB
Child status: 143
Real time (s): 2487.31
CPU time (s): 2520.08
CPU user time (s): 2479.32
CPU system time (s): 40.7595
CPU usage (%): 101.317
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 400020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2479.32
system time used= 40.7595
maximum resident set size= 400528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64100
page faults= 0
swaps= 0
block input operations= 32
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 341365
involuntary context switches= 5001
# summary of solver processes directly reported to runsolver:
# pid: 19330
# total CPU time (s): 2520.08
# total CPU user time (s): 2479.32
# total CPU system time (s): 40.7595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.64 second user time and 23.6808 second system time
The end