Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb |
MD5SUM | 40451c04b9f854eea430dc02cae12dee |
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 | 623 |
Biggest coefficient in the objective function | 3758096384 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 68719476658 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 878188741787648 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4550739094651140 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1248.58 |
Number of variables | 7994 |
Total number of constraints | 420 |
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 | 420 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 04:13:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29057 boxname=wulflinc6 idbench=841 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 40451c04b9f854eea430dc02cae12dee /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-grow7.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-grow7.opb IDLAUNCH: 29057 /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: 855836 kB Buffers: 27956 kB Cached: 126368 kB SwapCached: 4048 kB Active: 32816 kB Inactive: 126692 kB HighTotal: 131008 kB HighFree: 10724 kB LowTotal: 903652 kB LowFree: 845112 kB SwapTotal: 2097136 kB SwapFree: 2092080 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 13688 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 04:13:10 (client local time) WITH STATUS 0 IN 0.706892 SECONDS stats: 29057 7 0.706892 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +690602*XI0101_bit_10 +1381204*XI0101_bit_9 +2762408*XI0101_bit_8 +5524816*XI0101_bit_7 +11049632*XI0101_bit_6 +22099264*XI0101_bit_5 +44198528*XI0101_bit_4 +88397056*XI0101_bit_3 +176794112*XI0101_bit_2 +353588224*XI0101_bit_1 +707176448*XI0101_bit0 +1414352896*XI0101_bit1 +2828705792*XI0101_bit2 +5657411584*XI0101_bit3 +11314823168*XI0101_bit4 +22629646336*XI0101_bit5 +45259292672*XI0101_bit6 +90518585344*XI0101_bit7 +181037170688*XI0101_bit8 +362074341376*XI0101_bit9 +724148682752*XI0101_bit10 +1448297365504*XI0101_bit11 +2896594731008*XI0101_bit12 +5793189462016*XI0101_bit13 +11586378924032*XI0101_bit14 +23172757848064*XI0101_bit15 +46345515696128*XI0101_bit16 +92691031392256*XI0101_bit17 +185382062784512*XI0101_bit18 +370764125569024*XI0101_bit19 -1440*XI0501_bit_10 -2880*XI0501_bit_9 -5760*XI0501_bit_8 -11520*XI0501_bit_7 -23040*XI0501_bit_6 -46080*XI0501_bit_5 -92160*XI0501_bit_4 -184320*XI0501_bit_3 -368640*XI0501_bit_2 -737280*XI0501_bit_1 -1474560*XI0501_bit0 -2949120*XI0501_bit1 -5898240*XI0501_bit2 -11796480*XI0501_bit3 -23592960*XI0501_bit4 -47185920*XI0501_bit5 -94371840*XI0501_bit6 -188743680*XI0501_bit7 -377487360*XI0501_bit8 -754974720*XI0501_bit9 -1509949440*XI0501_bit10 -3019898880*XI0501_bit11 -6039797760*XI0501_bit12 -12079595520*XI0501_bit13 -24159191040*XI0501_bit14 -48318382080*XI0501_bit15 -96636764160*XI0501_bit16 -193273528320*XI0501_bit17 -338610*XI0601_bit_10 -677220*XI0601_bit_9 -1354440*XI0601_bit_8 -2708880*XI0601_bit_7 -5417760*XI0601_bit_6 -10835520*XI0601_bit_5 -21671040*XI0601_bit_4 -43342080*XI0601_bit_3 -86684160*XI0601_bit_2 -173368320*XI0601_bit_1 -346736640*XI0601_bit0 -693473280*XI0601_bit1 -1386946560*XI0601_bit2 -2773893120*XI0601_bit3 -5547786240*XI0601_bit4 -11095572480*XI0601_bit5 -22191144960*XI0601_bit6 -44382289920*XI0601_bit7 -88764579840*XI0601_bit8 -177529159680*XI0601_bit9 -355058319360*XI0601_bit10 -710116638720*XI0601_bit11 -1420233277440*XI0601_bit12 -2840466554880*XI0601_bit13 -5680933109760*XI0601_bit14 -11361866219520*XI0601_bit15 -22723732439040*XI0601_bit16 -777*XI0901_bit_10 -1554*XI0901_bit_9 -3108*XI0901_bit_8 -6216*XI0901_bit_7 -12432*XI0901_bit_6 -24864*XI0901_bit_5 -49728*XI0901_bit_4 -99456*XI0901_bit_3 -198912*XI0901_bit_2 -397824*XI0901_bit_1 -795648*XI0901_bit0 -1591296*XI0901_bit1 -3182592*XI0901_bit2 -6365184*XI0901_bit3 -12730368*XI0901_bit4 -25460736*XI0901_bit5 -50921472*XI0901_bit6 -101842944*XI0901_bit7 -203685888*XI0901_bit8 -407371776*XI0901_bit9 -814743552*XI0901_bit10 -1629487104*XI0901_bit11 -3258974208*XI0901_bit12 -6517948416*XI0901_bit13 -13035896832*XI0901_bit14 -26071793664*XI0901_bit15 -7163*XI1401_bit_10 -14326*XI1401_bit_9 -28652*XI1401_bit_8 -57304*XI1401_bit_7 -114608*XI1401_bit_6 -229216*XI1401_bit_5 -458432*XI1401_bit_4 -916864*XI1401_bit_3 -1833728*XI1401_bit_2 -3667456*XI1401_bit_1 -7334912*XI1401_bit0 -14669824*XI1401_bit1 -29339648*XI1401_bit2 -58679296*XI1401_bit3 -117358592*XI1401_bit4 -234717184*XI1401_bit5 -469434368*XI1401_bit6 -938868736*XI1401_bit7 -1877737472*XI1401_bit8 -3755474944*XI1401_bit9 -7510949888*XI1401_bit10 -15021899776*XI1401_bit11 -30043799552*XI1401_bit12 -60087599104*XI1401_bit13 -120175198208*XI1401_bit14 -240350396416*XI1401_bit15 -480700792832*XI1401_bit16 -961401585664*XI1401_bit17 -1922803171328*XI1401_bit18 -2576*XI2001_bit_10 -5152*XI2001_bit_9 -10304*XI2001_bit_8 -20608*XI2001_bit_7 -41216*XI2001_bit_6 -82432*XI2001_bit_5 -164864*XI2001_bit_4 -329728*XI2001_bit_3 -659456*XI2001_bit_2 -1318912*XI2001_bit_1 -2637824*XI2001_bit0 -5275648*XI2001_bit1 -10551296*XI2001_bit2 -21102592*XI2001_bit3 -42205184*XI2001_bit4 -84410368*XI2001_bit5 -168820736*XI2001_bit6 -337641472*XI2001_bit7 -675282944*XI2001_bit8 -1350565888*XI2001_bit9 -2701131776*XI2001_bit10 -5402263552*XI2001_bit11 -10804527104*XI2001_bit12 -21609054208*XI2001_bit13 -43218108416*XI2001_bit14 -86436216832*XI2001_bit15 -172872433664*XI2001_bit16 -345744867328*XI2001_bit17 -691489734656*XI2001_bit18 -1382979469312*XI2001_bit19 -2765958938624*XI2001_bit20 -1000000*YI0101_bit_10 -2000000*YI0101_bit_9 -4000000*YI0101_bit_8 -8000000*YI0101_bit_7 -16000000*YI0101_bit_6 -32000000*YI0101_bit_5 -64000000*YI0101_bit_4 -128000000*YI0101_bit_3 -256000000*YI0101_bit_2 -512000000*YI0101_bit_1 -1024000000*YI0101_bit0 -2048000000*YI0101_bit1 -4096000000*YI0101_bit2 -8192000000*YI0101_bit3 -16384000000*YI0101_bit4 -32768000000*YI0101_bit5 -65536000000*YI0101_bit6 -131072000000*YI0101_bit7 -262144000000*YI0101_bit8 -524288000000*YI0101_bit9 -1048576000000*YI0101_bit10 -2097152000000*YI0101_bit11 -4194304000000*YI0101_bit12 -8388608000000*YI0101_bit13 -16777216000000*YI0101_bit14 -33554432000000*YI0101_bit15 -67108864000000*YI0101_bit16 -134217728000000*YI0101_bit17 -268435456000000*YI0101_bit18 -536870912000000*YI0101_bit19 -1000000*SI0101_bit_10 -2000000*SI0101_bit_9 -4000000*SI0101_bit_8 -8000000*SI0101_bit_7 -16000000*SI0101_bit_6 -32000000*SI0101_bit_5 -64000000*SI0101_bit_4 -128000000*SI0101_bit_3 -256000000*SI0101_bit_2 -512000000*SI0101_bit_1 -1024000000*SI0101_bit0 -2048000000*SI0101_bit1 -4096000000*SI0101_bit2 -8192000000*SI0101_bit3 -16384000000*SI0101_bit4 -32768000000*SI0101_bit5 -65536000000*SI0101_bit6 -131072000000*SI0101_bit7 -262144000000*SI0101_bit8 -524288000000*SI0101_bit9 -1048576000000*SI0101_bit10 -2097152000000*SI0101_bit11 -4194304000000*SI0101_bit12 -8388608000000*SI0101_bit13 -16777216000000*SI0101_bit14 -33554432000000*SI0101_bit15 -67108864000000*SI0101_bit16 -134217728000000*SI0101_bit17 -268435456000000*SI0101_bit18 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-grow7.opb s UNKNOWN c Exit Code: 0 c Total time: 0.687 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.80 0.94 0.90 1/54 5860 Raw data (stat): 5860 (runsolver) R 5859 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907303500 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.729215 s] Raw data (loadavg): 0.82 0.94 0.90 1/53 5860 Raw data (stat): 5860 (runsolver) R 5859 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907303500 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.728995 CPU time (s): 0.706892 CPU user time (s): 0.571913 CPU system time (s): 0.134979 CPU usage (%): 96.968 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####