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 (13965 MiB free)
memory of node 1: 16384 MiB (14243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258242-1502638288/watcher-4258242-1502638288 -o /tmp/evaluation-result-4258242-1502638288/solver-4258242-1502638288 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258242-1502638288.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15795, runsolver pid=15792
[startup+0.106843 s]*
/proc/loadavg: 3.52 3.30 2.82 4/215 15819
/proc/meminfo: memFree=28858856/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555400 memory=30216 CPUtime=0.13 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 6693 0 0 0 12 1 0 0 20 0 15 0 96909911 10808729600 7554 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638850 7554 2792 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555400 memory=-7254947784588945530 CPUtime=0.09 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) R 15792 15795 6338 0 -1 4202560 4531 0 0 0 8 1 0 0 20 0 15 0 96909911 10808729600 7554 33554432000 4194304 4196468 140735279112240 140085466909344 140085462699414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555400 memory=5793855770306197945 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 7554 33554432000 4194304 4196468 140735279112240 140085399378704 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555400 memory=140519296304768 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 7554 33554432000 4194304 4196468 140735279112240 140085398326160 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 7554 33554432000 4194304 4196468 140735279112240 140085397273616 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) S 15792 15795 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 7554 33554432000 4194304 4196468 140735279112240 140085396221072 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909914 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084954023920 140085462698626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96909914 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084950866128 140085462706075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) S 15792 15795 6338 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084949813744 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) S 15792 15795 6338 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084948761200 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555400 memory=140519296304768 CPUtime=0.02 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) S 15792 15795 6338 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 96909917 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084947708656 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555400 memory=140519296304768 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 7554 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30216 KiB
[startup+0.219837 s]*
/proc/loadavg: 3.52 3.30 2.82 8/215 15819
/proc/meminfo: memFree=28835440/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555400 memory=42400 CPUtime=0.35 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 8115 0 0 0 33 2 0 0 20 0 15 0 96909911 10808729600 10600 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638850 10600 3010 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) R 15792 15795 6338 0 -1 4202560 5053 0 0 0 19 1 0 0 20 0 15 0 96909911 10808729600 10600 33554432000 4194304 4196468 140735279112240 140085466926784 140085446767966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555400 memory=4211974245501095306 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 10600 33554432000 4194304 4196468 140735279112240 140085399378704 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555400 memory=140519296304768 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 10600 33554432000 4194304 4196468 140735279112240 140085398326160 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 10600 33554432000 4194304 4196468 140735279112240 140085397273616 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) S 15792 15795 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909912 10808729600 10600 33554432000 4194304 4196468 140735279112240 140085396221072 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555400 memory=140519296304768 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909914 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084954023920 140085462698626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96909914 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084950866128 140085462706075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555400 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) R 15792 15795 6338 0 -1 4202560 595 0 0 0 4 0 0 0 20 0 15 0 96909917 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084949800592 140085446075364 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555400 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) R 15792 15795 6338 0 -1 4202560 279 0 0 0 2 0 0 0 20 0 15 0 96909917 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084948754056 140085448055631 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555400 memory=140519296304768 CPUtime=0.07 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) R 15792 15795 6338 0 -1 1077944384 821 0 0 0 7 0 0 0 20 0 15 0 96909917 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084947703920 140085462697685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555400 memory=140519296304768 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909917 10808729600 10600 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 42400 KiB
[startup+0.316837 s]*
/proc/loadavg: 3.52 3.30 2.82 6/215 15819
/proc/meminfo: memFree=28814600/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555476 memory=51520 CPUtime=0.61 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 9907 0 0 0 58 3 0 0 20 0 15 0 96909911 10808807424 12880 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638869 12880 3054 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555476 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) R 15792 15795 6338 0 -1 4202560 5490 0 0 0 27 2 0 0 20 0 15 0 96909911 10808807424 12880 33554432000 4194304 4196468 140735279112240 140085466923816 140085072834292 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555476 memory=4211974245501095306 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 12880 33554432000 4194304 4196468 140735279112240 140085399378704 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555476 memory=140519296307125 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 12880 33554432000 4194304 4196468 140735279112240 140085398326160 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555476 memory=140519183336146 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 12880 33554432000 4194304 4196468 140735279112240 140085397273616 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555476 memory=140519183338959 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) S 15792 15795 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96909912 10808807424 12880 33554432000 4194304 4196468 140735279112240 140085396221072 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555476 memory=140519296311133 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084954023920 140085462698626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555476 memory=140519183348143 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555476 memory=281038366687120 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555476 memory=281038366684816 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084950866128 140085462706075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555476 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) S 15792 15795 6338 0 -1 1077944384 877 0 0 0 8 0 0 0 20 0 15 0 96909917 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084949813744 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555476 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) S 15792 15795 6338 0 -1 1077944384 1143 0 0 0 10 0 0 0 20 0 15 0 96909917 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084948761200 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555476 memory=140519296304768 CPUtime=0.12 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) S 15792 15795 6338 0 -1 1077944384 1025 0 0 0 12 0 0 0 20 0 15 0 96909917 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084947708656 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555476 memory=140519296304768 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) S 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 12880 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 51520 KiB
[startup+0.710848 s]
/proc/loadavg: 3.52 3.30 2.82 7/215 15819
/proc/meminfo: memFree=28759872/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555476 memory=241980 CPUtime=1.86 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 11709 0 0 0 173 13 0 0 20 0 15 0 96909911 10808807424 60495 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638869 60495 3100 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555476 memory=1952 CPUtime=0.61 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) S 15792 15795 6338 0 -1 1077944384 5708 0 0 0 57 4 0 0 20 0 15 0 96909911 10808807424 61007 33554432000 4194304 4196468 140735279112240 140085466924240 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555476 memory=5796 CPUtime=0.04 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) R 15792 15795 6338 0 -1 4202560 38 0 0 0 3 1 0 0 20 0 15 0 96909912 10808807424 61007 33554432000 4194304 4196468 140735279112240 140085399378904 140085455790796 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555476 memory=4616 CPUtime=0.05 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) R 15792 15795 6338 0 -1 4202560 51 0 0 0 4 1 0 0 20 0 15 0 96909912 10808807424 61007 33554432000 4194304 4196468 140735279112240 140085398326160 140085447708940 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555476 memory=7523356985603351872 CPUtime=0.05 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) R 15792 15795 6338 0 -1 4202560 33 0 0 0 4 1 0 0 20 0 15 0 96909912 10808807424 61007 33554432000 4194304 4196468 140735279112240 140085397273616 140085447715344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555476 memory=7881696724453321575 CPUtime=0.05 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) R 15792 15795 6338 0 -1 4202560 49 0 0 0 4 1 0 0 20 0 15 0 96909912 10808807424 61007 33554432000 4194304 4196468 140735279112240 140085396221072 140085447715362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555476 memory=7223893998309494864 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084954022432 140085462697685 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084950866128 140085462706075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555476 memory=72 CPUtime=0.34 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) S 15792 15795 6338 0 -1 1077944384 1549 0 0 0 34 0 0 0 20 0 15 0 96909917 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084949798736 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555476 memory=3 CPUtime=0.37 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) R 15792 15795 6338 0 -1 4202560 1267 0 0 0 37 0 0 0 20 0 15 0 96909917 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084948747744 140085444209188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555476 memory=6068 CPUtime=0.27 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) S 15792 15795 6338 0 -1 1077944384 1571 0 0 0 27 0 0 0 20 0 15 0 96909917 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084947708656 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555476 memory=281038366871024 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) R 15792 15795 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 61007 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 241980 KiB
[startup+1.50089 s]
/proc/loadavg: 3.52 3.30 2.82 7/215 15819
/proc/meminfo: memFree=27907644/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555476 memory=915932 CPUtime=3.69 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 14419 0 0 0 319 50 0 0 20 0 15 0 96909911 10808807424 228983 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638869 228983 3114 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555476 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) R 15792 15795 6338 0 -1 4202560 6402 0 0 0 97 9 0 0 20 0 15 0 96909911 10808807424 228983 33554432000 4194304 4196468 140735279112240 140085466924368 140085448755598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555476 memory=-6292470442678708839 CPUtime=0.38 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) S 15792 15795 6338 0 -1 1077944384 396 0 0 0 29 9 0 0 20 0 15 0 96909912 10808807424 228983 33554432000 4194304 4196468 140735279112240 140085399378704 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555476 memory=-5935602824819121961 CPUtime=0.38 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) S 15792 15795 6338 0 -1 1077944384 365 0 0 0 29 9 0 0 20 0 15 0 96909912 10808807424 228983 33554432000 4194304 4196468 140735279112240 140085398326160 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555476 memory=-1161699032755887712 CPUtime=0.39 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) S 15792 15795 6338 0 -1 1077944384 759 0 0 0 30 9 0 0 20 0 15 0 96909912 10808807424 228983 33554432000 4194304 4196468 140735279112240 140085397273616 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555476 memory=-6305719386327704960 CPUtime=0.37 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) S 15792 15795 6338 0 -1 1077944384 193 0 0 0 28 9 0 0 20 0 15 0 96909912 10808807424 229495 33554432000 4194304 4196468 140735279112240 140085396221072 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555476 memory=-6305719386192962688 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 229495 33554432000 4194304 4196468 140735279112240 140084954023920 140085462698626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
################
# More data... #
################
/proc/15795/statm: 2638869 1770484 3138 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555476 memory=7079888 CPUtime=42.15 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) S 15792 15795 6338 0 -1 1077944384 21281 0 0 0 4185 30 0 0 20 0 15 0 96909911 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085466921184 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555476 memory=7079888 CPUtime=50.82 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) R 15792 15795 6338 0 -1 4202560 123119 0 0 0 4974 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085399378824 140085455315687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555476 memory=7079888 CPUtime=50.66 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) R 15792 15795 6338 0 -1 4202560 64953 0 0 0 4959 107 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085398326360 140085447388170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555476 memory=4096 CPUtime=50.75 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) R 15792 15795 6338 0 -1 4202560 75569 0 0 0 4974 101 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085397273736 140085455315687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555476 memory=28488 CPUtime=50.53 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) R 15792 15795 6338 0 -1 4202560 69785 0 0 0 4945 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085396221192 140085455315687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555476 memory=2428 CPUtime=5.61 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 20735 0 0 0 559 2 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084954022464 140085462697685 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555476 memory=4080 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555476 memory=932 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084950866128 140085462706075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555476 memory=1584 CPUtime=0.63 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) S 15792 15795 6338 0 -1 1077944384 3521 0 0 0 63 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084949813792 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555476 memory=7079888 CPUtime=0.67 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) S 15792 15795 6338 0 -1 1077944384 3096 0 0 0 67 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084948761248 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555476 memory=6791534058613427641 CPUtime=0.32 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) S 15792 15795 6338 0 -1 1077944384 2569 0 0 0 32 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084947708416 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555476 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555476 memory=12064 CPUtime=0.06 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) S 15792 15795 6338 0 -1 1077944384 481 0 0 0 4 2 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 252.29 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 7081936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+101.289 s]
# the end of solver process 15795 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.653 s, system=4.70418 s
Solver just ended.
Dumping a history of the last processes samples
[startup+100.001 s]*
/proc/loadavg: 4.41 3.65 2.99 6/215 15898
/proc/meminfo: memFree=21029184/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555476 memory=7081936 CPUtime=255.48 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 386475 0 0 0 25086 462 0 0 20 0 15 0 96909911 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638869 1770484 3138 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555476 memory=6791534058613427641 CPUtime=42.15 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) S 15792 15795 6338 0 -1 1077944384 21281 0 0 0 4185 30 0 0 20 0 15 0 96909911 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085466921184 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555476 memory=-7003737579269690708 CPUtime=51.61 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) R 15792 15795 6338 0 -1 4202560 123119 0 0 0 5053 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085399378824 140085447388218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555476 memory=2244 CPUtime=51.47 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) R 15792 15795 6338 0 -1 4202560 64955 0 0 0 5040 107 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085398326280 140085444297267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555476 memory=2336 CPUtime=51.53 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) R 15792 15795 6338 0 -1 4202560 75569 0 0 0 5052 101 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085397273736 140085455315687 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555476 memory=1156 CPUtime=51.33 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) R 15792 15795 6338 0 -1 4202560 69785 0 0 0 5025 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085396220880 140085444297088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555476 memory=2932 CPUtime=5.61 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 20735 0 0 0 559 2 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084954022464 140085462697685 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555476 memory=7081936 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555476 memory=1356 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555476 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084950865776 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555476 memory=2932 CPUtime=0.63 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) S 15792 15795 6338 0 -1 1077944384 3521 0 0 0 63 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084949813792 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555476 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) S 15792 15795 6338 0 -1 1077944384 3096 0 0 0 67 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084948761248 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555476 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) S 15792 15795 6338 0 -1 1077944384 2569 0 0 0 32 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084947708416 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555476 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555476 memory=28488 CPUtime=0.06 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) S 15792 15795 6338 0 -1 1077944384 481 0 0 0 4 2 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 255.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 7081936 KiB
[startup+100.801 s]
/proc/loadavg: 4.41 3.65 2.99 6/215 15898
/proc/meminfo: memFree=21029184/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555476 memory=7081936 CPUtime=258.64 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 386475 0 0 0 25402 462 0 0 20 0 15 0 96909911 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638869 1770484 3138 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555476 memory=2240 CPUtime=42.15 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) S 15792 15795 6338 0 -1 1077944384 21281 0 0 0 4185 30 0 0 20 0 15 0 96909911 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085466921184 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555476 memory=6791534058613427641 CPUtime=52.4 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) R 15792 15795 6338 0 -1 4202560 123119 0 0 0 5132 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085399378824 140085447685424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555476 memory=2936 CPUtime=52.26 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) R 15792 15795 6338 0 -1 4202560 64955 0 0 0 5119 107 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085398326280 140085444297165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555476 memory=5762820 CPUtime=52.32 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) R 15792 15795 6338 0 -1 4202560 75569 0 0 0 5131 101 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085397273736 140085444297284 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555476 memory=1716 CPUtime=52.12 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) R 15792 15795 6338 0 -1 4202560 69785 0 0 0 5104 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085396221192 140085447388064 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555476 memory=7081936 CPUtime=5.61 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 20735 0 0 0 559 2 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084954022464 140085462697685 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555476 memory=7081936 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555476 memory=16816 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555476 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084950865776 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555476 memory=1792 CPUtime=0.63 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) S 15792 15795 6338 0 -1 1077944384 3521 0 0 0 63 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084949813792 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555476 memory=6791534058613427641 CPUtime=0.67 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) S 15792 15795 6338 0 -1 1077944384 3096 0 0 0 67 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084948761248 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555476 memory=636 CPUtime=0.32 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) S 15792 15795 6338 0 -1 1077944384 2569 0 0 0 32 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084947708416 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555476 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555476 memory=960 CPUtime=0.06 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) S 15792 15795 6338 0 -1 1077944384 481 0 0 0 4 2 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 258.64 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 7081936 KiB
[startup+101.201 s]
/proc/loadavg: 4.41 3.65 2.99 10/215 15898
/proc/meminfo: memFree=19312476/32770624 swapFree=67108860/67108860
[pid=15795] ppid=15792 vsize=10555476 memory=7081936 CPUtime=260.22 cores=0,2,4,6
/proc/15795/stat : 15795 (java) S 15792 15795 6338 0 -1 1077944320 386475 0 0 0 25560 462 0 0 20 0 15 0 96909911 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140735279094784 140085462687479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
/proc/15795/statm: 2638869 1770484 3138 1 0 2627263 0
[pid=15795/tid=15797] ppid=15792 vsize=10555476 memory=0 CPUtime=42.15 cores=0,2,4,6
/proc/15795/task/15797/stat : 15797 (java) S 15792 15795 6338 0 -1 1077944384 21281 0 0 0 4185 30 0 0 20 0 15 0 96909911 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085466921184 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15801] ppid=15792 vsize=10555476 memory=0 CPUtime=52.8 cores=0,2,4,6
/proc/15795/task/15801/stat : 15801 (java) R 15792 15795 6338 0 -1 4202560 123119 0 0 0 5172 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085399378824 140085447387956 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15802] ppid=15792 vsize=10555476 memory=3184238439260058800 CPUtime=52.66 cores=0,2,4,6
/proc/15795/task/15802/stat : 15802 (java) R 15792 15795 6338 0 -1 4202560 64955 0 0 0 5159 107 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085398326280 140085447388123 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15803] ppid=15792 vsize=10555476 memory=11040 CPUtime=52.7 cores=0,2,4,6
/proc/15795/task/15803/stat : 15803 (java) R 15792 15795 6338 0 -1 4202560 75569 0 0 0 5169 101 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085397273736 140085447388112 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15804] ppid=15792 vsize=10555476 memory=6656426216303648864 CPUtime=52.52 cores=0,2,4,6
/proc/15795/task/15804/stat : 15804 (java) R 15792 15795 6338 0 -1 4202560 69785 0 0 0 5144 108 0 0 20 0 15 0 96909912 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140085396221192 140085447388167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15805] ppid=15792 vsize=10555476 memory=6944656592455360604 CPUtime=5.61 cores=0,2,4,6
/proc/15795/task/15805/stat : 15805 (java) S 15792 15795 6338 0 -1 1077944384 20735 0 0 0 559 2 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084954022464 140085462697685 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15806] ppid=15792 vsize=10555476 memory=281038366441712 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15806/stat : 15806 (java) S 15792 15795 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084952970144 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15807] ppid=15792 vsize=10555476 memory=22084 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15807/stat : 15807 (java) S 15792 15795 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96909914 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084951917552 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15814] ppid=15792 vsize=10555476 memory=-6305719386327704960 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15814/stat : 15814 (java) S 15792 15795 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084950865776 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15815] ppid=15792 vsize=10555476 memory=26500 CPUtime=0.63 cores=0,2,4,6
/proc/15795/task/15815/stat : 15815 (java) S 15792 15795 6338 0 -1 1077944384 3521 0 0 0 63 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084949813792 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15816] ppid=15792 vsize=10555476 memory=28708 CPUtime=0.67 cores=0,2,4,6
/proc/15795/task/15816/stat : 15816 (java) S 15792 15795 6338 0 -1 1077944384 3096 0 0 0 67 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084948761248 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15817] ppid=15792 vsize=10555476 memory=281038368220096 CPUtime=0.32 cores=0,2,4,6
/proc/15795/task/15817/stat : 15817 (java) S 15792 15795 6338 0 -1 1077944384 2569 0 0 0 32 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084947708416 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15818] ppid=15792 vsize=10555476 memory=8315171486948655189 CPUtime=0 cores=0,2,4,6
/proc/15795/task/15818/stat : 15818 (java) S 15792 15795 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084946656352 140085462697685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
[pid=15795/tid=15819] ppid=15792 vsize=10555476 memory=13932 CPUtime=0.06 cores=0,2,4,6
/proc/15795/task/15819/stat : 15819 (java) S 15792 15795 6338 0 -1 1077944384 481 0 0 0 4 2 0 0 20 0 15 0 96909917 10808807424 1770484 33554432000 4194304 4196468 140735279112240 140084945602864 140085462698626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 26865664 140735279113355 140735279113508 140735279113508 140735279116239 0
Current children cumulated CPU time: 260.22 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 7081936 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 101.289
CPU time (s): 260.357
CPU user time (s): 255.653
CPU system time (s): 4.70418
CPU usage (%): 257.044
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 7081936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.653
system time used= 4.70418
maximum resident set size= 7082572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9638
involuntary context switches= 3820
# summary of solver processes directly reported to runsolver:
# pid: 15795
# total CPU time (s): 260.357
# total CPU user time (s): 255.653
# total CPU system time (s): 4.70418
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.65336 second user time and 1.04266 second system time
The end