PB'10 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
PBPASSolver 2010-06-13	? (TO)		1800.03	1800.52

0.00/0.43	c 1704 118 0 0 0 0 0 0
0.00/0.43	c 4096 ~x1718+2048 ~x1717+1024 ~x1716+512 ~x1715+256 ~x1714+128 ~x1713+64 ~x1712+32 ~x1711+16 ~x1710+8 ~x1709+4 ~x1708+2 ~x1707+1 ~x1706+4096 ~x1546+2048 ~x1545+1024 ~x1544+512 ~x1543+256 ~x1542+128 ~x1541+64 ~x1540+32 ~x1539+16 ~x1538+8 ~x1537+4 ~x1536+2 ~x1535+1 ~x1534-0=14574
0.00/0.49	c 4096 ~x4296+2048 ~x4295+1024 ~x4294+512 ~x4293+256 ~x4292+128 ~x4291+64 ~x4290+32 ~x4289+16 ~x4288+8 ~x4287+4 ~x4286+2 ~x4285+1 ~x4284+4096 ~x1620+2048 ~x1619+1024 ~x1618+512 ~x1617+256 ~x1616+128 ~x1615+64 ~x1614+32 ~x1613+16 ~x1612+8 ~x1611+4 ~x1610+2 ~x1609+1 ~x1608-0=14574
0.00/0.55	c 4096 ~x6874+2048 ~x6873+1024 ~x6872+512 ~x6871+256 ~x6870+128 ~x6869+64 ~x6868+32 ~x6867+16 ~x6866+8 ~x6865+4 ~x6864+2 ~x6863+1 ~x6862+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622-0=14574
0.00/0.61	c 4096 ~x9452+2048 ~x9451+1024 ~x9450+512 ~x9449+256 ~x9448+128 ~x9447+64 ~x9446+32 ~x9445+16 ~x9444+8 ~x9443+4 ~x9442+2 ~x9441+1 ~x9440+4096 ~x1648+2048 ~x1647+1024 ~x1646+512 ~x1645+256 ~x1644+128 ~x1643+64 ~x1642+32 ~x1641+16 ~x1640+8 ~x1639+4 ~x1638+2 ~x1637+1 ~x1636-0=14574
0.00/0.67	c 4096 ~x12030+2048 ~x12029+1024 ~x12028+512 ~x12027+256 ~x12026+128 ~x12025+64 ~x12024+32 ~x12023+16 ~x12022+8 ~x12021+4 ~x12020+2 ~x12019+1 ~x12018+4096 ~x1662+2048 ~x1661+1024 ~x1660+512 ~x1659+256 ~x1658+128 ~x1657+64 ~x1656+32 ~x1655+16 ~x1654+8 ~x1653+4 ~x1652+2 ~x1651+1 ~x1650-0=14574
0.00/0.73	c 4096 ~x14608+2048 ~x14607+1024 ~x14606+512 ~x14605+256 ~x14604+128 ~x14603+64 ~x14602+32 ~x14601+16 ~x14600+8 ~x14599+4 ~x14598+2 ~x14597+1 ~x14596+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=14574
0.00/0.79	c 4096 ~x17186+2048 ~x17185+1024 ~x17184+512 ~x17183+256 ~x17182+128 ~x17181+64 ~x17180+32 ~x17179+16 ~x17178+8 ~x17177+4 ~x17176+2 ~x17175+1 ~x17174+4096 ~x1690+2048 ~x1689+1024 ~x1688+512 ~x1687+256 ~x1686+128 ~x1685+64 ~x1684+32 ~x1683+16 ~x1682+8 ~x1681+4 ~x1680+2 ~x1679+1 ~x1678-0=14574
0.00/0.85	c 4096 ~x19764+2048 ~x19763+1024 ~x19762+512 ~x19761+256 ~x19760+128 ~x19759+64 ~x19758+32 ~x19757+16 ~x19756+8 ~x19755+4 ~x19754+2 ~x19753+1 ~x19752+4096 ~x1704+2048 ~x1703+1024 ~x1702+512 ~x1701+256 ~x1700+128 ~x1699+64 ~x1698+32 ~x1697+16 ~x1696+8 ~x1695+4 ~x1694+2 ~x1693+1 ~x1692-0=14574
0.00/0.92	c 16 ~x22334+8 ~x22333+4 ~x22332+2 ~x22331+1 ~x22330+16 ~x1552+8 ~x1551+4 ~x1550+2 ~x1549+1 ~x1548-0=54
0.00/0.92	c 16 ~x22623+8 ~x22622+4 ~x22621+2 ~x22620+1 ~x22619+16 ~x1562+8 ~x1561+4 ~x1560+2 ~x1559+1 ~x1558-0=54
0.00/0.92	c 16 ~x22912+8 ~x22911+4 ~x22910+2 ~x22909+1 ~x22908+16 ~x1572+8 ~x1571+4 ~x1570+2 ~x1569+1 ~x1568-0=54
0.00/0.94	c 16 ~x23201+8 ~x23200+4 ~x23199+2 ~x23198+1 ~x23197+16 ~x1582+8 ~x1581+4 ~x1580+2 ~x1579+1 ~x1578-0=54
0.00/0.94	c 16 ~x23490+8 ~x23489+4 ~x23488+2 ~x23487+1 ~x23486+16 ~x1592+8 ~x1591+4 ~x1590+2 ~x1589+1 ~x1588-0=54
0.00/0.97	c 16 ~x23779+8 ~x23778+4 ~x23777+2 ~x23776+1 ~x23775+16 ~x1602+8 ~x1601+4 ~x1600+2 ~x1599+1 ~x1598-0=54
0.00/0.97	c 16 ~x24068+8 ~x24067+4 ~x24066+2 ~x24065+1 ~x24064+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=54
0.00/0.97	c 16 ~x24357+8 ~x24356+4 ~x24355+2 ~x24354+1 ~x24353+16 ~x1468+8 ~x1467+4 ~x1466+2 ~x1465+1 ~x1464-0=54
0.00/0.98	c 16 ~x24646+8 ~x24645+4 ~x24644+2 ~x24643+1 ~x24642+16 ~x1478+8 ~x1477+4 ~x1476+2 ~x1475+1 ~x1474-0=54
0.00/0.98	c 16 ~x24935+8 ~x24934+4 ~x24933+2 ~x24932+1 ~x24931+16 ~x1488+8 ~x1487+4 ~x1486+2 ~x1485+1 ~x1484-0=54
0.99/1.01	c 16 ~x25224+8 ~x25223+4 ~x25222+2 ~x25221+1 ~x25220+16 ~x1498+8 ~x1497+4 ~x1496+2 ~x1495+1 ~x1494-0=54
0.99/1.01	c 16 ~x25513+8 ~x25512+4 ~x25511+2 ~x25510+1 ~x25509+16 ~x1508+8 ~x1507+4 ~x1506+2 ~x1505+1 ~x1504-0=54
0.99/1.01	c 16 ~x25802+8 ~x25801+4 ~x25800+2 ~x25799+1 ~x25798+16 ~x1518+8 ~x1517+4 ~x1516+2 ~x1515+1 ~x1514-0=54
0.99/1.03	c 16 ~x26091+8 ~x26090+4 ~x26089+2 ~x26088+1 ~x26087+16 ~x1528+8 ~x1527+4 ~x1526+2 ~x1525+1 ~x1524-0=54
0.99/1.03	c 16 ~x26380+8 ~x26379+4 ~x26378+2 ~x26377+1 ~x26376+16 ~x1426+8 ~x1425+4 ~x1424+2 ~x1423+1 ~x1422-0=58
0.99/1.06	c 16 ~x26669+8 ~x26668+4 ~x26667+2 ~x26666+1 ~x26665+16 ~x1433+8 ~x1432+4 ~x1431+2 ~x1430+1 ~x1429-0=58
0.99/1.06	c 16 ~x26958+8 ~x26957+4 ~x26956+2 ~x26955+1 ~x26954+16 ~x1440+8 ~x1439+4 ~x1438+2 ~x1437+1 ~x1436-0=58
0.99/1.06	c 16 ~x27247+8 ~x27246+4 ~x27245+2 ~x27244+1 ~x27243+16 ~x1447+8 ~x1446+4 ~x1445+2 ~x1444+1 ~x1443-0=58
0.99/1.07	c 16 ~x27536+8 ~x27535+4 ~x27534+2 ~x27533+1 ~x27532+16 ~x1454+8 ~x1453+4 ~x1452+2 ~x1451+1 ~x1450-0=58
0.99/1.07	c 16 ~x27825+8 ~x27824+4 ~x27823+2 ~x27822+1 ~x27821+16 ~x1461+8 ~x1460+4 ~x1459+2 ~x1458+1 ~x1457-0=58
0.99/1.09	c 16384 ~x28139+8192 ~x28138+4096 ~x28137+2048 ~x28136+1024 ~x28135+512 ~x28134+256 ~x28133+128 ~x28132+64 ~x28131+32 ~x28130+16 ~x28129+8 ~x28128+4 ~x28127+2 ~x28126+1 ~x28125+8192 ~x1547+4096 ~x1546+2048 ~x1545+1024 ~x1544+512 ~x1543+256 ~x1542+128 ~x1541+64 ~x1540+32 ~x1539+16 ~x1538+8 ~x1537+4 ~x1536+2 ~x1535+1 ~x1534+1 ~x978+20 x962-0=49151
1.09/1.18	c 1024 ~x31823+512 ~x31822+256 ~x31821+128 ~x31820+64 ~x31819+32 ~x31818+16 ~x31817+8 ~x31816+4 ~x31815+2 ~x31814+1 ~x31813+512 ~x1557+256 ~x1556+128 ~x1555+64 ~x1554+32 ~x1553+16 ~x1552+8 ~x1551+4 ~x1550+2 ~x1549+1 ~x1548+1 ~x979+20 x963-0=3071
1.18/1.22	c 1024 ~x33685+512 ~x33684+256 ~x33683+128 ~x33682+64 ~x33681+32 ~x33680+16 ~x33679+8 ~x33678+4 ~x33677+2 ~x33676+1 ~x33675+512 ~x1567+256 ~x1566+128 ~x1565+64 ~x1564+32 ~x1563+16 ~x1562+8 ~x1561+4 ~x1560+2 ~x1559+1 ~x1558+1 ~x980+20 x964-0=3071
1.18/1.27	c 1024 ~x35547+512 ~x35546+256 ~x35545+128 ~x35544+64 ~x35543+32 ~x35542+16 ~x35541+8 ~x35540+4 ~x35539+2 ~x35538+1 ~x35537+512 ~x1577+256 ~x1576+128 ~x1575+64 ~x1574+32 ~x1573+16 ~x1572+8 ~x1571+4 ~x1570+2 ~x1569+1 ~x1568+1 ~x981+20 x965-0=3071
1.29/1.32	c 1024 ~x37409+512 ~x37408+256 ~x37407+128 ~x37406+64 ~x37405+32 ~x37404+16 ~x37403+8 ~x37402+4 ~x37401+2 ~x37400+1 ~x37399+512 ~x1587+256 ~x1586+128 ~x1585+64 ~x1584+32 ~x1583+16 ~x1582+8 ~x1581+4 ~x1580+2 ~x1579+1 ~x1578+1 ~x982+20 x966-0=3071
1.29/1.37	c 1024 ~x39271+512 ~x39270+256 ~x39269+128 ~x39268+64 ~x39267+32 ~x39266+16 ~x39265+8 ~x39264+4 ~x39263+2 ~x39262+1 ~x39261+512 ~x1597+256 ~x1596+128 ~x1595+64 ~x1594+32 ~x1593+16 ~x1592+8 ~x1591+4 ~x1590+2 ~x1589+1 ~x1588+1 ~x983+20 x967-0=3071
1.38/1.41	c 1024 ~x41133+512 ~x41132+256 ~x41131+128 ~x41130+64 ~x41129+32 ~x41128+16 ~x41127+8 ~x41126+4 ~x41125+2 ~x41124+1 ~x41123+512 ~x1607+256 ~x1606+128 ~x1605+64 ~x1604+32 ~x1603+16 ~x1602+8 ~x1601+4 ~x1600+2 ~x1599+1 ~x1598+1 ~x984+20 x969-0=3071
1.38/1.46	c 16384 ~x42999+8192 ~x42998+4096 ~x42997+2048 ~x42996+1024 ~x42995+512 ~x42994+256 ~x42993+128 ~x42992+64 ~x42991+32 ~x42990+16 ~x42989+8 ~x42988+4 ~x42987+2 ~x42986+1 ~x42985+8192 ~x1621+4096 ~x1620+2048 ~x1619+1024 ~x1618+512 ~x1617+256 ~x1616+128 ~x1615+64 ~x1614+32 ~x1613+16 ~x1612+8 ~x1611+4 ~x1610+2 ~x1609+1 ~x1608+1 ~x985+20 x970-0=49151
1.48/1.55	c 16384 ~x46687+8192 ~x46686+4096 ~x46685+2048 ~x46684+1024 ~x46683+512 ~x46682+256 ~x46681+128 ~x46680+64 ~x46679+32 ~x46678+16 ~x46677+8 ~x46676+4 ~x46675+2 ~x46674+1 ~x46673+8192 ~x1635+4096 ~x1634+2048 ~x1633+1024 ~x1632+512 ~x1631+256 ~x1630+128 ~x1629+64 ~x1628+32 ~x1627+16 ~x1626+8 ~x1625+4 ~x1624+2 ~x1623+1 ~x1622+1 ~x986+20 x971-0=49151
1.58/1.64	c 16384 ~x50375+8192 ~x50374+4096 ~x50373+2048 ~x50372+1024 ~x50371+512 ~x50370+256 ~x50369+128 ~x50368+64 ~x50367+32 ~x50366+16 ~x50365+8 ~x50364+4 ~x50363+2 ~x50362+1 ~x50361+8192 ~x1649+4096 ~x1648+2048 ~x1647+1024 ~x1646+512 ~x1645+256 ~x1644+128 ~x1643+64 ~x1642+32 ~x1641+16 ~x1640+8 ~x1639+4 ~x1638+2 ~x1637+1 ~x1636+1 ~x987+20 x972-0=49151
1.69/1.73	c 16384 ~x54063+8192 ~x54062+4096 ~x54061+2048 ~x54060+1024 ~x54059+512 ~x54058+256 ~x54057+128 ~x54056+64 ~x54055+32 ~x54054+16 ~x54053+8 ~x54052+4 ~x54051+2 ~x54050+1 ~x54049+8192 ~x1663+4096 ~x1662+2048 ~x1661+1024 ~x1660+512 ~x1659+256 ~x1658+128 ~x1657+64 ~x1656+32 ~x1655+16 ~x1654+8 ~x1653+4 ~x1652+2 ~x1651+1 ~x1650+1 ~x988+20 x973-0=49151
1.79/1.82	c 16384 ~x57751+8192 ~x57750+4096 ~x57749+2048 ~x57748+1024 ~x57747+512 ~x57746+256 ~x57745+128 ~x57744+64 ~x57743+32 ~x57742+16 ~x57741+8 ~x57740+4 ~x57739+2 ~x57738+1 ~x57737+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+1 ~x989+20 x974-0=49151
1.89/1.91	c 16384 ~x61439+8192 ~x61438+4096 ~x61437+2048 ~x61436+1024 ~x61435+512 ~x61434+256 ~x61433+128 ~x61432+64 ~x61431+32 ~x61430+16 ~x61429+8 ~x61428+4 ~x61427+2 ~x61426+1 ~x61425+8192 ~x1691+4096 ~x1690+2048 ~x1689+1024 ~x1688+512 ~x1687+256 ~x1686+128 ~x1685+64 ~x1684+32 ~x1683+16 ~x1682+8 ~x1681+4 ~x1680+2 ~x1679+1 ~x1678+1 ~x990+20 x975-0=49151
1.98/2.00	c 16384 ~x65127+8192 ~x65126+4096 ~x65125+2048 ~x65124+1024 ~x65123+512 ~x65122+256 ~x65121+128 ~x65120+64 ~x65119+32 ~x65118+16 ~x65117+8 ~x65116+4 ~x65115+2 ~x65114+1 ~x65113+8192 ~x1705+4096 ~x1704+2048 ~x1703+1024 ~x1702+512 ~x1701+256 ~x1700+128 ~x1699+64 ~x1698+32 ~x1697+16 ~x1696+8 ~x1695+4 ~x1694+2 ~x1693+1 ~x1692+1 ~x991+20 x977-0=49151
2.09/2.10	c 2147483648 ~x68832+1073741824 ~x68831+536870912 ~x68830+268435456 ~x68829+134217728 ~x68828+67108864 ~x68827+33554432 ~x68826+16777216 ~x68825+8388608 ~x68824+4194304 ~x68823+2097152 ~x68822+1048576 ~x68821+524288 ~x68820+262144 ~x68819+131072 ~x68818+65536 ~x68817+32768 ~x68816+16384 ~x68815+8192 ~x68814+4096 ~x68813+2048 ~x68812+1024 ~x68811+512 ~x68810+256 ~x68809+128 ~x68808+64 ~x68807+32 ~x68806+16 ~x68805+8 ~x68804+4 ~x68803+2 ~x68802+1 ~x68801+2818572288 x1545+1409286144 x1544+704643072 x1543+352321536 x1542+176160768 x1541+88080384 x1540+44040192 x1539+22020096 x1538+11010048 x1537+5505024 x1536+2752512 x1535+1376256 x1534+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992+688128 x978+536870912 ~x751+268435456 ~x750+134217728 ~x749+67108864 ~x748+33554432 ~x747+16777216 ~x746+8388608 ~x745+4194304 ~x744+2097152 ~x743+1048576 ~x742+524288 ~x741+262144 ~x740+131072 ~x739+65536 ~x738+32768 ~x737+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722+536870912 ~x721+268435456 ~x720+134217728 ~x719+67108864 ~x718+33554432 ~x717+16777216 ~x716+8388608 ~x715+4194304 ~x714+2097152 ~x713+1048576 ~x712+524288 ~x711+262144 ~x710+131072 ~x709+65536 ~x708+32768 ~x707+16384 ~x706+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692+536870912 x511+268435456 x510+134217728 x509+67108864 x508+33554432 x507+16777216 x506+8388608 x505+4194304 x504+2097152 x503+1048576 x502+524288 x501+262144 x500+131072 x499+65536 x498+32768 x497+16384 x496+8192 x495+4096 x494+2048 x493+1024 x492+512 x491+256 x490+128 x489+64 x488+32 x487+16 x486+8 x485+4 x484+2 x483+1 x482-0=7516192764
3.38/3.43	c 1073741824 ~x127909+536870912 ~x127908+268435456 ~x127907+134217728 ~x127906+67108864 ~x127905+33554432 ~x127904+16777216 ~x127903+8388608 ~x127902+4194304 ~x127901+2097152 ~x127900+1048576 ~x127899+524288 ~x127898+262144 ~x127897+131072 ~x127896+65536 ~x127895+32768 ~x127894+16384 ~x127893+8192 ~x127892+4096 ~x127891+2048 ~x127890+1024 ~x127889+512 ~x127888+256 ~x127887+128 ~x127886+64 ~x127885+32 ~x127884+16 ~x127883+8 ~x127882+4 ~x127881+2 ~x127880+1 ~x127879+704643072 x1557+352321536 x1556+176160768 x1555+88080384 x1554+44040192 x1553+22020096 x1552+11010048 x1551+5505024 x1550+2752512 x1549+1376256 x1548+536870912 ~x1051+268435456 ~x1050+134217728 ~x1049+67108864 ~x1048+33554432 ~x1047+16777216 ~x1046+8388608 ~x1045+4194304 ~x1044+2097152 ~x1043+1048576 ~x1042+524288 ~x1041+262144 ~x1040+131072 ~x1039+65536 ~x1038+32768 ~x1037+16384 ~x1036+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022+688128 x979+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542+536870912 x541+268435456 x540+134217728 x539+67108864 x538+33554432 x537+16777216 x536+8388608 x535+4194304 x534+2097152 x533+1048576 x532+524288 x531+262144 x530+131072 x529+65536 x528+32768 x527+16384 x526+8192 x525+4096 x524+2048 x523+1024 x522+512 x521+256 x520+128 x519+64 x518+32 x517+16 x516+8 x515+4 x514+2 x513+1 x512-0=4294967293
4.39/4.49	c 1073741824 ~x174709+536870912 ~x174708+268435456 ~x174707+134217728 ~x174706+67108864 ~x174705+33554432 ~x174704+16777216 ~x174703+8388608 ~x174702+4194304 ~x174701+2097152 ~x174700+1048576 ~x174699+524288 ~x174698+262144 ~x174697+131072 ~x174696+65536 ~x174695+32768 ~x174694+16384 ~x174693+8192 ~x174692+4096 ~x174691+2048 ~x174690+1024 ~x174689+512 ~x174688+256 ~x174687+128 ~x174686+64 ~x174685+32 ~x174684+16 ~x174683+8 ~x174682+4 ~x174681+2 ~x174680+1 ~x174679+704643072 x1567+352321536 x1566+176160768 x1565+88080384 x1564+44040192 x1563+22020096 x1562+11010048 x1561+5505024 x1560+2752512 x1559+1376256 x1558+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052+688128 x980+536870912 ~x601+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572+536870912 x571+268435456 x570+134217728 x569+67108864 x568+33554432 x567+16777216 x566+8388608 x565+4194304 x564+2097152 x563+1048576 x562+524288 x561+262144 x560+131072 x559+65536 x558+32768 x557+16384 x556+8192 x555+4096 x554+2048 x553+1024 x552+512 x551+256 x550+128 x549+64 x548+32 x547+16 x546+8 x545+4 x544+2 x543+1 x542-0=4294967293
5.49/5.54	c 536870912 ~x221508+268435456 ~x221507+134217728 ~x221506+67108864 ~x221505+33554432 ~x221504+16777216 ~x221503+8388608 ~x221502+4194304 ~x221501+2097152 ~x221500+1048576 ~x221499+524288 ~x221498+262144 ~x221497+131072 ~x221496+65536 ~x221495+32768 ~x221494+16384 ~x221493+8192 ~x221492+4096 ~x221491+2048 ~x221490+1024 ~x221489+512 ~x221488+256 ~x221487+128 ~x221486+64 ~x221485+32 ~x221484+16 ~x221483+8 ~x221482+4 ~x221481+2 ~x221480+1 ~x221479+704643072 x1577+352321536 x1576+176160768 x1575+88080384 x1574+44040192 x1573+22020096 x1572+11010048 x1571+5505024 x1570+2752512 x1569+1376256 x1568+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082+688128 x981+536870912 x601+268435456 x600+134217728 x599+67108864 x598+33554432 x597+16777216 x596+8388608 x595+4194304 x594+2097152 x593+1048576 x592+524288 x591+262144 x590+131072 x589+65536 x588+32768 x587+16384 x586+8192 x585+4096 x584+2048 x583+1024 x582+512 x581+256 x580+128 x579+64 x578+32 x577+16 x576+8 x575+4 x574+2 x573+1 x572-0=2147483646
6.28/6.32	c 1073741824 ~x255889+536870912 ~x255888+268435456 ~x255887+134217728 ~x255886+67108864 ~x255885+33554432 ~x255884+16777216 ~x255883+8388608 ~x255882+4194304 ~x255881+2097152 ~x255880+1048576 ~x255879+524288 ~x255878+262144 ~x255877+131072 ~x255876+65536 ~x255875+32768 ~x255874+16384 ~x255873+8192 ~x255872+4096 ~x255871+2048 ~x255870+1024 ~x255869+512 ~x255868+256 ~x255867+128 ~x255866+64 ~x255865+32 ~x255864+16 ~x255863+8 ~x255862+4 ~x255861+2 ~x255860+1 ~x255859+704643072 x1587+352321536 x1586+176160768 x1585+88080384 x1584+44040192 x1583+22020096 x1582+11010048 x1581+5505024 x1580+2752512 x1579+1376256 x1578+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112+688128 x982+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632+536870912 x631+268435456 x630+134217728 x629+67108864 x628+33554432 x627+16777216 x626+8388608 x625+4194304 x624+2097152 x623+1048576 x622+524288 x621+262144 x620+131072 x619+65536 x618+32768 x617+16384 x616+8192 x615+4096 x614+2048 x613+1024 x612+512 x611+256 x610+128 x609+64 x608+32 x607+16 x606+8 x605+4 x604+2 x603+1 x602-0=4294967293
7.28/7.38	c 1073741824 ~x302689+536870912 ~x302688+268435456 ~x302687+134217728 ~x302686+67108864 ~x302685+33554432 ~x302684+16777216 ~x302683+8388608 ~x302682+4194304 ~x302681+2097152 ~x302680+1048576 ~x302679+524288 ~x302678+262144 ~x302677+131072 ~x302676+65536 ~x302675+32768 ~x302674+16384 ~x302673+8192 ~x302672+4096 ~x302671+2048 ~x302670+1024 ~x302669+512 ~x302668+256 ~x302667+128 ~x302666+64 ~x302665+32 ~x302664+16 ~x302663+8 ~x302662+4 ~x302661+2 ~x302660+1 ~x302659+704643072 x1597+352321536 x1596+176160768 x1595+88080384 x1594+44040192 x1593+22020096 x1592+11010048 x1591+5505024 x1590+2752512 x1589+1376256 x1588+536870912 ~x1171+268435456 ~x1170+134217728 ~x1169+67108864 ~x1168+33554432 ~x1167+16777216 ~x1166+8388608 ~x1165+4194304 ~x1164+2097152 ~x1163+1048576 ~x1162+524288 ~x1161+262144 ~x1160+131072 ~x1159+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142+688128 x983+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662+536870912 x661+268435456 x660+134217728 x659+67108864 x658+33554432 x657+16777216 x656+8388608 x655+4194304 x654+2097152 x653+1048576 x652+524288 x651+262144 x650+131072 x649+65536 x648+32768 x647+16384 x646+8192 x645+4096 x644+2048 x643+1024 x642+512 x641+256 x640+128 x639+64 x638+32 x637+16 x636+8 x635+4 x634+2 x633+1 x632-0=4294967293
8.38/8.44	c 536870912 ~x349488+268435456 ~x349487+134217728 ~x349486+67108864 ~x349485+33554432 ~x349484+16777216 ~x349483+8388608 ~x349482+4194304 ~x349481+2097152 ~x349480+1048576 ~x349479+524288 ~x349478+262144 ~x349477+131072 ~x349476+65536 ~x349475+32768 ~x349474+16384 ~x349473+8192 ~x349472+4096 ~x349471+2048 ~x349470+1024 ~x349469+512 ~x349468+256 ~x349467+128 ~x349466+64 ~x349465+32 ~x349464+16 ~x349463+8 ~x349462+4 ~x349461+2 ~x349460+1 ~x349459+704643072 x1607+352321536 x1606+176160768 x1605+88080384 x1604+44040192 x1603+22020096 x1602+11010048 x1601+5505024 x1600+2752512 x1599+1376256 x1598+536870912 ~x1201+268435456 ~x1200+134217728 ~x1199+67108864 ~x1198+33554432 ~x1197+16777216 ~x1196+8388608 ~x1195+4194304 ~x1194+2097152 ~x1193+1048576 ~x1192+524288 ~x1191+262144 ~x1190+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172+688128 x984+536870912 x721+268435456 x720+134217728 x719+67108864 x718+33554432 x717+16777216 x716+8388608 x715+4194304 x714+2097152 x713+1048576 x712+524288 x711+262144 x710+131072 x709+65536 x708+32768 x707+16384 x706+8192 x705+4096 x704+2048 x703+1024 x702+512 x701+256 x700+128 x699+64 x698+32 x697+16 x696+8 x695+4 x694+2 x693+1 x692-0=2147483646
9.18/9.22	c 2147483648 ~x383870+1073741824 ~x383869+536870912 ~x383868+268435456 ~x383867+134217728 ~x383866+67108864 ~x383865+33554432 ~x383864+16777216 ~x383863+8388608 ~x383862+4194304 ~x383861+2097152 ~x383860+1048576 ~x383859+524288 ~x383858+262144 ~x383857+131072 ~x383856+65536 ~x383855+32768 ~x383854+16384 ~x383853+8192 ~x383852+4096 ~x383851+2048 ~x383850+1024 ~x383849+512 ~x383848+256 ~x383847+128 ~x383846+64 ~x383845+32 ~x383844+16 ~x383843+8 ~x383842+4 ~x383841+2 ~x383840+1 ~x383839+2818572288 x1619+1409286144 x1618+704643072 x1617+352321536 x1616+176160768 x1615+88080384 x1614+44040192 x1613+22020096 x1612+11010048 x1611+5505024 x1610+2752512 x1609+1376256 x1608+536870912 ~x1231+268435456 ~x1230+134217728 ~x1229+67108864 ~x1228+33554432 ~x1227+16777216 ~x1226+8388608 ~x1225+4194304 ~x1224+2097152 ~x1223+1048576 ~x1222+524288 ~x1221+262144 ~x1220+131072 ~x1219+65536 ~x1218+32768 ~x1217+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202+688128 x985+536870912 ~x781+268435456 ~x780+134217728 ~x779+67108864 ~x778+33554432 ~x777+16777216 ~x776+8388608 ~x775+4194304 ~x774+2097152 ~x773+1048576 ~x772+524288 ~x771+262144 ~x770+131072 ~x769+65536 ~x768+32768 ~x767+16384 ~x766+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752+536870912 x751+268435456 x750+134217728 x749+67108864 x748+33554432 x747+16777216 x746+8388608 x745+4194304 x744+2097152 x743+1048576 x742+524288 x741+262144 x740+131072 x739+65536 x738+32768 x737+16384 x736+8192 x735+4096 x734+2048 x733+1024 x732+512 x731+256 x730+128 x729+64 x728+32 x727+16 x726+8 x725+4 x724+2 x723+1 x722+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=7516192764
10.47/10.55	c 1073741824 ~x442947+536870912 ~x442946+268435456 ~x442945+134217728 ~x442944+67108864 ~x442943+33554432 ~x442942+16777216 ~x442941+8388608 ~x442940+4194304 ~x442939+2097152 ~x442938+1048576 ~x442937+524288 ~x442936+262144 ~x442935+131072 ~x442934+65536 ~x442933+32768 ~x442932+16384 ~x442931+8192 ~x442930+4096 ~x442929+2048 ~x442928+1024 ~x442927+512 ~x442926+256 ~x442925+128 ~x442924+64 ~x442923+32 ~x442922+16 ~x442921+8 ~x442920+4 ~x442919+2 ~x442918+1 ~x442917+1409286144 x1632+704643072 x1631+352321536 x1630+176160768 x1629+88080384 x1628+44040192 x1627+22020096 x1626+11010048 x1625+5505024 x1624+2752512 x1623+1376256 x1622+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232+688128 x986+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782+536870912 x781+268435456 x780+134217728 x779+67108864 x778+33554432 x777+16777216 x776+8388608 x775+4194304 x774+2097152 x773+1048576 x772+524288 x771+262144 x770+131072 x769+65536 x768+32768 x767+16384 x766+8192 x765+4096 x764+2048 x763+1024 x762+512 x761+256 x760+128 x759+64 x758+32 x757+16 x756+8 x755+4 x754+2 x753+1 x752-0=4294967293
11.58/11.61	c 2147483648 ~x490121+1073741824 ~x490120+536870912 ~x490119+268435456 ~x490118+134217728 ~x490117+67108864 ~x490116+33554432 ~x490115+16777216 ~x490114+8388608 ~x490113+4194304 ~x490112+2097152 ~x490111+1048576 ~x490110+524288 ~x490109+262144 ~x490108+131072 ~x490107+65536 ~x490106+32768 ~x490105+16384 ~x490104+8192 ~x490103+4096 ~x490102+2048 ~x490101+1024 ~x490100+512 ~x490099+256 ~x490098+128 ~x490097+64 ~x490096+32 ~x490095+16 ~x490094+8 ~x490093+4 ~x490092+2 ~x490091+1 ~x490090+2818572288 x1647+1409286144 x1646+704643072 x1645+352321536 x1644+176160768 x1643+88080384 x1642+44040192 x1641+22020096 x1640+11010048 x1639+5505024 x1638+2752512 x1637+1376256 x1636+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262+688128 x987+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812+536870912 x811+268435456 x810+134217728 x809+67108864 x808+33554432 x807+16777216 x806+8388608 x805+4194304 x804+2097152 x803+1048576 x802+524288 x801+262144 x800+131072 x799+65536 x798+32768 x797+16384 x796+8192 x795+4096 x794+2048 x793+1024 x792+512 x791+256 x790+128 x789+64 x788+32 x787+16 x786+8 x785+4 x784+2 x783+1 x782+536870912 ~x541+268435456 ~x540+134217728 ~x539+67108864 ~x538+33554432 ~x537+16777216 ~x536+8388608 ~x535+4194304 ~x534+2097152 ~x533+1048576 ~x532+524288 ~x531+262144 ~x530+131072 ~x529+65536 ~x528+32768 ~x527+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=7516192764
12.87/12.95	c 2147483648 ~x549199+1073741824 ~x549198+536870912 ~x549197+268435456 ~x549196+134217728 ~x549195+67108864 ~x549194+33554432 ~x549193+16777216 ~x549192+8388608 ~x549191+4194304 ~x549190+2097152 ~x549189+1048576 ~x549188+524288 ~x549187+262144 ~x549186+131072 ~x549185+65536 ~x549184+32768 ~x549183+16384 ~x549182+8192 ~x549181+4096 ~x549180+2048 ~x549179+1024 ~x549178+512 ~x549177+256 ~x549176+128 ~x549175+64 ~x549174+32 ~x549173+16 ~x549172+8 ~x549171+4 ~x549170+2 ~x549169+1 ~x549168+2818572288 x1661+1409286144 x1660+704643072 x1659+352321536 x1658+176160768 x1657+88080384 x1656+44040192 x1655+22020096 x1654+11010048 x1653+5505024 x1652+2752512 x1651+1376256 x1650+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292+688128 x988+536870912 ~x901+268435456 ~x900+134217728 ~x899+67108864 ~x898+33554432 ~x897+16777216 ~x896+8388608 ~x895+4194304 ~x894+2097152 ~x893+1048576 ~x892+524288 ~x891+262144 ~x890+131072 ~x889+65536 ~x888+32768 ~x887+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872+536870912 ~x871+268435456 ~x870+134217728 ~x869+67108864 ~x868+33554432 ~x867+16777216 ~x866+8388608 ~x865+4194304 ~x864+2097152 ~x863+1048576 ~x862+524288 ~x861+262144 ~x860+131072 ~x859+65536 ~x858+32768 ~x857+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842+536870912 x841+268435456 x840+134217728 x839+67108864 x838+33554432 x837+16777216 x836+8388608 x835+4194304 x834+2097152 x833+1048576 x832+524288 x831+262144 x830+131072 x829+65536 x828+32768 x827+16384 x826+8192 x825+4096 x824+2048 x823+1024 x822+512 x821+256 x820+128 x819+64 x818+32 x817+16 x816+8 x815+4 x814+2 x813+1 x812-0=7516192764
14.19/14.27	c 536870912 ~x608275+268435456 ~x608274+134217728 ~x608273+67108864 ~x608272+33554432 ~x608271+16777216 ~x608270+8388608 ~x608269+4194304 ~x608268+2097152 ~x608267+1048576 ~x608266+524288 ~x608265+262144 ~x608264+131072 ~x608263+65536 ~x608262+32768 ~x608261+16384 ~x608260+8192 ~x608259+4096 ~x608258+2048 ~x608257+1024 ~x608256+512 ~x608255+256 ~x608254+128 ~x608253+64 ~x608252+32 ~x608251+16 ~x608250+8 ~x608249+4 ~x608248+2 ~x608247+1 ~x608246+704643072 x1673+352321536 x1672+176160768 x1671+88080384 x1670+44040192 x1669+22020096 x1668+11010048 x1667+5505024 x1666+2752512 x1665+1376256 x1664+536870912 ~x1351+268435456 ~x1350+134217728 ~x1349+67108864 ~x1348+33554432 ~x1347+16777216 ~x1346+8388608 ~x1345+4194304 ~x1344+2097152 ~x1343+1048576 ~x1342+524288 ~x1341+262144 ~x1340+131072 ~x1339+65536 ~x1338+32768 ~x1337+16384 ~x1336+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322+688128 x989+536870912 x871+268435456 x870+134217728 x869+67108864 x868+33554432 x867+16777216 x866+8388608 x865+4194304 x864+2097152 x863+1048576 x862+524288 x861+262144 x860+131072 x859+65536 x858+32768 x857+16384 x856+8192 x855+4096 x854+2048 x853+1024 x852+512 x851+256 x850+128 x849+64 x848+32 x847+16 x846+8 x845+4 x844+2 x843+1 x842-0=2147483646
14.98/15.06	c 1073741824 ~x642657+536870912 ~x642656+268435456 ~x642655+134217728 ~x642654+67108864 ~x642653+33554432 ~x642652+16777216 ~x642651+8388608 ~x642650+4194304 ~x642649+2097152 ~x642648+1048576 ~x642647+524288 ~x642646+262144 ~x642645+131072 ~x642644+65536 ~x642643+32768 ~x642642+16384 ~x642641+8192 ~x642640+4096 ~x642639+2048 ~x642638+1024 ~x642637+512 ~x642636+256 ~x642635+128 ~x642634+64 ~x642633+32 ~x642632+16 ~x642631+8 ~x642630+4 ~x642629+2 ~x642628+1 ~x642627+1409286144 x1688+704643072 x1687+352321536 x1686+176160768 x1685+88080384 x1684+44040192 x1683+22020096 x1682+11010048 x1681+5505024 x1680+2752512 x1679+1376256 x1678+536870912 ~x1381+268435456 ~x1380+134217728 ~x1379+67108864 ~x1378+33554432 ~x1377+16777216 ~x1376+8388608 ~x1375+4194304 ~x1374+2097152 ~x1373+1048576 ~x1372+524288 ~x1371+262144 ~x1370+131072 ~x1369+65536 ~x1368+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352+688128 x990+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902+536870912 x901+268435456 x900+134217728 x899+67108864 x898+33554432 x897+16777216 x896+8388608 x895+4194304 x894+2097152 x893+1048576 x892+524288 x891+262144 x890+131072 x889+65536 x888+32768 x887+16384 x886+8192 x885+4096 x884+2048 x883+1024 x882+512 x881+256 x880+128 x879+64 x878+32 x877+16 x876+8 x875+4 x874+2 x873+1 x872-0=4294967293
16.08/16.11	c 536870912 ~x689829+268435456 ~x689828+134217728 ~x689827+67108864 ~x689826+33554432 ~x689825+16777216 ~x689824+8388608 ~x689823+4194304 ~x689822+2097152 ~x689821+1048576 ~x689820+524288 ~x689819+262144 ~x689818+131072 ~x689817+65536 ~x689816+32768 ~x689815+16384 ~x689814+8192 ~x689813+4096 ~x689812+2048 ~x689811+1024 ~x689810+512 ~x689809+256 ~x689808+128 ~x689807+64 ~x689806+32 ~x689805+16 ~x689804+8 ~x689803+4 ~x689802+2 ~x689801+1 ~x689800+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932+536870912 x931+268435456 x930+134217728 x929+67108864 x928+33554432 x927+16777216 x926+8388608 x925+4194304 x924+2097152 x923+1048576 x922+524288 x921+262144 x920+131072 x919+65536 x918+32768 x917+16384 x916+8192 x915+4096 x914+2048 x913+1024 x912+512 x911+256 x910+128 x909+64 x908+32 x907+16 x906+8 x905+4 x904+2 x903+1 x902-0=2147483646
16.78/16.81	c 536870912 ~x720216+268435456 ~x720215+134217728 ~x720214+67108864 ~x720213+33554432 ~x720212+16777216 ~x720211+8388608 ~x720210+4194304 ~x720209+2097152 ~x720208+1048576 ~x720207+524288 ~x720206+262144 ~x720205+131072 ~x720204+65536 ~x720203+32768 ~x720202+16384 ~x720201+8192 ~x720200+4096 ~x720199+2048 ~x720198+1024 ~x720197+512 ~x720196+256 ~x720195+128 ~x720194+64 ~x720193+32 ~x720192+16 ~x720191+8 ~x720190+4 ~x720189+2 ~x720188+1 ~x720187+704643072 x1701+352321536 x1700+176160768 x1699+88080384 x1698+44040192 x1697+22020096 x1696+11010048 x1695+5505024 x1694+2752512 x1693+1376256 x1692+536870912 ~x1411+268435456 ~x1410+134217728 ~x1409+67108864 ~x1408+33554432 ~x1407+16777216 ~x1406+8388608 ~x1405+4194304 ~x1404+2097152 ~x1403+1048576 ~x1402+524288 ~x1401+262144 ~x1400+131072 ~x1399+65536 ~x1398+32768 ~x1397+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382+688128 x991+536870912 x961+268435456 x960+134217728 x959+67108864 x958+33554432 x957+16777216 x956+8388608 x955+4194304 x954+2097152 x953+1048576 x952+524288 x951+262144 x950+131072 x949+65536 x948+32768 x947+16384 x946+8192 x945+4096 x944+2048 x943+1024 x942+512 x941+256 x940+128 x939+64 x938+32 x937+16 x936+8 x935+4 x934+2 x933+1 x932-0=2147483646
17.48/17.59	c 536870912 ~x754597+268435456 ~x754596+134217728 ~x754595+67108864 ~x754594+33554432 ~x754593+16777216 ~x754592+8388608 ~x754591+4194304 ~x754590+2097152 ~x754589+1048576 ~x754588+524288 ~x754587+262144 ~x754586+131072 ~x754585+65536 ~x754584+32768 ~x754583+16384 ~x754582+8192 ~x754581+4096 ~x754580+2048 ~x754579+1024 ~x754578+512 ~x754577+256 ~x754576+128 ~x754575+64 ~x754574+32 ~x754573+16 ~x754572+8 ~x754571+4 ~x754570+2 ~x754569+1 ~x754568+12582912 x1421+6291456 x1420+3145728 x1419+1572864 x1418+786432 x1417+393216 x1416+196608 x1415+98304 x1414+49152 x1413+24576 x1412+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=2147483646
18.08/18.12	c 536870912 ~x777724+268435456 ~x777723+134217728 ~x777722+67108864 ~x777721+33554432 ~x777720+16777216 ~x777719+8388608 ~x777718+4194304 ~x777717+2097152 ~x777716+1048576 ~x777715+524288 ~x777714+262144 ~x777713+131072 ~x777712+65536 ~x777711+32768 ~x777710+16384 ~x777709+8192 ~x777708+4096 ~x777707+2048 ~x777706+1024 ~x777705+512 ~x777704+256 ~x777703+128 ~x777702+64 ~x777701+32 ~x777700+16 ~x777699+8 ~x777698+4 ~x777697+2 ~x777696+1 ~x777695+1572864 x1428+786432 x1427+393216 x1426+196608 x1425+98304 x1424+49152 x1423+24576 x1422+536870912 ~x1051+268435456 ~x1050+134217728 ~x1049+67108864 ~x1048+33554432 ~x1047+16777216 ~x1046+8388608 ~x1045+4194304 ~x1044+2097152 ~x1043+1048576 ~x1042+524288 ~x1041+262144 ~x1040+131072 ~x1039+65536 ~x1038+32768 ~x1037+16384 ~x1036+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=2147483646
18.58/18.64	c 536870912 ~x799762+268435456 ~x799761+134217728 ~x799760+67108864 ~x799759+33554432 ~x799758+16777216 ~x799757+8388608 ~x799756+4194304 ~x799755+2097152 ~x799754+1048576 ~x799753+524288 ~x799752+262144 ~x799751+131072 ~x799750+65536 ~x799749+32768 ~x799748+16384 ~x799747+8192 ~x799746+4096 ~x799745+2048 ~x799744+1024 ~x799743+512 ~x799742+256 ~x799741+128 ~x799740+64 ~x799739+32 ~x799738+16 ~x799737+8 ~x799736+4 ~x799735+2 ~x799734+1 ~x799733+1572864 x1435+786432 x1434+393216 x1433+196608 x1432+98304 x1431+49152 x1430+24576 x1429+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=2147483646
19.08/19.14	c 536870912 ~x821800+268435456 ~x821799+134217728 ~x821798+67108864 ~x821797+33554432 ~x821796+16777216 ~x821795+8388608 ~x821794+4194304 ~x821793+2097152 ~x821792+1048576 ~x821791+524288 ~x821790+262144 ~x821789+131072 ~x821788+65536 ~x821787+32768 ~x821786+16384 ~x821785+8192 ~x821784+4096 ~x821783+2048 ~x821782+1024 ~x821781+512 ~x821780+256 ~x821779+128 ~x821778+64 ~x821777+32 ~x821776+16 ~x821775+8 ~x821774+4 ~x821773+2 ~x821772+1 ~x821771+1572864 x1442+786432 x1441+393216 x1440+196608 x1439+98304 x1438+49152 x1437+24576 x1436+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=2147483646
19.58/19.65	c 536870912 ~x843838+268435456 ~x843837+134217728 ~x843836+67108864 ~x843835+33554432 ~x843834+16777216 ~x843833+8388608 ~x843832+4194304 ~x843831+2097152 ~x843830+1048576 ~x843829+524288 ~x843828+262144 ~x843827+131072 ~x843826+65536 ~x843825+32768 ~x843824+16384 ~x843823+8192 ~x843822+4096 ~x843821+2048 ~x843820+1024 ~x843819+512 ~x843818+256 ~x843817+128 ~x843816+64 ~x843815+32 ~x843814+16 ~x843813+8 ~x843812+4 ~x843811+2 ~x843810+1 ~x843809+1572864 x1449+786432 x1448+393216 x1447+196608 x1446+98304 x1445+49152 x1444+24576 x1443+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=2147483646
20.07/20.16	c 536870912 ~x865876+268435456 ~x865875+134217728 ~x865874+67108864 ~x865873+33554432 ~x865872+16777216 ~x865871+8388608 ~x865870+4194304 ~x865869+2097152 ~x865868+1048576 ~x865867+524288 ~x865866+262144 ~x865865+131072 ~x865864+65536 ~x865863+32768 ~x865862+16384 ~x865861+8192 ~x865860+4096 ~x865859+2048 ~x865858+1024 ~x865857+512 ~x865856+256 ~x865855+128 ~x865854+64 ~x865853+32 ~x865852+16 ~x865851+8 ~x865850+4 ~x865849+2 ~x865848+1 ~x865847+1572864 x1456+786432 x1455+393216 x1454+196608 x1453+98304 x1452+49152 x1451+24576 x1450+536870912 ~x1171+268435456 ~x1170+134217728 ~x1169+67108864 ~x1168+33554432 ~x1167+16777216 ~x1166+8388608 ~x1165+4194304 ~x1164+2097152 ~x1163+1048576 ~x1162+524288 ~x1161+262144 ~x1160+131072 ~x1159+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=2147483646
20.57/20.67	c 536870912 ~x887914+268435456 ~x887913+134217728 ~x887912+67108864 ~x887911+33554432 ~x887910+16777216 ~x887909+8388608 ~x887908+4194304 ~x887907+2097152 ~x887906+1048576 ~x887905+524288 ~x887904+262144 ~x887903+131072 ~x887902+65536 ~x887901+32768 ~x887900+16384 ~x887899+8192 ~x887898+4096 ~x887897+2048 ~x887896+1024 ~x887895+512 ~x887894+256 ~x887893+128 ~x887892+64 ~x887891+32 ~x887890+16 ~x887889+8 ~x887888+4 ~x887887+2 ~x887886+1 ~x887885+1572864 x1463+786432 x1462+393216 x1461+196608 x1460+98304 x1459+49152 x1458+24576 x1457+536870912 ~x1201+268435456 ~x1200+134217728 ~x1199+67108864 ~x1198+33554432 ~x1197+16777216 ~x1196+8388608 ~x1195+4194304 ~x1194+2097152 ~x1193+1048576 ~x1192+524288 ~x1191+262144 ~x1190+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=2147483646
21.07/21.18	c 536870912 ~x909952+268435456 ~x909951+134217728 ~x909950+67108864 ~x909949+33554432 ~x909948+16777216 ~x909947+8388608 ~x909946+4194304 ~x909945+2097152 ~x909944+1048576 ~x909943+524288 ~x909942+262144 ~x909941+131072 ~x909940+65536 ~x909939+32768 ~x909938+16384 ~x909937+8192 ~x909936+4096 ~x909935+2048 ~x909934+1024 ~x909933+512 ~x909932+256 ~x909931+128 ~x909930+64 ~x909929+32 ~x909928+16 ~x909927+8 ~x909926+4 ~x909925+2 ~x909924+1 ~x909923+12582912 x1473+6291456 x1472+3145728 x1471+1572864 x1470+786432 x1469+393216 x1468+196608 x1467+98304 x1466+49152 x1465+24576 x1464+536870912 ~x1231+268435456 ~x1230+134217728 ~x1229+67108864 ~x1228+33554432 ~x1227+16777216 ~x1226+8388608 ~x1225+4194304 ~x1224+2097152 ~x1223+1048576 ~x1222+524288 ~x1221+262144 ~x1220+131072 ~x1219+65536 ~x1218+32768 ~x1217+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=2147483646
21.68/21.71	c 536870912 ~x933079+268435456 ~x933078+134217728 ~x933077+67108864 ~x933076+33554432 ~x933075+16777216 ~x933074+8388608 ~x933073+4194304 ~x933072+2097152 ~x933071+1048576 ~x933070+524288 ~x933069+262144 ~x933068+131072 ~x933067+65536 ~x933066+32768 ~x933065+16384 ~x933064+8192 ~x933063+4096 ~x933062+2048 ~x933061+1024 ~x933060+512 ~x933059+256 ~x933058+128 ~x933057+64 ~x933056+32 ~x933055+16 ~x933054+8 ~x933053+4 ~x933052+2 ~x933051+1 ~x933050+12582912 x1483+6291456 x1482+3145728 x1481+1572864 x1480+786432 x1479+393216 x1478+196608 x1477+98304 x1476+49152 x1475+24576 x1474+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=2147483646
22.17/22.24	c 536870912 ~x956206+268435456 ~x956205+134217728 ~x956204+67108864 ~x956203+33554432 ~x956202+16777216 ~x956201+8388608 ~x956200+4194304 ~x956199+2097152 ~x956198+1048576 ~x956197+524288 ~x956196+262144 ~x956195+131072 ~x956194+65536 ~x956193+32768 ~x956192+16384 ~x956191+8192 ~x956190+4096 ~x956189+2048 ~x956188+1024 ~x956187+512 ~x956186+256 ~x956185+128 ~x956184+64 ~x956183+32 ~x956182+16 ~x956181+8 ~x956180+4 ~x956179+2 ~x956178+1 ~x956177+12582912 x1493+6291456 x1492+3145728 x1491+1572864 x1490+786432 x1489+393216 x1488+196608 x1487+98304 x1486+49152 x1485+24576 x1484+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=2147483646
22.68/22.77	c 536870912 ~x979333+268435456 ~x979332+134217728 ~x979331+67108864 ~x979330+33554432 ~x979329+16777216 ~x979328+8388608 ~x979327+4194304 ~x979326+2097152 ~x979325+1048576 ~x979324+524288 ~x979323+262144 ~x979322+131072 ~x979321+65536 ~x979320+32768 ~x979319+16384 ~x979318+8192 ~x979317+4096 ~x979316+2048 ~x979315+1024 ~x979314+512 ~x979313+256 ~x979312+128 ~x979311+64 ~x979310+32 ~x979309+16 ~x979308+8 ~x979307+4 ~x979306+2 ~x979305+1 ~x979304+12582912 x1503+6291456 x1502+3145728 x1501+1572864 x1500+786432 x1499+393216 x1498+196608 x1497+98304 x1496+49152 x1495+24576 x1494+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=2147483646
23.27/23.32	c 536870912 ~x1002460+268435456 ~x1002459+134217728 ~x1002458+67108864 ~x1002457+33554432 ~x1002456+16777216 ~x1002455+8388608 ~x1002454+4194304 ~x1002453+2097152 ~x1002452+1048576 ~x1002451+524288 ~x1002450+262144 ~x1002449+131072 ~x1002448+65536 ~x1002447+32768 ~x1002446+16384 ~x1002445+8192 ~x1002444+4096 ~x1002443+2048 ~x1002442+1024 ~x1002441+512 ~x1002440+256 ~x1002439+128 ~x1002438+64 ~x1002437+32 ~x1002436+16 ~x1002435+8 ~x1002434+4 ~x1002433+2 ~x1002432+1 ~x1002431+12582912 x1513+6291456 x1512+3145728 x1511+1572864 x1510+786432 x1509+393216 x1508+196608 x1507+98304 x1506+49152 x1505+24576 x1504+536870912 ~x1351+268435456 ~x1350+134217728 ~x1349+67108864 ~x1348+33554432 ~x1347+16777216 ~x1346+8388608 ~x1345+4194304 ~x1344+2097152 ~x1343+1048576 ~x1342+524288 ~x1341+262144 ~x1340+131072 ~x1339+65536 ~x1338+32768 ~x1337+16384 ~x1336+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=2147483646
23.77/23.85	c 536870912 ~x1025587+268435456 ~x1025586+134217728 ~x1025585+67108864 ~x1025584+33554432 ~x1025583+16777216 ~x1025582+8388608 ~x1025581+4194304 ~x1025580+2097152 ~x1025579+1048576 ~x1025578+524288 ~x1025577+262144 ~x1025576+131072 ~x1025575+65536 ~x1025574+32768 ~x1025573+16384 ~x1025572+8192 ~x1025571+4096 ~x1025570+2048 ~x1025569+1024 ~x1025568+512 ~x1025567+256 ~x1025566+128 ~x1025565+64 ~x1025564+32 ~x1025563+16 ~x1025562+8 ~x1025561+4 ~x1025560+2 ~x1025559+1 ~x1025558+12582912 x1523+6291456 x1522+3145728 x1521+1572864 x1520+786432 x1519+393216 x1518+196608 x1517+98304 x1516+49152 x1515+24576 x1514+536870912 ~x1381+268435456 ~x1380+134217728 ~x1379+67108864 ~x1378+33554432 ~x1377+16777216 ~x1376+8388608 ~x1375+4194304 ~x1374+2097152 ~x1373+1048576 ~x1372+524288 ~x1371+262144 ~x1370+131072 ~x1369+65536 ~x1368+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=2147483646
24.27/24.38	c 536870912 ~x1048714+268435456 ~x1048713+134217728 ~x1048712+67108864 ~x1048711+33554432 ~x1048710+16777216 ~x1048709+8388608 ~x1048708+4194304 ~x1048707+2097152 ~x1048706+1048576 ~x1048705+524288 ~x1048704+262144 ~x1048703+131072 ~x1048702+65536 ~x1048701+32768 ~x1048700+16384 ~x1048699+8192 ~x1048698+4096 ~x1048697+2048 ~x1048696+1024 ~x1048695+512 ~x1048694+256 ~x1048693+128 ~x1048692+64 ~x1048691+32 ~x1048690+16 ~x1048689+8 ~x1048688+4 ~x1048687+2 ~x1048686+1 ~x1048685+12582912 x1533+6291456 x1532+3145728 x1531+1572864 x1530+786432 x1529+393216 x1528+196608 x1527+98304 x1526+49152 x1525+24576 x1524+536870912 ~x1411+268435456 ~x1410+134217728 ~x1409+67108864 ~x1408+33554432 ~x1407+16777216 ~x1406+8388608 ~x1405+4194304 ~x1404+2097152 ~x1403+1048576 ~x1402+524288 ~x1401+262144 ~x1400+131072 ~x1399+65536 ~x1398+32768 ~x1397+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=2147483646
24.87/24.92	c 2147483648 ~x1071843+1073741824 ~x1071842+536870912 ~x1071841+268435456 ~x1071840+134217728 ~x1071839+67108864 ~x1071838+33554432 ~x1071837+16777216 ~x1071836+8388608 ~x1071835+4194304 ~x1071834+2097152 ~x1071833+1048576 ~x1071832+524288 ~x1071831+262144 ~x1071830+131072 ~x1071829+65536 ~x1071828+32768 ~x1071827+16384 ~x1071826+8192 ~x1071825+4096 ~x1071824+2048 ~x1071823+1024 ~x1071822+512 ~x1071821+256 ~x1071820+128 ~x1071819+64 ~x1071818+32 ~x1071817+16 ~x1071816+8 ~x1071815+4 ~x1071814+2 ~x1071813+1 ~x1071812+536870912 x1021+268435456 x1020+134217728 x1019+67108864 x1018+33554432 x1017+16777216 x1016+8388608 x1015+4194304 x1014+2097152 x1013+1048576 x1012+524288 x1011+262144 x1010+131072 x1009+65536 x1008+32768 x1007+16384 x1006+8192 x1005+4096 x1004+2048 x1003+1024 x1002+512 x1001+256 x1000+128 x999+64 x998+32 x997+16 x996+8 x995+4 x994+2 x993+1 x992+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212+536870912 x31+268435456 x30+134217728 x29+67108864 x28+33554432 x27+16777216 x26+8388608 x25+4194304 x24+2097152 x23+1048576 x22+524288 x21+262144 x20+131072 x19+65536 x18+32768 x17+16384 x16+8192 x15+4096 x14+2048 x13+1024 x12+512 x11+256 x10+128 x9+64 x8+32 x7+16 x6+8 x5+4 x4+2 x3+1 x2-0=6443270141
26.07/26.13	c 1073741824 ~x1126083+536870912 ~x1126082+268435456 ~x1126081+134217728 ~x1126080+67108864 ~x1126079+33554432 ~x1126078+16777216 ~x1126077+8388608 ~x1126076+4194304 ~x1126075+2097152 ~x1126074+1048576 ~x1126073+524288 ~x1126072+262144 ~x1126071+131072 ~x1126070+65536 ~x1126069+32768 ~x1126068+16384 ~x1126067+8192 ~x1126066+4096 ~x1126065+2048 ~x1126064+1024 ~x1126063+512 ~x1126062+256 ~x1126061+128 ~x1126060+64 ~x1126059+32 ~x1126058+16 ~x1126057+8 ~x1126056+4 ~x1126055+2 ~x1126054+1 ~x1126053+536870912 x1051+268435456 x1050+134217728 x1049+67108864 x1048+33554432 x1047+16777216 x1046+8388608 x1045+4194304 x1044+2097152 x1043+1048576 x1042+524288 x1041+262144 x1040+131072 x1039+65536 x1038+32768 x1037+16384 x1036+8192 x1035+4096 x1034+2048 x1033+1024 x1032+512 x1031+256 x1030+128 x1029+64 x1028+32 x1027+16 x1026+8 x1025+4 x1024+2 x1023+1 x1022+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32-0=3221481470
26.98/27.07	c 1073741824 ~x1167724+536870912 ~x1167723+268435456 ~x1167722+134217728 ~x1167721+67108864 ~x1167720+33554432 ~x1167719+16777216 ~x1167718+8388608 ~x1167717+4194304 ~x1167716+2097152 ~x1167715+1048576 ~x1167714+524288 ~x1167713+262144 ~x1167712+131072 ~x1167711+65536 ~x1167710+32768 ~x1167709+16384 ~x1167708+8192 ~x1167707+4096 ~x1167706+2048 ~x1167705+1024 ~x1167704+512 ~x1167703+256 ~x1167702+128 ~x1167701+64 ~x1167700+32 ~x1167699+16 ~x1167698+8 ~x1167697+4 ~x1167696+2 ~x1167695+1 ~x1167694+536870912 x1081+268435456 x1080+134217728 x1079+67108864 x1078+33554432 x1077+16777216 x1076+8388608 x1075+4194304 x1074+2097152 x1073+1048576 x1072+524288 x1071+262144 x1070+131072 x1069+65536 x1068+32768 x1067+16384 x1066+8192 x1065+4096 x1064+2048 x1063+1024 x1062+512 x1061+256 x1060+128 x1059+64 x1058+32 x1057+16 x1056+8 x1055+4 x1054+2 x1053+1 x1052+536870912 ~x121+268435456 ~x120+134217728 ~x119+67108864 ~x118+33554432 ~x117+16777216 ~x116+8388608 ~x115+4194304 ~x114+2097152 ~x113+1048576 ~x112+524288 ~x111+262144 ~x110+131072 ~x109+65536 ~x108+32768 ~x107+16384 ~x106+8192 ~x105+4096 ~x104+2048 ~x103+1024 ~x102+512 ~x101+256 ~x100+128 ~x99+64 ~x98+32 ~x97+16 ~x96+8 ~x95+4 ~x94+2 ~x93+1 ~x92+536870912 x91+268435456 x90+134217728 x89+67108864 x88+33554432 x87+16777216 x86+8388608 x85+4194304 x84+2097152 x83+1048576 x82+524288 x81+262144 x80+131072 x79+65536 x78+32768 x77+16384 x76+8192 x75+4096 x74+2048 x73+1024 x72+512 x71+256 x70+128 x69+64 x68+32 x67+16 x66+8 x65+4 x64+2 x63+1 x62-0=3221635070
27.97/28.01	c 524288 ~x1209354+262144 ~x1209353+131072 ~x1209352+65536 ~x1209351+32768 ~x1209350+16384 ~x1209349+8192 ~x1209348+4096 ~x1209347+2048 ~x1209346+1024 ~x1209345+512 ~x1209344+256 ~x1209343+128 ~x1209342+64 ~x1209341+32 ~x1209340+16 ~x1209339+8 ~x1209338+4 ~x1209337+2 ~x1209336+1 ~x1209335+524288 x1101+262144 x1100+131072 x1099+65536 x1098+32768 x1097+16384 x1096+8192 x1095+4096 x1094+2048 x1093+1024 x1092+512 x1091+256 x1090+128 x1089+64 x1088+32 x1087+16 x1086+8 x1085+4 x1084+2 x1083+1 x1082+524288 x111+262144 x110+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92-0=2072575
28.17/28.27	c 1073741824 ~x1220319+536870912 ~x1220318+268435456 ~x1220317+134217728 ~x1220316+67108864 ~x1220315+33554432 ~x1220314+16777216 ~x1220313+8388608 ~x1220312+4194304 ~x1220311+2097152 ~x1220310+1048576 ~x1220309+524288 ~x1220308+262144 ~x1220307+131072 ~x1220306+65536 ~x1220305+32768 ~x1220304+16384 ~x1220303+8192 ~x1220302+4096 ~x1220301+2048 ~x1220300+1024 ~x1220299+512 ~x1220298+256 ~x1220297+128 ~x1220296+64 ~x1220295+32 ~x1220294+16 ~x1220293+8 ~x1220292+4 ~x1220291+2 ~x1220290+1 ~x1220289+536870912 x1141+268435456 x1140+134217728 x1139+67108864 x1138+33554432 x1137+16777216 x1136+8388608 x1135+4194304 x1134+2097152 x1133+1048576 x1132+524288 x1131+262144 x1130+131072 x1129+65536 x1128+32768 x1127+16384 x1126+8192 x1125+4096 x1124+2048 x1123+1024 x1122+512 x1121+256 x1120+128 x1119+64 x1118+32 x1117+16 x1116+8 x1115+4 x1114+2 x1113+1 x1112+536870912 ~x181+268435456 ~x180+134217728 ~x179+67108864 ~x178+33554432 ~x177+16777216 ~x176+8388608 ~x175+4194304 ~x174+2097152 ~x173+1048576 ~x172+524288 ~x171+262144 ~x170+131072 ~x169+65536 ~x168+32768 ~x167+16384 ~x166+8192 ~x165+4096 ~x164+2048 ~x163+1024 ~x162+512 ~x161+256 ~x160+128 ~x159+64 ~x158+32 ~x157+16 ~x156+8 ~x155+4 ~x154+2 ~x153+1 ~x152+536870912 x151+268435456 x150+134217728 x149+67108864 x148+33554432 x147+16777216 x146+8388608 x145+4194304 x144+2097152 x143+1048576 x142+524288 x141+262144 x140+131072 x139+65536 x138+32768 x137+16384 x136+8192 x135+4096 x134+2048 x133+1024 x132+512 x131+256 x130+128 x129+64 x128+32 x127+16 x126+8 x125+4 x124+2 x123+1 x122-0=3225321470
29.17/29.22	c 1073741824 ~x1261960+536870912 ~x1261959+268435456 ~x1261958+134217728 ~x1261957+67108864 ~x1261956+33554432 ~x1261955+16777216 ~x1261954+8388608 ~x1261953+4194304 ~x1261952+2097152 ~x1261951+1048576 ~x1261950+524288 ~x1261949+262144 ~x1261948+131072 ~x1261947+65536 ~x1261946+32768 ~x1261945+16384 ~x1261944+8192 ~x1261943+4096 ~x1261942+2048 ~x1261941+1024 ~x1261940+512 ~x1261939+256 ~x1261938+128 ~x1261937+64 ~x1261936+32 ~x1261935+16 ~x1261934+8 ~x1261933+4 ~x1261932+2 ~x1261931+1 ~x1261930+536870912 x1171+268435456 x1170+134217728 x1169+67108864 x1168+33554432 x1167+16777216 x1166+8388608 x1165+4194304 x1164+2097152 x1163+1048576 x1162+524288 x1161+262144 x1160+131072 x1159+65536 x1158+32768 x1157+16384 x1156+8192 x1155+4096 x1154+2048 x1153+1024 x1152+512 x1151+256 x1150+128 x1149+64 x1148+32 x1147+16 x1146+8 x1145+4 x1144+2 x1143+1 x1142+536870912 ~x211+268435456 ~x210+134217728 ~x209+67108864 ~x208+33554432 ~x207+16777216 ~x206+8388608 ~x205+4194304 ~x204+2097152 ~x203+1048576 ~x202+524288 ~x201+262144 ~x200+131072 ~x199+65536 ~x198+32768 ~x197+16384 ~x196+8192 ~x195+4096 ~x194+2048 ~x193+1024 ~x192+512 ~x191+256 ~x190+128 ~x189+64 ~x188+32 ~x187+16 ~x186+8 ~x185+4 ~x184+2 ~x183+1 ~x182+536870912 x181+268435456 x180+134217728 x179+67108864 x178+33554432 x177+16777216 x176+8388608 x175+4194304 x174+2097152 x173+1048576 x172+524288 x171+262144 x170+131072 x169+65536 x168+32768 x167+16384 x166+8192 x165+4096 x164+2048 x163+1024 x162+512 x161+256 x160+128 x159+64 x158+32 x157+16 x156+8 x155+4 x154+2 x153+1 x152-0=3221317630
30.07/30.15	c 524288 ~x1303590+262144 ~x1303589+131072 ~x1303588+65536 ~x1303587+32768 ~x1303586+16384 ~x1303585+8192 ~x1303584+4096 ~x1303583+2048 ~x1303582+1024 ~x1303581+512 ~x1303580+256 ~x1303579+128 ~x1303578+64 ~x1303577+32 ~x1303576+16 ~x1303575+8 ~x1303574+4 ~x1303573+2 ~x1303572+1 ~x1303571+524288 x201+262144 x200+131072 x199+65536 x198+32768 x197+16384 x196+8192 x195+4096 x194+2048 x193+1024 x192+512 x191+256 x190+128 x189+64 x188+32 x187+16 x186+8 x185+4 x184+2 x183+1 x182-0=1765375
30.28/30.31	c 16384 ~x1310345+8192 ~x1310344+4096 ~x1310343+2048 ~x1310342+1024 ~x1310341+512 ~x1310340+256 ~x1310339+128 ~x1310338+64 ~x1310337+32 ~x1310336+16 ~x1310335+8 ~x1310334+4 ~x1310333+2 ~x1310332+1 ~x1310331+16384 x1186+8192 x1185+4096 x1184+2048 x1183+1024 x1182+512 x1181+256 x1180+128 x1179+64 x1178+32 x1177+16 x1176+8 x1175+4 x1174+2 x1173+1 x1172+16384 x226+8192 x225+4096 x224+2048 x223+1024 x222+512 x221+256 x220+128 x219+64 x218+32 x217+16 x216+8 x215+4 x214+2 x213+1 x212-0=57343
30.38/30.46	c 2147483648 ~x1316573+1073741824 ~x1316572+536870912 ~x1316571+268435456 ~x1316570+134217728 ~x1316569+67108864 ~x1316568+33554432 ~x1316567+16777216 ~x1316566+8388608 ~x1316565+4194304 ~x1316564+2097152 ~x1316563+1048576 ~x1316562+524288 ~x1316561+262144 ~x1316560+131072 ~x1316559+65536 ~x1316558+32768 ~x1316557+16384 ~x1316556+8192 ~x1316555+4096 ~x1316554+2048 ~x1316553+1024 ~x1316552+512 ~x1316551+256 ~x1316550+128 ~x1316549+64 ~x1316548+32 ~x1316547+16 ~x1316546+8 ~x1316545+4 ~x1316544+2 ~x1316543+1 ~x1316542+536870912 x1231+268435456 x1230+134217728 x1229+67108864 x1228+33554432 x1227+16777216 x1226+8388608 x1225+4194304 x1224+2097152 x1223+1048576 x1222+524288 x1221+262144 x1220+131072 x1219+65536 x1218+32768 x1217+16384 x1216+8192 x1215+4096 x1214+2048 x1213+1024 x1212+512 x1211+256 x1210+128 x1209+64 x1208+32 x1207+16 x1206+8 x1205+4 x1204+2 x1203+1 x1202+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x151+268435456 ~x150+134217728 ~x149+67108864 ~x148+33554432 ~x147+16777216 ~x146+8388608 ~x145+4194304 ~x144+2097152 ~x143+1048576 ~x142+524288 ~x141+262144 ~x140+131072 ~x139+65536 ~x138+32768 ~x137+16384 ~x136+8192 ~x135+4096 ~x134+2048 ~x133+1024 ~x132+512 ~x131+256 ~x130+128 ~x129+64 ~x128+32 ~x127+16 ~x126+8 ~x125+4 ~x124+2 ~x123+1 ~x122-0=6445625341
31.57/31.67	c 1073741824 ~x1370813+536870912 ~x1370812+268435456 ~x1370811+134217728 ~x1370810+67108864 ~x1370809+33554432 ~x1370808+16777216 ~x1370807+8388608 ~x1370806+4194304 ~x1370805+2097152 ~x1370804+1048576 ~x1370803+524288 ~x1370802+262144 ~x1370801+131072 ~x1370800+65536 ~x1370799+32768 ~x1370798+16384 ~x1370797+8192 ~x1370796+4096 ~x1370795+2048 ~x1370794+1024 ~x1370793+512 ~x1370792+256 ~x1370791+128 ~x1370790+64 ~x1370789+32 ~x1370788+16 ~x1370787+8 ~x1370786+4 ~x1370785+2 ~x1370784+1 ~x1370783+536870912 x1261+268435456 x1260+134217728 x1259+67108864 x1258+33554432 x1257+16777216 x1256+8388608 x1255+4194304 x1254+2097152 x1253+1048576 x1252+524288 x1251+262144 x1250+131072 x1249+65536 x1248+32768 x1247+16384 x1246+8192 x1245+4096 x1244+2048 x1243+1024 x1242+512 x1241+256 x1240+128 x1239+64 x1238+32 x1237+16 x1236+8 x1235+4 x1234+2 x1233+1 x1232+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302+536870912 x301+268435456 x300+134217728 x299+67108864 x298+33554432 x297+16777216 x296+8388608 x295+4194304 x294+2097152 x293+1048576 x292+524288 x291+262144 x290+131072 x289+65536 x288+32768 x287+16384 x286+8192 x285+4096 x284+2048 x283+1024 x282+512 x281+256 x280+128 x279+64 x278+32 x277+16 x276+8 x275+4 x274+2 x273+1 x272-0=3221276670
32.57/32.61	c 2147483648 ~x1412455+1073741824 ~x1412454+536870912 ~x1412453+268435456 ~x1412452+134217728 ~x1412451+67108864 ~x1412450+33554432 ~x1412449+16777216 ~x1412448+8388608 ~x1412447+4194304 ~x1412446+2097152 ~x1412445+1048576 ~x1412444+524288 ~x1412443+262144 ~x1412442+131072 ~x1412441+65536 ~x1412440+32768 ~x1412439+16384 ~x1412438+8192 ~x1412437+4096 ~x1412436+2048 ~x1412435+1024 ~x1412434+512 ~x1412433+256 ~x1412432+128 ~x1412431+64 ~x1412430+32 ~x1412429+16 ~x1412428+8 ~x1412427+4 ~x1412426+2 ~x1412425+1 ~x1412424+536870912 x1291+268435456 x1290+134217728 x1289+67108864 x1288+33554432 x1287+16777216 x1286+8388608 x1285+4194304 x1284+2097152 x1283+1048576 x1282+524288 x1281+262144 x1280+131072 x1279+65536 x1278+32768 x1277+16384 x1276+8192 x1275+4096 x1274+2048 x1273+1024 x1272+512 x1271+256 x1270+128 x1269+64 x1268+32 x1267+16 x1266+8 x1265+4 x1264+2 x1263+1 x1262+536870912 ~x361+268435456 ~x360+134217728 ~x359+67108864 ~x358+33554432 ~x357+16777216 ~x356+8388608 ~x355+4194304 ~x354+2097152 ~x353+1048576 ~x352+524288 ~x351+262144 ~x350+131072 ~x349+65536 ~x348+32768 ~x347+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332+536870912 x331+268435456 x330+134217728 x329+67108864 x328+33554432 x327+16777216 x326+8388608 x325+4194304 x324+2097152 x323+1048576 x322+524288 x321+262144 x320+131072 x319+65536 x318+32768 x317+16384 x316+8192 x315+4096 x314+2048 x313+1024 x312+512 x311+256 x310+128 x309+64 x308+32 x307+16 x306+8 x305+4 x304+2 x303+1 x302+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=6442491901
33.77/33.83	c 2147483648 ~x1466696+1073741824 ~x1466695+536870912 ~x1466694+268435456 ~x1466693+134217728 ~x1466692+67108864 ~x1466691+33554432 ~x1466690+16777216 ~x1466689+8388608 ~x1466688+4194304 ~x1466687+2097152 ~x1466686+1048576 ~x1466685+524288 ~x1466684+262144 ~x1466683+131072 ~x1466682+65536 ~x1466681+32768 ~x1466680+16384 ~x1466679+8192 ~x1466678+4096 ~x1466677+2048 ~x1466676+1024 ~x1466675+512 ~x1466674+256 ~x1466673+128 ~x1466672+64 ~x1466671+32 ~x1466670+16 ~x1466669+8 ~x1466668+4 ~x1466667+2 ~x1466666+1 ~x1466665+536870912 x1321+268435456 x1320+134217728 x1319+67108864 x1318+33554432 x1317+16777216 x1316+8388608 x1315+4194304 x1314+2097152 x1313+1048576 x1312+524288 x1311+262144 x1310+131072 x1309+65536 x1308+32768 x1307+16384 x1306+8192 x1305+4096 x1304+2048 x1303+1024 x1302+512 x1301+256 x1300+128 x1299+64 x1298+32 x1297+16 x1296+8 x1295+4 x1294+2 x1293+1 x1292+536870912 ~x421+268435456 ~x420+134217728 ~x419+67108864 ~x418+33554432 ~x417+16777216 ~x416+8388608 ~x415+4194304 ~x414+2097152 ~x413+1048576 ~x412+524288 ~x411+262144 ~x410+131072 ~x409+65536 ~x408+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392+536870912 ~x391+268435456 ~x390+134217728 ~x389+67108864 ~x388+33554432 ~x387+16777216 ~x386+8388608 ~x385+4194304 ~x384+2097152 ~x383+1048576 ~x382+524288 ~x381+262144 ~x380+131072 ~x379+65536 ~x378+32768 ~x377+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362+536870912 x361+268435456 x360+134217728 x359+67108864 x358+33554432 x357+16777216 x356+8388608 x355+4194304 x354+2097152 x353+1048576 x352+524288 x351+262144 x350+131072 x349+65536 x348+32768 x347+16384 x346+8192 x345+4096 x344+2048 x343+1024 x342+512 x341+256 x340+128 x339+64 x338+32 x337+16 x336+8 x335+4 x334+2 x333+1 x332-0=6443372541
34.97/35.04	c 32768 ~x1520921+16384 ~x1520920+8192 ~x1520919+4096 ~x1520918+2048 ~x1520917+1024 ~x1520916+512 ~x1520915+256 ~x1520914+128 ~x1520913+64 ~x1520912+32 ~x1520911+16 ~x1520910+8 ~x1520909+4 ~x1520908+2 ~x1520907+1 ~x1520906+32768 x1337+16384 x1336+8192 x1335+4096 x1334+2048 x1333+1024 x1332+512 x1331+256 x1330+128 x1329+64 x1328+32 x1327+16 x1326+8 x1325+4 x1324+2 x1323+1 x1322+32768 x377+16384 x376+8192 x375+4096 x374+2048 x373+1024 x372+512 x371+256 x370+128 x369+64 x368+32 x367+16 x366+8 x365+4 x364+2 x363+1 x362-0=106495
35.18/35.21	c 1073741824 ~x1527850+536870912 ~x1527849+268435456 ~x1527848+134217728 ~x1527847+67108864 ~x1527846+33554432 ~x1527845+16777216 ~x1527844+8388608 ~x1527843+4194304 ~x1527842+2097152 ~x1527841+1048576 ~x1527840+524288 ~x1527839+262144 ~x1527838+131072 ~x1527837+65536 ~x1527836+32768 ~x1527835+16384 ~x1527834+8192 ~x1527833+4096 ~x1527832+2048 ~x1527831+1024 ~x1527830+512 ~x1527829+256 ~x1527828+128 ~x1527827+64 ~x1527826+32 ~x1527825+16 ~x1527824+8 ~x1527823+4 ~x1527822+2 ~x1527821+1 ~x1527820+536870912 x1381+268435456 x1380+134217728 x1379+67108864 x1378+33554432 x1377+16777216 x1376+8388608 x1375+4194304 x1374+2097152 x1373+1048576 x1372+524288 x1371+262144 x1370+131072 x1369+65536 x1368+32768 x1367+16384 x1366+8192 x1365+4096 x1364+2048 x1363+1024 x1362+512 x1361+256 x1360+128 x1359+64 x1358+32 x1357+16 x1356+8 x1355+4 x1354+2 x1353+1 x1352+536870912 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422+536870912 x421+268435456 x420+134217728 x419+67108864 x418+33554432 x417+16777216 x416+8388608 x415+4194304 x414+2097152 x413+1048576 x412+524288 x411+262144 x410+131072 x409+65536 x408+32768 x407+16384 x406+8192 x405+4096 x404+2048 x403+1024 x402+512 x401+256 x400+128 x399+64 x398+32 x397+16 x396+8 x395+4 x394+2 x393+1 x392-0=3228547070
36.08/36.17	c 1073741824 ~x1569491+536870912 ~x1569490+268435456 ~x1569489+134217728 ~x1569488+67108864 ~x1569487+33554432 ~x1569486+16777216 ~x1569485+8388608 ~x1569484+4194304 ~x1569483+2097152 ~x1569482+1048576 ~x1569481+524288 ~x1569480+262144 ~x1569479+131072 ~x1569478+65536 ~x1569477+32768 ~x1569476+16384 ~x1569475+8192 ~x1569474+4096 ~x1569473+2048 ~x1569472+1024 ~x1569471+512 ~x1569470+256 ~x1569469+128 ~x1569468+64 ~x1569467+32 ~x1569466+16 ~x1569465+8 ~x1569464+4 ~x1569463+2 ~x1569462+1 ~x1569461+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452+536870912 x451+268435456 x450+134217728 x449+67108864 x448+33554432 x447+16777216 x446+8388608 x445+4194304 x444+2097152 x443+1048576 x442+524288 x441+262144 x440+131072 x439+65536 x438+32768 x437+16384 x436+8192 x435+4096 x434+2048 x433+1024 x432+512 x431+256 x430+128 x429+64 x428+32 x427+16 x426+8 x425+4 x424+2 x423+1 x422-0=3226140670
36.78/36.86	c 2097152 ~x1600233+1048576 ~x1600232+524288 ~x1600231+262144 ~x1600230+131072 ~x1600229+65536 ~x1600228+32768 ~x1600227+16384 ~x1600226+8192 ~x1600225+4096 ~x1600224+2048 ~x1600223+1024 ~x1600222+512 ~x1600221+256 ~x1600220+128 ~x1600219+64 ~x1600218+32 ~x1600217+16 ~x1600216+8 ~x1600215+4 ~x1600214+2 ~x1600213+1 ~x1600212+2097152 x1403+1048576 x1402+524288 x1401+262144 x1400+131072 x1399+65536 x1398+32768 x1397+16384 x1396+8192 x1395+4096 x1394+2048 x1393+1024 x1392+512 x1391+256 x1390+128 x1389+64 x1388+32 x1387+16 x1386+8 x1385+4 x1384+2 x1383+1 x1382+2097152 x473+1048576 x472+524288 x471+262144 x470+131072 x469+65536 x468+32768 x467+16384 x466+8192 x465+4096 x464+2048 x463+1024 x462+512 x461+256 x460+128 x459+64 x458+32 x457+16 x456+8 x455+4 x454+2 x453+1 x452-0=7266303
37.07/37.20	c 549755813888 ~x1614535+274877906944 ~x1614534+137438953472 ~x1614533+68719476736 ~x1614532+34359738368 ~x1614531+17179869184 ~x1614530+8589934592 ~x1614529+4294967296 ~x1614528+2147483648 ~x1614527+1073741824 ~x1614526+536870912 ~x1614525+268435456 ~x1614524+134217728 ~x1614523+67108864 ~x1614522+33554432 ~x1614521+16777216 ~x1614520+8388608 ~x1614519+4194304 ~x1614518+2097152 ~x1614517+1048576 ~x1614516+524288 ~x1614515+262144 ~x1614514+131072 ~x1614513+65536 ~x1614512+32768 ~x1614511+16384 ~x1614510+8192 ~x1614509+4096 ~x1614508+2048 ~x1614507+1024 ~x1614506+512 ~x1614505+256 ~x1614504+128 ~x1614503+64 ~x1614502+32 ~x1614501+16 ~x1614500+8 ~x1614499+4 ~x1614498+2 ~x1614497+1 ~x1614496+1024000000 ~x962+44560285696 ~x511+22280142848 ~x510+11140071424 ~x509+5570035712 ~x508+2785017856 ~x507+1392508928 ~x506+696254464 ~x505+348127232 ~x504+174063616 ~x503+87031808 ~x502+43515904 ~x501+21757952 ~x500+10878976 ~x499+5439488 ~x498+2719744 ~x497+1359872 ~x496+679936 ~x495+339968 ~x494+169984 ~x493+84992 ~x492+42496 ~x491+21248 ~x490+10624 ~x489+5312 ~x488+2656 ~x487+1328 ~x486+664 ~x485+332 ~x484+166 ~x483+83 ~x482+447213469696 ~x31+223606734848 ~x30+111803367424 ~x29+55901683712 ~x28+27950841856 ~x27+13975420928 ~x26+6987710464 ~x25+3493855232 ~x24+1746927616 ~x23+873463808 ~x22+436731904 ~x21+218365952 ~x20+109182976 ~x19+54591488 ~x18+27295744 ~x17+13647872 ~x16+6823936 ~x15+3411968 ~x14+1705984 ~x13+852992 ~x12+426496 ~x11+213248 ~x10+106624 ~x9+53312 ~x8+26656 ~x7+13328 ~x6+6664 ~x5+3332 ~x4+1666 ~x3+833 ~x2-0=2075891137643
38.17/38.26	c 549755813888 ~x1661459+274877906944 ~x1661458+137438953472 ~x1661457+68719476736 ~x1661456+34359738368 ~x1661455+17179869184 ~x1661454+8589934592 ~x1661453+4294967296 ~x1661452+2147483648 ~x1661451+1073741824 ~x1661450+536870912 ~x1661449+268435456 ~x1661448+134217728 ~x1661447+67108864 ~x1661446+33554432 ~x1661445+16777216 ~x1661444+8388608 ~x1661443+4194304 ~x1661442+2097152 ~x1661441+1048576 ~x1661440+524288 ~x1661439+262144 ~x1661438+131072 ~x1661437+65536 ~x1661436+32768 ~x1661435+16384 ~x1661434+8192 ~x1661433+4096 ~x1661432+2048 ~x1661431+1024 ~x1661430+512 ~x1661429+256 ~x1661428+128 ~x1661427+64 ~x1661426+32 ~x1661425+16 ~x1661424+8 ~x1661423+4 ~x1661422+2 ~x1661421+1 ~x1661420+1024000000 ~x970+44560285696 ~x751+22280142848 ~x750+11140071424 ~x749+5570035712 ~x748+2785017856 ~x747+1392508928 ~x746+696254464 ~x745+348127232 ~x744+174063616 ~x743+87031808 ~x742+43515904 ~x741+21757952 ~x740+10878976 ~x739+5439488 ~x738+2719744 ~x737+1359872 ~x736+679936 ~x735+339968 ~x734+169984 ~x733+84992 ~x732+42496 ~x731+21248 ~x730+10624 ~x729+5312 ~x728+2656 ~x727+1328 ~x726+664 ~x725+332 ~x724+166 ~x723+83 ~x722+447213469696 ~x271+223606734848 ~x270+111803367424 ~x269+55901683712 ~x268+27950841856 ~x267+13975420928 ~x266+6987710464 ~x265+3493855232 ~x264+1746927616 ~x263+873463808 ~x262+436731904 ~x261+218365952 ~x260+109182976 ~x259+54591488 ~x258+27295744 ~x257+13647872 ~x256+6823936 ~x255+3411968 ~x254+1705984 ~x253+852992 ~x252+426496 ~x251+213248 ~x250+106624 ~x249+53312 ~x248+26656 ~x247+13328 ~x246+6664 ~x245+3332 ~x244+1666 ~x243+833 ~x242-0=2075891137643
39.27/39.32	c 549755813888 ~x1708383+274877906944 ~x1708382+137438953472 ~x1708381+68719476736 ~x1708380+34359738368 ~x1708379+17179869184 ~x1708378+8589934592 ~x1708377+4294967296 ~x1708376+2147483648 ~x1708375+1073741824 ~x1708374+536870912 ~x1708373+268435456 ~x1708372+134217728 ~x1708371+67108864 ~x1708370+33554432 ~x1708369+16777216 ~x1708368+8388608 ~x1708367+4194304 ~x1708366+2097152 ~x1708365+1048576 ~x1708364+524288 ~x1708363+262144 ~x1708362+131072 ~x1708361+65536 ~x1708360+32768 ~x1708359+16384 ~x1708358+8192 ~x1708357+4096 ~x1708356+2048 ~x1708355+1024 ~x1708354+512 ~x1708353+256 ~x1708352+128 ~x1708351+64 ~x1708350+32 ~x1708349+16 ~x1708348+8 ~x1708347+4 ~x1708346+2 ~x1708345+1 ~x1708344+1024000000 ~x964+44560285696 ~x571+22280142848 ~x570+11140071424 ~x569+5570035712 ~x568+2785017856 ~x567+1392508928 ~x566+696254464 ~x565+348127232 ~x564+174063616 ~x563+87031808 ~x562+43515904 ~x561+21757952 ~x560+10878976 ~x559+5439488 ~x558+2719744 ~x557+1359872 ~x556+679936 ~x555+339968 ~x554+169984 ~x553+84992 ~x552+42496 ~x551+21248 ~x550+10624 ~x549+5312 ~x548+2656 ~x547+1328 ~x546+664 ~x545+332 ~x544+166 ~x543+83 ~x542+447213469696 ~x91+223606734848 ~x90+111803367424 ~x89+55901683712 ~x88+27950841856 ~x87+13975420928 ~x86+6987710464 ~x85+3493855232 ~x84+1746927616 ~x83+873463808 ~x82+436731904 ~x81+218365952 ~x80+109182976 ~x79+54591488 ~x78+27295744 ~x77+13647872 ~x76+6823936 ~x75+3411968 ~x74+1705984 ~x73+852992 ~x72+426496 ~x71+213248 ~x70+106624 ~x69+53312 ~x68+26656 ~x67+13328 ~x66+6664 ~x65+3332 ~x64+1666 ~x63+833 ~x62-0=2070771137643
40.27/40.39	c 549755813888 ~x1755307+274877906944 ~x1755306+137438953472 ~x1755305+68719476736 ~x1755304+34359738368 ~x1755303+17179869184 ~x1755302+8589934592 ~x1755301+4294967296 ~x1755300+2147483648 ~x1755299+1073741824 ~x1755298+536870912 ~x1755297+268435456 ~x1755296+134217728 ~x1755295+67108864 ~x1755294+33554432 ~x1755293+16777216 ~x1755292+8388608 ~x1755291+4194304 ~x1755290+2097152 ~x1755289+1048576 ~x1755288+524288 ~x1755287+262144 ~x1755286+131072 ~x1755285+65536 ~x1755284+32768 ~x1755283+16384 ~x1755282+8192 ~x1755281+4096 ~x1755280+2048 ~x1755279+1024 ~x1755278+512 ~x1755277+256 ~x1755276+128 ~x1755275+64 ~x1755274+32 ~x1755273+16 ~x1755272+8 ~x1755271+4 ~x1755270+2 ~x1755269+1 ~x1755268+1024000000 ~x965+44560285696 ~x601+22280142848 ~x600+11140071424 ~x599+5570035712 ~x598+2785017856 ~x597+1392508928 ~x596+696254464 ~x595+348127232 ~x594+174063616 ~x593+87031808 ~x592+43515904 ~x591+21757952 ~x590+10878976 ~x589+5439488 ~x588+2719744 ~x587+1359872 ~x586+679936 ~x585+339968 ~x584+169984 ~x583+84992 ~x582+42496 ~x581+21248 ~x580+10624 ~x579+5312 ~x578+2656 ~x577+1328 ~x576+664 ~x575+332 ~x574+166 ~x573+83 ~x572+447213469696 ~x121+223606734848 ~x120+111803367424 ~x119+55901683712 ~x118+27950841856 ~x117+13975420928 ~x116+6987710464 ~x115+3493855232 ~x114+1746927616 ~x113+873463808 ~x112+436731904 ~x111+218365952 ~x110+109182976 ~x109+54591488 ~x108+27295744 ~x107+13647872 ~x106+6823936 ~x105+3411968 ~x104+1705984 ~x103+852992 ~x102+426496 ~x101+213248 ~x100+106624 ~x99+53312 ~x98+26656 ~x97+13328 ~x96+6664 ~x95+3332 ~x94+1666 ~x93+833 ~x92-0=2070771137643
41.37/41.46	c 549755813888 ~x1802231+274877906944 ~x1802230+137438953472 ~x1802229+68719476736 ~x1802228+34359738368 ~x1802227+17179869184 ~x1802226+8589934592 ~x1802225+4294967296 ~x1802224+2147483648 ~x1802223+1073741824 ~x1802222+536870912 ~x1802221+268435456 ~x1802220+134217728 ~x1802219+67108864 ~x1802218+33554432 ~x1802217+16777216 ~x1802216+8388608 ~x1802215+4194304 ~x1802214+2097152 ~x1802213+1048576 ~x1802212+524288 ~x1802211+262144 ~x1802210+131072 ~x1802209+65536 ~x1802208+32768 ~x1802207+16384 ~x1802206+8192 ~x1802205+4096 ~x1802204+2048 ~x1802203+1024 ~x1802202+512 ~x1802201+256 ~x1802200+128 ~x1802199+64 ~x1802198+32 ~x1802197+16 ~x1802196+8 ~x1802195+4 ~x1802194+2 ~x1802193+1 ~x1802192+1024000000 ~x966+44560285696 ~x631+22280142848 ~x630+11140071424 ~x629+5570035712 ~x628+2785017856 ~x627+1392508928 ~x626+696254464 ~x625+348127232 ~x624+174063616 ~x623+87031808 ~x622+43515904 ~x621+21757952 ~x620+10878976 ~x619+5439488 ~x618+2719744 ~x617+1359872 ~x616+679936 ~x615+339968 ~x614+169984 ~x613+84992 ~x612+42496 ~x611+21248 ~x610+10624 ~x609+5312 ~x608+2656 ~x607+1328 ~x606+664 ~x605+332 ~x604+166 ~x603+83 ~x602+447213469696 ~x151+223606734848 ~x150+111803367424 ~x149+55901683712 ~x148+27950841856 ~x147+13975420928 ~x146+6987710464 ~x145+3493855232 ~x144+1746927616 ~x143+873463808 ~x142+436731904 ~x141+218365952 ~x140+109182976 ~x139+54591488 ~x138+27295744 ~x137+13647872 ~x136+6823936 ~x135+3411968 ~x134+1705984 ~x133+852992 ~x132+426496 ~x131+213248 ~x130+106624 ~x129+53312 ~x128+26656 ~x127+13328 ~x126+6664 ~x125+3332 ~x124+1666 ~x123+833 ~x122-0=2075891137643
42.47/42.53	c 549755813888 ~x1849155+274877906944 ~x1849154+137438953472 ~x1849153+68719476736 ~x1849152+34359738368 ~x1849151+17179869184 ~x1849150+8589934592 ~x1849149+4294967296 ~x1849148+2147483648 ~x1849147+1073741824 ~x1849146+536870912 ~x1849145+268435456 ~x1849144+134217728 ~x1849143+67108864 ~x1849142+33554432 ~x1849141+16777216 ~x1849140+8388608 ~x1849139+4194304 ~x1849138+2097152 ~x1849137+1048576 ~x1849136+524288 ~x1849135+262144 ~x1849134+131072 ~x1849133+65536 ~x1849132+32768 ~x1849131+16384 ~x1849130+8192 ~x1849129+4096 ~x1849128+2048 ~x1849127+1024 ~x1849126+512 ~x1849125+256 ~x1849124+128 ~x1849123+64 ~x1849122+32 ~x1849121+16 ~x1849120+8 ~x1849119+4 ~x1849118+2 ~x1849117+1 ~x1849116+1024000000 ~x967+44560285696 ~x661+22280142848 ~x660+11140071424 ~x659+5570035712 ~x658+2785017856 ~x657+1392508928 ~x656+696254464 ~x655+348127232 ~x654+174063616 ~x653+87031808 ~x652+43515904 ~x651+21757952 ~x650+10878976 ~x649+5439488 ~x648+2719744 ~x647+1359872 ~x646+679936 ~x645+339968 ~x644+169984 ~x643+84992 ~x642+42496 ~x641+21248 ~x640+10624 ~x639+5312 ~x638+2656 ~x637+1328 ~x636+664 ~x635+332 ~x634+166 ~x633+83 ~x632+447213469696 ~x181+223606734848 ~x180+111803367424 ~x179+55901683712 ~x178+27950841856 ~x177+13975420928 ~x176+6987710464 ~x175+3493855232 ~x174+1746927616 ~x173+873463808 ~x172+436731904 ~x171+218365952 ~x170+109182976 ~x169+54591488 ~x168+27295744 ~x167+13647872 ~x166+6823936 ~x165+3411968 ~x164+1705984 ~x163+852992 ~x162+426496 ~x161+213248 ~x160+106624 ~x159+53312 ~x158+26656 ~x157+13328 ~x156+6664 ~x155+3332 ~x154+1666 ~x153+833 ~x152-0=2075891137643
43.47/43.59	c 549755813888 ~x1896079+274877906944 ~x1896078+137438953472 ~x1896077+68719476736 ~x1896076+34359738368 ~x1896075+17179869184 ~x1896074+8589934592 ~x1896073+4294967296 ~x1896072+2147483648 ~x1896071+1073741824 ~x1896070+536870912 ~x1896069+268435456 ~x1896068+134217728 ~x1896067+67108864 ~x1896066+33554432 ~x1896065+16777216 ~x1896064+8388608 ~x1896063+4194304 ~x1896062+2097152 ~x1896061+1048576 ~x1896060+524288 ~x1896059+262144 ~x1896058+131072 ~x1896057+65536 ~x1896056+32768 ~x1896055+16384 ~x1896054+8192 ~x1896053+4096 ~x1896052+2048 ~x1896051+1024 ~x1896050+512 ~x1896049+256 ~x1896048+128 ~x1896047+64 ~x1896046+32 ~x1896045+16 ~x1896044+8 ~x1896043+4 ~x1896042+2 ~x1896041+1 ~x1896040+1024000000 ~x968+44560285696 ~x691+22280142848 ~x690+11140071424 ~x689+5570035712 ~x688+2785017856 ~x687+1392508928 ~x686+696254464 ~x685+348127232 ~x684+174063616 ~x683+87031808 ~x682+43515904 ~x681+21757952 ~x680+10878976 ~x679+5439488 ~x678+2719744 ~x677+1359872 ~x676+679936 ~x675+339968 ~x674+169984 ~x673+84992 ~x672+42496 ~x671+21248 ~x670+10624 ~x669+5312 ~x668+2656 ~x667+1328 ~x666+664 ~x665+332 ~x664+166 ~x663+83 ~x662+447213469696 ~x211+223606734848 ~x210+111803367424 ~x209+55901683712 ~x208+27950841856 ~x207+13975420928 ~x206+6987710464 ~x205+3493855232 ~x204+1746927616 ~x203+873463808 ~x202+436731904 ~x201+218365952 ~x200+109182976 ~x199+54591488 ~x198+27295744 ~x197+13647872 ~x196+6823936 ~x195+3411968 ~x194+1705984 ~x193+852992 ~x192+426496 ~x191+213248 ~x190+106624 ~x189+53312 ~x188+26656 ~x187+13328 ~x186+6664 ~x185+3332 ~x184+1666 ~x183+833 ~x182-0=2082035137643
44.57/44.65	c 549755813888 ~x1943003+274877906944 ~x1943002+137438953472 ~x1943001+68719476736 ~x1943000+34359738368 ~x1942999+17179869184 ~x1942998+8589934592 ~x1942997+4294967296 ~x1942996+2147483648 ~x1942995+1073741824 ~x1942994+536870912 ~x1942993+268435456 ~x1942992+134217728 ~x1942991+67108864 ~x1942990+33554432 ~x1942989+16777216 ~x1942988+8388608 ~x1942987+4194304 ~x1942986+2097152 ~x1942985+1048576 ~x1942984+524288 ~x1942983+262144 ~x1942982+131072 ~x1942981+65536 ~x1942980+32768 ~x1942979+16384 ~x1942978+8192 ~x1942977+4096 ~x1942976+2048 ~x1942975+1024 ~x1942974+512 ~x1942973+256 ~x1942972+128 ~x1942971+64 ~x1942970+32 ~x1942969+16 ~x1942968+8 ~x1942967+4 ~x1942966+2 ~x1942965+1 ~x1942964+1024000000 ~x969+44560285696 ~x721+22280142848 ~x720+11140071424 ~x719+5570035712 ~x718+2785017856 ~x717+1392508928 ~x716+696254464 ~x715+348127232 ~x714+174063616 ~x713+87031808 ~x712+43515904 ~x711+21757952 ~x710+10878976 ~x709+5439488 ~x708+2719744 ~x707+1359872 ~x706+679936 ~x705+339968 ~x704+169984 ~x703+84992 ~x702+42496 ~x701+21248 ~x700+10624 ~x699+5312 ~x698+2656 ~x697+1328 ~x696+664 ~x695+332 ~x694+166 ~x693+83 ~x692+447213469696 ~x241+223606734848 ~x240+111803367424 ~x239+55901683712 ~x238+27950841856 ~x237+13975420928 ~x236+6987710464 ~x235+3493855232 ~x234+1746927616 ~x233+873463808 ~x232+436731904 ~x231+218365952 ~x230+109182976 ~x229+54591488 ~x228+27295744 ~x227+13647872 ~x226+6823936 ~x225+3411968 ~x224+1705984 ~x223+852992 ~x222+426496 ~x221+213248 ~x220+106624 ~x219+53312 ~x218+26656 ~x217+13328 ~x216+6664 ~x215+3332 ~x214+1666 ~x213+833 ~x212-0=2082035137643
45.67/45.74	c 549755813888 ~x1989927+274877906944 ~x1989926+137438953472 ~x1989925+68719476736 ~x1989924+34359738368 ~x1989923+17179869184 ~x1989922+8589934592 ~x1989921+4294967296 ~x1989920+2147483648 ~x1989919+1073741824 ~x1989918+536870912 ~x1989917+268435456 ~x1989916+134217728 ~x1989915+67108864 ~x1989914+33554432 ~x1989913+16777216 ~x1989912+8388608 ~x1989911+4194304 ~x1989910+2097152 ~x1989909+1048576 ~x1989908+524288 ~x1989907+262144 ~x1989906+131072 ~x1989905+65536 ~x1989904+32768 ~x1989903+16384 ~x1989902+8192 ~x1989901+4096 ~x1989900+2048 ~x1989899+1024 ~x1989898+512 ~x1989897+256 ~x1989896+128 ~x1989895+64 ~x1989894+32 ~x1989893+16 ~x1989892+8 ~x1989891+4 ~x1989890+2 ~x1989889+1 ~x1989888+1024000000 ~x971+44560285696 ~x781+22280142848 ~x780+11140071424 ~x779+5570035712 ~x778+2785017856 ~x777+1392508928 ~x776+696254464 ~x775+348127232 ~x774+174063616 ~x773+87031808 ~x772+43515904 ~x771+21757952 ~x770+10878976 ~x769+5439488 ~x768+2719744 ~x767+1359872 ~x766+679936 ~x765+339968 ~x764+169984 ~x763+84992 ~x762+42496 ~x761+21248 ~x760+10624 ~x759+5312 ~x758+2656 ~x757+1328 ~x756+664 ~x755+332 ~x754+166 ~x753+83 ~x752+447213469696 ~x301+223606734848 ~x300+111803367424 ~x299+55901683712 ~x298+27950841856 ~x297+13975420928 ~x296+6987710464 ~x295+3493855232 ~x294+1746927616 ~x293+873463808 ~x292+436731904 ~x291+218365952 ~x290+109182976 ~x289+54591488 ~x288+27295744 ~x287+13647872 ~x286+6823936 ~x285+3411968 ~x284+1705984 ~x283+852992 ~x282+426496 ~x281+213248 ~x280+106624 ~x279+53312 ~x278+26656 ~x277+13328 ~x276+6664 ~x275+3332 ~x274+1666 ~x273+833 ~x272-0=2075891137643
46.77/46.80	c 549755813888 ~x2036851+274877906944 ~x2036850+137438953472 ~x2036849+68719476736 ~x2036848+34359738368 ~x2036847+17179869184 ~x2036846+8589934592 ~x2036845+4294967296 ~x2036844+2147483648 ~x2036843+1073741824 ~x2036842+536870912 ~x2036841+268435456 ~x2036840+134217728 ~x2036839+67108864 ~x2036838+33554432 ~x2036837+16777216 ~x2036836+8388608 ~x2036835+4194304 ~x2036834+2097152 ~x2036833+1048576 ~x2036832+524288 ~x2036831+262144 ~x2036830+131072 ~x2036829+65536 ~x2036828+32768 ~x2036827+16384 ~x2036826+8192 ~x2036825+4096 ~x2036824+2048 ~x2036823+1024 ~x2036822+512 ~x2036821+256 ~x2036820+128 ~x2036819+64 ~x2036818+32 ~x2036817+16 ~x2036816+8 ~x2036815+4 ~x2036814+2 ~x2036813+1 ~x2036812+1024000000 ~x972+44560285696 ~x811+22280142848 ~x810+11140071424 ~x809+5570035712 ~x808+2785017856 ~x807+1392508928 ~x806+696254464 ~x805+348127232 ~x804+174063616 ~x803+87031808 ~x802+43515904 ~x801+21757952 ~x800+10878976 ~x799+5439488 ~x798+2719744 ~x797+1359872 ~x796+679936 ~x795+339968 ~x794+169984 ~x793+84992 ~x792+42496 ~x791+21248 ~x790+10624 ~x789+5312 ~x788+2656 ~x787+1328 ~x786+664 ~x785+332 ~x784+166 ~x783+83 ~x782+447213469696 ~x331+223606734848 ~x330+111803367424 ~x329+55901683712 ~x328+27950841856 ~x327+13975420928 ~x326+6987710464 ~x325+3493855232 ~x324+1746927616 ~x323+873463808 ~x322+436731904 ~x321+218365952 ~x320+109182976 ~x319+54591488 ~x318+27295744 ~x317+13647872 ~x316+6823936 ~x315+3411968 ~x314+1705984 ~x313+852992 ~x312+426496 ~x311+213248 ~x310+106624 ~x309+53312 ~x308+26656 ~x307+13328 ~x306+6664 ~x305+3332 ~x304+1666 ~x303+833 ~x302-0=2075891137643
47.77/47.87	c 549755813888 ~x2083775+274877906944 ~x2083774+137438953472 ~x2083773+68719476736 ~x2083772+34359738368 ~x2083771+17179869184 ~x2083770+8589934592 ~x2083769+4294967296 ~x2083768+2147483648 ~x2083767+1073741824 ~x2083766+536870912 ~x2083765+268435456 ~x2083764+134217728 ~x2083763+67108864 ~x2083762+33554432 ~x2083761+16777216 ~x2083760+8388608 ~x2083759+4194304 ~x2083758+2097152 ~x2083757+1048576 ~x2083756+524288 ~x2083755+262144 ~x2083754+131072 ~x2083753+65536 ~x2083752+32768 ~x2083751+16384 ~x2083750+8192 ~x2083749+4096 ~x2083748+2048 ~x2083747+1024 ~x2083746+512 ~x2083745+256 ~x2083744+128 ~x2083743+64 ~x2083742+32 ~x2083741+16 ~x2083740+8 ~x2083739+4 ~x2083738+2 ~x2083737+1 ~x2083736+1024000000 ~x973+44560285696 ~x841+22280142848 ~x840+11140071424 ~x839+5570035712 ~x838+2785017856 ~x837+1392508928 ~x836+696254464 ~x835+348127232 ~x834+174063616 ~x833+87031808 ~x832+43515904 ~x831+21757952 ~x830+10878976 ~x829+5439488 ~x828+2719744 ~x827+1359872 ~x826+679936 ~x825+339968 ~x824+169984 ~x823+84992 ~x822+42496 ~x821+21248 ~x820+10624 ~x819+5312 ~x818+2656 ~x817+1328 ~x816+664 ~x815+332 ~x814+166 ~x813+83 ~x812+447213469696 ~x361+223606734848 ~x360+111803367424 ~x359+55901683712 ~x358+27950841856 ~x357+13975420928 ~x356+6987710464 ~x355+3493855232 ~x354+1746927616 ~x353+873463808 ~x352+436731904 ~x351+218365952 ~x350+109182976 ~x349+54591488 ~x348+27295744 ~x347+13647872 ~x346+6823936 ~x345+3411968 ~x344+1705984 ~x343+852992 ~x342+426496 ~x341+213248 ~x340+106624 ~x339+53312 ~x338+26656 ~x337+13328 ~x336+6664 ~x335+3332 ~x334+1666 ~x333+833 ~x332-0=2083059137643
48.87/48.93	c 549755813888 ~x2130699+274877906944 ~x2130698+137438953472 ~x2130697+68719476736 ~x2130696+34359738368 ~x2130695+17179869184 ~x2130694+8589934592 ~x2130693+4294967296 ~x2130692+2147483648 ~x2130691+1073741824 ~x2130690+536870912 ~x2130689+268435456 ~x2130688+134217728 ~x2130687+67108864 ~x2130686+33554432 ~x2130685+16777216 ~x2130684+8388608 ~x2130683+4194304 ~x2130682+2097152 ~x2130681+1048576 ~x2130680+524288 ~x2130679+262144 ~x2130678+131072 ~x2130677+65536 ~x2130676+32768 ~x2130675+16384 ~x2130674+8192 ~x2130673+4096 ~x2130672+2048 ~x2130671+1024 ~x2130670+512 ~x2130669+256 ~x2130668+128 ~x2130667+64 ~x2130666+32 ~x2130665+16 ~x2130664+8 ~x2130663+4 ~x2130662+2 ~x2130661+1 ~x2130660+1024000000 ~x974+44560285696 ~x871+22280142848 ~x870+11140071424 ~x869+5570035712 ~x868+2785017856 ~x867+1392508928 ~x866+696254464 ~x865+348127232 ~x864+174063616 ~x863+87031808 ~x862+43515904 ~x861+21757952 ~x860+10878976 ~x859+5439488 ~x858+2719744 ~x857+1359872 ~x856+679936 ~x855+339968 ~x854+169984 ~x853+84992 ~x852+42496 ~x851+21248 ~x850+10624 ~x849+5312 ~x848+2656 ~x847+1328 ~x846+664 ~x845+332 ~x844+166 ~x843+83 ~x842+447213469696 ~x391+223606734848 ~x390+111803367424 ~x389+55901683712 ~x388+27950841856 ~x387+13975420928 ~x386+6987710464 ~x385+3493855232 ~x384+1746927616 ~x383+873463808 ~x382+436731904 ~x381+218365952 ~x380+109182976 ~x379+54591488 ~x378+27295744 ~x377+13647872 ~x376+6823936 ~x375+3411968 ~x374+1705984 ~x373+852992 ~x372+426496 ~x371+213248 ~x370+106624 ~x369+53312 ~x368+26656 ~x367+13328 ~x366+6664 ~x365+3332 ~x364+1666 ~x363+833 ~x362-0=2083059137643
49.97/50.00	c 549755813888 ~x2177623+274877906944 ~x2177622+137438953472 ~x2177621+68719476736 ~x2177620+34359738368 ~x2177619+17179869184 ~x2177618+8589934592 ~x2177617+4294967296 ~x2177616+2147483648 ~x2177615+1073741824 ~x2177614+536870912 ~x2177613+268435456 ~x2177612+134217728 ~x2177611+67108864 ~x2177610+33554432 ~x2177609+16777216 ~x2177608+8388608 ~x2177607+4194304 ~x2177606+2097152 ~x2177605+1048576 ~x2177604+524288 ~x2177603+262144 ~x2177602+131072 ~x2177601+65536 ~x2177600+32768 ~x2177599+16384 ~x2177598+8192 ~x2177597+4096 ~x2177596+2048 ~x2177595+1024 ~x2177594+512 ~x2177593+256 ~x2177592+128 ~x2177591+64 ~x2177590+32 ~x2177589+16 ~x2177588+8 ~x2177587+4 ~x2177586+2 ~x2177585+1 ~x2177584+1024000000 ~x975+44560285696 ~x901+22280142848 ~x900+11140071424 ~x899+5570035712 ~x898+2785017856 ~x897+1392508928 ~x896+696254464 ~x895+348127232 ~x894+174063616 ~x893+87031808 ~x892+43515904 ~x891+21757952 ~x890+10878976 ~x889+5439488 ~x888+2719744 ~x887+1359872 ~x886+679936 ~x885+339968 ~x884+169984 ~x883+84992 ~x882+42496 ~x881+21248 ~x880+10624 ~x879+5312 ~x878+2656 ~x877+1328 ~x876+664 ~x875+332 ~x874+166 ~x873+83 ~x872+447213469696 ~x421+223606734848 ~x420+111803367424 ~x419+55901683712 ~x418+27950841856 ~x417+13975420928 ~x416+6987710464 ~x415+3493855232 ~x414+1746927616 ~x413+873463808 ~x412+436731904 ~x411+218365952 ~x410+109182976 ~x409+54591488 ~x408+27295744 ~x407+13647872 ~x406+6823936 ~x405+3411968 ~x404+1705984 ~x403+852992 ~x402+426496 ~x401+213248 ~x400+106624 ~x399+53312 ~x398+26656 ~x397+13328 ~x396+6664 ~x395+3332 ~x394+1666 ~x393+833 ~x392-0=2070771137643
50.97/51.06	c 549755813888 ~x2224547+274877906944 ~x2224546+137438953472 ~x2224545+68719476736 ~x2224544+34359738368 ~x2224543+17179869184 ~x2224542+8589934592 ~x2224541+4294967296 ~x2224540+2147483648 ~x2224539+1073741824 ~x2224538+536870912 ~x2224537+268435456 ~x2224536+134217728 ~x2224535+67108864 ~x2224534+33554432 ~x2224533+16777216 ~x2224532+8388608 ~x2224531+4194304 ~x2224530+2097152 ~x2224529+1048576 ~x2224528+524288 ~x2224527+262144 ~x2224526+131072 ~x2224525+65536 ~x2224524+32768 ~x2224523+16384 ~x2224522+8192 ~x2224521+4096 ~x2224520+2048 ~x2224519+1024 ~x2224518+512 ~x2224517+256 ~x2224516+128 ~x2224515+64 ~x2224514+32 ~x2224513+16 ~x2224512+8 ~x2224511+4 ~x2224510+2 ~x2224509+1 ~x2224508+1024000000 ~x976+44560285696 ~x931+22280142848 ~x930+11140071424 ~x929+5570035712 ~x928+2785017856 ~x927+1392508928 ~x926+696254464 ~x925+348127232 ~x924+174063616 ~x923+87031808 ~x922+43515904 ~x921+21757952 ~x920+10878976 ~x919+5439488 ~x918+2719744 ~x917+1359872 ~x916+679936 ~x915+339968 ~x914+169984 ~x913+84992 ~x912+42496 ~x911+21248 ~x910+10624 ~x909+5312 ~x908+2656 ~x907+1328 ~x906+664 ~x905+332 ~x904+166 ~x903+83 ~x902+447213469696 ~x451+223606734848 ~x450+111803367424 ~x449+55901683712 ~x448+27950841856 ~x447+13975420928 ~x446+6987710464 ~x445+3493855232 ~x444+1746927616 ~x443+873463808 ~x442+436731904 ~x441+218365952 ~x440+109182976 ~x439+54591488 ~x438+27295744 ~x437+13647872 ~x436+6823936 ~x435+3411968 ~x434+1705984 ~x433+852992 ~x432+426496 ~x431+213248 ~x430+106624 ~x429+53312 ~x428+26656 ~x427+13328 ~x426+6664 ~x425+3332 ~x424+1666 ~x423+833 ~x422-0=2070771137643
52.07/52.13	c 549755813888 ~x2271471+274877906944 ~x2271470+137438953472 ~x2271469+68719476736 ~x2271468+34359738368 ~x2271467+17179869184 ~x2271466+8589934592 ~x2271465+4294967296 ~x2271464+2147483648 ~x2271463+1073741824 ~x2271462+536870912 ~x2271461+268435456 ~x2271460+134217728 ~x2271459+67108864 ~x2271458+33554432 ~x2271457+16777216 ~x2271456+8388608 ~x2271455+4194304 ~x2271454+2097152 ~x2271453+1048576 ~x2271452+524288 ~x2271451+262144 ~x2271450+131072 ~x2271449+65536 ~x2271448+32768 ~x2271447+16384 ~x2271446+8192 ~x2271445+4096 ~x2271444+2048 ~x2271443+1024 ~x2271442+512 ~x2271441+256 ~x2271440+128 ~x2271439+64 ~x2271438+32 ~x2271437+16 ~x2271436+8 ~x2271435+4 ~x2271434+2 ~x2271433+1 ~x2271432+1024000000 ~x977+44560285696 ~x961+22280142848 ~x960+11140071424 ~x959+5570035712 ~x958+2785017856 ~x957+1392508928 ~x956+696254464 ~x955+348127232 ~x954+174063616 ~x953+87031808 ~x952+43515904 ~x951+21757952 ~x950+10878976 ~x949+5439488 ~x948+2719744 ~x947+1359872 ~x946+679936 ~x945+339968 ~x944+169984 ~x943+84992 ~x942+42496 ~x941+21248 ~x940+10624 ~x939+5312 ~x938+2656 ~x937+1328 ~x936+664 ~x935+332 ~x934+166 ~x933+83 ~x932+447213469696 ~x481+223606734848 ~x480+111803367424 ~x479+55901683712 ~x478+27950841856 ~x477+13975420928 ~x476+6987710464 ~x475+3493855232 ~x474+1746927616 ~x473+873463808 ~x472+436731904 ~x471+218365952 ~x470+109182976 ~x469+54591488 ~x468+27295744 ~x467+13647872 ~x466+6823936 ~x465+3411968 ~x464+1705984 ~x463+852992 ~x462+426496 ~x461+213248 ~x460+106624 ~x459+53312 ~x458+26656 ~x457+13328 ~x456+6664 ~x455+3332 ~x454+1666 ~x453+833 ~x452-0=2083059137643
53.17/53.20	c 549755813888 ~x2318395+274877906944 ~x2318394+137438953472 ~x2318393+68719476736 ~x2318392+34359738368 ~x2318391+17179869184 ~x2318390+8589934592 ~x2318389+4294967296 ~x2318388+2147483648 ~x2318387+1073741824 ~x2318386+536870912 ~x2318385+268435456 ~x2318384+134217728 ~x2318383+67108864 ~x2318382+33554432 ~x2318381+16777216 ~x2318380+8388608 ~x2318379+4194304 ~x2318378+2097152 ~x2318377+1048576 ~x2318376+524288 ~x2318375+262144 ~x2318374+131072 ~x2318373+65536 ~x2318372+32768 ~x2318371+16384 ~x2318370+8192 ~x2318369+4096 ~x2318368+2048 ~x2318367+1024 ~x2318366+512 ~x2318365+256 ~x2318364+128 ~x2318363+64 ~x2318362+32 ~x2318361+16 ~x2318360+8 ~x2318359+4 ~x2318358+2 ~x2318357+1 ~x2318356+1024000000 ~x963+44560285696 ~x541+22280142848 ~x540+11140071424 ~x539+5570035712 ~x538+2785017856 ~x537+1392508928 ~x536+696254464 ~x535+348127232 ~x534+174063616 ~x533+87031808 ~x532+43515904 ~x531+21757952 ~x530+10878976 ~x529+5439488 ~x528+2719744 ~x527+1359872 ~x526+679936 ~x525+339968 ~x524+169984 ~x523+84992 ~x522+42496 ~x521+21248 ~x520+10624 ~x519+5312 ~x518+2656 ~x517+1328 ~x516+664 ~x515+332 ~x514+166 ~x513+83 ~x512+447213469696 ~x61+223606734848 ~x60+111803367424 ~x59+55901683712 ~x58+27950841856 ~x57+13975420928 ~x56+6987710464 ~x55+3493855232 ~x54+1746927616 ~x53+873463808 ~x52+436731904 ~x51+218365952 ~x50+109182976 ~x49+54591488 ~x48+27295744 ~x47+13647872 ~x

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674163-1276800101/watcher-2674163-1276800101 -o /tmp/evaluation-result-2674163-1276800101/solver-2674163-1276800101 -C 1800 -W 2000 -M 1800 run HOME/instance-2674163-1276800101.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.90 0.95 0.98 3/106 17863
/proc/meminfo: memFree=1853044/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0

[startup+0.0313301 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17863
/proc/meminfo: memFree=1853044/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101349 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17863
/proc/meminfo: memFree=1853044/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301368 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17863
/proc/meminfo: memFree=1853044/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701399 s]
/proc/loadavg: 0.90 0.95 0.98 3/106 17863
/proc/meminfo: memFree=1853044/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50146 s]
/proc/loadavg: 0.90 0.95 0.98 2/108 17866
/proc/meminfo: memFree=1777884/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=87032 CPUtime=1.48
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 25329 0 0 0 121 27 0 0 23 0 1 0 55611384 89120768 21075 1992294400 134512640 134902295 4291104928 18446744073709551615 134520276 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 21758 21076 262 96 0 20970 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 95732

[startup+3.1016 s]
/proc/loadavg: 0.90 0.95 0.98 2/108 17866
/proc/meminfo: memFree=1760276/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=116504 CPUtime=3.08
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 33804 0 0 0 278 30 0 0 25 0 1 0 55611384 119300096 27956 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174243 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 29126 27956 262 96 0 28338 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 125204

[startup+6.30089 s]
/proc/loadavg: 0.91 0.95 0.98 2/108 17866
/proc/meminfo: memFree=1701376/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=171248 CPUtime=6.28
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 48617 0 0 0 591 37 0 0 25 0 1 0 55611384 175357952 41049 1992294400 134512640 134902295 4291104928 18446744073709551615 134813654 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 42812 41049 262 96 0 42024 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 179948

[startup+12.7015 s]
/proc/loadavg: 0.91 0.95 0.98 2/108 17866
/proc/meminfo: memFree=1587048/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=300072 CPUtime=12.68
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 79472 0 0 0 1216 52 0 0 25 0 1 0 55611384 307273728 70889 1992294400 134512640 134902295 4291104928 18446744073709551615 4160182091 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 75018 70889 262 96 0 74230 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 308772

[startup+25.5006 s]
/proc/loadavg: 0.93 0.96 0.98 2/108 17868
/proc/meminfo: memFree=1354424/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=522892 CPUtime=25.48
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 139940 0 0 0 2471 77 0 0 25 0 1 0 55611384 535441408 125753 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174270 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 130723 125753 262 96 0 129935 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 531592

[startup+51.1009 s]
/proc/loadavg: 0.95 0.96 0.98 2/108 17868
/proc/meminfo: memFree=882232/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1002360 CPUtime=51.07
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 259145 0 0 0 4978 129 0 0 25 0 1 0 55611384 1026416640 244694 1992294400 134512640 134902295 4291104928 18446744073709551615 4160144617 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 250590 244694 262 96 0 249802 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1011060

[startup+102.308 s]
/proc/loadavg: 0.98 0.96 0.98 2/108 17870
/proc/meminfo: memFree=813164/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1083192 CPUtime=102.26
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 273916 0 0 0 10088 138 0 0 25 0 1 0 55611384 1109188608 259448 1992294400 134512640 134902295 4291104928 18446744073709551615 4160162996 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 270798 259448 269 96 0 270010 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1091892

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17870
/proc/meminfo: memFree=806468/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1090012 CPUtime=162.24
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 275584 0 0 0 16083 141 0 0 25 0 1 0 55611384 1116172288 261116 1992294400 134512640 134902295 4291104928 18446744073709551615 4160143994 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 272503 261116 269 96 0 271715 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1098712

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17872
/proc/meminfo: memFree=799028/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1097352 CPUtime=222.23
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 277429 0 0 0 22080 143 0 0 25 0 1 0 55611384 1123688448 262961 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174206 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 274338 262961 269 96 0 273550 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1106052

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17874
/proc/meminfo: memFree=794936/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1101564 CPUtime=282.21
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 278468 0 0 0 28077 144 0 0 25 0 1 0 55611384 1128001536 264000 1992294400 134512640 134902295 4291104928 18446744073709551615 4160175356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 275391 264000 269 96 0 274603 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1110264

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17876
/proc/meminfo: memFree=791216/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1105276 CPUtime=342.19
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 279394 0 0 0 34074 145 0 0 25 0 1 0 55611384 1131802624 264926 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174206 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 276319 264926 269 96 0 275531 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1113976

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 17878
/proc/meminfo: memFree=788736/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1107660 CPUtime=402.18
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 280011 0 0 0 40072 146 0 0 25 0 1 0 55611384 1134243840 265543 1992294400 134512640 134902295 4291104928 18446744073709551615 4160163440 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 276915 265543 269 96 0 276127 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1116360

[startup+462.301 s]

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

/proc/17865/statm: 299283 287840 269 96 0 298495 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 1205832

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17909
/proc/meminfo: memFree=694620/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1201016 CPUtime=1241.96
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 303283 0 0 0 124021 175 0 0 25 0 1 0 55611384 1229840384 288815 1992294400 134512640 134902295 4291104928 18446744073709551615 4160144008 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 300254 288815 269 96 0 299466 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1209716

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 17911
/proc/meminfo: memFree=691272/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1204404 CPUtime=1301.95
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 304117 0 0 0 130018 177 0 0 25 0 1 0 55611384 1233309696 289649 1992294400 134512640 134902295 4291104928 18446744073709551615 4160177075 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 301101 289649 269 96 0 300313 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1213104

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 0.99 2/108 17911
/proc/meminfo: memFree=687800/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1207896 CPUtime=1361.93
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 305012 0 0 0 136015 178 0 0 25 0 1 0 55611384 1236885504 290544 1992294400 134512640 134902295 4291104928 18446744073709551615 4160179884 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 301974 290544 269 96 0 301186 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1216596

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/108 17913
/proc/meminfo: memFree=684452/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1211252 CPUtime=1421.92
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 305848 0 0 0 142013 179 0 0 25 0 1 0 55611384 1240322048 291380 1992294400 134512640 134902295 4291104928 18446744073709551615 4160177114 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 302813 291380 269 96 0 302025 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1219952

[startup+1482.3 s]
/proc/loadavg: 1.13 1.04 1.01 2/108 17915
/proc/meminfo: memFree=679120/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1216656 CPUtime=1481.9
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 307193 0 0 0 148009 181 0 0 25 0 1 0 55611384 1245855744 292725 1992294400 134512640 134902295 4291104928 18446744073709551615 4160163028 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 304164 292725 269 96 0 303376 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1225356

[startup+1542.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/108 17917
/proc/meminfo: memFree=671060/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1225268 CPUtime=1541.89
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 309189 0 0 0 154006 183 0 0 25 0 1 0 55611384 1254674432 294721 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174206 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 306317 294721 269 96 0 305529 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1233968

[startup+1602.3 s]
/proc/loadavg: 1.11 1.05 1.00 2/108 17919
/proc/meminfo: memFree=665108/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1231184 CPUtime=1601.87
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 310677 0 0 0 160002 185 0 0 25 0 1 0 55611384 1260732416 296209 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174206 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 307796 296209 269 96 0 307008 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1239884

[startup+1662.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/108 17919
/proc/meminfo: memFree=661636/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1234460 CPUtime=1661.85
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 311511 0 0 0 165999 186 0 0 25 0 1 0 55611384 1264087040 297043 1992294400 134512640 134902295 4291104928 18446744073709551615 4160163230 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 308615 297043 269 96 0 307827 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1243160

[startup+1722.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/108 17921
/proc/meminfo: memFree=658536/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1237640 CPUtime=1721.85
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 312288 0 0 0 171997 188 0 0 25 0 1 0 55611384 1267343360 297820 1992294400 134512640 134902295 4291104928 18446744073709551615 4160166445 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 309410 297820 269 96 0 308622 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1246340

[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 17923
/proc/meminfo: memFree=653576/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1242484 CPUtime=1781.83
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 313500 0 0 0 177993 190 0 0 25 0 1 0 55611384 1272303616 299032 1992294400 134512640 134902295 4291104928 18446744073709551615 4160177109 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 310621 299032 269 96 0 309833 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1251184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 17923
/proc/meminfo: memFree=652336/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1243672 CPUtime=1800.03
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 313806 0 0 0 179813 190 0 0 25 0 1 0 55611384 1273520128 299338 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174206 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 310918 299338 269 96 0 310130 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1252372

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 17923
/proc/meminfo: memFree=652336/2059040 swapFree=4135436/4192956
[pid=17863] ppid=17861 vsize=8700 CPUtime=0
/proc/17863/stat : 17863 (run) S 17861 17863 17633 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55611384 8908800 251 1992294400 4194304 4922060 140735359978768 18446744073709551615 238759287941 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/17863/statm: 2175 251 211 178 0 68 0
[pid=17865] ppid=17863 vsize=1243672 CPUtime=1800.03
/proc/17865/stat : 17865 (PBPASSolver) R 17863 17863 17633 0 -1 4202496 313806 0 0 0 179813 190 0 0 25 0 1 0 55611384 1273520128 299338 1992294400 134512640 134902295 4291104928 18446744073709551615 4160174206 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/17865/statm: 310918 299338 269 96 0 310130 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1252372

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17863 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.003998
# 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.52
CPU time (s): 1800.03
CPU user time (s): 1798.13
CPU system time (s): 1.9
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 1252372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
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= 523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3

runsolver used 2.97255 second user time and 8.5217 second system time

The end

Name	normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell5.opb
MD5SUM	da0fa1480f123e186307c547a0028656
Bench Category	OPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	938830260671609
Best CPU time to get the best result obtained on this benchmark	1800.21
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1037979231691996
Optimality of the best value was proved	NO
Number of variables	1704
Total number of constraints	118
Number of constraints which are clauses	15
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	103
Minimum length of a constraint	2
Maximum length of a constraint	135
Number of terms in the objective function	1268
Biggest coefficient in the objective function	50331648000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	888722133694353611
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	50331648000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	888722133694353611
Number of bits of the biggest sum of numbers	60
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 2674163

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data