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-3461534-1307103855/watcher-3461534-1307103855 -o /tmp/evaluation-result-3461534-1307103855/solver-3461534-1307103855 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461534-1307103855.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.09 2.05 2.01 2/455 17194
/proc/meminfo: memFree=23846268/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=2104 CPUtime=0 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 802801387 2154496 280 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 526 280 180 372 0 151 0
[startup+0.064799 s]
/proc/loadavg: 2.09 2.05 2.01 2/455 17194
/proc/meminfo: memFree=23846268/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=2764 CPUtime=0.06 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 487 0 0 0 6 0 0 0 25 0 1 0 802801387 2830336 437 33554432000 4194304 5714214 140734939516416 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 691 437 180 372 0 316 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2764
[startup+0.100792 s]
/proc/loadavg: 2.09 2.05 2.01 2/455 17194
/proc/meminfo: memFree=23846268/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=3168 CPUtime=0.09 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 585 0 0 0 9 0 0 0 25 0 1 0 802801387 3244032 535 33554432000 4194304 5714214 140734939516416 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 792 535 180 372 0 417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3168
[startup+0.300755 s]
/proc/loadavg: 2.09 2.05 2.01 2/455 17194
/proc/meminfo: memFree=23846268/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=4888 CPUtime=0.29 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 1036 0 0 0 29 0 0 0 25 0 1 0 802801387 5005312 986 33554432000 4194304 5714214 140734939516416 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 1222 986 180 372 0 847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4888
[startup+0.700681 s]
/proc/loadavg: 2.09 2.05 2.01 2/455 17194
/proc/meminfo: memFree=23846268/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=7824 CPUtime=0.69 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 1725 0 0 0 68 1 0 0 25 0 1 0 802801387 8011776 1675 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 1956 1675 180 372 0 1581 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7824
[startup+1.50051 s]
/proc/loadavg: 2.08 2.05 2.01 3/456 17195
/proc/meminfo: memFree=23838432/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=10136 CPUtime=1.49 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 2313 0 0 0 147 2 0 0 25 0 1 0 802801387 10379264 2263 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 2534 2263 180 372 0 2159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10136
[startup+3.10023 s]
/proc/loadavg: 2.08 2.05 2.01 4/456 17195
/proc/meminfo: memFree=23834836/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=15112 CPUtime=3.09 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 3535 0 0 0 305 4 0 0 25 0 1 0 802801387 15474688 3485 33554432000 4194304 5714214 140734939516416 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 3778 3485 180 372 0 3403 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15112
[startup+6.30065 s]
/proc/loadavg: 2.08 2.05 2.01 3/456 17195
/proc/meminfo: memFree=23829388/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=17080 CPUtime=6.3 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 4083 0 0 0 624 6 0 0 22 0 1 0 802801387 17489920 4002 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 4270 4002 180 372 0 3895 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 17080
[startup+12.7005 s]
/proc/loadavg: 2.07 2.05 2.01 3/456 17195
/proc/meminfo: memFree=23822284/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=24480 CPUtime=12.69 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 5904 0 0 0 1259 10 0 0 25 0 1 0 802801387 25067520 5823 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 6120 5823 180 372 0 5745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24480
[startup+25.5011 s]
/proc/loadavg: 2.06 2.05 2.00 3/456 17195
/proc/meminfo: memFree=23803536/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=43212 CPUtime=25.49 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 10526 0 0 0 2533 16 0 0 25 0 1 0 802801387 44249088 10445 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 10803 10445 180 372 0 10428 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43212
[startup+51.1004 s]
/proc/loadavg: 2.04 2.04 2.00 3/456 17198
/proc/meminfo: memFree=23774184/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=72924 CPUtime=51.09 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 17774 0 0 0 5082 27 0 0 25 0 1 0 802801387 74674176 17693 33554432000 4194304 5714214 140734939516416 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 18231 17693 180 372 0 17856 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 72924
[startup+102.317 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17201
/proc/meminfo: memFree=23724168/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=123468 CPUtime=102.31 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 30160 0 0 0 10183 48 0 0 25 0 1 0 802801387 126431232 30079 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 30867 30079 180 372 0 30492 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 123468
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17202
/proc/meminfo: memFree=23670568/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=179660 CPUtime=162.3 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 43939 0 0 0 16159 71 0 0 25 0 1 0 802801387 183971840 43858 33554432000 4194304 5714214 140734939516416 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 44915 43858 180 372 0 44540 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 179660
[startup+222.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/456 17204
/proc/meminfo: memFree=23614492/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=235492 CPUtime=222.29 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 57699 0 0 0 22135 94 0 0 25 0 1 0 802801387 241143808 57618 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 58873 57618 180 372 0 58498 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 235492
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/456 17205
/proc/meminfo: memFree=23573044/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=277032 CPUtime=282.3 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 67963 0 0 0 28116 114 0 0 25 0 1 0 802801387 283680768 67882 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 69258 67882 180 372 0 68883 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 277032
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/456 17207
/proc/meminfo: memFree=23528384/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=323044 CPUtime=342.3 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 79383 0 0 0 34096 134 0 0 25 0 1 0 802801387 330797056 79302 33554432000 4194304 5714214 140734939516416 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 80761 79302 180 372 0 80386 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 323044
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17209
/proc/meminfo: memFree=23484444/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=369004 CPUtime=402.3 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 90766 0 0 0 40074 156 0 0 25 0 1 0 802801387 377860096 90685 33554432000 4194304 5714214 140734939516416 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 92251 90685 180 372 0 91876 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 369004
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 17209
/proc/meminfo: memFree=23474392/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=377796 CPUtime=409.5 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 92870 0 0 0 40790 160 0 0 25 0 1 0 802801387 386863104 92789 33554432000 4194304 5714214 140734939516416 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 94449 92789 180 372 0 94074 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 377796
[startup+435.101 s]
/proc/loadavg: 2.00 2.03 2.00 3/456 17209
/proc/meminfo: memFree=23456408/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=396944 CPUtime=435.11 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 97616 0 0 0 43342 169 0 0 25 0 1 0 802801387 406470656 97535 33554432000 4194304 5714214 140734939516416 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 99236 97535 180 372 0 98861 0
Current children cumulated CPU time (s) 435.11
Current children cumulated vsize (KiB) 396944
[startup+447.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17210
/proc/meminfo: memFree=23443508/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=408524 CPUtime=447.9 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 100489 0 0 0 44615 175 0 0 25 0 1 0 802801387 418328576 100408 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 102131 100408 180 372 0 101756 0
Current children cumulated CPU time (s) 447.9
Current children cumulated vsize (KiB) 408524
[startup+454.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17210
/proc/meminfo: memFree=23437180/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=414640 CPUtime=454.33 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 102037 0 0 0 45255 178 0 0 25 0 1 0 802801387 424591360 101956 33554432000 4194304 5714214 140734939516416 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 103660 101956 180 372 0 103285 0
Current children cumulated CPU time (s) 454.33
Current children cumulated vsize (KiB) 414640
[startup+457.5 s]
/proc/loadavg: 2.00 2.02 2.00 2/454 17211
/proc/meminfo: memFree=24238980/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=414972 CPUtime=457.51 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 102075 0 0 0 45573 178 0 0 25 0 1 0 802801387 424931328 101994 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 103743 101994 180 372 0 103368 0
Current children cumulated CPU time (s) 457.51
Current children cumulated vsize (KiB) 414972
[startup+459.101 s]
/proc/loadavg: 2.00 2.02 2.00 2/454 17211
/proc/meminfo: memFree=24237740/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=417216 CPUtime=459.11 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 102667 0 0 0 45732 179 0 0 25 0 1 0 802801387 427229184 102586 33554432000 4194304 5714214 140734939516416 18446744073709551615 4320094 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 104304 102586 180 372 0 103929 0
Current children cumulated CPU time (s) 459.11
Current children cumulated vsize (KiB) 417216
[startup+460.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17238
/proc/meminfo: memFree=24239360/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=419796 CPUtime=460.71 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 103302 0 0 0 45891 180 0 0 25 0 1 0 802801387 429871104 103221 33554432000 4194304 5714214 140734939516416 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 104949 103221 180 372 0 104574 0
Current children cumulated CPU time (s) 460.71
Current children cumulated vsize (KiB) 419796
[startup+461.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17238
/proc/meminfo: memFree=24228744/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=419796 CPUtime=461.11 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 103302 0 0 0 45931 180 0 0 25 0 1 0 802801387 429871104 103221 33554432000 4194304 5714214 140734939516416 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 104949 103221 180 372 0 104574 0
Current children cumulated CPU time (s) 461.11
Current children cumulated vsize (KiB) 419796
[startup+461.501 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 17238
/proc/meminfo: memFree=24228744/32951124 swapFree=60476376/67111528
[pid=17194] ppid=17192 vsize=419796 CPUtime=461.51 cores=0,2,4,6
/proc/17194/stat : 17194 (wbo1.6) R 17192 17194 16547 0 -1 4202496 103302 0 0 0 45971 180 0 0 25 0 1 0 802801387 429871104 103221 33554432000 4194304 5714214 140734939516416 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/17194/statm: 104949 103221 180 372 0 104574 0
Current children cumulated CPU time (s) 461.51
Current children cumulated vsize (KiB) 419796
Child status: 0
Real time (s): 461.593
CPU time (s): 461.607
CPU user time (s): 459.783
CPU system time (s): 1.82372
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 419796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 459.783
system time used= 1.82372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103305
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= 7
involuntary context switches= 377
runsolver used 2.18767 second user time and 4.53631 second system time
The end