Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scfxm1.opb |
MD5SUM | 94a3882d5878f0ddbdd9e110c3ba8806 |
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 | 690 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 140660178813 |
Number of bits of the sum of numbers in the objective function | 38 |
Biggest number in a constraint | 53687091200000 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 326830904793855 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.529918 |
Number of variables | 13710 |
Total number of constraints | 330 |
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 | 330 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1710 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-09 04:18:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29079 boxname=wulflinc5 idbench=863 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 94a3882d5878f0ddbdd9e110c3ba8806 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scfxm1.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scfxm1.opb IDLAUNCH: 29079 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 766584 kB Buffers: 24004 kB Cached: 222104 kB SwapCached: 732 kB Active: 28600 kB Inactive: 219604 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 766332 kB SwapTotal: 2097136 kB SwapFree: 2095460 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5072 kB Slab: 14212 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 04:18:23 (client local time) WITH STATUS 0 IN 0.115981 SECONDS stats: 29079 7 0.115981 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +50000*V1DC2P_bit_10 +100000*V1DC2P_bit_9 +200000*V1DC2P_bit_8 +400000*V1DC2P_bit_7 +800000*V1DC2P_bit_6 +1600000*V1DC2P_bit_5 +3200000*V1DC2P_bit_4 +6400000*V1DC2P_bit_3 +12800000*V1DC2P_bit_2 +25600000*V1DC2P_bit_1 +51200000*V1DC2P_bit0 +102400000*V1DC2P_bit1 +204800000*V1DC2P_bit2 +409600000*V1DC2P_bit3 +819200000*V1DC2P_bit4 +1638400000*V1DC2P_bit5 +3276800000*V1DC2P_bit6 +6553600000*V1DC2P_bit7 +13107200000*V1DC2P_bit8 +26214400000*V1DC2P_bit9 +52428800000*V1DC2P_bit10 +104857600000*V1DC2P_bit11 +209715200000*V1DC2P_bit12 +419430400000*V1DC2P_bit13 +838860800000*V1DC2P_bit14 +1677721600000*V1DC2P_bit15 +3355443200000*V1DC2P_bit16 +6710886400000*V1DC2P_bit17 +13421772800000*V1DC2P_bit18 +26843545600000*V1DC2P_bit19 -1050*V1DC65_bit_10 -2100*V1DC65_bit_9 -4200*V1DC65_bit_8 -8400*V1DC65_bit_7 -16800*V1DC65_bit_6 -33600*V1DC65_bit_5 -67200*V1DC65_bit_4 -134400*V1DC65_bit_3 -268800*V1DC65_bit_2 -537600*V1DC65_bit_1 -1075200*V1DC65_bit0 -2150400*V1DC65_bit1 -4300800*V1DC65_bit2 -8601600*V1DC65_bit3 -17203200*V1DC65_bit4 -34406400*V1DC65_bit5 -68812800*V1DC65_bit6 -137625600*V1DC65_bit7 -275251200*V1DC65_bit8 -550502400*V1DC65_bit9 -1101004800*V1DC65_bit10 -2202009600*V1DC65_bit11 -4404019200*V1DC65_bit12 -8808038400*V1DC65_bit13 -17616076800*V1DC65_bit14 -35232153600*V1DC65_bit15 -70464307200*V1DC65_bit16 -140928614400*V1DC65_bit17 -281857228800*V1DC65_bit18 -563714457600*V1DC65_bit19 -1500*V1DC75_bit_10 -3000*V1DC75_bit_9 -6000*V1DC75_bit_8 -12000*V1DC75_bit_7 -24000*V1DC75_bit_6 -48000*V1DC75_bit_5 -96000*V1DC75_bit_4 -192000*V1DC75_bit_3 -384000*V1DC75_bit_2 -768000*V1DC75_bit_1 -1536000*V1DC75_bit0 -3072000*V1DC75_bit1 -6144000*V1DC75_bit2 -12288000*V1DC75_bit3 -24576000*V1DC75_bit4 -49152000*V1DC75_bit5 -98304000*V1DC75_bit6 -196608000*V1DC75_bit7 -393216000*V1DC75_bit8 -786432000*V1DC75_bit9 -1572864000*V1DC75_bit10 -3145728000*V1DC75_bit11 -6291456000*V1DC75_bit12 -12582912000*V1DC75_bit13 -25165824000*V1DC75_bit14 -50331648000*V1DC75_bit15 -100663296000*V1DC75_bit16 -201326592000*V1DC75_bit17 -402653184000*V1DC75_bit18 -805306368000*V1DC75_bit19 -750*V1DFVB_bit_10 -1500*V1DFVB_bit_9 -3000*V1DFVB_bit_8 -6000*V1DFVB_bit_7 -12000*V1DFVB_bit_6 -24000*V1DFVB_bit_5 -48000*V1DFVB_bit_4 -96000*V1DFVB_bit_3 -192000*V1DFVB_bit_2 -384000*V1DFVB_bit_1 -768000*V1DFVB_bit0 -1536000*V1DFVB_bit1 -3072000*V1DFVB_bit2 -6144000*V1DFVB_bit3 -12288000*V1DFVB_bit4 -24576000*V1DFVB_bit5 -49152000*V1DFVB_bit6 -98304000*V1DFVB_bit7 -196608000*V1DFVB_bit8 -393216000*V1DFVB_bit9 -786432000*V1DFVB_bit10 -1572864000*V1DFVB_bit11 -3145728000*V1DFVB_bit12 -6291456000*V1DFVB_bit13 -12582912000*V1DFVB_bit14 -25165824000*V1DFVB_bit15 -50331648000*V1DFVB_bit16 -100663296000*V1DFVB_bit17 -201326592000*V1DFVB_bit18 -402653184000*V1DFVB_bit19 -1690*V1DI4R_bit_10 -3380*V1DI4R_bit_9 -6760*V1DI4R_bit_8 -13520*V1DI4R_bit_7 -27040*V1DI4R_bit_6 -54080*V1DI4R_bit_5 -108160*V1DI4R_bit_4 -216320*V1DI4R_bit_3 -432640*V1DI4R_bit_2 -865280*V1DI4R_bit_1 -1730560*V1DI4R_bit0 -3461120*V1DI4R_bit1 -6922240*V1DI4R_bit2 -13844480*V1DI4R_bit3 -27688960*V1DI4R_bit4 -55377920*V1DI4R_bit5 -110755840*V1DI4R_bit6 -221511680*V1DI4R_bit7 -443023360*V1DI4R_bit8 -886046720*V1DI4R_bit9 -1772093440*V1DI4R_bit10 -3544186880*V1DI4R_bit11 -7088373760*V1DI4R_bit12 -14176747520*V1DI4R_bit13 -28353495040*V1DI4R_bit14 -56706990080*V1DI4R_bit15 -113413980160*V1DI4R_bit16 -226827960320*V1DI4R_bit17 -453655920640*V1DI4R_bit18 -907311841280*V1DI4R_bit19 -1570*V1DN4R_bit_10 -3140*V1DN4R_bit_9 -6280*V1DN4R_bit_8 -12560*V1DN4R_bit_7 -25120*V1DN4R_bit_6 -50240*V1DN4R_bit_5 -100480*V1DN4R_bit_4 -200960*V1DN4R_bit_3 -401920*V1DN4R_bit_2 -803840*V1DN4R_bit_1 -1607680*V1DN4R_bit0 -3215360*V1DN4R_bit1 -6430720*V1DN4R_bit2 -12861440*V1DN4R_bit3 -25722880*V1DN4R_bit4 -51445760*V1DN4R_bit5 -102891520*V1DN4R_bit6 -205783040*V1DN4R_bit7 -411566080*V1DN4R_bit8 -823132160*V1DN4R_bit9 -1646264320*V1DN4R_bit10 -3292528640*V1DN4R_bit11 -6585057280*V1DN4R_bit12 -13170114560*V1DN4R_bit13 -26340229120*V1DN4R_bit14 -52680458240*V1DN4R_bit15 -105360916480*V1DN4R_bit16 -210721832960*V1DN4R_bit17 -421443665920*V1DN4R_bit18 -842887331840*V1DN4R_bit19 -5900*V1DO3R_bit_10 -11800*V1DO3R_bit_9 -23600*V1DO3R_bit_8 -47200*V1DO3R_bit_7 -94400*V1DO3R_bit_6 -188800*V1DO3R_bit_5 -377600*V1DO3R_bit_4 -755200*V1DO3R_bit_3 -1510400*V1DO3R_bit_2 -3020800*V1DO3R_bit_1 -6041600*V1DO3R_bit0 -12083200*V1DO3R_bit1 -24166400*V1DO3R_bit2 -48332800*V1DO3R_bit3 -96665600*V1DO3R_bit4 -193331200*V1DO3R_bit5 -386662400*V1DO3R_bit6 -773324800*V1DO3R_bit7 -1546649600*V1DO3R_bit8 -3093299200*V1DO3R_bit9 -6186598400*V1DO3R_bit10 -12373196800*V1DO3R_bit11 -24746393600*V1DO3R_bit12 -49492787200*V1DO3R_bit13 -98985574400*V1DO3R_bit14 -197971148800*V1DO3R_bit15 -395942297600*V1DO3R_bit16 -791884595200*V1DO3R_bit17 -1583769190400*V1DO3R_bit18 -3167538380800*V1DO3R_bit19 -2075*V1DP94_bit_10 -4150*V1DP94_bit_9 -8300*V1DP94_bit_8 -16600*V1DP94_bit_7 -33200*V1DP94_bit_6 -66400*V1DP94_bit_5 -132800*V1DP94_bit_4 -265600*V1DP94_bit_3 -531200*V1DP94_bit_2 -1062400*V1DP94_bit_1 -2124800*V1DP94_bit0 -4249600*V1DP94_bit1 -8499200*V1DP94_bit2 -16998400*V1DP94_bit3 -33996800*V1DP94_bit4 -67993600*V1DP94_bit5 -135987200*V1DP94_bit6 -271974400*V1DP94_bit7 -543948800*V1DP94_bit8 -1087897600*V1DP94_bit9 -2175795200*V1DP94_bit10 -4351590400*V1DP94_bit11 -8703180800*V1DP94_bit12 -17406361600*V1DP94_bit13 -34812723200*V1DP94_bit14 -69625446400*V1DP94_bit15 -139250892800*V1DP94_bit16 -278501785600*V1DP94_bit17 -557003571200*V1DP94_bit18 -1114007142400*V1DP94_bit19 -1660*V1DR94_bit_10 -3320*V1DR94_bit_9 -6640*V1DR94_bit_8 -13280*V1DR94_bit_7 -26560*V1DR94_bit_6 -53120*V1DR94_bit_5 -106240*V1DR94_bit_4 -212480*V1DR94_bit_3 -424960*V1DR94_bit_2 -849920*V1DR94_bit_1 -1699840*V1DR94_bit0 -3399680*V1DR94_bit1 -6799360*V1DR94_bit2 -13598720*V1DR94_bit3 -27197440*V1DR94_bit4 -54394880*V1DR94_bit5 -108789760*V1DR94_bit6 -217579520*V1DR94_bit7 -435159040*V1DR94_bit8 -870318080*V1DR94_bit9 -1740636160*V1DR94_bit10 -3481272320*V1DR94_bit11 -6962544640*V1DR94_bit12 -13925089280*V1DR94_bit13 -27850178560*V1DR94_bit14 -55700357120*V1DR94_bit15 -111400714240*V1DR94_bit16 -222801428480*V1DR94_bit17 -445602856960*V1DR94_bit18 -891205713920*V1DR94_bit19 -544*V1DRBT_bit_10 -1088*V1DRBT_bit_9 -2176*V1DRBT_bit_8 -4352*V1DRBT_bit_7 -8704*V1DRBT_bit_6 -17408*V1DRBT_bit_5 -34816*V1DRBT_bit_4 -69632*V1DRBT_bit_3 -139264*V1DRBT_bit_2 -278528*V1DRBT_bit_1 -557056*V1DRBT_bit0 -1114112*V1DRBT_bit1 -2228224*V1DRBT_bit2 -4456448*V1DRBT_bit3 -8912896*V1DRBT_bit4 -17825792*V1DRBT_bit5 -35651584*V1DRBT_bit6 -71303168*V1DRBT_bit7 -142606336*V1DRBT_bit8 -285212672*V1DRBT_bit9 -570425344*V1DRBT_bit10 -1140850688*V1DRBT_bit11 -2281701376*V1DRBT_bit12 -4563402752*V1DRBT_bit13 -9126805504*V1DRBT_bit14 -18253611008*V1DRBT_bit15 -36507222016*V1DRBT_bit16 -73014444032*V1DRBT_bit17 -146028888064*V1DRBT_bit18 -292057776128*V1DRBT_bit19 -1856*V1DSCO_bit_10 -3712*V1DSCO_bit_9 -7424*V1DSCO_bit_8 -14848*V1DSCO_bit_7 -29696*V1DSCO_bit_6 -59392*V1DSCO_bit_5 -118784*V1DSCO_bit_4 -237568*V1DSCO_bit_3 -475136*V1DSCO_bit_2 -950272*V1DSCO_bit_1 -1900544*V1DSCO_bit0 -3801088*V1DSCO_bit1 -7602176*V1DSCO_bit2 -15204352*V1DSCO_bit3 -30408704*V1DSCO_bit4 -60817408*V1DSCO_bit5 -121634816*V1DSCO_bit6 -243269632*V1DSCO_bit7 -486539264*V1DSCO_bit8 -973078528*V1DSCO_bit9 -1946157056*V1DSCO_bit10 -3892314112*V1DSCO_bit11 -7784628224*V1DSCO_bit12 -15569256448*V1DSCO_bit13 -31138512896*V1DSCO_bit14 -62277025792*V1DSCO_bit15 -124554051584*V1DSCO_bit16 -249108103168*V1DSCO_bit17 -498216206336*V1DSCO_bit18 -996432412672*V1DSCO_bit19 -928*V1DSVB_bit_10 -1856*V1DSVB_bit_9 -3712*V1DSVB_bit_8 -7424*V1DSVB_bit_7 -14848*V1DSVB_bit_6 -29696*V1DSVB_bit_5 -59392*V1DSVB_bit_4 -118784*V1DSVB_bit_3 -237568*V1DSVB_bit_2 -475136*V1DSVB_bit_1 -950272*V1DSVB_bit0 -1900544*V1DSVB_bit1 -3801088*V1DSVB_bit2 -7602176*V1DSVB_bit3 -15204352*V1DSVB_bit4 -30408704*V1DSVB_bit5 -60817408*V1DSVB_bit6 -121634816*V1DSVB_bit7 -243269632*V1DSVB_bit8 -486539264*V1DSVB_bit9 -973078528*V1DSVB_bit10 -1946157056*V1DSVB_bit11 -3892314112*V1DSVB_bit12 -7784628224*V1DSVB_bit13 -15569256448*V1DSVB_bit14 -31138512896*V1DSVB_bit15 -62277025792*V1DSVB_bit16 -124554051584*V1DSVB_bit17 -249108103168*V1DSVB_bit18 -498216206336*V1DSVB_bit19 -544*V1DV6I_bit_10 -1088*V1DV6I_bit_9 -2176*V1DV6I_bit_8 -4352*V1DV6I_bit_7 -8704*V1DV6I_bit_6 -17408*V1DV6I_bit_5 -34816*V1DV6I_bit_4 -69632*V1DV6I_bit_3 -139264*V1DV6I_bit_2 -278528*V1DV6I_bit_1 -557056*V1DV6I_bit0 -1114112*V1DV6I_bit1 -2228224*V1DV6I_bit2 -4456448*V1DV6I_bit3 -8912896*V1DV6I_bit4 -17825792*V1DV6I_bit5 -35651584*V1DV6I_bit6 -71303168*V1DV6I_bit7 -142606336*V1DV6I_bit8 -285212672*V1DV6I_bit9 -570425344*V1DV6I_bit10 -1140850688*V1DV6I_bit11 -2281701376*V1DV6I_bit12 -4563402752*V1DV6I_bit13 -9126805504*V1DV6I_bit14 -18253611008*V1DV6I_bit15 -36507222016*V1DV6I_bit16 -73014444032*V1DV6I_bit17 -146028888064*V1DV6I_bit18 -292057776128*V1DV6I_bit19 -672*V1DV6Y_bit_10 -1344*V1DV6Y_bit_9 -2688*V1DV6Y_bit_8 -5376*V1DV6Y_bit_7 -10752*V1DV6Y_bit_6 -21504*V1DV6Y_bit_5 -43008*V1DV6Y_bit_4 -86016*V1DV6Y_bit_3 -172032*V1DV6Y_bit_2 -344064*V1DV6Y_bit_1 -688128*V1DV6Y_bit0 -1376256*V1DV6Y_bit1 -2752512*V1DV6Y_bit2 -5505024*V1DV6Y_bit3 -11010048*V1DV6Y_bit4 -22020096*V1DV6Y_bit5 -44040192*V1DV6Y_bit6 -88080384*V1DV6Y_bit7 -176160768*V1DV6Y_bit8 -352321536*V1DV6Y_bit9 -704643072*V1DV6Y_bit10 -1409286144*V1DV6Y_bit11 -2818572288*V1DV6Y_bit12 -5637144576*V1DV6Y_bit13 -11274289152*V1DV6Y_bit14 -22548578304*V1DV6Y_bit15 -45097156608*V1DV6Y_bit16 -90194313216*V1DV6Y_bit17 -180388626432*V1DV6Y_bit18 -360777252864*V1DV6Y_bit19 -6750*V1DYCO_bit_10 -13500*V1DYCO_bit_9 -27000*V1DYCO_bit_8 -54000*V1DYCO_bit_7 -108000*V1DYCO_bit_6 -216000*V1DYCO_bit_5 -432000*V1DYCO_bit_4 -864000*V1DYCO_bit_3 -1728000*V1DYCO_bit_2 -3456000*V1DYCO_bit_1 -6912000*V1DYCO_bit0 -13824000*V1DYCO_bit1 -27648000*V1DYCO_bit2 -55296000*V1DYCO_bit3 -110592000*V1DYCO_bit4 -221184000*V1DYCO_bit5 -442368000*V1DYCO_bit6 -884736000*V1DYCO_bit7 -1769472000*V1DYCO_bit8 -3538944000*V1DYCO_bit9 -7077888000*V1DYCO_bit10 -14155776000*V1DYCO_bit11 -28311552000*V1DYCO_bit12 -56623104000*V1DYCO_bit13 -113246208000*V1DYCO_bit14 -226492416000*V1DYCO_bit15 -452984832000*V1DYCO_bit16 -905969664000*V1DYCO_bit17 -1811939328000*V1DYCO_bit18 -3623878656000*V1DYCO_bit19 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-scfxm1.opb s UNKNOWN c Exit Code: 0 c Total time: 0.104 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.72 0.80 0.85 2/54 27390 Raw data (stat): 27390 (runsolver) R 27389 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907335806 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.135086 s] Raw data (loadavg): 0.72 0.80 0.85 1/53 27390 Raw data (stat): 27390 (runsolver) R 27389 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907335806 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.134808 CPU time (s): 0.115981 CPU user time (s): 0.087986 CPU system time (s): 0.027995 CPU usage (%): 86.0342 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####