Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb |
MD5SUM | 3ed8b1557bef6552695b255ca35679eb |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -79735161 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 65536000 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 584330055 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5681631310381056 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 98271137637301167 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1233.91 |
Number of variables | 3671 |
Total number of constraints | 159 |
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 | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-07 21:14:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27900 boxname=wulflinc6 idbench=856 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 3ed8b1557bef6552695b255ca35679eb /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-recipe.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-recipe.opb IDLAUNCH: 27900 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 814200 kB Buffers: 34204 kB Cached: 162900 kB SwapCached: 1796 kB Active: 35144 kB Inactive: 164956 kB HighTotal: 131008 kB HighFree: 7644 kB LowTotal: 903652 kB LowFree: 806556 kB SwapTotal: 2097136 kB SwapFree: 2094416 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 14496 kB Committed_AS: 63700 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 21:14:57 (client local time) WITH STATUS 0 IN 0.318951 SECONDS stats: 27900 7 0.318951 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -25*D3E_0x2e__0x2e__0x2e_BE_bit_10 -50*D3E_0x2e__0x2e__0x2e_BE_bit_9 -100*D3E_0x2e__0x2e__0x2e_BE_bit_8 -200*D3E_0x2e__0x2e__0x2e_BE_bit_7 -400*D3E_0x2e__0x2e__0x2e_BE_bit_6 -800*D3E_0x2e__0x2e__0x2e_BE_bit_5 -1600*D3E_0x2e__0x2e__0x2e_BE_bit_4 -3200*D3E_0x2e__0x2e__0x2e_BE_bit_3 -6400*D3E_0x2e__0x2e__0x2e_BE_bit_2 -12800*D3E_0x2e__0x2e__0x2e_BE_bit_1 -25600*D3E_0x2e__0x2e__0x2e_BE_bit0 -51200*D3E_0x2e__0x2e__0x2e_BE_bit1 -102400*D3E_0x2e__0x2e__0x2e_BE_bit2 -204800*D3E_0x2e__0x2e__0x2e_BE_bit3 -409600*D3E_0x2e__0x2e__0x2e_BE_bit4 -819200*D3E_0x2e__0x2e__0x2e_BE_bit5 -1638400*D3E_0x2e__0x2e__0x2e_BE_bit6 -3276800*D3E_0x2e__0x2e__0x2e_BE_bit7 -6553600*D3E_0x2e__0x2e__0x2e_BE_bit8 -13107200*D3E_0x2e__0x2e__0x2e_BE_bit9 -26214400*D3E_0x2e__0x2e__0x2e_BE_bit10 -52428800*D3E_0x2e__0x2e__0x2e_BE_bit11 -104857600*D3E_0x2e__0x2e__0x2e_BE_bit12 -209715200*D3E_0x2e__0x2e__0x2e_BE_bit13 -419430400*D3E_0x2e__0x2e__0x2e_BE_bit14 -838860800*D3E_0x2e__0x2e__0x2e_BE_bit15 -1677721600*D3E_0x2e__0x2e__0x2e_BE_bit16 -3355443200*D3E_0x2e__0x2e__0x2e_BE_bit17 -6710886400*D3E_0x2e__0x2e__0x2e_BE_bit18 -13421772800*D3E_0x2e__0x2e__0x2e_BE_bit19 -3*M3_0x2e__0x2e_3TBE_bit_10 -6*M3_0x2e__0x2e_3TBE_bit_9 -12*M3_0x2e__0x2e_3TBE_bit_8 -24*M3_0x2e__0x2e_3TBE_bit_7 -48*M3_0x2e__0x2e_3TBE_bit_6 -96*M3_0x2e__0x2e_3TBE_bit_5 -192*M3_0x2e__0x2e_3TBE_bit_4 -384*M3_0x2e__0x2e_3TBE_bit_3 -768*M3_0x2e__0x2e_3TBE_bit_2 -1536*M3_0x2e__0x2e_3TBE_bit_1 -3072*M3_0x2e__0x2e_3TBE_bit0 -6144*M3_0x2e__0x2e_3TBE_bit1 -12288*M3_0x2e__0x2e_3TBE_bit2 -24576*M3_0x2e__0x2e_3TBE_bit3 -49152*M3_0x2e__0x2e_3TBE_bit4 -98304*M3_0x2e__0x2e_3TBE_bit5 -196608*M3_0x2e__0x2e_3TBE_bit6 -393216*M3_0x2e__0x2e_3TBE_bit7 -786432*M3_0x2e__0x2e_3TBE_bit8 -1572864*M3_0x2e__0x2e_3TBE_bit9 -3145728*M3_0x2e__0x2e_3TBE_bit10 -6291456*M3_0x2e__0x2e_3TBE_bit11 -12582912*M3_0x2e__0x2e_3TBE_bit12 -25165824*M3_0x2e__0x2e_3TBE_bit13 -50331648*M3_0x2e__0x2e_3TBE_bit14 -100663296*M3_0x2e__0x2e_3TBE_bit15 -201326592*M3_0x2e__0x2e_3TBE_bit16 -402653184*M3_0x2e__0x2e_3TBE_bit17 -805306368*M3_0x2e__0x2e_3TBE_bit18 -1610612736*M3_0x2e__0x2e_3TBE_bit19 +25*QVO13EBE_bit_10 +50*QVO13EBE_bit_9 +100*QVO13EBE_bit_8 +200*QVO13EBE_bit_7 +400*QVO13EBE_bit_6 +800*QVO13EBE_bit_5 +1600*QVO13EBE_bit_4 +3200*QVO13EBE_bit_3 +6400*QVO13EBE_bit_2 +12800*QVO13EBE_bit_1 +25600*QVO13EBE_bit0 +51200*QVO13EBE_bit1 +102400*QVO13EBE_bit2 +204800*QVO13EBE_bit3 +409600*QVO13EBE_bit4 +819200*QVO13EBE_bit5 +1638400*QVO13EBE_bit6 +3276800*QVO13EBE_bit7 +6553600*QVO13EBE_bit8 +13107200*QVO13EBE_bit9 +26214400*QVO13EBE_bit10 +52428800*QVO13EBE_bit11 +104857600*QVO13EBE_bit12 +209715200*QVO13EBE_bit13 +419430400*QVO13EBE_bit14 +838860800*QVO13EBE_bit15 +1677721600*QVO13EBE_bit16 +3355443200*QVO13EBE_bit17 +6710886400*QVO13EBE_bit18 +13421772800*QVO13EBE_bit19 +25*QVO23EBE_bit_10 +50*QVO23EBE_bit_9 +100*QVO23EBE_bit_8 +200*QVO23EBE_bit_7 +400*QVO23EBE_bit_6 +800*QVO23EBE_bit_5 +1600*QVO23EBE_bit_4 +3200*QVO23EBE_bit_3 +6400*QVO23EBE_bit_2 +12800*QVO23EBE_bit_1 +25600*QVO23EBE_bit0 +51200*QVO23EBE_bit1 +102400*QVO23EBE_bit2 +204800*QVO23EBE_bit3 +409600*QVO23EBE_bit4 +819200*QVO23EBE_bit5 +1638400*QVO23EBE_bit6 +3276800*QVO23EBE_bit7 +6553600*QVO23EBE_bit8 +13107200*QVO23EBE_bit9 +26214400*QVO23EBE_bit10 +52428800*QVO23EBE_bit11 +104857600*QVO23EBE_bit12 +209715200*QVO23EBE_bit13 +419430400*QVO23EBE_bit14 +838860800*QVO23EBE_bit15 +1677721600*QVO23EBE_bit16 +3355443200*QVO23EBE_bit17 +6710886400*QVO23EBE_bit18 +13421772800*QVO23EBE_bit19 +25*QVO33EBE_bit_10 +50*QVO33EBE_bit_9 +100*QVO33EBE_bit_8 +200*QVO33EBE_bit_7 +400*QVO33EBE_bit_6 +800*QVO33EBE_bit_5 +1600*QVO33EBE_bit_4 +3200*QVO33EBE_bit_3 +6400*QVO33EBE_bit_2 +12800*QVO33EBE_bit_1 +25600*QVO33EBE_bit0 +51200*QVO33EBE_bit1 +102400*QVO33EBE_bit2 +204800*QVO33EBE_bit3 +409600*QVO33EBE_bit4 +819200*QVO33EBE_bit5 +1638400*QVO33EBE_bit6 +3276800*QVO33EBE_bit7 +6553600*QVO33EBE_bit8 +13107200*QVO33EBE_bit9 +26214400*QVO33EBE_bit10 +52428800*QVO33EBE_bit11 +104857600*QVO33EBE_bit12 +209715200*QVO33EBE_bit13 +419430400*QVO33EBE_bit14 +838860800*QVO33EBE_bit15 +1677721600*QVO33EBE_bit16 +3355443200*QVO33EBE_bit17 +6710886400*QVO33EBE_bit18 +13421772800*QVO33EBE_bit19 +25*QVO43EBE_bit_10 +50*QVO43EBE_bit_9 +100*QVO43EBE_bit_8 +200*QVO43EBE_bit_7 +400*QVO43EBE_bit_6 +800*QVO43EBE_bit_5 +1600*QVO43EBE_bit_4 +3200*QVO43EBE_bit_3 +6400*QVO43EBE_bit_2 +12800*QVO43EBE_bit_1 +25600*QVO43EBE_bit0 +51200*QVO43EBE_bit1 +102400*QVO43EBE_bit2 +204800*QVO43EBE_bit3 +409600*QVO43EBE_bit4 +819200*QVO43EBE_bit5 +1638400*QVO43EBE_bit6 +3276800*QVO43EBE_bit7 +6553600*QVO43EBE_bit8 +13107200*QVO43EBE_bit9 +26214400*QVO43EBE_bit10 +52428800*QVO43EBE_bit11 +104857600*QVO43EBE_bit12 +209715200*QVO43EBE_bit13 +419430400*QVO43EBE_bit14 +838860800*QVO43EBE_bit15 +1677721600*QVO43EBE_bit16 +3355443200*QVO43EBE_bit17 +6710886400*QVO43EBE_bit18 +13421772800*QVO43EBE_bit19 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-recipe.opb s UNKNOWN c Exit Code: 0 c Total time: 0.305 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.79 0.91 0.90 2/54 19076 Raw data (stat): 19076 (runsolver) R 19075 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896152767 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.335626 s] Raw data (loadavg): 0.79 0.91 0.90 1/53 19076 Raw data (stat): 19076 (runsolver) R 19075 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896152767 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.335334 CPU time (s): 0.318951 CPU user time (s): 0.25996 CPU system time (s): 0.058991 CPU usage (%): 95.1144 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####