Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.opb |
MD5SUM | e48dda95f8e39d614f3e3f822031bbe2 |
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 | 9240 |
Biggest coefficient in the objective function | 53687091200000 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 1737924154969464 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 48888431614361600 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 779202693141814557 |
Number of bits of the biggest sum of numbers | 60 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.763883 |
Number of variables | 84737 |
Total number of constraints | 1961 |
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 | 1961 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1470 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 04:32:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10635 boxname=wulflinc4 idbench=819 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: e48dda95f8e39d614f3e3f822031bbe2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-cycle.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-cycle.opb IDLAUNCH: 10635 /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: 768880 kB Buffers: 33788 kB Cached: 211092 kB SwapCached: 600 kB Active: 56544 kB Inactive: 190780 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 768628 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5780 kB Slab: 12848 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 04:32:23 (client local time) WITH STATUS 0 IN 14.8187 SECONDS stats: 10635 7 14.8187 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -100000*B1AAGPAC_bit_10 -200000*B1AAGPAC_bit_9 -400000*B1AAGPAC_bit_8 -800000*B1AAGPAC_bit_7 -1600000*B1AAGPAC_bit_6 -3200000*B1AAGPAC_bit_5 -6400000*B1AAGPAC_bit_4 -12800000*B1AAGPAC_bit_3 -25600000*B1AAGPAC_bit_2 -51200000*B1AAGPAC_bit_1 -102400000*B1AAGPAC_bit0 -204800000*B1AAGPAC_bit1 -409600000*B1AAGPAC_bit2 -819200000*B1AAGPAC_bit3 -1638400000*B1AAGPAC_bit4 -3276800000*B1AAGPAC_bit5 -6553600000*B1AAGPAC_bit6 -13107200000*B1AAGPAC_bit7 -26214400000*B1AAGPAC_bit8 -52428800000*B1AAGPAC_bit9 -104857600000*B1AAGPAC_bit10 -209715200000*B1AAGPAC_bit11 -419430400000*B1AAGPAC_bit12 -838860800000*B1AAGPAC_bit13 -1677721600000*B1AAGPAC_bit14 -3355443200000*B1AAGPAC_bit15 -6710886400000*B1AAGPAC_bit16 -13421772800000*B1AAGPAC_bit17 -26843545600000*B1AAGPAC_bit18 -53687091200000*B1AAGPAC_bit19 -100000*B1AAGRAC_bit_10 -200000*B1AAGRAC_bit_9 -400000*B1AAGRAC_bit_8 -800000*B1AAGRAC_bit_7 -1600000*B1AAGRAC_bit_6 -3200000*B1AAGRAC_bit_5 -6400000*B1AAGRAC_bit_4 -12800000*B1AAGRAC_bit_3 -25600000*B1AAGRAC_bit_2 -51200000*B1AAGRAC_bit_1 -102400000*B1AAGRAC_bit0 -204800000*B1AAGRAC_bit1 -409600000*B1AAGRAC_bit2 -819200000*B1AAGRAC_bit3 -1638400000*B1AAGRAC_bit4 -3276800000*B1AAGRAC_bit5 -6553600000*B1AAGRAC_bit6 -13107200000*B1AAGRAC_bit7 -26214400000*B1AAGRAC_bit8 -52428800000*B1AAGRAC_bit9 -104857600000*B1AAGRAC_bit10 -209715200000*B1AAGRAC_bit11 -419430400000*B1AAGRAC_bit12 -838860800000*B1AAGRAC_bit13 -1677721600000*B1AAGRAC_bit14 -3355443200000*B1AAGRAC_bit15 -6710886400000*B1AAGRAC_bit16 -13421772800000*B1AAGRAC_bit17 -26843545600000*B1AAGRAC_bit18 -53687091200000*B1AAGRAC_bit19 +19111*PACACBAC_bit_10 +38222*PACACBAC_bit_9 +76444*PACACBAC_bit_8 +152888*PACACBAC_bit_7 +305776*PACACBAC_bit_6 +611552*PACACBAC_bit_5 +1223104*PACACBAC_bit_4 +2446208*PACACBAC_bit_3 +4892416*PACACBAC_bit_2 +9784832*PACACBAC_bit_1 +19569664*PACACBAC_bit0 +39139328*PACACBAC_bit1 +78278656*PACACBAC_bit2 +156557312*PACACBAC_bit3 +313114624*PACACBAC_bit4 +626229248*PACACBAC_bit5 +1252458496*PACACBAC_bit6 +2504916992*PACACBAC_bit7 +5009833984*PACACBAC_bit8 +10019667968*PACACBAC_bit9 +20039335936*PACACBAC_bit10 +40078671872*PACACBAC_bit11 +80157343744*PACACBAC_bit12 +160314687488*PACACBAC_bit13 +320629374976*PACACBAC_bit14 +641258749952*PACACBAC_bit15 +1282517499904*PACACBAC_bit16 +2565034999808*PACACBAC_bit17 +5130069999616*PACACBAC_bit18 +10260139999232*PACACBAC_bit19 +20860*PR22CBAC_bit_10 +41720*PR22CBAC_bit_9 +83440*PR22CBAC_bit_8 +166880*PR22CBAC_bit_7 +333760*PR22CBAC_bit_6 +667520*PR22CBAC_bit_5 +1335040*PR22CBAC_bit_4 +2670080*PR22CBAC_bit_3 +5340160*PR22CBAC_bit_2 +10680320*PR22CBAC_bit_1 +21360640*PR22CBAC_bit0 +42721280*PR22CBAC_bit1 +85442560*PR22CBAC_bit2 +170885120*PR22CBAC_bit3 +341770240*PR22CBAC_bit4 +683540480*PR22CBAC_bit5 +1367080960*PR22CBAC_bit6 +2734161920*PR22CBAC_bit7 +5468323840*PR22CBAC_bit8 +10936647680*PR22CBAC_bit9 +21873295360*PR22CBAC_bit10 +43746590720*PR22CBAC_bit11 +87493181440*PR22CBAC_bit12 +174986362880*PR22CBAC_bit13 +349972725760*PR22CBAC_bit14 +699945451520*PR22CBAC_bit15 +1399890903040*PR22CBAC_bit16 +2799781806080*PR22CBAC_bit17 +5599563612160*PR22CBAC_bit18 +11199127224320*PR22CBAC_bit19 +19564*PVAACBAC_bit_10 +39128*PVAACBAC_bit_9 +78256*PVAACBAC_bit_8 +156512*PVAACBAC_bit_7 +313024*PVAACBAC_bit_6 +626048*PVAACBAC_bit_5 +1252096*PVAACBAC_bit_4 +2504192*PVAACBAC_bit_3 +5008384*PVAACBAC_bit_2 +10016768*PVAACBAC_bit_1 +20033536*PVAACBAC_bit0 +40067072*PVAACBAC_bit1 +80134144*PVAACBAC_bit2 +160268288*PVAACBAC_bit3 +320536576*PVAACBAC_bit4 +641073152*PVAACBAC_bit5 +1282146304*PVAACBAC_bit6 +2564292608*PVAACBAC_bit7 +5128585216*PVAACBAC_bit8 +10257170432*PVAACBAC_bit9 +20514340864*PVAACBAC_bit10 +41028681728*PVAACBAC_bit11 +82057363456*PVAACBAC_bit12 +164114726912*PVAACBAC_bit13 +328229453824*PVAACBAC_bit14 +656458907648*PVAACBAC_bit15 +1312917815296*PVAACBAC_bit16 +2625835630592*PVAACBAC_bit17 +5251671261184*PVAACBAC_bit18 +10503342522368*PVAACBAC_bit19 +12622*PVKACBAC_bit_10 +25244*PVKACBAC_bit_9 +50488*PVKACBAC_bit_8 +100976*PVKACBAC_bit_7 +201952*PVKACBAC_bit_6 +403904*PVKACBAC_bit_5 +807808*PVKACBAC_bit_4 +1615616*PVKACBAC_bit_3 +3231232*PVKACBAC_bit_2 +6462464*PVKACBAC_bit_1 +12924928*PVKACBAC_bit0 +25849856*PVKACBAC_bit1 +51699712*PVKACBAC_bit2 +103399424*PVKACBAC_bit3 +206798848*PVKACBAC_bit4 +413597696*PVKACBAC_bit5 +827195392*PVKACBAC_bit6 +1654390784*PVKACBAC_bit7 +3308781568*PVKACBAC_bit8 +6617563136*PVKACBAC_bit9 +13235126272*PVKACBAC_bit10 +26470252544*PVKACBAC_bit11 +52940505088*PVKACBAC_bit12 +105881010176*PVKACBAC_bit13 +211762020352*PVKACBAC_bit14 +423524040704*PVKACBAC_bit15 +847048081408*PVKACBAC_bit16 +1694096162816*PVKACBAC_bit17 +3388192325632*PVKACBAC_bit18 +6776384651264*PVKACBAC_bit19 +19303*PACACCAC_bit_10 +38606*PACACCAC_bit_9 +77212*PACACCAC_bit_8 +154424*PACACCAC_bit_7 +308848*PACACCAC_bit_6 +617696*PACACCAC_bit_5 +1235392*PACACCAC_bit_4 +2470784*PACACCAC_bit_3 +4941568*PACACCAC_bit_2 +9883136*PACACCAC_bit_1 +19766272*PACACCAC_bit0 +39532544*PACACCAC_bit1 +79065088*PACACCAC_bit2 +158130176*PACACCAC_bit3 +316260352*PACACCAC_bit4 +632520704*PACACCAC_bit5 +1265041408*PACACCAC_bit6 +2530082816*PACACCAC_bit7 +5060165632*PACACCAC_bit8 +10120331264*PACACCAC_bit9 +20240662528*PACACCAC_bit10 +40481325056*PACACCAC_bit11 +80962650112*PACACCAC_bit12 +161925300224*PACACCAC_bit13 +323850600448*PACACCAC_bit14 +647701200896*PACACCAC_bit15 +1295402401792*PACACCAC_bit16 +2590804803584*PACACCAC_bit17 +5181609607168*PACACCAC_bit18 +10363219214336*PACACCAC_bit19 +19633*PVAACCAC_bit_10 +39266*PVAACCAC_bit_9 +78532*PVAACCAC_bit_8 +157064*PVAACCAC_bit_7 +314128*PVAACCAC_bit_6 +628256*PVAACCAC_bit_5 +1256512*PVAACCAC_bit_4 +2513024*PVAACCAC_bit_3 +5026048*PVAACCAC_bit_2 +10052096*PVAACCAC_bit_1 +20104192*PVAACCAC_bit0 +40208384*PVAACCAC_bit1 +80416768*PVAACCAC_bit2 +160833536*PVAACCAC_bit3 +321667072*PVAACCAC_bit4 +643334144*PVAACCAC_bit5 +1286668288*PVAACCAC_bit6 +2573336576*PVAACCAC_bit7 +5146673152*PVAACCAC_bit8 +10293346304*PVAACCAC_bit9 +20586692608*PVAACCAC_bit10 +41173385216*PVAACCAC_bit11 +82346770432*PVAACCAC_bit12 +164693540864*PVAACCAC_bit13 +329387081728*PVAACCAC_bit14 +658774163456*PVAACCAC_bit15 +1317548326912*PVAACCAC_bit16 +2635096653824*PVAACCAC_bit17 +5270193307648*PVAACCAC_bit18 +10540386615296*PVAACCAC_bit19 +12351*PVKACCAC_bit_10 +24702*PVKACCAC_bit_9 +49404*PVKACCAC_bit_8 +98808*PVKACCAC_bit_7 +197616*PVKACCAC_bit_6 +395232*PVKACCAC_bit_5 +790464*PVKACCAC_bit_4 +1580928*PVKACCAC_bit_3 +3161856*PVKACCAC_bit_2 +6323712*PVKACCAC_bit_1 +12647424*PVKACCAC_bit0 +25294848*PVKACCAC_bit1 +50589696*PVKACCAC_bit2 +101179392*PVKACCAC_bit3 +202358784*PVKACCAC_bit4 +404717568*PVKACCAC_bit5 +809435136*PVKACCAC_bit6 +1618870272*PVKACCAC_bit7 +3237740544*PVKACCAC_bit8 +6475481088*PVKACCAC_bit9 +12950962176*PVKACCAC_bit10 +25901924352*PVKACCAC_bit11 +51803848704*PVKACCAC_bit12 +103607697408*PVKACCAC_bit13 +207215394816*PVKACCAC_bit14 +414430789632*PVKACCAC_bit15 +828861579264*PVKACCAC_bit16 +1657723158528*PVKACCAC_bit17 +3315446317056*PVKACCAC_bit18 +6630892634112*PVKACCAC_bit19 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-cycle.opb s UNKNOWN c Exit Code: 0 c Total time: 14.798 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 Raw data (loadavg): 0.92 0.95 0.91 2/54 27715 Raw data (stat): 27715 (runsolver) R 27714 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777792639 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 27715 Raw data (stat): 27715 (bsolo_lpr) R 27714 21152 21151 0 -1 0 3093 0 0 0 990 6 0 0 25 0 1 0 777792639 25649152 3017 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 3017 1111 63 0 6199 0 vsize: 25048 [startup+14.8604 s] Raw data (loadavg): 0.94 0.96 0.91 1/53 27715 Raw data (stat): 27715 (bsolo_lpr) R 27714 21152 21151 0 -1 0 3093 0 0 0 990 6 0 0 25 0 1 0 777792639 25649152 3017 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 3017 1111 63 0 6199 0 vsize: 0 Child status: 0 Real time (s): 14.8601 CPU time (s): 14.8187 CPU user time (s): 14.6488 CPU system time (s): 0.169974 CPU usage (%): 99.7218 Max. virtual memory (Kb): 25048 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####