Trace number 2673755

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (MO) 85.26 85.3143

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-lotfi.opb
MD5SUMc609a7262e604847d8434d132e2de9ed
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9240
Total number of constraints145
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints145
Minimum length of a constraint30
Maximum length of a constraint3990
Number of terms in the objective function 240
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 8589934584
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 5368709120000000000
Number of bits of the biggest number in a constraint 63
Biggest sum of numbers in a constraint 40952512476384971616
Number of bits of the biggest sum of numbers66
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3.38/3.44	c 9240 145 0 0 0 0 0 0
3.38/3.44	c 536870912 ~x68267+268435456 ~x68266+134217728 ~x68265+67108864 ~x68264+33554432 ~x68263+16777216 ~x68262+8388608 ~x68261+4194304 ~x68260+2097152 ~x68259+1048576 ~x68258+524288 ~x68257+262144 ~x68256+131072 ~x68255+65536 ~x68254+32768 ~x68253+16384 ~x68252+8192 ~x68251+4096 ~x68250+2048 ~x68249+1024 ~x68248+512 ~x68247+256 ~x68246+128 ~x68245+64 ~x68244+32 ~x68243+16 ~x68242+8 ~x68241+4 ~x68240+2 ~x68239+1 ~x68238+536870912 ~x3271+268435456 ~x3270+134217728 ~x3269+67108864 ~x3268+33554432 ~x3267+16777216 ~x3266+8388608 ~x3265+4194304 ~x3264+2097152 ~x3263+1048576 ~x3262+524288 ~x3261+262144 ~x3260+131072 ~x3259+65536 ~x3258+32768 ~x3257+16384 ~x3256+8192 ~x3255+4096 ~x3254+2048 ~x3253+1024 ~x3252+512 ~x3251+256 ~x3250+128 ~x3249+64 ~x3248+32 ~x3247+16 ~x3246+8 ~x3245+4 ~x3244+2 ~x3243+1 ~x3242+754974720 x1825+377487360 x1824+188743680 x1823+94371840 x1822+47185920 x1821+23592960 x1820+11796480 x1819+5898240 x1818+2949120 x1817+1474560 x1816+737280 x1815+368640 x1814+184320 x1813+92160 x1812+46080 x1811+23040 x1810+11520 x1809+5760 x1808+2880 x1807+1440 x1806+720 x1805+360 x1804+180 x1803+90 x1802-0=2147483646
3.98/4.08	c 536870912 ~x96303+268435456 ~x96302+134217728 ~x96301+67108864 ~x96300+33554432 ~x96299+16777216 ~x96298+8388608 ~x96297+4194304 ~x96296+2097152 ~x96295+1048576 ~x96294+524288 ~x96293+262144 ~x96292+131072 ~x96291+65536 ~x96290+32768 ~x96289+16384 ~x96288+8192 ~x96287+4096 ~x96286+2048 ~x96285+1024 ~x96284+512 ~x96283+256 ~x96282+128 ~x96281+64 ~x96280+32 ~x96279+16 ~x96278+8 ~x96277+4 ~x96276+2 ~x96275+1 ~x96274+536870912 ~x3301+268435456 ~x3300+134217728 ~x3299+67108864 ~x3298+33554432 ~x3297+16777216 ~x3296+8388608 ~x3295+4194304 ~x3294+2097152 ~x3293+1048576 ~x3292+524288 ~x3291+262144 ~x3290+131072 ~x3289+65536 ~x3288+32768 ~x3287+16384 ~x3286+8192 ~x3285+4096 ~x3284+2048 ~x3283+1024 ~x3282+512 ~x3281+256 ~x3280+128 ~x3279+64 ~x3278+32 ~x3277+16 ~x3276+8 ~x3275+4 ~x3274+2 ~x3273+1 ~x3272+754974720 x1856+377487360 x1855+188743680 x1854+94371840 x1853+47185920 x1852+23592960 x1851+11796480 x1850+5898240 x1849+2949120 x1848+1474560 x1847+737280 x1846+368640 x1845+184320 x1844+92160 x1843+46080 x1842+23040 x1841+11520 x1840+5760 x1839+2880 x1838+1440 x1837+720 x1836+360 x1835+180 x1834+90 x1833+45 x1832-0=2147483646
4.68/4.73	c 536870912 ~x124762+268435456 ~x124761+134217728 ~x124760+67108864 ~x124759+33554432 ~x124758+16777216 ~x124757+8388608 ~x124756+4194304 ~x124755+2097152 ~x124754+1048576 ~x124753+524288 ~x124752+262144 ~x124751+131072 ~x124750+65536 ~x124749+32768 ~x124748+16384 ~x124747+8192 ~x124746+4096 ~x124745+2048 ~x124744+1024 ~x124743+512 ~x124742+256 ~x124741+128 ~x124740+64 ~x124739+32 ~x124738+16 ~x124737+8 ~x124736+4 ~x124735+2 ~x124734+1 ~x124733+536870912 ~x3331+268435456 ~x3330+134217728 ~x3329+67108864 ~x3328+33554432 ~x3327+16777216 ~x3326+8388608 ~x3325+4194304 ~x3324+2097152 ~x3323+1048576 ~x3322+524288 ~x3321+262144 ~x3320+131072 ~x3319+65536 ~x3318+32768 ~x3317+16384 ~x3316+8192 ~x3315+4096 ~x3314+2048 ~x3313+1024 ~x3312+512 ~x3311+256 ~x3310+128 ~x3309+64 ~x3308+32 ~x3307+16 ~x3306+8 ~x3305+4 ~x3304+2 ~x3303+1 ~x3302+838860800 x1885+419430400 x1884+209715200 x1883+104857600 x1882+52428800 x1881+26214400 x1880+13107200 x1879+6553600 x1878+3276800 x1877+1638400 x1876+819200 x1875+409600 x1874+204800 x1873+102400 x1872+51200 x1871+25600 x1870+12800 x1869+6400 x1868+3200 x1867+1600 x1866+800 x1865+400 x1864+200 x1863+100 x1862-0=2147483646
5.29/5.38	c 1073741824 ~x152943+536870912 ~x152942+268435456 ~x152941+134217728 ~x152940+67108864 ~x152939+33554432 ~x152938+16777216 ~x152937+8388608 ~x152936+4194304 ~x152935+2097152 ~x152934+1048576 ~x152933+524288 ~x152932+262144 ~x152931+131072 ~x152930+65536 ~x152929+32768 ~x152928+16384 ~x152927+8192 ~x152926+4096 ~x152925+2048 ~x152924+1024 ~x152923+512 ~x152922+256 ~x152921+128 ~x152920+64 ~x152919+32 ~x152918+16 ~x152917+8 ~x152916+4 ~x152915+2 ~x152914+1 ~x152913+1073741824 ~x3361+536870912 ~x3360+268435456 ~x3359+134217728 ~x3358+67108864 ~x3357+33554432 ~x3356+16777216 ~x3355+8388608 ~x3354+4194304 ~x3353+2097152 ~x3352+1048576 ~x3351+524288 ~x3350+262144 ~x3349+131072 ~x3348+65536 ~x3347+32768 ~x3346+16384 ~x3345+8192 ~x3344+4096 ~x3343+2048 ~x3342+1024 ~x3341+512 ~x3340+256 ~x3339+128 ~x3338+64 ~x3337+32 ~x3336+16 ~x3335+8 ~x3334+4 ~x3333+2 ~x3332+1887436800 x1915+943718400 x1914+471859200 x1913+235929600 x1912+117964800 x1911+58982400 x1910+29491200 x1909+14745600 x1908+7372800 x1907+3686400 x1906+1843200 x1905+921600 x1904+460800 x1903+230400 x1902+115200 x1901+57600 x1900+28800 x1899+14400 x1898+7200 x1897+3600 x1896+1800 x1895+900 x1894+450 x1893+225 x1892-0=4294967293
6.09/6.15	c 536870912 ~x185744+268435456 ~x185743+134217728 ~x185742+67108864 ~x185741+33554432 ~x185740+16777216 ~x185739+8388608 ~x185738+4194304 ~x185737+2097152 ~x185736+1048576 ~x185735+524288 ~x185734+262144 ~x185733+131072 ~x185732+65536 ~x185731+32768 ~x185730+16384 ~x185729+8192 ~x185728+4096 ~x185727+2048 ~x185726+1024 ~x185725+512 ~x185724+256 ~x185723+128 ~x185722+64 ~x185721+32 ~x185720+16 ~x185719+8 ~x185718+4 ~x185717+2 ~x185716+1 ~x185715+536870912 ~x3391+268435456 ~x3390+134217728 ~x3389+67108864 ~x3388+33554432 ~x3387+16777216 ~x3386+8388608 ~x3385+4194304 ~x3384+2097152 ~x3383+1048576 ~x3382+524288 ~x3381+262144 ~x3380+131072 ~x3379+65536 ~x3378+32768 ~x3377+16384 ~x3376+8192 ~x3375+4096 ~x3374+2048 ~x3373+1024 ~x3372+512 ~x3371+256 ~x3370+128 ~x3369+64 ~x3368+32 ~x3367+16 ~x3366+8 ~x3365+4 ~x3364+2 ~x3363+1 ~x3362+587202560 x1945+293601280 x1944+146800640 x1943+73400320 x1942+36700160 x1941+18350080 x1940+9175040 x1939+4587520 x1938+2293760 x1937+1146880 x1936+573440 x1935+286720 x1934+143360 x1933+71680 x1932+35840 x1931+17920 x1930+8960 x1929+4480 x1928+2240 x1927+1120 x1926+560 x1925+280 x1924+140 x1923+70 x1922-0=2147483646
6.69/6.78	c 536870912 ~x213492+268435456 ~x213491+134217728 ~x213490+67108864 ~x213489+33554432 ~x213488+16777216 ~x213487+8388608 ~x213486+4194304 ~x213485+2097152 ~x213484+1048576 ~x213483+524288 ~x213482+262144 ~x213481+131072 ~x213480+65536 ~x213479+32768 ~x213478+16384 ~x213477+8192 ~x213476+4096 ~x213475+2048 ~x213474+1024 ~x213473+512 ~x213472+256 ~x213471+128 ~x213470+64 ~x213469+32 ~x213468+16 ~x213467+8 ~x213466+4 ~x213465+2 ~x213464+1 ~x213463+536870912 ~x3421+268435456 ~x3420+134217728 ~x3419+67108864 ~x3418+33554432 ~x3417+16777216 ~x3416+8388608 ~x3415+4194304 ~x3414+2097152 ~x3413+1048576 ~x3412+524288 ~x3411+262144 ~x3410+131072 ~x3409+65536 ~x3408+32768 ~x3407+16384 ~x3406+8192 ~x3405+4096 ~x3404+2048 ~x3403+1024 ~x3402+512 ~x3401+256 ~x3400+128 ~x3399+64 ~x3398+32 ~x3397+16 ~x3396+8 ~x3395+4 ~x3394+2 ~x3393+1 ~x3392+754974720 x1975+377487360 x1974+188743680 x1973+94371840 x1972+47185920 x1971+23592960 x1970+11796480 x1969+5898240 x1968+2949120 x1967+1474560 x1966+737280 x1965+368640 x1964+184320 x1963+92160 x1962+46080 x1961+23040 x1960+11520 x1959+5760 x1958+2880 x1957+1440 x1956+720 x1955+360 x1954+180 x1953+90 x1952-0=2147483646
7.38/7.42	c 536870912 ~x241528+268435456 ~x241527+134217728 ~x241526+67108864 ~x241525+33554432 ~x241524+16777216 ~x241523+8388608 ~x241522+4194304 ~x241521+2097152 ~x241520+1048576 ~x241519+524288 ~x241518+262144 ~x241517+131072 ~x241516+65536 ~x241515+32768 ~x241514+16384 ~x241513+8192 ~x241512+4096 ~x241511+2048 ~x241510+1024 ~x241509+512 ~x241508+256 ~x241507+128 ~x241506+64 ~x241505+32 ~x241504+16 ~x241503+8 ~x241502+4 ~x241501+2 ~x241500+1 ~x241499+536870912 ~x3451+268435456 ~x3450+134217728 ~x3449+67108864 ~x3448+33554432 ~x3447+16777216 ~x3446+8388608 ~x3445+4194304 ~x3444+2097152 ~x3443+1048576 ~x3442+524288 ~x3441+262144 ~x3440+131072 ~x3439+65536 ~x3438+32768 ~x3437+16384 ~x3436+8192 ~x3435+4096 ~x3434+2048 ~x3433+1024 ~x3432+512 ~x3431+256 ~x3430+128 ~x3429+64 ~x3428+32 ~x3427+16 ~x3426+8 ~x3425+4 ~x3424+2 ~x3423+1 ~x3422+754974720 x2005+377487360 x2004+188743680 x2003+94371840 x2002+47185920 x2001+23592960 x2000+11796480 x1999+5898240 x1998+2949120 x1997+1474560 x1996+737280 x1995+368640 x1994+184320 x1993+92160 x1992+46080 x1991+23040 x1990+11520 x1989+5760 x1988+2880 x1987+1440 x1986+720 x1985+360 x1984+180 x1983+90 x1982-0=2147483646
7.99/8.06	c 536870912 ~x269564+268435456 ~x269563+134217728 ~x269562+67108864 ~x269561+33554432 ~x269560+16777216 ~x269559+8388608 ~x269558+4194304 ~x269557+2097152 ~x269556+1048576 ~x269555+524288 ~x269554+262144 ~x269553+131072 ~x269552+65536 ~x269551+32768 ~x269550+16384 ~x269549+8192 ~x269548+4096 ~x269547+2048 ~x269546+1024 ~x269545+512 ~x269544+256 ~x269543+128 ~x269542+64 ~x269541+32 ~x269540+16 ~x269539+8 ~x269538+4 ~x269537+2 ~x269536+1 ~x269535+536870912 ~x3481+268435456 ~x3480+134217728 ~x3479+67108864 ~x3478+33554432 ~x3477+16777216 ~x3476+8388608 ~x3475+4194304 ~x3474+2097152 ~x3473+1048576 ~x3472+524288 ~x3471+262144 ~x3470+131072 ~x3469+65536 ~x3468+32768 ~x3467+16384 ~x3466+8192 ~x3465+4096 ~x3464+2048 ~x3463+1024 ~x3462+512 ~x3461+256 ~x3460+128 ~x3459+64 ~x3458+32 ~x3457+16 ~x3456+8 ~x3455+4 ~x3454+2 ~x3453+1 ~x3452+754974720 x2036+377487360 x2035+188743680 x2034+94371840 x2033+47185920 x2032+23592960 x2031+11796480 x2030+5898240 x2029+2949120 x2028+1474560 x2027+737280 x2026+368640 x2025+184320 x2024+92160 x2023+46080 x2022+23040 x2021+11520 x2020+5760 x2019+2880 x2018+1440 x2017+720 x2016+360 x2015+180 x2014+90 x2013+45 x2012-0=2147483646
8.69/8.71	c 536870912 ~x298023+268435456 ~x298022+134217728 ~x298021+67108864 ~x298020+33554432 ~x298019+16777216 ~x298018+8388608 ~x298017+4194304 ~x298016+2097152 ~x298015+1048576 ~x298014+524288 ~x298013+262144 ~x298012+131072 ~x298011+65536 ~x298010+32768 ~x298009+16384 ~x298008+8192 ~x298007+4096 ~x298006+2048 ~x298005+1024 ~x298004+512 ~x298003+256 ~x298002+128 ~x298001+64 ~x298000+32 ~x297999+16 ~x297998+8 ~x297997+4 ~x297996+2 ~x297995+1 ~x297994+536870912 ~x3511+268435456 ~x3510+134217728 ~x3509+67108864 ~x3508+33554432 ~x3507+16777216 ~x3506+8388608 ~x3505+4194304 ~x3504+2097152 ~x3503+1048576 ~x3502+524288 ~x3501+262144 ~x3500+131072 ~x3499+65536 ~x3498+32768 ~x3497+16384 ~x3496+8192 ~x3495+4096 ~x3494+2048 ~x3493+1024 ~x3492+512 ~x3491+256 ~x3490+128 ~x3489+64 ~x3488+32 ~x3487+16 ~x3486+8 ~x3485+4 ~x3484+2 ~x3483+1 ~x3482+838860800 x2065+419430400 x2064+209715200 x2063+104857600 x2062+52428800 x2061+26214400 x2060+13107200 x2059+6553600 x2058+3276800 x2057+1638400 x2056+819200 x2055+409600 x2054+204800 x2053+102400 x2052+51200 x2051+25600 x2050+12800 x2049+6400 x2048+3200 x2047+1600 x2046+800 x2045+400 x2044+200 x2043+100 x2042-0=2147483646
9.28/9.36	c 1073741824 ~x326204+536870912 ~x326203+268435456 ~x326202+134217728 ~x326201+67108864 ~x326200+33554432 ~x326199+16777216 ~x326198+8388608 ~x326197+4194304 ~x326196+2097152 ~x326195+1048576 ~x326194+524288 ~x326193+262144 ~x326192+131072 ~x326191+65536 ~x326190+32768 ~x326189+16384 ~x326188+8192 ~x326187+4096 ~x326186+2048 ~x326185+1024 ~x326184+512 ~x326183+256 ~x326182+128 ~x326181+64 ~x326180+32 ~x326179+16 ~x326178+8 ~x326177+4 ~x326176+2 ~x326175+1 ~x326174+1073741824 ~x3541+536870912 ~x3540+268435456 ~x3539+134217728 ~x3538+67108864 ~x3537+33554432 ~x3536+16777216 ~x3535+8388608 ~x3534+4194304 ~x3533+2097152 ~x3532+1048576 ~x3531+524288 ~x3530+262144 ~x3529+131072 ~x3528+65536 ~x3527+32768 ~x3526+16384 ~x3525+8192 ~x3524+4096 ~x3523+2048 ~x3522+1024 ~x3521+512 ~x3520+256 ~x3519+128 ~x3518+64 ~x3517+32 ~x3516+16 ~x3515+8 ~x3514+4 ~x3513+2 ~x3512+1887436800 x2095+943718400 x2094+471859200 x2093+235929600 x2092+117964800 x2091+58982400 x2090+29491200 x2089+14745600 x2088+7372800 x2087+3686400 x2086+1843200 x2085+921600 x2084+460800 x2083+230400 x2082+115200 x2081+57600 x2080+28800 x2079+14400 x2078+7200 x2077+3600 x2076+1800 x2075+900 x2074+450 x2073+225 x2072-0=4294967293
11.49/11.53	c 536870912 ~x421865+268435456 ~x421864+134217728 ~x421863+67108864 ~x421862+33554432 ~x421861+16777216 ~x421860+8388608 ~x421859+4194304 ~x421858+2097152 ~x421857+1048576 ~x421856+524288 ~x421855+262144 ~x421854+131072 ~x421853+65536 ~x421852+32768 ~x421851+16384 ~x421850+8192 ~x421849+4096 ~x421848+2048 ~x421847+1024 ~x421846+512 ~x421845+256 ~x421844+128 ~x421843+64 ~x421842+32 ~x421841+16 ~x421840+8 ~x421839+4 ~x421838+2 ~x421837+1 ~x421836+536870912 ~x3571+268435456 ~x3570+134217728 ~x3569+67108864 ~x3568+33554432 ~x3567+16777216 ~x3566+8388608 ~x3565+4194304 ~x3564+2097152 ~x3563+1048576 ~x3562+524288 ~x3561+262144 ~x3560+131072 ~x3559+65536 ~x3558+32768 ~x3557+16384 ~x3556+8192 ~x3555+4096 ~x3554+2048 ~x3553+1024 ~x3552+512 ~x3551+256 ~x3550+128 ~x3549+64 ~x3548+32 ~x3547+16 ~x3546+8 ~x3545+4 ~x3544+2 ~x3543+1 ~x3542+587202560 x2125+293601280 x2124+146800640 x2123+73400320 x2122+36700160 x2121+18350080 x2120+9175040 x2119+4587520 x2118+2293760 x2117+1146880 x2116+573440 x2115+286720 x2114+143360 x2113+71680 x2112+35840 x2111+17920 x2110+8960 x2109+4480 x2108+2240 x2107+1120 x2106+560 x2105+280 x2104+140 x2103+70 x2102-0=2147483646
12.09/12.16	c 536870912 ~x449613+268435456 ~x449612+134217728 ~x449611+67108864 ~x449610+33554432 ~x449609+16777216 ~x449608+8388608 ~x449607+4194304 ~x449606+2097152 ~x449605+1048576 ~x449604+524288 ~x449603+262144 ~x449602+131072 ~x449601+65536 ~x449600+32768 ~x449599+16384 ~x449598+8192 ~x449597+4096 ~x449596+2048 ~x449595+1024 ~x449594+512 ~x449593+256 ~x449592+128 ~x449591+64 ~x449590+32 ~x449589+16 ~x449588+8 ~x449587+4 ~x449586+2 ~x449585+1 ~x449584+536870912 ~x3601+268435456 ~x3600+134217728 ~x3599+67108864 ~x3598+33554432 ~x3597+16777216 ~x3596+8388608 ~x3595+4194304 ~x3594+2097152 ~x3593+1048576 ~x3592+524288 ~x3591+262144 ~x3590+131072 ~x3589+65536 ~x3588+32768 ~x3587+16384 ~x3586+8192 ~x3585+4096 ~x3584+2048 ~x3583+1024 ~x3582+512 ~x3581+256 ~x3580+128 ~x3579+64 ~x3578+32 ~x3577+16 ~x3576+8 ~x3575+4 ~x3574+2 ~x3573+1 ~x3572+754974720 x2155+377487360 x2154+188743680 x2153+94371840 x2152+47185920 x2151+23592960 x2150+11796480 x2149+5898240 x2148+2949120 x2147+1474560 x2146+737280 x2145+368640 x2144+184320 x2143+92160 x2142+46080 x2141+23040 x2140+11520 x2139+5760 x2138+2880 x2137+1440 x2136+720 x2135+360 x2134+180 x2133+90 x2132-0=2147483646
12.78/12.80	c 536870912 ~x477649+268435456 ~x477648+134217728 ~x477647+67108864 ~x477646+33554432 ~x477645+16777216 ~x477644+8388608 ~x477643+4194304 ~x477642+2097152 ~x477641+1048576 ~x477640+524288 ~x477639+262144 ~x477638+131072 ~x477637+65536 ~x477636+32768 ~x477635+16384 ~x477634+8192 ~x477633+4096 ~x477632+2048 ~x477631+1024 ~x477630+512 ~x477629+256 ~x477628+128 ~x477627+64 ~x477626+32 ~x477625+16 ~x477624+8 ~x477623+4 ~x477622+2 ~x477621+1 ~x477620+536870912 ~x3631+268435456 ~x3630+134217728 ~x3629+67108864 ~x3628+33554432 ~x3627+16777216 ~x3626+8388608 ~x3625+4194304 ~x3624+2097152 ~x3623+1048576 ~x3622+524288 ~x3621+262144 ~x3620+131072 ~x3619+65536 ~x3618+32768 ~x3617+16384 ~x3616+8192 ~x3615+4096 ~x3614+2048 ~x3613+1024 ~x3612+512 ~x3611+256 ~x3610+128 ~x3609+64 ~x3608+32 ~x3607+16 ~x3606+8 ~x3605+4 ~x3604+2 ~x3603+1 ~x3602+754974720 x2185+377487360 x2184+188743680 x2183+94371840 x2182+47185920 x2181+23592960 x2180+11796480 x2179+5898240 x2178+2949120 x2177+1474560 x2176+737280 x2175+368640 x2174+184320 x2173+92160 x2172+46080 x2171+23040 x2170+11520 x2169+5760 x2168+2880 x2167+1440 x2166+720 x2165+360 x2164+180 x2163+90 x2162-0=2147483646
13.38/13.44	c 536870912 ~x505685+268435456 ~x505684+134217728 ~x505683+67108864 ~x505682+33554432 ~x505681+16777216 ~x505680+8388608 ~x505679+4194304 ~x505678+2097152 ~x505677+1048576 ~x505676+524288 ~x505675+262144 ~x505674+131072 ~x505673+65536 ~x505672+32768 ~x505671+16384 ~x505670+8192 ~x505669+4096 ~x505668+2048 ~x505667+1024 ~x505666+512 ~x505665+256 ~x505664+128 ~x505663+64 ~x505662+32 ~x505661+16 ~x505660+8 ~x505659+4 ~x505658+2 ~x505657+1 ~x505656+536870912 ~x3661+268435456 ~x3660+134217728 ~x3659+67108864 ~x3658+33554432 ~x3657+16777216 ~x3656+8388608 ~x3655+4194304 ~x3654+2097152 ~x3653+1048576 ~x3652+524288 ~x3651+262144 ~x3650+131072 ~x3649+65536 ~x3648+32768 ~x3647+16384 ~x3646+8192 ~x3645+4096 ~x3644+2048 ~x3643+1024 ~x3642+512 ~x3641+256 ~x3640+128 ~x3639+64 ~x3638+32 ~x3637+16 ~x3636+8 ~x3635+4 ~x3634+2 ~x3633+1 ~x3632+754974720 x2216+377487360 x2215+188743680 x2214+94371840 x2213+47185920 x2212+23592960 x2211+11796480 x2210+5898240 x2209+2949120 x2208+1474560 x2207+737280 x2206+368640 x2205+184320 x2204+92160 x2203+46080 x2202+23040 x2201+11520 x2200+5760 x2199+2880 x2198+1440 x2197+720 x2196+360 x2195+180 x2194+90 x2193+45 x2192-0=2147483646
14.08/14.10	c 536870912 ~x534144+268435456 ~x534143+134217728 ~x534142+67108864 ~x534141+33554432 ~x534140+16777216 ~x534139+8388608 ~x534138+4194304 ~x534137+2097152 ~x534136+1048576 ~x534135+524288 ~x534134+262144 ~x534133+131072 ~x534132+65536 ~x534131+32768 ~x534130+16384 ~x534129+8192 ~x534128+4096 ~x534127+2048 ~x534126+1024 ~x534125+512 ~x534124+256 ~x534123+128 ~x534122+64 ~x534121+32 ~x534120+16 ~x534119+8 ~x534118+4 ~x534117+2 ~x534116+1 ~x534115+536870912 ~x3691+268435456 ~x3690+134217728 ~x3689+67108864 ~x3688+33554432 ~x3687+16777216 ~x3686+8388608 ~x3685+4194304 ~x3684+2097152 ~x3683+1048576 ~x3682+524288 ~x3681+262144 ~x3680+131072 ~x3679+65536 ~x3678+32768 ~x3677+16384 ~x3676+8192 ~x3675+4096 ~x3674+2048 ~x3673+1024 ~x3672+512 ~x3671+256 ~x3670+128 ~x3669+64 ~x3668+32 ~x3667+16 ~x3666+8 ~x3665+4 ~x3664+2 ~x3663+1 ~x3662+838860800 x2245+419430400 x2244+209715200 x2243+104857600 x2242+52428800 x2241+26214400 x2240+13107200 x2239+6553600 x2238+3276800 x2237+1638400 x2236+819200 x2235+409600 x2234+204800 x2233+102400 x2232+51200 x2231+25600 x2230+12800 x2229+6400 x2228+3200 x2227+1600 x2226+800 x2225+400 x2224+200 x2223+100 x2222-0=2147483646
14.68/14.74	c 1073741824 ~x562325+536870912 ~x562324+268435456 ~x562323+134217728 ~x562322+67108864 ~x562321+33554432 ~x562320+16777216 ~x562319+8388608 ~x562318+4194304 ~x562317+2097152 ~x562316+1048576 ~x562315+524288 ~x562314+262144 ~x562313+131072 ~x562312+65536 ~x562311+32768 ~x562310+16384 ~x562309+8192 ~x562308+4096 ~x562307+2048 ~x562306+1024 ~x562305+512 ~x562304+256 ~x562303+128 ~x562302+64 ~x562301+32 ~x562300+16 ~x562299+8 ~x562298+4 ~x562297+2 ~x562296+1 ~x562295+1073741824 ~x3721+536870912 ~x3720+268435456 ~x3719+134217728 ~x3718+67108864 ~x3717+33554432 ~x3716+16777216 ~x3715+8388608 ~x3714+4194304 ~x3713+2097152 ~x3712+1048576 ~x3711+524288 ~x3710+262144 ~x3709+131072 ~x3708+65536 ~x3707+32768 ~x3706+16384 ~x3705+8192 ~x3704+4096 ~x3703+2048 ~x3702+1024 ~x3701+512 ~x3700+256 ~x3699+128 ~x3698+64 ~x3697+32 ~x3696+16 ~x3695+8 ~x3694+4 ~x3693+2 ~x3692+1887436800 x2275+943718400 x2274+471859200 x2273+235929600 x2272+117964800 x2271+58982400 x2270+29491200 x2269+14745600 x2268+7372800 x2267+3686400 x2266+1843200 x2265+921600 x2264+460800 x2263+230400 x2262+115200 x2261+57600 x2260+28800 x2259+14400 x2258+7200 x2257+3600 x2256+1800 x2255+900 x2254+450 x2253+225 x2252-0=4294967293
15.39/15.49	c 536870912 ~x595126+268435456 ~x595125+134217728 ~x595124+67108864 ~x595123+33554432 ~x595122+16777216 ~x595121+8388608 ~x595120+4194304 ~x595119+2097152 ~x595118+1048576 ~x595117+524288 ~x595116+262144 ~x595115+131072 ~x595114+65536 ~x595113+32768 ~x595112+16384 ~x595111+8192 ~x595110+4096 ~x595109+2048 ~x595108+1024 ~x595107+512 ~x595106+256 ~x595105+128 ~x595104+64 ~x595103+32 ~x595102+16 ~x595101+8 ~x595100+4 ~x595099+2 ~x595098+1 ~x595097+536870912 ~x3751+268435456 ~x3750+134217728 ~x3749+67108864 ~x3748+33554432 ~x3747+16777216 ~x3746+8388608 ~x3745+4194304 ~x3744+2097152 ~x3743+1048576 ~x3742+524288 ~x3741+262144 ~x3740+131072 ~x3739+65536 ~x3738+32768 ~x3737+16384 ~x3736+8192 ~x3735+4096 ~x3734+2048 ~x3733+1024 ~x3732+512 ~x3731+256 ~x3730+128 ~x3729+64 ~x3728+32 ~x3727+16 ~x3726+8 ~x3725+4 ~x3724+2 ~x3723+1 ~x3722+587202560 x2305+293601280 x2304+146800640 x2303+73400320 x2302+36700160 x2301+18350080 x2300+9175040 x2299+4587520 x2298+2293760 x2297+1146880 x2296+573440 x2295+286720 x2294+143360 x2293+71680 x2292+35840 x2291+17920 x2290+8960 x2289+4480 x2288+2240 x2287+1120 x2286+560 x2285+280 x2284+140 x2283+70 x2282-0=2147483646
16.08/16.13	c 536870912 ~x622874+268435456 ~x622873+134217728 ~x622872+67108864 ~x622871+33554432 ~x622870+16777216 ~x622869+8388608 ~x622868+4194304 ~x622867+2097152 ~x622866+1048576 ~x622865+524288 ~x622864+262144 ~x622863+131072 ~x622862+65536 ~x622861+32768 ~x622860+16384 ~x622859+8192 ~x622858+4096 ~x622857+2048 ~x622856+1024 ~x622855+512 ~x622854+256 ~x622853+128 ~x622852+64 ~x622851+32 ~x622850+16 ~x622849+8 ~x622848+4 ~x622847+2 ~x622846+1 ~x622845+536870912 ~x3781+268435456 ~x3780+134217728 ~x3779+67108864 ~x3778+33554432 ~x3777+16777216 ~x3776+8388608 ~x3775+4194304 ~x3774+2097152 ~x3773+1048576 ~x3772+524288 ~x3771+262144 ~x3770+131072 ~x3769+65536 ~x3768+32768 ~x3767+16384 ~x3766+8192 ~x3765+4096 ~x3764+2048 ~x3763+1024 ~x3762+512 ~x3761+256 ~x3760+128 ~x3759+64 ~x3758+32 ~x3757+16 ~x3756+8 ~x3755+4 ~x3754+2 ~x3753+1 ~x3752+754974720 x2335+377487360 x2334+188743680 x2333+94371840 x2332+47185920 x2331+23592960 x2330+11796480 x2329+5898240 x2328+2949120 x2327+1474560 x2326+737280 x2325+368640 x2324+184320 x2323+92160 x2322+46080 x2321+23040 x2320+11520 x2319+5760 x2318+2880 x2317+1440 x2316+720 x2315+360 x2314+180 x2313+90 x2312-0=2147483646
16.68/16.77	c 536870912 ~x650910+268435456 ~x650909+134217728 ~x650908+67108864 ~x650907+33554432 ~x650906+16777216 ~x650905+8388608 ~x650904+4194304 ~x650903+2097152 ~x650902+1048576 ~x650901+524288 ~x650900+262144 ~x650899+131072 ~x650898+65536 ~x650897+32768 ~x650896+16384 ~x650895+8192 ~x650894+4096 ~x650893+2048 ~x650892+1024 ~x650891+512 ~x650890+256 ~x650889+128 ~x650888+64 ~x650887+32 ~x650886+16 ~x650885+8 ~x650884+4 ~x650883+2 ~x650882+1 ~x650881+536870912 ~x3811+268435456 ~x3810+134217728 ~x3809+67108864 ~x3808+33554432 ~x3807+16777216 ~x3806+8388608 ~x3805+4194304 ~x3804+2097152 ~x3803+1048576 ~x3802+524288 ~x3801+262144 ~x3800+131072 ~x3799+65536 ~x3798+32768 ~x3797+16384 ~x3796+8192 ~x3795+4096 ~x3794+2048 ~x3793+1024 ~x3792+512 ~x3791+256 ~x3790+128 ~x3789+64 ~x3788+32 ~x3787+16 ~x3786+8 ~x3785+4 ~x3784+2 ~x3783+1 ~x3782+754974720 x2365+377487360 x2364+188743680 x2363+94371840 x2362+47185920 x2361+23592960 x2360+11796480 x2359+5898240 x2358+2949120 x2357+1474560 x2356+737280 x2355+368640 x2354+184320 x2353+92160 x2352+46080 x2351+23040 x2350+11520 x2349+5760 x2348+2880 x2347+1440 x2346+720 x2345+360 x2344+180 x2343+90 x2342-0=2147483646
17.38/17.41	c 536870912 ~x678946+268435456 ~x678945+134217728 ~x678944+67108864 ~x678943+33554432 ~x678942+16777216 ~x678941+8388608 ~x678940+4194304 ~x678939+2097152 ~x678938+1048576 ~x678937+524288 ~x678936+262144 ~x678935+131072 ~x678934+65536 ~x678933+32768 ~x678932+16384 ~x678931+8192 ~x678930+4096 ~x678929+2048 ~x678928+1024 ~x678927+512 ~x678926+256 ~x678925+128 ~x678924+64 ~x678923+32 ~x678922+16 ~x678921+8 ~x678920+4 ~x678919+2 ~x678918+1 ~x678917+536870912 ~x3841+268435456 ~x3840+134217728 ~x3839+67108864 ~x3838+33554432 ~x3837+16777216 ~x3836+8388608 ~x3835+4194304 ~x3834+2097152 ~x3833+1048576 ~x3832+524288 ~x3831+262144 ~x3830+131072 ~x3829+65536 ~x3828+32768 ~x3827+16384 ~x3826+8192 ~x3825+4096 ~x3824+2048 ~x3823+1024 ~x3822+512 ~x3821+256 ~x3820+128 ~x3819+64 ~x3818+32 ~x3817+16 ~x3816+8 ~x3815+4 ~x3814+2 ~x3813+1 ~x3812+754974720 x2396+377487360 x2395+188743680 x2394+94371840 x2393+47185920 x2392+23592960 x2391+11796480 x2390+5898240 x2389+2949120 x2388+1474560 x2387+737280 x2386+368640 x2385+184320 x2384+92160 x2383+46080 x2382+23040 x2381+11520 x2380+5760 x2379+2880 x2378+1440 x2377+720 x2376+360 x2375+180 x2374+90 x2373+45 x2372-0=2147483646
19.38/19.47	c 8796093022208 ~x770279+4398046511104 ~x770278+2199023255552 ~x770277+1099511627776 ~x770276+549755813888 ~x770275+274877906944 ~x770274+137438953472 ~x770273+68719476736 ~x770272+34359738368 ~x770271+17179869184 ~x770270+8589934592 ~x770269+4294967296 ~x770268+2147483648 ~x770267+1073741824 ~x770266+536870912 ~x770265+268435456 ~x770264+134217728 ~x770263+67108864 ~x770262+33554432 ~x770261+16777216 ~x770260+8388608 ~x770259+4194304 ~x770258+2097152 ~x770257+1048576 ~x770256+524288 ~x770255+262144 ~x770254+131072 ~x770253+65536 ~x770252+32768 ~x770251+16384 ~x770250+8192 ~x770249+4096 ~x770248+2048 ~x770247+1024 ~x770246+512 ~x770245+256 ~x770244+128 ~x770243+64 ~x770242+32 ~x770241+16 ~x770240+8 ~x770239+4 ~x770238+2 ~x770237+1 ~x770236+8388608000000 ~x5101+4194304000000 ~x5100+2097152000000 ~x5099+1048576000000 ~x5098+524288000000 ~x5097+262144000000 ~x5096+131072000000 ~x5095+65536000000 ~x5094+32768000000 ~x5093+16384000000 ~x5092+8192000000 ~x5091+4096000000 ~x5090+2048000000 ~x5089+1024000000 ~x5088+512000000 ~x5087+256000000 ~x5086+128000000 ~x5085+64000000 ~x5084+32000000 ~x5083+16000000 ~x5082+8000000 ~x5081+4000000 ~x5080+2000000 ~x5079+1000000 ~x5078+500000 ~x5077+250000 ~x5076+125000 ~x5075+62500 ~x5074+31250 ~x5073+15625 ~x5072-0=34368275628886
20.28/20.38	c 17592186044416 ~x809315+8796093022208 ~x809314+4398046511104 ~x809313+2199023255552 ~x809312+1099511627776 ~x809311+549755813888 ~x809310+274877906944 ~x809309+137438953472 ~x809308+68719476736 ~x809307+34359738368 ~x809306+17179869184 ~x809305+8589934592 ~x809304+4294967296 ~x809303+2147483648 ~x809302+1073741824 ~x809301+536870912 ~x809300+268435456 ~x809299+134217728 ~x809298+67108864 ~x809297+33554432 ~x809296+16777216 ~x809295+8388608 ~x809294+4194304 ~x809293+2097152 ~x809292+1048576 ~x809291+524288 ~x809290+262144 ~x809289+131072 ~x809288+65536 ~x809287+32768 ~x809286+16384 ~x809285+8192 ~x809284+4096 ~x809283+2048 ~x809282+1024 ~x809281+512 ~x809280+256 ~x809279+128 ~x809278+64 ~x809277+32 ~x809276+16 ~x809275+8 ~x809274+4 ~x809273+2 ~x809272+1 ~x809271+8388608000000 ~x5821+4194304000000 ~x5820+2097152000000 ~x5819+1048576000000 ~x5818+524288000000 ~x5817+262144000000 ~x5816+131072000000 ~x5815+65536000000 ~x5814+32768000000 ~x5813+16384000000 ~x5812+8192000000 ~x5811+4096000000 ~x5810+2048000000 ~x5809+1024000000 ~x5808+512000000 ~x5807+256000000 ~x5806+128000000 ~x5805+64000000 ~x5804+32000000 ~x5803+16000000 ~x5802+8000000 ~x5801+4000000 ~x5800+2000000 ~x5799+1000000 ~x5798+500000 ~x5797+250000 ~x5796+125000 ~x5795+62500 ~x5794+31250 ~x5793+15625 ~x5792+8388608000000 ~x5461+4194304000000 ~x5460+2097152000000 ~x5459+1048576000000 ~x5458+524288000000 ~x5457+262144000000 ~x5456+131072000000 ~x5455+65536000000 ~x5454+32768000000 ~x5453+16384000000 ~x5452+8192000000 ~x5451+4096000000 ~x5450+2048000000 ~x5449+1024000000 ~x5448+512000000 ~x5447+256000000 ~x5446+128000000 ~x5445+64000000 ~x5444+32000000 ~x5443+16000000 ~x5442+8000000 ~x5441+4000000 ~x5440+2000000 ~x5439+1000000 ~x5438+500000 ~x5437+250000 ~x5436+125000 ~x5435+62500 ~x5434+31250 ~x5433+15625 ~x5432-0=68735002457725
21.57/21.68	c 8589934592 ~x866697+4294967296 ~x866696+2147483648 ~x866695+1073741824 ~x866694+536870912 ~x866693+268435456 ~x866692+134217728 ~x866691+67108864 ~x866690+33554432 ~x866689+16777216 ~x866688+8388608 ~x866687+4194304 ~x866686+2097152 ~x866685+1048576 ~x866684+524288 ~x866683+262144 ~x866682+131072 ~x866681+65536 ~x866680+32768 ~x866679+16384 ~x866678+8192 ~x866677+4096 ~x866676+2048 ~x866675+1024 ~x866674+512 ~x866673+256 ~x866672+128 ~x866671+64 ~x866670+32 ~x866669+16 ~x866668+8 ~x866667+4 ~x866666+2 ~x866665+1 ~x866664+2621440000 ~x6534+1310720000 ~x6533+655360000 ~x6532+327680000 ~x6531+163840000 ~x6530+81920000 ~x6529+40960000 ~x6528+20480000 ~x6527+10240000 ~x6526+5120000 ~x6525+2560000 ~x6524+1280000 ~x6523+640000 ~x6522+320000 ~x6521+160000 ~x6520+80000 ~x6519+40000 ~x6518+20000 ~x6517+10000 ~x6516+5000 ~x6515+2500 ~x6514+1250 ~x6513+625 ~x6512+2621440000 ~x6174+1310720000 ~x6173+655360000 ~x6172+327680000 ~x6171+163840000 ~x6170+81920000 ~x6169+40960000 ~x6168+20480000 ~x6167+10240000 ~x6166+5120000 ~x6165+2560000 ~x6164+1280000 ~x6163+640000 ~x6162+320000 ~x6161+160000 ~x6160+80000 ~x6159+40000 ~x6158+20000 ~x6157+10000 ~x6156+5000 ~x6155+2500 ~x6154+1250 ~x6153+625 ~x6152-0=26955996061
22.28/22.39	c 17179869184 ~x897821+8589934592 ~x897820+4294967296 ~x897819+2147483648 ~x897818+1073741824 ~x897817+536870912 ~x897816+268435456 ~x897815+134217728 ~x897814+67108864 ~x897813+33554432 ~x897812+16777216 ~x897811+8388608 ~x897810+4194304 ~x897809+2097152 ~x897808+1048576 ~x897807+524288 ~x897806+262144 ~x897805+131072 ~x897804+65536 ~x897803+32768 ~x897802+16384 ~x897801+8192 ~x897800+4096 ~x897799+2048 ~x897798+1024 ~x897797+512 ~x897796+256 ~x897795+128 ~x897794+64 ~x897793+32 ~x897792+16 ~x897791+8 ~x897790+4 ~x897789+2 ~x897788+1 ~x897787+5242880000 ~x7255+2621440000 ~x7254+1310720000 ~x7253+655360000 ~x7252+327680000 ~x7251+163840000 ~x7250+81920000 ~x7249+40960000 ~x7248+20480000 ~x7247+10240000 ~x7246+5120000 ~x7245+2560000 ~x7244+1280000 ~x7243+640000 ~x7242+320000 ~x7241+160000 ~x7240+80000 ~x7239+40000 ~x7238+20000 ~x7237+10000 ~x7236+5000 ~x7235+2500 ~x7234+1250 ~x7233+625 ~x7232+5242880000 ~x6895+2621440000 ~x6894+1310720000 ~x6893+655360000 ~x6892+327680000 ~x6891+163840000 ~x6890+81920000 ~x6889+40960000 ~x6888+20480000 ~x6887+10240000 ~x6886+5120000 ~x6885+2560000 ~x6884+1280000 ~x6883+640000 ~x6882+320000 ~x6881+160000 ~x6880+80000 ~x6879+40000 ~x6878+20000 ~x6877+10000 ~x6876+5000 ~x6875+2500 ~x6874+1250 ~x6873+625 ~x6872-0=53506489149
23.08/23.13	c 17179869184 ~x930217+8589934592 ~x930216+4294967296 ~x930215+2147483648 ~x930214+1073741824 ~x930213+536870912 ~x930212+268435456 ~x930211+134217728 ~x930210+67108864 ~x930209+33554432 ~x930208+16777216 ~x930207+8388608 ~x930206+4194304 ~x930205+2097152 ~x930204+1048576 ~x930203+524288 ~x930202+262144 ~x930201+131072 ~x930200+65536 ~x930199+32768 ~x930198+16384 ~x930197+8192 ~x930196+4096 ~x930195+2048 ~x930194+1024 ~x930193+512 ~x930192+256 ~x930191+128 ~x930190+64 ~x930189+32 ~x930188+16 ~x930187+8 ~x930186+4 ~x930185+2 ~x930184+1 ~x930183+5242880000 ~x7975+2621440000 ~x7974+1310720000 ~x7973+655360000 ~x7972+327680000 ~x7971+163840000 ~x7970+81920000 ~x7969+40960000 ~x7968+20480000 ~x7967+10240000 ~x7966+5120000 ~x7965+2560000 ~x7964+1280000 ~x7963+640000 ~x7962+320000 ~x7961+160000 ~x7960+80000 ~x7959+40000 ~x7958+20000 ~x7957+10000 ~x7956+5000 ~x7955+2500 ~x7954+1250 ~x7953+625 ~x7952+5242880000 ~x7615+2621440000 ~x7614+1310720000 ~x7613+655360000 ~x7612+327680000 ~x7611+163840000 ~x7610+81920000 ~x7609+40960000 ~x7608+20480000 ~x7607+10240000 ~x7606+5120000 ~x7605+2560000 ~x7604+1280000 ~x7603+640000 ~x7602+320000 ~x7601+160000 ~x7600+80000 ~x7599+40000 ~x7598+20000 ~x7597+10000 ~x7596+5000 ~x7595+2500 ~x7594+1250 ~x7593+625 ~x7592-0=53506489149
23.78/23.88	c 4398046511104 ~x962621+2199023255552 ~x962620+1099511627776 ~x962619+549755813888 ~x962618+274877906944 ~x962617+137438953472 ~x962616+68719476736 ~x962615+34359738368 ~x962614+17179869184 ~x962613+8589934592 ~x962612+4294967296 ~x962611+2147483648 ~x962610+1073741824 ~x962609+536870912 ~x962608+268435456 ~x962607+134217728 ~x962606+67108864 ~x962605+33554432 ~x962604+16777216 ~x962603+8388608 ~x962602+4194304 ~x962601+2097152 ~x962600+1048576 ~x962599+524288 ~x962598+262144 ~x962597+131072 ~x962596+65536 ~x962595+32768 ~x962594+16384 ~x962593+8192 ~x962592+4096 ~x962591+2048 ~x962590+1024 ~x962589+512 ~x962588+256 ~x962587+128 ~x962586+64 ~x962585+32 ~x962584+16 ~x962583+8 ~x962582+4 ~x962581+2 ~x962580+1 ~x962579+1677721600000 ~x8701+838860800000 ~x8700+419430400000 ~x8699+209715200000 ~x8698+104857600000 ~x8697+52428800000 ~x8696+26214400000 ~x8695+13107200000 ~x8694+6553600000 ~x8693+3276800000 ~x8692+1638400000 ~x8691+819200000 ~x8690+409600000 ~x8689+204800000 ~x8688+102400000 ~x8687+51200000 ~x8686+25600000 ~x8685+12800000 ~x8684+6400000 ~x8683+3200000 ~x8682+1600000 ~x8681+800000 ~x8680+400000 ~x8679+200000 ~x8678+100000 ~x8677+50000 ~x8676+25000 ~x8675+12500 ~x8674+6250 ~x8673+3125 ~x8672+1677721600000 ~x8341+838860800000 ~x8340+419430400000 ~x8339+209715200000 ~x8338+104857600000 ~x8337+52428800000 ~x8336+26214400000 ~x8335+13107200000 ~x8334+6553600000 ~x8333+3276800000 ~x8332+1638400000 ~x8331+819200000 ~x8330+409600000 ~x8329+204800000 ~x8328+102400000 ~x8327+51200000 ~x8326+25600000 ~x8325+12800000 ~x8324+6400000 ~x8323+3200000 ~x8322+1600000 ~x8321+800000 ~x8320+400000 ~x8319+200000 ~x8318+100000 ~x8317+50000 ~x8316+25000 ~x8315+12500 ~x8314+6250 ~x8313+3125 ~x8312-0=15493293665973
25.08/25.15	c 536870912 ~x1018334+268435456 ~x1018333+134217728 ~x1018332+67108864 ~x1018331+33554432 ~x1018330+16777216 ~x1018329+8388608 ~x1018328+4194304 ~x1018327+2097152 ~x1018326+1048576 ~x1018325+524288 ~x1018324+262144 ~x1018323+131072 ~x1018322+65536 ~x1018321+32768 ~x1018320+16384 ~x1018319+8192 ~x1018318+4096 ~x1018317+2048 ~x1018316+1024 ~x1018315+512 ~x1018314+256 ~x1018313+128 ~x1018312+64 ~x1018311+32 ~x1018310+16 ~x1018309+8 ~x1018308+4 ~x1018307+2 ~x1018306+1 ~x1018305+536870912 ~x5191+268435456 ~x5190+134217728 ~x5189+67108864 ~x5188+33554432 ~x5187+16777216 ~x5186+8388608 ~x5185+4194304 ~x5184+2097152 ~x5183+1048576 ~x5182+524288 ~x5181+262144 ~x5180+131072 ~x5179+65536 ~x5178+32768 ~x5177+16384 ~x5176+8192 ~x5175+4096 ~x5174+2048 ~x5173+1024 ~x5172+512 ~x5171+256 ~x5170+128 ~x5169+64 ~x5168+32 ~x5167+16 ~x5166+8 ~x5165+4 ~x5164+2 ~x5163+1 ~x5162-0=2147438590
25.58/25.60	c 17592186044416 ~x1037768+8796093022208 ~x1037767+4398046511104 ~x1037766+2199023255552 ~x1037765+1099511627776 ~x1037764+549755813888 ~x1037763+274877906944 ~x1037762+137438953472 ~x1037761+68719476736 ~x1037760+34359738368 ~x1037759+17179869184 ~x1037758+8589934592 ~x1037757+4294967296 ~x1037756+2147483648 ~x1037755+1073741824 ~x1037754+536870912 ~x1037753+268435456 ~x1037752+134217728 ~x1037751+67108864 ~x1037750+33554432 ~x1037749+16777216 ~x1037748+8388608 ~x1037747+4194304 ~x1037746+2097152 ~x1037745+1048576 ~x1037744+524288 ~x1037743+262144 ~x1037742+131072 ~x1037741+65536 ~x1037740+32768 ~x1037739+16384 ~x1037738+8192 ~x1037737+4096 ~x1037736+2048 ~x1037735+1024 ~x1037734+512 ~x1037733+256 ~x1037732+128 ~x1037731+64 ~x1037730+32 ~x1037729+16 ~x1037728+8 ~x1037727+4 ~x1037726+2 ~x1037725+1 ~x1037724+8388608000000 ~x5911+4194304000000 ~x5910+2097152000000 ~x5909+1048576000000 ~x5908+524288000000 ~x5907+262144000000 ~x5906+131072000000 ~x5905+65536000000 ~x5904+32768000000 ~x5903+16384000000 ~x5902+8192000000 ~x5901+4096000000 ~x5900+2048000000 ~x5899+1024000000 ~x5898+512000000 ~x5897+256000000 ~x5896+128000000 ~x5895+64000000 ~x5894+32000000 ~x5893+16000000 ~x5892+8000000 ~x5891+4000000 ~x5890+2000000 ~x5889+1000000 ~x5888+500000 ~x5887+250000 ~x5886+125000 ~x5885+62500 ~x5884+31250 ~x5883+15625 ~x5882+8388608000000 ~x5551+4194304000000 ~x5550+2097152000000 ~x5549+1048576000000 ~x5548+524288000000 ~x5547+262144000000 ~x5546+131072000000 ~x5545+65536000000 ~x5544+32768000000 ~x5543+16384000000 ~x5542+8192000000 ~x5541+4096000000 ~x5540+2048000000 ~x5539+1024000000 ~x5538+512000000 ~x5537+256000000 ~x5536+128000000 ~x5535+64000000 ~x5534+32000000 ~x5533+16000000 ~x5532+8000000 ~x5531+4000000 ~x5530+2000000 ~x5529+1000000 ~x5528+500000 ~x5527+250000 ~x5526+125000 ~x5525+62500 ~x5524+31250 ~x5523+15625 ~x5522-0=68736426457725
26.87/26.90	c 1073741824 ~x1095147+536870912 ~x1095146+268435456 ~x1095145+134217728 ~x1095144+67108864 ~x1095143+33554432 ~x1095142+16777216 ~x1095141+8388608 ~x1095140+4194304 ~x1095139+2097152 ~x1095138+1048576 ~x1095137+524288 ~x1095136+262144 ~x1095135+131072 ~x1095134+65536 ~x1095133+32768 ~x1095132+16384 ~x1095131+8192 ~x1095130+4096 ~x1095129+2048 ~x1095128+1024 ~x1095127+512 ~x1095126+256 ~x1095125+128 ~x1095124+64 ~x1095123+32 ~x1095122+16 ~x1095121+8 ~x1095120+4 ~x1095119+2 ~x1095118+1 ~x1095117+536870912 ~x6631+268435456 ~x6630+134217728 ~x6629+67108864 ~x6628+33554432 ~x6627+16777216 ~x6626+8388608 ~x6625+4194304 ~x6624+2097152 ~x6623+1048576 ~x6622+524288 ~x6621+262144 ~x6620+131072 ~x6619+65536 ~x6618+32768 ~x6617+16384 ~x6616+8192 ~x6615+4096 ~x6614+2048 ~x6613+1024 ~x6612+512 ~x6611+256 ~x6610+128 ~x6609+64 ~x6608+32 ~x6607+16 ~x6606+8 ~x6605+4 ~x6604+2 ~x6603+1 ~x6602+536870912 ~x6271+268435456 ~x6270+134217728 ~x6269+67108864 ~x6268+33554432 ~x6267+16777216 ~x6266+8388608 ~x6265+4194304 ~x6264+2097152 ~x6263+1048576 ~x6262+524288 ~x6261+262144 ~x6260+131072 ~x6259+65536 ~x6258+32768 ~x6257+16384 ~x6256+8192 ~x6255+4096 ~x6254+2048 ~x6253+1024 ~x6252+512 ~x6251+256 ~x6250+128 ~x6249+64 ~x6248+32 ~x6247+16 ~x6246+8 ~x6245+4 ~x6244+2 ~x6243+1 ~x6242-0=4294257661
27.58/27.60	c 1073741824 ~x1126267+536870912 ~x1126266+268435456 ~x1126265+134217728 ~x1126264+67108864 ~x1126263+33554432 ~x1126262+16777216 ~x1126261+8388608 ~x1126260+4194304 ~x1126259+2097152 ~x1126258+1048576 ~x1126257+524288 ~x1126256+262144 ~x1126255+131072 ~x1126254+65536 ~x1126253+32768 ~x1126252+16384 ~x1126251+8192 ~x1126250+4096 ~x1126249+2048 ~x1126248+1024 ~x1126247+512 ~x1126246+256 ~x1126245+128 ~x1126244+64 ~x1126243+32 ~x1126242+16 ~x1126241+8 ~x1126240+4 ~x1126239+2 ~x1126238+1 ~x1126237+536870912 ~x7351+268435456 ~x7350+134217728 ~x7349+67108864 ~x7348+33554432 ~x7347+16777216 ~x7346+8388608 ~x7345+4194304 ~x7344+2097152 ~x7343+1048576 ~x7342+524288 ~x7341+262144 ~x7340+131072 ~x7339+65536 ~x7338+32768 ~x7337+16384 ~x7336+8192 ~x7335+4096 ~x7334+2048 ~x7333+1024 ~x7332+512 ~x7331+256 ~x7330+128 ~x7329+64 ~x7328+32 ~x7327+16 ~x7326+8 ~x7325+4 ~x7324+2 ~x7323+1 ~x7322+536870912 ~x6991+268435456 ~x6990+134217728 ~x6989+67108864 ~x6988+33554432 ~x6987+16777216 ~x6986+8388608 ~x6985+4194304 ~x6984+2097152 ~x6983+1048576 ~x6982+524288 ~x6981+262144 ~x6980+131072 ~x6979+65536 ~x6978+32768 ~x6977+16384 ~x6976+8192 ~x6975+4096 ~x6974+2048 ~x6973+1024 ~x6972+512 ~x6971+256 ~x6970+128 ~x6969+64 ~x6968+32 ~x6967+16 ~x6966+8 ~x6965+4 ~x6964+2 ~x6963+1 ~x6962-0=4293142525
29.97/30.05	c 1073741824 ~x1234669+536870912 ~x1234668+268435456 ~x1234667+134217728 ~x1234666+67108864 ~x1234665+33554432 ~x1234664+16777216 ~x1234663+8388608 ~x1234662+4194304 ~x1234661+2097152 ~x1234660+1048576 ~x1234659+524288 ~x1234658+262144 ~x1234657+131072 ~x1234656+65536 ~x1234655+32768 ~x1234654+16384 ~x1234653+8192 ~x1234652+4096 ~x1234651+2048 ~x1234650+1024 ~x1234649+512 ~x1234648+256 ~x1234647+128 ~x1234646+64 ~x1234645+32 ~x1234644+16 ~x1234643+8 ~x1234642+4 ~x1234641+2 ~x1234640+1 ~x1234639+536870912 ~x8071+268435456 ~x8070+134217728 ~x8069+67108864 ~x8068+33554432 ~x8067+16777216 ~x8066+8388608 ~x8065+4194304 ~x8064+2097152 ~x8063+1048576 ~x8062+524288 ~x8061+262144 ~x8060+131072 ~x8059+65536 ~x8058+32768 ~x8057+16384 ~x8056+8192 ~x8055+4096 ~x8054+2048 ~x8053+1024 ~x8052+512 ~x8051+256 ~x8050+128 ~x8049+64 ~x8048+32 ~x8047+16 ~x8046+8 ~x8045+4 ~x8044+2 ~x8043+1 ~x8042+536870912 ~x7711+268435456 ~x7710+134217728 ~x7709+67108864 ~x7708+33554432 ~x7707+16777216 ~x7706+8388608 ~x7705+4194304 ~x7704+2097152 ~x7703+1048576 ~x7702+524288 ~x7701+262144 ~x7700+131072 ~x7699+65536 ~x7698+32768 ~x7697+16384 ~x7696+8192 ~x7695+4096 ~x7694+2048 ~x7693+1024 ~x7692+512 ~x7691+256 ~x7690+128 ~x7689+64 ~x7688+32 ~x7687+16 ~x7686+8 ~x7685+4 ~x7684+2 ~x7683+1 ~x7682-0=4293142525
30.68/30.78	c 1073741824 ~x1265789+536870912 ~x1265788+268435456 ~x1265787+134217728 ~x1265786+67108864 ~x1265785+33554432 ~x1265784+16777216 ~x1265783+8388608 ~x1265782+4194304 ~x1265781+2097152 ~x1265780+1048576 ~x1265779+524288 ~x1265778+262144 ~x1265777+131072 ~x1265776+65536 ~x1265775+32768 ~x1265774+16384 ~x1265773+8192 ~x1265772+4096 ~x1265771+2048 ~x1265770+1024 ~x1265769+512 ~x1265768+256 ~x1265767+128 ~x1265766+64 ~x1265765+32 ~x1265764+16 ~x1265763+8 ~x1265762+4 ~x1265761+2 ~x1265760+1 ~x1265759+536870912 ~x8791+268435456 ~x8790+134217728 ~x8789+67108864 ~x8788+33554432 ~x8787+16777216 ~x8786+8388608 ~x8785+4194304 ~x8784+2097152 ~x8783+1048576 ~x8782+524288 ~x8781+262144 ~x8780+131072 ~x8779+65536 ~x8778+32768 ~x8777+16384 ~x8776+8192 ~x8775+4096 ~x8774+2048 ~x8773+1024 ~x8772+512 ~x8771+256 ~x8770+128 ~x8769+64 ~x8768+32 ~x8767+16 ~x8766+8 ~x8765+4 ~x8764+2 ~x8763+1 ~x8762+536870912 ~x8431+268435456 ~x8430+134217728 ~x8429+67108864 ~x8428+33554432 ~x8427+16777216 ~x8426+8388608 ~x8425+4194304 ~x8424+2097152 ~x8423+1048576 ~x8422+524288 ~x8421+262144 ~x8420+131072 ~x8419+65536 ~x8418+32768 ~x8417+16384 ~x8416+8192 ~x8415+4096 ~x8414+2048 ~x8413+1024 ~x8412+512 ~x8411+256 ~x8410+128 ~x8409+64 ~x8408+32 ~x8407+16 ~x8406+8 ~x8405+4 ~x8404+2 ~x8403+1 ~x8402-0=4292230141
31.38/31.48	c 8796093022208 ~x1296922+4398046511104 ~x1296921+2199023255552 ~x1296920+1099511627776 ~x1296919+549755813888 ~x1296918+274877906944 ~x1296917+137438953472 ~x1296916+68719476736 ~x1296915+34359738368 ~x1296914+17179869184 ~x1296913+8589934592 ~x1296912+4294967296 ~x1296911+2147483648 ~x1296910+1073741824 ~x1296909+536870912 ~x1296908+268435456 ~x1296907+134217728 ~x1296906+67108864 ~x1296905+33554432 ~x1296904+16777216 ~x1296903+8388608 ~x1296902+4194304 ~x1296901+2097152 ~x1296900+1048576 ~x1296899+524288 ~x1296898+262144 ~x1296897+131072 ~x1296896+65536 ~x1296895+32768 ~x1296894+16384 ~x1296893+8192 ~x1296892+4096 ~x1296891+2048 ~x1296890+1024 ~x1296889+512 ~x1296888+256 ~x1296887+128 ~x1296886+64 ~x1296885+32 ~x1296884+16 ~x1296883+8 ~x1296882+4 ~x1296881+2 ~x1296880+1 ~x1296879+8388608000000 ~x5311+4194304000000 ~x5310+2097152000000 ~x5309+1048576000000 ~x5308+524288000000 ~x5307+262144000000 ~x5306+131072000000 ~x5305+65536000000 ~x5304+32768000000 ~x5303+16384000000 ~x5302+8192000000 ~x5301+4096000000 ~x5300+2048000000 ~x5299+1024000000 ~x5298+512000000 ~x5297+256000000 ~x5296+128000000 ~x5295+64000000 ~x5294+32000000 ~x5293+16000000 ~x5292+8000000 ~x5291+4000000 ~x5290+2000000 ~x5289+1000000 ~x5288+500000 ~x5287+250000 ~x5286+125000 ~x5285+62500 ~x5284+31250 ~x5283+15625 ~x5282-0=34368838828838
32.28/32.38	c 17592186044416 ~x1335958+8796093022208 ~x1335957+4398046511104 ~x1335956+2199023255552 ~x1335955+1099511627776 ~x1335954+549755813888 ~x1335953+274877906944 ~x1335952+137438953472 ~x1335951+68719476736 ~x1335950+34359738368 ~x1335949+17179869184 ~x1335948+8589934592 ~x1335947+4294967296 ~x1335946+2147483648 ~x1335945+1073741824 ~x1335944+536870912 ~x1335943+268435456 ~x1335942+134217728 ~x1335941+67108864 ~x1335940+33554432 ~x1335939+16777216 ~x1335938+8388608 ~x1335937+4194304 ~x1335936+2097152 ~x1335935+1048576 ~x1335934+524288 ~x1335933+262144 ~x1335932+131072 ~x1335931+65536 ~x1335930+32768 ~x1335929+16384 ~x1335928+8192 ~x1335927+4096 ~x1335926+2048 ~x1335925+1024 ~x1335924+512 ~x1335923+256 ~x1335922+128 ~x1335921+64 ~x1335920+32 ~x1335919+16 ~x1335918+8 ~x1335917+4 ~x1335916+2 ~x1335915+1 ~x1335914+8388608000000 ~x6031+4194304000000 ~x6030+2097152000000 ~x6029+1048576000000 ~x6028+524288000000 ~x6027+262144000000 ~x6026+131072000000 ~x6025+65536000000 ~x6024+32768000000 ~x6023+16384000000 ~x6022+8192000000 ~x6021+4096000000 ~x6020+2048000000 ~x6019+1024000000 ~x6018+512000000 ~x6017+256000000 ~x6016+128000000 ~x6015+64000000 ~x6014+32000000 ~x6013+16000000 ~x6012+8000000 ~x6011+4000000 ~x6010+2000000 ~x6009+1000000 ~x6008+500000 ~x6007+250000 ~x6006+125000 ~x6005+62500 ~x6004+31250 ~x6003+15625 ~x6002+8388608000000 ~x5671+4194304000000 ~x5670+2097152000000 ~x5669+1048576000000 ~x5668+524288000000 ~x5667+262144000000 ~x5666+131072000000 ~x5665+65536000000 ~x5664+32768000000 ~x5663+16384000000 ~x5662+8192000000 ~x5661+4096000000 ~x5660+2048000000 ~x5659+1024000000 ~x5658+512000000 ~x5657+256000000 ~x5656+128000000 ~x5655+64000000 ~x5654+32000000 ~x5653+16000000 ~x5652+8000000 ~x5651+4000000 ~x5650+2000000 ~x5649+1000000 ~x5648+500000 ~x5647+250000 ~x5646+125000 ~x5645+62500 ~x5644+31250 ~x5643+15625 ~x5642-0=68736903257773
33.58/33.67	c 17592186044416 ~x1393351+8796093022208 ~x1393350+4398046511104 ~x1393349+2199023255552 ~x1393348+1099511627776 ~x1393347+549755813888 ~x1393346+274877906944 ~x1393345+137438953472 ~x1393344+68719476736 ~x1393343+34359738368 ~x1393342+17179869184 ~x1393341+8589934592 ~x1393340+4294967296 ~x1393339+2147483648 ~x1393338+1073741824 ~x1393337+536870912 ~x1393336+268435456 ~x1393335+134217728 ~x1393334+67108864 ~x1393333+33554432 ~x1393332+16777216 ~x1393331+8388608 ~x1393330+4194304 ~x1393329+2097152 ~x1393328+1048576 ~x1393327+524288 ~x1393326+262144 ~x1393325+131072 ~x1393324+65536 ~x1393323+32768 ~x1393322+16384 ~x1393321+8192 ~x1393320+4096 ~x1393319+2048 ~x1393318+1024 ~x1393317+512 ~x1393316+256 ~x1393315+128 ~x1393314+64 ~x1393313+32 ~x1393312+16 ~x1393311+8 ~x1393310+4 ~x1393309+2 ~x1393308+1 ~x1393307+8388608000000 ~x6751+4194304000000 ~x6750+2097152000000 ~x6749+1048576000000 ~x6748+524288000000 ~x6747+262144000000 ~x6746+131072000000 ~x6745+65536000000 ~x6744+32768000000 ~x6743+16384000000 ~x6742+8192000000 ~x6741+4096000000 ~x6740+2048000000 ~x6739+1024000000 ~x6738+512000000 ~x6737+256000000 ~x6736+128000000 ~x6735+64000000 ~x6734+32000000 ~x6733+16000000 ~x6732+8000000 ~x6731+4000000 ~x6730+2000000 ~x6729+1000000 ~x6728+500000 ~x6727+250000 ~x6726+125000 ~x6725+62500 ~x6724+31250 ~x6723+15625 ~x6722+8388608000000 ~x6391+4194304000000 ~x6390+2097152000000 ~x6389+1048576000000 ~x6388+524288000000 ~x6387+262144000000 ~x6386+131072000000 ~x6385+65536000000 ~x6384+32768000000 ~x6383+16384000000 ~x6382+8192000000 ~x6381+4096000000 ~x6380+2048000000 ~x6379+1024000000 ~x6378+512000000 ~x6377+256000000 ~x6376+128000000 ~x6375+64000000 ~x6374+32000000 ~x6373+16000000 ~x6372+8000000 ~x6371+4000000 ~x6370+2000000 ~x6369+1000000 ~x6368+500000 ~x6367+250000 ~x6366+125000 ~x6365+62500 ~x6364+31250 ~x6363+15625 ~x6362-0=68729933659149
34.88/34.97	c 1099511627776 ~x1450740+549755813888 ~x1450739+274877906944 ~x1450738+137438953472 ~x1450737+68719476736 ~x1450736+34359738368 ~x1450735+17179869184 ~x1450734+8589934592 ~x1450733+4294967296 ~x1450732+2147483648 ~x1450731+1073741824 ~x1450730+536870912 ~x1450729+268435456 ~x1450728+134217728 ~x1450727+67108864 ~x1450726+33554432 ~x1450725+16777216 ~x1450724+8388608 ~x1450723+4194304 ~x1450722+2097152 ~x1450721+1048576 ~x1450720+524288 ~x1450719+262144 ~x1450718+131072 ~x1450717+65536 ~x1450716+32768 ~x1450715+16384 ~x1450714+8192 ~x1450713+4096 ~x1450712+2048 ~x1450711+1024 ~x1450710+512 ~x1450709+256 ~x1450708+128 ~x1450707+64 ~x1450706+32 ~x1450705+16 ~x1450704+8 ~x1450703+4 ~x1450702+2 ~x1450701+1 ~x1450700+335544320000 ~x7471+167772160000 ~x7470+83886080000 ~x7469+41943040000 ~x7468+20971520000 ~x7467+10485760000 ~x7466+5242880000 ~x7465+2621440000 ~x7464+1310720000 ~x7463+655360000 ~x7462+327680000 ~x7461+163840000 ~x7460+81920000 ~x7459+40960000 ~x7458+20480000 ~x7457+10240000 ~x7456+5120000 ~x7455+2560000 ~x7454+1280000 ~x7453+640000 ~x7452+320000 ~x7451+160000 ~x7450+80000 ~x7449+40000 ~x7448+20000 ~x7447+10000 ~x7446+5000 ~x7445+2500 ~x7444+1250 ~x7443+625 ~x7442+335544320000 ~x7111+167772160000 ~x7110+83886080000 ~x7109+41943040000 ~x7108+20971520000 ~x7107+10485760000 ~x7106+5242880000 ~x7105+2621440000 ~x7104+1310720000 ~x7103+655360000 ~x7102+327680000 ~x7101+163840000 ~x7100+81920000 ~x7099+40960000 ~x7098+20480000 ~x7097+10240000 ~x7096+5120000 ~x7095+2560000 ~x7094+1280000 ~x7093+640000 ~x7092+320000 ~x7091+160000 ~x7090+80000 ~x7089+40000 ~x7088+20000 ~x7087+10000 ~x7086+5000 ~x7085+2500 ~x7084+1250 ~x7083+625 ~x7082-0=3540288150397
36.18/36.20	c 1099511627776 ~x1504401+549755813888 ~x1504400+274877906944 ~x1504399+137438953472 ~x1504398+68719476736 ~x1504397+34359738368 ~x1504396+17179869184 ~x1504395+8589934592 ~x1504394+4294967296 ~x1504393+2147483648 ~x1504392+1073741824 ~x1504391+536870912 ~x1504390+268435456 ~x1504389+134217728 ~x1504388+67108864 ~x1504387+33554432 ~x1504386+16777216 ~x1504385+8388608 ~x1504384+4194304 ~x1504383+2097152 ~x1504382+1048576 ~x1504381+524288 ~x1504380+262144 ~x1504379+131072 ~x1504378+65536 ~x1504377+32768 ~x1504376+16384 ~x1504375+8192 ~x1504374+4096 ~x1504373+2048 ~x1504372+1024 ~x1504371+512 ~x1504370+256 ~x1504369+128 ~x1504368+64 ~x1504367+32 ~x1504366+16 ~x1504365+8 ~x1504364+4 ~x1504363+2 ~x1504362+1 ~x1504361+335544320000 ~x8191+167772160000 ~x8190+83886080000 ~x8189+41943040000 ~x8188+20971520000 ~x8187+10485760000 ~x8186+5242880000 ~x8185+2621440000 ~x8184+1310720000 ~x8183+655360000 ~x8182+327680000 ~x8181+163840000 ~x8180+81920000 ~x8179+40960000 ~x8178+20480000 ~x8177+10240000 ~x8176+5120000 ~x8175+2560000 ~x8174+1280000 ~x8173+640000 ~x8172+320000 ~x8171+160000 ~x8170+80000 ~x8169+40000 ~x8168+20000 ~x8167+10000 ~x8166+5000 ~x8165+2500 ~x8164+1250 ~x8163+625 ~x8162+335544320000 ~x7831+167772160000 ~x7830+83886080000 ~x7829+41943040000 ~x7828+20971520000 ~x7827+10485760000 ~x7826+5242880000 ~x7825+2621440000 ~x7824+1310720000 ~x7823+655360000 ~x7822+327680000 ~x7821+163840000 ~x7820+81920000 ~x7819+40960000 ~x7818+20480000 ~x7817+10240000 ~x7816+5120000 ~x7815+2560000 ~x7814+1280000 ~x7813+640000 ~x7812+320000 ~x7811+160000 ~x7810+80000 ~x7809+40000 ~x7808+20000 ~x7807+10000 ~x7806+5000 ~x7805+2500 ~x7804+1250 ~x7803+625 ~x7802-0=3540288150397
37.38/37.43	c 1099511627776 ~x1558062+549755813888 ~x1558061+274877906944 ~x1558060+137438953472 ~x1558059+68719476736 ~x1558058+34359738368 ~x1558057+17179869184 ~x1558056+8589934592 ~x1558055+4294967296 ~x1558054+2147483648 ~x1558053+1073741824 ~x1558052+536870912 ~x1558051+268435456 ~x1558050+134217728 ~x1558049+67108864 ~x1558048+33554432 ~x1558047+16777216 ~x1558046+8388608 ~x1558045+4194304 ~x1558044+2097152 ~x1558043+1048576 ~x1558042+524288 ~x1558041+262144 ~x1558040+131072 ~x1558039+65536 ~x1558038+32768 ~x1558037+16384 ~x1558036+8192 ~x1558035+4096 ~x1558034+2048 ~x1558033+1024 ~x1558032+512 ~x1558031+256 ~x1558030+128 ~x1558029+64 ~x1558028+32 ~x1558027+16 ~x1558026+8 ~x1558025+4 ~x1558024+2 ~x1558023+1 ~x1558022+335544320000 ~x8911+167772160000 ~x8910+83886080000 ~x8909+41943040000 ~x8908+20971520000 ~x8907+10485760000 ~x8906+5242880000 ~x8905+2621440000 ~x8904+1310720000 ~x8903+655360000 ~x8902+327680000 ~x8901+163840000 ~x8900+81920000 ~x8899+40960000 ~x8898+20480000 ~x8897+10240000 ~x8896+5120000 ~x8895+2560000 ~x8894+1280000 ~x8893+640000 ~x8892+320000 ~x8891+160000 ~x8890+80000 ~x8889+40000 ~x8888+20000 ~x8887+10000 ~x8886+5000 ~x8885+2500 ~x8884+1250 ~x8883+625 ~x8882+335544320000 ~x8551+167772160000 ~x8550+83886080000 ~x8549+41943040000 ~x8548+20971520000 ~x8547+10485760000 ~x8546+5242880000 ~x8545+2621440000 ~x8544+1310720000 ~x8543+655360000 ~x8542+327680000 ~x8541+163840000 ~x8540+81920000 ~x8539+40960000 ~x8538+20480000 ~x8537+10240000 ~x8536+5120000 ~x8535+25600

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673755-1276799709/watcher-2673755-1276799709 -o /tmp/evaluation-result-2673755-1276799709/solver-2673755-1276799709 -C 1800 -W 2000 -M 1800 run HOME/instance-2673755-1276799709.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.86 0.95 0.98 3/106 18598
/proc/meminfo: memFree=1875348/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0

[startup+0.0343109 s]
/proc/loadavg: 0.86 0.95 0.98 3/106 18598
/proc/meminfo: memFree=1875348/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101322 s]
/proc/loadavg: 0.86 0.95 0.98 3/106 18598
/proc/meminfo: memFree=1875348/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30136 s]
/proc/loadavg: 0.86 0.95 0.98 3/106 18598
/proc/meminfo: memFree=1875348/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701433 s]
/proc/loadavg: 0.86 0.95 0.98 3/106 18598
/proc/meminfo: memFree=1875348/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50158 s]
/proc/loadavg: 0.86 0.95 0.98 2/108 18601
/proc/meminfo: memFree=1736080/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=235140 CPUtime=1.49
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 58618 0 0 0 61 88 0 0 25 0 1 0 55574353 240783360 58212 1992294400 134512640 134902295 4293362176 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 58785 58212 256 96 0 57997 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 243840

[startup+3.10088 s]
/proc/loadavg: 0.86 0.95 0.98 2/108 18601
/proc/meminfo: memFree=1558884/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=338188 CPUtime=3.08
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 84566 0 0 0 184 124 0 0 25 0 1 0 55574353 346304512 83696 1992294400 134512640 134902295 4293362176 18446744073709551615 134520307 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 84547 83696 262 96 0 83759 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 346888

[startup+6.30147 s]
/proc/loadavg: 0.87 0.95 0.98 2/108 18601
/proc/meminfo: memFree=1502960/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=390724 CPUtime=6.28
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 99640 0 0 0 497 131 0 0 25 0 1 0 55574353 400101376 96505 1992294400 134512640 134902295 4293362176 18446744073709551615 134789716 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 97681 96505 262 96 0 96893 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 399424

[startup+12.7007 s]
/proc/loadavg: 0.88 0.95 0.98 2/108 18601
/proc/meminfo: memFree=1386028/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=511348 CPUtime=12.68
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 129520 0 0 0 1126 142 0 0 18 0 1 0 55574353 523620352 125049 1992294400 134512640 134902295 4293362176 18446744073709551615 134588331 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 127837 125049 262 96 0 127049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 520048

[startup+25.501 s]
/proc/loadavg: 0.91 0.96 0.98 2/108 18601
/proc/meminfo: memFree=1153528/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=736568 CPUtime=25.48
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 190935 0 0 0 2378 170 0 0 25 0 1 0 55574353 754245632 181460 1992294400 134512640 134902295 4293362176 18446744073709551615 4159974292 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 184142 181460 262 96 0 183354 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 745268

[startup+51.1017 s]
/proc/loadavg: 0.94 0.96 0.98 2/108 18603
/proc/meminfo: memFree=684312/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=1228504 CPUtime=51.07
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 309791 0 0 0 4886 221 0 0 25 0 1 0 55574353 1257988096 299796 1992294400 134512640 134902295 4293362176 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 307126 299796 262 96 0 306338 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1237204



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+85.3011 s]
/proc/loadavg: 0.96 0.96 0.98 2/108 18603
/proc/meminfo: memFree=94940/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=1834836 CPUtime=85.26
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 470740 0 0 0 8233 293 0 0 25 0 1 0 55574353 1878872064 444289 1992294400 134512640 134902295 4293362176 18446744073709551615 134635443 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 458709 444289 262 96 0 457921 0
Current children cumulated CPU time (s) 85.26
Current children cumulated vsize (KiB) 1843536

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+85.3011 s]
/proc/loadavg: 0.96 0.96 0.98 2/108 18603
/proc/meminfo: memFree=94940/2059040 swapFree=4140132/4192956
[pid=18598] ppid=18596 vsize=8700 CPUtime=0
/proc/18598/stat : 18598 (run) S 18596 18598 18449 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55574352 8908800 250 1992294400 4194304 4922060 140737150278416 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18598/statm: 2175 250 211 178 0 68 0
[pid=18600] ppid=18598 vsize=1834836 CPUtime=85.26
/proc/18600/stat : 18600 (PBPASSolver) R 18598 18598 18449 0 -1 4202496 470740 0 0 0 8233 293 0 0 25 0 1 0 55574353 1878872064 444289 1992294400 134512640 134902295 4293362176 18446744073709551615 134635443 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18600/statm: 458709 444289 262 96 0 457921 0
Current children cumulated CPU time (s) 85.26
Current children cumulated vsize (KiB) 1843536

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18598 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=3999
# CPU time returned by wait4() is 0.003999
# while last known CPU time is 85.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 85.3143
CPU time (s): 85.26
CPU user time (s): 82.33
CPU system time (s): 2.93
CPU usage (%): 99.9363
Max. virtual memory (cumulated for all children) (KiB): 1843536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3

runsolver used 0.142978 second user time and 0.419936 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-17 20:35:09
IDJOB=2673755
IDBENCH=2394
IDSOLVER=1174
FILE ID=node007/2673755-1276799709
PBS_JOBID= 11176671
Free space on /tmp= 62488 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-lotfi.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673755-1276799709/watcher-2673755-1276799709 -o /tmp/evaluation-result-2673755-1276799709/solver-2673755-1276799709 -C 1800 -W 2000 -M 1800  run HOME/instance-2673755-1276799709.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= c609a7262e604847d8434d132e2de9ed
RANDOM SEED=532600873

node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1875868 kB
Buffers:         30556 kB
Cached:          56952 kB
SwapCached:       6616 kB
Active:           7652 kB
Inactive:        93592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1875868 kB
SwapTotal:     4192956 kB
SwapFree:      4140132 kB
Dirty:            1168 kB
Writeback:           0 kB
AnonPages:       12148 kB
Mapped:          12964 kB
Slab:            59968 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182620 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62488 MiB
End job on node007 at 2010-06-17 20:36:36