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 (15174 MiB free)
memory of node 1: 16384 MiB (15604 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407929-1569792568/watcher-4407929-1569792568 -o /tmp/evaluation-result-4407929-1569792568/solver-4407929-1569792568 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17998 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407929-1569792568.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
solver pid=19264, runsolver pid=19261
Current StackSize limit: 8192 KiB
[startup+0.100366 s]*
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31515108/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=29296 memory=5712 CPUtime=0.1 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 1635 0 0 0 10 0 0 0 20 0 1 0 555523515 29999104 1428 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 7324 1428 842 493 0 629 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29296 KiB
Current children cumulated memory: 5712 KiB
[startup+0.209396 s]*
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31514792/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=30220 memory=6504 CPUtime=0.2 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 1846 0 0 0 20 0 0 0 20 0 1 0 555523515 30945280 1626 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 7555 1626 842 493 0 860 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30220 KiB
Current children cumulated memory: 6504 KiB
[startup+0.308741 s]*
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31514296/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=31012 memory=7296 CPUtime=0.3 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 2038 0 0 0 30 0 0 0 20 0 1 0 555523515 31756288 1824 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 7753 1824 842 493 0 1058 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31012 KiB
Current children cumulated memory: 7296 KiB
[startup+0.70023 s]
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31512188/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=33916 memory=10200 CPUtime=0.68 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 2778 0 0 0 68 0 0 0 20 0 1 0 555523515 34729984 2550 33554432000 4194304 6211132 140731212600592 140731212548392 139766067862958 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 8479 2550 842 493 0 1784 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 33916 KiB
Current children cumulated memory: 10200 KiB
[startup+1.50024 s]
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31508796/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=40076 memory=16536 CPUtime=1.49 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 4325 0 0 0 148 1 0 0 20 0 1 0 555523515 41037824 4134 33554432000 4194304 6211132 140731212600592 140731212548392 139766076881752 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 10019 4134 842 493 0 3324 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40076 KiB
Current children cumulated memory: 16536 KiB
[startup+3.10916 s]
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31493420/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=52560 memory=29052 CPUtime=3.1 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 7515 0 0 0 308 2 0 0 20 0 1 0 555523515 53821440 7263 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 13140 7263 842 493 0 6445 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 52560 KiB
Current children cumulated memory: 29052 KiB
[startup+6.30023 s]
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31469912/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=77456 memory=53516 CPUtime=6.28 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 13763 0 0 0 626 2 0 0 20 0 1 0 555523515 79314944 13379 33554432000 4194304 6211132 140731212600592 140731212548392 5446675 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 19364 13379 842 493 0 12669 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 77456 KiB
Current children cumulated memory: 53516 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.01 3/199 19265
/proc/meminfo: memFree=31424520/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=127496 memory=103284 CPUtime=12.68 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 26270 0 0 0 1264 4 0 0 20 0 1 0 555523515 130555904 25821 33554432000 4194304 6211132 140731212600592 140731212548392 5455674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 31874 25821 842 493 0 25179 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 127496 KiB
Current children cumulated memory: 103284 KiB
[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.01 3/199 19267
/proc/meminfo: memFree=31323140/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=226532 memory=202696 CPUtime=25.49 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 51305 0 0 0 2542 7 0 0 20 0 1 0 555523515 231968768 50674 33554432000 4194304 6211132 140731212600592 140731212548392 5453940 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 56633 50674 842 493 0 49938 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 226532 KiB
Current children cumulated memory: 202696 KiB
[startup+51.1094 s]
/proc/loadavg: 1.99 2.01 2.01 3/199 19268
/proc/meminfo: memFree=31121004/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=426416 memory=401952 CPUtime=51.09 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 101160 0 0 0 5095 14 0 0 20 0 1 0 555523515 436649984 100488 33554432000 4194304 6211132 140731212600592 140731212548392 139766067860327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 106604 100488 842 493 0 99909 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 426416 KiB
Current children cumulated memory: 401952 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/199 19279
/proc/meminfo: memFree=30721772/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=826820 memory=799784 CPUtime=102.28 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 200132 0 0 0 10200 28 0 0 20 0 1 0 555523515 846663680 199946 33554432000 4194304 6211132 140731212600592 140731212548392 5451514 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 206705 199946 842 493 0 200010 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 826820 KiB
Current children cumulated memory: 799784 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/199 19285
/proc/meminfo: memFree=30252332/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=1293736 memory=1267456 CPUtime=162.27 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 315494 0 0 0 16184 43 0 0 20 0 1 0 555523515 1324785664 316864 33554432000 4194304 6211132 140731212600592 140731212548392 5478712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 323434 316864 842 493 0 316739 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 1293736 KiB
Current children cumulated memory: 1267456 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/199 19289
/proc/meminfo: memFree=29786480/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=1764692 memory=1733544 CPUtime=222.26 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 430997 0 0 0 22168 58 0 0 20 0 1 0 555523515 1807044608 433386 33554432000 4194304 6211132 140731212600592 140731212548392 5452266 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 441173 433386 842 493 0 434478 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 1764692 KiB
Current children cumulated memory: 1733544 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 2.04 2.02 3/199 19415
/proc/meminfo: memFree=29274460/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=2224580 memory=2199564 CPUtime=282.26 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 545968 0 0 0 28152 74 0 0 20 0 1 0 555523515 2277969920 549891 33554432000 4194304 6211132 140731212600592 140731212548392 5013005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 556145 549891 842 493 0 549450 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 2224580 KiB
Current children cumulated memory: 2199564 KiB
[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.02 3/199 19421
/proc/meminfo: memFree=28805248/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=2700740 memory=2665580 CPUtime=342.25 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 661444 0 0 0 34137 88 0 0 20 0 1 0 555523515 2765557760 666395 33554432000 4194304 6211132 140731212600592 140731212548392 5013015 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 675185 666395 842 493 0 668490 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2700740 KiB
Current children cumulated memory: 2665580 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/199 19425
/proc/meminfo: memFree=28336484/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=3160364 memory=3133316 CPUtime=402.24 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 776365 0 0 0 40122 102 0 0 20 0 1 0 555523515 3236212736 783329 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 790091 783329 842 493 0 783396 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 3160364 KiB
Current children cumulated memory: 3133316 KiB
[startup+462.3 s]
/proc/loadavg: 2.16 2.06 2.03 3/199 19429
/proc/meminfo: memFree=27862880/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=3644196 memory=3598540 CPUtime=462.23 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 891702 0 0 0 46105 118 0 0 20 0 1 0 555523515 3731656704 899635 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 911049 899635 842 493 0 904354 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 3644196 KiB
Current children cumulated memory: 3598540 KiB
################
# More data... #
################
Current children cumulated vsize: 11542424 KiB
Current children cumulated memory: 11515412 KiB
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 19545
/proc/meminfo: memFree=19456408/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=12084960 memory=11982236 CPUtime=1542.12 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 2961360 0 0 0 153708 504 0 0 20 0 1 0 555523515 12374999040 2995559 33554432000 4194304 6211132 140731212600592 140731212548392 5443135 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3021240 2995559 842 493 0 3014545 0
Current children cumulated CPU time: 1542.12 s
Current children cumulated vsize: 12084960 KiB
Current children cumulated memory: 11982236 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19552
/proc/meminfo: memFree=18990480/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=12543924 memory=12447388 CPUtime=1602.11 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3076187 0 0 0 159681 530 0 0 20 0 1 0 555523515 12844978176 3111847 33554432000 4194304 6211132 140731212600592 140731212548392 139766076881734 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3135981 3111847 842 493 0 3129286 0
Current children cumulated CPU time: 1602.11 s
Current children cumulated vsize: 12543924 KiB
Current children cumulated memory: 12447388 KiB
[startup+1662.3 s]
/proc/loadavg: 2.40 2.11 2.08 3/200 19556
/proc/meminfo: memFree=18524680/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=13002624 memory=12912288 CPUtime=1662.1 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3190964 0 0 0 165653 557 0 0 20 0 1 0 555523515 13314686976 3228072 33554432000 4194304 6211132 140731212600592 140731212548392 5452266 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3250656 3228072 842 493 0 3243961 0
Current children cumulated CPU time: 1662.1 s
Current children cumulated vsize: 13002624 KiB
Current children cumulated memory: 12912288 KiB
[startup+1722.3 s]
/proc/loadavg: 2.29 2.15 2.09 3/200 19560
/proc/meminfo: memFree=18059188/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=13461060 memory=13376960 CPUtime=1722.1 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3305631 0 0 0 171630 580 0 0 20 0 1 0 555523515 13784125440 3344240 33554432000 4194304 6211132 140731212600592 140731212548392 5443112 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3365265 3344240 842 493 0 3358570 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 13461060 KiB
Current children cumulated memory: 13376960 KiB
[startup+1782.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/199 19567
/proc/meminfo: memFree=17590820/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=13919364 memory=13843352 CPUtime=1782.1 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3420306 0 0 0 177604 606 0 0 20 0 1 0 555523515 14253428736 3460838 33554432000 4194304 6211132 140731212600592 140731212548392 139766067857296 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3479841 3460838 842 493 0 3473146 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 13919364 KiB
Current children cumulated memory: 13843352 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/199 19571
/proc/meminfo: memFree=17125288/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=14378064 memory=14308228 CPUtime=1842.09 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3535061 0 0 0 183578 631 0 0 20 0 1 0 555523515 14723137536 3577057 33554432000 4194304 6211132 140731212600592 140731212548392 139766076881752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3594516 3577057 842 493 0 3587821 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 14378064 KiB
Current children cumulated memory: 14308228 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/199 19582
/proc/meminfo: memFree=16658780/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=14836764 memory=14773112 CPUtime=1902.08 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3649853 0 0 0 189554 654 0 0 20 0 1 0 555523515 15192846336 3693278 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3709191 3693278 842 493 0 3702496 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 14836764 KiB
Current children cumulated memory: 14773112 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/201 19615
/proc/meminfo: memFree=16191172/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=15295728 memory=15238244 CPUtime=1962.08 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3764674 0 0 0 195528 680 0 0 20 0 1 0 555523515 15662825472 3809561 33554432000 4194304 6211132 140731212600592 140731212548392 139766066936805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3823932 3809561 842 493 0 3817237 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 15295728 KiB
Current children cumulated memory: 15238244 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/201 19619
/proc/meminfo: memFree=15725932/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=15753900 memory=15702600 CPUtime=2022.07 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3879301 0 0 0 201498 709 0 0 20 0 1 0 555523515 16131993600 3925650 33554432000 4194304 6211132 140731212600592 140731212548392 139766067862948 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3938475 3925650 842 493 0 3931780 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 15753900 KiB
Current children cumulated memory: 15702600 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2037.8 s]
/proc/loadavg: 2.00 2.05 2.06 3/201 19619
/proc/meminfo: memFree=15609508/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=15872172 memory=15822792 CPUtime=2037.57 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) R 19261 19264 17967 0 -1 4202496 3908892 0 0 0 203040 717 0 0 20 0 1 0 555523515 16253104128 3955698 33554432000 4194304 6211132 140731212600592 140731212548392 5451514 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3968043 3955698 842 493 0 3961348 0
Current children cumulated CPU time: 2037.57 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15822792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+2040.54 s]
# the end of solver process 19264 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2030.61 s, system=7.91681 s
Solver just ended.
Dumping a history of the last processes samples
[startup+2038.4 s]
/proc/loadavg: 2.00 2.05 2.06 2/202 19620
/proc/meminfo: memFree=15599836/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=15872172 memory=15822792 CPUtime=2037.59 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) S 19261 19264 17967 0 -1 512 3908897 0 0 0 203042 717 0 0 20 0 1 0 555523515 16253104128 3955698 33554432000 4194304 6211132 140731212600592 140731212548392 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3968043 3955698 842 493 0 3961348 0
Current children cumulated CPU time: 2037.59 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15822792 KiB
[startup+2039.2 s]
/proc/loadavg: 2.00 2.05 2.06 3/202 19620
/proc/meminfo: memFree=15232532/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=15872172 memory=15822792 CPUtime=2037.7 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) S 19261 19264 17967 0 -1 512 3908897 0 0 0 203053 717 0 0 20 0 1 0 555523515 16253104128 3955698 33554432000 4194304 6211132 140731212600592 140731212548392 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3968043 3955698 842 493 0 3961348 0
Current children cumulated CPU time: 2037.7 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15822792 KiB
[startup+2039.6 s]
/proc/loadavg: 2.00 2.05 2.06 3/202 19620
/proc/meminfo: memFree=15232532/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=15872172 memory=15822792 CPUtime=2037.76 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) S 19261 19264 17967 0 -1 512 3908897 0 0 0 203058 718 0 0 20 0 1 0 555523515 16253104128 3955698 33554432000 4194304 6211132 140731212600592 140731212548392 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3968043 3955698 842 493 0 3961348 0
Current children cumulated CPU time: 2037.76 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15822792 KiB
[startup+2039.8 s]
/proc/loadavg: 2.00 2.05 2.06 3/202 19620
/proc/meminfo: memFree=15232532/32770624 swapFree=66975648/67108860
[pid=19264] ppid=19261 vsize=15872172 memory=15822792 CPUtime=2037.78 cores=0,2,4,6
/proc/19264/stat : 19264 (cosoco) S 19261 19264 17967 0 -1 512 3908897 0 0 0 203060 718 0 0 20 0 1 0 555523515 16253104128 3955698 33554432000 4194304 6211132 140731212600592 140731212548392 5189800 0 16384 4096 8405026 18446744071580971376 0 0 17 4 0 0 0 0 0 8312316 8317760 22953984 140731212608523 140731212608625 140731212608625 140731212611534 0
/proc/19264/statm: 3968043 3955698 842 493 0 3961348 0
Current children cumulated CPU time: 2037.78 s
Current children cumulated vsize: 15872172 KiB
Current children cumulated memory: 15822792 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2040.54
CPU time (s): 2038.52
CPU user time (s): 2030.61
CPU system time (s): 7.91681
CPU usage (%): 99.9014
Max. virtual memory (cumulated for all children) (KiB): 15872172
Max. memory (cumulated for all children) (KiB): 15822792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2030.61
system time used= 7.91681
maximum resident set size= 15822900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3908897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93211
involuntary context switches= 1214
# summary of solver processes directly reported to runsolver:
# pid: 19264
# total CPU time (s): 2038.52
# total CPU user time (s): 2030.61
# total CPU system time (s): 7.91681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.706 second user time and 8.63747 second system time
The end