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-3478971-1307443190/watcher-3478971-1307443190 -o /tmp/evaluation-result-3478971-1307443190/solver-3478971-1307443190 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478971-1307443190.opb
running on 4 cores: 0,2,4,6
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.37 2.11 2.03 2/437 1218
/proc/meminfo: memFree=20726332/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1176636 CPUtime=0 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 308 0 0 0 0 0 0 0 25 0 1 0 836737313 1204875264 261 33554432000 4194304 5714214 140733374903392 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 294159 265 176 372 0 151 0
[startup+0.114492 s]
/proc/loadavg: 2.37 2.11 2.03 2/437 1218
/proc/meminfo: memFree=20726332/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1181964 CPUtime=0.11 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 2007 0 0 0 11 0 0 0 25 0 1 0 836737313 1210331136 1927 33554432000 4194304 5714214 140733374903392 18446744073709551615 4990112 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 295491 1928 584 372 0 1483 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1181964
[startup+0.200474 s]
/proc/loadavg: 2.37 2.11 2.03 2/437 1218
/proc/meminfo: memFree=20726332/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1185684 CPUtime=0.19 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 3284 0 0 0 19 0 0 0 25 0 1 0 836737313 1214140416 3139 33554432000 4194304 5714214 140733374903392 18446744073709551615 4336720 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 296421 3139 894 372 0 2413 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1185684
[startup+0.300451 s]
/proc/loadavg: 2.37 2.11 2.03 2/437 1218
/proc/meminfo: memFree=20726332/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1189952 CPUtime=0.29 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 4729 0 0 0 29 0 0 0 25 0 1 0 836737313 1218510848 4584 33554432000 4194304 5714214 140733374903392 18446744073709551615 4956095 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 297488 4584 1259 372 0 3480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1189952
[startup+0.700371 s]
/proc/loadavg: 2.37 2.11 2.03 2/437 1218
/proc/meminfo: memFree=20726332/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1207028 CPUtime=0.69 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 10486 0 0 0 68 1 0 0 25 0 1 0 836737313 1235996672 10212 33554432000 4194304 5714214 140733374903392 18446744073709551615 4228656 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 301757 10213 2713 372 0 7749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1207028
[startup+1.50025 s]
/proc/loadavg: 2.50 2.14 2.04 3/438 1219
/proc/meminfo: memFree=20685540/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1241128 CPUtime=1.49 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 21922 0 0 0 147 2 0 0 25 0 1 0 836737313 1270915072 21391 33554432000 4194304 5714214 140733374903392 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 310282 21392 5730 372 0 16274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1241128
[startup+3.10089 s]
/proc/loadavg: 2.50 2.14 2.04 3/438 1219
/proc/meminfo: memFree=20641772/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1301136 CPUtime=3.09 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 43422 0 0 0 305 4 0 0 25 0 1 0 836737313 1332363264 42378 33554432000 4194304 5714214 140733374903392 18446744073709551615 4195024 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 325284 42379 11465 372 0 31276 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1301136
[startup+6.30029 s]
/proc/loadavg: 2.46 2.14 2.04 3/438 1220
/proc/meminfo: memFree=20517244/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1424408 CPUtime=6.29 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 85544 0 0 0 620 9 0 0 25 0 1 0 836737313 1458593792 83475 33554432000 4194304 5714214 140733374903392 18446744073709551615 5136926 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/1218/statm: 356102 83475 22780 372 0 62094 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1424408
[startup+12.701 s]
/proc/loadavg: 2.42 2.14 2.03 3/438 1220
/proc/meminfo: memFree=20251816/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=1693960 CPUtime=12.69 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 177614 0 0 0 1249 20 0 0 25 0 1 0 836737313 1734615040 173496 33554432000 4194304 5714214 140733374903392 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 423490 173496 48510 372 0 129482 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1693960
[startup+25.5005 s]
/proc/loadavg: 2.33 2.13 2.03 3/438 1220
/proc/meminfo: memFree=19775340/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=2147012 CPUtime=25.49 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 341677 0 0 0 2510 39 0 0 25 0 1 0 836737313 2198540288 333462 33554432000 4194304 5714214 140733374903392 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 536753 333462 95059 372 0 242745 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2147012
[startup+51.1004 s]
/proc/loadavg: 2.21 2.12 2.03 3/438 1221
/proc/meminfo: memFree=18873460/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=3089180 CPUtime=51.09 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 667842 0 0 0 5030 79 0 0 25 0 1 0 836737313 3163320320 651434 33554432000 4194304 5714214 140733374903392 18446744073709551615 4223018 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 772295 651435 187949 372 0 478287 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3089180
[startup+102.301 s]
/proc/loadavg: 2.09 2.10 2.03 3/438 1222
/proc/meminfo: memFree=14500828/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=102.3 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935489 0 0 0 10008 222 0 0 25 0 1 0 836737313 6481563648 1545836 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545836 180 372 0 1582038 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 6329652
[startup+162.3 s]
/proc/loadavg: 2.03 2.08 2.02 3/438 1224
/proc/meminfo: memFree=14476744/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=162.3 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935522 0 0 0 16002 228 0 0 25 0 1 0 836737313 6481563648 1545869 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319364 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545869 180 372 0 1582038 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 6329652
[startup+222.316 s]
/proc/loadavg: 2.01 2.06 2.01 3/438 1225
/proc/meminfo: memFree=14454888/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=222.32 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935541 0 0 0 21998 234 0 0 25 0 1 0 836737313 6481563648 1545888 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545888 180 372 0 1582038 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 6329652
[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/438 1227
/proc/meminfo: memFree=14429180/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=282.31 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935551 0 0 0 27991 240 0 0 25 0 1 0 836737313 6481563648 1545898 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545898 180 372 0 1582038 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 6329652
[startup+342.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/438 1229
/proc/meminfo: memFree=14405188/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=342.31 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935566 0 0 0 33986 245 0 0 25 0 1 0 836737313 6481563648 1545913 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545913 180 372 0 1582038 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 6329652
[startup+402.301 s]
/proc/loadavg: 2.11 2.08 2.02 3/438 1230
/proc/meminfo: memFree=14385920/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=402.31 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935571 0 0 0 39983 248 0 0 25 0 1 0 836737313 6481563648 1545918 33554432000 4194304 5714214 140733374903392 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545918 180 372 0 1582038 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 6329652
[startup+462.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/438 1232
/proc/meminfo: memFree=14363672/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=462.31 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935574 0 0 0 45978 253 0 0 25 0 1 0 836737313 6481563648 1545921 33554432000 4194304 5714214 140733374903392 18446744073709551615 4320022 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545921 180 372 0 1582038 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 6329652
[startup+522.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/438 1233
/proc/meminfo: memFree=14347492/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=522.32 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935627 0 0 0 51974 258 0 0 25 0 1 0 836737313 6481563648 1545974 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545974 180 372 0 1582038 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 6329652
[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/438 1235
/proc/meminfo: memFree=14326740/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=582.32 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935634 0 0 0 57971 261 0 0 25 0 1 0 836737313 6481563648 1545981 33554432000 4194304 5714214 140733374903392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1545981 180 372 0 1582038 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 6329652
[startup+642.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 1273
/proc/meminfo: memFree=14503908/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=942.33 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935763 0 0 0 93944 289 0 0 25 0 1 0 836737313 6481563648 1546110 33554432000 4194304 5714214 140733374903392 18446744073709551615 4305163 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546110 180 372 0 1582038 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 6329652
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1274
/proc/meminfo: memFree=14503604/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1002.34 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935868 0 0 0 99941 293 0 0 25 0 1 0 836737313 6481563648 1546215 33554432000 4194304 5714214 140733374903392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546215 180 372 0 1582038 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 6329652
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1276
/proc/meminfo: memFree=14503360/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1062.34 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935922 0 0 0 105937 297 0 0 25 0 1 0 836737313 6481563648 1546269 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546269 180 372 0 1582038 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 6329652
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1277
/proc/meminfo: memFree=14502872/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1122.34 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1935983 0 0 0 111933 301 0 0 25 0 1 0 836737313 6481563648 1546330 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546330 180 372 0 1582038 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 6329652
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1279
/proc/meminfo: memFree=14501908/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1182.35 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936067 0 0 0 117928 307 0 0 25 0 1 0 836737313 6481563648 1546414 33554432000 4194304 5714214 140733374903392 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546414 180 372 0 1582038 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 6329652
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/438 1281
/proc/meminfo: memFree=14500468/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1242.35 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936165 0 0 0 123923 312 0 0 25 0 1 0 836737313 6481563648 1546512 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546512 180 372 0 1582038 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 6329652
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1291
/proc/meminfo: memFree=14499156/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1302.35 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936201 0 0 0 129920 315 0 0 25 0 1 0 836737313 6481563648 1546548 33554432000 4194304 5714214 140733374903392 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546548 180 372 0 1582038 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 6329652
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1293
/proc/meminfo: memFree=14499556/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1362.35 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936249 0 0 0 135917 318 0 0 25 0 1 0 836737313 6481563648 1546596 33554432000 4194304 5714214 140733374903392 18446744073709551615 4322634 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546596 180 372 0 1582038 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 6329652
[startup+1422.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/438 1294
/proc/meminfo: memFree=14499316/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1422.36 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936276 0 0 0 141915 321 0 0 25 0 1 0 836737313 6481563648 1546623 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546623 180 372 0 1582038 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 6329652
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1296
/proc/meminfo: memFree=14498120/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1482.36 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936298 0 0 0 147913 323 0 0 25 0 1 0 836737313 6481563648 1546645 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546645 180 372 0 1582038 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 6329652
[startup+1542.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1298
/proc/meminfo: memFree=14494856/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1542.37 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936328 0 0 0 153912 325 0 0 25 0 1 0 836737313 6481563648 1546675 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546675 180 372 0 1582038 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 6329652
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1299
/proc/meminfo: memFree=14491020/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1602.36 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936511 0 0 0 159906 330 0 0 25 0 1 0 836737313 6481563648 1546858 33554432000 4194304 5714214 140733374903392 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1546858 180 372 0 1582038 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 6329652
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 1301
/proc/meminfo: memFree=14484824/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1662.37 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936653 0 0 0 165903 334 0 0 25 0 1 0 836737313 6481563648 1547000 33554432000 4194304 5714214 140733374903392 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1547000 180 372 0 1582038 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 6329652
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/438 1302
/proc/meminfo: memFree=14452880/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1722.37 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936747 0 0 0 171900 337 0 0 25 0 1 0 836737313 6481563648 1547094 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1547094 180 372 0 1582038 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 6329652
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/438 1304
/proc/meminfo: memFree=14420376/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1782.37 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936774 0 0 0 177898 339 0 0 25 0 1 0 836737313 6481563648 1547121 33554432000 4194304 5714214 140733374903392 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1547121 180 372 0 1582038 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 6329652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1304
/proc/meminfo: memFree=14412796/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=6329652 CPUtime=1800.08 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4202496 1936805 0 0 0 179667 341 0 0 25 0 1 0 836737313 6481563648 1547152 33554432000 4194304 5714214 140733374903392 18446744073709551615 4310624 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1218/statm: 1582413 1547152 180 372 0 1582038 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6329652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.12 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1304
/proc/meminfo: memFree=14412796/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=0 CPUtime=1800.19 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4203524 1936805 0 0 0 179668 351 0 0 25 0 1 0 836737313 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/1218/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0
[startup+1800.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/438 1304
/proc/meminfo: memFree=14412796/32951124 swapFree=50923800/67111528
[pid=1218] ppid=1216 vsize=0 CPUtime=1800.27 cores=0,2,4,6
/proc/1218/stat : 1218 (wbo1.6) R 1216 1218 656 0 -1 4203524 1936805 0 0 0 179668 359 0 0 25 0 1 0 836737313 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/1218/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.26
CPU time (s): 1800.34
CPU user time (s): 1796.69
CPU system time (s): 3.65444
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 6581652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.69
system time used= 3.65444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1936805
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= 2475
runsolver used 8.31274 second user time and 17.2654 second system time
The end