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 (2268 MiB free)
memory of node 1: 16384 MiB (6329 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295196-1532541516/watcher-4295196-1532541516 -o /tmp/evaluation-result-4295196-1532541516/solver-4295196-1532541516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295196-1532541516.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=28032, runsolver pid=28029
[startup+0.100679 s]*
/proc/loadavg: 2.16 2.05 2.04 3/187 28033
/proc/meminfo: memFree=8802780/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=28588 memory=4724 CPUtime=0.1 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 1363 0 0 0 10 0 0 0 20 0 1 0 71714425 29274112 1181 33554432000 4194304 6142532 140732905279296 140732905275944 5801097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 7147 1181 785 476 0 469 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28588 KiB
Current children cumulated memory: 4724 KiB
[startup+0.209325 s]*
/proc/loadavg: 2.16 2.05 2.04 3/187 28033
/proc/meminfo: memFree=8801216/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=31288 memory=7268 CPUtime=0.2 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 2071 0 0 0 20 0 0 0 20 0 1 0 71714425 32038912 1817 33554432000 4194304 6142532 140732905279296 140732905275944 140206450097125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 7822 1817 802 476 0 1144 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31288 KiB
Current children cumulated memory: 7268 KiB
[startup+0.309011 s]*
/proc/loadavg: 2.16 2.05 2.04 3/187 28033
/proc/meminfo: memFree=8796752/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=35644 memory=11756 CPUtime=0.3 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 3167 0 0 0 30 0 0 0 20 0 1 0 71714425 36499456 2939 33554432000 4194304 6142532 140732905279296 140732905275944 140206450097125 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 8911 2939 802 476 0 2233 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35644 KiB
Current children cumulated memory: 11756 KiB
[startup+0.700262 s]
/proc/loadavg: 2.16 2.05 2.04 3/187 28033
/proc/meminfo: memFree=8787524/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=52408 memory=28388 CPUtime=0.68 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 7350 0 0 0 68 0 0 0 20 0 1 0 71714425 53665792 7097 33554432000 4194304 6142532 140732905279296 140732905269896 5360382 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 13102 7097 802 476 0 6424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52408 KiB
Current children cumulated memory: 28388 KiB
[startup+1.50025 s]
/proc/loadavg: 2.16 2.05 2.04 3/187 28033
/proc/meminfo: memFree=8765396/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=87420 memory=63500 CPUtime=1.48 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 16113 0 0 0 146 2 0 0 20 0 1 0 71714425 89518080 15875 33554432000 4194304 6142532 140732905279296 140732905269896 5370303 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 21855 15875 802 476 0 15177 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87420 KiB
Current children cumulated memory: 63500 KiB
[startup+3.10939 s]
/proc/loadavg: 2.16 2.05 2.04 3/187 28033
/proc/meminfo: memFree=8677744/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=154352 memory=130952 CPUtime=3.1 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 53642 0 0 0 304 6 0 0 20 0 1 0 71714425 158056448 32738 33554432000 4194304 6142532 140732905279296 140732905269896 5146999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38588 32738 872 476 0 31910 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 154352 KiB
Current children cumulated memory: 130952 KiB
[startup+6.3003 s]
/proc/loadavg: 2.23 2.06 2.04 3/187 28033
/proc/meminfo: memFree=8674828/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=154748 memory=131464 CPUtime=6.28 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 85692 0 0 0 620 8 0 0 20 0 1 0 71714425 158461952 32866 33554432000 4194304 6142532 140732905279296 140732905266568 5398530 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38687 32866 873 476 0 32009 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 154748 KiB
Current children cumulated memory: 131464 KiB
[startup+12.7003 s]
/proc/loadavg: 2.21 2.06 2.04 3/187 28033
/proc/meminfo: memFree=8675084/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=154880 memory=131508 CPUtime=12.68 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 117608 0 0 0 1258 10 0 0 20 0 1 0 71714425 158597120 32877 33554432000 4194304 6142532 140732905279296 140732905276040 5146999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38720 32877 873 476 0 32042 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 154880 KiB
Current children cumulated memory: 131508 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 2.06 2.04 3/187 28033
/proc/meminfo: memFree=8674336/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131648 CPUtime=25.46 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 169217 0 0 0 2534 12 0 0 20 0 1 0 71714425 158732288 32912 33554432000 4194304 6142532 140732905279296 140732905276040 5044608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32912 873 476 0 32075 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131648 KiB
[startup+51.1094 s]
/proc/loadavg: 2.11 2.05 2.04 3/187 28033
/proc/meminfo: memFree=8674436/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=51.06 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 188884 0 0 0 5093 13 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905276040 5363684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.04 2.04 3/188 28042
/proc/meminfo: memFree=8673424/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=102.22 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 196320 0 0 0 10208 14 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905276040 5047845 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/189 28066
/proc/meminfo: memFree=8673340/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=162.21 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 197122 0 0 0 16207 14 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905276824 140206460042048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.04 3/189 28067
/proc/meminfo: memFree=8673988/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=222.19 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 197894 0 0 0 22205 14 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905276824 5130216 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/189 28068
/proc/meminfo: memFree=8674600/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=282.17 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 198698 0 0 0 28203 14 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5371719 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 282.17 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/189 28069
/proc/meminfo: memFree=8675568/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=342.16 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 199469 0 0 0 34202 14 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5146999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/188 28070
/proc/meminfo: memFree=8675716/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=402.15 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 200240 0 0 0 40201 14 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5374073 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 402.15 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 28071
/proc/meminfo: memFree=8675864/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=462.13 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 201011 0 0 0 46199 14 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5374338 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 462.13 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
################
# More data... #
################
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 1721.94 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28233
/proc/meminfo: memFree=8022916/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=1781.94 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 217314 0 0 0 178179 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 140206451021363 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 1781.94 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28234
/proc/meminfo: memFree=8022720/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=1841.93 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 218000 0 0 0 184178 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 140206451020630 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 1841.93 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28243
/proc/meminfo: memFree=8022284/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=1901.92 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 218767 0 0 0 190177 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5048248 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 1901.92 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28244
/proc/meminfo: memFree=8022568/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=1961.91 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 219414 0 0 0 196176 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5367428 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 1961.91 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28245
/proc/meminfo: memFree=8023000/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2021.9 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 220185 0 0 0 202175 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5363605 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2021.9 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28246
/proc/meminfo: memFree=8023052/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2081.89 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 220865 0 0 0 208174 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5361736 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2081.89 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 28247
/proc/meminfo: memFree=8023004/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2141.89 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 221519 0 0 0 214174 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5130848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2141.89 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28248
/proc/meminfo: memFree=8022904/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2201.88 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 222290 0 0 0 220173 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5360482 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2201.88 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28249
/proc/meminfo: memFree=8022840/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2261.87 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 222972 0 0 0 226172 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5363622 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2261.87 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28250
/proc/meminfo: memFree=8022596/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2321.86 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 223654 0 0 0 232171 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5146999 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2321.86 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28251
/proc/meminfo: memFree=8022668/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2381.85 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 224292 0 0 0 238170 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5130696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2381.85 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28252
/proc/meminfo: memFree=8022488/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2441.85 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 225107 0 0 0 244170 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5372465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2441.85 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28260
/proc/meminfo: memFree=8021384/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2501.84 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 225790 0 0 0 250169 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 5367440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2501.84 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 28260
/proc/meminfo: memFree=8021508/32770624 swapFree=67108860/67108860
[pid=28032] ppid=28029 vsize=155012 memory=131656 CPUtime=2519.55 cores=0,2,4,6
/proc/28032/stat : 28032 (cosoco) R 28029 28032 27447 0 -1 4202496 226440 0 0 0 251940 15 0 0 20 0 1 0 71714425 158732288 32914 33554432000 4194304 6142532 140732905279296 140732905266568 140206460042068 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 34332672 140732905280646 140732905280776 140732905280776 140732905283534 0
/proc/28032/statm: 38753 32914 873 476 0 32075 0
Current children cumulated CPU time: 2519.55 s
Current children cumulated vsize: 155012 KiB
Current children cumulated memory: 131656 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 28032 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.4 s, system=0.160973 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.56
CPU user time (s): 2519.4
CPU system time (s): 0.160973
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 155012
Max. memory (cumulated for all children) (KiB): 131656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.4
system time used= 0.160973
maximum resident set size= 131724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226501
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= 75
involuntary context switches= 2966
# summary of solver processes directly reported to runsolver:
# pid: 28032
# total CPU time (s): 2519.56
# total CPU user time (s): 2519.4
# total CPU system time (s): 0.160973
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.76095 second user time and 17.7825 second system time
The end