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 (14280 MiB free)
memory of node 1: 16384 MiB (14241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266480-1502593685/watcher-4266480-1502593685 -o /tmp/evaluation-result-4266480-1502593685/solver-4266480-1502593685 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24473 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266480-1502593685.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27605, runsolver pid=27602
[startup+0.10017 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 27606
/proc/meminfo: memFree=29205084/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=28140 memory=4120 CPUtime=0.1 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 1224 0 0 0 10 0 0 0 20 0 1 0 92456616 28815360 1030 33554432000 4194304 5972588 140721530230704 140721530227352 5509904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 7035 1030 716 435 0 398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28140 KiB
Current children cumulated memory: 4120 KiB
[startup+0.209508 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 27606
/proc/meminfo: memFree=29204712/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=28464 memory=4424 CPUtime=0.21 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 1349 0 0 0 21 0 0 0 20 0 1 0 92456616 29147136 1106 33554432000 4194304 5972588 140721530230704 140721530227352 140256532847589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 7116 1106 716 435 0 479 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28464 KiB
Current children cumulated memory: 4424 KiB
[startup+0.308887 s]*
/proc/loadavg: 2.00 2.01 2.05 3/189 27606
/proc/meminfo: memFree=29204340/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=28860 memory=5212 CPUtime=0.31 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 1536 0 0 0 31 0 0 0 20 0 1 0 92456616 29552640 1303 33554432000 4194304 5972588 140721530230704 140721530227352 140256532847589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 7215 1303 786 435 0 578 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28860 KiB
Current children cumulated memory: 5212 KiB
[startup+0.700365 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27606
/proc/meminfo: memFree=29200992/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=35724 memory=12076 CPUtime=0.69 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 3253 0 0 0 69 0 0 0 20 0 1 0 92456616 36581376 3019 33554432000 4194304 5972588 140721530230704 140721530224264 140256532847589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 8931 3019 786 435 0 2294 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35724 KiB
Current children cumulated memory: 12076 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27606
/proc/meminfo: memFree=29192124/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=50112 memory=26332 CPUtime=1.49 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 6845 0 0 0 148 1 0 0 20 0 1 0 92456616 51314688 6583 33554432000 4194304 5972588 140721530230704 140721530224264 140256533591412 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 12528 6583 786 435 0 5891 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50112 KiB
Current children cumulated memory: 26332 KiB
[startup+3.10947 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27606
/proc/meminfo: memFree=29155892/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=79028 memory=55192 CPUtime=3.09 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 14248 0 0 0 307 2 0 0 20 0 1 0 92456616 80924672 13798 33554432000 4194304 5972588 140721530230704 140721530222472 140256532856716 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 19757 13798 786 435 0 13120 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79028 KiB
Current children cumulated memory: 55192 KiB
[startup+6.30034 s]
/proc/loadavg: 1.92 2.00 2.04 3/189 27606
/proc/meminfo: memFree=29101888/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=136320 memory=112664 CPUtime=6.29 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 28852 0 0 0 624 5 0 0 20 0 1 0 92456616 139591680 28166 33554432000 4194304 5972588 140721530230704 140721530224264 140256532847589 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 34080 28166 786 435 0 27443 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136320 KiB
Current children cumulated memory: 112664 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/189 27606
/proc/meminfo: memFree=28994008/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=251216 memory=227444 CPUtime=12.69 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 57866 0 0 0 1260 9 0 0 20 0 1 0 92456616 257245184 56861 33554432000 4194304 5972588 140721530230704 140721530224264 140256542192874 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 62804 56861 786 435 0 56167 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 251216 KiB
Current children cumulated memory: 227444 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/189 27606
/proc/meminfo: memFree=28447864/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=796632 memory=760292 CPUtime=25.49 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 280678 0 0 0 2520 29 0 0 20 0 1 0 92456616 815751168 190073 33554432000 4194304 5972588 140721530230704 140721530228152 5072002 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 199158 190073 842 435 0 192521 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 796632 KiB
Current children cumulated memory: 760292 KiB
[startup+51.1096 s]
/proc/loadavg: 1.96 2.00 2.04 3/189 27606
/proc/meminfo: memFree=28447496/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=796632 memory=760716 CPUtime=51.1 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 311299 0 0 0 5079 31 0 0 20 0 1 0 92456616 815751168 190179 33554432000 4194304 5972588 140721530230704 140721530227560 5071307 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 199158 190179 842 435 0 192521 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 796632 KiB
Current children cumulated memory: 760716 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 27608
/proc/meminfo: memFree=28446920/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878020 memory=761332 CPUtime=102.29 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 406167 0 0 0 10193 36 0 0 20 0 1 0 92456616 899092480 190333 33554432000 4194304 5972588 140721530230704 140721530227864 4966027 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219505 190333 842 435 0 212868 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 878020 KiB
Current children cumulated memory: 761332 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 27609
/proc/meminfo: memFree=28447512/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=761464 CPUtime=162.27 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 490177 0 0 0 16187 40 0 0 20 0 1 0 92456616 899227648 190366 33554432000 4194304 5972588 140721530230704 140721530227352 5071296 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190366 842 435 0 212901 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 761464 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 27610
/proc/meminfo: memFree=28447928/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=761492 CPUtime=222.26 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 528941 0 0 0 22185 41 0 0 20 0 1 0 92456616 899227648 190373 33554432000 4194304 5972588 140721530230704 140721530227352 5071321 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190373 842 435 0 212901 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 761492 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27613
/proc/meminfo: memFree=28446624/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=761524 CPUtime=282.25 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 541331 0 0 0 28183 42 0 0 20 0 1 0 92456616 899227648 190381 33554432000 4194304 5972588 140721530230704 140721530227352 5053097 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190381 842 435 0 212901 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 761524 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27614
/proc/meminfo: memFree=28446196/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=761760 CPUtime=342.26 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 563022 0 0 0 34182 44 0 0 20 0 1 0 92456616 899227648 190440 33554432000 4194304 5972588 140721530230704 140721530227352 4969225 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190440 842 435 0 212901 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 761760 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27622
/proc/meminfo: memFree=28445800/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=761932 CPUtime=402.24 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 578837 0 0 0 40180 44 0 0 20 0 1 0 92456616 899227648 190483 33554432000 4194304 5972588 140721530230704 140721530227352 5071280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190483 842 435 0 212901 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 761932 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27646
/proc/meminfo: memFree=28444680/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762020 CPUtime=462.23 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 580154 0 0 0 46178 45 0 0 20 0 1 0 92456616 899227648 190505 33554432000 4194304 5972588 140721530230704 140721530227352 4966035 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190505 842 435 0 212901 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762020 KiB
################
# More data... #
################
/proc/27605/statm: 219538 190540 842 435 0 212901 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762160 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 27744
/proc/meminfo: memFree=28584388/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762248 CPUtime=1782.18 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 603661 0 0 0 178172 46 0 0 20 0 1 0 92456616 899227648 190562 33554432000 4194304 5972588 140721530230704 140721530227352 4909657 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190562 842 435 0 212901 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762248 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 27745
/proc/meminfo: memFree=28584200/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762248 CPUtime=1842.18 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 604562 0 0 0 184172 46 0 0 20 0 1 0 92456616 899227648 190562 33554432000 4194304 5972588 140721530230704 140721530227352 4908987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190562 842 435 0 212901 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762248 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27747
/proc/meminfo: memFree=28584316/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762248 CPUtime=1902.18 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 605348 0 0 0 190172 46 0 0 20 0 1 0 92456616 899227648 190562 33554432000 4194304 5972588 140721530230704 140721530227352 5071952 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190562 842 435 0 212901 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762248 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 27748
/proc/meminfo: memFree=28583960/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762248 CPUtime=1962.17 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 606050 0 0 0 196171 46 0 0 20 0 1 0 92456616 899227648 190562 33554432000 4194304 5972588 140721530230704 140721530227352 5071307 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190562 842 435 0 212901 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762248 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 27749
/proc/meminfo: memFree=28584184/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762248 CPUtime=2022.17 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 606477 0 0 0 202171 46 0 0 20 0 1 0 92456616 899227648 190562 33554432000 4194304 5972588 140721530230704 140721530227352 4962160 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190562 842 435 0 212901 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762248 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27751
/proc/meminfo: memFree=28583820/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762252 CPUtime=2082.18 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 607643 0 0 0 208171 47 0 0 20 0 1 0 92456616 899227648 190563 33554432000 4194304 5972588 140721530230704 140721530227352 4965365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190563 842 435 0 212901 0
Current children cumulated CPU time: 2082.18 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762252 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 27752
/proc/meminfo: memFree=28583572/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762252 CPUtime=2142.17 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 608703 0 0 0 214170 47 0 0 20 0 1 0 92456616 899227648 190563 33554432000 4194304 5972588 140721530230704 140721530227352 4965797 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190563 842 435 0 212901 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762252 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27762
/proc/meminfo: memFree=28583744/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762252 CPUtime=2202.17 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 609939 0 0 0 220170 47 0 0 20 0 1 0 92456616 899227648 190563 33554432000 4194304 5972588 140721530230704 140721530227352 4962170 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190563 842 435 0 212901 0
Current children cumulated CPU time: 2202.17 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762252 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27763
/proc/meminfo: memFree=28583992/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762252 CPUtime=2262.17 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 610469 0 0 0 226170 47 0 0 20 0 1 0 92456616 899227648 190563 33554432000 4194304 5972588 140721530230704 140721530227352 5240338 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190563 842 435 0 212901 0
Current children cumulated CPU time: 2262.17 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762252 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27764
/proc/meminfo: memFree=28583992/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762252 CPUtime=2322.17 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 611139 0 0 0 232170 47 0 0 20 0 1 0 92456616 899227648 190563 33554432000 4194304 5972588 140721530230704 140721530227352 5071976 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190563 842 435 0 212901 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762252 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27765
/proc/meminfo: memFree=28584036/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762252 CPUtime=2382.17 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 612168 0 0 0 238170 47 0 0 20 0 1 0 92456616 899227648 190563 33554432000 4194304 5972588 140721530230704 140721530227352 4909657 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190563 842 435 0 212901 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762252 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 27766
/proc/meminfo: memFree=28584168/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762256 CPUtime=2442.16 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 613398 0 0 0 244169 47 0 0 20 0 1 0 92456616 899227648 190564 33554432000 4194304 5972588 140721530230704 140721530227352 4965416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190564 842 435 0 212901 0
Current children cumulated CPU time: 2442.16 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762256 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27767
/proc/meminfo: memFree=28584076/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762256 CPUtime=2502.16 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 614066 0 0 0 250169 47 0 0 20 0 1 0 92456616 899227648 190564 33554432000 4194304 5972588 140721530230704 140721530227352 5243978 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190564 842 435 0 212901 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762256 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27767
/proc/meminfo: memFree=28584076/32770624 swapFree=67108860/67108860
[pid=27605] ppid=27602 vsize=878152 memory=762256 CPUtime=2519.87 cores=1,3,5,7
/proc/27605/stat : 27605 (cosoco) R 27602 27605 24389 0 -1 4202496 614409 0 0 0 251940 47 0 0 20 0 1 0 92456616 899227648 190564 33554432000 4194304 5972588 140721530230704 140721530227352 4969220 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 32112640 140721530238138 140721530238238 140721530238238 140721530240974 0
/proc/27605/statm: 219538 190564 842 435 0 212901 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 878152 KiB
Current children cumulated memory: 762256 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 27605 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.4 s, system=0.479983 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.88
CPU user time (s): 2519.4
CPU system time (s): 0.479983
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 878152
Max. memory (cumulated for all children) (KiB): 762256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.4
system time used= 0.479983
maximum resident set size= 762320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 614458
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= 117
involuntary context switches= 731
# summary of solver processes directly reported to runsolver:
# pid: 27605
# total CPU time (s): 2519.88
# total CPU user time (s): 2519.4
# total CPU system time (s): 0.479983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78685 second user time and 18.415 second system time
The end