Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing2.opb |
MD5SUM | 86934ee38968c649e6d8e09bdd8d93c2 |
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 | 2145 |
Biggest coefficient in the objective function | 39321600000 |
Number of bits for the biggest coefficient in the objective function | 36 |
Sum of the numbers in the objective function | 2483529923827 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1280000000000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 17827473345180 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.284956 |
Number of variables | 2319 |
Total number of constraints | 213 |
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 | 213 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 1580 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-09 10:55:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29415 boxname=wulflinc3 idbench=1199 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 86934ee38968c649e6d8e09bdd8d93c2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-boeing2.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-boeing2.opb IDLAUNCH: 29415 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 759888 kB Buffers: 16072 kB Cached: 238424 kB SwapCached: 708 kB Active: 32576 kB Inactive: 224000 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 759636 kB SwapTotal: 2097136 kB SwapFree: 2095380 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5036 kB Slab: 12500 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 10:55:54 (client local time) WITH STATUS 0 IN 0.828873 SECONDS stats: 29415 7 0.828873 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +65000*GRDTIMO1_bit_7 +130000*GRDTIMO1_bit_6 +260000*GRDTIMO1_bit_5 +520000*GRDTIMO1_bit_4 +1040000*GRDTIMO1_bit_3 +2080000*GRDTIMO1_bit_2 +4160000*GRDTIMO1_bit_1 +8320000*GRDTIMO1_bit0 +16640000*GRDTIMO1_bit1 +33280000*GRDTIMO1_bit2 +66560000*GRDTIMO1_bit3 +133120000*GRDTIMO1_bit4 +266240000*GRDTIMO1_bit5 +532480000*GRDTIMO1_bit6 +1064960000*GRDTIMO1_bit7 +2129920000*GRDTIMO1_bit8 +4259840000*GRDTIMO1_bit9 +8519680000*GRDTIMO1_bit10 +17039360000*GRDTIMO1_bit11 +34078720000*GRDTIMO1_bit12 -5000*GRDTIMN1_bit_7 -10000*GRDTIMN1_bit_6 -20000*GRDTIMN1_bit_5 -40000*GRDTIMN1_bit_4 -80000*GRDTIMN1_bit_3 -160000*GRDTIMN1_bit_2 -320000*GRDTIMN1_bit_1 -640000*GRDTIMN1_bit0 -1280000*GRDTIMN1_bit1 -2560000*GRDTIMN1_bit2 -5120000*GRDTIMN1_bit3 -10240000*GRDTIMN1_bit4 -20480000*GRDTIMN1_bit5 -40960000*GRDTIMN1_bit6 +27500*GRDTIMO2_bit_7 +55000*GRDTIMO2_bit_6 +110000*GRDTIMO2_bit_5 +220000*GRDTIMO2_bit_4 +440000*GRDTIMO2_bit_3 +880000*GRDTIMO2_bit_2 +1760000*GRDTIMO2_bit_1 +3520000*GRDTIMO2_bit0 +7040000*GRDTIMO2_bit1 +14080000*GRDTIMO2_bit2 +28160000*GRDTIMO2_bit3 +56320000*GRDTIMO2_bit4 +112640000*GRDTIMO2_bit5 +225280000*GRDTIMO2_bit6 +450560000*GRDTIMO2_bit7 +901120000*GRDTIMO2_bit8 +1802240000*GRDTIMO2_bit9 +3604480000*GRDTIMO2_bit10 +7208960000*GRDTIMO2_bit11 +14417920000*GRDTIMO2_bit12 -1929*GRDTIMN3_bit_7 -3858*GRDTIMN3_bit_6 -7716*GRDTIMN3_bit_5 -15432*GRDTIMN3_bit_4 -30864*GRDTIMN3_bit_3 -61728*GRDTIMN3_bit_2 -123456*GRDTIMN3_bit_1 -246912*GRDTIMN3_bit0 -493824*GRDTIMN3_bit1 -987648*GRDTIMN3_bit2 -1975296*GRDTIMN3_bit3 -3950592*GRDTIMN3_bit4 -7901184*GRDTIMN3_bit5 -731*GRDTIMN4_bit_7 -1462*GRDTIMN4_bit_6 -2924*GRDTIMN4_bit_5 -5848*GRDTIMN4_bit_4 -11696*GRDTIMN4_bit_3 -23392*GRDTIMN4_bit_2 -46784*GRDTIMN4_bit_1 -93568*GRDTIMN4_bit0 -187136*GRDTIMN4_bit1 -374272*GRDTIMN4_bit2 -748544*GRDTIMN4_bit3 -1497088*GRDTIMN4_bit4 -2994176*GRDTIMN4_bit5 +512*N1003AC1_bit_7 +1024*N1003AC1_bit_6 +2048*N1003AC1_bit_5 +4096*N1003AC1_bit_4 +8192*N1003AC1_bit_3 +16384*N1003AC1_bit_2 +32768*N1003AC1_bit_1 +65536*N1003AC1_bit0 +131072*N1003AC1_bit1 +262144*N1003AC1_bit2 +1024*N1003AC2_bit_7 +2048*N1003AC2_bit_6 +4096*N1003AC2_bit_5 +8192*N1003AC2_bit_4 +16384*N1003AC2_bit_3 +32768*N1003AC2_bit_2 +65536*N1003AC2_bit_1 +131072*N1003AC2_bit0 +262144*N1003AC2_bit1 +524288*N1003AC2_bit2 +1536*N1003AC3_bit_7 +3072*N1003AC3_bit_6 +6144*N1003AC3_bit_5 +12288*N1003AC3_bit_4 +24576*N1003AC3_bit_3 +49152*N1003AC3_bit_2 +98304*N1003AC3_bit_1 +196608*N1003AC3_bit0 +393216*N1003AC3_bit1 +2048*N1003AC4_bit_7 +4096*N1003AC4_bit_6 +8192*N1003AC4_bit_5 +16384*N1003AC4_bit_4 +32768*N1003AC4_bit_3 +65536*N1003AC4_bit_2 +131072*N1003AC4_bit_1 +262144*N1003AC4_bit0 +524288*N1003AC4_bit1 +404337*N1005AC1_bit_7 +808674*N1005AC1_bit_6 +1617348*N1005AC1_bit_5 +3234696*N1005AC1_bit_4 +6469392*N1005AC1_bit_3 +12938784*N1005AC1_bit_2 +25877568*N1005AC1_bit_1 +51755136*N1005AC1_bit0 +103510272*N1005AC1_bit1 +207020544*N1005AC1_bit2 +160964*N1005AC2_bit_7 +321928*N1005AC2_bit_6 +643856*N1005AC2_bit_5 +1287712*N1005AC2_bit_4 +2575424*N1005AC2_bit_3 +5150848*N1005AC2_bit_2 +10301696*N1005AC2_bit_1 +20603392*N1005AC2_bit0 +41206784*N1005AC2_bit1 +82413568*N1005AC2_bit2 +193119*N1005AC3_bit_7 +386238*N1005AC3_bit_6 +772476*N1005AC3_bit_5 +1544952*N1005AC3_bit_4 +3089904*N1005AC3_bit_3 +6179808*N1005AC3_bit_2 +12359616*N1005AC3_bit_1 +24719232*N1005AC3_bit0 +49438464*N1005AC3_bit1 +134618*N1005AC4_bit_7 +269236*N1005AC4_bit_6 +538472*N1005AC4_bit_5 +1076944*N1005AC4_bit_4 +2153888*N1005AC4_bit_3 +4307776*N1005AC4_bit_2 +8615552*N1005AC4_bit_1 +17231104*N1005AC4_bit0 +34462208*N1005AC4_bit1 +110000*N1011AC1_bit_7 +220000*N1011AC1_bit_6 +440000*N1011AC1_bit_5 +880000*N1011AC1_bit_4 +1760000*N1011AC1_bit_3 +3520000*N1011AC1_bit_2 +7040000*N1011AC1_bit_1 +14080000*N1011AC1_bit0 +28160000*N1011AC1_bit1 +56320000*N1011AC1_bit2 +120000*N1011AC2_bit_7 +240000*N1011AC2_bit_6 +480000*N1011AC2_bit_5 +960000*N1011AC2_bit_4 +1920000*N1011AC2_bit_3 +3840000*N1011AC2_bit_2 +7680000*N1011AC2_bit_1 +15360000*N1011AC2_bit0 +30720000*N1011AC2_bit1 +61440000*N1011AC2_bit2 +130000*N1011AC3_bit_7 +260000*N1011AC3_bit_6 +520000*N1011AC3_bit_5 +1040000*N1011AC3_bit_4 +2080000*N1011AC3_bit_3 +4160000*N1011AC3_bit_2 +8320000*N1011AC3_bit_1 +16640000*N1011AC3_bit0 +33280000*N1011AC3_bit1 +234647*N1011AC4_bit_7 +469294*N1011AC4_bit_6 +938588*N1011AC4_bit_5 +1877176*N1011AC4_bit_4 +3754352*N1011AC4_bit_3 +7508704*N1011AC4_bit_2 +15017408*N1011AC4_bit_1 +30034816*N1011AC4_bit0 +60069632*N1011AC4_bit1 +236783*N1013AC2_bit_7 +473566*N1013AC2_bit_6 +947132*N1013AC2_bit_5 +1894264*N1013AC2_bit_4 +3788528*N1013AC2_bit_3 +7577056*N1013AC2_bit_2 +15154112*N1013AC2_bit_1 +30308224*N1013AC2_bit0 +60616448*N1013AC2_bit1 +121232896*N1013AC2_bit2 +242465792*N1013AC2_bit3 +190292*N1013AC4_bit_7 +380584*N1013AC4_bit_6 +761168*N1013AC4_bit_5 +1522336*N1013AC4_bit_4 +3044672*N1013AC4_bit_3 +6089344*N1013AC4_bit_2 +12178688*N1013AC4_bit_1 +24357376*N1013AC4_bit0 +48714752*N1013AC4_bit1 +136416*N1015AC2_bit_7 +272832*N1015AC2_bit_6 +545664*N1015AC2_bit_5 +1091328*N1015AC2_bit_4 +2182656*N1015AC2_bit_3 +4365312*N1015AC2_bit_2 +8730624*N1015AC2_bit_1 +17461248*N1015AC2_bit0 +34922496*N1015AC2_bit1 +69844992*N1015AC2_bit2 +114401*N1015AC4_bit_7 +228802*N1015AC4_bit_6 +457604*N1015AC4_bit_5 +915208*N1015AC4_bit_4 +1830416*N1015AC4_bit_3 +3660832*N1015AC4_bit_2 +7321664*N1015AC4_bit_1 +14643328*N1015AC4_bit0 +29286656*N1015AC4_bit1 +164736*N1017AC2_bit_7 +329472*N1017AC2_bit_6 +658944*N1017AC2_bit_5 +1317888*N1017AC2_bit_4 +2635776*N1017AC2_bit_3 +5271552*N1017AC2_bit_2 +10543104*N1017AC2_bit_1 +21086208*N1017AC2_bit0 +42172416*N1017AC2_bit1 +84344832*N1017AC2_bit2 +133312*N1017AC4_bit_7 +266624*N1017AC4_bit_6 +533248*N1017AC4_bit_5 +1066496*N1017AC4_bit_4 +2132992*N1017AC4_bit_3 +4265984*N1017AC4_bit_2 +8531968*N1017AC4_bit_1 +17063936*N1017AC4_bit0 +34127872*N1017AC4_bit1 +255381*N1019AC2_bit_7 +510762*N1019AC2_bit_6 +1021524*N1019AC2_bit_5 +2043048*N1019AC2_bit_4 +4086096*N1019AC2_bit_3 +8172192*N1019AC2_bit_2 +16344384*N1019AC2_bit_1 +32688768*N1019AC2_bit0 +65377536*N1019AC2_bit1 +130755072*N1019AC2_bit2 +214431*N1019AC4_bit_7 +428862*N1019AC4_bit_6 +857724*N1019AC4_bit_5 +1715448*N1019AC4_bit_4 +3430896*N1019AC4_bit_3 +6861792*N1019AC4_bit_2 +13723584*N1019AC4_bit_1 +27447168*N1019AC4_bit0 +54894336*N1019AC4_bit1 +312679*N1021AC1_bit_7 +625358*N1021AC1_bit_6 +1250716*N1021AC1_bit_5 +2501432*N1021AC1_bit_4 +5002864*N1021AC1_bit_3 +10005728*N1021AC1_bit_2 +20011456*N1021AC1_bit_1 +40022912*N1021AC1_bit0 +80045824*N1021AC1_bit1 +160091648*N1021AC1_bit2 +118965*N1021AC2_bit_7 +237930*N1021AC2_bit_6 +475860*N1021AC2_bit_5 +951720*N1021AC2_bit_4 +1903440*N1021AC2_bit_3 +3806880*N1021AC2_bit_2 +7613760*N1021AC2_bit_1 +15227520*N1021AC2_bit0 +30455040*N1021AC2_bit1 +60910080*N1021AC2_bit2 +142472*N1021AC3_bit_7 +284944*N1021AC3_bit_6 +569888*N1021AC3_bit_5 +1139776*N1021AC3_bit_4 +2279552*N1021AC3_bit_3 +4559104*N1021AC3_bit_2 +9118208*N1021AC3_bit_1 +18236416*N1021AC3_bit0 +36472832*N1021AC3_bit1 +100030*N1021AC4_bit_7 +200060*N1021AC4_bit_6 +400120*N1021AC4_bit_5 +800240*N1021AC4_bit_4 +1600480*N1021AC4_bit_3 +3200960*N1021AC4_bit_2 +6401920*N1021AC4_bit_1 +12803840*N1021AC4_bit0 +25607680*N1021AC4_bit1 +312679*N1002AC1_bit_7 +625358*N1002AC1_bit_6 +1250716*N1002AC1_bit_5 +2501432*N1002AC1_bit_4 +5002864*N1002AC1_bit_3 +10005728*N1002AC1_bit_2 +20011456*N1002AC1_bit_1 +40022912*N1002AC1_bit0 +80045824*N1002AC1_bit1 +160091648*N1002AC1_bit2 +118965*N1002AC2_bit_7 +237930*N1002AC2_bit_6 +475860*N1002AC2_bit_5 +951720*N1002AC2_bit_4 +1903440*N1002AC2_bit_3 +3806880*N1002AC2_bit_2 +7613760*N1002AC2_bit_1 +15227520*N1002AC2_bit0 +30455040*N1002AC2_bit1 +60910080*N1002AC2_bit2 +142472*N1002AC3_bit_7 +284944*N1002AC3_bit_6 +569888*N1002AC3_bit_5 +1139776*N1002AC3_bit_4 +2279552*N1002AC3_bit_3 +4559104*N1002AC3_bit_2 +9118208*N1002AC3_bit_1 +18236416*N1002AC3_bit0 +36472832*N1002AC3_bit1 +100030*N1002AC4_bit_7 +200060*N1002AC4_bit_6 +400120*N1002AC4_bit_5 +800240*N1002AC4_bit_4 +1600480*N1002AC4_bit_3 +3200960*N1002AC4_bit_2 +6401920*N1002AC4_bit_1 +12803840*N1002AC4_bit0 +25607680*N1002AC4_bit1 +164736*N1004AC2_bit_7 +329472*N1004AC2_bit_6 +658944*N1004AC2_bit_5 +1317888*N1004AC2_bit_4 +2635776*N1004AC2_bit_3 +5271552*N1004AC2_bit_2 +10543104*N1004AC2_bit_1 +21086208*N1004AC2_bit0 +42172416*N1004AC2_bit1 +84344832*N1004AC2_bit2 +133312*N1004AC4_bit_7 +266624*N1004AC4_bit_6 +533248*N1004AC4_bit_5 +1066496*N1004AC4_bit_4 +2132992*N1004AC4_bit_3 +4265984*N1004AC4_bit_2 +8531968*N1004AC4_bit_1 +17063936*N1004AC4_bit0 +34127872*N1004AC4_bit1 +717016*N1006AC1_bit_7 +1434032*N1006AC1_bit_6 +2868064*N1006AC1_bit_5 +5736128*N1006AC1_bit_4 +11472256*N1006AC1_bit_3 +22944512*N1006AC1_bit_2 +45889024*N1006AC1_bit_1 +91778048*N1006AC1_bit0 +183556096*N1006AC1_bit1 +367112192*N1006AC1_bit2 +279929*N1006AC2_bit_7 +559858*N1006AC2_bit_6 +1119716*N1006AC2_bit_5 +2239432*N1006AC2_bit_4 +4478864*N1006AC2_bit_3 +8957728*N1006AC2_bit_2 +17915456*N1006AC2_bit_1 +35830912*N1006AC2_bit0 +71661824*N1006AC2_bit1 +143323648*N1006AC2_bit2 +335591*N1006AC3_bit_7 +671182*N1006AC3_bit_6 +1342364*N1006AC3_bit_5 +2684728*N1006AC3_bit_4 +5369456*N1006AC3_bit_3 +10738912*N1006AC3_bit_2 +21477824*N1006AC3_bit_1 +42955648*N1006AC3_bit0 +85911296*N1006AC3_bit1 +234647*N1006AC4_bit_7 +469294*N1006AC4_bit_6 +938588*N1006AC4_bit_5 +1877176*N1006AC4_bit_4 +3754352*N1006AC4_bit_3 +7508704*N1006AC4_bit_2 +15017408*N1006AC4_bit_1 +30034816*N1006AC4_bit0 +60069632*N1006AC4_bit1 +236783*N1008AC2_bit_7 +473566*N1008AC2_bit_6 +947132*N1008AC2_bit_5 +1894264*N1008AC2_bit_4 +3788528*N1008AC2_bit_3 +7577056*N1008AC2_bit_2 +15154112*N1008AC2_bit_1 +30308224*N1008AC2_bit0 +60616448*N1008AC2_bit1 +121232896*N1008AC2_bit2 +242465792*N1008AC2_bit3 +190292*N1008AC4_bit_7 +380584*N1008AC4_bit_6 +761168*N1008AC4_bit_5 +1522336*N1008AC4_bit_4 +3044672*N1008AC4_bit_3 +6089344*N1008AC4_bit_2 +12178688*N1008AC4_bit_1 +24357376*N1008AC4_bit0 +48714752*N1008AC4_bit1 +327428*N1010AC2_bit_7 +654856*N1010AC2_bit_6 +1309712*N1010AC2_bit_5 +2619424*N1010AC2_bit_4 +5238848*N1010AC2_bit_3 +10477696*N1010AC2_bit_2 +20955392*N1010AC2_bit_1 +41910784*N1010AC2_bit0 +83821568*N1010AC2_bit1 +167643136*N1010AC2_bit2 +335286272*N1010AC2_bit3 +271411*N1010AC4_bit_7 +542822*N1010AC4_bit_6 +1085644*N1010AC4_bit_5 +2171288*N1010AC4_bit_4 +4342576*N1010AC4_bit_3 +8685152*N1010AC4_bit_2 +17370304*N1010AC4_bit_1 +34740608*N1010AC4_bit0 +69481216*N1010AC4_bit1 +136416*N1012AC2_bit_7 +272832*N1012AC2_bit_6 +545664*N1012AC2_bit_5 +1091328*N1012AC2_bit_4 +2182656*N1012AC2_bit_3 +4365312*N1012AC2_bit_2 +8730624*N1012AC2_bit_1 +17461248*N1012AC2_bit0 +34922496*N1012AC2_bit1 +69844992*N1012AC2_bit2 +114401*N1012AC4_bit_7 +228802*N1012AC4_bit_6 +457604*N1012AC4_bit_5 +915208*N1012AC4_bit_4 +1830416*N1012AC4_bit_3 +3660832*N1012AC4_bit_2 +7321664*N1012AC4_bit_1 +14643328*N1012AC4_bit0 +29286656*N1012AC4_bit1 +208463*N1014AC2_bit_7 +416926*N1014AC2_bit_6 +833852*N1014AC2_bit_5 +1667704*N1014AC2_bit_4 +3335408*N1014AC2_bit_3 +6670816*N1014AC2_bit_2 +13341632*N1014AC2_bit_1 +26683264*N1014AC2_bit0 +53366528*N1014AC2_bit1 +106733056*N1014AC2_bit2 +213466112*N1014AC2_bit3 +171382*N1014AC4_bit_7 +342764*N1014AC4_bit_6 +685528*N1014AC4_bit_5 +1371056*N1014AC4_bit_4 +2742112*N1014AC4_bit_3 +5484224*N1014AC4_bit_2 +10968448*N1014AC4_bit_1 +21936896*N1014AC4_bit0 +43873792*N1014AC4_bit1 +607357*N1100AC2_bit_7 +1214714*N1100AC2_bit_6 +2429428*N1100AC2_bit_5 +4858856*N1100AC2_bit_4 +9717712*N1100AC2_bit_3 +19435424*N1100AC2_bit_2 +38870848*N1100AC2_bit_1 +77741696*N1100AC2_bit0 +155483392*N1100AC2_bit1 +310966784*N1100AC2_bit2 +506059*N1100AC4_bit_7 +1012118*N1100AC4_bit_6 +2024236*N1100AC4_bit_5 +4048472*N1100AC4_bit_4 +8096944*N1100AC4_bit_3 +16193888*N1100AC4_bit_2 +32387776*N1100AC4_bit_1 +64775552*N1100AC4_bit0 +129551104*N1100AC4_bit1 +259102208*N1100AC4_bit2 +516712*N1102AC2_bit_7 +1033424*N1102AC2_bit_6 +2066848*N1102AC2_bit_5 +4133696*N1102AC2_bit_4 +8267392*N1102AC2_bit_3 +16534784*N1102AC2_bit_2 +33069568*N1102AC2_bit_1 +66139136*N1102AC2_bit0 +132278272*N1102AC2_bit1 +264556544*N1102AC2_bit2 +424939*N1102AC4_bit_7 +849878*N1102AC4_bit_6 +1699756*N1102AC4_bit_5 +3399512*N1102AC4_bit_4 +6799024*N1102AC4_bit_3 +13598048*N1102AC4_bit_2 +27196096*N1102AC4_bit_1 +54392192*N1102AC4_bit0 +108784384*N1102AC4_bit1 +217568768*N1102AC4_bit2 +72047*N1200AC2_bit_7 +144094*N1200AC2_bit_6 +288188*N1200AC2_bit_5 +576376*N1200AC2_bit_4 +1152752*N1200AC2_bit_3 +2305504*N1200AC2_bit_2 +4611008*N1200AC2_bit_1 +9222016*N1200AC2_bit0 +18444032*N1200AC2_bit1 +36888064*N1200AC2_bit2 +73776128*N1200AC2_bit3 +56980*N1200AC4_bit_7 +113960*N1200AC4_bit_6 +227920*N1200AC4_bit_5 +455840*N1200AC4_bit_4 +911680*N1200AC4_bit_3 +1823360*N1200AC4_bit_2 +3646720*N1200AC4_bit_1 +7293440*N1200AC4_bit0 +14586880*N1200AC4_bit1 +29173760*N1200AC4_bit2 +72047*N1201AC2_bit_7 +144094*N1201AC2_bit_6 +288188*N1201AC2_bit_5 +576376*N1201AC2_bit_4 +1152752*N1201AC2_bit_3 +2305504*N1201AC2_bit_2 +4611008*N1201AC2_bit_1 +9222016*N1201AC2_bit0 +18444032*N1201AC2_bit1 +36888064*N1201AC2_bit2 +73776128*N1201AC2_bit3 +56980*N1201AC4_bit_7 +113960*N1201AC4_bit_6 +227920*N1201AC4_bit_5 +455840*N1201AC4_bit_4 +911680*N1201AC4_bit_3 +1823360*N1201AC4_bit_2 +3646720*N1201AC4_bit_1 +7293440*N1201AC4_bit0 +14586880*N1201AC4_bit1 +29173760*N1201AC4_bit2 >= -79321600; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-boeing2.opb s UNKNOWN c Exit Code: 0 c Total time: 0.815 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.79 0.92 0.89 2/54 7963 Raw data (stat): 7963 (runsolver) R 7962 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909712566 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.866927 s] Raw data (loadavg): 0.79 0.92 0.89 1/53 7963 Raw data (stat): 7963 (runsolver) R 7962 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909712566 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.866642 CPU time (s): 0.828873 CPU user time (s): 0.772882 CPU system time (s): 0.055991 CPU usage (%): 95.6419 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####