Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.1 | 1800.89 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-cycle.opb |
MD5SUM | 761eaefb829e7d3bf060fd5b86600997 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -1 |
Best CPU time to get the best result obtained on this benchmark | 1782.84 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 84737 |
Total number of constraints | 1802 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1802 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1470 |
Number of terms in the objective function | 9240 |
Biggest coefficient in the objective function | 16197 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531823 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 531823 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432696-1177947855/instance-432696-1177947855.opb 0.00/0.00 c File size is 5174391 bytes. 1.10/1.12 c Highest Coefficient sum: 531823 1.10/1.12 c Parsing was ok!! 1.10/1.12 c Total parsing time: 1.118 s 1.10/1.18 c Var: 84737 Constr: 3176 179/0/2997 Lit: 797261 Watch. Lit: 229786 1.10/1.18 c Obj. Vars: 9240 (10.9043 % of total variables) 23.58/23.60 c Formula reductions applied at preprocessing 23.58/23.60 c Pre-processing Time: 23.593 s 58.66/58.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 58.66/58.76 c 0 43224 2525 734594 290 620186 500000 0 0 23.59 58.66/58.76 c Initial Lower Bound: -142 58.66/58.76 c Initial Path Cost: -3112 1800.00/1800.80 c 100 43224 2625 739950 281 622283 550001 100 1 59.94 1800.00/1800.80 c 250 43224 2775 747150 269 622529 605002 250 4 60.37 1800.00/1800.80 c 475 43224 3000 761759 253 622289 665503 475 7 61.82 1800.00/1800.80 c 813 43223 3338 782137 234 623056 732054 813 8 94.44 1800.00/1800.80 c 1321 43223 3846 820781 213 624053 805260 1321 13 99.24 1800.00/1800.80 c 2086 43223 4611 880075 190 625697 885787 2086 18 112.87 1800.00/1800.80 c 3235 43223 5760 980957 170 627485 974366 3235 28 114.90 1800.00/1800.80 c 4958 43223 7483 1619203 216 631079 500000 4958 41 119.76 1800.00/1800.80 c 7542 43223 10067 1756919 174 636095 550001 7542 51 146.18 1800.00/1800.80 c 11422 43223 13947 3584452 257 643490 605002 11422 74 154.15 1800.00/1800.80 c 17246 43223 19771 4132307 209 654489 665503 17246 88 194.71 1800.00/1800.80 c 25984 43222 28509 5036311 176 672057 732054 25984 126 205.95 1800.00/1800.80 c 39098 43221 41623 6109734 146 698076 805260 39098 154 253.83 1800.00/1800.80 c 58768 43221 61293 7810894 127 737220 885787 58768 205 285.84 1800.00/1800.80 c 88278 43221 90803 12946873 142 796212 974366 88278 210 419.16 1800.00/1800.80 c 132556 43221 135081 19605800 145 884701 500000 132556 225 588.23 1800.00/1800.80 c 198966 43220 201491 24137605 119 1017306 550001 198966 245 809.67 1800.00/1800.80 c 298586 43220 301111 27680673 91 1216132 605002 298586 209 1426.46 1800.00/1800.80 c Caught signal: 15 1800.00/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.80 c 18 368486 47441 1235793 371011 31587923 368486 204 1800.02 1800.00/1800.80 s UNKNOWN 1800.00/1800.80 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-432696-1177947855 -o ROOT/results/node33/solver-432696-1177947855 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432696-1177947855/instance-432696-1177947855.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.97 0.91 3/77 6429 /proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=16792 CPUtime=0 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 242701045 17195008 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 4198 333 279 324 0 2004 0 [startup+0.0346919 s] /proc/loadavg: 0.93 0.97 0.91 3/77 6429 /proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=10224 CPUtime=0.03 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 701 0 0 0 3 0 0 0 18 0 1 0 242701045 10469376 671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 2556 671 319 324 0 362 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10224 [startup+0.101705 s] /proc/loadavg: 0.93 0.97 0.91 3/77 6429 /proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=12084 CPUtime=0.09 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1306 0 0 0 9 0 0 0 18 0 1 0 242701045 12374016 1236 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 3021 1236 399 324 0 827 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12084 [startup+0.301747 s] /proc/loadavg: 0.93 0.97 0.91 3/77 6429 /proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=16156 CPUtime=0.29 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 2629 0 0 0 29 0 0 0 19 0 1 0 242701045 16543744 2431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 4039 2431 630 324 0 1845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16156 [startup+0.701827 s] /proc/loadavg: 0.93 0.97 0.91 3/77 6429 /proc/meminfo: memFree=1847144/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=22356 CPUtime=0.69 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 4671 0 0 0 68 1 0 0 22 0 1 0 242701045 22892544 4316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 5589 4316 1069 324 0 3395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22356 [startup+1.50199 s] /proc/loadavg: 0.93 0.97 0.91 2/78 6430 /proc/meminfo: memFree=1831776/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=42376 CPUtime=1.49 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 11292 0 0 0 144 5 0 0 25 0 1 0 242701045 43393024 9673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 10594 9673 303 324 0 9664 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42376 [startup+3.10132 s] /proc/loadavg: 0.93 0.97 0.91 2/78 6430 /proc/meminfo: memFree=1807840/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=44716 CPUtime=3.09 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 11745 0 0 0 303 6 0 0 25 0 1 0 242701045 45789184 10126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 11179 10126 303 324 0 10249 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44716 [startup+6.30197 s] /proc/loadavg: 0.93 0.97 0.91 2/78 6430 /proc/meminfo: memFree=1806880/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=50204 CPUtime=6.28 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 13926 0 0 0 618 10 0 0 25 0 1 0 242701045 51408896 11477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 12551 11477 305 324 0 11621 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50204 [startup+12.7013 s] /proc/loadavg: 0.94 0.97 0.91 2/78 6430 /proc/meminfo: memFree=1802336/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=50204 CPUtime=12.69 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 13926 0 0 0 1257 12 0 0 25 0 1 0 242701045 51408896 11477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 12551 11477 305 324 0 11621 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50204 [startup+25.5019 s] /proc/loadavg: 0.95 0.97 0.91 2/78 6430 /proc/meminfo: memFree=1796128/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=57856 CPUtime=25.48 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 182556 0 0 0 2466 82 0 0 25 0 1 0 242701045 59244544 12894 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135467854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 14464 12898 334 324 0 13534 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57856 [startup+51.1011 s] /proc/loadavg: 0.97 0.97 0.91 2/78 6430 /proc/meminfo: memFree=1769568/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=86520 CPUtime=51.05 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1888752 0 0 0 4305 800 0 0 25 0 1 0 242701045 88596480 19748 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694722 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 21630 19748 390 324 0 20700 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 86520 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/78 6430 /proc/meminfo: memFree=1788640/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=64036 CPUtime=102.24 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1891162 0 0 0 9421 803 0 0 25 0 1 0 242701045 65572864 14989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 16009 14989 394 324 0 15079 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 64036 [startup+162.302 s] /proc/loadavg: 1.08 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1748256/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=104264 CPUtime=162.22 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1901224 0 0 0 15415 807 0 0 25 0 1 0 242701045 106766336 25051 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 26066 25051 394 324 0 25136 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 104264 [startup+222.302 s] /proc/loadavg: 1.03 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1730720/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=121944 CPUtime=222.19 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1905645 0 0 0 21409 810 0 0 25 0 1 0 242701045 124870656 29472 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11374744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 30486 29472 394 324 0 29556 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 121944 [startup+282.301 s] /proc/loadavg: 1.01 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1700384/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=153356 CPUtime=282.17 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1913495 0 0 0 27403 814 0 0 25 0 1 0 242701045 157036544 37322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 38339 37322 394 324 0 37409 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 153356 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1661984/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=190352 CPUtime=342.14 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1922757 0 0 0 33393 821 0 0 25 0 1 0 242701045 194920448 46584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 47588 46584 394 324 0 46658 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 190352 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1633120/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=219388 CPUtime=402.13 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1930014 0 0 0 39383 830 0 0 25 0 1 0 242701045 224653312 53841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 54847 53841 394 324 0 53917 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 219388 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1624160/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=227960 CPUtime=462.1 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1932148 0 0 0 45378 832 0 0 25 0 1 0 242701045 233431040 55975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 56990 55975 394 324 0 56060 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 227960 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1587040/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=266424 CPUtime=522.08 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1941783 0 0 0 51369 839 0 0 25 0 1 0 242701045 272818176 65610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 66606 65610 394 324 0 65676 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 266424 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1537248/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=314848 CPUtime=582.06 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1953872 0 0 0 57357 849 0 0 25 0 1 0 242701045 322404352 77699 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 78712 77699 394 324 0 77782 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 314848 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1514656/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=337248 CPUtime=642.04 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1959471 0 0 0 63351 853 0 0 25 0 1 0 242701045 345341952 83298 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 84312 83298 394 324 0 83382 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 337248 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1467488/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=384256 CPUtime=821.97 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1971230 0 0 0 81331 866 0 0 25 0 1 0 242701045 393478144 95057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 96064 95057 394 324 0 95134 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 384256 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1457568/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=394200 CPUtime=881.95 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1973706 0 0 0 87326 869 0 0 25 0 1 0 242701045 403660800 97533 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 98550 97533 394 324 0 97620 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 394200 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1450912/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=400840 CPUtime=941.92 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1975389 0 0 0 93322 870 0 0 25 0 1 0 242701045 410460160 99216 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 100210 99216 394 324 0 99280 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 400840 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6430 /proc/meminfo: memFree=1443936/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=407736 CPUtime=1001.9 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1977111 0 0 0 99317 873 0 0 25 0 1 0 242701045 417521664 100938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 101934 100938 394 324 0 101004 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 407736 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1438744/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=412828 CPUtime=1061.78 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1978361 0 0 0 105303 875 0 0 25 0 1 0 242701045 422735872 102188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 103207 102188 394 324 0 102277 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 412828 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1433952/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=417516 CPUtime=1121.76 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1979545 0 0 0 111299 877 0 0 25 0 1 0 242701045 427536384 103372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 104379 103372 394 324 0 103449 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 417516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1429472/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=422072 CPUtime=1181.74 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1980680 0 0 0 117296 878 0 0 25 0 1 0 242701045 432201728 104507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 105518 104507 394 324 0 104588 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 422072 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1424544/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=426888 CPUtime=1241.72 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1981873 0 0 0 123292 880 0 0 25 0 1 0 242701045 437133312 105700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 106722 105700 394 324 0 105792 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 426888 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1420064/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=431312 CPUtime=1301.7 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1982989 0 0 0 129288 882 0 0 25 0 1 0 242701045 441663488 106816 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 107828 106816 394 324 0 106898 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 431312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1417184/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=434336 CPUtime=1361.68 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1983735 0 0 0 135285 883 0 0 25 0 1 0 242701045 444760064 107562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 108584 107562 394 324 0 107654 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 434336 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1413920/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=437460 CPUtime=1421.66 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1984540 0 0 0 141282 884 0 0 25 0 1 0 242701045 447959040 108367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 109365 108367 394 324 0 108435 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 437460 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1399776/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=451756 CPUtime=1481.63 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1988105 0 0 0 147276 887 0 0 25 0 1 0 242701045 462598144 111932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 112939 111932 394 324 0 112009 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 451756 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1387616/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=463780 CPUtime=1541.6 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1991111 0 0 0 153270 890 0 0 25 0 1 0 242701045 474910720 114938 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 115945 114938 394 324 0 115015 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 463780 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1378144/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=473336 CPUtime=1601.58 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1993495 0 0 0 159265 893 0 0 25 0 1 0 242701045 484696064 117322 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 118334 117322 394 324 0 117404 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 473336 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1371232/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=480100 CPUtime=1661.56 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1995200 0 0 0 165260 896 0 0 25 0 1 0 242701045 491622400 119027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11376469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 120025 119027 394 324 0 119095 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 480100 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1364704/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=486612 CPUtime=1721.53 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1996830 0 0 0 171255 898 0 0 25 0 1 0 242701045 498290688 120657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 121653 120657 394 324 0 120723 0 Current children cumulated CPU time (s) 1721.53 Current children cumulated vsize (KiB) 486612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1358048/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=493284 CPUtime=1781.51 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1998485 0 0 0 177251 900 0 0 25 0 1 0 242701045 505122816 122312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 123321 122312 394 324 0 122391 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (KiB) 493284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6628 /proc/meminfo: memFree=1355552/2055920 swapFree=4147832/4192956 [pid=6429] ppid=6427 vsize=495760 CPUtime=1800 /proc/6429/stat : 6429 (bsolo3.0.17) R 6427 6429 5776 0 -1 4194304 1999093 0 0 0 179100 900 0 0 25 0 1 0 242701045 507658240 122920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6429/statm: 123940 122920 394 324 0 123010 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 495760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.89 CPU time (s): 1800.1 CPU user time (s): 1791.01 CPU system time (s): 9.08762 CPU usage (%): 99.9562 Max. virtual memory (cumulated for all children) (KiB): 495760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.01 system time used= 9.08762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1999096 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= 12 involuntary context switches= 4876 runsolver used 1.42078 second user time and 3.86841 second system time The end
Begin job on node33 on Mon Apr 30 15:44:16 UTC 2007 IDJOB= 432696 IDBENCH= 1695 IDSOLVER= 199 FILE ID= node33/432696-1177947855 PBS_JOBID= 4727821 Free space on /tmp= 66553 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-cycle.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432696-1177947855/instance-432696-1177947855.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-432696-1177947855 -o ROOT/results/node33/solver-432696-1177947855 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432696-1177947855/instance-432696-1177947855.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 761eaefb829e7d3bf060fd5b86600997 RANDOM SEED= 580813436 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.272 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1847744 kB Buffers: 34744 kB Cached: 84324 kB SwapCached: 13872 kB Active: 53092 kB Inactive: 90784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847744 kB SwapTotal: 4192956 kB SwapFree: 4147832 kB Dirty: 11740 kB Writeback: 0 kB Mapped: 31828 kB Slab: 49620 kB Committed_AS: 1929512 kB PageTables: 1992 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66553 MiB End job on node33 on Mon Apr 30 16:14:19 UTC 2007