Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-boeing2.opb |
MD5SUM | 9d4981de84e8fd488c4493c292301fa3 |
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 | 3114 |
Biggest coefficient in the objective function | 40265318400000 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 2533036563346675 |
Number of bits of the sum of numbers in the objective function | 52 |
Biggest number in a constraint | 431563682611200 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 17042207919312540 |
Number of bits of the biggest sum of numbers | 54 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.033994 |
Number of variables | 3371 |
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 | 12 |
Maximum length of a constraint | 2370 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-09 03:43:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29031 boxname=wulflinc4 idbench=815 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 9d4981de84e8fd488c4493c292301fa3 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-boeing2.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-boeing2.opb IDLAUNCH: 29031 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 901720 kB Buffers: 30548 kB Cached: 80596 kB SwapCached: 1192 kB Active: 29344 kB Inactive: 84144 kB HighTotal: 131008 kB HighFree: 49420 kB LowTotal: 903652 kB LowFree: 852300 kB SwapTotal: 2097136 kB SwapFree: 2094880 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4912 kB Slab: 13728 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 03:43:26 (client local time) WITH STATUS 0 IN 1.76973 SECONDS stats: 29031 7 1.76973 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +65000*GRDTIMO1_bit_10 +130000*GRDTIMO1_bit_9 +260000*GRDTIMO1_bit_8 +520000*GRDTIMO1_bit_7 +1040000*GRDTIMO1_bit_6 +2080000*GRDTIMO1_bit_5 +4160000*GRDTIMO1_bit_4 +8320000*GRDTIMO1_bit_3 +16640000*GRDTIMO1_bit_2 +33280000*GRDTIMO1_bit_1 +66560000*GRDTIMO1_bit0 +133120000*GRDTIMO1_bit1 +266240000*GRDTIMO1_bit2 +532480000*GRDTIMO1_bit3 +1064960000*GRDTIMO1_bit4 +2129920000*GRDTIMO1_bit5 +4259840000*GRDTIMO1_bit6 +8519680000*GRDTIMO1_bit7 +17039360000*GRDTIMO1_bit8 +34078720000*GRDTIMO1_bit9 +68157440000*GRDTIMO1_bit10 +136314880000*GRDTIMO1_bit11 +272629760000*GRDTIMO1_bit12 +545259520000*GRDTIMO1_bit13 +1090519040000*GRDTIMO1_bit14 +2181038080000*GRDTIMO1_bit15 +4362076160000*GRDTIMO1_bit16 +8724152320000*GRDTIMO1_bit17 +17448304640000*GRDTIMO1_bit18 +34896609280000*GRDTIMO1_bit19 -5000*GRDTIMN1_bit_10 -10000*GRDTIMN1_bit_9 -20000*GRDTIMN1_bit_8 -40000*GRDTIMN1_bit_7 -80000*GRDTIMN1_bit_6 -160000*GRDTIMN1_bit_5 -320000*GRDTIMN1_bit_4 -640000*GRDTIMN1_bit_3 -1280000*GRDTIMN1_bit_2 -2560000*GRDTIMN1_bit_1 -5120000*GRDTIMN1_bit0 -10240000*GRDTIMN1_bit1 -20480000*GRDTIMN1_bit2 -40960000*GRDTIMN1_bit3 -81920000*GRDTIMN1_bit4 -163840000*GRDTIMN1_bit5 -327680000*GRDTIMN1_bit6 +27500*GRDTIMO2_bit_10 +55000*GRDTIMO2_bit_9 +110000*GRDTIMO2_bit_8 +220000*GRDTIMO2_bit_7 +440000*GRDTIMO2_bit_6 +880000*GRDTIMO2_bit_5 +1760000*GRDTIMO2_bit_4 +3520000*GRDTIMO2_bit_3 +7040000*GRDTIMO2_bit_2 +14080000*GRDTIMO2_bit_1 +28160000*GRDTIMO2_bit0 +56320000*GRDTIMO2_bit1 +112640000*GRDTIMO2_bit2 +225280000*GRDTIMO2_bit3 +450560000*GRDTIMO2_bit4 +901120000*GRDTIMO2_bit5 +1802240000*GRDTIMO2_bit6 +3604480000*GRDTIMO2_bit7 +7208960000*GRDTIMO2_bit8 +14417920000*GRDTIMO2_bit9 +28835840000*GRDTIMO2_bit10 +57671680000*GRDTIMO2_bit11 +115343360000*GRDTIMO2_bit12 +230686720000*GRDTIMO2_bit13 +461373440000*GRDTIMO2_bit14 +922746880000*GRDTIMO2_bit15 +1845493760000*GRDTIMO2_bit16 +3690987520000*GRDTIMO2_bit17 +7381975040000*GRDTIMO2_bit18 +14763950080000*GRDTIMO2_bit19 -1929*GRDTIMN3_bit_10 -3858*GRDTIMN3_bit_9 -7716*GRDTIMN3_bit_8 -15432*GRDTIMN3_bit_7 -30864*GRDTIMN3_bit_6 -61728*GRDTIMN3_bit_5 -123456*GRDTIMN3_bit_4 -246912*GRDTIMN3_bit_3 -493824*GRDTIMN3_bit_2 -987648*GRDTIMN3_bit_1 -1975296*GRDTIMN3_bit0 -3950592*GRDTIMN3_bit1 -7901184*GRDTIMN3_bit2 -15802368*GRDTIMN3_bit3 -31604736*GRDTIMN3_bit4 -63209472*GRDTIMN3_bit5 -731*GRDTIMN4_bit_10 -1462*GRDTIMN4_bit_9 -2924*GRDTIMN4_bit_8 -5848*GRDTIMN4_bit_7 -11696*GRDTIMN4_bit_6 -23392*GRDTIMN4_bit_5 -46784*GRDTIMN4_bit_4 -93568*GRDTIMN4_bit_3 -187136*GRDTIMN4_bit_2 -374272*GRDTIMN4_bit_1 -748544*GRDTIMN4_bit0 -1497088*GRDTIMN4_bit1 -2994176*GRDTIMN4_bit2 -5988352*GRDTIMN4_bit3 -11976704*GRDTIMN4_bit4 -23953408*GRDTIMN4_bit5 +512*N1003AC1_bit_10 +1024*N1003AC1_bit_9 +2048*N1003AC1_bit_8 +4096*N1003AC1_bit_7 +8192*N1003AC1_bit_6 +16384*N1003AC1_bit_5 +32768*N1003AC1_bit_4 +65536*N1003AC1_bit_3 +131072*N1003AC1_bit_2 +262144*N1003AC1_bit_1 +524288*N1003AC1_bit0 +1048576*N1003AC1_bit1 +2097152*N1003AC1_bit2 +1024*N1003AC2_bit_10 +2048*N1003AC2_bit_9 +4096*N1003AC2_bit_8 +8192*N1003AC2_bit_7 +16384*N1003AC2_bit_6 +32768*N1003AC2_bit_5 +65536*N1003AC2_bit_4 +131072*N1003AC2_bit_3 +262144*N1003AC2_bit_2 +524288*N1003AC2_bit_1 +1048576*N1003AC2_bit0 +2097152*N1003AC2_bit1 +4194304*N1003AC2_bit2 +1536*N1003AC3_bit_10 +3072*N1003AC3_bit_9 +6144*N1003AC3_bit_8 +12288*N1003AC3_bit_7 +24576*N1003AC3_bit_6 +49152*N1003AC3_bit_5 +98304*N1003AC3_bit_4 +196608*N1003AC3_bit_3 +393216*N1003AC3_bit_2 +786432*N1003AC3_bit_1 +1572864*N1003AC3_bit0 +3145728*N1003AC3_bit1 +2048*N1003AC4_bit_10 +4096*N1003AC4_bit_9 +8192*N1003AC4_bit_8 +16384*N1003AC4_bit_7 +32768*N1003AC4_bit_6 +65536*N1003AC4_bit_5 +131072*N1003AC4_bit_4 +262144*N1003AC4_bit_3 +524288*N1003AC4_bit_2 +1048576*N1003AC4_bit_1 +2097152*N1003AC4_bit0 +4194304*N1003AC4_bit1 +404337*N1005AC1_bit_10 +808674*N1005AC1_bit_9 +1617348*N1005AC1_bit_8 +3234696*N1005AC1_bit_7 +6469392*N1005AC1_bit_6 +12938784*N1005AC1_bit_5 +25877568*N1005AC1_bit_4 +51755136*N1005AC1_bit_3 +103510272*N1005AC1_bit_2 +207020544*N1005AC1_bit_1 +414041088*N1005AC1_bit0 +828082176*N1005AC1_bit1 +1656164352*N1005AC1_bit2 +160964*N1005AC2_bit_10 +321928*N1005AC2_bit_9 +643856*N1005AC2_bit_8 +1287712*N1005AC2_bit_7 +2575424*N1005AC2_bit_6 +5150848*N1005AC2_bit_5 +10301696*N1005AC2_bit_4 +20603392*N1005AC2_bit_3 +41206784*N1005AC2_bit_2 +82413568*N1005AC2_bit_1 +164827136*N1005AC2_bit0 +329654272*N1005AC2_bit1 +659308544*N1005AC2_bit2 +193119*N1005AC3_bit_10 +386238*N1005AC3_bit_9 +772476*N1005AC3_bit_8 +1544952*N1005AC3_bit_7 +3089904*N1005AC3_bit_6 +6179808*N1005AC3_bit_5 +12359616*N1005AC3_bit_4 +24719232*N1005AC3_bit_3 +49438464*N1005AC3_bit_2 +98876928*N1005AC3_bit_1 +197753856*N1005AC3_bit0 +395507712*N1005AC3_bit1 +134618*N1005AC4_bit_10 +269236*N1005AC4_bit_9 +538472*N1005AC4_bit_8 +1076944*N1005AC4_bit_7 +2153888*N1005AC4_bit_6 +4307776*N1005AC4_bit_5 +8615552*N1005AC4_bit_4 +17231104*N1005AC4_bit_3 +34462208*N1005AC4_bit_2 +68924416*N1005AC4_bit_1 +137848832*N1005AC4_bit0 +275697664*N1005AC4_bit1 +110000*N1011AC1_bit_10 +220000*N1011AC1_bit_9 +440000*N1011AC1_bit_8 +880000*N1011AC1_bit_7 +1760000*N1011AC1_bit_6 +3520000*N1011AC1_bit_5 +7040000*N1011AC1_bit_4 +14080000*N1011AC1_bit_3 +28160000*N1011AC1_bit_2 +56320000*N1011AC1_bit_1 +112640000*N1011AC1_bit0 +225280000*N1011AC1_bit1 +450560000*N1011AC1_bit2 +120000*N1011AC2_bit_10 +240000*N1011AC2_bit_9 +480000*N1011AC2_bit_8 +960000*N1011AC2_bit_7 +1920000*N1011AC2_bit_6 +3840000*N1011AC2_bit_5 +7680000*N1011AC2_bit_4 +15360000*N1011AC2_bit_3 +30720000*N1011AC2_bit_2 +61440000*N1011AC2_bit_1 +122880000*N1011AC2_bit0 +245760000*N1011AC2_bit1 +491520000*N1011AC2_bit2 +130000*N1011AC3_bit_10 +260000*N1011AC3_bit_9 +520000*N1011AC3_bit_8 +1040000*N1011AC3_bit_7 +2080000*N1011AC3_bit_6 +4160000*N1011AC3_bit_5 +8320000*N1011AC3_bit_4 +16640000*N1011AC3_bit_3 +33280000*N1011AC3_bit_2 +66560000*N1011AC3_bit_1 +133120000*N1011AC3_bit0 +266240000*N1011AC3_bit1 +234647*N1011AC4_bit_10 +469294*N1011AC4_bit_9 +938588*N1011AC4_bit_8 +1877176*N1011AC4_bit_7 +3754352*N1011AC4_bit_6 +7508704*N1011AC4_bit_5 +15017408*N1011AC4_bit_4 +30034816*N1011AC4_bit_3 +60069632*N1011AC4_bit_2 +120139264*N1011AC4_bit_1 +240278528*N1011AC4_bit0 +480557056*N1011AC4_bit1 +236783*N1013AC2_bit_10 +473566*N1013AC2_bit_9 +947132*N1013AC2_bit_8 +1894264*N1013AC2_bit_7 +3788528*N1013AC2_bit_6 +7577056*N1013AC2_bit_5 +15154112*N1013AC2_bit_4 +30308224*N1013AC2_bit_3 +60616448*N1013AC2_bit_2 +121232896*N1013AC2_bit_1 +242465792*N1013AC2_bit0 +484931584*N1013AC2_bit1 +969863168*N1013AC2_bit2 +1939726336*N1013AC2_bit3 +190292*N1013AC4_bit_10 +380584*N1013AC4_bit_9 +761168*N1013AC4_bit_8 +1522336*N1013AC4_bit_7 +3044672*N1013AC4_bit_6 +6089344*N1013AC4_bit_5 +12178688*N1013AC4_bit_4 +24357376*N1013AC4_bit_3 +48714752*N1013AC4_bit_2 +97429504*N1013AC4_bit_1 +194859008*N1013AC4_bit0 +389718016*N1013AC4_bit1 +136416*N1015AC2_bit_10 +272832*N1015AC2_bit_9 +545664*N1015AC2_bit_8 +1091328*N1015AC2_bit_7 +2182656*N1015AC2_bit_6 +4365312*N1015AC2_bit_5 +8730624*N1015AC2_bit_4 +17461248*N1015AC2_bit_3 +34922496*N1015AC2_bit_2 +69844992*N1015AC2_bit_1 +139689984*N1015AC2_bit0 +279379968*N1015AC2_bit1 +558759936*N1015AC2_bit2 +114401*N1015AC4_bit_10 +228802*N1015AC4_bit_9 +457604*N1015AC4_bit_8 +915208*N1015AC4_bit_7 +1830416*N1015AC4_bit_6 +3660832*N1015AC4_bit_5 +7321664*N1015AC4_bit_4 +14643328*N1015AC4_bit_3 +29286656*N1015AC4_bit_2 +58573312*N1015AC4_bit_1 +117146624*N1015AC4_bit0 +234293248*N1015AC4_bit1 +164736*N1017AC2_bit_10 +329472*N1017AC2_bit_9 +658944*N1017AC2_bit_8 +1317888*N1017AC2_bit_7 +2635776*N1017AC2_bit_6 +5271552*N1017AC2_bit_5 +10543104*N1017AC2_bit_4 +21086208*N1017AC2_bit_3 +42172416*N1017AC2_bit_2 +84344832*N1017AC2_bit_1 +168689664*N1017AC2_bit0 +337379328*N1017AC2_bit1 +674758656*N1017AC2_bit2 +133312*N1017AC4_bit_10 +266624*N1017AC4_bit_9 +533248*N1017AC4_bit_8 +1066496*N1017AC4_bit_7 +2132992*N1017AC4_bit_6 +4265984*N1017AC4_bit_5 +8531968*N1017AC4_bit_4 +17063936*N1017AC4_bit_3 +34127872*N1017AC4_bit_2 +68255744*N1017AC4_bit_1 +136511488*N1017AC4_bit0 +273022976*N1017AC4_bit1 +255381*N1019AC2_bit_10 +510762*N1019AC2_bit_9 +1021524*N1019AC2_bit_8 +2043048*N1019AC2_bit_7 +4086096*N1019AC2_bit_6 +8172192*N1019AC2_bit_5 +16344384*N1019AC2_bit_4 +32688768*N1019AC2_bit_3 +65377536*N1019AC2_bit_2 +130755072*N1019AC2_bit_1 +261510144*N1019AC2_bit0 +523020288*N1019AC2_bit1 +1046040576*N1019AC2_bit2 +214431*N1019AC4_bit_10 +428862*N1019AC4_bit_9 +857724*N1019AC4_bit_8 +1715448*N1019AC4_bit_7 +3430896*N1019AC4_bit_6 +6861792*N1019AC4_bit_5 +13723584*N1019AC4_bit_4 +27447168*N1019AC4_bit_3 +54894336*N1019AC4_bit_2 +109788672*N1019AC4_bit_1 +219577344*N1019AC4_bit0 +439154688*N1019AC4_bit1 +312679*N1021AC1_bit_10 +625358*N1021AC1_bit_9 +1250716*N1021AC1_bit_8 +2501432*N1021AC1_bit_7 +5002864*N1021AC1_bit_6 +10005728*N1021AC1_bit_5 +20011456*N1021AC1_bit_4 +40022912*N1021AC1_bit_3 +80045824*N1021AC1_bit_2 +160091648*N1021AC1_bit_1 +320183296*N1021AC1_bit0 +640366592*N1021AC1_bit1 +1280733184*N1021AC1_bit2 +118965*N1021AC2_bit_10 +237930*N1021AC2_bit_9 +475860*N1021AC2_bit_8 +951720*N1021AC2_bit_7 +1903440*N1021AC2_bit_6 +3806880*N1021AC2_bit_5 +7613760*N1021AC2_bit_4 +15227520*N1021AC2_bit_3 +30455040*N1021AC2_bit_2 +60910080*N1021AC2_bit_1 +121820160*N1021AC2_bit0 +243640320*N1021AC2_bit1 +487280640*N1021AC2_bit2 +142472*N1021AC3_bit_10 +284944*N1021AC3_bit_9 +569888*N1021AC3_bit_8 +1139776*N1021AC3_bit_7 +2279552*N1021AC3_bit_6 +4559104*N1021AC3_bit_5 +9118208*N1021AC3_bit_4 +18236416*N1021AC3_bit_3 +36472832*N1021AC3_bit_2 +72945664*N1021AC3_bit_1 +145891328*N1021AC3_bit0 +291782656*N1021AC3_bit1 +100030*N1021AC4_bit_10 +200060*N1021AC4_bit_9 +400120*N1021AC4_bit_8 +800240*N1021AC4_bit_7 +1600480*N1021AC4_bit_6 +3200960*N1021AC4_bit_5 +6401920*N1021AC4_bit_4 +12803840*N1021AC4_bit_3 +25607680*N1021AC4_bit_2 +51215360*N1021AC4_bit_1 +102430720*N1021AC4_bit0 +204861440*N1021AC4_bit1 +312679*N1002AC1_bit_10 +625358*N1002AC1_bit_9 +1250716*N1002AC1_bit_8 +2501432*N1002AC1_bit_7 +5002864*N1002AC1_bit_6 +10005728*N1002AC1_bit_5 +20011456*N1002AC1_bit_4 +40022912*N1002AC1_bit_3 +80045824*N1002AC1_bit_2 +160091648*N1002AC1_bit_1 +320183296*N1002AC1_bit0 +640366592*N1002AC1_bit1 +1280733184*N1002AC1_bit2 +118965*N1002AC2_bit_10 +237930*N1002AC2_bit_9 +475860*N1002AC2_bit_8 +951720*N1002AC2_bit_7 +1903440*N1002AC2_bit_6 +3806880*N1002AC2_bit_5 +7613760*N1002AC2_bit_4 +15227520*N1002AC2_bit_3 +30455040*N1002AC2_bit_2 +60910080*N1002AC2_bit_1 +121820160*N1002AC2_bit0 +243640320*N1002AC2_bit1 +487280640*N1002AC2_bit2 +142472*N1002AC3_bit_10 +284944*N1002AC3_bit_9 +569888*N1002AC3_bit_8 +1139776*N1002AC3_bit_7 +2279552*N1002AC3_bit_6 +4559104*N1002AC3_bit_5 +9118208*N1002AC3_bit_4 +18236416*N1002AC3_bit_3 +36472832*N1002AC3_bit_2 +72945664*N1002AC3_bit_1 +145891328*N1002AC3_bit0 +291782656*N1002AC3_bit1 +100030*N1002AC4_bit_10 +200060*N1002AC4_bit_9 +400120*N1002AC4_bit_8 +800240*N1002AC4_bit_7 +1600480*N1002AC4_bit_6 +3200960*N1002AC4_bit_5 +6401920*N1002AC4_bit_4 +12803840*N1002AC4_bit_3 +25607680*N1002AC4_bit_2 +51215360*N1002AC4_bit_1 +102430720*N1002AC4_bit0 +204861440*N1002AC4_bit1 +164736*N1004AC2_bit_10 +329472*N1004AC2_bit_9 +658944*N1004AC2_bit_8 +1317888*N1004AC2_bit_7 +2635776*N1004AC2_bit_6 +5271552*N1004AC2_bit_5 +10543104*N1004AC2_bit_4 +21086208*N1004AC2_bit_3 +42172416*N1004AC2_bit_2 +84344832*N1004AC2_bit_1 +168689664*N1004AC2_bit0 +337379328*N1004AC2_bit1 +674758656*N1004AC2_bit2 +133312*N1004AC4_bit_10 +266624*N1004AC4_bit_9 +533248*N1004AC4_bit_8 +1066496*N1004AC4_bit_7 +2132992*N1004AC4_bit_6 +4265984*N1004AC4_bit_5 +8531968*N1004AC4_bit_4 +17063936*N1004AC4_bit_3 +34127872*N1004AC4_bit_2 +68255744*N1004AC4_bit_1 +136511488*N1004AC4_bit0 +273022976*N1004AC4_bit1 +717016*N1006AC1_bit_10 +1434032*N1006AC1_bit_9 +2868064*N1006AC1_bit_8 +5736128*N1006AC1_bit_7 +11472256*N1006AC1_bit_6 +22944512*N1006AC1_bit_5 +45889024*N1006AC1_bit_4 +91778048*N1006AC1_bit_3 +183556096*N1006AC1_bit_2 +367112192*N1006AC1_bit_1 +734224384*N1006AC1_bit0 +1468448768*N1006AC1_bit1 +2936897536*N1006AC1_bit2 +279929*N1006AC2_bit_10 +559858*N1006AC2_bit_9 +1119716*N1006AC2_bit_8 +2239432*N1006AC2_bit_7 +4478864*N1006AC2_bit_6 +8957728*N1006AC2_bit_5 +17915456*N1006AC2_bit_4 +35830912*N1006AC2_bit_3 +71661824*N1006AC2_bit_2 +143323648*N1006AC2_bit_1 +286647296*N1006AC2_bit0 +573294592*N1006AC2_bit1 +1146589184*N1006AC2_bit2 +335591*N1006AC3_bit_10 +671182*N1006AC3_bit_9 +1342364*N1006AC3_bit_8 +2684728*N1006AC3_bit_7 +5369456*N1006AC3_bit_6 +10738912*N1006AC3_bit_5 +21477824*N1006AC3_bit_4 +42955648*N1006AC3_bit_3 +85911296*N1006AC3_bit_2 +171822592*N1006AC3_bit_1 +343645184*N1006AC3_bit0 +687290368*N1006AC3_bit1 +234647*N1006AC4_bit_10 +469294*N1006AC4_bit_9 +938588*N1006AC4_bit_8 +1877176*N1006AC4_bit_7 +3754352*N1006AC4_bit_6 +7508704*N1006AC4_bit_5 +15017408*N1006AC4_bit_4 +30034816*N1006AC4_bit_3 +60069632*N1006AC4_bit_2 +120139264*N1006AC4_bit_1 +240278528*N1006AC4_bit0 +480557056*N1006AC4_bit1 +236783*N1008AC2_bit_10 +473566*N1008AC2_bit_9 +947132*N1008AC2_bit_8 +1894264*N1008AC2_bit_7 +3788528*N1008AC2_bit_6 +7577056*N1008AC2_bit_5 +15154112*N1008AC2_bit_4 +30308224*N1008AC2_bit_3 +60616448*N1008AC2_bit_2 +121232896*N1008AC2_bit_1 +242465792*N1008AC2_bit0 +484931584*N1008AC2_bit1 +969863168*N1008AC2_bit2 +1939726336*N1008AC2_bit3 +190292*N1008AC4_bit_10 +380584*N1008AC4_bit_9 +761168*N1008AC4_bit_8 +1522336*N1008AC4_bit_7 +3044672*N1008AC4_bit_6 +6089344*N1008AC4_bit_5 +12178688*N1008AC4_bit_4 +24357376*N1008AC4_bit_3 +48714752*N1008AC4_bit_2 +97429504*N1008AC4_bit_1 +194859008*N1008AC4_bit0 +389718016*N1008AC4_bit1 +327428*N1010AC2_bit_10 +654856*N1010AC2_bit_9 +1309712*N1010AC2_bit_8 +2619424*N1010AC2_bit_7 +5238848*N1010AC2_bit_6 +10477696*N1010AC2_bit_5 +20955392*N1010AC2_bit_4 +41910784*N1010AC2_bit_3 +83821568*N1010AC2_bit_2 +167643136*N1010AC2_bit_1 +335286272*N1010AC2_bit0 +670572544*N1010AC2_bit1 +1341145088*N1010AC2_bit2 +2682290176*N1010AC2_bit3 +271411*N1010AC4_bit_10 +542822*N1010AC4_bit_9 +1085644*N1010AC4_bit_8 +2171288*N1010AC4_bit_7 +4342576*N1010AC4_bit_6 +8685152*N1010AC4_bit_5 +17370304*N1010AC4_bit_4 +34740608*N1010AC4_bit_3 +69481216*N1010AC4_bit_2 +138962432*N1010AC4_bit_1 +277924864*N1010AC4_bit0 +555849728*N1010AC4_bit1 +136416*N1012AC2_bit_10 +272832*N1012AC2_bit_9 +545664*N1012AC2_bit_8 +1091328*N1012AC2_bit_7 +2182656*N1012AC2_bit_6 +4365312*N1012AC2_bit_5 +8730624*N1012AC2_bit_4 +17461248*N1012AC2_bit_3 +34922496*N1012AC2_bit_2 +69844992*N1012AC2_bit_1 +139689984*N1012AC2_bit0 +279379968*N1012AC2_bit1 +558759936*N1012AC2_bit2 +114401*N1012AC4_bit_10 +228802*N1012AC4_bit_9 +457604*N1012AC4_bit_8 +915208*N1012AC4_bit_7 +1830416*N1012AC4_bit_6 +3660832*N1012AC4_bit_5 +7321664*N1012AC4_bit_4 +14643328*N1012AC4_bit_3 +29286656*N1012AC4_bit_2 +58573312*N1012AC4_bit_1 +117146624*N1012AC4_bit0 +234293248*N1012AC4_bit1 +208463*N1014AC2_bit_10 +416926*N1014AC2_bit_9 +833852*N1014AC2_bit_8 +1667704*N1014AC2_bit_7 +3335408*N1014AC2_bit_6 +6670816*N1014AC2_bit_5 +13341632*N1014AC2_bit_4 +26683264*N1014AC2_bit_3 +53366528*N1014AC2_bit_2 +106733056*N1014AC2_bit_1 +213466112*N1014AC2_bit0 +426932224*N1014AC2_bit1 +853864448*N1014AC2_bit2 +1707728896*N1014AC2_bit3 +171382*N1014AC4_bit_10 +342764*N1014AC4_bit_9 +685528*N1014AC4_bit_8 +1371056*N1014AC4_bit_7 +2742112*N1014AC4_bit_6 +5484224*N1014AC4_bit_5 +10968448*N1014AC4_bit_4 +21936896*N1014AC4_bit_3 +43873792*N1014AC4_bit_2 +87747584*N1014AC4_bit_1 +175495168*N1014AC4_bit0 +350990336*N1014AC4_bit1 +607357*N1100AC2_bit_10 +1214714*N1100AC2_bit_9 +2429428*N1100AC2_bit_8 +4858856*N1100AC2_bit_7 +9717712*N1100AC2_bit_6 +19435424*N1100AC2_bit_5 +38870848*N1100AC2_bit_4 +77741696*N1100AC2_bit_3 +155483392*N1100AC2_bit_2 +310966784*N1100AC2_bit_1 +621933568*N1100AC2_bit0 +1243867136*N1100AC2_bit1 +2487734272*N1100AC2_bit2 +506059*N1100AC4_bit_10 +1012118*N1100AC4_bit_9 +2024236*N1100AC4_bit_8 +4048472*N1100AC4_bit_7 +8096944*N1100AC4_bit_6 +16193888*N1100AC4_bit_5 +32387776*N1100AC4_bit_4 +64775552*N1100AC4_bit_3 +129551104*N1100AC4_bit_2 +259102208*N1100AC4_bit_1 +518204416*N1100AC4_bit0 +1036408832*N1100AC4_bit1 +2072817664*N1100AC4_bit2 +516712*N1102AC2_bit_10 +1033424*N1102AC2_bit_9 +2066848*N1102AC2_bit_8 +4133696*N1102AC2_bit_7 +8267392*N1102AC2_bit_6 +16534784*N1102AC2_bit_5 +33069568*N1102AC2_bit_4 +66139136*N1102AC2_bit_3 +132278272*N1102AC2_bit_2 +264556544*N1102AC2_bit_1 +529113088*N1102AC2_bit0 +1058226176*N1102AC2_bit1 +2116452352*N1102AC2_bit2 +424939*N1102AC4_bit_10 +849878*N1102AC4_bit_9 +1699756*N1102AC4_bit_8 +3399512*N1102AC4_bit_7 +6799024*N1102AC4_bit_6 +13598048*N1102AC4_bit_5 +27196096*N1102AC4_bit_4 +54392192*N1102AC4_bit_3 +108784384*N1102AC4_bit_2 +217568768*N1102AC4_bit_1 +435137536*N1102AC4_bit0 +870275072*N1102AC4_bit1 +1740550144*N1102AC4_bit2 +72047*N1200AC2_bit_10 +144094*N1200AC2_bit_9 +288188*N1200AC2_bit_8 +576376*N1200AC2_bit_7 +1152752*N1200AC2_bit_6 +2305504*N1200AC2_bit_5 +4611008*N1200AC2_bit_4 +9222016*N1200AC2_bit_3 +18444032*N1200AC2_bit_2 +36888064*N1200AC2_bit_1 +73776128*N1200AC2_bit0 +147552256*N1200AC2_bit1 +295104512*N1200AC2_bit2 +590209024*N1200AC2_bit3 +56980*N1200AC4_bit_10 +113960*N1200AC4_bit_9 +227920*N1200AC4_bit_8 +455840*N1200AC4_bit_7 +911680*N1200AC4_bit_6 +1823360*N1200AC4_bit_5 +3646720*N1200AC4_bit_4 +7293440*N1200AC4_bit_3 +14586880*N1200AC4_bit_2 +29173760*N1200AC4_bit_1 +58347520*N1200AC4_bit0 +116695040*N1200AC4_bit1 +233390080*N1200AC4_bit2 +72047*N1201AC2_bit_10 +144094*N1201AC2_bit_9 +288188*N1201AC2_bit_8 +576376*N1201AC2_bit_7 +1152752*N1201AC2_bit_6 +2305504*N1201AC2_bit_5 +4611008*N1201AC2_bit_4 +9222016*N1201AC2_bit_3 +18444032*N1201AC2_bit_2 +36888064*N1201AC2_bit_1 +73776128*N1201AC2_bit0 +147552256*N1201AC2_bit1 +295104512*N1201AC2_bit2 +590209024*N1201AC2_bit3 +56980*N1201AC4_bit_10 +113960*N1201AC4_bit_9 +227920*N1201AC4_bit_8 +455840*N1201AC4_bit_7 +911680*N1201AC4_bit_6 +1823360*N1201AC4_bit_5 +3646720*N1201AC4_bit_4 +7293440*N1201AC4_bit_3 +14586880*N1201AC4_bit_2 +29173760*N1201AC4_bit_1 +58347520*N1201AC4_bit0 +116695040*N1201AC4_bit1 +233390080*N1201AC4_bit2 >= -634572800; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-boeing2.opb s UNKNOWN c Exit Code: 0 c Total time: 1.76 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.80 0.92 0.89 1/54 8114 Raw data (stat): 8114 (runsolver) R 8113 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907116338 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+1.79301 s] Raw data (loadavg): 0.80 0.92 0.89 1/53 8114 Raw data (stat): 8114 (runsolver) R 8113 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907116338 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): 1.79237 CPU time (s): 1.76973 CPU user time (s): 1.69374 CPU system time (s): 0.075988 CPU usage (%): 98.7366 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####