Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb |
MD5SUM | f2a6dc8d2697a7f5959c84e4079088c9 |
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 | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 528959045369856 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 3702118998041541 |
Number of bits of the biggest sum of numbers | 52 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.506922 |
Number of variables | 11454 |
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 | 13 |
Maximum length of a constraint | 810 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 04:48:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29101 boxname=wulflinc6 idbench=885 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: f2a6dc8d2697a7f5959c84e4079088c9 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-stair.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-stair.opb IDLAUNCH: 29101 /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: 822868 kB Buffers: 28668 kB Cached: 158840 kB SwapCached: 4048 kB Active: 34676 kB Inactive: 158024 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 822616 kB SwapTotal: 2097136 kB SwapFree: 2092080 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4992 kB Slab: 13436 kB Committed_AS: 63728 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 04:48:15 (client local time) WITH STATUS 0 IN 0.040992 SECONDS stats: 29101 7 0.040992 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -40337*KA1_bit_10 -80674*KA1_bit_9 -161348*KA1_bit_8 -322696*KA1_bit_7 -645392*KA1_bit_6 -1290784*KA1_bit_5 -2581568*KA1_bit_4 -5163136*KA1_bit_3 -10326272*KA1_bit_2 -20652544*KA1_bit_1 -41305088*KA1_bit0 -82610176*KA1_bit1 -165220352*KA1_bit2 -330440704*KA1_bit3 -660881408*KA1_bit4 -1321762816*KA1_bit5 -2643525632*KA1_bit6 -5287051264*KA1_bit7 -10574102528*KA1_bit8 -21148205056*KA1_bit9 -42296410112*KA1_bit10 -84592820224*KA1_bit11 -169185640448*KA1_bit12 -338371280896*KA1_bit13 -676742561792*KA1_bit14 -1353485123584*KA1_bit15 -2706970247168*KA1_bit16 -5413940494336*KA1_bit17 -10827880988672*KA1_bit18 -21655761977344*KA1_bit19 +94956*X011_bit_10 +189912*X011_bit_9 +379824*X011_bit_8 +759648*X011_bit_7 +1519296*X011_bit_6 +3038592*X011_bit_5 +6077184*X011_bit_4 +12154368*X011_bit_3 +24308736*X011_bit_2 +48617472*X011_bit_1 +97234944*X011_bit0 +194469888*X011_bit1 +388939776*X011_bit2 +777879552*X011_bit3 +1555759104*X011_bit4 +3111518208*X011_bit5 +6223036416*X011_bit6 +12446072832*X011_bit7 +24892145664*X011_bit8 +49784291328*X011_bit9 +99568582656*X011_bit10 +199137165312*X011_bit11 +398274330624*X011_bit12 +796548661248*X011_bit13 +1593097322496*X011_bit14 +3186194644992*X011_bit15 +6372389289984*X011_bit16 +12744778579968*X011_bit17 +25489557159936*X011_bit18 +50979114319872*X011_bit19 -176*X021_bit_10 -352*X021_bit_9 -704*X021_bit_8 -1408*X021_bit_7 -2816*X021_bit_6 -5632*X021_bit_5 -11264*X021_bit_4 -22528*X021_bit_3 -45056*X021_bit_2 -90112*X021_bit_1 -180224*X021_bit0 -360448*X021_bit1 -720896*X021_bit2 -1441792*X021_bit3 -2883584*X021_bit4 -5767168*X021_bit5 -11534336*X021_bit6 -23068672*X021_bit7 -46137344*X021_bit8 -92274688*X021_bit9 -184549376*X021_bit10 -369098752*X021_bit11 -738197504*X021_bit12 -1476395008*X021_bit13 -2952790016*X021_bit14 -5905580032*X021_bit15 -11811160064*X021_bit16 -23622320128*X021_bit17 -47244640256*X021_bit18 -94489280512*X021_bit19 -21862*X041_bit_10 -43724*X041_bit_9 -87448*X041_bit_8 -174896*X041_bit_7 -349792*X041_bit_6 -699584*X041_bit_5 -1399168*X041_bit_4 -2798336*X041_bit_3 -5596672*X041_bit_2 -11193344*X041_bit_1 -22386688*X041_bit0 -44773376*X041_bit1 -89546752*X041_bit2 -179093504*X041_bit3 -358187008*X041_bit4 -716374016*X041_bit5 -1432748032*X041_bit6 -2865496064*X041_bit7 -5730992128*X041_bit8 -11461984256*X041_bit9 -22923968512*X041_bit10 -45847937024*X041_bit11 -91695874048*X041_bit12 -183391748096*X041_bit13 -366783496192*X041_bit14 -733566992384*X041_bit15 -1467133984768*X041_bit16 -2934267969536*X041_bit17 -5868535939072*X041_bit18 -11737071878144*X041_bit19 -3550*X051_bit_10 -7100*X051_bit_9 -14200*X051_bit_8 -28400*X051_bit_7 -56800*X051_bit_6 -113600*X051_bit_5 -227200*X051_bit_4 -454400*X051_bit_3 -908800*X051_bit_2 -1817600*X051_bit_1 -3635200*X051_bit0 -7270400*X051_bit1 -14540800*X051_bit2 -29081600*X051_bit3 -58163200*X051_bit4 -116326400*X051_bit5 -232652800*X051_bit6 -465305600*X051_bit7 -930611200*X051_bit8 -1861222400*X051_bit9 -3722444800*X051_bit10 -7444889600*X051_bit11 -14889779200*X051_bit12 -29779558400*X051_bit13 -59559116800*X051_bit14 -119118233600*X051_bit15 -238236467200*X051_bit16 -476472934400*X051_bit17 -952945868800*X051_bit18 -1905891737600*X051_bit19 -2569*X071_bit_10 -5138*X071_bit_9 -10276*X071_bit_8 -20552*X071_bit_7 -41104*X071_bit_6 -82208*X071_bit_5 -164416*X071_bit_4 -328832*X071_bit_3 -657664*X071_bit_2 -1315328*X071_bit_1 -2630656*X071_bit0 -5261312*X071_bit1 -10522624*X071_bit2 -21045248*X071_bit3 -42090496*X071_bit4 -84180992*X071_bit5 -168361984*X071_bit6 -336723968*X071_bit7 -673447936*X071_bit8 -1346895872*X071_bit9 -2693791744*X071_bit10 -5387583488*X071_bit11 -10775166976*X071_bit12 -21550333952*X071_bit13 -43100667904*X071_bit14 -86201335808*X071_bit15 -172402671616*X071_bit16 -344805343232*X071_bit17 -689610686464*X071_bit18 -1379221372928*X071_bit19 -26*X081_bit_10 -52*X081_bit_9 -104*X081_bit_8 -208*X081_bit_7 -416*X081_bit_6 -832*X081_bit_5 -1664*X081_bit_4 -3328*X081_bit_3 -6656*X081_bit_2 -13312*X081_bit_1 -26624*X081_bit0 -53248*X081_bit1 -106496*X081_bit2 -212992*X081_bit3 -425984*X081_bit4 -851968*X081_bit5 -1703936*X081_bit6 -3407872*X081_bit7 -6815744*X081_bit8 -13631488*X081_bit9 -27262976*X081_bit10 -54525952*X081_bit11 -109051904*X081_bit12 -218103808*X081_bit13 -436207616*X081_bit14 -872415232*X081_bit15 -1744830464*X081_bit16 -3489660928*X081_bit17 -6979321856*X081_bit18 -13958643712*X081_bit19 -28*X091_bit_10 -56*X091_bit_9 -112*X091_bit_8 -224*X091_bit_7 -448*X091_bit_6 -896*X091_bit_5 -1792*X091_bit_4 -3584*X091_bit_3 -7168*X091_bit_2 -14336*X091_bit_1 -28672*X091_bit0 -57344*X091_bit1 -114688*X091_bit2 -229376*X091_bit3 -458752*X091_bit4 -917504*X091_bit5 -1835008*X091_bit6 -3670016*X091_bit7 -7340032*X091_bit8 -14680064*X091_bit9 -29360128*X091_bit10 -58720256*X091_bit11 -117440512*X091_bit12 -234881024*X091_bit13 -469762048*X091_bit14 -939524096*X091_bit15 -1879048192*X091_bit16 -3758096384*X091_bit17 -7516192768*X091_bit18 -15032385536*X091_bit19 -139*X101_bit_10 -278*X101_bit_9 -556*X101_bit_8 -1112*X101_bit_7 -2224*X101_bit_6 -4448*X101_bit_5 -8896*X101_bit_4 -17792*X101_bit_3 -35584*X101_bit_2 -71168*X101_bit_1 -142336*X101_bit0 -284672*X101_bit1 -569344*X101_bit2 -1138688*X101_bit3 -2277376*X101_bit4 -4554752*X101_bit5 -9109504*X101_bit6 -18219008*X101_bit7 -36438016*X101_bit8 -72876032*X101_bit9 -145752064*X101_bit10 -291504128*X101_bit11 -583008256*X101_bit12 -1166016512*X101_bit13 -2332033024*X101_bit14 -4664066048*X101_bit15 -9328132096*X101_bit16 -18656264192*X101_bit17 -37312528384*X101_bit18 -74625056768*X101_bit19 -15*X111_bit_10 -30*X111_bit_9 -60*X111_bit_8 -120*X111_bit_7 -240*X111_bit_6 -480*X111_bit_5 -960*X111_bit_4 -1920*X111_bit_3 -3840*X111_bit_2 -7680*X111_bit_1 -15360*X111_bit0 -30720*X111_bit1 -61440*X111_bit2 -122880*X111_bit3 -245760*X111_bit4 -491520*X111_bit5 -983040*X111_bit6 -1966080*X111_bit7 -3932160*X111_bit8 -7864320*X111_bit9 -15728640*X111_bit10 -31457280*X111_bit11 -62914560*X111_bit12 -125829120*X111_bit13 -251658240*X111_bit14 -503316480*X111_bit15 -1006632960*X111_bit16 -2013265920*X111_bit17 -4026531840*X111_bit18 -8053063680*X111_bit19 -6*X131_bit_10 -12*X131_bit_9 -24*X131_bit_8 -48*X131_bit_7 -96*X131_bit_6 -192*X131_bit_5 -384*X131_bit_4 -768*X131_bit_3 -1536*X131_bit_2 -3072*X131_bit_1 -6144*X131_bit0 -12288*X131_bit1 -24576*X131_bit2 -49152*X131_bit3 -98304*X131_bit4 -196608*X131_bit5 -393216*X131_bit6 -786432*X131_bit7 -1572864*X131_bit8 -3145728*X131_bit9 -6291456*X131_bit10 -12582912*X131_bit11 -25165824*X131_bit12 -50331648*X131_bit13 -100663296*X131_bit14 -201326592*X131_bit15 -402653184*X131_bit16 -805306368*X131_bit17 -1610612736*X131_bit18 -3221225472*X131_bit19 -30*X151_bit_10 -60*X151_bit_9 -120*X151_bit_8 -240*X151_bit_7 -480*X151_bit_6 -960*X151_bit_5 -1920*X151_bit_4 -3840*X151_bit_3 -7680*X151_bit_2 -15360*X151_bit_1 -30720*X151_bit0 -61440*X151_bit1 -122880*X151_bit2 -245760*X151_bit3 -491520*X151_bit4 -983040*X151_bit5 -1966080*X151_bit6 -3932160*X151_bit7 -7864320*X151_bit8 -15728640*X151_bit9 -31457280*X151_bit10 -62914560*X151_bit11 -125829120*X151_bit12 -251658240*X151_bit13 -503316480*X151_bit14 -1006632960*X151_bit15 -2013265920*X151_bit16 -4026531840*X151_bit17 -8053063680*X151_bit18 -16106127360*X151_bit19 -87866*V011_bit_10 -175732*V011_bit_9 -351464*V011_bit_8 -702928*V011_bit_7 -1405856*V011_bit_6 -2811712*V011_bit_5 -5623424*V011_bit_4 -11246848*V011_bit_3 -22493696*V011_bit_2 -44987392*V011_bit_1 -89974784*V011_bit0 -179949568*V011_bit1 -359899136*V011_bit2 -719798272*V011_bit3 -1439596544*V011_bit4 -2879193088*V011_bit5 -5758386176*V011_bit6 -11516772352*V011_bit7 -23033544704*V011_bit8 -46067089408*V011_bit9 -92134178816*V011_bit10 -184268357632*V011_bit11 -368536715264*V011_bit12 -737073430528*V011_bit13 -1474146861056*V011_bit14 -2948293722112*V011_bit15 -5896587444224*V011_bit16 -11793174888448*V011_bit17 -23586349776896*V011_bit18 -47172699553792*V011_bit19 >= +417367040; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-stair.opb s UNKNOWN c Exit Code: 0 c Total time: 0.032 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.92 0.95 0.90 2/54 6789 Raw data (stat): 6789 (runsolver) R 6788 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907514128 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+0.066202 s] Raw data (loadavg): 0.92 0.95 0.90 1/53 6789 Raw data (stat): 6789 (runsolver) R 6788 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907514128 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 0 Child status: 0 Real time (s): 0.065612 CPU time (s): 0.040992 CPU user time (s): 0.019996 CPU system time (s): 0.020996 CPU usage (%): 62.4764 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####