Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb |
MD5SUM | 4012b33f10ee9cb79561239f68fdcd6b |
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 | 870 |
Biggest coefficient in the objective function | 204010946560 |
Number of bits for the biggest coefficient in the objective function | 38 |
Sum of the numbers in the objective function | 4534411718529 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 552977039360 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 10976862656529 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.220965 |
Number of variables | 2370 |
Total number of constraints | 96 |
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 | 96 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 360 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-24 17:02:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11377 boxname=wulflinc11 idbench=876 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 4012b33f10ee9cb79561239f68fdcd6b /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-share2b.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-share2b.opb IDLAUNCH: 11377 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 677508 kB Buffers: 38352 kB Cached: 286332 kB SwapCached: 84 kB Active: 74572 kB Inactive: 262684 kB HighTotal: 131008 kB HighFree: 28280 kB LowTotal: 903652 kB LowFree: 649228 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 812 kB Writeback: 0 kB Mapped: 6880 kB Slab: 14292 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:02:23 (client local time) WITH STATUS 0 IN 0.162974 SECONDS stats: 11377 7 0.162974 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -650*V010101_bit_10 -1300*V010101_bit_9 -2600*V010101_bit_8 -5200*V010101_bit_7 -10400*V010101_bit_6 -20800*V010101_bit_5 -41600*V010101_bit_4 -83200*V010101_bit_3 -166400*V010101_bit_2 -332800*V010101_bit_1 -665600*V010101_bit0 -1331200*V010101_bit1 -2662400*V010101_bit2 -5324800*V010101_bit3 -10649600*V010101_bit4 -21299200*V010101_bit5 -42598400*V010101_bit6 -85196800*V010101_bit7 -170393600*V010101_bit8 -340787200*V010101_bit9 -681574400*V010101_bit10 -1363148800*V010101_bit11 -2726297600*V010101_bit12 -5452595200*V010101_bit13 -10905190400*V010101_bit14 -21810380800*V010101_bit15 -43620761600*V010101_bit16 -87241523200*V010101_bit17 -174483046400*V010101_bit18 -348966092800*V010101_bit19 -55*V010102_bit_10 -110*V010102_bit_9 -220*V010102_bit_8 -440*V010102_bit_7 -880*V010102_bit_6 -1760*V010102_bit_5 -3520*V010102_bit_4 -7040*V010102_bit_3 -14080*V010102_bit_2 -28160*V010102_bit_1 -56320*V010102_bit0 -112640*V010102_bit1 -225280*V010102_bit2 -450560*V010102_bit3 -901120*V010102_bit4 -1802240*V010102_bit5 -3604480*V010102_bit6 -7208960*V010102_bit7 -14417920*V010102_bit8 -28835840*V010102_bit9 -57671680*V010102_bit10 -115343360*V010102_bit11 -230686720*V010102_bit12 -461373440*V010102_bit13 -922746880*V010102_bit14 -1845493760*V010102_bit15 -3690987520*V010102_bit16 -7381975040*V010102_bit17 -14763950080*V010102_bit18 -29527900160*V010102_bit19 -8*V010103_bit_10 -16*V010103_bit_9 -32*V010103_bit_8 -64*V010103_bit_7 -128*V010103_bit_6 -256*V010103_bit_5 -512*V010103_bit_4 -1024*V010103_bit_3 -2048*V010103_bit_2 -4096*V010103_bit_1 -8192*V010103_bit0 -16384*V010103_bit1 -32768*V010103_bit2 -65536*V010103_bit3 -131072*V010103_bit4 -262144*V010103_bit5 -524288*V010103_bit6 -1048576*V010103_bit7 -2097152*V010103_bit8 -4194304*V010103_bit9 -8388608*V010103_bit10 -16777216*V010103_bit11 -33554432*V010103_bit12 -67108864*V010103_bit13 -134217728*V010103_bit14 -268435456*V010103_bit15 -536870912*V010103_bit16 -1073741824*V010103_bit17 -2147483648*V010103_bit18 -4294967296*V010103_bit19 -45*V010104_bit_10 -90*V010104_bit_9 -180*V010104_bit_8 -360*V010104_bit_7 -720*V010104_bit_6 -1440*V010104_bit_5 -2880*V010104_bit_4 -5760*V010104_bit_3 -11520*V010104_bit_2 -23040*V010104_bit_1 -46080*V010104_bit0 -92160*V010104_bit1 -184320*V010104_bit2 -368640*V010104_bit3 -737280*V010104_bit4 -1474560*V010104_bit5 -2949120*V010104_bit6 -5898240*V010104_bit7 -11796480*V010104_bit8 -23592960*V010104_bit9 -47185920*V010104_bit10 -94371840*V010104_bit11 -188743680*V010104_bit12 -377487360*V010104_bit13 -754974720*V010104_bit14 -1509949440*V010104_bit15 -3019898880*V010104_bit16 -6039797760*V010104_bit17 -12079595520*V010104_bit18 -24159191040*V010104_bit19 -15*V010105_bit_10 -30*V010105_bit_9 -60*V010105_bit_8 -120*V010105_bit_7 -240*V010105_bit_6 -480*V010105_bit_5 -960*V010105_bit_4 -1920*V010105_bit_3 -3840*V010105_bit_2 -7680*V010105_bit_1 -15360*V010105_bit0 -30720*V010105_bit1 -61440*V010105_bit2 -122880*V010105_bit3 -245760*V010105_bit4 -491520*V010105_bit5 -983040*V010105_bit6 -1966080*V010105_bit7 -3932160*V010105_bit8 -7864320*V010105_bit9 -15728640*V010105_bit10 -31457280*V010105_bit11 -62914560*V010105_bit12 -125829120*V010105_bit13 -251658240*V010105_bit14 -503316480*V010105_bit15 -1006632960*V010105_bit16 -2013265920*V010105_bit17 -4026531840*V010105_bit18 -8053063680*V010105_bit19 -60*V010106_bit_10 -120*V010106_bit_9 -240*V010106_bit_8 -480*V010106_bit_7 -960*V010106_bit_6 -1920*V010106_bit_5 -3840*V010106_bit_4 -7680*V010106_bit_3 -15360*V010106_bit_2 -30720*V010106_bit_1 -61440*V010106_bit0 -122880*V010106_bit1 -245760*V010106_bit2 -491520*V010106_bit3 -983040*V010106_bit4 -1966080*V010106_bit5 -3932160*V010106_bit6 -7864320*V010106_bit7 -15728640*V010106_bit8 -31457280*V010106_bit9 -62914560*V010106_bit10 -125829120*V010106_bit11 -251658240*V010106_bit12 -503316480*V010106_bit13 -1006632960*V010106_bit14 -2013265920*V010106_bit15 -4026531840*V010106_bit16 -8053063680*V010106_bit17 -16106127360*V010106_bit18 -32212254720*V010106_bit19 -33*V010107_bit_10 -66*V010107_bit_9 -132*V010107_bit_8 -264*V010107_bit_7 -528*V010107_bit_6 -1056*V010107_bit_5 -2112*V010107_bit_4 -4224*V010107_bit_3 -8448*V010107_bit_2 -16896*V010107_bit_1 -33792*V010107_bit0 -67584*V010107_bit1 -135168*V010107_bit2 -270336*V010107_bit3 -540672*V010107_bit4 -1081344*V010107_bit5 -2162688*V010107_bit6 -4325376*V010107_bit7 -8650752*V010107_bit8 -17301504*V010107_bit9 -34603008*V010107_bit10 -69206016*V010107_bit11 -138412032*V010107_bit12 -276824064*V010107_bit13 -553648128*V010107_bit14 -1107296256*V010107_bit15 -2214592512*V010107_bit16 -4429185024*V010107_bit17 -8858370048*V010107_bit18 -17716740096*V010107_bit19 -58*V010108_bit_10 -116*V010108_bit_9 -232*V010108_bit_8 -464*V010108_bit_7 -928*V010108_bit_6 -1856*V010108_bit_5 -3712*V010108_bit_4 -7424*V010108_bit_3 -14848*V010108_bit_2 -29696*V010108_bit_1 -59392*V010108_bit0 -118784*V010108_bit1 -237568*V010108_bit2 -475136*V010108_bit3 -950272*V010108_bit4 -1900544*V010108_bit5 -3801088*V010108_bit6 -7602176*V010108_bit7 -15204352*V010108_bit8 -30408704*V010108_bit9 -60817408*V010108_bit10 -121634816*V010108_bit11 -243269632*V010108_bit12 -486539264*V010108_bit13 -973078528*V010108_bit14 -1946157056*V010108_bit15 -3892314112*V010108_bit16 -7784628224*V010108_bit17 -15569256448*V010108_bit18 -31138512896*V010108_bit19 +110*V010131_bit_10 +220*V010131_bit_9 +440*V010131_bit_8 +880*V010131_bit_7 +1760*V010131_bit_6 +3520*V010131_bit_5 +7040*V010131_bit_4 +14080*V010131_bit_3 +28160*V010131_bit_2 +56320*V010131_bit_1 +112640*V010131_bit0 +225280*V010131_bit1 +450560*V010131_bit2 +901120*V010131_bit3 +1802240*V010131_bit4 +3604480*V010131_bit5 +7208960*V010131_bit6 +14417920*V010131_bit7 +28835840*V010131_bit8 +57671680*V010131_bit9 +115343360*V010131_bit10 +230686720*V010131_bit11 +461373440*V010131_bit12 +922746880*V010131_bit13 +1845493760*V010131_bit14 +3690987520*V010131_bit15 +7381975040*V010131_bit16 +14763950080*V010131_bit17 +29527900160*V010131_bit18 +59055800320*V010131_bit19 >= +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-share2b.opb s UNKNOWN c Exit Code: 0 c Total time: 0.153 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.87 0.95 0.96 1/54 27582 Raw data (stat): 27582 (runsolver) D 27581 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 773657895 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+0.219515 s] Raw data (loadavg): 0.87 0.95 0.96 1/53 27582 Raw data (stat): 27582 (runsolver) D 27581 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 773657895 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 3225161850 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.219212 CPU time (s): 0.162974 CPU user time (s): 0.131979 CPU system time (s): 0.030995 CPU usage (%): 74.3454 Max. virtual memory (Kb): 1028 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####