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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos3.opb
MD5SUMaa121475b5e53120a1d24de3f0361b26
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 155
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 10737418235
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 2454208150643933184000
Number of bits of the biggest number in a constraint 72
Biggest sum of numbers in a constraint 289272765430218954375168
Number of bits of the biggest sum of numbers78
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.404937
Number of variables42220
Total number of constraints2841
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1377
Number of constraints which are nor clauses,nor cardinality constraints1464
Minimum length of a constraint1
Maximum length of a constraint4780

Trace number 28057 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 00:35:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14678 boxname=wulflinc7 idbench=1130 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  aa121475b5e53120a1d24de3f0361b26  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-neos3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-neos3.opb
IDLAUNCH: 14678
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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.050
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:        333172 kB
Buffers:         36108 kB
Cached:         643656 kB
SwapCached:        100 kB
Active:         164492 kB
Inactive:       517984 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        332920 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13292 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:35:12 (client local time) WITH STATUS 0 IN 0.130979 SECONDS
stats: 14678 7 0.130979 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +12055000000*C1064_bit_10 +24110000000*C1064_bit_9 +48220000000*C1064_bit_8 +96440000000*C1064_bit_7 +192880000000*C1064_bit_6 +385760000000*C1064_bit_5 +771520000000*C1064_bit_4 +1543040000000*C1064_bit_3 +3086080000000*C1064_bit_2 +6172160000000*C1064_bit_1 -2411000000*C1065_bit_10 -4822000000*C1065_bit_9 -9644000000*C1065_bit_8 -19288000000*C1065_bit_7 -38576000000*C1065_bit_6 -77152000000*C1065_bit_5 -154304000000*C1065_bit_4 -308608000000*C1065_bit_3 -617216000000*C1065_bit_2 -1234432000000*C1065_bit_1 -2468864000000*C1065_bit0 -4937728000000*C1065_bit1 -9875456000000*C1065_bit2 -19750912000000*C1065_bit3 -39501824000000*C1065_bit4 -79003648000000*C1065_bit5 -158007296000000*C1065_bit6 -316014592000000*C1065_bit7 -632029184000000*C1065_bit8 -1264058368000000*C1065_bit9 -2528116736000000*C1065_bit10 -5056233472000000*C1065_bit11 -10112466944000000*C1065_bit12 -20224933888000000*C1065_bit13 -40449867776000000*C1065_bit14 -80899735552000000*C1065_bit15 -161799471104000000*C1065_bit16 -323598942208000000*C1065_bit17 -647197884416000000*C1065_bit18 -1294395768832000000*C1065_bit19 -5570288304*C1066_bit_10 -11140576608*C1066_bit_9 -22281153216*C1066_bit_8 -44562306432*C1066_bit_7 -89124612864*C1066_bit_6 -178249225728*C1066_bit_5 -356498451456*C1066_bit_4 -712996902912*C1066_bit_3 -1425993805824*C1066_bit_2 -2851987611648*C1066_bit_1 -5703975223296*C1066_bit0 -11407950446592*C1066_bit1 -22815900893184*C1066_bit2 -45631801786368*C1066_bit3 -91263603572736*C1066_bit4 -182527207145472*C1066_bit5 -365054414290944*C1066_bit6 -730108828581888*C1066_bit7 -1460217657163776*C1066_bit8 -2920435314327552*C1066_bit9 -5840870628655104*C1066_bit10 -11681741257310208*C1066_bit11 -23363482514620416*C1066_bit12 -46726965029240832*C1066_bit13 -93453930058481664*C1066_bit14 -186907860116963328*C1066_bit15 -373815720233926656*C1066_bit16 -747631440467853312*C1066_bit17 -1495262880935706624*C1066_bit18 -2990525761871413248*C1066_bit19 -9379993008*C1067_bit_10 -18759986016*C1067_bit_9 -37519972032*C1067_bit_8 -75039944064*C1067_bit_7 -150079888128*C1067_bit_6 -300159776256*C1067_bit_5 -600319552512*C1067_bit_4 -1200639105024*C1067_bit_3 -2401278210048*C1067_bit_2 -4802556420096*C1067_bit_1 -9605112840192*C1067_bit0 -19210225680384*C1067_bit1 -38420451360768*C1067_bit2 -76840902721536*C1067_bit3 -153681805443072*C1067_bit4 -307363610886144*C1067_bit5 -614727221772288*C1067_bit6 -1229454443544576*C1067_bit7 -2458908887089152*C1067_bit8 -4917817774178304*C1067_bit9 -9835635548356608*C1067_bit10 -19671271096713216*C1067_bit11 -39342542193426432*C1067_bit12 -78685084386852864*C1067_bit13 -157370168773705728*C1067_bit14 -314740337547411456*C1067_bit15 -629480675094822912*C1067_bit16 -1258961350189645824*C1067_bit17 -2517922700379291648*C1067_bit18 -5035845400758583296*C1067_bit19 -13748209952*C1068_bit_10 -27496419904*C1068_bit_9 -54992839808*C1068_bit_8 -109985679616*C1068_bit_7 -219971359232*C1068_bit_6 -439942718464*C1068_bit_5 -879885436928*C1068_bit_4 -1759770873856*C1068_bit_3 -3519541747712*C1068_bit_2 -7039083495424*C1068_bit_1 -14078166990848*C1068_bit0 -28156333981696*C1068_bit1 -56312667963392*C1068_bit2 -112625335926784*C1068_bit3 -225250671853568*C1068_bit4 -450501343707136*C1068_bit5 -901002687414272*C1068_bit6 -1802005374828544*C1068_bit7 -3604010749657088*C1068_bit8 -7208021499314176*C1068_bit9 -14416042998628352*C1068_bit10 -28832085997256704*C1068_bit11 -57664171994513408*C1068_bit12 -115328343989026816*C1068_bit13 -230656687978053632*C1068_bit14 -461313375956107264*C1068_bit15 -922626751912214528*C1068_bit16 -1845253503824429056*C1068_bit17 -3690507007648858112*C1068_bit18 -7381014015297716224*C1068_bit19 -18588848736*C1069_bit_10 -37177697472*C1069_bit_9 -74355394944*C1069_bit_8 -148710789888*C1069_bit_7 -297421579776*C1069_bit_6 -594843159552*C1069_bit_5 -1189686319104*C1069_bit_4 -2379372638208*C1069_bit_3 -4758745276416*C1069_bit_2 -9517490552832*C1069_bit_1 -19034981105664*C1069_bit0 -38069962211328*C1069_bit1 -76139924422656*C1069_bit2 -152279848845312*C1069_bit3 -304559697690624*C1069_bit4 -609119395381248*C1069_bit5 -1218238790762496*C1069_bit6 -2436477581524992*C1069_bit7 -4872955163049984*C1069_bit8 -9745910326099968*C1069_bit9 -19491820652199936*C1069_bit10 -38983641304399872*C1069_bit11 -77967282608799744*C1069_bit12 -155934565217599488*C1069_bit13 -311869130435198976*C1069_bit14 -623738260870397952*C1069_bit15 -1247476521740795904*C1069_bit16 -2494953043481591808*C1069_bit17 -4989906086963183616*C1069_bit18 -9979812173926367232*C1069_bit19 -23821478736*C1070_bit_10 -47642957472*C1070_bit_9 -95285914944*C1070_bit_8 -190571829888*C1070_bit_7 -381143659776*C1070_bit_6 -762287319552*C1070_bit_5 -1524574639104*C1070_bit_4 -3049149278208*C1070_bit_3 -6098298556416*C1070_bit_2 -12196597112832*C1070_bit_1 -24393194225664*C1070_bit0 -48786388451328*C1070_bit1 -97572776902656*C1070_bit2 -195145553805312*C1070_bit3 -390291107610624*C1070_bit4 -780582215221248*C1070_bit5 -1561164430442496*C1070_bit6 -3122328860884992*C1070_bit7 -6244657721769984*C1070_bit8 -12489315443539968*C1070_bit9 -24978630887079936*C1070_bit10 -49957261774159872*C1070_bit11 -99914523548319744*C1070_bit12 -199829047096639488*C1070_bit13 -399658094193278976*C1070_bit14 -799316188386557952*C1070_bit15 -1598632376773115904*C1070_bit16 -3197264753546231808*C1070_bit17 -6394529507092463616*C1070_bit18 -12789059014184927232*C1070_bit19 -29371175120*C1071_bit_10 -58742350240*C1071_bit_9 -117484700480*C1071_bit_8 -234969400960*C1071_bit_7 -469938801920*C1071_bit_6 -939877603840*C1071_bit_5 -1879755207680*C1071_bit_4 -3759510415360*C1071_bit_3 -7519020830720*C1071_bit_2 -15038041661440*C1071_bit_1 -30076083322880*C1071_bit0 -60152166645760*C1071_bit1 -120304333291520*C1071_bit2 -240608666583040*C1071_bit3 -481217333166080*C1071_bit4 -962434666332160*C1071_bit5 -1924869332664320*C1071_bit6 -3849738665328640*C1071_bit7 -7699477330657280*C1071_bit8 -15398954661314560*C1071_bit9 -30797909322629120*C1071_bit10 -61595818645258240*C1071_bit11 -123191637290516480*C1071_bit12 -246383274581032960*C1071_bit13 -492766549162065920*C1071_bit14 -985533098324131840*C1071_bit15 -1971066196648263680*C1071_bit16 -3942132393296527360*C1071_bit17 -7884264786593054720*C1071_bit18 -15768529573186109440*C1071_bit19 -35168364864*C1072_bit_10 -70336729728*C1072_bit_9 -140673459456*C1072_bit_8 -281346918912*C1072_bit_7 -562693837824*C1072_bit_6 -1125387675648*C1072_bit_5 -2250775351296*C1072_bit_4 -4501550702592*C1072_bit_3 -9003101405184*C1072_bit_2 -18006202810368*C1072_bit_1 -36012405620736*C1072_bit0 -72024811241472*C1072_bit1 -144049622482944*C1072_bit2 -288099244965888*C1072_bit3 -576198489931776*C1072_bit4 -1152396979863552*C1072_bit5 -2304793959727104*C1072_bit6 -4609587919454208*C1072_bit7 -9219175838908416*C1072_bit8 -18438351677816832*C1072_bit9 -36876703355633664*C1072_bit10 -73753406711267328*C1072_bit11 -147506813422534656*C1072_bit12 -295013626845069312*C1072_bit13 -590027253690138624*C1072_bit14 -1180054507380277248*C1072_bit15 -2360109014760554496*C1072_bit16 -4720218029521108992*C1072_bit17 -9440436059042217984*C1072_bit18 -18880872118084435968*C1072_bit19 -41148672768*C1073_bit_10 -82297345536*C1073_bit_9 -164594691072*C1073_bit_8 -329189382144*C1073_bit_7 -658378764288*C1073_bit_6 -1316757528576*C1073_bit_5 -2633515057152*C1073_bit_4 -5267030114304*C1073_bit_3 -10534060228608*C1073_bit_2 -21068120457216*C1073_bit_1 -42136240914432*C1073_bit0 -84272481828864*C1073_bit1 -168544963657728*C1073_bit2 -337089927315456*C1073_bit3 -674179854630912*C1073_bit4 -1348359709261824*C1073_bit5 -2696719418523648*C1073_bit6 -5393438837047296*C1073_bit7 -10786877674094592*C1073_bit8 -21573755348189184*C1073_bit9 -43147510696378368*C1073_bit10 -86295021392756736*C1073_bit11 -172590042785513472*C1073_bit12 -345180085571026944*C1073_bit13 -690360171142053888*C1073_bit14 -1380720342284107776*C1073_bit15 -2761440684568215552*C1073_bit16 -5522881369136431104*C1073_bit17 -11045762738272862208*C1073_bit18 -22091525476545724416*C1073_bit19 -47252767472*C1074_bit_10 -94505534944*C1074_bit_9 -189011069888*C1074_bit_8 -378022139776*C1074_bit_7 -756044279552*C1074_bit_6 -1512088559104*C1074_bit_5 -3024177118208*C1074_bit_4 -6048354236416*C1074_bit_3 -12096708472832*C1074_bit_2 -24193416945664*C1074_bit_1 -48386833891328*C1074_bit0 -96773667782656*C1074_bit1 -193547335565312*C1074_bit2 -387094671130624*C1074_bit3 -774189342261248*C1074_bit4 -1548378684522496*C1074_bit5 -3096757369044992*C1074_bit6 -6193514738089984*C1074_bit7 -12387029476179968*C1074_bit8 -24774058952359936*C1074_bit9 -49548117904719872*C1074_bit10 -99096235809439744*C1074_bit11 -198192471618879488*C1074_bit12 -396384943237758976*C1074_bit13 -792769886475517952*C1074_bit14 -1585539772951035904*C1074_bit15 -3171079545902071808*C1074_bit16 -6342159091804143616*C1074_bit17 -12684318183608287232*C1074_bit18 -25368636367216574464*C1074_bit19 -53426207470*C1075_bit_10 -106852414940*C1075_bit_9 -213704829880*C1075_bit_8 -427409659760*C1075_bit_7 -854819319520*C1075_bit_6 -1709638639040*C1075_bit_5 -3419277278080*C1075_bit_4 -6838554556160*C1075_bit_3 -13677109112320*C1075_bit_2 -27354218224640*C1075_bit_1 -54708436449280*C1075_bit0 -109416872898560*C1075_bit1 -218833745797120*C1075_bit2 -437667491594240*C1075_bit3 -875334983188480*C1075_bit4 -1750669966376960*C1075_bit5 -3501339932753920*C1075_bit6 -7002679865507840*C1075_bit7 -14005359731015680*C1075_bit8 -28010719462031360*C1075_bit9 -56021438924062720*C1075_bit10 -112042877848125440*C1075_bit11 -224085755696250880*C1075_bit12 -448171511392501760*C1075_bit13 -896343022785003520*C1075_bit14 -1792686045570007040*C1075_bit15 -3585372091140014080*C1075_bit16 -7170744182280028160*C1075_bit17 -14341488364560056320*C1075_bit18 -28682976729120112640*C1075_bit19 -59619287135*C1076_bit_10 -119238574270*C1076_bit_9 -238477148540*C1076_bit_8 -476954297080*C1076_bit_7 -953908594160*C1076_bit_6 -1907817188320*C1076_bit_5 -3815634376640*C1076_bit_4 -7631268753280*C1076_bit_3 -15262537506560*C1076_bit_2 -30525075013120*C1076_bit_1 -61050150026240*C1076_bit0 -122100300052480*C1076_bit1 -244200600104960*C1076_bit2 -488401200209920*C1076_bit3 -976802400419840*C1076_bit4 -1953604800839680*C1076_bit5 -3907209601679360*C1076_bit6 -7814419203358720*C1076_bit7 -15628838406717440*C1076_bit8 -31257676813434880*C1076_bit9 -62515353626869760*C1076_bit10 -125030707253739520*C1076_bit11 -250061414507479040*C1076_bit12 -500122829014958080*C1076_bit13 -1000245658029916160*C1076_bit14 -2000491316059832320*C1076_bit15 -4000982632119664640*C1076_bit16 -8001965264239329280*C1076_bit17 -16003930528478658560*C1076_bit18 -32007861056957317120*C1076_bit19 -65786882720*C1077_bit_10 -131573765440*C1077_bit_9 -263147530880*C1077_bit_8 -526295061760*C1077_bit_7 -1052590123520*C1077_bit_6 -2105180247040*C1077_bit_5 -4210360494080*C1077_bit_4 -8420720988160*C1077_bit_3 -16841441976320*C1077_bit_2 -33682883952640*C1077_bit_1 -67365767905280*C1077_bit0 -134731535810560*C1077_bit1 -269463071621120*C1077_bit2 -538926143242240*C1077_bit3 -1077852286484480*C1077_bit4 -2155704572968960*C1077_bit5 -4311409145937920*C1077_bit6 -8622818291875840*C1077_bit7 -17245636583751680*C1077_bit8 -34491273167503360*C1077_bit9 -68982546335006720*C1077_bit10 -137965092670013440*C1077_bit11 -275930185340026880*C1077_bit12 -551860370680053760*C1077_bit13 -1103720741360107520*C1077_bit14 -2207441482720215040*C1077_bit15 -4414882965440430080*C1077_bit16 -8829765930880860160*C1077_bit17 -17659531861761720320*C1077_bit18 -35319063723523440640*C1077_bit19 -71888298385*C1078_bit_10 -143776596770*C1078_bit_9 -287553193540*C1078_bit_8 -575106387080*C1078_bit_7 -1150212774160*C1078_bit_6 -2300425548320*C1078_bit_5 -4600851096640*C1078_bit_4 -9201702193280*C1078_bit_3 -18403404386560*C1078_bit_2 -36806808773120*C1078_bit_1 -73613617546240*C1078_bit0 -147227235092480*C1078_bit1 -294454470184960*C1078_bit2 -588908940369920*C1078_bit3 -1177817880739840*C1078_bit4 -2355635761479680*C1078_bit5 -4711271522959360*C1078_bit6 -9422543045918720*C1078_bit7 -18845086091837440*C1078_bit8 -37690172183674880*C1078_bit9 -75380344367349760*C1078_bit10 -150760688734699520*C1078_bit11 -301521377469399040*C1078_bit12 -603042754938798080*C1078_bit13 -1206085509877596160*C1078_bit14 -2412171019755192320*C1078_bit15 -4824342039510384640*C1078_bit16 -9648684079020769280*C1078_bit17 -19297368158041538560*C1078_bit18 -38594736316083077120*C1078_bit19 -77887112210*C1079_bit_10 -155774224420*C1079_bit_9 -311548448840*C1079_bit_8 -623096897680*C1079_bit_7 -1246193795360*C1079_bit_6 -2492387590720*C1079_bit_5 -4984775181440*C1079_bit_4 -9969550362880*C1079_bit_3 -19939100725760*C1079_bit_2 -39878201451520*C1079_bit_1 -79756402903040*C1079_bit0 -159512805806080*C1079_bit1 -319025611612160*C1079_bit2 -638051223224320*C1079_bit3 -1276102446448640*C1079_bit4 -2552204892897280*C1079_bit5 -5104409785794560*C1079_bit6 -10208819571589120*C1079_bit7 -20417639143178240*C1079_bit8 -40835278286356480*C1079_bit9 -81670556572712960*C1079_bit10 -163341113145425920*C1079_bit11 -326682226290851840*C1079_bit12 -653364452581703680*C1079_bit13 -1306728905163407360*C1079_bit14 -2613457810326814720*C1079_bit15 -5226915620653629440*C1079_bit16 -10453831241307258880*C1079_bit17 -20907662482614517760*C1079_bit18 -41815324965229035520*C1079_bit19 -83751022210*C1080_bit_10 -167502044420*C1080_bit_9 -335004088840*C1080_bit_8 -670008177680*C1080_bit_7 -1340016355360*C1080_bit_6 -2680032710720*C1080_bit_5 -5360065421440*C1080_bit_4 -10720130842880*C1080_bit_3 -21440261685760*C1080_bit_2 -42880523371520*C1080_bit_1 -85761046743040*C1080_bit0 -171522093486080*C1080_bit1 -343044186972160*C1080_bit2 -686088373944320*C1080_bit3 -1372176747888640*C1080_bit4 -2744353495777280*C1080_bit5 -5488706991554560*C1080_bit6 -10977413983109120*C1080_bit7 -21954827966218240*C1080_bit8 -43909655932436480*C1080_bit9 -87819311864872960*C1080_bit10 -175638623729745920*C1080_bit11 -351277247459491840*C1080_bit12 -702554494918983680*C1080_bit13 -1405108989837967360*C1080_bit14 -2810217979675934720*C1080_bit15 -5620435959351869440*C1080_bit16 -11240871918703738880*C1080_bit17 -22481743837407477760*C1080_bit18 -44963487674814955520*C1080_bit19 -89451692350*C1081_bit_10 -178903384700*C1081_bit_9 -357806769400*C1081_bit_8 -715613538800*C1081_bit_7 -1431227077600*C1081_bit_6 -2862454155200*C1081_bit_5 -5724908310400*C1081_bit_4 -11449816620800*C1081_bit_3 -22899633241600*C1081_bit_2 -45799266483200*C1081_bit_1 -91598532966400*C1081_bit0 -183197065932800*C1081_bit1 -366394131865600*C1081_bit2 -732788263731200*C1081_bit3 -1465576527462400*C1081_bit4 -2931153054924800*C1081_bit5 -5862306109849600*C1081_bit6 -11724612219699200*C1081_bit7 -23449224439398400*C1081_bit8 -46898448878796800*C1081_bit9 -93796897757593600*C1081_bit10 -187593795515187200*C1081_bit11 -375187591030374400*C1081_bit12 -750375182060748800*C1081_bit13 -1500750364121497600*C1081_bit14 -3001500728242995200*C1081_bit15 -6003001456485990400*C1081_bit16 -12006002912971980800*C1081_bit17 -24012005825943961600*C1081_bit18 -48024011651887923200*C1081_bit19 -94964598575*C1082_bit_10 -189929197150*C1082_bit_9 -379858394300*C1082_bit_8 -759716788600*C1082_bit_7 -1519433577200*C1082_bit_6 -3038867154400*C1082_bit_5 -6077734308800*C1082_bit_4 -12155468617600*C1082_bit_3 -24310937235200*C1082_bit_2 -48621874470400*C1082_bit_1 -97243748940800*C1082_bit0 -194487497881600*C1082_bit1 -388974995763200*C1082_bit2 -777949991526400*C1082_bit3 -1555899983052800*C1082_bit4 -3111799966105600*C1082_bit5 -6223599932211200*C1082_bit6 -12447199864422400*C1082_bit7 -24894399728844800*C1082_bit8 -49788799457689600*C1082_bit9 -99577598915379200*C1082_bit10 -199155197830758400*C1082_bit11 -398310395661516800*C1082_bit12 -796620791323033600*C1082_bit13 -1593241582646067200*C1082_bit14 -3186483165292134400*C1082_bit15 -6372966330584268800*C1082_bit16 -12745932661168537600*C1082_bit17 -25491865322337075200*C1082_bit18 -50983730644674150400*C1082_bit19 -100268874800*C1083_bit_10 -200537749600*C1083_bit_9 -401075499200*C1083_bit_8 -802150998400*C1083_bit_7 -1604301996800*C1083_bit_6 -3208603993600*C1083_bit_5 -6417207987200*C1083_bit_4 -12834415974400*C1083_bit_3 -25668831948800*C1083_bit_2 -51337663897600*C1083_bit_1 -102675327795200*C1083_bit0 -205350655590400*C1083_bit1 -410701311180800*C1083_bit2 -821402622361600*C1083_bit3 -1642805244723200*C1083_bit4 -3285610489446400*C1083_bit5 -6571220978892800*C1083_bit6 -13142441957785600*C1083_bit7 -26284883915571200*C1083_bit8 -52569767831142400*C1083_bit9 -105139535662284800*C1083_bit10 -210279071324569600*C1083_bit11 -420558142649139200*C1083_bit12 -841116285298278400*C1083_bit13 -1682232570596556800*C1083_bit14 -3364465141193113600*C1083_bit15 -6728930282386227200*C1083_bit16 -13457860564772454400*C1083_bit17 -26915721129544908800*C1083_bit18 -53831442259089817600*C1083_bit19 -105347158945*C1084_bit_10 -210694317890*C1084_bit_9 -421388635780*C1084_bit_8 -842777271560*C1084_bit_7 -1685554543120*C1084_bit_6 -3371109086240*C1084_bit_5 -6742218172480*C1084_bit_4 -13484436344960*C1084_bit_3 -26968872689920*C1084_bit_2 -53937745379840*C1084_bit_1 -107875490759680*C1084_bit0 -215750981519360*C1084_bit1 -431501963038720*C1084_bit2 -863003926077440*C1084_bit3 -1726007852154880*C1084_bit4 -3452015704309760*C1084_bit5 -6904031408619520*C1084_bit6 -13808062817239040*C1084_bit7 -27616125634478080*C1084_bit8 -55232251268956160*C1084_bit9 -110464502537912320*C1084_bit10 -220929005075824640*C1084_bit11 -441858010151649280*C1084_bit12 -883716020303298560*C1084_bit13 -1767432040606597120*C1084_bit14 -3534864081213194240*C1084_bit15 -7069728162426388480*C1084_bit16 -14139456324852776960*C1084_bit17 -28278912649705553920*C1084_bit18 -56557825299411107840*C1084_bit19 -110185438945*C1085_bit_10 -220370877890*C1085_bit_9 -440741755780*C1085_bit_8 -881483511560*C1085_bit_7 -1762967023120*C1085_bit_6 -3525934046240*C1085_bit_5 -7051868092480*C1085_bit_4 -14103736184960*C1085_bit_3 -28207472369920*C1085_bit_2 -56414944739840*C1085_bit_1 -112829889479680*C1085_bit0 -225659778959360*C1085_bit1 -451319557918720*C1085_bit2 -902639115837440*C1085_bit3 -1805278231674880*C1085_bit4 -3610556463349760*C1085_bit5 -7221112926699520*C1085_bit6 -14442225853399040*C1085_bit7 -28884451706798080*C1085_bit8 -57768903413596160*C1085_bit9 -115537806827192320*C1085_bit10 -231075613654384640*C1085_bit11 -462151227308769280*C1085_bit12 -924302454617538560*C1085_bit13 -1848604909235077120*C1085_bit14 -3697209818470154240*C1085_bit15 -7394419636940308480*C1085_bit16 -14788839273880616960*C1085_bit17 -29577678547761233920*C1085_bit18 -59155357095522467840*C1085_bit19 -114772898770*C1086_bit_10 -229545797540*C1086_bit_9 -459091595080*C1086_bit_8 -918183190160*C1086_bit_7 -1836366380320*C1086_bit_6 -3672732760640*C1086_bit_5 -7345465521280*C1086_bit_4 -14690931042560*C1086_bit_3 -29381862085120*C1086_bit_2 -58763724170240*C1086_bit_1 -117527448340480*C1086_bit0 -235054896680960*C1086_bit1 -470109793361920*C1086_bit2 -940219586723840*C1086_bit3 -1880439173447680*C1086_bit4 -3760878346895360*C1086_bit5 -7521756693790720*C1086_bit6 -15043513387581440*C1086_bit7 -30087026775162880*C1086_bit8 -60174053550325760*C1086_bit9 -120348107100651520*C1086_bit10 -240696214201303040*C1086_bit11 -481392428402606080*C1086_bit12 -962784856805212160*C1086_bit13 -1925569713610424320*C1086_bit14 -3851139427220848640*C1086_bit15 -7702278854441697280*C1086_bit16 -15404557708883394560*C1086_bit17 -30809115417766789120*C1086_bit18 -61618230835533578240*C1086_bit19 -119101764430*C1087_bit_10 -238203528860*C1087_bit_9 -476407057720*C1087_bit_8 -952814115440*C1087_bit_7 -1905628230880*C1087_bit_6 -3811256461760*C1087_bit_5 -7622512923520*C1087_bit_4 -15245025847040*C1087_bit_3 -30490051694080*C1087_bit_2 -60980103388160*C1087_bit_1 -121960206776320*C1087_bit0 -243920413552640*C1087_bit1 -487840827105280*C1087_bit2 -975681654210560*C1087_bit3 -1951363308421120*C1087_bit4 -3902726616842240*C1087_bit5 -7805453233684480*C1087_bit6 -15610906467368960*C1087_bit7 -31221812934737920*C1087_bit8 -62443625869475840*C1087_bit9 -124887251738951680*C1087_bit10 -249774503477903360*C1087_bit11 -499549006955806720*C1087_bit12 -999098013911613440*C1087_bit13 -1998196027823226880*C1087_bit14 -3996392055646453760*C1087_bit15 -7992784111292907520*C1087_bit16 -15985568222585815040*C1087_bit17 -31971136445171630080*C1087_bit18 -63942272890343260160*C1087_bit19 -123167150015*C1088_bit_10 -246334300030*C1088_bit_9 -492668600060*C1088_bit_8 -985337200120*C1088_bit_7 -1970674400240*C1088_bit_6 -3941348800480*C1088_bit_5 -7882697600960*C1088_bit_4 -15765395201920*C1088_bit_3 -31530790403840*C1088_bit_2 -63061580807680*C1088_bit_1 -126123161615360*C1088_bit0 -252246323230720*C1088_bit1 -504492646461440*C1088_bit2 -1008985292922880*C1088_bit3 -2017970585845760*C1088_bit4 -4035941171691520*C1088_bit5 -8071882343383040*C1088_bit6 -16143764686766080*C1088_bit7 -32287529373532160*C1088_bit8 -64575058747064320*C1088_bit9 -129150117494128640*C1088_bit10 -258300234988257280*C1088_bit11 -516600469976514560*C1088_bit12 -1033200939953029120*C1088_bit13 -2066401879906058240*C1088_bit14 -4132803759812116480*C1088_bit15 -8265607519624232960*C1088_bit16 -16531215039248465920*C1088_bit17 -33062430078496931840*C1088_bit18 -66124860156993863680*C1088_bit19 -126966903680*C1089_bit_10 -253933807360*C1089_bit_9 -507867614720*C1089_bit_8 -1015735229440*C1089_bit_7 -2031470458880*C1089_bit_6 -4062940917760*C1089_bit_5 -8125881835520*C1089_bit_4 -16251763671040*C1089_bit_3 -32503527342080*C1089_bit_2 -65007054684160*C1089_bit_1 -130014109368320*C1089_bit0 -260028218736640*C1089_bit1 -520056437473280*C1089_bit2 -1040112874946560*C1089_bit3 -2080225749893120*C1089_bit4 -4160451499786240*C1089_bit5 -8320902999572480*C1089_bit6 -16641805999144960*C1089_bit7 -33283611998289920*C1089_bit8 -66567223996579840*C1089_bit9 -133134447993159680*C1089_bit10 -266268895986319360*C1089_bit11 -532537791972638720*C1089_bit12 -1065075583945277440*C1089_bit13 -2130151167890554880*C1089_bit14 -4260302335781109760*C1089_bit15 -8520604671562219520*C1089_bit16 -17041209343124439040*C1089_bit17 -34082418686248878080*C1089_bit18 -68164837372497756160*C1089_bit19 -130501453680*C1090_bit_10 -261002907360*C1090_bit_9 -522005814720*C1090_bit_8 -1044011629440*C1090_bit_7 -2088023258880*C1090_bit_6 -4176046517760*C1090_bit_5 -8352093035520*C1090_bit_4 -16704186071040*C1090_bit_3 -33408372142080*C1090_bit_2 -66816744284160*C1090_bit_1 -133633488568320*C1090_bit0 -267266977136640*C1090_bit1 -534533954273280*C1090_bit2 -1069067908546560*C1090_bit3 -2138135817093120*C1090_bit4 -4276271634186240*C1090_bit5 -8552543268372480*C1090_bit6 -17105086536744960*C1090_bit7 -34210173073489920*C1090_bit8 -68420346146979840*C1090_bit9 -136840692293959680*C1090_bit10 -273681384587919360*C1090_bit11 -547362769175838720*C1090_bit12 -1094725538351677440*C1090_bit13 -2189451076703354880*C1090_bit14 -4378902153406709760*C1090_bit15 -8757804306813419520*C1090_bit16 -17515608613626839040*C1090_bit17 -35031217227253678080*C1090_bit18 -70062434454507356160*C1090_bit19 -133773654385*C1091_bit_10 -267547308770*C1091_bit_9 -535094617540*C1091_bit_8 -1070189235080*C1091_bit_7 -2140378470160*C1091_bit_6 -4280756940320*C1091_bit_5 -8561513880640*C1091_bit_4 -17123027761280*C1091_bit_3 -34246055522560*C1091_bit_2 -68492111045120*C1091_bit_1 -136984222090240*C1091_bit0 -273968444180480*C1091_bit1 -547936888360960*C1091_bit2 -1095873776721920*C1091_bit3 -2191747553443840*C1091_bit4 -4383495106887680*C1091_bit5 -8766990213775360*C1091_bit6 -17533980427550720*C1091_bit7 -35067960855101440*C1091_bit8 -70135921710202880*C1091_bit9 -140271843420405760*C1091_bit10 -280543686840811520*C1091_bit11 -561087373681623040*C1091_bit12 -1122174747363246080*C1091_bit13 -2244349494726492160*C1091_bit14 -4488698989452984320*C1091_bit15 -8977397978905968640*C1091_bit16 -17954795957811937280*C1091_bit17 -35909591915623874560*C1091_bit18 -71819183831247749120*C1091_bit19 -136788632290*C1092_bit_10 -273577264580*C1092_bit_9 -547154529160*C1092_bit_8 -1094309058320*C1092_bit_7 -2188618116640*C1092_bit_6 -4377236233280*C1092_bit_5 -8754472466560*C1092_bit_4 -17508944933120*C1092_bit_3 -35017889866240*C1092_bit_2 -70035779732480*C1092_bit_1 -140071559464960*C1092_bit0 -280143118929920*C1092_bit1 -560286237859840*C1092_bit2 -1120572475719680*C1092_bit3 -2241144951439360*C1092_bit4 -4482289902878720*C1092_bit5 -8964579805757440*C1092_bit6 -17929159611514880*C1092_bit7 -35858319223029760*C1092_bit8 -71716638446059520*C1092_bit9 -143433276892119040*C1092_bit10 -286866553784238080*C1092_bit11 -573733107568476160*C1092_bit12 -1147466215136952320*C1092_bit13 -2294932430273904640*C1092_bit14 -4589864860547809280*C1092_bit15 -9179729721095618560*C1092_bit16 -18359459442191237120*C1092_bit17 -36718918884382474240*C1092_bit18 -73437837768764948480*C1092_bit19 -139553632030*C1093_bit_10 -279107264060*C1093_bit_9 -558214528120*C1093_bit_8 -1116429056240*C1093_bit_7 -2232858112480*C1093_bit_6 -4465716224960*C1093_bit_5 -8931432449920*C1093_bit_4 -17862864899840*C1093_bit_3 -35725729799680*C1093_bit_2 -71451459599360*C1093_bit_1 -142902919198720*C1093_bit0 -285805838397440*C1093_bit1 -571611676794880*C1093_bit2 -1143223353589760*C1093_bit3 -2286446707179520*C1093_bit4 -4572893414359040*C1093_bit5 -9145786828718080*C1093_bit6 -18291573657436160*C1093_bit7 -36583147314872320*C1093_bit8 -73166294629744640*C1093_bit9 -146332589259489280*C1093_bit10 -292665178518978560*C1093_bit11 -585330357037957120*C1093_bit12 -1170660714075914240*C1093_bit13 -2341321428151828480*C1093_bit14 -4682642856303656960*C1093_bit15 -9365285712607313920*C1093_bit16 -18730571425214627840*C1093_bit17 -37461142850429255680*C1093_bit18 -74922285700858511360*C1093_bit19 -142077862415*C1094_bit_10 -284155724830*C1094_bit_9 -568311449660*C1094_bit_8 -1136622899320*C1094_bit_7 -2273245798640*C1094_bit_6 -4546491597280*C1094_bit_5 -9092983194560*C1094_bit_4 -18185966389120*C1094_bit_3 -36371932778240*C1094_bit_2 -72743865556480*C1094_bit_1 -145487731112960*C1094_bit0 -290975462225920*C1094_bit1 -581950924451840*C1094_bit2 -1163901848903680*C1094_bit3 -2327803697807360*C1094_bit4 -4655607395614720*C1094_bit5 -9311214791229440*C1094_bit6 -18622429582458880*C1094_bit7 -37244859164917760*C1094_bit8 -74489718329835520*C1094_bit9 -148979436659671040*C1094_bit10 -297958873319342080*C1094_bit11 -595917746638684160*C1094_bit12 -1191835493277368320*C1094_bit13 -2383670986554736640*C1094_bit14 -4767341973109473280*C1094_bit15 -9534683946218946560*C1094_bit16 -19069367892437893120*C1094_bit17 -38138735784875786240*C1094_bit18 -76277471569751572480*C1094_bit19 -144372342415*C1095_bit_10 -288744684830*C1095_bit_9 -577489369660*C1095_bit_8 -1154978739320*C1095_bit_7 -2309957478640*C1095_bit_6 -4619914957280*C1095_bit_5 -9239829914560*C1095_bit_4 -18479659829120*C1095_bit_3 -36959319658240*C1095_bit_2 -73918639316480*C1095_bit_1 -147837278632960*C1095_bit0 -295674557265920*C1095_bit1 -591349114531840*C1095_bit2 -1182698229063680*C1095_bit3 -2365396458127360*C1095_bit4 -4730792916254720*C1095_bit5 -9461585832509440*C1095_bit6 -18923171665018880*C1095_bit7 -37846343330037760*C1095_bit8 -75692686660075520*C1095_bit9 -151385373320151040*C1095_bit10 -302770746640302080*C1095_bit11 -605541493280604160*C1095_bit12 -1211082986561208320*C1095_bit13 -2422165973122416640*C1095_bit14 -4844331946244833280*C1095_bit15 -9688663892489666560*C1095_bit16 -19377327784979333120*C1095_bit17 -38754655569958666240*C1095_bit18 -77509311139917332480*C1095_bit19 -146449747200*C1096_bit_10 -292899494400*C1096_bit_9 -585798988800*C1096_bit_8 -1171597977600*C1096_bit_7 -2343195955200*C1096_bit_6 -4686391910400*C1096_bit_5 -9372783820800*C1096_bit_4 -18745567641600*C1096_bit_3 -37491135283200*C1096_bit_2 -74982270566400*C1096_bit_1 -149964541132800*C1096_bit0 -299929082265600*C1096_bit1 -599858164531200*C1096_bit2 -1199716329062400*C1096_bit3 -2399432658124800*C1096_bit4 -4798865316249600*C1096_bit5 -9597730632499200*C1096_bit6 -19195461264998400*C1096_bit7 -38390922529996800*C1096_bit8 -76781845059993600*C1096_bit9 -153563690119987200*C1096_bit10 -307127380239974400*C1096_bit11 -614254760479948800*C1096_bit12 -1228509520959897600*C1096_bit13 -2457019041919795200*C1096_bit14 -4914038083839590400*C1096_bit15 -9828076167679180800*C1096_bit16 -19656152335358361600*C1096_bit17 -39312304670716723200*C1096_bit18 -78624609341433446400*C1096_bit19 -148324254145*C1097_bit_10 -296648508290*C1097_bit_9 -593297016580*C1097_bit_8 -1186594033160*C1097_bit_7 -2373188066320*C1097_bit_6 -4746376132640*C1097_bit_5 -9492752265280*C1097_bit_4 -18985504530560*C1097_bit_3 -37971009061120*C1097_bit_2 -75942018122240*C1097_bit_1 -151884036244480*C1097_bit0 -303768072488960*C1097_bit1 -607536144977920*C1097_bit2 -1215072289955840*C1097_bit3 -2430144579911680*C1097_bit4 -4860289159823360*C1097_bit5 -9720578319646720*C1097_bit6 -19441156639293440*C1097_bit7 -38882313278586880*C1097_bit8 -77764626557173760*C1097_bit9 -155529253114347520*C1097_bit10 -311058506228695040*C1097_bit11 -622117012457390080*C1097_bit12 -1244234024914780160*C1097_bit13 -2488468049829560320*C1097_bit14 -4976936099659120640*C1097_bit15 -9953872199318241280*C1097_bit16 -19907744398636482560*C1097_bit17 -39815488797272965120*C1097_bit18 -79630977594545930240*C1097_bit19 -150011388850*C1098_bit_10 -300022777700*C1098_bit_9 -600045555400*C1098_bit_8 -1200091110800*C1098_bit_7 -2400182221600*C1098_bit_6 -4800364443200*C1098_bit_5 -9600728886400*C1098_bit_4 -19201457772800*C1098_bit_3 -38402915545600*C1098_bit_2 -76805831091200*C1098_bit_1 -153611662182400*C1098_bit0 -307223324364800*C1098_bit1 -614446648729600*C1098_bit2 -1228893297459200*C1098_bit3 -2457786594918400*C1098_bit4 -4915573189836800*C1098_bit5 -9831146379673600*C1098_bit6 -19662292759347200*C1098_bit7 -39324585518694400*C1098_bit8 -78649171037388800*C1098_bit9 -157298342074777600*C1098_bit10 -314596684149555200*C1098_bit11 -629193368299110400*C1098_bit12 -1258386736598220800*C1098_bit13 -2516773473196441600*C1098_bit14 -5033546946392883200*C1098_bit15 -10067093892785766400*C1098_bit16 -20134187785571532800*C1098_bit17 -40268375571143065600*C1098_bit18 -80536751142286131200*C1098_bit19 -151527871150*C1099_bit_10 -303055742300*C1099_bit_9 -606111484600*C1099_bit_8 -1212222969200*C1099_bit_7 -2424445938400*C1099_bit_6 -4848891876800*C1099_bit_5 -9697783753600*C1099_bit_4 -19395567507200*C1099_bit_3 -38791135014400*C1099_bit_2 -77582270028800*C1099_bit_1 -155164540057600*C1099_bit0 -310329080115200*C1099_bit1 -620658160230400*C1099_bit2 -1241316320460800*C1099_bit3 -2482632640921600*C1099_bit4 -4965265281843200*C1099_bit5 -9930530563686400*C1099_bit6 -19861061127372800*C1099_bit7 -39722122254745600*C1099_bit8 -79444244509491200*C1099_bit9 -158888489018982400*C1099_bit10 -317776978037964800*C1099_bit11 -635553956075929600*C1099_bit12 -1271107912151859200*C1099_bit13 -2542215824303718400*C1099_bit14 -5084431648607436800*C1099_bit15 -10168863297214873600*C1099_bit16 -20337726594429747200*C1099_bit17 -40675453188859494400*C1099_bit18 -81350906377718988800*C1099_bit19 -152891461150*C1100_bit_10 -305782922300*C1100_bit_9 -611565844600*C1100_bit_8 -1223131689200*C1100_bit_7 -2446263378400*C1100_bit_6 -4892526756800*C1100_bit_5 -9785053513600*C1100_bit_4 -19570107027200*C1100_bit_3 -39140214054400*C1100_bit_2 -78280428108800*C1100_bit_1 -156560856217600*C1100_bit0 -313121712435200*C1100_bit1 -626243424870400*C1100_bit2 -1252486849740800*C1100_bit3 -2504973699481600*C1100_bit4 -5009947398963200*C1100_bit5 -10019894797926400*C1100_bit6 -20039789595852800*C1100_bit7 -40079579191705600*C1100_bit8 -80159158383411200*C1100_bit9 -160318316766822400*C1100_bit10 -320636633533644800*C1100_bit11 -641273267067289600*C1100_bit12 -1282546534134579200*C1100_bit13 -2565093068269158400*C1100_bit14 -5130186136538316800*C1100_bit15 -10260372273076633600*C1100_bit16 -20520744546153267200*C1100_bit17 -41041489092306534400*C1100_bit18 -82082978184613068800*C1100_bit19 -154120805215*C1101_bit_10 -308241610430*C1101_bit_9 -616483220860*C1101_bit_8 -1232966441720*C1101_bit_7 -2465932883440*C1101_bit_6 -4931865766880*C1101_bit_5 -9863731533760*C1101_bit_4 -19727463067520*C1101_bit_3 -39454926135040*C1101_bit_2 -78909852270080*C1101_bit_1 -157819704540160*C1101_bit0 -315639409080320*C1101_bit1 -631278818160640*C1101_bit2 -1262557636321280*C1101_bit3 -2525115272642560*C1101_bit4 -5050230545285120*C1101_bit5 -10100461090570240*C1101_bit6 -20200922181140480*C1101_bit7 -40401844362280960*C1101_bit8 -80803688724561920*C1101_bit9 -161607377449123840*C1101_bit10 -323214754898247680*C1101_bit11 -646429509796495360*C1101_bit12 -1292859019592990720*C1101_bit13 -2585718039185981440*C1101_bit14 -5171436078371962880*C1101_bit15 -10342872156743925760*C1101_bit16 -20685744313487851520*C1101_bit17 -41371488626975703040*C1101_bit18 -82742977253951406080*C1101_bit19 -155235282000*C1102_bit_10 -310470564000*C1102_bit_9 -620941128000*C1102_bit_8 -1241882256000*C1102_bit_7 -2483764512000*C1102_bit_6 -4967529024000*C1102_bit_5 -9935058048000*C1102_bit_4 -19870116096000*C1102_bit_3 -39740232192000*C1102_bit_2 -79480464384000*C1102_bit_1 -158960928768000*C1102_bit0 -317921857536000*C1102_bit1 -635843715072000*C1102_bit2 -1271687430144000*C1102_bit3 -2543374860288000*C1102_bit4 -5086749720576000*C1102_bit5 -10173499441152000*C1102_bit6 -20346998882304000*C1102_bit7 -40693997764608000*C1102_bit8 -81387995529216000*C1102_bit9 -162775991058432000*C1102_bit10 -325551982116864000*C1102_bit11 -651103964233728000*C1102_bit12 -1302207928467456000*C1102_bit13 -2604415856934912000*C1102_bit14 -5208831713869824000*C1102_bit15 -10417663427739648000*C1102_bit16 -20835326855479296000*C1102_bit17 -41670653710958592000*C1102_bit18 -83341307421917184000*C1102_bit19 -156254848465*C1103_bit_10 -312509696930*C1103_bit_9 -625019393860*C1103_bit_8 -1250038787720*C1103_bit_7 -2500077575440*C1103_bit_6 -5000155150880*C1103_bit_5 -10000310301760*C1103_bit_4 -20000620603520*C1103_bit_3 -40001241207040*C1103_bit_2 -80002482414080*C1103_bit_1 -160004964828160*C1103_bit0 -320009929656320*C1103_bit1 -640019859312640*C1103_bit2 -1280039718625280*C1103_bit3 -2560079437250560*C1103_bit4 -5120158874501120*C1103_bit5 -10240317749002240*C1103_bit6 -20480635498004480*C1103_bit7 -40961270996008960*C1103_bit8 -81922541992017920*C1103_bit9 -163845083984035840*C1103_bit10 -327690167968071680*C1103_bit11 -655380335936143360*C1103_bit12 -1310760671872286720*C1103_bit13 -2621521343744573440*C1103_bit14 -5243042687489146880*C1103_bit15 -10486085374978293760*C1103_bit16 -20972170749956587520*C1103_bit17 -41944341499913175040*C1103_bit18 -83888682999826350080*C1103_bit19 -157199885890*C1104_bit_10 -314399771780*C1104_bit_9 -628799543560*C1104_bit_8 -1257599087120*C1104_bit_7 -2515198174240*C1104_bit_6 -5030396348480*C1104_bit_5 -10060792696960*C1104_bit_4 -20121585393920*C1104_bit_3 -40243170787840*C1104_bit_2 -80486341575680*C1104_bit_1 -160972683151360*C1104_bit0 -321945366302720*C1104_bit1 -643890732605440*C1104_bit2 -1287781465210880*C1104_bit3 -2575562930421760*C1104_bit4 -5151125860843520*C1104_bit5 -10302251721687040*C1104_bit6 -20604503443374080*C1104_bit7 -41209006886748160*C1104_bit8 -82418013773496320*C1104_bit9 -164836027546992640*C1104_bit10 -329672055093985280*C1104_bit11 -659344110187970560*C1104_bit12 -1318688220375941120*C1104_bit13 -2637376440751882240*C1104_bit14 -5274752881503764480*C1104_bit15 -10549505763007528960*C1104_bit16 -21099011526015057920*C1104_bit17 -42198023052030115840*C1104_bit18 -84396046104060231680*C1104_bit19 -158091045890*C1105_bit_10 -316182091780*C1105_bit_9 -632364183560*C1105_bit_8 -1264728367120*C1105_bit_7 -2529456734240*C1105_bit_6 -5058913468480*C1105_bit_5 -10117826936960*C1105_bit_4 -20235653873920*C1105_bit_3 -40471307747840*C1105_bit_2 -80942615495680*C1105_bit_1 -161885230991360*C1105_bit0 -323770461982720*C1105_bit1 -647540923965440*C1105_bit2 -1295081847930880*C1105_bit3 -2590163695861760*C1105_bit4 -5180327391723520*C1105_bit5 -10360654783447040*C1105_bit6 -20721309566894080*C1105_bit7 -41442619133788160*C1105_bit8 -82885238267576320*C1105_bit9 -165770476535152640*C1105_bit10 -331540953070305280*C1105_bit11 -663081906140610560*C1105_bit12 -1326163812281221120*C1105_bit13 -2652327624562442240*C1105_bit14 -5304655249124884480*C1105_bit15 -10609310498249768960*C1105_bit16 -21218620996499537920*C1105_bit17 -42437241992999075840*C1105_bit18 -84874483985998151680*C1105_bit19 -158949096430*C1106_bit_10 -317898192860*C1106_bit_9 -635796385720*C1106_bit_8 -1271592771440*C1106_bit_7 -2543185542880*C1106_bit_6 -5086371085760*C1106_bit_5 -10172742171520*C1106_bit_4 -20345484343040*C1106_bit_3 -40690968686080*C1106_bit_2 -81381937372160*C1106_bit_1 -162763874744320*C1106_bit0 -325527749488640*C1106_bit1 -651055498977280*C1106_bit2 -1302110997954560*C1106_bit3 -2604221995909120*C1106_bit4 -5208443991818240*C1106_bit5 -10416887983636480*C1106_bit6 -20833775967272960*C1106_bit7 -41667551934545920*C1106_bit8 -83335103869091840*C1106_bit9 -166670207738183680*C1106_bit10 -333340415476367360*C1106_bit11 -666680830952734720*C1106_bit12 -1333361661905469440*C1106_bit13 -2666723323810938880*C1106_bit14 -5333446647621877760*C1106_bit15 -10666893295243755520*C1106_bit16 -21333786590487511040*C1106_bit17 -42667573180975022080*C1106_bit18 -85335146361950044160*C1106_bit19 -159794767855*C1107_bit_10 -319589535710*C1107_bit_9 -639179071420*C1107_bit_8 -1278358142840*C1107_bit_7 -2556716285680*C1107_bit_6 -5113432571360*C1107_bit_5 -10226865142720*C1107_bit_4 -20453730285440*C1107_bit_3 -40907460570880*C1107_bit_2 -81814921141760*C1107_bit_1 -163629842283520*C1107_bit0 -327259684567040*C1107_bit1 -654519369134080*C1107_bit2 -1309038738268160*C1107_bit3 -2618077476536320*C1107_bit4 -5236154953072640*C1107_bit5 -10472309906145280*C1107_bit6 -20944619812290560*C1107_bit7 -41889239624581120*C1107_bit8 -83778479249162240*C1107_bit9 -167556958498324480*C1107_bit10 -335113916996648960*C1107_bit11 -670227833993297920*C1107_bit12 -1340455667986595840*C1107_bit13 -2680911335973191680*C1107_bit14 -5361822671946383360*C1107_bit15 -10723645343892766720*C1107_bit16 -21447290687785533440*C1107_bit17 -42894581375571066880*C1107_bit18 -85789162751142133760*C1107_bit19 -160648598880*C1108_bit_10 -321297197760*C1108_bit_9 -642594395520*C1108_bit_8 -1285188791040*C1108_bit_7 -2570377582080*C1108_bit_6 -5140755164160*C1108_bit_5 -10281510328320*C1108_bit_4 -20563020656640*C1108_bit_3 -41126041313280*C1108_bit_2 -82252082626560*C1108_bit_1 -164504165253120*C1108_bit0 -329008330506240*C1108_bit1 -658016661012480*C1108_bit2 -1316033322024960*C1108_bit3 -2632066644049920*C1108_bit4 -5264133288099840*C1108_bit5 -10528266576199680*C1108_bit6 -21056533152399360*C1108_bit7 -42113066304798720*C1108_bit8 -84226132609597440*C1108_bit9 -168452265219194880*C1108_bit10 -336904530438389760*C1108_bit11 -673809060876779520*C1108_bit12 -1347618121753559040*C1108_bit13 -2695236243507118080*C1108_bit14 -5390472487014236160*C1108_bit15 -10780944974028472320*C1108_bit16 -21561889948056944640*C1108_bit17 -43123779896113889280*C1108_bit18 -86247559792227778560*C1108_bit19 -161530782625*C1109_bit_10 -323061565250*C1109_bit_9 -646123130500*C1109_bit_8 -1292246261000*C1109_bit_7 -2584492522000*C1109_bit_6 -5168985044000*C1109_bit_5 -10337970088000*C1109_bit_4 -20675940176000*C1109_bit_3 -41351880352000*C1109_bit_2 -82703760704000*C1109_bit_1 -165407521408000*C1109_bit0 -330815042816000*C1109_bit1 -661630085632000*C1109_bit2 -1323260171264000*C1109_bit3 -2646520342528000*C1109_bit4 -5293040685056000*C1109_bit5 -10586081370112000*C1109_bit6 -21172162740224000*C1109_bit7 -42344325480448000*C1109_bit8 -84688650960896000*C1109_bit9 -169377301921792000*C1109_bit10 -338754603843584000*C1109_bit11 -677509207687168000*C1109_bit12 -1355018415374336000*C1109_bit13 -2710036830748672000*C1109_bit14 -5420073661497344000*C1109_bit15 -10840147322994688000*C1109_bit16 -21680294645989376000*C1109_bit17 -43360589291978752000*C1109_bit18 -86721178583957504000*C1109_bit19 -162461012625*C1110_bit_10 -324922025250*C1110_bit_9 -649844050500*C1110_bit_8 -1299688101000*C1110_bit_7 -2599376202000*C1110_bit_6 -5198752404000*C1110_bit_5 -10397504808000*C1110_bit_4 -20795009616000*C1110_bit_3 -41590019232000*C1110_bit_2 -83180038464000*C1110_bit_1 -166360076928000*C1110_bit0 -332720153856000*C1110_bit1 -665440307712000*C1110_bit2 -1330880615424000*C1110_bit3 -2661761230848000*C1110_bit4 -5323522461696000*C1110_bit5 -10647044923392000*C1110_bit6 -21294089846784000*C1110_bit7 -42588179693568000*C1110_bit8 -85176359387136000*C1110_bit9 -170352718774272000*C1110_bit10 -340705437548544000*C1110_bit11 -681410875097088000*C1110_bit12 -1362821750194176000*C1110_bit13 -2725643500388352000*C1110_bit14 -5451287000776704000*C1110_bit15 -10902574001553408000*C1110_bit16 -21805148003106816000*C1110_bit17 -43610296006213632000*C1110_bit18 -87220592012427264000*C1110_bit19 -163458328850*C1111_bit_10 -326916657700*C1111_bit_9 -653833315400*C1111_bit_8 -1307666630800*C1111_bit_7 -2615333261600*C1111_bit_6 -5230666523200*C1111_bit_5 -10461333046400*C1111_bit_4 -20922666092800*C1111_bit_3 -41845332185600*C1111_bit_2 -83690664371200*C1111_bit_1 -167381328742400*C1111_bit0 -334762657484800*C1111_bit1 -669525314969600*C1111_bit2 -1339050629939200*C1111_bit3 -2678101259878400*C1111_bit4 -5356202519756800*C1111_bit5 -10712405039513600*C1111_bit6 -21424810079027200*C1111_bit7 -42849620158054400*C1111_bit8 -85699240316108800*C1111_bit9 -171398480632217600*C1111_bit10 -342796961264435200*C1111_bit11 -685593922528870400*C1111_bit12 -1371187845057740800*C1111_bit13 -2742375690115481600*C1111_bit14 -5484751380230963200*C1111_bit15 -10969502760461926400*C1111_bit16 -21939005520923852800*C1111_bit17 -43878011041847705600*C1111_bit18 -87756022083695411200*C1111_bit19 -164540963710*C1112_bit_10 -329081927420*C1112_bit_9 -658163854840*C1112_bit_8 -1316327709680*C1112_bit_7 -2632655419360*C1112_bit_6 -5265310838720*C1112_bit_5 -10530621677440*C1112_bit_4 -21061243354880*C1112_bit_3 -42122486709760*C1112_bit_2 -84244973419520*C1112_bit_1 -168489946839040*C1112_bit0 -336979893678080*C1112_bit1 -673959787356160*C1112_bit2 -1347919574712320*C1112_bit3 -2695839149424640*C1112_bit4 -5391678298849280*C1112_bit5 -10783356597698560*C1112_bit6 -21566713195397120*C1112_bit7 -43133426390794240*C1112_bit8 -86266852781588480*C1112_bit9 -172533705563176960*C1112_bit10 -345067411126353920*C1112_bit11 -690134822252707840*C1112_bit12 -1380269644505415680*C1112_bit13 -2760539289010831360*C1112_bit14 -5521078578021662720*C1112_bit15 -11042157156043325440*C1112_bit16 -22084314312086650880*C1112_bit17 -44168628624173301760*C1112_bit18 -88337257248346603520*C1112_bit19 -165726188095*C1113_bit_10 -331452376190*C1113_bit_9 -662904752380*C1113_bit_8 -1325809504760*C1113_bit_7 -2651619009520*C1113_bit_6 -5303238019040*C1113_bit_5 -10606476038080*C1113_bit_4 -21212952076160*C1113_bit_3 -42425904152320*C1113_bit_2 -84851808304640*C1113_bit_1 -169703616609280*C1113_bit0 -339407233218560*C1113_bit1 -678814466437120*C1113_bit2 -1357628932874240*C1113_bit3 -2715257865748480*C1113_bit4 -5430515731496960*C1113_bit5 -10861031462993920*C1113_bit6 -21722062925987840*C1113_bit7 -43444125851975680*C1113_bit8 -86888251703951360*C1113_bit9 -173776503407902720*C1113_bit10 -347553006815805440*C1113_bit11 -695106013631610880*C1113_bit12 -1390212027263221760*C1113_bit13 -2780424054526443520*C1113_bit14 -5560848109052887040*C1113_bit15 -11121696218105774080*C1113_bit16 -22243392436211548160*C1113_bit17 -44486784872423096320*C1113_bit18 -88973569744846192640*C1113_bit19 -167030157360*C1114_bit_10 -334060314720*C1114_bit_9 -668120629440*C1114_bit_8 -1336241258880*C1114_bit_7 -2672482517760*C1114_bit_6 -5344965035520*C1114_bit_5 -10689930071040*C1114_bit_4 -21379860142080*C1114_bit_3 -42759720284160*C1114_bit_2 -85519440568320*C1114_bit_1 -171038881136640*C1114_bit0 -342077762273280*C1114_bit1 -684155524546560*C1114_bit2 -1368311049093120*C1114_bit3 -2736622098186240*C1114_bit4 -5473244196372480*C1114_bit5 -10946488392744960*C1114_bit6 -21892976785489920*C1114_bit7 -43785953570979840*C1114_bit8 -87571907141959680*C1114_bit9 -175143814283919360*C1114_bit10 -350287628567838720*C1114_bit11 -700575257135677440*C1114_bit12 -1401150514271354880*C1114_bit13 -2802301028542709760*C1114_bit14 -5604602057085419520*C1114_bit15 -11209204114170839040*C1114_bit16 -22418408228341678080*C1114_bit17 -44836816456683356160*C1114_bit18 -89673632913366712320*C1114_bit19 -168467757360*C1115_bit_10 -336935514720*C1115_bit_9 -673871029440*C1115_bit_8 -1347742058880*C1115_bit_7 -2695484117760*C1115_bit_6 -5390968235520*C1115_bit_5 -10781936471040*C1115_bit_4 -21563872942080*C1115_bit_3 -43127745884160*C1115_bit_2 -86255491768320*C1115_bit_1 -172510983536640*C1115_bit0 -345021967073280*C1115_bit1 -690043934146560*C1115_bit2 -1380087868293120*C1115_bit3 -2760175736586240*C1115_bit4 -5520351473172480*C1115_bit5 -11040702946344960*C1115_bit6 -22081405892689920*C1115_bit7 -44162811785379840*C1115_bit8 -88325623570759680*C1115_bit9 -176651247141519360*C1115_bit10 -353302494283038720*C1115_bit11 -706604988566077440*C1115_bit12 -1413209977132154880*C1115_bit13 -2826419954264309760*C1115_bit14 -5652839908528619520*C1115_bit15 -11305679817057239040*C1115_bit16 -22611359634114478080*C1115_bit17 -45222719268228956160*C1115_bit18 -90445438536457912320*C1115_bit19 -170052450465*C1116_bit_10 -340104900930*C1116_bit_9 -680209801860*C1116_bit_8 -1360419603720*C1116_bit_7 -2720839207440*C1116_bit_6 -5441678414880*C1116_bit_5 -10883356829760*C1116_bit_4 -21766713659520*C1116_bit_3 -43533427319040*C1116_bit_2 -87066854638080*C1116_bit_1 -174133709276160*C1116_bit0 -348267418552320*C1116_bit1 -696534837104640*C1116_bit2 -1393069674209280*C1116_bit3 -2786139348418560*C1116_bit4 -5572278696837120*C1116_bit5 -11144557393674240*C1116_bit6 -22289114787348480*C1116_bit7 -44578229574696960*C1116_bit8 -89156459149393920*C1116_bit9 -178312918298787840*C1116_bit10 -356625836597575680*C1116_bit11 -713251673195151360*C1116_bit12 -1426503346390302720*C1116_bit13 -2853006692780605440*C1116_bit14 -5706013385561210880*C1116_bit15 -11412026771122421760*C1116_bit16 -22824053542244843520*C1116_bit17 -45648107084489687040*C1116_bit18 -91296214168979374080*C1116_bit19 -171796121570*C1117_bit_10 -343592243140*C1117_bit_9 -687184486280*C1117_bit_8 -1374368972560*C1117_bit_7 -2748737945120*C1117_bit_6 -5497475890240*C1117_bit_5 -10994951780480*C1117_bit_4 -21989903560960*C1117_bit_3 -43979807121920*C1117_bit_2 -87959614243840*C1117_bit_1 -175919228487680*C1117_bit0 -351838456975360*C1117_bit1 -703676913950720*C1117_bit2 -1407353827901440*C1117_bit3 -2814707655802880*C1117_bit4 -5629415311605760*C1117_bit5 -11258830623211520*C1117_bit6 -22517661246423040*C1117_bit7 -45035322492846080*C1117_bit8 -90070644985692160*C1117_bit9 -180141289971384320*C1117_bit10 -360282579942768640*C1117_bit11 -720565159885537280*C1117_bit12 -1441130319771074560*C1117_bit13 -2882260639542149120*C1117_bit14 -5764521279084298240*C1117_bit15 -11529042558168596480*C1117_bit16 -23058085116337192960*C1117_bit17 -46116170232674385920*C1117_bit18 -92232340465348771840*C1117_bit19 -173708924110*C1118_bit_10 -347417848220*C1118_bit_9 -694835696440*C1118_bit_8 -1389671392880*C1118_bit_7 -2779342785760*C1118_bit_6 -5558685571520*C1118_bit_5 -11117371143040*C1118_bit_4 -22234742286080*C1118_bit_3 -44469484572160*C1118_bit_2 -88938969144320*C1118_bit_1 -177877938288640*C1118_bit0 -355755876577280*C1118_bit1 -711511753154560*C1118_bit2 -1423023506309120*C1118_bit3 -2846047012618240*C1118_bit4 -5692094025236480*C1118_bit5 -11384188050472960*C1118_bit6 -22768376100945920*C1118_bit7 -45536752201891840*C1118_bit8 -91073504403783680*C1118_bit9 -182147008807567360*C1118_bit10 -364294017615134720*C1118_bit11 -728588035230269440*C1118_bit12 -1457176070460538880*C1118_bit13 -2914352140921077760*C1118_bit14 -5828704281842155520*C1118_bit15 -11657408563684311040*C1118_bit16 -23314817127368622080*C1118_bit17 -46629634254737244160*C1118_bit18 -93259268509474488320*C1118_bit19 -175799126095*C1119_bit_10 -351598252190*C1119_bit_9 -703196504380*C1119_bit_8 -1406393008760*C1119_bit_7 -2812786017520*C1119_bit_6 -5625572035040*C1119_bit_5 -11251144070080*C1119_bit_4 -22502288140160*C1119_bit_3 -45004576280320*C1119_bit_2 -90009152560640*C1119_bit_1 -180018305121280*C1119_bit0 -360036610242560*C1119_bit1 -720073220485120*C1119_bit2 -1440146440970240*C1119_bit3 -2880292881940480*C1119_bit4 -5760585763880960*C1119_bit5 -11521171527761920*C1119_bit6 -23042343055523840*C1119_bit7 -46084686111047680*C1119_bit8 -92169372222095360*C1119_bit9 -184338744444190720*C1119_bit10 -368677488888381440*C1119_bit11 -737354977776762880*C1119_bit12 -1474709955553525760*C1119_bit13 -2949419911107051520*C1119_bit14 -5898839822214103040*C1119_bit15 -11797679644428206080*C1119_bit16 -23595359288856412160*C1119_bit17 -47190718577712824320*C1119_bit18 -94381437155425648640*C1119_bit19 -178072956095*C1120_bit_10 -356145912190*C1120_bit_9 -712291824380*C1120_bit_8 -1424583648760*C1120_bit_7 -2849167297520*C1120_bit_6 -5698334595040*C1120_bit_5 -11396669190080*C1120_bit_4 -22793338380160*C1120_bit_3 -45586676760320*C1120_bit_2 -91173353520640*C1120_bit_1 -182346707041280*C1120_bit0 -364693414082560*C1120_bit1 -729386828165120*C1120_bit2 -1458773656330240*C1120_bit3 -2917547312660480*C1120_bit4 -5835094625320960*C1120_bit5 -11670189250641920*C1120_bit6 -23340378501283840*C1120_bit7 -46680757002567680*C1120_bit8 -93361514005135360*C1120_bit9 -186723028010270720*C1120_bit10 -373446056020541440*C1120_bit11 -746892112041082880*C1120_bit12 -1493784224082165760*C1120_bit13 -2987568448164331520*C1120_bit14 -5975136896328663040*C1120_bit15 -11950273792657326080*C1120_bit16 -23900547585314652160*C1120_bit17 -47801095170629304320*C1120_bit18 -95602190341258608640*C1120_bit19 -180534449280*C1121_bit_10 -361068898560*C1121_bit_9 -722137797120*C1121_bit_8 -1444275594240*C1121_bit_7 -2888551188480*C1121_bit_6 -5777102376960*C1121_bit_5 -11554204753920*C1121_bit_4 -23108409507840*C1121_bit_3 -46216819015680*C1121_bit_2 -92433638031360*C1121_bit_1 -184867276062720*C1121_bit0 -369734552125440*C1121_bit1 -739469104250880*C1121_bit2 -1478938208501760*C1121_bit3 -2957876417003520*C1121_bit4 -5915752834007040*C1121_bit5 -11831505668014080*C1121_bit6 -23663011336028160*C1121_bit7 -47326022672056320*C1121_bit8 -94652045344112640*C1121_bit9 -189304090688225280*C1121_bit10 -378608181376450560*C1121_bit11 -757216362752901120*C1121_bit12 -1514432725505802240*C1121_bit13 -3028865451011604480*C1121_bit14 -6057730902023208960*C1121_bit15 -12115461804046417920*C1121_bit16 -24230923608092835840*C1121_bit17 -48461847216185671680*C1121_bit18 -96923694432371343360*C1121_bit19 -183185293425*C1122_bit_10 -366370586850*C1122_bit_9 -732741173700*C1122_bit_8 -1465482347400*C1122_bit_7 -2930964694800*C1122_bit_6 -5861929389600*C1122_bit_5 -11723858779200*C1122_bit_4 -23447717558400*C1122_bit_3 -46895435116800*C1122_bit_2 -93790870233600*C1122_bit_1 -187581740467200*C1122_bit0 -375163480934400*C1122_bit1 -750326961868800*C1122_bit2 -1500653923737600*C1122_bit3 -3001307847475200*C1122_bit4 -6002615694950400*C1122_bit5 -12005231389900800*C1122_bit6 -24010462779801600*C1122_bit7 -48020925559603200*C1122_bit8 -96041851119206400*C1122_bit9 -192083702238412800*C1122_bit10 -384167404476825600*C1122_bit11 -768334808953651200*C1122_bit12 -1536669617907302400*C1122_bit13 -3073339235814604800*C1122_bit14 -6146678471629209600*C1122_bit15 -12293356943258419200*C1122_bit16 -24586713886516838400*C1122_bit17 -49173427773033676800*C1122_bit18 -98346855546067353600*C1122_bit19 -186024674930*C1123_bit_10 -372049349860*C1123_bit_9 -744098699720*C1123_bit_8 -1488197399440*C1123_bit_7 -2976394798880*C1123_bit_6 -5952789597760*C1123_bit_5 -11905579195520*C1123_bit_4 -23811158391040*C1123_bit_3 -47622316782080*C1123_bit_2 -95244633564160*C1123_bit_1 -190489267128320*C1123_bit0 -380978534256640*C1123_bit1 -761957068513280*C1123_bit2 -1523914137026560*C1123_bit3 -3047828274053120*C1123_bit4 -6095656548106240*C1123_bit5 -12191313096212480*C1123_bit6 -24382626192424960*C1123_bit7 -48765252384849920*C1123_bit8 -97530504769699840*C1123_bit9 -195061009539399680*C1123_bit10 -390122019078799360*C1123_bit11 -780244038157598720*C1123_bit12 -1560488076315197440*C1123_bit13 -3120976152630394880*C1123_bit14 -6241952305260789760*C1123_bit15 -12483904610521579520*C1123_bit16 -24967809221043159040*C1123_bit17 -49935618442086318080*C1123_bit18 -99871236884172636160*C1123_bit19 -189049124830*C1124_bit_10 -378098249660*C1124_bit_9 -756196499320*C1124_bit_8 -1512392998640*C1124_bit_7 -3024785997280*C1124_bit_6 -6049571994560*C1124_bit_5 -12099143989120*C1124_bit_4 -24198287978240*C1124_bit_3 -48396575956480*C1124_bit_2 -96793151912960*C1124_bit_1 -193586303825920*C1124_bit0 -387172607651840*C1124_bit1 -774345215303680*C1124_bit2 -1548690430607360*C1124_bit3 -3097380861214720*C1124_bit4 -6194761722429440*C1124_bit5 -12389523444858880*C1124_bit6 -24779046889717760*C1124_bit7 -49558093779435520*C1124_bit8 -99116187558871040*C1124_bit9 -198232375117742080*C1124_bit10 -396464750235484160*C1124_bit11 -792929500470968320*C1124_bit12 -1585859000941936640*C1124_bit13 -3171718001883873280*C1124_bit14 -6343436003767746560*C1124_bit15 -12686872007535493120*C1124_bit16 -25373744015070986240*C1124_bit17 -50747488030141972480*C1124_bit18 -101494976060283944960*C1124_bit19 -192252364830*C1125_bit_10 -384504729660*C1125_bit_9 -769009459320*C1125_bit_8 -1538018918640*C1125_bit_7 -3076037837280*C1125_bit_6 -6152075674560*C1125_bit_5 -12304151349120*C1125_bit_4 -24608302698240*C1125_bit_3 -49216605396480*C1125_bit_2 -98433210792960*C1125_bit_1 -196866421585920*C1125_bit0 -393732843171840*C1125_bit1 -787465686343680*C1125_bit2 -1574931372687360*C1125_bit3 -3149862745374720*C1125_bit4 -6299725490749440*C1125_bit5 -12599450981498880*C1125_bit6 -25198901962997760*C1125_bit7 -50397803925995520*C1125_bit8 -100795607851991040*C1125_bit9 -201591215703982080*C1125_bit10 -403182431407964160*C1125_bit11 -806364862815928320*C1125_bit12 -1612729725631856640*C1125_bit13 -3225459451263713280*C1125_bit14 -6450918902527426560*C1125_bit15 -12901837805054853120*C1125_bit16 -25803675610109706240*C1125_bit17 -51607351220219412480*C1125_bit18 -103214702440438824960*C1125_bit19 -195625153295*C1126_bit_10 -391250306590*C1126_bit_9 -782500613180*C1126_bit_8 -1565001226360*C1126_bit_7 -3130002452720*C1126_bit_6 -6260004905440*C1126_bit_5 -12520009810880*C1126_bit_4 -25040019621760*C1126_bit_3 -50080039243520*C1126_bit_2 -100160078487040*C1126_bit_1 -200320156974080*C1126_bit0 -400640313948160*C1126_bit1 -801280627896320*C1126_bit2 -1602561255792640*C1126_bit3 -3205122511585280*C1126_bit4 -6410245023170560*C1126_bit5 -12820490046341120*C1126_bit6 -25640980092682240*C1126_bit7 -51281960185364480*C1126_bit8 -102563920370728960*C1126_bit9 -205127840741457920*C1126_bit10 -410255681482915840*C1126_bit11 -820511362965831680*C1126_bit12 -1641022725931663360*C1126_bit13 -3282045451863326720*C1126_bit14 -6564090903726653440*C1126_bit15 -13128181807453306880*C1126_bit16 -26256363614906613760*C1126_bit17 -52512727229813227520*C1126_bit18 -105025454459626455040*C1126_bit19 -199155131280*C1127_bit_10 -398310262560*C1127_bit_9 -796620525120*C1127_bit_8 -1593241050240*C1127_bit_7 -3186482100480*C1127_bit_6 -6372964200960*C1127_bit_5 -12745928401920*C1127_bit_4 -25491856803840*C1127_bit_3 -50983713607680*C1127_bit_2 -101967427215360*C1127_bit_1 -203934854430720*C1127_bit0 -407869708861440*C1127_bit1 -815739417722880*C1127_bit2 -1631478835445760*C1127_bit3 -3262957670891520*C1127_bit4 -6525915341783040*C1127_bit5 -13051830683566080*C1127_bit6 -26103661367132160*C1127_bit7 -52207322734264320*C1127_bit8 -104414645468528640*C1127_bit9 -208829290937057280*C1127_bit10 -417658581874114560*C1127_bit11 -835317163748229120*C1127_bit12 -1670634327496458240*C1127_bit13 -3341268654992916480*C1127_bit14 -6682537309985832960*C1127_bit15 -13365074619971665920*C1127_bit16 -26730149239943331840*C1127_bit17 -53460298479886663680*C1127_bit18 -106920596959773327360*C1127_bit19 -202826668545*C1128_bit_10 -405653337090*C1128_bit_9 -811306674180*C1128_bit_8 -1622613348360*C1128_bit_7 -3245226696720*C1128_bit_6 -6490453393440*C1128_bit_5 -12980906786880*C1128_bit_4 -25961813573760*C1128_bit_3 -51923627147520*C1128_bit_2 -103847254295040*C1128_bit_1 -207694508590080*C1128_bit0 -415389017180160*C1128_bit1 -830778034360320*C1128_bit2 -1661556068720640*C1128_bit3 -3323112137441280*C1128_bit4 -6646224274882560*C1128_bit5 -13292448549765120*C1128_bit6 -26584897099530240*C1128_bit7 -53169794199060480*C1128_bit8 -106339588398120960*C1128_bit9 -212679176796241920*C1128_bit10 -425358353592483840*C1128_bit11 -850716707184967680*C1128_bit12 -1701433414369935360*C1128_bit13 -3402866828739870720*C1128_bit14 -6805733657479741440*C1128_bit15 -13611467314959482880*C1128_bit16 -27222934629918965760*C1128_bit17 -54445869259837931520*C1128_bit18 -108891738519675863040*C1128_bit19 -206620709570*C1129_bit_10 -413241419140*C1129_bit_9 -826482838280*C1129_bit_8 -1652965676560*C1129_bit_7 -3305931353120*C1129_bit_6 -6611862706240*C1129_bit_5 -13223725412480*C1129_bit_4 -26447450824960*C1129_bit_3 -52894901649920*C1129_bit_2 -105789803299840*C1129_bit_1 -211579606599680*C1129_bit0 -423159213199360*C1129_bit1 -846318426398720*C1129_bit2 -1692636852797440*C1129_bit3 -3385273705594880*C1129_bit4 -6770547411189760*C1129_bit5 -13541094822379520*C1129_bit6 -27082189644759040*C1129_bit7 -54164379289518080*C1129_bit8 -108328758579036160*C1129_bit9 -216657517158072320*C1129_bit10 -433315034316144640*C1129_bit11 -866630068632289280*C1129_bit12 -1733260137264578560*C1129_bit13 -3466520274529157120*C1129_bit14 -6933040549058314240*C1129_bit15 -13866081098116628480*C1129_bit16 -27732162196233256960*C1129_bit17 -55464324392466513920*C1129_bit18 -110928648784933027840*C1129_bit19 -210514619570*C1130_bit_10 -421029239140*C1130_bit_9 -842058478280*C1130_bit_8 -1684116956560*C1130_bit_7 -3368233913120*C1130_bit_6 -6736467826240*C1130_bit_5 -13472935652480*C1130_bit_4 -26945871304960*C1130_bit_3 -53891742609920*C1130_bit_2 -107783485219840*C1130_bit_1 -215566970439680*C1130_bit0 -431133940879360*C1130_bit1 -862267881758720*C1130_bit2 -1724535763517440*C1130_bit3 -3449071527034880*C1130_bit4 -6898143054069760*C1130_bit5 -13796286108139520*C1130_bit6 -27592572216279040*C1130_bit7 -55185144432558080*C1130_bit8 -110370288865116160*C1130_bit9 -220740577730232320*C1130_bit10 -441481155460464640*C1130_bit11 -882962310920929280*C1130_bit12 -1765924621841858560*C1130_bit13 -3531849243683717120*C1130_bit14 -7063698487367434240*C1130_bit15 -14127396974734868480*C1130_bit16 -28254793949469736960*C1130_bit17 -56509587898939473920*C1130_bit18 -113019175797878947840*C1130_bit19 -214482030510*C1131_bit_10 -428964061020*C1131_bit_9 -857928122040*C1131_bit_8 -1715856244080*C1131_bit_7 -3431712488160*C1131_bit_6 -6863424976320*C1131_bit_5 -13726849952640*C1131_bit_4 -27453699905280*C1131_bit_3 -54907399810560*C1131_bit_2 -109814799621120*C1131_bit_1 -219629599242240*C1131_bit0 -439259198484480*C1131_bit1 -878518396968960*C1131_bit2 -1757036793937920*C1131_bit3 -3514073587875840*C1131_bit4 -7028147175751680*C1131_bit5 -14056294351503360*C1131_bit6 -28112588703006720*C1131_bit7 -56225177406013440*C1131_bit8 -112450354812026880*C1131_bit9 -224900709624053760*C1131_bit10 -449801419248107520*C1131_bit11 -899602838496215040*C1131_bit12 -1799205676992430080*C1131_bit13 -3598411353984860160*C1131_bit14 -7196822707969720320*C1131_bit15 -14393645415939440640*C1131_bit16 -28787290831878881280*C1131_bit17 -57574581663757762560*C1131_bit18 -115149163327515525120*C1131_bit19 -218492687135*C1132_bit_10 -436985374270*C1132_bit_9 -873970748540*C1132_bit_8 -1747941497080*C1132_bit_7 -3495882994160*C1132_bit_6 -6991765988320*C1132_bit_5 -13983531976640*C1132_bit_4 -27967063953280*C1132_bit_3 -55934127906560*C1132_bit_2 -111868255813120*C1132_bit_1 -223736511626240*C1132_bit0 -447473023252480*C1132_bit1 -894946046504960*C1132_bit2 -1789892093009920*C1132_bit3 -3579784186019840*C1132_bit4 -7159568372039680*C1132_bit5 -14319136744079360*C1132_bit6 -28638273488158720*C1132_bit7 -57276546976317440*C1132_bit8 -114553093952634880*C1132_bit9 -229106187905269760*C1132_bit10 -458212375810539520*C1132_bit11 -916424751621079040*C1132_bit12 -1832849503242158080*C1132_bit13 -3665699006484316160*C1132_bit14 -7331398012968632320*C1132_bit15 -14662796025937264640*C1132_bit16 -29325592051874529280*C1132_bit17 -58651184103749058560*C1132_bit18 -117302368207498117120*C1132_bit19 -222512292960*C1133_bit_10 -445024585920*C1133_bit_9 -890049171840*C1133_bit_8 -1780098343680*C1133_bit_7 -3560196687360*C1133_bit_6 -7120393374720*C1133_bit_5 -14240786749440*C1133_bit_4 -28481573498880*C1133_bit_3 -56963146997760*C1133_bit_2 -113926293995520*C1133_bit_1 -227852587991040*C1133_bit0 -455705175982080*C1133_bit1 -911410351964160*C1133_bit2 -1822820703928320*C1133_bit3 -3645641407856640*C1133_bit4 -7291282815713280*C1133_bit5 -14582565631426560*C1133_bit6 -29165131262853120*C1133_bit7 -58330262525706240*C1133_bit8 -116660525051412480*C1133_bit9 -233321050102824960*C1133_bit10 -466642100205649920*C1133_bit11 -933284200411299840*C1133_bit12 -1866568400822599680*C1133_bit13 -3733136801645199360*C1133_bit14 -7466273603290398720*C1133_bit15 -14932547206580797440*C1133_bit16 -29865094413161594880*C1133_bit17 -59730188826323189760*C1133_bit18 -119460377652646379520*C1133_bit19 -226502356305*C1134_bit_10 -453004712610*C1134_bit_9 -906009425220*C1134_bit_8 -1812018850440*C1134_bit_7 -3624037700880*C1134_bit_6 -7248075401760*C1134_bit_5 -14496150803520*C1134_bit_4 -28992301607040*C1134_bit_3 -57984603214080*C1134_bit_2 -115969206428160*C1134_bit_1 -231938412856320*C1134_bit0 -463876825712640*C1134_bit1 -927753651425280*C1134_bit2 -1855507302850560*C1134_bit3 -3711014605701120*C1134_bit4 -7422029211402240*C1134_bit5 -14844058422804480*C1134_bit6 -29688116845608960*C1134_bit7 -59376233691217920*C1134_bit8 -118752467382435840*C1134_bit9 -237504934764871680*C1134_bit10 -475009869529743360*C1134_bit11 -950019739059486720*C1134_bit12 -1900039478118973440*C1134_bit13 -3800078956237946880*C1134_bit14 -7600157912475893760*C1134_bit15 -15200315824951787520*C1134_bit16 -30400631649903575040*C1134_bit17 -60801263299807150080*C1134_bit18 -121602526599614300160*C1134_bit19 -230420036305*C1135_bit_10 -460840072610*C1135_bit_9 -921680145220*C1135_bit_8 -1843360290440*C1135_bit_7 -3686720580880*C1135_bit_6 -7373441161760*C1135_bit_5 -14746882323520*C1135_bit_4 -29493764647040*C1135_bit_3 -58987529294080*C1135_bit_2 -117975058588160*C1135_bit_1 -235950117176320*C1135_bit0 -471900234352640*C1135_bit1 -943800468705280*C1135_bit2 -1887600937410560*C1135_bit3 -3775201874821120*C1135_bit4 -7550403749642240*C1135_bit5 -15100807499284480*C1135_bit6 -30201614998568960*C1135_bit7 -60403229997137920*C1135_bit8 -120806459994275840*C1135_bit9 -241612919988551680*C1135_bit10 -483225839977103360*C1135_bit11 -966451679954206720*C1135_bit12 -1932903359908413440*C1135_bit13 -3865806719816826880*C1135_bit14 -7731613439633653760*C1135_bit15 -15463226879267307520*C1135_bit16 -30926453758534615040*C1135_bit17 -61852907517069230080*C1135_bit18 -123705815034138460160*C1135_bit19 -234217988930*C1136_bit_10 -468435977860*C1136_bit_9 -936871955720*C1136_bit_8 -1873743911440*C1136_bit_7 -3747487822880*C1136_bit_6 -7494975645760*C1136_bit_5 -14989951291520*C1136_bit_4 -29979902583040*C1136_bit_3 -59959805166080*C1136_bit_2 -119919610332160*C1136_bit_1 -239839220664320*C1136_bit0 -479678441328640*C1136_bit1 -959356882657280*C1136_bit2 -1918713765314560*C1136_bit3 -3837427530629120*C1136_bit4 -7674855061258240*C1136_bit5 -15349710122516480*C1136_bit6 -30699420245032960*C1136_bit7 -61398840490065920*C1136_bit8 -122797680980131840*C1136_bit9 -245595361960263680*C1136_bit10 -491190723920527360*C1136_bit11 -982381447841054720*C1136_bit12 -1964762895682109440*C1136_bit13 -3929525791364218880*C1136_bit14 -7859051582728437760*C1136_bit15 -15718103165456875520*C1136_bit16 -31436206330913751040*C1136_bit17 -62872412661827502080*C1136_bit18 -125744825323655004160*C1136_bit19 -237844212990*C1137_bit_10 -475688425980*C1137_bit_9 -951376851960*C1137_bit_8 -1902753703920*C1137_bit_7 -3805507407840*C1137_bit_6 -7611014815680*C1137_bit_5 -15222029631360*C1137_bit_4 -30444059262720*C1137_bit_3 -60888118525440*C1137_bit_2 -121776237050880*C1137_bit_1 -243552474101760*C1137_bit0 -487104948203520*C1137_bit1 -974209896407040*C1137_bit2 -1948419792814080*C1137_bit3 -3896839585628160*C1137_bit4 -7793679171256320*C1137_bit5 -15587358342512640*C1137_bit6 -31174716685025280*C1137_bit7 -62349433370050560*C1137_bit8 -124698866740101120*C1137_bit9 -249397733480202240*C1137_bit10 -498795466960404480*C1137_bit11 -997590933920808960*C1137_bit12 -1995181867841617920*C1137_bit13 -3990363735683235840*C1137_bit14 -7980727471366471680*C1137_bit15 -15961454942732943360*C1137_bit16 -31922909885465886720*C1137_bit17 -63845819770931773440*C1137_bit18 -127691639541863546880*C1137_bit19 -241241896175*C1138_bit_10 -482483792350*C1138_bit_9 -964967584700*C1138_bit_8 -1929935169400*C1138_bit_7 -3859870338800*C1138_bit_6 -7719740677600*C1138_bit_5 -15439481355200*C1138_bit_4 -30878962710400*C1138_bit_3 -61757925420800*C1138_bit_2 -123515850841600*C1138_bit_1 -247031701683200*C1138_bit0 -494063403366400*C1138_bit1 -988126806732800*C1138_bit2 -1976253613465600*C1138_bit3 -3952507226931200*C1138_bit4 -7905014453862400*C1138_bit5 -15810028907724800*C1138_bit6 -31620057815449600*C1138_bit7 -63240115630899200*C1138_bit8 -126480231261798400*C1138_bit9 -252960462523596800*C1138_bit10 -505920925047193600*C1138_bit11 -1011841850094387200*C1138_bit12 -2023683700188774400*C1138_bit13 -4047367400377548800*C1138_bit14 -8094734800755097600*C1138_bit15 -16189469601510195200*C1138_bit16 -32378939203020390400*C1138_bit17 -64757878406040780800*C1138_bit18 -129515756812081561600*C1138_bit19 -244349261040*C1139_bit_10 -488698522080*C1139_bit_9 -977397044160*C1139_bit_8 -1954794088320*C1139_bit_7 -3909588176640*C1139_bit_6 -7819176353280*C1139_bit_5 -15638352706560*C1139_bit_4 -31276705413120*C1139_bit_3 -62553410826240*C1139_bit_2 -125106821652480*C1139_bit_1 -250213643304960*C1139_bit0 -500427286609920*C1139_bit1 -1000854573219840*C1139_bit2 -2001709146439680*C1139_bit3 -4003418292879360*C1139_bit4 -8006836585758720*C1139_bit5 -16013673171517440*C1139_bit6 -32027346343034880*C1139_bit7 -64054692686069760*C1139_bit8 -128109385372139520*C1139_bit9 -256218770744279040*C1139_bit10 -512437541488558080*C1139_bit11 -1024875082977116160*C1139_bit12 -2049750165954232320*C1139_bit13 -4099500331908464640*C1139_bit14 -8199000663816929280*C1139_bit15 -16398001327633858560*C1139_bit16 -32796002655267717120*C1139_bit17 -65592005310535434240*C1139_bit18 -131184010621070868480*C1139_bit19 -247099411040*C1140_bit_10 -494198822080*C1140_bit_9 -988397644160*C1140_bit_8 -1976795288320*C1140_bit_7 -3953590576640*C1140_bit_6 -7907181153280*C1140_bit_5 -15814362306560*C1140_bit_4 -31628724613120*C1140_bit_3 -63257449226240*C1140_bit_2 -126514898452480*C1140_bit_1 -253029796904960*C1140_bit0 -506059593809920*C1140_bit1 -1012119187619840*C1140_bit2 -2024238375239680*C1140_bit3 -4048476750479360*C1140_bit4 -8096953500958720*C1140_bit5 -16193907001917440*C1140_bit6 -32387814003834880*C1140_bit7 -64775628007669760*C1140_bit8 -129551256015339520*C1140_bit9 -259102512030679040*C1140_bit10 -518205024061358080*C1140_bit11 -1036410048122716160*C1140_bit12 -2072820096245432320*C1140_bit13 -4145640192490864640*C1140_bit14 -8291280384981729280*C1140_bit15 -16582560769963458560*C1140_bit16 -33165121539926917120*C1140_bit17 -66330243079853834240*C1140_bit18 -132660486159707668480*C1140_bit19 -249420176545*C1141_bit_10 -498840353090*C1141_bit_9 -997680706180*C1141_bit_8 -1995361412360*C1141_bit_7 -3990722824720*C1141_bit_6 -7981445649440*C1141_bit_5 -15962891298880*C1141_bit_4 -31925782597760*C1141_bit_3 -63851565195520*C1141_bit_2 -127703130391040*C1141_bit_1 -255406260782080*C1141_bit0 -510812521564160*C1141_bit1 -1021625043128320*C1141_bit2 -2043250086256640*C1141_bit3 -4086500172513280*C1141_bit4 -8173000345026560*C1141_bit5 -16346000690053120*C1141_bit6 -32692001380106240*C1141_bit7 -65384002760212480*C1141_bit8 -130768005520424960*C1141_bit9 -261536011040849920*C1141_bit10 -523072022081699840*C1141_bit11 -1046144044163399680*C1141_bit12 -2092288088326799360*C1141_bit13 -4184576176653598720*C1141_bit14 -8369152353307197440*C1141_bit15 -16738304706614394880*C1141_bit16 -33476609413228789760*C1141_bit17 -66953218826457579520*C1141_bit18 -133906437652915159040*C1141_bit19 -251233960850*C1142_bit_10 -502467921700*C1142_bit_9 -1004935843400*C1142_bit_8 -2009871686800*C1142_bit_7 -4019743373600*C1142_bit_6 -8039486747200*C1142_bit_5 -16078973494400*C1142_bit_4 -32157946988800*C1142_bit_3 -64315893977600*C1142_bit_2 -128631787955200*C1142_bit_1 -257263575910400*C1142_bit0 -514527151820800*C1142_bit1 -1029054303641600*C1142_bit2 -2058108607283200*C1142_bit3 -4116217214566400*C1142_bit4 -8232434429132800*C1142_bit5 -16464868858265600*C1142_bit6 -32929737716531200*C1142_bit7 -65859475433062400*C1142_bit8 -131718950866124800*C1142_bit9 -263437901732249600*C1142_bit10 -526875803464499200*C1142_bit11 -1053751606928998400*C1142_bit12 -2107503213857996800*C1142_bit13 -4215006427715993600*C1142_bit14 -8430012855431987200*C1142_bit15 -16860025710863974400*C1142_bit16 -33720051421727948800*C1142_bit17 -67440102843455897600*C1142_bit18 -134880205686911795200*C1142_bit19 -252457586190*C1143_bit_10 -504915172380*C1143_bit_9 -1009830344760*C1143_bit_8 -2019660689520*C1143_bit_7 -4039321379040*C1143_bit_6 -8078642758080*C1143_bit_5 -16157285516160*C1143_bit_4 -32314571032320*C1143_bit_3 -64629142064640*C1143_bit_2 -129258284129280*C1143_bit_1 -258516568258560*C1143_bit0 -517033136517120*C1143_bit1 -1034066273034240*C1143_bit2 -2068132546068480*C1143_bit3 -4136265092136960*C1143_bit4 -8272530184273920*C1143_bit5 -16545060368547840*C1143_bit6 -33090120737095680*C1143_bit7 -66180241474191360*C1143_bit8 -132360482948382720*C1143_bit9 -264720965896765440*C1143_bit10 -529441931793530880*C1143_bit11 -1058883863587061760*C1143_bit12 -2117767727174123520*C1143_bit13 -4235535454348247040*C1143_bit14 -8471070908696494080*C1143_bit15 -16942141817392988160*C1143_bit16 -33884283634785976320*C1143_bit17 -67768567269571952640*C1143_bit18 -135537134539143905280*C1143_bit19 -2722767920*C1144_bit_10 -5445535840*C1144_bit_9 -10891071680*C1144_bit_8 -21782143360*C1144_bit_7 -43564286720*C1144_bit_6 -87128573440*C1144_bit_5 -174257146880*C1144_bit_4 -348514293760*C1144_bit_3 -697028587520*C1144_bit_2 -1394057175040*C1144_bit_1 >= -128000000000000;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-neos3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.122 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.99 0.97 0.91 2/54 2229
Raw data (stat): 2229 (runsolver) R 2228 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776387268 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+0.186886 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2229
Raw data (stat): 2229 (runsolver) R 2228 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776387268 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 0

Child status: 0
Real time (s): 0.186602
CPU time (s): 0.130979
CPU user time (s): 0.099984
CPU system time (s): 0.030995
CPU usage (%): 70.1916
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####