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-neos2.opb
MD5SUM	b7400535246fc2c2b54a52ae77322df5
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	84
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	8388604
Number of bits of the sum of numbers in the objective function	23
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	21894
Total number of constraints	2173
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1053
Number of constraints which are nor clauses,nor cardinality constraints	1120
Minimum length of a constraint	1
Maximum length of a constraint	3188
Trace number 25470

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 16:20:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19670 boxname=wulflinc31 idbench=1514 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b7400535246fc2c2b54a52ae77322df5  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos2.opb
IDLAUNCH: 19670
/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:        711160 kB
Buffers:         33356 kB
Cached:         264592 kB
SwapCached:       5400 kB
Active:         240588 kB
Inactive:        63972 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        710908 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              24 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:20:51 (client local time) WITH STATUS 0 IN 0.102983 SECONDS
stats: 19670 7 0.102983 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +12055000000*C0819_bit_7 +24110000000*C0819_bit_6 +48220000000*C0819_bit_5 +96440000000*C0819_bit_4 +192880000000*C0819_bit_3 +385760000000*C0819_bit_2 +771520000000*C0819_bit_1 -2411000000*C0820_bit_7 -4822000000*C0820_bit_6 -9644000000*C0820_bit_5 -19288000000*C0820_bit_4 -38576000000*C0820_bit_3 -77152000000*C0820_bit_2 -154304000000*C0820_bit_1 -308608000000*C0820_bit0 -617216000000*C0820_bit1 -1234432000000*C0820_bit2 -2468864000000*C0820_bit3 -4937728000000*C0820_bit4 -9875456000000*C0820_bit5 -19750912000000*C0820_bit6 -39501824000000*C0820_bit7 -79003648000000*C0820_bit8 -158007296000000*C0820_bit9 -316014592000000*C0820_bit10 -632029184000000*C0820_bit11 -1264058368000000*C0820_bit12 -5570288304*C0821_bit_7 -11140576608*C0821_bit_6 -22281153216*C0821_bit_5 -44562306432*C0821_bit_4 -89124612864*C0821_bit_3 -178249225728*C0821_bit_2 -356498451456*C0821_bit_1 -712996902912*C0821_bit0 -1425993805824*C0821_bit1 -2851987611648*C0821_bit2 -5703975223296*C0821_bit3 -11407950446592*C0821_bit4 -22815900893184*C0821_bit5 -45631801786368*C0821_bit6 -91263603572736*C0821_bit7 -182527207145472*C0821_bit8 -365054414290944*C0821_bit9 -730108828581888*C0821_bit10 -1460217657163776*C0821_bit11 -2920435314327552*C0821_bit12 -9379993008*C0822_bit_7 -18759986016*C0822_bit_6 -37519972032*C0822_bit_5 -75039944064*C0822_bit_4 -150079888128*C0822_bit_3 -300159776256*C0822_bit_2 -600319552512*C0822_bit_1 -1200639105024*C0822_bit0 -2401278210048*C0822_bit1 -4802556420096*C0822_bit2 -9605112840192*C0822_bit3 -19210225680384*C0822_bit4 -38420451360768*C0822_bit5 -76840902721536*C0822_bit6 -153681805443072*C0822_bit7 -307363610886144*C0822_bit8 -614727221772288*C0822_bit9 -1229454443544576*C0822_bit10 -2458908887089152*C0822_bit11 -4917817774178304*C0822_bit12 -13748209952*C0823_bit_7 -27496419904*C0823_bit_6 -54992839808*C0823_bit_5 -109985679616*C0823_bit_4 -219971359232*C0823_bit_3 -439942718464*C0823_bit_2 -879885436928*C0823_bit_1 -1759770873856*C0823_bit0 -3519541747712*C0823_bit1 -7039083495424*C0823_bit2 -14078166990848*C0823_bit3 -28156333981696*C0823_bit4 -56312667963392*C0823_bit5 -112625335926784*C0823_bit6 -225250671853568*C0823_bit7 -450501343707136*C0823_bit8 -901002687414272*C0823_bit9 -1802005374828544*C0823_bit10 -3604010749657088*C0823_bit11 -7208021499314176*C0823_bit12 -18588848736*C0824_bit_7 -37177697472*C0824_bit_6 -74355394944*C0824_bit_5 -148710789888*C0824_bit_4 -297421579776*C0824_bit_3 -594843159552*C0824_bit_2 -1189686319104*C0824_bit_1 -2379372638208*C0824_bit0 -4758745276416*C0824_bit1 -9517490552832*C0824_bit2 -19034981105664*C0824_bit3 -38069962211328*C0824_bit4 -76139924422656*C0824_bit5 -152279848845312*C0824_bit6 -304559697690624*C0824_bit7 -609119395381248*C0824_bit8 -1218238790762496*C0824_bit9 -2436477581524992*C0824_bit10 -4872955163049984*C0824_bit11 -9745910326099968*C0824_bit12 -23821478736*C0825_bit_7 -47642957472*C0825_bit_6 -95285914944*C0825_bit_5 -190571829888*C0825_bit_4 -381143659776*C0825_bit_3 -762287319552*C0825_bit_2 -1524574639104*C0825_bit_1 -3049149278208*C0825_bit0 -6098298556416*C0825_bit1 -12196597112832*C0825_bit2 -24393194225664*C0825_bit3 -48786388451328*C0825_bit4 -97572776902656*C0825_bit5 -195145553805312*C0825_bit6 -390291107610624*C0825_bit7 -780582215221248*C0825_bit8 -1561164430442496*C0825_bit9 -3122328860884992*C0825_bit10 -6244657721769984*C0825_bit11 -12489315443539968*C0825_bit12 -29371175120*C0826_bit_7 -58742350240*C0826_bit_6 -117484700480*C0826_bit_5 -234969400960*C0826_bit_4 -469938801920*C0826_bit_3 -939877603840*C0826_bit_2 -1879755207680*C0826_bit_1 -3759510415360*C0826_bit0 -7519020830720*C0826_bit1 -15038041661440*C0826_bit2 -30076083322880*C0826_bit3 -60152166645760*C0826_bit4 -120304333291520*C0826_bit5 -240608666583040*C0826_bit6 -481217333166080*C0826_bit7 -962434666332160*C0826_bit8 -1924869332664320*C0826_bit9 -3849738665328640*C0826_bit10 -7699477330657280*C0826_bit11 -15398954661314560*C0826_bit12 -35168364864*C0827_bit_7 -70336729728*C0827_bit_6 -140673459456*C0827_bit_5 -281346918912*C0827_bit_4 -562693837824*C0827_bit_3 -1125387675648*C0827_bit_2 -2250775351296*C0827_bit_1 -4501550702592*C0827_bit0 -9003101405184*C0827_bit1 -18006202810368*C0827_bit2 -36012405620736*C0827_bit3 -72024811241472*C0827_bit4 -144049622482944*C0827_bit5 -288099244965888*C0827_bit6 -576198489931776*C0827_bit7 -1152396979863552*C0827_bit8 -2304793959727104*C0827_bit9 -4609587919454208*C0827_bit10 -9219175838908416*C0827_bit11 -18438351677816832*C0827_bit12 -41148672768*C0828_bit_7 -82297345536*C0828_bit_6 -164594691072*C0828_bit_5 -329189382144*C0828_bit_4 -658378764288*C0828_bit_3 -1316757528576*C0828_bit_2 -2633515057152*C0828_bit_1 -5267030114304*C0828_bit0 -10534060228608*C0828_bit1 -21068120457216*C0828_bit2 -42136240914432*C0828_bit3 -84272481828864*C0828_bit4 -168544963657728*C0828_bit5 -337089927315456*C0828_bit6 -674179854630912*C0828_bit7 -1348359709261824*C0828_bit8 -2696719418523648*C0828_bit9 -5393438837047296*C0828_bit10 -10786877674094592*C0828_bit11 -21573755348189184*C0828_bit12 -47252767472*C0829_bit_7 -94505534944*C0829_bit_6 -189011069888*C0829_bit_5 -378022139776*C0829_bit_4 -756044279552*C0829_bit_3 -1512088559104*C0829_bit_2 -3024177118208*C0829_bit_1 -6048354236416*C0829_bit0 -12096708472832*C0829_bit1 -24193416945664*C0829_bit2 -48386833891328*C0829_bit3 -96773667782656*C0829_bit4 -193547335565312*C0829_bit5 -387094671130624*C0829_bit6 -774189342261248*C0829_bit7 -1548378684522496*C0829_bit8 -3096757369044992*C0829_bit9 -6193514738089984*C0829_bit10 -12387029476179968*C0829_bit11 -24774058952359936*C0829_bit12 -53426207470*C0830_bit_7 -106852414940*C0830_bit_6 -213704829880*C0830_bit_5 -427409659760*C0830_bit_4 -854819319520*C0830_bit_3 -1709638639040*C0830_bit_2 -3419277278080*C0830_bit_1 -6838554556160*C0830_bit0 -13677109112320*C0830_bit1 -27354218224640*C0830_bit2 -54708436449280*C0830_bit3 -109416872898560*C0830_bit4 -218833745797120*C0830_bit5 -437667491594240*C0830_bit6 -875334983188480*C0830_bit7 -1750669966376960*C0830_bit8 -3501339932753920*C0830_bit9 -7002679865507840*C0830_bit10 -14005359731015680*C0830_bit11 -28010719462031360*C0830_bit12 -59619287135*C0831_bit_7 -119238574270*C0831_bit_6 -238477148540*C0831_bit_5 -476954297080*C0831_bit_4 -953908594160*C0831_bit_3 -1907817188320*C0831_bit_2 -3815634376640*C0831_bit_1 -7631268753280*C0831_bit0 -15262537506560*C0831_bit1 -30525075013120*C0831_bit2 -61050150026240*C0831_bit3 -122100300052480*C0831_bit4 -244200600104960*C0831_bit5 -488401200209920*C0831_bit6 -976802400419840*C0831_bit7 -1953604800839680*C0831_bit8 -3907209601679360*C0831_bit9 -7814419203358720*C0831_bit10 -15628838406717440*C0831_bit11 -31257676813434880*C0831_bit12 -65786882720*C0832_bit_7 -131573765440*C0832_bit_6 -263147530880*C0832_bit_5 -526295061760*C0832_bit_4 -1052590123520*C0832_bit_3 -2105180247040*C0832_bit_2 -4210360494080*C0832_bit_1 -8420720988160*C0832_bit0 -16841441976320*C0832_bit1 -33682883952640*C0832_bit2 -67365767905280*C0832_bit3 -134731535810560*C0832_bit4 -269463071621120*C0832_bit5 -538926143242240*C0832_bit6 -1077852286484480*C0832_bit7 -2155704572968960*C0832_bit8 -4311409145937920*C0832_bit9 -8622818291875840*C0832_bit10 -17245636583751680*C0832_bit11 -34491273167503360*C0832_bit12 -71888298385*C0833_bit_7 -143776596770*C0833_bit_6 -287553193540*C0833_bit_5 -575106387080*C0833_bit_4 -1150212774160*C0833_bit_3 -2300425548320*C0833_bit_2 -4600851096640*C0833_bit_1 -9201702193280*C0833_bit0 -18403404386560*C0833_bit1 -36806808773120*C0833_bit2 -73613617546240*C0833_bit3 -147227235092480*C0833_bit4 -294454470184960*C0833_bit5 -588908940369920*C0833_bit6 -1177817880739840*C0833_bit7 -2355635761479680*C0833_bit8 -4711271522959360*C0833_bit9 -9422543045918720*C0833_bit10 -18845086091837440*C0833_bit11 -37690172183674880*C0833_bit12 -77887112210*C0834_bit_7 -155774224420*C0834_bit_6 -311548448840*C0834_bit_5 -623096897680*C0834_bit_4 -1246193795360*C0834_bit_3 -2492387590720*C0834_bit_2 -4984775181440*C0834_bit_1 -9969550362880*C0834_bit0 -19939100725760*C0834_bit1 -39878201451520*C0834_bit2 -79756402903040*C0834_bit3 -159512805806080*C0834_bit4 -319025611612160*C0834_bit5 -638051223224320*C0834_bit6 -1276102446448640*C0834_bit7 -2552204892897280*C0834_bit8 -5104409785794560*C0834_bit9 -10208819571589120*C0834_bit10 -20417639143178240*C0834_bit11 -40835278286356480*C0834_bit12 -83751022210*C0835_bit_7 -167502044420*C0835_bit_6 -335004088840*C0835_bit_5 -670008177680*C0835_bit_4 -1340016355360*C0835_bit_3 -2680032710720*C0835_bit_2 -5360065421440*C0835_bit_1 -10720130842880*C0835_bit0 -21440261685760*C0835_bit1 -42880523371520*C0835_bit2 -85761046743040*C0835_bit3 -171522093486080*C0835_bit4 -343044186972160*C0835_bit5 -686088373944320*C0835_bit6 -1372176747888640*C0835_bit7 -2744353495777280*C0835_bit8 -5488706991554560*C0835_bit9 -10977413983109120*C0835_bit10 -21954827966218240*C0835_bit11 -43909655932436480*C0835_bit12 -89451692350*C0836_bit_7 -178903384700*C0836_bit_6 -357806769400*C0836_bit_5 -715613538800*C0836_bit_4 -1431227077600*C0836_bit_3 -2862454155200*C0836_bit_2 -5724908310400*C0836_bit_1 -11449816620800*C0836_bit0 -22899633241600*C0836_bit1 -45799266483200*C0836_bit2 -91598532966400*C0836_bit3 -183197065932800*C0836_bit4 -366394131865600*C0836_bit5 -732788263731200*C0836_bit6 -1465576527462400*C0836_bit7 -2931153054924800*C0836_bit8 -5862306109849600*C0836_bit9 -11724612219699200*C0836_bit10 -23449224439398400*C0836_bit11 -46898448878796800*C0836_bit12 -94964598575*C0837_bit_7 -189929197150*C0837_bit_6 -379858394300*C0837_bit_5 -759716788600*C0837_bit_4 -1519433577200*C0837_bit_3 -3038867154400*C0837_bit_2 -6077734308800*C0837_bit_1 -12155468617600*C0837_bit0 -24310937235200*C0837_bit1 -48621874470400*C0837_bit2 -97243748940800*C0837_bit3 -194487497881600*C0837_bit4 -388974995763200*C0837_bit5 -777949991526400*C0837_bit6 -1555899983052800*C0837_bit7 -3111799966105600*C0837_bit8 -6223599932211200*C0837_bit9 -12447199864422400*C0837_bit10 -24894399728844800*C0837_bit11 -49788799457689600*C0837_bit12 -100268874800*C0838_bit_7 -200537749600*C0838_bit_6 -401075499200*C0838_bit_5 -802150998400*C0838_bit_4 -1604301996800*C0838_bit_3 -3208603993600*C0838_bit_2 -6417207987200*C0838_bit_1 -12834415974400*C0838_bit0 -25668831948800*C0838_bit1 -51337663897600*C0838_bit2 -102675327795200*C0838_bit3 -205350655590400*C0838_bit4 -410701311180800*C0838_bit5 -821402622361600*C0838_bit6 -1642805244723200*C0838_bit7 -3285610489446400*C0838_bit8 -6571220978892800*C0838_bit9 -13142441957785600*C0838_bit10 -26284883915571200*C0838_bit11 -52569767831142400*C0838_bit12 -105347158945*C0839_bit_7 -210694317890*C0839_bit_6 -421388635780*C0839_bit_5 -842777271560*C0839_bit_4 -1685554543120*C0839_bit_3 -3371109086240*C0839_bit_2 -6742218172480*C0839_bit_1 -13484436344960*C0839_bit0 -26968872689920*C0839_bit1 -53937745379840*C0839_bit2 -107875490759680*C0839_bit3 -215750981519360*C0839_bit4 -431501963038720*C0839_bit5 -863003926077440*C0839_bit6 -1726007852154880*C0839_bit7 -3452015704309760*C0839_bit8 -6904031408619520*C0839_bit9 -13808062817239040*C0839_bit10 -27616125634478080*C0839_bit11 -55232251268956160*C0839_bit12 -110185438945*C0840_bit_7 -220370877890*C0840_bit_6 -440741755780*C0840_bit_5 -881483511560*C0840_bit_4 -1762967023120*C0840_bit_3 -3525934046240*C0840_bit_2 -7051868092480*C0840_bit_1 -14103736184960*C0840_bit0 -28207472369920*C0840_bit1 -56414944739840*C0840_bit2 -112829889479680*C0840_bit3 -225659778959360*C0840_bit4 -451319557918720*C0840_bit5 -902639115837440*C0840_bit6 -1805278231674880*C0840_bit7 -3610556463349760*C0840_bit8 -7221112926699520*C0840_bit9 -14442225853399040*C0840_bit10 -28884451706798080*C0840_bit11 -57768903413596160*C0840_bit12 -114772898770*C0841_bit_7 -229545797540*C0841_bit_6 -459091595080*C0841_bit_5 -918183190160*C0841_bit_4 -1836366380320*C0841_bit_3 -3672732760640*C0841_bit_2 -7345465521280*C0841_bit_1 -14690931042560*C0841_bit0 -29381862085120*C0841_bit1 -58763724170240*C0841_bit2 -117527448340480*C0841_bit3 -235054896680960*C0841_bit4 -470109793361920*C0841_bit5 -940219586723840*C0841_bit6 -1880439173447680*C0841_bit7 -3760878346895360*C0841_bit8 -7521756693790720*C0841_bit9 -15043513387581440*C0841_bit10 -30087026775162880*C0841_bit11 -60174053550325760*C0841_bit12 -119101764430*C0842_bit_7 -238203528860*C0842_bit_6 -476407057720*C0842_bit_5 -952814115440*C0842_bit_4 -1905628230880*C0842_bit_3 -3811256461760*C0842_bit_2 -7622512923520*C0842_bit_1 -15245025847040*C0842_bit0 -30490051694080*C0842_bit1 -60980103388160*C0842_bit2 -121960206776320*C0842_bit3 -243920413552640*C0842_bit4 -487840827105280*C0842_bit5 -975681654210560*C0842_bit6 -1951363308421120*C0842_bit7 -3902726616842240*C0842_bit8 -7805453233684480*C0842_bit9 -15610906467368960*C0842_bit10 -31221812934737920*C0842_bit11 -62443625869475840*C0842_bit12 -123167150015*C0843_bit_7 -246334300030*C0843_bit_6 -492668600060*C0843_bit_5 -985337200120*C0843_bit_4 -1970674400240*C0843_bit_3 -3941348800480*C0843_bit_2 -7882697600960*C0843_bit_1 -15765395201920*C0843_bit0 -31530790403840*C0843_bit1 -63061580807680*C0843_bit2 -126123161615360*C0843_bit3 -252246323230720*C0843_bit4 -504492646461440*C0843_bit5 -1008985292922880*C0843_bit6 -2017970585845760*C0843_bit7 -4035941171691520*C0843_bit8 -8071882343383040*C0843_bit9 -16143764686766080*C0843_bit10 -32287529373532160*C0843_bit11 -64575058747064320*C0843_bit12 -126966903680*C0844_bit_7 -253933807360*C0844_bit_6 -507867614720*C0844_bit_5 -1015735229440*C0844_bit_4 -2031470458880*C0844_bit_3 -4062940917760*C0844_bit_2 -8125881835520*C0844_bit_1 -16251763671040*C0844_bit0 -32503527342080*C0844_bit1 -65007054684160*C0844_bit2 -130014109368320*C0844_bit3 -260028218736640*C0844_bit4 -520056437473280*C0844_bit5 -1040112874946560*C0844_bit6 -2080225749893120*C0844_bit7 -4160451499786240*C0844_bit8 -8320902999572480*C0844_bit9 -16641805999144960*C0844_bit10 -33283611998289920*C0844_bit11 -66567223996579840*C0844_bit12 -130501453680*C0845_bit_7 -261002907360*C0845_bit_6 -522005814720*C0845_bit_5 -1044011629440*C0845_bit_4 -2088023258880*C0845_bit_3 -4176046517760*C0845_bit_2 -8352093035520*C0845_bit_1 -16704186071040*C0845_bit0 -33408372142080*C0845_bit1 -66816744284160*C0845_bit2 -133633488568320*C0845_bit3 -267266977136640*C0845_bit4 -534533954273280*C0845_bit5 -1069067908546560*C0845_bit6 -2138135817093120*C0845_bit7 -4276271634186240*C0845_bit8 -8552543268372480*C0845_bit9 -17105086536744960*C0845_bit10 -34210173073489920*C0845_bit11 -68420346146979840*C0845_bit12 -133773654385*C0846_bit_7 -267547308770*C0846_bit_6 -535094617540*C0846_bit_5 -1070189235080*C0846_bit_4 -2140378470160*C0846_bit_3 -4280756940320*C0846_bit_2 -8561513880640*C0846_bit_1 -17123027761280*C0846_bit0 -34246055522560*C0846_bit1 -68492111045120*C0846_bit2 -136984222090240*C0846_bit3 -273968444180480*C0846_bit4 -547936888360960*C0846_bit5 -1095873776721920*C0846_bit6 -2191747553443840*C0846_bit7 -4383495106887680*C0846_bit8 -8766990213775360*C0846_bit9 -17533980427550720*C0846_bit10 -35067960855101440*C0846_bit11 -70135921710202880*C0846_bit12 -136788632290*C0847_bit_7 -273577264580*C0847_bit_6 -547154529160*C0847_bit_5 -1094309058320*C0847_bit_4 -2188618116640*C0847_bit_3 -4377236233280*C0847_bit_2 -8754472466560*C0847_bit_1 -17508944933120*C0847_bit0 -35017889866240*C0847_bit1 -70035779732480*C0847_bit2 -140071559464960*C0847_bit3 -280143118929920*C0847_bit4 -560286237859840*C0847_bit5 -1120572475719680*C0847_bit6 -2241144951439360*C0847_bit7 -4482289902878720*C0847_bit8 -8964579805757440*C0847_bit9 -17929159611514880*C0847_bit10 -35858319223029760*C0847_bit11 -71716638446059520*C0847_bit12 -139553632030*C0848_bit_7 -279107264060*C0848_bit_6 -558214528120*C0848_bit_5 -1116429056240*C0848_bit_4 -2232858112480*C0848_bit_3 -4465716224960*C0848_bit_2 -8931432449920*C0848_bit_1 -17862864899840*C0848_bit0 -35725729799680*C0848_bit1 -71451459599360*C0848_bit2 -142902919198720*C0848_bit3 -285805838397440*C0848_bit4 -571611676794880*C0848_bit5 -1143223353589760*C0848_bit6 -2286446707179520*C0848_bit7 -4572893414359040*C0848_bit8 -9145786828718080*C0848_bit9 -18291573657436160*C0848_bit10 -36583147314872320*C0848_bit11 -73166294629744640*C0848_bit12 -142077862415*C0849_bit_7 -284155724830*C0849_bit_6 -568311449660*C0849_bit_5 -1136622899320*C0849_bit_4 -2273245798640*C0849_bit_3 -4546491597280*C0849_bit_2 -9092983194560*C0849_bit_1 -18185966389120*C0849_bit0 -36371932778240*C0849_bit1 -72743865556480*C0849_bit2 -145487731112960*C0849_bit3 -290975462225920*C0849_bit4 -581950924451840*C0849_bit5 -1163901848903680*C0849_bit6 -2327803697807360*C0849_bit7 -4655607395614720*C0849_bit8 -9311214791229440*C0849_bit9 -18622429582458880*C0849_bit10 -37244859164917760*C0849_bit11 -74489718329835520*C0849_bit12 -144372342415*C0850_bit_7 -288744684830*C0850_bit_6 -577489369660*C0850_bit_5 -1154978739320*C0850_bit_4 -2309957478640*C0850_bit_3 -4619914957280*C0850_bit_2 -9239829914560*C0850_bit_1 -18479659829120*C0850_bit0 -36959319658240*C0850_bit1 -73918639316480*C0850_bit2 -147837278632960*C0850_bit3 -295674557265920*C0850_bit4 -591349114531840*C0850_bit5 -1182698229063680*C0850_bit6 -2365396458127360*C0850_bit7 -4730792916254720*C0850_bit8 -9461585832509440*C0850_bit9 -18923171665018880*C0850_bit10 -37846343330037760*C0850_bit11 -75692686660075520*C0850_bit12 -146449747200*C0851_bit_7 -292899494400*C0851_bit_6 -585798988800*C0851_bit_5 -1171597977600*C0851_bit_4 -2343195955200*C0851_bit_3 -4686391910400*C0851_bit_2 -9372783820800*C0851_bit_1 -18745567641600*C0851_bit0 -37491135283200*C0851_bit1 -74982270566400*C0851_bit2 -149964541132800*C0851_bit3 -299929082265600*C0851_bit4 -599858164531200*C0851_bit5 -1199716329062400*C0851_bit6 -2399432658124800*C0851_bit7 -4798865316249600*C0851_bit8 -9597730632499200*C0851_bit9 -19195461264998400*C0851_bit10 -38390922529996800*C0851_bit11 -76781845059993600*C0851_bit12 -148324254145*C0852_bit_7 -296648508290*C0852_bit_6 -593297016580*C0852_bit_5 -1186594033160*C0852_bit_4 -2373188066320*C0852_bit_3 -4746376132640*C0852_bit_2 -9492752265280*C0852_bit_1 -18985504530560*C0852_bit0 -37971009061120*C0852_bit1 -75942018122240*C0852_bit2 -151884036244480*C0852_bit3 -303768072488960*C0852_bit4 -607536144977920*C0852_bit5 -1215072289955840*C0852_bit6 -2430144579911680*C0852_bit7 -4860289159823360*C0852_bit8 -9720578319646720*C0852_bit9 -19441156639293440*C0852_bit10 -38882313278586880*C0852_bit11 -77764626557173760*C0852_bit12 -150011388850*C0853_bit_7 -300022777700*C0853_bit_6 -600045555400*C0853_bit_5 -1200091110800*C0853_bit_4 -2400182221600*C0853_bit_3 -4800364443200*C0853_bit_2 -9600728886400*C0853_bit_1 -19201457772800*C0853_bit0 -38402915545600*C0853_bit1 -76805831091200*C0853_bit2 -153611662182400*C0853_bit3 -307223324364800*C0853_bit4 -614446648729600*C0853_bit5 -1228893297459200*C0853_bit6 -2457786594918400*C0853_bit7 -4915573189836800*C0853_bit8 -9831146379673600*C0853_bit9 -19662292759347200*C0853_bit10 -39324585518694400*C0853_bit11 -78649171037388800*C0853_bit12 -151527871150*C0854_bit_7 -303055742300*C0854_bit_6 -606111484600*C0854_bit_5 -1212222969200*C0854_bit_4 -2424445938400*C0854_bit_3 -4848891876800*C0854_bit_2 -9697783753600*C0854_bit_1 -19395567507200*C0854_bit0 -38791135014400*C0854_bit1 -77582270028800*C0854_bit2 -155164540057600*C0854_bit3 -310329080115200*C0854_bit4 -620658160230400*C0854_bit5 -1241316320460800*C0854_bit6 -2482632640921600*C0854_bit7 -4965265281843200*C0854_bit8 -9930530563686400*C0854_bit9 -19861061127372800*C0854_bit10 -39722122254745600*C0854_bit11 -79444244509491200*C0854_bit12 -152891461150*C0855_bit_7 -305782922300*C0855_bit_6 -611565844600*C0855_bit_5 -1223131689200*C0855_bit_4 -2446263378400*C0855_bit_3 -4892526756800*C0855_bit_2 -9785053513600*C0855_bit_1 -19570107027200*C0855_bit0 -39140214054400*C0855_bit1 -78280428108800*C0855_bit2 -156560856217600*C0855_bit3 -313121712435200*C0855_bit4 -626243424870400*C0855_bit5 -1252486849740800*C0855_bit6 -2504973699481600*C0855_bit7 -5009947398963200*C0855_bit8 -10019894797926400*C0855_bit9 -20039789595852800*C0855_bit10 -40079579191705600*C0855_bit11 -80159158383411200*C0855_bit12 -154120805215*C0856_bit_7 -308241610430*C0856_bit_6 -616483220860*C0856_bit_5 -1232966441720*C0856_bit_4 -2465932883440*C0856_bit_3 -4931865766880*C0856_bit_2 -9863731533760*C0856_bit_1 -19727463067520*C0856_bit0 -39454926135040*C0856_bit1 -78909852270080*C0856_bit2 -157819704540160*C0856_bit3 -315639409080320*C0856_bit4 -631278818160640*C0856_bit5 -1262557636321280*C0856_bit6 -2525115272642560*C0856_bit7 -5050230545285120*C0856_bit8 -10100461090570240*C0856_bit9 -20200922181140480*C0856_bit10 -40401844362280960*C0856_bit11 -80803688724561920*C0856_bit12 -155235282000*C0857_bit_7 -310470564000*C0857_bit_6 -620941128000*C0857_bit_5 -1241882256000*C0857_bit_4 -2483764512000*C0857_bit_3 -4967529024000*C0857_bit_2 -9935058048000*C0857_bit_1 -19870116096000*C0857_bit0 -39740232192000*C0857_bit1 -79480464384000*C0857_bit2 -158960928768000*C0857_bit3 -317921857536000*C0857_bit4 -635843715072000*C0857_bit5 -1271687430144000*C0857_bit6 -2543374860288000*C0857_bit7 -5086749720576000*C0857_bit8 -10173499441152000*C0857_bit9 -20346998882304000*C0857_bit10 -40693997764608000*C0857_bit11 -81387995529216000*C0857_bit12 -156254848465*C0858_bit_7 -312509696930*C0858_bit_6 -625019393860*C0858_bit_5 -1250038787720*C0858_bit_4 -2500077575440*C0858_bit_3 -5000155150880*C0858_bit_2 -10000310301760*C0858_bit_1 -20000620603520*C0858_bit0 -40001241207040*C0858_bit1 -80002482414080*C0858_bit2 -160004964828160*C0858_bit3 -320009929656320*C0858_bit4 -640019859312640*C0858_bit5 -1280039718625280*C0858_bit6 -2560079437250560*C0858_bit7 -5120158874501120*C0858_bit8 -10240317749002240*C0858_bit9 -20480635498004480*C0858_bit10 -40961270996008960*C0858_bit11 -81922541992017920*C0858_bit12 -157199885890*C0859_bit_7 -314399771780*C0859_bit_6 -628799543560*C0859_bit_5 -1257599087120*C0859_bit_4 -2515198174240*C0859_bit_3 -5030396348480*C0859_bit_2 -10060792696960*C0859_bit_1 -20121585393920*C0859_bit0 -40243170787840*C0859_bit1 -80486341575680*C0859_bit2 -160972683151360*C0859_bit3 -321945366302720*C0859_bit4 -643890732605440*C0859_bit5 -1287781465210880*C0859_bit6 -2575562930421760*C0859_bit7 -5151125860843520*C0859_bit8 -10302251721687040*C0859_bit9 -20604503443374080*C0859_bit10 -41209006886748160*C0859_bit11 -82418013773496320*C0859_bit12 -158091045890*C0860_bit_7 -316182091780*C0860_bit_6 -632364183560*C0860_bit_5 -1264728367120*C0860_bit_4 -2529456734240*C0860_bit_3 -5058913468480*C0860_bit_2 -10117826936960*C0860_bit_1 -20235653873920*C0860_bit0 -40471307747840*C0860_bit1 -80942615495680*C0860_bit2 -161885230991360*C0860_bit3 -323770461982720*C0860_bit4 -647540923965440*C0860_bit5 -1295081847930880*C0860_bit6 -2590163695861760*C0860_bit7 -5180327391723520*C0860_bit8 -10360654783447040*C0860_bit9 -20721309566894080*C0860_bit10 -41442619133788160*C0860_bit11 -82885238267576320*C0860_bit12 -158949096430*C0861_bit_7 -317898192860*C0861_bit_6 -635796385720*C0861_bit_5 -1271592771440*C0861_bit_4 -2543185542880*C0861_bit_3 -5086371085760*C0861_bit_2 -10172742171520*C0861_bit_1 -20345484343040*C0861_bit0 -40690968686080*C0861_bit1 -81381937372160*C0861_bit2 -162763874744320*C0861_bit3 -325527749488640*C0861_bit4 -651055498977280*C0861_bit5 -1302110997954560*C0861_bit6 -2604221995909120*C0861_bit7 -5208443991818240*C0861_bit8 -10416887983636480*C0861_bit9 -20833775967272960*C0861_bit10 -41667551934545920*C0861_bit11 -83335103869091840*C0861_bit12 -159794767855*C0862_bit_7 -319589535710*C0862_bit_6 -639179071420*C0862_bit_5 -1278358142840*C0862_bit_4 -2556716285680*C0862_bit_3 -5113432571360*C0862_bit_2 -10226865142720*C0862_bit_1 -20453730285440*C0862_bit0 -40907460570880*C0862_bit1 -81814921141760*C0862_bit2 -163629842283520*C0862_bit3 -327259684567040*C0862_bit4 -654519369134080*C0862_bit5 -1309038738268160*C0862_bit6 -2618077476536320*C0862_bit7 -5236154953072640*C0862_bit8 -10472309906145280*C0862_bit9 -20944619812290560*C0862_bit10 -41889239624581120*C0862_bit11 -83778479249162240*C0862_bit12 -160648598880*C0863_bit_7 -321297197760*C0863_bit_6 -642594395520*C0863_bit_5 -1285188791040*C0863_bit_4 -2570377582080*C0863_bit_3 -5140755164160*C0863_bit_2 -10281510328320*C0863_bit_1 -20563020656640*C0863_bit0 -41126041313280*C0863_bit1 -82252082626560*C0863_bit2 -164504165253120*C0863_bit3 -329008330506240*C0863_bit4 -658016661012480*C0863_bit5 -1316033322024960*C0863_bit6 -2632066644049920*C0863_bit7 -5264133288099840*C0863_bit8 -10528266576199680*C0863_bit9 -21056533152399360*C0863_bit10 -42113066304798720*C0863_bit11 -84226132609597440*C0863_bit12 -161530782625*C0864_bit_7 -323061565250*C0864_bit_6 -646123130500*C0864_bit_5 -1292246261000*C0864_bit_4 -2584492522000*C0864_bit_3 -5168985044000*C0864_bit_2 -10337970088000*C0864_bit_1 -20675940176000*C0864_bit0 -41351880352000*C0864_bit1 -82703760704000*C0864_bit2 -165407521408000*C0864_bit3 -330815042816000*C0864_bit4 -661630085632000*C0864_bit5 -1323260171264000*C0864_bit6 -2646520342528000*C0864_bit7 -5293040685056000*C0864_bit8 -10586081370112000*C0864_bit9 -21172162740224000*C0864_bit10 -42344325480448000*C0864_bit11 -84688650960896000*C0864_bit12 -162461012625*C0865_bit_7 -324922025250*C0865_bit_6 -649844050500*C0865_bit_5 -1299688101000*C0865_bit_4 -2599376202000*C0865_bit_3 -5198752404000*C0865_bit_2 -10397504808000*C0865_bit_1 -20795009616000*C0865_bit0 -41590019232000*C0865_bit1 -83180038464000*C0865_bit2 -166360076928000*C0865_bit3 -332720153856000*C0865_bit4 -665440307712000*C0865_bit5 -1330880615424000*C0865_bit6 -2661761230848000*C0865_bit7 -5323522461696000*C0865_bit8 -10647044923392000*C0865_bit9 -21294089846784000*C0865_bit10 -42588179693568000*C0865_bit11 -85176359387136000*C0865_bit12 -163458328850*C0866_bit_7 -326916657700*C0866_bit_6 -653833315400*C0866_bit_5 -1307666630800*C0866_bit_4 -2615333261600*C0866_bit_3 -5230666523200*C0866_bit_2 -10461333046400*C0866_bit_1 -20922666092800*C0866_bit0 -41845332185600*C0866_bit1 -83690664371200*C0866_bit2 -167381328742400*C0866_bit3 -334762657484800*C0866_bit4 -669525314969600*C0866_bit5 -1339050629939200*C0866_bit6 -2678101259878400*C0866_bit7 -5356202519756800*C0866_bit8 -10712405039513600*C0866_bit9 -21424810079027200*C0866_bit10 -42849620158054400*C0866_bit11 -85699240316108800*C0866_bit12 -164540963710*C0867_bit_7 -329081927420*C0867_bit_6 -658163854840*C0867_bit_5 -1316327709680*C0867_bit_4 -2632655419360*C0867_bit_3 -5265310838720*C0867_bit_2 -10530621677440*C0867_bit_1 -21061243354880*C0867_bit0 -42122486709760*C0867_bit1 -84244973419520*C0867_bit2 -168489946839040*C0867_bit3 -336979893678080*C0867_bit4 -673959787356160*C0867_bit5 -1347919574712320*C0867_bit6 -2695839149424640*C0867_bit7 -5391678298849280*C0867_bit8 -10783356597698560*C0867_bit9 -21566713195397120*C0867_bit10 -43133426390794240*C0867_bit11 -86266852781588480*C0867_bit12 -165726188095*C0868_bit_7 -331452376190*C0868_bit_6 -662904752380*C0868_bit_5 -1325809504760*C0868_bit_4 -2651619009520*C0868_bit_3 -5303238019040*C0868_bit_2 -10606476038080*C0868_bit_1 -21212952076160*C0868_bit0 -42425904152320*C0868_bit1 -84851808304640*C0868_bit2 -169703616609280*C0868_bit3 -339407233218560*C0868_bit4 -678814466437120*C0868_bit5 -1357628932874240*C0868_bit6 -2715257865748480*C0868_bit7 -5430515731496960*C0868_bit8 -10861031462993920*C0868_bit9 -21722062925987840*C0868_bit10 -43444125851975680*C0868_bit11 -86888251703951360*C0868_bit12 -167030157360*C0869_bit_7 -334060314720*C0869_bit_6 -668120629440*C0869_bit_5 -1336241258880*C0869_bit_4 -2672482517760*C0869_bit_3 -5344965035520*C0869_bit_2 -10689930071040*C0869_bit_1 -21379860142080*C0869_bit0 -42759720284160*C0869_bit1 -85519440568320*C0869_bit2 -171038881136640*C0869_bit3 -342077762273280*C0869_bit4 -684155524546560*C0869_bit5 -1368311049093120*C0869_bit6 -2736622098186240*C0869_bit7 -5473244196372480*C0869_bit8 -10946488392744960*C0869_bit9 -21892976785489920*C0869_bit10 -43785953570979840*C0869_bit11 -87571907141959680*C0869_bit12 -168467757360*C0870_bit_7 -336935514720*C0870_bit_6 -673871029440*C0870_bit_5 -1347742058880*C0870_bit_4 -2695484117760*C0870_bit_3 -5390968235520*C0870_bit_2 -10781936471040*C0870_bit_1 -21563872942080*C0870_bit0 -43127745884160*C0870_bit1 -86255491768320*C0870_bit2 -172510983536640*C0870_bit3 -345021967073280*C0870_bit4 -690043934146560*C0870_bit5 -1380087868293120*C0870_bit6 -2760175736586240*C0870_bit7 -5520351473172480*C0870_bit8 -11040702946344960*C0870_bit9 -22081405892689920*C0870_bit10 -44162811785379840*C0870_bit11 -88325623570759680*C0870_bit12 -170052450465*C0871_bit_7 -340104900930*C0871_bit_6 -680209801860*C0871_bit_5 -1360419603720*C0871_bit_4 -2720839207440*C0871_bit_3 -5441678414880*C0871_bit_2 -10883356829760*C0871_bit_1 -21766713659520*C0871_bit0 -43533427319040*C0871_bit1 -87066854638080*C0871_bit2 -174133709276160*C0871_bit3 -348267418552320*C0871_bit4 -696534837104640*C0871_bit5 -1393069674209280*C0871_bit6 -2786139348418560*C0871_bit7 -5572278696837120*C0871_bit8 -11144557393674240*C0871_bit9 -22289114787348480*C0871_bit10 -44578229574696960*C0871_bit11 -89156459149393920*C0871_bit12 -171796121570*C0872_bit_7 -343592243140*C0872_bit_6 -687184486280*C0872_bit_5 -1374368972560*C0872_bit_4 -2748737945120*C0872_bit_3 -5497475890240*C0872_bit_2 -10994951780480*C0872_bit_1 -21989903560960*C0872_bit0 -43979807121920*C0872_bit1 -87959614243840*C0872_bit2 -175919228487680*C0872_bit3 -351838456975360*C0872_bit4 -703676913950720*C0872_bit5 -1407353827901440*C0872_bit6 -2814707655802880*C0872_bit7 -5629415311605760*C0872_bit8 -11258830623211520*C0872_bit9 -22517661246423040*C0872_bit10 -45035322492846080*C0872_bit11 -90070644985692160*C0872_bit12 -173708924110*C0873_bit_7 -347417848220*C0873_bit_6 -694835696440*C0873_bit_5 -1389671392880*C0873_bit_4 -2779342785760*C0873_bit_3 -5558685571520*C0873_bit_2 -11117371143040*C0873_bit_1 -22234742286080*C0873_bit0 -44469484572160*C0873_bit1 -88938969144320*C0873_bit2 -177877938288640*C0873_bit3 -355755876577280*C0873_bit4 -711511753154560*C0873_bit5 -1423023506309120*C0873_bit6 -2846047012618240*C0873_bit7 -5692094025236480*C0873_bit8 -11384188050472960*C0873_bit9 -22768376100945920*C0873_bit10 -45536752201891840*C0873_bit11 -91073504403783680*C0873_bit12 -175799126095*C0874_bit_7 -351598252190*C0874_bit_6 -703196504380*C0874_bit_5 -1406393008760*C0874_bit_4 -2812786017520*C0874_bit_3 -5625572035040*C0874_bit_2 -11251144070080*C0874_bit_1 -22502288140160*C0874_bit0 -45004576280320*C0874_bit1 -90009152560640*C0874_bit2 -180018305121280*C0874_bit3 -360036610242560*C0874_bit4 -720073220485120*C0874_bit5 -1440146440970240*C0874_bit6 -2880292881940480*C0874_bit7 -5760585763880960*C0874_bit8 -11521171527761920*C0874_bit9 -23042343055523840*C0874_bit10 -46084686111047680*C0874_bit11 -92169372222095360*C0874_bit12 -178072956095*C0875_bit_7 -356145912190*C0875_bit_6 -712291824380*C0875_bit_5 -1424583648760*C0875_bit_4 -2849167297520*C0875_bit_3 -5698334595040*C0875_bit_2 -11396669190080*C0875_bit_1 -22793338380160*C0875_bit0 -45586676760320*C0875_bit1 -91173353520640*C0875_bit2 -182346707041280*C0875_bit3 -364693414082560*C0875_bit4 -729386828165120*C0875_bit5 -1458773656330240*C0875_bit6 -2917547312660480*C0875_bit7 -5835094625320960*C0875_bit8 -11670189250641920*C0875_bit9 -23340378501283840*C0875_bit10 -46680757002567680*C0875_bit11 -93361514005135360*C0875_bit12 -180534449280*C0876_bit_7 -361068898560*C0876_bit_6 -722137797120*C0876_bit_5 -1444275594240*C0876_bit_4 -2888551188480*C0876_bit_3 -5777102376960*C0876_bit_2 -11554204753920*C0876_bit_1 -23108409507840*C0876_bit0 -46216819015680*C0876_bit1 -92433638031360*C0876_bit2 -184867276062720*C0876_bit3 -369734552125440*C0876_bit4 -739469104250880*C0876_bit5 -1478938208501760*C0876_bit6 -2957876417003520*C0876_bit7 -5915752834007040*C0876_bit8 -11831505668014080*C0876_bit9 -23663011336028160*C0876_bit10 -47326022672056320*C0876_bit11 -94652045344112640*C0876_bit12 -183185293425*C0877_bit_7 -366370586850*C0877_bit_6 -732741173700*C0877_bit_5 -1465482347400*C0877_bit_4 -2930964694800*C0877_bit_3 -5861929389600*C0877_bit_2 -11723858779200*C0877_bit_1 -23447717558400*C0877_bit0 -46895435116800*C0877_bit1 -93790870233600*C0877_bit2 -187581740467200*C0877_bit3 -375163480934400*C0877_bit4 -750326961868800*C0877_bit5 -1500653923737600*C0877_bit6 -3001307847475200*C0877_bit7 -6002615694950400*C0877_bit8 -12005231389900800*C0877_bit9 -24010462779801600*C0877_bit10 -48020925559603200*C0877_bit11 -96041851119206400*C0877_bit12 -186024674930*C0878_bit_7 -372049349860*C0878_bit_6 -744098699720*C0878_bit_5 -1488197399440*C0878_bit_4 -2976394798880*C0878_bit_3 -5952789597760*C0878_bit_2 -11905579195520*C0878_bit_1 -23811158391040*C0878_bit0 -47622316782080*C0878_bit1 -95244633564160*C0878_bit2 -190489267128320*C0878_bit3 -380978534256640*C0878_bit4 -761957068513280*C0878_bit5 -1523914137026560*C0878_bit6 -3047828274053120*C0878_bit7 -6095656548106240*C0878_bit8 -12191313096212480*C0878_bit9 -24382626192424960*C0878_bit10 -48765252384849920*C0878_bit11 -97530504769699840*C0878_bit12 -189049124830*C0879_bit_7 -378098249660*C0879_bit_6 -756196499320*C0879_bit_5 -1512392998640*C0879_bit_4 -3024785997280*C0879_bit_3 -6049571994560*C0879_bit_2 -12099143989120*C0879_bit_1 -24198287978240*C0879_bit0 -48396575956480*C0879_bit1 -96793151912960*C0879_bit2 -193586303825920*C0879_bit3 -387172607651840*C0879_bit4 -774345215303680*C0879_bit5 -1548690430607360*C0879_bit6 -3097380861214720*C0879_bit7 -6194761722429440*C0879_bit8 -12389523444858880*C0879_bit9 -24779046889717760*C0879_bit10 -49558093779435520*C0879_bit11 -99116187558871040*C0879_bit12 -192252364830*C0880_bit_7 -384504729660*C0880_bit_6 -769009459320*C0880_bit_5 -1538018918640*C0880_bit_4 -3076037837280*C0880_bit_3 -6152075674560*C0880_bit_2 -12304151349120*C0880_bit_1 -24608302698240*C0880_bit0 -49216605396480*C0880_bit1 -98433210792960*C0880_bit2 -196866421585920*C0880_bit3 -393732843171840*C0880_bit4 -787465686343680*C0880_bit5 -1574931372687360*C0880_bit6 -3149862745374720*C0880_bit7 -6299725490749440*C0880_bit8 -12599450981498880*C0880_bit9 -25198901962997760*C0880_bit10 -50397803925995520*C0880_bit11 -100795607851991040*C0880_bit12 -195625153295*C0881_bit_7 -391250306590*C0881_bit_6 -782500613180*C0881_bit_5 -1565001226360*C0881_bit_4 -3130002452720*C0881_bit_3 -6260004905440*C0881_bit_2 -12520009810880*C0881_bit_1 -25040019621760*C0881_bit0 -50080039243520*C0881_bit1 -100160078487040*C0881_bit2 -200320156974080*C0881_bit3 -400640313948160*C0881_bit4 -801280627896320*C0881_bit5 -1602561255792640*C0881_bit6 -3205122511585280*C0881_bit7 -6410245023170560*C0881_bit8 -12820490046341120*C0881_bit9 -25640980092682240*C0881_bit10 -51281960185364480*C0881_bit11 -102563920370728960*C0881_bit12 -199155131280*C0882_bit_7 -398310262560*C0882_bit_6 -796620525120*C0882_bit_5 -1593241050240*C0882_bit_4 -3186482100480*C0882_bit_3 -6372964200960*C0882_bit_2 -12745928401920*C0882_bit_1 -25491856803840*C0882_bit0 -50983713607680*C0882_bit1 -101967427215360*C0882_bit2 -203934854430720*C0882_bit3 -407869708861440*C0882_bit4 -815739417722880*C0882_bit5 -1631478835445760*C0882_bit6 -3262957670891520*C0882_bit7 -6525915341783040*C0882_bit8 -13051830683566080*C0882_bit9 -26103661367132160*C0882_bit10 -52207322734264320*C0882_bit11 -104414645468528640*C0882_bit12 -202826668545*C0883_bit_7 -405653337090*C0883_bit_6 -811306674180*C0883_bit_5 -1622613348360*C0883_bit_4 -3245226696720*C0883_bit_3 -6490453393440*C0883_bit_2 -12980906786880*C0883_bit_1 -25961813573760*C0883_bit0 -51923627147520*C0883_bit1 -103847254295040*C0883_bit2 -207694508590080*C0883_bit3 -415389017180160*C0883_bit4 -830778034360320*C0883_bit5 -1661556068720640*C0883_bit6 -3323112137441280*C0883_bit7 -6646224274882560*C0883_bit8 -13292448549765120*C0883_bit9 -26584897099530240*C0883_bit10 -53169794199060480*C0883_bit11 -106339588398120960*C0883_bit12 -206620709570*C0884_bit_7 -413241419140*C0884_bit_6 -826482838280*C0884_bit_5 -1652965676560*C0884_bit_4 -3305931353120*C0884_bit_3 -6611862706240*C0884_bit_2 -13223725412480*C0884_bit_1 -26447450824960*C0884_bit0 -52894901649920*C0884_bit1 -105789803299840*C0884_bit2 -211579606599680*C0884_bit3 -423159213199360*C0884_bit4 -846318426398720*C0884_bit5 -1692636852797440*C0884_bit6 -3385273705594880*C0884_bit7 -6770547411189760*C0884_bit8 -13541094822379520*C0884_bit9 -27082189644759040*C0884_bit10 -54164379289518080*C0884_bit11 -108328758579036160*C0884_bit12 -210514619570*C0885_bit_7 -421029239140*C0885_bit_6 -842058478280*C0885_bit_5 -1684116956560*C0885_bit_4 -3368233913120*C0885_bit_3 -6736467826240*C0885_bit_2 -13472935652480*C0885_bit_1 -26945871304960*C0885_bit0 -53891742609920*C0885_bit1 -107783485219840*C0885_bit2 -215566970439680*C0885_bit3 -431133940879360*C0885_bit4 -862267881758720*C0885_bit5 -1724535763517440*C0885_bit6 -3449071527034880*C0885_bit7 -6898143054069760*C0885_bit8 -13796286108139520*C0885_bit9 -27592572216279040*C0885_bit10 -55185144432558080*C0885_bit11 -110370288865116160*C0885_bit12 -214482030510*C0886_bit_7 -428964061020*C0886_bit_6 -857928122040*C0886_bit_5 -1715856244080*C0886_bit_4 -3431712488160*C0886_bit_3 -6863424976320*C0886_bit_2 -13726849952640*C0886_bit_1 -27453699905280*C0886_bit0 -54907399810560*C0886_bit1 -109814799621120*C0886_bit2 -219629599242240*C0886_bit3 -439259198484480*C0886_bit4 -878518396968960*C0886_bit5 -1757036793937920*C0886_bit6 -3514073587875840*C0886_bit7 -7028147175751680*C0886_bit8 -14056294351503360*C0886_bit9 -28112588703006720*C0886_bit10 -56225177406013440*C0886_bit11 -112450354812026880*C0886_bit12 -218492687135*C0887_bit_7 -436985374270*C0887_bit_6 -873970748540*C0887_bit_5 -1747941497080*C0887_bit_4 -3495882994160*C0887_bit_3 -6991765988320*C0887_bit_2 -13983531976640*C0887_bit_1 -27967063953280*C0887_bit0 -55934127906560*C0887_bit1 -111868255813120*C0887_bit2 -223736511626240*C0887_bit3 -447473023252480*C0887_bit4 -894946046504960*C0887_bit5 -1789892093009920*C0887_bit6 -3579784186019840*C0887_bit7 -7159568372039680*C0887_bit8 -14319136744079360*C0887_bit9 -28638273488158720*C0887_bit10 -57276546976317440*C0887_bit11 -114553093952634880*C0887_bit12 -222512292960*C0888_bit_7 -445024585920*C0888_bit_6 -890049171840*C0888_bit_5 -1780098343680*C0888_bit_4 -3560196687360*C0888_bit_3 -7120393374720*C0888_bit_2 -14240786749440*C0888_bit_1 -28481573498880*C0888_bit0 -56963146997760*C0888_bit1 -113926293995520*C0888_bit2 -227852587991040*C0888_bit3 -455705175982080*C0888_bit4 -911410351964160*C0888_bit5 -1822820703928320*C0888_bit6 -3645641407856640*C0888_bit7 -7291282815713280*C0888_bit8 -14582565631426560*C0888_bit9 -29165131262853120*C0888_bit10 -58330262525706240*C0888_bit11 -116660525051412480*C0888_bit12 -226502356305*C0889_bit_7 -453004712610*C0889_bit_6 -906009425220*C0889_bit_5 -1812018850440*C0889_bit_4 -3624037700880*C0889_bit_3 -7248075401760*C0889_bit_2 -14496150803520*C0889_bit_1 -28992301607040*C0889_bit0 -57984603214080*C0889_bit1 -115969206428160*C0889_bit2 -231938412856320*C0889_bit3 -463876825712640*C0889_bit4 -927753651425280*C0889_bit5 -1855507302850560*C0889_bit6 -3711014605701120*C0889_bit7 -7422029211402240*C0889_bit8 -14844058422804480*C0889_bit9 -29688116845608960*C0889_bit10 -59376233691217920*C0889_bit11 -118752467382435840*C0889_bit12 -230420036305*C0890_bit_7 -460840072610*C0890_bit_6 -921680145220*C0890_bit_5 -1843360290440*C0890_bit_4 -3686720580880*C0890_bit_3 -7373441161760*C0890_bit_2 -14746882323520*C0890_bit_1 -29493764647040*C0890_bit0 -58987529294080*C0890_bit1 -117975058588160*C0890_bit2 -235950117176320*C0890_bit3 -471900234352640*C0890_bit4 -943800468705280*C0890_bit5 -1887600937410560*C0890_bit6 -3775201874821120*C0890_bit7 -7550403749642240*C0890_bit8 -15100807499284480*C0890_bit9 -30201614998568960*C0890_bit10 -60403229997137920*C0890_bit11 -120806459994275840*C0890_bit12 -234217988930*C0891_bit_7 -468435977860*C0891_bit_6 -936871955720*C0891_bit_5 -1873743911440*C0891_bit_4 -3747487822880*C0891_bit_3 -7494975645760*C0891_bit_2 -14989951291520*C0891_bit_1 -29979902583040*C0891_bit0 -59959805166080*C0891_bit1 -119919610332160*C0891_bit2 -239839220664320*C0891_bit3 -479678441328640*C0891_bit4 -959356882657280*C0891_bit5 -1918713765314560*C0891_bit6 -3837427530629120*C0891_bit7 -7674855061258240*C0891_bit8 -15349710122516480*C0891_bit9 -30699420245032960*C0891_bit10 -61398840490065920*C0891_bit11 -122797680980131840*C0891_bit12 -237844212990*C0892_bit_7 -475688425980*C0892_bit_6 -951376851960*C0892_bit_5 -1902753703920*C0892_bit_4 -3805507407840*C0892_bit_3 -7611014815680*C0892_bit_2 -15222029631360*C0892_bit_1 -30444059262720*C0892_bit0 -60888118525440*C0892_bit1 -121776237050880*C0892_bit2 -243552474101760*C0892_bit3 -487104948203520*C0892_bit4 -974209896407040*C0892_bit5 -1948419792814080*C0892_bit6 -3896839585628160*C0892_bit7 -7793679171256320*C0892_bit8 -15587358342512640*C0892_bit9 -31174716685025280*C0892_bit10 -62349433370050560*C0892_bit11 -124698866740101120*C0892_bit12 -241241896175*C0893_bit_7 -482483792350*C0893_bit_6 -964967584700*C0893_bit_5 -1929935169400*C0893_bit_4 -3859870338800*C0893_bit_3 -7719740677600*C0893_bit_2 -15439481355200*C0893_bit_1 -30878962710400*C0893_bit0 -61757925420800*C0893_bit1 -123515850841600*C0893_bit2 -247031701683200*C0893_bit3 -494063403366400*C0893_bit4 -988126806732800*C0893_bit5 -1976253613465600*C0893_bit6 -3952507226931200*C0893_bit7 -7905014453862400*C0893_bit8 -15810028907724800*C0893_bit9 -31620057815449600*C0893_bit10 -63240115630899200*C0893_bit11 -126480231261798400*C0893_bit12 -244349261040*C0894_bit_7 -488698522080*C0894_bit_6 -977397044160*C0894_bit_5 -1954794088320*C0894_bit_4 -3909588176640*C0894_bit_3 -7819176353280*C0894_bit_2 -15638352706560*C0894_bit_1 -31276705413120*C0894_bit0 -62553410826240*C0894_bit1 -125106821652480*C0894_bit2 -250213643304960*C0894_bit3 -500427286609920*C0894_bit4 -1000854573219840*C0894_bit5 -2001709146439680*C0894_bit6 -4003418292879360*C0894_bit7 -8006836585758720*C0894_bit8 -16013673171517440*C0894_bit9 -32027346343034880*C0894_bit10 -64054692686069760*C0894_bit11 -128109385372139520*C0894_bit12 -247099411040*C0895_bit_7 -494198822080*C0895_bit_6 -988397644160*C0895_bit_5 -1976795288320*C0895_bit_4 -3953590576640*C0895_bit_3 -7907181153280*C0895_bit_2 -15814362306560*C0895_bit_1 -31628724613120*C0895_bit0 -63257449226240*C0895_bit1 -126514898452480*C0895_bit2 -253029796904960*C0895_bit3 -506059593809920*C0895_bit4 -1012119187619840*C0895_bit5 -2024238375239680*C0895_bit6 -4048476750479360*C0895_bit7 -8096953500958720*C0895_bit8 -16193907001917440*C0895_bit9 -32387814003834880*C0895_bit10 -64775628007669760*C0895_bit11 -129551256015339520*C0895_bit12 -249420176545*C0896_bit_7 -498840353090*C0896_bit_6 -997680706180*C0896_bit_5 -1995361412360*C0896_bit_4 -3990722824720*C0896_bit_3 -7981445649440*C0896_bit_2 -15962891298880*C0896_bit_1 -31925782597760*C0896_bit0 -63851565195520*C0896_bit1 -127703130391040*C0896_bit2 -255406260782080*C0896_bit3 -510812521564160*C0896_bit4 -1021625043128320*C0896_bit5 -2043250086256640*C0896_bit6 -4086500172513280*C0896_bit7 -8173000345026560*C0896_bit8 -16346000690053120*C0896_bit9 -32692001380106240*C0896_bit10 -65384002760212480*C0896_bit11 -130768005520424960*C0896_bit12 -251233960850*C0897_bit_7 -502467921700*C0897_bit_6 -1004935843400*C0897_bit_5 -2009871686800*C0897_bit_4 -4019743373600*C0897_bit_3 -8039486747200*C0897_bit_2 -16078973494400*C0897_bit_1 -32157946988800*C0897_bit0 -64315893977600*C0897_bit1 -128631787955200*C0897_bit2 -257263575910400*C0897_bit3 -514527151820800*C0897_bit4 -1029054303641600*C0897_bit5 -2058108607283200*C0897_bit6 -4116217214566400*C0897_bit7 -8232434429132800*C0897_bit8 -16464868858265600*C0897_bit9 -32929737716531200*C0897_bit10 -65859475433062400*C0897_bit11 -131718950866124800*C0897_bit12 -252457586190*C0898_bit_7 -504915172380*C0898_bit_6 -1009830344760*C0898_bit_5 -2019660689520*C0898_bit_4 -4039321379040*C0898_bit_3 -8078642758080*C0898_bit_2 -16157285516160*C0898_bit_1 -32314571032320*C0898_bit0 -64629142064640*C0898_bit1 -129258284129280*C0898_bit2 -258516568258560*C0898_bit3 -517033136517120*C0898_bit4 -1034066273034240*C0898_bit5 -2068132546068480*C0898_bit6 -4136265092136960*C0898_bit7 -8272530184273920*C0898_bit8 -16545060368547840*C0898_bit9 -33090120737095680*C0898_bit10 -66180241474191360*C0898_bit11 -132360482948382720*C0898_bit12 -2722767920*C0899_bit_7 -5445535840*C0899_bit_6 -10891071680*C0899_bit_5 -21782143360*C0899_bit_4 -43564286720*C0899_bit_3 -87128573440*C0899_bit_2 -174257146880*C0899_bit_1 >= -16000000000000;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.087 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.98 0.97 0.98 2/55 22998
Raw data (stat): 22998 (runsolver) R 22997 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 788409477 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.157638 s]
Raw data (loadavg): 0.98 0.97 0.98 1/54 22998
Raw data (stat): 22998 (runsolver) R 22997 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 788409477 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.157343
CPU time (s): 0.102983
CPU user time (s): 0.069989
CPU system time (s): 0.032994
CPU usage (%): 65.4513
Max. virtual memory (Kb): 1032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####