Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rout.opb |
MD5SUM | 76f802a1f3708b934101fc21122cc5bf |
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.250961 |
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 wulflinc6 THE 2005-06-09 08:18:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29283 boxname=wulflinc6 idbench=1067 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 76f802a1f3708b934101fc21122cc5bf /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-rout.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-rout.opb IDLAUNCH: 29283 /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: 559036 kB Buffers: 19464 kB Cached: 434796 kB SwapCached: 932 kB Active: 29728 kB Inactive: 426576 kB HighTotal: 131008 kB HighFree: 5236 kB LowTotal: 903652 kB LowFree: 553800 kB SwapTotal: 2097136 kB SwapFree: 2095216 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 13752 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 08:18:53 (client local time) WITH STATUS 0 IN 0.05399 SECONDS stats: 29283 7 0.05399 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +25*C0000241_bit_10 +50*C0000241_bit_9 +100*C0000241_bit_8 +200*C0000241_bit_7 +400*C0000241_bit_6 +800*C0000241_bit_5 +1600*C0000241_bit_4 +3200*C0000241_bit_3 +6400*C0000241_bit_2 +12800*C0000241_bit_1 +25600*C0000241_bit0 +51200*C0000241_bit1 +102400*C0000241_bit2 +204800*C0000241_bit3 +409600*C0000241_bit4 +819200*C0000241_bit5 +1638400*C0000241_bit6 +3276800*C0000241_bit7 +6553600*C0000241_bit8 +13107200*C0000241_bit9 +26214400*C0000241_bit10 +52428800*C0000241_bit11 +104857600*C0000241_bit12 +209715200*C0000241_bit13 +419430400*C0000241_bit14 +838860800*C0000241_bit15 +1677721600*C0000241_bit16 +3355443200*C0000241_bit17 +6710886400*C0000241_bit18 +13421772800*C0000241_bit19 +26843545600*C0000241_bit20 -139008*C0000242_bit0 -139008*C0000243_bit0 -139008*C0000244_bit0 -139008*C0000245_bit0 -139008*C0000246_bit0 -1376768*C0000247_bit0 -1376768*C0000248_bit0 -1376768*C0000249_bit0 -1376768*C0000250_bit0 -1376768*C0000251_bit0 -598016*C0000252_bit0 -598016*C0000253_bit0 -598016*C0000254_bit0 -598016*C0000255_bit0 -598016*C0000256_bit0 +1907712*C0000257_bit0 +1907712*C0000258_bit0 +1907712*C0000259_bit0 +1907712*C0000260_bit0 +1907712*C0000261_bit0 +2019072*C0000262_bit0 +2019072*C0000263_bit0 +2019072*C0000264_bit0 +2019072*C0000265_bit0 +2019072*C0000266_bit0 +2032896*C0000267_bit0 +2032896*C0000268_bit0 +2032896*C0000269_bit0 +2032896*C0000270_bit0 +2032896*C0000271_bit0 +2158080*C0000272_bit0 +2158080*C0000273_bit0 +2158080*C0000274_bit0 +2158080*C0000275_bit0 +2158080*C0000276_bit0 +747008*C0000277_bit0 +747008*C0000278_bit0 +747008*C0000279_bit0 +747008*C0000280_bit0 +747008*C0000281_bit0 +997376*C0000282_bit0 +997376*C0000283_bit0 +997376*C0000284_bit0 +997376*C0000285_bit0 +997376*C0000286_bit0 +1789952*C0000287_bit0 +1789952*C0000288_bit0 +1789952*C0000289_bit0 +1789952*C0000290_bit0 +1789952*C0000291_bit0 +1317120*C0000292_bit0 +1317120*C0000293_bit0 +1317120*C0000294_bit0 +1317120*C0000295_bit0 +1317120*C0000296_bit0 +3085824*C0000297_bit0 +3085824*C0000298_bit0 +3085824*C0000299_bit0 +3085824*C0000300_bit0 +3085824*C0000301_bit0 +3211008*C0000302_bit0 +6422016*C0000302_bit1 +3211008*C0000303_bit0 +6422016*C0000303_bit1 +3211008*C0000304_bit0 +6422016*C0000304_bit1 +3211008*C0000305_bit0 +6422016*C0000305_bit1 +3211008*C0000306_bit0 +6422016*C0000306_bit1 +2766080*C0000307_bit0 +5532160*C0000307_bit1 +2766080*C0000308_bit0 +5532160*C0000308_bit1 +2766080*C0000309_bit0 +5532160*C0000309_bit1 +2766080*C0000310_bit0 +5532160*C0000310_bit1 +2766080*C0000311_bit0 +5532160*C0000311_bit1 +3656192*C0000312_bit0 +7312384*C0000312_bit1 +3656192*C0000313_bit0 +7312384*C0000313_bit1 +3656192*C0000314_bit0 +7312384*C0000314_bit1 +3656192*C0000315_bit0 +7312384*C0000315_bit1 +3656192*C0000316_bit0 +7312384*C0000316_bit1 +1905408*C0000317_bit0 +1905408*C0000318_bit0 +1905408*C0000319_bit0 +1905408*C0000320_bit0 +1905408*C0000321_bit0 +2128128*C0000322_bit0 +2128128*C0000323_bit0 +2128128*C0000324_bit0 +2128128*C0000325_bit0 +2128128*C0000326_bit0 +2406144*C0000327_bit0 +2406144*C0000328_bit0 +2406144*C0000329_bit0 +2406144*C0000330_bit0 +2406144*C0000331_bit0 +2461696*C0000332_bit0 +2461696*C0000333_bit0 +2461696*C0000334_bit0 +2461696*C0000335_bit0 +2461696*C0000336_bit0 +1231104*C0000337_bit0 +1231104*C0000338_bit0 +1231104*C0000339_bit0 +1231104*C0000340_bit0 +1231104*C0000341_bit0 +1439744*C0000342_bit0 +1439744*C0000343_bit0 +1439744*C0000344_bit0 +1439744*C0000345_bit0 +1439744*C0000346_bit0 +688640*C0000347_bit0 +688640*C0000348_bit0 +688640*C0000349_bit0 +688640*C0000350_bit0 +688640*C0000351_bit0 +1690112*C0000352_bit0 +1690112*C0000353_bit0 +1690112*C0000354_bit0 +1690112*C0000355_bit0 +1690112*C0000356_bit0 +2419968*C0000357_bit0 +2419968*C0000358_bit0 +2419968*C0000359_bit0 +2419968*C0000360_bit0 +2419968*C0000361_bit0 +2475776*C0000362_bit0 +2475776*C0000363_bit0 +2475776*C0000364_bit0 +2475776*C0000365_bit0 +2475776*C0000366_bit0 +2392320*C0000367_bit0 +2392320*C0000368_bit0 +2392320*C0000369_bit0 +2392320*C0000370_bit0 +2392320*C0000371_bit0 +2406144*C0000372_bit0 +2406144*C0000373_bit0 +2406144*C0000374_bit0 +2406144*C0000375_bit0 +2406144*C0000376_bit0 +582656*C0000377_bit0 +582656*C0000378_bit0 +582656*C0000379_bit0 +582656*C0000380_bit0 +582656*C0000381_bit0 +972032*C0000382_bit0 +972032*C0000383_bit0 +972032*C0000384_bit0 +972032*C0000385_bit0 +972032*C0000386_bit0 +1917696*C0000387_bit0 +1917696*C0000388_bit0 +1917696*C0000389_bit0 +1917696*C0000390_bit0 +1917696*C0000391_bit0 +1222400*C0000392_bit0 +1222400*C0000393_bit0 +1222400*C0000394_bit0 +1222400*C0000395_bit0 +1222400*C0000396_bit0 +2185728*C0000397_bit0 +2185728*C0000398_bit0 +2185728*C0000399_bit0 +2185728*C0000400_bit0 +2185728*C0000401_bit0 +2213632*C0000402_bit0 +2213632*C0000403_bit0 +2213632*C0000404_bit0 +2213632*C0000405_bit0 +2213632*C0000406_bit0 +2310912*C0000407_bit0 +2310912*C0000408_bit0 +2310912*C0000409_bit0 +2310912*C0000410_bit0 +2310912*C0000411_bit0 +1963264*C0000412_bit0 +1963264*C0000413_bit0 +1963264*C0000414_bit0 +1963264*C0000415_bit0 +1963264*C0000416_bit0 +2231552*C0000417_bit0 +2231552*C0000418_bit0 +2231552*C0000419_bit0 +2231552*C0000420_bit0 +2231552*C0000421_bit0 +2134272*C0000422_bit0 +2134272*C0000423_bit0 +2134272*C0000424_bit0 +2134272*C0000425_bit0 +2134272*C0000426_bit0 +979712*C0000427_bit0 +979712*C0000428_bit0 +979712*C0000429_bit0 +979712*C0000430_bit0 +979712*C0000431_bit0 +1939456*C0000432_bit0 +1939456*C0000433_bit0 +1939456*C0000434_bit0 +1939456*C0000435_bit0 +1939456*C0000436_bit0 +1779456*C0000437_bit0 +1779456*C0000438_bit0 +1779456*C0000439_bit0 +1779456*C0000440_bit0 +1779456*C0000441_bit0 +1682176*C0000442_bit0 +1682176*C0000443_bit0 +1682176*C0000444_bit0 +1682176*C0000445_bit0 +1682176*C0000446_bit0 +527872*C0000447_bit0 +527872*C0000448_bit0 +527872*C0000449_bit0 +527872*C0000450_bit0 +527872*C0000451_bit0 +1362432*C0000452_bit0 +1362432*C0000453_bit0 +1362432*C0000454_bit0 +1362432*C0000455_bit0 +1362432*C0000456_bit0 +2239232*C0000457_bit0 +2239232*C0000458_bit0 +2239232*C0000459_bit0 +2239232*C0000460_bit0 +2239232*C0000461_bit0 +2434048*C0000462_bit0 +2434048*C0000463_bit0 +2434048*C0000464_bit0 +2434048*C0000465_bit0 +2434048*C0000466_bit0 +1015296*C0000467_bit0 +1015296*C0000468_bit0 +1015296*C0000469_bit0 +1015296*C0000470_bit0 +1015296*C0000471_bit0 +1947136*C0000472_bit0 +1947136*C0000473_bit0 +1947136*C0000474_bit0 +1947136*C0000475_bit0 +1947136*C0000476_bit0 +1125888*C0000477_bit0 +1125888*C0000478_bit0 +1125888*C0000479_bit0 +1125888*C0000480_bit0 +1125888*C0000481_bit0 +1195520*C0000482_bit0 +1195520*C0000483_bit0 +1195520*C0000484_bit0 +1195520*C0000485_bit0 +1195520*C0000486_bit0 +750336*C0000487_bit0 +750336*C0000488_bit0 +750336*C0000489_bit0 +750336*C0000490_bit0 +750336*C0000491_bit0 +1682176*C0000492_bit0 +1682176*C0000493_bit0 +1682176*C0000494_bit0 +1682176*C0000495_bit0 +1682176*C0000496_bit0 +1748224*C0000497_bit0 +1748224*C0000498_bit0 +1748224*C0000499_bit0 +1748224*C0000500_bit0 +1748224*C0000501_bit0 +1817856*C0000502_bit0 +1817856*C0000503_bit0 +1817856*C0000504_bit0 +1817856*C0000505_bit0 +1817856*C0000506_bit0 +1039104*C0000507_bit0 +1039104*C0000508_bit0 +1039104*C0000509_bit0 +1039104*C0000510_bit0 +1039104*C0000511_bit0 +1331200*C0000512_bit0 +1331200*C0000513_bit0 +1331200*C0000514_bit0 +1331200*C0000515_bit0 +1331200*C0000516_bit0 +1653504*C0000517_bit0 +1653504*C0000518_bit0 +1653504*C0000519_bit0 +1653504*C0000520_bit0 +1653504*C0000521_bit0 +1611776*C0000522_bit0 +1611776*C0000523_bit0 +1611776*C0000524_bit0 +1611776*C0000525_bit0 +1611776*C0000526_bit0 +763392*C0000527_bit0 +763392*C0000528_bit0 +763392*C0000529_bit0 +763392*C0000530_bit0 +763392*C0000531_bit0 +1917696*C0000532_bit0 +1917696*C0000533_bit0 +1917696*C0000534_bit0 +1917696*C0000535_bit0 +1917696*C0000536_bit0 +1591808*C0000537_bit0 +1591808*C0000538_bit0 +1591808*C0000539_bit0 +1591808*C0000540_bit0 +1591808*C0000541_bit0 +1716992*C0000542_bit0 +1716992*C0000543_bit0 +1716992*C0000544_bit0 +1716992*C0000545_bit0 +1716992*C0000546_bit0 +1271808*C0000547_bit0 +1271808*C0000548_bit0 +1271808*C0000549_bit0 +1271808*C0000550_bit0 +1271808*C0000551_bit0 +2161920*C0000552_bit0 +2161920*C0000553_bit0 +2161920*C0000554_bit0 +2161920*C0000555_bit0 +2161920*C0000556_bit0 = +26904326400; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc6/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.71 0.85 0.87 2/54 9525 Raw data (stat): 9525 (runsolver) R 9524 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908778141 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+0.073107 s] Raw data (loadavg): 0.71 0.85 0.87 1/53 9525 Raw data (stat): 9525 (runsolver) R 9524 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908778141 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): 0.072814 CPU time (s): 0.05399 CPU user time (s): 0.033994 CPU system time (s): 0.019996 CPU usage (%): 74.1478 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####