Trace number 2674156

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? (TO) 1800.03 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc05.opb
MD5SUM4e6161a7dc803af1e0ad1878eef0a0d1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1076796928
Best CPU time to get the best result obtained on this benchmark481.022
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1076796928
Optimality of the best value was proved YES
Number of variables1940
Total number of constraints300
Number of constraints which are clauses155
Number of constraints which are cardinality constraints (but not clauses)8
Number of constraints which are nor clauses,nor cardinality constraints137
Minimum length of a constraint2
Maximum length of a constraint451
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 83751857084
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

38.17/38.24	c 1940 300 0 0 0 0 0 0
38.17/38.24	c 4294967296 ~x1677201+2147483648 ~x1677200+1073741824 ~x1677199+536870912 ~x1677198+268435456 ~x1677197+134217728 ~x1677196+67108864 ~x1677195+33554432 ~x1677194+16777216 ~x1677193+8388608 ~x1677192+4194304 ~x1677191+2097152 ~x1677190+1048576 ~x1677189+524288 ~x1677188+262144 ~x1677187+131072 ~x1677186+65536 ~x1677185+32768 ~x1677184+16384 ~x1677183+8192 ~x1677182+4096 ~x1677181+2048 ~x1677180+1024 ~x1677179+512 ~x1677178+256 ~x1677177+128 ~x1677176+64 ~x1677175+32 ~x1677174+16 ~x1677173+8 ~x1677172+4 ~x1677171+2 ~x1677170+1 ~x1677169+819200 x1754+536870912 ~x1543+268435456 ~x1542+134217728 ~x1541+67108864 ~x1540+33554432 ~x1539+16777216 ~x1538+8388608 ~x1537+4194304 ~x1536+2097152 ~x1535+1048576 ~x1534+524288 ~x1533+262144 ~x1532+131072 ~x1531+65536 ~x1530+32768 ~x1529+16384 ~x1528+8192 ~x1527+4096 ~x1526+2048 ~x1525+1024 ~x1524+512 ~x1523+256 ~x1522+128 ~x1521+64 ~x1520+32 ~x1519+16 ~x1518+8 ~x1517+4 ~x1516+2 ~x1515+1 ~x1514+536870912 ~x1513+268435456 ~x1512+134217728 ~x1511+67108864 ~x1510+33554432 ~x1509+16777216 ~x1508+8388608 ~x1507+4194304 ~x1506+2097152 ~x1505+1048576 ~x1504+524288 ~x1503+262144 ~x1502+131072 ~x1501+65536 ~x1500+32768 ~x1499+16384 ~x1498+8192 ~x1497+4096 ~x1496+2048 ~x1495+1024 ~x1494+512 ~x1493+256 ~x1492+128 ~x1491+64 ~x1490+32 ~x1489+16 ~x1488+8 ~x1487+4 ~x1486+2 ~x1485+1 ~x1484+536870912 ~x1483+268435456 ~x1482+134217728 ~x1481+67108864 ~x1480+33554432 ~x1479+16777216 ~x1478+8388608 ~x1477+4194304 ~x1476+2097152 ~x1475+1048576 ~x1474+524288 ~x1473+262144 ~x1472+131072 ~x1471+65536 ~x1470+32768 ~x1469+16384 ~x1468+8192 ~x1467+4096 ~x1466+2048 ~x1465+1024 ~x1464+512 ~x1463+256 ~x1462+128 ~x1461+64 ~x1460+32 ~x1459+16 ~x1458+8 ~x1457+4 ~x1456+2 ~x1455+1 ~x1454+536870912 ~x1453+268435456 ~x1452+134217728 ~x1451+67108864 ~x1450+33554432 ~x1449+16777216 ~x1448+8388608 ~x1447+4194304 ~x1446+2097152 ~x1445+1048576 ~x1444+524288 ~x1443+262144 ~x1442+131072 ~x1441+65536 ~x1440+32768 ~x1439+16384 ~x1438+8192 ~x1437+4096 ~x1436+2048 ~x1435+1024 ~x1434+512 ~x1433+256 ~x1432+128 ~x1431+64 ~x1430+32 ~x1429+16 ~x1428+8 ~x1427+4 ~x1426+2 ~x1425+1 ~x1424+536870912 ~x1423+268435456 ~x1422+134217728 ~x1421+67108864 ~x1420+33554432 ~x1419+16777216 ~x1418+8388608 ~x1417+4194304 ~x1416+2097152 ~x1415+1048576 ~x1414+524288 ~x1413+262144 ~x1412+131072 ~x1411+65536 ~x1410+32768 ~x1409+16384 ~x1408+8192 ~x1407+4096 ~x1406+2048 ~x1405+1024 ~x1404+512 ~x1403+256 ~x1402+128 ~x1401+64 ~x1400+32 ~x1399+16 ~x1398+8 ~x1397+4 ~x1396+2 ~x1395+1 ~x1394+536870912 ~x1393+268435456 ~x1392+134217728 ~x1391+67108864 ~x1390+33554432 ~x1389+16777216 ~x1388+8388608 ~x1387+4194304 ~x1386+2097152 ~x1385+1048576 ~x1384+524288 ~x1383+262144 ~x1382+131072 ~x1381+65536 ~x1380+32768 ~x1379+16384 ~x1378+8192 ~x1377+4096 ~x1376+2048 ~x1375+1024 ~x1374+512 ~x1373+256 ~x1372+128 ~x1371+64 ~x1370+32 ~x1369+16 ~x1368+8 ~x1367+4 ~x1366+2 ~x1365+1 ~x1364+536870912 ~x1363+268435456 ~x1362+134217728 ~x1361+67108864 ~x1360+33554432 ~x1359+16777216 ~x1358+8388608 ~x1357+4194304 ~x1356+2097152 ~x1355+1048576 ~x1354+524288 ~x1353+262144 ~x1352+131072 ~x1351+65536 ~x1350+32768 ~x1349+16384 ~x1348+8192 ~x1347+4096 ~x1346+2048 ~x1345+1024 ~x1344+512 ~x1343+256 ~x1342+128 ~x1341+64 ~x1340+32 ~x1339+16 ~x1338+8 ~x1337+4 ~x1336+2 ~x1335+1 ~x1334-0=16106127352
40.68/40.72	c 4294967296 ~x1787363+2147483648 ~x1787362+1073741824 ~x1787361+536870912 ~x1787360+268435456 ~x1787359+134217728 ~x1787358+67108864 ~x1787357+33554432 ~x1787356+16777216 ~x1787355+8388608 ~x1787354+4194304 ~x1787353+2097152 ~x1787352+1048576 ~x1787351+524288 ~x1787350+262144 ~x1787349+131072 ~x1787348+65536 ~x1787347+32768 ~x1787346+16384 ~x1787345+8192 ~x1787344+4096 ~x1787343+2048 ~x1787342+1024 ~x1787341+512 ~x1787340+256 ~x1787339+128 ~x1787338+64 ~x1787337+32 ~x1787336+16 ~x1787335+8 ~x1787334+4 ~x1787333+2 ~x1787332+1 ~x1787331+512000 x1755+536870912 ~x1753+268435456 ~x1752+134217728 ~x1751+67108864 ~x1750+33554432 ~x1749+16777216 ~x1748+8388608 ~x1747+4194304 ~x1746+2097152 ~x1745+1048576 ~x1744+524288 ~x1743+262144 ~x1742+131072 ~x1741+65536 ~x1740+32768 ~x1739+16384 ~x1738+8192 ~x1737+4096 ~x1736+2048 ~x1735+1024 ~x1734+512 ~x1733+256 ~x1732+128 ~x1731+64 ~x1730+32 ~x1729+16 ~x1728+8 ~x1727+4 ~x1726+2 ~x1725+1 ~x1724+536870912 ~x1723+268435456 ~x1722+134217728 ~x1721+67108864 ~x1720+33554432 ~x1719+16777216 ~x1718+8388608 ~x1717+4194304 ~x1716+2097152 ~x1715+1048576 ~x1714+524288 ~x1713+262144 ~x1712+131072 ~x1711+65536 ~x1710+32768 ~x1709+16384 ~x1708+8192 ~x1707+4096 ~x1706+2048 ~x1705+1024 ~x1704+512 ~x1703+256 ~x1702+128 ~x1701+64 ~x1700+32 ~x1699+16 ~x1698+8 ~x1697+4 ~x1696+2 ~x1695+1 ~x1694+536870912 ~x1693+268435456 ~x1692+134217728 ~x1691+67108864 ~x1690+33554432 ~x1689+16777216 ~x1688+8388608 ~x1687+4194304 ~x1686+2097152 ~x1685+1048576 ~x1684+524288 ~x1683+262144 ~x1682+131072 ~x1681+65536 ~x1680+32768 ~x1679+16384 ~x1678+8192 ~x1677+4096 ~x1676+2048 ~x1675+1024 ~x1674+512 ~x1673+256 ~x1672+128 ~x1671+64 ~x1670+32 ~x1669+16 ~x1668+8 ~x1667+4 ~x1666+2 ~x1665+1 ~x1664+536870912 ~x1663+268435456 ~x1662+134217728 ~x1661+67108864 ~x1660+33554432 ~x1659+16777216 ~x1658+8388608 ~x1657+4194304 ~x1656+2097152 ~x1655+1048576 ~x1654+524288 ~x1653+262144 ~x1652+131072 ~x1651+65536 ~x1650+32768 ~x1649+16384 ~x1648+8192 ~x1647+4096 ~x1646+2048 ~x1645+1024 ~x1644+512 ~x1643+256 ~x1642+128 ~x1641+64 ~x1640+32 ~x1639+16 ~x1638+8 ~x1637+4 ~x1636+2 ~x1635+1 ~x1634+536870912 ~x1633+268435456 ~x1632+134217728 ~x1631+67108864 ~x1630+33554432 ~x1629+16777216 ~x1628+8388608 ~x1627+4194304 ~x1626+2097152 ~x1625+1048576 ~x1624+524288 ~x1623+262144 ~x1622+131072 ~x1621+65536 ~x1620+32768 ~x1619+16384 ~x1618+8192 ~x1617+4096 ~x1616+2048 ~x1615+1024 ~x1614+512 ~x1613+256 ~x1612+128 ~x1611+64 ~x1610+32 ~x1609+16 ~x1608+8 ~x1607+4 ~x1606+2 ~x1605+1 ~x1604+536870912 ~x1603+268435456 ~x1602+134217728 ~x1601+67108864 ~x1600+33554432 ~x1599+16777216 ~x1598+8388608 ~x1597+4194304 ~x1596+2097152 ~x1595+1048576 ~x1594+524288 ~x1593+262144 ~x1592+131072 ~x1591+65536 ~x1590+32768 ~x1589+16384 ~x1588+8192 ~x1587+4096 ~x1586+2048 ~x1585+1024 ~x1584+512 ~x1583+256 ~x1582+128 ~x1581+64 ~x1580+32 ~x1579+16 ~x1578+8 ~x1577+4 ~x1576+2 ~x1575+1 ~x1574+536870912 ~x1573+268435456 ~x1572+134217728 ~x1571+67108864 ~x1570+33554432 ~x1569+16777216 ~x1568+8388608 ~x1567+4194304 ~x1566+2097152 ~x1565+1048576 ~x1564+524288 ~x1563+262144 ~x1562+131072 ~x1561+65536 ~x1560+32768 ~x1559+16384 ~x1558+8192 ~x1557+4096 ~x1556+2048 ~x1555+1024 ~x1554+512 ~x1553+256 ~x1552+128 ~x1551+64 ~x1550+32 ~x1549+16 ~x1548+8 ~x1547+4 ~x1546+2 ~x1545+1 ~x1544-0=16106127352
43.17/43.20	c 2 ~x1897522+1 ~x1897521+1 x1755+1 x1754-0=5
43.17/43.20	c 1073741824 ~x1897580+536870912 ~x1897579+268435456 ~x1897578+134217728 ~x1897577+67108864 ~x1897576+33554432 ~x1897575+16777216 ~x1897574+8388608 ~x1897573+4194304 ~x1897572+2097152 ~x1897571+1048576 ~x1897570+524288 ~x1897569+262144 ~x1897568+131072 ~x1897567+65536 ~x1897566+32768 ~x1897565+16384 ~x1897564+8192 ~x1897563+4096 ~x1897562+2048 ~x1897561+1024 ~x1897560+512 ~x1897559+256 ~x1897558+128 ~x1897557+64 ~x1897556+32 ~x1897555+16 ~x1897554+8 ~x1897553+4 ~x1897552+2 ~x1897551+1 ~x1897550+1073741824 ~x1817+536870912 ~x1816+268435456 ~x1815+134217728 ~x1814+67108864 ~x1813+33554432 ~x1812+16777216 ~x1811+8388608 ~x1810+4194304 ~x1809+2097152 ~x1808+1048576 ~x1807+524288 ~x1806+262144 ~x1805+131072 ~x1804+65536 ~x1803+32768 ~x1802+16384 ~x1801+8192 ~x1800+4096 ~x1799+2048 ~x1798+1024 ~x1797+512 ~x1796+256 ~x1795+128 ~x1794+64 ~x1793+32 ~x1792+16 ~x1791+8 ~x1790+4 ~x1789+2 ~x1788+1 ~x1787+1073741824 ~x1786+536870912 ~x1785+268435456 ~x1784+134217728 ~x1783+67108864 ~x1782+33554432 ~x1781+16777216 ~x1780+8388608 ~x1779+4194304 ~x1778+2097152 ~x1777+1048576 ~x1776+524288 ~x1775+262144 ~x1774+131072 ~x1773+65536 ~x1772+32768 ~x1771+16384 ~x1770+8192 ~x1769+4096 ~x1768+2048 ~x1767+1024 ~x1766+512 ~x1765+256 ~x1764+128 ~x1763+64 ~x1762+32 ~x1761+16 ~x1760+8 ~x1759+4 ~x1758+2 ~x1757+1 ~x1756-0=4294965245
43.87/43.95	c 536870912 ~x1930925+268435456 ~x1930924+134217728 ~x1930923+67108864 ~x1930922+33554432 ~x1930921+16777216 ~x1930920+8388608 ~x1930919+4194304 ~x1930918+2097152 ~x1930917+1048576 ~x1930916+524288 ~x1930915+262144 ~x1930914+131072 ~x1930913+65536 ~x1930912+32768 ~x1930911+16384 ~x1930910+8192 ~x1930909+4096 ~x1930908+2048 ~x1930907+1024 ~x1930906+512 ~x1930905+256 ~x1930904+128 ~x1930903+64 ~x1930902+32 ~x1930901+16 ~x1930900+8 ~x1930899+4 ~x1930898+2 ~x1930897+1 ~x1930896+536870912 ~x103+268435456 ~x102+134217728 ~x101+67108864 ~x100+33554432 ~x99+16777216 ~x98+8388608 ~x97+4194304 ~x96+2097152 ~x95+1048576 ~x94+524288 ~x93+262144 ~x92+131072 ~x91+65536 ~x90+32768 ~x89+16384 ~x88+8192 ~x87+4096 ~x86+2048 ~x85+1024 ~x84+512 ~x83+256 ~x82+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+204800 x2-0=2147483646
44.37/44.45	c 536870912 ~x1951445+268435456 ~x1951444+134217728 ~x1951443+67108864 ~x1951442+33554432 ~x1951441+16777216 ~x1951440+8388608 ~x1951439+4194304 ~x1951438+2097152 ~x1951437+1048576 ~x1951436+524288 ~x1951435+262144 ~x1951434+131072 ~x1951433+65536 ~x1951432+32768 ~x1951431+16384 ~x1951430+8192 ~x1951429+4096 ~x1951428+2048 ~x1951427+1024 ~x1951426+512 ~x1951425+256 ~x1951424+128 ~x1951423+64 ~x1951422+32 ~x1951421+16 ~x1951420+8 ~x1951419+4 ~x1951418+2 ~x1951417+1 ~x1951416+536870912 ~x133+268435456 ~x132+134217728 ~x131+67108864 ~x130+33554432 ~x129+16777216 ~x128+8388608 ~x127+4194304 ~x126+2097152 ~x125+1048576 ~x124+524288 ~x123+262144 ~x122+131072 ~x121+65536 ~x120+32768 ~x119+16384 ~x118+8192 ~x117+4096 ~x116+2048 ~x115+1024 ~x114+512 ~x113+256 ~x112+128 ~x111+64 ~x110+32 ~x109+16 ~x108+8 ~x107+4 ~x106+2 ~x105+1 ~x104+204800 x3-0=2147483646
44.87/44.92	c 536870912 ~x1971965+268435456 ~x1971964+134217728 ~x1971963+67108864 ~x1971962+33554432 ~x1971961+16777216 ~x1971960+8388608 ~x1971959+4194304 ~x1971958+2097152 ~x1971957+1048576 ~x1971956+524288 ~x1971955+262144 ~x1971954+131072 ~x1971953+65536 ~x1971952+32768 ~x1971951+16384 ~x1971950+8192 ~x1971949+4096 ~x1971948+2048 ~x1971947+1024 ~x1971946+512 ~x1971945+256 ~x1971944+128 ~x1971943+64 ~x1971942+32 ~x1971941+16 ~x1971940+8 ~x1971939+4 ~x1971938+2 ~x1971937+1 ~x1971936+536870912 ~x163+268435456 ~x162+134217728 ~x161+67108864 ~x160+33554432 ~x159+16777216 ~x158+8388608 ~x157+4194304 ~x156+2097152 ~x155+1048576 ~x154+524288 ~x153+262144 ~x152+131072 ~x151+65536 ~x150+32768 ~x149+16384 ~x148+8192 ~x147+4096 ~x146+2048 ~x145+1024 ~x144+512 ~x143+256 ~x142+128 ~x141+64 ~x140+32 ~x139+16 ~x138+8 ~x137+4 ~x136+2 ~x135+1 ~x134+204800 x4-0=2147483646
45.27/45.39	c 536870912 ~x1992485+268435456 ~x1992484+134217728 ~x1992483+67108864 ~x1992482+33554432 ~x1992481+16777216 ~x1992480+8388608 ~x1992479+4194304 ~x1992478+2097152 ~x1992477+1048576 ~x1992476+524288 ~x1992475+262144 ~x1992474+131072 ~x1992473+65536 ~x1992472+32768 ~x1992471+16384 ~x1992470+8192 ~x1992469+4096 ~x1992468+2048 ~x1992467+1024 ~x1992466+512 ~x1992465+256 ~x1992464+128 ~x1992463+64 ~x1992462+32 ~x1992461+16 ~x1992460+8 ~x1992459+4 ~x1992458+2 ~x1992457+1 ~x1992456+536870912 ~x193+268435456 ~x192+134217728 ~x191+67108864 ~x190+33554432 ~x189+16777216 ~x188+8388608 ~x187+4194304 ~x186+2097152 ~x185+1048576 ~x184+524288 ~x183+262144 ~x182+131072 ~x181+65536 ~x180+32768 ~x179+16384 ~x178+8192 ~x177+4096 ~x176+2048 ~x175+1024 ~x174+512 ~x173+256 ~x172+128 ~x171+64 ~x170+32 ~x169+16 ~x168+8 ~x167+4 ~x166+2 ~x165+1 ~x164+204800 x5-0=2147483646
45.77/45.86	c 536870912 ~x2013005+268435456 ~x2013004+134217728 ~x2013003+67108864 ~x2013002+33554432 ~x2013001+16777216 ~x2013000+8388608 ~x2012999+4194304 ~x2012998+2097152 ~x2012997+1048576 ~x2012996+524288 ~x2012995+262144 ~x2012994+131072 ~x2012993+65536 ~x2012992+32768 ~x2012991+16384 ~x2012990+8192 ~x2012989+4096 ~x2012988+2048 ~x2012987+1024 ~x2012986+512 ~x2012985+256 ~x2012984+128 ~x2012983+64 ~x2012982+32 ~x2012981+16 ~x2012980+8 ~x2012979+4 ~x2012978+2 ~x2012977+1 ~x2012976+536870912 ~x223+268435456 ~x222+134217728 ~x221+67108864 ~x220+33554432 ~x219+16777216 ~x218+8388608 ~x217+4194304 ~x216+2097152 ~x215+1048576 ~x214+524288 ~x213+262144 ~x212+131072 ~x211+65536 ~x210+32768 ~x209+16384 ~x208+8192 ~x207+4096 ~x206+2048 ~x205+1024 ~x204+512 ~x203+256 ~x202+128 ~x201+64 ~x200+32 ~x199+16 ~x198+8 ~x197+4 ~x196+2 ~x195+1 ~x194+204800 x6-0=2147483646
46.27/46.33	c 536870912 ~x2033525+268435456 ~x2033524+134217728 ~x2033523+67108864 ~x2033522+33554432 ~x2033521+16777216 ~x2033520+8388608 ~x2033519+4194304 ~x2033518+2097152 ~x2033517+1048576 ~x2033516+524288 ~x2033515+262144 ~x2033514+131072 ~x2033513+65536 ~x2033512+32768 ~x2033511+16384 ~x2033510+8192 ~x2033509+4096 ~x2033508+2048 ~x2033507+1024 ~x2033506+512 ~x2033505+256 ~x2033504+128 ~x2033503+64 ~x2033502+32 ~x2033501+16 ~x2033500+8 ~x2033499+4 ~x2033498+2 ~x2033497+1 ~x2033496+536870912 ~x253+268435456 ~x252+134217728 ~x251+67108864 ~x250+33554432 ~x249+16777216 ~x248+8388608 ~x247+4194304 ~x246+2097152 ~x245+1048576 ~x244+524288 ~x243+262144 ~x242+131072 ~x241+65536 ~x240+32768 ~x239+16384 ~x238+8192 ~x237+4096 ~x236+2048 ~x235+1024 ~x234+512 ~x233+256 ~x232+128 ~x231+64 ~x230+32 ~x229+16 ~x228+8 ~x227+4 ~x226+2 ~x225+1 ~x224+204800 x7-0=2147483646
46.76/46.81	c 536870912 ~x2054045+268435456 ~x2054044+134217728 ~x2054043+67108864 ~x2054042+33554432 ~x2054041+16777216 ~x2054040+8388608 ~x2054039+4194304 ~x2054038+2097152 ~x2054037+1048576 ~x2054036+524288 ~x2054035+262144 ~x2054034+131072 ~x2054033+65536 ~x2054032+32768 ~x2054031+16384 ~x2054030+8192 ~x2054029+4096 ~x2054028+2048 ~x2054027+1024 ~x2054026+512 ~x2054025+256 ~x2054024+128 ~x2054023+64 ~x2054022+32 ~x2054021+16 ~x2054020+8 ~x2054019+4 ~x2054018+2 ~x2054017+1 ~x2054016+536870912 ~x283+268435456 ~x282+134217728 ~x281+67108864 ~x280+33554432 ~x279+16777216 ~x278+8388608 ~x277+4194304 ~x276+2097152 ~x275+1048576 ~x274+524288 ~x273+262144 ~x272+131072 ~x271+65536 ~x270+32768 ~x269+16384 ~x268+8192 ~x267+4096 ~x266+2048 ~x265+1024 ~x264+512 ~x263+256 ~x262+128 ~x261+64 ~x260+32 ~x259+16 ~x258+8 ~x257+4 ~x256+2 ~x255+1 ~x254+471040 x10-0=2147483646
47.17/47.28	c 536870912 ~x2074604+268435456 ~x2074603+134217728 ~x2074602+67108864 ~x2074601+33554432 ~x2074600+16777216 ~x2074599+8388608 ~x2074598+4194304 ~x2074597+2097152 ~x2074596+1048576 ~x2074595+524288 ~x2074594+262144 ~x2074593+131072 ~x2074592+65536 ~x2074591+32768 ~x2074590+16384 ~x2074589+8192 ~x2074588+4096 ~x2074587+2048 ~x2074586+1024 ~x2074585+512 ~x2074584+256 ~x2074583+128 ~x2074582+64 ~x2074581+32 ~x2074580+16 ~x2074579+8 ~x2074578+4 ~x2074577+2 ~x2074576+1 ~x2074575+536870912 ~x313+268435456 ~x312+134217728 ~x311+67108864 ~x310+33554432 ~x309+16777216 ~x308+8388608 ~x307+4194304 ~x306+2097152 ~x305+1048576 ~x304+524288 ~x303+262144 ~x302+131072 ~x301+65536 ~x300+32768 ~x299+16384 ~x298+8192 ~x297+4096 ~x296+2048 ~x295+1024 ~x294+512 ~x293+256 ~x292+128 ~x291+64 ~x290+32 ~x289+16 ~x288+8 ~x287+4 ~x286+2 ~x285+1 ~x284+471040 x11-0=2147483646
47.66/47.75	c 536870912 ~x2095163+268435456 ~x2095162+134217728 ~x2095161+67108864 ~x2095160+33554432 ~x2095159+16777216 ~x2095158+8388608 ~x2095157+4194304 ~x2095156+2097152 ~x2095155+1048576 ~x2095154+524288 ~x2095153+262144 ~x2095152+131072 ~x2095151+65536 ~x2095150+32768 ~x2095149+16384 ~x2095148+8192 ~x2095147+4096 ~x2095146+2048 ~x2095145+1024 ~x2095144+512 ~x2095143+256 ~x2095142+128 ~x2095141+64 ~x2095140+32 ~x2095139+16 ~x2095138+8 ~x2095137+4 ~x2095136+2 ~x2095135+1 ~x2095134+536870912 ~x343+268435456 ~x342+134217728 ~x341+67108864 ~x340+33554432 ~x339+16777216 ~x338+8388608 ~x337+4194304 ~x336+2097152 ~x335+1048576 ~x334+524288 ~x333+262144 ~x332+131072 ~x331+65536 ~x330+32768 ~x329+16384 ~x328+8192 ~x327+4096 ~x326+2048 ~x325+1024 ~x324+512 ~x323+256 ~x322+128 ~x321+64 ~x320+32 ~x319+16 ~x318+8 ~x317+4 ~x316+2 ~x315+1 ~x314+471040 x12-0=2147483646
48.17/48.23	c 536870912 ~x2115722+268435456 ~x2115721+134217728 ~x2115720+67108864 ~x2115719+33554432 ~x2115718+16777216 ~x2115717+8388608 ~x2115716+4194304 ~x2115715+2097152 ~x2115714+1048576 ~x2115713+524288 ~x2115712+262144 ~x2115711+131072 ~x2115710+65536 ~x2115709+32768 ~x2115708+16384 ~x2115707+8192 ~x2115706+4096 ~x2115705+2048 ~x2115704+1024 ~x2115703+512 ~x2115702+256 ~x2115701+128 ~x2115700+64 ~x2115699+32 ~x2115698+16 ~x2115697+8 ~x2115696+4 ~x2115695+2 ~x2115694+1 ~x2115693+536870912 ~x373+268435456 ~x372+134217728 ~x371+67108864 ~x370+33554432 ~x369+16777216 ~x368+8388608 ~x367+4194304 ~x366+2097152 ~x365+1048576 ~x364+524288 ~x363+262144 ~x362+131072 ~x361+65536 ~x360+32768 ~x359+16384 ~x358+8192 ~x357+4096 ~x356+2048 ~x355+1024 ~x354+512 ~x353+256 ~x352+128 ~x351+64 ~x350+32 ~x349+16 ~x348+8 ~x347+4 ~x346+2 ~x345+1 ~x344+471040 x13-0=2147483646
48.67/48.70	c 536870912 ~x2136281+268435456 ~x2136280+134217728 ~x2136279+67108864 ~x2136278+33554432 ~x2136277+16777216 ~x2136276+8388608 ~x2136275+4194304 ~x2136274+2097152 ~x2136273+1048576 ~x2136272+524288 ~x2136271+262144 ~x2136270+131072 ~x2136269+65536 ~x2136268+32768 ~x2136267+16384 ~x2136266+8192 ~x2136265+4096 ~x2136264+2048 ~x2136263+1024 ~x2136262+512 ~x2136261+256 ~x2136260+128 ~x2136259+64 ~x2136258+32 ~x2136257+16 ~x2136256+8 ~x2136255+4 ~x2136254+2 ~x2136253+1 ~x2136252+536870912 ~x403+268435456 ~x402+134217728 ~x401+67108864 ~x400+33554432 ~x399+16777216 ~x398+8388608 ~x397+4194304 ~x396+2097152 ~x395+1048576 ~x394+524288 ~x393+262144 ~x392+131072 ~x391+65536 ~x390+32768 ~x389+16384 ~x388+8192 ~x387+4096 ~x386+2048 ~x385+1024 ~x384+512 ~x383+256 ~x382+128 ~x381+64 ~x380+32 ~x379+16 ~x378+8 ~x377+4 ~x376+2 ~x375+1 ~x374+471040 x14-0=2147483646
49.07/49.17	c 536870912 ~x2156840+268435456 ~x2156839+134217728 ~x2156838+67108864 ~x2156837+33554432 ~x2156836+16777216 ~x2156835+8388608 ~x2156834+4194304 ~x2156833+2097152 ~x2156832+1048576 ~x2156831+524288 ~x2156830+262144 ~x2156829+131072 ~x2156828+65536 ~x2156827+32768 ~x2156826+16384 ~x2156825+8192 ~x2156824+4096 ~x2156823+2048 ~x2156822+1024 ~x2156821+512 ~x2156820+256 ~x2156819+128 ~x2156818+64 ~x2156817+32 ~x2156816+16 ~x2156815+8 ~x2156814+4 ~x2156813+2 ~x2156812+1 ~x2156811+536870912 ~x433+268435456 ~x432+134217728 ~x431+67108864 ~x430+33554432 ~x429+16777216 ~x428+8388608 ~x427+4194304 ~x426+2097152 ~x425+1048576 ~x424+524288 ~x423+262144 ~x422+131072 ~x421+65536 ~x420+32768 ~x419+16384 ~x418+8192 ~x417+4096 ~x416+2048 ~x415+1024 ~x414+512 ~x413+256 ~x412+128 ~x411+64 ~x410+32 ~x409+16 ~x408+8 ~x407+4 ~x406+2 ~x405+1 ~x404+471040 x15-0=2147483646
49.57/49.65	c 536870912 ~x2177399+268435456 ~x2177398+134217728 ~x2177397+67108864 ~x2177396+33554432 ~x2177395+16777216 ~x2177394+8388608 ~x2177393+4194304 ~x2177392+2097152 ~x2177391+1048576 ~x2177390+524288 ~x2177389+262144 ~x2177388+131072 ~x2177387+65536 ~x2177386+32768 ~x2177385+16384 ~x2177384+8192 ~x2177383+4096 ~x2177382+2048 ~x2177381+1024 ~x2177380+512 ~x2177379+256 ~x2177378+128 ~x2177377+64 ~x2177376+32 ~x2177375+16 ~x2177374+8 ~x2177373+4 ~x2177372+2 ~x2177371+1 ~x2177370+536870912 ~x463+268435456 ~x462+134217728 ~x461+67108864 ~x460+33554432 ~x459+16777216 ~x458+8388608 ~x457+4194304 ~x456+2097152 ~x455+1048576 ~x454+524288 ~x453+262144 ~x452+131072 ~x451+65536 ~x450+32768 ~x449+16384 ~x448+8192 ~x447+4096 ~x446+2048 ~x445+1024 ~x444+512 ~x443+256 ~x442+128 ~x441+64 ~x440+32 ~x439+16 ~x438+8 ~x437+4 ~x436+2 ~x435+1 ~x434+307200 x18-0=2147483646
50.07/50.12	c 536870912 ~x2198009+268435456 ~x2198008+134217728 ~x2198007+67108864 ~x2198006+33554432 ~x2198005+16777216 ~x2198004+8388608 ~x2198003+4194304 ~x2198002+2097152 ~x2198001+1048576 ~x2198000+524288 ~x2197999+262144 ~x2197998+131072 ~x2197997+65536 ~x2197996+32768 ~x2197995+16384 ~x2197994+8192 ~x2197993+4096 ~x2197992+2048 ~x2197991+1024 ~x2197990+512 ~x2197989+256 ~x2197988+128 ~x2197987+64 ~x2197986+32 ~x2197985+16 ~x2197984+8 ~x2197983+4 ~x2197982+2 ~x2197981+1 ~x2197980+536870912 ~x493+268435456 ~x492+134217728 ~x491+67108864 ~x490+33554432 ~x489+16777216 ~x488+8388608 ~x487+4194304 ~x486+2097152 ~x485+1048576 ~x484+524288 ~x483+262144 ~x482+131072 ~x481+65536 ~x480+32768 ~x479+16384 ~x478+8192 ~x477+4096 ~x476+2048 ~x475+1024 ~x474+512 ~x473+256 ~x472+128 ~x471+64 ~x470+32 ~x469+16 ~x468+8 ~x467+4 ~x466+2 ~x465+1 ~x464+307200 x19-0=2147483646
50.48/50.60	c 536870912 ~x2218619+268435456 ~x2218618+134217728 ~x2218617+67108864 ~x2218616+33554432 ~x2218615+16777216 ~x2218614+8388608 ~x2218613+4194304 ~x2218612+2097152 ~x2218611+1048576 ~x2218610+524288 ~x2218609+262144 ~x2218608+131072 ~x2218607+65536 ~x2218606+32768 ~x2218605+16384 ~x2218604+8192 ~x2218603+4096 ~x2218602+2048 ~x2218601+1024 ~x2218600+512 ~x2218599+256 ~x2218598+128 ~x2218597+64 ~x2218596+32 ~x2218595+16 ~x2218594+8 ~x2218593+4 ~x2218592+2 ~x2218591+1 ~x2218590+536870912 ~x523+268435456 ~x522+134217728 ~x521+67108864 ~x520+33554432 ~x519+16777216 ~x518+8388608 ~x517+4194304 ~x516+2097152 ~x515+1048576 ~x514+524288 ~x513+262144 ~x512+131072 ~x511+65536 ~x510+32768 ~x509+16384 ~x508+8192 ~x507+4096 ~x506+2048 ~x505+1024 ~x504+512 ~x503+256 ~x502+128 ~x501+64 ~x500+32 ~x499+16 ~x498+8 ~x497+4 ~x496+2 ~x495+1 ~x494+307200 x20-0=2147483646
50.96/51.07	c 536870912 ~x2239229+268435456 ~x2239228+134217728 ~x2239227+67108864 ~x2239226+33554432 ~x2239225+16777216 ~x2239224+8388608 ~x2239223+4194304 ~x2239222+2097152 ~x2239221+1048576 ~x2239220+524288 ~x2239219+262144 ~x2239218+131072 ~x2239217+65536 ~x2239216+32768 ~x2239215+16384 ~x2239214+8192 ~x2239213+4096 ~x2239212+2048 ~x2239211+1024 ~x2239210+512 ~x2239209+256 ~x2239208+128 ~x2239207+64 ~x2239206+32 ~x2239205+16 ~x2239204+8 ~x2239203+4 ~x2239202+2 ~x2239201+1 ~x2239200+536870912 ~x553+268435456 ~x552+134217728 ~x551+67108864 ~x550+33554432 ~x549+16777216 ~x548+8388608 ~x547+4194304 ~x546+2097152 ~x545+1048576 ~x544+524288 ~x543+262144 ~x542+131072 ~x541+65536 ~x540+32768 ~x539+16384 ~x538+8192 ~x537+4096 ~x536+2048 ~x535+1024 ~x534+512 ~x533+256 ~x532+128 ~x531+64 ~x530+32 ~x529+16 ~x528+8 ~x527+4 ~x526+2 ~x525+1 ~x524+307200 x21-0=2147483646
51.47/51.55	c 536870912 ~x2259839+268435456 ~x2259838+134217728 ~x2259837+67108864 ~x2259836+33554432 ~x2259835+16777216 ~x2259834+8388608 ~x2259833+4194304 ~x2259832+2097152 ~x2259831+1048576 ~x2259830+524288 ~x2259829+262144 ~x2259828+131072 ~x2259827+65536 ~x2259826+32768 ~x2259825+16384 ~x2259824+8192 ~x2259823+4096 ~x2259822+2048 ~x2259821+1024 ~x2259820+512 ~x2259819+256 ~x2259818+128 ~x2259817+64 ~x2259816+32 ~x2259815+16 ~x2259814+8 ~x2259813+4 ~x2259812+2 ~x2259811+1 ~x2259810+536870912 ~x583+268435456 ~x582+134217728 ~x581+67108864 ~x580+33554432 ~x579+16777216 ~x578+8388608 ~x577+4194304 ~x576+2097152 ~x575+1048576 ~x574+524288 ~x573+262144 ~x572+131072 ~x571+65536 ~x570+32768 ~x569+16384 ~x568+8192 ~x567+4096 ~x566+2048 ~x565+1024 ~x564+512 ~x563+256 ~x562+128 ~x561+64 ~x560+32 ~x559+16 ~x558+8 ~x557+4 ~x556+2 ~x555+1 ~x554+307200 x22-0=2147483646
51.96/52.02	c 536870912 ~x2280449+268435456 ~x2280448+134217728 ~x2280447+67108864 ~x2280446+33554432 ~x2280445+16777216 ~x2280444+8388608 ~x2280443+4194304 ~x2280442+2097152 ~x2280441+1048576 ~x2280440+524288 ~x2280439+262144 ~x2280438+131072 ~x2280437+65536 ~x2280436+32768 ~x2280435+16384 ~x2280434+8192 ~x2280433+4096 ~x2280432+2048 ~x2280431+1024 ~x2280430+512 ~x2280429+256 ~x2280428+128 ~x2280427+64 ~x2280426+32 ~x2280425+16 ~x2280424+8 ~x2280423+4 ~x2280422+2 ~x2280421+1 ~x2280420+536870912 ~x613+268435456 ~x612+134217728 ~x611+67108864 ~x610+33554432 ~x609+16777216 ~x608+8388608 ~x607+4194304 ~x606+2097152 ~x605+1048576 ~x604+524288 ~x603+262144 ~x602+131072 ~x601+65536 ~x600+32768 ~x599+16384 ~x598+8192 ~x597+4096 ~x596+2048 ~x595+1024 ~x594+512 ~x593+256 ~x592+128 ~x591+64 ~x590+32 ~x589+16 ~x588+8 ~x587+4 ~x586+2 ~x585+1 ~x584+307200 x23-0=2147483646
52.46/52.50	c 536870912 ~x2301059+268435456 ~x2301058+134217728 ~x2301057+67108864 ~x2301056+33554432 ~x2301055+16777216 ~x2301054+8388608 ~x2301053+4194304 ~x2301052+2097152 ~x2301051+1048576 ~x2301050+524288 ~x2301049+262144 ~x2301048+131072 ~x2301047+65536 ~x2301046+32768 ~x2301045+16384 ~x2301044+8192 ~x2301043+4096 ~x2301042+2048 ~x2301041+1024 ~x2301040+512 ~x2301039+256 ~x2301038+128 ~x2301037+64 ~x2301036+32 ~x2301035+16 ~x2301034+8 ~x2301033+4 ~x2301032+2 ~x2301031+1 ~x2301030+536870912 ~x643+268435456 ~x642+134217728 ~x641+67108864 ~x640+33554432 ~x639+16777216 ~x638+8388608 ~x637+4194304 ~x636+2097152 ~x635+1048576 ~x634+524288 ~x633+262144 ~x632+131072 ~x631+65536 ~x630+32768 ~x629+16384 ~x628+8192 ~x627+4096 ~x626+2048 ~x625+1024 ~x624+512 ~x623+256 ~x622+128 ~x621+64 ~x620+32 ~x619+16 ~x618+8 ~x617+4 ~x616+2 ~x615+1 ~x614+256000 x26-0=2147483646
52.87/52.97	c 536870912 ~x2321708+268435456 ~x2321707+134217728 ~x2321706+67108864 ~x2321705+33554432 ~x2321704+16777216 ~x2321703+8388608 ~x2321702+4194304 ~x2321701+2097152 ~x2321700+1048576 ~x2321699+524288 ~x2321698+262144 ~x2321697+131072 ~x2321696+65536 ~x2321695+32768 ~x2321694+16384 ~x2321693+8192 ~x2321692+4096 ~x2321691+2048 ~x2321690+1024 ~x2321689+512 ~x2321688+256 ~x2321687+128 ~x2321686+64 ~x2321685+32 ~x2321684+16 ~x2321683+8 ~x2321682+4 ~x2321681+2 ~x2321680+1 ~x2321679+536870912 ~x673+268435456 ~x672+134217728 ~x671+67108864 ~x670+33554432 ~x669+16777216 ~x668+8388608 ~x667+4194304 ~x666+2097152 ~x665+1048576 ~x664+524288 ~x663+262144 ~x662+131072 ~x661+65536 ~x660+32768 ~x659+16384 ~x658+8192 ~x657+4096 ~x656+2048 ~x655+1024 ~x654+512 ~x653+256 ~x652+128 ~x651+64 ~x650+32 ~x649+16 ~x648+8 ~x647+4 ~x646+2 ~x645+1 ~x644+256000 x27-0=2147483646
53.36/53.45	c 536870912 ~x2342357+268435456 ~x2342356+134217728 ~x2342355+67108864 ~x2342354+33554432 ~x2342353+16777216 ~x2342352+8388608 ~x2342351+4194304 ~x2342350+2097152 ~x2342349+1048576 ~x2342348+524288 ~x2342347+262144 ~x2342346+131072 ~x2342345+65536 ~x2342344+32768 ~x2342343+16384 ~x2342342+8192 ~x2342341+4096 ~x2342340+2048 ~x2342339+1024 ~x2342338+512 ~x2342337+256 ~x2342336+128 ~x2342335+64 ~x2342334+32 ~x2342333+16 ~x2342332+8 ~x2342331+4 ~x2342330+2 ~x2342329+1 ~x2342328+536870912 ~x703+268435456 ~x702+134217728 ~x701+67108864 ~x700+33554432 ~x699+16777216 ~x698+8388608 ~x697+4194304 ~x696+2097152 ~x695+1048576 ~x694+524288 ~x693+262144 ~x692+131072 ~x691+65536 ~x690+32768 ~x689+16384 ~x688+8192 ~x687+4096 ~x686+2048 ~x685+1024 ~x684+512 ~x683+256 ~x682+128 ~x681+64 ~x680+32 ~x679+16 ~x678+8 ~x677+4 ~x676+2 ~x675+1 ~x674+256000 x28-0=2147483646
53.88/53.93	c 536870912 ~x2363006+268435456 ~x2363005+134217728 ~x2363004+67108864 ~x2363003+33554432 ~x2363002+16777216 ~x2363001+8388608 ~x2363000+4194304 ~x2362999+2097152 ~x2362998+1048576 ~x2362997+524288 ~x2362996+262144 ~x2362995+131072 ~x2362994+65536 ~x2362993+32768 ~x2362992+16384 ~x2362991+8192 ~x2362990+4096 ~x2362989+2048 ~x2362988+1024 ~x2362987+512 ~x2362986+256 ~x2362985+128 ~x2362984+64 ~x2362983+32 ~x2362982+16 ~x2362981+8 ~x2362980+4 ~x2362979+2 ~x2362978+1 ~x2362977+536870912 ~x733+268435456 ~x732+134217728 ~x731+67108864 ~x730+33554432 ~x729+16777216 ~x728+8388608 ~x727+4194304 ~x726+2097152 ~x725+1048576 ~x724+524288 ~x723+262144 ~x722+131072 ~x721+65536 ~x720+32768 ~x719+16384 ~x718+8192 ~x717+4096 ~x716+2048 ~x715+1024 ~x714+512 ~x713+256 ~x712+128 ~x711+64 ~x710+32 ~x709+16 ~x708+8 ~x707+4 ~x706+2 ~x705+1 ~x704+256000 x29-0=2147483646
54.36/54.41	c 536870912 ~x2383655+268435456 ~x2383654+134217728 ~x2383653+67108864 ~x2383652+33554432 ~x2383651+16777216 ~x2383650+8388608 ~x2383649+4194304 ~x2383648+2097152 ~x2383647+1048576 ~x2383646+524288 ~x2383645+262144 ~x2383644+131072 ~x2383643+65536 ~x2383642+32768 ~x2383641+16384 ~x2383640+8192 ~x2383639+4096 ~x2383638+2048 ~x2383637+1024 ~x2383636+512 ~x2383635+256 ~x2383634+128 ~x2383633+64 ~x2383632+32 ~x2383631+16 ~x2383630+8 ~x2383629+4 ~x2383628+2 ~x2383627+1 ~x2383626+536870912 ~x763+268435456 ~x762+134217728 ~x761+67108864 ~x760+33554432 ~x759+16777216 ~x758+8388608 ~x757+4194304 ~x756+2097152 ~x755+1048576 ~x754+524288 ~x753+262144 ~x752+131072 ~x751+65536 ~x750+32768 ~x749+16384 ~x748+8192 ~x747+4096 ~x746+2048 ~x745+1024 ~x744+512 ~x743+256 ~x742+128 ~x741+64 ~x740+32 ~x739+16 ~x738+8 ~x737+4 ~x736+2 ~x735+1 ~x734+256000 x30-0=2147483646
54.77/54.88	c 536870912 ~x2404304+268435456 ~x2404303+134217728 ~x2404302+67108864 ~x2404301+33554432 ~x2404300+16777216 ~x2404299+8388608 ~x2404298+4194304 ~x2404297+2097152 ~x2404296+1048576 ~x2404295+524288 ~x2404294+262144 ~x2404293+131072 ~x2404292+65536 ~x2404291+32768 ~x2404290+16384 ~x2404289+8192 ~x2404288+4096 ~x2404287+2048 ~x2404286+1024 ~x2404285+512 ~x2404284+256 ~x2404283+128 ~x2404282+64 ~x2404281+32 ~x2404280+16 ~x2404279+8 ~x2404278+4 ~x2404277+2 ~x2404276+1 ~x2404275+536870912 ~x793+268435456 ~x792+134217728 ~x791+67108864 ~x790+33554432 ~x789+16777216 ~x788+8388608 ~x787+4194304 ~x786+2097152 ~x785+1048576 ~x784+524288 ~x783+262144 ~x782+131072 ~x781+65536 ~x780+32768 ~x779+16384 ~x778+8192 ~x777+4096 ~x776+2048 ~x775+1024 ~x774+512 ~x773+256 ~x772+128 ~x771+64 ~x770+32 ~x769+16 ~x768+8 ~x767+4 ~x766+2 ~x765+1 ~x764+256000 x31-0=2147483646
55.27/55.36	c 536870912 ~x2424953+268435456 ~x2424952+134217728 ~x2424951+67108864 ~x2424950+33554432 ~x2424949+16777216 ~x2424948+8388608 ~x2424947+4194304 ~x2424946+2097152 ~x2424945+1048576 ~x2424944+524288 ~x2424943+262144 ~x2424942+131072 ~x2424941+65536 ~x2424940+32768 ~x2424939+16384 ~x2424938+8192 ~x2424937+4096 ~x2424936+2048 ~x2424935+1024 ~x2424934+512 ~x2424933+256 ~x2424932+128 ~x2424931+64 ~x2424930+32 ~x2424929+16 ~x2424928+8 ~x2424927+4 ~x2424926+2 ~x2424925+1 ~x2424924+536870912 ~x823+268435456 ~x822+134217728 ~x821+67108864 ~x820+33554432 ~x819+16777216 ~x818+8388608 ~x817+4194304 ~x816+2097152 ~x815+1048576 ~x814+524288 ~x813+262144 ~x812+131072 ~x811+65536 ~x810+32768 ~x809+16384 ~x808+8192 ~x807+4096 ~x806+2048 ~x805+1024 ~x804+512 ~x803+256 ~x802+128 ~x801+64 ~x800+32 ~x799+16 ~x798+8 ~x797+4 ~x796+2 ~x795+1 ~x794+450560 x34-0=2147483646
55.77/55.87	c 536870912 ~x2445596+268435456 ~x2445595+134217728 ~x2445594+67108864 ~x2445593+33554432 ~x2445592+16777216 ~x2445591+8388608 ~x2445590+4194304 ~x2445589+2097152 ~x2445588+1048576 ~x2445587+524288 ~x2445586+262144 ~x2445585+131072 ~x2445584+65536 ~x2445583+32768 ~x2445582+16384 ~x2445581+8192 ~x2445580+4096 ~x2445579+2048 ~x2445578+1024 ~x2445577+512 ~x2445576+256 ~x2445575+128 ~x2445574+64 ~x2445573+32 ~x2445572+16 ~x2445571+8 ~x2445570+4 ~x2445569+2 ~x2445568+1 ~x2445567+536870912 ~x853+268435456 ~x852+134217728 ~x851+67108864 ~x850+33554432 ~x849+16777216 ~x848+8388608 ~x847+4194304 ~x846+2097152 ~x845+1048576 ~x844+524288 ~x843+262144 ~x842+131072 ~x841+65536 ~x840+32768 ~x839+16384 ~x838+8192 ~x837+4096 ~x836+2048 ~x835+1024 ~x834+512 ~x833+256 ~x832+128 ~x831+64 ~x830+32 ~x829+16 ~x828+8 ~x827+4 ~x826+2 ~x825+1 ~x824+450560 x35-0=2147483646
56.27/56.35	c 536870912 ~x2466239+268435456 ~x2466238+134217728 ~x2466237+67108864 ~x2466236+33554432 ~x2466235+16777216 ~x2466234+8388608 ~x2466233+4194304 ~x2466232+2097152 ~x2466231+1048576 ~x2466230+524288 ~x2466229+262144 ~x2466228+131072 ~x2466227+65536 ~x2466226+32768 ~x2466225+16384 ~x2466224+8192 ~x2466223+4096 ~x2466222+2048 ~x2466221+1024 ~x2466220+512 ~x2466219+256 ~x2466218+128 ~x2466217+64 ~x2466216+32 ~x2466215+16 ~x2466214+8 ~x2466213+4 ~x2466212+2 ~x2466211+1 ~x2466210+536870912 ~x883+268435456 ~x882+134217728 ~x881+67108864 ~x880+33554432 ~x879+16777216 ~x878+8388608 ~x877+4194304 ~x876+2097152 ~x875+1048576 ~x874+524288 ~x873+262144 ~x872+131072 ~x871+65536 ~x870+32768 ~x869+16384 ~x868+8192 ~x867+4096 ~x866+2048 ~x865+1024 ~x864+512 ~x863+256 ~x862+128 ~x861+64 ~x860+32 ~x859+16 ~x858+8 ~x857+4 ~x856+2 ~x855+1 ~x854+450560 x36-0=2147483646
56.76/56.82	c 536870912 ~x2486882+268435456 ~x2486881+134217728 ~x2486880+67108864 ~x2486879+33554432 ~x2486878+16777216 ~x2486877+8388608 ~x2486876+4194304 ~x2486875+2097152 ~x2486874+1048576 ~x2486873+524288 ~x2486872+262144 ~x2486871+131072 ~x2486870+65536 ~x2486869+32768 ~x2486868+16384 ~x2486867+8192 ~x2486866+4096 ~x2486865+2048 ~x2486864+1024 ~x2486863+512 ~x2486862+256 ~x2486861+128 ~x2486860+64 ~x2486859+32 ~x2486858+16 ~x2486857+8 ~x2486856+4 ~x2486855+2 ~x2486854+1 ~x2486853+536870912 ~x913+268435456 ~x912+134217728 ~x911+67108864 ~x910+33554432 ~x909+16777216 ~x908+8388608 ~x907+4194304 ~x906+2097152 ~x905+1048576 ~x904+524288 ~x903+262144 ~x902+131072 ~x901+65536 ~x900+32768 ~x899+16384 ~x898+8192 ~x897+4096 ~x896+2048 ~x895+1024 ~x894+512 ~x893+256 ~x892+128 ~x891+64 ~x890+32 ~x889+16 ~x888+8 ~x887+4 ~x886+2 ~x885+1 ~x884+450560 x37-0=2147483646
57.18/57.29	c 536870912 ~x2507525+268435456 ~x2507524+134217728 ~x2507523+67108864 ~x2507522+33554432 ~x2507521+16777216 ~x2507520+8388608 ~x2507519+4194304 ~x2507518+2097152 ~x2507517+1048576 ~x2507516+524288 ~x2507515+262144 ~x2507514+131072 ~x2507513+65536 ~x2507512+32768 ~x2507511+16384 ~x2507510+8192 ~x2507509+4096 ~x2507508+2048 ~x2507507+1024 ~x2507506+512 ~x2507505+256 ~x2507504+128 ~x2507503+64 ~x2507502+32 ~x2507501+16 ~x2507500+8 ~x2507499+4 ~x2507498+2 ~x2507497+1 ~x2507496+536870912 ~x943+268435456 ~x942+134217728 ~x941+67108864 ~x940+33554432 ~x939+16777216 ~x938+8388608 ~x937+4194304 ~x936+2097152 ~x935+1048576 ~x934+524288 ~x933+262144 ~x932+131072 ~x931+65536 ~x930+32768 ~x929+16384 ~x928+8192 ~x927+4096 ~x926+2048 ~x925+1024 ~x924+512 ~x923+256 ~x922+128 ~x921+64 ~x920+32 ~x919+16 ~x918+8 ~x917+4 ~x916+2 ~x915+1 ~x914+450560 x38-0=2147483646
57.66/57.76	c 536870912 ~x2528168+268435456 ~x2528167+134217728 ~x2528166+67108864 ~x2528165+33554432 ~x2528164+16777216 ~x2528163+8388608 ~x2528162+4194304 ~x2528161+2097152 ~x2528160+1048576 ~x2528159+524288 ~x2528158+262144 ~x2528157+131072 ~x2528156+65536 ~x2528155+32768 ~x2528154+16384 ~x2528153+8192 ~x2528152+4096 ~x2528151+2048 ~x2528150+1024 ~x2528149+512 ~x2528148+256 ~x2528147+128 ~x2528146+64 ~x2528145+32 ~x2528144+16 ~x2528143+8 ~x2528142+4 ~x2528141+2 ~x2528140+1 ~x2528139+536870912 ~x973+268435456 ~x972+134217728 ~x971+67108864 ~x970+33554432 ~x969+16777216 ~x968+8388608 ~x967+4194304 ~x966+2097152 ~x965+1048576 ~x964+524288 ~x963+262144 ~x962+131072 ~x961+65536 ~x960+32768 ~x959+16384 ~x958+8192 ~x957+4096 ~x956+2048 ~x955+1024 ~x954+512 ~x953+256 ~x952+128 ~x951+64 ~x950+32 ~x949+16 ~x948+8 ~x947+4 ~x946+2 ~x945+1 ~x944+450560 x39-0=2147483646
58.18/58.24	c 536870912 ~x2548811+268435456 ~x2548810+134217728 ~x2548809+67108864 ~x2548808+33554432 ~x2548807+16777216 ~x2548806+8388608 ~x2548805+4194304 ~x2548804+2097152 ~x2548803+1048576 ~x2548802+524288 ~x2548801+262144 ~x2548800+131072 ~x2548799+65536 ~x2548798+32768 ~x2548797+16384 ~x2548796+8192 ~x2548795+4096 ~x2548794+2048 ~x2548793+1024 ~x2548792+512 ~x2548791+256 ~x2548790+128 ~x2548789+64 ~x2548788+32 ~x2548787+16 ~x2548786+8 ~x2548785+4 ~x2548784+2 ~x2548783+1 ~x2548782+536870912 ~x1003+268435456 ~x1002+134217728 ~x1001+67108864 ~x1000+33554432 ~x999+16777216 ~x998+8388608 ~x997+4194304 ~x996+2097152 ~x995+1048576 ~x994+524288 ~x993+262144 ~x992+131072 ~x991+65536 ~x990+32768 ~x989+16384 ~x988+8192 ~x987+4096 ~x986+2048 ~x985+1024 ~x984+512 ~x983+256 ~x982+128 ~x981+64 ~x980+32 ~x979+16 ~x978+8 ~x977+4 ~x976+2 ~x975+1 ~x974+481280 x42-0=2147483646
58.67/58.71	c 536870912 ~x2569430+268435456 ~x2569429+134217728 ~x2569428+67108864 ~x2569427+33554432 ~x2569426+16777216 ~x2569425+8388608 ~x2569424+4194304 ~x2569423+2097152 ~x2569422+1048576 ~x2569421+524288 ~x2569420+262144 ~x2569419+131072 ~x2569418+65536 ~x2569417+32768 ~x2569416+16384 ~x2569415+8192 ~x2569414+4096 ~x2569413+2048 ~x2569412+1024 ~x2569411+512 ~x2569410+256 ~x2569409+128 ~x2569408+64 ~x2569407+32 ~x2569406+16 ~x2569405+8 ~x2569404+4 ~x2569403+2 ~x2569402+1 ~x2569401+536870912 ~x1033+268435456 ~x1032+134217728 ~x1031+67108864 ~x1030+33554432 ~x1029+16777216 ~x1028+8388608 ~x1027+4194304 ~x1026+2097152 ~x1025+1048576 ~x1024+524288 ~x1023+262144 ~x1022+131072 ~x1021+65536 ~x1020+32768 ~x1019+16384 ~x1018+8192 ~x1017+4096 ~x1016+2048 ~x1015+1024 ~x1014+512 ~x1013+256 ~x1012+128 ~x1011+64 ~x1010+32 ~x1009+16 ~x1008+8 ~x1007+4 ~x1006+2 ~x1005+1 ~x1004+481280 x43-0=2147483646
59.07/59.19	c 536870912 ~x2590049+268435456 ~x2590048+134217728 ~x2590047+67108864 ~x2590046+33554432 ~x2590045+16777216 ~x2590044+8388608 ~x2590043+4194304 ~x2590042+2097152 ~x2590041+1048576 ~x2590040+524288 ~x2590039+262144 ~x2590038+131072 ~x2590037+65536 ~x2590036+32768 ~x2590035+16384 ~x2590034+8192 ~x2590033+4096 ~x2590032+2048 ~x2590031+1024 ~x2590030+512 ~x2590029+256 ~x2590028+128 ~x2590027+64 ~x2590026+32 ~x2590025+16 ~x2590024+8 ~x2590023+4 ~x2590022+2 ~x2590021+1 ~x2590020+536870912 ~x1063+268435456 ~x1062+134217728 ~x1061+67108864 ~x1060+33554432 ~x1059+16777216 ~x1058+8388608 ~x1057+4194304 ~x1056+2097152 ~x1055+1048576 ~x1054+524288 ~x1053+262144 ~x1052+131072 ~x1051+65536 ~x1050+32768 ~x1049+16384 ~x1048+8192 ~x1047+4096 ~x1046+2048 ~x1045+1024 ~x1044+512 ~x1043+256 ~x1042+128 ~x1041+64 ~x1040+32 ~x1039+16 ~x1038+8 ~x1037+4 ~x1036+2 ~x1035+1 ~x1034+481280 x44-0=2147483646
59.57/59.66	c 536870912 ~x2610668+268435456 ~x2610667+134217728 ~x2610666+67108864 ~x2610665+33554432 ~x2610664+16777216 ~x2610663+8388608 ~x2610662+4194304 ~x2610661+2097152 ~x2610660+1048576 ~x2610659+524288 ~x2610658+262144 ~x2610657+131072 ~x2610656+65536 ~x2610655+32768 ~x2610654+16384 ~x2610653+8192 ~x2610652+4096 ~x2610651+2048 ~x2610650+1024 ~x2610649+512 ~x2610648+256 ~x2610647+128 ~x2610646+64 ~x2610645+32 ~x2610644+16 ~x2610643+8 ~x2610642+4 ~x2610641+2 ~x2610640+1 ~x2610639+536870912 ~x1093+268435456 ~x1092+134217728 ~x1091+67108864 ~x1090+33554432 ~x1089+16777216 ~x1088+8388608 ~x1087+4194304 ~x1086+2097152 ~x1085+1048576 ~x1084+524288 ~x1083+262144 ~x1082+131072 ~x1081+65536 ~x1080+32768 ~x1079+16384 ~x1078+8192 ~x1077+4096 ~x1076+2048 ~x1075+1024 ~x1074+512 ~x1073+256 ~x1072+128 ~x1071+64 ~x1070+32 ~x1069+16 ~x1068+8 ~x1067+4 ~x1066+2 ~x1065+1 ~x1064+481280 x45-0=2147483646
60.06/60.14	c 536870912 ~x2631287+268435456 ~x2631286+134217728 ~x2631285+67108864 ~x2631284+33554432 ~x2631283+16777216 ~x2631282+8388608 ~x2631281+4194304 ~x2631280+2097152 ~x2631279+1048576 ~x2631278+524288 ~x2631277+262144 ~x2631276+131072 ~x2631275+65536 ~x2631274+32768 ~x2631273+16384 ~x2631272+8192 ~x2631271+4096 ~x2631270+2048 ~x2631269+1024 ~x2631268+512 ~x2631267+256 ~x2631266+128 ~x2631265+64 ~x2631264+32 ~x2631263+16 ~x2631262+8 ~x2631261+4 ~x2631260+2 ~x2631259+1 ~x2631258+536870912 ~x1123+268435456 ~x1122+134217728 ~x1121+67108864 ~x1120+33554432 ~x1119+16777216 ~x1118+8388608 ~x1117+4194304 ~x1116+2097152 ~x1115+1048576 ~x1114+524288 ~x1113+262144 ~x1112+131072 ~x1111+65536 ~x1110+32768 ~x1109+16384 ~x1108+8192 ~x1107+4096 ~x1106+2048 ~x1105+1024 ~x1104+512 ~x1103+256 ~x1102+128 ~x1101+64 ~x1100+32 ~x1099+16 ~x1098+8 ~x1097+4 ~x1096+2 ~x1095+1 ~x1094+481280 x46-0=2147483646
60.57/60.61	c 536870912 ~x2651906+268435456 ~x2651905+134217728 ~x2651904+67108864 ~x2651903+33554432 ~x2651902+16777216 ~x2651901+8388608 ~x2651900+4194304 ~x2651899+2097152 ~x2651898+1048576 ~x2651897+524288 ~x2651896+262144 ~x2651895+131072 ~x2651894+65536 ~x2651893+32768 ~x2651892+16384 ~x2651891+8192 ~x2651890+4096 ~x2651889+2048 ~x2651888+1024 ~x2651887+512 ~x2651886+256 ~x2651885+128 ~x2651884+64 ~x2651883+32 ~x2651882+16 ~x2651881+8 ~x2651880+4 ~x2651879+2 ~x2651878+1 ~x2651877+536870912 ~x1153+268435456 ~x1152+134217728 ~x1151+67108864 ~x1150+33554432 ~x1149+16777216 ~x1148+8388608 ~x1147+4194304 ~x1146+2097152 ~x1145+1048576 ~x1144+524288 ~x1143+262144 ~x1142+131072 ~x1141+65536 ~x1140+32768 ~x1139+16384 ~x1138+8192 ~x1137+4096 ~x1136+2048 ~x1135+1024 ~x1134+512 ~x1133+256 ~x1132+128 ~x1131+64 ~x1130+32 ~x1129+16 ~x1128+8 ~x1127+4 ~x1126+2 ~x1125+1 ~x1124+481280 x47-0=2147483646
61.07/61.10	c 536870912 ~x2672525+268435456 ~x2672524+134217728 ~x2672523+67108864 ~x2672522+33554432 ~x2672521+16777216 ~x2672520+8388608 ~x2672519+4194304 ~x2672518+2097152 ~x2672517+1048576 ~x2672516+524288 ~x2672515+262144 ~x2672514+131072 ~x2672513+65536 ~x2672512+32768 ~x2672511+16384 ~x2672510+8192 ~x2672509+4096 ~x2672508+2048 ~x2672507+1024 ~x2672506+512 ~x2672505+256 ~x2672504+128 ~x2672503+64 ~x2672502+32 ~x2672501+16 ~x2672500+8 ~x2672499+4 ~x2672498+2 ~x2672497+1 ~x2672496+536870912 ~x1183+268435456 ~x1182+134217728 ~x1181+67108864 ~x1180+33554432 ~x1179+16777216 ~x1178+8388608 ~x1177+4194304 ~x1176+2097152 ~x1175+1048576 ~x1174+524288 ~x1173+262144 ~x1172+131072 ~x1171+65536 ~x1170+32768 ~x1169+16384 ~x1168+8192 ~x1167+4096 ~x1166+2048 ~x1165+1024 ~x1164+512 ~x1163+256 ~x1162+128 ~x1161+64 ~x1160+32 ~x1159+16 ~x1158+8 ~x1157+4 ~x1156+2 ~x1155+1 ~x1154+327680 x50-0=2147483646
61.47/61.57	c 536870912 ~x2693096+268435456 ~x2693095+134217728 ~x2693094+67108864 ~x2693093+33554432 ~x2693092+16777216 ~x2693091+8388608 ~x2693090+4194304 ~x2693089+2097152 ~x2693088+1048576 ~x2693087+524288 ~x2693086+262144 ~x2693085+131072 ~x2693084+65536 ~x2693083+32768 ~x2693082+16384 ~x2693081+8192 ~x2693080+4096 ~x2693079+2048 ~x2693078+1024 ~x2693077+512 ~x2693076+256 ~x2693075+128 ~x2693074+64 ~x2693073+32 ~x2693072+16 ~x2693071+8 ~x2693070+4 ~x2693069+2 ~x2693068+1 ~x2693067+536870912 ~x1213+268435456 ~x1212+134217728 ~x1211+67108864 ~x1210+33554432 ~x1209+16777216 ~x1208+8388608 ~x1207+4194304 ~x1206+2097152 ~x1205+1048576 ~x1204+524288 ~x1203+262144 ~x1202+131072 ~x1201+65536 ~x1200+32768 ~x1199+16384 ~x1198+8192 ~x1197+4096 ~x1196+2048 ~x1195+1024 ~x1194+512 ~x1193+256 ~x1192+128 ~x1191+64 ~x1190+32 ~x1189+16 ~x1188+8 ~x1187+4 ~x1186+2 ~x1185+1 ~x1184+327680 x51-0=2147483646
61.96/62.05	c 536870912 ~x2713667+268435456 ~x2713666+134217728 ~x2713665+67108864 ~x2713664+33554432 ~x2713663+16777216 ~x2713662+8388608 ~x2713661+4194304 ~x2713660+2097152 ~x2713659+1048576 ~x2713658+524288 ~x2713657+262144 ~x2713656+131072 ~x2713655+65536 ~x2713654+32768 ~x2713653+16384 ~x2713652+8192 ~x2713651+4096 ~x2713650+2048 ~x2713649+1024 ~x2713648+512 ~x2713647+256 ~x2713646+128 ~x2713645+64 ~x2713644+32 ~x2713643+16 ~x2713642+8 ~x2713641+4 ~x2713640+2 ~x2713639+1 ~x2713638+536870912 ~x1243+268435456 ~x1242+134217728 ~x1241+67108864 ~x1240+33554432 ~x1239+16777216 ~x1238+8388608 ~x1237+4194304 ~x1236+2097152 ~x1235+1048576 ~x1234+524288 ~x1233+262144 ~x1232+131072 ~x1231+65536 ~x1230+32768 ~x1229+16384 ~x1228+8192 ~x1227+4096 ~x1226+2048 ~x1225+1024 ~x1224+512 ~x1223+256 ~x1222+128 ~x1221+64 ~x1220+32 ~x1219+16 ~x1218+8 ~x1217+4 ~x1216+2 ~x1215+1 ~x1214+327680 x52-0=2147483646
62.46/62.52	c 536870912 ~x2734238+268435456 ~x2734237+134217728 ~x2734236+67108864 ~x2734235+33554432 ~x2734234+16777216 ~x2734233+8388608 ~x2734232+4194304 ~x2734231+2097152 ~x2734230+1048576 ~x2734229+524288 ~x2734228+262144 ~x2734227+131072 ~x2734226+65536 ~x2734225+32768 ~x2734224+16384 ~x2734223+8192 ~x2734222+4096 ~x2734221+2048 ~x2734220+1024 ~x2734219+512 ~x2734218+256 ~x2734217+128 ~x2734216+64 ~x2734215+32 ~x2734214+16 ~x2734213+8 ~x2734212+4 ~x2734211+2 ~x2734210+1 ~x2734209+536870912 ~x1273+268435456 ~x1272+134217728 ~x1271+67108864 ~x1270+33554432 ~x1269+16777216 ~x1268+8388608 ~x1267+4194304 ~x1266+2097152 ~x1265+1048576 ~x1264+524288 ~x1263+262144 ~x1262+131072 ~x1261+65536 ~x1260+32768 ~x1259+16384 ~x1258+8192 ~x1257+4096 ~x1256+2048 ~x1255+1024 ~x1254+512 ~x1253+256 ~x1252+128 ~x1251+64 ~x1250+32 ~x1249+16 ~x1248+8 ~x1247+4 ~x1246+2 ~x1245+1 ~x1244+327680 x53-0=2147483646
62.86/62.99	c 536870912 ~x2754809+268435456 ~x2754808+134217728 ~x2754807+67108864 ~x2754806+33554432 ~x2754805+16777216 ~x2754804+8388608 ~x2754803+4194304 ~x2754802+2097152 ~x2754801+1048576 ~x2754800+524288 ~x2754799+262144 ~x2754798+131072 ~x2754797+65536 ~x2754796+32768 ~x2754795+16384 ~x2754794+8192 ~x2754793+4096 ~x2754792+2048 ~x2754791+1024 ~x2754790+512 ~x2754789+256 ~x2754788+128 ~x2754787+64 ~x2754786+32 ~x2754785+16 ~x2754784+8 ~x2754783+4 ~x2754782+2 ~x2754781+1 ~x2754780+536870912 ~x1303+268435456 ~x1302+134217728 ~x1301+67108864 ~x1300+33554432 ~x1299+16777216 ~x1298+8388608 ~x1297+4194304 ~x1296+2097152 ~x1295+1048576 ~x1294+524288 ~x1293+262144 ~x1292+131072 ~x1291+65536 ~x1290+32768 ~x1289+16384 ~x1288+8192 ~x1287+4096 ~x1286+2048 ~x1285+1024 ~x1284+512 ~x1283+256 ~x1282+128 ~x1281+64 ~x1280+32 ~x1279+16 ~x1278+8 ~x1277+4 ~x1276+2 ~x1275+1 ~x1274+327680 x54-0=2147483646
63.37/63.47	c 536870912 ~x2775380+268435456 ~x2775379+134217728 ~x2775378+67108864 ~x2775377+33554432 ~x2775376+16777216 ~x2775375+8388608 ~x2775374+4194304 ~x2775373+2097152 ~x2775372+1048576 ~x2775371+524288 ~x2775370+262144 ~x2775369+131072 ~x2775368+65536 ~x2775367+32768 ~x2775366+16384 ~x2775365+8192 ~x2775364+4096 ~x2775363+2048 ~x2775362+1024 ~x2775361+512 ~x2775360+256 ~x2775359+128 ~x2775358+64 ~x2775357+32 ~x2775356+16 ~x2775355+8 ~x2775354+4 ~x2775353+2 ~x2775352+1 ~x2775351+536870912 ~x1333+268435456 ~x1332+134217728 ~x1331+67108864 ~x1330+33554432 ~x1329+16777216 ~x1328+8388608 ~x1327+4194304 ~x1326+2097152 ~x1325+1048576 ~x1324+524288 ~x1323+262144 ~x1322+131072 ~x1321+65536 ~x1320+32768 ~x1319+16384 ~x1318+8192 ~x1317+4096 ~x1316+2048 ~x1315+1024 ~x1314+512 ~x1313+256 ~x1312+128 ~x1311+64 ~x1310+32 ~x1309+16 ~x1308+8 ~x1307+4 ~x1306+2 ~x1305+1 ~x1304+327680 x55-0=2147483646
63.86/63.94	c 536870912 ~x2795951+268435456 ~x2795950+134217728 ~x2795949+67108864 ~x2795948+33554432 ~x2795947+16777216 ~x2795946+8388608 ~x2795945+4194304 ~x2795944+2097152 ~x2795943+1048576 ~x2795942+524288 ~x2795941+262144 ~x2795940+131072 ~x2795939+65536 ~x2795938+32768 ~x2795937+16384 ~x2795936+8192 ~x2795935+4096 ~x2795934+2048 ~x2795933+1024 ~x2795932+512 ~x2795931+256 ~x2795930+128 ~x2795929+64 ~x2795928+32 ~x2795927+16 ~x2795926+8 ~x2795925+4 ~x2795924+2 ~x2795923+1 ~x2795922+536870912 ~x1363+268435456 ~x1362+134217728 ~x1361+67108864 ~x1360+33554432 ~x1359+16777216 ~x1358+8388608 ~x1357+4194304 ~x1356+2097152 ~x1355+1048576 ~x1354+524288 ~x1353+262144 ~x1352+131072 ~x1351+65536 ~x1350+32768 ~x1349+16384 ~x1348+8192 ~x1347+4096 ~x1346+2048 ~x1345+1024 ~x1344+512 ~x1343+256 ~x1342+128 ~x1341+64 ~x1340+32 ~x1339+16 ~x1338+8 ~x1337+4 ~x1336+2 ~x1335+1 ~x1334+512000 x58-0=2147483646
64.36/64.42	c 536870912 ~x2816552+268435456 ~x2816551+134217728 ~x2816550+67108864 ~x2816549+33554432 ~x2816548+16777216 ~x2816547+8388608 ~x2816546+4194304 ~x2816545+2097152 ~x2816544+1048576 ~x2816543+524288 ~x2816542+262144 ~x2816541+131072 ~x2816540+65536 ~x2816539+32768 ~x2816538+16384 ~x2816537+8192 ~x2816536+4096 ~x2816535+2048 ~x2816534+1024 ~x2816533+512 ~x2816532+256 ~x2816531+128 ~x2816530+64 ~x2816529+32 ~x2816528+16 ~x2816527+8 ~x2816526+4 ~x2816525+2 ~x2816524+1 ~x2816523+536870912 ~x1393+268435456 ~x1392+134217728 ~x1391+67108864 ~x1390+33554432 ~x1389+16777216 ~x1388+8388608 ~x1387+4194304 ~x1386+2097152 ~x1385+1048576 ~x1384+524288 ~x1383+262144 ~x1382+131072 ~x1381+65536 ~x1380+32768 ~x1379+16384 ~x1378+8192 ~x1377+4096 ~x1376+2048 ~x1375+1024 ~x1374+512 ~x1373+256 ~x1372+128 ~x1371+64 ~x1370+32 ~x1369+16 ~x1368+8 ~x1367+4 ~x1366+2 ~x1365+1 ~x1364+512000 x59-0=2147483646
64.77/64.89	c 536870912 ~x2837153+268435456 ~x2837152+134217728 ~x2837151+67108864 ~x2837150+33554432 ~x2837149+16777216 ~x2837148+8388608 ~x2837147+4194304 ~x2837146+2097152 ~x2837145+1048576 ~x2837144+524288 ~x2837143+262144 ~x2837142+131072 ~x2837141+65536 ~x2837140+32768 ~x2837139+16384 ~x2837138+8192 ~x2837137+4096 ~x2837136+2048 ~x2837135+1024 ~x2837134+512 ~x2837133+256 ~x2837132+128 ~x2837131+64 ~x2837130+32 ~x2837129+16 ~x2837128+8 ~x2837127+4 ~x2837126+2 ~x2837125+1 ~x2837124+536870912 ~x1423+268435456 ~x1422+134217728 ~x1421+67108864 ~x1420+33554432 ~x1419+16777216 ~x1418+8388608 ~x1417+4194304 ~x1416+2097152 ~x1415+1048576 ~x1414+524288 ~x1413+262144 ~x1412+131072 ~x1411+65536 ~x1410+32768 ~x1409+16384 ~x1408+8192 ~x1407+4096 ~x1406+2048 ~x1405+1024 ~x1404+512 ~x1403+256 ~x1402+128 ~x1401+64 ~x1400+32 ~x1399+16 ~x1398+8 ~x1397+4 ~x1396+2 ~x1395+1 ~x1394+512000 x60-0=2147483646
65.27/65.37	c 536870912 ~x2857754+268435456 ~x2857753+134217728 ~x2857752+67108864 ~x2857751+33554432 ~x2857750+16777216 ~x2857749+8388608 ~x2857748+4194304 ~x2857747+2097152 ~x2857746+1048576 ~x2857745+524288 ~x2857744+262144 ~x2857743+131072 ~x2857742+65536 ~x2857741+32768 ~x2857740+16384 ~x2857739+8192 ~x2857738+4096 ~x2857737+2048 ~x2857736+1024 ~x2857735+512 ~x2857734+256 ~x2857733+128 ~x2857732+64 ~x2857731+32 ~x2857730+16 ~x2857729+8 ~x2857728+4 ~x2857727+2 ~x2857726+1 ~x2857725+536870912 ~x1453+268435456 ~x1452+134217728 ~x1451+67108864 ~x1450+33554432 ~x1449+16777216 ~x1448+8388608 ~x1447+4194304 ~x1446+2097152 ~x1445+1048576 ~x1444+524288 ~x1443+262144 ~x1442+131072 ~x1441+65536 ~x1440+32768 ~x1439+16384 ~x1438+8192 ~x1437+4096 ~x1436+2048 ~x1435+1024 ~x1434+512 ~x1433+256 ~x1432+128 ~x1431+64 ~x1430+32 ~x1429+16 ~x1428+8 ~x1427+4 ~x1426+2 ~x1425+1 ~x1424+512000 x61-0=2147483646
65.77/65.84	c 536870912 ~x2878355+268435456 ~x2878354+134217728 ~x2878353+67108864 ~x2878352+33554432 ~x2878351+16777216 ~x2878350+8388608 ~x2878349+4194304 ~x2878348+2097152 ~x2878347+1048576 ~x2878346+524288 ~x2878345+262144 ~x2878344+131072 ~x2878343+65536 ~x2878342+32768 ~x2878341+16384 ~x2878340+8192 ~x2878339+4096 ~x2878338+2048 ~x2878337+1024 ~x2878336+512 ~x2878335+256 ~x2878334+128 ~x2878333+64 ~x2878332+32 ~x2878331+16 ~x2878330+8 ~x2878329+4 ~x2878328+2 ~x2878327+1 ~x2878326+536870912 ~x1483+268435456 ~x1482+134217728 ~x1481+67108864 ~x1480+33554432 ~x1479+16777216 ~x1478+8388608 ~x1477+4194304 ~x1476+2097152 ~x1475+1048576 ~x1474+524288 ~x1473+262144 ~x1472+131072 ~x1471+65536 ~x1470+32768 ~x1469+16384 ~x1468+8192 ~x1467+4096 ~x1466+2048 ~x1465+1024 ~x1464+512 ~x1463+256 ~x1462+128 ~x1461+64 ~x1460+32 ~x1459+16 ~x1458+8 ~x1457+4 ~x1456+2 ~x1455+1 ~x1454+512000 x62-0=2147483646
66.26/66.31	c 536870912 ~x2898956+268435456 ~x2898955+134217728 ~x2898954+67108864 ~x2898953+33554432 ~x2898952+16777216 ~x2898951+8388608 ~x2898950+4194304 ~x2898949+2097152 ~x2898948+1048576 ~x2898947+524288 ~x2898946+262144 ~x2898945+131072 ~x2898944+65536 ~x2898943+32768 ~x2898942+16384 ~x2898941+8192 ~x2898940+4096 ~x2898939+2048 ~x2898938+1024 ~x2898937+512 ~x2898936+256 ~x2898935+128 ~x2898934+64 ~x2898933+32 ~x2898932+16 ~x2898931+8 ~x2898930+4 ~x2898929+2 ~x2898928+1 ~x2898927+536870912 ~x1513+268435456 ~x1512+134217728 ~x1511+67108864 ~x1510+33554432 ~x1509+16777216 ~x1508+8388608 ~x1507+4194304 ~x1506+2097152 ~x1505+1048576 ~x1504+524288 ~x1503+262144 ~x1502+131072 ~x1501+65536 ~x1500+32768 ~x1499+16384 ~x1498+8192 ~x1497+4096 ~x1496+2048 ~x1495+1024 ~x1494+512 ~x1493+256 ~x1492+128 ~x1491+64 ~x1490+32 ~x1489+16 ~x1488+8 ~x1487+4 ~x1486+2 ~x1485+1 ~x1484+512000 x63-0=2147483646
66.67/66.79	c 536870912 ~x2919557+268435456 ~x2919556+134217728 ~x2919555+67108864 ~x2919554+33554432 ~x2919553+16777216 ~x2919552+8388608 ~x2919551+4194304 ~x2919550+2097152 ~x2919549+1048576 ~x2919548+524288 ~x2919547+262144 ~x2919546+131072 ~x2919545+65536 ~x2919544+32768 ~x2919543+16384 ~x2919542+8192 ~x2919541+4096 ~x2919540+2048 ~x2919539+1024 ~x2919538+512 ~x2919537+256 ~x2919536+128 ~x2919535+64 ~x2919534+32 ~x2919533+16 ~x2919532+8 ~x2919531+4 ~x2919530+2 ~x2919529+1 ~x2919528+536870912 ~x1543+268435456 ~x1542+134217728 ~x1541+67108864 ~x1540+33554432 ~x1539+16777216 ~x1538+8388608 ~x1537+4194304 ~x1536+2097152 ~x1535+1048576 ~x1534+524288 ~x1533+262144 ~x1532+131072 ~x1531+65536 ~x1530+32768 ~x1529+16384 ~x1528+8192 ~x1527+4096 ~x1526+2048 ~x1525+1024 ~x1524+512 ~x1523+256 ~x1522+128 ~x1521+64 ~x1520+32 ~x1519+16 ~x1518+8 ~x1517+4 ~x1516+2 ~x1515+1 ~x1514+512000 x64-0=2147483646
67.16/67.26	c 536870912 ~x2940158+268435456 ~x2940157+134217728 ~x2940156+67108864 ~x2940155+33554432 ~x2940154+16777216 ~x2940153+8388608 ~x2940152+4194304 ~x2940151+2097152 ~x2940150+1048576 ~x2940149+524288 ~x2940148+262144 ~x2940147+131072 ~x2940146+65536 ~x2940145+32768 ~x2940144+16384 ~x2940143+8192 ~x2940142+4096 ~x2940141+2048 ~x2940140+1024 ~x2940139+512 ~x2940138+256 ~x2940137+128 ~x2940136+64 ~x2940135+32 ~x2940134+16 ~x2940133+8 ~x2940132+4 ~x2940131+2 ~x2940130+1 ~x2940129+536870912 ~x1573+268435456 ~x1572+134217728 ~x1571+67108864 ~x1570+33554432 ~x1569+16777216 ~x1568+8388608 ~x1567+4194304 ~x1566+2097152 ~x1565+1048576 ~x1564+524288 ~x1563+262144 ~x1562+131072 ~x1561+65536 ~x1560+32768 ~x1559+16384 ~x1558+8192 ~x1557+4096 ~x1556+2048 ~x1555+1024 ~x1554+512 ~x1553+256 ~x1552+128 ~x1551+64 ~x1550+32 ~x1549+16 ~x1548+8 ~x1547+4 ~x1546+2 ~x1545+1 ~x1544+512000 x66-0=2147483646
67.66/67.74	c 536870912 ~x2960759+268435456 ~x2960758+134217728 ~x2960757+67108864 ~x2960756+33554432 ~x2960755+16777216 ~x2960754+8388608 ~x2960753+4194304 ~x2960752+2097152 ~x2960751+1048576 ~x2960750+524288 ~x2960749+262144 ~x2960748+131072 ~x2960747+65536 ~x2960746+32768 ~x2960745+16384 ~x2960744+8192 ~x2960743+4096 ~x2960742+2048 ~x2960741+1024 ~x2960740+512 ~x2960739+256 ~x2960738+128 ~x2960737+64 ~x2960736+32 ~x2960735+16 ~x2960734+8 ~x2960733+4 ~x2960732+2 ~x2960731+1 ~x2960730+536870912 ~x1603+268435456 ~x1602+134217728 ~x1601+67108864 ~x1600+33554432 ~x1599+16777216 ~x1598+8388608 ~x1597+4194304 ~x1596+2097152 ~x1595+1048576 ~x1594+524288 ~x1593+262144 ~x1592+131072 ~x1591+65536 ~x1590+32768 ~x1589+16384 ~x1588+8192 ~x1587+4096 ~x1586+2048 ~x1585+1024 ~x1584+512 ~x1583+256 ~x1582+128 ~x1581+64 ~x1580+32 ~x1579+16 ~x1578+8 ~x1577+4 ~x1576+2 ~x1575+1 ~x1574+512000 x67-0=2147483646
68.17/68.21	c 536870912 ~x2981360+268435456 ~x2981359+134217728 ~x2981358+67108864 ~x2981357+33554432 ~x2981356+16777216 ~x2981355+8388608 ~x2981354+4194304 ~x2981353+2097152 ~x2981352+1048576 ~x2981351+524288 ~x2981350+262144 ~x2981349+131072 ~x2981348+65536 ~x2981347+32768 ~x2981346+16384 ~x2981345+8192 ~x2981344+4096 ~x2981343+2048 ~x2981342+1024 ~x2981341+512 ~x2981340+256 ~x2981339+128 ~x2981338+64 ~x2981337+32 ~x2981336+16 ~x2981335+8 ~x2981334+4 ~x2981333+2 ~x2981332+1 ~x2981331+536870912 ~x1633+268435456 ~x1632+134217728 ~x1631+67108864 ~x1630+33554432 ~x1629+16777216 ~x1628+8388608 ~x1627+4194304 ~x1626+2097152 ~x1625+1048576 ~x1624+524288 ~x1623+262144 ~x1622+131072 ~x1621+65536 ~x1620+32768 ~x1619+16384 ~x1618+8192 ~x1617+4096 ~x1616+2048 ~x1615+1024 ~x1614+512 ~x1613+256 ~x1612+128 ~x1611+64 ~x1610+32 ~x1609+16 ~x1608+8 ~x1607+4 ~x1606+2 ~x1605+1 ~x1604+512000 x68-0=2147483646
68.56/68.69	c 536870912 ~x3001961+268435456 ~x3001960+134217728 ~x3001959+67108864 ~x3001958+33554432 ~x3001957+16777216 ~x3001956+8388608 ~x3001955+4194304 ~x3001954+2097152 ~x3001953+1048576 ~x3001952+524288 ~x3001951+262144 ~x3001950+131072 ~x3001949+65536 ~x3001948+32768 ~x3001947+16384 ~x3001946+8192 ~x3001945+4096 ~x3001944+2048 ~x3001943+1024 ~x3001942+512 ~x3001941+256 ~x3001940+128 ~x3001939+64 ~x3001938+32 ~x3001937+16 ~x3001936+8 ~x3001935+4 ~x3001934+2 ~x3001933+1 ~x3001932+536870912 ~x1663+268435456 ~x1662+134217728 ~x1661+67108864 ~x1660+33554432 ~x1659+16777216 ~x1658+8388608 ~x1657+4194304 ~x1656+2097152 ~x1655+1048576 ~x1654+524288 ~x1653+262144 ~x1652+131072 ~x1651+65536 ~x1650+32768 ~x1649+16384 ~x1648+8192 ~x1647+4096 ~x1646+2048 ~x1645+1024 ~x1644+512 ~x1643+256 ~x1642+128 ~x1641+64 ~x1640+32 ~x1639+16 ~x1638+8 ~x1637+4 ~x1636+2 ~x1635+1 ~x1634+512000 x69-0=2147483646
69.06/69.16	c 536870912 ~x3022562+268435456 ~x3022561+134217728 ~x3022560+67108864 ~x3022559+33554432 ~x3022558+16777216 ~x3022557+8388608 ~x3022556+4194304 ~x3022555+2097152 ~x3022554+1048576 ~x3022553+524288 ~x3022552+262144 ~x3022551+131072 ~x3022550+65536 ~x3022549+32768 ~x3022548+16384 ~x3022547+8192 ~x3022546+4096 ~x3022545+2048 ~x3022544+1024 ~x3022543+512 ~x3022542+256 ~x3022541+128 ~x3022540+64 ~x3022539+32 ~x3022538+16 ~x3022537+8 ~x3022536+4 ~x3022535+2 ~x3022534+1 ~x3022533+536870912 ~x1693+268435456 ~x1692+134217728 ~x1691+67108864 ~x1690+33554432 ~x1689+16777216 ~x1688+8388608 ~x1687+4194304 ~x1686+2097152 ~x1685+1048576 ~x1684+524288 ~x1683+262144 ~x1682+131072 ~x1681+65536 ~x1680+32768 ~x1679+16384 ~x1678+8192 ~x1677+4096 ~x1676+2048 ~x1675+1024 ~x1674+512 ~x1673+256 ~x1672+128 ~x1671+64 ~x1670+32 ~x1669+16 ~x1668+8 ~x1667+4 ~x1666+2 ~x1665+1 ~x1664+512000 x70-0=2147483646
69.57/69.69	c 536870912 ~x3043163+268435456 ~x3043162+134217728 ~x3043161+67108864 ~x3043160+33554432 ~x3043159+16777216 ~x3043158+8388608 ~x3043157+4194304 ~x3043156+2097152 ~x3043155+1048576 ~x3043154+524288 ~x3043153+262144 ~x3043152+131072 ~x3043151+65536 ~x3043150+32768 ~x3043149+16384 ~x3043148+8192 ~x3043147+4096 ~x3043146+2048 ~x3043145+1024 ~x3043144+512 ~x3043143+256 ~x3043142+128 ~x3043141+64 ~x3043140+32 ~x3043139+16 ~x3043138+8 ~x3043137+4 ~x3043136+2 ~x3043135+1 ~x3043134+536870912 ~x1723+268435456 ~x1722+134217728 ~x1721+67108864 ~x1720+33554432 ~x1719+16777216 ~x1718+8388608 ~x1717+4194304 ~x1716+2097152 ~x1715+1048576 ~x1714+524288 ~x1713+262144 ~x1712+131072 ~x1711+65536 ~x1710+32768 ~x1709+16384 ~x1708+8192 ~x1707+4096 ~x1706+2048 ~x1705+1024 ~x1704+512 ~x1703+256 ~x1702+128 ~x1701+64 ~x1700+32 ~x1699+16 ~x1698+8 ~x1697+4 ~x1696+2 ~x1695+1 ~x1694+512000 x71-0=2147483646
70.07/70.16	c 536870912 ~x3063764+268435456 ~x3063763+134217728 ~x3063762+67108864 ~x3063761+33554432 ~x3063760+16777216 ~x3063759+8388608 ~x3063758+4194304 ~x3063757+2097152 ~x3063756+1048576 ~x3063755+524288 ~x3063754+262144 ~x3063753+131072 ~x3063752+65536 ~x3063751+32768 ~x3063750+16384 ~x3063749+8192 ~x3063748+4096 ~x3063747+2048 ~x3063746+1024 ~x3063745+512 ~x3063744+256 ~x3063743+128 ~x3063742+64 ~x3063741+32 ~x3063740+16 ~x3063739+8 ~x3063738+4 ~x3063737+2 ~x3063736+1 ~x3063735+536870912 ~x1753+268435456 ~x1752+134217728 ~x1751+67108864 ~x1750+33554432 ~x1749+16777216 ~x1748+8388608 ~x1747+4194304 ~x1746+2097152 ~x1745+1048576 ~x1744+524288 ~x1743+262144 ~x1742+131072 ~x1741+65536 ~x1740+32768 ~x1739+16384 ~x1738+8192 ~x1737+4096 ~x1736+2048 ~x1735+1024 ~x1734+512 ~x1733+256 ~x1732+128 ~x1731+64 ~x1730+32 ~x1729+16 ~x1728+8 ~x1727+4 ~x1726+2 ~x1725+1 ~x1724+512000 x72-0=2147483646
70.57/70.63	c 32768 ~x3084351+16384 ~x3084350+8192 ~x3084349+4096 ~x3084348+2048 ~x3084347+1024 ~x3084346+512 ~x3084345+256 ~x3084344+128 ~x3084343+64 ~x3084342+32 ~x3084341+16 ~x3084340+8 ~x3084339+4 ~x3084338+2 ~x3084337+1 ~x3084336+32768 x89+16384 x88+8192 x87+4096 x86+2048 x85+1024 x84+512 x83+256 x82+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74-0=106495
70.66/70.74	c 131072 ~x3088815+65536 ~x3088814+32768 ~x3088813+16384 ~x3088812+8192 ~x3088811+4096 ~x3088810+2048 ~x3088809+1024 ~x3088808+512 ~x3088807+256 ~x3088806+128 ~x3088805+64 ~x3088804+32 ~x3088803+16 ~x3088802+8 ~x3088801+4 ~x3088800+2 ~x3088799+1 ~x3088798+131072 x121+65536 x120+32768 x119+16384 x118+8192 x117+4096 x116+2048 x115+1024 x114+512 x113+256 x112+128 x111+64 x110+32 x109+16 x108+8 x107+4 x106+2 x105+1 x104-0=466943
70.76/70.89	c 131072 ~x3095297+65536 ~x3095296+32768 ~x3095295+16384 ~x3095294+8192 ~x3095293+4096 ~x3095292+2048 ~x3095291+1024 ~x3095290+512 ~x3095289+256 ~x3095288+128 ~x3095287+64 ~x3095286+32 ~x3095285+16 ~x3095284+8 ~x3095283+4 ~x3095282+2 ~x3095281+1 ~x3095280+131072 x151+65536 x150+32768 x149+16384 x148+8192 x147+4096 x146+2048 x145+1024 x144+512 x143+256 x142+128 x141+64 x140+32 x139+16 x138+8 x137+4 x136+2 x135+1 x134-0=518143
70.96/71.05	c 32768 ~x3101777+16384 ~x3101776+8192 ~x3101775+4096 ~x3101774+2048 ~x3101773+1024 ~x3101772+512 ~x3101771+256 ~x3101770+128 ~x3101769+64 ~x3101768+32 ~x3101767+16 ~x3101766+8 ~x3101765+4 ~x3101764+2 ~x3101763+1 ~x3101762+32768 x179+16384 x178+8192 x177+4096 x176+2048 x175+1024 x174+512 x173+256 x172+128 x171+64 x170+32 x169+16 x168+8 x167+4 x166+2 x165+1 x164-0=126975
71.07/71.15	c 16384 ~x3106238+8192 ~x3106237+4096 ~x3106236+2048 ~x3106235+1024 ~x3106234+512 ~x3106233+256 ~x3106232+128 ~x3106231+64 ~x3106230+32 ~x3106229+16 ~x3106228+8 ~x3106227+4 ~x3106226+2 ~x3106225+1 ~x3106224+16384 x208+8192 x207+4096 x206+2048 x205+1024 x204+512 x203+256 x202+128 x201+64 x200+32 x199+16 x198+8 x197+4 x196+2 x195+1 x194-0=63487
71.16/71.25	c 131072 ~x3110118+65536 ~x3110117+32768 ~x3110116+16384 ~x3110115+8192 ~x3110114+4096 ~x3110113+2048 ~x3110112+1024 ~x3110111+512 ~x3110110+256 ~x3110109+128 ~x3110108+64 ~x3110107+32 ~x3110106+16 ~x3110105+8 ~x3110104+4 ~x3110103+2 ~x3110102+1 ~x3110101+131072 x241+65536 x240+32768 x239+16384 x238+8192 x237+4096 x236+2048 x235+1024 x234+512 x233+256 x232+128 x231+64 x230+32 x229+16 x228+8 x227+4 x226+2 x225+1 x224-0=446463
71.37/71.40	c 262144 ~x3116601+131072 ~x3116600+65536 ~x3116599+32768 ~x3116598+16384 ~x3116597+8192 ~x3116596+4096 ~x3116595+2048 ~x3116594+1024 ~x3116593+512 ~x3116592+256 ~x3116591+128 ~x3116590+64 ~x3116589+32 ~x3116588+16 ~x3116587+8 ~x3116586+4 ~x3116585+2 ~x3116584+1 ~x3116583+262144 x272+131072 x271+65536 x270+32768 x269+16384 x268+8192 x267+4096 x266+2048 x265+1024 x264+512 x263+256 x262+128 x261+64 x260+32 x259+16 x258+8 x257+4 x256+2 x255+1 x254-0=831487
71.47/71.57	c 131072 ~x3123515+65536 ~x3123514+32768 ~x3123513+16384 ~x3123512+8192 ~x3123511+4096 ~x3123510+2048 ~x3123509+1024 ~x3123508+512 ~x3123507+256 ~x3123506+128 ~x3123505+64 ~x3123504+32 ~x3123503+16 ~x3123502+8 ~x3123501+4 ~x3123500+2 ~x3123499+1 ~x3123498+131072 x301+65536 x300+32768 x299+16384 x298+8192 x297+4096 x296+2048 x295+1024 x294+512 x293+256 x292+128 x291+64 x290+32 x289+16 x288+8 x287+4 x286+2 x285+1 x284-0=466943
71.66/71.72	c 131072 ~x3129997+65536 ~x3129996+32768 ~x3129995+16384 ~x3129994+8192 ~x3129993+4096 ~x3129992+2048 ~x3129991+1024 ~x3129990+512 ~x3129989+256 ~x3129988+128 ~x3129987+64 ~x3129986+32 ~x3129985+16 ~x3129984+8 ~x3129983+4 ~x3129982+2 ~x3129981+1 ~x3129980+131072 x331+65536 x330+32768 x329+16384 x328+8192 x327+4096 x326+2048 x325+1024 x324+512 x323+256 x322+128 x321+64 x320+32 x319+16 x318+8 x317+4 x316+2 x315+1 x314-0=518143
71.76/71.88	c 32768 ~x3136477+16384 ~x3136476+8192 ~x3136475+4096 ~x3136474+2048 ~x3136473+1024 ~x3136472+512 ~x3136471+256 ~x3136470+128 ~x3136469+64 ~x3136468+32 ~x3136467+16 ~x3136466+8 ~x3136465+4 ~x3136464+2 ~x3136463+1 ~x3136462+32768 x359+16384 x358+8192 x357+4096 x356+2048 x355+1024 x354+512 x353+256 x352+128 x351+64 x350+32 x349+16 x348+8 x347+4 x346+2 x345+1 x344-0=126975
71.86/71.99	c 16384 ~x3140938+8192 ~x3140937+4096 ~x3140936+2048 ~x3140935+1024 ~x3140934+512 ~x3140933+256 ~x3140932+128 ~x3140931+64 ~x3140930+32 ~x3140929+16 ~x3140928+8 ~x3140927+4 ~x3140926+2 ~x3140925+1 ~x3140924+16384 x388+8192 x387+4096 x386+2048 x385+1024 x384+512 x383+256 x382+128 x381+64 x380+32 x379+16 x378+8 x377+4 x376+2 x375+1 x374-0=63487
71.96/72.08	c 131072 ~x3144818+65536 ~x3144817+32768 ~x3144816+16384 ~x3144815+8192 ~x3144814+4096 ~x3144813+2048 ~x3144812+1024 ~x3144811+512 ~x3144810+256 ~x3144809+128 ~x3144808+64 ~x3144807+32 ~x3144806+16 ~x3144805+8 ~x3144804+4 ~x3144803+2 ~x3144802+1 ~x3144801+131072 x421+65536 x420+32768 x419+16384 x418+8192 x417+4096 x416+2048 x415+1024 x414+512 x413+256 x412+128 x411+64 x410+32 x409+16 x408+8 x407+4 x406+2 x405+1 x404-0=446463
72.17/72.24	c 262144 ~x3151301+131072 ~x3151300+65536 ~x3151299+32768 ~x3151298+16384 ~x3151297+8192 ~x3151296+4096 ~x3151295+2048 ~x3151294+1024 ~x3151293+512 ~x3151292+256 ~x3151291+128 ~x3151290+64 ~x3151289+32 ~x3151288+16 ~x3151287+8 ~x3151286+4 ~x3151285+2 ~x3151284+1 ~x3151283+262144 x452+131072 x451+65536 x450+32768 x449+16384 x448+8192 x447+4096 x446+2048 x445+1024 x444+512 x443+256 x442+128 x441+64 x440+32 x439+16 x438+8 x437+4 x436+2 x435+1 x434-0=831487
72.36/72.40	c 32768 ~x3158213+16384 ~x3158212+8192 ~x3158211+4096 ~x3158210+2048 ~x3158209+1024 ~x3158208+512 ~x3158207+256 ~x3158206+128 ~x3158205+64 ~x3158204+32 ~x3158203+16 ~x3158202+8 ~x3158201+4 ~x3158200+2 ~x3158199+1 ~x3158198+32768 x479+16384 x478+8192 x477+4096 x476+2048 x475+1024 x474+512 x473+256 x472+128 x471+64 x470+32 x469+16 x468+8 x467+4 x466+2 x465+1 x464-0=106495
72.47/72.51	c 131072 ~x3162677+65536 ~x3162676+32768 ~x3162675+16384 ~x3162674+8192 ~x3162673+4096 ~x3162672+2048 ~x3162671+1024 ~x3162670+512 ~x3162669+256 ~x3162668+128 ~x3162667+64 ~x3162666+32 ~x3162665+16 ~x3162664+8 ~x3162663+4 ~x3162662+2 ~x3162661+1 ~x3162660+131072 x511+65536 x510+32768 x509+16384 x508+8192 x507+4096 x506+2048 x505+1024 x504+512 x503+256 x502+128 x501+64 x500+32 x499+16 x498+8 x497+4 x496+2 x495+1 x494-0=518143
72.57/72.66	c 32768 ~x3169157+16384 ~x3169156+8192 ~x3169155+4096 ~x3169154+2048 ~x3169153+1024 ~x3169152+512 ~x3169151+256 ~x3169150+128 ~x3169149+64 ~x3169148+32 ~x3169147+16 ~x3169146+8 ~x3169145+4 ~x3169144+2 ~x3169143+1 ~x3169142+32768 x539+16384 x538+8192 x537+4096 x536+2048 x535+1024 x534+512 x533+256 x532+128 x531+64 x530+32 x529+16 x528+8 x527+4 x526+2 x525+1 x524-0=126975
72.66/72.77	c 16384 ~x3173618+8192 ~x3173617+4096 ~x3173616+2048 ~x3173615+1024 ~x3173614+512 ~x3173613+256 ~x3173612+128 ~x3173611+64 ~x3173610+32 ~x3173609+16 ~x3173608+8 ~x3173607+4 ~x3173606+2 ~x3173605+1 ~x3173604+16384 x568+8192 x567+4096 x566+2048 x565+1024 x564+512 x563+256 x562+128 x561+64 x560+32 x559+16 x558+8 x557+4 x556+2 x555+1 x554-0=63487
72.76/72.87	c 131072 ~x3177498+65536 ~x3177497+32768 ~x3177496+16384 ~x3177495+8192 ~x3177494+4096 ~x3177493+2048 ~x3177492+1024 ~x3177491+512 ~x3177490+256 ~x3177489+128 ~x3177488+64 ~x3177487+32 ~x3177486+16 ~x3177485+8 ~x3177484+4 ~x3177483+2 ~x3177482+1 ~x3177481+131072 x601+65536 x600+32768 x599+16384 x598+8192 x597+4096 x596+2048 x595+1024 x594+512 x593+256 x592+128 x591+64 x590+32 x589+16 x588+8 x587+4 x586+2 x585+1 x584-0=446463
72.96/73.02	c 262144 ~x3183981+131072 ~x3183980+65536 ~x3183979+32768 ~x3183978+16384 ~x3183977+8192 ~x3183976+4096 ~x3183975+2048 ~x3183974+1024 ~x3183973+512 ~x3183972+256 ~x3183971+128 ~x3183970+64 ~x3183969+32 ~x3183968+16 ~x3183967+8 ~x3183966+4 ~x3183965+2 ~x3183964+1 ~x3183963+262144 x632+131072 x631+65536 x630+32768 x629+16384 x628+8192 x627+4096 x626+2048 x625+1024 x624+512 x623+256 x622+128 x621+64 x620+32 x619+16 x618+8 x617+4 x616+2 x615+1 x614-0=831487
73.06/73.19	c 32768 ~x3190893+16384 ~x3190892+8192 ~x3190891+4096 ~x3190890+2048 ~x3190889+1024 ~x3190888+512 ~x3190887+256 ~x3190886+128 ~x3190885+64 ~x3190884+32 ~x3190883+16 ~x3190882+8 ~x3190881+4 ~x3190880+2 ~x3190879+1 ~x3190878+32768 x659+16384 x658+8192 x657+4096 x656+2048 x655+1024 x654+512 x653+256 x652+128 x651+64 x650+32 x649+16 x648+8 x647+4 x646+2 x645+1 x644-0=106495
73.16/73.29	c 131072 ~x3195357+65536 ~x3195356+32768 ~x3195355+16384 ~x3195354+8192 ~x3195353+4096 ~x3195352+2048 ~x3195351+1024 ~x3195350+512 ~x3195349+256 ~x3195348+128 ~x3195347+64 ~x3195346+32 ~x3195345+16 ~x3195344+8 ~x3195343+4 ~x3195342+2 ~x3195341+1 ~x3195340+131072 x691+65536 x690+32768 x689+16384 x688+8192 x687+4096 x686+2048 x685+1024 x684+512 x683+256 x682+128 x681+64 x680+32 x679+16 x678+8 x677+4 x676+2 x675+1 x674-0=466943
73.36/73.45	c 32768 ~x3201837+16384 ~x3201836+8192 ~x3201835+4096 ~x3201834+2048 ~x3201833+1024 ~x3201832+512 ~x3201831+256 ~x3201830+128 ~x3201829+64 ~x3201828+32 ~x3201827+16 ~x3201826+8 ~x3201825+4 ~x3201824+2 ~x3201823+1 ~x3201822+32768 x719+16384 x718+8192 x717+4096 x716+2048 x715+1024 x714+512 x713+256 x712+128 x711+64 x710+32 x709+16 x708+8 x707+4 x706+2 x705+1 x704-0=126975
73.46/73.55	c 16384 ~x3206298+8192 ~x3206297+4096 ~x3206296+2048 ~x3206295+1024 ~x3206294+512 ~x3206293+256 ~x3206292+128 ~x3206291+64 ~x3206290+32 ~x3206289+16 ~x3206288+8 ~x3206287+4 ~x3206286+2 ~x3206285+1 ~x3206284+16384 x748+8192 x747+4096 x746+2048 x745+1024 x744+512 x743+256 x742+128 x741+64 x740+32 x739+16 x738+8 x737+4 x736+2 x735+1 x734-0=63487
73.57/73.65	c 131072 ~x3210178+65536 ~x3210177+32768 ~x3210176+16384 ~x3210175+8192 ~x3210174+4096 ~x3210173+2048 ~x3210172+1024 ~x3210171+512 ~x3210170+256 ~x3210169+128 ~x3210168+64 ~x3210167+32 ~x3210166+16 ~x3210165+8 ~x3210164+4 ~x3210163+2 ~x3210162+1 ~x3210161+131072 x781+65536 x780+32768 x779+16384 x778+8192 x777+4096 x776+2048 x775+1024 x774+512 x773+256 x772+128 x771+64 x770+32 x769+16 x768+8 x767+4 x766+2 x765+1 x764-0=446463
73.77/73.80	c 262144 ~x3216661+131072 ~x3216660+65536 ~x3216659+32768 ~x3216658+16384 ~x3216657+8192 ~x3216656+4096 ~x3216655+2048 ~x3216654+1024 ~x3216653+512 ~x3216652+256 ~x3216651+128 ~x3216650+64 ~x3216649+32 ~x3216648+16 ~x3216647+8 ~x3216646+4 ~x3216645+2 ~x3216644+1 ~x3216643+262144 x812+131072 x811+65536 x810+32768 x809+16384 x808+8192 x807+4096 x806+2048 x805+1024 x804+512 x803+256 x802+128 x801+64 x800+32 x799+16 x798+8 x797+4 x796+2 x795+1 x794-0=831487
73.87/73.97	c 32768 ~x3223573+16384 ~x3223572+8192 ~x3223571+4096 ~x3223570+2048 ~x3223569+1024 ~x3223568+512 ~x3223567+256 ~x3223566+128 ~x3223565+64 ~x3223564+32 ~x3223563+16 ~x3223562+8 ~x3223561+4 ~x3223560+2 ~x3223559+1 ~x3223558+32768 x839+16384 x838+8192 x837+4096 x836+2048 x835+1024 x834+512 x833+256 x832+128 x831+64 x830+32 x829+16 x828+8 x827+4 x826+2 x825+1 x824-0=106495
73.96/74.08	c 131072 ~x3228037+65536 ~x3228036+32768 ~x3228035+16384 ~x3228034+8192 ~x3228033+4096 ~x3228032+2048 ~x3228031+1024 ~x3228030+512 ~x3228029+256 ~x3228028+128 ~x3228027+64 ~x3228026+32 ~x3228025+16 ~x3228024+8 ~x3228023+4 ~x3228022+2 ~x3228021+1 ~x3228020+131072 x871+65536 x870+32768 x869+16384 x868+8192 x867+4096 x866+2048 x865+1024 x864+512 x863+256 x862+128 x861+64 x860+32 x859+16 x858+8 x857+4 x856+2 x855+1 x854-0=466943
74.16/74.23	c 131072 ~x3234519+65536 ~x3234518+32768 ~x3234517+16384 ~x3234516+8192 ~x3234515+4096 ~x3234514+2048 ~x3234513+1024 ~x3234512+512 ~x3234511+256 ~x3234510+128 ~x3234509+64 ~x3234508+32 ~x3234507+16 ~x3234506+8 ~x3234505+4 ~x3234504+2 ~x3234503+1 ~x3234502+131072 x901+65536 x900+32768 x899+16384 x898+8192 x897+4096 x896+2048 x895+1024 x894+512 x893+256 x892+128 x891+64 x890+32 x889+16 x888+8 x887+4 x886+2 x885+1 x884-0=518143
74.27/74.39	c 16384 ~x3240998+8192 ~x3240997+4096 ~x3240996+2048 ~x3240995+1024 ~x3240994+512 ~x3240993+256 ~x3240992+128 ~x3240991+64 ~x3240990+32 ~x3240989+16 ~x3240988+8 ~x3240987+4 ~x3240986+2 ~x3240985+1 ~x3240984+16384 x928+8192 x927+4096 x926+2048 x925+1024 x924+512 x923+256 x922+128 x921+64 x920+32 x919+16 x918+8 x917+4 x916+2 x915+1 x914-0=63487
74.36/74.48	c 131072 ~x3244878+65536 ~x3244877+32768 ~x3244876+16384 ~x3244875+8192 ~x3244874+4096 ~x3244873+2048 ~x3244872+1024 ~x3244871+512 ~x3244870+256 ~x3244869+128 ~x3244868+64 ~x3244867+32 ~x3244866+16 ~x3244865+8 ~x3244864+4 ~x3244863+2 ~x3244862+1 ~x3244861+131072 x961+65536 x960+32768 x959+16384 x958+8192 x957+4096 x956+2048 x955+1024 x954+512 x953+256 x952+128 x951+64 x950+32 x949+16 x948+8 x947+4 x946+2 x945+1 x944-0=446463
74.56/74.64	c 262144 ~x3251361+131072 ~x3251360+65536 ~x3251359+32768 ~x3251358+16384 ~x3251357+8192 ~x3251356+4096 ~x3251355+2048 ~x3251354+1024 ~x3251353+512 ~x3251352+256 ~x3251351+128 ~x3251350+64 ~x3251349+32 ~x3251348+16 ~x3251347+8 ~x3251346+4 ~x3251345+2 ~x3251344+1 ~x3251343+262144 x992+131072 x991+65536 x990+32768 x989+16384 x988+8192 x987+4096 x986+2048 x985+1024 x984+512 x983+256 x982+128 x981+64 x980+32 x979+16 x978+8 x977+4 x976+2 x975+1 x974-0=831487
74.67/74.80	c 32768 ~x3258273+16384 ~x3258272+8192 ~x3258271+4096 ~x3258270+2048 ~x3258269+1024 ~x3258268+512 ~x3258267+256 ~x3258266+128 ~x3258265+64 ~x3258264+32 ~x3258263+16 ~x3258262+8 ~x3258261+4 ~x3258260+2 ~x3258259+1 ~x3258258+32768 x1019+16384 x1018+8192 x1017+4096 x1016+2048 x1015+1024 x1014+512 x1013+256 x1012+128 x1011+64 x1010+32 x1009+16 x1008+8 x1007+4 x1006+2 x1005+1 x1004-0=106495
74.86/74.91	c 131072 ~x3262737+65536 ~x3262736+32768 ~x3262735+16384 ~x3262734+8192 ~x3262733+4096 ~x3262732+2048 ~x3262731+1024 ~x3262730+512 ~x3262729+256 ~x3262728+128 ~x3262727+64 ~x3262726+32 ~x3262725+16 ~x3262724+8 ~x3262723+4 ~x3262722+2 ~x3262721+1 ~x3262720+131072 x1051+65536 x1050+32768 x1049+16384 x1048+8192 x1047+4096 x1046+2048 x1045+1024 x1044+512 x1043+256 x1042+128 x1041+64 x1040+32 x1039+16 x1038+8 x1037+4 x1036+2 x1035+1 x1034-0=466943
74.96/75.07	c 131072 ~x3269219+65536 ~x3269218+32768 ~x3269217+16384 ~x3269216+8192 ~x3269215+4096 ~x3269214+2048 ~x3269213+1024 ~x3269212+512 ~x3269211+256 ~x3269210+128 ~x3269209+64 ~x3269208+32 ~x3269207+16 ~x3269206+8 ~x3269205+4 ~x3269204+2 ~x3269203+1 ~x3269202+131072 x1081+65536 x1080+32768 x1079+16384 x1078+8192 x1077+4096 x1076+2048 x1075+1024 x1074+512 x1073+256 x1072+128 x1071+64 x1070+32 x1069+16 x1068+8 x1067+4 x1066+2 x1065+1 x1064-0=518143
75.16/75.22	c 32768 ~x3275699+16384 ~x3275698+8192 ~x3275697+4096 ~x3275696+2048 ~x3275695+1024 ~x3275694+512 ~x3275693+256 ~x3275692+128 ~x3275691+64 ~x3275690+32 ~x3275689+16 ~x3275688+8 ~x3275687+4 ~x3275686+2 ~x3275685+1 ~x3275684+32768 x1109+16384 x1108+8192 x1107+4096 x1106+2048 x1105+1024 x1104+512 x1103+256 x1102+128 x1101+64 x1100+32 x1099+16 x1098+8 x1097+4 x1096+2 x1095+1 x1094-0=126975
75.26/75.33	c 131072 ~x3280163+65536 ~x3280162+32768 ~x3280161+16384 ~x3280160+8192 ~x3280159+4096 ~x3280158+2048 ~x3280157+1024 ~x3280156+512 ~x3280155+256 ~x3280154+128 ~x3280153+64 ~x3280152+32 ~x3280151+16 ~x3280150+8 ~x3280149+4 ~x3280148+2 ~x3280147+1 ~x3280146+131072 x1141+65536 x1140+32768 x1139+16384 x1138+8192 x1137+4096 x1136+2048 x1135+1024 x1134+512 x1133+256 x1132+128 x1131+64 x1130+32 x1129+16 x1128+8 x1127+4 x1126+2 x1125+1 x1124-0=446463
75.36/75.49	c 262144 ~x3286646+131072 ~x3286645+65536 ~x3286644+32768 ~x3286643+16384 ~x3286642+8192 ~x3286641+4096 ~x3286640+2048 ~x3286639+1024 ~x3286638+512 ~x3286637+256 ~x3286636+128 ~x3286635+64 ~x3286634+32 ~x3286633+16 ~x3286632+8 ~x3286631+4 ~x3286630+2 ~x3286629+1 ~x3286628+262144 x1172+131072 x1171+65536 x1170+32768 x1169+16384 x1168+8192 x1167+4096 x1166+2048 x1165+1024 x1164+512 x1163+256 x1162+128 x1161+64 x1160+32 x1159+16 x1158+8 x1157+4 x1156+2 x1155+1 x1154-0=831487
75.57/75.65	c 32768 ~x3293558+16384 ~x3293557+8192 ~x3293556+4096 ~x3293555+2048 ~x3293554+1024 ~x3293553+512 ~x3293552+256 ~x3293551+128 ~x3293550+64 ~x3293549+32 ~x3293548+16 ~x3293547+8 ~x3293546+4 ~x3293545+2 ~x3293544+1 ~x3293543+32768 x1199+16384 x1198+8192 x1197+4096 x1196+2048 x1195+1024 x1194+512 x1193+256 x1192+128 x1191+64 x1190+32 x1189+16 x1188+8 x1187+4 x1186+2 x1185+1 x1184-0=106495
75.66/75.76	c 131072 ~x3298022+65536 ~x3298021+32768 ~x3298020+16384 ~x3298019+8192 ~x3298018+4096 ~x3298017+2048 ~x3298016+1024 ~x3298015+512 ~x3298014+256 ~x3298013+128 ~x3298012+64 ~x3298011+32 ~x3298010+16 ~x3298009+8 ~x3298008+4 ~x3298007+2 ~x3298006+1 ~x3298005+131072 x1231+65536 x1230+32768 x1229+16384 x1228+8192 x1227+4096 x1226+2048 x1225+1024 x1224+512 x1223+256 x1222+128 x1221+64 x1220+32 x1219+16 x1218+8 x1217+4 x1216+2 x1215+1 x1214-0=466943
75.87/75.91	c 131072 ~x3304504+65536 ~x3304503+32768 ~x3304502+16384 ~x3304501+8192 ~x3304500+4096 ~x3304499+2048 ~x3304498+1024 ~x3304497+512 ~x3304496+256 ~x3304495+128 ~x3304494+64 ~x3304493+32 ~x3304492+16 ~x3304491+8 ~x3304490+4 ~x3304489+2 ~x3304488+1 ~x3304487+131072 x1261+65536 x1260+32768 x1259+16384 x1258+8192 x1257+4096 x1256+2048 x1255+1024 x1254+512 x1253+256 x1252+128 x1251+64 x1250+32 x1249+16 x1248+8 x1247+4 x1246+2 x1245+1 x1244-0=518143
75.96/76.07	c 32768 ~x3310984+16384 ~x3310983+8192 ~x3310982+4096 ~x3310981+2048 ~x3310980+1024 ~x3310979+512 ~x3310978+256 ~x3310977+128 ~x3310976+64 ~x3310975+32 ~x3310974+16 ~x3310973+8 ~x3310972+4 ~x3310971+2 ~x3310970+1 ~x3310969+32768 x1289+16384 x1288+8192 x1287+4096 x1286+2048 x1285+1024 x1284+512 x1283+256 x1282+128 x1281+64 x1280+32 x1279+16 x1278+8 x1277+4 x1276+2 x1275+1 x1274-0=126975
76.07/76.18	c 16384 ~x3315445+8192 ~x3315444+4096 ~x3315443+2048 ~x3315442+1024 ~x3315441+512 ~x3315440+256 ~x3315439+128 ~x3315438+64 ~x3315437+32 ~x3315436+16 ~x3315435+8 ~x3315434+4 ~x3315433+2 ~x3315432+1 ~x3315431+16384 x1318+8192 x1317+4096 x1316+2048 x1315+1024 x1314+512 x1313+256 x1312+128 x1311+64 x1310+32 x1309+16 x1308+8 x1307+4 x1306+2 x1305+1 x1304-0=63487
76.17/76.27	c 262144 ~x3319326+131072 ~x3319325+65536 ~x3319324+32768 ~x3319323+16384 ~x3319322+8192 ~x3319321+4096 ~x3319320+2048 ~x3319319+1024 ~x3319318+512 ~x3319317+256 ~x3319316+128 ~x3319315+64 ~x3319314+32 ~x3319313+16 ~x3319312+8 ~x3319311+4 ~x3319310+2 ~x3319309+1 ~x3319308+262144 x1352+131072 x1351+65536 x1350+32768 x1349+16384 x1348+8192 x1347+4096 x1346+2048 x1345+1024 x1344+512 x1343+256 x1342+128 x1341+64 x1340+32 x1339+16 x1338+8 x1337+4 x1336+2 x1335+1 x1334-0=831487
76.36/76.44	c 32768 ~x3326238+16384 ~x3326237+8192 ~x3326236+4096 ~x3326235+2048 ~x3326234+1024 ~x3326233+512 ~x3326232+256 ~x3326231+128 ~x3326230+64 ~x3326229+32 ~x3326228+16 ~x3326227+8 ~x3326226+4 ~x3326225+2 ~x3326224+1 ~x3326223+32768 x1379+16384 x1378+8192 x1377+4096 x1376+2048 x1375+1024 x1374+512 x1373+256 x1372+128 x1371+64 x1370+32 x1369+16 x1368+8 x1367+4 x1366+2 x1365+1 x1364-0=106495
76.46/76.55	c 131072 ~x3330702+65536 ~x3330701+32768 ~x3330700+16384 ~x3330699+8192 ~x3330698+4096 ~x3330697+2048 ~x3330696+1024 ~x3330695+512 ~x3330694+256 ~x3330693+128 ~x3330692+64 ~x3330691+32 ~x3330690+16 ~x3330689+8 ~x3330688+4 ~x3330687+2 ~x3330686+1 ~x3330685+131072 x1411+65536 x1410+32768 x1409+16384 x1408+8192 x1407+4096 x1406+2048 x1405+1024 x1404+512 x1403+256 x1402+128 x1401+64 x1400+32 x1399+16 x1398+8 x1397+4 x1396+2 x1395+1 x1394-0=466943
76.66/76.70	c 131072 ~x3337184+65536 ~x3337183+32768 ~x3337182+16384 ~x3337181+8192 ~x3337180+4096 ~x3337179+2048 ~x3337178+1024 ~x3337177+512 ~x3337176+256 ~x3337175+128 ~x3337174+64 ~x3337173+32 ~x3337172+16 ~x3337171+8 ~x3337170+4 ~x3337169+2 ~x3337168+1 ~x3337167+131072 x1441+65536 x1440+32768 x1439+16384 x1438+8192 x1437+4096 x1436+2048 x1435+1024 x1434+512 x1433+256 x1432+128 x1431+64 x1430+32 x1429+16 x1428+8 x1427+4 x1426+2 x1425+1 x1424-0=518143
76.76/76.86	c 32768 ~x3343664+16384 ~x3343663+8192 ~x3343662+4096 ~x3343661+2048 ~x3343660+1024 ~x3343659+512 ~x3343658+256 ~x3343657+128 ~x3343656+64 ~x3343655+32 ~x3343654+16 ~x3343653+8 ~x3343652+4 ~x3343651+2 ~x3343650+1 ~x3343649+32768 x1469+16384 x1468+8192 x1467+4096 x1466+2048 x1465+1024 x1464+512 x1463+256 x1462+128 x1461+64 x1460+32 x1459+16 x1458+8 x1457+4 x1456+2 x1455+1 x1454-0=126975
76.87/76.96	c 16384 ~x3348125+8192 ~x3348124+4096 ~x3348123+2048 ~x3348122+1024 ~x3348121+512 ~x3348120+256 ~x3348119+128 ~x3348118+64 ~x3348117+32 ~x3348116+16 ~x3348115+8 ~x3348114+4 ~x3348113+2 ~x3348112+1 ~x3348111+16384 x1498+8192 x1497+4096 x1496+2048 x1495+1024 x1494+512 x1493+256 x1492+128 x1491+64 x1490+32 x1489+16 x1488+8 x1487+4 x1486+2 x1485+1 x1484-0=63487
76.97/77.06	c 131072 ~x3352005+65536 ~x3352004+32768 ~x3352003+16384 ~x3352002+8192 ~x3352001+4096 ~x3352000+2048 ~x3351999+1024 ~x3351998+512 ~x3351997+256 ~x3351996+128 ~x3351995+64 ~x3351994+32 ~x3351993+16 ~x3351992+8 ~x3351991+4 ~x3351990+2 ~x3351989+1 ~x3351988+131072 x1531+65536 x1530+32768 x1529+16384 x1528+8192 x1527+4096 x1526+2048 x1525+1024 x1524+512 x1523+256 x1522+128 x1521+64 x1520+32 x1519+16 x1518+8 x1517+4 x1516+2 x1515+1 x1514-0=446463
77.16/77.22	c 262144 ~x3358488+131072 ~x3358487+65536 ~x3358486+32768 ~x3358485+16384 ~x3358484+8192 ~x3358483+4096 ~x3358482+2048 ~x3358481+1024 ~x3358480+512 ~x3358479+256 ~x3358478+128 ~x3358477+64 ~x3358476+32 ~x3358475+16 ~x3358474+8 ~x3358473+4 ~x3358472+2 ~x3358471+1 ~x3358470+262144 x1562+131072 x1561+65536 x1560+32768 x1559+16384 x1558+8192 x1557+4096 x1556+2048 x1555+1024 x1554+512 x1553+256 x1552+128 x1551+64 x1550+32 x1549+16 x1548+8 x1547+4 x1546+2 x1545+1 x1544-0=831487
77.26/77.38	c 32768 ~x3365400+16384 ~x3365399+8192 ~x3365398+4096 ~x3365397+2048 ~x3365396+1024 ~x3365395+512 ~x3365394+256 ~x3365393+128 ~x3365392+64 ~x3365391+32 ~x3365390+16 ~x3365389+8 ~x3365388+4 ~x3365387+2 ~x3365386+1 ~x3365385+32768 x1589+16384 x1588+8192 x1587+4096 x1586+2048 x1585+1024 x1584+512 x1583+256 x1582+128 x1581+64 x1580+32 x1579+16 x1578+8 x1577+4 x1576+2 x1575+1 x1574-0=106495
77.36/77.49	c 131072 ~x3369864+65536 ~x3369863+32768 ~x3369862+16384 ~x3369861+8192 ~x3369860+4096 ~x3369859+2048 ~x3369858+1024 ~x3369857+512 ~x3369856+256 ~x3369855+128 ~x3369854+64 ~x3369853+32 ~x3369852+16 ~x3369851+8 ~x3369850+4 ~x3369849+2 ~x3369848+1 ~x3369847+131072 x1621+65536 x1620+32768 x1619+16384 x1618+8192 x1617+4096 x1616+2048 x1615+1024 x1614+512 x1613+256 x1612+128 x1611+64 x1610+32 x1609+16 x1608+8 x1607+4 x1606+2 x1605+1 x1604-0=466943
77.56/77.64	c 131072 ~x3376346+65536 ~x3376345+32768 ~x3376344+16384 ~x3376343+8192 ~x3376342+4096 ~x3376341+2048 ~x3376340+1024 ~x3376339+512 ~x3376338+256 ~x3376337+128 ~x3376336+64 ~x3376335+32 ~x3376334+16 ~x3376333+8 ~x3376332+4 ~x3376331+2 ~x3376330+1 ~x3376329+131072 x1651+65536 x1650+32768 x1649+16384 x1648+8192 x1647+4096 x1646+2048 x1645+1024 x1644+512 x1643+256 x1642+128 x1641+64 x1640+32 x1639+16 x1638+8 x1637+4 x1636+2 x1635+1 x1634-0=518143
77.76/77.80	c 32768 ~x3382826+16384 ~x3382825+8192 ~x3382824+4096 ~x3382823+2048 ~x3382822+1024 ~x3382821+512 ~x3382820+256 ~x3382819+128 ~x3382818+64 ~x3382817+32 ~x3382816+16 ~x3382815+8 ~x3382814+4 ~x3382813+2 ~x3382812+1 ~x3382811+32768 x1679+16384 x1678+8192 x1677+4096 x1676+2048 x1675+1024 x1674+512 x1673+256 x1672+128 x1671+64 x1670+32 x1669+16 x1668+8 x1667+4 x1666+2 x1665+1 x1664-0=126975
77.86/77.91	c 16384 ~x3387287+8192 ~x3387286+4096 ~x3387285+2048 ~x3387284+1024 ~x3387283+512 ~x3387282+256 ~x3387281+128 ~x3387280+64 ~x3387279+32 ~x3387278+16 ~x3387277+8 ~x3387276+4 ~x3387275+2 ~x3387274+1 ~x3387273+16384 x1708+8192 x1707+4096 x1706+2048 x1705+1024 x1704+512 x1703+256 x1702+128 x1701+64 x1700+32 x1699+16 x1698+8 x1697+4 x1696+2 x1695+1 x1694-0=63487
77.97/78.00	c 131072 ~x3391167+65536 ~x3391166+32768 ~x3391165+16384 ~x3391164+8192 ~x3391163+4096 ~x3391162+2048 ~x3391161+1024 ~x3391160+512 ~x3391159+256 ~x3391158+128 ~x3391157+64 ~x3391156+32 ~x3391155+16 ~x3391154+8 ~x3391153+4 ~x3391152+2 ~x3391151+1 ~x3391150+131072 x1741+65536 x1740+32768 x1739+16384 x1738+8192 x1737+4096 x1736+2048 x1735+1024 x1734+512 x1733+256 x1732+128 x1731+64 x1730+3

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-2674156-1276800138/watcher-2674156-1276800138 -o /tmp/evaluation-result-2674156-1276800138/solver-2674156-1276800138 -C 1800 -W 2000 -M 1800 run HOME/instance-2674156-1276800138.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.94 1.05 1.00 3/106 19291
/proc/meminfo: memFree=1884520/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0

[startup+0.019454 s]
/proc/loadavg: 0.94 1.05 1.00 3/106 19291
/proc/meminfo: memFree=1884520/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100463 s]
/proc/loadavg: 0.94 1.05 1.00 3/106 19291
/proc/meminfo: memFree=1884520/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300485 s]
/proc/loadavg: 0.94 1.05 1.00 3/106 19291
/proc/meminfo: memFree=1884520/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700531 s]
/proc/loadavg: 0.94 1.05 1.00 3/106 19291
/proc/meminfo: memFree=1884520/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50062 s]
/proc/loadavg: 0.94 1.05 1.00 2/108 19294
/proc/meminfo: memFree=1769060/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=127808 CPUtime=1.48
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 31207 0 0 0 110 38 0 0 23 0 1 0 55617464 130875392 31145 1992294400 134512640 134902295 4289750816 18446744073709551615 134635168 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 31952 31145 262 96 0 31164 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 136508

[startup+3.10081 s]
/proc/loadavg: 0.94 1.05 1.00 2/108 19294
/proc/meminfo: memFree=1747824/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=160728 CPUtime=3.08
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 39479 0 0 0 267 41 0 0 25 0 1 0 55617464 164585472 38888 1992294400 134512640 134902295 4289750816 18446744073709551615 4159673888 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 40182 38888 262 96 0 39394 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 169428

[startup+6.30118 s]
/proc/loadavg: 0.95 1.05 1.00 2/108 19294
/proc/meminfo: memFree=1690320/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=217184 CPUtime=6.28
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 54517 0 0 0 580 48 0 0 25 0 1 0 55617464 222396416 52395 1992294400 134512640 134902295 4289750816 18446744073709551615 3151715 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 54296 52395 262 96 0 53508 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 225884

[startup+12.7009 s]
/proc/loadavg: 0.95 1.04 1.00 2/108 19294
/proc/meminfo: memFree=1582192/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=336324 CPUtime=12.68
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 86361 0 0 0 1207 61 0 0 25 0 1 0 55617464 344395776 79760 1992294400 134512640 134902295 4289750816 18446744073709551615 4159661276 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 84081 79760 262 96 0 83293 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 345024

[startup+25.5014 s]
/proc/loadavg: 0.96 1.04 1.00 2/108 19294
/proc/meminfo: memFree=1347460/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=560832 CPUtime=25.48
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 146776 0 0 0 2461 87 0 0 25 0 1 0 55617464 574291968 135328 1992294400 134512640 134902295 4289750816 18446744073709551615 134815840 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 140208 135328 262 96 0 139420 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 569532

[startup+51.1014 s]
/proc/loadavg: 0.97 1.04 1.00 2/108 19296
/proc/meminfo: memFree=906640/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1008392 CPUtime=51.06
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 266247 0 0 0 4967 139 0 0 25 0 1 0 55617464 1032593408 246417 1992294400 134512640 134902295 4289750816 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 252098 246417 262 96 0 251310 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1017092

[startup+102.309 s]
/proc/loadavg: 0.99 1.03 1.00 2/108 19296
/proc/meminfo: memFree=460612/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1453316 CPUtime=102.26
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 391950 0 0 0 10036 190 0 0 25 0 1 0 55617464 1488195584 355247 1992294400 134512640 134902295 4289750816 18446744073709551615 4159679473 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 363329 355247 269 96 0 362541 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1462016

[startup+162.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/108 19298
/proc/meminfo: memFree=454040/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1459960 CPUtime=162.24
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 393621 0 0 0 16032 192 0 0 25 0 1 0 55617464 1494999040 356918 1992294400 134512640 134902295 4289750816 18446744073709551615 4159660870 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 364990 356918 269 96 0 364202 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1468660

[startup+222.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/108 19300
/proc/meminfo: memFree=446600/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1467268 CPUtime=222.22
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 395421 0 0 0 22027 195 0 0 25 0 1 0 55617464 1502482432 358718 1992294400 134512640 134902295 4289750816 18446744073709551615 4159672936 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 366817 358718 269 96 0 366029 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1475968

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/108 19302
/proc/meminfo: memFree=441764/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1472160 CPUtime=282.2
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 396652 0 0 0 28024 196 0 0 25 0 1 0 55617464 1507491840 359949 1992294400 134512640 134902295 4289750816 18446744073709551615 4159679346 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 368040 359949 269 96 0 367252 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1480860

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19302
/proc/meminfo: memFree=433580/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1480204 CPUtime=342.18
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 398669 0 0 0 34020 198 0 0 25 0 1 0 55617464 1515728896 361966 1992294400 134512640 134902295 4289750816 18446744073709551615 4159690878 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 370051 361966 269 96 0 369263 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1488904

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19304
/proc/meminfo: memFree=428248/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1485752 CPUtime=402.16
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 400052 0 0 0 40017 199 0 0 25 0 1 0 55617464 1521410048 363349 1992294400 134512640 134902295 4289750816 18446744073709551615 4159693712 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 371438 363349 269 96 0 370650 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1494452

[startup+462.301 s]

################
# More data... #
################

/proc/19293/statm: 382442 374320 269 96 0 381654 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1538468

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19335
/proc/meminfo: memFree=379704/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1533076 CPUtime=1181.92
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 411844 0 0 0 117978 214 0 0 25 0 1 0 55617464 1569869824 375141 1992294400 134512640 134902295 4289750816 18446744073709551615 4159691240 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 383269 375141 269 96 0 382481 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1541776

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19335
/proc/meminfo: memFree=376356/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1536396 CPUtime=1241.89
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 412682 0 0 0 123974 215 0 0 25 0 1 0 55617464 1573269504 375979 1992294400 134512640 134902295 4289750816 18446744073709551615 4159679341 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 384099 375979 269 96 0 383311 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1545096

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19337
/proc/meminfo: memFree=372264/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1540512 CPUtime=1301.88
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 413691 0 0 0 129972 216 0 0 25 0 1 0 55617464 1577484288 376988 1992294400 134512640 134902295 4289750816 18446744073709551615 4159690878 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 385128 376988 269 96 0 384340 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1549212

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19339
/proc/meminfo: memFree=369784/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1542836 CPUtime=1361.86
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 414295 0 0 0 135969 217 0 0 25 0 1 0 55617464 1579864064 377592 1992294400 134512640 134902295 4289750816 18446744073709551615 4159690878 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 385709 377592 269 96 0 384921 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1551536

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19341
/proc/meminfo: memFree=367800/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1545220 CPUtime=1421.84
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 414783 0 0 0 141967 217 0 0 25 0 1 0 55617464 1582305280 378080 1992294400 134512640 134902295 4289750816 18446744073709551615 4159673120 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 386305 378080 269 96 0 385517 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1553920

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19343
/proc/meminfo: memFree=365940/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1547088 CPUtime=1481.82
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 415251 0 0 0 147964 218 0 0 25 0 1 0 55617464 1584218112 378548 1992294400 134512640 134902295 4289750816 18446744073709551615 4159673001 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 386772 378548 269 96 0 385984 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1555788

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19343
/proc/meminfo: memFree=363460/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1549464 CPUtime=1541.8
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 415863 0 0 0 153961 219 0 0 25 0 1 0 55617464 1586651136 379160 1992294400 134512640 134902295 4289750816 18446744073709551615 4159679321 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 387366 379160 269 96 0 386578 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1558164

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19345
/proc/meminfo: memFree=361228/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1551576 CPUtime=1601.78
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 416401 0 0 0 159959 219 0 0 25 0 1 0 55617464 1588813824 379698 1992294400 134512640 134902295 4289750816 18446744073709551615 4159678864 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 387894 379698 269 96 0 387106 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1560276

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19347
/proc/meminfo: memFree=355152/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1557672 CPUtime=1661.76
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 417908 0 0 0 165955 221 0 0 25 0 1 0 55617464 1595056128 381205 1992294400 134512640 134902295 4289750816 18446744073709551615 4159693818 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 389418 381205 269 96 0 388630 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1566372

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19349
/proc/meminfo: memFree=348952/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1563760 CPUtime=1721.74
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 419474 0 0 0 171951 223 0 0 25 0 1 0 55617464 1601290240 382771 1992294400 134512640 134902295 4289750816 18446744073709551615 4159690878 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 390940 382771 269 96 0 390152 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1572460

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 19351
/proc/meminfo: memFree=341512/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1571040 CPUtime=1781.72
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 421294 0 0 0 177947 225 0 0 25 0 1 0 55617464 1608744960 384591 1992294400 134512640 134902295 4289750816 18446744073709551615 4159693744 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 392760 384591 269 96 0 391972 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1579740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 3/108 19351
/proc/meminfo: memFree=339280/2059040 swapFree=4139188/4192956
[pid=19291] ppid=19289 vsize=8700 CPUtime=0
/proc/19291/stat : 19291 (run) S 19289 19291 19048 0 -1 4202496 390 134 0 0 0 0 0 0 17 0 1 0 55617464 8908800 250 1992294400 4194304 4922060 140734519882576 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19291/statm: 2175 250 211 178 0 68 0
[pid=19293] ppid=19291 vsize=1573288 CPUtime=1800.03
/proc/19293/stat : 19293 (PBPASSolver) R 19291 19291 19048 0 -1 4202496 421841 0 0 0 179777 226 0 0 25 0 1 0 55617464 1611046912 385138 1992294400 134512640 134902295 4289750816 18446744073709551615 4159690878 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19293/statm: 393322 385138 269 96 0 392534 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1581988

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1797.77
CPU system time (s): 2.26
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 1581988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 524
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 2.76458 second user time and 8.72167 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-17 20:42:18
IDJOB=2674156
IDBENCH=2484
IDSOLVER=1174
FILE ID=node006/2674156-1276800138
PBS_JOBID= 11176676
Free space on /tmp= 62504 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc05.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674156-1276800138/watcher-2674156-1276800138 -o /tmp/evaluation-result-2674156-1276800138/solver-2674156-1276800138 -C 1800 -W 2000 -M 1800  run HOME/instance-2674156-1276800138.opb

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

MD5SUM BENCH= 4e6161a7dc803af1e0ad1878eef0a0d1
RANDOM SEED=1253812392

node006.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.204
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.40
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.204
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1884916 kB
Buffers:          9448 kB
Cached:          73452 kB
SwapCached:       6100 kB
Active:          27540 kB
Inactive:        68100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1884916 kB
SwapTotal:     4192956 kB
SwapFree:      4139188 kB
Dirty:             804 kB
Writeback:           0 kB
AnonPages:       11404 kB
Mapped:          12756 kB
Slab:            56432 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183120 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= 62504 MiB
End job on node006 at 2010-06-17 21:12:21