Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-seba.opb |
MD5SUM | 41b5898e0f1b65f739b9a89af7596ef6 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7565 |
Biggest coefficient in the objective function | 258342282854400 |
Number of bits for the biggest coefficient in the objective function | 48 |
Sum of the numbers in the objective function | 4664562894591719 |
Number of bits of the sum of numbers in the objective function | 53 |
Biggest number in a constraint | 258342282854400 |
Number of bits of the biggest number in a constraint | 48 |
Biggest sum of numbers in a constraint | 4664562894591719 |
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 | 1259.63 |
Number of variables | 23376 |
Total number of constraints | 1029 |
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 | 1029 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 496 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 04:26:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29090 boxname=wulflinc2 idbench=874 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 41b5898e0f1b65f739b9a89af7596ef6 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-seba.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-seba.opb IDLAUNCH: 29090 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 816876 kB Buffers: 24272 kB Cached: 168524 kB SwapCached: 4472 kB Active: 17504 kB Inactive: 180300 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 816624 kB SwapTotal: 2097136 kB SwapFree: 2091616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 14368 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 04:26:16 (client local time) WITH STATUS 0 IN 8.62269 SECONDS stats: 29090 7 8.62269 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +81*C0166000_bit_10 +162*C0166000_bit_9 +324*C0166000_bit_8 +648*C0166000_bit_7 +1296*C0166000_bit_6 +2592*C0166000_bit_5 +5184*C0166000_bit_4 +10368*C0166000_bit_3 +20736*C0166000_bit_2 +41472*C0166000_bit_1 +82944*C0166000_bit0 +165888*C0166000_bit1 +331776*C0166000_bit2 +663552*C0166000_bit3 +1327104*C0166000_bit4 +2654208*C0166000_bit5 +5308416*C0166000_bit6 +10616832*C0166000_bit7 +21233664*C0166000_bit8 +42467328*C0166000_bit9 +84934656*C0166000_bit10 +169869312*C0166000_bit11 +339738624*C0166000_bit12 +679477248*C0166000_bit13 +1358954496*C0166000_bit14 +2717908992*C0166000_bit15 +5435817984*C0166000_bit16 +10871635968*C0166000_bit17 +21743271936*C0166000_bit18 +43486543872*C0166000_bit19 -1*C0172000_bit_10 -2*C0172000_bit_9 -4*C0172000_bit_8 -8*C0172000_bit_7 -16*C0172000_bit_6 -32*C0172000_bit_5 -64*C0172000_bit_4 -128*C0172000_bit_3 -256*C0172000_bit_2 -512*C0172000_bit_1 -1024*C0172000_bit0 -2048*C0172000_bit1 -4096*C0172000_bit2 -8192*C0172000_bit3 -16384*C0172000_bit4 -32768*C0172000_bit5 -65536*C0172000_bit6 -131072*C0172000_bit7 -262144*C0172000_bit8 -524288*C0172000_bit9 -1048576*C0172000_bit10 -2097152*C0172000_bit11 -4194304*C0172000_bit12 -8388608*C0172000_bit13 -16777216*C0172000_bit14 -33554432*C0172000_bit15 -67108864*C0172000_bit16 -134217728*C0172000_bit17 -268435456*C0172000_bit18 -536870912*C0172000_bit19 +9*C0213000_bit_10 +18*C0213000_bit_9 +36*C0213000_bit_8 +72*C0213000_bit_7 +144*C0213000_bit_6 +288*C0213000_bit_5 +576*C0213000_bit_4 +1152*C0213000_bit_3 +2304*C0213000_bit_2 +4608*C0213000_bit_1 +9216*C0213000_bit0 +18432*C0213000_bit1 +36864*C0213000_bit2 +73728*C0213000_bit3 +147456*C0213000_bit4 +294912*C0213000_bit5 +589824*C0213000_bit6 +1179648*C0213000_bit7 +2359296*C0213000_bit8 +4718592*C0213000_bit9 +9437184*C0213000_bit10 +18874368*C0213000_bit11 +37748736*C0213000_bit12 +75497472*C0213000_bit13 +150994944*C0213000_bit14 +301989888*C0213000_bit15 +603979776*C0213000_bit16 +1207959552*C0213000_bit17 +2415919104*C0213000_bit18 +4831838208*C0213000_bit19 +7*C3253000_bit_10 +14*C3253000_bit_9 +28*C3253000_bit_8 +56*C3253000_bit_7 +112*C3253000_bit_6 +224*C3253000_bit_5 +448*C3253000_bit_4 +896*C3253000_bit_3 +1792*C3253000_bit_2 +3584*C3253000_bit_1 +7168*C3253000_bit0 +14336*C3253000_bit1 +28672*C3253000_bit2 +57344*C3253000_bit3 +114688*C3253000_bit4 +229376*C3253000_bit5 +458752*C3253000_bit6 +917504*C3253000_bit7 +1835008*C3253000_bit8 +3670016*C3253000_bit9 +7340032*C3253000_bit10 +14680064*C3253000_bit11 +29360128*C3253000_bit12 +58720256*C3253000_bit13 +117440512*C3253000_bit14 +234881024*C3253000_bit15 +469762048*C3253000_bit16 +939524096*C3253000_bit17 +1879048192*C3253000_bit18 +3758096384*C3253000_bit19 +63*C3256000_bit_10 +126*C3256000_bit_9 +252*C3256000_bit_8 +504*C3256000_bit_7 +1008*C3256000_bit_6 +2016*C3256000_bit_5 +4032*C3256000_bit_4 +8064*C3256000_bit_3 +16128*C3256000_bit_2 +32256*C3256000_bit_1 +64512*C3256000_bit0 +129024*C3256000_bit1 +258048*C3256000_bit2 +516096*C3256000_bit3 +1032192*C3256000_bit4 +2064384*C3256000_bit5 +4128768*C3256000_bit6 +8257536*C3256000_bit7 +16515072*C3256000_bit8 +33030144*C3256000_bit9 +66060288*C3256000_bit10 +132120576*C3256000_bit11 +264241152*C3256000_bit12 +528482304*C3256000_bit13 +1056964608*C3256000_bit14 +2113929216*C3256000_bit15 +4227858432*C3256000_bit16 +8455716864*C3256000_bit17 +16911433728*C3256000_bit18 +33822867456*C3256000_bit19 +81*C3278000_bit_10 +162*C3278000_bit_9 +324*C3278000_bit_8 +648*C3278000_bit_7 +1296*C3278000_bit_6 +2592*C3278000_bit_5 +5184*C3278000_bit_4 +10368*C3278000_bit_3 +20736*C3278000_bit_2 +41472*C3278000_bit_1 +82944*C3278000_bit0 +165888*C3278000_bit1 +331776*C3278000_bit2 +663552*C3278000_bit3 +1327104*C3278000_bit4 +2654208*C3278000_bit5 +5308416*C3278000_bit6 +10616832*C3278000_bit7 +21233664*C3278000_bit8 +42467328*C3278000_bit9 +84934656*C3278000_bit10 +169869312*C3278000_bit11 +339738624*C3278000_bit12 +679477248*C3278000_bit13 +1358954496*C3278000_bit14 +2717908992*C3278000_bit15 +5435817984*C3278000_bit16 +10871635968*C3278000_bit17 +21743271936*C3278000_bit18 +43486543872*C3278000_bit19 +81*C3279000_bit_10 +162*C3279000_bit_9 +324*C3279000_bit_8 +648*C3279000_bit_7 +1296*C3279000_bit_6 +2592*C3279000_bit_5 +5184*C3279000_bit_4 +10368*C3279000_bit_3 +20736*C3279000_bit_2 +41472*C3279000_bit_1 +82944*C3279000_bit0 +165888*C3279000_bit1 +331776*C3279000_bit2 +663552*C3279000_bit3 +1327104*C3279000_bit4 +2654208*C3279000_bit5 +5308416*C3279000_bit6 +10616832*C3279000_bit7 +21233664*C3279000_bit8 +42467328*C3279000_bit9 +84934656*C3279000_bit10 +169869312*C3279000_bit11 +339738624*C3279000_bit12 +679477248*C3279000_bit13 +1358954496*C3279000_bit14 +2717908992*C3279000_bit15 +5435817984*C3279000_bit16 +10871635968*C3279000_bit17 +21743271936*C3279000_bit18 +43486543872*C3279000_bit19 +81*C3280000_bit_10 +162*C3280000_bit_9 +324*C3280000_bit_8 +648*C3280000_bit_7 +1296*C3280000_bit_6 +2592*C3280000_bit_5 +5184*C3280000_bit_4 +10368*C3280000_bit_3 +20736*C3280000_bit_2 +41472*C3280000_bit_1 +82944*C3280000_bit0 +165888*C3280000_bit1 +331776*C3280000_bit2 +663552*C3280000_bit3 +1327104*C3280000_bit4 +2654208*C3280000_bit5 +5308416*C3280000_bit6 +10616832*C3280000_bit7 +21233664*C3280000_bit8 +42467328*C3280000_bit9 +84934656*C3280000_bit10 +169869312*C3280000_bit11 +339738624*C3280000_bit12 +679477248*C3280000_bit13 +1358954496*C3280000_bit14 +2717908992*C3280000_bit15 +5435817984*C3280000_bit16 +10871635968*C3280000_bit17 +21743271936*C3280000_bit18 +43486543872*C3280000_bit19 +63*C5543002_bit_10 +126*C5543002_bit_9 +252*C5543002_bit_8 +504*C5543002_bit_7 +1008*C5543002_bit_6 +2016*C5543002_bit_5 +4032*C5543002_bit_4 +8064*C5543002_bit_3 +16128*C5543002_bit_2 +32256*C5543002_bit_1 +64512*C5543002_bit0 +129024*C5543002_bit1 +258048*C5543002_bit2 +516096*C5543002_bit3 +1032192*C5543002_bit4 +2064384*C5543002_bit5 +4128768*C5543002_bit6 +8257536*C5543002_bit7 +16515072*C5543002_bit8 +33030144*C5543002_bit9 +66060288*C5543002_bit10 +132120576*C5543002_bit11 +264241152*C5543002_bit12 +528482304*C5543002_bit13 +1056964608*C5543002_bit14 +2113929216*C5543002_bit15 +4227858432*C5543002_bit16 +8455716864*C5543002_bit17 +16911433728*C5543002_bit18 +33822867456*C5543002_bit19 +81*C5546003_bit_10 +162*C5546003_bit_9 +324*C5546003_bit_8 +648*C5546003_bit_7 +1296*C5546003_bit_6 +2592*C5546003_bit_5 +5184*C5546003_bit_4 +10368*C5546003_bit_3 +20736*C5546003_bit_2 +41472*C5546003_bit_1 +82944*C5546003_bit0 +165888*C5546003_bit1 +331776*C5546003_bit2 +663552*C5546003_bit3 +1327104*C5546003_bit4 +2654208*C5546003_bit5 +5308416*C5546003_bit6 +10616832*C5546003_bit7 +21233664*C5546003_bit8 +42467328*C5546003_bit9 +84934656*C5546003_bit10 +169869312*C5546003_bit11 +339738624*C5546003_bit12 +679477248*C5546003_bit13 +1358954496*C5546003_bit14 +2717908992*C5546003_bit15 +5435817984*C5546003_bit16 +10871635968*C5546003_bit17 +21743271936*C5546003_bit18 +43486543872*C5546003_bit19 -1*M0172000_bit_10 -2*M0172000_bit_9 -4*M0172000_bit_8 -8*M0172000_bit_7 -16*M0172000_bit_6 -32*M0172000_bit_5 -64*M0172000_bit_4 -128*M0172000_bit_3 -256*M0172000_bit_2 -512*M0172000_bit_1 -1024*M0172000_bit0 -2048*M0172000_bit1 -4096*M0172000_bit2 -8192*M0172000_bit3 -16384*M0172000_bit4 -32768*M0172000_bit5 -65536*M0172000_bit6 -131072*M0172000_bit7 -262144*M0172000_bit8 -524288*M0172000_bit9 = +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-seba.opb s UNKNOWN c Exit Code: 0 c Total time: 8.597 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.85 0.95 0.90 2/54 19585 Raw data (stat): 19585 (runsolver) R 19584 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907385963 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+8.64458 s] Raw data (loadavg): 0.87 0.95 0.90 1/53 19585 Raw data (stat): 19585 (runsolver) R 19584 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907385963 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): 8.64427 CPU time (s): 8.62269 CPU user time (s): 8.42572 CPU system time (s): 0.19697 CPU usage (%): 99.7504 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####