runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3478938-1307442207/watcher-3478938-1307442207 -o /tmp/evaluation-result-3478938-1307442207/solver-3478938-1307442207 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478938-1307442207.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.05 2.00 2/437 1134
/proc/meminfo: memFree=23631372/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=376156 CPUtime=0 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 309 0 0 0 0 0 0 0 23 0 1 0 836637213 385183744 262 33554432000 4194304 5714214 140734134109104 18446744073709551615 4223098 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 94039 263 176 372 0 151 0
[startup+0.0192131 s]
/proc/loadavg: 2.13 2.05 2.00 2/437 1134
/proc/meminfo: memFree=23631372/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=376856 CPUtime=0.01 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 542 0 0 0 1 0 0 0 23 0 1 0 836637213 385900544 495 33554432000 4194304 5714214 140734134109104 18446744073709551615 4220417 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 94214 496 232 372 0 326 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 376856
[startup+0.100197 s]
/proc/loadavg: 2.13 2.05 2.00 2/437 1134
/proc/meminfo: memFree=23631372/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=380900 CPUtime=0.09 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 1891 0 0 0 9 0 0 0 23 0 1 0 836637213 390041600 1811 33554432000 4194304 5714214 140734134109104 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 95225 1812 560 372 0 1337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 380900
[startup+0.300162 s]
/proc/loadavg: 2.13 2.05 2.00 2/437 1134
/proc/meminfo: memFree=23631372/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=390132 CPUtime=0.29 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 5021 0 0 0 29 0 0 0 25 0 1 0 836637213 399495168 4876 33554432000 4194304 5714214 140734134109104 18446744073709551615 5136903 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 97533 4876 1347 372 0 3645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 390132
[startup+0.701077 s]
/proc/loadavg: 2.13 2.05 2.00 2/437 1134
/proc/meminfo: memFree=23631372/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=409708 CPUtime=0.69 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 11588 0 0 0 69 0 0 0 25 0 1 0 836637213 419540992 11057 33554432000 4194304 5714214 140734134109104 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 102427 11058 2950 372 0 8539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 409708
[startup+1.50092 s]
/proc/loadavg: 2.13 2.05 2.00 3/438 1135
/proc/meminfo: memFree=23584616/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=446680 CPUtime=1.49 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 24091 0 0 0 147 2 0 0 25 0 1 0 836637213 457400320 23047 33554432000 4194304 5714214 140734134109104 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 111670 23047 6203 372 0 17782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 446680
[startup+3.10061 s]
/proc/loadavg: 2.20 2.06 2.01 3/438 1135
/proc/meminfo: memFree=23543696/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=519288 CPUtime=3.09 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 48097 0 0 0 305 4 0 0 25 0 1 0 836637213 531750912 46028 33554432000 4194304 5714214 140734134109104 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 129822 46028 12494 372 0 35934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 519288
[startup+6.30097 s]
/proc/loadavg: 2.20 2.06 2.01 3/438 1135
/proc/meminfo: memFree=23405956/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=655196 CPUtime=6.29 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 95965 0 0 0 620 9 0 0 25 0 1 0 836637213 670920704 91847 33554432000 4194304 5714214 140734134109104 18446744073709551615 4970356 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 163799 91847 25027 372 0 69911 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 655196
[startup+12.7007 s]
/proc/loadavg: 2.16 2.06 2.01 3/438 1135
/proc/meminfo: memFree=23136276/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=933180 CPUtime=12.69 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 191243 0 0 0 1248 21 0 0 25 0 1 0 836637213 955576320 183028 33554432000 4194304 5714214 140734134109104 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 233295 183028 51351 372 0 139407 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 933180
[startup+25.5012 s]
/proc/loadavg: 2.14 2.06 2.01 3/438 1135
/proc/meminfo: memFree=22438908/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=1235620 CPUtime=25.49 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 405785 0 0 0 2505 44 0 0 25 0 1 0 836637213 1265274880 304057 33554432000 4194304 5714214 140734134109104 18446744073709551615 4251984 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 308905 304057 173 372 0 308530 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1235620
[startup+51.1011 s]
/proc/loadavg: 2.09 2.05 2.00 3/438 1136
/proc/meminfo: memFree=21593016/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=51.09 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624231 0 0 0 5036 73 0 0 25 0 1 0 836637213 2108469248 507140 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507140 180 372 0 514388 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2059052
[startup+102.317 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 1140
/proc/meminfo: memFree=21567896/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=102.31 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624244 0 0 0 10142 89 0 0 25 0 1 0 836637213 2108469248 507153 33554432000 4194304 5714214 140734134109104 18446744073709551615 4322634 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507153 180 372 0 514388 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 2059052
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/438 1142
/proc/meminfo: memFree=21527028/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=162.3 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624247 0 0 0 16126 104 0 0 25 0 1 0 836637213 2108469248 507156 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507156 180 372 0 514388 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 2059052
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1144
/proc/meminfo: memFree=21527712/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=222.3 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624279 0 0 0 22107 123 0 0 25 0 1 0 836637213 2108469248 507188 33554432000 4194304 5714214 140734134109104 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507188 180 372 0 514388 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2059052
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1145
/proc/meminfo: memFree=21527044/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=282.3 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624304 0 0 0 28091 139 0 0 25 0 1 0 836637213 2108469248 507213 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507213 180 372 0 514388 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2059052
[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/438 1147
/proc/meminfo: memFree=21525760/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=342.31 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624398 0 0 0 34081 150 0 0 25 0 1 0 836637213 2108469248 507307 33554432000 4194304 5714214 140734134109104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507307 180 372 0 514388 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 2059052
[startup+402.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/438 1148
/proc/meminfo: memFree=21523092/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=402.31 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624516 0 0 0 40071 160 0 0 25 0 1 0 836637213 2108469248 507425 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507425 180 372 0 514388 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2059052
[startup+462.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/438 1150
/proc/meminfo: memFree=21506664/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=462.31 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624711 0 0 0 46060 171 0 0 25 0 1 0 836637213 2108469248 507620 33554432000 4194304 5714214 140734134109104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507620 180 372 0 514388 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2059052
[startup+522.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 1152
/proc/meminfo: memFree=21485804/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=522.31 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624801 0 0 0 52048 183 0 0 25 0 1 0 836637213 2108469248 507710 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507710 180 372 0 514388 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2059052
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 1153
/proc/meminfo: memFree=21464552/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=582.32 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 624901 0 0 0 58036 196 0 0 25 0 1 0 836637213 2108469248 507810 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 507810 180 372 0 514388 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 2059052
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/438 1188
/proc/meminfo: memFree=21817420/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=822.33 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 625240 0 0 0 81994 239 0 0 25 0 1 0 836637213 2108469248 508149 33554432000 4194304 5714214 140734134109104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 508149 180 372 0 514388 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 2059052
[startup+882.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/438 1189
/proc/meminfo: memFree=21797304/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=882.33 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 625680 0 0 0 87984 249 0 0 25 0 1 0 836637213 2108469248 508589 33554432000 4194304 5714214 140734134109104 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 508589 180 372 0 514388 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 2059052
[startup+942.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/438 1191
/proc/meminfo: memFree=21751284/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=942.34 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 626254 0 0 0 93972 262 0 0 25 0 1 0 836637213 2108469248 509163 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 509163 180 372 0 514388 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 2059052
[startup+1002.3 s]
/proc/loadavg: 2.50 2.14 2.04 3/438 1219
/proc/meminfo: memFree=20689384/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2059052 CPUtime=1002.33 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 627130 0 0 0 99961 272 0 0 25 0 1 0 836637213 2108469248 510039 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 514763 510039 180 372 0 514388 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2059052
[startup+1062.3 s]
/proc/loadavg: 2.18 2.11 2.03 3/438 1221
/proc/meminfo: memFree=18527996/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2081716 CPUtime=1062.34 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 632564 0 0 0 105943 291 0 0 25 0 1 0 836637213 2131677184 515473 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 520429 515473 180 372 0 520054 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 2081716
[startup+1122.3 s]
/proc/loadavg: 2.06 2.09 2.02 3/438 1223
/proc/meminfo: memFree=14492752/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2107244 CPUtime=1122.34 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 638582 0 0 0 111930 304 0 0 25 0 1 0 836637213 2157817856 521491 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 526811 521491 180 372 0 526436 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 2107244
[startup+1182.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/438 1224
/proc/meminfo: memFree=14470288/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2129516 CPUtime=1182.34 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 643865 0 0 0 117918 316 0 0 25 0 1 0 836637213 2180624384 526774 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 532379 526774 180 372 0 532004 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 2129516
[startup+1242.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/438 1226
/proc/meminfo: memFree=14447440/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2154228 CPUtime=1242.35 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 649874 0 0 0 123906 329 0 0 25 0 1 0 836637213 2205929472 532783 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 538557 532783 180 372 0 538182 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 2154228
[startup+1302.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/438 1227
/proc/meminfo: memFree=14421852/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2179076 CPUtime=1302.36 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 655935 0 0 0 129896 340 0 0 25 0 1 0 836637213 2231373824 538844 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 544769 538844 180 372 0 544394 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 2179076
[startup+1362.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/438 1229
/proc/meminfo: memFree=14399596/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2203108 CPUtime=1362.35 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 661648 0 0 0 135882 353 0 0 25 0 1 0 836637213 2255982592 544557 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 550777 544557 180 372 0 550402 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 2203108
[startup+1422.32 s]
/proc/loadavg: 2.08 2.07 2.02 3/438 1231
/proc/meminfo: memFree=14378968/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2224828 CPUtime=1422.38 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 666938 0 0 0 141876 362 0 0 25 0 1 0 836637213 2278223872 549847 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 556207 549847 180 372 0 555832 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 2224828
[startup+1482.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/438 1232
/proc/meminfo: memFree=14359068/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2244264 CPUtime=1482.36 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 671755 0 0 0 147864 372 0 0 25 0 1 0 836637213 2298126336 554664 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319251 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 561066 554664 180 372 0 560691 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 2244264
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/438 1234
/proc/meminfo: memFree=14341520/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2263460 CPUtime=1542.36 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 676367 0 0 0 153857 379 0 0 25 0 1 0 836637213 2317783040 559276 33554432000 4194304 5714214 140734134109104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 565865 559276 180 372 0 565490 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 2263460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 1235
/proc/meminfo: memFree=14321144/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2285164 CPUtime=1602.36 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 681416 0 0 0 159845 391 0 0 25 0 1 0 836637213 2340007936 564325 33554432000 4194304 5714214 140734134109104 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 571291 564325 180 372 0 570916 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 2285164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/438 1237
/proc/meminfo: memFree=14300524/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2307084 CPUtime=1662.36 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 686594 0 0 0 165834 402 0 0 25 0 1 0 836637213 2362454016 569503 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 576771 569503 180 372 0 576396 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 2307084
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 1239
/proc/meminfo: memFree=14276304/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2332212 CPUtime=1722.37 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 692658 0 0 0 171825 412 0 0 25 0 1 0 836637213 2388185088 575567 33554432000 4194304 5714214 140734134109104 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 583053 575567 180 372 0 582678 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 2332212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1240
/proc/meminfo: memFree=14255672/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2354760 CPUtime=1782.37 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 697543 0 0 0 177810 427 0 0 25 0 1 0 836637213 2411274240 580452 33554432000 4194304 5714214 140734134109104 18446744073709551615 4305181 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 588690 580452 180 372 0 588315 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 2354760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 1241
/proc/meminfo: memFree=14249208/32951124 swapFree=50923800/67111528
[pid=1134] ppid=1132 vsize=2361560 CPUtime=1800.08 cores=1,3,5,7
/proc/1134/stat : 1134 (wbo1.6) R 1132 1134 656 0 -1 4202496 699098 0 0 0 179577 431 0 0 25 0 1 0 836637213 2418237440 582007 33554432000 4194304 5714214 140734134109104 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/1134/statm: 590390 582007 180 372 0 590015 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2361560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.19
CPU user time (s): 1795.79
CPU system time (s): 4.40233
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2361560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.79
system time used= 4.40233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 699098
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= 5
involuntary context switches= 1641
runsolver used 7.54685 second user time and 18.4712 second system time
The end