Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb |
MD5SUM | f21790975377e0e8ad4411581000a671 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 1442 |
Biggest coefficient in the objective function | 25807666597068800000 |
Number of bits for the biggest coefficient in the objective function | 65 |
Sum of the numbers in the objective function | 217111455784720203776 |
Number of bits of the sum of numbers in the objective function | 68 |
Biggest number in a constraint | 25807666597068800000 |
Number of bits of the biggest number in a constraint | 65 |
Biggest sum of numbers in a constraint | 217111455784720203776 |
Number of bits of the biggest sum of numbers | 68 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.530919 |
Number of variables | 15742 |
Total number of constraints | 535 |
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 | 535 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 522 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-09 03:59:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29043 boxname=wulflinc1 idbench=827 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: f21790975377e0e8ad4411581000a671 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-etamacro.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-etamacro.opb IDLAUNCH: 29043 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 856324 kB Buffers: 22616 kB Cached: 131296 kB SwapCached: 1128 kB Active: 26028 kB Inactive: 130048 kB HighTotal: 131008 kB HighFree: 5824 kB LowTotal: 903652 kB LowFree: 850500 kB SwapTotal: 2097136 kB SwapFree: 2094812 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5196 kB Slab: 16492 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 03:59:05 (client local time) WITH STATUS 0 IN 0.704892 SECONDS stats: 29043 7 0.704892 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -25*QNATU100_bit_10 -50*QNATU100_bit_9 -100*QNATU100_bit_8 -200*QNATU100_bit_7 -400*QNATU100_bit_6 -800*QNATU100_bit_5 -1600*QNATU100_bit_4 -3200*QNATU100_bit_3 -6400*QNATU100_bit_2 -12800*QNATU100_bit_1 -25600*QNATU100_bit0 -51200*QNATU100_bit1 -102400*QNATU100_bit2 -204800*QNATU100_bit3 -409600*QNATU100_bit4 -819200*QNATU100_bit5 -1638400*QNATU100_bit6 -3276800*QNATU100_bit7 -6553600*QNATU100_bit8 -13107200*QNATU100_bit9 -26214400*QNATU100_bit10 -52428800*QNATU100_bit11 -104857600*QNATU100_bit12 -209715200*QNATU100_bit13 -419430400*QNATU100_bit14 -838860800*QNATU100_bit15 -1677721600*QNATU100_bit16 -3355443200*QNATU100_bit17 -6710886400*QNATU100_bit18 -13421772800*QNATU100_bit19 -25*QNATU105_bit_10 -50*QNATU105_bit_9 -100*QNATU105_bit_8 -200*QNATU105_bit_7 -400*QNATU105_bit_6 -800*QNATU105_bit_5 -1600*QNATU105_bit_4 -3200*QNATU105_bit_3 -6400*QNATU105_bit_2 -12800*QNATU105_bit_1 -25600*QNATU105_bit0 -51200*QNATU105_bit1 -102400*QNATU105_bit2 -204800*QNATU105_bit3 -409600*QNATU105_bit4 -819200*QNATU105_bit5 -1638400*QNATU105_bit6 -3276800*QNATU105_bit7 -6553600*QNATU105_bit8 -13107200*QNATU105_bit9 -26214400*QNATU105_bit10 -52428800*QNATU105_bit11 -104857600*QNATU105_bit12 -209715200*QNATU105_bit13 -419430400*QNATU105_bit14 -838860800*QNATU105_bit15 -1677721600*QNATU105_bit16 -3355443200*QNATU105_bit17 -6710886400*QNATU105_bit18 -13421772800*QNATU105_bit19 -25*QNATU110_bit_10 -50*QNATU110_bit_9 -100*QNATU110_bit_8 -200*QNATU110_bit_7 -400*QNATU110_bit_6 -800*QNATU110_bit_5 -1600*QNATU110_bit_4 -3200*QNATU110_bit_3 -6400*QNATU110_bit_2 -12800*QNATU110_bit_1 -25600*QNATU110_bit0 -51200*QNATU110_bit1 -102400*QNATU110_bit2 -204800*QNATU110_bit3 -409600*QNATU110_bit4 -819200*QNATU110_bit5 -1638400*QNATU110_bit6 -3276800*QNATU110_bit7 -6553600*QNATU110_bit8 -13107200*QNATU110_bit9 -26214400*QNATU110_bit10 -52428800*QNATU110_bit11 -104857600*QNATU110_bit12 -209715200*QNATU110_bit13 -419430400*QNATU110_bit14 -838860800*QNATU110_bit15 -1677721600*QNATU110_bit16 -3355443200*QNATU110_bit17 -6710886400*QNATU110_bit18 -13421772800*QNATU110_bit19 -25*QNATU115_bit_10 -50*QNATU115_bit_9 -100*QNATU115_bit_8 -200*QNATU115_bit_7 -400*QNATU115_bit_6 -800*QNATU115_bit_5 -1600*QNATU115_bit_4 -3200*QNATU115_bit_3 -6400*QNATU115_bit_2 -12800*QNATU115_bit_1 -25600*QNATU115_bit0 -51200*QNATU115_bit1 -102400*QNATU115_bit2 -204800*QNATU115_bit3 -409600*QNATU115_bit4 -819200*QNATU115_bit5 -1638400*QNATU115_bit6 -3276800*QNATU115_bit7 -6553600*QNATU115_bit8 -13107200*QNATU115_bit9 -26214400*QNATU115_bit10 -52428800*QNATU115_bit11 -104857600*QNATU115_bit12 -209715200*QNATU115_bit13 -419430400*QNATU115_bit14 -838860800*QNATU115_bit15 -1677721600*QNATU115_bit16 -3355443200*QNATU115_bit17 -6710886400*QNATU115_bit18 -13421772800*QNATU115_bit19 -25*QNATU120_bit_10 -50*QNATU120_bit_9 -100*QNATU120_bit_8 -200*QNATU120_bit_7 -400*QNATU120_bit_6 -800*QNATU120_bit_5 -1600*QNATU120_bit_4 -3200*QNATU120_bit_3 -6400*QNATU120_bit_2 -12800*QNATU120_bit_1 -25600*QNATU120_bit0 -51200*QNATU120_bit1 -102400*QNATU120_bit2 -204800*QNATU120_bit3 -409600*QNATU120_bit4 -819200*QNATU120_bit5 -1638400*QNATU120_bit6 -3276800*QNATU120_bit7 -6553600*QNATU120_bit8 -13107200*QNATU120_bit9 -26214400*QNATU120_bit10 -52428800*QNATU120_bit11 -104857600*QNATU120_bit12 -209715200*QNATU120_bit13 -419430400*QNATU120_bit14 -838860800*QNATU120_bit15 -1677721600*QNATU120_bit16 -3355443200*QNATU120_bit17 -6710886400*QNATU120_bit18 -13421772800*QNATU120_bit19 -25*QNATU125_bit_10 -50*QNATU125_bit_9 -100*QNATU125_bit_8 -200*QNATU125_bit_7 -400*QNATU125_bit_6 -800*QNATU125_bit_5 -1600*QNATU125_bit_4 -3200*QNATU125_bit_3 -6400*QNATU125_bit_2 -12800*QNATU125_bit_1 -25600*QNATU125_bit0 -51200*QNATU125_bit1 -102400*QNATU125_bit2 -204800*QNATU125_bit3 -409600*QNATU125_bit4 -819200*QNATU125_bit5 -1638400*QNATU125_bit6 -3276800*QNATU125_bit7 -6553600*QNATU125_bit8 -13107200*QNATU125_bit9 -26214400*QNATU125_bit10 -52428800*QNATU125_bit11 -104857600*QNATU125_bit12 -209715200*QNATU125_bit13 -419430400*QNATU125_bit14 -838860800*QNATU125_bit15 -1677721600*QNATU125_bit16 -3355443200*QNATU125_bit17 -6710886400*QNATU125_bit18 -13421772800*QNATU125_bit19 -25*QNATU130_bit_10 -50*QNATU130_bit_9 -100*QNATU130_bit_8 -200*QNATU130_bit_7 -400*QNATU130_bit_6 -800*QNATU130_bit_5 -1600*QNATU130_bit_4 -3200*QNATU130_bit_3 -6400*QNATU130_bit_2 -12800*QNATU130_bit_1 -25600*QNATU130_bit0 -51200*QNATU130_bit1 -102400*QNATU130_bit2 -204800*QNATU130_bit3 -409600*QNATU130_bit4 -819200*QNATU130_bit5 -1638400*QNATU130_bit6 -3276800*QNATU130_bit7 -6553600*QNATU130_bit8 -13107200*QNATU130_bit9 -26214400*QNATU130_bit10 -52428800*QNATU130_bit11 -104857600*QNATU130_bit12 -209715200*QNATU130_bit13 -419430400*QNATU130_bit14 -838860800*QNATU130_bit15 -1677721600*QNATU130_bit16 -3355443200*QNATU130_bit17 -6710886400*QNATU130_bit18 -13421772800*QNATU130_bit19 -25*QNATU135_bit_10 -50*QNATU135_bit_9 -100*QNATU135_bit_8 -200*QNATU135_bit_7 -400*QNATU135_bit_6 -800*QNATU135_bit_5 -1600*QNATU135_bit_4 -3200*QNATU135_bit_3 -6400*QNATU135_bit_2 -12800*QNATU135_bit_1 -25600*QNATU135_bit0 -51200*QNATU135_bit1 -102400*QNATU135_bit2 -204800*QNATU135_bit3 -409600*QNATU135_bit4 -819200*QNATU135_bit5 -1638400*QNATU135_bit6 -3276800*QNATU135_bit7 -6553600*QNATU135_bit8 -13107200*QNATU135_bit9 -26214400*QNATU135_bit10 -52428800*QNATU135_bit11 -104857600*QNATU135_bit12 -209715200*QNATU135_bit13 -419430400*QNATU135_bit14 -838860800*QNATU135_bit15 -1677721600*QNATU135_bit16 -3355443200*QNATU135_bit17 -6710886400*QNATU135_bit18 -13421772800*QNATU135_bit19 -25*QNATU140_bit_10 -50*QNATU140_bit_9 -100*QNATU140_bit_8 -200*QNATU140_bit_7 -400*QNATU140_bit_6 -800*QNATU140_bit_5 -1600*QNATU140_bit_4 -3200*QNATU140_bit_3 -6400*QNATU140_bit_2 -12800*QNATU140_bit_1 -25600*QNATU140_bit0 -51200*QNATU140_bit1 -102400*QNATU140_bit2 -204800*QNATU140_bit3 -409600*QNATU140_bit4 -819200*QNATU140_bit5 -1638400*QNATU140_bit6 -3276800*QNATU140_bit7 -6553600*QNATU140_bit8 -13107200*QNATU140_bit9 -26214400*QNATU140_bit10 -52428800*QNATU140_bit11 -104857600*QNATU140_bit12 -209715200*QNATU140_bit13 -419430400*QNATU140_bit14 -838860800*QNATU140_bit15 -1677721600*QNATU140_bit16 -3355443200*QNATU140_bit17 -6710886400*QNATU140_bit18 -13421772800*QNATU140_bit19 -25*QNATU145_bit_10 -50*QNATU145_bit_9 -100*QNATU145_bit_8 -200*QNATU145_bit_7 -400*QNATU145_bit_6 -800*QNATU145_bit_5 -1600*QNATU145_bit_4 -3200*QNATU145_bit_3 -6400*QNATU145_bit_2 -12800*QNATU145_bit_1 -25600*QNATU145_bit0 -51200*QNATU145_bit1 -102400*QNATU145_bit2 -204800*QNATU145_bit3 -409600*QNATU145_bit4 -819200*QNATU145_bit5 -1638400*QNATU145_bit6 -3276800*QNATU145_bit7 -6553600*QNATU145_bit8 -13107200*QNATU145_bit9 -26214400*QNATU145_bit10 -52428800*QNATU145_bit11 -104857600*QNATU145_bit12 -209715200*QNATU145_bit13 -419430400*QNATU145_bit14 -838860800*QNATU145_bit15 -1677721600*QNATU145_bit16 -3355443200*QNATU145_bit17 -6710886400*QNATU145_bit18 -13421772800*QNATU145_bit19 -25*QNATU150_bit_10 -50*QNATU150_bit_9 -100*QNATU150_bit_8 -200*QNATU150_bit_7 -400*QNATU150_bit_6 -800*QNATU150_bit_5 -1600*QNATU150_bit_4 -3200*QNATU150_bit_3 -6400*QNATU150_bit_2 -12800*QNATU150_bit_1 -25600*QNATU150_bit0 -51200*QNATU150_bit1 -102400*QNATU150_bit2 -204800*QNATU150_bit3 -409600*QNATU150_bit4 -819200*QNATU150_bit5 -1638400*QNATU150_bit6 -3276800*QNATU150_bit7 -6553600*QNATU150_bit8 -13107200*QNATU150_bit9 -26214400*QNATU150_bit10 -52428800*QNATU150_bit11 -104857600*QNATU150_bit12 -209715200*QNATU150_bit13 -419430400*QNATU150_bit14 -838860800*QNATU150_bit15 -1677721600*QNATU150_bit16 -3355443200*QNATU150_bit17 -6710886400*QNATU150_bit18 -13421772800*QNATU150_bit19 -25*QNATU155_bit_10 -50*QNATU155_bit_9 -100*QNATU155_bit_8 -200*QNATU155_bit_7 -400*QNATU155_bit_6 -800*QNATU155_bit_5 -1600*QNATU155_bit_4 -3200*QNATU155_bit_3 -6400*QNATU155_bit_2 -12800*QNATU155_bit_1 -25600*QNATU155_bit0 -51200*QNATU155_bit1 -102400*QNATU155_bit2 -204800*QNATU155_bit3 -409600*QNATU155_bit4 -819200*QNATU155_bit5 -1638400*QNATU155_bit6 -3276800*QNATU155_bit7 -6553600*QNATU155_bit8 -13107200*QNATU155_bit9 -26214400*QNATU155_bit10 -52428800*QNATU155_bit11 -104857600*QNATU155_bit12 -209715200*QNATU155_bit13 -419430400*QNATU155_bit14 -838860800*QNATU155_bit15 -1677721600*QNATU155_bit16 -3355443200*QNATU155_bit17 -6710886400*QNATU155_bit18 -13421772800*QNATU155_bit19 -25*QNATU160_bit_10 -50*QNATU160_bit_9 -100*QNATU160_bit_8 -200*QNATU160_bit_7 -400*QNATU160_bit_6 -800*QNATU160_bit_5 -1600*QNATU160_bit_4 -3200*QNATU160_bit_3 -6400*QNATU160_bit_2 -12800*QNATU160_bit_1 -25600*QNATU160_bit0 -51200*QNATU160_bit1 -102400*QNATU160_bit2 -204800*QNATU160_bit3 -409600*QNATU160_bit4 -819200*QNATU160_bit5 -1638400*QNATU160_bit6 -3276800*QNATU160_bit7 -6553600*QNATU160_bit8 -13107200*QNATU160_bit9 -26214400*QNATU160_bit10 -52428800*QNATU160_bit11 -104857600*QNATU160_bit12 -209715200*QNATU160_bit13 -419430400*QNATU160_bit14 -838860800*QNATU160_bit15 -1677721600*QNATU160_bit16 -3355443200*QNATU160_bit17 -6710886400*QNATU160_bit18 -13421772800*QNATU160_bit19 -25*QNATU165_bit_10 -50*QNATU165_bit_9 -100*QNATU165_bit_8 -200*QNATU165_bit_7 -400*QNATU165_bit_6 -800*QNATU165_bit_5 -1600*QNATU165_bit_4 -3200*QNATU165_bit_3 -6400*QNATU165_bit_2 -12800*QNATU165_bit_1 -25600*QNATU165_bit0 -51200*QNATU165_bit1 -102400*QNATU165_bit2 -204800*QNATU165_bit3 -409600*QNATU165_bit4 -819200*QNATU165_bit5 -1638400*QNATU165_bit6 -3276800*QNATU165_bit7 -6553600*QNATU165_bit8 -13107200*QNATU165_bit9 -26214400*QNATU165_bit10 -52428800*QNATU165_bit11 -104857600*QNATU165_bit12 -209715200*QNATU165_bit13 -419430400*QNATU165_bit14 -838860800*QNATU165_bit15 -1677721600*QNATU165_bit16 -3355443200*QNATU165_bit17 -6710886400*QNATU165_bit18 -13421772800*QNATU165_bit19 -25*QNATU170_bit_10 -50*QNATU170_bit_9 -100*QNATU170_bit_8 -200*QNATU170_bit_7 -400*QNATU170_bit_6 -800*QNATU170_bit_5 -1600*QNATU170_bit_4 -3200*QNATU170_bit_3 -6400*QNATU170_bit_2 -12800*QNATU170_bit_1 -25600*QNATU170_bit0 -51200*QNATU170_bit1 -102400*QNATU170_bit2 -204800*QNATU170_bit3 -409600*QNATU170_bit4 -819200*QNATU170_bit5 -1638400*QNATU170_bit6 -3276800*QNATU170_bit7 -6553600*QNATU170_bit8 -13107200*QNATU170_bit9 -26214400*QNATU170_bit10 -52428800*QNATU170_bit11 -104857600*QNATU170_bit12 -209715200*QNATU170_bit13 -419430400*QNATU170_bit14 -838860800*QNATU170_bit15 -1677721600*QNATU170_bit16 -3355443200*QNATU170_bit17 -6710886400*QNATU170_bit18 -13421772800*QNATU170_bit19 -25*QNATU175_bit_10 -50*QNATU175_bit_9 -100*QNATU175_bit_8 -200*QNATU175_bit_7 -400*QNATU175_bit_6 -800*QNATU175_bit_5 -1600*QNATU175_bit_4 -3200*QNATU175_bit_3 -6400*QNATU175_bit_2 -12800*QNATU175_bit_1 -25600*QNATU175_bit0 -51200*QNATU175_bit1 -102400*QNATU175_bit2 -204800*QNATU175_bit3 -409600*QNATU175_bit4 -819200*QNATU175_bit5 -1638400*QNATU175_bit6 -3276800*QNATU175_bit7 -6553600*QNATU175_bit8 -13107200*QNATU175_bit9 -26214400*QNATU175_bit10 -52428800*QNATU175_bit11 -104857600*QNATU175_bit12 -209715200*QNATU175_bit13 -419430400*QNATU175_bit14 -838860800*QNATU175_bit15 -1677721600*QNATU175_bit16 -3355443200*QNATU175_bit17 -6710886400*QNATU175_bit18 -13421772800*QNATU175_bit19 >= -13312; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-etamacro.opb s UNKNOWN c Exit Code: 0 c Total time: 0.694 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.80 0.92 0.89 2/55 29568 Raw data (stat): 29568 (runsolver) R 29567 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850363030 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+0.727761 s] Raw data (loadavg): 0.80 0.92 0.89 1/54 29568 Raw data (stat): 29568 (runsolver) R 29567 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850363030 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 0 Child status: 0 Real time (s): 0.72748 CPU time (s): 0.704892 CPU user time (s): 0.642902 CPU system time (s): 0.06199 CPU usage (%): 96.895 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####