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 (282 MiB free)
memory of node 1: 16384 MiB (3228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402658-1568973660/watcher-4402658-1568973660 -o /tmp/evaluation-result-4402658-1568973660/solver-4402658-1568973660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568963957-22251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=453517493 HOME/instance-4402658-1568973660.xml
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
solver pid=24836, runsolver pid=24833
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 1.69 1.50 1.40 3/217 24893
/proc/meminfo: memFree=3590012/32770624 swapFree=66998020/67108860
[pid=24836] ppid=24833 vsize=9972712 memory=16948 CPUtime=0.1 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 4502 13307 0 0 1 1 5 3 20 0 6 0 473620413 10212057088 4237 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2493178 4237 1935 1 0 2481616 0
[pid=24836/tid=24889] ppid=24833 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) R 24833 24836 22219 0 -1 4202560 2299 13307 0 0 0 0 5 3 20 0 6 0 473620423 10212057088 4749 33554432000 4194304 4196468 140733192130672 140189722825296 140189751010461 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 6 0 473620423 10212057088 4749 33554432000 4194304 4196468 140733192130672 140189755230864 140189750998741 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=9972712 memory=3545098139746690720 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 6 0 473620423 10212057088 4749 33554432000 4194304 4196468 140733192130672 140189680536080 140189750998741 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 6 0 473620423 10212057088 4749 33554432000 4194304 4196468 140733192130672 140189322893712 140189750998741 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) S 24833 24836 22219 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 6 0 473620423 10212057088 4749 33554432000 4194304 4196468 140733192130672 140189321840912 140189750998741 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16948 KiB
[startup+0.210009 s]*
/proc/loadavg: 1.69 1.50 1.40 3/226 24902
/proc/meminfo: memFree=3566388/32770624 swapFree=66998020/67108860
[pid=24836] ppid=24833 vsize=10820188 memory=43840 CPUtime=0.26 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 7362 13307 0 0 16 2 5 3 20 0 15 0 473620413 11079872512 10960 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2705049 10960 3296 1 0 2667149 0
[pid=24836/tid=24889] ppid=24833 vsize=10820196 memory=729618466009055537 CPUtime=0.19 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) R 24833 24836 22219 0 -1 4202560 3881 13307 0 0 10 1 5 3 20 0 15 0 473620423 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189722799568 140189751010461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189755230864 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10820196 memory=3545098139746690720 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189680536080 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189322893712 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) S 24833 24836 22219 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189321840912 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 473620425 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189277588336 140189750999682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 13 13307 0 0 0 0 5 3 20 0 15 0 473620425 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189208929824 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620425 11079880704 10960 33554432000 4194304 4196468 140733192130672 140188604949872 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11079880704 10960 33554432000 4194304 4196468 140733192130672 140188297550160 140189751007131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 351 13307 0 0 0 0 5 3 20 0 15 0 473620428 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189175372144 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) R 24833 24836 22219 0 -1 4202560 297 13307 0 0 1 0 5 3 20 0 15 0 473620428 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189174319344 140189730177994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10820196 memory=140494814045824 CPUtime=0.11 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 605 13307 0 0 3 0 5 3 20 0 15 0 473620428 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189173266544 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11079880704 10960 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10820196 memory=140494814045824 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620429 11079880704 10960 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820188 KiB
Current children cumulated memory: 43840 KiB
[startup+0.310551 s]*
/proc/loadavg: 1.69 1.50 1.40 3/226 24902
/proc/meminfo: memFree=3553304/32770624 swapFree=66998020/67108860
[pid=24836] ppid=24833 vsize=10820196 memory=52132 CPUtime=0.41 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 10771 13307 0 0 29 4 5 3 20 0 15 0 473620413 11079880704 13033 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2705049 13033 3316 1 0 2667149 0
[pid=24836/tid=24889] ppid=24833 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) R 24833 24836 22219 0 -1 4202560 7256 13307 0 0 18 3 5 3 20 0 15 0 473620423 11079880704 13033 33554432000 4194304 4196468 140733192130672 140189722800080 140189735069022 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 13033 33554432000 4194304 4196468 140733192130672 140189755230864 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 13033 33554432000 4194304 4196468 140733192130672 140189680536080 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189322893712 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) S 24833 24836 22219 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 473620423 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189321840912 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10820196 memory=140494814045823 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 473620425 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189277588336 140189750999682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 13 13307 0 0 0 0 5 3 20 0 15 0 473620425 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189208929824 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620425 11079880704 13098 33554432000 4194304 4196468 140733192130672 140188604949872 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11079880704 13098 33554432000 4194304 4196468 140733192130672 140188297550160 140189751007131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 352 13307 0 0 1 0 5 3 20 0 15 0 473620428 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189175372144 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10820196 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) S 24833 24836 22219 0 -1 1077944384 306 13307 0 0 2 0 5 3 20 0 15 0 473620428 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189174319344 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10820196 memory=140494814045824 CPUtime=0.13 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 624 13307 0 0 5 0 5 3 20 0 15 0 473620428 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189173266544 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11079880704 13098 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10820196 memory=140494814045824 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620429 11079880704 13098 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52132 KiB
[startup+0.700743 s]
/proc/loadavg: 1.69 1.50 1.40 3/226 24902
/proc/meminfo: memFree=3538528/32770624 swapFree=66998020/67108860
[pid=24836] ppid=24833 vsize=10824364 memory=85264 CPUtime=1.16 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 15016 13307 0 0 102 6 5 3 20 0 15 0 473620413 11084148736 21316 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2706091 21316 3512 1 0 2668173 0
[pid=24836/tid=24889] ppid=24833 vsize=10824364 memory=7810487918915055718 CPUtime=0.67 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) R 24833 24836 22219 0 -1 4202560 10378 13307 0 0 55 4 5 3 20 0 15 0 473620423 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189722815408 140189735032165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10824364 memory=1376 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189755230864 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10824364 memory=1128 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189680536080 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10824364 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620423 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189322893712 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) S 24833 24836 22219 0 -1 1077944384 2 13307 0 0 0 0 5 3 20 0 15 0 473620423 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189321840912 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 5 13307 0 0 0 0 5 3 20 0 15 0 473620425 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189277588336 140189750999682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 13 13307 0 0 0 0 5 3 20 0 15 0 473620425 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189208929824 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620425 11084148736 21316 33554432000 4194304 4196468 140733192130672 140188604949872 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11084148736 21316 33554432000 4194304 4196468 140733192130672 140188297550160 140189751007131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 691 13307 0 0 12 0 5 3 20 0 15 0 473620428 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189175372144 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) R 24833 24836 22219 0 -1 4202560 929 13307 0 0 16 0 5 3 20 0 15 0 473620428 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189174311264 140189730234928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 784 13307 0 0 17 0 5 3 20 0 15 0 473620428 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189173266544 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11084148736 21316 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10824364 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620429 11084148736 21316 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85264 KiB
[startup+1.50132 s]
/proc/loadavg: 1.69 1.50 1.40 3/226 24902
/proc/meminfo: memFree=3457044/32770624 swapFree=66998020/67108860
[pid=24836] ppid=24833 vsize=10824364 memory=425080 CPUtime=3.03 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 17210 13307 0 0 255 40 5 3 20 0 15 0 473620413 11084148736 105758 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2706091 106270 3546 1 0 2668173 0
[pid=24836/tid=24889] ppid=24833 vsize=10824364 memory=-7097481891625773097 CPUtime=1.28 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) S 24833 24836 22219 0 -1 1077944384 10997 13307 0 0 114 6 5 3 20 0 15 0 473620423 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189722824800 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10824364 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) R 24833 24836 22219 0 -1 4202560 199 13307 0 0 10 8 5 3 20 0 15 0 473620423 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189755230752 140189736016418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) R 24833 24836 22219 0 -1 4202560 202 13307 0 0 10 7 5 3 20 0 15 0 473620423 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189680536280 140189736016418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) R 24833 24836 22219 0 -1 4202560 166 13307 0 0 10 7 5 3 20 0 15 0 473620423 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189322893712 140189744085284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10824364 memory=-6237260532469557610 CPUtime=0.26 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) R 24833 24836 22219 0 -1 4202560 217 13307 0 0 11 7 5 3 20 0 15 0 473620423 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189321840912 140189736016409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 85 13307 0 0 0 0 5 3 20 0 15 0 473620425 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189277586848 140189750998741 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10824364 memory=280989377201088 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 14 13307 0 0 0 0 5 3 20 0 15 0 473620425 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189208929888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10824364 memory=290784 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620425 11084148736 106270 33554432000 4194304 4196468 140733192130672 140188604949888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10824364 memory=213846421717628 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11084148736 106270 33554432000 4194304 4196468 140733192130672 140188297550160 140189751007131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10824364 memory=280989376984160 CPUtime=0.42 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 832 13307 0 0 34 0 5 3 20 0 15 0 473620428 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189175372144 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10824364 memory=280989376986400 CPUtime=0.45 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) S 24833 24836 22219 0 -1 1077944384 1313 13307 0 0 37 0 5 3 20 0 15 0 473620428 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189174319344 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10824364 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 972 13307 0 0 25 0 5 3 20 0 15 0 473620428 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189173266544 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11084148736 106270 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 1 13307 0 0 0 0 5 3 20 0 15 0 473620429 11084148736 106270 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10824364 KiB
################
# More data... #
################
[startup+847.193 s]
# the end of solver process 24836 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2507.83 s, system=20.6005 s
Solver just ended.
Dumping a history of the last processes samples
[startup+845.601 s]
/proc/loadavg: 4.55 3.80 2.68 6/228 25136
/proc/meminfo: memFree=285408/32770624 swapFree=66998032/67108860
[pid=24836] ppid=24833 vsize=10840844 memory=8393708 CPUtime=2523.01 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 14532955 13307 0 0 250266 2027 5 3 20 0 15 0 473620413 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2710211 2098427 3622 1 0 2672269 0
[pid=24836/tid=24889] ppid=24833 vsize=10840844 memory=2024 CPUtime=218.13 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) S 24833 24836 22219 0 -1 1077944384 60568 13307 0 0 21782 23 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189722823040 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10840844 memory=1376 CPUtime=558.14 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) R 24833 24836 22219 0 -1 4202560 3592018 13307 0 0 55296 510 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189755231064 140189735939659 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10840844 memory=1128 CPUtime=558.02 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) R 24833 24836 22219 0 -1 1077944384 3194992 13307 0 0 55316 478 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189680535664 140189750999682 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10840844 memory=1728 CPUtime=558.52 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) R 24833 24836 22219 0 -1 4202560 3419101 13307 0 0 55409 435 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189322893296 140189743616743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10840844 memory=1448 CPUtime=557.41 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) R 24833 24836 22219 0 -1 4202560 3785410 13307 0 0 55192 541 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189321840800 140189735942087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10840844 memory=8393708 CPUtime=65.04 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 419492 13307 0 0 6474 22 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189277586656 140189750998741 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10840844 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 48 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189208929888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10840844 memory=43024 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 27 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188604949888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10840844 memory=984 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 7 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188297549808 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10840844 memory=772 CPUtime=3.2 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 17663 13307 0 0 310 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189175372144 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10840844 memory=3648 CPUtime=3.01 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) S 24833 24836 22219 0 -1 1077944384 20627 13307 0 0 291 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189174319344 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10840844 memory=948 CPUtime=1.38 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 19991 13307 0 0 127 3 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189173266544 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10840844 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10840844 memory=9492 CPUtime=0.78 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 820 13307 0 0 37 33 5 3 20 0 15 0 473620429 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 2523.01 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8393708 KiB
[startup+846.401 s]
/proc/loadavg: 4.55 3.80 2.68 6/228 25136
/proc/meminfo: memFree=285940/32770624 swapFree=66998032/67108860
[pid=24836] ppid=24833 vsize=10840844 memory=8393708 CPUtime=2526.13 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 14552652 13307 0 0 250576 2029 5 3 20 0 15 0 473620413 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2710211 2098427 3622 1 0 2672269 0
[pid=24836/tid=24889] ppid=24833 vsize=10840844 memory=8393692 CPUtime=218.13 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) S 24833 24836 22219 0 -1 1077944384 60568 13307 0 0 21782 23 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189722823040 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10840844 memory=0 CPUtime=558.95 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) R 24833 24836 22219 0 -1 4202560 3599394 13307 0 0 55376 511 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189755231064 140189735686232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10840844 memory=628 CPUtime=558.78 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) R 24833 24836 22219 0 -1 4202560 3194992 13307 0 0 55391 479 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189680535976 140189743616743 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10840844 memory=1056 CPUtime=559.28 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) R 24833 24836 22219 0 -1 4202560 3419101 13307 0 0 55485 435 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189322893296 140189743616743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10840844 memory=1720 CPUtime=558.2 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) R 24833 24836 22219 0 -1 4202560 3797712 13307 0 0 55271 541 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189321840800 140189735686174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10840844 memory=6791534058613427641 CPUtime=65.04 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 419492 13307 0 0 6474 22 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189277586656 140189750998741 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10840844 memory=14008 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 48 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189208929888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10840844 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 27 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188604949888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10840844 memory=18280 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 7 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188297549808 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10840844 memory=6791534058613427641 CPUtime=3.2 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 17663 13307 0 0 310 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189175372192 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10840844 memory=1556 CPUtime=3.01 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) S 24833 24836 22219 0 -1 1077944384 20627 13307 0 0 291 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189174319104 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10840844 memory=500 CPUtime=1.38 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 19991 13307 0 0 127 3 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189173266592 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10840844 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10840844 memory=8393708 CPUtime=0.78 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 820 13307 0 0 37 33 5 3 20 0 15 0 473620429 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 2526.13 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8393708 KiB
[startup+846.801 s]
/proc/loadavg: 4.55 3.80 2.68 6/228 25136
/proc/meminfo: memFree=285940/32770624 swapFree=66998032/67108860
[pid=24836] ppid=24833 vsize=10840844 memory=8393708 CPUtime=2527.69 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 14552652 13307 0 0 250732 2029 5 3 20 0 15 0 473620413 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2710211 2098427 3622 1 0 2672269 0
[pid=24836/tid=24889] ppid=24833 vsize=10840844 memory=928 CPUtime=218.13 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) S 24833 24836 22219 0 -1 1077944384 60568 13307 0 0 21782 23 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189722823040 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10840844 memory=8393700 CPUtime=559.34 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) R 24833 24836 22219 0 -1 4202560 3599394 13307 0 0 55415 511 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189755230864 140189735687294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10840844 memory=1808 CPUtime=559.16 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) R 24833 24836 22219 0 -1 4202560 3194992 13307 0 0 55429 479 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189680536280 140189735446168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10840844 memory=6791534058613427641 CPUtime=559.67 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) R 24833 24836 22219 0 -1 4202560 3419101 13307 0 0 55524 435 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189322893912 140189735446157 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10840844 memory=2832 CPUtime=558.59 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) R 24833 24836 22219 0 -1 4202560 3797712 13307 0 0 55310 541 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189321840912 140189735687351 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10840844 memory=9492 CPUtime=65.05 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 419492 13307 0 0 6475 22 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189277586880 140189750998741 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10840844 memory=1548 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 48 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189208929888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10840844 memory=628 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 27 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188604949888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10840844 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 7 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188297549808 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10840844 memory=1720 CPUtime=3.2 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 17663 13307 0 0 310 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189175372192 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10840844 memory=5956 CPUtime=3.01 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) S 24833 24836 22219 0 -1 1077944384 20627 13307 0 0 291 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189174319104 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10840844 memory=2552 CPUtime=1.38 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 19991 13307 0 0 127 3 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189173266592 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10840844 memory=1760 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10840844 memory=111632 CPUtime=0.78 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 820 13307 0 0 37 33 5 3 20 0 15 0 473620429 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 2527.69 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8393708 KiB
[startup+846.901 s]
/proc/loadavg: 4.55 3.80 2.68 6/228 25136
/proc/meminfo: memFree=285940/32770624 swapFree=66998032/67108860
[pid=24836] ppid=24833 vsize=10840844 memory=8393708 CPUtime=2528.09 cores=1,3,5,7
/proc/24836/stat : 24836 (java) S 24833 24836 22219 0 -1 1077944320 14552652 13307 0 0 250772 2029 5 3 20 0 15 0 473620413 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140733192113216 140189750988535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
/proc/24836/statm: 2710211 2098427 3622 1 0 2672269 0
[pid=24836/tid=24889] ppid=24833 vsize=10840844 memory=8393708 CPUtime=218.13 cores=1,3,5,7
/proc/24836/task/24889/stat : 24889 (java) S 24833 24836 22219 0 -1 1077944384 60568 13307 0 0 21782 23 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189722823040 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24890] ppid=24833 vsize=10840844 memory=8393708 CPUtime=559.44 cores=1,3,5,7
/proc/24836/task/24890/stat : 24890 (java) R 24833 24836 22219 0 -1 4202560 3599394 13307 0 0 55425 511 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189755230864 140189735687265 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24891] ppid=24833 vsize=10840844 memory=8393708 CPUtime=559.26 cores=1,3,5,7
/proc/24836/task/24891/stat : 24891 (java) R 24833 24836 22219 0 -1 4202560 3194992 13307 0 0 55439 479 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189680536280 140189735687280 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24892] ppid=24833 vsize=10840844 memory=8393704 CPUtime=559.77 cores=1,3,5,7
/proc/24836/task/24892/stat : 24892 (java) R 24833 24836 22219 0 -1 4202560 3419101 13307 0 0 55534 435 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189322893912 140189735984939 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24893] ppid=24833 vsize=10840844 memory=8393692 CPUtime=558.69 cores=1,3,5,7
/proc/24836/task/24893/stat : 24893 (java) R 24833 24836 22219 0 -1 4202560 3797712 13307 0 0 55320 541 5 3 20 0 15 0 473620423 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189321840912 140189735446003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24894] ppid=24833 vsize=10840844 memory=2257 CPUtime=65.05 cores=1,3,5,7
/proc/24836/task/24894/stat : 24894 (java) S 24833 24836 22219 0 -1 1077944384 419492 13307 0 0 6475 22 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189277586880 140189750998741 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24895] ppid=24833 vsize=10840844 memory=8393708 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24895/stat : 24895 (java) S 24833 24836 22219 0 -1 1077944384 48 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189208929888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24896] ppid=24833 vsize=10840844 memory=948 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24896/stat : 24896 (java) S 24833 24836 22219 0 -1 1077944384 27 13307 0 0 0 0 5 3 20 0 15 0 473620425 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188604949888 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24897] ppid=24833 vsize=10840844 memory=8393708 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24897/stat : 24897 (java) S 24833 24836 22219 0 -1 1077944384 7 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188297549808 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24898] ppid=24833 vsize=10840844 memory=800 CPUtime=3.2 cores=1,3,5,7
/proc/24836/task/24898/stat : 24898 (java) S 24833 24836 22219 0 -1 1077944384 17663 13307 0 0 310 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189175372192 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24899] ppid=24833 vsize=10840844 memory=111632 CPUtime=3.01 cores=1,3,5,7
/proc/24836/task/24899/stat : 24899 (java) S 24833 24836 22219 0 -1 1077944384 20627 13307 0 0 291 2 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189174319104 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24900] ppid=24833 vsize=10840844 memory=8393708 CPUtime=1.38 cores=1,3,5,7
/proc/24836/task/24900/stat : 24900 (java) S 24833 24836 22219 0 -1 1077944384 19991 13307 0 0 127 3 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189173266592 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24901] ppid=24833 vsize=10840844 memory=8393708 CPUtime=0.08 cores=1,3,5,7
/proc/24836/task/24901/stat : 24901 (java) S 24833 24836 22219 0 -1 1077944384 3 13307 0 0 0 0 5 3 20 0 15 0 473620428 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140188263991520 140189750998741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
[pid=24836/tid=24902] ppid=24833 vsize=10840844 memory=8393708 CPUtime=0.78 cores=1,3,5,7
/proc/24836/task/24902/stat : 24902 (java) S 24833 24836 22219 0 -1 1077944384 820 13307 0 0 37 33 5 3 20 0 15 0 473620429 11101024256 2098427 33554432000 4194304 4196468 140733192130672 140189172214960 140189750999682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 38998016 140733192133360 140733192135877 140733192135877 140733192138703 0
Current children cumulated CPU time: 2528.09 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 8393708 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 847.193
CPU time (s): 2528.43
CPU user time (s): 2507.83
CPU system time (s): 20.6005
CPU usage (%): 298.447
Max. virtual memory (cumulated for all children) (KiB): 10840844
Max. memory (cumulated for all children) (KiB): 8400036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2507.83
system time used= 20.6005
maximum resident set size= 8400036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14565961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38360
involuntary context switches= 22269
# summary of solver processes directly reported to runsolver:
# pid: 24836
# total CPU time (s): 2528.43
# total CPU user time (s): 2507.83
# total CPU system time (s): 20.6005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.35305 second user time and 8.18194 second system time
The end