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-4241182-1500648174/watcher-4241182-1500648174 -o /tmp/evaluation-result-4241182-1500648174/solver-4241182-1500648174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9852 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241182-1500648174.xml
pid=9867
running on 8 cores: 0,2,4,6,8,10,12,14
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: 0.00 0.05 0.11 1/237 9870
/proc/meminfo: memFree=32086604/32770624 swapFree=5956/171704
[pid=9870] ppid=9867 vsize=5512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) D 9867 9870 9821 0 -1 4194304 161 0 1 0 0 0 0 0 20 0 1 0 83679 5644288 37 33554432000 4194304 5970956 140722064073920 140722064071368 140225359248914 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 1378 37 27 434 0 40 0
[startup+0.100121 s]
/proc/loadavg: 0.00 0.05 0.11 1/237 9870
/proc/meminfo: memFree=32086604/32770624 swapFree=5956/171704
[pid=9870] ppid=9867 vsize=27348 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 1020 0 3 0 7 0 0 0 20 0 1 0 83679 28004352 829 33554432000 4194304 5970956 140722064073920 140722064069320 5496056 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 6837 829 710 434 0 201 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27348
[startup+0.200294 s]
/proc/loadavg: 0.00 0.05 0.11 1/237 9870
/proc/meminfo: memFree=32086604/32770624 swapFree=5956/171704
[pid=9870] ppid=9867 vsize=28956 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 1527 0 3 0 17 0 0 0 20 0 1 0 83679 29650944 1313 33554432000 4194304 5970956 140722064073920 140722064067512 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 7239 1313 783 434 0 603 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 28956
[startup+0.300239 s]
/proc/loadavg: 0.00 0.05 0.11 1/237 9870
/proc/meminfo: memFree=32086604/32770624 swapFree=5956/171704
[pid=9870] ppid=9867 vsize=31708 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 2207 0 3 0 27 0 0 0 20 0 1 0 83679 32468992 2035 33554432000 4194304 5970956 140722064073920 140722064067512 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 7927 2035 783 434 0 1291 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 31708
[startup+0.700182 s]
/proc/loadavg: 0.00 0.05 0.11 1/237 9870
/proc/meminfo: memFree=32086604/32770624 swapFree=5956/171704
[pid=9870] ppid=9867 vsize=43240 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 5098 0 3 0 66 1 0 0 20 0 1 0 83679 44277760 4917 33554432000 4194304 5970956 140722064073920 140722064067512 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 10810 4917 783 434 0 4174 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 43240
[startup+1.50018 s]
/proc/loadavg: 0.00 0.05 0.11 3/245 9887
/proc/meminfo: memFree=32031748/32770624 swapFree=5956/171056
[pid=9870] ppid=9867 vsize=66424 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 10869 0 3 0 145 1 0 0 20 0 1 0 83679 68018176 10647 33554432000 4194304 5970956 140722064073920 140722064067512 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 16606 10647 783 434 0 9970 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 66424
[startup+3.10018 s]
/proc/loadavg: 0.00 0.05 0.11 3/245 9887
/proc/meminfo: memFree=31966972/32770624 swapFree=5956/170912
[pid=9870] ppid=9867 vsize=112120 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 22405 0 3 0 304 3 0 0 20 0 1 0 83679 114810880 22138 33554432000 4194304 5970956 140722064073920 140722064067752 4966541 0 0 4096 0 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 28030 22138 783 434 0 21394 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 112120
[startup+6.30026 s]
/proc/loadavg: 0.08 0.06 0.11 3/245 9887
/proc/meminfo: memFree=31591004/32770624 swapFree=5956/170628
[pid=9870] ppid=9867 vsize=290496 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 80209 0 3 0 617 10 0 0 20 0 1 0 83679 297467904 65823 33554432000 4194304 5970956 140722064073920 140722064070888 4964758 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 72624 65823 838 434 0 65988 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 290496
[startup+12.7003 s]
/proc/loadavg: 0.24 0.10 0.12 3/245 9887
/proc/meminfo: memFree=31537424/32770624 swapFree=5956/170640
[pid=9870] ppid=9867 vsize=328776 CPUtime=12.66 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 119577 0 3 0 1254 12 0 0 20 0 1 0 83679 336666624 75405 33554432000 4194304 5970956 140722064073920 140722064070888 5070064 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 82194 75405 838 434 0 75558 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 328776
[startup+25.5003 s]
/proc/loadavg: 0.63 0.19 0.15 3/245 9887
/proc/meminfo: memFree=31508044/32770624 swapFree=5956/170648
[pid=9870] ppid=9867 vsize=347388 CPUtime=25.44 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 188952 0 3 0 2528 16 0 0 20 0 1 0 83679 355725312 80038 33554432000 4194304 5970956 140722064073920 140722064070888 5070073 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 86847 80038 839 434 0 80211 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 347388
[startup+51.1004 s]
/proc/loadavg: 1.10 0.34 0.20 3/245 9887
/proc/meminfo: memFree=31499976/32770624 swapFree=5956/170660
[pid=9870] ppid=9867 vsize=350688 CPUtime=51.01 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 230037 0 3 0 5082 19 0 0 20 0 1 0 83679 359104512 80856 33554432000 4194304 5970956 140722064073920 140722064070888 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 87672 80856 839 434 0 81036 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 350688
[startup+102.3 s]
/proc/loadavg: 1.66 0.61 0.30 3/245 9891
/proc/meminfo: memFree=31495020/32770624 swapFree=5956/171464
[pid=9870] ppid=9867 vsize=352932 CPUtime=102.16 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 263016 0 3 0 10195 21 0 0 20 0 1 0 83679 361402368 81403 33554432000 4194304 5970956 140722064073920 140722064070888 4965043 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 88233 81403 839 434 0 81597 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 352932
[startup+162.3 s]
/proc/loadavg: 2.02 0.89 0.42 3/245 9892
/proc/meminfo: memFree=31492684/32770624 swapFree=5956/171536
[pid=9870] ppid=9867 vsize=354776 CPUtime=162.08 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 283659 0 3 0 16186 22 0 0 20 0 1 0 83679 363290624 81877 33554432000 4194304 5970956 140722064073920 140722064070888 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 88694 81877 839 434 0 82058 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 354776
[startup+222.308 s]
/proc/loadavg: 2.01 1.10 0.52 3/245 9893
/proc/meminfo: memFree=31491292/32770624 swapFree=5956/171572
[pid=9870] ppid=9867 vsize=355304 CPUtime=222.02 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 296822 0 3 0 22179 23 0 0 20 0 1 0 83679 363831296 82174 33554432000 4194304 5970956 140722064073920 140722064070888 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 88826 82174 839 434 0 82190 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 355304
[startup+282.3 s]
/proc/loadavg: 2.00 1.26 0.61 3/245 9894
/proc/meminfo: memFree=31490884/32770624 swapFree=5956/171592
[pid=9870] ppid=9867 vsize=356096 CPUtime=281.96 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 297675 0 3 0 28173 23 0 0 20 0 1 0 83679 364642304 82355 33554432000 4194304 5970956 140722064073920 140722064070888 4961411 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89024 82355 839 434 0 82388 0
Current children cumulated CPU time (s) 281.96
Current children cumulated vsize (KiB) 356096
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.70 3/244 9895
/proc/meminfo: memFree=31490512/32770624 swapFree=5956/171628
[pid=9870] ppid=9867 vsize=356228 CPUtime=341.9 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 298460 0 3 0 34167 23 0 0 20 0 1 0 83679 364777472 82398 33554432000 4194304 5970956 140722064073920 140722064061224 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89057 82398 839 434 0 82421 0
Current children cumulated CPU time (s) 341.9
Current children cumulated vsize (KiB) 356228
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.78 3/243 9896
/proc/meminfo: memFree=31490188/32770624 swapFree=5956/171656
[pid=9870] ppid=9867 vsize=356492 CPUtime=401.84 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 299308 0 3 0 40161 23 0 0 20 0 1 0 83679 365047808 82464 33554432000 4194304 5970956 140722064073920 140722064070888 5052118 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89123 82464 839 434 0 82487 0
Current children cumulated CPU time (s) 401.84
Current children cumulated vsize (KiB) 356492
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.85 3/243 9904
/proc/meminfo: memFree=31489968/32770624 swapFree=5956/171700
[pid=9870] ppid=9867 vsize=356624 CPUtime=461.79 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 300434 0 3 0 46156 23 0 0 20 0 1 0 83679 365182976 82500 33554432000 4194304 5970956 140722064073920 140722064070888 5070333 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89156 82500 839 434 0 82520 0
Current children cumulated CPU time (s) 461.79
Current children cumulated vsize (KiB) 356624
[startup+522.3 s]
/proc/loadavg: 2.00 1.67 0.93 3/243 9905
/proc/meminfo: memFree=31490048/32770624 swapFree=5956/171728
[pid=9870] ppid=9867 vsize=356624 CPUtime=521.73 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 301488 0 3 0 52150 23 0 0 20 0 1 0 83679 365182976 82514 33554432000 4194304 5970956 140722064073920 140722064070888 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89156 82514 839 434 0 82520 0
Current children cumulated CPU time (s) 521.73
Current children cumulated vsize (KiB) 356624
[startup+582.3 s]
/proc/loadavg: 2.00 1.73 0.99 3/243 9906
/proc/meminfo: memFree=31489840/32770624 swapFree=5956/171756
[pid=9870] ppid=9867 vsize=356756 CPUtime=581.68 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 302396 0 3 0 58144 24 0 0 20 0 1 0 83679 365318144 82536 33554432000 4194304 5970956 140722064073920 140722064070888 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89189 82536 839 434 0 82553 0
Current children cumulated CPU time (s) 581.68
Current children cumulated vsize (KiB) 356756
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.65 3/243 9953
/proc/meminfo: memFree=31486192/32770624 swapFree=5956/172232
[pid=9870] ppid=9867 vsize=357680 CPUtime=1540.81 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 310140 0 3 0 154057 24 0 0 20 0 1 0 83679 366264320 82751 33554432000 4194304 5970956 140722064073920 140722064070888 4908988 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89420 82751 839 434 0 82784 0
Current children cumulated CPU time (s) 1540.81
Current children cumulated vsize (KiB) 357680
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 1.68 3/243 9954
/proc/meminfo: memFree=31485176/32770624 swapFree=5956/172260
[pid=9870] ppid=9867 vsize=359264 CPUtime=1600.75 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 310924 0 3 0 160051 24 0 0 20 0 1 0 83679 367886336 83145 33554432000 4194304 5970956 140722064073920 140722064070888 5070338 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89816 83145 839 434 0 83180 0
Current children cumulated CPU time (s) 1600.75
Current children cumulated vsize (KiB) 359264
[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 1.70 3/243 9962
/proc/meminfo: memFree=31483432/32770624 swapFree=5956/172304
[pid=9870] ppid=9867 vsize=359264 CPUtime=1660.7 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 311523 0 3 0 166046 24 0 0 20 0 1 0 83679 367886336 83153 33554432000 4194304 5970956 140722064073920 140722064070888 4964768 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89816 83153 839 434 0 83180 0
Current children cumulated CPU time (s) 1660.7
Current children cumulated vsize (KiB) 359264
[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.73 3/243 9963
/proc/meminfo: memFree=31484228/32770624 swapFree=5956/172332
[pid=9870] ppid=9867 vsize=359264 CPUtime=1720.65 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 311920 0 3 0 172040 25 0 0 20 0 1 0 83679 367886336 83154 33554432000 4194304 5970956 140722064073920 140722064070888 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89816 83154 839 434 0 83180 0
Current children cumulated CPU time (s) 1720.65
Current children cumulated vsize (KiB) 359264
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 1.75 3/243 9964
/proc/meminfo: memFree=31484664/32770624 swapFree=5956/172360
[pid=9870] ppid=9867 vsize=359264 CPUtime=1780.6 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 312320 0 3 0 178035 25 0 0 20 0 1 0 83679 367886336 83154 33554432000 4194304 5970956 140722064073920 140722064070888 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89816 83154 839 434 0 83180 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (KiB) 359264
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 1.76 3/243 9965
/proc/meminfo: memFree=31484152/32770624 swapFree=5956/172388
[pid=9870] ppid=9867 vsize=359660 CPUtime=1840.54 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 312947 0 3 0 184029 25 0 0 20 0 1 0 83679 368291840 83230 33554432000 4194304 5970956 140722064073920 140722064070888 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89915 83230 839 434 0 83279 0
Current children cumulated CPU time (s) 1840.54
Current children cumulated vsize (KiB) 359660
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.78 3/243 9966
/proc/meminfo: memFree=31483700/32770624 swapFree=5956/172416
[pid=9870] ppid=9867 vsize=359660 CPUtime=1900.49 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 313176 0 3 0 190024 25 0 0 20 0 1 0 83679 368291840 83268 33554432000 4194304 5970956 140722064073920 140722064070888 4908963 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89915 83268 839 434 0 83279 0
Current children cumulated CPU time (s) 1900.49
Current children cumulated vsize (KiB) 359660
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/243 9967
/proc/meminfo: memFree=31483668/32770624 swapFree=5956/172456
[pid=9870] ppid=9867 vsize=359660 CPUtime=1960.43 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 313502 0 3 0 196018 25 0 0 20 0 1 0 83679 368291840 83270 33554432000 4194304 5970956 140722064073920 140722064070888 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89915 83270 839 434 0 83279 0
Current children cumulated CPU time (s) 1960.43
Current children cumulated vsize (KiB) 359660
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/243 9968
/proc/meminfo: memFree=31483404/32770624 swapFree=5956/172484
[pid=9870] ppid=9867 vsize=359660 CPUtime=2020.38 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 313738 0 3 0 202013 25 0 0 20 0 1 0 83679 368291840 83271 33554432000 4194304 5970956 140722064073920 140722064070888 4964492 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89915 83271 839 434 0 83279 0
Current children cumulated CPU time (s) 2020.38
Current children cumulated vsize (KiB) 359660
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 1.82 3/243 9969
/proc/meminfo: memFree=31481072/32770624 swapFree=5956/172512
[pid=9870] ppid=9867 vsize=359660 CPUtime=2080.33 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 314053 0 3 0 208008 25 0 0 20 0 1 0 83679 368291840 83275 33554432000 4194304 5970956 140722064073920 140722064070888 4964389 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89915 83275 839 434 0 83279 0
Current children cumulated CPU time (s) 2080.33
Current children cumulated vsize (KiB) 359660
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 1.83 3/243 9970
/proc/meminfo: memFree=31482024/32770624 swapFree=5956/172544
[pid=9870] ppid=9867 vsize=359660 CPUtime=2140.27 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 314336 0 3 0 214002 25 0 0 20 0 1 0 83679 368291840 83275 33554432000 4194304 5970956 140722064073920 140722064070888 5069728 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89915 83275 839 434 0 83279 0
Current children cumulated CPU time (s) 2140.27
Current children cumulated vsize (KiB) 359660
[startup+2202.31 s]
/proc/loadavg: 2.08 2.05 1.85 3/243 9971
/proc/meminfo: memFree=31482032/32770624 swapFree=5956/172572
[pid=9870] ppid=9867 vsize=359792 CPUtime=2200.22 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 314602 0 3 0 219997 25 0 0 20 0 1 0 83679 368427008 83280 33554432000 4194304 5970956 140722064073920 140722064070888 5070080 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89948 83280 839 434 0 83312 0
Current children cumulated CPU time (s) 2200.22
Current children cumulated vsize (KiB) 359792
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 1.86 3/243 9979
/proc/meminfo: memFree=31481628/32770624 swapFree=5956/172584
[pid=9870] ppid=9867 vsize=359792 CPUtime=2260.15 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 314951 0 3 0 225990 25 0 0 20 0 1 0 83679 368427008 83284 33554432000 4194304 5970956 140722064073920 140722064070888 4964336 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89948 83284 839 434 0 83312 0
Current children cumulated CPU time (s) 2260.15
Current children cumulated vsize (KiB) 359792
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 1.87 3/243 9980
/proc/meminfo: memFree=31481580/32770624 swapFree=5956/172608
[pid=9870] ppid=9867 vsize=359792 CPUtime=2320.1 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 315272 0 3 0 231985 25 0 0 20 0 1 0 83679 368427008 83286 33554432000 4194304 5970956 140722064073920 140722064070888 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89948 83286 839 434 0 83312 0
Current children cumulated CPU time (s) 2320.1
Current children cumulated vsize (KiB) 359792
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/243 9981
/proc/meminfo: memFree=31481984/32770624 swapFree=5956/172636
[pid=9870] ppid=9867 vsize=359792 CPUtime=2380.05 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 315624 0 3 0 237980 25 0 0 20 0 1 0 83679 368427008 83289 33554432000 4194304 5970956 140722064073920 140722064070888 4964705 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89948 83289 839 434 0 83312 0
Current children cumulated CPU time (s) 2380.05
Current children cumulated vsize (KiB) 359792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/243 9981
/proc/meminfo: memFree=31482728/32770624 swapFree=5956/172644
[pid=9870] ppid=9867 vsize=359792 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 315816 0 3 0 239978 25 0 0 20 0 1 0 83679 368427008 83289 33554432000 4194304 5970956 140722064073920 140722064070888 4965043 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89948 83289 839 434 0 83312 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 359792
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 9870 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2402.3 s]
/proc/loadavg: 2.00 2.03 1.88 3/243 9981
/proc/meminfo: memFree=31482728/32770624 swapFree=5956/172644
[pid=9870] ppid=9867 vsize=359792 CPUtime=2400.03 cores=0,2,4,6,8,10,12,14
/proc/9870/stat : 9870 (cosoco) R 9867 9870 9821 0 -1 4202496 315816 0 3 0 239978 25 0 0 20 0 1 0 83679 368427008 83289 33554432000 4194304 5970956 140722064073920 140722064070888 4965043 0 0 4096 8405026 0 0 0 17 8 0 0 1 0 0 8070896 8075904 33161216 140722064078012 140722064078147 140722064078147 140722064080846 0
/proc/9870/statm: 89948 83289 839 434 0 83312 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 359792
Child status: 1
Real time (s): 2402.31
CPU time (s): 2400.04
CPU user time (s): 2399.78
CPU system time (s): 0.254767
CPU usage (%): 99.9056
Max. virtual memory (cumulated for all children) (KiB): 359792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.78
system time used= 0.254767
maximum resident set size= 333208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315849
page faults= 3
swaps= 0
block input operations= 3320
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107
involuntary context switches= 121251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3147 second user time and 13.3454 second system time
The end