PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos3.opb
MD5SUM	640a68756f6bc046860dd4d0fa3890ca
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	10485755
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	2396687647113216000
Number of bits of the biggest number in a constraint	62
Biggest sum of numbers in a constraint	282492798299765243904
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	28623
Total number of constraints	2841
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1377
Number of constraints which are nor clauses,nor cardinality constraints	1464
Minimum length of a constraint	1
Maximum length of a constraint	3188
Trace number 25466

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 16:12:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19683 boxname=wulflinc31 idbench=1515 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  640a68756f6bc046860dd4d0fa3890ca  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos3.opb
IDLAUNCH: 19683
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        710784 kB
Buffers:         33264 kB
Cached:         264820 kB
SwapCached:       5400 kB
Active:         238984 kB
Inactive:        65732 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        710532 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13312 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 16:12:34 (client local time) WITH STATUS 0 IN 0.138978 SECONDS
stats: 19683 7 0.138978 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +12055000000*C1064_bit_7 +24110000000*C1064_bit_6 +48220000000*C1064_bit_5 +96440000000*C1064_bit_4 +192880000000*C1064_bit_3 +385760000000*C1064_bit_2 +771520000000*C1064_bit_1 -2411000000*C1065_bit_7 -4822000000*C1065_bit_6 -9644000000*C1065_bit_5 -19288000000*C1065_bit_4 -38576000000*C1065_bit_3 -77152000000*C1065_bit_2 -154304000000*C1065_bit_1 -308608000000*C1065_bit0 -617216000000*C1065_bit1 -1234432000000*C1065_bit2 -2468864000000*C1065_bit3 -4937728000000*C1065_bit4 -9875456000000*C1065_bit5 -19750912000000*C1065_bit6 -39501824000000*C1065_bit7 -79003648000000*C1065_bit8 -158007296000000*C1065_bit9 -316014592000000*C1065_bit10 -632029184000000*C1065_bit11 -1264058368000000*C1065_bit12 -5570288304*C1066_bit_7 -11140576608*C1066_bit_6 -22281153216*C1066_bit_5 -44562306432*C1066_bit_4 -89124612864*C1066_bit_3 -178249225728*C1066_bit_2 -356498451456*C1066_bit_1 -712996902912*C1066_bit0 -1425993805824*C1066_bit1 -2851987611648*C1066_bit2 -5703975223296*C1066_bit3 -11407950446592*C1066_bit4 -22815900893184*C1066_bit5 -45631801786368*C1066_bit6 -91263603572736*C1066_bit7 -182527207145472*C1066_bit8 -365054414290944*C1066_bit9 -730108828581888*C1066_bit10 -1460217657163776*C1066_bit11 -2920435314327552*C1066_bit12 -9379993008*C1067_bit_7 -18759986016*C1067_bit_6 -37519972032*C1067_bit_5 -75039944064*C1067_bit_4 -150079888128*C1067_bit_3 -300159776256*C1067_bit_2 -600319552512*C1067_bit_1 -1200639105024*C1067_bit0 -2401278210048*C1067_bit1 -4802556420096*C1067_bit2 -9605112840192*C1067_bit3 -19210225680384*C1067_bit4 -38420451360768*C1067_bit5 -76840902721536*C1067_bit6 -153681805443072*C1067_bit7 -307363610886144*C1067_bit8 -614727221772288*C1067_bit9 -1229454443544576*C1067_bit10 -2458908887089152*C1067_bit11 -4917817774178304*C1067_bit12 -13748209952*C1068_bit_7 -27496419904*C1068_bit_6 -54992839808*C1068_bit_5 -109985679616*C1068_bit_4 -219971359232*C1068_bit_3 -439942718464*C1068_bit_2 -879885436928*C1068_bit_1 -1759770873856*C1068_bit0 -3519541747712*C1068_bit1 -7039083495424*C1068_bit2 -14078166990848*C1068_bit3 -28156333981696*C1068_bit4 -56312667963392*C1068_bit5 -112625335926784*C1068_bit6 -225250671853568*C1068_bit7 -450501343707136*C1068_bit8 -901002687414272*C1068_bit9 -1802005374828544*C1068_bit10 -3604010749657088*C1068_bit11 -7208021499314176*C1068_bit12 -18588848736*C1069_bit_7 -37177697472*C1069_bit_6 -74355394944*C1069_bit_5 -148710789888*C1069_bit_4 -297421579776*C1069_bit_3 -594843159552*C1069_bit_2 -1189686319104*C1069_bit_1 -2379372638208*C1069_bit0 -4758745276416*C1069_bit1 -9517490552832*C1069_bit2 -19034981105664*C1069_bit3 -38069962211328*C1069_bit4 -76139924422656*C1069_bit5 -152279848845312*C1069_bit6 -304559697690624*C1069_bit7 -609119395381248*C1069_bit8 -1218238790762496*C1069_bit9 -2436477581524992*C1069_bit10 -4872955163049984*C1069_bit11 -9745910326099968*C1069_bit12 -23821478736*C1070_bit_7 -47642957472*C1070_bit_6 -95285914944*C1070_bit_5 -190571829888*C1070_bit_4 -381143659776*C1070_bit_3 -762287319552*C1070_bit_2 -1524574639104*C1070_bit_1 -3049149278208*C1070_bit0 -6098298556416*C1070_bit1 -12196597112832*C1070_bit2 -24393194225664*C1070_bit3 -48786388451328*C1070_bit4 -97572776902656*C1070_bit5 -195145553805312*C1070_bit6 -390291107610624*C1070_bit7 -780582215221248*C1070_bit8 -1561164430442496*C1070_bit9 -3122328860884992*C1070_bit10 -6244657721769984*C1070_bit11 -12489315443539968*C1070_bit12 -29371175120*C1071_bit_7 -58742350240*C1071_bit_6 -117484700480*C1071_bit_5 -234969400960*C1071_bit_4 -469938801920*C1071_bit_3 -939877603840*C1071_bit_2 -1879755207680*C1071_bit_1 -3759510415360*C1071_bit0 -7519020830720*C1071_bit1 -15038041661440*C1071_bit2 -30076083322880*C1071_bit3 -60152166645760*C1071_bit4 -120304333291520*C1071_bit5 -240608666583040*C1071_bit6 -481217333166080*C1071_bit7 -962434666332160*C1071_bit8 -1924869332664320*C1071_bit9 -3849738665328640*C1071_bit10 -7699477330657280*C1071_bit11 -15398954661314560*C1071_bit12 -35168364864*C1072_bit_7 -70336729728*C1072_bit_6 -140673459456*C1072_bit_5 -281346918912*C1072_bit_4 -562693837824*C1072_bit_3 -1125387675648*C1072_bit_2 -2250775351296*C1072_bit_1 -4501550702592*C1072_bit0 -9003101405184*C1072_bit1 -18006202810368*C1072_bit2 -36012405620736*C1072_bit3 -72024811241472*C1072_bit4 -144049622482944*C1072_bit5 -288099244965888*C1072_bit6 -576198489931776*C1072_bit7 -1152396979863552*C1072_bit8 -2304793959727104*C1072_bit9 -4609587919454208*C1072_bit10 -9219175838908416*C1072_bit11 -18438351677816832*C1072_bit12 -41148672768*C1073_bit_7 -82297345536*C1073_bit_6 -164594691072*C1073_bit_5 -329189382144*C1073_bit_4 -658378764288*C1073_bit_3 -1316757528576*C1073_bit_2 -2633515057152*C1073_bit_1 -5267030114304*C1073_bit0 -10534060228608*C1073_bit1 -21068120457216*C1073_bit2 -42136240914432*C1073_bit3 -84272481828864*C1073_bit4 -168544963657728*C1073_bit5 -337089927315456*C1073_bit6 -674179854630912*C1073_bit7 -1348359709261824*C1073_bit8 -2696719418523648*C1073_bit9 -5393438837047296*C1073_bit10 -10786877674094592*C1073_bit11 -21573755348189184*C1073_bit12 -47252767472*C1074_bit_7 -94505534944*C1074_bit_6 -189011069888*C1074_bit_5 -378022139776*C1074_bit_4 -756044279552*C1074_bit_3 -1512088559104*C1074_bit_2 -3024177118208*C1074_bit_1 -6048354236416*C1074_bit0 -12096708472832*C1074_bit1 -24193416945664*C1074_bit2 -48386833891328*C1074_bit3 -96773667782656*C1074_bit4 -193547335565312*C1074_bit5 -387094671130624*C1074_bit6 -774189342261248*C1074_bit7 -1548378684522496*C1074_bit8 -3096757369044992*C1074_bit9 -6193514738089984*C1074_bit10 -12387029476179968*C1074_bit11 -24774058952359936*C1074_bit12 -53426207470*C1075_bit_7 -106852414940*C1075_bit_6 -213704829880*C1075_bit_5 -427409659760*C1075_bit_4 -854819319520*C1075_bit_3 -1709638639040*C1075_bit_2 -3419277278080*C1075_bit_1 -6838554556160*C1075_bit0 -13677109112320*C1075_bit1 -27354218224640*C1075_bit2 -54708436449280*C1075_bit3 -109416872898560*C1075_bit4 -218833745797120*C1075_bit5 -437667491594240*C1075_bit6 -875334983188480*C1075_bit7 -1750669966376960*C1075_bit8 -3501339932753920*C1075_bit9 -7002679865507840*C1075_bit10 -14005359731015680*C1075_bit11 -28010719462031360*C1075_bit12 -59619287135*C1076_bit_7 -119238574270*C1076_bit_6 -238477148540*C1076_bit_5 -476954297080*C1076_bit_4 -953908594160*C1076_bit_3 -1907817188320*C1076_bit_2 -3815634376640*C1076_bit_1 -7631268753280*C1076_bit0 -15262537506560*C1076_bit1 -30525075013120*C1076_bit2 -61050150026240*C1076_bit3 -122100300052480*C1076_bit4 -244200600104960*C1076_bit5 -488401200209920*C1076_bit6 -976802400419840*C1076_bit7 -1953604800839680*C1076_bit8 -3907209601679360*C1076_bit9 -7814419203358720*C1076_bit10 -15628838406717440*C1076_bit11 -31257676813434880*C1076_bit12 -65786882720*C1077_bit_7 -131573765440*C1077_bit_6 -263147530880*C1077_bit_5 -526295061760*C1077_bit_4 -1052590123520*C1077_bit_3 -2105180247040*C1077_bit_2 -4210360494080*C1077_bit_1 -8420720988160*C1077_bit0 -16841441976320*C1077_bit1 -33682883952640*C1077_bit2 -67365767905280*C1077_bit3 -134731535810560*C1077_bit4 -269463071621120*C1077_bit5 -538926143242240*C1077_bit6 -1077852286484480*C1077_bit7 -2155704572968960*C1077_bit8 -4311409145937920*C1077_bit9 -8622818291875840*C1077_bit10 -17245636583751680*C1077_bit11 -34491273167503360*C1077_bit12 -71888298385*C1078_bit_7 -143776596770*C1078_bit_6 -287553193540*C1078_bit_5 -575106387080*C1078_bit_4 -1150212774160*C1078_bit_3 -2300425548320*C1078_bit_2 -4600851096640*C1078_bit_1 -9201702193280*C1078_bit0 -18403404386560*C1078_bit1 -36806808773120*C1078_bit2 -73613617546240*C1078_bit3 -147227235092480*C1078_bit4 -294454470184960*C1078_bit5 -588908940369920*C1078_bit6 -1177817880739840*C1078_bit7 -2355635761479680*C1078_bit8 -4711271522959360*C1078_bit9 -9422543045918720*C1078_bit10 -18845086091837440*C1078_bit11 -37690172183674880*C1078_bit12 -77887112210*C1079_bit_7 -155774224420*C1079_bit_6 -311548448840*C1079_bit_5 -623096897680*C1079_bit_4 -1246193795360*C1079_bit_3 -2492387590720*C1079_bit_2 -4984775181440*C1079_bit_1 -9969550362880*C1079_bit0 -19939100725760*C1079_bit1 -39878201451520*C1079_bit2 -79756402903040*C1079_bit3 -159512805806080*C1079_bit4 -319025611612160*C1079_bit5 -638051223224320*C1079_bit6 -1276102446448640*C1079_bit7 -2552204892897280*C1079_bit8 -5104409785794560*C1079_bit9 -10208819571589120*C1079_bit10 -20417639143178240*C1079_bit11 -40835278286356480*C1079_bit12 -83751022210*C1080_bit_7 -167502044420*C1080_bit_6 -335004088840*C1080_bit_5 -670008177680*C1080_bit_4 -1340016355360*C1080_bit_3 -2680032710720*C1080_bit_2 -5360065421440*C1080_bit_1 -10720130842880*C1080_bit0 -21440261685760*C1080_bit1 -42880523371520*C1080_bit2 -85761046743040*C1080_bit3 -171522093486080*C1080_bit4 -343044186972160*C1080_bit5 -686088373944320*C1080_bit6 -1372176747888640*C1080_bit7 -2744353495777280*C1080_bit8 -5488706991554560*C1080_bit9 -10977413983109120*C1080_bit10 -21954827966218240*C1080_bit11 -43909655932436480*C1080_bit12 -89451692350*C1081_bit_7 -178903384700*C1081_bit_6 -357806769400*C1081_bit_5 -715613538800*C1081_bit_4 -1431227077600*C1081_bit_3 -2862454155200*C1081_bit_2 -5724908310400*C1081_bit_1 -11449816620800*C1081_bit0 -22899633241600*C1081_bit1 -45799266483200*C1081_bit2 -91598532966400*C1081_bit3 -183197065932800*C1081_bit4 -366394131865600*C1081_bit5 -732788263731200*C1081_bit6 -1465576527462400*C1081_bit7 -2931153054924800*C1081_bit8 -5862306109849600*C1081_bit9 -11724612219699200*C1081_bit10 -23449224439398400*C1081_bit11 -46898448878796800*C1081_bit12 -94964598575*C1082_bit_7 -189929197150*C1082_bit_6 -379858394300*C1082_bit_5 -759716788600*C1082_bit_4 -1519433577200*C1082_bit_3 -3038867154400*C1082_bit_2 -6077734308800*C1082_bit_1 -12155468617600*C1082_bit0 -24310937235200*C1082_bit1 -48621874470400*C1082_bit2 -97243748940800*C1082_bit3 -194487497881600*C1082_bit4 -388974995763200*C1082_bit5 -777949991526400*C1082_bit6 -1555899983052800*C1082_bit7 -3111799966105600*C1082_bit8 -6223599932211200*C1082_bit9 -12447199864422400*C1082_bit10 -24894399728844800*C1082_bit11 -49788799457689600*C1082_bit12 -100268874800*C1083_bit_7 -200537749600*C1083_bit_6 -401075499200*C1083_bit_5 -802150998400*C1083_bit_4 -1604301996800*C1083_bit_3 -3208603993600*C1083_bit_2 -6417207987200*C1083_bit_1 -12834415974400*C1083_bit0 -25668831948800*C1083_bit1 -51337663897600*C1083_bit2 -102675327795200*C1083_bit3 -205350655590400*C1083_bit4 -410701311180800*C1083_bit5 -821402622361600*C1083_bit6 -1642805244723200*C1083_bit7 -3285610489446400*C1083_bit8 -6571220978892800*C1083_bit9 -13142441957785600*C1083_bit10 -26284883915571200*C1083_bit11 -52569767831142400*C1083_bit12 -105347158945*C1084_bit_7 -210694317890*C1084_bit_6 -421388635780*C1084_bit_5 -842777271560*C1084_bit_4 -1685554543120*C1084_bit_3 -3371109086240*C1084_bit_2 -6742218172480*C1084_bit_1 -13484436344960*C1084_bit0 -26968872689920*C1084_bit1 -53937745379840*C1084_bit2 -107875490759680*C1084_bit3 -215750981519360*C1084_bit4 -431501963038720*C1084_bit5 -863003926077440*C1084_bit6 -1726007852154880*C1084_bit7 -3452015704309760*C1084_bit8 -6904031408619520*C1084_bit9 -13808062817239040*C1084_bit10 -27616125634478080*C1084_bit11 -55232251268956160*C1084_bit12 -110185438945*C1085_bit_7 -220370877890*C1085_bit_6 -440741755780*C1085_bit_5 -881483511560*C1085_bit_4 -1762967023120*C1085_bit_3 -3525934046240*C1085_bit_2 -7051868092480*C1085_bit_1 -14103736184960*C1085_bit0 -28207472369920*C1085_bit1 -56414944739840*C1085_bit2 -112829889479680*C1085_bit3 -225659778959360*C1085_bit4 -451319557918720*C1085_bit5 -902639115837440*C1085_bit6 -1805278231674880*C1085_bit7 -3610556463349760*C1085_bit8 -7221112926699520*C1085_bit9 -14442225853399040*C1085_bit10 -28884451706798080*C1085_bit11 -57768903413596160*C1085_bit12 -114772898770*C1086_bit_7 -229545797540*C1086_bit_6 -459091595080*C1086_bit_5 -918183190160*C1086_bit_4 -1836366380320*C1086_bit_3 -3672732760640*C1086_bit_2 -7345465521280*C1086_bit_1 -14690931042560*C1086_bit0 -29381862085120*C1086_bit1 -58763724170240*C1086_bit2 -117527448340480*C1086_bit3 -235054896680960*C1086_bit4 -470109793361920*C1086_bit5 -940219586723840*C1086_bit6 -1880439173447680*C1086_bit7 -3760878346895360*C1086_bit8 -7521756693790720*C1086_bit9 -15043513387581440*C1086_bit10 -30087026775162880*C1086_bit11 -60174053550325760*C1086_bit12 -119101764430*C1087_bit_7 -238203528860*C1087_bit_6 -476407057720*C1087_bit_5 -952814115440*C1087_bit_4 -1905628230880*C1087_bit_3 -3811256461760*C1087_bit_2 -7622512923520*C1087_bit_1 -15245025847040*C1087_bit0 -30490051694080*C1087_bit1 -60980103388160*C1087_bit2 -121960206776320*C1087_bit3 -243920413552640*C1087_bit4 -487840827105280*C1087_bit5 -975681654210560*C1087_bit6 -1951363308421120*C1087_bit7 -3902726616842240*C1087_bit8 -7805453233684480*C1087_bit9 -15610906467368960*C1087_bit10 -31221812934737920*C1087_bit11 -62443625869475840*C1087_bit12 -123167150015*C1088_bit_7 -246334300030*C1088_bit_6 -492668600060*C1088_bit_5 -985337200120*C1088_bit_4 -1970674400240*C1088_bit_3 -3941348800480*C1088_bit_2 -7882697600960*C1088_bit_1 -15765395201920*C1088_bit0 -31530790403840*C1088_bit1 -63061580807680*C1088_bit2 -126123161615360*C1088_bit3 -252246323230720*C1088_bit4 -504492646461440*C1088_bit5 -1008985292922880*C1088_bit6 -2017970585845760*C1088_bit7 -4035941171691520*C1088_bit8 -8071882343383040*C1088_bit9 -16143764686766080*C1088_bit10 -32287529373532160*C1088_bit11 -64575058747064320*C1088_bit12 -126966903680*C1089_bit_7 -253933807360*C1089_bit_6 -507867614720*C1089_bit_5 -1015735229440*C1089_bit_4 -2031470458880*C1089_bit_3 -4062940917760*C1089_bit_2 -8125881835520*C1089_bit_1 -16251763671040*C1089_bit0 -32503527342080*C1089_bit1 -65007054684160*C1089_bit2 -130014109368320*C1089_bit3 -260028218736640*C1089_bit4 -520056437473280*C1089_bit5 -1040112874946560*C1089_bit6 -2080225749893120*C1089_bit7 -4160451499786240*C1089_bit8 -8320902999572480*C1089_bit9 -16641805999144960*C1089_bit10 -33283611998289920*C1089_bit11 -66567223996579840*C1089_bit12 -130501453680*C1090_bit_7 -261002907360*C1090_bit_6 -522005814720*C1090_bit_5 -1044011629440*C1090_bit_4 -2088023258880*C1090_bit_3 -4176046517760*C1090_bit_2 -8352093035520*C1090_bit_1 -16704186071040*C1090_bit0 -33408372142080*C1090_bit1 -66816744284160*C1090_bit2 -133633488568320*C1090_bit3 -267266977136640*C1090_bit4 -534533954273280*C1090_bit5 -1069067908546560*C1090_bit6 -2138135817093120*C1090_bit7 -4276271634186240*C1090_bit8 -8552543268372480*C1090_bit9 -17105086536744960*C1090_bit10 -34210173073489920*C1090_bit11 -68420346146979840*C1090_bit12 -133773654385*C1091_bit_7 -267547308770*C1091_bit_6 -535094617540*C1091_bit_5 -1070189235080*C1091_bit_4 -2140378470160*C1091_bit_3 -4280756940320*C1091_bit_2 -8561513880640*C1091_bit_1 -17123027761280*C1091_bit0 -34246055522560*C1091_bit1 -68492111045120*C1091_bit2 -136984222090240*C1091_bit3 -273968444180480*C1091_bit4 -547936888360960*C1091_bit5 -1095873776721920*C1091_bit6 -2191747553443840*C1091_bit7 -4383495106887680*C1091_bit8 -8766990213775360*C1091_bit9 -17533980427550720*C1091_bit10 -35067960855101440*C1091_bit11 -70135921710202880*C1091_bit12 -136788632290*C1092_bit_7 -273577264580*C1092_bit_6 -547154529160*C1092_bit_5 -1094309058320*C1092_bit_4 -2188618116640*C1092_bit_3 -4377236233280*C1092_bit_2 -8754472466560*C1092_bit_1 -17508944933120*C1092_bit0 -35017889866240*C1092_bit1 -70035779732480*C1092_bit2 -140071559464960*C1092_bit3 -280143118929920*C1092_bit4 -560286237859840*C1092_bit5 -1120572475719680*C1092_bit6 -2241144951439360*C1092_bit7 -4482289902878720*C1092_bit8 -8964579805757440*C1092_bit9 -17929159611514880*C1092_bit10 -35858319223029760*C1092_bit11 -71716638446059520*C1092_bit12 -139553632030*C1093_bit_7 -279107264060*C1093_bit_6 -558214528120*C1093_bit_5 -1116429056240*C1093_bit_4 -2232858112480*C1093_bit_3 -4465716224960*C1093_bit_2 -8931432449920*C1093_bit_1 -17862864899840*C1093_bit0 -35725729799680*C1093_bit1 -71451459599360*C1093_bit2 -142902919198720*C1093_bit3 -285805838397440*C1093_bit4 -571611676794880*C1093_bit5 -1143223353589760*C1093_bit6 -2286446707179520*C1093_bit7 -4572893414359040*C1093_bit8 -9145786828718080*C1093_bit9 -18291573657436160*C1093_bit10 -36583147314872320*C1093_bit11 -73166294629744640*C1093_bit12 -142077862415*C1094_bit_7 -284155724830*C1094_bit_6 -568311449660*C1094_bit_5 -1136622899320*C1094_bit_4 -2273245798640*C1094_bit_3 -4546491597280*C1094_bit_2 -9092983194560*C1094_bit_1 -18185966389120*C1094_bit0 -36371932778240*C1094_bit1 -72743865556480*C1094_bit2 -145487731112960*C1094_bit3 -290975462225920*C1094_bit4 -581950924451840*C1094_bit5 -1163901848903680*C1094_bit6 -2327803697807360*C1094_bit7 -4655607395614720*C1094_bit8 -9311214791229440*C1094_bit9 -18622429582458880*C1094_bit10 -37244859164917760*C1094_bit11 -74489718329835520*C1094_bit12 -144372342415*C1095_bit_7 -288744684830*C1095_bit_6 -577489369660*C1095_bit_5 -1154978739320*C1095_bit_4 -2309957478640*C1095_bit_3 -4619914957280*C1095_bit_2 -9239829914560*C1095_bit_1 -18479659829120*C1095_bit0 -36959319658240*C1095_bit1 -73918639316480*C1095_bit2 -147837278632960*C1095_bit3 -295674557265920*C1095_bit4 -591349114531840*C1095_bit5 -1182698229063680*C1095_bit6 -2365396458127360*C1095_bit7 -4730792916254720*C1095_bit8 -9461585832509440*C1095_bit9 -18923171665018880*C1095_bit10 -37846343330037760*C1095_bit11 -75692686660075520*C1095_bit12 -146449747200*C1096_bit_7 -292899494400*C1096_bit_6 -585798988800*C1096_bit_5 -1171597977600*C1096_bit_4 -2343195955200*C1096_bit_3 -4686391910400*C1096_bit_2 -9372783820800*C1096_bit_1 -18745567641600*C1096_bit0 -37491135283200*C1096_bit1 -74982270566400*C1096_bit2 -149964541132800*C1096_bit3 -299929082265600*C1096_bit4 -599858164531200*C1096_bit5 -1199716329062400*C1096_bit6 -2399432658124800*C1096_bit7 -4798865316249600*C1096_bit8 -9597730632499200*C1096_bit9 -19195461264998400*C1096_bit10 -38390922529996800*C1096_bit11 -76781845059993600*C1096_bit12 -148324254145*C1097_bit_7 -296648508290*C1097_bit_6 -593297016580*C1097_bit_5 -1186594033160*C1097_bit_4 -2373188066320*C1097_bit_3 -4746376132640*C1097_bit_2 -9492752265280*C1097_bit_1 -18985504530560*C1097_bit0 -37971009061120*C1097_bit1 -75942018122240*C1097_bit2 -151884036244480*C1097_bit3 -303768072488960*C1097_bit4 -607536144977920*C1097_bit5 -1215072289955840*C1097_bit6 -2430144579911680*C1097_bit7 -4860289159823360*C1097_bit8 -9720578319646720*C1097_bit9 -19441156639293440*C1097_bit10 -38882313278586880*C1097_bit11 -77764626557173760*C1097_bit12 -150011388850*C1098_bit_7 -300022777700*C1098_bit_6 -600045555400*C1098_bit_5 -1200091110800*C1098_bit_4 -2400182221600*C1098_bit_3 -4800364443200*C1098_bit_2 -9600728886400*C1098_bit_1 -19201457772800*C1098_bit0 -38402915545600*C1098_bit1 -76805831091200*C1098_bit2 -153611662182400*C1098_bit3 -307223324364800*C1098_bit4 -614446648729600*C1098_bit5 -1228893297459200*C1098_bit6 -2457786594918400*C1098_bit7 -4915573189836800*C1098_bit8 -9831146379673600*C1098_bit9 -19662292759347200*C1098_bit10 -39324585518694400*C1098_bit11 -78649171037388800*C1098_bit12 -151527871150*C1099_bit_7 -303055742300*C1099_bit_6 -606111484600*C1099_bit_5 -1212222969200*C1099_bit_4 -2424445938400*C1099_bit_3 -4848891876800*C1099_bit_2 -9697783753600*C1099_bit_1 -19395567507200*C1099_bit0 -38791135014400*C1099_bit1 -77582270028800*C1099_bit2 -155164540057600*C1099_bit3 -310329080115200*C1099_bit4 -620658160230400*C1099_bit5 -1241316320460800*C1099_bit6 -2482632640921600*C1099_bit7 -4965265281843200*C1099_bit8 -9930530563686400*C1099_bit9 -19861061127372800*C1099_bit10 -39722122254745600*C1099_bit11 -79444244509491200*C1099_bit12 -152891461150*C1100_bit_7 -305782922300*C1100_bit_6 -611565844600*C1100_bit_5 -1223131689200*C1100_bit_4 -2446263378400*C1100_bit_3 -4892526756800*C1100_bit_2 -9785053513600*C1100_bit_1 -19570107027200*C1100_bit0 -39140214054400*C1100_bit1 -78280428108800*C1100_bit2 -156560856217600*C1100_bit3 -313121712435200*C1100_bit4 -626243424870400*C1100_bit5 -1252486849740800*C1100_bit6 -2504973699481600*C1100_bit7 -5009947398963200*C1100_bit8 -10019894797926400*C1100_bit9 -20039789595852800*C1100_bit10 -40079579191705600*C1100_bit11 -80159158383411200*C1100_bit12 -154120805215*C1101_bit_7 -308241610430*C1101_bit_6 -616483220860*C1101_bit_5 -1232966441720*C1101_bit_4 -2465932883440*C1101_bit_3 -4931865766880*C1101_bit_2 -9863731533760*C1101_bit_1 -19727463067520*C1101_bit0 -39454926135040*C1101_bit1 -78909852270080*C1101_bit2 -157819704540160*C1101_bit3 -315639409080320*C1101_bit4 -631278818160640*C1101_bit5 -1262557636321280*C1101_bit6 -2525115272642560*C1101_bit7 -5050230545285120*C1101_bit8 -10100461090570240*C1101_bit9 -20200922181140480*C1101_bit10 -40401844362280960*C1101_bit11 -80803688724561920*C1101_bit12 -155235282000*C1102_bit_7 -310470564000*C1102_bit_6 -620941128000*C1102_bit_5 -1241882256000*C1102_bit_4 -2483764512000*C1102_bit_3 -4967529024000*C1102_bit_2 -9935058048000*C1102_bit_1 -19870116096000*C1102_bit0 -39740232192000*C1102_bit1 -79480464384000*C1102_bit2 -158960928768000*C1102_bit3 -317921857536000*C1102_bit4 -635843715072000*C1102_bit5 -1271687430144000*C1102_bit6 -2543374860288000*C1102_bit7 -5086749720576000*C1102_bit8 -10173499441152000*C1102_bit9 -20346998882304000*C1102_bit10 -40693997764608000*C1102_bit11 -81387995529216000*C1102_bit12 -156254848465*C1103_bit_7 -312509696930*C1103_bit_6 -625019393860*C1103_bit_5 -1250038787720*C1103_bit_4 -2500077575440*C1103_bit_3 -5000155150880*C1103_bit_2 -10000310301760*C1103_bit_1 -20000620603520*C1103_bit0 -40001241207040*C1103_bit1 -80002482414080*C1103_bit2 -160004964828160*C1103_bit3 -320009929656320*C1103_bit4 -640019859312640*C1103_bit5 -1280039718625280*C1103_bit6 -2560079437250560*C1103_bit7 -5120158874501120*C1103_bit8 -10240317749002240*C1103_bit9 -20480635498004480*C1103_bit10 -40961270996008960*C1103_bit11 -81922541992017920*C1103_bit12 -157199885890*C1104_bit_7 -314399771780*C1104_bit_6 -628799543560*C1104_bit_5 -1257599087120*C1104_bit_4 -2515198174240*C1104_bit_3 -5030396348480*C1104_bit_2 -10060792696960*C1104_bit_1 -20121585393920*C1104_bit0 -40243170787840*C1104_bit1 -80486341575680*C1104_bit2 -160972683151360*C1104_bit3 -321945366302720*C1104_bit4 -643890732605440*C1104_bit5 -1287781465210880*C1104_bit6 -2575562930421760*C1104_bit7 -5151125860843520*C1104_bit8 -10302251721687040*C1104_bit9 -20604503443374080*C1104_bit10 -41209006886748160*C1104_bit11 -82418013773496320*C1104_bit12 -158091045890*C1105_bit_7 -316182091780*C1105_bit_6 -632364183560*C1105_bit_5 -1264728367120*C1105_bit_4 -2529456734240*C1105_bit_3 -5058913468480*C1105_bit_2 -10117826936960*C1105_bit_1 -20235653873920*C1105_bit0 -40471307747840*C1105_bit1 -80942615495680*C1105_bit2 -161885230991360*C1105_bit3 -323770461982720*C1105_bit4 -647540923965440*C1105_bit5 -1295081847930880*C1105_bit6 -2590163695861760*C1105_bit7 -5180327391723520*C1105_bit8 -10360654783447040*C1105_bit9 -20721309566894080*C1105_bit10 -41442619133788160*C1105_bit11 -82885238267576320*C1105_bit12 -158949096430*C1106_bit_7 -317898192860*C1106_bit_6 -635796385720*C1106_bit_5 -1271592771440*C1106_bit_4 -2543185542880*C1106_bit_3 -5086371085760*C1106_bit_2 -10172742171520*C1106_bit_1 -20345484343040*C1106_bit0 -40690968686080*C1106_bit1 -81381937372160*C1106_bit2 -162763874744320*C1106_bit3 -325527749488640*C1106_bit4 -651055498977280*C1106_bit5 -1302110997954560*C1106_bit6 -2604221995909120*C1106_bit7 -5208443991818240*C1106_bit8 -10416887983636480*C1106_bit9 -20833775967272960*C1106_bit10 -41667551934545920*C1106_bit11 -83335103869091840*C1106_bit12 -159794767855*C1107_bit_7 -319589535710*C1107_bit_6 -639179071420*C1107_bit_5 -1278358142840*C1107_bit_4 -2556716285680*C1107_bit_3 -5113432571360*C1107_bit_2 -10226865142720*C1107_bit_1 -20453730285440*C1107_bit0 -40907460570880*C1107_bit1 -81814921141760*C1107_bit2 -163629842283520*C1107_bit3 -327259684567040*C1107_bit4 -654519369134080*C1107_bit5 -1309038738268160*C1107_bit6 -2618077476536320*C1107_bit7 -5236154953072640*C1107_bit8 -10472309906145280*C1107_bit9 -20944619812290560*C1107_bit10 -41889239624581120*C1107_bit11 -83778479249162240*C1107_bit12 -160648598880*C1108_bit_7 -321297197760*C1108_bit_6 -642594395520*C1108_bit_5 -1285188791040*C1108_bit_4 -2570377582080*C1108_bit_3 -5140755164160*C1108_bit_2 -10281510328320*C1108_bit_1 -20563020656640*C1108_bit0 -41126041313280*C1108_bit1 -82252082626560*C1108_bit2 -164504165253120*C1108_bit3 -329008330506240*C1108_bit4 -658016661012480*C1108_bit5 -1316033322024960*C1108_bit6 -2632066644049920*C1108_bit7 -5264133288099840*C1108_bit8 -10528266576199680*C1108_bit9 -21056533152399360*C1108_bit10 -42113066304798720*C1108_bit11 -84226132609597440*C1108_bit12 -161530782625*C1109_bit_7 -323061565250*C1109_bit_6 -646123130500*C1109_bit_5 -1292246261000*C1109_bit_4 -2584492522000*C1109_bit_3 -5168985044000*C1109_bit_2 -10337970088000*C1109_bit_1 -20675940176000*C1109_bit0 -41351880352000*C1109_bit1 -82703760704000*C1109_bit2 -165407521408000*C1109_bit3 -330815042816000*C1109_bit4 -661630085632000*C1109_bit5 -1323260171264000*C1109_bit6 -2646520342528000*C1109_bit7 -5293040685056000*C1109_bit8 -10586081370112000*C1109_bit9 -21172162740224000*C1109_bit10 -42344325480448000*C1109_bit11 -84688650960896000*C1109_bit12 -162461012625*C1110_bit_7 -324922025250*C1110_bit_6 -649844050500*C1110_bit_5 -1299688101000*C1110_bit_4 -2599376202000*C1110_bit_3 -5198752404000*C1110_bit_2 -10397504808000*C1110_bit_1 -20795009616000*C1110_bit0 -41590019232000*C1110_bit1 -83180038464000*C1110_bit2 -166360076928000*C1110_bit3 -332720153856000*C1110_bit4 -665440307712000*C1110_bit5 -1330880615424000*C1110_bit6 -2661761230848000*C1110_bit7 -5323522461696000*C1110_bit8 -10647044923392000*C1110_bit9 -21294089846784000*C1110_bit10 -42588179693568000*C1110_bit11 -85176359387136000*C1110_bit12 -163458328850*C1111_bit_7 -326916657700*C1111_bit_6 -653833315400*C1111_bit_5 -1307666630800*C1111_bit_4 -2615333261600*C1111_bit_3 -5230666523200*C1111_bit_2 -10461333046400*C1111_bit_1 -20922666092800*C1111_bit0 -41845332185600*C1111_bit1 -83690664371200*C1111_bit2 -167381328742400*C1111_bit3 -334762657484800*C1111_bit4 -669525314969600*C1111_bit5 -1339050629939200*C1111_bit6 -2678101259878400*C1111_bit7 -5356202519756800*C1111_bit8 -10712405039513600*C1111_bit9 -21424810079027200*C1111_bit10 -42849620158054400*C1111_bit11 -85699240316108800*C1111_bit12 -164540963710*C1112_bit_7 -329081927420*C1112_bit_6 -658163854840*C1112_bit_5 -1316327709680*C1112_bit_4 -2632655419360*C1112_bit_3 -5265310838720*C1112_bit_2 -10530621677440*C1112_bit_1 -21061243354880*C1112_bit0 -42122486709760*C1112_bit1 -84244973419520*C1112_bit2 -168489946839040*C1112_bit3 -336979893678080*C1112_bit4 -673959787356160*C1112_bit5 -1347919574712320*C1112_bit6 -2695839149424640*C1112_bit7 -5391678298849280*C1112_bit8 -10783356597698560*C1112_bit9 -21566713195397120*C1112_bit10 -43133426390794240*C1112_bit11 -86266852781588480*C1112_bit12 -165726188095*C1113_bit_7 -331452376190*C1113_bit_6 -662904752380*C1113_bit_5 -1325809504760*C1113_bit_4 -2651619009520*C1113_bit_3 -5303238019040*C1113_bit_2 -10606476038080*C1113_bit_1 -21212952076160*C1113_bit0 -42425904152320*C1113_bit1 -84851808304640*C1113_bit2 -169703616609280*C1113_bit3 -339407233218560*C1113_bit4 -678814466437120*C1113_bit5 -1357628932874240*C1113_bit6 -2715257865748480*C1113_bit7 -5430515731496960*C1113_bit8 -10861031462993920*C1113_bit9 -21722062925987840*C1113_bit10 -43444125851975680*C1113_bit11 -86888251703951360*C1113_bit12 -167030157360*C1114_bit_7 -334060314720*C1114_bit_6 -668120629440*C1114_bit_5 -1336241258880*C1114_bit_4 -2672482517760*C1114_bit_3 -5344965035520*C1114_bit_2 -10689930071040*C1114_bit_1 -21379860142080*C1114_bit0 -42759720284160*C1114_bit1 -85519440568320*C1114_bit2 -171038881136640*C1114_bit3 -342077762273280*C1114_bit4 -684155524546560*C1114_bit5 -1368311049093120*C1114_bit6 -2736622098186240*C1114_bit7 -5473244196372480*C1114_bit8 -10946488392744960*C1114_bit9 -21892976785489920*C1114_bit10 -43785953570979840*C1114_bit11 -87571907141959680*C1114_bit12 -168467757360*C1115_bit_7 -336935514720*C1115_bit_6 -673871029440*C1115_bit_5 -1347742058880*C1115_bit_4 -2695484117760*C1115_bit_3 -5390968235520*C1115_bit_2 -10781936471040*C1115_bit_1 -21563872942080*C1115_bit0 -43127745884160*C1115_bit1 -86255491768320*C1115_bit2 -172510983536640*C1115_bit3 -345021967073280*C1115_bit4 -690043934146560*C1115_bit5 -1380087868293120*C1115_bit6 -2760175736586240*C1115_bit7 -5520351473172480*C1115_bit8 -11040702946344960*C1115_bit9 -22081405892689920*C1115_bit10 -44162811785379840*C1115_bit11 -88325623570759680*C1115_bit12 -170052450465*C1116_bit_7 -340104900930*C1116_bit_6 -680209801860*C1116_bit_5 -1360419603720*C1116_bit_4 -2720839207440*C1116_bit_3 -5441678414880*C1116_bit_2 -10883356829760*C1116_bit_1 -21766713659520*C1116_bit0 -43533427319040*C1116_bit1 -87066854638080*C1116_bit2 -174133709276160*C1116_bit3 -348267418552320*C1116_bit4 -696534837104640*C1116_bit5 -1393069674209280*C1116_bit6 -2786139348418560*C1116_bit7 -5572278696837120*C1116_bit8 -11144557393674240*C1116_bit9 -22289114787348480*C1116_bit10 -44578229574696960*C1116_bit11 -89156459149393920*C1116_bit12 -171796121570*C1117_bit_7 -343592243140*C1117_bit_6 -687184486280*C1117_bit_5 -1374368972560*C1117_bit_4 -2748737945120*C1117_bit_3 -5497475890240*C1117_bit_2 -10994951780480*C1117_bit_1 -21989903560960*C1117_bit0 -43979807121920*C1117_bit1 -87959614243840*C1117_bit2 -175919228487680*C1117_bit3 -351838456975360*C1117_bit4 -703676913950720*C1117_bit5 -1407353827901440*C1117_bit6 -2814707655802880*C1117_bit7 -5629415311605760*C1117_bit8 -11258830623211520*C1117_bit9 -22517661246423040*C1117_bit10 -45035322492846080*C1117_bit11 -90070644985692160*C1117_bit12 -173708924110*C1118_bit_7 -347417848220*C1118_bit_6 -694835696440*C1118_bit_5 -1389671392880*C1118_bit_4 -2779342785760*C1118_bit_3 -5558685571520*C1118_bit_2 -11117371143040*C1118_bit_1 -22234742286080*C1118_bit0 -44469484572160*C1118_bit1 -88938969144320*C1118_bit2 -177877938288640*C1118_bit3 -355755876577280*C1118_bit4 -711511753154560*C1118_bit5 -1423023506309120*C1118_bit6 -2846047012618240*C1118_bit7 -5692094025236480*C1118_bit8 -11384188050472960*C1118_bit9 -22768376100945920*C1118_bit10 -45536752201891840*C1118_bit11 -91073504403783680*C1118_bit12 -175799126095*C1119_bit_7 -351598252190*C1119_bit_6 -703196504380*C1119_bit_5 -1406393008760*C1119_bit_4 -2812786017520*C1119_bit_3 -5625572035040*C1119_bit_2 -11251144070080*C1119_bit_1 -22502288140160*C1119_bit0 -45004576280320*C1119_bit1 -90009152560640*C1119_bit2 -180018305121280*C1119_bit3 -360036610242560*C1119_bit4 -720073220485120*C1119_bit5 -1440146440970240*C1119_bit6 -2880292881940480*C1119_bit7 -5760585763880960*C1119_bit8 -11521171527761920*C1119_bit9 -23042343055523840*C1119_bit10 -46084686111047680*C1119_bit11 -92169372222095360*C1119_bit12 -178072956095*C1120_bit_7 -356145912190*C1120_bit_6 -712291824380*C1120_bit_5 -1424583648760*C1120_bit_4 -2849167297520*C1120_bit_3 -5698334595040*C1120_bit_2 -11396669190080*C1120_bit_1 -22793338380160*C1120_bit0 -45586676760320*C1120_bit1 -91173353520640*C1120_bit2 -182346707041280*C1120_bit3 -364693414082560*C1120_bit4 -729386828165120*C1120_bit5 -1458773656330240*C1120_bit6 -2917547312660480*C1120_bit7 -5835094625320960*C1120_bit8 -11670189250641920*C1120_bit9 -23340378501283840*C1120_bit10 -46680757002567680*C1120_bit11 -93361514005135360*C1120_bit12 -180534449280*C1121_bit_7 -361068898560*C1121_bit_6 -722137797120*C1121_bit_5 -1444275594240*C1121_bit_4 -2888551188480*C1121_bit_3 -5777102376960*C1121_bit_2 -11554204753920*C1121_bit_1 -23108409507840*C1121_bit0 -46216819015680*C1121_bit1 -92433638031360*C1121_bit2 -184867276062720*C1121_bit3 -369734552125440*C1121_bit4 -739469104250880*C1121_bit5 -1478938208501760*C1121_bit6 -2957876417003520*C1121_bit7 -5915752834007040*C1121_bit8 -11831505668014080*C1121_bit9 -23663011336028160*C1121_bit10 -47326022672056320*C1121_bit11 -94652045344112640*C1121_bit12 -183185293425*C1122_bit_7 -366370586850*C1122_bit_6 -732741173700*C1122_bit_5 -1465482347400*C1122_bit_4 -2930964694800*C1122_bit_3 -5861929389600*C1122_bit_2 -11723858779200*C1122_bit_1 -23447717558400*C1122_bit0 -46895435116800*C1122_bit1 -93790870233600*C1122_bit2 -187581740467200*C1122_bit3 -375163480934400*C1122_bit4 -750326961868800*C1122_bit5 -1500653923737600*C1122_bit6 -3001307847475200*C1122_bit7 -6002615694950400*C1122_bit8 -12005231389900800*C1122_bit9 -24010462779801600*C1122_bit10 -48020925559603200*C1122_bit11 -96041851119206400*C1122_bit12 -186024674930*C1123_bit_7 -372049349860*C1123_bit_6 -744098699720*C1123_bit_5 -1488197399440*C1123_bit_4 -2976394798880*C1123_bit_3 -5952789597760*C1123_bit_2 -11905579195520*C1123_bit_1 -23811158391040*C1123_bit0 -47622316782080*C1123_bit1 -95244633564160*C1123_bit2 -190489267128320*C1123_bit3 -380978534256640*C1123_bit4 -761957068513280*C1123_bit5 -1523914137026560*C1123_bit6 -3047828274053120*C1123_bit7 -6095656548106240*C1123_bit8 -12191313096212480*C1123_bit9 -24382626192424960*C1123_bit10 -48765252384849920*C1123_bit11 -97530504769699840*C1123_bit12 -189049124830*C1124_bit_7 -378098249660*C1124_bit_6 -756196499320*C1124_bit_5 -1512392998640*C1124_bit_4 -3024785997280*C1124_bit_3 -6049571994560*C1124_bit_2 -12099143989120*C1124_bit_1 -24198287978240*C1124_bit0 -48396575956480*C1124_bit1 -96793151912960*C1124_bit2 -193586303825920*C1124_bit3 -387172607651840*C1124_bit4 -774345215303680*C1124_bit5 -1548690430607360*C1124_bit6 -3097380861214720*C1124_bit7 -6194761722429440*C1124_bit8 -12389523444858880*C1124_bit9 -24779046889717760*C1124_bit10 -49558093779435520*C1124_bit11 -99116187558871040*C1124_bit12 -192252364830*C1125_bit_7 -384504729660*C1125_bit_6 -769009459320*C1125_bit_5 -1538018918640*C1125_bit_4 -3076037837280*C1125_bit_3 -6152075674560*C1125_bit_2 -12304151349120*C1125_bit_1 -24608302698240*C1125_bit0 -49216605396480*C1125_bit1 -98433210792960*C1125_bit2 -196866421585920*C1125_bit3 -393732843171840*C1125_bit4 -787465686343680*C1125_bit5 -1574931372687360*C1125_bit6 -3149862745374720*C1125_bit7 -6299725490749440*C1125_bit8 -12599450981498880*C1125_bit9 -25198901962997760*C1125_bit10 -50397803925995520*C1125_bit11 -100795607851991040*C1125_bit12 -195625153295*C1126_bit_7 -391250306590*C1126_bit_6 -782500613180*C1126_bit_5 -1565001226360*C1126_bit_4 -3130002452720*C1126_bit_3 -6260004905440*C1126_bit_2 -12520009810880*C1126_bit_1 -25040019621760*C1126_bit0 -50080039243520*C1126_bit1 -100160078487040*C1126_bit2 -200320156974080*C1126_bit3 -400640313948160*C1126_bit4 -801280627896320*C1126_bit5 -1602561255792640*C1126_bit6 -3205122511585280*C1126_bit7 -6410245023170560*C1126_bit8 -12820490046341120*C1126_bit9 -25640980092682240*C1126_bit10 -51281960185364480*C1126_bit11 -102563920370728960*C1126_bit12 -199155131280*C1127_bit_7 -398310262560*C1127_bit_6 -796620525120*C1127_bit_5 -1593241050240*C1127_bit_4 -3186482100480*C1127_bit_3 -6372964200960*C1127_bit_2 -12745928401920*C1127_bit_1 -25491856803840*C1127_bit0 -50983713607680*C1127_bit1 -101967427215360*C1127_bit2 -203934854430720*C1127_bit3 -407869708861440*C1127_bit4 -815739417722880*C1127_bit5 -1631478835445760*C1127_bit6 -3262957670891520*C1127_bit7 -6525915341783040*C1127_bit8 -13051830683566080*C1127_bit9 -26103661367132160*C1127_bit10 -52207322734264320*C1127_bit11 -104414645468528640*C1127_bit12 -202826668545*C1128_bit_7 -405653337090*C1128_bit_6 -811306674180*C1128_bit_5 -1622613348360*C1128_bit_4 -3245226696720*C1128_bit_3 -6490453393440*C1128_bit_2 -12980906786880*C1128_bit_1 -25961813573760*C1128_bit0 -51923627147520*C1128_bit1 -103847254295040*C1128_bit2 -207694508590080*C1128_bit3 -415389017180160*C1128_bit4 -830778034360320*C1128_bit5 -1661556068720640*C1128_bit6 -3323112137441280*C1128_bit7 -6646224274882560*C1128_bit8 -13292448549765120*C1128_bit9 -26584897099530240*C1128_bit10 -53169794199060480*C1128_bit11 -106339588398120960*C1128_bit12 -206620709570*C1129_bit_7 -413241419140*C1129_bit_6 -826482838280*C1129_bit_5 -1652965676560*C1129_bit_4 -3305931353120*C1129_bit_3 -6611862706240*C1129_bit_2 -13223725412480*C1129_bit_1 -26447450824960*C1129_bit0 -52894901649920*C1129_bit1 -105789803299840*C1129_bit2 -211579606599680*C1129_bit3 -423159213199360*C1129_bit4 -846318426398720*C1129_bit5 -1692636852797440*C1129_bit6 -3385273705594880*C1129_bit7 -6770547411189760*C1129_bit8 -13541094822379520*C1129_bit9 -27082189644759040*C1129_bit10 -54164379289518080*C1129_bit11 -108328758579036160*C1129_bit12 -210514619570*C1130_bit_7 -421029239140*C1130_bit_6 -842058478280*C1130_bit_5 -1684116956560*C1130_bit_4 -3368233913120*C1130_bit_3 -6736467826240*C1130_bit_2 -13472935652480*C1130_bit_1 -26945871304960*C1130_bit0 -53891742609920*C1130_bit1 -107783485219840*C1130_bit2 -215566970439680*C1130_bit3 -431133940879360*C1130_bit4 -862267881758720*C1130_bit5 -1724535763517440*C1130_bit6 -3449071527034880*C1130_bit7 -6898143054069760*C1130_bit8 -13796286108139520*C1130_bit9 -27592572216279040*C1130_bit10 -55185144432558080*C1130_bit11 -110370288865116160*C1130_bit12 -214482030510*C1131_bit_7 -428964061020*C1131_bit_6 -857928122040*C1131_bit_5 -1715856244080*C1131_bit_4 -3431712488160*C1131_bit_3 -6863424976320*C1131_bit_2 -13726849952640*C1131_bit_1 -27453699905280*C1131_bit0 -54907399810560*C1131_bit1 -109814799621120*C1131_bit2 -219629599242240*C1131_bit3 -439259198484480*C1131_bit4 -878518396968960*C1131_bit5 -1757036793937920*C1131_bit6 -3514073587875840*C1131_bit7 -7028147175751680*C1131_bit8 -14056294351503360*C1131_bit9 -28112588703006720*C1131_bit10 -56225177406013440*C1131_bit11 -112450354812026880*C1131_bit12 -218492687135*C1132_bit_7 -436985374270*C1132_bit_6 -873970748540*C1132_bit_5 -1747941497080*C1132_bit_4 -3495882994160*C1132_bit_3 -6991765988320*C1132_bit_2 -13983531976640*C1132_bit_1 -27967063953280*C1132_bit0 -55934127906560*C1132_bit1 -111868255813120*C1132_bit2 -223736511626240*C1132_bit3 -447473023252480*C1132_bit4 -894946046504960*C1132_bit5 -1789892093009920*C1132_bit6 -3579784186019840*C1132_bit7 -7159568372039680*C1132_bit8 -14319136744079360*C1132_bit9 -28638273488158720*C1132_bit10 -57276546976317440*C1132_bit11 -114553093952634880*C1132_bit12 -222512292960*C1133_bit_7 -445024585920*C1133_bit_6 -890049171840*C1133_bit_5 -1780098343680*C1133_bit_4 -3560196687360*C1133_bit_3 -7120393374720*C1133_bit_2 -14240786749440*C1133_bit_1 -28481573498880*C1133_bit0 -56963146997760*C1133_bit1 -113926293995520*C1133_bit2 -227852587991040*C1133_bit3 -455705175982080*C1133_bit4 -911410351964160*C1133_bit5 -1822820703928320*C1133_bit6 -3645641407856640*C1133_bit7 -7291282815713280*C1133_bit8 -14582565631426560*C1133_bit9 -29165131262853120*C1133_bit10 -58330262525706240*C1133_bit11 -116660525051412480*C1133_bit12 -226502356305*C1134_bit_7 -453004712610*C1134_bit_6 -906009425220*C1134_bit_5 -1812018850440*C1134_bit_4 -3624037700880*C1134_bit_3 -7248075401760*C1134_bit_2 -14496150803520*C1134_bit_1 -28992301607040*C1134_bit0 -57984603214080*C1134_bit1 -115969206428160*C1134_bit2 -231938412856320*C1134_bit3 -463876825712640*C1134_bit4 -927753651425280*C1134_bit5 -1855507302850560*C1134_bit6 -3711014605701120*C1134_bit7 -7422029211402240*C1134_bit8 -14844058422804480*C1134_bit9 -29688116845608960*C1134_bit10 -59376233691217920*C1134_bit11 -118752467382435840*C1134_bit12 -230420036305*C1135_bit_7 -460840072610*C1135_bit_6 -921680145220*C1135_bit_5 -1843360290440*C1135_bit_4 -3686720580880*C1135_bit_3 -7373441161760*C1135_bit_2 -14746882323520*C1135_bit_1 -29493764647040*C1135_bit0 -58987529294080*C1135_bit1 -117975058588160*C1135_bit2 -235950117176320*C1135_bit3 -471900234352640*C1135_bit4 -943800468705280*C1135_bit5 -1887600937410560*C1135_bit6 -3775201874821120*C1135_bit7 -7550403749642240*C1135_bit8 -15100807499284480*C1135_bit9 -30201614998568960*C1135_bit10 -60403229997137920*C1135_bit11 -120806459994275840*C1135_bit12 -234217988930*C1136_bit_7 -468435977860*C1136_bit_6 -936871955720*C1136_bit_5 -1873743911440*C1136_bit_4 -3747487822880*C1136_bit_3 -7494975645760*C1136_bit_2 -14989951291520*C1136_bit_1 -29979902583040*C1136_bit0 -59959805166080*C1136_bit1 -119919610332160*C1136_bit2 -239839220664320*C1136_bit3 -479678441328640*C1136_bit4 -959356882657280*C1136_bit5 -1918713765314560*C1136_bit6 -3837427530629120*C1136_bit7 -7674855061258240*C1136_bit8 -15349710122516480*C1136_bit9 -30699420245032960*C1136_bit10 -61398840490065920*C1136_bit11 -122797680980131840*C1136_bit12 -237844212990*C1137_bit_7 -475688425980*C1137_bit_6 -951376851960*C1137_bit_5 -1902753703920*C1137_bit_4 -3805507407840*C1137_bit_3 -7611014815680*C1137_bit_2 -15222029631360*C1137_bit_1 -30444059262720*C1137_bit0 -60888118525440*C1137_bit1 -121776237050880*C1137_bit2 -243552474101760*C1137_bit3 -487104948203520*C1137_bit4 -974209896407040*C1137_bit5 -1948419792814080*C1137_bit6 -3896839585628160*C1137_bit7 -7793679171256320*C1137_bit8 -15587358342512640*C1137_bit9 -31174716685025280*C1137_bit10 -62349433370050560*C1137_bit11 -124698866740101120*C1137_bit12 -241241896175*C1138_bit_7 -482483792350*C1138_bit_6 -964967584700*C1138_bit_5 -1929935169400*C1138_bit_4 -3859870338800*C1138_bit_3 -7719740677600*C1138_bit_2 -15439481355200*C1138_bit_1 -30878962710400*C1138_bit0 -61757925420800*C1138_bit1 -123515850841600*C1138_bit2 -247031701683200*C1138_bit3 -494063403366400*C1138_bit4 -988126806732800*C1138_bit5 -1976253613465600*C1138_bit6 -3952507226931200*C1138_bit7 -7905014453862400*C1138_bit8 -15810028907724800*C1138_bit9 -31620057815449600*C1138_bit10 -63240115630899200*C1138_bit11 -126480231261798400*C1138_bit12 -244349261040*C1139_bit_7 -488698522080*C1139_bit_6 -977397044160*C1139_bit_5 -1954794088320*C1139_bit_4 -3909588176640*C1139_bit_3 -7819176353280*C1139_bit_2 -15638352706560*C1139_bit_1 -31276705413120*C1139_bit0 -62553410826240*C1139_bit1 -125106821652480*C1139_bit2 -250213643304960*C1139_bit3 -500427286609920*C1139_bit4 -1000854573219840*C1139_bit5 -2001709146439680*C1139_bit6 -4003418292879360*C1139_bit7 -8006836585758720*C1139_bit8 -16013673171517440*C1139_bit9 -32027346343034880*C1139_bit10 -64054692686069760*C1139_bit11 -128109385372139520*C1139_bit12 -247099411040*C1140_bit_7 -494198822080*C1140_bit_6 -988397644160*C1140_bit_5 -1976795288320*C1140_bit_4 -3953590576640*C1140_bit_3 -7907181153280*C1140_bit_2 -15814362306560*C1140_bit_1 -31628724613120*C1140_bit0 -63257449226240*C1140_bit1 -126514898452480*C1140_bit2 -253029796904960*C1140_bit3 -506059593809920*C1140_bit4 -1012119187619840*C1140_bit5 -2024238375239680*C1140_bit6 -4048476750479360*C1140_bit7 -8096953500958720*C1140_bit8 -16193907001917440*C1140_bit9 -32387814003834880*C1140_bit10 -64775628007669760*C1140_bit11 -129551256015339520*C1140_bit12 -249420176545*C1141_bit_7 -498840353090*C1141_bit_6 -997680706180*C1141_bit_5 -1995361412360*C1141_bit_4 -3990722824720*C1141_bit_3 -7981445649440*C1141_bit_2 -15962891298880*C1141_bit_1 -31925782597760*C1141_bit0 -63851565195520*C1141_bit1 -127703130391040*C1141_bit2 -255406260782080*C1141_bit3 -510812521564160*C1141_bit4 -1021625043128320*C1141_bit5 -2043250086256640*C1141_bit6 -4086500172513280*C1141_bit7 -8173000345026560*C1141_bit8 -16346000690053120*C1141_bit9 -32692001380106240*C1141_bit10 -65384002760212480*C1141_bit11 -130768005520424960*C1141_bit12 -251233960850*C1142_bit_7 -502467921700*C1142_bit_6 -1004935843400*C1142_bit_5 -2009871686800*C1142_bit_4 -4019743373600*C1142_bit_3 -8039486747200*C1142_bit_2 -16078973494400*C1142_bit_1 -32157946988800*C1142_bit0 -64315893977600*C1142_bit1 -128631787955200*C1142_bit2 -257263575910400*C1142_bit3 -514527151820800*C1142_bit4 -1029054303641600*C1142_bit5 -2058108607283200*C1142_bit6 -4116217214566400*C1142_bit7 -8232434429132800*C1142_bit8 -16464868858265600*C1142_bit9 -32929737716531200*C1142_bit10 -65859475433062400*C1142_bit11 -131718950866124800*C1142_bit12 -252457586190*C1143_bit_7 -504915172380*C1143_bit_6 -1009830344760*C1143_bit_5 -2019660689520*C1143_bit_4 -4039321379040*C1143_bit_3 -8078642758080*C1143_bit_2 -16157285516160*C1143_bit_1 -32314571032320*C1143_bit0 -64629142064640*C1143_bit1 -129258284129280*C1143_bit2 -258516568258560*C1143_bit3 -517033136517120*C1143_bit4 -1034066273034240*C1143_bit5 -2068132546068480*C1143_bit6 -4136265092136960*C1143_bit7 -8272530184273920*C1143_bit8 -16545060368547840*C1143_bit9 -33090120737095680*C1143_bit10 -66180241474191360*C1143_bit11 -132360482948382720*C1143_bit12 -2722767920*C1144_bit_7 -5445535840*C1144_bit_6 -10891071680*C1144_bit_5 -21782143360*C1144_bit_4 -43564286720*C1144_bit_3 -87128573440*C1144_bit_2 -174257146880*C1144_bit_1 >= -16000000000000;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.11 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/55 22613
Raw data (stat): 22613 (runsolver) R 22612 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 788359758 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+0.1775 s]
Raw data (loadavg): 0.93 0.98 0.99 1/54 22613
Raw data (stat): 22613 (runsolver) R 22612 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 788359758 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 0

Child status: 0
Real time (s): 0.17692
CPU time (s): 0.138978
CPU user time (s): 0.092985
CPU system time (s): 0.045993
CPU usage (%): 78.5541
Max. virtual memory (Kb): 1032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####