Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb |
MD5SUM | 26f8714f5bbc8fb10d3a4aeb3a0f315a |
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 | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 26904326400 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 81230087655 |
Number of bits of the biggest sum of numbers | 37 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.218966 |
Number of variables | 7561 |
Total number of constraints | 606 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 314 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 917 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-09 06:59:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29216 boxname=wulflinc4 idbench=1000 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 26f8714f5bbc8fb10d3a4aeb3a0f315a /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-rout.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-rout.opb IDLAUNCH: 29216 /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: 906980 kB Buffers: 5156 kB Cached: 101220 kB SwapCached: 860 kB Active: 23080 kB Inactive: 85344 kB HighTotal: 131008 kB HighFree: 27216 kB LowTotal: 903652 kB LowFree: 879764 kB SwapTotal: 2097136 kB SwapFree: 2095236 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4908 kB Slab: 13384 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 06:59:49 (client local time) WITH STATUS 0 IN 0.053991 SECONDS stats: 29216 7 0.053991 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +25*x241_bit_10 +50*x241_bit_9 +100*x241_bit_8 +200*x241_bit_7 +400*x241_bit_6 +800*x241_bit_5 +1600*x241_bit_4 +3200*x241_bit_3 +6400*x241_bit_2 +12800*x241_bit_1 +25600*x241_bit0 +51200*x241_bit1 +102400*x241_bit2 +204800*x241_bit3 +409600*x241_bit4 +819200*x241_bit5 +1638400*x241_bit6 +3276800*x241_bit7 +6553600*x241_bit8 +13107200*x241_bit9 +26214400*x241_bit10 +52428800*x241_bit11 +104857600*x241_bit12 +209715200*x241_bit13 +419430400*x241_bit14 +838860800*x241_bit15 +1677721600*x241_bit16 +3355443200*x241_bit17 +6710886400*x241_bit18 +13421772800*x241_bit19 +26843545600*x241_bit20 -139008*x242_bit0 -139008*x243_bit0 -139008*x244_bit0 -139008*x245_bit0 -139008*x246_bit0 -1376768*x247_bit0 -1376768*x248_bit0 -1376768*x249_bit0 -1376768*x250_bit0 -1376768*x251_bit0 -598016*x252_bit0 -598016*x253_bit0 -598016*x254_bit0 -598016*x255_bit0 -598016*x256_bit0 +1907712*x257_bit0 +1907712*x258_bit0 +1907712*x259_bit0 +1907712*x260_bit0 +1907712*x261_bit0 +2019072*x262_bit0 +2019072*x263_bit0 +2019072*x264_bit0 +2019072*x265_bit0 +2019072*x266_bit0 +2032896*x267_bit0 +2032896*x268_bit0 +2032896*x269_bit0 +2032896*x270_bit0 +2032896*x271_bit0 +2158080*x272_bit0 +2158080*x273_bit0 +2158080*x274_bit0 +2158080*x275_bit0 +2158080*x276_bit0 +747008*x277_bit0 +747008*x278_bit0 +747008*x279_bit0 +747008*x280_bit0 +747008*x281_bit0 +997376*x282_bit0 +997376*x283_bit0 +997376*x284_bit0 +997376*x285_bit0 +997376*x286_bit0 +1789952*x287_bit0 +1789952*x288_bit0 +1789952*x289_bit0 +1789952*x290_bit0 +1789952*x291_bit0 +1317120*x292_bit0 +1317120*x293_bit0 +1317120*x294_bit0 +1317120*x295_bit0 +1317120*x296_bit0 +3085824*x297_bit0 +3085824*x298_bit0 +3085824*x299_bit0 +3085824*x300_bit0 +3085824*x301_bit0 +3211008*x302_bit0 +6422016*x302_bit1 +3211008*x303_bit0 +6422016*x303_bit1 +3211008*x304_bit0 +6422016*x304_bit1 +3211008*x305_bit0 +6422016*x305_bit1 +3211008*x306_bit0 +6422016*x306_bit1 +2766080*x307_bit0 +5532160*x307_bit1 +2766080*x308_bit0 +5532160*x308_bit1 +2766080*x309_bit0 +5532160*x309_bit1 +2766080*x310_bit0 +5532160*x310_bit1 +2766080*x311_bit0 +5532160*x311_bit1 +3656192*x312_bit0 +7312384*x312_bit1 +3656192*x313_bit0 +7312384*x313_bit1 +3656192*x314_bit0 +7312384*x314_bit1 +3656192*x315_bit0 +7312384*x315_bit1 +3656192*x316_bit0 +7312384*x316_bit1 +1905408*x317_bit0 +1905408*x318_bit0 +1905408*x319_bit0 +1905408*x320_bit0 +1905408*x321_bit0 +2128128*x322_bit0 +2128128*x323_bit0 +2128128*x324_bit0 +2128128*x325_bit0 +2128128*x326_bit0 +2406144*x327_bit0 +2406144*x328_bit0 +2406144*x329_bit0 +2406144*x330_bit0 +2406144*x331_bit0 +2461696*x332_bit0 +2461696*x333_bit0 +2461696*x334_bit0 +2461696*x335_bit0 +2461696*x336_bit0 +1231104*x337_bit0 +1231104*x338_bit0 +1231104*x339_bit0 +1231104*x340_bit0 +1231104*x341_bit0 +1439744*x342_bit0 +1439744*x343_bit0 +1439744*x344_bit0 +1439744*x345_bit0 +1439744*x346_bit0 +688640*x347_bit0 +688640*x348_bit0 +688640*x349_bit0 +688640*x350_bit0 +688640*x351_bit0 +1690112*x352_bit0 +1690112*x353_bit0 +1690112*x354_bit0 +1690112*x355_bit0 +1690112*x356_bit0 +2419968*x357_bit0 +2419968*x358_bit0 +2419968*x359_bit0 +2419968*x360_bit0 +2419968*x361_bit0 +2475776*x362_bit0 +2475776*x363_bit0 +2475776*x364_bit0 +2475776*x365_bit0 +2475776*x366_bit0 +2392320*x367_bit0 +2392320*x368_bit0 +2392320*x369_bit0 +2392320*x370_bit0 +2392320*x371_bit0 +2406144*x372_bit0 +2406144*x373_bit0 +2406144*x374_bit0 +2406144*x375_bit0 +2406144*x376_bit0 +582656*x377_bit0 +582656*x378_bit0 +582656*x379_bit0 +582656*x380_bit0 +582656*x381_bit0 +972032*x382_bit0 +972032*x383_bit0 +972032*x384_bit0 +972032*x385_bit0 +972032*x386_bit0 +1917696*x387_bit0 +1917696*x388_bit0 +1917696*x389_bit0 +1917696*x390_bit0 +1917696*x391_bit0 +1222400*x392_bit0 +1222400*x393_bit0 +1222400*x394_bit0 +1222400*x395_bit0 +1222400*x396_bit0 +2185728*x397_bit0 +2185728*x398_bit0 +2185728*x399_bit0 +2185728*x400_bit0 +2185728*x401_bit0 +2213632*x402_bit0 +2213632*x403_bit0 +2213632*x404_bit0 +2213632*x405_bit0 +2213632*x406_bit0 +2310912*x407_bit0 +2310912*x408_bit0 +2310912*x409_bit0 +2310912*x410_bit0 +2310912*x411_bit0 +1963264*x412_bit0 +1963264*x413_bit0 +1963264*x414_bit0 +1963264*x415_bit0 +1963264*x416_bit0 +2231552*x417_bit0 +2231552*x418_bit0 +2231552*x419_bit0 +2231552*x420_bit0 +2231552*x421_bit0 +2134272*x422_bit0 +2134272*x423_bit0 +2134272*x424_bit0 +2134272*x425_bit0 +2134272*x426_bit0 +979712*x427_bit0 +979712*x428_bit0 +979712*x429_bit0 +979712*x430_bit0 +979712*x431_bit0 +1939456*x432_bit0 +1939456*x433_bit0 +1939456*x434_bit0 +1939456*x435_bit0 +1939456*x436_bit0 +1779456*x437_bit0 +1779456*x438_bit0 +1779456*x439_bit0 +1779456*x440_bit0 +1779456*x441_bit0 +1682176*x442_bit0 +1682176*x443_bit0 +1682176*x444_bit0 +1682176*x445_bit0 +1682176*x446_bit0 +527872*x447_bit0 +527872*x448_bit0 +527872*x449_bit0 +527872*x450_bit0 +527872*x451_bit0 +1362432*x452_bit0 +1362432*x453_bit0 +1362432*x454_bit0 +1362432*x455_bit0 +1362432*x456_bit0 +2239232*x457_bit0 +2239232*x458_bit0 +2239232*x459_bit0 +2239232*x460_bit0 +2239232*x461_bit0 +2434048*x462_bit0 +2434048*x463_bit0 +2434048*x464_bit0 +2434048*x465_bit0 +2434048*x466_bit0 +1015296*x467_bit0 +1015296*x468_bit0 +1015296*x469_bit0 +1015296*x470_bit0 +1015296*x471_bit0 +1947136*x472_bit0 +1947136*x473_bit0 +1947136*x474_bit0 +1947136*x475_bit0 +1947136*x476_bit0 +1125888*x477_bit0 +1125888*x478_bit0 +1125888*x479_bit0 +1125888*x480_bit0 +1125888*x481_bit0 +1195520*x482_bit0 +1195520*x483_bit0 +1195520*x484_bit0 +1195520*x485_bit0 +1195520*x486_bit0 +750336*x487_bit0 +750336*x488_bit0 +750336*x489_bit0 +750336*x490_bit0 +750336*x491_bit0 +1682176*x492_bit0 +1682176*x493_bit0 +1682176*x494_bit0 +1682176*x495_bit0 +1682176*x496_bit0 +1748224*x497_bit0 +1748224*x498_bit0 +1748224*x499_bit0 +1748224*x500_bit0 +1748224*x501_bit0 +1817856*x502_bit0 +1817856*x503_bit0 +1817856*x504_bit0 +1817856*x505_bit0 +1817856*x506_bit0 +1039104*x507_bit0 +1039104*x508_bit0 +1039104*x509_bit0 +1039104*x510_bit0 +1039104*x511_bit0 +1331200*x512_bit0 +1331200*x513_bit0 +1331200*x514_bit0 +1331200*x515_bit0 +1331200*x516_bit0 +1653504*x517_bit0 +1653504*x518_bit0 +1653504*x519_bit0 +1653504*x520_bit0 +1653504*x521_bit0 +1611776*x522_bit0 +1611776*x523_bit0 +1611776*x524_bit0 +1611776*x525_bit0 +1611776*x526_bit0 +763392*x527_bit0 +763392*x528_bit0 +763392*x529_bit0 +763392*x530_bit0 +763392*x531_bit0 +1917696*x532_bit0 +1917696*x533_bit0 +1917696*x534_bit0 +1917696*x535_bit0 +1917696*x536_bit0 +1591808*x537_bit0 +1591808*x538_bit0 +1591808*x539_bit0 +1591808*x540_bit0 +1591808*x541_bit0 +1716992*x542_bit0 +1716992*x543_bit0 +1716992*x544_bit0 +1716992*x545_bit0 +1716992*x546_bit0 +1271808*x547_bit0 +1271808*x548_bit0 +1271808*x549_bit0 +1271808*x550_bit0 +1271808*x551_bit0 +2161920*x552_bit0 +2161920*x553_bit0 +2161920*x554_bit0 +2161920*x555_bit0 +2161920*x556_bit0 = +26904326400; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-rout.opb s UNKNOWN c Exit Code: 0 c Total time: 0.045 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.81 0.93 0.90 1/54 10888 Raw data (stat): 10888 (runsolver) D 10887 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 908294936 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+0.114204 s] Raw data (loadavg): 0.81 0.93 0.90 1/53 10888 Raw data (stat): 10888 (runsolver) D 10887 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 908294936 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 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.113934 CPU time (s): 0.053991 CPU user time (s): 0.029995 CPU system time (s): 0.023996 CPU usage (%): 47.388 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####