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 (15194 MiB free)
memory of node 1: 16384 MiB (4412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273464-1502837405/watcher-4273464-1502837405 -o /tmp/evaluation-result-4273464-1502837405/solver-4273464-1502837405 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502746532-7259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1767730890 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273464-1502837405.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=25523, runsolver pid=25520
[startup+0.100176 s]*
/proc/loadavg: 2.73 2.28 2.14 3/203 25532
/proc/meminfo: memFree=20069460/32770624 swapFree=67108860/67108860
[pid=25523] ppid=25520 vsize=13573664 memory=17748 CPUtime=0.04 cores=0,2,4,6
/proc/25523/stat : 25523 (java) S 25520 25523 2357 0 -1 1077944320 4365 0 0 0 3 1 0 0 20 0 9 0 11355597 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 140728101888080 139716086460151 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
/proc/25523/statm: 3393416 4437 2142 1 0 3382913 0
[pid=25523/tid=25525] ppid=25520 vsize=13573664 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/25523/task/25525/stat : 25525 (java) R 25520 25523 2357 0 -1 4202560 2995 0 0 0 3 0 0 0 20 0 9 0 11355603 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139716090695544 139716070540668 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25526] ppid=25520 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25526/stat : 25526 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11355604 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139716028406544 139716086470357 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25527] ppid=25520 vsize=13573664 memory=140686105781888 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25527/stat : 25527 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11355604 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139716027354000 139716086470357 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25528] ppid=25520 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25528/stat : 25528 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 11355604 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139716026301456 139716086470357 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25529] ppid=25520 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25529/stat : 25529 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11355604 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139715683032208 139716086470357 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25530] ppid=25520 vsize=13573664 memory=140686105781888 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25530/stat : 25530 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 11355605 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139715633010672 139716086471298 0 0 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25531] ppid=25520 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25531/stat : 25531 (java) S 25520 25523 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 11355606 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139715631956896 139716086470357 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25532] ppid=25520 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25532/stat : 25532 (java) S 25520 25523 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 11355606 13899431936 4437 18446744073709551615 4194304 4196468 140728101905536 139715630904304 139716086470357 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 17748 KiB
[startup+0.209914 s]*
/proc/loadavg: 2.73 2.28 2.14 3/209 25538
/proc/meminfo: memFree=20054500/32770624 swapFree=67108860/67108860
[pid=25523] ppid=25520 vsize=13975920 memory=34500 CPUtime=0.13 cores=0,2,4,6
/proc/25523/stat : 25523 (java) S 25520 25523 2357 0 -1 1077944320 9584 0 0 0 11 2 0 0 20 0 15 0 11355597 14311342080 8625 18446744073709551615 4194304 4196468 140728101905536 140728101888080 139716086460151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
/proc/25523/statm: 3493980 8625 3381 1 0 3482759 0
[pid=25523/tid=25525] ppid=25520 vsize=13975920 memory=7077796292425249400 CPUtime=0.1 cores=0,2,4,6
/proc/25523/task/25525/stat : 25525 (java) R 25520 25523 2357 0 -1 4202560 7526 0 0 0 8 2 0 0 20 0 15 0 11355603 14311342080 8625 18446744073709551615 4194304 4196468 140728101905536 139716090649600 139716086482077 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25526] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25526/stat : 25526 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14311342080 8625 18446744073709551615 4194304 4196468 140728101905536 139716028406544 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25527] ppid=25520 vsize=13975920 memory=140686105781888 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25527/stat : 25527 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14311342080 8625 18446744073709551615 4194304 4196468 140728101905536 139716027354000 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25528] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25528/stat : 25528 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14311342080 8625 18446744073709551615 4194304 4196468 140728101905536 139716026301456 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25529] ppid=25520 vsize=13975664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25529/stat : 25529 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355604 14311079936 8628 18446744073709551615 4194304 4196468 140728101905536 139715683032208 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25530] ppid=25520 vsize=13975920 memory=140686105781888 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25530/stat : 25530 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355605 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715633010672 139716086471298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25531] ppid=25520 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25531/stat : 25531 (java) S 25520 25523 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355606 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715631956896 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25532] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25532/stat : 25532 (java) S 25520 25523 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355606 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715630904304 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25533] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25533/stat : 25533 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355608 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715629852880 139716086478747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25534] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25534/stat : 25534 (java) S 25520 25523 2357 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 11355608 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715628800496 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25535] ppid=25520 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25535/stat : 25535 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355608 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715627747952 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25536] ppid=25520 vsize=13975920 memory=140686105781888 CPUtime=0.02 cores=0,2,4,6
/proc/25523/task/25536/stat : 25536 (java) S 25520 25523 2357 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 15 0 11355608 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715626695408 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25537] ppid=25520 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25537/stat : 25537 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355609 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715625643104 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25538] ppid=25520 vsize=13975920 memory=140686105781888 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25538/stat : 25538 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355613 14311342080 8628 18446744073709551615 4194304 4196468 140728101905536 139715624589616 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 34500 KiB
[startup+0.314386 s]*
/proc/loadavg: 2.73 2.28 2.14 3/209 25538
/proc/meminfo: memFree=20047460/32770624 swapFree=67108860/67108860
[pid=25523] ppid=25520 vsize=13975920 memory=43876 CPUtime=0.31 cores=0,2,4,6
/proc/25523/stat : 25523 (java) S 25520 25523 2357 0 -1 1077944320 11201 0 0 0 27 4 0 0 20 0 15 0 11355597 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 140728101888080 139716086460151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
/proc/25523/statm: 3493980 10969 3603 1 0 3482759 0
[pid=25523/tid=25525] ppid=25520 vsize=13975920 memory=-8774313645642428999 CPUtime=0.2 cores=0,2,4,6
/proc/25523/task/25525/stat : 25525 (java) R 25520 25523 2357 0 -1 4202560 8694 0 0 0 17 3 0 0 20 0 15 0 11355603 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139716090668272 139716086482077 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25526] ppid=25520 vsize=13975920 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25526/stat : 25526 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139716028406544 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25527] ppid=25520 vsize=13975920 memory=-6519619645245871518 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25527/stat : 25527 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139716027354000 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25528] ppid=25520 vsize=13975920 memory=-8182576921928113525 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25528/stat : 25528 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139716026301456 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25529] ppid=25520 vsize=13975920 memory=8110268428378128441 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25529/stat : 25529 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355604 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715683032208 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25530] ppid=25520 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25530/stat : 25530 (java) S 25520 25523 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11355605 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715633010672 139716086471298 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25531] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25531/stat : 25531 (java) S 25520 25523 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355606 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715631956896 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25532] ppid=25520 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25532/stat : 25532 (java) S 25520 25523 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355606 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715630904304 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25533] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25533/stat : 25533 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355608 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715629852880 139716086478747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25534] ppid=25520 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25523/task/25534/stat : 25534 (java) S 25520 25523 2357 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 15 0 11355608 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715628800496 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25535] ppid=25520 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25523/task/25535/stat : 25535 (java) S 25520 25523 2357 0 -1 1077944384 123 0 0 0 1 0 0 0 20 0 15 0 11355608 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715627747952 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25536] ppid=25520 vsize=13975920 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25523/task/25536/stat : 25536 (java) S 25520 25523 2357 0 -1 1077944384 454 0 0 0 6 0 0 0 20 0 15 0 11355608 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715626695408 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25537] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25537/stat : 25537 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355609 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715625643104 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25538] ppid=25520 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25538/stat : 25538 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355613 14311342080 10969 18446744073709551615 4194304 4196468 140728101905536 139715624589616 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43876 KiB
[startup+0.700702 s]
/proc/loadavg: 2.73 2.28 2.14 3/209 25538
/proc/meminfo: memFree=20035412/32770624 swapFree=67108860/67108860
[pid=25523] ppid=25520 vsize=13977988 memory=74500 CPUtime=1.14 cores=0,2,4,6
/proc/25523/stat : 25523 (java) S 25520 25523 2357 0 -1 1077944320 14872 0 0 0 109 5 0 0 20 0 15 0 11355597 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 140728101888080 139716086460151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
/proc/25523/statm: 3494497 18625 3733 1 0 3483271 0
[pid=25523/tid=25525] ppid=25520 vsize=13977988 memory=2538325673729 CPUtime=0.57 cores=0,2,4,6
/proc/25523/task/25525/stat : 25525 (java) R 25520 25523 2357 0 -1 4202560 10426 0 0 0 53 4 0 0 20 0 15 0 11355603 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139716090696928 139716070540638 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25526] ppid=25520 vsize=13977988 memory=2559800510209 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25526/stat : 25526 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139716028406544 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25527] ppid=25520 vsize=13977988 memory=2568390444801 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25527/stat : 25527 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139716027354000 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25528] ppid=25520 vsize=13977988 memory=448874192 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25528/stat : 25528 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139716026301456 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25529] ppid=25520 vsize=13977988 memory=-8556738499077758064 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25529/stat : 25529 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715683032208 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25530] ppid=25520 vsize=13977988 memory=7956285308106002773 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25530/stat : 25530 (java) S 25520 25523 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11355605 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715633010672 139716086471298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25531] ppid=25520 vsize=13977988 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25531/stat : 25531 (java) S 25520 25523 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355606 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715631956896 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25532] ppid=25520 vsize=13977988 memory=281371897786080 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25532/stat : 25532 (java) S 25520 25523 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355606 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715630904304 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25533] ppid=25520 vsize=13977988 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25533/stat : 25533 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355608 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715629852880 139716086478747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25534] ppid=25520 vsize=13977988 memory=14128948577568424 CPUtime=0.16 cores=0,2,4,6
/proc/25523/task/25534/stat : 25534 (java) R 25520 25523 2357 0 -1 4202560 1268 0 0 0 16 0 0 0 20 0 15 0 11355608 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715628781608 139716067979841 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25535] ppid=25520 vsize=13977988 memory=8688 CPUtime=0.13 cores=0,2,4,6
/proc/25523/task/25535/stat : 25535 (java) S 25520 25523 2357 0 -1 1077944384 735 0 0 0 13 0 0 0 20 0 15 0 11355608 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715627747952 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25536] ppid=25520 vsize=13977988 memory=1200 CPUtime=0.24 cores=0,2,4,6
/proc/25523/task/25536/stat : 25536 (java) S 25520 25523 2357 0 -1 1077944384 1060 0 0 0 24 0 0 0 20 0 15 0 11355608 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715626695408 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25537] ppid=25520 vsize=13977988 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25537/stat : 25537 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355609 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715625643104 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25538] ppid=25520 vsize=13977988 memory=4016 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25538/stat : 25538 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355613 14313459712 18625 18446744073709551615 4194304 4196468 140728101905536 139715624589616 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 74500 KiB
[startup+1.49057 s]
# the end of solver process 25523 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.24149 s, system=0.108356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80135 s]
/proc/loadavg: 2.73 2.28 2.14 3/209 25538
/proc/meminfo: memFree=20035412/32770624 swapFree=67108860/67108860
[pid=25523] ppid=25520 vsize=13977988 memory=81436 CPUtime=1.37 cores=0,2,4,6
/proc/25523/stat : 25523 (java) S 25520 25523 2357 0 -1 1077944320 15495 0 0 0 132 5 0 0 20 0 15 0 11355597 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 140728101888080 139716086460151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
/proc/25523/statm: 3494497 20359 3741 1 0 3483271 0
[pid=25523/tid=25525] ppid=25520 vsize=13977988 memory=-8033973737701895300 CPUtime=0.67 cores=0,2,4,6
/proc/25523/task/25525/stat : 25525 (java) R 25520 25523 2357 0 -1 4202560 10760 0 0 0 63 4 0 0 20 0 15 0 11355603 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139716090697480 139715705707104 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25526] ppid=25520 vsize=13977988 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25526/stat : 25526 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139716028406544 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25527] ppid=25520 vsize=13977988 memory=6933690330692294553 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25527/stat : 25527 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139716027354000 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25528] ppid=25520 vsize=13977988 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25528/stat : 25528 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139716026301456 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25529] ppid=25520 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25529/stat : 25529 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355604 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715683032208 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25530] ppid=25520 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25530/stat : 25530 (java) S 25520 25523 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11355605 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715633010672 139716086471298 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25531] ppid=25520 vsize=13977988 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25531/stat : 25531 (java) S 25520 25523 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355606 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715631956896 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25532] ppid=25520 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25532/stat : 25532 (java) S 25520 25523 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355606 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715630904304 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25533] ppid=25520 vsize=13977988 memory=14550005713214504 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25533/stat : 25533 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355608 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715629852880 139716086478747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25534] ppid=25520 vsize=13977988 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/25523/task/25534/stat : 25534 (java) S 25520 25523 2357 0 -1 1077944384 1308 0 0 0 20 0 0 0 20 0 15 0 11355608 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715628800496 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25535] ppid=25520 vsize=13977988 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/25523/task/25535/stat : 25535 (java) S 25520 25523 2357 0 -1 1077944384 883 0 0 0 18 0 0 0 20 0 15 0 11355608 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715627747952 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25536] ppid=25520 vsize=13977988 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/25523/task/25536/stat : 25536 (java) R 25520 25523 2357 0 -1 4202560 1162 0 0 0 29 0 0 0 20 0 15 0 11355608 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715626695408 139716070540638 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25537] ppid=25520 vsize=13977988 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25537/stat : 25537 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355609 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715625643104 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25538] ppid=25520 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25538/stat : 25538 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355613 14313459712 20359 18446744073709551615 4194304 4196468 140728101905536 139715624589616 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 81436 KiB
[startup+1.20135 s]
/proc/loadavg: 2.73 2.28 2.14 4/209 25538
/proc/meminfo: memFree=19979668/32770624 swapFree=67108860/67108860
[pid=25523] ppid=25520 vsize=13980036 memory=142544 CPUtime=2.51 cores=0,2,4,6
/proc/25523/stat : 25523 (java) S 25520 25523 2357 0 -1 1077944320 24811 0 0 0 242 9 0 0 20 0 15 0 11355597 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 140728101888080 139716086460151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
/proc/25523/statm: 3495009 35636 3751 1 0 3483783 0
[pid=25523/tid=25525] ppid=25520 vsize=13980036 memory=-8774313645642428999 CPUtime=1.07 cores=0,2,4,6
/proc/25523/task/25525/stat : 25525 (java) R 25520 25523 2357 0 -1 4202560 13962 0 0 0 100 7 0 0 20 0 15 0 11355603 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139716090697912 139715710354177 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25526] ppid=25520 vsize=13980036 memory=-7737605734073681312 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25526/stat : 25526 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139716028406544 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25527] ppid=25520 vsize=13980036 memory=-8412652177828189043 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25527/stat : 25527 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139716027354000 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25528] ppid=25520 vsize=13980036 memory=-8995268955501400930 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25528/stat : 25528 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139716026301456 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25529] ppid=25520 vsize=13980036 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25529/stat : 25529 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355604 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715683032208 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25530] ppid=25520 vsize=13980036 memory=-7677942218281043605 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25530/stat : 25530 (java) S 25520 25523 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11355605 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715633010672 139716086471298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25531] ppid=25520 vsize=13980036 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25531/stat : 25531 (java) S 25520 25523 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355606 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715631956896 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25532] ppid=25520 vsize=13980036 memory=7970389753121686430 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25532/stat : 25532 (java) S 25520 25523 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355606 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715630904304 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25533] ppid=25520 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25533/stat : 25533 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355608 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715629852880 139716086478747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25534] ppid=25520 vsize=13980036 memory=288230574492221466 CPUtime=0.49 cores=0,2,4,6
/proc/25523/task/25534/stat : 25534 (java) R 25520 25523 2357 0 -1 4202560 3807 0 0 0 49 0 0 0 20 0 15 0 11355608 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715628788544 139716067096006 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25535] ppid=25520 vsize=13980036 memory=288230613247601969 CPUtime=0.45 cores=0,2,4,6
/proc/25523/task/25535/stat : 25535 (java) R 25520 25523 2357 0 -1 4202560 3241 0 0 0 45 0 0 0 20 0 15 0 11355608 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715627733456 139716068004764 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25536] ppid=25520 vsize=13980036 memory=13570388181459664 CPUtime=0.46 cores=0,2,4,6
/proc/25523/task/25536/stat : 25536 (java) S 25520 25523 2357 0 -1 1077944384 2413 0 0 0 46 0 0 0 20 0 15 0 11355608 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715626695408 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25537] ppid=25520 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25537/stat : 25537 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355609 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715625643104 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25538] ppid=25520 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25538/stat : 25538 (java) S 25520 25523 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11355613 14315556864 35636 18446744073709551615 4194304 4196468 140728101905536 139715624589616 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 142544 KiB
[startup+1.40135 s]
/proc/loadavg: 2.73 2.28 2.14 4/209 25538
/proc/meminfo: memFree=19979668/32770624 swapFree=67108860/67108860
[pid=25523] ppid=25520 vsize=13982084 memory=168940 CPUtime=3.12 cores=0,2,4,6
/proc/25523/stat : 25523 (java) S 25520 25523 2357 0 -1 1077944320 26587 0 0 0 302 10 0 0 20 0 15 0 11355597 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 140728101888080 139716086460151 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
/proc/25523/statm: 3495521 42235 3758 1 0 3484295 0
[pid=25523/tid=25525] ppid=25520 vsize=13982084 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/25523/task/25525/stat : 25525 (java) R 25520 25523 2357 0 -1 4202560 13997 0 0 0 120 7 0 0 20 0 15 0 11355603 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139716090695176 139715710883135 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25526] ppid=25520 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25526/stat : 25526 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139716028406544 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25527] ppid=25520 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25527/stat : 25527 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139716027354000 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25528] ppid=25520 vsize=13982084 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25528/stat : 25528 (java) S 25520 25523 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11355604 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139716026301456 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25529] ppid=25520 vsize=13982084 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25529/stat : 25529 (java) S 25520 25523 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11355604 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715683032208 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25530] ppid=25520 vsize=13982084 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25530/stat : 25530 (java) S 25520 25523 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11355605 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715633010672 139716086471298 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25531] ppid=25520 vsize=13982084 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25531/stat : 25531 (java) S 25520 25523 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11355606 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715631956896 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25532] ppid=25520 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25532/stat : 25532 (java) S 25520 25523 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11355606 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715630904304 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25533] ppid=25520 vsize=13982084 memory=281371897674792 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25533/stat : 25533 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355608 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715629852880 139716086478747 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25534] ppid=25520 vsize=13982084 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/25523/task/25534/stat : 25534 (java) R 25520 25523 2357 0 -1 4202560 4691 0 0 0 69 0 0 0 20 0 15 0 11355608 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715628788544 139716067987845 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25535] ppid=25520 vsize=13982084 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/25523/task/25535/stat : 25535 (java) R 25520 25523 2357 0 -1 4202560 4027 0 0 0 65 0 0 0 20 0 15 0 11355608 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715627733832 139716068004779 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25536] ppid=25520 vsize=13982084 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/25523/task/25536/stat : 25536 (java) S 25520 25523 2357 0 -1 1077944384 2484 0 0 0 46 0 0 0 20 0 15 0 11355608 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715626695408 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25537] ppid=25520 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25537/stat : 25537 (java) S 25520 25523 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11355609 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715625643104 139716086470357 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
[pid=25523/tid=25538] ppid=25520 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25523/task/25538/stat : 25538 (java) S 25520 25523 2357 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11355613 14317654016 42235 18446744073709551615 4194304 4196468 140728101905536 139715624589616 139716086471298 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18477056 140728101912945 140728101913132 140728101913132 140728101916623 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 168940 KiB
Child status: 0
Real time (s): 1.49063
CPU time (s): 3.34985
CPU user time (s): 3.24149
CPU system time (s): 0.108356
CPU usage (%): 224.727
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 168940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.24149
system time used= 0.108356
maximum resident set size= 180140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2259
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 25523
# total CPU time (s): 3.34985
# total CPU user time (s): 3.24149
# total CPU system time (s): 0.108356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027843 second user time and 0.062111 second system time
The end