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-4242749-1500667606/watcher-4242749-1500667606 -o /tmp/evaluation-result-4242749-1500667606/solver-4242749-1500667606 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1500667606-6124 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242749-1500667606.xml
pid=6151
running on 8 cores: 1,3,5,7,9,11,13,15
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: 1.09 1.63 1.90 3/243 6154
/proc/meminfo: memFree=32023236/32770624 swapFree=5956/220416
[pid=6154] ppid=6151 vsize=28312 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 1270 0 0 0 0 0 0 0 20 0 1 0 2029202 28991488 1096 33554432000 4194304 5970956 140728758858432 140728758857936 140444296989669 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 7078 1096 703 434 0 442 0
[startup+0.100174 s]
/proc/loadavg: 1.09 1.63 1.90 3/243 6154
/proc/meminfo: memFree=32023236/32770624 swapFree=5956/220416
[pid=6154] ppid=6151 vsize=31236 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 2021 0 0 0 9 0 0 0 20 0 1 0 2029202 31985664 1795 33554432000 4194304 5970956 140728758858432 140728758853464 5417067 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 7809 1795 709 434 0 1173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31236
[startup+0.200383 s]
/proc/loadavg: 1.09 1.63 1.90 3/243 6154
/proc/meminfo: memFree=32023236/32770624 swapFree=5956/220416
[pid=6154] ppid=6151 vsize=32148 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 2359 0 0 0 19 0 0 0 20 0 1 0 2029202 32919552 2038 33554432000 4194304 5970956 140728758858432 140728758855032 140444297427968 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 8037 2038 709 434 0 1401 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 32148
[startup+0.300241 s]
/proc/loadavg: 1.09 1.63 1.90 3/243 6154
/proc/meminfo: memFree=32023236/32770624 swapFree=5956/220416
[pid=6154] ppid=6151 vsize=33576 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 2835 0 0 0 29 0 0 0 20 0 1 0 2029202 34381824 2328 33554432000 4194304 5970956 140728758858432 140728758855032 5674363 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 8394 2328 709 434 0 1758 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33576
[startup+0.700246 s]
/proc/loadavg: 1.09 1.63 1.90 3/243 6154
/proc/meminfo: memFree=32023236/32770624 swapFree=5956/220416
[pid=6154] ppid=6151 vsize=43900 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 3968 0 0 0 68 0 0 0 20 0 1 0 2029202 44953600 4572 33554432000 4194304 5970956 140728758858432 140728758855032 5418483 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 10975 4572 709 434 0 4339 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 43900
[startup+1.50029 s]
/proc/loadavg: 1.09 1.63 1.90 3/244 6155
/proc/meminfo: memFree=31888228/32770624 swapFree=5956/220672
[pid=6154] ppid=6151 vsize=143048 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 30075 0 0 0 145 4 0 0 20 0 1 0 2029202 146481152 29815 33554432000 4194304 5970956 140728758858432 140728758845752 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35762 29815 829 434 0 29126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 143048
[startup+3.10029 s]
/proc/loadavg: 1.08 1.62 1.89 3/244 6155
/proc/meminfo: memFree=31887112/32770624 swapFree=5956/220672
[pid=6154] ppid=6151 vsize=143444 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 58049 0 0 0 304 5 0 0 20 0 1 0 2029202 146886656 29904 33554432000 4194304 5970956 140728758858432 140728758855208 4934323 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35861 29904 848 434 0 29225 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143444
[startup+6.30027 s]
/proc/loadavg: 1.08 1.62 1.89 3/244 6155
/proc/meminfo: memFree=31886744/32770624 swapFree=5956/220684
[pid=6154] ppid=6151 vsize=143444 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 73061 0 0 0 623 6 0 0 20 0 1 0 2029202 146886656 29929 33554432000 4194304 5970956 140728758858432 140728758855208 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35861 29929 848 434 0 29225 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 143444
[startup+12.7002 s]
/proc/loadavg: 1.22 1.63 1.89 3/244 6155
/proc/meminfo: memFree=31885908/32770624 swapFree=5956/220688
[pid=6154] ppid=6151 vsize=143588 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 84535 0 0 0 1262 6 0 0 20 0 1 0 2029202 147034112 29973 33554432000 4194304 5970956 140728758858432 140728758855272 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35897 29973 848 434 0 29261 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 143588
[startup+25.5003 s]
/proc/loadavg: 1.34 1.64 1.89 3/244 6155
/proc/meminfo: memFree=31884568/32770624 swapFree=5956/220688
[pid=6154] ppid=6151 vsize=143796 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 95241 0 0 0 2540 7 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 143796
[startup+51.1004 s]
/proc/loadavg: 1.57 1.67 1.89 3/244 6155
/proc/meminfo: memFree=31884756/32770624 swapFree=5956/220700
[pid=6154] ppid=6151 vsize=143796 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 114144 0 0 0 5098 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 143796
[startup+102.3 s]
/proc/loadavg: 1.83 1.73 1.90 3/244 6156
/proc/meminfo: memFree=31883560/32770624 swapFree=5956/220732
[pid=6154] ppid=6151 vsize=143796 CPUtime=102.25 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 114700 0 0 0 10217 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 143796
[startup+162.3 s]
/proc/loadavg: 1.93 1.77 1.91 3/244 6157
/proc/meminfo: memFree=31884048/32770624 swapFree=5956/220764
[pid=6154] ppid=6151 vsize=143796 CPUtime=162.23 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 115251 0 0 0 16215 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 143796
[startup+222.308 s]
/proc/loadavg: 1.98 1.82 1.91 3/244 6165
/proc/meminfo: memFree=31883344/32770624 swapFree=5956/220800
[pid=6154] ppid=6151 vsize=143796 CPUtime=222.22 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 115837 0 0 0 22214 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 143796
[startup+282.3 s]
/proc/loadavg: 1.99 1.85 1.92 4/244 6166
/proc/meminfo: memFree=31883476/32770624 swapFree=5956/220832
[pid=6154] ppid=6151 vsize=143796 CPUtime=282.19 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 116397 0 0 0 28211 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 143796
[startup+342.3 s]
/proc/loadavg: 2.07 1.89 1.93 3/243 6167
/proc/meminfo: memFree=31883532/32770624 swapFree=5956/220860
[pid=6154] ppid=6151 vsize=143796 CPUtime=342.18 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 116961 0 0 0 34210 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 4934318 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 143796
[startup+402.3 s]
/proc/loadavg: 2.06 1.93 1.94 3/243 6168
/proc/meminfo: memFree=31883408/32770624 swapFree=5956/220892
[pid=6154] ppid=6151 vsize=143796 CPUtime=402.17 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 117542 0 0 0 40209 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 143796
[startup+462.3 s]
/proc/loadavg: 2.02 1.94 1.95 3/243 6169
/proc/meminfo: memFree=31883772/32770624 swapFree=5956/220928
[pid=6154] ppid=6151 vsize=143796 CPUtime=462.15 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 118111 0 0 0 46207 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 5031424 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 143796
[startup+522.3 s]
/proc/loadavg: 2.01 1.95 1.95 3/243 6170
/proc/meminfo: memFree=31883780/32770624 swapFree=5956/220956
[pid=6154] ppid=6151 vsize=143796 CPUtime=522.14 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 118676 0 0 0 52206 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 143796
[startup+582.3 s]
/proc/loadavg: 2.00 1.96 1.95 3/243 6171
/proc/meminfo: memFree=31883772/32770624 swapFree=5956/220988
[pid=6154] ppid=6151 vsize=143796 CPUtime=582.12 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 119236 0 0 0 58204 8 0 0 20 0 1 0 2029202 147247104 30116 33554432000 4194304 5970956 140728758858432 140728758855288 4934318 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30116 848 434 0 29313 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 143796
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/244 6205
/proc/meminfo: memFree=31881400/32770624 swapFree=5956/221428
[pid=6154] ppid=6151 vsize=143796 CPUtime=1541.95 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 128235 0 0 0 154186 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 143796
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/244 6206
/proc/meminfo: memFree=31880692/32770624 swapFree=5956/221460
[pid=6154] ppid=6151 vsize=143796 CPUtime=1601.94 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 128806 0 0 0 160185 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5327843 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 143796
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/244 6207
/proc/meminfo: memFree=31881448/32770624 swapFree=5956/221496
[pid=6154] ppid=6151 vsize=143796 CPUtime=1661.93 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 129340 0 0 0 166184 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 143796
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/243 6208
/proc/meminfo: memFree=31881512/32770624 swapFree=5956/221524
[pid=6154] ppid=6151 vsize=143796 CPUtime=1721.92 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 129917 0 0 0 172183 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 143796
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/243 6209
/proc/meminfo: memFree=31881136/32770624 swapFree=5956/221556
[pid=6154] ppid=6151 vsize=143796 CPUtime=1781.91 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 130481 0 0 0 178182 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 143796
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/243 6210
/proc/meminfo: memFree=31881848/32770624 swapFree=5956/221584
[pid=6154] ppid=6151 vsize=143796 CPUtime=1841.9 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 131018 0 0 0 184181 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5031424 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1841.9
Current children cumulated vsize (KiB) 143796
[startup+1902.3 s]
/proc/loadavg: 2.06 2.04 1.99 3/243 6211
/proc/meminfo: memFree=31880208/32770624 swapFree=5956/221612
[pid=6154] ppid=6151 vsize=143796 CPUtime=1901.9 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 131532 0 0 0 190181 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136629 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1901.9
Current children cumulated vsize (KiB) 143796
[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/243 6212
/proc/meminfo: memFree=31880952/32770624 swapFree=5956/221648
[pid=6154] ppid=6151 vsize=143796 CPUtime=1961.89 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 132136 0 0 0 196180 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 1961.89
Current children cumulated vsize (KiB) 143796
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/243 6220
/proc/meminfo: memFree=31880108/32770624 swapFree=5956/221660
[pid=6154] ppid=6151 vsize=143796 CPUtime=2021.88 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 132684 0 0 0 202179 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2021.88
Current children cumulated vsize (KiB) 143796
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/243 6221
/proc/meminfo: memFree=31880484/32770624 swapFree=5956/221688
[pid=6154] ppid=6151 vsize=143796 CPUtime=2081.88 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 133232 0 0 0 208179 9 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5031424 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2081.88
Current children cumulated vsize (KiB) 143796
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/243 6222
/proc/meminfo: memFree=31880824/32770624 swapFree=5956/221716
[pid=6154] ppid=6151 vsize=143796 CPUtime=2141.87 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 133780 0 0 0 214177 10 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2141.87
Current children cumulated vsize (KiB) 143796
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6223
/proc/meminfo: memFree=31880748/32770624 swapFree=5956/221744
[pid=6154] ppid=6151 vsize=143796 CPUtime=2201.87 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 134329 0 0 0 220177 10 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2201.87
Current children cumulated vsize (KiB) 143796
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6224
/proc/meminfo: memFree=31881616/32770624 swapFree=5956/221784
[pid=6154] ppid=6151 vsize=143796 CPUtime=2261.85 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 134876 0 0 0 226175 10 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2261.85
Current children cumulated vsize (KiB) 143796
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/243 6225
/proc/meminfo: memFree=31881732/32770624 swapFree=5956/221812
[pid=6154] ppid=6151 vsize=143796 CPUtime=2321.85 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 135446 0 0 0 232175 10 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2321.85
Current children cumulated vsize (KiB) 143796
[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/243 6226
/proc/meminfo: memFree=31882784/32770624 swapFree=5956/221844
[pid=6154] ppid=6151 vsize=143796 CPUtime=2381.84 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 135985 0 0 0 238174 10 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 5136625 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2381.84
Current children cumulated vsize (KiB) 143796
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.03 2.03 1.99 3/243 6226
/proc/meminfo: memFree=31882784/32770624 swapFree=5956/221852
[pid=6154] ppid=6151 vsize=143796 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 136556 0 0 0 239993 10 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 4934272 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 143796
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 6154 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.03 2.03 1.99 3/243 6226
/proc/meminfo: memFree=31882784/32770624 swapFree=5956/221852
[pid=6154] ppid=6151 vsize=143796 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/6154/stat : 6154 (cosoco) R 6151 6154 2444 0 -1 4202496 136556 0 0 0 239993 10 0 0 20 0 1 0 2029202 147247104 30118 33554432000 4194304 5970956 140728758858432 140728758855288 4934272 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 23412736 140728758863041 140728758863171 140728758863171 140728758865870 0
/proc/6154/statm: 35949 30118 848 434 0 29313 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 143796
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.04
CPU user time (s): 2399.94
CPU system time (s): 0.100981
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 143796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.100981
maximum resident set size= 120516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136584
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= 24
involuntary context switches= 120646
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97888 second user time and 12.273 second system time
The end