Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bore3d.opb |
MD5SUM | 2cd5382c1facbd4a9351d3d22fa716c6 |
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 | 2617 |
Biggest coefficient in the objective function | 18004229637537792 |
Number of bits for the biggest coefficient in the objective function | 54 |
Sum of the numbers in the objective function | 118634341295805038 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 18004229637537792 |
Number of bits of the biggest number in a constraint | 54 |
Biggest sum of numbers in a constraint | 118634341295805038 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.085986 |
Number of variables | 9277 |
Total number of constraints | 244 |
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 | 244 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 2190 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-09 03:43:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29032 boxname=wulflinc4 idbench=816 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 2cd5382c1facbd4a9351d3d22fa716c6 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bore3d.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bore3d.opb IDLAUNCH: 29032 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 899848 kB Buffers: 30556 kB Cached: 82356 kB SwapCached: 1192 kB Active: 29912 kB Inactive: 85396 kB HighTotal: 131008 kB HighFree: 47628 kB LowTotal: 903652 kB LowFree: 852220 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4912 kB Slab: 13800 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 03:43:36 (client local time) WITH STATUS 0 IN 1.3458 SECONDS stats: 29032 7 1.3458 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -100000*M6H_0x2e_FPXI_bit_10 -200000*M6H_0x2e_FPXI_bit_9 -400000*M6H_0x2e_FPXI_bit_8 -800000*M6H_0x2e_FPXI_bit_7 -1600000*M6H_0x2e_FPXI_bit_6 -3200000*M6H_0x2e_FPXI_bit_5 -6400000*M6H_0x2e_FPXI_bit_4 -12800000*M6H_0x2e_FPXI_bit_3 -25600000*M6H_0x2e_FPXI_bit_2 -51200000*M6H_0x2e_FPXI_bit_1 -102400000*M6H_0x2e_FPXI_bit0 -204800000*M6H_0x2e_FPXI_bit1 -409600000*M6H_0x2e_FPXI_bit2 -819200000*M6H_0x2e_FPXI_bit3 -1638400000*M6H_0x2e_FPXI_bit4 -3276800000*M6H_0x2e_FPXI_bit5 -6553600000*M6H_0x2e_FPXI_bit6 -13107200000*M6H_0x2e_FPXI_bit7 -26214400000*M6H_0x2e_FPXI_bit8 -52428800000*M6H_0x2e_FPXI_bit9 -104857600000*M6H_0x2e_FPXI_bit10 -209715200000*M6H_0x2e_FPXI_bit11 -419430400000*M6H_0x2e_FPXI_bit12 -838860800000*M6H_0x2e_FPXI_bit13 -1677721600000*M6H_0x2e_FPXI_bit14 -3355443200000*M6H_0x2e_FPXI_bit15 -6710886400000*M6H_0x2e_FPXI_bit16 -13421772800000*M6H_0x2e_FPXI_bit17 -26843545600000*M6H_0x2e_FPXI_bit18 -53687091200000*M6H_0x2e_FPXI_bit19 +370*PYN_0x2e_COXI_bit_10 +740*PYN_0x2e_COXI_bit_9 +1480*PYN_0x2e_COXI_bit_8 +2960*PYN_0x2e_COXI_bit_7 +5920*PYN_0x2e_COXI_bit_6 +11840*PYN_0x2e_COXI_bit_5 +23680*PYN_0x2e_COXI_bit_4 +47360*PYN_0x2e_COXI_bit_3 +94720*PYN_0x2e_COXI_bit_2 +189440*PYN_0x2e_COXI_bit_1 +378880*PYN_0x2e_COXI_bit0 +757760*PYN_0x2e_COXI_bit1 +1515520*PYN_0x2e_COXI_bit2 +3031040*PYN_0x2e_COXI_bit3 +6062080*PYN_0x2e_COXI_bit4 +12124160*PYN_0x2e_COXI_bit5 +24248320*PYN_0x2e_COXI_bit6 +48496640*PYN_0x2e_COXI_bit7 +96993280*PYN_0x2e_COXI_bit8 +193986560*PYN_0x2e_COXI_bit9 +387973120*PYN_0x2e_COXI_bit10 +775946240*PYN_0x2e_COXI_bit11 +1551892480*PYN_0x2e_COXI_bit12 +3103784960*PYN_0x2e_COXI_bit13 +6207569920*PYN_0x2e_COXI_bit14 +12415139840*PYN_0x2e_COXI_bit15 +24830279680*PYN_0x2e_COXI_bit16 +49660559360*PYN_0x2e_COXI_bit17 +99321118720*PYN_0x2e_COXI_bit18 +198642237440*PYN_0x2e_COXI_bit19 +450*PYN_0x2e_CRXI_bit_10 +900*PYN_0x2e_CRXI_bit_9 +1800*PYN_0x2e_CRXI_bit_8 +3600*PYN_0x2e_CRXI_bit_7 +7200*PYN_0x2e_CRXI_bit_6 +14400*PYN_0x2e_CRXI_bit_5 +28800*PYN_0x2e_CRXI_bit_4 +57600*PYN_0x2e_CRXI_bit_3 +115200*PYN_0x2e_CRXI_bit_2 +230400*PYN_0x2e_CRXI_bit_1 +460800*PYN_0x2e_CRXI_bit0 +921600*PYN_0x2e_CRXI_bit1 +1843200*PYN_0x2e_CRXI_bit2 +3686400*PYN_0x2e_CRXI_bit3 +7372800*PYN_0x2e_CRXI_bit4 +14745600*PYN_0x2e_CRXI_bit5 +29491200*PYN_0x2e_CRXI_bit6 +58982400*PYN_0x2e_CRXI_bit7 +117964800*PYN_0x2e_CRXI_bit8 +235929600*PYN_0x2e_CRXI_bit9 +471859200*PYN_0x2e_CRXI_bit10 +943718400*PYN_0x2e_CRXI_bit11 +1887436800*PYN_0x2e_CRXI_bit12 +3774873600*PYN_0x2e_CRXI_bit13 +7549747200*PYN_0x2e_CRXI_bit14 +15099494400*PYN_0x2e_CRXI_bit15 +30198988800*PYN_0x2e_CRXI_bit16 +60397977600*PYN_0x2e_CRXI_bit17 +120795955200*PYN_0x2e_CRXI_bit18 +241591910400*PYN_0x2e_CRXI_bit19 -100000*P6H_0x2e_HYXI_bit_10 -200000*P6H_0x2e_HYXI_bit_9 -400000*P6H_0x2e_HYXI_bit_8 -800000*P6H_0x2e_HYXI_bit_7 -1600000*P6H_0x2e_HYXI_bit_6 -3200000*P6H_0x2e_HYXI_bit_5 -6400000*P6H_0x2e_HYXI_bit_4 -12800000*P6H_0x2e_HYXI_bit_3 -25600000*P6H_0x2e_HYXI_bit_2 -51200000*P6H_0x2e_HYXI_bit_1 -102400000*P6H_0x2e_HYXI_bit0 -204800000*P6H_0x2e_HYXI_bit1 -409600000*P6H_0x2e_HYXI_bit2 -819200000*P6H_0x2e_HYXI_bit3 -1638400000*P6H_0x2e_HYXI_bit4 -3276800000*P6H_0x2e_HYXI_bit5 -6553600000*P6H_0x2e_HYXI_bit6 -13107200000*P6H_0x2e_HYXI_bit7 -26214400000*P6H_0x2e_HYXI_bit8 -52428800000*P6H_0x2e_HYXI_bit9 -104857600000*P6H_0x2e_HYXI_bit10 -209715200000*P6H_0x2e_HYXI_bit11 -419430400000*P6H_0x2e_HYXI_bit12 -838860800000*P6H_0x2e_HYXI_bit13 -1677721600000*P6H_0x2e_HYXI_bit14 -3355443200000*P6H_0x2e_HYXI_bit15 -6710886400000*P6H_0x2e_HYXI_bit16 -13421772800000*P6H_0x2e_HYXI_bit17 -26843545600000*P6H_0x2e_HYXI_bit18 -53687091200000*P6H_0x2e_HYXI_bit19 +729*PIC_0x2e_M3XI_bit_10 +1458*PIC_0x2e_M3XI_bit_9 +2916*PIC_0x2e_M3XI_bit_8 +5832*PIC_0x2e_M3XI_bit_7 +11664*PIC_0x2e_M3XI_bit_6 +23328*PIC_0x2e_M3XI_bit_5 +46656*PIC_0x2e_M3XI_bit_4 +93312*PIC_0x2e_M3XI_bit_3 +186624*PIC_0x2e_M3XI_bit_2 +373248*PIC_0x2e_M3XI_bit_1 +746496*PIC_0x2e_M3XI_bit0 +1492992*PIC_0x2e_M3XI_bit1 +2985984*PIC_0x2e_M3XI_bit2 +5971968*PIC_0x2e_M3XI_bit3 +11943936*PIC_0x2e_M3XI_bit4 +23887872*PIC_0x2e_M3XI_bit5 +47775744*PIC_0x2e_M3XI_bit6 +95551488*PIC_0x2e_M3XI_bit7 +191102976*PIC_0x2e_M3XI_bit8 +382205952*PIC_0x2e_M3XI_bit9 +764411904*PIC_0x2e_M3XI_bit10 +1528823808*PIC_0x2e_M3XI_bit11 +3057647616*PIC_0x2e_M3XI_bit12 +6115295232*PIC_0x2e_M3XI_bit13 +12230590464*PIC_0x2e_M3XI_bit14 +24461180928*PIC_0x2e_M3XI_bit15 +48922361856*PIC_0x2e_M3XI_bit16 +97844723712*PIC_0x2e_M3XI_bit17 +195689447424*PIC_0x2e_M3XI_bit18 +391378894848*PIC_0x2e_M3XI_bit19 +112*PD1_0x2e_SHXI_bit_10 +224*PD1_0x2e_SHXI_bit_9 +448*PD1_0x2e_SHXI_bit_8 +896*PD1_0x2e_SHXI_bit_7 +1792*PD1_0x2e_SHXI_bit_6 +3584*PD1_0x2e_SHXI_bit_5 +7168*PD1_0x2e_SHXI_bit_4 +14336*PD1_0x2e_SHXI_bit_3 +28672*PD1_0x2e_SHXI_bit_2 +57344*PD1_0x2e_SHXI_bit_1 +114688*PD1_0x2e_SHXI_bit0 +229376*PD1_0x2e_SHXI_bit1 +458752*PD1_0x2e_SHXI_bit2 +917504*PD1_0x2e_SHXI_bit3 +1835008*PD1_0x2e_SHXI_bit4 +3670016*PD1_0x2e_SHXI_bit5 +7340032*PD1_0x2e_SHXI_bit6 +14680064*PD1_0x2e_SHXI_bit7 +29360128*PD1_0x2e_SHXI_bit8 +58720256*PD1_0x2e_SHXI_bit9 +117440512*PD1_0x2e_SHXI_bit10 +234881024*PD1_0x2e_SHXI_bit11 +469762048*PD1_0x2e_SHXI_bit12 +939524096*PD1_0x2e_SHXI_bit13 +1879048192*PD1_0x2e_SHXI_bit14 +3758096384*PD1_0x2e_SHXI_bit15 +7516192768*PD1_0x2e_SHXI_bit16 +15032385536*PD1_0x2e_SHXI_bit17 +30064771072*PD1_0x2e_SHXI_bit18 +60129542144*PD1_0x2e_SHXI_bit19 +112*PH1_0x2e_SHXI_bit_10 +224*PH1_0x2e_SHXI_bit_9 +448*PH1_0x2e_SHXI_bit_8 +896*PH1_0x2e_SHXI_bit_7 +1792*PH1_0x2e_SHXI_bit_6 +3584*PH1_0x2e_SHXI_bit_5 +7168*PH1_0x2e_SHXI_bit_4 +14336*PH1_0x2e_SHXI_bit_3 +28672*PH1_0x2e_SHXI_bit_2 +57344*PH1_0x2e_SHXI_bit_1 +114688*PH1_0x2e_SHXI_bit0 +229376*PH1_0x2e_SHXI_bit1 +458752*PH1_0x2e_SHXI_bit2 +917504*PH1_0x2e_SHXI_bit3 +1835008*PH1_0x2e_SHXI_bit4 +3670016*PH1_0x2e_SHXI_bit5 +7340032*PH1_0x2e_SHXI_bit6 +14680064*PH1_0x2e_SHXI_bit7 +29360128*PH1_0x2e_SHXI_bit8 +58720256*PH1_0x2e_SHXI_bit9 +117440512*PH1_0x2e_SHXI_bit10 +234881024*PH1_0x2e_SHXI_bit11 +469762048*PH1_0x2e_SHXI_bit12 +939524096*PH1_0x2e_SHXI_bit13 +1879048192*PH1_0x2e_SHXI_bit14 +3758096384*PH1_0x2e_SHXI_bit15 +7516192768*PH1_0x2e_SHXI_bit16 +15032385536*PH1_0x2e_SHXI_bit17 +30064771072*PH1_0x2e_SHXI_bit18 +60129542144*PH1_0x2e_SHXI_bit19 +112*PSS_0x2e_SHXI_bit_10 +224*PSS_0x2e_SHXI_bit_9 +448*PSS_0x2e_SHXI_bit_8 +896*PSS_0x2e_SHXI_bit_7 +1792*PSS_0x2e_SHXI_bit_6 +3584*PSS_0x2e_SHXI_bit_5 +7168*PSS_0x2e_SHXI_bit_4 +14336*PSS_0x2e_SHXI_bit_3 +28672*PSS_0x2e_SHXI_bit_2 +57344*PSS_0x2e_SHXI_bit_1 +114688*PSS_0x2e_SHXI_bit0 +229376*PSS_0x2e_SHXI_bit1 +458752*PSS_0x2e_SHXI_bit2 +917504*PSS_0x2e_SHXI_bit3 +1835008*PSS_0x2e_SHXI_bit4 +3670016*PSS_0x2e_SHXI_bit5 +7340032*PSS_0x2e_SHXI_bit6 +14680064*PSS_0x2e_SHXI_bit7 +29360128*PSS_0x2e_SHXI_bit8 +58720256*PSS_0x2e_SHXI_bit9 +117440512*PSS_0x2e_SHXI_bit10 +234881024*PSS_0x2e_SHXI_bit11 +469762048*PSS_0x2e_SHXI_bit12 +939524096*PSS_0x2e_SHXI_bit13 +1879048192*PSS_0x2e_SHXI_bit14 +3758096384*PSS_0x2e_SHXI_bit15 +7516192768*PSS_0x2e_SHXI_bit16 +15032385536*PSS_0x2e_SHXI_bit17 +30064771072*PSS_0x2e_SHXI_bit18 +60129542144*PSS_0x2e_SHXI_bit19 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bore3d.opb s UNKNOWN c Exit Code: 0 c Total time: 1.332 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.75 0.91 0.89 2/54 8207 Raw data (stat): 8207 (runsolver) R 8206 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907117351 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+1.36741 s] Raw data (loadavg): 0.75 0.91 0.89 1/53 8207 Raw data (stat): 8207 (runsolver) R 8206 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907117351 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): 1.36712 CPU time (s): 1.3458 CPU user time (s): 1.2868 CPU system time (s): 0.058991 CPU usage (%): 98.4398 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####