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-4267859-1502504266/watcher-4267859-1502504266 -o /tmp/evaluation-result-4267859-1502504266/solver-4267859-1502504266 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267859-1502504266.xml
pid=32713
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.15 0.13 0.09 3/181 32716
/proc/meminfo: memFree=31576804/32770624 swapFree=0/412076
[pid=32716] ppid=32713 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32716/stat : 32716 (runsolver) D 32713 32716 31775 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38767238 24240128 106 18446744073709551615 4194304 4338465 140734201685472 140734201683112 140423341273815 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 35344384 140734201692353 140734201692745 140734201692745 140734201696202 0
/proc/32716/statm: 5918 106 53 36 0 2156 0
[startup+0.100199 s]
/proc/loadavg: 0.15 0.13 0.09 3/181 32716
/proc/meminfo: memFree=31576804/32770624 swapFree=0/412076
[pid=32716] ppid=32713 vsize=27936 CPUtime=0.01 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 1193 0 0 0 1 0 0 0 20 0 1 0 38767238 28606464 1030 18446744073709551615 4194304 5972588 140728769264576 140728769261224 5379503 0 0 1 0 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 6984 1030 730 435 0 347 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27936
[startup+0.200348 s]
/proc/loadavg: 0.15 0.13 0.09 3/181 32716
/proc/meminfo: memFree=31576804/32770624 swapFree=0/412076
[pid=32716] ppid=32713 vsize=31088 CPUtime=0.11 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 2112 0 0 0 11 0 0 0 20 0 1 0 38767238 31834112 1941 18446744073709551615 4194304 5972588 140728769264576 140728769261224 4935493 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 7772 1941 841 435 0 1135 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31088
[startup+0.300328 s]
/proc/loadavg: 0.15 0.13 0.09 3/181 32716
/proc/meminfo: memFree=31576804/32770624 swapFree=0/412076
[pid=32716] ppid=32713 vsize=32548 CPUtime=0.21 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 2503 0 0 0 21 0 0 0 20 0 1 0 38767238 33329152 2337 18446744073709551615 4194304 5972588 140728769264576 140728769261224 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8137 2337 854 435 0 1500 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 32548
[startup+0.700301 s]
/proc/loadavg: 0.15 0.13 0.09 3/181 32716
/proc/meminfo: memFree=31576804/32770624 swapFree=0/412076
[pid=32716] ppid=32713 vsize=33472 CPUtime=0.61 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 2719 0 0 0 61 0 0 0 20 0 1 0 38767238 34275328 2535 18446744073709551615 4194304 5972588 140728769264576 140728769261336 4935459 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8368 2535 855 435 0 1731 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 33472
[startup+1.50029 s]
/proc/loadavg: 0.30 0.16 0.10 3/182 32717
/proc/meminfo: memFree=31570588/32770624 swapFree=0/411828
[pid=32716] ppid=32713 vsize=33604 CPUtime=1.41 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 2744 0 0 0 141 0 0 0 20 0 1 0 38767238 34410496 2535 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2535 855 435 0 1764 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 33604
[startup+3.10029 s]
/proc/loadavg: 0.30 0.16 0.10 3/182 32717
/proc/meminfo: memFree=31570092/32770624 swapFree=0/411828
[pid=32716] ppid=32713 vsize=33604 CPUtime=3.01 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 4367 0 0 0 301 0 0 0 20 0 1 0 38767238 34410496 2594 18446744073709551615 4194304 5972588 140728769264576 140728769251768 5070896 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2594 855 435 0 1764 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 33604
[startup+6.30029 s]
/proc/loadavg: 0.43 0.20 0.11 3/182 32717
/proc/meminfo: memFree=31570756/32770624 swapFree=0/411836
[pid=32716] ppid=32713 vsize=33604 CPUtime=6.21 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 5995 0 0 0 621 0 0 0 20 0 1 0 38767238 34410496 2599 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2599 855 435 0 1764 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 33604
[startup+12.7003 s]
/proc/loadavg: 0.56 0.22 0.12 3/182 32717
/proc/meminfo: memFree=31570632/32770624 swapFree=0/411836
[pid=32716] ppid=32713 vsize=33604 CPUtime=12.61 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 7617 0 0 0 1261 0 0 0 20 0 1 0 38767238 34410496 2599 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4931790 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2599 855 435 0 1764 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 33604
[startup+25.5003 s]
/proc/loadavg: 0.95 0.33 0.16 3/182 32717
/proc/meminfo: memFree=31570224/32770624 swapFree=0/411844
[pid=32716] ppid=32713 vsize=33604 CPUtime=25.4 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 9318 0 0 0 2540 0 0 0 20 0 1 0 38767238 34410496 2600 18446744073709551615 4194304 5972588 140728769264576 140728769262024 5039330 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2600 855 435 0 1764 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 33604
[startup+51.1003 s]
/proc/loadavg: 1.31 0.46 0.21 3/182 32718
/proc/meminfo: memFree=31570720/32770624 swapFree=0/411884
[pid=32716] ppid=32713 vsize=33604 CPUtime=51 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 9468 0 0 0 5100 0 0 0 20 0 1 0 38767238 34410496 2603 18446744073709551615 4194304 5972588 140728769264576 140728769262024 5053056 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2603 855 435 0 1764 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 33604
[startup+102.3 s]
/proc/loadavg: 1.70 0.70 0.30 3/182 32720
/proc/meminfo: memFree=31570280/32770624 swapFree=0/411916
[pid=32716] ppid=32713 vsize=33604 CPUtime=102.2 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 9615 0 0 0 10220 0 0 0 20 0 1 0 38767238 34410496 2603 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4965365 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2603 855 435 0 1764 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 33604
[startup+162.3 s]
/proc/loadavg: 1.89 0.94 0.41 3/181 32722
/proc/meminfo: memFree=31570912/32770624 swapFree=0/411948
[pid=32716] ppid=32713 vsize=33604 CPUtime=162.2 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 9761 0 0 0 16220 0 0 0 20 0 1 0 38767238 34410496 2604 18446744073709551615 4194304 5972588 140728769264576 140728769262024 5039714 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2604 855 435 0 1764 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 33604
[startup+222.306 s]
/proc/loadavg: 2.00 1.14 0.51 3/181 32724
/proc/meminfo: memFree=31570756/32770624 swapFree=0/411964
[pid=32716] ppid=32713 vsize=33604 CPUtime=222.2 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 9908 0 0 0 22220 0 0 0 20 0 1 0 38767238 34410496 2604 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4935428 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2604 855 435 0 1764 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 33604
[startup+282.3 s]
/proc/loadavg: 2.00 1.30 0.61 3/181 32726
/proc/meminfo: memFree=31571124/32770624 swapFree=0/411984
[pid=32716] ppid=32713 vsize=33604 CPUtime=282.19 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 10055 0 0 0 28219 0 0 0 20 0 1 0 38767238 34410496 2605 18446744073709551615 4194304 5972588 140728769264576 140728769262024 5338159 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2605 855 435 0 1764 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 33604
[startup+342.3 s]
/proc/loadavg: 2.00 1.43 0.69 3/181 32728
/proc/meminfo: memFree=31571024/32770624 swapFree=0/411992
[pid=32716] ppid=32713 vsize=33604 CPUtime=342.19 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 10203 0 0 0 34219 0 0 0 20 0 1 0 38767238 34410496 2606 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4965382 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2606 855 435 0 1764 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 33604
[startup+402.3 s]
/proc/loadavg: 2.09 1.56 0.79 3/184 32744
/proc/meminfo: memFree=31566376/32770624 swapFree=0/412016
[pid=32716] ppid=32713 vsize=33604 CPUtime=402.19 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 10349 0 0 0 40219 0 0 0 20 0 1 0 38767238 34410496 2606 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4935596 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2606 855 435 0 1764 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 33604
[startup+462.3 s]
/proc/loadavg: 2.03 1.64 0.86 3/184 32746
/proc/meminfo: memFree=31566260/32770624 swapFree=0/412044
[pid=32716] ppid=32713 vsize=33604 CPUtime=462.19 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 10493 0 0 0 46219 0 0 0 20 0 1 0 38767238 34410496 2606 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4935478 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2606 855 435 0 1764 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 33604
[startup+522.3 s]
/proc/loadavg: 2.01 1.71 0.93 3/181 32748
/proc/meminfo: memFree=31569888/32770624 swapFree=0/412048
[pid=32716] ppid=32713 vsize=33604 CPUtime=522.19 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 10640 0 0 0 52219 0 0 0 20 0 1 0 38767238 34410496 2606 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4931696 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2606 855 435 0 1764 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 33604
[startup+582.3 s]
/proc/loadavg: 2.00 1.76 1.00 3/181 32750
/proc/meminfo: memFree=31570388/32770624 swapFree=0/412080
[pid=32716] ppid=32713 vsize=33604 CPUtime=582.18 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 10785 0 0 0 58218 0 0 0 20 0 1 0 38767238 34410496 2607 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4909274 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2607 855 435 0 1764 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 33604
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.70 3/185 353
/proc/meminfo: memFree=31565592/32770624 swapFree=0/412420
[pid=32716] ppid=32713 vsize=33604 CPUtime=1602.15 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13025 0 0 0 160215 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 5040154 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 33604
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.71 3/185 355
/proc/meminfo: memFree=31565424/32770624 swapFree=0/412428
[pid=32716] ppid=32713 vsize=33604 CPUtime=1662.15 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13131 0 0 0 166215 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4965316 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 33604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.73 3/182 357
/proc/meminfo: memFree=31568356/32770624 swapFree=0/412444
[pid=32716] ppid=32713 vsize=33604 CPUtime=1722.15 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13244 0 0 0 172215 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4936013 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 33604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.75 3/182 359
/proc/meminfo: memFree=31568604/32770624 swapFree=0/412476
[pid=32716] ppid=32713 vsize=33604 CPUtime=1782.14 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13349 0 0 0 178214 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 5053097 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 33604
[startup+1842.3 s]
/proc/loadavg: 2.03 2.03 1.77 3/182 362
/proc/meminfo: memFree=31568612/32770624 swapFree=0/412492
[pid=32716] ppid=32713 vsize=33604 CPUtime=1842.14 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13462 0 0 0 184214 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4934340 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 33604
[startup+1902.3 s]
/proc/loadavg: 2.11 2.05 1.79 3/181 364
/proc/meminfo: memFree=31569372/32770624 swapFree=0/412500
[pid=32716] ppid=32713 vsize=33604 CPUtime=1902.14 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13577 0 0 0 190214 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 5039164 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 33604
[startup+1962.3 s]
/proc/loadavg: 2.04 2.04 1.81 3/181 366
/proc/meminfo: memFree=31569048/32770624 swapFree=0/412500
[pid=32716] ppid=32713 vsize=33604 CPUtime=1962.14 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13688 0 0 0 196214 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4909657 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 33604
[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 1.82 3/181 368
/proc/meminfo: memFree=31569172/32770624 swapFree=0/412520
[pid=32716] ppid=32713 vsize=33604 CPUtime=2022.14 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13805 0 0 0 202214 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4934338 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 33604
[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 1.83 3/181 370
/proc/meminfo: memFree=31569120/32770624 swapFree=0/412536
[pid=32716] ppid=32713 vsize=33604 CPUtime=2082.14 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 13920 0 0 0 208214 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4936114 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 33604
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.84 3/181 372
/proc/meminfo: memFree=31569640/32770624 swapFree=0/412544
[pid=32716] ppid=32713 vsize=33604 CPUtime=2142.13 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14034 0 0 0 214213 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4931696 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 33604
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 1.85 3/184 388
/proc/meminfo: memFree=31564756/32770624 swapFree=0/412580
[pid=32716] ppid=32713 vsize=33604 CPUtime=2202.14 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14154 0 0 0 220214 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 33604
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/184 390
/proc/meminfo: memFree=31564892/32770624 swapFree=0/412604
[pid=32716] ppid=32713 vsize=33604 CPUtime=2262.13 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14299 0 0 0 226213 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769262024 5040138 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 33604
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/181 392
/proc/meminfo: memFree=31568256/32770624 swapFree=0/412624
[pid=32716] ppid=32713 vsize=33604 CPUtime=2322.13 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14412 0 0 0 232213 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4935502 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 33604
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 1.88 3/181 394
/proc/meminfo: memFree=31568252/32770624 swapFree=0/412636
[pid=32716] ppid=32713 vsize=33604 CPUtime=2382.12 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14530 0 0 0 238212 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4931776 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 33604
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 1.89 3/181 396
/proc/meminfo: memFree=31567756/32770624 swapFree=0/412644
[pid=32716] ppid=32713 vsize=33604 CPUtime=2442.12 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14648 0 0 0 244212 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769262024 4909639 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2442.12
Current children cumulated vsize (KiB) 33604
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/181 398
/proc/meminfo: memFree=31568376/32770624 swapFree=0/412660
[pid=32716] ppid=32713 vsize=33604 CPUtime=2502.12 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14795 0 0 0 250212 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4935456 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2502.12
Current children cumulated vsize (KiB) 33604
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 1.89 2/177 435
/proc/meminfo: memFree=31570724/32770624 swapFree=0/412624
[pid=32716] ppid=32713 vsize=33604 CPUtime=2519.82 cores=0,2,4,6
/proc/32716/stat : 32716 (cosoco) R 32713 32716 31775 0 -1 4202496 14899 0 0 0 251982 0 0 0 20 0 1 0 38767238 34410496 2608 18446744073709551615 4194304 5972588 140728769264576 140728769251768 4908987 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 41562112 140728769266158 140728769266253 140728769266253 140728769269710 0
/proc/32716/statm: 8401 2608 855 435 0 1764 0
Current children cumulated CPU time (s) 2519.82
Current children cumulated vsize (KiB) 33604
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 32716 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.83
CPU user time (s): 2519.83
CPU system time (s): 0.004
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 33604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.83
system time used= 0.004
maximum resident set size= 10500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14950
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= 9
involuntary context switches= 3152
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.93038 second user time and 5.8853 second system time
The end