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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-blend2.opb
MD5SUM	16b86ac5ad712621c8050f8776cfb803
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	88
Biggest coefficient in the objective function	24014225
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	235593725
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	8935312239624192
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	1346963845029350184
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.306952
Number of variables	2944
Total number of constraints	531
Number of constraints which are clauses	9
Number of constraints which are cardinality constraints (but not clauses)	310
Number of constraints which are nor clauses,nor cardinality constraints	212
Minimum length of a constraint	1
Maximum length of a constraint	2659
Trace number 41164

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 07:31:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29235 boxname=wulflinc4 idbench=1019 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  16b86ac5ad712621c8050f8776cfb803  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-blend2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-blend2.opb
IDLAUNCH: 29235
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        908744 kB
Buffers:           192 kB
Cached:         105080 kB
SwapCached:        808 kB
Active:          24888 kB
Inactive:        82344 kB
HighTotal:      131008 kB
HighFree:        22988 kB
LowTotal:       903652 kB
LowFree:        885756 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4864 kB
Slab:            12924 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:31:25 (client local time) WITH STATUS 0 IN 0.972851 SECONDS
stats: 29235 7 0.972851 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +1763519*VV452_bit_10 +3527038*VV452_bit_9 +7054076*VV452_bit_8 +14108152*VV452_bit_7 +28216304*VV452_bit_6 +56432608*VV452_bit_5 +112865216*VV452_bit_4 +225730432*VV452_bit_3 +451460864*VV452_bit_2 +902921728*VV452_bit_1 +1805843456*VV452_bit0 +3611686912*VV452_bit1 +7223373824*VV452_bit2 +14446747648*VV452_bit3 +28893495296*VV452_bit4 +57786990592*VV452_bit5 +115573981184*VV452_bit6 +231147962368*VV452_bit7 +462295924736*VV452_bit8 +924591849472*VV452_bit9 +1849183698944*VV452_bit10 +3698367397888*VV452_bit11 +7396734795776*VV452_bit12 +14793469591552*VV452_bit13 +29586939183104*VV452_bit14 +59173878366208*VV452_bit15 +118347756732416*VV452_bit16 +236695513464832*VV452_bit17 +473391026929664*VV452_bit18 +946782053859328*VV452_bit19 +1658312*VV453_bit_10 +3316624*VV453_bit_9 +6633248*VV453_bit_8 +13266496*VV453_bit_7 +26532992*VV453_bit_6 +53065984*VV453_bit_5 +106131968*VV453_bit_4 +212263936*VV453_bit_3 +424527872*VV453_bit_2 +849055744*VV453_bit_1 +1698111488*VV453_bit0 +3396222976*VV453_bit1 +6792445952*VV453_bit2 +13584891904*VV453_bit3 +27169783808*VV453_bit4 +54339567616*VV453_bit5 +108679135232*VV453_bit6 +217358270464*VV453_bit7 +434716540928*VV453_bit8 +869433081856*VV453_bit9 +1738866163712*VV453_bit10 +3477732327424*VV453_bit11 +6955464654848*VV453_bit12 +13910929309696*VV453_bit13 +27821858619392*VV453_bit14 +55643717238784*VV453_bit15 +111287434477568*VV453_bit16 +222574868955136*VV453_bit17 +445149737910272*VV453_bit18 +890299475820544*VV453_bit19 +1830301*VV454_bit_10 +3660602*VV454_bit_9 +7321204*VV454_bit_8 +14642408*VV454_bit_7 +29284816*VV454_bit_6 +58569632*VV454_bit_5 +117139264*VV454_bit_4 +234278528*VV454_bit_3 +468557056*VV454_bit_2 +937114112*VV454_bit_1 +1874228224*VV454_bit0 +3748456448*VV454_bit1 +7496912896*VV454_bit2 +14993825792*VV454_bit3 +29987651584*VV454_bit4 +59975303168*VV454_bit5 +119950606336*VV454_bit6 +239901212672*VV454_bit7 +479802425344*VV454_bit8 +959604850688*VV454_bit9 +1919209701376*VV454_bit10 +3838419402752*VV454_bit11 +7676838805504*VV454_bit12 +15353677611008*VV454_bit13 +30707355222016*VV454_bit14 +61414710444032*VV454_bit15 +122829420888064*VV454_bit16 +245658841776128*VV454_bit17 +491317683552256*VV454_bit18 +982635367104512*VV454_bit19 +1749286*VV455_bit_10 +3498572*VV455_bit_9 +6997144*VV455_bit_8 +13994288*VV455_bit_7 +27988576*VV455_bit_6 +55977152*VV455_bit_5 +111954304*VV455_bit_4 +223908608*VV455_bit_3 +447817216*VV455_bit_2 +895634432*VV455_bit_1 +1791268864*VV455_bit0 +3582537728*VV455_bit1 +7165075456*VV455_bit2 +14330150912*VV455_bit3 +28660301824*VV455_bit4 +57320603648*VV455_bit5 +114641207296*VV455_bit6 +229282414592*VV455_bit7 +458564829184*VV455_bit8 +917129658368*VV455_bit9 +1834259316736*VV455_bit10 +3668518633472*VV455_bit11 +7337037266944*VV455_bit12 +14674074533888*VV455_bit13 +29348149067776*VV455_bit14 +58696298135552*VV455_bit15 +117392596271104*VV455_bit16 +234785192542208*VV455_bit17 +469570385084416*VV455_bit18 +939140770168832*VV455_bit19 +1649242*VV456_bit_10 +3298484*VV456_bit_9 +6596968*VV456_bit_8 +13193936*VV456_bit_7 +26387872*VV456_bit_6 +52775744*VV456_bit_5 +105551488*VV456_bit_4 +211102976*VV456_bit_3 +422205952*VV456_bit_2 +844411904*VV456_bit_1 +1688823808*VV456_bit0 +3377647616*VV456_bit1 +6755295232*VV456_bit2 +13510590464*VV456_bit3 +27021180928*VV456_bit4 +54042361856*VV456_bit5 +108084723712*VV456_bit6 +216169447424*VV456_bit7 +432338894848*VV456_bit8 +864677789696*VV456_bit9 +1729355579392*VV456_bit10 +3458711158784*VV456_bit11 +6917422317568*VV456_bit12 +13834844635136*VV456_bit13 +27669689270272*VV456_bit14 +55339378540544*VV456_bit15 +110678757081088*VV456_bit16 +221357514162176*VV456_bit17 +442715028324352*VV456_bit18 +885430056648704*VV456_bit19 +1734935*VV457_bit_10 +3469870*VV457_bit_9 +6939740*VV457_bit_8 +13879480*VV457_bit_7 +27758960*VV457_bit_6 +55517920*VV457_bit_5 +111035840*VV457_bit_4 +222071680*VV457_bit_3 +444143360*VV457_bit_2 +888286720*VV457_bit_1 +1776573440*VV457_bit0 +3553146880*VV457_bit1 +7106293760*VV457_bit2 +14212587520*VV457_bit3 +28425175040*VV457_bit4 +56850350080*VV457_bit5 +113700700160*VV457_bit6 +227401400320*VV457_bit7 +454802800640*VV457_bit8 +909605601280*VV457_bit9 +1819211202560*VV457_bit10 +3638422405120*VV457_bit11 +7276844810240*VV457_bit12 +14553689620480*VV457_bit13 +29107379240960*VV457_bit14 +58214758481920*VV457_bit15 +116429516963840*VV457_bit16 +232859033927680*VV457_bit17 +465718067855360*VV457_bit18 +931436135710720*VV457_bit19 +1581139*VV458_bit_10 +3162278*VV458_bit_9 +6324556*VV458_bit_8 +12649112*VV458_bit_7 +25298224*VV458_bit_6 +50596448*VV458_bit_5 +101192896*VV458_bit_4 +202385792*VV458_bit_3 +404771584*VV458_bit_2 +809543168*VV458_bit_1 +1619086336*VV458_bit0 +3238172672*VV458_bit1 +6476345344*VV458_bit2 +12952690688*VV458_bit3 +25905381376*VV458_bit4 +51810762752*VV458_bit5 +103621525504*VV458_bit6 +207243051008*VV458_bit7 +414486102016*VV458_bit8 +828972204032*VV458_bit9 +1657944408064*VV458_bit10 +3315888816128*VV458_bit11 +6631777632256*VV458_bit12 +13263555264512*VV458_bit13 +26527110529024*VV458_bit14 +53054221058048*VV458_bit15 +106108442116096*VV458_bit16 +212216884232192*VV458_bit17 +424433768464384*VV458_bit18 +848867536928768*VV458_bit19 +1676305*VV459_bit_10 +3352610*VV459_bit_9 +6705220*VV459_bit_8 +13410440*VV459_bit_7 +26820880*VV459_bit_6 +53641760*VV459_bit_5 +107283520*VV459_bit_4 +214567040*VV459_bit_3 +429134080*VV459_bit_2 +858268160*VV459_bit_1 +1716536320*VV459_bit0 +3433072640*VV459_bit1 +6866145280*VV459_bit2 +13732290560*VV459_bit3 +27464581120*VV459_bit4 +54929162240*VV459_bit5 +109858324480*VV459_bit6 +219716648960*VV459_bit7 +439433297920*VV459_bit8 +878866595840*VV459_bit9 +1757733191680*VV459_bit10 +3515466383360*VV459_bit11 +7030932766720*VV459_bit12 +14061865533440*VV459_bit13 +28123731066880*VV459_bit14 +56247462133760*VV459_bit15 +112494924267520*VV459_bit16 +224989848535040*VV459_bit17 +449979697070080*VV459_bit18 +899959394140160*VV459_bit19 +1740690*VV460_bit_10 +3481380*VV460_bit_9 +6962760*VV460_bit_8 +13925520*VV460_bit_7 +27851040*VV460_bit_6 +55702080*VV460_bit_5 +111404160*VV460_bit_4 +222808320*VV460_bit_3 +445616640*VV460_bit_2 +891233280*VV460_bit_1 +1782466560*VV460_bit0 +3564933120*VV460_bit1 +7129866240*VV460_bit2 +14259732480*VV460_bit3 +28519464960*VV460_bit4 +57038929920*VV460_bit5 +114077859840*VV460_bit6 +228155719680*VV460_bit7 +456311439360*VV460_bit8 +912622878720*VV460_bit9 +1825245757440*VV460_bit10 +3650491514880*VV460_bit11 +7300983029760*VV460_bit12 +14601966059520*VV460_bit13 +29203932119040*VV460_bit14 +58407864238080*VV460_bit15 +116815728476160*VV460_bit16 +233631456952320*VV460_bit17 +467262913904640*VV460_bit18 +934525827809280*VV460_bit19 +1615549*VV461_bit_10 +3231098*VV461_bit_9 +6462196*VV461_bit_8 +12924392*VV461_bit_7 +25848784*VV461_bit_6 +51697568*VV461_bit_5 +103395136*VV461_bit_4 +206790272*VV461_bit_3 +413580544*VV461_bit_2 +827161088*VV461_bit_1 +1654322176*VV461_bit0 +3308644352*VV461_bit1 +6617288704*VV461_bit2 +13234577408*VV461_bit3 +26469154816*VV461_bit4 +52938309632*VV461_bit5 +105876619264*VV461_bit6 +211753238528*VV461_bit7 +423506477056*VV461_bit8 +847012954112*VV461_bit9 +1694025908224*VV461_bit10 +3388051816448*VV461_bit11 +6776103632896*VV461_bit12 +13552207265792*VV461_bit13 +27104414531584*VV461_bit14 +54208829063168*VV461_bit15 +108417658126336*VV461_bit16 +216835316252672*VV461_bit17 +433670632505344*VV461_bit18 +867341265010688*VV461_bit19 +1959592*VV462_bit_10 +3919184*VV462_bit_9 +7838368*VV462_bit_8 +15676736*VV462_bit_7 +31353472*VV462_bit_6 +62706944*VV462_bit_5 +125413888*VV462_bit_4 +250827776*VV462_bit_3 +501655552*VV462_bit_2 +1003311104*VV462_bit_1 +2006622208*VV462_bit0 +4013244416*VV462_bit1 +8026488832*VV462_bit2 +16052977664*VV462_bit3 +32105955328*VV462_bit4 +64211910656*VV462_bit5 +128423821312*VV462_bit6 +256847642624*VV462_bit7 +513695285248*VV462_bit8 +1027390570496*VV462_bit9 +2054781140992*VV462_bit10 +4109562281984*VV462_bit11 +8219124563968*VV462_bit12 +16438249127936*VV462_bit13 +32876498255872*VV462_bit14 +65752996511744*VV462_bit15 +131505993023488*VV462_bit16 +263011986046976*VV462_bit17 +526023972093952*VV462_bit18 +1052047944187904*VV462_bit19 +1819341*VV463_bit_10 +3638682*VV463_bit_9 +7277364*VV463_bit_8 +14554728*VV463_bit_7 +29109456*VV463_bit_6 +58218912*VV463_bit_5 +116437824*VV463_bit_4 +232875648*VV463_bit_3 +465751296*VV463_bit_2 +931502592*VV463_bit_1 +1863005184*VV463_bit0 +3726010368*VV463_bit1 +7452020736*VV463_bit2 +14904041472*VV463_bit3 +29808082944*VV463_bit4 +59616165888*VV463_bit5 +119232331776*VV463_bit6 +238464663552*VV463_bit7 +476929327104*VV463_bit8 +953858654208*VV463_bit9 +1907717308416*VV463_bit10 +3815434616832*VV463_bit11 +7630869233664*VV463_bit12 +15261738467328*VV463_bit13 +30523476934656*VV463_bit14 +61046953869312*VV463_bit15 +122093907738624*VV463_bit16 +244187815477248*VV463_bit17 +488375630954496*VV463_bit18 +976751261908992*VV463_bit19 +2118962*VV464_bit_10 +4237924*VV464_bit_9 +8475848*VV464_bit_8 +16951696*VV464_bit_7 +33903392*VV464_bit_6 +67806784*VV464_bit_5 +135613568*VV464_bit_4 +271227136*VV464_bit_3 +542454272*VV464_bit_2 +1084908544*VV464_bit_1 +2169817088*VV464_bit0 +4339634176*VV464_bit1 +8679268352*VV464_bit2 +17358536704*VV464_bit3 +34717073408*VV464_bit4 +69434146816*VV464_bit5 +138868293632*VV464_bit6 +277736587264*VV464_bit7 +555473174528*VV464_bit8 +1110946349056*VV464_bit9 +2221892698112*VV464_bit10 +4443785396224*VV464_bit11 +8887570792448*VV464_bit12 +17775141584896*VV464_bit13 +35550283169792*VV464_bit14 +71100566339584*VV464_bit15 +142201132679168*VV464_bit16 +284402265358336*VV464_bit17 +568804530716672*VV464_bit18 +1137609061433344*VV464_bit19 +1794436*VV465_bit_10 +3588872*VV465_bit_9 +7177744*VV465_bit_8 +14355488*VV465_bit_7 +28710976*VV465_bit_6 +57421952*VV465_bit_5 +114843904*VV465_bit_4 +229687808*VV465_bit_3 +459375616*VV465_bit_2 +918751232*VV465_bit_1 +1837502464*VV465_bit0 +3675004928*VV465_bit1 +7350009856*VV465_bit2 +14700019712*VV465_bit3 +29400039424*VV465_bit4 +58800078848*VV465_bit5 +117600157696*VV465_bit6 +235200315392*VV465_bit7 +470400630784*VV465_bit8 +940801261568*VV465_bit9 +1881602523136*VV465_bit10 +3763205046272*VV465_bit11 +7526410092544*VV465_bit12 +15052820185088*VV465_bit13 +30105640370176*VV465_bit14 +60211280740352*VV465_bit15 +120422561480704*VV465_bit16 +240845122961408*VV465_bit17 +481690245922816*VV465_bit18 +963380491845632*VV465_bit19 +1581139*VV466_bit_10 +3162278*VV466_bit_9 +6324556*VV466_bit_8 +12649112*VV466_bit_7 +25298224*VV466_bit_6 +50596448*VV466_bit_5 +101192896*VV466_bit_4 +202385792*VV466_bit_3 +404771584*VV466_bit_2 +809543168*VV466_bit_1 +1619086336*VV466_bit0 +3238172672*VV466_bit1 +6476345344*VV466_bit2 +12952690688*VV466_bit3 +25905381376*VV466_bit4 +51810762752*VV466_bit5 +103621525504*VV466_bit6 +207243051008*VV466_bit7 +414486102016*VV466_bit8 +828972204032*VV466_bit9 +1657944408064*VV466_bit10 +3315888816128*VV466_bit11 +6631777632256*VV466_bit12 +13263555264512*VV466_bit13 +26527110529024*VV466_bit14 +53054221058048*VV466_bit15 +106108442116096*VV466_bit16 +212216884232192*VV466_bit17 +424433768464384*VV466_bit18 +848867536928768*VV466_bit19 +1615549*VV467_bit_10 +3231098*VV467_bit_9 +6462196*VV467_bit_8 +12924392*VV467_bit_7 +25848784*VV467_bit_6 +51697568*VV467_bit_5 +103395136*VV467_bit_4 +206790272*VV467_bit_3 +413580544*VV467_bit_2 +827161088*VV467_bit_1 +1654322176*VV467_bit0 +3308644352*VV467_bit1 +6617288704*VV467_bit2 +13234577408*VV467_bit3 +26469154816*VV467_bit4 +52938309632*VV467_bit5 +105876619264*VV467_bit6 +211753238528*VV467_bit7 +423506477056*VV467_bit8 +847012954112*VV467_bit9 +1694025908224*VV467_bit10 +3388051816448*VV467_bit11 +6776103632896*VV467_bit12 +13552207265792*VV467_bit13 +27104414531584*VV467_bit14 +54208829063168*VV467_bit15 +108417658126336*VV467_bit16 +216835316252672*VV467_bit17 +433670632505344*VV467_bit18 +867341265010688*VV467_bit19 +1673320*VV468_bit_10 +3346640*VV468_bit_9 +6693280*VV468_bit_8 +13386560*VV468_bit_7 +26773120*VV468_bit_6 +53546240*VV468_bit_5 +107092480*VV468_bit_4 +214184960*VV468_bit_3 +428369920*VV468_bit_2 +856739840*VV468_bit_1 +1713479680*VV468_bit0 +3426959360*VV468_bit1 +6853918720*VV468_bit2 +13707837440*VV468_bit3 +27415674880*VV468_bit4 +54831349760*VV468_bit5 +109662699520*VV468_bit6 +219325399040*VV468_bit7 +438650798080*VV468_bit8 +877301596160*VV468_bit9 +1754603192320*VV468_bit10 +3509206384640*VV468_bit11 +7018412769280*VV468_bit12 +14036825538560*VV468_bit13 +28073651077120*VV468_bit14 +56147302154240*VV468_bit15 +112294604308480*VV468_bit16 +224589208616960*VV468_bit17 +449178417233920*VV468_bit18 +898356834467840*VV468_bit19 +1734935*VV469_bit_10 +3469870*VV469_bit_9 +6939740*VV469_bit_8 +13879480*VV469_bit_7 +27758960*VV469_bit_6 +55517920*VV469_bit_5 +111035840*VV469_bit_4 +222071680*VV469_bit_3 +444143360*VV469_bit_2 +888286720*VV469_bit_1 +1776573440*VV469_bit0 +3553146880*VV469_bit1 +7106293760*VV469_bit2 +14212587520*VV469_bit3 +28425175040*VV469_bit4 +56850350080*VV469_bit5 +113700700160*VV469_bit6 +227401400320*VV469_bit7 +454802800640*VV469_bit8 +909605601280*VV469_bit9 +1819211202560*VV469_bit10 +3638422405120*VV469_bit11 +7276844810240*VV469_bit12 +14553689620480*VV469_bit13 +29107379240960*VV469_bit14 +58214758481920*VV469_bit15 +116429516963840*VV469_bit16 +232859033927680*VV469_bit17 +465718067855360*VV469_bit18 +931436135710720*VV469_bit19 +1612452*VV470_bit_10 +3224904*VV470_bit_9 +6449808*VV470_bit_8 +12899616*VV470_bit_7 +25799232*VV470_bit_6 +51598464*VV470_bit_5 +103196928*VV470_bit_4 +206393856*VV470_bit_3 +412787712*VV470_bit_2 +825575424*VV470_bit_1 +1651150848*VV470_bit0 +3302301696*VV470_bit1 +6604603392*VV470_bit2 +13209206784*VV470_bit3 +26418413568*VV470_bit4 +52836827136*VV470_bit5 +105673654272*VV470_bit6 +211347308544*VV470_bit7 +422694617088*VV470_bit8 +845389234176*VV470_bit9 +1690778468352*VV470_bit10 +3381556936704*VV470_bit11 +6763113873408*VV470_bit12 +13526227746816*VV470_bit13 +27052455493632*VV470_bit14 +54104910987264*VV470_bit15 +108209821974528*VV470_bit16 +216419643949056*VV470_bit17 +432839287898112*VV470_bit18 +865678575796224*VV470_bit19 +1691153*VV471_bit_10 +3382306*VV471_bit_9 +6764612*VV471_bit_8 +13529224*VV471_bit_7 +27058448*VV471_bit_6 +54116896*VV471_bit_5 +108233792*VV471_bit_4 +216467584*VV471_bit_3 +432935168*VV471_bit_2 +865870336*VV471_bit_1 +1731740672*VV471_bit0 +3463481344*VV471_bit1 +6926962688*VV471_bit2 +13853925376*VV471_bit3 +27707850752*VV471_bit4 +55415701504*VV471_bit5 +110831403008*VV471_bit6 +221662806016*VV471_bit7 +443325612032*VV471_bit8 +886651224064*VV471_bit9 +1773302448128*VV471_bit10 +3546604896256*VV471_bit11 +7093209792512*VV471_bit12 +14186419585024*VV471_bit13 +28372839170048*VV471_bit14 +56745678340096*VV471_bit15 +113491356680192*VV471_bit16 +226982713360384*VV471_bit17 +453965426720768*VV471_bit18 +907930853441536*VV471_bit19 +2551470*VV472_bit_10 +5102940*VV472_bit_9 +10205880*VV472_bit_8 +20411760*VV472_bit_7 +40823520*VV472_bit_6 +81647040*VV472_bit_5 +163294080*VV472_bit_4 +326588160*VV472_bit_3 +653176320*VV472_bit_2 +1306352640*VV472_bit_1 +2612705280*VV472_bit0 +5225410560*VV472_bit1 +10450821120*VV472_bit2 +20901642240*VV472_bit3 +41803284480*VV472_bit4 +83606568960*VV472_bit5 +167213137920*VV472_bit6 +334426275840*VV472_bit7 +668852551680*VV472_bit8 +1337705103360*VV472_bit9 +2675410206720*VV472_bit10 +5350820413440*VV472_bit11 +10701640826880*VV472_bit12 +21403281653760*VV472_bit13 +42806563307520*VV472_bit14 +85613126615040*VV472_bit15 +171226253230080*VV472_bit16 +342452506460160*VV472_bit17 +684905012920320*VV472_bit18 +1369810025840640*VV472_bit19 +1852026*VV473_bit_10 +3704052*VV473_bit_9 +7408104*VV473_bit_8 +14816208*VV473_bit_7 +29632416*VV473_bit_6 +59264832*VV473_bit_5 +118529664*VV473_bit_4 +237059328*VV473_bit_3 +474118656*VV473_bit_2 +948237312*VV473_bit_1 +1896474624*VV473_bit0 +3792949248*VV473_bit1 +7585898496*VV473_bit2 +15171796992*VV473_bit3 +30343593984*VV473_bit4 +60687187968*VV473_bit5 +121374375936*VV473_bit6 +242748751872*VV473_bit7 +485497503744*VV473_bit8 +970995007488*VV473_bit9 +1941990014976*VV473_bit10 +3883980029952*VV473_bit11 +7767960059904*VV473_bit12 +15535920119808*VV473_bit13 +31071840239616*VV473_bit14 +62143680479232*VV473_bit15 +124287360958464*VV473_bit16 +248574721916928*VV473_bit17 +497149443833856*VV473_bit18 +994298887667712*VV473_bit19 +2204541*VV474_bit_10 +4409082*VV474_bit_9 +8818164*VV474_bit_8 +17636328*VV474_bit_7 +35272656*VV474_bit_6 +70545312*VV474_bit_5 +141090624*VV474_bit_4 +282181248*VV474_bit_3 +564362496*VV474_bit_2 +1128724992*VV474_bit_1 +2257449984*VV474_bit0 +4514899968*VV474_bit1 +9029799936*VV474_bit2 +18059599872*VV474_bit3 +36119199744*VV474_bit4 +72238399488*VV474_bit5 +144476798976*VV474_bit6 +288953597952*VV474_bit7 +577907195904*VV474_bit8 +1155814391808*VV474_bit9 +2311628783616*VV474_bit10 +4623257567232*VV474_bit11 +9246515134464*VV474_bit12 +18493030268928*VV474_bit13 +36986060537856*VV474_bit14 +73972121075712*VV474_bit15 +147944242151424*VV474_bit16 +295888484302848*VV474_bit17 +591776968605696*VV474_bit18 +1183553937211392*VV474_bit19 +1926136*VV475_bit_10 +3852272*VV475_bit_9 +7704544*VV475_bit_8 +15409088*VV475_bit_7 +30818176*VV475_bit_6 +61636352*VV475_bit_5 +123272704*VV475_bit_4 +246545408*VV475_bit_3 +493090816*VV475_bit_2 +986181632*VV475_bit_1 +1972363264*VV475_bit0 +3944726528*VV475_bit1 +7889453056*VV475_bit2 +15778906112*VV475_bit3 +31557812224*VV475_bit4 +63115624448*VV475_bit5 +126231248896*VV475_bit6 +252462497792*VV475_bit7 +504924995584*VV475_bit8 +1009849991168*VV475_bit9 +2019699982336*VV475_bit10 +4039399964672*VV475_bit11 +8078799929344*VV475_bit12 +16157599858688*VV475_bit13 +32315199717376*VV475_bit14 +64630399434752*VV475_bit15 +129260798869504*VV475_bit16 +258521597739008*VV475_bit17 +517043195478016*VV475_bit18 +1034086390956032*VV475_bit19 +1777639*VV476_bit_10 +3555278*VV476_bit_9 +7110556*VV476_bit_8 +14221112*VV476_bit_7 +28442224*VV476_bit_6 +56884448*VV476_bit_5 +113768896*VV476_bit_4 +227537792*VV476_bit_3 +455075584*VV476_bit_2 +910151168*VV476_bit_1 +1820302336*VV476_bit0 +3640604672*VV476_bit1 +7281209344*VV476_bit2 +14562418688*VV476_bit3 +29124837376*VV476_bit4 +58249674752*VV476_bit5 +116499349504*VV476_bit6 +232998699008*VV476_bit7 +465997398016*VV476_bit8 +931994796032*VV476_bit9 +1863989592064*VV476_bit10 +3727979184128*VV476_bit11 +7455958368256*VV476_bit12 +14911916736512*VV476_bit13 +29823833473024*VV476_bit14 +59647666946048*VV476_bit15 +119295333892096*VV476_bit16 +238590667784192*VV476_bit17 +477181335568384*VV476_bit18 +954362671136768*VV476_bit19 +2063977*VV477_bit_10 +4127954*VV477_bit_9 +8255908*VV477_bit_8 +16511816*VV477_bit_7 +33023632*VV477_bit_6 +66047264*VV477_bit_5 +132094528*VV477_bit_4 +264189056*VV477_bit_3 +528378112*VV477_bit_2 +1056756224*VV477_bit_1 +2113512448*VV477_bit0 +4227024896*VV477_bit1 +8454049792*VV477_bit2 +16908099584*VV477_bit3 +33816199168*VV477_bit4 +67632398336*VV477_bit5 +135264796672*VV477_bit6 +270529593344*VV477_bit7 +541059186688*VV477_bit8 +1082118373376*VV477_bit9 +2164236746752*VV477_bit10 +4328473493504*VV477_bit11 +8656946987008*VV477_bit12 +17313893974016*VV477_bit13 +34627787948032*VV477_bit14 +69255575896064*VV477_bit15 +138511151792128*VV477_bit16 +277022303584256*VV477_bit17 +554044607168512*VV477_bit18 +1108089214337024*VV477_bit19 +1673320*VV478_bit_10 +3346640*VV478_bit_9 +6693280*VV478_bit_8 +13386560*VV478_bit_7 +26773120*VV478_bit_6 +53546240*VV478_bit_5 +107092480*VV478_bit_4 +214184960*VV478_bit_3 +428369920*VV478_bit_2 +856739840*VV478_bit_1 +1713479680*VV478_bit0 +3426959360*VV478_bit1 +6853918720*VV478_bit2 +13707837440*VV478_bit3 +27415674880*VV478_bit4 +54831349760*VV478_bit5 +109662699520*VV478_bit6 +219325399040*VV478_bit7 +438650798080*VV478_bit8 +877301596160*VV478_bit9 +1754603192320*VV478_bit10 +3509206384640*VV478_bit11 +7018412769280*VV478_bit12 +14036825538560*VV478_bit13 +28073651077120*VV478_bit14 +56147302154240*VV478_bit15 +112294604308480*VV478_bit16 +224589208616960*VV478_bit17 +449178417233920*VV478_bit18 +898356834467840*VV478_bit19 +2190890*VV479_bit_10 +4381780*VV479_bit_9 +8763560*VV479_bit_8 +17527120*VV479_bit_7 +35054240*VV479_bit_6 +70108480*VV479_bit_5 +140216960*VV479_bit_4 +280433920*VV479_bit_3 +560867840*VV479_bit_2 +1121735680*VV479_bit_1 +2243471360*VV479_bit0 +4486942720*VV479_bit1 +8973885440*VV479_bit2 +17947770880*VV479_bit3 +35895541760*VV479_bit4 +71791083520*VV479_bit5 +143582167040*VV479_bit6 +287164334080*VV479_bit7 +574328668160*VV479_bit8 +1148657336320*VV479_bit9 +2297314672640*VV479_bit10 +4594629345280*VV479_bit11 +9189258690560*VV479_bit12 +18378517381120*VV479_bit13 +36757034762240*VV479_bit14 +73514069524480*VV479_bit15 +147028139048960*VV479_bit16 +294056278097920*VV479_bit17 +588112556195840*VV479_bit18 +1176225112391680*VV479_bit19 +2022375*VV480_bit_10 +4044750*VV480_bit_9 +8089500*VV480_bit_8 +16179000*VV480_bit_7 +32358000*VV480_bit_6 +64716000*VV480_bit_5 +129432000*VV480_bit_4 +258864000*VV480_bit_3 +517728000*VV480_bit_2 +1035456000*VV480_bit_1 +2070912000*VV480_bit0 +4141824000*VV480_bit1 +8283648000*VV480_bit2 +16567296000*VV480_bit3 +33134592000*VV480_bit4 +66269184000*VV480_bit5 +132538368000*VV480_bit6 +265076736000*VV480_bit7 +530153472000*VV480_bit8 +1060306944000*VV480_bit9 +2120613888000*VV480_bit10 +4241227776000*VV480_bit11 +8482455552000*VV480_bit12 +16964911104000*VV480_bit13 +33929822208000*VV480_bit14 +67859644416000*VV480_bit15 +135719288832000*VV480_bit16 +271438577664000*VV480_bit17 +542877155328000*VV480_bit18 +1085754310656000*VV480_bit19 +2193171*VV481_bit_10 +4386342*VV481_bit_9 +8772684*VV481_bit_8 +17545368*VV481_bit_7 +35090736*VV481_bit_6 +70181472*VV481_bit_5 +140362944*VV481_bit_4 +280725888*VV481_bit_3 +561451776*VV481_bit_2 +1122903552*VV481_bit_1 +2245807104*VV481_bit0 +4491614208*VV481_bit1 +8983228416*VV481_bit2 +17966456832*VV481_bit3 +35932913664*VV481_bit4 +71865827328*VV481_bit5 +143731654656*VV481_bit6 +287463309312*VV481_bit7 +574926618624*VV481_bit8 +1149853237248*VV481_bit9 +2299706474496*VV481_bit10 +4599412948992*VV481_bit11 +9198825897984*VV481_bit12 +18397651795968*VV481_bit13 +36795303591936*VV481_bit14 +73590607183872*VV481_bit15 +147181214367744*VV481_bit16 +294362428735488*VV481_bit17 +588724857470976*VV481_bit18 +1177449714941952*VV481_bit19 +2453569*VV482_bit_10 +4907138*VV482_bit_9 +9814276*VV482_bit_8 +19628552*VV482_bit_7 +39257104*VV482_bit_6 +78514208*VV482_bit_5 +157028416*VV482_bit_4 +314056832*VV482_bit_3 +628113664*VV482_bit_2 +1256227328*VV482_bit_1 +2512454656*VV482_bit0 +5024909312*VV482_bit1 +10049818624*VV482_bit2 +20099637248*VV482_bit3 +40199274496*VV482_bit4 +80398548992*VV482_bit5 +160797097984*VV482_bit6 +321594195968*VV482_bit7 +643188391936*VV482_bit8 +1286376783872*VV482_bit9 +2572753567744*VV482_bit10 +5145507135488*VV482_bit11 +10291014270976*VV482_bit12 +20582028541952*VV482_bit13 +41164057083904*VV482_bit14 +82328114167808*VV482_bit15 +164656228335616*VV482_bit16 +329312456671232*VV482_bit17 +658624913342464*VV482_bit18 +1317249826684928*VV482_bit19 +2569047*VV483_bit_10 +5138094*VV483_bit_9 +10276188*VV483_bit_8 +20552376*VV483_bit_7 +41104752*VV483_bit_6 +82209504*VV483_bit_5 +164419008*VV483_bit_4 +328838016*VV483_bit_3 +657676032*VV483_bit_2 +1315352064*VV483_bit_1 +2630704128*VV483_bit0 +5261408256*VV483_bit1 +10522816512*VV483_bit2 +21045633024*VV483_bit3 +42091266048*VV483_bit4 +84182532096*VV483_bit5 +168365064192*VV483_bit6 +336730128384*VV483_bit7 +673460256768*VV483_bit8 +1346920513536*VV483_bit9 +2693841027072*VV483_bit10 +5387682054144*VV483_bit11 +10775364108288*VV483_bit12 +21550728216576*VV483_bit13 +43101456433152*VV483_bit14 +86202912866304*VV483_bit15 +172405825732608*VV483_bit16 +344811651465216*VV483_bit17 +689623302930432*VV483_bit18 +1379246605860864*VV483_bit19 +2032240*VV484_bit_10 +4064480*VV484_bit_9 +8128960*VV484_bit_8 +16257920*VV484_bit_7 +32515840*VV484_bit_6 +65031680*VV484_bit_5 +130063360*VV484_bit_4 +260126720*VV484_bit_3 +520253440*VV484_bit_2 +1040506880*VV484_bit_1 +2081013760*VV484_bit0 +4162027520*VV484_bit1 +8324055040*VV484_bit2 +16648110080*VV484_bit3 +33296220160*VV484_bit4 +66592440320*VV484_bit5 +133184880640*VV484_bit6 +266369761280*VV484_bit7 +532739522560*VV484_bit8 +1065479045120*VV484_bit9 +2130958090240*VV484_bit10 +4261916180480*VV484_bit11 +8523832360960*VV484_bit12 +17047664721920*VV484_bit13 +34095329443840*VV484_bit14 +68190658887680*VV484_bit15 +136381317775360*VV484_bit16 +272762635550720*VV484_bit17 +545525271101440*VV484_bit18 +1091050542202880*VV484_bit19 +2140093*VV485_bit_10 +4280186*VV485_bit_9 +8560372*VV485_bit_8 +17120744*VV485_bit_7 +34241488*VV485_bit_6 +68482976*VV485_bit_5 +136965952*VV485_bit_4 +273931904*VV485_bit_3 +547863808*VV485_bit_2 +1095727616*VV485_bit_1 +2191455232*VV485_bit0 +4382910464*VV485_bit1 +8765820928*VV485_bit2 +17531641856*VV485_bit3 +35063283712*VV485_bit4 +70126567424*VV485_bit5 +140253134848*VV485_bit6 +280506269696*VV485_bit7 +561012539392*VV485_bit8 +1122025078784*VV485_bit9 +2244050157568*VV485_bit10 +4488100315136*VV485_bit11 +8976200630272*VV485_bit12 +17952401260544*VV485_bit13 +35904802521088*VV485_bit14 +71809605042176*VV485_bit15 +143619210084352*VV485_bit16 +287238420168704*VV485_bit17 +574476840337408*VV485_bit18 +1148953680674816*VV485_bit19 +1923538*VV486_bit_10 +3847076*VV486_bit_9 +7694152*VV486_bit_8 +15388304*VV486_bit_7 +30776608*VV486_bit_6 +61553216*VV486_bit_5 +123106432*VV486_bit_4 +246212864*VV486_bit_3 +492425728*VV486_bit_2 +984851456*VV486_bit_1 +1969702912*VV486_bit0 +3939405824*VV486_bit1 +7878811648*VV486_bit2 +15757623296*VV486_bit3 +31515246592*VV486_bit4 +63030493184*VV486_bit5 +126060986368*VV486_bit6 +252121972736*VV486_bit7 +504243945472*VV486_bit8 +1008487890944*VV486_bit9 +2016975781888*VV486_bit10 +4033951563776*VV486_bit11 +8067903127552*VV486_bit12 +16135806255104*VV486_bit13 +32271612510208*VV486_bit14 +64543225020416*VV486_bit15 +129086450040832*VV486_bit16 +258172900081664*VV486_bit17 +516345800163328*VV486_bit18 +1032691600326656*VV486_bit19 +2218107*VV487_bit_10 +4436214*VV487_bit_9 +8872428*VV487_bit_8 +17744856*VV487_bit_7 +35489712*VV487_bit_6 +70979424*VV487_bit_5 +141958848*VV487_bit_4 +283917696*VV487_bit_3 +567835392*VV487_bit_2 +1135670784*VV487_bit_1 +2271341568*VV487_bit0 +4542683136*VV487_bit1 +9085366272*VV487_bit2 +18170732544*VV487_bit3 +36341465088*VV487_bit4 +72682930176*VV487_bit5 +145365860352*VV487_bit6 +290731720704*VV487_bit7 +581463441408*VV487_bit8 +1162926882816*VV487_bit9 +2325853765632*VV487_bit10 +4651707531264*VV487_bit11 +9303415062528*VV487_bit12 +18606830125056*VV487_bit13 +37213660250112*VV487_bit14 +74427320500224*VV487_bit15 +148854641000448*VV487_bit16 +297709282000896*VV487_bit17 +595418564001792*VV487_bit18 +1190837128003584*VV487_bit19 +1918333*VV488_bit_10 +3836666*VV488_bit_9 +7673332*VV488_bit_8 +15346664*VV488_bit_7 +30693328*VV488_bit_6 +61386656*VV488_bit_5 +122773312*VV488_bit_4 +245546624*VV488_bit_3 +491093248*VV488_bit_2 +982186496*VV488_bit_1 +1964372992*VV488_bit0 +3928745984*VV488_bit1 +7857491968*VV488_bit2 +15714983936*VV488_bit3 +31429967872*VV488_bit4 +62859935744*VV488_bit5 +125719871488*VV488_bit6 +251439742976*VV488_bit7 +502879485952*VV488_bit8 +1005758971904*VV488_bit9 +2011517943808*VV488_bit10 +4023035887616*VV488_bit11 +8046071775232*VV488_bit12 +16092143550464*VV488_bit13 +32184287100928*VV488_bit14 +64368574201856*VV488_bit15 +128737148403712*VV488_bit16 +257474296807424*VV488_bit17 +514948593614848*VV488_bit18 +1029897187229696*VV488_bit19 +1752142*VV489_bit_10 +3504284*VV489_bit_9 +7008568*VV489_bit_8 +14017136*VV489_bit_7 +28034272*VV489_bit_6 +56068544*VV489_bit_5 +112137088*VV489_bit_4 +224274176*VV489_bit_3 +448548352*VV489_bit_2 +897096704*VV489_bit_1 +1794193408*VV489_bit0 +3588386816*VV489_bit1 +7176773632*VV489_bit2 +14353547264*VV489_bit3 +28707094528*VV489_bit4 +57414189056*VV489_bit5 +114828378112*VV489_bit6 +229656756224*VV489_bit7 +459313512448*VV489_bit8 +918627024896*VV489_bit9 +1837254049792*VV489_bit10 +3674508099584*VV489_bit11 +7349016199168*VV489_bit12 +14698032398336*VV489_bit13 +29396064796672*VV489_bit14 +58792129593344*VV489_bit15 +117584259186688*VV489_bit16 +235168518373376*VV489_bit17 +470337036746752*VV489_bit18 +940674073493504*VV489_bit19 +1881489*VV490_bit_10 +3762978*VV490_bit_9 +7525956*VV490_bit_8 +15051912*VV490_bit_7 +30103824*VV490_bit_6 +60207648*VV490_bit_5 +120415296*VV490_bit_4 +240830592*VV490_bit_3 +481661184*VV490_bit_2 +963322368*VV490_bit_1 +1926644736*VV490_bit0 +3853289472*VV490_bit1 +7706578944*VV490_bit2 +15413157888*VV490_bit3 +30826315776*VV490_bit4 +61652631552*VV490_bit5 +123305263104*VV490_bit6 +246610526208*VV490_bit7 +493221052416*VV490_bit8 +986442104832*VV490_bit9 +1972884209664*VV490_bit10 +3945768419328*VV490_bit11 +7891536838656*VV490_bit12 +15783073677312*VV490_bit13 +31566147354624*VV490_bit14 +63132294709248*VV490_bit15 +126264589418496*VV490_bit16 +252529178836992*VV490_bit17 +505058357673984*VV490_bit18 +1010116715347968*VV490_bit19 +2078461*VV491_bit_10 +4156922*VV491_bit_9 +8313844*VV491_bit_8 +16627688*VV491_bit_7 +33255376*VV491_bit_6 +66510752*VV491_bit_5 +133021504*VV491_bit_4 +266043008*VV491_bit_3 +532086016*VV491_bit_2 +1064172032*VV491_bit_1 +2128344064*VV491_bit0 +4256688128*VV491_bit1 +8513376256*VV491_bit2 +17026752512*VV491_bit3 +34053505024*VV491_bit4 +68107010048*VV491_bit5 +136214020096*VV491_bit6 +272428040192*VV491_bit7 +544856080384*VV491_bit8 +1089712160768*VV491_bit9 +2179424321536*VV491_bit10 +4358848643072*VV491_bit11 +8717697286144*VV491_bit12 +17435394572288*VV491_bit13 +34870789144576*VV491_bit14 +69741578289152*VV491_bit15 +139483156578304*VV491_bit16 +278966313156608*VV491_bit17 +557932626313216*VV491_bit18 +1115865252626432*VV491_bit19 +2184033*VV492_bit_10 +4368066*VV492_bit_9 +8736132*VV492_bit_8 +17472264*VV492_bit_7 +34944528*VV492_bit_6 +69889056*VV492_bit_5 +139778112*VV492_bit_4 +279556224*VV492_bit_3 +559112448*VV492_bit_2 +1118224896*VV492_bit_1 +2236449792*VV492_bit0 +4472899584*VV492_bit1 +8945799168*VV492_bit2 +17891598336*VV492_bit3 +35783196672*VV492_bit4 +71566393344*VV492_bit5 +143132786688*VV492_bit6 +286265573376*VV492_bit7 +572531146752*VV492_bit8 +1145062293504*VV492_bit9 +2290124587008*VV492_bit10 +4580249174016*VV492_bit11 +9160498348032*VV492_bit12 +18320996696064*VV492_bit13 +36641993392128*VV492_bit14 +73283986784256*VV492_bit15 +146567973568512*VV492_bit16 +293135947137024*VV492_bit17 +586271894274048*VV492_bit18 +1172543788548096*VV492_bit19 +2362202*VV493_bit_10 +4724404*VV493_bit_9 +9448808*VV493_bit_8 +18897616*VV493_bit_7 +37795232*VV493_bit_6 +75590464*VV493_bit_5 +151180928*VV493_bit_4 +302361856*VV493_bit_3 +604723712*VV493_bit_2 +1209447424*VV493_bit_1 +2418894848*VV493_bit0 +4837789696*VV493_bit1 +9675579392*VV493_bit2 +19351158784*VV493_bit3 +38702317568*VV493_bit4 +77404635136*VV493_bit5 +154809270272*VV493_bit6 +309618540544*VV493_bit7 +619237081088*VV493_bit8 +1238474162176*VV493_bit9 +2476948324352*VV493_bit10 +4953896648704*VV493_bit11 +9907793297408*VV493_bit12 +19815586594816*VV493_bit13 +39631173189632*VV493_bit14 +79262346379264*VV493_bit15 +158524692758528*VV493_bit16 +317049385517056*VV493_bit17 +634098771034112*VV493_bit18 +1268197542068224*VV493_bit19 +2278157*VV494_bit_10 +4556314*VV494_bit_9 +9112628*VV494_bit_8 +18225256*VV494_bit_7 +36450512*VV494_bit_6 +72901024*VV494_bit_5 +145802048*VV494_bit_4 +291604096*VV494_bit_3 +583208192*VV494_bit_2 +1166416384*VV494_bit_1 +2332832768*VV494_bit0 +4665665536*VV494_bit1 +9331331072*VV494_bit2 +18662662144*VV494_bit3 +37325324288*VV494_bit4 +74650648576*VV494_bit5 +149301297152*VV494_bit6 +298602594304*VV494_bit7 +597205188608*VV494_bit8 +1194410377216*VV494_bit9 +2388820754432*VV494_bit10 +4777641508864*VV494_bit11 +9555283017728*VV494_bit12 +19110566035456*VV494_bit13 +38221132070912*VV494_bit14 +76442264141824*VV494_bit15 +152884528283648*VV494_bit16 +305769056567296*VV494_bit17 +611538113134592*VV494_bit18 +1223076226269184*VV494_bit19 +2366432*VV495_bit_10 +4732864*VV495_bit_9 +9465728*VV495_bit_8 +18931456*VV495_bit_7 +37862912*VV495_bit_6 +75725824*VV495_bit_5 +151451648*VV495_bit_4 +302903296*VV495_bit_3 +605806592*VV495_bit_2 +1211613184*VV495_bit_1 +2423226368*VV495_bit0 +4846452736*VV495_bit1 +9692905472*VV495_bit2 +19385810944*VV495_bit3 +38771621888*VV495_bit4 +77543243776*VV495_bit5 +155086487552*VV495_bit6 +310172975104*VV495_bit7 +620345950208*VV495_bit8 +1240691900416*VV495_bit9 +2481383800832*VV495_bit10 +4962767601664*VV495_bit11 +9925535203328*VV495_bit12 +19851070406656*VV495_bit13 +39702140813312*VV495_bit14 +79404281626624*VV495_bit15 +158808563253248*VV495_bit16 +317617126506496*VV495_bit17 +635234253012992*VV495_bit18 +1270468506025984*VV495_bit19 +2289105*VV496_bit_10 +4578210*VV496_bit_9 +9156420*VV496_bit_8 +18312840*VV496_bit_7 +36625680*VV496_bit_6 +73251360*VV496_bit_5 +146502720*VV496_bit_4 +293005440*VV496_bit_3 +586010880*VV496_bit_2 +1172021760*VV496_bit_1 +2344043520*VV496_bit0 +4688087040*VV496_bit1 +9376174080*VV496_bit2 +18752348160*VV496_bit3 +37504696320*VV496_bit4 +75009392640*VV496_bit5 +150018785280*VV496_bit6 +300037570560*VV496_bit7 +600075141120*VV496_bit8 +1200150282240*VV496_bit9 +2400300564480*VV496_bit10 +4800601128960*VV496_bit11 +9601202257920*VV496_bit12 +19202404515840*VV496_bit13 +38404809031680*VV496_bit14 +76809618063360*VV496_bit15 +153619236126720*VV496_bit16 +307238472253440*VV496_bit17 +614476944506880*VV496_bit18 +1228953889013760*VV496_bit19 +2000000*VV497_bit_10 +4000000*VV497_bit_9 +8000000*VV497_bit_8 +16000000*VV497_bit_7 +32000000*VV497_bit_6 +64000000*VV497_bit_5 +128000000*VV497_bit_4 +256000000*VV497_bit_3 +512000000*VV497_bit_2 +1024000000*VV497_bit_1 +2048000000*VV497_bit0 +4096000000*VV497_bit1 +8192000000*VV497_bit2 +16384000000*VV497_bit3 +32768000000*VV497_bit4 +65536000000*VV497_bit5 +131072000000*VV497_bit6 +262144000000*VV497_bit7 +524288000000*VV497_bit8 +1048576000000*VV497_bit9 +2097152000000*VV497_bit10 +4194304000000*VV497_bit11 +8388608000000*VV497_bit12 +16777216000000*VV497_bit13 +33554432000000*VV497_bit14 +67108864000000*VV497_bit15 +134217728000000*VV497_bit16 +268435456000000*VV497_bit17 +536870912000000*VV497_bit18 +1073741824000000*VV497_bit19 +2039608*VV498_bit_10 +4079216*VV498_bit_9 +8158432*VV498_bit_8 +16316864*VV498_bit_7 +32633728*VV498_bit_6 +65267456*VV498_bit_5 +130534912*VV498_bit_4 +261069824*VV498_bit_3 +522139648*VV498_bit_2 +1044279296*VV498_bit_1 +2088558592*VV498_bit0 +4177117184*VV498_bit1 +8354234368*VV498_bit2 +16708468736*VV498_bit3 +33416937472*VV498_bit4 +66833874944*VV498_bit5 +133667749888*VV498_bit6 +267335499776*VV498_bit7 +534670999552*VV498_bit8 +1069341999104*VV498_bit9 +2138683998208*VV498_bit10 +4277367996416*VV498_bit11 +8554735992832*VV498_bit12 +17109471985664*VV498_bit13 +34218943971328*VV498_bit14 +68437887942656*VV498_bit15 +136875775885312*VV498_bit16 +273751551770624*VV498_bit17 +547503103541248*VV498_bit18 +1095006207082496*VV498_bit19 +2142429*VV499_bit_10 +4284858*VV499_bit_9 +8569716*VV499_bit_8 +17139432*VV499_bit_7 +34278864*VV499_bit_6 +68557728*VV499_bit_5 +137115456*VV499_bit_4 +274230912*VV499_bit_3 +548461824*VV499_bit_2 +1096923648*VV499_bit_1 +2193847296*VV499_bit0 +4387694592*VV499_bit1 +8775389184*VV499_bit2 +17550778368*VV499_bit3 +35101556736*VV499_bit4 +70203113472*VV499_bit5 +140406226944*VV499_bit6 +280812453888*VV499_bit7 +561624907776*VV499_bit8 +1123249815552*VV499_bit9 +2246499631104*VV499_bit10 +4492999262208*VV499_bit11 +8985998524416*VV499_bit12 +17971997048832*VV499_bit13 +35943994097664*VV499_bit14 +71887988195328*VV499_bit15 +143775976390656*VV499_bit16 +287551952781312*VV499_bit17 +575103905562624*VV499_bit18 +1150207811125248*VV499_bit19 +2319483*VV500_bit_10 +4638966*VV500_bit_9 +9277932*VV500_bit_8 +18555864*VV500_bit_7 +37111728*VV500_bit_6 +74223456*VV500_bit_5 +148446912*VV500_bit_4 +296893824*VV500_bit_3 +593787648*VV500_bit_2 +1187575296*VV500_bit_1 +2375150592*VV500_bit0 +4750301184*VV500_bit1 +9500602368*VV500_bit2 +19001204736*VV500_bit3 +38002409472*VV500_bit4 +76004818944*VV500_bit5 +152009637888*VV500_bit6 +304019275776*VV500_bit7 +608038551552*VV500_bit8 +1216077103104*VV500_bit9 +2432154206208*VV500_bit10 +4864308412416*VV500_bit11 +9728616824832*VV500_bit12 +19457233649664*VV500_bit13 +38914467299328*VV500_bit14 +77828934598656*VV500_bit15 +155657869197312*VV500_bit16 +311315738394624*VV500_bit17 +622631476789248*VV500_bit18 +1245262953578496*VV500_bit19 +2304344*VV501_bit_10 +4608688*VV501_bit_9 +9217376*VV501_bit_8 +18434752*VV501_bit_7 +36869504*VV501_bit_6 +73739008*VV501_bit_5 +147478016*VV501_bit_4 +294956032*VV501_bit_3 +589912064*VV501_bit_2 +1179824128*VV501_bit_1 +2359648256*VV501_bit0 +4719296512*VV501_bit1 +9438593024*VV501_bit2 +18877186048*VV501_bit3 +37754372096*VV501_bit4 +75508744192*VV501_bit5 +151017488384*VV501_bit6 +302034976768*VV501_bit7 +604069953536*VV501_bit8 +1208139907072*VV501_bit9 +2416279814144*VV501_bit10 +4832559628288*VV501_bit11 +9665119256576*VV501_bit12 +19330238513152*VV501_bit13 +38660477026304*VV501_bit14 +77320954052608*VV501_bit15 +154641908105216*VV501_bit16 +309283816210432*VV501_bit17 +618567632420864*VV501_bit18 +1237135264841728*VV501_bit19 +2220360*VV502_bit_10 +4440720*VV502_bit_9 +8881440*VV502_bit_8 +17762880*VV502_bit_7 +35525760*VV502_bit_6 +71051520*VV502_bit_5 +142103040*VV502_bit_4 +284206080*VV502_bit_3 +568412160*VV502_bit_2 +1136824320*VV502_bit_1 +2273648640*VV502_bit0 +4547297280*VV502_bit1 +9094594560*VV502_bit2 +18189189120*VV502_bit3 +36378378240*VV502_bit4 +72756756480*VV502_bit5 +145513512960*VV502_bit6 +291027025920*VV502_bit7 +582054051840*VV502_bit8 +1164108103680*VV502_bit9 +2328216207360*VV502_bit10 +4656432414720*VV502_bit11 +9312864829440*VV502_bit12 +18625729658880*VV502_bit13 +37251459317760*VV502_bit14 +74502918635520*VV502_bit15 +149005837271040*VV502_bit16 +298011674542080*VV502_bit17 +596023349084160*VV502_bit18 +1192046698168320*VV502_bit19 +2489980*VV503_bit_10 +4979960*VV503_bit_9 +9959920*VV503_bit_8 +19919840*VV503_bit_7 +39839680*VV503_bit_6 +79679360*VV503_bit_5 +159358720*VV503_bit_4 +318717440*VV503_bit_3 +637434880*VV503_bit_2 +1274869760*VV503_bit_1 +2549739520*VV503_bit0 +5099479040*VV503_bit1 +10198958080*VV503_bit2 +20397916160*VV503_bit3 +40795832320*VV503_bit4 +81591664640*VV503_bit5 +163183329280*VV503_bit6 +326366658560*VV503_bit7 +652733317120*VV503_bit8 +1305466634240*VV503_bit9 +2610933268480*VV503_bit10 +5221866536960*VV503_bit11 +10443733073920*VV503_bit12 +20887466147840*VV503_bit13 +41774932295680*VV503_bit14 +83549864591360*VV503_bit15 +167099729182720*VV503_bit16 +334199458365440*VV503_bit17 +668398916730880*VV503_bit18 +1336797833461760*VV503_bit19 +2565151*VV504_bit_10 +5130302*VV504_bit_9 +10260604*VV504_bit_8 +20521208*VV504_bit_7 +41042416*VV504_bit_6 +82084832*VV504_bit_5 +164169664*VV504_bit_4 +328339328*VV504_bit_3 +656678656*VV504_bit_2 +1313357312*VV504_bit_1 +2626714624*VV504_bit0 +5253429248*VV504_bit1 +10506858496*VV504_bit2 +21013716992*VV504_bit3 +42027433984*VV504_bit4 +84054867968*VV504_bit5 +168109735936*VV504_bit6 +336219471872*VV504_bit7 +672438943744*VV504_bit8 +1344877887488*VV504_bit9 +2689755774976*VV504_bit10 +5379511549952*VV504_bit11 +10759023099904*VV504_bit12 +21518046199808*VV504_bit13 +43036092399616*VV504_bit14 +86072184799232*VV504_bit15 +172144369598464*VV504_bit16 +344288739196928*VV504_bit17 +688577478393856*VV504_bit18 +1377154956787712*VV504_bit19 +2673948*VV505_bit_10 +5347896*VV505_bit_9 +10695792*VV505_bit_8 +21391584*VV505_bit_7 +42783168*VV505_bit_6 +85566336*VV505_bit_5 +171132672*VV505_bit_4 +342265344*VV505_bit_3 +684530688*VV505_bit_2 +1369061376*VV505_bit_1 +2738122752*VV505_bit0 +5476245504*VV505_bit1 +10952491008*VV505_bit2 +21904982016*VV505_bit3 +43809964032*VV505_bit4 +87619928064*VV505_bit5 +175239856128*VV505_bit6 +350479712256*VV505_bit7 +700959424512*VV505_bit8 +1401918849024*VV505_bit9 +2803837698048*VV505_bit10 +5607675396096*VV505_bit11 +11215350792192*VV505_bit12 +22430701584384*VV505_bit13 +44861403168768*VV505_bit14 +89722806337536*VV505_bit15 +179445612675072*VV505_bit16 +358891225350144*VV505_bit17 +717782450700288*VV505_bit18 +1435564901400576*VV505_bit19 +1545962*VV506_bit_10 +3091924*VV506_bit_9 +6183848*VV506_bit_8 +12367696*VV506_bit_7 +24735392*VV506_bit_6 +49470784*VV506_bit_5 +98941568*VV506_bit_4 +197883136*VV506_bit_3 +395766272*VV506_bit_2 +791532544*VV506_bit_1 +1583065088*VV506_bit0 +3166130176*VV506_bit1 +6332260352*VV506_bit2 +12664520704*VV506_bit3 +25329041408*VV506_bit4 +50658082816*VV506_bit5 +101316165632*VV506_bit6 +202632331264*VV506_bit7 +405264662528*VV506_bit8 +810529325056*VV506_bit9 +1621058650112*VV506_bit10 +3242117300224*VV506_bit11 +6484234600448*VV506_bit12 +12968469200896*VV506_bit13 +25936938401792*VV506_bit14 +51873876803584*VV506_bit15 +103747753607168*VV506_bit16 +207495507214336*VV506_bit17 +414991014428672*VV506_bit18 +829982028857344*VV506_bit19 +2000000*VV507_bit_10 +4000000*VV507_bit_9 +8000000*VV507_bit_8 +16000000*VV507_bit_7 +32000000*VV507_bit_6 +64000000*VV507_bit_5 +128000000*VV507_bit_4 +256000000*VV507_bit_3 +512000000*VV507_bit_2 +1024000000*VV507_bit_1 +2048000000*VV507_bit0 +4096000000*VV507_bit1 +8192000000*VV507_bit2 +16384000000*VV507_bit3 +32768000000*VV507_bit4 +65536000000*VV507_bit5 +131072000000*VV507_bit6 +262144000000*VV507_bit7 +524288000000*VV507_bit8 +1048576000000*VV507_bit9 +2097152000000*VV507_bit10 +4194304000000*VV507_bit11 +8388608000000*VV507_bit12 +16777216000000*VV507_bit13 +33554432000000*VV507_bit14 +67108864000000*VV507_bit15 +134217728000000*VV507_bit16 +268435456000000*VV507_bit17 +536870912000000*VV507_bit18 +1073741824000000*VV507_bit19 +2211334*VV508_bit_10 +4422668*VV508_bit_9 +8845336*VV508_bit_8 +17690672*VV508_bit_7 +35381344*VV508_bit_6 +70762688*VV508_bit_5 +141525376*VV508_bit_4 +283050752*VV508_bit_3 +566101504*VV508_bit_2 +1132203008*VV508_bit_1 +2264406016*VV508_bit0 +4528812032*VV508_bit1 +9057624064*VV508_bit2 +18115248128*VV508_bit3 +36230496256*VV508_bit4 +72460992512*VV508_bit5 +144921985024*VV508_bit6 +289843970048*VV508_bit7 +579687940096*VV508_bit8 +1159375880192*VV508_bit9 +2318751760384*VV508_bit10 +4637503520768*VV508_bit11 +9275007041536*VV508_bit12 +18550014083072*VV508_bit13 +37100028166144*VV508_bit14 +74200056332288*VV508_bit15 +148400112664576*VV508_bit16 +296800225329152*VV508_bit17 +593600450658304*VV508_bit18 +1187200901316608*VV508_bit19 +2453569*VV509_bit_10 +4907138*VV509_bit_9 +9814276*VV509_bit_8 +19628552*VV509_bit_7 +39257104*VV509_bit_6 +78514208*VV509_bit_5 +157028416*VV509_bit_4 +314056832*VV509_bit_3 +628113664*VV509_bit_2 +1256227328*VV509_bit_1 +2512454656*VV509_bit0 +5024909312*VV509_bit1 +10049818624*VV509_bit2 +20099637248*VV509_bit3 +40199274496*VV509_bit4 +80398548992*VV509_bit5 +160797097984*VV509_bit6 +321594195968*VV509_bit7 +643188391936*VV509_bit8 +1286376783872*VV509_bit9 +2572753567744*VV509_bit10 +5145507135488*VV509_bit11 +10291014270976*VV509_bit12 +20582028541952*VV509_bit13 +41164057083904*VV509_bit14 +82328114167808*VV509_bit15 +164656228335616*VV509_bit16 +329312456671232*VV509_bit17 +658624913342464*VV509_bit18 +1317249826684928*VV509_bit19 +2485961*VV510_bit_10 +4971922*VV510_bit_9 +9943844*VV510_bit_8 +19887688*VV510_bit_7 +39775376*VV510_bit_6 +79550752*VV510_bit_5 +159101504*VV510_bit_4 +318203008*VV510_bit_3 +636406016*VV510_bit_2 +1272812032*VV510_bit_1 +2545624064*VV510_bit0 +5091248128*VV510_bit1 +10182496256*VV510_bit2 +20364992512*VV510_bit3 +40729985024*VV510_bit4 +81459970048*VV510_bit5 +162919940096*VV510_bit6 +325839880192*VV510_bit7 +651679760384*VV510_bit8 +1303359520768*VV510_bit9 +2606719041536*VV510_bit10 +5213438083072*VV510_bit11 +10426876166144*VV510_bit12 +20853752332288*VV510_bit13 +41707504664576*VV510_bit14 +83415009329152*VV510_bit15 +166830018658304*VV510_bit16 +333660037316608*VV510_bit17 +667320074633216*VV510_bit18 +1334640149266432*VV510_bit19 +2611513*VV511_bit_10 +5223026*VV511_bit_9 +10446052*VV511_bit_8 +20892104*VV511_bit_7 +41784208*VV511_bit_6 +83568416*VV511_bit_5 +167136832*VV511_bit_4 +334273664*VV511_bit_3 +668547328*VV511_bit_2 +1337094656*VV511_bit_1 +2674189312*VV511_bit0 +5348378624*VV511_bit1 +10696757248*VV511_bit2 +21393514496*VV511_bit3 +42787028992*VV511_bit4 +85574057984*VV511_bit5 +171148115968*VV511_bit6 +342296231936*VV511_bit7 +684592463872*VV511_bit8 +1369184927744*VV511_bit9 +2738369855488*VV511_bit10 +5476739710976*VV511_bit11 +10953479421952*VV511_bit12 +21906958843904*VV511_bit13 +43813917687808*VV511_bit14 +87627835375616*VV511_bit15 +175255670751232*VV511_bit16 +350511341502464*VV511_bit17 +701022683004928*VV511_bit18 +1402045366009856*VV511_bit19 +2605763*VV512_bit_10 +5211526*VV512_bit_9 +10423052*VV512_bit_8 +20846104*VV512_bit_7 +41692208*VV512_bit_6 +83384416*VV512_bit_5 +166768832*VV512_bit_4 +333537664*VV512_bit_3 +667075328*VV512_bit_2 +1334150656*VV512_bit_1 +2668301312*VV512_bit0 +5336602624*VV512_bit1 +10673205248*VV512_bit2 +21346410496*VV512_bit3 +42692820992*VV512_bit4 +85385641984*VV512_bit5 +170771283968*VV512_bit6 +341542567936*VV512_bit7 +683085135872*VV512_bit8 +1366170271744*VV512_bit9 +2732340543488*VV512_bit10 +5464681086976*VV512_bit11 +10929362173952*VV512_bit12 +21858724347904*VV512_bit13 +43717448695808*VV512_bit14 +87434897391616*VV512_bit15 +174869794783232*VV512_bit16 +349739589566464*VV512_bit17 +699479179132928*VV512_bit18 +1398958358265856*VV512_bit19 +2447448*VV513_bit_10 +4894896*VV513_bit_9 +9789792*VV513_bit_8 +19579584*VV513_bit_7 +39159168*VV513_bit_6 +78318336*VV513_bit_5 +156636672*VV513_bit_4 +313273344*VV513_bit_3 +626546688*VV513_bit_2 +1253093376*VV513_bit_1 +2506186752*VV513_bit0 +5012373504*VV513_bit1 +10024747008*VV513_bit2 +20049494016*VV513_bit3 +40098988032*VV513_bit4 +80197976064*VV513_bit5 +160395952128*VV513_bit6 +320791904256*VV513_bit7 +641583808512*VV513_bit8 +1283167617024*VV513_bit9 +2566335234048*VV513_bit10 +5132670468096*VV513_bit11 +10265340936192*VV513_bit12 +20530681872384*VV513_bit13 +41061363744768*VV513_bit14 +82122727489536*VV513_bit15 +164245454979072*VV513_bit16 +328490909958144*VV513_bit17 +656981819916288*VV513_bit18 +1313963639832576*VV513_bit19 +2416609*VV514_bit_10 +4833218*VV514_bit_9 +9666436*VV514_bit_8 +19332872*VV514_bit_7 +38665744*VV514_bit_6 +77331488*VV514_bit_5 +154662976*VV514_bit_4 +309325952*VV514_bit_3 +618651904*VV514_bit_2 +1237303808*VV514_bit_1 +2474607616*VV514_bit0 +4949215232*VV514_bit1 +9898430464*VV514_bit2 +19796860928*VV514_bit3 +39593721856*VV514_bit4 +79187443712*VV514_bit5 +158374887424*VV514_bit6 +316749774848*VV514_bit7 +633499549696*VV514_bit8 +1266999099392*VV514_bit9 +2533998198784*VV514_bit10 +5067996397568*VV514_bit11 +10135992795136*VV514_bit12 +20271985590272*VV514_bit13 +40543971180544*VV514_bit14 +81087942361088*VV514_bit15 +162175884722176*VV514_bit16 +324351769444352*VV514_bit17 +648703538888704*VV514_bit18 +1297407077777408*VV514_bit19 +2039608*VV515_bit_10 +4079216*VV515_bit_9 +8158432*VV515_bit_8 +16316864*VV515_bit_7 +32633728*VV515_bit_6 +65267456*VV515_bit_5 +130534912*VV515_bit_4 +261069824*VV515_bit_3 +522139648*VV515_bit_2 +1044279296*VV515_bit_1 +2088558592*VV515_bit0 +4177117184*VV515_bit1 +8354234368*VV515_bit2 +16708468736*VV515_bit3 +33416937472*VV515_bit4 +66833874944*VV515_bit5 +133667749888*VV515_bit6 +267335499776*VV515_bit7 +534670999552*VV515_bit8 +1069341999104*VV515_bit9 +2138683998208*VV515_bit10 +4277367996416*VV515_bit11 +8554735992832*VV515_bit12 +17109471985664*VV515_bit13 +34218943971328*VV515_bit14 +68437887942656*VV515_bit15 +136875775885312*VV515_bit16 +273751551770624*VV515_bit17 +547503103541248*VV515_bit18 +1095006207082496*VV515_bit19 +2280351*VV516_bit_10 +4560702*VV516_bit_9 +9121404*VV516_bit_8 +18242808*VV516_bit_7 +36485616*VV516_bit_6 +72971232*VV516_bit_5 +145942464*VV516_bit_4 +291884928*VV516_bit_3 +583769856*VV516_bit_2 +1167539712*VV516_bit_1 +2335079424*VV516_bit0 +4670158848*VV516_bit1 +9340317696*VV516_bit2 +18680635392*VV516_bit3 +37361270784*VV516_bit4 +74722541568*VV516_bit5 +149445083136*VV516_bit6 +298890166272*VV516_bit7 +597780332544*VV516_bit8 +1195560665088*VV516_bit9 +2391121330176*VV516_bit10 +4782242660352*VV516_bit11 +9564485320704*VV516_bit12 +19128970641408*VV516_bit13 +38257941282816*VV516_bit14 +76515882565632*VV516_bit15 +153031765131264*VV516_bit16 +306063530262528*VV516_bit17 +612127060525056*VV516_bit18 +1224254121050112*VV516_bit19 +1841195*VV517_bit_10 +3682390*VV517_bit_9 +7364780*VV517_bit_8 +14729560*VV517_bit_7 +29459120*VV517_bit_6 +58918240*VV517_bit_5 +117836480*VV517_bit_4 +235672960*VV517_bit_3 +471345920*VV517_bit_2 +942691840*VV517_bit_1 +1885383680*VV517_bit0 +3770767360*VV517_bit1 +7541534720*VV517_bit2 +15083069440*VV517_bit3 +30166138880*VV517_bit4 +60332277760*VV517_bit5 +120664555520*VV517_bit6 +241329111040*VV517_bit7 +482658222080*VV517_bit8 +965316444160*VV517_bit9 +1930632888320*VV517_bit10 +3861265776640*VV517_bit11 +7722531553280*VV517_bit12 +15445063106560*VV517_bit13 +30890126213120*VV517_bit14 +61780252426240*VV517_bit15 +123560504852480*VV517_bit16 +247121009704960*VV517_bit17 +494242019409920*VV517_bit18 +988484038819840*VV517_bit19 +1500000*VV518_bit_10 +3000000*VV518_bit_9 +6000000*VV518_bit_8 +12000000*VV518_bit_7 +24000000*VV518_bit_6 +48000000*VV518_bit_5 +96000000*VV518_bit_4 +192000000*VV518_bit_3 +384000000*VV518_bit_2 +768000000*VV518_bit_1 +1536000000*VV518_bit0 +3072000000*VV518_bit1 +6144000000*VV518_bit2 +12288000000*VV518_bit3 +24576000000*VV518_bit4 +49152000000*VV518_bit5 +98304000000*VV518_bit6 +196608000000*VV518_bit7 +393216000000*VV518_bit8 +786432000000*VV518_bit9 +1572864000000*VV518_bit10 +3145728000000*VV518_bit11 +6291456000000*VV518_bit12 +12582912000000*VV518_bit13 +25165824000000*VV518_bit14 +50331648000000*VV518_bit15 +100663296000000*VV518_bit16 +201326592000000*VV518_bit17 +402653184000000*VV518_bit18 +805306368000000*VV518_bit19 +1664332*VV519_bit_10 +3328664*VV519_bit_9 +6657328*VV519_bit_8 +13314656*VV519_bit_7 +26629312*VV519_bit_6 +53258624*VV519_bit_5 +106517248*VV519_bit_4 +213034496*VV519_bit_3 +426068992*VV519_bit_2 +852137984*VV519_bit_1 +1704275968*VV519_bit0 +3408551936*VV519_bit1 +6817103872*VV519_bit2 +13634207744*VV519_bit3 +27268415488*VV519_bit4 +54536830976*VV519_bit5 +109073661952*VV519_bit6 +218147323904*VV519_bit7 +436294647808*VV519_bit8 +872589295616*VV519_bit9 +1745178591232*VV519_bit10 +3490357182464*VV519_bit11 +6980714364928*VV519_bit12 +13961428729856*VV519_bit13 +27922857459712*VV519_bit14 +55845714919424*VV519_bit15 +111691429838848*VV519_bit16 +223382859677696*VV519_bit17 +446765719355392*VV519_bit18 +893531438710784*VV519_bit19 +2063977*VV520_bit_10 +4127954*VV520_bit_9 +8255908*VV520_bit_8 +16511816*VV520_bit_7 +33023632*VV520_bit_6 +66047264*VV520_bit_5 +132094528*VV520_bit_4 +264189056*VV520_bit_3 +528378112*VV520_bit_2 +1056756224*VV520_bit_1 +2113512448*VV520_bit0 +4227024896*VV520_bit1 +8454049792*VV520_bit2 +16908099584*VV520_bit3 +33816199168*VV520_bit4 +67632398336*VV520_bit5 +135264796672*VV520_bit6 +270529593344*VV520_bit7 +541059186688*VV520_bit8 +1082118373376*VV520_bit9 +2164236746752*VV520_bit10 +4328473493504*VV520_bit11 +8656946987008*VV520_bit12 +17313893974016*VV520_bit13 +34627787948032*VV520_bit14 +69255575896064*VV520_bit15 +138511151792128*VV520_bit16 +277022303584256*VV520_bit17 +554044607168512*VV520_bit18 +1108089214337024*VV520_bit19 +2190890*VV521_bit_10 +4381780*VV521_bit_9 +8763560*VV521_bit_8 +17527120*VV521_bit_7 +35054240*VV521_bit_6 +70108480*VV521_bit_5 +140216960*VV521_bit_4 +280433920*VV521_bit_3 +560867840*VV521_bit_2 +1121735680*VV521_bit_1 +2243471360*VV521_bit0 +4486942720*VV521_bit1 +8973885440*VV521_bit2 +17947770880*VV521_bit3 +35895541760*VV521_bit4 +71791083520*VV521_bit5 +143582167040*VV521_bit6 +287164334080*VV521_bit7 +574328668160*VV521_bit8 +1148657336320*VV521_bit9 +2297314672640*VV521_bit10 +4594629345280*VV521_bit11 +9189258690560*VV521_bit12 +18378517381120*VV521_bit13 +36757034762240*VV521_bit14 +73514069524480*VV521_bit15 +147028139048960*VV521_bit16 +294056278097920*VV521_bit17 +588112556195840*VV521_bit18 +1176225112391680*VV521_bit19 +1941649*VV522_bit_10 +3883298*VV522_bit_9 +7766596*VV522_bit_8 +15533192*VV522_bit_7 +31066384*VV522_bit_6 +62132768*VV522_bit_5 +124265536*VV522_bit_4 +248531072*VV522_bit_3 +497062144*VV522_bit_2 +994124288*VV522_bit_1 +1988248576*VV522_bit0 +3976497152*VV522_bit1 +7952994304*VV522_bit2 +15905988608*VV522_bit3 +31811977216*VV522_bit4 +63623954432*VV522_bit5 +127247908864*VV522_bit6 +254495817728*VV522_bit7 +508991635456*VV522_bit8 +1017983270912*VV522_bit9 +2035966541824*VV522_bit10 +4071933083648*VV522_bit11 +8143866167296*VV522_bit12 +16287732334592*VV522_bit13 +32575464669184*VV522_bit14 +65150929338368*VV522_bit15 +130301858676736*VV522_bit16 +260603717353472*VV522_bit17 +521207434706944*VV522_bit18 +1042414869413888*VV522_bit19 +2000000*VV523_bit_10 +4000000*VV523_bit_9 +8000000*VV523_bit_8 +16000000*VV523_bit_7 +32000000*VV523_bit_6 +64000000*VV523_bit_5 +128000000*VV523_bit_4 +256000000*VV523_bit_3 +512000000*VV523_bit_2 +1024000000*VV523_bit_1 +2048000000*VV523_bit0 +4096000000*VV523_bit1 +8192000000*VV523_bit2 +16384000000*VV523_bit3 +32768000000*VV523_bit4 +65536000000*VV523_bit5 +131072000000*VV523_bit6 +262144000000*VV523_bit7 +524288000000*VV523_bit8 +1048576000000*VV523_bit9 +2097152000000*VV523_bit10 +4194304000000*VV523_bit11 +8388608000000*VV523_bit12 +16777216000000*VV523_bit13 +33554432000000*VV523_bit14 +67108864000000*VV523_bit15 +134217728000000*VV523_bit16 +268435456000000*VV523_bit17 +536870912000000*VV523_bit18 +1073741824000000*VV523_bit19 +2238303*VV524_bit_10 +4476606*VV524_bit_9 +8953212*VV524_bit_8 +17906424*VV524_bit_7 +35812848*VV524_bit_6 +71625696*VV524_bit_5 +143251392*VV524_bit_4 +286502784*VV524_bit_3 +573005568*VV524_bit_2 +1146011136*VV524_bit_1 +2292022272*VV524_bit0 +4584044544*VV524_bit1 +9168089088*VV524_bit2 +18336178176*VV524_bit3 +36672356352*VV524_bit4 +73344712704*VV524_bit5 +146689425408*VV524_bit6 +293378850816*VV524_bit7 +586757701632*VV524_bit8 +1173515403264*VV524_bit9 +2347030806528*VV524_bit10 +4694061613056*VV524_bit11 +9388123226112*VV524_bit12 +18776246452224*VV524_bit13 +37552492904448*VV524_bit14 +75104985808896*VV524_bit15 +150209971617792*VV524_bit16 +300419943235584*VV524_bit17 +600839886471168*VV524_bit18 +1201679772942336*VV524_bit19 +2227106*VV525_bit_10 +4454212*VV525_bit_9 +8908424*VV525_bit_8 +17816848*VV525_bit_7 +35633696*VV525_bit_6 +71267392*VV525_bit_5 +142534784*VV525_bit_4 +285069568*VV525_bit_3 +570139136*VV525_bit_2 +1140278272*VV525_bit_1 +2280556544*VV525_bit0 +4561113088*VV525_bit1 +9122226176*VV525_bit2 +18244452352*VV525_bit3 +36488904704*VV525_bit4 +72977809408*VV525_bit5 +145955618816*VV525_bit6 +291911237632*VV525_bit7 +583822475264*VV525_bit8 +1167644950528*VV525_bit9 +2335289901056*VV525_bit10 +4670579802112*VV525_bit11 +9341159604224*VV525_bit12 +18682319208448*VV525_bit13 +37364638416896*VV525_bit14 +74729276833792*VV525_bit15 +149458553667584*VV525_bit16 +298917107335168*VV525_bit17 +597834214670336*VV525_bit18 +1195668429340672*VV525_bit19 +2416609*VV526_bit_10 +4833218*VV526_bit_9 +9666436*VV526_bit_8 +19332872*VV526_bit_7 +38665744*VV526_bit_6 +77331488*VV526_bit_5 +154662976*VV526_bit_4 +309325952*VV526_bit_3 +618651904*VV526_bit_2 +1237303808*VV526_bit_1 +2474607616*VV526_bit0 +4949215232*VV526_bit1 +9898430464*VV526_bit2 +19796860928*VV526_bit3 +39593721856*VV526_bit4 +79187443712*VV526_bit5 +158374887424*VV526_bit6 +316749774848*VV526_bit7 +633499549696*VV526_bit8 +1266999099392*VV526_bit9 +2533998198784*VV526_bit10 +5067996397568*VV526_bit11 +10135992795136*VV526_bit12 +20271985590272*VV526_bit13 +40543971180544*VV526_bit14 +81087942361088*VV526_bit15 +162175884722176*VV526_bit16 +324351769444352*VV526_bit17 +648703538888704*VV526_bit18 +1297407077777408*VV526_bit19 +2624881*VV527_bit_10 +5249762*VV527_bit_9 +10499524*VV527_bit_8 +20999048*VV527_bit_7 +41998096*VV527_bit_6 +83996192*VV527_bit_5 +167992384*VV527_bit_4 +335984768*VV527_bit_3 +671969536*VV527_bit_2 +1343939072*VV527_bit_1 +2687878144*VV527_bit0 +5375756288*VV527_bit1 +10751512576*VV527_bit2 +21503025152*VV527_bit3 +43006050304*VV527_bit4 +86012100608*VV527_bit5 +172024201216*VV527_bit6 +344048402432*VV527_bit7 +688096804864*VV527_bit8 +1376193609728*VV527_bit9 +2752387219456*VV527_bit10 +5504774438912*VV527_bit11 +11009548877824*VV527_bit12 +22019097755648*VV527_bit13 +44038195511296*VV527_bit14 +88076391022592*VV527_bit15 +176152782045184*VV527_bit16 +352305564090368*VV527_bit17 +704611128180736*VV527_bit18 +1409222256361472*VV527_bit19 +2673948*VV528_bit_10 +5347896*VV528_bit_9 +10695792*VV528_bit_8 +21391584*VV528_bit_7 +42783168*VV528_bit_6 +85566336*VV528_bit_5 +171132672*VV528_bit_4 +342265344*VV528_bit_3 +684530688*VV528_bit_2 +1369061376*VV528_bit_1 +2738122752*VV528_bit0 +5476245504*VV528_bit1 +10952491008*VV528_bit2 +21904982016*VV528_bit3 +43809964032*VV528_bit4 +87619928064*VV528_bit5 +175239856128*VV528_bit6 +350479712256*VV528_bit7 +700959424512*VV528_bit8 +1401918849024*VV528_bit9 +2803837698048*VV528_bit10 +5607675396096*VV528_bit11 +11215350792192*VV528_bit12 +22430701584384*VV528_bit13 +44861403168768*VV528_bit14 +89722806337536*VV528_bit15 +179445612675072*VV528_bit16 +358891225350144*VV528_bit17 +717782450700288*VV528_bit18 +1435564901400576*VV528_bit19 +2572936*VV529_bit_10 +5145872*VV529_bit_9 +10291744*VV529_bit_8 +20583488*VV529_bit_7 +41166976*VV529_bit_6 +82333952*VV529_bit_5 +164667904*VV529_bit_4 +329335808*VV529_bit_3 +658671616*VV529_bit_2 +1317343232*VV529_bit_1 +2634686464*VV529_bit0 +5269372928*VV529_bit1 +10538745856*VV529_bit2 +21077491712*VV529_bit3 +42154983424*VV529_bit4 +84309966848*VV529_bit5 +168619933696*VV529_bit6 +337239867392*VV529_bit7 +674479734784*VV529_bit8 +1348959469568*VV529_bit9 +2697918939136*VV529_bit10 +5395837878272*VV529_bit11 +10791675756544*VV529_bit12 +21583351513088*VV529_bit13 +43166703026176*VV529_bit14 +86333406052352*VV529_bit15 +172666812104704*VV529_bit16 +345333624209408*VV529_bit17 +690667248418816*VV529_bit18 +1381334496837632*VV529_bit19 +1609348*VV530_bit_10 +3218696*VV530_bit_9 +6437392*VV530_bit_8 +12874784*VV530_bit_7 +25749568*VV530_bit_6 +51499136*VV530_bit_5 +102998272*VV530_bit_4 +205996544*VV530_bit_3 +411993088*VV530_bit_2 +823986176*VV530_bit_1 +1647972352*VV530_bit0 +3295944704*VV530_bit1 +6591889408*VV530_bit2 +13183778816*VV530_bit3 +26367557632*VV530_bit4 +52735115264*VV530_bit5 +105470230528*VV530_bit6 +210940461056*VV530_bit7 +421880922112*VV530_bit8 +843761844224*VV530_bit9 +1687523688448*VV530_bit10 +3375047376896*VV530_bit11 +6750094753792*VV530_bit12 +13500189507584*VV530_bit13 +27000379015168*VV530_bit14 +54000758030336*VV530_bit15 +108001516060672*VV530_bit16 +216003032121344*VV530_bit17 +432006064242688*VV530_bit18 +864012128485376*VV530_bit19 +2090454*VV531_bit_10 +4180908*VV531_bit_9 +8361816*VV531_bit_8 +16723632*VV531_bit_7 +33447264*VV531_bit_6 +66894528*VV531_bit_5 +133789056*VV531_bit_4 +267578112*VV531_bit_3 +535156224*VV531_bit_2 +1070312448*VV531_bit_1 +2140624896*VV531_bit0 +4281249792*VV531_bit1 +8562499584*VV531_bit2 +17124999168*VV531_bit3 +34249998336*VV531_bit4 +68499996672*VV531_bit5 +136999993344*VV531_bit6 +273999986688*VV531_bit7 +547999973376*VV531_bit8 +1095999946752*VV531_bit9 +2191999893504*VV531_bit10 +4383999787008*VV531_bit11 +8767999574016*VV531_bit12 +17535999148032*VV531_bit13 +35071998296064*VV531_bit14 +70143996592128*VV531_bit15 +140287993184256*VV531_bit16 +280575986368512*VV531_bit17 +561151972737024*VV531_bit18 +1122303945474048*VV531_bit19 +2244994*VV532_bit_10 +4489988*VV532_bit_9 +8979976*VV532_bit_8 +17959952*VV532_bit_7 +35919904*VV532_bit_6 +71839808*VV532_bit_5 +143679616*VV532_bit_4 +287359232*VV532_bit_3 +574718464*VV532_bit_2 +1149436928*VV532_bit_1 +2298873856*VV532_bit0 +4597747712*VV532_bit1 +9195495424*VV532_bit2 +18390990848*VV532_bit3 +36781981696*VV532_bit4 +73563963392*VV532_bit5 +147127926784*VV532_bit6 +294255853568*VV532_bit7 +588511707136*VV532_bit8 +1177023414272*VV532_bit9 +2354046828544*VV532_bit10 +4708093657088*VV532_bit11 +9416187314176*VV532_bit12 +18832374628352*VV532_bit13 +37664749256704*VV532_bit14 +75329498513408*VV532_bit15 +150658997026816*VV532_bit16 +301317994053632*VV532_bit17 +602635988107264*VV532_bit18 +1205271976214528*VV532_bit19 +2135416*VV533_bit_10 +4270832*VV533_bit_9 +8541664*VV533_bit_8 +17083328*VV533_bit_7 +34166656*VV533_bit_6 +68333312*VV533_bit_5 +136666624*VV533_bit_4 +273333248*VV533_bit_3 +546666496*VV533_bit_2 +1093332992*VV533_bit_1 +2186665984*VV533_bit0 +4373331968*VV533_bit1 +8746663936*VV533_bit2 +17493327872*VV533_bit3 +34986655744*VV533_bit4 +69973311488*VV533_bit5 +139946622976*VV533_bit6 +279893245952*VV533_bit7 +559786491904*VV533_bit8 +1119572983808*VV533_bit9 +2239145967616*VV533_bit10 +4478291935232*VV533_bit11 +8956583870464*VV533_bit12 +17913167740928*VV533_bit13 +35826335481856*VV533_bit14 +71652670963712*VV533_bit15 +143305341927424*VV533_bit16 +286610683854848*VV533_bit17 +573221367709696*VV533_bit18 +1146442735419392*VV533_bit19 +2381176*VV534_bit_10 +4762352*VV534_bit_9 +9524704*VV534_bit_8 +19049408*VV534_bit_7 +38098816*VV534_bit_6 +76197632*VV534_bit_5 +152395264*VV534_bit_4 +304790528*VV534_bit_3 +609581056*VV534_bit_2 +1219162112*VV534_bit_1 +2438324224*VV534_bit0 +4876648448*VV534_bit1 +9753296896*VV534_bit2 +19506593792*VV534_bit3 +39013187584*VV534_bit4 +78026375168*VV534_bit5 +156052750336*VV534_bit6 +312105500672*VV534_bit7 +624211001344*VV534_bit8 +1248422002688*VV534_bit9 +2496844005376*VV534_bit10 +4993688010752*VV534_bit11 +9987376021504*VV534_bit12 +19974752043008*VV534_bit13 +39949504086016*VV534_bit14 +79899008172032*VV534_bit15 +159798016344064*VV534_bit16 +319596032688128*VV534_bit17 +639192065376256*VV534_bit18 +1278384130752512*VV534_bit19 +2600000*VV535_bit_10 +5200000*VV535_bit_9 +10400000*VV535_bit_8 +20800000*VV535_bit_7 +41600000*VV535_bit_6 +83200000*VV535_bit_5 +166400000*VV535_bit_4 +332800000*VV535_bit_3 +665600000*VV535_bit_2 +1331200000*VV535_bit_1 +2662400000*VV535_bit0 +5324800000*VV535_bit1 +10649600000*VV535_bit2 +21299200000*VV535_bit3 +42598400000*VV535_bit4 +85196800000*VV535_bit5 +170393600000*VV535_bit6 +340787200000*VV535_bit7 +681574400000*VV535_bit8 +1363148800000*VV535_bit9 +2726297600000*VV535_bit10 +5452595200000*VV535_bit11 +10905190400000*VV535_bit12 +21810380800000*VV535_bit13 +43620761600000*VV535_bit14 +87241523200000*VV535_bit15 +174483046400000*VV535_bit16 +348966092800000*VV535_bit17 +697932185600000*VV535_bit18 +1395864371200000*VV535_bit19 +2437212*VV536_bit_10 +4874424*VV536_bit_9 +9748848*VV536_bit_8 +19497696*VV536_bit_7 +38995392*VV536_bit_6 +77990784*VV536_bit_5 +155981568*VV536_bit_4 +311963136*VV536_bit_3 +623926272*VV536_bit_2 +1247852544*VV536_bit_1 +2495705088*VV536_bit0 +4991410176*VV536_bit1 +9982820352*VV536_bit2 +19965640704*VV536_bit3 +39931281408*VV536_bit4 +79862562816*VV536_bit5 +159725125632*VV536_bit6 +319450251264*VV536_bit7 +638900502528*VV536_bit8 +1277801005056*VV536_bit9 +2555602010112*VV536_bit10 +5111204020224*VV536_bit11 +10222408040448*VV536_bit12 +20444816080896*VV536_bit13 +40889632161792*VV536_bit14 +81779264323584*VV536_bit15 +163558528647168*VV536_bit16 +327117057294336*VV536_bit17 +654234114588672*VV536_bit18 +1308468229177344*VV536_bit19 +2059126*VV537_bit_10 +4118252*VV537_bit_9 +8236504*VV537_bit_8 +16473008*VV537_bit_7 +32946016*VV537_bit_6 +65892032*VV537_bit_5 +131784064*VV537_bit_4 +263568128*VV537_bit_3 +527136256*VV537_bit_2 +1054272512*VV537_bit_1 +2108545024*VV537_bit0 +4217090048*VV537_bit1 +8434180096*VV537_bit2 +16868360192*VV537_bit3 +33736720384*VV537_bit4 +67473440768*VV537_bit5 +134946881536*VV537_bit6 +269893763072*VV537_bit7 +539787526144*VV537_bit8 +1079575052288*VV537_bit9 +2159150104576*VV537_bit10 +4318300209152*VV537_bit11 +8636600418304*VV537_bit12 +17273200836608*VV537_bit13 +34546401673216*VV537_bit14 +69092803346432*VV537_bit15 +138185606692864*VV537_bit16 +276371213385728*VV537_bit17 +552742426771456*VV537_bit18 +1105484853542912*VV537_bit19 +1931321*VV538_bit_10 +3862642*VV538_bit_9 +7725284*VV538_bit_8 +15450568*VV538_bit_7 +30901136*VV538_bit_6 +61802272*VV538_bit_5 +123604544*VV538_bit_4 +247209088*VV538_bit_3 +494418176*VV538_bit_2 +988836352*VV538_bit_1 +1977672704*VV538_bit0 +3955345408*VV538_bit1 +7910690816*VV538_bit2 +15821381632*VV538_bit3 +31642763264*VV538_bit4 +63285526528*VV538_bit5 +126571053056*VV538_bit6 +253142106112*VV538_bit7 +506284212224*VV538_bit8 +1012568424448*VV538_bit9 +2025136848896*VV538_bit10 +4050273697792*VV538_bit11 +8100547395584*VV538_bit12 +16201094791168*VV538_bit13 +32402189582336*VV538_bit14 +64804379164672*VV538_bit15 +129608758329344*VV538_bit16 +259217516658688*VV538_bit17 +518435033317376*VV538_bit18 +1036870066634752*VV538_bit19 +1414214*VV539_bit_10 +2828428*VV539_bit_9 +5656856*VV539_bit_8 +11313712*VV539_bit_7 +22627424*VV539_bit_6 +45254848*VV539_bit_5 +90509696*VV539_bit_4 +181019392*VV539_bit_3 +362038784*VV539_bit_2 +724077568*VV539_bit_1 +1448155136*VV539_bit0 +2896310272*VV539_bit1 +5792620544*VV539_bit2 +11585241088*VV539_bit3 +23170482176*VV539_bit4 +46340964352*VV539_bit5 +92681928704*VV539_bit6 +185363857408*VV539_bit7 +370727714816*VV539_bit8 +741455429632*VV539_bit9 +1482910859264*VV539_bit10 +2965821718528*VV539_bit11 +5931643437056*VV539_bit12 +11863286874112*VV539_bit13 +23726573748224*VV539_bit14 +47453147496448*VV539_bit15 +94906294992896*VV539_bit16 +189812589985792*VV539_bit17 +379625179971584*VV539_bit18 +759250359943168*VV539_bit19 -2156386*VV540_bit_10 -4312772*VV540_bit_9 -8625544*VV540_bit_8 -17251088*VV540_bit_7 -34502176*VV540_bit_6 -69004352*VV540_bit_5 -138008704*VV540_bit_4 -276017408*VV540_bit_3 -552034816*VV540_bit_2 -1104069632*VV540_bit_1 -2208139264*VV540_bit0 -4416278528*VV540_bit1 -8832557056*VV540_bit2 -17665114112*VV540_bit3 -35330228224*VV540_bit4 -70660456448*VV540_bit5 -141320912896*VV540_bit6 -282641825792*VV540_bit7 -565283651584*VV540_bit8 >= +44825227059200;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-blend2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.956 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.75 0.91 0.89 2/54 11596
Raw data (stat): 11596 (runsolver) R 11595 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908484477 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+0.996895 s]
Raw data (loadavg): 0.75 0.91 0.89 1/53 11596
Raw data (stat): 11596 (runsolver) R 11595 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908484477 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 0

Child status: 0
Real time (s): 0.996615
CPU time (s): 0.972851
CPU user time (s): 0.881865
CPU system time (s): 0.090986
CPU usage (%): 97.6155
Max. virtual memory (Kb): 864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####