Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share1b.opb |
MD5SUM | df77dd7325b8c4838e7ddb26764d610e |
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 | 620 |
Biggest coefficient in the objective function | 262144000000 |
Number of bits for the biggest coefficient in the objective function | 38 |
Sum of the numbers in the objective function | 2638204214250 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 6932293222400 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 56042652203303 |
Number of bits of the biggest sum of numbers | 46 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.25196 |
Number of variables | 4500 |
Total number of constraints | 117 |
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 | 117 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 740 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 11:57:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29475 boxname=wulflinc2 idbench=1259 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: df77dd7325b8c4838e7ddb26764d610e /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-share1b.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-share1b.opb IDLAUNCH: 29475 /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: 856496 kB Buffers: 12032 kB Cached: 145476 kB SwapCached: 1476 kB Active: 26948 kB Inactive: 132652 kB HighTotal: 131008 kB HighFree: 16492 kB LowTotal: 903652 kB LowFree: 840004 kB SwapTotal: 2097136 kB SwapFree: 2094616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4960 kB Slab: 12992 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 11:57:36 (client local time) WITH STATUS 0 IN 0.231964 SECONDS stats: 29475 7 0.231964 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: -125000*CCC001_bit_7 -250000*CCC001_bit_6 -500000*CCC001_bit_5 -1000000*CCC001_bit_4 -2000000*CCC001_bit_3 -4000000*CCC001_bit_2 -8000000*CCC001_bit_1 -16000000*CCC001_bit0 -32000000*CCC001_bit1 -64000000*CCC001_bit2 -128000000*CCC001_bit3 -256000000*CCC001_bit4 -512000000*CCC001_bit5 -1024000000*CCC001_bit6 -2048000000*CCC001_bit7 -4096000000*CCC001_bit8 -8192000000*CCC001_bit9 -16384000000*CCC001_bit10 -32768000000*CCC001_bit11 -65536000000*CCC001_bit12 +132500*CCC002_bit_7 +265000*CCC002_bit_6 +530000*CCC002_bit_5 +1060000*CCC002_bit_4 +2120000*CCC002_bit_3 +4240000*CCC002_bit_2 +8480000*CCC002_bit_1 +16960000*CCC002_bit0 +33920000*CCC002_bit1 +67840000*CCC002_bit2 +135680000*CCC002_bit3 +271360000*CCC002_bit4 +542720000*CCC002_bit5 +1085440000*CCC002_bit6 +2170880000*CCC002_bit7 +4341760000*CCC002_bit8 +8683520000*CCC002_bit9 +17367040000*CCC002_bit10 +34734080000*CCC002_bit11 +69468160000*CCC002_bit12 +114250*CCC003_bit_7 +228500*CCC003_bit_6 +457000*CCC003_bit_5 +914000*CCC003_bit_4 +1828000*CCC003_bit_3 +3656000*CCC003_bit_2 +7312000*CCC003_bit_1 +14624000*CCC003_bit0 +29248000*CCC003_bit1 +58496000*CCC003_bit2 +116992000*CCC003_bit3 +233984000*CCC003_bit4 +467968000*CCC003_bit5 +935936000*CCC003_bit6 +1871872000*CCC003_bit7 +3743744000*CCC003_bit8 +7487488000*CCC003_bit9 +14974976000*CCC003_bit10 +29949952000*CCC003_bit11 +59899904000*CCC003_bit12 +133250*CCC004_bit_7 +266500*CCC004_bit_6 +533000*CCC004_bit_5 +1066000*CCC004_bit_4 +2132000*CCC004_bit_3 +4264000*CCC004_bit_2 +8528000*CCC004_bit_1 +17056000*CCC004_bit0 +34112000*CCC004_bit1 +68224000*CCC004_bit2 +136448000*CCC004_bit3 +272896000*CCC004_bit4 +545792000*CCC004_bit5 +1091584000*CCC004_bit6 +2183168000*CCC004_bit7 +4366336000*CCC004_bit8 +8732672000*CCC004_bit9 +17465344000*CCC004_bit10 +34930688000*CCC004_bit11 +69861376000*CCC004_bit12 +128250*CCC005_bit_7 +256500*CCC005_bit_6 +513000*CCC005_bit_5 +1026000*CCC005_bit_4 +2052000*CCC005_bit_3 +4104000*CCC005_bit_2 +8208000*CCC005_bit_1 +16416000*CCC005_bit0 +32832000*CCC005_bit1 +65664000*CCC005_bit2 +131328000*CCC005_bit3 +262656000*CCC005_bit4 +525312000*CCC005_bit5 +1050624000*CCC005_bit6 +2101248000*CCC005_bit7 +4202496000*CCC005_bit8 +8404992000*CCC005_bit9 +16809984000*CCC005_bit10 +33619968000*CCC005_bit11 +67239936000*CCC005_bit12 +132750*CCC006_bit_7 +265500*CCC006_bit_6 +531000*CCC006_bit_5 +1062000*CCC006_bit_4 +2124000*CCC006_bit_3 +4248000*CCC006_bit_2 +8496000*CCC006_bit_1 +16992000*CCC006_bit0 +33984000*CCC006_bit1 +67968000*CCC006_bit2 +135936000*CCC006_bit3 +271872000*CCC006_bit4 +543744000*CCC006_bit5 +1087488000*CCC006_bit6 +2174976000*CCC006_bit7 +4349952000*CCC006_bit8 +8699904000*CCC006_bit9 +17399808000*CCC006_bit10 +34799616000*CCC006_bit11 +69599232000*CCC006_bit12 +136250*CCC124_bit_7 +272500*CCC124_bit_6 +545000*CCC124_bit_5 +1090000*CCC124_bit_4 +2180000*CCC124_bit_3 +4360000*CCC124_bit_2 +8720000*CCC124_bit_1 +17440000*CCC124_bit0 +34880000*CCC124_bit1 +69760000*CCC124_bit2 +139520000*CCC124_bit3 +279040000*CCC124_bit4 +558080000*CCC124_bit5 +1116160000*CCC124_bit6 +2232320000*CCC124_bit7 +4464640000*CCC124_bit8 +8929280000*CCC124_bit9 +17858560000*CCC124_bit10 +35717120000*CCC124_bit11 +71434240000*CCC124_bit12 +133125*CCC125_bit_7 +266250*CCC125_bit_6 +532500*CCC125_bit_5 +1065000*CCC125_bit_4 +2130000*CCC125_bit_3 +4260000*CCC125_bit_2 +8520000*CCC125_bit_1 +17040000*CCC125_bit0 +34080000*CCC125_bit1 +68160000*CCC125_bit2 +136320000*CCC125_bit3 +272640000*CCC125_bit4 +545280000*CCC125_bit5 +1090560000*CCC125_bit6 +2181120000*CCC125_bit7 +4362240000*CCC125_bit8 +8724480000*CCC125_bit9 +17448960000*CCC125_bit10 +34897920000*CCC125_bit11 +69795840000*CCC125_bit12 +132500*CCC126_bit_7 +265000*CCC126_bit_6 +530000*CCC126_bit_5 +1060000*CCC126_bit_4 +2120000*CCC126_bit_3 +4240000*CCC126_bit_2 +8480000*CCC126_bit_1 +16960000*CCC126_bit0 +33920000*CCC126_bit1 +67840000*CCC126_bit2 +135680000*CCC126_bit3 +271360000*CCC126_bit4 +542720000*CCC126_bit5 +1085440000*CCC126_bit6 +2170880000*CCC126_bit7 +4341760000*CCC126_bit8 +8683520000*CCC126_bit9 +17367040000*CCC126_bit10 +34734080000*CCC126_bit11 +69468160000*CCC126_bit12 +126250*CCC127_bit_7 +252500*CCC127_bit_6 +505000*CCC127_bit_5 +1010000*CCC127_bit_4 +2020000*CCC127_bit_3 +4040000*CCC127_bit_2 +8080000*CCC127_bit_1 +16160000*CCC127_bit0 +32320000*CCC127_bit1 +64640000*CCC127_bit2 +129280000*CCC127_bit3 +258560000*CCC127_bit4 +517120000*CCC127_bit5 +1034240000*CCC127_bit6 +2068480000*CCC127_bit7 +4136960000*CCC127_bit8 +8273920000*CCC127_bit9 +16547840000*CCC127_bit10 +33095680000*CCC127_bit11 +66191360000*CCC127_bit12 +132500*CCC128_bit_7 +265000*CCC128_bit_6 +530000*CCC128_bit_5 +1060000*CCC128_bit_4 +2120000*CCC128_bit_3 +4240000*CCC128_bit_2 +8480000*CCC128_bit_1 +16960000*CCC128_bit0 +33920000*CCC128_bit1 +67840000*CCC128_bit2 +135680000*CCC128_bit3 +271360000*CCC128_bit4 +542720000*CCC128_bit5 +1085440000*CCC128_bit6 +2170880000*CCC128_bit7 +4341760000*CCC128_bit8 +8683520000*CCC128_bit9 +17367040000*CCC128_bit10 +34734080000*CCC128_bit11 +69468160000*CCC128_bit12 >= -16; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-share1b.opb s UNKNOWN c Exit Code: 0 c Total time: 0.221 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.98 0.91 2/54 27608 Raw data (stat): 27608 (runsolver) R 27607 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910095133 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+0.253401 s] Raw data (loadavg): 0.93 0.98 0.91 1/53 27608 Raw data (stat): 27608 (runsolver) R 27607 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910095133 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): 0.253098 CPU time (s): 0.231964 CPU user time (s): 0.183972 CPU system time (s): 0.047992 CPU usage (%): 91.6499 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####