Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (exit code) | 216.274 | 216.333 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb |
MD5SUM | d62742ce7b3ddc885e86cc367d20ba86 |
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 | 1.59476 |
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 | 8600 |
Total number of constraints | 2806 |
Number of constraints which are clauses | 600 |
Number of constraints which are cardinality constraints (but not clauses) | 120 |
Number of constraints which are nor clauses,nor cardinality constraints | 2086 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 450 |
Number of terms in the objective function | 5400 |
Biggest coefficient in the objective function | 1457 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 528660 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 528660 |
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 c glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 216.33 c starting to Solve 216.33 c ERROR in MIP Solver [1]
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node26/watcher-84908-1154162356 -o ROOT/results/node26/solver-84908-1154162356 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node26/84908-1154162356/instance-84908-1154162356.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.75 0.91 0.89 2/64 2509 /proc/meminfo: memFree=979392/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=2424 CPUtime=0 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 74 0 0 0 0 0 0 0 18 0 1 0 163095699 2482176 57 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12561272 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 606 69 55 40 0 11 0 [startup+10.002 s] /proc/loadavg: 0.79 0.91 0.89 2/64 2509 /proc/meminfo: memFree=972040/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=9628 CPUtime=9.99 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 19146 0 0 0 989 10 0 0 25 0 1 0 163095699 9859072 1996 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581971 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 2407 1996 221 40 0 1824 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9628 [startup+20.008 s] /proc/loadavg: 0.82 0.91 0.89 2/64 2509 /proc/meminfo: memFree=971976/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=9628 CPUtime=19.99 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 36496 0 0 0 1980 19 0 0 25 0 1 0 163095699 9859072 1996 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 2407 1996 221 40 0 1824 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9628 [startup+30.014 s] /proc/loadavg: 0.85 0.92 0.89 2/64 2509 /proc/meminfo: memFree=972040/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=9940 CPUtime=30 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 59447 0 0 0 2970 30 0 0 25 0 1 0 163095699 10178560 2074 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643594 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 2485 2074 221 40 0 1902 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 9940 [startup+40.02 s] /proc/loadavg: 0.87 0.92 0.89 2/64 2509 /proc/meminfo: memFree=972168/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=9628 CPUtime=39.99 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 78307 0 0 0 3961 38 0 0 25 0 1 0 163095699 9859072 1996 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134638789 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 2407 1996 221 40 0 1824 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 9628 [startup+50.026 s] /proc/loadavg: 0.89 0.92 0.90 2/64 2509 /proc/meminfo: memFree=968008/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13900 CPUtime=50 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 90608 0 0 0 4955 45 0 0 25 0 1 0 163095699 14233600 3089 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585612 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3475 3089 227 40 0 2892 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 13900 [startup+60.0319 s] /proc/loadavg: 0.91 0.92 0.90 2/64 2509 /proc/meminfo: memFree=968008/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13900 CPUtime=60.01 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 90608 0 0 0 5955 46 0 0 25 0 1 0 163095699 14233600 3089 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3475 3089 227 40 0 2892 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 13900 [startup+70.0379 s] /proc/loadavg: 0.92 0.92 0.90 2/64 2509 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13900 CPUtime=70.01 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 90608 0 0 0 6955 46 0 0 25 0 1 0 163095699 14233600 3089 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587971 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3475 3089 227 40 0 2892 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 13900 [startup+80.0439 s] /proc/loadavg: 0.93 0.93 0.90 2/64 2509 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13900 CPUtime=80.01 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 90608 0 0 0 7954 47 0 0 25 0 1 0 163095699 14233600 3089 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636920 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3475 3089 227 40 0 2892 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 13900 [startup+90.0499 s] /proc/loadavg: 0.94 0.93 0.90 2/64 2509 /proc/meminfo: memFree=969416/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=12240 CPUtime=90.02 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 91041 0 0 0 8954 48 0 0 25 0 1 0 163095699 12533760 2687 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3060 2687 227 40 0 2477 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 12240 [startup+100.056 s] /proc/loadavg: 0.95 0.93 0.90 2/64 2509 /proc/meminfo: memFree=969416/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=12240 CPUtime=100.02 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93101 0 0 0 9953 49 0 0 25 0 1 0 163095699 12533760 2687 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3060 2687 227 40 0 2477 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 12240 [startup+110.063 s] /proc/loadavg: 0.96 0.93 0.90 2/64 2509 /proc/meminfo: memFree=968008/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13920 CPUtime=110.03 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93509 0 0 0 10953 50 0 0 25 0 1 0 163095699 14254080 3095 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134591227 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3480 3095 227 40 0 2897 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 13920 [startup+120.069 s] /proc/loadavg: 0.96 0.93 0.90 2/64 2509 /proc/meminfo: memFree=968008/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13920 CPUtime=120.02 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93509 0 0 0 11952 50 0 0 25 0 1 0 163095699 14254080 3095 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3480 3095 227 40 0 2897 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 13920 [startup+130.075 s] /proc/loadavg: 0.97 0.94 0.90 2/64 2509 /proc/meminfo: memFree=968008/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13920 CPUtime=130.03 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93509 0 0 0 12952 51 0 0 25 0 1 0 163095699 14254080 3095 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134638995 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3480 3095 227 40 0 2897 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 13920 [startup+140.081 s] /proc/loadavg: 0.97 0.94 0.90 2/64 2511 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13920 CPUtime=140.03 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93509 0 0 0 13952 51 0 0 25 0 1 0 163095699 14254080 3095 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134638499 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3480 3095 227 40 0 2897 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 13920 [startup+150.087 s] /proc/loadavg: 0.98 0.94 0.91 2/64 2511 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13920 CPUtime=150.04 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93509 0 0 0 14952 52 0 0 25 0 1 0 163095699 14254080 3095 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643678 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3480 3095 227 40 0 2897 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 13920 [startup+160.093 s] /proc/loadavg: 0.98 0.94 0.91 2/64 2511 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13920 CPUtime=160.04 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93509 0 0 0 15951 53 0 0 25 0 1 0 163095699 14254080 3095 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134640047 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3480 3095 227 40 0 2897 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 13920 [startup+170.099 s] /proc/loadavg: 0.98 0.94 0.91 2/64 2511 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13920 CPUtime=170.05 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 93509 0 0 0 16951 54 0 0 25 0 1 0 163095699 14254080 3095 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134640028 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3480 3095 227 40 0 2897 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 13920 [startup+180.105 s] /proc/loadavg: 0.98 0.94 0.91 2/64 2511 /proc/meminfo: memFree=969416/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=12240 CPUtime=180.05 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 94790 0 0 0 17950 55 0 0 25 0 1 0 163095699 12533760 2687 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3060 2687 227 40 0 2477 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 12240 [startup+190.111 s] /proc/loadavg: 0.99 0.94 0.91 2/64 2511 /proc/meminfo: memFree=969416/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=12240 CPUtime=190.05 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 96898 0 0 0 18949 56 0 0 25 0 1 0 163095699 12533760 2687 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542168 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3060 2687 227 40 0 2477 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 12240 [startup+200.117 s] /proc/loadavg: 0.99 0.95 0.91 2/64 2511 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13944 CPUtime=200.06 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 97740 0 0 0 19948 58 0 0 25 0 1 0 163095699 14278656 3103 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134580395 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3486 3103 227 40 0 2903 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 13944 [startup+210.123 s] /proc/loadavg: 0.99 0.95 0.91 2/64 2511 /proc/meminfo: memFree=967944/2055920 swapFree=4177816/4192956 [pid=2509] ppid=2507 vsize=13944 CPUtime=210.06 /proc/2509/stat : 2509 (glpPBv3) R 2507 2509 2460 0 -1 0 97740 0 0 0 20948 58 0 0 25 0 1 0 163095699 14278656 3103 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2509/statm: 3486 3103 227 40 0 2903 0 Current children cumulated CPU time (s) 210.06 Current children cumulated vsize (Kb) 13944 Child status: 10 Real time (s): 216.333 CPU time (s): 216.274 CPU user time (s): 215.68 CPU system time (s): 0.593909 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 13944 The end
Begin job on node26 on Sat Jul 29 08:39:16 UTC 2006 FILE ID= 84908-1154162356 PBS_JOBID= 892682 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-neos11.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node26/84908-1154162356/instance-84908-1154162356.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-84908-1154162356 -o ROOT/results/node26/solver-84908-1154162356 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node26/84908-1154162356/instance-84908-1154162356.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= d62742ce7b3ddc885e86cc367d20ba86 RANDOM SEED= 131310990 TIMEOUT= 1800 seconds /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.225 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.225 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: 979600 kB Buffers: 41964 kB Cached: 949988 kB SwapCached: 8804 kB Active: 192212 kB Inactive: 813684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 979600 kB SwapTotal: 4192956 kB SwapFree: 4177816 kB Dirty: 276 kB Writeback: 0 kB Mapped: 14468 kB Slab: 56500 kB Committed_AS: 763368 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node26 on Sat Jul 29 08:42:53 UTC 2006