Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-lotfi.opb |
MD5SUM | 69367ad5ee917e4a74e95e8f089c09d8 |
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 | 160 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 8388600 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 5242880000000000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 39992649862466400 |
Number of bits of the biggest sum of numbers | 56 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.85087 |
Number of variables | 6160 |
Total number of constraints | 153 |
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 | 153 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 2660 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-09 11:20:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29444 boxname=wulflinc5 idbench=1228 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 69367ad5ee917e4a74e95e8f089c09d8 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lotfi.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lotfi.opb IDLAUNCH: 29444 /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: 566840 kB Buffers: 22908 kB Cached: 423460 kB SwapCached: 664 kB Active: 26352 kB Inactive: 422000 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 566588 kB SwapTotal: 2097136 kB SwapFree: 2095460 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5072 kB Slab: 13888 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 11:21:00 (client local time) WITH STATUS 0 IN 0.973851 SECONDS stats: 29444 7 0.973851 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -3750000000*E11_bit_7 -7500000000*E11_bit_6 -15000000000*E11_bit_5 -30000000000*E11_bit_4 -60000000000*E11_bit_3 -120000000000*E11_bit_2 -240000000000*E11_bit_1 -480000000000*E11_bit0 -960000000000*E11_bit1 -1920000000000*E11_bit2 -3840000000000*E11_bit3 -7680000000000*E11_bit4 -15360000000000*E11_bit5 -30720000000000*E11_bit6 -61440000000000*E11_bit7 -122880000000000*E11_bit8 -245760000000000*E11_bit9 -491520000000000*E11_bit10 -983040000000000*E11_bit11 -1966080000000000*E11_bit12 -2550000000*E12_bit_7 -5100000000*E12_bit_6 -10200000000*E12_bit_5 -20400000000*E12_bit_4 -40800000000*E12_bit_3 -81600000000*E12_bit_2 -163200000000*E12_bit_1 -326400000000*E12_bit0 -652800000000*E12_bit1 -1305600000000*E12_bit2 -2611200000000*E12_bit3 -5222400000000*E12_bit4 -10444800000000*E12_bit5 -20889600000000*E12_bit6 -41779200000000*E12_bit7 -83558400000000*E12_bit8 -167116800000000*E12_bit9 -334233600000000*E12_bit10 -668467200000000*E12_bit11 -1336934400000000*E12_bit12 -1200000000*E13_bit_7 -2400000000*E13_bit_6 -4800000000*E13_bit_5 -9600000000*E13_bit_4 -19200000000*E13_bit_3 -38400000000*E13_bit_2 -76800000000*E13_bit_1 -153600000000*E13_bit0 -307200000000*E13_bit1 -614400000000*E13_bit2 -1228800000000*E13_bit3 -2457600000000*E13_bit4 -4915200000000*E13_bit5 -9830400000000*E13_bit6 -19660800000000*E13_bit7 -39321600000000*E13_bit8 -78643200000000*E13_bit9 -157286400000000*E13_bit10 -314572800000000*E13_bit11 -629145600000000*E13_bit12 -809999943*E14_bit_7 -1619999886*E14_bit_6 -3239999772*E14_bit_5 -6479999544*E14_bit_4 -12959999088*E14_bit_3 -25919998176*E14_bit_2 -51839996352*E14_bit_1 -103679992704*E14_bit0 -207359985408*E14_bit1 -414719970816*E14_bit2 -829439941632*E14_bit3 -1658879883264*E14_bit4 -3317759766528*E14_bit5 -6635519533056*E14_bit6 -13271039066112*E14_bit7 -26542078132224*E14_bit8 -53084156264448*E14_bit9 -106168312528896*E14_bit10 -212336625057792*E14_bit11 -424673250115584*E14_bit12 -659999943*E15_bit_7 -1319999886*E15_bit_6 -2639999772*E15_bit_5 -5279999544*E15_bit_4 -10559999088*E15_bit_3 -21119998176*E15_bit_2 -42239996352*E15_bit_1 -84479992704*E15_bit0 -168959985408*E15_bit1 -337919970816*E15_bit2 -675839941632*E15_bit3 -1351679883264*E15_bit4 -2703359766528*E15_bit5 -5406719533056*E15_bit6 -10813439066112*E15_bit7 -21626878132224*E15_bit8 -43253756264448*E15_bit9 -86507512528896*E15_bit10 -173015025057792*E15_bit11 -346030050115584*E15_bit12 -539999962*E16_bit_7 -1079999924*E16_bit_6 -2159999848*E16_bit_5 -4319999696*E16_bit_4 -8639999392*E16_bit_3 -17279998784*E16_bit_2 -34559997568*E16_bit_1 -69119995136*E16_bit0 -138239990272*E16_bit1 -276479980544*E16_bit2 -552959961088*E16_bit3 -1105919922176*E16_bit4 -2211839844352*E16_bit5 -4423679688704*E16_bit6 -8847359377408*E16_bit7 -17694718754816*E16_bit8 -35389437509632*E16_bit9 -70778875019264*E16_bit10 -141557750038528*E16_bit11 -283115500077056*E16_bit12 -3750000000*E21_bit_7 -7500000000*E21_bit_6 -15000000000*E21_bit_5 -30000000000*E21_bit_4 -60000000000*E21_bit_3 -120000000000*E21_bit_2 -240000000000*E21_bit_1 -480000000000*E21_bit0 -960000000000*E21_bit1 -1920000000000*E21_bit2 -3840000000000*E21_bit3 -7680000000000*E21_bit4 -15360000000000*E21_bit5 -30720000000000*E21_bit6 -61440000000000*E21_bit7 -122880000000000*E21_bit8 -245760000000000*E21_bit9 -491520000000000*E21_bit10 -983040000000000*E21_bit11 -1966080000000000*E21_bit12 -2550000000*E22_bit_7 -5100000000*E22_bit_6 -10200000000*E22_bit_5 -20400000000*E22_bit_4 -40800000000*E22_bit_3 -81600000000*E22_bit_2 -163200000000*E22_bit_1 -326400000000*E22_bit0 -652800000000*E22_bit1 -1305600000000*E22_bit2 -2611200000000*E22_bit3 -5222400000000*E22_bit4 -10444800000000*E22_bit5 -20889600000000*E22_bit6 -41779200000000*E22_bit7 -83558400000000*E22_bit8 -167116800000000*E22_bit9 -334233600000000*E22_bit10 -668467200000000*E22_bit11 -1336934400000000*E22_bit12 -1200000000*E23_bit_7 -2400000000*E23_bit_6 -4800000000*E23_bit_5 -9600000000*E23_bit_4 -19200000000*E23_bit_3 -38400000000*E23_bit_2 -76800000000*E23_bit_1 -153600000000*E23_bit0 -307200000000*E23_bit1 -614400000000*E23_bit2 -1228800000000*E23_bit3 -2457600000000*E23_bit4 -4915200000000*E23_bit5 -9830400000000*E23_bit6 -19660800000000*E23_bit7 -39321600000000*E23_bit8 -78643200000000*E23_bit9 -157286400000000*E23_bit10 -314572800000000*E23_bit11 -629145600000000*E23_bit12 -809999943*E24_bit_7 -1619999886*E24_bit_6 -3239999772*E24_bit_5 -6479999544*E24_bit_4 -12959999088*E24_bit_3 -25919998176*E24_bit_2 -51839996352*E24_bit_1 -103679992704*E24_bit0 -207359985408*E24_bit1 -414719970816*E24_bit2 -829439941632*E24_bit3 -1658879883264*E24_bit4 -3317759766528*E24_bit5 -6635519533056*E24_bit6 -13271039066112*E24_bit7 -26542078132224*E24_bit8 -53084156264448*E24_bit9 -106168312528896*E24_bit10 -212336625057792*E24_bit11 -424673250115584*E24_bit12 -659999943*E25_bit_7 -1319999886*E25_bit_6 -2639999772*E25_bit_5 -5279999544*E25_bit_4 -10559999088*E25_bit_3 -21119998176*E25_bit_2 -42239996352*E25_bit_1 -84479992704*E25_bit0 -168959985408*E25_bit1 -337919970816*E25_bit2 -675839941632*E25_bit3 -1351679883264*E25_bit4 -2703359766528*E25_bit5 -5406719533056*E25_bit6 -10813439066112*E25_bit7 -21626878132224*E25_bit8 -43253756264448*E25_bit9 -86507512528896*E25_bit10 -173015025057792*E25_bit11 -346030050115584*E25_bit12 -539999962*E26_bit_7 -1079999924*E26_bit_6 -2159999848*E26_bit_5 -4319999696*E26_bit_4 -8639999392*E26_bit_3 -17279998784*E26_bit_2 -34559997568*E26_bit_1 -69119995136*E26_bit0 -138239990272*E26_bit1 -276479980544*E26_bit2 -552959961088*E26_bit3 -1105919922176*E26_bit4 -2211839844352*E26_bit5 -4423679688704*E26_bit6 -8847359377408*E26_bit7 -17694718754816*E26_bit8 -35389437509632*E26_bit9 -70778875019264*E26_bit10 -141557750038528*E26_bit11 -283115500077056*E26_bit12 -3750000000*E31_bit_7 -7500000000*E31_bit_6 -15000000000*E31_bit_5 -30000000000*E31_bit_4 -60000000000*E31_bit_3 -120000000000*E31_bit_2 -240000000000*E31_bit_1 -480000000000*E31_bit0 -960000000000*E31_bit1 -1920000000000*E31_bit2 -3840000000000*E31_bit3 -7680000000000*E31_bit4 -15360000000000*E31_bit5 -30720000000000*E31_bit6 -61440000000000*E31_bit7 -122880000000000*E31_bit8 -245760000000000*E31_bit9 -491520000000000*E31_bit10 -983040000000000*E31_bit11 -1966080000000000*E31_bit12 -2550000000*E32_bit_7 -5100000000*E32_bit_6 -10200000000*E32_bit_5 -20400000000*E32_bit_4 -40800000000*E32_bit_3 -81600000000*E32_bit_2 -163200000000*E32_bit_1 -326400000000*E32_bit0 -652800000000*E32_bit1 -1305600000000*E32_bit2 -2611200000000*E32_bit3 -5222400000000*E32_bit4 -10444800000000*E32_bit5 -20889600000000*E32_bit6 -41779200000000*E32_bit7 -83558400000000*E32_bit8 -167116800000000*E32_bit9 -334233600000000*E32_bit10 -668467200000000*E32_bit11 -1336934400000000*E32_bit12 -1200000000*E33_bit_7 -2400000000*E33_bit_6 -4800000000*E33_bit_5 -9600000000*E33_bit_4 -19200000000*E33_bit_3 -38400000000*E33_bit_2 -76800000000*E33_bit_1 -153600000000*E33_bit0 -307200000000*E33_bit1 -614400000000*E33_bit2 -1228800000000*E33_bit3 -2457600000000*E33_bit4 -4915200000000*E33_bit5 -9830400000000*E33_bit6 -19660800000000*E33_bit7 -39321600000000*E33_bit8 -78643200000000*E33_bit9 -157286400000000*E33_bit10 -314572800000000*E33_bit11 -629145600000000*E33_bit12 -809999943*E34_bit_7 -1619999886*E34_bit_6 -3239999772*E34_bit_5 -6479999544*E34_bit_4 -12959999088*E34_bit_3 -25919998176*E34_bit_2 -51839996352*E34_bit_1 -103679992704*E34_bit0 -207359985408*E34_bit1 -414719970816*E34_bit2 -829439941632*E34_bit3 -1658879883264*E34_bit4 -3317759766528*E34_bit5 -6635519533056*E34_bit6 -13271039066112*E34_bit7 -26542078132224*E34_bit8 -53084156264448*E34_bit9 -106168312528896*E34_bit10 -212336625057792*E34_bit11 -424673250115584*E34_bit12 -659999943*E35_bit_7 -1319999886*E35_bit_6 -2639999772*E35_bit_5 -5279999544*E35_bit_4 -10559999088*E35_bit_3 -21119998176*E35_bit_2 -42239996352*E35_bit_1 -84479992704*E35_bit0 -168959985408*E35_bit1 -337919970816*E35_bit2 -675839941632*E35_bit3 -1351679883264*E35_bit4 -2703359766528*E35_bit5 -5406719533056*E35_bit6 -10813439066112*E35_bit7 -21626878132224*E35_bit8 -43253756264448*E35_bit9 -86507512528896*E35_bit10 -173015025057792*E35_bit11 -346030050115584*E35_bit12 -539999962*E36_bit_7 -1079999924*E36_bit_6 -2159999848*E36_bit_5 -4319999696*E36_bit_4 -8639999392*E36_bit_3 -17279998784*E36_bit_2 -34559997568*E36_bit_1 -69119995136*E36_bit0 -138239990272*E36_bit1 -276479980544*E36_bit2 -552959961088*E36_bit3 -1105919922176*E36_bit4 -2211839844352*E36_bit5 -4423679688704*E36_bit6 -8847359377408*E36_bit7 -17694718754816*E36_bit8 -35389437509632*E36_bit9 -70778875019264*E36_bit10 -141557750038528*E36_bit11 -283115500077056*E36_bit12 -3750000000*E41_bit_7 -7500000000*E41_bit_6 -15000000000*E41_bit_5 -30000000000*E41_bit_4 -60000000000*E41_bit_3 -120000000000*E41_bit_2 -240000000000*E41_bit_1 -480000000000*E41_bit0 -960000000000*E41_bit1 -1920000000000*E41_bit2 -3840000000000*E41_bit3 -7680000000000*E41_bit4 -15360000000000*E41_bit5 -30720000000000*E41_bit6 -61440000000000*E41_bit7 -122880000000000*E41_bit8 -245760000000000*E41_bit9 -491520000000000*E41_bit10 -983040000000000*E41_bit11 -1966080000000000*E41_bit12 -2550000000*E42_bit_7 -5100000000*E42_bit_6 -10200000000*E42_bit_5 -20400000000*E42_bit_4 -40800000000*E42_bit_3 -81600000000*E42_bit_2 -163200000000*E42_bit_1 -326400000000*E42_bit0 -652800000000*E42_bit1 -1305600000000*E42_bit2 -2611200000000*E42_bit3 -5222400000000*E42_bit4 -10444800000000*E42_bit5 -20889600000000*E42_bit6 -41779200000000*E42_bit7 -83558400000000*E42_bit8 -167116800000000*E42_bit9 -334233600000000*E42_bit10 -668467200000000*E42_bit11 -1336934400000000*E42_bit12 -1200000000*E43_bit_7 -2400000000*E43_bit_6 -4800000000*E43_bit_5 -9600000000*E43_bit_4 -19200000000*E43_bit_3 -38400000000*E43_bit_2 -76800000000*E43_bit_1 -153600000000*E43_bit0 -307200000000*E43_bit1 -614400000000*E43_bit2 -1228800000000*E43_bit3 -2457600000000*E43_bit4 -4915200000000*E43_bit5 -9830400000000*E43_bit6 -19660800000000*E43_bit7 -39321600000000*E43_bit8 -78643200000000*E43_bit9 -157286400000000*E43_bit10 -314572800000000*E43_bit11 -629145600000000*E43_bit12 -809999943*E44_bit_7 -1619999886*E44_bit_6 -3239999772*E44_bit_5 -6479999544*E44_bit_4 -12959999088*E44_bit_3 -25919998176*E44_bit_2 -51839996352*E44_bit_1 -103679992704*E44_bit0 -207359985408*E44_bit1 -414719970816*E44_bit2 -829439941632*E44_bit3 -1658879883264*E44_bit4 -3317759766528*E44_bit5 -6635519533056*E44_bit6 -13271039066112*E44_bit7 -26542078132224*E44_bit8 -53084156264448*E44_bit9 -106168312528896*E44_bit10 -212336625057792*E44_bit11 -424673250115584*E44_bit12 -659999943*E45_bit_7 -1319999886*E45_bit_6 -2639999772*E45_bit_5 -5279999544*E45_bit_4 -10559999088*E45_bit_3 -21119998176*E45_bit_2 -42239996352*E45_bit_1 -84479992704*E45_bit0 -168959985408*E45_bit1 -337919970816*E45_bit2 -675839941632*E45_bit3 -1351679883264*E45_bit4 -2703359766528*E45_bit5 -5406719533056*E45_bit6 -10813439066112*E45_bit7 -21626878132224*E45_bit8 -43253756264448*E45_bit9 -86507512528896*E45_bit10 -173015025057792*E45_bit11 -346030050115584*E45_bit12 -539999962*E46_bit_7 -1079999924*E46_bit_6 -2159999848*E46_bit_5 -4319999696*E46_bit_4 -8639999392*E46_bit_3 -17279998784*E46_bit_2 -34559997568*E46_bit_1 -69119995136*E46_bit0 -138239990272*E46_bit1 -276479980544*E46_bit2 -552959961088*E46_bit3 -1105919922176*E46_bit4 -2211839844352*E46_bit5 -4423679688704*E46_bit6 -8847359377408*E46_bit7 -17694718754816*E46_bit8 -35389437509632*E46_bit9 -70778875019264*E46_bit10 -141557750038528*E46_bit11 -283115500077056*E46_bit12 +100000000*SUM12_bit_7 +200000000*SUM12_bit_6 +400000000*SUM12_bit_5 +800000000*SUM12_bit_4 +1600000000*SUM12_bit_3 +3200000000*SUM12_bit_2 +6400000000*SUM12_bit_1 +12800000000*SUM12_bit0 +25600000000*SUM12_bit1 +51200000000*SUM12_bit2 +102400000000*SUM12_bit3 +204800000000*SUM12_bit4 +409600000000*SUM12_bit5 +819200000000*SUM12_bit6 +1638400000000*SUM12_bit7 +3276800000000*SUM12_bit8 +6553600000000*SUM12_bit9 +13107200000000*SUM12_bit10 +26214400000000*SUM12_bit11 +52428800000000*SUM12_bit12 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-lotfi.opb s UNKNOWN c Exit Code: 0 c Total time: 0.961 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.90 0.92 2/54 1552 Raw data (stat): 1552 (runsolver) R 1551 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909871736 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.995194 s] Raw data (loadavg): 0.72 0.90 0.92 1/53 1552 Raw data (stat): 1552 (runsolver) R 1551 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909871736 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.994912 CPU time (s): 0.973851 CPU user time (s): 0.883865 CPU system time (s): 0.089986 CPU usage (%): 97.8831 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####