Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-stair.opb |
MD5SUM | 07f65f29ee2937de43752221c6dbdf88 |
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 | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 516561567744 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 3615347139525 |
Number of bits of the biggest sum of numbers | 42 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.349946 |
Number of variables | 7646 |
Total number of constraints | 362 |
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 | 362 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 540 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-05-24 23:00:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16485 boxname=wulflinc8 idbench=1269 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 07f65f29ee2937de43752221c6dbdf88 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-stair.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-stair.opb IDLAUNCH: 16485 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 456592 kB Buffers: 35368 kB Cached: 521280 kB SwapCached: 0 kB Active: 70520 kB Inactive: 489120 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 456340 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7064 kB Slab: 12852 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:00:18 (client local time) WITH STATUS 0 IN 0.043992 SECONDS stats: 16485 7 0.043992 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -40337*KA1_bit_7 -80674*KA1_bit_6 -161348*KA1_bit_5 -322696*KA1_bit_4 -645392*KA1_bit_3 -1290784*KA1_bit_2 -2581568*KA1_bit_1 -5163136*KA1_bit0 -10326272*KA1_bit1 -20652544*KA1_bit2 -41305088*KA1_bit3 -82610176*KA1_bit4 -165220352*KA1_bit5 -330440704*KA1_bit6 -660881408*KA1_bit7 -1321762816*KA1_bit8 -2643525632*KA1_bit9 -5287051264*KA1_bit10 -10574102528*KA1_bit11 -21148205056*KA1_bit12 +94956*X011_bit_7 +189912*X011_bit_6 +379824*X011_bit_5 +759648*X011_bit_4 +1519296*X011_bit_3 +3038592*X011_bit_2 +6077184*X011_bit_1 +12154368*X011_bit0 +24308736*X011_bit1 +48617472*X011_bit2 +97234944*X011_bit3 +194469888*X011_bit4 +388939776*X011_bit5 +777879552*X011_bit6 +1555759104*X011_bit7 +3111518208*X011_bit8 +6223036416*X011_bit9 +12446072832*X011_bit10 +24892145664*X011_bit11 +49784291328*X011_bit12 -176*X021_bit_7 -352*X021_bit_6 -704*X021_bit_5 -1408*X021_bit_4 -2816*X021_bit_3 -5632*X021_bit_2 -11264*X021_bit_1 -22528*X021_bit0 -45056*X021_bit1 -90112*X021_bit2 -180224*X021_bit3 -360448*X021_bit4 -720896*X021_bit5 -1441792*X021_bit6 -2883584*X021_bit7 -5767168*X021_bit8 -11534336*X021_bit9 -23068672*X021_bit10 -46137344*X021_bit11 -92274688*X021_bit12 -21862*X041_bit_7 -43724*X041_bit_6 -87448*X041_bit_5 -174896*X041_bit_4 -349792*X041_bit_3 -699584*X041_bit_2 -1399168*X041_bit_1 -2798336*X041_bit0 -5596672*X041_bit1 -11193344*X041_bit2 -22386688*X041_bit3 -44773376*X041_bit4 -89546752*X041_bit5 -179093504*X041_bit6 -358187008*X041_bit7 -716374016*X041_bit8 -1432748032*X041_bit9 -2865496064*X041_bit10 -5730992128*X041_bit11 -11461984256*X041_bit12 -3550*X051_bit_7 -7100*X051_bit_6 -14200*X051_bit_5 -28400*X051_bit_4 -56800*X051_bit_3 -113600*X051_bit_2 -227200*X051_bit_1 -454400*X051_bit0 -908800*X051_bit1 -1817600*X051_bit2 -3635200*X051_bit3 -7270400*X051_bit4 -14540800*X051_bit5 -29081600*X051_bit6 -58163200*X051_bit7 -116326400*X051_bit8 -232652800*X051_bit9 -465305600*X051_bit10 -930611200*X051_bit11 -1861222400*X051_bit12 -2569*X071_bit_7 -5138*X071_bit_6 -10276*X071_bit_5 -20552*X071_bit_4 -41104*X071_bit_3 -82208*X071_bit_2 -164416*X071_bit_1 -328832*X071_bit0 -657664*X071_bit1 -1315328*X071_bit2 -2630656*X071_bit3 -5261312*X071_bit4 -10522624*X071_bit5 -21045248*X071_bit6 -42090496*X071_bit7 -84180992*X071_bit8 -168361984*X071_bit9 -336723968*X071_bit10 -673447936*X071_bit11 -1346895872*X071_bit12 -26*X081_bit_7 -52*X081_bit_6 -104*X081_bit_5 -208*X081_bit_4 -416*X081_bit_3 -832*X081_bit_2 -1664*X081_bit_1 -3328*X081_bit0 -6656*X081_bit1 -13312*X081_bit2 -26624*X081_bit3 -53248*X081_bit4 -106496*X081_bit5 -212992*X081_bit6 -425984*X081_bit7 -851968*X081_bit8 -1703936*X081_bit9 -3407872*X081_bit10 -6815744*X081_bit11 -13631488*X081_bit12 -28*X091_bit_7 -56*X091_bit_6 -112*X091_bit_5 -224*X091_bit_4 -448*X091_bit_3 -896*X091_bit_2 -1792*X091_bit_1 -3584*X091_bit0 -7168*X091_bit1 -14336*X091_bit2 -28672*X091_bit3 -57344*X091_bit4 -114688*X091_bit5 -229376*X091_bit6 -458752*X091_bit7 -917504*X091_bit8 -1835008*X091_bit9 -3670016*X091_bit10 -7340032*X091_bit11 -14680064*X091_bit12 -139*X101_bit_7 -278*X101_bit_6 -556*X101_bit_5 -1112*X101_bit_4 -2224*X101_bit_3 -4448*X101_bit_2 -8896*X101_bit_1 -17792*X101_bit0 -35584*X101_bit1 -71168*X101_bit2 -142336*X101_bit3 -284672*X101_bit4 -569344*X101_bit5 -1138688*X101_bit6 -2277376*X101_bit7 -4554752*X101_bit8 -9109504*X101_bit9 -18219008*X101_bit10 -36438016*X101_bit11 -72876032*X101_bit12 -15*X111_bit_7 -30*X111_bit_6 -60*X111_bit_5 -120*X111_bit_4 -240*X111_bit_3 -480*X111_bit_2 -960*X111_bit_1 -1920*X111_bit0 -3840*X111_bit1 -7680*X111_bit2 -15360*X111_bit3 -30720*X111_bit4 -61440*X111_bit5 -122880*X111_bit6 -245760*X111_bit7 -491520*X111_bit8 -983040*X111_bit9 -1966080*X111_bit10 -3932160*X111_bit11 -7864320*X111_bit12 -6*X131_bit_7 -12*X131_bit_6 -24*X131_bit_5 -48*X131_bit_4 -96*X131_bit_3 -192*X131_bit_2 -384*X131_bit_1 -768*X131_bit0 -1536*X131_bit1 -3072*X131_bit2 -6144*X131_bit3 -12288*X131_bit4 -24576*X131_bit5 -49152*X131_bit6 -98304*X131_bit7 -196608*X131_bit8 -393216*X131_bit9 -786432*X131_bit10 -1572864*X131_bit11 -3145728*X131_bit12 -30*X151_bit_7 -60*X151_bit_6 -120*X151_bit_5 -240*X151_bit_4 -480*X151_bit_3 -960*X151_bit_2 -1920*X151_bit_1 -3840*X151_bit0 -7680*X151_bit1 -15360*X151_bit2 -30720*X151_bit3 -61440*X151_bit4 -122880*X151_bit5 -245760*X151_bit6 -491520*X151_bit7 -983040*X151_bit8 -1966080*X151_bit9 -3932160*X151_bit10 -7864320*X151_bit11 -15728640*X151_bit12 -87866*V011_bit_7 -175732*V011_bit_6 -351464*V011_bit_5 -702928*V011_bit_4 -1405856*V011_bit_3 -2811712*V011_bit_2 -5623424*V011_bit_1 -11246848*V011_bit0 -22493696*V011_bit1 -44987392*V011_bit2 -89974784*V011_bit3 -179949568*V011_bit4 -359899136*V011_bit5 -719798272*V011_bit6 -1439596544*V011_bit7 -2879193088*V011_bit8 -5758386176*V011_bit9 -11516772352*V011_bit10 -23033544704*V011_bit11 -46067089408*V011_bit12 >= +52170880; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-stair.opb s UNKNOWN c Exit Code: 0 c Total time: 0.034 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.72 0.88 0.88 2/54 9273 Raw data (stat): 9273 (runsolver) R 9272 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 762243764 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+0.064602 s] Raw data (loadavg): 0.72 0.88 0.88 1/53 9273 Raw data (stat): 9273 (runsolver) R 9272 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 762243764 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: 0 Child status: 0 Real time (s): 0.064295 CPU time (s): 0.043992 CPU user time (s): 0.022996 CPU system time (s): 0.020996 CPU usage (%): 68.4221 Max. virtual memory (Kb): 1028 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####