runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4251948-1500919988/watcher-4251948-1500919988 -o /tmp/evaluation-result-4251948-1500919988/solver-4251948-1500919988 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500914943-3946 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251948-1500919988.xml
pid=4787
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.05 2/181 4790
/proc/meminfo: memFree=32092724/32770624 swapFree=5832/121840
[pid=4790] ppid=4787 vsize=26900 CPUtime=0 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 1558021 27545600 789 33554432000 4194304 5744392 140725852285632 140725852282280 140292431277029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 6725 789 686 379 0 144 0
[startup+0.100214 s]
/proc/loadavg: 2.00 2.03 2.05 2/181 4790
/proc/meminfo: memFree=32092724/32770624 swapFree=5832/121840
[pid=4790] ppid=4787 vsize=41924 CPUtime=0.08 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 4788 0 0 0 8 0 0 0 20 0 1 0 1558021 42930176 4616 33554432000 4194304 5744392 140725852285632 140725852282280 4892814 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 10481 4616 750 379 0 3900 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 41924
[startup+0.200416 s]
/proc/loadavg: 2.00 2.03 2.05 2/181 4790
/proc/meminfo: memFree=32092724/32770624 swapFree=5832/121840
[pid=4790] ppid=4787 vsize=42848 CPUtime=0.19 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 5019 0 0 0 18 1 0 0 20 0 1 0 1558021 43876352 4814 33554432000 4194304 5744392 140725852285632 140725852282280 4946584 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 10712 4814 762 379 0 4131 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42848
[startup+0.300394 s]
/proc/loadavg: 2.00 2.03 2.05 2/181 4790
/proc/meminfo: memFree=32092724/32770624 swapFree=5832/121840
[pid=4790] ppid=4787 vsize=42848 CPUtime=0.29 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 5019 0 0 0 28 1 0 0 20 0 1 0 1558021 43876352 4814 33554432000 4194304 5744392 140725852285632 140725852282280 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 10712 4814 762 379 0 4131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42848
[startup+0.700337 s]
/proc/loadavg: 2.00 2.03 2.05 2/181 4790
/proc/meminfo: memFree=32092724/32770624 swapFree=5832/121840
[pid=4790] ppid=4787 vsize=43776 CPUtime=0.69 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 5274 0 0 0 68 1 0 0 20 0 1 0 1558021 44826624 5078 33554432000 4194304 5744392 140725852285632 140725852282280 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 10944 5078 763 379 0 4363 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43776
[startup+1.50029 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4791
/proc/meminfo: memFree=32074288/32770624 swapFree=5832/121840
[pid=4790] ppid=4787 vsize=44436 CPUtime=1.49 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 5415 0 0 0 148 1 0 0 20 0 1 0 1558021 45502464 5210 33554432000 4194304 5744392 140725852285632 140725852282536 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11109 5210 763 379 0 4528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44436
[startup+3.10029 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4791
/proc/meminfo: memFree=32073436/32770624 swapFree=5832/121856
[pid=4790] ppid=4787 vsize=44700 CPUtime=3.09 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 9550 0 0 0 308 1 0 0 20 0 1 0 1558021 45772800 5336 33554432000 4194304 5744392 140725852285632 140725852282536 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11175 5336 763 379 0 4594 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44700
[startup+6.30034 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4791
/proc/meminfo: memFree=32073272/32770624 swapFree=5832/121864
[pid=4790] ppid=4787 vsize=44700 CPUtime=6.29 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 13644 0 0 0 628 1 0 0 20 0 1 0 1558021 45772800 5336 33554432000 4194304 5744392 140725852285632 140725852282424 4892057 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11175 5336 763 379 0 4594 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44700
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4791
/proc/meminfo: memFree=32072652/32770624 swapFree=5832/121864
[pid=4790] ppid=4787 vsize=45096 CPUtime=12.69 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 17829 0 0 0 1268 1 0 0 20 0 1 0 1558021 46178304 5374 33554432000 4194304 5744392 140725852285632 140725852282536 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11274 5374 763 379 0 4693 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45096
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 4791
/proc/meminfo: memFree=32072776/32770624 swapFree=5832/121880
[pid=4790] ppid=4787 vsize=45096 CPUtime=25.49 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 26185 0 0 0 2547 2 0 0 20 0 1 0 1558021 46178304 5431 33554432000 4194304 5744392 140725852285632 140725852282536 4948328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11274 5431 763 379 0 4693 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45096
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 4791
/proc/meminfo: memFree=32072460/32770624 swapFree=5832/121888
[pid=4790] ppid=4787 vsize=45096 CPUtime=51.08 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 26704 0 0 0 5106 2 0 0 20 0 1 0 1558021 46178304 5444 33554432000 4194304 5744392 140725852285632 140725852282536 5024236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11274 5444 763 379 0 4693 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45096
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 4792
/proc/meminfo: memFree=32072776/32770624 swapFree=5832/121924
[pid=4790] ppid=4787 vsize=45228 CPUtime=102.29 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 27229 0 0 0 10227 2 0 0 20 0 1 0 1558021 46313472 5461 33554432000 4194304 5744392 140725852285632 140725852282424 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11307 5461 763 379 0 4726 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 45228
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4793
/proc/meminfo: memFree=32072536/32770624 swapFree=5832/121964
[pid=4790] ppid=4787 vsize=45492 CPUtime=162.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 27869 0 0 0 16226 2 0 0 20 0 1 0 1558021 46583808 5504 33554432000 4194304 5744392 140725852285632 140725852272984 4889075 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5504 763 379 0 4792 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 45492
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4794
/proc/meminfo: memFree=32072660/32770624 swapFree=5832/121992
[pid=4790] ppid=4787 vsize=45492 CPUtime=222.29 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 28437 0 0 0 22227 2 0 0 20 0 1 0 1558021 46583808 5525 33554432000 4194304 5744392 140725852285632 140725852272984 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5525 763 379 0 4792 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45492
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4795
/proc/meminfo: memFree=32073032/32770624 swapFree=5832/122012
[pid=4790] ppid=4787 vsize=45492 CPUtime=282.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 29006 0 0 0 28226 2 0 0 20 0 1 0 1558021 46583808 5525 33554432000 4194304 5744392 140725852285632 140725852272984 5024245 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5525 763 379 0 4792 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 45492
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4796
/proc/meminfo: memFree=32073236/32770624 swapFree=5832/122040
[pid=4790] ppid=4787 vsize=45492 CPUtime=342.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 29597 0 0 0 34226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 45492
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4797
/proc/meminfo: memFree=32073488/32770624 swapFree=5832/122072
[pid=4790] ppid=4787 vsize=45492 CPUtime=402.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 30174 0 0 0 40226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 45492
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4805
/proc/meminfo: memFree=32072496/32770624 swapFree=5832/122104
[pid=4790] ppid=4787 vsize=45492 CPUtime=462.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 30573 0 0 0 46226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 4909555 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 45492
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4806
/proc/meminfo: memFree=32072744/32770624 swapFree=5832/122124
[pid=4790] ppid=4787 vsize=45492 CPUtime=522.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 31321 0 0 0 52226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 4892784 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 45492
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 4807
/proc/meminfo: memFree=32073120/32770624 swapFree=5832/122144
[pid=4790] ppid=4787 vsize=45492 CPUtime=582.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 31901 0 0 0 58226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024236 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 45492
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 4832
/proc/meminfo: memFree=32072544/32770624 swapFree=5832/122536
[pid=4790] ppid=4787 vsize=45492 CPUtime=1542.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 40116 0 0 0 154226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024245 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 45492
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 4833
/proc/meminfo: memFree=32072764/32770624 swapFree=5832/122564
[pid=4790] ppid=4787 vsize=45492 CPUtime=1602.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 40533 0 0 0 160226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 45492
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 4841
/proc/meminfo: memFree=32072652/32770624 swapFree=5832/122596
[pid=4790] ppid=4787 vsize=45492 CPUtime=1662.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 41109 0 0 0 166226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 45492
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4842
/proc/meminfo: memFree=32072884/32770624 swapFree=5832/122616
[pid=4790] ppid=4787 vsize=45492 CPUtime=1722.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 41613 0 0 0 172226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 4946152 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 45492
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4843
/proc/meminfo: memFree=32072820/32770624 swapFree=5832/122636
[pid=4790] ppid=4787 vsize=45492 CPUtime=1782.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 42117 0 0 0 178226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 45492
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4844
/proc/meminfo: memFree=32073040/32770624 swapFree=5832/122656
[pid=4790] ppid=4787 vsize=45492 CPUtime=1842.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 42693 0 0 0 184226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1842.28
Current children cumulated vsize (KiB) 45492
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4845
/proc/meminfo: memFree=32073352/32770624 swapFree=5832/122688
[pid=4790] ppid=4787 vsize=45492 CPUtime=1902.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 43103 0 0 0 190226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 4946472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1902.28
Current children cumulated vsize (KiB) 45492
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4846
/proc/meminfo: memFree=32074368/32770624 swapFree=5832/122708
[pid=4790] ppid=4787 vsize=45492 CPUtime=1962.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 43513 0 0 0 196226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 4892791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 1962.28
Current children cumulated vsize (KiB) 45492
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4848
/proc/meminfo: memFree=32073688/32770624 swapFree=5832/122736
[pid=4790] ppid=4787 vsize=45492 CPUtime=2022.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 43923 0 0 0 202226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024241 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 2022.28
Current children cumulated vsize (KiB) 45492
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4849
/proc/meminfo: memFree=32073320/32770624 swapFree=5832/122756
[pid=4790] ppid=4787 vsize=45492 CPUtime=2082.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 44566 0 0 0 208226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024231 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 45492
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4850
/proc/meminfo: memFree=32073292/32770624 swapFree=5832/122780
[pid=4790] ppid=4787 vsize=45492 CPUtime=2142.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 45042 0 0 0 214226 2 0 0 20 0 1 0 1558021 46583808 5532 33554432000 4194304 5744392 140725852285632 140725852283240 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11373 5532 763 379 0 4792 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 45492
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 4851
/proc/meminfo: memFree=32072860/32770624 swapFree=5832/122812
[pid=4790] ppid=4787 vsize=45624 CPUtime=2202.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 45558 0 0 0 220226 2 0 0 20 0 1 0 1558021 46718976 5532 33554432000 4194304 5744392 140725852285632 140725852282536 4946164 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11406 5532 763 379 0 4825 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 45624
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 5/195 5198
/proc/meminfo: memFree=31701668/32770624 swapFree=5832/123116
[pid=4790] ppid=4787 vsize=45624 CPUtime=2262.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 46154 0 0 0 226226 2 0 0 20 0 1 0 1558021 46718976 5550 33554432000 4194304 5744392 140725852285632 140725852282536 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11406 5550 763 379 0 4825 0
Current children cumulated CPU time (s) 2262.28
Current children cumulated vsize (KiB) 45624
[startup+2322.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/195 6000
/proc/meminfo: memFree=32056360/32770624 swapFree=5832/124280
[pid=4790] ppid=4787 vsize=45624 CPUtime=2322.28 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 46234 0 0 0 232226 2 0 0 20 0 1 0 1558021 46718976 5550 33554432000 4194304 5744392 140725852285632 140725852282536 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11406 5550 763 379 0 4825 0
Current children cumulated CPU time (s) 2322.28
Current children cumulated vsize (KiB) 45624
[startup+2382.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/182 6703
/proc/meminfo: memFree=31469012/32770624 swapFree=5832/124640
[pid=4790] ppid=4787 vsize=45624 CPUtime=2382.27 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 46314 0 0 0 238225 2 0 0 20 0 1 0 1558021 46718976 5550 33554432000 4194304 5744392 140725852285632 140725852282536 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11406 5550 763 379 0 4825 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 45624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 1.96 1.99 2.03 3/182 6703
/proc/meminfo: memFree=30456956/32770624 swapFree=5832/124668
[pid=4790] ppid=4787 vsize=45624 CPUtime=2400.07 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 46393 0 0 0 240005 2 0 0 20 0 1 0 1558021 46718976 5550 33554432000 4194304 5744392 140725852285632 140725852282536 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11406 5550 763 379 0 4825 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 45624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4790 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 1.96 1.99 2.03 3/182 6703
/proc/meminfo: memFree=30456956/32770624 swapFree=5832/124668
[pid=4790] ppid=4787 vsize=45624 CPUtime=2400.07 cores=0,2,4,6
/proc/4790/stat : 4790 (cosoco) R 4787 4790 3915 0 -1 4202496 46393 0 0 0 240005 2 0 0 20 0 1 0 1558021 46718976 5550 33554432000 4194304 5744392 140725852285632 140725852282536 5024239 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37273600 140725852288193 140725852288323 140725852288323 140725852291022 0
/proc/4790/statm: 11406 5550 763 379 0 4825 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 45624
Child status: 1
Real time (s): 2400.1
CPU time (s): 2400.09
CPU user time (s): 2400.06
CPU system time (s): 0.029999
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 45624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.029999
maximum resident set size= 22248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46425
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= 15
involuntary context switches= 646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.79841 second user time and 9.13762 second system time
The end