Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-cycle.opb |
MD5SUM | ca1913a1a38482691af236563bbf8b4e |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6160 |
Biggest coefficient in the objective function | 52428800000 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 1697189940600 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 47742608998400 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 760939405040925 |
Number of bits of the biggest sum of numbers | 50 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1311.59 |
Number of variables | 56706 |
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 | 8 |
Maximum length of a constraint | 980 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-09 10:56:14 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29419 boxname=wulflinc3 idbench=1203 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: ca1913a1a38482691af236563bbf8b4e /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-cycle.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-cycle.opb IDLAUNCH: 29419 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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.190 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: 739936 kB Buffers: 16120 kB Cached: 258096 kB SwapCached: 708 kB Active: 41736 kB Inactive: 234464 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 739684 kB SwapTotal: 2097136 kB SwapFree: 2095380 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5036 kB Slab: 12864 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 10:56:20 (client local time) WITH STATUS 0 IN 5.36418 SECONDS stats: 29419 7 5.36418 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -100000*B1AAGPAC_bit_7 -200000*B1AAGPAC_bit_6 -400000*B1AAGPAC_bit_5 -800000*B1AAGPAC_bit_4 -1600000*B1AAGPAC_bit_3 -3200000*B1AAGPAC_bit_2 -6400000*B1AAGPAC_bit_1 -12800000*B1AAGPAC_bit0 -25600000*B1AAGPAC_bit1 -51200000*B1AAGPAC_bit2 -102400000*B1AAGPAC_bit3 -204800000*B1AAGPAC_bit4 -409600000*B1AAGPAC_bit5 -819200000*B1AAGPAC_bit6 -1638400000*B1AAGPAC_bit7 -3276800000*B1AAGPAC_bit8 -6553600000*B1AAGPAC_bit9 -13107200000*B1AAGPAC_bit10 -26214400000*B1AAGPAC_bit11 -52428800000*B1AAGPAC_bit12 -100000*B1AAGRAC_bit_7 -200000*B1AAGRAC_bit_6 -400000*B1AAGRAC_bit_5 -800000*B1AAGRAC_bit_4 -1600000*B1AAGRAC_bit_3 -3200000*B1AAGRAC_bit_2 -6400000*B1AAGRAC_bit_1 -12800000*B1AAGRAC_bit0 -25600000*B1AAGRAC_bit1 -51200000*B1AAGRAC_bit2 -102400000*B1AAGRAC_bit3 -204800000*B1AAGRAC_bit4 -409600000*B1AAGRAC_bit5 -819200000*B1AAGRAC_bit6 -1638400000*B1AAGRAC_bit7 -3276800000*B1AAGRAC_bit8 -6553600000*B1AAGRAC_bit9 -13107200000*B1AAGRAC_bit10 -26214400000*B1AAGRAC_bit11 -52428800000*B1AAGRAC_bit12 +19111*PACACBAC_bit_7 +38222*PACACBAC_bit_6 +76444*PACACBAC_bit_5 +152888*PACACBAC_bit_4 +305776*PACACBAC_bit_3 +611552*PACACBAC_bit_2 +1223104*PACACBAC_bit_1 +2446208*PACACBAC_bit0 +4892416*PACACBAC_bit1 +9784832*PACACBAC_bit2 +19569664*PACACBAC_bit3 +39139328*PACACBAC_bit4 +78278656*PACACBAC_bit5 +156557312*PACACBAC_bit6 +313114624*PACACBAC_bit7 +626229248*PACACBAC_bit8 +1252458496*PACACBAC_bit9 +2504916992*PACACBAC_bit10 +5009833984*PACACBAC_bit11 +10019667968*PACACBAC_bit12 +20860*PR22CBAC_bit_7 +41720*PR22CBAC_bit_6 +83440*PR22CBAC_bit_5 +166880*PR22CBAC_bit_4 +333760*PR22CBAC_bit_3 +667520*PR22CBAC_bit_2 +1335040*PR22CBAC_bit_1 +2670080*PR22CBAC_bit0 +5340160*PR22CBAC_bit1 +10680320*PR22CBAC_bit2 +21360640*PR22CBAC_bit3 +42721280*PR22CBAC_bit4 +85442560*PR22CBAC_bit5 +170885120*PR22CBAC_bit6 +341770240*PR22CBAC_bit7 +683540480*PR22CBAC_bit8 +1367080960*PR22CBAC_bit9 +2734161920*PR22CBAC_bit10 +5468323840*PR22CBAC_bit11 +10936647680*PR22CBAC_bit12 +19564*PVAACBAC_bit_7 +39128*PVAACBAC_bit_6 +78256*PVAACBAC_bit_5 +156512*PVAACBAC_bit_4 +313024*PVAACBAC_bit_3 +626048*PVAACBAC_bit_2 +1252096*PVAACBAC_bit_1 +2504192*PVAACBAC_bit0 +5008384*PVAACBAC_bit1 +10016768*PVAACBAC_bit2 +20033536*PVAACBAC_bit3 +40067072*PVAACBAC_bit4 +80134144*PVAACBAC_bit5 +160268288*PVAACBAC_bit6 +320536576*PVAACBAC_bit7 +641073152*PVAACBAC_bit8 +1282146304*PVAACBAC_bit9 +2564292608*PVAACBAC_bit10 +5128585216*PVAACBAC_bit11 +10257170432*PVAACBAC_bit12 +12622*PVKACBAC_bit_7 +25244*PVKACBAC_bit_6 +50488*PVKACBAC_bit_5 +100976*PVKACBAC_bit_4 +201952*PVKACBAC_bit_3 +403904*PVKACBAC_bit_2 +807808*PVKACBAC_bit_1 +1615616*PVKACBAC_bit0 +3231232*PVKACBAC_bit1 +6462464*PVKACBAC_bit2 +12924928*PVKACBAC_bit3 +25849856*PVKACBAC_bit4 +51699712*PVKACBAC_bit5 +103399424*PVKACBAC_bit6 +206798848*PVKACBAC_bit7 +413597696*PVKACBAC_bit8 +827195392*PVKACBAC_bit9 +1654390784*PVKACBAC_bit10 +3308781568*PVKACBAC_bit11 +6617563136*PVKACBAC_bit12 +19303*PACACCAC_bit_7 +38606*PACACCAC_bit_6 +77212*PACACCAC_bit_5 +154424*PACACCAC_bit_4 +308848*PACACCAC_bit_3 +617696*PACACCAC_bit_2 +1235392*PACACCAC_bit_1 +2470784*PACACCAC_bit0 +4941568*PACACCAC_bit1 +9883136*PACACCAC_bit2 +19766272*PACACCAC_bit3 +39532544*PACACCAC_bit4 +79065088*PACACCAC_bit5 +158130176*PACACCAC_bit6 +316260352*PACACCAC_bit7 +632520704*PACACCAC_bit8 +1265041408*PACACCAC_bit9 +2530082816*PACACCAC_bit10 +5060165632*PACACCAC_bit11 +10120331264*PACACCAC_bit12 +19633*PVAACCAC_bit_7 +39266*PVAACCAC_bit_6 +78532*PVAACCAC_bit_5 +157064*PVAACCAC_bit_4 +314128*PVAACCAC_bit_3 +628256*PVAACCAC_bit_2 +1256512*PVAACCAC_bit_1 +2513024*PVAACCAC_bit0 +5026048*PVAACCAC_bit1 +10052096*PVAACCAC_bit2 +20104192*PVAACCAC_bit3 +40208384*PVAACCAC_bit4 +80416768*PVAACCAC_bit5 +160833536*PVAACCAC_bit6 +321667072*PVAACCAC_bit7 +643334144*PVAACCAC_bit8 +1286668288*PVAACCAC_bit9 +2573336576*PVAACCAC_bit10 +5146673152*PVAACCAC_bit11 +10293346304*PVAACCAC_bit12 +12351*PVKACCAC_bit_7 +24702*PVKACCAC_bit_6 +49404*PVKACCAC_bit_5 +98808*PVKACCAC_bit_4 +197616*PVKACCAC_bit_3 +395232*PVKACCAC_bit_2 +790464*PVKACCAC_bit_1 +1580928*PVKACCAC_bit0 +3161856*PVKACCAC_bit1 +6323712*PVKACCAC_bit2 +12647424*PVKACCAC_bit3 +25294848*PVKACCAC_bit4 +50589696*PVKACCAC_bit5 +101179392*PVKACCAC_bit6 +202358784*PVKACCAC_bit7 +404717568*PVKACCAC_bit8 +809435136*PVKACCAC_bit9 +1618870272*PVKACCAC_bit10 +3237740544*PVKACCAC_bit11 +6475481088*PVKACCAC_bit12 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-cycle.opb s UNKNOWN c Exit Code: 0 c Total time: 5.347 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.70 0.89 0.89 2/54 8149 Raw data (stat): 8149 (runsolver) R 8148 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909714676 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+5.38317 s] Raw data (loadavg): 0.75 0.90 0.89 1/53 8149 Raw data (stat): 8149 (runsolver) R 8148 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909714676 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): 5.38256 CPU time (s): 5.36418 CPU user time (s): 5.21521 CPU system time (s): 0.148977 CPU usage (%): 99.6586 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####