Some explanations

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

General information on the benchmark

Trace number 27117

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 19:39:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18227 boxname=wulflinc19 idbench=1403 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a940bff1d003826845b22f555cfd27b8  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-blend2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-blend2.opb
IDLAUNCH: 18227
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        413924 kB
Buffers:         20184 kB
Cached:         568924 kB
SwapCached:        520 kB
Active:          25628 kB
Inactive:       565868 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        413672 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            23388 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:39:11 (client local time) WITH STATUS 0 IN 0.625904 SECONDS
stats: 18227 7 0.625904 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +1763519*VV452_bit_7 +3527038*VV452_bit_6 +7054076*VV452_bit_5 +14108152*VV452_bit_4 +28216304*VV452_bit_3 +56432608*VV452_bit_2 +112865216*VV452_bit_1 +225730432*VV452_bit0 +451460864*VV452_bit1 +902921728*VV452_bit2 +1805843456*VV452_bit3 +3611686912*VV452_bit4 +7223373824*VV452_bit5 +14446747648*VV452_bit6 +28893495296*VV452_bit7 +57786990592*VV452_bit8 +115573981184*VV452_bit9 +231147962368*VV452_bit10 +462295924736*VV452_bit11 +924591849472*VV452_bit12 +1658312*VV453_bit_7 +3316624*VV453_bit_6 +6633248*VV453_bit_5 +13266496*VV453_bit_4 +26532992*VV453_bit_3 +53065984*VV453_bit_2 +106131968*VV453_bit_1 +212263936*VV453_bit0 +424527872*VV453_bit1 +849055744*VV453_bit2 +1698111488*VV453_bit3 +3396222976*VV453_bit4 +6792445952*VV453_bit5 +13584891904*VV453_bit6 +27169783808*VV453_bit7 +54339567616*VV453_bit8 +108679135232*VV453_bit9 +217358270464*VV453_bit10 +434716540928*VV453_bit11 +869433081856*VV453_bit12 +1830301*VV454_bit_7 +3660602*VV454_bit_6 +7321204*VV454_bit_5 +14642408*VV454_bit_4 +29284816*VV454_bit_3 +58569632*VV454_bit_2 +117139264*VV454_bit_1 +234278528*VV454_bit0 +468557056*VV454_bit1 +937114112*VV454_bit2 +1874228224*VV454_bit3 +3748456448*VV454_bit4 +7496912896*VV454_bit5 +14993825792*VV454_bit6 +29987651584*VV454_bit7 +59975303168*VV454_bit8 +119950606336*VV454_bit9 +239901212672*VV454_bit10 +479802425344*VV454_bit11 +959604850688*VV454_bit12 +1749286*VV455_bit_7 +3498572*VV455_bit_6 +6997144*VV455_bit_5 +13994288*VV455_bit_4 +27988576*VV455_bit_3 +55977152*VV455_bit_2 +111954304*VV455_bit_1 +223908608*VV455_bit0 +447817216*VV455_bit1 +895634432*VV455_bit2 +1791268864*VV455_bit3 +3582537728*VV455_bit4 +7165075456*VV455_bit5 +14330150912*VV455_bit6 +28660301824*VV455_bit7 +57320603648*VV455_bit8 +114641207296*VV455_bit9 +229282414592*VV455_bit10 +458564829184*VV455_bit11 +917129658368*VV455_bit12 +1649242*VV456_bit_7 +3298484*VV456_bit_6 +6596968*VV456_bit_5 +13193936*VV456_bit_4 +26387872*VV456_bit_3 +52775744*VV456_bit_2 +105551488*VV456_bit_1 +211102976*VV456_bit0 +422205952*VV456_bit1 +844411904*VV456_bit2 +1688823808*VV456_bit3 +3377647616*VV456_bit4 +6755295232*VV456_bit5 +13510590464*VV456_bit6 +27021180928*VV456_bit7 +54042361856*VV456_bit8 +108084723712*VV456_bit9 +216169447424*VV456_bit10 +432338894848*VV456_bit11 +864677789696*VV456_bit12 +1734935*VV457_bit_7 +3469870*VV457_bit_6 +6939740*VV457_bit_5 +13879480*VV457_bit_4 +27758960*VV457_bit_3 +55517920*VV457_bit_2 +111035840*VV457_bit_1 +222071680*VV457_bit0 +444143360*VV457_bit1 +888286720*VV457_bit2 +1776573440*VV457_bit3 +3553146880*VV457_bit4 +7106293760*VV457_bit5 +14212587520*VV457_bit6 +28425175040*VV457_bit7 +56850350080*VV457_bit8 +113700700160*VV457_bit9 +227401400320*VV457_bit10 +454802800640*VV457_bit11 +909605601280*VV457_bit12 +1581139*VV458_bit_7 +3162278*VV458_bit_6 +6324556*VV458_bit_5 +12649112*VV458_bit_4 +25298224*VV458_bit_3 +50596448*VV458_bit_2 +101192896*VV458_bit_1 +202385792*VV458_bit0 +404771584*VV458_bit1 +809543168*VV458_bit2 +1619086336*VV458_bit3 +3238172672*VV458_bit4 +6476345344*VV458_bit5 +12952690688*VV458_bit6 +25905381376*VV458_bit7 +51810762752*VV458_bit8 +103621525504*VV458_bit9 +207243051008*VV458_bit10 +414486102016*VV458_bit11 +828972204032*VV458_bit12 +1676305*VV459_bit_7 +3352610*VV459_bit_6 +6705220*VV459_bit_5 +13410440*VV459_bit_4 +26820880*VV459_bit_3 +53641760*VV459_bit_2 +107283520*VV459_bit_1 +214567040*VV459_bit0 +429134080*VV459_bit1 +858268160*VV459_bit2 +1716536320*VV459_bit3 +3433072640*VV459_bit4 +6866145280*VV459_bit5 +13732290560*VV459_bit6 +27464581120*VV459_bit7 +54929162240*VV459_bit8 +109858324480*VV459_bit9 +219716648960*VV459_bit10 +439433297920*VV459_bit11 +878866595840*VV459_bit12 +1740690*VV460_bit_7 +3481380*VV460_bit_6 +6962760*VV460_bit_5 +13925520*VV460_bit_4 +27851040*VV460_bit_3 +55702080*VV460_bit_2 +111404160*VV460_bit_1 +222808320*VV460_bit0 +445616640*VV460_bit1 +891233280*VV460_bit2 +1782466560*VV460_bit3 +3564933120*VV460_bit4 +7129866240*VV460_bit5 +14259732480*VV460_bit6 +28519464960*VV460_bit7 +57038929920*VV460_bit8 +114077859840*VV460_bit9 +228155719680*VV460_bit10 +456311439360*VV460_bit11 +912622878720*VV460_bit12 +1615549*VV461_bit_7 +3231098*VV461_bit_6 +6462196*VV461_bit_5 +12924392*VV461_bit_4 +25848784*VV461_bit_3 +51697568*VV461_bit_2 +103395136*VV461_bit_1 +206790272*VV461_bit0 +413580544*VV461_bit1 +827161088*VV461_bit2 +1654322176*VV461_bit3 +3308644352*VV461_bit4 +6617288704*VV461_bit5 +13234577408*VV461_bit6 +26469154816*VV461_bit7 +52938309632*VV461_bit8 +105876619264*VV461_bit9 +211753238528*VV461_bit10 +423506477056*VV461_bit11 +847012954112*VV461_bit12 +1959592*VV462_bit_7 +3919184*VV462_bit_6 +7838368*VV462_bit_5 +15676736*VV462_bit_4 +31353472*VV462_bit_3 +62706944*VV462_bit_2 +125413888*VV462_bit_1 +250827776*VV462_bit0 +501655552*VV462_bit1 +1003311104*VV462_bit2 +2006622208*VV462_bit3 +4013244416*VV462_bit4 +8026488832*VV462_bit5 +16052977664*VV462_bit6 +32105955328*VV462_bit7 +64211910656*VV462_bit8 +128423821312*VV462_bit9 +256847642624*VV462_bit10 +513695285248*VV462_bit11 +1027390570496*VV462_bit12 +1819341*VV463_bit_7 +3638682*VV463_bit_6 +7277364*VV463_bit_5 +14554728*VV463_bit_4 +29109456*VV463_bit_3 +58218912*VV463_bit_2 +116437824*VV463_bit_1 +232875648*VV463_bit0 +465751296*VV463_bit1 +931502592*VV463_bit2 +1863005184*VV463_bit3 +3726010368*VV463_bit4 +7452020736*VV463_bit5 +14904041472*VV463_bit6 +29808082944*VV463_bit7 +59616165888*VV463_bit8 +119232331776*VV463_bit9 +238464663552*VV463_bit10 +476929327104*VV463_bit11 +953858654208*VV463_bit12 +2118962*VV464_bit_7 +4237924*VV464_bit_6 +8475848*VV464_bit_5 +16951696*VV464_bit_4 +33903392*VV464_bit_3 +67806784*VV464_bit_2 +135613568*VV464_bit_1 +271227136*VV464_bit0 +542454272*VV464_bit1 +1084908544*VV464_bit2 +2169817088*VV464_bit3 +4339634176*VV464_bit4 +8679268352*VV464_bit5 +17358536704*VV464_bit6 +34717073408*VV464_bit7 +69434146816*VV464_bit8 +138868293632*VV464_bit9 +277736587264*VV464_bit10 +555473174528*VV464_bit11 +1110946349056*VV464_bit12 +1794436*VV465_bit_7 +3588872*VV465_bit_6 +7177744*VV465_bit_5 +14355488*VV465_bit_4 +28710976*VV465_bit_3 +57421952*VV465_bit_2 +114843904*VV465_bit_1 +229687808*VV465_bit0 +459375616*VV465_bit1 +918751232*VV465_bit2 +1837502464*VV465_bit3 +3675004928*VV465_bit4 +7350009856*VV465_bit5 +14700019712*VV465_bit6 +29400039424*VV465_bit7 +58800078848*VV465_bit8 +117600157696*VV465_bit9 +235200315392*VV465_bit10 +470400630784*VV465_bit11 +940801261568*VV465_bit12 +1581139*VV466_bit_7 +3162278*VV466_bit_6 +6324556*VV466_bit_5 +12649112*VV466_bit_4 +25298224*VV466_bit_3 +50596448*VV466_bit_2 +101192896*VV466_bit_1 +202385792*VV466_bit0 +404771584*VV466_bit1 +809543168*VV466_bit2 +1619086336*VV466_bit3 +3238172672*VV466_bit4 +6476345344*VV466_bit5 +12952690688*VV466_bit6 +25905381376*VV466_bit7 +51810762752*VV466_bit8 +103621525504*VV466_bit9 +207243051008*VV466_bit10 +414486102016*VV466_bit11 +828972204032*VV466_bit12 +1615549*VV467_bit_7 +3231098*VV467_bit_6 +6462196*VV467_bit_5 +12924392*VV467_bit_4 +25848784*VV467_bit_3 +51697568*VV467_bit_2 +103395136*VV467_bit_1 +206790272*VV467_bit0 +413580544*VV467_bit1 +827161088*VV467_bit2 +1654322176*VV467_bit3 +3308644352*VV467_bit4 +6617288704*VV467_bit5 +13234577408*VV467_bit6 +26469154816*VV467_bit7 +52938309632*VV467_bit8 +105876619264*VV467_bit9 +211753238528*VV467_bit10 +423506477056*VV467_bit11 +847012954112*VV467_bit12 +1673320*VV468_bit_7 +3346640*VV468_bit_6 +6693280*VV468_bit_5 +13386560*VV468_bit_4 +26773120*VV468_bit_3 +53546240*VV468_bit_2 +107092480*VV468_bit_1 +214184960*VV468_bit0 +428369920*VV468_bit1 +856739840*VV468_bit2 +1713479680*VV468_bit3 +3426959360*VV468_bit4 +6853918720*VV468_bit5 +13707837440*VV468_bit6 +27415674880*VV468_bit7 +54831349760*VV468_bit8 +109662699520*VV468_bit9 +219325399040*VV468_bit10 +438650798080*VV468_bit11 +877301596160*VV468_bit12 +1734935*VV469_bit_7 +3469870*VV469_bit_6 +6939740*VV469_bit_5 +13879480*VV469_bit_4 +27758960*VV469_bit_3 +55517920*VV469_bit_2 +111035840*VV469_bit_1 +222071680*VV469_bit0 +444143360*VV469_bit1 +888286720*VV469_bit2 +1776573440*VV469_bit3 +3553146880*VV469_bit4 +7106293760*VV469_bit5 +14212587520*VV469_bit6 +28425175040*VV469_bit7 +56850350080*VV469_bit8 +113700700160*VV469_bit9 +227401400320*VV469_bit10 +454802800640*VV469_bit11 +909605601280*VV469_bit12 +1612452*VV470_bit_7 +3224904*VV470_bit_6 +6449808*VV470_bit_5 +12899616*VV470_bit_4 +25799232*VV470_bit_3 +51598464*VV470_bit_2 +103196928*VV470_bit_1 +206393856*VV470_bit0 +412787712*VV470_bit1 +825575424*VV470_bit2 +1651150848*VV470_bit3 +3302301696*VV470_bit4 +6604603392*VV470_bit5 +13209206784*VV470_bit6 +26418413568*VV470_bit7 +52836827136*VV470_bit8 +105673654272*VV470_bit9 +211347308544*VV470_bit10 +422694617088*VV470_bit11 +845389234176*VV470_bit12 +1691153*VV471_bit_7 +3382306*VV471_bit_6 +6764612*VV471_bit_5 +13529224*VV471_bit_4 +27058448*VV471_bit_3 +54116896*VV471_bit_2 +108233792*VV471_bit_1 +216467584*VV471_bit0 +432935168*VV471_bit1 +865870336*VV471_bit2 +1731740672*VV471_bit3 +3463481344*VV471_bit4 +6926962688*VV471_bit5 +13853925376*VV471_bit6 +27707850752*VV471_bit7 +55415701504*VV471_bit8 +110831403008*VV471_bit9 +221662806016*VV471_bit10 +443325612032*VV471_bit11 +886651224064*VV471_bit12 +2551470*VV472_bit_7 +5102940*VV472_bit_6 +10205880*VV472_bit_5 +20411760*VV472_bit_4 +40823520*VV472_bit_3 +81647040*VV472_bit_2 +163294080*VV472_bit_1 +326588160*VV472_bit0 +653176320*VV472_bit1 +1306352640*VV472_bit2 +2612705280*VV472_bit3 +5225410560*VV472_bit4 +10450821120*VV472_bit5 +20901642240*VV472_bit6 +41803284480*VV472_bit7 +83606568960*VV472_bit8 +167213137920*VV472_bit9 +334426275840*VV472_bit10 +668852551680*VV472_bit11 +1337705103360*VV472_bit12 +1852026*VV473_bit_7 +3704052*VV473_bit_6 +7408104*VV473_bit_5 +14816208*VV473_bit_4 +29632416*VV473_bit_3 +59264832*VV473_bit_2 +118529664*VV473_bit_1 +237059328*VV473_bit0 +474118656*VV473_bit1 +948237312*VV473_bit2 +1896474624*VV473_bit3 +3792949248*VV473_bit4 +7585898496*VV473_bit5 +15171796992*VV473_bit6 +30343593984*VV473_bit7 +60687187968*VV473_bit8 +121374375936*VV473_bit9 +242748751872*VV473_bit10 +485497503744*VV473_bit11 +970995007488*VV473_bit12 +2204541*VV474_bit_7 +4409082*VV474_bit_6 +8818164*VV474_bit_5 +17636328*VV474_bit_4 +35272656*VV474_bit_3 +70545312*VV474_bit_2 +141090624*VV474_bit_1 +282181248*VV474_bit0 +564362496*VV474_bit1 +1128724992*VV474_bit2 +2257449984*VV474_bit3 +4514899968*VV474_bit4 +9029799936*VV474_bit5 +18059599872*VV474_bit6 +36119199744*VV474_bit7 +72238399488*VV474_bit8 +144476798976*VV474_bit9 +288953597952*VV474_bit10 +577907195904*VV474_bit11 +1155814391808*VV474_bit12 +1926136*VV475_bit_7 +3852272*VV475_bit_6 +7704544*VV475_bit_5 +15409088*VV475_bit_4 +30818176*VV475_bit_3 +61636352*VV475_bit_2 +123272704*VV475_bit_1 +246545408*VV475_bit0 +493090816*VV475_bit1 +986181632*VV475_bit2 +1972363264*VV475_bit3 +3944726528*VV475_bit4 +7889453056*VV475_bit5 +15778906112*VV475_bit6 +31557812224*VV475_bit7 +63115624448*VV475_bit8 +126231248896*VV475_bit9 +252462497792*VV475_bit10 +504924995584*VV475_bit11 +1009849991168*VV475_bit12 +1777639*VV476_bit_7 +3555278*VV476_bit_6 +7110556*VV476_bit_5 +14221112*VV476_bit_4 +28442224*VV476_bit_3 +56884448*VV476_bit_2 +113768896*VV476_bit_1 +227537792*VV476_bit0 +455075584*VV476_bit1 +910151168*VV476_bit2 +1820302336*VV476_bit3 +3640604672*VV476_bit4 +7281209344*VV476_bit5 +14562418688*VV476_bit6 +29124837376*VV476_bit7 +58249674752*VV476_bit8 +116499349504*VV476_bit9 +232998699008*VV476_bit10 +465997398016*VV476_bit11 +931994796032*VV476_bit12 +2063977*VV477_bit_7 +4127954*VV477_bit_6 +8255908*VV477_bit_5 +16511816*VV477_bit_4 +33023632*VV477_bit_3 +66047264*VV477_bit_2 +132094528*VV477_bit_1 +264189056*VV477_bit0 +528378112*VV477_bit1 +1056756224*VV477_bit2 +2113512448*VV477_bit3 +4227024896*VV477_bit4 +8454049792*VV477_bit5 +16908099584*VV477_bit6 +33816199168*VV477_bit7 +67632398336*VV477_bit8 +135264796672*VV477_bit9 +270529593344*VV477_bit10 +541059186688*VV477_bit11 +1082118373376*VV477_bit12 +1673320*VV478_bit_7 +3346640*VV478_bit_6 +6693280*VV478_bit_5 +13386560*VV478_bit_4 +26773120*VV478_bit_3 +53546240*VV478_bit_2 +107092480*VV478_bit_1 +214184960*VV478_bit0 +428369920*VV478_bit1 +856739840*VV478_bit2 +1713479680*VV478_bit3 +3426959360*VV478_bit4 +6853918720*VV478_bit5 +13707837440*VV478_bit6 +27415674880*VV478_bit7 +54831349760*VV478_bit8 +109662699520*VV478_bit9 +219325399040*VV478_bit10 +438650798080*VV478_bit11 +877301596160*VV478_bit12 +2190890*VV479_bit_7 +4381780*VV479_bit_6 +8763560*VV479_bit_5 +17527120*VV479_bit_4 +35054240*VV479_bit_3 +70108480*VV479_bit_2 +140216960*VV479_bit_1 +280433920*VV479_bit0 +560867840*VV479_bit1 +1121735680*VV479_bit2 +2243471360*VV479_bit3 +4486942720*VV479_bit4 +8973885440*VV479_bit5 +17947770880*VV479_bit6 +35895541760*VV479_bit7 +71791083520*VV479_bit8 +143582167040*VV479_bit9 +287164334080*VV479_bit10 +574328668160*VV479_bit11 +1148657336320*VV479_bit12 +2022375*VV480_bit_7 +4044750*VV480_bit_6 +8089500*VV480_bit_5 +16179000*VV480_bit_4 +32358000*VV480_bit_3 +64716000*VV480_bit_2 +129432000*VV480_bit_1 +258864000*VV480_bit0 +517728000*VV480_bit1 +1035456000*VV480_bit2 +2070912000*VV480_bit3 +4141824000*VV480_bit4 +8283648000*VV480_bit5 +16567296000*VV480_bit6 +33134592000*VV480_bit7 +66269184000*VV480_bit8 +132538368000*VV480_bit9 +265076736000*VV480_bit10 +530153472000*VV480_bit11 +1060306944000*VV480_bit12 +2193171*VV481_bit_7 +4386342*VV481_bit_6 +8772684*VV481_bit_5 +17545368*VV481_bit_4 +35090736*VV481_bit_3 +70181472*VV481_bit_2 +140362944*VV481_bit_1 +280725888*VV481_bit0 +561451776*VV481_bit1 +1122903552*VV481_bit2 +2245807104*VV481_bit3 +4491614208*VV481_bit4 +8983228416*VV481_bit5 +17966456832*VV481_bit6 +35932913664*VV481_bit7 +71865827328*VV481_bit8 +143731654656*VV481_bit9 +287463309312*VV481_bit10 +574926618624*VV481_bit11 +1149853237248*VV481_bit12 +2453569*VV482_bit_7 +4907138*VV482_bit_6 +9814276*VV482_bit_5 +19628552*VV482_bit_4 +39257104*VV482_bit_3 +78514208*VV482_bit_2 +157028416*VV482_bit_1 +314056832*VV482_bit0 +628113664*VV482_bit1 +1256227328*VV482_bit2 +2512454656*VV482_bit3 +5024909312*VV482_bit4 +10049818624*VV482_bit5 +20099637248*VV482_bit6 +40199274496*VV482_bit7 +80398548992*VV482_bit8 +160797097984*VV482_bit9 +321594195968*VV482_bit10 +643188391936*VV482_bit11 +1286376783872*VV482_bit12 +2569047*VV483_bit_7 +5138094*VV483_bit_6 +10276188*VV483_bit_5 +20552376*VV483_bit_4 +41104752*VV483_bit_3 +82209504*VV483_bit_2 +164419008*VV483_bit_1 +328838016*VV483_bit0 +657676032*VV483_bit1 +1315352064*VV483_bit2 +2630704128*VV483_bit3 +5261408256*VV483_bit4 +10522816512*VV483_bit5 +21045633024*VV483_bit6 +42091266048*VV483_bit7 +84182532096*VV483_bit8 +168365064192*VV483_bit9 +336730128384*VV483_bit10 +673460256768*VV483_bit11 +1346920513536*VV483_bit12 +2032240*VV484_bit_7 +4064480*VV484_bit_6 +8128960*VV484_bit_5 +16257920*VV484_bit_4 +32515840*VV484_bit_3 +65031680*VV484_bit_2 +130063360*VV484_bit_1 +260126720*VV484_bit0 +520253440*VV484_bit1 +1040506880*VV484_bit2 +2081013760*VV484_bit3 +4162027520*VV484_bit4 +8324055040*VV484_bit5 +16648110080*VV484_bit6 +33296220160*VV484_bit7 +66592440320*VV484_bit8 +133184880640*VV484_bit9 +266369761280*VV484_bit10 +532739522560*VV484_bit11 +1065479045120*VV484_bit12 +2140093*VV485_bit_7 +4280186*VV485_bit_6 +8560372*VV485_bit_5 +17120744*VV485_bit_4 +34241488*VV485_bit_3 +68482976*VV485_bit_2 +136965952*VV485_bit_1 +273931904*VV485_bit0 +547863808*VV485_bit1 +1095727616*VV485_bit2 +2191455232*VV485_bit3 +4382910464*VV485_bit4 +8765820928*VV485_bit5 +17531641856*VV485_bit6 +35063283712*VV485_bit7 +70126567424*VV485_bit8 +140253134848*VV485_bit9 +280506269696*VV485_bit10 +561012539392*VV485_bit11 +1122025078784*VV485_bit12 +1923538*VV486_bit_7 +3847076*VV486_bit_6 +7694152*VV486_bit_5 +15388304*VV486_bit_4 +30776608*VV486_bit_3 +61553216*VV486_bit_2 +123106432*VV486_bit_1 +246212864*VV486_bit0 +492425728*VV486_bit1 +984851456*VV486_bit2 +1969702912*VV486_bit3 +3939405824*VV486_bit4 +7878811648*VV486_bit5 +15757623296*VV486_bit6 +31515246592*VV486_bit7 +63030493184*VV486_bit8 +126060986368*VV486_bit9 +252121972736*VV486_bit10 +504243945472*VV486_bit11 +1008487890944*VV486_bit12 +2218107*VV487_bit_7 +4436214*VV487_bit_6 +8872428*VV487_bit_5 +17744856*VV487_bit_4 +35489712*VV487_bit_3 +70979424*VV487_bit_2 +141958848*VV487_bit_1 +283917696*VV487_bit0 +567835392*VV487_bit1 +1135670784*VV487_bit2 +2271341568*VV487_bit3 +4542683136*VV487_bit4 +9085366272*VV487_bit5 +18170732544*VV487_bit6 +36341465088*VV487_bit7 +72682930176*VV487_bit8 +145365860352*VV487_bit9 +290731720704*VV487_bit10 +581463441408*VV487_bit11 +1162926882816*VV487_bit12 +1918333*VV488_bit_7 +3836666*VV488_bit_6 +7673332*VV488_bit_5 +15346664*VV488_bit_4 +30693328*VV488_bit_3 +61386656*VV488_bit_2 +122773312*VV488_bit_1 +245546624*VV488_bit0 +491093248*VV488_bit1 +982186496*VV488_bit2 +1964372992*VV488_bit3 +3928745984*VV488_bit4 +7857491968*VV488_bit5 +15714983936*VV488_bit6 +31429967872*VV488_bit7 +62859935744*VV488_bit8 +125719871488*VV488_bit9 +251439742976*VV488_bit10 +502879485952*VV488_bit11 +1005758971904*VV488_bit12 +1752142*VV489_bit_7 +3504284*VV489_bit_6 +7008568*VV489_bit_5 +14017136*VV489_bit_4 +28034272*VV489_bit_3 +56068544*VV489_bit_2 +112137088*VV489_bit_1 +224274176*VV489_bit0 +448548352*VV489_bit1 +897096704*VV489_bit2 +1794193408*VV489_bit3 +3588386816*VV489_bit4 +7176773632*VV489_bit5 +14353547264*VV489_bit6 +28707094528*VV489_bit7 +57414189056*VV489_bit8 +114828378112*VV489_bit9 +229656756224*VV489_bit10 +459313512448*VV489_bit11 +918627024896*VV489_bit12 +1881489*VV490_bit_7 +3762978*VV490_bit_6 +7525956*VV490_bit_5 +15051912*VV490_bit_4 +30103824*VV490_bit_3 +60207648*VV490_bit_2 +120415296*VV490_bit_1 +240830592*VV490_bit0 +481661184*VV490_bit1 +963322368*VV490_bit2 +1926644736*VV490_bit3 +3853289472*VV490_bit4 +7706578944*VV490_bit5 +15413157888*VV490_bit6 +30826315776*VV490_bit7 +61652631552*VV490_bit8 +123305263104*VV490_bit9 +246610526208*VV490_bit10 +493221052416*VV490_bit11 +986442104832*VV490_bit12 +2078461*VV491_bit_7 +4156922*VV491_bit_6 +8313844*VV491_bit_5 +16627688*VV491_bit_4 +33255376*VV491_bit_3 +66510752*VV491_bit_2 +133021504*VV491_bit_1 +266043008*VV491_bit0 +532086016*VV491_bit1 +1064172032*VV491_bit2 +2128344064*VV491_bit3 +4256688128*VV491_bit4 +8513376256*VV491_bit5 +17026752512*VV491_bit6 +34053505024*VV491_bit7 +68107010048*VV491_bit8 +136214020096*VV491_bit9 +272428040192*VV491_bit10 +544856080384*VV491_bit11 +1089712160768*VV491_bit12 +2184033*VV492_bit_7 +4368066*VV492_bit_6 +8736132*VV492_bit_5 +17472264*VV492_bit_4 +34944528*VV492_bit_3 +69889056*VV492_bit_2 +139778112*VV492_bit_1 +279556224*VV492_bit0 +559112448*VV492_bit1 +1118224896*VV492_bit2 +2236449792*VV492_bit3 +4472899584*VV492_bit4 +8945799168*VV492_bit5 +17891598336*VV492_bit6 +35783196672*VV492_bit7 +71566393344*VV492_bit8 +143132786688*VV492_bit9 +286265573376*VV492_bit10 +572531146752*VV492_bit11 +1145062293504*VV492_bit12 +2362202*VV493_bit_7 +4724404*VV493_bit_6 +9448808*VV493_bit_5 +18897616*VV493_bit_4 +37795232*VV493_bit_3 +75590464*VV493_bit_2 +151180928*VV493_bit_1 +302361856*VV493_bit0 +604723712*VV493_bit1 +1209447424*VV493_bit2 +2418894848*VV493_bit3 +4837789696*VV493_bit4 +9675579392*VV493_bit5 +19351158784*VV493_bit6 +38702317568*VV493_bit7 +77404635136*VV493_bit8 +154809270272*VV493_bit9 +309618540544*VV493_bit10 +619237081088*VV493_bit11 +1238474162176*VV493_bit12 +2278157*VV494_bit_7 +4556314*VV494_bit_6 +9112628*VV494_bit_5 +18225256*VV494_bit_4 +36450512*VV494_bit_3 +72901024*VV494_bit_2 +145802048*VV494_bit_1 +291604096*VV494_bit0 +583208192*VV494_bit1 +1166416384*VV494_bit2 +2332832768*VV494_bit3 +4665665536*VV494_bit4 +9331331072*VV494_bit5 +18662662144*VV494_bit6 +37325324288*VV494_bit7 +74650648576*VV494_bit8 +149301297152*VV494_bit9 +298602594304*VV494_bit10 +597205188608*VV494_bit11 +1194410377216*VV494_bit12 +2366432*VV495_bit_7 +4732864*VV495_bit_6 +9465728*VV495_bit_5 +18931456*VV495_bit_4 +37862912*VV495_bit_3 +75725824*VV495_bit_2 +151451648*VV495_bit_1 +302903296*VV495_bit0 +605806592*VV495_bit1 +1211613184*VV495_bit2 +2423226368*VV495_bit3 +4846452736*VV495_bit4 +9692905472*VV495_bit5 +19385810944*VV495_bit6 +38771621888*VV495_bit7 +77543243776*VV495_bit8 +155086487552*VV495_bit9 +310172975104*VV495_bit10 +620345950208*VV495_bit11 +1240691900416*VV495_bit12 +2289105*VV496_bit_7 +4578210*VV496_bit_6 +9156420*VV496_bit_5 +18312840*VV496_bit_4 +36625680*VV496_bit_3 +73251360*VV496_bit_2 +146502720*VV496_bit_1 +293005440*VV496_bit0 +586010880*VV496_bit1 +1172021760*VV496_bit2 +2344043520*VV496_bit3 +4688087040*VV496_bit4 +9376174080*VV496_bit5 +18752348160*VV496_bit6 +37504696320*VV496_bit7 +75009392640*VV496_bit8 +150018785280*VV496_bit9 +300037570560*VV496_bit10 +600075141120*VV496_bit11 +1200150282240*VV496_bit12 +2000000*VV497_bit_7 +4000000*VV497_bit_6 +8000000*VV497_bit_5 +16000000*VV497_bit_4 +32000000*VV497_bit_3 +64000000*VV497_bit_2 +128000000*VV497_bit_1 +256000000*VV497_bit0 +512000000*VV497_bit1 +1024000000*VV497_bit2 +2048000000*VV497_bit3 +4096000000*VV497_bit4 +8192000000*VV497_bit5 +16384000000*VV497_bit6 +32768000000*VV497_bit7 +65536000000*VV497_bit8 +131072000000*VV497_bit9 +262144000000*VV497_bit10 +524288000000*VV497_bit11 +1048576000000*VV497_bit12 +2039608*VV498_bit_7 +4079216*VV498_bit_6 +8158432*VV498_bit_5 +16316864*VV498_bit_4 +32633728*VV498_bit_3 +65267456*VV498_bit_2 +130534912*VV498_bit_1 +261069824*VV498_bit0 +522139648*VV498_bit1 +1044279296*VV498_bit2 +2088558592*VV498_bit3 +4177117184*VV498_bit4 +8354234368*VV498_bit5 +16708468736*VV498_bit6 +33416937472*VV498_bit7 +66833874944*VV498_bit8 +133667749888*VV498_bit9 +267335499776*VV498_bit10 +534670999552*VV498_bit11 +1069341999104*VV498_bit12 +2142429*VV499_bit_7 +4284858*VV499_bit_6 +8569716*VV499_bit_5 +17139432*VV499_bit_4 +34278864*VV499_bit_3 +68557728*VV499_bit_2 +137115456*VV499_bit_1 +274230912*VV499_bit0 +548461824*VV499_bit1 +1096923648*VV499_bit2 +2193847296*VV499_bit3 +4387694592*VV499_bit4 +8775389184*VV499_bit5 +17550778368*VV499_bit6 +35101556736*VV499_bit7 +70203113472*VV499_bit8 +140406226944*VV499_bit9 +280812453888*VV499_bit10 +561624907776*VV499_bit11 +1123249815552*VV499_bit12 +2319483*VV500_bit_7 +4638966*VV500_bit_6 +9277932*VV500_bit_5 +18555864*VV500_bit_4 +37111728*VV500_bit_3 +74223456*VV500_bit_2 +148446912*VV500_bit_1 +296893824*VV500_bit0 +593787648*VV500_bit1 +1187575296*VV500_bit2 +2375150592*VV500_bit3 +4750301184*VV500_bit4 +9500602368*VV500_bit5 +19001204736*VV500_bit6 +38002409472*VV500_bit7 +76004818944*VV500_bit8 +152009637888*VV500_bit9 +304019275776*VV500_bit10 +608038551552*VV500_bit11 +1216077103104*VV500_bit12 +2304344*VV501_bit_7 +4608688*VV501_bit_6 +9217376*VV501_bit_5 +18434752*VV501_bit_4 +36869504*VV501_bit_3 +73739008*VV501_bit_2 +147478016*VV501_bit_1 +294956032*VV501_bit0 +589912064*VV501_bit1 +1179824128*VV501_bit2 +2359648256*VV501_bit3 +4719296512*VV501_bit4 +9438593024*VV501_bit5 +18877186048*VV501_bit6 +37754372096*VV501_bit7 +75508744192*VV501_bit8 +151017488384*VV501_bit9 +302034976768*VV501_bit10 +604069953536*VV501_bit11 +1208139907072*VV501_bit12 +2220360*VV502_bit_7 +4440720*VV502_bit_6 +8881440*VV502_bit_5 +17762880*VV502_bit_4 +35525760*VV502_bit_3 +71051520*VV502_bit_2 +142103040*VV502_bit_1 +284206080*VV502_bit0 +568412160*VV502_bit1 +1136824320*VV502_bit2 +2273648640*VV502_bit3 +4547297280*VV502_bit4 +9094594560*VV502_bit5 +18189189120*VV502_bit6 +36378378240*VV502_bit7 +72756756480*VV502_bit8 +145513512960*VV502_bit9 +291027025920*VV502_bit10 +582054051840*VV502_bit11 +1164108103680*VV502_bit12 +2489980*VV503_bit_7 +4979960*VV503_bit_6 +9959920*VV503_bit_5 +19919840*VV503_bit_4 +39839680*VV503_bit_3 +79679360*VV503_bit_2 +159358720*VV503_bit_1 +318717440*VV503_bit0 +637434880*VV503_bit1 +1274869760*VV503_bit2 +2549739520*VV503_bit3 +5099479040*VV503_bit4 +10198958080*VV503_bit5 +20397916160*VV503_bit6 +40795832320*VV503_bit7 +81591664640*VV503_bit8 +163183329280*VV503_bit9 +326366658560*VV503_bit10 +652733317120*VV503_bit11 +1305466634240*VV503_bit12 +2565151*VV504_bit_7 +5130302*VV504_bit_6 +10260604*VV504_bit_5 +20521208*VV504_bit_4 +41042416*VV504_bit_3 +82084832*VV504_bit_2 +164169664*VV504_bit_1 +328339328*VV504_bit0 +656678656*VV504_bit1 +1313357312*VV504_bit2 +2626714624*VV504_bit3 +5253429248*VV504_bit4 +10506858496*VV504_bit5 +21013716992*VV504_bit6 +42027433984*VV504_bit7 +84054867968*VV504_bit8 +168109735936*VV504_bit9 +336219471872*VV504_bit10 +672438943744*VV504_bit11 +1344877887488*VV504_bit12 +2673948*VV505_bit_7 +5347896*VV505_bit_6 +10695792*VV505_bit_5 +21391584*VV505_bit_4 +42783168*VV505_bit_3 +85566336*VV505_bit_2 +171132672*VV505_bit_1 +342265344*VV505_bit0 +684530688*VV505_bit1 +1369061376*VV505_bit2 +2738122752*VV505_bit3 +5476245504*VV505_bit4 +10952491008*VV505_bit5 +21904982016*VV505_bit6 +43809964032*VV505_bit7 +87619928064*VV505_bit8 +175239856128*VV505_bit9 +350479712256*VV505_bit10 +700959424512*VV505_bit11 +1401918849024*VV505_bit12 +1545962*VV506_bit_7 +3091924*VV506_bit_6 +6183848*VV506_bit_5 +12367696*VV506_bit_4 +24735392*VV506_bit_3 +49470784*VV506_bit_2 +98941568*VV506_bit_1 +197883136*VV506_bit0 +395766272*VV506_bit1 +791532544*VV506_bit2 +1583065088*VV506_bit3 +3166130176*VV506_bit4 +6332260352*VV506_bit5 +12664520704*VV506_bit6 +25329041408*VV506_bit7 +50658082816*VV506_bit8 +101316165632*VV506_bit9 +202632331264*VV506_bit10 +405264662528*VV506_bit11 +810529325056*VV506_bit12 +2000000*VV507_bit_7 +4000000*VV507_bit_6 +8000000*VV507_bit_5 +16000000*VV507_bit_4 +32000000*VV507_bit_3 +64000000*VV507_bit_2 +128000000*VV507_bit_1 +256000000*VV507_bit0 +512000000*VV507_bit1 +1024000000*VV507_bit2 +2048000000*VV507_bit3 +4096000000*VV507_bit4 +8192000000*VV507_bit5 +16384000000*VV507_bit6 +32768000000*VV507_bit7 +65536000000*VV507_bit8 +131072000000*VV507_bit9 +262144000000*VV507_bit10 +524288000000*VV507_bit11 +1048576000000*VV507_bit12 +2211334*VV508_bit_7 +4422668*VV508_bit_6 +8845336*VV508_bit_5 +17690672*VV508_bit_4 +35381344*VV508_bit_3 +70762688*VV508_bit_2 +141525376*VV508_bit_1 +283050752*VV508_bit0 +566101504*VV508_bit1 +1132203008*VV508_bit2 +2264406016*VV508_bit3 +4528812032*VV508_bit4 +9057624064*VV508_bit5 +18115248128*VV508_bit6 +36230496256*VV508_bit7 +72460992512*VV508_bit8 +144921985024*VV508_bit9 +289843970048*VV508_bit10 +579687940096*VV508_bit11 +1159375880192*VV508_bit12 +2453569*VV509_bit_7 +4907138*VV509_bit_6 +9814276*VV509_bit_5 +19628552*VV509_bit_4 +39257104*VV509_bit_3 +78514208*VV509_bit_2 +157028416*VV509_bit_1 +314056832*VV509_bit0 +628113664*VV509_bit1 +1256227328*VV509_bit2 +2512454656*VV509_bit3 +5024909312*VV509_bit4 +10049818624*VV509_bit5 +20099637248*VV509_bit6 +40199274496*VV509_bit7 +80398548992*VV509_bit8 +160797097984*VV509_bit9 +321594195968*VV509_bit10 +643188391936*VV509_bit11 +1286376783872*VV509_bit12 +2485961*VV510_bit_7 +4971922*VV510_bit_6 +9943844*VV510_bit_5 +19887688*VV510_bit_4 +39775376*VV510_bit_3 +79550752*VV510_bit_2 +159101504*VV510_bit_1 +318203008*VV510_bit0 +636406016*VV510_bit1 +1272812032*VV510_bit2 +2545624064*VV510_bit3 +5091248128*VV510_bit4 +10182496256*VV510_bit5 +20364992512*VV510_bit6 +40729985024*VV510_bit7 +81459970048*VV510_bit8 +162919940096*VV510_bit9 +325839880192*VV510_bit10 +651679760384*VV510_bit11 +1303359520768*VV510_bit12 +2611513*VV511_bit_7 +5223026*VV511_bit_6 +10446052*VV511_bit_5 +20892104*VV511_bit_4 +41784208*VV511_bit_3 +83568416*VV511_bit_2 +167136832*VV511_bit_1 +334273664*VV511_bit0 +668547328*VV511_bit1 +1337094656*VV511_bit2 +2674189312*VV511_bit3 +5348378624*VV511_bit4 +10696757248*VV511_bit5 +21393514496*VV511_bit6 +42787028992*VV511_bit7 +85574057984*VV511_bit8 +171148115968*VV511_bit9 +342296231936*VV511_bit10 +684592463872*VV511_bit11 +1369184927744*VV511_bit12 +2605763*VV512_bit_7 +5211526*VV512_bit_6 +10423052*VV512_bit_5 +20846104*VV512_bit_4 +41692208*VV512_bit_3 +83384416*VV512_bit_2 +166768832*VV512_bit_1 +333537664*VV512_bit0 +667075328*VV512_bit1 +1334150656*VV512_bit2 +2668301312*VV512_bit3 +5336602624*VV512_bit4 +10673205248*VV512_bit5 +21346410496*VV512_bit6 +42692820992*VV512_bit7 +85385641984*VV512_bit8 +170771283968*VV512_bit9 +341542567936*VV512_bit10 +683085135872*VV512_bit11 +1366170271744*VV512_bit12 +2447448*VV513_bit_7 +4894896*VV513_bit_6 +9789792*VV513_bit_5 +19579584*VV513_bit_4 +39159168*VV513_bit_3 +78318336*VV513_bit_2 +156636672*VV513_bit_1 +313273344*VV513_bit0 +626546688*VV513_bit1 +1253093376*VV513_bit2 +2506186752*VV513_bit3 +5012373504*VV513_bit4 +10024747008*VV513_bit5 +20049494016*VV513_bit6 +40098988032*VV513_bit7 +80197976064*VV513_bit8 +160395952128*VV513_bit9 +320791904256*VV513_bit10 +641583808512*VV513_bit11 +1283167617024*VV513_bit12 +2416609*VV514_bit_7 +4833218*VV514_bit_6 +9666436*VV514_bit_5 +19332872*VV514_bit_4 +38665744*VV514_bit_3 +77331488*VV514_bit_2 +154662976*VV514_bit_1 +309325952*VV514_bit0 +618651904*VV514_bit1 +1237303808*VV514_bit2 +2474607616*VV514_bit3 +4949215232*VV514_bit4 +9898430464*VV514_bit5 +19796860928*VV514_bit6 +39593721856*VV514_bit7 +79187443712*VV514_bit8 +158374887424*VV514_bit9 +316749774848*VV514_bit10 +633499549696*VV514_bit11 +1266999099392*VV514_bit12 +2039608*VV515_bit_7 +4079216*VV515_bit_6 +8158432*VV515_bit_5 +16316864*VV515_bit_4 +32633728*VV515_bit_3 +65267456*VV515_bit_2 +130534912*VV515_bit_1 +261069824*VV515_bit0 +522139648*VV515_bit1 +1044279296*VV515_bit2 +2088558592*VV515_bit3 +4177117184*VV515_bit4 +8354234368*VV515_bit5 +16708468736*VV515_bit6 +33416937472*VV515_bit7 +66833874944*VV515_bit8 +133667749888*VV515_bit9 +267335499776*VV515_bit10 +534670999552*VV515_bit11 +1069341999104*VV515_bit12 +2280351*VV516_bit_7 +4560702*VV516_bit_6 +9121404*VV516_bit_5 +18242808*VV516_bit_4 +36485616*VV516_bit_3 +72971232*VV516_bit_2 +145942464*VV516_bit_1 +291884928*VV516_bit0 +583769856*VV516_bit1 +1167539712*VV516_bit2 +2335079424*VV516_bit3 +4670158848*VV516_bit4 +9340317696*VV516_bit5 +18680635392*VV516_bit6 +37361270784*VV516_bit7 +74722541568*VV516_bit8 +149445083136*VV516_bit9 +298890166272*VV516_bit10 +597780332544*VV516_bit11 +1195560665088*VV516_bit12 +1841195*VV517_bit_7 +3682390*VV517_bit_6 +7364780*VV517_bit_5 +14729560*VV517_bit_4 +29459120*VV517_bit_3 +58918240*VV517_bit_2 +117836480*VV517_bit_1 +235672960*VV517_bit0 +471345920*VV517_bit1 +942691840*VV517_bit2 +1885383680*VV517_bit3 +3770767360*VV517_bit4 +7541534720*VV517_bit5 +15083069440*VV517_bit6 +30166138880*VV517_bit7 +60332277760*VV517_bit8 +120664555520*VV517_bit9 +241329111040*VV517_bit10 +482658222080*VV517_bit11 +965316444160*VV517_bit12 +1500000*VV518_bit_7 +3000000*VV518_bit_6 +6000000*VV518_bit_5 +12000000*VV518_bit_4 +24000000*VV518_bit_3 +48000000*VV518_bit_2 +96000000*VV518_bit_1 +192000000*VV518_bit0 +384000000*VV518_bit1 +768000000*VV518_bit2 +1536000000*VV518_bit3 +3072000000*VV518_bit4 +6144000000*VV518_bit5 +12288000000*VV518_bit6 +24576000000*VV518_bit7 +49152000000*VV518_bit8 +98304000000*VV518_bit9 +196608000000*VV518_bit10 +393216000000*VV518_bit11 +786432000000*VV518_bit12 +1664332*VV519_bit_7 +3328664*VV519_bit_6 +6657328*VV519_bit_5 +13314656*VV519_bit_4 +26629312*VV519_bit_3 +53258624*VV519_bit_2 +106517248*VV519_bit_1 +213034496*VV519_bit0 +426068992*VV519_bit1 +852137984*VV519_bit2 +1704275968*VV519_bit3 +3408551936*VV519_bit4 +6817103872*VV519_bit5 +13634207744*VV519_bit6 +27268415488*VV519_bit7 +54536830976*VV519_bit8 +109073661952*VV519_bit9 +218147323904*VV519_bit10 +436294647808*VV519_bit11 +872589295616*VV519_bit12 +2063977*VV520_bit_7 +4127954*VV520_bit_6 +8255908*VV520_bit_5 +16511816*VV520_bit_4 +33023632*VV520_bit_3 +66047264*VV520_bit_2 +132094528*VV520_bit_1 +264189056*VV520_bit0 +528378112*VV520_bit1 +1056756224*VV520_bit2 +2113512448*VV520_bit3 +4227024896*VV520_bit4 +8454049792*VV520_bit5 +16908099584*VV520_bit6 +33816199168*VV520_bit7 +67632398336*VV520_bit8 +135264796672*VV520_bit9 +270529593344*VV520_bit10 +541059186688*VV520_bit11 +1082118373376*VV520_bit12 +2190890*VV521_bit_7 +4381780*VV521_bit_6 +8763560*VV521_bit_5 +17527120*VV521_bit_4 +35054240*VV521_bit_3 +70108480*VV521_bit_2 +140216960*VV521_bit_1 +280433920*VV521_bit0 +560867840*VV521_bit1 +1121735680*VV521_bit2 +2243471360*VV521_bit3 +4486942720*VV521_bit4 +8973885440*VV521_bit5 +17947770880*VV521_bit6 +35895541760*VV521_bit7 +71791083520*VV521_bit8 +143582167040*VV521_bit9 +287164334080*VV521_bit10 +574328668160*VV521_bit11 +1148657336320*VV521_bit12 +1941649*VV522_bit_7 +3883298*VV522_bit_6 +7766596*VV522_bit_5 +15533192*VV522_bit_4 +31066384*VV522_bit_3 +62132768*VV522_bit_2 +124265536*VV522_bit_1 +248531072*VV522_bit0 +497062144*VV522_bit1 +994124288*VV522_bit2 +1988248576*VV522_bit3 +3976497152*VV522_bit4 +7952994304*VV522_bit5 +15905988608*VV522_bit6 +31811977216*VV522_bit7 +63623954432*VV522_bit8 +127247908864*VV522_bit9 +254495817728*VV522_bit10 +508991635456*VV522_bit11 +1017983270912*VV522_bit12 +2000000*VV523_bit_7 +4000000*VV523_bit_6 +8000000*VV523_bit_5 +16000000*VV523_bit_4 +32000000*VV523_bit_3 +64000000*VV523_bit_2 +128000000*VV523_bit_1 +256000000*VV523_bit0 +512000000*VV523_bit1 +1024000000*VV523_bit2 +2048000000*VV523_bit3 +4096000000*VV523_bit4 +8192000000*VV523_bit5 +16384000000*VV523_bit6 +32768000000*VV523_bit7 +65536000000*VV523_bit8 +131072000000*VV523_bit9 +262144000000*VV523_bit10 +524288000000*VV523_bit11 +1048576000000*VV523_bit12 +2238303*VV524_bit_7 +4476606*VV524_bit_6 +8953212*VV524_bit_5 +17906424*VV524_bit_4 +35812848*VV524_bit_3 +71625696*VV524_bit_2 +143251392*VV524_bit_1 +286502784*VV524_bit0 +573005568*VV524_bit1 +1146011136*VV524_bit2 +2292022272*VV524_bit3 +4584044544*VV524_bit4 +9168089088*VV524_bit5 +18336178176*VV524_bit6 +36672356352*VV524_bit7 +73344712704*VV524_bit8 +146689425408*VV524_bit9 +293378850816*VV524_bit10 +586757701632*VV524_bit11 +1173515403264*VV524_bit12 +2227106*VV525_bit_7 +4454212*VV525_bit_6 +8908424*VV525_bit_5 +17816848*VV525_bit_4 +35633696*VV525_bit_3 +71267392*VV525_bit_2 +142534784*VV525_bit_1 +285069568*VV525_bit0 +570139136*VV525_bit1 +1140278272*VV525_bit2 +2280556544*VV525_bit3 +4561113088*VV525_bit4 +9122226176*VV525_bit5 +18244452352*VV525_bit6 +36488904704*VV525_bit7 +72977809408*VV525_bit8 +145955618816*VV525_bit9 +291911237632*VV525_bit10 +583822475264*VV525_bit11 +1167644950528*VV525_bit12 +2416609*VV526_bit_7 +4833218*VV526_bit_6 +9666436*VV526_bit_5 +19332872*VV526_bit_4 +38665744*VV526_bit_3 +77331488*VV526_bit_2 +154662976*VV526_bit_1 +309325952*VV526_bit0 +618651904*VV526_bit1 +1237303808*VV526_bit2 +2474607616*VV526_bit3 +4949215232*VV526_bit4 +9898430464*VV526_bit5 +19796860928*VV526_bit6 +39593721856*VV526_bit7 +79187443712*VV526_bit8 +158374887424*VV526_bit9 +316749774848*VV526_bit10 +633499549696*VV526_bit11 +1266999099392*VV526_bit12 +2624881*VV527_bit_7 +5249762*VV527_bit_6 +10499524*VV527_bit_5 +20999048*VV527_bit_4 +41998096*VV527_bit_3 +83996192*VV527_bit_2 +167992384*VV527_bit_1 +335984768*VV527_bit0 +671969536*VV527_bit1 +1343939072*VV527_bit2 +2687878144*VV527_bit3 +5375756288*VV527_bit4 +10751512576*VV527_bit5 +21503025152*VV527_bit6 +43006050304*VV527_bit7 +86012100608*VV527_bit8 +172024201216*VV527_bit9 +344048402432*VV527_bit10 +688096804864*VV527_bit11 +1376193609728*VV527_bit12 +2673948*VV528_bit_7 +5347896*VV528_bit_6 +10695792*VV528_bit_5 +21391584*VV528_bit_4 +42783168*VV528_bit_3 +85566336*VV528_bit_2 +171132672*VV528_bit_1 +342265344*VV528_bit0 +684530688*VV528_bit1 +1369061376*VV528_bit2 +2738122752*VV528_bit3 +5476245504*VV528_bit4 +10952491008*VV528_bit5 +21904982016*VV528_bit6 +43809964032*VV528_bit7 +87619928064*VV528_bit8 +175239856128*VV528_bit9 +350479712256*VV528_bit10 +700959424512*VV528_bit11 +1401918849024*VV528_bit12 +2572936*VV529_bit_7 +5145872*VV529_bit_6 +10291744*VV529_bit_5 +20583488*VV529_bit_4 +41166976*VV529_bit_3 +82333952*VV529_bit_2 +164667904*VV529_bit_1 +329335808*VV529_bit0 +658671616*VV529_bit1 +1317343232*VV529_bit2 +2634686464*VV529_bit3 +5269372928*VV529_bit4 +10538745856*VV529_bit5 +21077491712*VV529_bit6 +42154983424*VV529_bit7 +84309966848*VV529_bit8 +168619933696*VV529_bit9 +337239867392*VV529_bit10 +674479734784*VV529_bit11 +1348959469568*VV529_bit12 +1609348*VV530_bit_7 +3218696*VV530_bit_6 +6437392*VV530_bit_5 +12874784*VV530_bit_4 +25749568*VV530_bit_3 +51499136*VV530_bit_2 +102998272*VV530_bit_1 +205996544*VV530_bit0 +411993088*VV530_bit1 +823986176*VV530_bit2 +1647972352*VV530_bit3 +3295944704*VV530_bit4 +6591889408*VV530_bit5 +13183778816*VV530_bit6 +26367557632*VV530_bit7 +52735115264*VV530_bit8 +105470230528*VV530_bit9 +210940461056*VV530_bit10 +421880922112*VV530_bit11 +843761844224*VV530_bit12 +2090454*VV531_bit_7 +4180908*VV531_bit_6 +8361816*VV531_bit_5 +16723632*VV531_bit_4 +33447264*VV531_bit_3 +66894528*VV531_bit_2 +133789056*VV531_bit_1 +267578112*VV531_bit0 +535156224*VV531_bit1 +1070312448*VV531_bit2 +2140624896*VV531_bit3 +4281249792*VV531_bit4 +8562499584*VV531_bit5 +17124999168*VV531_bit6 +34249998336*VV531_bit7 +68499996672*VV531_bit8 +136999993344*VV531_bit9 +273999986688*VV531_bit10 +547999973376*VV531_bit11 +1095999946752*VV531_bit12 +2244994*VV532_bit_7 +4489988*VV532_bit_6 +8979976*VV532_bit_5 +17959952*VV532_bit_4 +35919904*VV532_bit_3 +71839808*VV532_bit_2 +143679616*VV532_bit_1 +287359232*VV532_bit0 +574718464*VV532_bit1 +1149436928*VV532_bit2 +2298873856*VV532_bit3 +4597747712*VV532_bit4 +9195495424*VV532_bit5 +18390990848*VV532_bit6 +36781981696*VV532_bit7 +73563963392*VV532_bit8 +147127926784*VV532_bit9 +294255853568*VV532_bit10 +588511707136*VV532_bit11 +1177023414272*VV532_bit12 +2135416*VV533_bit_7 +4270832*VV533_bit_6 +8541664*VV533_bit_5 +17083328*VV533_bit_4 +34166656*VV533_bit_3 +68333312*VV533_bit_2 +136666624*VV533_bit_1 +273333248*VV533_bit0 +546666496*VV533_bit1 +1093332992*VV533_bit2 +2186665984*VV533_bit3 +4373331968*VV533_bit4 +8746663936*VV533_bit5 +17493327872*VV533_bit6 +34986655744*VV533_bit7 +69973311488*VV533_bit8 +139946622976*VV533_bit9 +279893245952*VV533_bit10 +559786491904*VV533_bit11 +1119572983808*VV533_bit12 +2381176*VV534_bit_7 +4762352*VV534_bit_6 +9524704*VV534_bit_5 +19049408*VV534_bit_4 +38098816*VV534_bit_3 +76197632*VV534_bit_2 +152395264*VV534_bit_1 +304790528*VV534_bit0 +609581056*VV534_bit1 +1219162112*VV534_bit2 +2438324224*VV534_bit3 +4876648448*VV534_bit4 +9753296896*VV534_bit5 +19506593792*VV534_bit6 +39013187584*VV534_bit7 +78026375168*VV534_bit8 +156052750336*VV534_bit9 +312105500672*VV534_bit10 +624211001344*VV534_bit11 +1248422002688*VV534_bit12 +2600000*VV535_bit_7 +5200000*VV535_bit_6 +10400000*VV535_bit_5 +20800000*VV535_bit_4 +41600000*VV535_bit_3 +83200000*VV535_bit_2 +166400000*VV535_bit_1 +332800000*VV535_bit0 +665600000*VV535_bit1 +1331200000*VV535_bit2 +2662400000*VV535_bit3 +5324800000*VV535_bit4 +10649600000*VV535_bit5 +21299200000*VV535_bit6 +42598400000*VV535_bit7 +85196800000*VV535_bit8 +170393600000*VV535_bit9 +340787200000*VV535_bit10 +681574400000*VV535_bit11 +1363148800000*VV535_bit12 +2437212*VV536_bit_7 +4874424*VV536_bit_6 +9748848*VV536_bit_5 +19497696*VV536_bit_4 +38995392*VV536_bit_3 +77990784*VV536_bit_2 +155981568*VV536_bit_1 +311963136*VV536_bit0 +623926272*VV536_bit1 +1247852544*VV536_bit2 +2495705088*VV536_bit3 +4991410176*VV536_bit4 +9982820352*VV536_bit5 +19965640704*VV536_bit6 +39931281408*VV536_bit7 +79862562816*VV536_bit8 +159725125632*VV536_bit9 +319450251264*VV536_bit10 +638900502528*VV536_bit11 +1277801005056*VV536_bit12 +2059126*VV537_bit_7 +4118252*VV537_bit_6 +8236504*VV537_bit_5 +16473008*VV537_bit_4 +32946016*VV537_bit_3 +65892032*VV537_bit_2 +131784064*VV537_bit_1 +263568128*VV537_bit0 +527136256*VV537_bit1 +1054272512*VV537_bit2 +2108545024*VV537_bit3 +4217090048*VV537_bit4 +8434180096*VV537_bit5 +16868360192*VV537_bit6 +33736720384*VV537_bit7 +67473440768*VV537_bit8 +134946881536*VV537_bit9 +269893763072*VV537_bit10 +539787526144*VV537_bit11 +1079575052288*VV537_bit12 +1931321*VV538_bit_7 +3862642*VV538_bit_6 +7725284*VV538_bit_5 +15450568*VV538_bit_4 +30901136*VV538_bit_3 +61802272*VV538_bit_2 +123604544*VV538_bit_1 +247209088*VV538_bit0 +494418176*VV538_bit1 +988836352*VV538_bit2 +1977672704*VV538_bit3 +3955345408*VV538_bit4 +7910690816*VV538_bit5 +15821381632*VV538_bit6 +31642763264*VV538_bit7 +63285526528*VV538_bit8 +126571053056*VV538_bit9 +253142106112*VV538_bit10 +506284212224*VV538_bit11 +1012568424448*VV538_bit12 +1414214*VV539_bit_7 +2828428*VV539_bit_6 +5656856*VV539_bit_5 +11313712*VV539_bit_4 +22627424*VV539_bit_3 +45254848*VV539_bit_2 +90509696*VV539_bit_1 +181019392*VV539_bit0 +362038784*VV539_bit1 +724077568*VV539_bit2 +1448155136*VV539_bit3 +2896310272*VV539_bit4 +5792620544*VV539_bit5 +11585241088*VV539_bit6 +23170482176*VV539_bit7 +46340964352*VV539_bit8 +92681928704*VV539_bit9 +185363857408*VV539_bit10 +370727714816*VV539_bit11 +741455429632*VV539_bit12 -2156386*VV540_bit_7 -4312772*VV540_bit_6 -8625544*VV540_bit_5 -17251088*VV540_bit_4 -34502176*VV540_bit_3 -69004352*VV540_bit_2 -138008704*VV540_bit_1 -276017408*VV540_bit0 -552034816*VV540_bit1 -1104069632*VV540_bit2 -2208139264*VV540_bit3 -4416278528*VV540_bit4 -8832557056*VV540_bit5 -17665114112*VV540_bit6 -35330228224*VV540_bit7 -70660456448*VV540_bit8 >= +5603153382400;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-blend2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.611 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.84 0.94 0.92 2/54 13882
Raw data (stat): 13882 (runsolver) R 13881 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832816736 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+0.647813 s]
Raw data (loadavg): 0.84 0.94 0.92 1/53 13882
Raw data (stat): 13882 (runsolver) R 13881 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832816736 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 0

Child status: 0
Real time (s): 0.647505
CPU time (s): 0.625904
CPU user time (s): 0.561914
CPU system time (s): 0.06399
CPU usage (%): 96.664
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####