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 wulflinc26 THE 2005-05-24 17:02:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11351 boxname=wulflinc26 idbench=874 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 41b5898e0f1b65f739b9a89af7596ef6 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-seba.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-seba.opb IDLAUNCH: 11351 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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 : 3 cpu MHz : 451.061 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 484692 kB Buffers: 34724 kB Cached: 483776 kB SwapCached: 680 kB Active: 34136 kB Inactive: 487028 kB HighTotal: 131008 kB HighFree: 10276 kB LowTotal: 903652 kB LowFree: 474416 kB SwapTotal: 2097892 kB SwapFree: 2096880 kB Dirty: 44 kB Writeback: 0 kB Mapped: 6036 kB Slab: 23192 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 17:02:43 (client local time) WITH STATUS 0 IN 8.5267 SECONDS stats: 11351 7 8.5267 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/wulflinc26/normalized-mps-v2-20-10-seba.opb s UNKNOWN c Exit Code: 0 c Total time: 8.502 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.86 0.95 0.97 2/54 22148 Raw data (stat): 22148 (runsolver) R 22147 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831890911 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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+8.55255 s] Raw data (loadavg): 0.88 0.96 0.97 1/53 22148 Raw data (stat): 22148 (runsolver) R 22147 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831890911 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 0 Child status: 0 Real time (s): 8.55222 CPU time (s): 8.5267 CPU user time (s): 8.32473 CPU system time (s): 0.201969 CPU usage (%): 99.7016 Max. virtual memory (Kb): 1028 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####