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 (9982 MiB free)
memory of node 1: 16384 MiB (12655 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395835-1568392163/watcher-4395835-1568392163 -o /tmp/evaluation-result-4395835-1568392163/solver-4395835-1568392163 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568392123-5656 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1005146459 HOME/instance-4395835-1568392163.xml
running on 4 cores: 0,2,4,6
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=5687, runsolver pid=5680
[startup+0.10559 s]*
/proc/loadavg: 2.02 1.95 1.88 4/223 5761
/proc/meminfo: memFree=23152880/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/5687/stat : 5687 (bash) S 5680 5687 2817 0 -1 4202496 891 5701 0 0 0 0 0 1 20 0 1 0 415154810 115974144 404 33554432000 4194304 5098028 140722416818544 140722416812552 139744492477440 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 1 0 0 7196144 7232144 12996608 140722416821268 140722416821393 140722416821393 140722416824302 0
/proc/5687/statm: 28314 404 320 221 0 119 0
[pid=5740] ppid=5687 vsize=113256 memory=712 CPUtime=0.05 cores=0,2,4,6
/proc/5740/stat : 5740 (bash) S 5687 5687 2817 0 -1 4202560 154 4716 0 0 0 0 4 1 20 0 1 0 415154815 115974144 178 33554432000 4194304 5098028 140722416818544 140722416811224 139744492302972 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12996608 140722416821268 140722416821393 140722416821393 140722416824302 0
/proc/5740/statm: 28314 178 94 221 0 119 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 226512 KiB
Current children cumulated memory: 2328 KiB
[startup+0.210125 s]*
/proc/loadavg: 2.02 1.95 1.88 4/228 5818
/proc/meminfo: memFree=23137820/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10819664 memory=37872 CPUtime=0.18 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 6283 13116 0 0 9 1 4 4 20 0 15 0 415154810 11079335936 9468 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2704916 9468 3038 1 0 2667149 0
[pid=5687/tid=5792] ppid=5680 vsize=10819664 memory=7022364594140610616 CPUtime=0.16 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) R 5680 5687 2817 0 -1 4202560 3353 13116 0 0 7 1 4 4 20 0 15 0 415154822 11079335936 9533 33554432000 4194304 4196468 140727375739312 140175239609984 140175267794326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10819664 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079335936 9533 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10819664 memory=140269227275014 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079335936 9533 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079335936 9533 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079335936 9533 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10819664 memory=140269227263616 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154825 11079335936 9533 33554432000 4194304 4196468 140727375739312 140174794476016 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 13 13116 0 0 0 0 4 4 20 0 15 0 415154825 11079335936 9533 33554432000 4194304 4196468 140727375739312 140174713415072 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154825 11079335936 9533 33554432000 4194304 4196468 140727375739312 140174579197424 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5811] ppid=5680 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5811/stat : 5811 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154828 11079335936 9533 33554432000 4194304 4196468 140727375739312 140173975218896 140175267800987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) S 5680 5687 2817 0 -1 1077944384 436 13116 0 0 0 0 4 4 20 0 15 0 415154828 11079335936 9533 33554432000 4194304 4196468 140727375739312 140174793422832 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154828 11079335936 9533 33554432000 4194304 4196468 140727375739312 140174792370288 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10819664 memory=140269227263616 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) R 5680 5687 2817 0 -1 4202560 301 13116 0 0 0 0 4 4 20 0 15 0 415154828 11079335936 9533 33554432000 4194304 4196468 140727375739312 140174791317744 140175246918490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 15 0 415154828 11079335936 9533 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5818] ppid=5680 vsize=10819664 memory=140269227263616 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5818/stat : 5818 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154829 11079335936 9533 33554432000 4194304 4196468 140727375739312 140174790265648 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37872 KiB
[startup+0.310462 s]*
/proc/loadavg: 2.02 1.95 1.88 4/228 5818
/proc/meminfo: memFree=23102688/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10820148 memory=51624 CPUtime=0.36 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 10000 13116 0 0 25 3 4 4 20 0 15 0 415154810 11079831552 12906 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2705037 12906 3281 1 0 2667149 0
[pid=5687/tid=5792] ppid=5680 vsize=10820148 memory=4294969504 CPUtime=0.26 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) R 5680 5687 2817 0 -1 4202560 6451 13116 0 0 16 2 4 4 20 0 15 0 415154822 11079831552 13418 33554432000 4194304 4196468 140727375739312 140175239604864 140175251862878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079831552 13418 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079831552 13418 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079831552 13418 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154823 11079831552 13418 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10820148 memory=140269227263616 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154825 11079831552 13418 33554432000 4194304 4196468 140727375739312 140174794476016 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 13 13116 0 0 0 0 4 4 20 0 15 0 415154825 11079831552 13418 33554432000 4194304 4196468 140727375739312 140174713415072 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154825 11079831552 13418 33554432000 4194304 4196468 140727375739312 140174579197424 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5811] ppid=5680 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5811/stat : 5811 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154828 11079831552 13418 33554432000 4194304 4196468 140727375739312 140173975218896 140175267800987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) S 5680 5687 2817 0 -1 1077944384 482 13116 0 0 1 0 4 4 20 0 15 0 415154828 11079831552 13418 33554432000 4194304 4196468 140727375739312 140174793422832 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) S 5680 5687 2817 0 -1 1077944384 197 13116 0 0 1 0 4 4 20 0 15 0 415154828 11079831552 13418 33554432000 4194304 4196468 140727375739312 140174792370288 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10820148 memory=140269227263616 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) R 5680 5687 2817 0 -1 4202560 639 13116 0 0 4 0 4 4 20 0 15 0 415154828 11079831552 13418 33554432000 4194304 4196468 140727375739312 140174791317744 140175267794326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 15 0 415154828 11079831552 13418 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5818] ppid=5680 vsize=10820148 memory=140269227263616 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5818/stat : 5818 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154829 11079831552 13418 33554432000 4194304 4196468 140727375739312 140174790265648 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 51624 KiB
[startup+0.700638 s]
/proc/loadavg: 2.02 1.95 1.88 4/228 5818
/proc/meminfo: memFree=23072948/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10822312 memory=84348 CPUtime=1.06 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 14899 13116 0 0 92 6 4 4 20 0 15 0 415154810 11082047488 21087 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2705578 21087 3494 1 0 2667661 0
[pid=5687/tid=5792] ppid=5680 vsize=10822312 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) R 5680 5687 2817 0 -1 4202560 10133 13116 0 0 51 4 4 4 20 0 15 0 415154822 11082047488 21087 33554432000 4194304 4196468 140727375739312 140175239615872 140174864493796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10822312 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11082047488 21087 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10822312 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11082047488 21087 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10822312 memory=140269068624176 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154823 11082047488 21087 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10822312 memory=140269336920654 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154823 11082047488 21087 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10822312 memory=4004 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 5 13116 0 0 0 0 4 4 20 0 15 0 415154825 11082047488 21087 33554432000 4194304 4196468 140727375739312 140174794476016 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10822312 memory=7161944214900598336 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 13 13116 0 0 0 0 4 4 20 0 15 0 415154825 11082047488 21087 33554432000 4194304 4196468 140727375739312 140174713415072 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10822312 memory=8170745141450723666 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154825 11082047488 21087 33554432000 4194304 4196468 140727375739312 140174579197424 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5811] ppid=5680 vsize=10822312 memory=7595725831727968097 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5811/stat : 5811 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154828 11082047488 21087 33554432000 4194304 4196468 140727375739312 140173975218896 140175267800987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10822312 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) S 5680 5687 2817 0 -1 1077944384 1052 13116 0 0 13 0 4 4 20 0 15 0 415154828 11082047488 21087 33554432000 4194304 4196468 140727375739312 140174793422832 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10822312 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) S 5680 5687 2817 0 -1 1077944384 591 13116 0 0 11 0 4 4 20 0 15 0 415154828 11082047488 21087 33554432000 4194304 4196468 140727375739312 140174792370288 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10822312 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) S 5680 5687 2817 0 -1 1077944384 885 13116 0 0 15 0 4 4 20 0 15 0 415154828 11082047488 21087 33554432000 4194304 4196468 140727375739312 140174791317744 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10822312 memory=14060 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 15 0 415154828 11082047488 21087 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5818] ppid=5680 vsize=10822312 memory=2116 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5818/stat : 5818 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154829 11082047488 21087 33554432000 4194304 4196468 140727375739312 140174790265648 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 84348 KiB
[startup+1.50083 s]
/proc/loadavg: 2.02 1.95 1.88 7/228 5818
/proc/meminfo: memFree=22963796/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10834676 memory=174428 CPUtime=2.33 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 21641 13116 0 0 214 11 4 4 20 0 15 0 415154810 11094708224 43607 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2708669 43607 3579 1 0 2670733 0
[pid=5687/tid=5792] ppid=5680 vsize=10834676 memory=6944656592452938395 CPUtime=1.38 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) R 5680 5687 2817 0 -1 4202560 15131 13116 0 0 123 7 4 4 20 0 15 0 415154822 11094708224 43607 33554432000 4194304 4196468 140727375739312 140175239596896 140175249345951 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10834676 memory=-7531822216213012384 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 16 13116 0 0 1 0 4 4 20 0 15 0 415154823 11094708224 43607 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10834676 memory=-7233780906022716832 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 55 13116 0 0 1 0 4 4 20 0 15 0 415154823 11094708224 43607 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10834676 memory=4137290303932963203 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 344 13116 0 0 1 0 4 4 20 0 15 0 415154823 11094708224 43607 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10834676 memory=-7384994778349281184 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 95 13116 0 0 1 0 4 4 20 0 15 0 415154823 11094708224 43607 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10834676 memory=-7531822216213012384 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 165 13116 0 0 1 0 4 4 20 0 15 0 415154825 11094708224 43607 33554432000 4194304 4196468 140727375739312 140174794476016 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10834676 memory=7595994133955045993 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 14 13116 0 0 0 0 4 4 20 0 15 0 415154825 11094708224 43608 33554432000 4194304 4196468 140727375739312 140174713415136 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10834676 memory=7590655979367786604 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154825 11094708224 43608 33554432000 4194304 4196468 140727375739312 140174579197440 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5811] ppid=5680 vsize=10834676 memory=7374474413895345003 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5811/stat : 5811 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154828 11094708224 43608 33554432000 4194304 4196468 140727375739312 140173975218896 140175267800987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10834676 memory=5867155022603248213 CPUtime=0.33 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) S 5680 5687 2817 0 -1 1077944384 1246 13116 0 0 25 0 4 4 20 0 15 0 415154828 11094708224 43608 33554432000 4194304 4196468 140727375739312 140174793422832 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10834676 memory=7595994133955045993 CPUtime=0.3 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) S 5680 5687 2817 0 -1 1077944384 764 13116 0 0 22 0 4 4 20 0 15 0 415154828 11094708224 43608 33554432000 4194304 4196468 140727375739312 140174792370288 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10834676 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) R 5680 5687 2817 0 -1 4202560 1597 13116 0 0 35 0 4 4 20 0 15 0 415154828 11094708224 43608 33554432000 4194304 4196468 140727375739312 140174791317744 140175260879132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10834676 memory=288230621803970871 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 15 0 415154828 11094708224 43608 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5818] ppid=5680 vsize=10834676 memory=13846356926138795 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5818/stat : 5818 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154829 11094708224 43608 33554432000 4194304 4196468 140727375739312 140174790265648 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 10834676 KiB
Current children cumulated memory: 174428 KiB
[startup+3.11046 s]
/proc/loadavg: 2.18 1.98 1.89 8/228 5818
/proc/meminfo: memFree=22724824/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10842888 memory=242192 CPUtime=6.85 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 40849 13116 0 0 658 19 4 4 20 0 15 0 415154810 11103117312 60548 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
################
# More data... #
################
Current children cumulated CPU time: 6.85 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 242192 KiB
[startup+4.56623 s]
# the end of solver process 5687 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.1246 s, system=0.288262 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20083 s]
/proc/loadavg: 2.18 1.98 1.89 8/228 5818
/proc/meminfo: memFree=22724824/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10842888 memory=255116 CPUtime=7.15 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 40997 13116 0 0 688 19 4 4 20 0 15 0 415154810 11103117312 63779 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2710722 63779 3600 1 0 2672781 0
[pid=5687/tid=5792] ppid=5680 vsize=10842888 memory=0 CPUtime=3.07 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) R 5680 5687 2817 0 -1 4202560 21795 13116 0 0 287 12 4 4 20 0 15 0 415154822 11103117312 63779 33554432000 4194304 4196468 140727375739312 140175239618336 140174868209612 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10842888 memory=2276 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 16 13116 0 0 1 0 4 4 20 0 15 0 415154823 11103117312 63779 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10842888 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 55 13116 0 0 1 0 4 4 20 0 15 0 415154823 11103117312 63779 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10842888 memory=280538137424848 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 344 13116 0 0 1 0 4 4 20 0 15 0 415154823 11103117312 63779 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10842888 memory=1556 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 95 13116 0 0 1 0 4 4 20 0 15 0 415154823 11103117312 63779 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10842888 memory=932 CPUtime=0.09 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 185 13116 0 0 1 0 4 4 20 0 15 0 415154825 11103117312 63779 33554432000 4194304 4196468 140727375739312 140174794476016 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10842888 memory=3680 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 14 13116 0 0 0 0 4 4 20 0 15 0 415154825 11103117312 63779 33554432000 4194304 4196468 140727375739312 140174713415136 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10842888 memory=864 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 1 13116 0 0 0 0 4 4 20 0 15 0 415154825 11103117312 63779 33554432000 4194304 4196468 140727375739312 140174579197440 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5811] ppid=5680 vsize=10842888 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5811/stat : 5811 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154828 11103117312 63779 33554432000 4194304 4196468 140727375739312 140173975218896 140175267800987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10842888 memory=1652 CPUtime=1.37 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) R 5680 5687 2817 0 -1 4202560 3655 13116 0 0 128 1 4 4 20 0 15 0 415154828 11103117312 63779 33554432000 4194304 4196468 140727375739312 140174793410144 140175249326625 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10842888 memory=1980 CPUtime=1.47 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) R 5680 5687 2817 0 -1 4202560 5173 13116 0 0 138 1 4 4 20 0 15 0 415154828 11103117312 63779 33554432000 4194304 4196468 140727375739312 140174792357440 140175249326708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10842888 memory=2540 CPUtime=1.36 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) S 5680 5687 2817 0 -1 1077944384 7442 13116 0 0 126 2 4 4 20 0 15 0 415154828 11103117312 63779 33554432000 4194304 4196468 140727375739312 140174791317744 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10842888 memory=1760 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 15 0 415154828 11103117312 63779 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5818] ppid=5680 vsize=10842888 memory=111636 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5818/stat : 5818 (java) S 5680 5687 2817 0 -1 1077944384 9 13116 0 0 0 0 4 4 20 0 15 0 415154829 11103117312 63779 33554432000 4194304 4196468 140727375739312 140174790265648 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 7.15 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 255116 KiB
[startup+4.00068 s]*
/proc/loadavg: 2.18 1.98 1.89 9/228 5818
/proc/meminfo: memFree=22598600/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10846984 memory=313352 CPUtime=9.72 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 48464 13116 0 0 942 22 4 4 20 0 15 0 415154810 11107311616 78338 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2711746 78338 3619 1 0 2673805 0
[pid=5687/tid=5792] ppid=5680 vsize=10846984 memory=32213995742560408 CPUtime=3.81 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) S 5680 5687 2817 0 -1 1077944384 23213 13116 0 0 360 13 4 4 20 0 15 0 415154822 11107311616 78338 33554432000 4194304 4196468 140727375739312 140175239615984 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10846984 memory=297237799634206743 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 82 13116 0 0 4 0 4 4 20 0 15 0 415154823 11107311616 78338 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10846984 memory=14549597631989400 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 86 13116 0 0 4 0 4 4 20 0 15 0 415154823 11107311616 78338 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10846984 memory=6935649255760750929 CPUtime=0.11 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 435 13116 0 0 3 0 4 4 20 0 15 0 415154823 11107311616 78338 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10846984 memory=3761693372406248504 CPUtime=0.11 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 122 13116 0 0 3 0 4 4 20 0 15 0 415154823 11107311616 78338 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10846984 memory=3467964897192049841 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 3117 13116 0 0 4 0 4 4 20 0 15 0 415154825 11107311616 78338 33554432000 4194304 4196468 140727375739312 140174794476016 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10846984 memory=3546075861196812342 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 18 13116 0 0 0 0 4 4 20 0 15 0 415154825 11107311616 78338 33554432000 4194304 4196468 140727375739312 140174713415136 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10846984 memory=140269068694374 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 4 13116 0 0 0 0 4 4 20 0 15 0 415154825 11107311616 78338 33554432000 4194304 4196468 140727375739312 140174579197440 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5811] ppid=5680 vsize=10846984 memory=7682475212697334586 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5811/stat : 5811 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154828 11107311616 78338 33554432000 4194304 4196468 140727375739312 140173975218896 140175267800987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10846984 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) R 5680 5687 2817 0 -1 4202560 5349 13116 0 0 197 1 4 4 20 0 15 0 415154828 11107311616 78338 33554432000 4194304 4196468 140727375739312 140174793404400 140175251300415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10846984 memory=3471202396320837679 CPUtime=2.13 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) S 5680 5687 2817 0 -1 1077944384 5401 13116 0 0 204 1 4 4 20 0 15 0 415154828 11107311616 78338 33554432000 4194304 4196468 140727375739312 140174792370288 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10846984 memory=3184238189303232176 CPUtime=1.68 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) R 5680 5687 2817 0 -1 1077944384 8415 13116 0 0 157 3 4 4 20 0 15 0 415154828 11107311616 78338 33554432000 4194304 4196468 140727375739312 140174791317872 140175267792597 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10846984 memory=3472328296160571439 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 15 0 415154828 11107311616 78338 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5818] ppid=5680 vsize=10846984 memory=3472468565387835056 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5818/stat : 5818 (java) S 5680 5687 2817 0 -1 1077944384 9 13116 0 0 0 0 4 4 20 0 15 0 415154829 11107311616 78338 33554432000 4194304 4196468 140727375739312 140174790265648 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 9.72 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 313352 KiB
[startup+4.40065 s]
/proc/loadavg: 2.18 1.98 1.89 9/228 5818
/proc/meminfo: memFree=22598600/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10849596 memory=327560 CPUtime=11.03 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 52540 13116 0 0 1072 23 4 4 20 0 15 0 415154810 11109986304 81890 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2712399 81890 3621 1 0 2674458 0
[pid=5687/tid=5792] ppid=5680 vsize=10849596 memory=288230600312357161 CPUtime=4.19 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) R 5680 5687 2817 0 -1 4202560 23470 13116 0 0 398 13 4 4 20 0 15 0 415154822 11109986304 81890 33554432000 4194304 4196468 140727375739312 140175239616432 140174881861972 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10849596 memory=14127836181038450 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 82 13116 0 0 4 0 4 4 20 0 15 0 415154823 11109986304 81890 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10849596 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 86 13116 0 0 4 0 4 4 20 0 15 0 415154823 11109986304 81890 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10849596 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 435 13116 0 0 3 0 4 4 20 0 15 0 415154823 11109986304 81890 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10849596 memory=7014751519700572259 CPUtime=0.11 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 122 13116 0 0 3 0 4 4 20 0 15 0 415154823 11109986304 81890 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10849596 memory=307496 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 3118 13116 0 0 4 0 4 4 20 0 15 0 415154825 11109986304 81890 33554432000 4194304 4196468 140727375739312 140174794476016 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10849596 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 18 13116 0 0 0 0 4 4 20 0 15 0 415154825 11109986304 81890 33554432000 4194304 4196468 140727375739312 140174713415136 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10849596 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 4 13116 0 0 0 0 4 4 20 0 15 0 415154825 11109986304 81890 33554432000 4194304 4196468 140727375739312 140174579197440 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5811] ppid=5680 vsize=10849596 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5811/stat : 5811 (java) S 5680 5687 2817 0 -1 1077944384 2 13116 0 0 0 0 4 4 20 0 15 0 415154828 11109986304 81890 33554432000 4194304 4196468 140727375739312 140173975218896 140175267800987 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10849596 memory=0 CPUtime=2.45 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) R 5680 5687 2817 0 -1 4202560 8288 13116 0 0 236 1 4 4 20 0 15 0 415154828 11109986304 81890 33554432000 4194304 4196468 140727375739312 140174793408328 140175249326622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10849596 memory=0 CPUtime=2.52 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) R 5680 5687 2817 0 -1 4202560 5565 13116 0 0 243 1 4 4 20 0 15 0 415154828 11109986304 81890 33554432000 4194304 4196468 140727375739312 140174792370096 140175260121076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10849596 memory=0 CPUtime=1.83 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) S 5680 5687 2817 0 -1 1077944384 9131 13116 0 0 172 3 4 4 20 0 15 0 415154828 11109986304 81890 33554432000 4194304 4196468 140727375739312 140174791317744 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10849596 memory=280538137378496 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 15 0 415154828 11109986304 81890 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5818] ppid=5680 vsize=10849596 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5818/stat : 5818 (java) S 5680 5687 2817 0 -1 1077944384 10 13116 0 0 0 0 4 4 20 0 15 0 415154829 11109986304 81890 33554432000 4194304 4196468 140727375739312 140174790265648 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 11.03 s
Current children cumulated vsize: 10849596 KiB
Current children cumulated memory: 327560 KiB
[startup+4.50078 s]
/proc/loadavg: 2.18 1.98 1.89 9/228 5818
/proc/meminfo: memFree=22598600/32770624 swapFree=66999272/67108860
[pid=5687] ppid=5680 vsize=10915144 memory=325780 CPUtime=11.34 cores=0,2,4,6
/proc/5687/stat : 5687 (java) S 5680 5687 2817 0 -1 1077944320 53856 13116 0 0 1103 23 4 4 20 0 13 0 415154810 11177107456 81445 33554432000 4194304 4196468 140727375739312 140727375721856 140175267782391 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 1 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
/proc/5687/statm: 2728786 81445 3623 1 0 2690845 0
[pid=5687/tid=5792] ppid=5680 vsize=10915144 memory=323484 CPUtime=4.28 cores=0,2,4,6
/proc/5687/task/5792/stat : 5792 (java) S 5680 5687 2817 0 -1 1077944384 23540 13116 0 0 407 13 4 4 20 0 13 0 415154822 11177107456 81511 33554432000 4194304 4196468 140727375739312 140175239625872 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5795] ppid=5680 vsize=10915144 memory=39296 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5795/stat : 5795 (java) S 5680 5687 2817 0 -1 1077944384 82 13116 0 0 4 0 4 4 20 0 13 0 415154823 11177107456 81511 33554432000 4194304 4196468 140727375739312 140175272024336 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5798] ppid=5680 vsize=10915144 memory=272144 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5798/stat : 5798 (java) S 5680 5687 2817 0 -1 1077944384 86 13116 0 0 4 0 4 4 20 0 13 0 415154823 11177107456 81511 33554432000 4194304 4196468 140727375739312 140175186844048 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5799] ppid=5680 vsize=10915144 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/5687/task/5799/stat : 5799 (java) S 5680 5687 2817 0 -1 1077944384 435 13116 0 0 3 0 4 4 20 0 13 0 415154823 11177107456 81511 33554432000 4194304 4196468 140727375739312 140175185791504 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5800] ppid=5680 vsize=10915144 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/5687/task/5800/stat : 5800 (java) S 5680 5687 2817 0 -1 1077944384 122 13116 0 0 3 0 4 4 20 0 13 0 415154823 11177107456 81511 33554432000 4194304 4196468 140727375739312 140175184738960 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5802] ppid=5680 vsize=10915144 memory=301720 CPUtime=0.12 cores=0,2,4,6
/proc/5687/task/5802/stat : 5802 (java) S 5680 5687 2817 0 -1 1077944384 3118 13116 0 0 4 0 4 4 20 0 13 0 415154825 11177107456 81511 33554432000 4194304 4196468 140727375739312 140174794476224 140175267793538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5804] ppid=5680 vsize=10915144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5804/stat : 5804 (java) S 5680 5687 2817 0 -1 1077944384 18 13116 0 0 0 0 4 4 20 0 13 0 415154825 11177107456 81511 33554432000 4194304 4196468 140727375739312 140174713415136 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5806] ppid=5680 vsize=10915144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5806/stat : 5806 (java) S 5680 5687 2817 0 -1 1077944384 4 13116 0 0 0 0 4 4 20 0 13 0 415154825 11177107456 81511 33554432000 4194304 4196468 140727375739312 140174579197440 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5812] ppid=5680 vsize=10915144 memory=0 CPUtime=2.55 cores=0,2,4,6
/proc/5687/task/5812/stat : 5812 (java) R 5680 5687 2817 0 -1 4202560 9559 13116 0 0 246 1 4 4 20 0 13 0 415154828 11177107456 81511 33554432000 4194304 4196468 140727375739312 140174793408328 140175249326114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5813] ppid=5680 vsize=10915144 memory=0 CPUtime=2.61 cores=0,2,4,6
/proc/5687/task/5813/stat : 5813 (java) S 5680 5687 2817 0 -1 1077944384 5588 13116 0 0 252 1 4 4 20 0 13 0 415154828 11177107456 81577 33554432000 4194304 4196468 140727375739312 140174792355280 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5814] ppid=5680 vsize=10915144 memory=114 CPUtime=1.85 cores=0,2,4,6
/proc/5687/task/5814/stat : 5814 (java) S 5680 5687 2817 0 -1 1077944384 9156 13116 0 0 174 3 4 4 20 0 13 0 415154828 11177107456 81577 33554432000 4194304 4196468 140727375739312 140174791317744 140175267793538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
[pid=5687/tid=5816] ppid=5680 vsize=10915144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5687/task/5816/stat : 5816 (java) S 5680 5687 2817 0 -1 1077944384 3 13116 0 0 0 0 4 4 20 0 13 0 415154828 11177107456 81577 33554432000 4194304 4196468 140727375739312 140173505456736 140175267792597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21671936 140727375743727 140727375746245 140727375746245 140727375749071 0
Current children cumulated CPU time: 11.34 s
Current children cumulated vsize: 10915144 KiB
Current children cumulated memory: 325780 KiB
Child status: 0
Real time (s): 4.5663
CPU time (s): 11.4129
CPU user time (s): 11.1246
CPU system time (s): 0.288262
CPU usage (%): 249.937
Max. virtual memory (cumulated for all children) (KiB): 10915144
Max. memory (cumulated for all children) (KiB): 327560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1246
system time used= 0.288262
maximum resident set size= 331944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67551
page faults= 0
swaps= 0
block input operations= 32
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6491
involuntary context switches= 50
# summary of solver processes directly reported to runsolver:
# pid: 5687
# total CPU time (s): 11.4129
# total CPU user time (s): 11.1246
# total CPU system time (s): 0.288262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058746 second user time and 0.07637 second system time
The end