Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.07 | 1800.66 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-stair.opb |
MD5SUM | 98b9ab286036da69f2015d2ff2a12818 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 18.3192 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 11454 |
Total number of constraints | 362 |
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 | 362 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 810 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
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 | 524930 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/362771-1177017889/instance-362771-1177017889.opb 0.00/0.01 c File size is 794556 bytes. 0.09/0.15 c Highest Coefficient sum: 524930 0.09/0.15 c Parsing was ok!! 0.09/0.15 c Total parsing time: 0.147 s 0.09/0.16 c Var: 11454 Constr: 571 1/0/570 Lit: 112673 Watch. Lit: 37268 0.09/0.16 c Obj. Vars: 30 (0.261917 % of total variables) 1.28/1.39 c Pre-processing Time: 1.38 s 1.28/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.39 c 0 9853 571 111015 194 86489 221070 0 0 1.38 1.28/1.39 c Switching off LPR mode. 1799.91/1800.58 c 101 9853 672 114844 170 103742 243178 101 69 1.46 1799.91/1800.58 c 252 9853 823 123649 150 104196 267496 252 162 1.55 1799.91/1800.58 c 478 9853 1049 136987 130 104378 294246 478 285 1.67 1799.91/1800.58 c 817 9853 1388 160216 115 105298 323671 817 455 1.79 1799.91/1800.58 c 1325 9853 1896 192407 101 105800 356039 1325 612 2.17 1799.91/1800.58 c 2090 9853 2661 247402 92 107402 391643 2090 697 3.00 1799.91/1800.58 c 3236 9853 3807 297433 78 109507 430808 3236 942 3.43 1799.91/1800.58 c 4959 9853 5530 436444 78 113445 473889 4959 1086 4.57 1799.91/1800.58 c 7544 9853 8115 654555 80 118634 521278 7544 1428 5.28 1799.91/1800.58 c 11423 9853 11994 932216 77 126092 573406 11423 1515 7.54 1799.91/1800.58 c 17245 9853 17816 1198639 67 137727 630747 17245 1733 9.95 1799.91/1800.58 c 25989 9852 26560 1555615 58 155359 693822 25989 1668 15.58 1799.91/1800.58 c 39100 9852 39671 2229269 56 181429 763205 39100 1135 34.44 1799.91/1800.58 c 58770 9839 59341 3795976 63 224158 839526 58770 944 62.20 1799.91/1800.58 c 88281 9839 88852 4964857 55 283566 923479 88281 572 154.23 1799.91/1800.58 c 132551 9838 133122 7720653 57 370815 500000 132551 482 274.66 1799.91/1800.58 c 198964 9838 199535 11205616 56 503296 550001 198964 357 556.79 1799.91/1800.58 c 298584 9834 299155 15733842 52 702303 605002 298584 251 1185.57 1799.91/1800.58 c 448019 9833 448590 23411323 52 1002107 665503 448019 272 1641.46 1799.91/1800.58 c Resources Exceeded 1799.91/1800.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.91/1800.58 c 19 486135 79059 790849 486706 26605510 486135 270 1800.00 1799.91/1800.58 s UNKNOWN 1799.91/1800.58 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-362771-1177017889 -o ROOT/results/node3/solver-362771-1177017889 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362771-1177017889/instance-362771-1177017889.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: 1.05 1.01 1.00 3/77 17477 /proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=20324 CPUtime=0 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 362 0 3 0 0 0 0 0 18 0 1 0 177826647 20811776 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 5081 333 281 324 0 3956 0 [startup+0.020094 s] /proc/loadavg: 1.05 1.01 1.00 3/77 17477 /proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=12788 CPUtime=0 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 439 0 3 0 0 0 0 0 18 0 1 0 177826647 13094912 410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 3197 410 295 324 0 2072 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12788 [startup+0.102117 s] /proc/loadavg: 1.05 1.01 1.00 3/77 17477 /proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=5908 CPUtime=0.09 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 800 0 3 0 9 0 0 0 18 0 1 0 177826647 6049792 771 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 1477 771 406 324 0 352 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5908 [startup+0.30214 s] /proc/loadavg: 1.05 1.01 1.00 3/77 17477 /proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=9020 CPUtime=0.29 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 1811 0 3 0 28 1 0 0 19 0 1 0 177826647 9236480 1588 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 2255 1588 306 324 0 1324 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9020 [startup+0.701204 s] /proc/loadavg: 1.05 1.01 1.00 3/77 17477 /proc/meminfo: memFree=1777888/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=9152 CPUtime=0.69 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 1831 0 3 0 68 1 0 0 22 0 1 0 177826647 9371648 1608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 2288 1608 306 324 0 1357 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9152 [startup+1.50134 s] /proc/loadavg: 1.05 1.01 1.00 2/78 17478 /proc/meminfo: memFree=1770136/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=10756 CPUtime=1.49 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 2355 0 3 0 147 2 0 0 25 0 1 0 177826647 11014144 2042 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 2689 2042 312 324 0 1758 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10756 [startup+3.10159 s] /proc/loadavg: 1.04 1.01 1.00 2/78 17478 /proc/meminfo: memFree=1770072/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=11808 CPUtime=3.08 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 2604 0 3 0 306 2 0 0 25 0 1 0 177826647 12091392 2291 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 2952 2291 312 324 0 2021 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11808 [startup+6.30112 s] /proc/loadavg: 1.04 1.01 1.00 2/78 17478 /proc/meminfo: memFree=1762968/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=19480 CPUtime=6.28 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 4540 0 3 0 624 4 0 0 25 0 1 0 177826647 19947520 4227 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 4870 4227 312 324 0 3939 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19480 [startup+12.7012 s] /proc/loadavg: 1.04 1.01 1.00 2/78 17478 /proc/meminfo: memFree=1753752/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=27448 CPUtime=12.67 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 6507 0 3 0 1262 5 0 0 25 0 1 0 177826647 28106752 6194 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 6862 6194 312 324 0 5931 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 27448 [startup+25.5012 s] /proc/loadavg: 1.03 1.01 1.00 2/78 17478 /proc/meminfo: memFree=1743576/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=37384 CPUtime=25.47 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 8988 0 3 0 2537 10 0 0 25 0 1 0 177826647 38281216 8675 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 9346 8675 312 324 0 8415 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 37384 [startup+51.1024 s] /proc/loadavg: 1.02 1.01 1.00 2/78 17478 /proc/meminfo: memFree=1732440/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=48608 CPUtime=51.06 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 11791 0 3 0 5091 15 0 0 25 0 1 0 177826647 49774592 11478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 12152 11478 312 324 0 11221 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 48608 [startup+102.306 s] /proc/loadavg: 1.01 1.00 1.00 2/78 17478 /proc/meminfo: memFree=1706904/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=73904 CPUtime=102.25 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 18130 0 3 0 10200 25 0 0 25 0 1 0 177826647 75677696 17817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 18476 17817 312 324 0 17545 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 73904 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17478 /proc/meminfo: memFree=1696920/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=84140 CPUtime=162.22 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 20685 0 3 0 16190 32 0 0 25 0 1 0 177826647 86159360 20372 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 21035 20372 312 324 0 20104 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 84140 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17478 /proc/meminfo: memFree=1677528/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=103172 CPUtime=222.21 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 25459 0 3 0 22179 42 0 0 25 0 1 0 177826647 105648128 25146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 25793 25146 312 324 0 24862 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 103172 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17478 /proc/meminfo: memFree=1656088/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=124832 CPUtime=282.19 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 30856 0 3 0 28166 53 0 0 25 0 1 0 177826647 127827968 30543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 31208 30543 312 324 0 30277 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 124832 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17478 /proc/meminfo: memFree=1640088/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=140540 CPUtime=342.17 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 34795 0 3 0 34157 60 0 0 25 0 1 0 177826647 143912960 34482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11355989 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 35135 34482 312 324 0 34204 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 140540 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1630552/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=150012 CPUtime=402.15 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 37166 0 3 0 40148 67 0 0 25 0 1 0 177826647 153612288 36853 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 37503 36853 312 324 0 36572 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 150012 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1618392/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=162192 CPUtime=462.13 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 40218 0 3 0 46139 74 0 0 25 0 1 0 177826647 166084608 39905 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 40548 39905 312 324 0 39617 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 162192 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1609816/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=170744 CPUtime=522.11 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 42347 0 3 0 52132 79 0 0 25 0 1 0 177826647 174841856 42034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 42686 42034 312 324 0 41755 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 170744 [startup+582.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 17480 /proc/meminfo: memFree=1601560/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=179032 CPUtime=582.1 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 44405 0 3 0 58126 84 0 0 25 0 1 0 177826647 183328768 44092 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 44758 44092 312 324 0 43827 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 179032 [startup+642.302 s] /proc/loadavg: 1.05 1.02 1.00 2/78 17480 /proc/meminfo: memFree=1591448/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=188940 CPUtime=642.08 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 46910 0 3 0 64119 89 0 0 25 0 1 0 177826647 193474560 46597 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 47235 46597 312 324 0 46304 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 188940 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17480 /proc/meminfo: memFree=1569560/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=210736 CPUtime=822.02 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 52357 0 3 0 82098 104 0 0 25 0 1 0 177826647 215793664 52044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 52684 52044 312 324 0 51753 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 210736 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1561944/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=218320 CPUtime=882 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 54238 0 3 0 88090 110 0 0 25 0 1 0 177826647 223559680 53925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 54580 53925 312 324 0 53649 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 218320 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1556504/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=223800 CPUtime=941.98 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 55607 0 3 0 94084 114 0 0 25 0 1 0 177826647 229171200 55294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 55950 55294 312 324 0 55019 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 223800 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1551256/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=228988 CPUtime=1001.96 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 56918 0 3 0 100078 118 0 0 25 0 1 0 177826647 234483712 56605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 57247 56605 312 324 0 56316 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 228988 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1546200/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=234060 CPUtime=1061.95 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 58191 0 3 0 106072 123 0 0 25 0 1 0 177826647 239677440 57878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 58515 57878 312 324 0 57584 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 234060 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1541464/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=238744 CPUtime=1121.92 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 59352 0 3 0 112066 126 0 0 25 0 1 0 177826647 244473856 59039 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 59686 59039 312 324 0 58755 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 238744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1537496/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=242668 CPUtime=1181.9 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 60342 0 3 0 118061 129 0 0 25 0 1 0 177826647 248492032 60029 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 60667 60029 312 324 0 59736 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 242668 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1522392/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=257904 CPUtime=1241.89 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 64128 0 3 0 124046 143 0 0 25 0 1 0 177826647 264093696 63815 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 64476 63815 312 324 0 63545 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 257904 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1511832/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=268164 CPUtime=1301.87 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 66715 0 3 0 130034 153 0 0 25 0 1 0 177826647 274599936 66402 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 67041 66402 312 324 0 66110 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 268164 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1500120/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=280144 CPUtime=1361.85 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 69683 0 3 0 136024 161 0 0 25 0 1 0 177826647 286867456 69370 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 70036 69370 312 324 0 69105 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 280144 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1490520/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=289512 CPUtime=1421.83 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 72036 0 3 0 142017 166 0 0 25 0 1 0 177826647 296460288 71723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 72378 71723 312 324 0 71447 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 289512 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1482776/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=297308 CPUtime=1481.81 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 73974 0 3 0 148009 172 0 0 25 0 1 0 177826647 304443392 73661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 74327 73661 312 324 0 73396 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 297308 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1476696/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=303268 CPUtime=1541.79 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 75471 0 3 0 154003 176 0 0 25 0 1 0 177826647 310546432 75158 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 75817 75158 312 324 0 74886 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 303268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1438616/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=341588 CPUtime=1601.78 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 85051 0 3 0 159987 191 0 0 25 0 1 0 177826647 349786112 84738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 85397 84738 312 324 0 84466 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 341588 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1412632/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=367196 CPUtime=1661.75 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 91462 0 3 0 165975 200 0 0 25 0 1 0 177826647 376008704 91149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 91799 91149 312 324 0 90868 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 367196 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 17480 /proc/meminfo: memFree=1393240/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=386732 CPUtime=1721.74 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 96338 0 3 0 171965 209 0 0 25 0 1 0 177826647 396013568 96025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 96683 96025 312 324 0 95752 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 386732 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 17480 /proc/meminfo: memFree=1379672/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=400156 CPUtime=1781.72 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194304 99690 0 3 0 177956 216 0 0 25 0 1 0 177826647 409759744 99377 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 100039 99377 312 324 0 99108 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 400156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.00 1.00 2/78 17480 /proc/meminfo: memFree=1493612/2055920 swapFree=4140760/4192956 [pid=17477] ppid=17475 vsize=0 CPUtime=1800.02 /proc/17477/stat : 17477 (bsolo3.0.16) R 17475 17477 17035 0 -1 4194308 100459 0 3 0 179783 219 0 0 25 0 1 0 177826647 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17477/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.07 CPU user time (s): 1797.83 CPU system time (s): 2.23466 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 403140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.83 system time used= 2.23466 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100459 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 2898 runsolver used 2.12068 second user time and 4.17136 second system time The end
Begin job on node3 on Thu Apr 19 21:24:49 UTC 2007 IDJOB= 362771 IDBENCH= 1638 IDSOLVER= 163 FILE ID= node3/362771-1177017889 PBS_JOBID= 4630590 Free space on /tmp= 66354 MiB SOLVER NAME= bsolo 3.0.16 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-stair.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362771-1177017889/instance-362771-1177017889.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-362771-1177017889 -o ROOT/results/node3/solver-362771-1177017889 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362771-1177017889/instance-362771-1177017889.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 98b9ab286036da69f2015d2ff2a12818 RANDOM SEED= 763384084 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1778232 kB Buffers: 25680 kB Cached: 187220 kB SwapCached: 15104 kB Active: 74928 kB Inactive: 161236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778232 kB SwapTotal: 4192956 kB SwapFree: 4140760 kB Dirty: 5244 kB Writeback: 0 kB Mapped: 30368 kB Slab: 27012 kB Committed_AS: 5307312 kB PageTables: 1784 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= 66354 MiB End job on node3 on Thu Apr 19 21:54:52 UTC 2007