Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-boeing1.opb |
MD5SUM | 7ae4c97a388259c0ddda3873687850bc |
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 | 4547 |
Biggest coefficient in the objective function | 23959961600 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 1807332483042 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 4006525009920 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 406053252625055 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.055991 |
Number of variables | 6121 |
Total number of constraints | 593 |
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 | 593 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 4759 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-08 03:53:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28242 boxname=wulflinc4 idbench=1198 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 7ae4c97a388259c0ddda3873687850bc /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-boeing1.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-boeing1.opb IDLAUNCH: 28242 /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: 889164 kB Buffers: 6892 kB Cached: 117280 kB SwapCached: 880 kB Active: 23688 kB Inactive: 102520 kB HighTotal: 131008 kB HighFree: 15652 kB LowTotal: 903652 kB LowFree: 873512 kB SwapTotal: 2097136 kB SwapFree: 2095200 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4912 kB Slab: 13656 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 03:53:41 (client local time) WITH STATUS 0 IN 3.50347 SECONDS stats: 28242 7 3.50347 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +45700*GRDTIMO1_bit_7 +91400*GRDTIMO1_bit_6 +182800*GRDTIMO1_bit_5 +365600*GRDTIMO1_bit_4 +731200*GRDTIMO1_bit_3 +1462400*GRDTIMO1_bit_2 +2924800*GRDTIMO1_bit_1 +5849600*GRDTIMO1_bit0 +11699200*GRDTIMO1_bit1 +23398400*GRDTIMO1_bit2 +46796800*GRDTIMO1_bit3 +93593600*GRDTIMO1_bit4 +187187200*GRDTIMO1_bit5 +374374400*GRDTIMO1_bit6 +748748800*GRDTIMO1_bit7 +1497497600*GRDTIMO1_bit8 +2994995200*GRDTIMO1_bit9 +5989990400*GRDTIMO1_bit10 +11979980800*GRDTIMO1_bit11 +23959961600*GRDTIMO1_bit12 -13333*GRDTIMN1_bit_7 -26666*GRDTIMN1_bit_6 -53332*GRDTIMN1_bit_5 -106664*GRDTIMN1_bit_4 -213328*GRDTIMN1_bit_3 -426656*GRDTIMN1_bit_2 -853312*GRDTIMN1_bit_1 -1706624*GRDTIMN1_bit0 -3413248*GRDTIMN1_bit1 -6826496*GRDTIMN1_bit2 -13652992*GRDTIMN1_bit3 -27305984*GRDTIMN1_bit4 -54611968*GRDTIMN1_bit5 -109223936*GRDTIMN1_bit6 +31800*GRDTIMO2_bit_7 +63600*GRDTIMO2_bit_6 +127200*GRDTIMO2_bit_5 +254400*GRDTIMO2_bit_4 +508800*GRDTIMO2_bit_3 +1017600*GRDTIMO2_bit_2 +2035200*GRDTIMO2_bit_1 +4070400*GRDTIMO2_bit0 +8140800*GRDTIMO2_bit1 +16281600*GRDTIMO2_bit2 +32563200*GRDTIMO2_bit3 +65126400*GRDTIMO2_bit4 +130252800*GRDTIMO2_bit5 +260505600*GRDTIMO2_bit6 +521011200*GRDTIMO2_bit7 +1042022400*GRDTIMO2_bit8 +2084044800*GRDTIMO2_bit9 +4168089600*GRDTIMO2_bit10 +8336179200*GRDTIMO2_bit11 +16672358400*GRDTIMO2_bit12 -10692*GRDTIMN2_bit_7 -21384*GRDTIMN2_bit_6 -42768*GRDTIMN2_bit_5 -85536*GRDTIMN2_bit_4 -171072*GRDTIMN2_bit_3 -342144*GRDTIMN2_bit_2 -684288*GRDTIMN2_bit_1 -1368576*GRDTIMN2_bit0 -2737152*GRDTIMN2_bit1 -5474304*GRDTIMN2_bit2 -10948608*GRDTIMN2_bit3 -21897216*GRDTIMN2_bit4 -43794432*GRDTIMN2_bit5 -87588864*GRDTIMN2_bit6 +20600*GRDTIMO3_bit_7 +41200*GRDTIMO3_bit_6 +82400*GRDTIMO3_bit_5 +164800*GRDTIMO3_bit_4 +329600*GRDTIMO3_bit_3 +659200*GRDTIMO3_bit_2 +1318400*GRDTIMO3_bit_1 +2636800*GRDTIMO3_bit0 +5273600*GRDTIMO3_bit1 +10547200*GRDTIMO3_bit2 +21094400*GRDTIMO3_bit3 +42188800*GRDTIMO3_bit4 +84377600*GRDTIMO3_bit5 +168755200*GRDTIMO3_bit6 +337510400*GRDTIMO3_bit7 +675020800*GRDTIMO3_bit8 +1350041600*GRDTIMO3_bit9 +2700083200*GRDTIMO3_bit10 +5400166400*GRDTIMO3_bit11 +10800332800*GRDTIMO3_bit12 +25000*GRDTIMO4_bit_7 +50000*GRDTIMO4_bit_6 +100000*GRDTIMO4_bit_5 +200000*GRDTIMO4_bit_4 +400000*GRDTIMO4_bit_3 +800000*GRDTIMO4_bit_2 +1600000*GRDTIMO4_bit_1 +3200000*GRDTIMO4_bit0 +6400000*GRDTIMO4_bit1 +12800000*GRDTIMO4_bit2 +25600000*GRDTIMO4_bit3 +51200000*GRDTIMO4_bit4 +102400000*GRDTIMO4_bit5 +204800000*GRDTIMO4_bit6 +409600000*GRDTIMO4_bit7 +819200000*GRDTIMO4_bit8 +1638400000*GRDTIMO4_bit9 +3276800000*GRDTIMO4_bit10 +6553600000*GRDTIMO4_bit11 +13107200000*GRDTIMO4_bit12 +16300*GRDTIMO5_bit_7 +32600*GRDTIMO5_bit_6 +65200*GRDTIMO5_bit_5 +130400*GRDTIMO5_bit_4 +260800*GRDTIMO5_bit_3 +521600*GRDTIMO5_bit_2 +1043200*GRDTIMO5_bit_1 +2086400*GRDTIMO5_bit0 +4172800*GRDTIMO5_bit1 +8345600*GRDTIMO5_bit2 +16691200*GRDTIMO5_bit3 +33382400*GRDTIMO5_bit4 +66764800*GRDTIMO5_bit5 +133529600*GRDTIMO5_bit6 +267059200*GRDTIMO5_bit7 +534118400*GRDTIMO5_bit8 +1068236800*GRDTIMO5_bit9 +2136473600*GRDTIMO5_bit10 +4272947200*GRDTIMO5_bit11 +8545894400*GRDTIMO5_bit12 +1400620*N1001AC1_bit_7 +2801240*N1001AC1_bit_6 +5602480*N1001AC1_bit_5 +11204960*N1001AC1_bit_4 +22409920*N1001AC1_bit_3 +44819840*N1001AC1_bit_2 +89639680*N1001AC1_bit_1 +179279360*N1001AC1_bit0 +358558720*N1001AC1_bit1 +1044277*N1001AC2_bit_7 +2088554*N1001AC2_bit_6 +4177108*N1001AC2_bit_5 +8354216*N1001AC2_bit_4 +16708432*N1001AC2_bit_3 +33416864*N1001AC2_bit_2 +66833728*N1001AC2_bit_1 +133667456*N1001AC2_bit0 +267334912*N1001AC2_bit1 +765023*N1001AC3_bit_7 +1530046*N1001AC3_bit_6 +3060092*N1001AC3_bit_5 +6120184*N1001AC3_bit_4 +12240368*N1001AC3_bit_3 +24480736*N1001AC3_bit_2 +48961472*N1001AC3_bit_1 +97922944*N1001AC3_bit0 +195845888*N1001AC3_bit1 +1689049*N1002AC1_bit_7 +3378098*N1002AC1_bit_6 +6756196*N1002AC1_bit_5 +13512392*N1002AC1_bit_4 +27024784*N1002AC1_bit_3 +54049568*N1002AC1_bit_2 +108099136*N1002AC1_bit_1 +216198272*N1002AC1_bit0 +432396544*N1002AC1_bit1 +1239107*N1002AC2_bit_7 +2478214*N1002AC2_bit_6 +4956428*N1002AC2_bit_5 +9912856*N1002AC2_bit_4 +19825712*N1002AC2_bit_3 +39651424*N1002AC2_bit_2 +79302848*N1002AC2_bit_1 +158605696*N1002AC2_bit0 +317211392*N1002AC2_bit1 +897425*N1002AC3_bit_7 +1794850*N1002AC3_bit_6 +3589700*N1002AC3_bit_5 +7179400*N1002AC3_bit_4 +14358800*N1002AC3_bit_3 +28717600*N1002AC3_bit_2 +57435200*N1002AC3_bit_1 +114870400*N1002AC3_bit0 +229740800*N1002AC3_bit1 +1346672*N1003AC1_bit_7 +2693344*N1003AC1_bit_6 +5386688*N1003AC1_bit_5 +10773376*N1003AC1_bit_4 +21546752*N1003AC1_bit_3 +43093504*N1003AC1_bit_2 +86187008*N1003AC1_bit_1 +172374016*N1003AC1_bit0 +344748032*N1003AC1_bit1 +689496064*N1003AC1_bit2 +1003075*N1003AC2_bit_7 +2006150*N1003AC2_bit_6 +4012300*N1003AC2_bit_5 +8024600*N1003AC2_bit_4 +16049200*N1003AC2_bit_3 +32098400*N1003AC2_bit_2 +64196800*N1003AC2_bit_1 +128393600*N1003AC2_bit0 +256787200*N1003AC2_bit1 +513574400*N1003AC2_bit2 +734337*N1003AC3_bit_7 +1468674*N1003AC3_bit_6 +2937348*N1003AC3_bit_5 +5874696*N1003AC3_bit_4 +11749392*N1003AC3_bit_3 +23498784*N1003AC3_bit_2 +46997568*N1003AC3_bit_1 +93995136*N1003AC3_bit0 +187990272*N1003AC3_bit1 +375980544*N1003AC3_bit2 +1727667*N1004AC1_bit_7 +3455334*N1004AC1_bit_6 +6910668*N1004AC1_bit_5 +13821336*N1004AC1_bit_4 +27642672*N1004AC1_bit_3 +55285344*N1004AC1_bit_2 +110570688*N1004AC1_bit_1 +221141376*N1004AC1_bit0 +442282752*N1004AC1_bit1 +884565504*N1004AC1_bit2 +1268603*N1004AC2_bit_7 +2537206*N1004AC2_bit_6 +5074412*N1004AC2_bit_5 +10148824*N1004AC2_bit_4 +20297648*N1004AC2_bit_3 +40595296*N1004AC2_bit_2 +81190592*N1004AC2_bit_1 +162381184*N1004AC2_bit0 +324762368*N1004AC2_bit1 +649524736*N1004AC2_bit2 +919391*N1004AC3_bit_7 +1838782*N1004AC3_bit_6 +3677564*N1004AC3_bit_5 +7355128*N1004AC3_bit_4 +14710256*N1004AC3_bit_3 +29420512*N1004AC3_bit_2 +58841024*N1004AC3_bit_1 +117682048*N1004AC3_bit0 +235364096*N1004AC3_bit1 +470728192*N1004AC3_bit2 +917770*N1005AC3_bit_7 +1835540*N1005AC3_bit_6 +3671080*N1005AC3_bit_5 +7342160*N1005AC3_bit_4 +14684320*N1005AC3_bit_3 +29368640*N1005AC3_bit_2 +58737280*N1005AC3_bit_1 +117474560*N1005AC3_bit0 +234949120*N1005AC3_bit1 +919396*N1105AC3_bit_7 +1838792*N1105AC3_bit_6 +3677584*N1105AC3_bit_5 +7355168*N1105AC3_bit_4 +14710336*N1105AC3_bit_3 +29420672*N1105AC3_bit_2 +58841344*N1105AC3_bit_1 +117682688*N1105AC3_bit0 +936510*N1006AC3_bit_7 +1873020*N1006AC3_bit_6 +3746040*N1006AC3_bit_5 +7492080*N1006AC3_bit_4 +14984160*N1006AC3_bit_3 +29968320*N1006AC3_bit_2 +59936640*N1006AC3_bit_1 +119873280*N1006AC3_bit0 +239746560*N1006AC3_bit1 +2719154*N1007AC1_bit_7 +5438308*N1007AC1_bit_6 +10876616*N1007AC1_bit_5 +21753232*N1007AC1_bit_4 +43506464*N1007AC1_bit_3 +87012928*N1007AC1_bit_2 +174025856*N1007AC1_bit_1 +348051712*N1007AC1_bit0 +696103424*N1007AC1_bit1 +2025861*N1007AC2_bit_7 +4051722*N1007AC2_bit_6 +8103444*N1007AC2_bit_5 +16206888*N1007AC2_bit_4 +32413776*N1007AC2_bit_3 +64827552*N1007AC2_bit_2 +129655104*N1007AC2_bit_1 +259310208*N1007AC2_bit0 +518620416*N1007AC2_bit1 +1483356*N1007AC3_bit_7 +2966712*N1007AC3_bit_6 +5933424*N1007AC3_bit_5 +11866848*N1007AC3_bit_4 +23733696*N1007AC3_bit_3 +47467392*N1007AC3_bit_2 +94934784*N1007AC3_bit_1 +189869568*N1007AC3_bit0 +379739136*N1007AC3_bit1 +1199082*N1008AC1_bit_7 +2398164*N1008AC1_bit_6 +4796328*N1008AC1_bit_5 +9592656*N1008AC1_bit_4 +19185312*N1008AC1_bit_3 +38370624*N1008AC1_bit_2 +76741248*N1008AC1_bit_1 +153482496*N1008AC1_bit0 +306964992*N1008AC1_bit1 +613929984*N1008AC1_bit2 +839427*N1008AC2_bit_7 +1678854*N1008AC2_bit_6 +3357708*N1008AC2_bit_5 +6715416*N1008AC2_bit_4 +13430832*N1008AC2_bit_3 +26861664*N1008AC2_bit_2 +53723328*N1008AC2_bit_1 +107446656*N1008AC2_bit0 +214893312*N1008AC2_bit1 +429786624*N1008AC2_bit2 +587068*N1008AC3_bit_7 +1174136*N1008AC3_bit_6 +2348272*N1008AC3_bit_5 +4696544*N1008AC3_bit_4 +9393088*N1008AC3_bit_3 +18786176*N1008AC3_bit_2 +37572352*N1008AC3_bit_1 +75144704*N1008AC3_bit0 +150289408*N1008AC3_bit1 +300578816*N1008AC3_bit2 +399147*N1008AC4_bit_7 +798294*N1008AC4_bit_6 +1596588*N1008AC4_bit_5 +3193176*N1008AC4_bit_4 +6386352*N1008AC4_bit_3 +12772704*N1008AC4_bit_2 +25545408*N1008AC4_bit_1 +51090816*N1008AC4_bit0 +102181632*N1008AC4_bit1 +204363264*N1008AC4_bit2 +441133*N1008AC5_bit_7 +882266*N1008AC5_bit_6 +1764532*N1008AC5_bit_5 +3529064*N1008AC5_bit_4 +7058128*N1008AC5_bit_3 +14116256*N1008AC5_bit_2 +28232512*N1008AC5_bit_1 +56465024*N1008AC5_bit0 +112930048*N1008AC5_bit1 +225860096*N1008AC5_bit2 +343737*N1008AC6_bit_7 +687474*N1008AC6_bit_6 +1374948*N1008AC6_bit_5 +2749896*N1008AC6_bit_4 +5499792*N1008AC6_bit_3 +10999584*N1008AC6_bit_2 +21999168*N1008AC6_bit_1 +43998336*N1008AC6_bit0 +87996672*N1008AC6_bit1 +175993344*N1008AC6_bit2 +938535*N1009AC1_bit_7 +1877070*N1009AC1_bit_6 +3754140*N1009AC1_bit_5 +7508280*N1009AC1_bit_4 +15016560*N1009AC1_bit_3 +30033120*N1009AC1_bit_2 +60066240*N1009AC1_bit_1 +120132480*N1009AC1_bit0 +240264960*N1009AC1_bit1 +480529920*N1009AC1_bit2 +665893*N1009AC2_bit_7 +1331786*N1009AC2_bit_6 +2663572*N1009AC2_bit_5 +5327144*N1009AC2_bit_4 +10654288*N1009AC2_bit_3 +21308576*N1009AC2_bit_2 +42617152*N1009AC2_bit_1 +85234304*N1009AC2_bit0 +170468608*N1009AC2_bit1 +340937216*N1009AC2_bit2 +470526*N1009AC3_bit_7 +941052*N1009AC3_bit_6 +1882104*N1009AC3_bit_5 +3764208*N1009AC3_bit_4 +7528416*N1009AC3_bit_3 +15056832*N1009AC3_bit_2 +30113664*N1009AC3_bit_1 +60227328*N1009AC3_bit0 +120454656*N1009AC3_bit1 +240909312*N1009AC3_bit2 +327055*N1009AC4_bit_7 +654110*N1009AC4_bit_6 +1308220*N1009AC4_bit_5 +2616440*N1009AC4_bit_4 +5232880*N1009AC4_bit_3 +10465760*N1009AC4_bit_2 +20931520*N1009AC4_bit_1 +41863040*N1009AC4_bit0 +83726080*N1009AC4_bit1 +167452160*N1009AC4_bit2 +358556*N1009AC5_bit_7 +717112*N1009AC5_bit_6 +1434224*N1009AC5_bit_5 +2868448*N1009AC5_bit_4 +5736896*N1009AC5_bit_3 +11473792*N1009AC5_bit_2 +22947584*N1009AC5_bit_1 +45895168*N1009AC5_bit0 +91790336*N1009AC5_bit1 +183580672*N1009AC5_bit2 +288430*N1010AC1_bit_7 +576860*N1010AC1_bit_6 +1153720*N1010AC1_bit_5 +2307440*N1010AC1_bit_4 +4614880*N1010AC1_bit_3 +9229760*N1010AC1_bit_2 +18459520*N1010AC1_bit_1 +36919040*N1010AC1_bit0 +73838080*N1010AC1_bit1 +147676160*N1010AC1_bit2 +194830*N1010AC2_bit_7 +389660*N1010AC2_bit_6 +779320*N1010AC2_bit_5 +1558640*N1010AC2_bit_4 +3117280*N1010AC2_bit_3 +6234560*N1010AC2_bit_2 +12469120*N1010AC2_bit_1 +24938240*N1010AC2_bit0 +49876480*N1010AC2_bit1 +99752960*N1010AC2_bit2 +132401*N1010AC3_bit_7 +264802*N1010AC3_bit_6 +529604*N1010AC3_bit_5 +1059208*N1010AC3_bit_4 +2118416*N1010AC3_bit_3 +4236832*N1010AC3_bit_2 +8473664*N1010AC3_bit_1 +16947328*N1010AC3_bit0 +33894656*N1010AC3_bit1 +67789312*N1010AC3_bit2 +84307*N1010AC4_bit_7 +168614*N1010AC4_bit_6 +337228*N1010AC4_bit_5 +674456*N1010AC4_bit_4 +1348912*N1010AC4_bit_3 +2697824*N1010AC4_bit_2 +5395648*N1010AC4_bit_1 +10791296*N1010AC4_bit0 +21582592*N1010AC4_bit1 +43165184*N1010AC4_bit2 +95496*N1010AC5_bit_7 +190992*N1010AC5_bit_6 +381984*N1010AC5_bit_5 +763968*N1010AC5_bit_4 +1527936*N1010AC5_bit_3 +3055872*N1010AC5_bit_2 +6111744*N1010AC5_bit_1 +12223488*N1010AC5_bit0 +24446976*N1010AC5_bit1 +48893952*N1010AC5_bit2 +67624*N1010AC6_bit_7 +135248*N1010AC6_bit_6 +270496*N1010AC6_bit_5 +540992*N1010AC6_bit_4 +1081984*N1010AC6_bit_3 +2163968*N1010AC6_bit_2 +4327936*N1010AC6_bit_1 +8655872*N1010AC6_bit0 +17311744*N1010AC6_bit1 +34623488*N1010AC6_bit2 +910651*N1011AC1_bit_7 +1821302*N1011AC1_bit_6 +3642604*N1011AC1_bit_5 +7285208*N1011AC1_bit_4 +14570416*N1011AC1_bit_3 +29140832*N1011AC1_bit_2 +58281664*N1011AC1_bit_1 +116563328*N1011AC1_bit0 +233126656*N1011AC1_bit1 +466253312*N1011AC1_bit2 +644597*N1011AC2_bit_7 +1289194*N1011AC2_bit_6 +2578388*N1011AC2_bit_5 +5156776*N1011AC2_bit_4 +10313552*N1011AC2_bit_3 +20627104*N1011AC2_bit_2 +41254208*N1011AC2_bit_1 +82508416*N1011AC2_bit0 +165016832*N1011AC2_bit1 +330033664*N1011AC2_bit2 +454666*N1011AC3_bit_7 +909332*N1011AC3_bit_6 +1818664*N1011AC3_bit_5 +3637328*N1011AC3_bit_4 +7274656*N1011AC3_bit_3 +14549312*N1011AC3_bit_2 +29098624*N1011AC3_bit_1 +58197248*N1011AC3_bit0 +116394496*N1011AC3_bit1 +232788992*N1011AC3_bit2 +314840*N1011AC4_bit_7 +629680*N1011AC4_bit_6 +1259360*N1011AC4_bit_5 +2518720*N1011AC4_bit_4 +5037440*N1011AC4_bit_3 +10074880*N1011AC4_bit_2 +20149760*N1011AC4_bit_1 +40299520*N1011AC4_bit0 +80599040*N1011AC4_bit1 +161198080*N1011AC4_bit2 +345638*N1011AC5_bit_7 +691276*N1011AC5_bit_6 +1382552*N1011AC5_bit_5 +2765104*N1011AC5_bit_4 +5530208*N1011AC5_bit_3 +11060416*N1011AC5_bit_2 +22120832*N1011AC5_bit_1 +44241664*N1011AC5_bit0 +88483328*N1011AC5_bit1 +176966656*N1011AC5_bit2 +276114*N1011AC6_bit_7 +552228*N1011AC6_bit_6 +1104456*N1011AC6_bit_5 +2208912*N1011AC6_bit_4 +4417824*N1011AC6_bit_3 +8835648*N1011AC6_bit_2 +17671296*N1011AC6_bit_1 +35342592*N1011AC6_bit0 +70685184*N1011AC6_bit1 +141370368*N1011AC6_bit2 +650105*N1012AC1_bit_7 +1300210*N1012AC1_bit_6 +2600420*N1012AC1_bit_5 +5200840*N1012AC1_bit_4 +10401680*N1012AC1_bit_3 +20803360*N1012AC1_bit_2 +41606720*N1012AC1_bit_1 +83213440*N1012AC1_bit0 +166426880*N1012AC1_bit1 +332853760*N1012AC1_bit2 +471063*N1012AC2_bit_7 +942126*N1012AC2_bit_6 +1884252*N1012AC2_bit_5 +3768504*N1012AC2_bit_4 +7537008*N1012AC2_bit_3 +15074016*N1012AC2_bit_2 +30148032*N1012AC2_bit_1 +60296064*N1012AC2_bit0 +120592128*N1012AC2_bit1 +241184256*N1012AC2_bit2 +338125*N1012AC3_bit_7 +676250*N1012AC3_bit_6 +1352500*N1012AC3_bit_5 +2705000*N1012AC3_bit_4 +5410000*N1012AC3_bit_3 +10820000*N1012AC3_bit_2 +21640000*N1012AC3_bit_1 +43280000*N1012AC3_bit0 +86560000*N1012AC3_bit1 +173120000*N1012AC3_bit2 +242747*N1012AC4_bit_7 +485494*N1012AC4_bit_6 +970988*N1012AC4_bit_5 +1941976*N1012AC4_bit_4 +3883952*N1012AC4_bit_3 +7767904*N1012AC4_bit_2 +15535808*N1012AC4_bit_1 +31071616*N1012AC4_bit0 +62143232*N1012AC4_bit1 +124286464*N1012AC4_bit2 +263060*N1012AC5_bit_7 +526120*N1012AC5_bit_6 +1052240*N1012AC5_bit_5 +2104480*N1012AC5_bit_4 +4208960*N1012AC5_bit_3 +8417920*N1012AC5_bit_2 +16835840*N1012AC5_bit_1 +33671680*N1012AC5_bit0 +67343360*N1012AC5_bit1 +134686720*N1012AC5_bit2 +458479*N1013AC3_bit_7 +916958*N1013AC3_bit_6 +1833916*N1013AC3_bit_5 +3667832*N1013AC3_bit_4 +7335664*N1013AC3_bit_3 +14671328*N1013AC3_bit_2 +29342656*N1013AC3_bit_1 +58685312*N1013AC3_bit0 +117370624*N1013AC3_bit1 +234741248*N1013AC3_bit2 +317776*N1013AC4_bit_7 +635552*N1013AC4_bit_6 +1271104*N1013AC4_bit_5 +2542208*N1013AC4_bit_4 +5084416*N1013AC4_bit_3 +10168832*N1013AC4_bit_2 +20337664*N1013AC4_bit_1 +40675328*N1013AC4_bit0 +81350656*N1013AC4_bit1 +162701312*N1013AC4_bit2 +348744*N1013AC5_bit_7 +697488*N1013AC5_bit_6 +1394976*N1013AC5_bit_5 +2789952*N1013AC5_bit_4 +5579904*N1013AC5_bit_3 +11159808*N1013AC5_bit_2 +22319616*N1013AC5_bit_1 +44639232*N1013AC5_bit0 +89278464*N1013AC5_bit1 +178556928*N1013AC5_bit2 +278943*N1013AC6_bit_7 +557886*N1013AC6_bit_6 +1115772*N1013AC6_bit_5 +2231544*N1013AC6_bit_4 +4463088*N1013AC6_bit_3 +8926176*N1013AC6_bit_2 +17852352*N1013AC6_bit_1 +35704704*N1013AC6_bit0 +71409408*N1013AC6_bit1 +142818816*N1013AC6_bit2 +449580*N1014AC3_bit_7 +899160*N1014AC3_bit_6 +1798320*N1014AC3_bit_5 +3596640*N1014AC3_bit_4 +7193280*N1014AC3_bit_3 +14386560*N1014AC3_bit_2 +28773120*N1014AC3_bit_1 +57546240*N1014AC3_bit0 +115092480*N1014AC3_bit1 +230184960*N1014AC3_bit2 +310922*N1014AC4_bit_7 +621844*N1014AC4_bit_6 +1243688*N1014AC4_bit_5 +2487376*N1014AC4_bit_4 +4974752*N1014AC4_bit_3 +9949504*N1014AC4_bit_2 +19899008*N1014AC4_bit_1 +39798016*N1014AC4_bit0 +79596032*N1014AC4_bit1 +159192064*N1014AC4_bit2 +341495*N1014AC5_bit_7 +682990*N1014AC5_bit_6 +1365980*N1014AC5_bit_5 +2731960*N1014AC5_bit_4 +5463920*N1014AC5_bit_3 +10927840*N1014AC5_bit_2 +21855680*N1014AC5_bit_1 +43711360*N1014AC5_bit0 +87422720*N1014AC5_bit1 +174845440*N1014AC5_bit2 +272340*N1014AC6_bit_7 +544680*N1014AC6_bit_6 +1089360*N1014AC6_bit_5 +2178720*N1014AC6_bit_4 +4357440*N1014AC6_bit_3 +8714880*N1014AC6_bit_2 +17429760*N1014AC6_bit_1 +34859520*N1014AC6_bit0 +69719040*N1014AC6_bit1 +139438080*N1014AC6_bit2 +460806*N1015AC3_bit_7 +921612*N1015AC3_bit_6 +1843224*N1015AC3_bit_5 +3686448*N1015AC3_bit_4 +7372896*N1015AC3_bit_3 +14745792*N1015AC3_bit_2 +29491584*N1015AC3_bit_1 +58983168*N1015AC3_bit0 +117966336*N1015AC3_bit1 +235932672*N1015AC3_bit2 +319568*N1015AC4_bit_7 +639136*N1015AC4_bit_6 +1278272*N1015AC4_bit_5 +2556544*N1015AC4_bit_4 +5113088*N1015AC4_bit_3 +10226176*N1015AC4_bit_2 +20452352*N1015AC4_bit_1 +40904704*N1015AC4_bit0 +81809408*N1015AC4_bit1 +163618816*N1015AC4_bit2 +350639*N1015AC5_bit_7 +701278*N1015AC5_bit_6 +1402556*N1015AC5_bit_5 +2805112*N1015AC5_bit_4 +5610224*N1015AC5_bit_3 +11220448*N1015AC5_bit_2 +22440896*N1015AC5_bit_1 +44881792*N1015AC5_bit0 +89763584*N1015AC5_bit1 +179527168*N1015AC5_bit2 +280669*N1015AC6_bit_7 +561338*N1015AC6_bit_6 +1122676*N1015AC6_bit_5 +2245352*N1015AC6_bit_4 +4490704*N1015AC6_bit_3 +8981408*N1015AC6_bit_2 +17962816*N1015AC6_bit_1 +35925632*N1015AC6_bit0 +71851264*N1015AC6_bit1 +143702528*N1015AC6_bit2 +451701*N1016AC3_bit_7 +903402*N1016AC3_bit_6 +1806804*N1016AC3_bit_5 +3613608*N1016AC3_bit_4 +7227216*N1016AC3_bit_3 +14454432*N1016AC3_bit_2 +28908864*N1016AC3_bit_1 +57817728*N1016AC3_bit0 +115635456*N1016AC3_bit1 +231270912*N1016AC3_bit2 +312556*N1016AC4_bit_7 +625112*N1016AC4_bit_6 +1250224*N1016AC4_bit_5 +2500448*N1016AC4_bit_4 +5000896*N1016AC4_bit_3 +10001792*N1016AC4_bit_2 +20003584*N1016AC4_bit_1 +40007168*N1016AC4_bit0 +80014336*N1016AC4_bit1 +160028672*N1016AC4_bit2 +343223*N1016AC5_bit_7 +686446*N1016AC5_bit_6 +1372892*N1016AC5_bit_5 +2745784*N1016AC5_bit_4 +5491568*N1016AC5_bit_3 +10983136*N1016AC5_bit_2 +21966272*N1016AC5_bit_1 +43932544*N1016AC5_bit0 +87865088*N1016AC5_bit1 +175730176*N1016AC5_bit2 +273914*N1016AC6_bit_7 +547828*N1016AC6_bit_6 +1095656*N1016AC6_bit_5 +2191312*N1016AC6_bit_4 +4382624*N1016AC6_bit_3 +8765248*N1016AC6_bit_2 +17530496*N1016AC6_bit_1 +35060992*N1016AC6_bit0 +70121984*N1016AC6_bit1 +140243968*N1016AC6_bit2 +452672*N1017AC3_bit_7 +905344*N1017AC3_bit_6 +1810688*N1017AC3_bit_5 +3621376*N1017AC3_bit_4 +7242752*N1017AC3_bit_3 +14485504*N1017AC3_bit_2 +28971008*N1017AC3_bit_1 +57942016*N1017AC3_bit0 +115884032*N1017AC3_bit1 +231768064*N1017AC3_bit2 +313304*N1017AC4_bit_7 +626608*N1017AC4_bit_6 +1253216*N1017AC4_bit_5 +2506432*N1017AC4_bit_4 +5012864*N1017AC4_bit_3 +10025728*N1017AC4_bit_2 +20051456*N1017AC4_bit_1 +40102912*N1017AC4_bit0 +80205824*N1017AC4_bit1 +160411648*N1017AC4_bit2 +344014*N1017AC5_bit_7 +688028*N1017AC5_bit_6 +1376056*N1017AC5_bit_5 +2752112*N1017AC5_bit_4 +5504224*N1017AC5_bit_3 +11008448*N1017AC5_bit_2 +22016896*N1017AC5_bit_1 +44033792*N1017AC5_bit0 +88067584*N1017AC5_bit1 +176135168*N1017AC5_bit2 +274634*N1017AC6_bit_7 +549268*N1017AC6_bit_6 +1098536*N1017AC6_bit_5 +2197072*N1017AC6_bit_4 +4394144*N1017AC6_bit_3 +8788288*N1017AC6_bit_2 +17576576*N1017AC6_bit_1 +35153152*N1017AC6_bit0 +70306304*N1017AC6_bit1 +140612608*N1017AC6_bit2 +767623*N1018AC1_bit_7 +1535246*N1018AC1_bit_6 +3070492*N1018AC1_bit_5 +6140984*N1018AC1_bit_4 +12281968*N1018AC1_bit_3 +24563936*N1018AC1_bit_2 +49127872*N1018AC1_bit_1 +98255744*N1018AC1_bit0 +196511488*N1018AC1_bit1 +393022976*N1018AC1_bit2 +535357*N1018AC2_bit_7 +1070714*N1018AC2_bit_6 +2141428*N1018AC2_bit_5 +4282856*N1018AC2_bit_4 +8565712*N1018AC2_bit_3 +17131424*N1018AC2_bit_2 +34262848*N1018AC2_bit_1 +68525696*N1018AC2_bit0 +137051392*N1018AC2_bit1 +274102784*N1018AC2_bit2 +373310*N1018AC3_bit_7 +746620*N1018AC3_bit_6 +1493240*N1018AC3_bit_5 +2986480*N1018AC3_bit_4 +5972960*N1018AC3_bit_3 +11945920*N1018AC3_bit_2 +23891840*N1018AC3_bit_1 +47783680*N1018AC3_bit0 +95567360*N1018AC3_bit1 +191134720*N1018AC3_bit2 +252182*N1018AC4_bit_7 +504364*N1018AC4_bit_6 +1008728*N1018AC4_bit_5 +2017456*N1018AC4_bit_4 +4034912*N1018AC4_bit_3 +8069824*N1018AC4_bit_2 +16139648*N1018AC4_bit_1 +32279296*N1018AC4_bit0 +64558592*N1018AC4_bit1 +129117184*N1018AC4_bit2 +279372*N1018AC5_bit_7 +558744*N1018AC5_bit_6 +1117488*N1018AC5_bit_5 +2234976*N1018AC5_bit_4 +4469952*N1018AC5_bit_3 +8939904*N1018AC5_bit_2 +17879808*N1018AC5_bit_1 +35759616*N1018AC5_bit0 +71519232*N1018AC5_bit1 +143038464*N1018AC5_bit2 +215753*N1018AC6_bit_7 +431506*N1018AC6_bit_6 +863012*N1018AC6_bit_5 +1726024*N1018AC6_bit_4 +3452048*N1018AC6_bit_3 +6904096*N1018AC6_bit_2 +13808192*N1018AC6_bit_1 +27616384*N1018AC6_bit0 +55232768*N1018AC6_bit1 +110465536*N1018AC6_bit2 +900153*N1019AC1_bit_7 +1800306*N1019AC1_bit_6 +3600612*N1019AC1_bit_5 +7201224*N1019AC1_bit_4 +14402448*N1019AC1_bit_3 +28804896*N1019AC1_bit_2 +57609792*N1019AC1_bit_1 +115219584*N1019AC1_bit0 +230439168*N1019AC1_bit1 +460878336*N1019AC1_bit2 +636578*N1019AC2_bit_7 +1273156*N1019AC2_bit_6 +2546312*N1019AC2_bit_5 +5092624*N1019AC2_bit_4 +10185248*N1019AC2_bit_3 +20370496*N1019AC2_bit_2 +40740992*N1019AC2_bit_1 +81481984*N1019AC2_bit0 +162963968*N1019AC2_bit1 +325927936*N1019AC2_bit2 +448694*N1019AC3_bit_7 +897388*N1019AC3_bit_6 +1794776*N1019AC3_bit_5 +3589552*N1019AC3_bit_4 +7179104*N1019AC3_bit_3 +14358208*N1019AC3_bit_2 +28716416*N1019AC3_bit_1 +57432832*N1019AC3_bit0 +114865664*N1019AC3_bit1 +229731328*N1019AC3_bit2 +310240*N1019AC4_bit_7 +620480*N1019AC4_bit_6 +1240960*N1019AC4_bit_5 +2481920*N1019AC4_bit_4 +4963840*N1019AC4_bit_3 +9927680*N1019AC4_bit_2 +19855360*N1019AC4_bit_1 +39710720*N1019AC4_bit0 +79421440*N1019AC4_bit1 +158842880*N1019AC4_bit2 +340774*N1019AC5_bit_7 +681548*N1019AC5_bit_6 +1363096*N1019AC5_bit_5 +2726192*N1019AC5_bit_4 +5452384*N1019AC5_bit_3 +10904768*N1019AC5_bit_2 +21809536*N1019AC5_bit_1 +43619072*N1019AC5_bit0 +87238144*N1019AC5_bit1 +174476288*N1019AC5_bit2 +479193*N1020AC1_bit_7 +958386*N1020AC1_bit_6 +1916772*N1020AC1_bit_5 +3833544*N1020AC1_bit_4 +7667088*N1020AC1_bit_3 +15334176*N1020AC1_bit_2 +30668352*N1020AC1_bit_1 +61336704*N1020AC1_bit0 +122673408*N1020AC1_bit1 +245346816*N1020AC1_bit2 +340527*N1020AC2_bit_7 +681054*N1020AC2_bit_6 +1362108*N1020AC2_bit_5 +2724216*N1020AC2_bit_4 +5448432*N1020AC2_bit_3 +10896864*N1020AC2_bit_2 +21793728*N1020AC2_bit_1 +43587456*N1020AC2_bit0 +87174912*N1020AC2_bit1 +174349824*N1020AC2_bit2 +240909*N1020AC3_bit_7 +481818*N1020AC3_bit_6 +963636*N1020AC3_bit_5 +1927272*N1020AC3_bit_4 +3854544*N1020AC3_bit_3 +7709088*N1020AC3_bit_2 +15418176*N1020AC3_bit_1 +30836352*N1020AC3_bit0 +61672704*N1020AC3_bit1 +123345408*N1020AC3_bit2 +167875*N1020AC4_bit_7 +335750*N1020AC4_bit_6 +671500*N1020AC4_bit_5 +1343000*N1020AC4_bit_4 +2686000*N1020AC4_bit_3 +5372000*N1020AC4_bit_2 +10744000*N1020AC4_bit_1 +21488000*N1020AC4_bit0 +42976000*N1020AC4_bit1 +85952000*N1020AC4_bit2 +183876*N1020AC5_bit_7 +367752*N1020AC5_bit_6 +735504*N1020AC5_bit_5 +1471008*N1020AC5_bit_4 +2942016*N1020AC5_bit_3 +5884032*N1020AC5_bit_2 +11768064*N1020AC5_bit_1 +23536128*N1020AC5_bit0 +47072256*N1020AC5_bit1 +94144512*N1020AC5_bit2 +148129*N1020AC6_bit_7 +296258*N1020AC6_bit_6 +592516*N1020AC6_bit_5 +1185032*N1020AC6_bit_4 +2370064*N1020AC6_bit_3 +4740128*N1020AC6_bit_2 +9480256*N1020AC6_bit_1 +18960512*N1020AC6_bit0 +37921024*N1020AC6_bit1 +75842048*N1020AC6_bit2 +611723*N1021AC1_bit_7 +1223446*N1021AC1_bit_6 +2446892*N1021AC1_bit_5 +4893784*N1021AC1_bit_4 +9787568*N1021AC1_bit_3 +19575136*N1021AC1_bit_2 +39150272*N1021AC1_bit_1 +78300544*N1021AC1_bit0 +156601088*N1021AC1_bit1 +313202176*N1021AC1_bit2 +441748*N1021AC2_bit_7 +883496*N1021AC2_bit_6 +1766992*N1021AC2_bit_5 +3533984*N1021AC2_bit_4 +7067968*N1021AC2_bit_3 +14135936*N1021AC2_bit_2 +28271872*N1021AC2_bit_1 +56543744*N1021AC2_bit0 +113087488*N1021AC2_bit1 +226174976*N1021AC2_bit2 +316293*N1021AC3_bit_7 +632586*N1021AC3_bit_6 +1265172*N1021AC3_bit_5 +2530344*N1021AC3_bit_4 +5060688*N1021AC3_bit_3 +10121376*N1021AC3_bit_2 +20242752*N1021AC3_bit_1 +40485504*N1021AC3_bit0 +80971008*N1021AC3_bit1 +161942016*N1021AC3_bit2 +225933*N1021AC4_bit_7 +451866*N1021AC4_bit_6 +903732*N1021AC4_bit_5 +1807464*N1021AC4_bit_4 +3614928*N1021AC4_bit_3 +7229856*N1021AC4_bit_2 +14459712*N1021AC4_bit_1 +28919424*N1021AC4_bit0 +57838848*N1021AC4_bit1 +115677696*N1021AC4_bit2 +245278*N1021AC5_bit_7 +490556*N1021AC5_bit_6 +981112*N1021AC5_bit_5 +1962224*N1021AC5_bit_4 +3924448*N1021AC5_bit_3 +7848896*N1021AC5_bit_2 +15697792*N1021AC5_bit_1 +31395584*N1021AC5_bit0 +62791168*N1021AC5_bit1 +125582336*N1021AC5_bit2 +4032039*N1022AC1_bit_7 +8064078*N1022AC1_bit_6 +16128156*N1022AC1_bit_5 +32256312*N1022AC1_bit_4 +64512624*N1022AC1_bit_3 +129025248*N1022AC1_bit_2 +258050496*N1022AC1_bit_1 +516100992*N1022AC1_bit0 +2940820*N1023AC1_bit_7 +5881640*N1023AC1_bit_6 +11763280*N1023AC1_bit_5 +23526560*N1023AC1_bit_4 +47053120*N1023AC1_bit_3 +94106240*N1023AC1_bit_2 +188212480*N1023AC1_bit_1 +376424960*N1023AC1_bit0 +3302493*N1026AC1_bit_7 +6604986*N1026AC1_bit_6 +13209972*N1026AC1_bit_5 +26419944*N1026AC1_bit_4 +52839888*N1026AC1_bit_3 +105679776*N1026AC1_bit_2 +211359552*N1026AC1_bit_1 +422719104*N1026AC1_bit0 +3774599*N1027AC1_bit_7 +7549198*N1027AC1_bit_6 +15098396*N1027AC1_bit_5 +30196792*N1027AC1_bit_4 +60393584*N1027AC1_bit_3 +120787168*N1027AC1_bit_2 +241574336*N1027AC1_bit_1 +483148672*N1027AC1_bit0 +3654150*N1028AC1_bit_7 +7308300*N1028AC1_bit_6 +14616600*N1028AC1_bit_5 +29233200*N1028AC1_bit_4 +58466400*N1028AC1_bit_3 +116932800*N1028AC1_bit_2 +233865600*N1028AC1_bit_1 +467731200*N1028AC1_bit0 +4282423*N1029AC1_bit_7 +8564846*N1029AC1_bit_6 +17129692*N1029AC1_bit_5 +34259384*N1029AC1_bit_4 +68518768*N1029AC1_bit_3 +137037536*N1029AC1_bit_2 +274075072*N1029AC1_bit_1 +548150144*N1029AC1_bit0 +4035146*N1030AC1_bit_7 +8070292*N1030AC1_bit_6 +16140584*N1030AC1_bit_5 +32281168*N1030AC1_bit_4 +64562336*N1030AC1_bit_3 +129124672*N1030AC1_bit_2 +258249344*N1030AC1_bit_1 +516498688*N1030AC1_bit0 +2382040*N1032AC1_bit_7 +4764080*N1032AC1_bit_6 +9528160*N1032AC1_bit_5 +19056320*N1032AC1_bit_4 +38112640*N1032AC1_bit_3 +76225280*N1032AC1_bit_2 +152450560*N1032AC1_bit_1 +304901120*N1032AC1_bit0 +1692001*N1032AC2_bit_7 +3384002*N1032AC2_bit_6 +6768004*N1032AC2_bit_5 +13536008*N1032AC2_bit_4 +27072016*N1032AC2_bit_3 +54144032*N1032AC2_bit_2 +108288064*N1032AC2_bit_1 +216576128*N1032AC2_bit0 +1196625*N1032AC3_bit_7 +2393250*N1032AC3_bit_6 +4786500*N1032AC3_bit_5 +9573000*N1032AC3_bit_4 +19146000*N1032AC3_bit_3 +38292000*N1032AC3_bit_2 +76584000*N1032AC3_bit_1 +153168000*N1032AC3_bit0 +833277*N1032AC4_bit_7 +1666554*N1032AC4_bit_6 +3333108*N1032AC4_bit_5 +6666216*N1032AC4_bit_4 +13332432*N1032AC4_bit_3 +26664864*N1032AC4_bit_2 +53329728*N1032AC4_bit_1 +106659456*N1032AC4_bit0 +912932*N1032AC5_bit_7 +1825864*N1032AC5_bit_6 +3651728*N1032AC5_bit_5 +7303456*N1032AC5_bit_4 +14606912*N1032AC5_bit_3 +29213824*N1032AC5_bit_2 +58427648*N1032AC5_bit_1 +116855296*N1032AC5_bit0 +1808295*N1033AC1_bit_7 +3616590*N1033AC1_bit_6 +7233180*N1033AC1_bit_5 +14466360*N1033AC1_bit_4 +28932720*N1033AC1_bit_3 +57865440*N1033AC1_bit_2 +115730880*N1033AC1_bit_1 +231461760*N1033AC1_bit0 +462923520*N1033AC1_bit1 +925847040*N1033AC1_bit2 +1304720*N1033AC2_bit_7 +2609440*N1033AC2_bit_6 +5218880*N1033AC2_bit_5 +10437760*N1033AC2_bit_4 +20875520*N1033AC2_bit_3 +41751040*N1033AC2_bit_2 +83502080*N1033AC2_bit_1 +167004160*N1033AC2_bit0 +334008320*N1033AC2_bit1 +668016640*N1033AC2_bit2 +933593*N1033AC3_bit_7 +1867186*N1033AC3_bit_6 +3734372*N1033AC3_bit_5 +7468744*N1033AC3_bit_4 +14937488*N1033AC3_bit_3 +29874976*N1033AC3_bit_2 +59749952*N1033AC3_bit_1 +119499904*N1033AC3_bit0 +238999808*N1033AC3_bit1 +477999616*N1033AC3_bit2 +666027*N1033AC4_bit_7 +1332054*N1033AC4_bit_6 +2664108*N1033AC4_bit_5 +5328216*N1033AC4_bit_4 +10656432*N1033AC4_bit_3 +21312864*N1033AC4_bit_2 +42625728*N1033AC4_bit_1 +85251456*N1033AC4_bit0 +170502912*N1033AC4_bit1 +341005824*N1033AC4_bit2 +723383*N1033AC5_bit_7 +1446766*N1033AC5_bit_6 +2893532*N1033AC5_bit_5 +5787064*N1033AC5_bit_4 +11574128*N1033AC5_bit_3 +23148256*N1033AC5_bit_2 +46296512*N1033AC5_bit_1 +92593024*N1033AC5_bit0 +185186048*N1033AC5_bit1 +370372096*N1033AC5_bit2 +1509963*N1034AC1_bit_7 +3019926*N1034AC1_bit_6 +6039852*N1034AC1_bit_5 +12079704*N1034AC1_bit_4 +24159408*N1034AC1_bit_3 +48318816*N1034AC1_bit_2 +96637632*N1034AC1_bit_1 +193275264*N1034AC1_bit0 +386550528*N1034AC1_bit1 +773101056*N1034AC1_bit2 +1102328*N1034AC2_bit_7 +2204656*N1034AC2_bit_6 +4409312*N1034AC2_bit_5 +8818624*N1034AC2_bit_4 +17637248*N1034AC2_bit_3 +35274496*N1034AC2_bit_2 +70548992*N1034AC2_bit_1 +141097984*N1034AC2_bit0 +282195968*N1034AC2_bit1 +564391936*N1034AC2_bit2 +795559*N1034AC3_bit_7 +1591118*N1034AC3_bit_6 +3182236*N1034AC3_bit_5 +6364472*N1034AC3_bit_4 +12728944*N1034AC3_bit_3 +25457888*N1034AC3_bit_2 +50915776*N1034AC3_bit_1 +101831552*N1034AC3_bit0 +203663104*N1034AC3_bit1 +407326208*N1034AC3_bit2 +1378819*N1035AC1_bit_7 +2757638*N1035AC1_bit_6 +5515276*N1035AC1_bit_5 +11030552*N1035AC1_bit_4 +22061104*N1035AC1_bit_3 +44122208*N1035AC1_bit_2 +88244416*N1035AC1_bit_1 +176488832*N1035AC1_bit0 +352977664*N1035AC1_bit1 +705955328*N1035AC1_bit2 +1002165*N1035AC2_bit_7 +2004330*N1035AC2_bit_6 +4008660*N1035AC2_bit_5 +8017320*N1035AC2_bit_4 +16034640*N1035AC2_bit_3 +32069280*N1035AC2_bit_2 +64138560*N1035AC2_bit_1 +128277120*N1035AC2_bit0 +256554240*N1035AC2_bit1 +513108480*N1035AC2_bit2 +720963*N1035AC3_bit_7 +1441926*N1035AC3_bit_6 +2883852*N1035AC3_bit_5 +5767704*N1035AC3_bit_4 +11535408*N1035AC3_bit_3 +23070816*N1035AC3_bit_2 +46141632*N1035AC3_bit_1 +92283264*N1035AC3_bit0 +184566528*N1035AC3_bit1 +369133056*N1035AC3_bit2 +519931*N1035AC4_bit_7 +1039862*N1035AC4_bit_6 +2079724*N1035AC4_bit_5 +4159448*N1035AC4_bit_4 +8318896*N1035AC4_bit_3 +16637792*N1035AC4_bit_2 +33275584*N1035AC4_bit_1 +66551168*N1035AC4_bit0 +133102336*N1035AC4_bit1 +266204672*N1035AC4_bit2 +562541*N1035AC5_bit_7 +1125082*N1035AC5_bit_6 +2250164*N1035AC5_bit_5 +4500328*N1035AC5_bit_4 +9000656*N1035AC5_bit_3 +18001312*N1035AC5_bit_2 +36002624*N1035AC5_bit_1 +72005248*N1035AC5_bit0 +144010496*N1035AC5_bit1 +288020992*N1035AC5_bit2 +1574868*N1036AC1_bit_7 +3149736*N1036AC1_bit_6 +6299472*N1036AC1_bit_5 +12598944*N1036AC1_bit_4 +25197888*N1036AC1_bit_3 +50395776*N1036AC1_bit_2 +100791552*N1036AC1_bit_1 +201583104*N1036AC1_bit0 +403166208*N1036AC1_bit1 +806332416*N1036AC1_bit2 +1151899*N1036AC2_bit_7 +2303798*N1036AC2_bit_6 +4607596*N1036AC2_bit_5 +9215192*N1036AC2_bit_4 +18430384*N1036AC2_bit_3 +36860768*N1036AC2_bit_2 +73721536*N1036AC2_bit_1 +147443072*N1036AC2_bit0 +294886144*N1036AC2_bit1 +589772288*N1036AC2_bit2 +832477*N1036AC3_bit_7 +1664954*N1036AC3_bit_6 +3329908*N1036AC3_bit_5 +6659816*N1036AC3_bit_4 +13319632*N1036AC3_bit_3 +26639264*N1036AC3_bit_2 +53278528*N1036AC3_bit_1 +106557056*N1036AC3_bit0 +213114112*N1036AC3_bit1 +426228224*N1036AC3_bit2 +358840*N1037AC4_bit_7 +717680*N1037AC4_bit_6 +1435360*N1037AC4_bit_5 +2870720*N1037AC4_bit_4 +5741440*N1037AC4_bit_3 +11482880*N1037AC4_bit_2 +22965760*N1037AC4_bit_1 +45931520*N1037AC4_bit0 +91863040*N1037AC4_bit1 +183726080*N1037AC4_bit2 +392172*N1037AC5_bit_7 +784344*N1037AC5_bit_6 +1568688*N1037AC5_bit_5 +3137376*N1037AC5_bit_4 +6274752*N1037AC5_bit_3 +12549504*N1037AC5_bit_2 +25099008*N1037AC5_bit_1 +50198016*N1037AC5_bit0 +100396032*N1037AC5_bit1 +200792064*N1037AC5_bit2 +238548*N1038AC4_bit_7 +477096*N1038AC4_bit_6 +954192*N1038AC4_bit_5 +1908384*N1038AC4_bit_4 +3816768*N1038AC4_bit_3 +7633536*N1038AC4_bit_2 +15267072*N1038AC4_bit_1 +30534144*N1038AC4_bit0 +61068288*N1038AC4_bit1 +122136576*N1038AC4_bit2 +244273152*N1038AC4_bit3 +258620*N1038AC5_bit_7 +517240*N1038AC5_bit_6 +1034480*N1038AC5_bit_5 +2068960*N1038AC5_bit_4 +4137920*N1038AC5_bit_3 +8275840*N1038AC5_bit_2 +16551680*N1038AC5_bit_1 +33103360*N1038AC5_bit0 +66206720*N1038AC5_bit1 +132413440*N1038AC5_bit2 +264826880*N1038AC5_bit3 +275896*N1039AC4_bit_7 +551792*N1039AC4_bit_6 +1103584*N1039AC4_bit_5 +2207168*N1039AC4_bit_4 +4414336*N1039AC4_bit_3 +8828672*N1039AC4_bit_2 +17657344*N1039AC4_bit_1 +35314688*N1039AC4_bit0 +70629376*N1039AC4_bit1 +141258752*N1039AC4_bit2 +298119*N1039AC5_bit_7 +596238*N1039AC5_bit_6 +1192476*N1039AC5_bit_5 +2384952*N1039AC5_bit_4 +4769904*N1039AC5_bit_3 +9539808*N1039AC5_bit_2 +19079616*N1039AC5_bit_1 +38159232*N1039AC5_bit0 +76318464*N1039AC5_bit1 +152636928*N1039AC5_bit2 +229039*N1040AC4_bit_7 +458078*N1040AC4_bit_6 +916156*N1040AC4_bit_5 +1832312*N1040AC4_bit_4 +3664624*N1040AC4_bit_3 +7329248*N1040AC4_bit_2 +14658496*N1040AC4_bit_1 +29316992*N1040AC4_bit0 +58633984*N1040AC4_bit1 +117267968*N1040AC4_bit2 +234535936*N1040AC4_bit3 +254896*N1040AC5_bit_7 +509792*N1040AC5_bit_6 +1019584*N1040AC5_bit_5 +2039168*N1040AC5_bit_4 +4078336*N1040AC5_bit_3 +8156672*N1040AC5_bit_2 +16313344*N1040AC5_bit_1 +32626688*N1040AC5_bit0 +65253376*N1040AC5_bit1 +130506752*N1040AC5_bit2 +261013504*N1040AC5_bit3 +193457*N1040AC6_bit_7 +386914*N1040AC6_bit_6 +773828*N1040AC6_bit_5 +1547656*N1040AC6_bit_4 +3095312*N1040AC6_bit_3 +6190624*N1040AC6_bit_2 +12381248*N1040AC6_bit_1 +24762496*N1040AC6_bit0 +49524992*N1040AC6_bit1 +99049984*N1040AC6_bit2 +198099968*N1040AC6_bit3 +120291*N1041AC4_bit_7 +240582*N1041AC4_bit_6 +481164*N1041AC4_bit_5 +962328*N1041AC4_bit_4 +1924656*N1041AC4_bit_3 +3849312*N1041AC4_bit_2 +7698624*N1041AC4_bit_1 +15397248*N1041AC4_bit0 +30794496*N1041AC4_bit1 +61588992*N1041AC4_bit2 +123177984*N1041AC4_bit3 +246355968*N1041AC4_bit4 +133552*N1041AC5_bit_7 +267104*N1041AC5_bit_6 +534208*N1041AC5_bit_5 +1068416*N1041AC5_bit_4 +2136832*N1041AC5_bit_3 +4273664*N1041AC5_bit_2 +8547328*N1041AC5_bit_1 +17094656*N1041AC5_bit0 +34189312*N1041AC5_bit1 +68378624*N1041AC5_bit2 +136757248*N1041AC5_bit3 +273514496*N1041AC5_bit4 +102289*N1041AC6_bit_7 +204578*N1041AC6_bit_6 +409156*N1041AC6_bit_5 +818312*N1041AC6_bit_4 +1636624*N1041AC6_bit_3 +3273248*N1041AC6_bit_2 +6546496*N1041AC6_bit_1 +13092992*N1041AC6_bit0 +26185984*N1041AC6_bit1 +52371968*N1041AC6_bit2 +104743936*N1041AC6_bit3 +209487872*N1041AC6_bit4 +108748*N1042AC4_bit_7 +217496*N1042AC4_bit_6 +434992*N1042AC4_bit_5 +869984*N1042AC4_bit_4 +1739968*N1042AC4_bit_3 +3479936*N1042AC4_bit_2 +6959872*N1042AC4_bit_1 +13919744*N1042AC4_bit0 +27839488*N1042AC4_bit1 +55678976*N1042AC4_bit2 +111357952*N1042AC4_bit3 +222715904*N1042AC4_bit4 +121344*N1042AC5_bit_7 +242688*N1042AC5_bit_6 +485376*N1042AC5_bit_5 +970752*N1042AC5_bit_4 +1941504*N1042AC5_bit_3 +3883008*N1042AC5_bit_2 +7766016*N1042AC5_bit_1 +15532032*N1042AC5_bit0 +31064064*N1042AC5_bit1 +62128128*N1042AC5_bit2 +124256256*N1042AC5_bit3 +248512512*N1042AC5_bit4 +91168*N1042AC6_bit_7 +182336*N1042AC6_bit_6 +364672*N1042AC6_bit_5 +729344*N1042AC6_bit_4 +1458688*N1042AC6_bit_3 +2917376*N1042AC6_bit_2 +5834752*N1042AC6_bit_1 +11669504*N1042AC6_bit0 +23339008*N1042AC6_bit1 +46678016*N1042AC6_bit2 +93356032*N1042AC6_bit3 +186712064*N1042AC6_bit4 +1318536*N1043AC1_bit_7 +2637072*N1043AC1_bit_6 +5274144*N1043AC1_bit_5 +10548288*N1043AC1_bit_4 +21096576*N1043AC1_bit_3 +42193152*N1043AC1_bit_2 +84386304*N1043AC1_bit_1 +168772608*N1043AC1_bit0 +337545216*N1043AC1_bit1 +981585*N1043AC2_bit_7 +1963170*N1043AC2_bit_6 +3926340*N1043AC2_bit_5 +7852680*N1043AC2_bit_4 +15705360*N1043AC2_bit_3 +31410720*N1043AC2_bit_2 +62821440*N1043AC2_bit_1 +125642880*N1043AC2_bit0 +251285760*N1043AC2_bit1 +718333*N1043AC3_bit_7 +1436666*N1043AC3_bit_6 +2873332*N1043AC3_bit_5 +5746664*N1043AC3_bit_4 +11493328*N1043AC3_bit_3 +22986656*N1043AC3_bit_2 +45973312*N1043AC3_bit_1 +91946624*N1043AC3_bit0 +183893248*N1043AC3_bit1 +1409924*N1044AC1_bit_7 +2819848*N1044AC1_bit_6 +5639696*N1044AC1_bit_5 +11279392*N1044AC1_bit_4 +22558784*N1044AC1_bit_3 +45117568*N1044AC1_bit_2 +90235136*N1044AC1_bit_1 +180470272*N1044AC1_bit0 +360940544*N1044AC1_bit1 +1051384*N1044AC2_bit_7 +2102768*N1044AC2_bit_6 +4205536*N1044AC2_bit_5 +8411072*N1044AC2_bit_4 +16822144*N1044AC2_bit_3 +33644288*N1044AC2_bit_2 +67288576*N1044AC2_bit_1 +134577152*N1044AC2_bit0 +269154304*N1044AC2_bit1 +770315*N1044AC3_bit_7 +1540630*N1044AC3_bit_6 +3081260*N1044AC3_bit_5 +6162520*N1044AC3_bit_4 +12325040*N1044AC3_bit_3 +24650080*N1044AC3_bit_2 +49300160*N1044AC3_bit_1 +98600320*N1044AC3_bit0 +197200640*N1044AC3_bit1 +952503*N1046AC3_bit_7 +1905006*N1046AC3_bit_6 +3810012*N1046AC3_bit_5 +7620024*N1046AC3_bit_4 +15240048*N1046AC3_bit_3 +30480096*N1046AC3_bit_2 +60960192*N1046AC3_bit_1 +121920384*N1046AC3_bit0 +243840768*N1046AC3_bit1 +3137592*N1047AC1_bit_7 +6275184*N1047AC1_bit_6 +12550368*N1047AC1_bit_5 +25100736*N1047AC1_bit_4 +50201472*N1047AC1_bit_3 +100402944*N1047AC1_bit_2 +200805888*N1047AC1_bit_1 +401611776*N1047AC1_bit0 +2319986*N1047AC2_bit_7 +4639972*N1047AC2_bit_6 +9279944*N1047AC2_bit_5 +18559888*N1047AC2_bit_4 +37119776*N1047AC2_bit_3 +74239552*N1047AC2_bit_2 +148479104*N1047AC2_bit_1 +296958208*N1047AC2_bit0 +1689706*N1047AC3_bit_7 +3379412*N1047AC3_bit_6 +6758824*N1047AC3_bit_5 +13517648*N1047AC3_bit_4 +27035296*N1047AC3_bit_3 +54070592*N1047AC3_bit_2 +108141184*N1047AC3_bit_1 +216282368*N1047AC3_bit0 +450544*N1050AC3_bit_7 +901088*N1050AC3_bit_6 +1802176*N1050AC3_bit_5 +3604352*N1050AC3_bit_4 +7208704*N1050AC3_bit_3 +14417408*N1050AC3_bit_2 +28834816*N1050AC3_bit_1 +57669632*N1050AC3_bit0 +115339264*N1050AC3_bit1 +230678528*N1050AC3_bit2 +311665*N1050AC4_bit_7 +623330*N1050AC4_bit_6 +1246660*N1050AC4_bit_5 +2493320*N1050AC4_bit_4 +4986640*N1050AC4_bit_3 +9973280*N1050AC4_bit_2 +19946560*N1050AC4_bit_1 +39893120*N1050AC4_bit0 +79786240*N1050AC4_bit1 +159572480*N1050AC4_bit2 +342281*N1050AC5_bit_7 +684562*N1050AC5_bit_6 +1369124*N1050AC5_bit_5 +2738248*N1050AC5_bit_4 +5476496*N1050AC5_bit_3 +10952992*N1050AC5_bit_2 +21905984*N1050AC5_bit_1 +43811968*N1050AC5_bit0 +87623936*N1050AC5_bit1 +175247872*N1050AC5_bit2 +380996*N1051AC1_bit_7 +761992*N1051AC1_bit_6 +1523984*N1051AC1_bit_5 +3047968*N1051AC1_bit_4 +6095936*N1051AC1_bit_3 +12191872*N1051AC1_bit_2 +24383744*N1051AC1_bit_1 +48767488*N1051AC1_bit0 +97534976*N1051AC1_bit1 +195069952*N1051AC1_bit2 +390139904*N1051AC1_bit3 +780279808*N1051AC1_bit4 +265528*N1051AC2_bit_7 +531056*N1051AC2_bit_6 +1062112*N1051AC2_bit_5 +2124224*N1051AC2_bit_4 +4248448*N1051AC2_bit_3 +8496896*N1051AC2_bit_2 +16993792*N1051AC2_bit_1 +33987584*N1051AC2_bit0 +67975168*N1051AC2_bit1 +135950336*N1051AC2_bit2 +271900672*N1051AC2_bit3 +543801344*N1051AC2_bit4 +185054*N1051AC3_bit_7 +370108*N1051AC3_bit_6 +740216*N1051AC3_bit_5 +1480432*N1051AC3_bit_4 +2960864*N1051AC3_bit_3 +5921728*N1051AC3_bit_2 +11843456*N1051AC3_bit_1 +23686912*N1051AC3_bit0 +47373824*N1051AC3_bit1 +94747648*N1051AC3_bit2 +189495296*N1051AC3_bit3 +378990592*N1051AC3_bit4 +124858*N1051AC4_bit_7 +249716*N1051AC4_bit_6 +499432*N1051AC4_bit_5 +998864*N1051AC4_bit_4 +1997728*N1051AC4_bit_3 +3995456*N1051AC4_bit_2 +7990912*N1051AC4_bit_1 +15981824*N1051AC4_bit0 +31963648*N1051AC4_bit1 +63927296*N1051AC4_bit2 +127854592*N1051AC4_bit3 +255709184*N1051AC4_bit4 +138382*N1051AC5_bit_7 +276764*N1051AC5_bit_6 +553528*N1051AC5_bit_5 +1107056*N1051AC5_bit_4 +2214112*N1051AC5_bit_3 +4428224*N1051AC5_bit_2 +8856448*N1051AC5_bit_1 +17712896*N1051AC5_bit0 +35425792*N1051AC5_bit1 +70851584*N1051AC5_bit2 +141703168*N1051AC5_bit3 +283406336*N1051AC5_bit4 +106688*N1051AC6_bit_7 +213376*N1051AC6_bit_6 +426752*N1051AC6_bit_5 +853504*N1051AC6_bit_4 +1707008*N1051AC6_bit_3 +3414016*N1051AC6_bit_2 +6828032*N1051AC6_bit_1 +13656064*N1051AC6_bit0 +27312128*N1051AC6_bit1 +54624256*N1051AC6_bit2 +109248512*N1051AC6_bit3 +218497024*N1051AC6_bit4 >= -303735936; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-boeing1.opb s UNKNOWN c Exit Code: 0 c Total time: 3.479 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.71 0.91 0.89 1/54 26276 Raw data (stat): 26276 (runsolver) R 26275 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898536616 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+3.53785 s] Raw data (loadavg): 0.73 0.91 0.89 1/53 26276 Raw data (stat): 26276 (runsolver) R 26275 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898536616 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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): 3.53755 CPU time (s): 3.50347 CPU user time (s): 3.34749 CPU system time (s): 0.155976 CPU usage (%): 99.0365 Max. virtual memory (Kb): 864 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####