Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-recipe.opb |
MD5SUM | bd10fa79b23828275cb10d42f37d9d27 |
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 | 854 |
Biggest coefficient in the objective function | 8192000 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 73033031 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 5548468076544 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 95967816416175 |
Number of bits of the biggest sum of numbers | 47 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.223965 |
Number of variables | 2608 |
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 | 7 |
Maximum length of a constraint | 280 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-08 04:22:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28284 boxname=wulflinc5 idbench=1240 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: bd10fa79b23828275cb10d42f37d9d27 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-recipe.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-recipe.opb IDLAUNCH: 28284 /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: 681976 kB Buffers: 22268 kB Cached: 307652 kB SwapCached: 696 kB Active: 22072 kB Inactive: 309920 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 681724 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5152 kB Slab: 15088 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 04:22:58 (client local time) WITH STATUS 0 IN 1.01184 SECONDS stats: 28284 7 1.01184 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +8867820*BAL_0x2e_3EBE_bit_7 +17735640*BAL_0x2e_3EBE_bit_6 +35471280*BAL_0x2e_3EBE_bit_5 +70942560*BAL_0x2e_3EBE_bit_4 +141885120*BAL_0x2e_3EBE_bit_3 +283770240*BAL_0x2e_3EBE_bit_2 +567540480*BAL_0x2e_3EBE_bit_1 +1135080960*BAL_0x2e_3EBE_bit0 +2270161920*BAL_0x2e_3EBE_bit1 +4540323840*BAL_0x2e_3EBE_bit2 +9080647680*BAL_0x2e_3EBE_bit3 +18161295360*BAL_0x2e_3EBE_bit4 +36322590720*BAL_0x2e_3EBE_bit5 +72645181440*BAL_0x2e_3EBE_bit6 +145290362880*BAL_0x2e_3EBE_bit7 +290580725760*BAL_0x2e_3EBE_bit8 +581161451520*BAL_0x2e_3EBE_bit9 +1162322903040*BAL_0x2e_3EBE_bit10 +2324645806080*BAL_0x2e_3EBE_bit11 +4649291612160*BAL_0x2e_3EBE_bit12 +8006283*BCC_0x2e_3EBE_bit_7 +16012566*BCC_0x2e_3EBE_bit_6 +32025132*BCC_0x2e_3EBE_bit_5 +64050264*BCC_0x2e_3EBE_bit_4 +128100528*BCC_0x2e_3EBE_bit_3 +256201056*BCC_0x2e_3EBE_bit_2 +512402112*BCC_0x2e_3EBE_bit_1 +1024804224*BCC_0x2e_3EBE_bit0 +2049608448*BCC_0x2e_3EBE_bit1 +4099216896*BCC_0x2e_3EBE_bit2 +8198433792*BCC_0x2e_3EBE_bit3 +16396867584*BCC_0x2e_3EBE_bit4 +32793735168*BCC_0x2e_3EBE_bit5 +65587470336*BCC_0x2e_3EBE_bit6 +131174940672*BCC_0x2e_3EBE_bit7 +262349881344*BCC_0x2e_3EBE_bit8 +524699762688*BCC_0x2e_3EBE_bit9 +1049399525376*BCC_0x2e_3EBE_bit10 +2098799050752*BCC_0x2e_3EBE_bit11 +4197598101504*BCC_0x2e_3EBE_bit12 +7469736*BCH_0x2e_3EBE_bit_7 +14939472*BCH_0x2e_3EBE_bit_6 +29878944*BCH_0x2e_3EBE_bit_5 +59757888*BCH_0x2e_3EBE_bit_4 +119515776*BCH_0x2e_3EBE_bit_3 +239031552*BCH_0x2e_3EBE_bit_2 +478063104*BCH_0x2e_3EBE_bit_1 +956126208*BCH_0x2e_3EBE_bit0 +1912252416*BCH_0x2e_3EBE_bit1 +3824504832*BCH_0x2e_3EBE_bit2 +7649009664*BCH_0x2e_3EBE_bit3 +15298019328*BCH_0x2e_3EBE_bit4 +30596038656*BCH_0x2e_3EBE_bit5 +61192077312*BCH_0x2e_3EBE_bit6 +122384154624*BCH_0x2e_3EBE_bit7 +244768309248*BCH_0x2e_3EBE_bit8 +489536618496*BCH_0x2e_3EBE_bit9 +979073236992*BCH_0x2e_3EBE_bit10 +1958146473984*BCH_0x2e_3EBE_bit11 +3916292947968*BCH_0x2e_3EBE_bit12 +7919421*BCL_0x2e_3EBE_bit_7 +15838842*BCL_0x2e_3EBE_bit_6 +31677684*BCL_0x2e_3EBE_bit_5 +63355368*BCL_0x2e_3EBE_bit_4 +126710736*BCL_0x2e_3EBE_bit_3 +253421472*BCL_0x2e_3EBE_bit_2 +506842944*BCL_0x2e_3EBE_bit_1 +1013685888*BCL_0x2e_3EBE_bit0 +2027371776*BCL_0x2e_3EBE_bit1 +4054743552*BCL_0x2e_3EBE_bit2 +8109487104*BCL_0x2e_3EBE_bit3 +16218974208*BCL_0x2e_3EBE_bit4 +32437948416*BCL_0x2e_3EBE_bit5 +64875896832*BCL_0x2e_3EBE_bit6 +129751793664*BCL_0x2e_3EBE_bit7 +259503587328*BCL_0x2e_3EBE_bit8 +519007174656*BCL_0x2e_3EBE_bit9 +1038014349312*BCL_0x2e_3EBE_bit10 +2076028698624*BCL_0x2e_3EBE_bit11 +4152057397248*BCL_0x2e_3EBE_bit12 +7856822*BHH_0x2e_3EBE_bit_7 +15713644*BHH_0x2e_3EBE_bit_6 +31427288*BHH_0x2e_3EBE_bit_5 +62854576*BHH_0x2e_3EBE_bit_4 +125709152*BHH_0x2e_3EBE_bit_3 +251418304*BHH_0x2e_3EBE_bit_2 +502836608*BHH_0x2e_3EBE_bit_1 +1005673216*BHH_0x2e_3EBE_bit0 +2011346432*BHH_0x2e_3EBE_bit1 +4022692864*BHH_0x2e_3EBE_bit2 +8045385728*BHH_0x2e_3EBE_bit3 +16090771456*BHH_0x2e_3EBE_bit4 +32181542912*BHH_0x2e_3EBE_bit5 +64363085824*BHH_0x2e_3EBE_bit6 +128726171648*BHH_0x2e_3EBE_bit7 +257452343296*BHH_0x2e_3EBE_bit8 +514904686592*BHH_0x2e_3EBE_bit9 +1029809373184*BHH_0x2e_3EBE_bit10 +2059618746368*BHH_0x2e_3EBE_bit11 +4119237492736*BHH_0x2e_3EBE_bit12 +8292224*BHL_0x2e_3EBE_bit_7 +16584448*BHL_0x2e_3EBE_bit_6 +33168896*BHL_0x2e_3EBE_bit_5 +66337792*BHL_0x2e_3EBE_bit_4 +132675584*BHL_0x2e_3EBE_bit_3 +265351168*BHL_0x2e_3EBE_bit_2 +530702336*BHL_0x2e_3EBE_bit_1 +1061404672*BHL_0x2e_3EBE_bit0 +2122809344*BHL_0x2e_3EBE_bit1 +4245618688*BHL_0x2e_3EBE_bit2 +8491237376*BHL_0x2e_3EBE_bit3 +16982474752*BHL_0x2e_3EBE_bit4 +33964949504*BHL_0x2e_3EBE_bit5 +67929899008*BHL_0x2e_3EBE_bit6 +135859798016*BHL_0x2e_3EBE_bit7 +271719596032*BHL_0x2e_3EBE_bit8 +543439192064*BHL_0x2e_3EBE_bit9 +1086878384128*BHL_0x2e_3EBE_bit10 +2173756768256*BHL_0x2e_3EBE_bit11 +4347513536512*BHL_0x2e_3EBE_bit12 +8259274*BHX_0x2e_3EBE_bit_7 +16518548*BHX_0x2e_3EBE_bit_6 +33037096*BHX_0x2e_3EBE_bit_5 +66074192*BHX_0x2e_3EBE_bit_4 +132148384*BHX_0x2e_3EBE_bit_3 +264296768*BHX_0x2e_3EBE_bit_2 +528593536*BHX_0x2e_3EBE_bit_1 +1057187072*BHX_0x2e_3EBE_bit0 +2114374144*BHX_0x2e_3EBE_bit1 +4228748288*BHX_0x2e_3EBE_bit2 +8457496576*BHX_0x2e_3EBE_bit3 +16914993152*BHX_0x2e_3EBE_bit4 +33829986304*BHX_0x2e_3EBE_bit5 +67659972608*BHX_0x2e_3EBE_bit6 +135319945216*BHX_0x2e_3EBE_bit7 +270639890432*BHX_0x2e_3EBE_bit8 +541279780864*BHX_0x2e_3EBE_bit9 +1082559561728*BHX_0x2e_3EBE_bit10 +2165119123456*BHX_0x2e_3EBE_bit11 +4330238246912*BHX_0x2e_3EBE_bit12 +7650646*BLV_0x2e_3EBE_bit_7 +15301292*BLV_0x2e_3EBE_bit_6 +30602584*BLV_0x2e_3EBE_bit_5 +61205168*BLV_0x2e_3EBE_bit_4 +122410336*BLV_0x2e_3EBE_bit_3 +244820672*BLV_0x2e_3EBE_bit_2 +489641344*BLV_0x2e_3EBE_bit_1 +979282688*BLV_0x2e_3EBE_bit0 +1958565376*BLV_0x2e_3EBE_bit1 +3917130752*BLV_0x2e_3EBE_bit2 +7834261504*BLV_0x2e_3EBE_bit3 +15668523008*BLV_0x2e_3EBE_bit4 +31337046016*BLV_0x2e_3EBE_bit5 +62674092032*BLV_0x2e_3EBE_bit6 +125348184064*BLV_0x2e_3EBE_bit7 +250696368128*BLV_0x2e_3EBE_bit8 +501392736256*BLV_0x2e_3EBE_bit9 +1002785472512*BLV_0x2e_3EBE_bit10 +2005570945024*BLV_0x2e_3EBE_bit11 +4011141890048*BLV_0x2e_3EBE_bit12 +8835746*BN4_0x2e_3EBE_bit_7 +17671492*BN4_0x2e_3EBE_bit_6 +35342984*BN4_0x2e_3EBE_bit_5 +70685968*BN4_0x2e_3EBE_bit_4 +141371936*BN4_0x2e_3EBE_bit_3 +282743872*BN4_0x2e_3EBE_bit_2 +565487744*BN4_0x2e_3EBE_bit_1 +1130975488*BN4_0x2e_3EBE_bit0 +2261950976*BN4_0x2e_3EBE_bit1 +4523901952*BN4_0x2e_3EBE_bit2 +9047803904*BN4_0x2e_3EBE_bit3 +18095607808*BN4_0x2e_3EBE_bit4 +36191215616*BN4_0x2e_3EBE_bit5 +72382431232*BN4_0x2e_3EBE_bit6 +144764862464*BN4_0x2e_3EBE_bit7 +289529724928*BN4_0x2e_3EBE_bit8 +579059449856*BN4_0x2e_3EBE_bit9 +1158118899712*BN4_0x2e_3EBE_bit10 +2316237799424*BN4_0x2e_3EBE_bit11 +4632475598848*BN4_0x2e_3EBE_bit12 +9059047*BP8_0x2e_3EBE_bit_7 +18118094*BP8_0x2e_3EBE_bit_6 +36236188*BP8_0x2e_3EBE_bit_5 +72472376*BP8_0x2e_3EBE_bit_4 +144944752*BP8_0x2e_3EBE_bit_3 +289889504*BP8_0x2e_3EBE_bit_2 +579779008*BP8_0x2e_3EBE_bit_1 +1159558016*BP8_0x2e_3EBE_bit0 +2319116032*BP8_0x2e_3EBE_bit1 +4638232064*BP8_0x2e_3EBE_bit2 +9276464128*BP8_0x2e_3EBE_bit3 +18552928256*BP8_0x2e_3EBE_bit4 +37105856512*BP8_0x2e_3EBE_bit5 +74211713024*BP8_0x2e_3EBE_bit6 +148423426048*BP8_0x2e_3EBE_bit7 +296846852096*BP8_0x2e_3EBE_bit8 +593693704192*BP8_0x2e_3EBE_bit9 +1187387408384*BP8_0x2e_3EBE_bit10 +2374774816768*BP8_0x2e_3EBE_bit11 +4749549633536*BP8_0x2e_3EBE_bit12 -100000*WMO13EBE_bit_7 -200000*WMO13EBE_bit_6 -400000*WMO13EBE_bit_5 -800000*WMO13EBE_bit_4 -1600000*WMO13EBE_bit_3 -3200000*WMO13EBE_bit_2 -6400000*WMO13EBE_bit_1 -12800000*WMO13EBE_bit0 -25600000*WMO13EBE_bit1 -51200000*WMO13EBE_bit2 -102400000*WMO13EBE_bit3 -204800000*WMO13EBE_bit4 -409600000*WMO13EBE_bit5 -819200000*WMO13EBE_bit6 -1638400000*WMO13EBE_bit7 -3276800000*WMO13EBE_bit8 -6553600000*WMO13EBE_bit9 -13107200000*WMO13EBE_bit10 -26214400000*WMO13EBE_bit11 -52428800000*WMO13EBE_bit12 -100000*WMO23EBE_bit_7 -200000*WMO23EBE_bit_6 -400000*WMO23EBE_bit_5 -800000*WMO23EBE_bit_4 -1600000*WMO23EBE_bit_3 -3200000*WMO23EBE_bit_2 -6400000*WMO23EBE_bit_1 -12800000*WMO23EBE_bit0 -25600000*WMO23EBE_bit1 -51200000*WMO23EBE_bit2 -102400000*WMO23EBE_bit3 -204800000*WMO23EBE_bit4 -409600000*WMO23EBE_bit5 -819200000*WMO23EBE_bit6 -1638400000*WMO23EBE_bit7 -3276800000*WMO23EBE_bit8 -6553600000*WMO23EBE_bit9 -13107200000*WMO23EBE_bit10 -26214400000*WMO23EBE_bit11 -52428800000*WMO23EBE_bit12 -100000*WMO33EBE_bit_7 -200000*WMO33EBE_bit_6 -400000*WMO33EBE_bit_5 -800000*WMO33EBE_bit_4 -1600000*WMO33EBE_bit_3 -3200000*WMO33EBE_bit_2 -6400000*WMO33EBE_bit_1 -12800000*WMO33EBE_bit0 -25600000*WMO33EBE_bit1 -51200000*WMO33EBE_bit2 -102400000*WMO33EBE_bit3 -204800000*WMO33EBE_bit4 -409600000*WMO33EBE_bit5 -819200000*WMO33EBE_bit6 -1638400000*WMO33EBE_bit7 -3276800000*WMO33EBE_bit8 -6553600000*WMO33EBE_bit9 -13107200000*WMO33EBE_bit10 -26214400000*WMO33EBE_bit11 -52428800000*WMO33EBE_bit12 -100000*WMO43EBE_bit_7 -200000*WMO43EBE_bit_6 -400000*WMO43EBE_bit_5 -800000*WMO43EBE_bit_4 -1600000*WMO43EBE_bit_3 -3200000*WMO43EBE_bit_2 -6400000*WMO43EBE_bit_1 -12800000*WMO43EBE_bit0 -25600000*WMO43EBE_bit1 -51200000*WMO43EBE_bit2 -102400000*WMO43EBE_bit3 -204800000*WMO43EBE_bit4 -409600000*WMO43EBE_bit5 -819200000*WMO43EBE_bit6 -1638400000*WMO43EBE_bit7 -3276800000*WMO43EBE_bit8 -6553600000*WMO43EBE_bit9 -13107200000*WMO43EBE_bit10 -26214400000*WMO43EBE_bit11 -52428800000*WMO43EBE_bit12 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-recipe.opb s UNKNOWN c Exit Code: 0 c Total time: 0.996 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.54 0.78 0.85 2/54 15057 Raw data (stat): 15057 (runsolver) R 15056 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898722029 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+1.03061 s] Raw data (loadavg): 0.54 0.78 0.85 1/53 15057 Raw data (stat): 15057 (runsolver) R 15056 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898722029 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 0 Child status: 0 Real time (s): 1.03031 CPU time (s): 1.01184 CPU user time (s): 0.929858 CPU system time (s): 0.081987 CPU usage (%): 98.2076 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####