Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.06 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb |
MD5SUM | b95bbeb851a52866877e397310a0a770 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.18997 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3600 |
Total number of constraints | 170 |
Number of constraints which are clauses | 90 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.48 c 3600 170 0 0 0 0 0 0 0.00/0.48 c 32 ~x3697+16 ~x3696+8 ~x3695+4 ~x3694+2 ~x3693+1 ~x3692+1 ~x1762+1 ~x1722+1 ~x1682+1 ~x1642+1 ~x1602+1 ~x1562+1 ~x1522+1 ~x1482+1 ~x1442+1 ~x1402+1 ~x1362+1 ~x1322+1 ~x1282+1 ~x1242+1 ~x1202+1 ~x1162+1 ~x1122+1 ~x1082+1 ~x1042+1 ~x1002+1 ~x962+1 ~x922+1 ~x882+1 ~x842+1 ~x802+1 ~x762+1 ~x722+1 ~x682+1 ~x642+1 ~x602+1 ~x562+1 ~x522+1 ~x482+1 ~x442+1 ~x402+1 ~x362+1 ~x322+1 ~x282+1 ~x242+1 ~x202+1 ~x162+1 ~x122+1 ~x82+1 ~x42+1 ~x2-0=107 0.00/0.54 c 32 ~x6086+16 ~x6085+8 ~x6084+4 ~x6083+2 ~x6082+1 ~x6081+1 ~x1763+1 ~x1723+1 ~x1683+1 ~x1643+1 ~x1603+1 ~x1563+1 ~x1523+1 ~x1483+1 ~x1443+1 ~x1403+1 ~x1363+1 ~x1323+1 ~x1283+1 ~x1243+1 ~x1203+1 ~x1163+1 ~x1123+1 ~x1083+1 ~x1043+1 ~x1003+1 ~x963+1 ~x923+1 ~x883+1 ~x843+1 ~x803+1 ~x763+1 ~x723+1 ~x683+1 ~x643+1 ~x603+1 ~x563+1 ~x523+1 ~x483+1 ~x443+1 ~x403+1 ~x363+1 ~x323+1 ~x283+1 ~x243+1 ~x203+1 ~x163+1 ~x123+1 ~x83+1 ~x43+1 ~x3-0=107 0.00/0.60 c 32 ~x8475+16 ~x8474+8 ~x8473+4 ~x8472+2 ~x8471+1 ~x8470+1 ~x1764+1 ~x1724+1 ~x1684+1 ~x1644+1 ~x1604+1 ~x1564+1 ~x1524+1 ~x1484+1 ~x1444+1 ~x1404+1 ~x1364+1 ~x1324+1 ~x1284+1 ~x1244+1 ~x1204+1 ~x1164+1 ~x1124+1 ~x1084+1 ~x1044+1 ~x1004+1 ~x964+1 ~x924+1 ~x884+1 ~x844+1 ~x804+1 ~x764+1 ~x724+1 ~x684+1 ~x644+1 ~x604+1 ~x564+1 ~x524+1 ~x484+1 ~x444+1 ~x404+1 ~x364+1 ~x324+1 ~x284+1 ~x244+1 ~x204+1 ~x164+1 ~x124+1 ~x84+1 ~x44+1 ~x4-0=107 0.00/0.65 c 32 ~x10864+16 ~x10863+8 ~x10862+4 ~x10861+2 ~x10860+1 ~x10859+1 ~x1765+1 ~x1725+1 ~x1685+1 ~x1645+1 ~x1605+1 ~x1565+1 ~x1525+1 ~x1485+1 ~x1445+1 ~x1405+1 ~x1365+1 ~x1325+1 ~x1285+1 ~x1245+1 ~x1205+1 ~x1165+1 ~x1125+1 ~x1085+1 ~x1045+1 ~x1005+1 ~x965+1 ~x925+1 ~x885+1 ~x845+1 ~x805+1 ~x765+1 ~x725+1 ~x685+1 ~x645+1 ~x605+1 ~x565+1 ~x525+1 ~x485+1 ~x445+1 ~x405+1 ~x365+1 ~x325+1 ~x285+1 ~x245+1 ~x205+1 ~x165+1 ~x125+1 ~x85+1 ~x45+1 ~x5-0=107 0.00/0.71 c 32 ~x13253+16 ~x13252+8 ~x13251+4 ~x13250+2 ~x13249+1 ~x13248+1 ~x1766+1 ~x1726+1 ~x1686+1 ~x1646+1 ~x1606+1 ~x1566+1 ~x1526+1 ~x1486+1 ~x1446+1 ~x1406+1 ~x1366+1 ~x1326+1 ~x1286+1 ~x1246+1 ~x1206+1 ~x1166+1 ~x1126+1 ~x1086+1 ~x1046+1 ~x1006+1 ~x966+1 ~x926+1 ~x886+1 ~x846+1 ~x806+1 ~x766+1 ~x726+1 ~x686+1 ~x646+1 ~x606+1 ~x566+1 ~x526+1 ~x486+1 ~x446+1 ~x406+1 ~x366+1 ~x326+1 ~x286+1 ~x246+1 ~x206+1 ~x166+1 ~x126+1 ~x86+1 ~x46+1 ~x6-0=107 0.00/0.77 c 32 ~x15642+16 ~x15641+8 ~x15640+4 ~x15639+2 ~x15638+1 ~x15637+1 ~x1767+1 ~x1727+1 ~x1687+1 ~x1647+1 ~x1607+1 ~x1567+1 ~x1527+1 ~x1487+1 ~x1447+1 ~x1407+1 ~x1367+1 ~x1327+1 ~x1287+1 ~x1247+1 ~x1207+1 ~x1167+1 ~x1127+1 ~x1087+1 ~x1047+1 ~x1007+1 ~x967+1 ~x927+1 ~x887+1 ~x847+1 ~x807+1 ~x767+1 ~x727+1 ~x687+1 ~x647+1 ~x607+1 ~x567+1 ~x527+1 ~x487+1 ~x447+1 ~x407+1 ~x367+1 ~x327+1 ~x287+1 ~x247+1 ~x207+1 ~x167+1 ~x127+1 ~x87+1 ~x47+1 ~x7-0=107 0.00/0.83 c 32 ~x18031+16 ~x18030+8 ~x18029+4 ~x18028+2 ~x18027+1 ~x18026+1 ~x1768+1 ~x1728+1 ~x1688+1 ~x1648+1 ~x1608+1 ~x1568+1 ~x1528+1 ~x1488+1 ~x1448+1 ~x1408+1 ~x1368+1 ~x1328+1 ~x1288+1 ~x1248+1 ~x1208+1 ~x1168+1 ~x1128+1 ~x1088+1 ~x1048+1 ~x1008+1 ~x968+1 ~x928+1 ~x888+1 ~x848+1 ~x808+1 ~x768+1 ~x728+1 ~x688+1 ~x648+1 ~x608+1 ~x568+1 ~x528+1 ~x488+1 ~x448+1 ~x408+1 ~x368+1 ~x328+1 ~x288+1 ~x248+1 ~x208+1 ~x168+1 ~x128+1 ~x88+1 ~x48+1 ~x8-0=107 0.00/0.89 c 32 ~x20420+16 ~x20419+8 ~x20418+4 ~x20417+2 ~x20416+1 ~x20415+1 ~x1769+1 ~x1729+1 ~x1689+1 ~x1649+1 ~x1609+1 ~x1569+1 ~x1529+1 ~x1489+1 ~x1449+1 ~x1409+1 ~x1369+1 ~x1329+1 ~x1289+1 ~x1249+1 ~x1209+1 ~x1169+1 ~x1129+1 ~x1089+1 ~x1049+1 ~x1009+1 ~x969+1 ~x929+1 ~x889+1 ~x849+1 ~x809+1 ~x769+1 ~x729+1 ~x689+1 ~x649+1 ~x609+1 ~x569+1 ~x529+1 ~x489+1 ~x449+1 ~x409+1 ~x369+1 ~x329+1 ~x289+1 ~x249+1 ~x209+1 ~x169+1 ~x129+1 ~x89+1 ~x49+1 ~x9-0=107 0.00/0.95 c 32 ~x22809+16 ~x22808+8 ~x22807+4 ~x22806+2 ~x22805+1 ~x22804+1 ~x1770+1 ~x1730+1 ~x1690+1 ~x1650+1 ~x1610+1 ~x1570+1 ~x1530+1 ~x1490+1 ~x1450+1 ~x1410+1 ~x1370+1 ~x1330+1 ~x1290+1 ~x1250+1 ~x1210+1 ~x1170+1 ~x1130+1 ~x1090+1 ~x1050+1 ~x1010+1 ~x970+1 ~x930+1 ~x890+1 ~x850+1 ~x810+1 ~x770+1 ~x730+1 ~x690+1 ~x650+1 ~x610+1 ~x570+1 ~x530+1 ~x490+1 ~x450+1 ~x410+1 ~x370+1 ~x330+1 ~x290+1 ~x250+1 ~x210+1 ~x170+1 ~x130+1 ~x90+1 ~x50+1 ~x10-0=107 1.00/1.01 c 32 ~x25198+16 ~x25197+8 ~x25196+4 ~x25195+2 ~x25194+1 ~x25193+1 ~x1771+1 ~x1731+1 ~x1691+1 ~x1651+1 ~x1611+1 ~x1571+1 ~x1531+1 ~x1491+1 ~x1451+1 ~x1411+1 ~x1371+1 ~x1331+1 ~x1291+1 ~x1251+1 ~x1211+1 ~x1171+1 ~x1131+1 ~x1091+1 ~x1051+1 ~x1011+1 ~x971+1 ~x931+1 ~x891+1 ~x851+1 ~x811+1 ~x771+1 ~x731+1 ~x691+1 ~x651+1 ~x611+1 ~x571+1 ~x531+1 ~x491+1 ~x451+1 ~x411+1 ~x371+1 ~x331+1 ~x291+1 ~x251+1 ~x211+1 ~x171+1 ~x131+1 ~x91+1 ~x51+1 ~x11-0=107 1.00/1.06 c 32 ~x27587+16 ~x27586+8 ~x27585+4 ~x27584+2 ~x27583+1 ~x27582+1 ~x1772+1 ~x1732+1 ~x1692+1 ~x1652+1 ~x1612+1 ~x1572+1 ~x1532+1 ~x1492+1 ~x1452+1 ~x1412+1 ~x1372+1 ~x1332+1 ~x1292+1 ~x1252+1 ~x1212+1 ~x1172+1 ~x1132+1 ~x1092+1 ~x1052+1 ~x1012+1 ~x972+1 ~x932+1 ~x892+1 ~x852+1 ~x812+1 ~x772+1 ~x732+1 ~x692+1 ~x652+1 ~x612+1 ~x572+1 ~x532+1 ~x492+1 ~x452+1 ~x412+1 ~x372+1 ~x332+1 ~x292+1 ~x252+1 ~x212+1 ~x172+1 ~x132+1 ~x92+1 ~x52+1 ~x12-0=107 1.10/1.12 c 32 ~x29976+16 ~x29975+8 ~x29974+4 ~x29973+2 ~x29972+1 ~x29971+1 ~x1773+1 ~x1733+1 ~x1693+1 ~x1653+1 ~x1613+1 ~x1573+1 ~x1533+1 ~x1493+1 ~x1453+1 ~x1413+1 ~x1373+1 ~x1333+1 ~x1293+1 ~x1253+1 ~x1213+1 ~x1173+1 ~x1133+1 ~x1093+1 ~x1053+1 ~x1013+1 ~x973+1 ~x933+1 ~x893+1 ~x853+1 ~x813+1 ~x773+1 ~x733+1 ~x693+1 ~x653+1 ~x613+1 ~x573+1 ~x533+1 ~x493+1 ~x453+1 ~x413+1 ~x373+1 ~x333+1 ~x293+1 ~x253+1 ~x213+1 ~x173+1 ~x133+1 ~x93+1 ~x53+1 ~x13-0=107 1.10/1.18 c 32 ~x32365+16 ~x32364+8 ~x32363+4 ~x32362+2 ~x32361+1 ~x32360+1 ~x1774+1 ~x1734+1 ~x1694+1 ~x1654+1 ~x1614+1 ~x1574+1 ~x1534+1 ~x1494+1 ~x1454+1 ~x1414+1 ~x1374+1 ~x1334+1 ~x1294+1 ~x1254+1 ~x1214+1 ~x1174+1 ~x1134+1 ~x1094+1 ~x1054+1 ~x1014+1 ~x974+1 ~x934+1 ~x894+1 ~x854+1 ~x814+1 ~x774+1 ~x734+1 ~x694+1 ~x654+1 ~x614+1 ~x574+1 ~x534+1 ~x494+1 ~x454+1 ~x414+1 ~x374+1 ~x334+1 ~x294+1 ~x254+1 ~x214+1 ~x174+1 ~x134+1 ~x94+1 ~x54+1 ~x14-0=107 1.19/1.24 c 32 ~x34754+16 ~x34753+8 ~x34752+4 ~x34751+2 ~x34750+1 ~x34749+1 ~x1775+1 ~x1735+1 ~x1695+1 ~x1655+1 ~x1615+1 ~x1575+1 ~x1535+1 ~x1495+1 ~x1455+1 ~x1415+1 ~x1375+1 ~x1335+1 ~x1295+1 ~x1255+1 ~x1215+1 ~x1175+1 ~x1135+1 ~x1095+1 ~x1055+1 ~x1015+1 ~x975+1 ~x935+1 ~x895+1 ~x855+1 ~x815+1 ~x775+1 ~x735+1 ~x695+1 ~x655+1 ~x615+1 ~x575+1 ~x535+1 ~x495+1 ~x455+1 ~x415+1 ~x375+1 ~x335+1 ~x295+1 ~x255+1 ~x215+1 ~x175+1 ~x135+1 ~x95+1 ~x55+1 ~x15-0=107 1.19/1.30 c 32 ~x37143+16 ~x37142+8 ~x37141+4 ~x37140+2 ~x37139+1 ~x37138+1 ~x1776+1 ~x1736+1 ~x1696+1 ~x1656+1 ~x1616+1 ~x1576+1 ~x1536+1 ~x1496+1 ~x1456+1 ~x1416+1 ~x1376+1 ~x1336+1 ~x1296+1 ~x1256+1 ~x1216+1 ~x1176+1 ~x1136+1 ~x1096+1 ~x1056+1 ~x1016+1 ~x976+1 ~x936+1 ~x896+1 ~x856+1 ~x816+1 ~x776+1 ~x736+1 ~x696+1 ~x656+1 ~x616+1 ~x576+1 ~x536+1 ~x496+1 ~x456+1 ~x416+1 ~x376+1 ~x336+1 ~x296+1 ~x256+1 ~x216+1 ~x176+1 ~x136+1 ~x96+1 ~x56+1 ~x16-0=107 1.28/1.35 c 32 ~x39532+16 ~x39531+8 ~x39530+4 ~x39529+2 ~x39528+1 ~x39527+1 ~x1777+1 ~x1737+1 ~x1697+1 ~x1657+1 ~x1617+1 ~x1577+1 ~x1537+1 ~x1497+1 ~x1457+1 ~x1417+1 ~x1377+1 ~x1337+1 ~x1297+1 ~x1257+1 ~x1217+1 ~x1177+1 ~x1137+1 ~x1097+1 ~x1057+1 ~x1017+1 ~x977+1 ~x937+1 ~x897+1 ~x857+1 ~x817+1 ~x777+1 ~x737+1 ~x697+1 ~x657+1 ~x617+1 ~x577+1 ~x537+1 ~x497+1 ~x457+1 ~x417+1 ~x377+1 ~x337+1 ~x297+1 ~x257+1 ~x217+1 ~x177+1 ~x137+1 ~x97+1 ~x57+1 ~x17-0=107 1.38/1.41 c 32 ~x41921+16 ~x41920+8 ~x41919+4 ~x41918+2 ~x41917+1 ~x41916+1 ~x1778+1 ~x1738+1 ~x1698+1 ~x1658+1 ~x1618+1 ~x1578+1 ~x1538+1 ~x1498+1 ~x1458+1 ~x1418+1 ~x1378+1 ~x1338+1 ~x1298+1 ~x1258+1 ~x1218+1 ~x1178+1 ~x1138+1 ~x1098+1 ~x1058+1 ~x1018+1 ~x978+1 ~x938+1 ~x898+1 ~x858+1 ~x818+1 ~x778+1 ~x738+1 ~x698+1 ~x658+1 ~x618+1 ~x578+1 ~x538+1 ~x498+1 ~x458+1 ~x418+1 ~x378+1 ~x338+1 ~x298+1 ~x258+1 ~x218+1 ~x178+1 ~x138+1 ~x98+1 ~x58+1 ~x18-0=107 1.38/1.47 c 32 ~x44310+16 ~x44309+8 ~x44308+4 ~x44307+2 ~x44306+1 ~x44305+1 ~x1779+1 ~x1739+1 ~x1699+1 ~x1659+1 ~x1619+1 ~x1579+1 ~x1539+1 ~x1499+1 ~x1459+1 ~x1419+1 ~x1379+1 ~x1339+1 ~x1299+1 ~x1259+1 ~x1219+1 ~x1179+1 ~x1139+1 ~x1099+1 ~x1059+1 ~x1019+1 ~x979+1 ~x939+1 ~x899+1 ~x859+1 ~x819+1 ~x779+1 ~x739+1 ~x699+1 ~x659+1 ~x619+1 ~x579+1 ~x539+1 ~x499+1 ~x459+1 ~x419+1 ~x379+1 ~x339+1 ~x299+1 ~x259+1 ~x219+1 ~x179+1 ~x139+1 ~x99+1 ~x59+1 ~x19-0=107 1.48/1.53 c 32 ~x46699+16 ~x46698+8 ~x46697+4 ~x46696+2 ~x46695+1 ~x46694+1 ~x1780+1 ~x1740+1 ~x1700+1 ~x1660+1 ~x1620+1 ~x1580+1 ~x1540+1 ~x1500+1 ~x1460+1 ~x1420+1 ~x1380+1 ~x1340+1 ~x1300+1 ~x1260+1 ~x1220+1 ~x1180+1 ~x1140+1 ~x1100+1 ~x1060+1 ~x1020+1 ~x980+1 ~x940+1 ~x900+1 ~x860+1 ~x820+1 ~x780+1 ~x740+1 ~x700+1 ~x660+1 ~x620+1 ~x580+1 ~x540+1 ~x500+1 ~x460+1 ~x420+1 ~x380+1 ~x340+1 ~x300+1 ~x260+1 ~x220+1 ~x180+1 ~x140+1 ~x100+1 ~x60+1 ~x20-0=107 1.48/1.59 c 32 ~x49088+16 ~x49087+8 ~x49086+4 ~x49085+2 ~x49084+1 ~x49083+1 ~x1781+1 ~x1741+1 ~x1701+1 ~x1661+1 ~x1621+1 ~x1581+1 ~x1541+1 ~x1501+1 ~x1461+1 ~x1421+1 ~x1381+1 ~x1341+1 ~x1301+1 ~x1261+1 ~x1221+1 ~x1181+1 ~x1141+1 ~x1101+1 ~x1061+1 ~x1021+1 ~x981+1 ~x941+1 ~x901+1 ~x861+1 ~x821+1 ~x781+1 ~x741+1 ~x701+1 ~x661+1 ~x621+1 ~x581+1 ~x541+1 ~x501+1 ~x461+1 ~x421+1 ~x381+1 ~x341+1 ~x301+1 ~x261+1 ~x221+1 ~x181+1 ~x141+1 ~x101+1 ~x61+1 ~x21-0=107 1.59/1.65 c 32 ~x51477+16 ~x51476+8 ~x51475+4 ~x51474+2 ~x51473+1 ~x51472+1 ~x1782+1 ~x1742+1 ~x1702+1 ~x1662+1 ~x1622+1 ~x1582+1 ~x1542+1 ~x1502+1 ~x1462+1 ~x1422+1 ~x1382+1 ~x1342+1 ~x1302+1 ~x1262+1 ~x1222+1 ~x1182+1 ~x1142+1 ~x1102+1 ~x1062+1 ~x1022+1 ~x982+1 ~x942+1 ~x902+1 ~x862+1 ~x822+1 ~x782+1 ~x742+1 ~x702+1 ~x662+1 ~x622+1 ~x582+1 ~x542+1 ~x502+1 ~x462+1 ~x422+1 ~x382+1 ~x342+1 ~x302+1 ~x262+1 ~x222+1 ~x182+1 ~x142+1 ~x102+1 ~x62+1 ~x22-0=107 1.69/1.70 c 32 ~x53866+16 ~x53865+8 ~x53864+4 ~x53863+2 ~x53862+1 ~x53861+1 ~x1783+1 ~x1743+1 ~x1703+1 ~x1663+1 ~x1623+1 ~x1583+1 ~x1543+1 ~x1503+1 ~x1463+1 ~x1423+1 ~x1383+1 ~x1343+1 ~x1303+1 ~x1263+1 ~x1223+1 ~x1183+1 ~x1143+1 ~x1103+1 ~x1063+1 ~x1023+1 ~x983+1 ~x943+1 ~x903+1 ~x863+1 ~x823+1 ~x783+1 ~x743+1 ~x703+1 ~x663+1 ~x623+1 ~x583+1 ~x543+1 ~x503+1 ~x463+1 ~x423+1 ~x383+1 ~x343+1 ~x303+1 ~x263+1 ~x223+1 ~x183+1 ~x143+1 ~x103+1 ~x63+1 ~x23-0=107 1.69/1.76 c 32 ~x56255+16 ~x56254+8 ~x56253+4 ~x56252+2 ~x56251+1 ~x56250+1 ~x1784+1 ~x1744+1 ~x1704+1 ~x1664+1 ~x1624+1 ~x1584+1 ~x1544+1 ~x1504+1 ~x1464+1 ~x1424+1 ~x1384+1 ~x1344+1 ~x1304+1 ~x1264+1 ~x1224+1 ~x1184+1 ~x1144+1 ~x1104+1 ~x1064+1 ~x1024+1 ~x984+1 ~x944+1 ~x904+1 ~x864+1 ~x824+1 ~x784+1 ~x744+1 ~x704+1 ~x664+1 ~x624+1 ~x584+1 ~x544+1 ~x504+1 ~x464+1 ~x424+1 ~x384+1 ~x344+1 ~x304+1 ~x264+1 ~x224+1 ~x184+1 ~x144+1 ~x104+1 ~x64+1 ~x24-0=107 1.79/1.82 c 32 ~x58644+16 ~x58643+8 ~x58642+4 ~x58641+2 ~x58640+1 ~x58639+1 ~x1785+1 ~x1745+1 ~x1705+1 ~x1665+1 ~x1625+1 ~x1585+1 ~x1545+1 ~x1505+1 ~x1465+1 ~x1425+1 ~x1385+1 ~x1345+1 ~x1305+1 ~x1265+1 ~x1225+1 ~x1185+1 ~x1145+1 ~x1105+1 ~x1065+1 ~x1025+1 ~x985+1 ~x945+1 ~x905+1 ~x865+1 ~x825+1 ~x785+1 ~x745+1 ~x705+1 ~x665+1 ~x625+1 ~x585+1 ~x545+1 ~x505+1 ~x465+1 ~x425+1 ~x385+1 ~x345+1 ~x305+1 ~x265+1 ~x225+1 ~x185+1 ~x145+1 ~x105+1 ~x65+1 ~x25-0=107 1.79/1.88 c 32 ~x61033+16 ~x61032+8 ~x61031+4 ~x61030+2 ~x61029+1 ~x61028+1 ~x1786+1 ~x1746+1 ~x1706+1 ~x1666+1 ~x1626+1 ~x1586+1 ~x1546+1 ~x1506+1 ~x1466+1 ~x1426+1 ~x1386+1 ~x1346+1 ~x1306+1 ~x1266+1 ~x1226+1 ~x1186+1 ~x1146+1 ~x1106+1 ~x1066+1 ~x1026+1 ~x986+1 ~x946+1 ~x906+1 ~x866+1 ~x826+1 ~x786+1 ~x746+1 ~x706+1 ~x666+1 ~x626+1 ~x586+1 ~x546+1 ~x506+1 ~x466+1 ~x426+1 ~x386+1 ~x346+1 ~x306+1 ~x266+1 ~x226+1 ~x186+1 ~x146+1 ~x106+1 ~x66+1 ~x26-0=107 1.89/1.94 c 32 ~x63422+16 ~x63421+8 ~x63420+4 ~x63419+2 ~x63418+1 ~x63417+1 ~x1787+1 ~x1747+1 ~x1707+1 ~x1667+1 ~x1627+1 ~x1587+1 ~x1547+1 ~x1507+1 ~x1467+1 ~x1427+1 ~x1387+1 ~x1347+1 ~x1307+1 ~x1267+1 ~x1227+1 ~x1187+1 ~x1147+1 ~x1107+1 ~x1067+1 ~x1027+1 ~x987+1 ~x947+1 ~x907+1 ~x867+1 ~x827+1 ~x787+1 ~x747+1 ~x707+1 ~x667+1 ~x627+1 ~x587+1 ~x547+1 ~x507+1 ~x467+1 ~x427+1 ~x387+1 ~x347+1 ~x307+1 ~x267+1 ~x227+1 ~x187+1 ~x147+1 ~x107+1 ~x67+1 ~x27-0=107 1.89/1.99 c 32 ~x65811+16 ~x65810+8 ~x65809+4 ~x65808+2 ~x65807+1 ~x65806+1 ~x1788+1 ~x1748+1 ~x1708+1 ~x1668+1 ~x1628+1 ~x1588+1 ~x1548+1 ~x1508+1 ~x1468+1 ~x1428+1 ~x1388+1 ~x1348+1 ~x1308+1 ~x1268+1 ~x1228+1 ~x1188+1 ~x1148+1 ~x1108+1 ~x1068+1 ~x1028+1 ~x988+1 ~x948+1 ~x908+1 ~x868+1 ~x828+1 ~x788+1 ~x748+1 ~x708+1 ~x668+1 ~x628+1 ~x588+1 ~x548+1 ~x508+1 ~x468+1 ~x428+1 ~x388+1 ~x348+1 ~x308+1 ~x268+1 ~x228+1 ~x188+1 ~x148+1 ~x108+1 ~x68+1 ~x28-0=107 1.99/2.05 c 32 ~x68200+16 ~x68199+8 ~x68198+4 ~x68197+2 ~x68196+1 ~x68195+1 ~x1789+1 ~x1749+1 ~x1709+1 ~x1669+1 ~x1629+1 ~x1589+1 ~x1549+1 ~x1509+1 ~x1469+1 ~x1429+1 ~x1389+1 ~x1349+1 ~x1309+1 ~x1269+1 ~x1229+1 ~x1189+1 ~x1149+1 ~x1109+1 ~x1069+1 ~x1029+1 ~x989+1 ~x949+1 ~x909+1 ~x869+1 ~x829+1 ~x789+1 ~x749+1 ~x709+1 ~x669+1 ~x629+1 ~x589+1 ~x549+1 ~x509+1 ~x469+1 ~x429+1 ~x389+1 ~x349+1 ~x309+1 ~x269+1 ~x229+1 ~x189+1 ~x149+1 ~x109+1 ~x69+1 ~x29-0=107 2.09/2.11 c 32 ~x70589+16 ~x70588+8 ~x70587+4 ~x70586+2 ~x70585+1 ~x70584+1 ~x1790+1 ~x1750+1 ~x1710+1 ~x1670+1 ~x1630+1 ~x1590+1 ~x1550+1 ~x1510+1 ~x1470+1 ~x1430+1 ~x1390+1 ~x1350+1 ~x1310+1 ~x1270+1 ~x1230+1 ~x1190+1 ~x1150+1 ~x1110+1 ~x1070+1 ~x1030+1 ~x990+1 ~x950+1 ~x910+1 ~x870+1 ~x830+1 ~x790+1 ~x750+1 ~x710+1 ~x670+1 ~x630+1 ~x590+1 ~x550+1 ~x510+1 ~x470+1 ~x430+1 ~x390+1 ~x350+1 ~x310+1 ~x270+1 ~x230+1 ~x190+1 ~x150+1 ~x110+1 ~x70+1 ~x30-0=107 2.09/2.17 c 32 ~x72978+16 ~x72977+8 ~x72976+4 ~x72975+2 ~x72974+1 ~x72973+1 ~x1791+1 ~x1751+1 ~x1711+1 ~x1671+1 ~x1631+1 ~x1591+1 ~x1551+1 ~x1511+1 ~x1471+1 ~x1431+1 ~x1391+1 ~x1351+1 ~x1311+1 ~x1271+1 ~x1231+1 ~x1191+1 ~x1151+1 ~x1111+1 ~x1071+1 ~x1031+1 ~x991+1 ~x951+1 ~x911+1 ~x871+1 ~x831+1 ~x791+1 ~x751+1 ~x711+1 ~x671+1 ~x631+1 ~x591+1 ~x551+1 ~x511+1 ~x471+1 ~x431+1 ~x391+1 ~x351+1 ~x311+1 ~x271+1 ~x231+1 ~x191+1 ~x151+1 ~x111+1 ~x71+1 ~x31-0=107 2.19/2.23 c 32 ~x75367+16 ~x75366+8 ~x75365+4 ~x75364+2 ~x75363+1 ~x75362+1 ~x1792+1 ~x1752+1 ~x1712+1 ~x1672+1 ~x1632+1 ~x1592+1 ~x1552+1 ~x1512+1 ~x1472+1 ~x1432+1 ~x1392+1 ~x1352+1 ~x1312+1 ~x1272+1 ~x1232+1 ~x1192+1 ~x1152+1 ~x1112+1 ~x1072+1 ~x1032+1 ~x992+1 ~x952+1 ~x912+1 ~x872+1 ~x832+1 ~x792+1 ~x752+1 ~x712+1 ~x672+1 ~x632+1 ~x592+1 ~x552+1 ~x512+1 ~x472+1 ~x432+1 ~x392+1 ~x352+1 ~x312+1 ~x272+1 ~x232+1 ~x192+1 ~x152+1 ~x112+1 ~x72+1 ~x32-0=107 2.19/2.29 c 32 ~x77756+16 ~x77755+8 ~x77754+4 ~x77753+2 ~x77752+1 ~x77751+1 ~x1793+1 ~x1753+1 ~x1713+1 ~x1673+1 ~x1633+1 ~x1593+1 ~x1553+1 ~x1513+1 ~x1473+1 ~x1433+1 ~x1393+1 ~x1353+1 ~x1313+1 ~x1273+1 ~x1233+1 ~x1193+1 ~x1153+1 ~x1113+1 ~x1073+1 ~x1033+1 ~x993+1 ~x953+1 ~x913+1 ~x873+1 ~x833+1 ~x793+1 ~x753+1 ~x713+1 ~x673+1 ~x633+1 ~x593+1 ~x553+1 ~x513+1 ~x473+1 ~x433+1 ~x393+1 ~x353+1 ~x313+1 ~x273+1 ~x233+1 ~x193+1 ~x153+1 ~x113+1 ~x73+1 ~x33-0=107 2.29/2.34 c 32 ~x80145+16 ~x80144+8 ~x80143+4 ~x80142+2 ~x80141+1 ~x80140+1 ~x1794+1 ~x1754+1 ~x1714+1 ~x1674+1 ~x1634+1 ~x1594+1 ~x1554+1 ~x1514+1 ~x1474+1 ~x1434+1 ~x1394+1 ~x1354+1 ~x1314+1 ~x1274+1 ~x1234+1 ~x1194+1 ~x1154+1 ~x1114+1 ~x1074+1 ~x1034+1 ~x994+1 ~x954+1 ~x914+1 ~x874+1 ~x834+1 ~x794+1 ~x754+1 ~x714+1 ~x674+1 ~x634+1 ~x594+1 ~x554+1 ~x514+1 ~x474+1 ~x434+1 ~x394+1 ~x354+1 ~x314+1 ~x274+1 ~x234+1 ~x194+1 ~x154+1 ~x114+1 ~x74+1 ~x34-0=107 2.39/2.40 c 32 ~x82534+16 ~x82533+8 ~x82532+4 ~x82531+2 ~x82530+1 ~x82529+1 ~x1795+1 ~x1755+1 ~x1715+1 ~x1675+1 ~x1635+1 ~x1595+1 ~x1555+1 ~x1515+1 ~x1475+1 ~x1435+1 ~x1395+1 ~x1355+1 ~x1315+1 ~x1275+1 ~x1235+1 ~x1195+1 ~x1155+1 ~x1115+1 ~x1075+1 ~x1035+1 ~x995+1 ~x955+1 ~x915+1 ~x875+1 ~x835+1 ~x795+1 ~x755+1 ~x715+1 ~x675+1 ~x635+1 ~x595+1 ~x555+1 ~x515+1 ~x475+1 ~x435+1 ~x395+1 ~x355+1 ~x315+1 ~x275+1 ~x235+1 ~x195+1 ~x155+1 ~x115+1 ~x75+1 ~x35-0=107 2.39/2.46 c 32 ~x84923+16 ~x84922+8 ~x84921+4 ~x84920+2 ~x84919+1 ~x84918+1 ~x1796+1 ~x1756+1 ~x1716+1 ~x1676+1 ~x1636+1 ~x1596+1 ~x1556+1 ~x1516+1 ~x1476+1 ~x1436+1 ~x1396+1 ~x1356+1 ~x1316+1 ~x1276+1 ~x1236+1 ~x1196+1 ~x1156+1 ~x1116+1 ~x1076+1 ~x1036+1 ~x996+1 ~x956+1 ~x916+1 ~x876+1 ~x836+1 ~x796+1 ~x756+1 ~x716+1 ~x676+1 ~x636+1 ~x596+1 ~x556+1 ~x516+1 ~x476+1 ~x436+1 ~x396+1 ~x356+1 ~x316+1 ~x276+1 ~x236+1 ~x196+1 ~x156+1 ~x116+1 ~x76+1 ~x36-0=107 2.49/2.52 c 32 ~x87312+16 ~x87311+8 ~x87310+4 ~x87309+2 ~x87308+1 ~x87307+1 ~x1797+1 ~x1757+1 ~x1717+1 ~x1677+1 ~x1637+1 ~x1597+1 ~x1557+1 ~x1517+1 ~x1477+1 ~x1437+1 ~x1397+1 ~x1357+1 ~x1317+1 ~x1277+1 ~x1237+1 ~x1197+1 ~x1157+1 ~x1117+1 ~x1077+1 ~x1037+1 ~x997+1 ~x957+1 ~x917+1 ~x877+1 ~x837+1 ~x797+1 ~x757+1 ~x717+1 ~x677+1 ~x637+1 ~x597+1 ~x557+1 ~x517+1 ~x477+1 ~x437+1 ~x397+1 ~x357+1 ~x317+1 ~x277+1 ~x237+1 ~x197+1 ~x157+1 ~x117+1 ~x77+1 ~x37-0=107 2.49/2.58 c 32 ~x89701+16 ~x89700+8 ~x89699+4 ~x89698+2 ~x89697+1 ~x89696+1 ~x1798+1 ~x1758+1 ~x1718+1 ~x1678+1 ~x1638+1 ~x1598+1 ~x1558+1 ~x1518+1 ~x1478+1 ~x1438+1 ~x1398+1 ~x1358+1 ~x1318+1 ~x1278+1 ~x1238+1 ~x1198+1 ~x1158+1 ~x1118+1 ~x1078+1 ~x1038+1 ~x998+1 ~x958+1 ~x918+1 ~x878+1 ~x838+1 ~x798+1 ~x758+1 ~x718+1 ~x678+1 ~x638+1 ~x598+1 ~x558+1 ~x518+1 ~x478+1 ~x438+1 ~x398+1 ~x358+1 ~x318+1 ~x278+1 ~x238+1 ~x198+1 ~x158+1 ~x118+1 ~x78+1 ~x38-0=107 2.58/2.63 c 32 ~x92090+16 ~x92089+8 ~x92088+4 ~x92087+2 ~x92086+1 ~x92085+1 ~x1799+1 ~x1759+1 ~x1719+1 ~x1679+1 ~x1639+1 ~x1599+1 ~x1559+1 ~x1519+1 ~x1479+1 ~x1439+1 ~x1399+1 ~x1359+1 ~x1319+1 ~x1279+1 ~x1239+1 ~x1199+1 ~x1159+1 ~x1119+1 ~x1079+1 ~x1039+1 ~x999+1 ~x959+1 ~x919+1 ~x879+1 ~x839+1 ~x799+1 ~x759+1 ~x719+1 ~x679+1 ~x639+1 ~x599+1 ~x559+1 ~x519+1 ~x479+1 ~x439+1 ~x399+1 ~x359+1 ~x319+1 ~x279+1 ~x239+1 ~x199+1 ~x159+1 ~x119+1 ~x79+1 ~x39-0=107 2.58/2.69 c 32 ~x94479+16 ~x94478+8 ~x94477+4 ~x94476+2 ~x94475+1 ~x94474+1 ~x1800+1 ~x1760+1 ~x1720+1 ~x1680+1 ~x1640+1 ~x1600+1 ~x1560+1 ~x1520+1 ~x1480+1 ~x1440+1 ~x1400+1 ~x1360+1 ~x1320+1 ~x1280+1 ~x1240+1 ~x1200+1 ~x1160+1 ~x1120+1 ~x1080+1 ~x1040+1 ~x1000+1 ~x960+1 ~x920+1 ~x880+1 ~x840+1 ~x800+1 ~x760+1 ~x720+1 ~x680+1 ~x640+1 ~x600+1 ~x560+1 ~x520+1 ~x480+1 ~x440+1 ~x400+1 ~x360+1 ~x320+1 ~x280+1 ~x240+1 ~x200+1 ~x160+1 ~x120+1 ~x80+1 ~x40-0=107 2.68/2.75 c 32 ~x96868+16 ~x96867+8 ~x96866+4 ~x96865+2 ~x96864+1 ~x96863+1 ~x1801+1 ~x1761+1 ~x1721+1 ~x1681+1 ~x1641+1 ~x1601+1 ~x1561+1 ~x1521+1 ~x1481+1 ~x1441+1 ~x1401+1 ~x1361+1 ~x1321+1 ~x1281+1 ~x1241+1 ~x1201+1 ~x1161+1 ~x1121+1 ~x1081+1 ~x1041+1 ~x1001+1 ~x961+1 ~x921+1 ~x881+1 ~x841+1 ~x801+1 ~x761+1 ~x721+1 ~x681+1 ~x641+1 ~x601+1 ~x561+1 ~x521+1 ~x481+1 ~x441+1 ~x401+1 ~x361+1 ~x321+1 ~x281+1 ~x241+1 ~x201+1 ~x161+1 ~x121+1 ~x81+1 ~x41-0=107 2.79/2.81 c 32 ~x99257+16 ~x99256+8 ~x99255+4 ~x99254+2 ~x99253+1 ~x99252+1 ~x3562+1 ~x3522+1 ~x3482+1 ~x3442+1 ~x3402+1 ~x3362+1 ~x3322+1 ~x3282+1 ~x3242+1 ~x3202+1 ~x3162+1 ~x3122+1 ~x3082+1 ~x3042+1 ~x3002+1 ~x2962+1 ~x2922+1 ~x2882+1 ~x2842+1 ~x2802+1 ~x2762+1 ~x2722+1 ~x2682+1 ~x2642+1 ~x2602+1 ~x2562+1 ~x2522+1 ~x2482+1 ~x2442+1 ~x2402+1 ~x2362+1 ~x2322+1 ~x2282+1 ~x2242+1 ~x2202+1 ~x2162+1 ~x2122+1 ~x2082+1 ~x2042+1 ~x2002+1 ~x1962+1 ~x1922+1 ~x1882+1 ~x1842+1 ~x1802-0=107 2.79/2.87 c 32 ~x101646+16 ~x101645+8 ~x101644+4 ~x101643+2 ~x101642+1 ~x101641+1 ~x3563+1 ~x3523+1 ~x3483+1 ~x3443+1 ~x3403+1 ~x3363+1 ~x3323+1 ~x3283+1 ~x3243+1 ~x3203+1 ~x3163+1 ~x3123+1 ~x3083+1 ~x3043+1 ~x3003+1 ~x2963+1 ~x2923+1 ~x2883+1 ~x2843+1 ~x2803+1 ~x2763+1 ~x2723+1 ~x2683+1 ~x2643+1 ~x2603+1 ~x2563+1 ~x2523+1 ~x2483+1 ~x2443+1 ~x2403+1 ~x2363+1 ~x2323+1 ~x2283+1 ~x2243+1 ~x2203+1 ~x2163+1 ~x2123+1 ~x2083+1 ~x2043+1 ~x2003+1 ~x1963+1 ~x1923+1 ~x1883+1 ~x1843+1 ~x1803-0=107 2.89/2.93 c 32 ~x104035+16 ~x104034+8 ~x104033+4 ~x104032+2 ~x104031+1 ~x104030+1 ~x3564+1 ~x3524+1 ~x3484+1 ~x3444+1 ~x3404+1 ~x3364+1 ~x3324+1 ~x3284+1 ~x3244+1 ~x3204+1 ~x3164+1 ~x3124+1 ~x3084+1 ~x3044+1 ~x3004+1 ~x2964+1 ~x2924+1 ~x2884+1 ~x2844+1 ~x2804+1 ~x2764+1 ~x2724+1 ~x2684+1 ~x2644+1 ~x2604+1 ~x2564+1 ~x2524+1 ~x2484+1 ~x2444+1 ~x2404+1 ~x2364+1 ~x2324+1 ~x2284+1 ~x2244+1 ~x2204+1 ~x2164+1 ~x2124+1 ~x2084+1 ~x2044+1 ~x2004+1 ~x1964+1 ~x1924+1 ~x1884+1 ~x1844+1 ~x1804-0=107 2.89/2.98 c 32 ~x106424+16 ~x106423+8 ~x106422+4 ~x106421+2 ~x106420+1 ~x106419+1 ~x3565+1 ~x3525+1 ~x3485+1 ~x3445+1 ~x3405+1 ~x3365+1 ~x3325+1 ~x3285+1 ~x3245+1 ~x3205+1 ~x3165+1 ~x3125+1 ~x3085+1 ~x3045+1 ~x3005+1 ~x2965+1 ~x2925+1 ~x2885+1 ~x2845+1 ~x2805+1 ~x2765+1 ~x2725+1 ~x2685+1 ~x2645+1 ~x2605+1 ~x2565+1 ~x2525+1 ~x2485+1 ~x2445+1 ~x2405+1 ~x2365+1 ~x2325+1 ~x2285+1 ~x2245+1 ~x2205+1 ~x2165+1 ~x2125+1 ~x2085+1 ~x2045+1 ~x2005+1 ~x1965+1 ~x1925+1 ~x1885+1 ~x1845+1 ~x1805-0=107 2.99/3.04 c 32 ~x108813+16 ~x108812+8 ~x108811+4 ~x108810+2 ~x108809+1 ~x108808+1 ~x3566+1 ~x3526+1 ~x3486+1 ~x3446+1 ~x3406+1 ~x3366+1 ~x3326+1 ~x3286+1 ~x3246+1 ~x3206+1 ~x3166+1 ~x3126+1 ~x3086+1 ~x3046+1 ~x3006+1 ~x2966+1 ~x2926+1 ~x2886+1 ~x2846+1 ~x2806+1 ~x2766+1 ~x2726+1 ~x2686+1 ~x2646+1 ~x2606+1 ~x2566+1 ~x2526+1 ~x2486+1 ~x2446+1 ~x2406+1 ~x2366+1 ~x2326+1 ~x2286+1 ~x2246+1 ~x2206+1 ~x2166+1 ~x2126+1 ~x2086+1 ~x2046+1 ~x2006+1 ~x1966+1 ~x1926+1 ~x1886+1 ~x1846+1 ~x1806-0=107 3.08/3.10 c 32 ~x111202+16 ~x111201+8 ~x111200+4 ~x111199+2 ~x111198+1 ~x111197+1 ~x3567+1 ~x3527+1 ~x3487+1 ~x3447+1 ~x3407+1 ~x3367+1 ~x3327+1 ~x3287+1 ~x3247+1 ~x3207+1 ~x3167+1 ~x3127+1 ~x3087+1 ~x3047+1 ~x3007+1 ~x2967+1 ~x2927+1 ~x2887+1 ~x2847+1 ~x2807+1 ~x2767+1 ~x2727+1 ~x2687+1 ~x2647+1 ~x2607+1 ~x2567+1 ~x2527+1 ~x2487+1 ~x2447+1 ~x2407+1 ~x2367+1 ~x2327+1 ~x2287+1 ~x2247+1 ~x2207+1 ~x2167+1 ~x2127+1 ~x2087+1 ~x2047+1 ~x2007+1 ~x1967+1 ~x1927+1 ~x1887+1 ~x1847+1 ~x1807-0=107 3.08/3.16 c 32 ~x113591+16 ~x113590+8 ~x113589+4 ~x113588+2 ~x113587+1 ~x113586+1 ~x3568+1 ~x3528+1 ~x3488+1 ~x3448+1 ~x3408+1 ~x3368+1 ~x3328+1 ~x3288+1 ~x3248+1 ~x3208+1 ~x3168+1 ~x3128+1 ~x3088+1 ~x3048+1 ~x3008+1 ~x2968+1 ~x2928+1 ~x2888+1 ~x2848+1 ~x2808+1 ~x2768+1 ~x2728+1 ~x2688+1 ~x2648+1 ~x2608+1 ~x2568+1 ~x2528+1 ~x2488+1 ~x2448+1 ~x2408+1 ~x2368+1 ~x2328+1 ~x2288+1 ~x2248+1 ~x2208+1 ~x2168+1 ~x2128+1 ~x2088+1 ~x2048+1 ~x2008+1 ~x1968+1 ~x1928+1 ~x1888+1 ~x1848+1 ~x1808-0=107 3.19/3.22 c 32 ~x115980+16 ~x115979+8 ~x115978+4 ~x115977+2 ~x115976+1 ~x115975+1 ~x3569+1 ~x3529+1 ~x3489+1 ~x3449+1 ~x3409+1 ~x3369+1 ~x3329+1 ~x3289+1 ~x3249+1 ~x3209+1 ~x3169+1 ~x3129+1 ~x3089+1 ~x3049+1 ~x3009+1 ~x2969+1 ~x2929+1 ~x2889+1 ~x2849+1 ~x2809+1 ~x2769+1 ~x2729+1 ~x2689+1 ~x2649+1 ~x2609+1 ~x2569+1 ~x2529+1 ~x2489+1 ~x2449+1 ~x2409+1 ~x2369+1 ~x2329+1 ~x2289+1 ~x2249+1 ~x2209+1 ~x2169+1 ~x2129+1 ~x2089+1 ~x2049+1 ~x2009+1 ~x1969+1 ~x1929+1 ~x1889+1 ~x1849+1 ~x1809-0=107 3.19/3.27 c 32 ~x118369+16 ~x118368+8 ~x118367+4 ~x118366+2 ~x118365+1 ~x118364+1 ~x3570+1 ~x3530+1 ~x3490+1 ~x3450+1 ~x3410+1 ~x3370+1 ~x3330+1 ~x3290+1 ~x3250+1 ~x3210+1 ~x3170+1 ~x3130+1 ~x3090+1 ~x3050+1 ~x3010+1 ~x2970+1 ~x2930+1 ~x2890+1 ~x2850+1 ~x2810+1 ~x2770+1 ~x2730+1 ~x2690+1 ~x2650+1 ~x2610+1 ~x2570+1 ~x2530+1 ~x2490+1 ~x2450+1 ~x2410+1 ~x2370+1 ~x2330+1 ~x2290+1 ~x2250+1 ~x2210+1 ~x2170+1 ~x2130+1 ~x2090+1 ~x2050+1 ~x2010+1 ~x1970+1 ~x1930+1 ~x1890+1 ~x1850+1 ~x1810-0=107 3.29/3.33 c 32 ~x120758+16 ~x120757+8 ~x120756+4 ~x120755+2 ~x120754+1 ~x120753+1 ~x3571+1 ~x3531+1 ~x3491+1 ~x3451+1 ~x3411+1 ~x3371+1 ~x3331+1 ~x3291+1 ~x3251+1 ~x3211+1 ~x3171+1 ~x3131+1 ~x3091+1 ~x3051+1 ~x3011+1 ~x2971+1 ~x2931+1 ~x2891+1 ~x2851+1 ~x2811+1 ~x2771+1 ~x2731+1 ~x2691+1 ~x2651+1 ~x2611+1 ~x2571+1 ~x2531+1 ~x2491+1 ~x2451+1 ~x2411+1 ~x2371+1 ~x2331+1 ~x2291+1 ~x2251+1 ~x2211+1 ~x2171+1 ~x2131+1 ~x2091+1 ~x2051+1 ~x2011+1 ~x1971+1 ~x1931+1 ~x1891+1 ~x1851+1 ~x1811-0=107 3.29/3.39 c 32 ~x123147+16 ~x123146+8 ~x123145+4 ~x123144+2 ~x123143+1 ~x123142+1 ~x3572+1 ~x3532+1 ~x3492+1 ~x3452+1 ~x3412+1 ~x3372+1 ~x3332+1 ~x3292+1 ~x3252+1 ~x3212+1 ~x3172+1 ~x3132+1 ~x3092+1 ~x3052+1 ~x3012+1 ~x2972+1 ~x2932+1 ~x2892+1 ~x2852+1 ~x2812+1 ~x2772+1 ~x2732+1 ~x2692+1 ~x2652+1 ~x2612+1 ~x2572+1 ~x2532+1 ~x2492+1 ~x2452+1 ~x2412+1 ~x2372+1 ~x2332+1 ~x2292+1 ~x2252+1 ~x2212+1 ~x2172+1 ~x2132+1 ~x2092+1 ~x2052+1 ~x2012+1 ~x1972+1 ~x1932+1 ~x1892+1 ~x1852+1 ~x1812-0=107 3.38/3.45 c 32 ~x125536+16 ~x125535+8 ~x125534+4 ~x125533+2 ~x125532+1 ~x125531+1 ~x3573+1 ~x3533+1 ~x3493+1 ~x3453+1 ~x3413+1 ~x3373+1 ~x3333+1 ~x3293+1 ~x3253+1 ~x3213+1 ~x3173+1 ~x3133+1 ~x3093+1 ~x3053+1 ~x3013+1 ~x2973+1 ~x2933+1 ~x2893+1 ~x2853+1 ~x2813+1 ~x2773+1 ~x2733+1 ~x2693+1 ~x2653+1 ~x2613+1 ~x2573+1 ~x2533+1 ~x2493+1 ~x2453+1 ~x2413+1 ~x2373+1 ~x2333+1 ~x2293+1 ~x2253+1 ~x2213+1 ~x2173+1 ~x2133+1 ~x2093+1 ~x2053+1 ~x2013+1 ~x1973+1 ~x1933+1 ~x1893+1 ~x1853+1 ~x1813-0=107 3.48/3.51 c 32 ~x127925+16 ~x127924+8 ~x127923+4 ~x127922+2 ~x127921+1 ~x127920+1 ~x3574+1 ~x3534+1 ~x3494+1 ~x3454+1 ~x3414+1 ~x3374+1 ~x3334+1 ~x3294+1 ~x3254+1 ~x3214+1 ~x3174+1 ~x3134+1 ~x3094+1 ~x3054+1 ~x3014+1 ~x2974+1 ~x2934+1 ~x2894+1 ~x2854+1 ~x2814+1 ~x2774+1 ~x2734+1 ~x2694+1 ~x2654+1 ~x2614+1 ~x2574+1 ~x2534+1 ~x2494+1 ~x2454+1 ~x2414+1 ~x2374+1 ~x2334+1 ~x2294+1 ~x2254+1 ~x2214+1 ~x2174+1 ~x2134+1 ~x2094+1 ~x2054+1 ~x2014+1 ~x1974+1 ~x1934+1 ~x1894+1 ~x1854+1 ~x1814-0=107 3.48/3.56 c 32 ~x130314+16 ~x130313+8 ~x130312+4 ~x130311+2 ~x130310+1 ~x130309+1 ~x3575+1 ~x3535+1 ~x3495+1 ~x3455+1 ~x3415+1 ~x3375+1 ~x3335+1 ~x3295+1 ~x3255+1 ~x3215+1 ~x3175+1 ~x3135+1 ~x3095+1 ~x3055+1 ~x3015+1 ~x2975+1 ~x2935+1 ~x2895+1 ~x2855+1 ~x2815+1 ~x2775+1 ~x2735+1 ~x2695+1 ~x2655+1 ~x2615+1 ~x2575+1 ~x2535+1 ~x2495+1 ~x2455+1 ~x2415+1 ~x2375+1 ~x2335+1 ~x2295+1 ~x2255+1 ~x2215+1 ~x2175+1 ~x2135+1 ~x2095+1 ~x2055+1 ~x2015+1 ~x1975+1 ~x1935+1 ~x1895+1 ~x1855+1 ~x1815-0=107 3.59/3.62 c 32 ~x132703+16 ~x132702+8 ~x132701+4 ~x132700+2 ~x132699+1 ~x132698+1 ~x3576+1 ~x3536+1 ~x3496+1 ~x3456+1 ~x3416+1 ~x3376+1 ~x3336+1 ~x3296+1 ~x3256+1 ~x3216+1 ~x3176+1 ~x3136+1 ~x3096+1 ~x3056+1 ~x3016+1 ~x2976+1 ~x2936+1 ~x2896+1 ~x2856+1 ~x2816+1 ~x2776+1 ~x2736+1 ~x2696+1 ~x2656+1 ~x2616+1 ~x2576+1 ~x2536+1 ~x2496+1 ~x2456+1 ~x2416+1 ~x2376+1 ~x2336+1 ~x2296+1 ~x2256+1 ~x2216+1 ~x2176+1 ~x2136+1 ~x2096+1 ~x2056+1 ~x2016+1 ~x1976+1 ~x1936+1 ~x1896+1 ~x1856+1 ~x1816-0=107 3.59/3.68 c 32 ~x135092+16 ~x135091+8 ~x135090+4 ~x135089+2 ~x135088+1 ~x135087+1 ~x3577+1 ~x3537+1 ~x3497+1 ~x3457+1 ~x3417+1 ~x3377+1 ~x3337+1 ~x3297+1 ~x3257+1 ~x3217+1 ~x3177+1 ~x3137+1 ~x3097+1 ~x3057+1 ~x3017+1 ~x2977+1 ~x2937+1 ~x2897+1 ~x2857+1 ~x2817+1 ~x2777+1 ~x2737+1 ~x2697+1 ~x2657+1 ~x2617+1 ~x2577+1 ~x2537+1 ~x2497+1 ~x2457+1 ~x2417+1 ~x2377+1 ~x2337+1 ~x2297+1 ~x2257+1 ~x2217+1 ~x2177+1 ~x2137+1 ~x2097+1 ~x2057+1 ~x2017+1 ~x1977+1 ~x1937+1 ~x1897+1 ~x1857+1 ~x1817-0=107 3.68/3.74 c 32 ~x137481+16 ~x137480+8 ~x137479+4 ~x137478+2 ~x137477+1 ~x137476+1 ~x3578+1 ~x3538+1 ~x3498+1 ~x3458+1 ~x3418+1 ~x3378+1 ~x3338+1 ~x3298+1 ~x3258+1 ~x3218+1 ~x3178+1 ~x3138+1 ~x3098+1 ~x3058+1 ~x3018+1 ~x2978+1 ~x2938+1 ~x2898+1 ~x2858+1 ~x2818+1 ~x2778+1 ~x2738+1 ~x2698+1 ~x2658+1 ~x2618+1 ~x2578+1 ~x2538+1 ~x2498+1 ~x2458+1 ~x2418+1 ~x2378+1 ~x2338+1 ~x2298+1 ~x2258+1 ~x2218+1 ~x2178+1 ~x2138+1 ~x2098+1 ~x2058+1 ~x2018+1 ~x1978+1 ~x1938+1 ~x1898+1 ~x1858+1 ~x1818-0=107 3.78/3.80 c 32 ~x139870+16 ~x139869+8 ~x139868+4 ~x139867+2 ~x139866+1 ~x139865+1 ~x3579+1 ~x3539+1 ~x3499+1 ~x3459+1 ~x3419+1 ~x3379+1 ~x3339+1 ~x3299+1 ~x3259+1 ~x3219+1 ~x3179+1 ~x3139+1 ~x3099+1 ~x3059+1 ~x3019+1 ~x2979+1 ~x2939+1 ~x2899+1 ~x2859+1 ~x2819+1 ~x2779+1 ~x2739+1 ~x2699+1 ~x2659+1 ~x2619+1 ~x2579+1 ~x2539+1 ~x2499+1 ~x2459+1 ~x2419+1 ~x2379+1 ~x2339+1 ~x2299+1 ~x2259+1 ~x2219+1 ~x2179+1 ~x2139+1 ~x2099+1 ~x2059+1 ~x2019+1 ~x1979+1 ~x1939+1 ~x1899+1 ~x1859+1 ~x1819-0=107 3.78/3.86 c 32 ~x142259+16 ~x142258+8 ~x142257+4 ~x142256+2 ~x142255+1 ~x142254+1 ~x3580+1 ~x3540+1 ~x3500+1 ~x3460+1 ~x3420+1 ~x3380+1 ~x3340+1 ~x3300+1 ~x3260+1 ~x3220+1 ~x3180+1 ~x3140+1 ~x3100+1 ~x3060+1 ~x3020+1 ~x2980+1 ~x2940+1 ~x2900+1 ~x2860+1 ~x2820+1 ~x2780+1 ~x2740+1 ~x2700+1 ~x2660+1 ~x2620+1 ~x2580+1 ~x2540+1 ~x2500+1 ~x2460+1 ~x2420+1 ~x2380+1 ~x2340+1 ~x2300+1 ~x2260+1 ~x2220+1 ~x2180+1 ~x2140+1 ~x2100+1 ~x2060+1 ~x2020+1 ~x1980+1 ~x1940+1 ~x1900+1 ~x1860+1 ~x1820-0=107 3.89/3.91 c 32 ~x144648+16 ~x144647+8 ~x144646+4 ~x144645+2 ~x144644+1 ~x144643+1 ~x3581+1 ~x3541+1 ~x3501+1 ~x3461+1 ~x3421+1 ~x3381+1 ~x3341+1 ~x3301+1 ~x3261+1 ~x3221+1 ~x3181+1 ~x3141+1 ~x3101+1 ~x3061+1 ~x3021+1 ~x2981+1 ~x2941+1 ~x2901+1 ~x2861+1 ~x2821+1 ~x2781+1 ~x2741+1 ~x2701+1 ~x2661+1 ~x2621+1 ~x2581+1 ~x2541+1 ~x2501+1 ~x2461+1 ~x2421+1 ~x2381+1 ~x2341+1 ~x2301+1 ~x2261+1 ~x2221+1 ~x2181+1 ~x2141+1 ~x2101+1 ~x2061+1 ~x2021+1 ~x1981+1 ~x1941+1 ~x1901+1 ~x1861+1 ~x1821-0=107 3.89/3.97 c 32 ~x147037+16 ~x147036+8 ~x147035+4 ~x147034+2 ~x147033+1 ~x147032+1 ~x3582+1 ~x3542+1 ~x3502+1 ~x3462+1 ~x3422+1 ~x3382+1 ~x3342+1 ~x3302+1 ~x3262+1 ~x3222+1 ~x3182+1 ~x3142+1 ~x3102+1 ~x3062+1 ~x3022+1 ~x2982+1 ~x2942+1 ~x2902+1 ~x2862+1 ~x2822+1 ~x2782+1 ~x2742+1 ~x2702+1 ~x2662+1 ~x2622+1 ~x2582+1 ~x2542+1 ~x2502+1 ~x2462+1 ~x2422+1 ~x2382+1 ~x2342+1 ~x2302+1 ~x2262+1 ~x2222+1 ~x2182+1 ~x2142+1 ~x2102+1 ~x2062+1 ~x2022+1 ~x1982+1 ~x1942+1 ~x1902+1 ~x1862+1 ~x1822-0=107 3.99/4.03 c 32 ~x149426+16 ~x149425+8 ~x149424+4 ~x149423+2 ~x149422+1 ~x149421+1 ~x3583+1 ~x3543+1 ~x3503+1 ~x3463+1 ~x3423+1 ~x3383+1 ~x3343+1 ~x3303+1 ~x3263+1 ~x3223+1 ~x3183+1 ~x3143+1 ~x3103+1 ~x3063+1 ~x3023+1 ~x2983+1 ~x2943+1 ~x2903+1 ~x2863+1 ~x2823+1 ~x2783+1 ~x2743+1 ~x2703+1 ~x2663+1 ~x2623+1 ~x2583+1 ~x2543+1 ~x2503+1 ~x2463+1 ~x2423+1 ~x2383+1 ~x2343+1 ~x2303+1 ~x2263+1 ~x2223+1 ~x2183+1 ~x2143+1 ~x2103+1 ~x2063+1 ~x2023+1 ~x1983+1 ~x1943+1 ~x1903+1 ~x1863+1 ~x1823-0=107 3.99/4.09 c 32 ~x151815+16 ~x151814+8 ~x151813+4 ~x151812+2 ~x151811+1 ~x151810+1 ~x3584+1 ~x3544+1 ~x3504+1 ~x3464+1 ~x3424+1 ~x3384+1 ~x3344+1 ~x3304+1 ~x3264+1 ~x3224+1 ~x3184+1 ~x3144+1 ~x3104+1 ~x3064+1 ~x3024+1 ~x2984+1 ~x2944+1 ~x2904+1 ~x2864+1 ~x2824+1 ~x2784+1 ~x2744+1 ~x2704+1 ~x2664+1 ~x2624+1 ~x2584+1 ~x2544+1 ~x2504+1 ~x2464+1 ~x2424+1 ~x2384+1 ~x2344+1 ~x2304+1 ~x2264+1 ~x2224+1 ~x2184+1 ~x2144+1 ~x2104+1 ~x2064+1 ~x2024+1 ~x1984+1 ~x1944+1 ~x1904+1 ~x1864+1 ~x1824-0=107 4.09/4.15 c 32 ~x154204+16 ~x154203+8 ~x154202+4 ~x154201+2 ~x154200+1 ~x154199+1 ~x3585+1 ~x3545+1 ~x3505+1 ~x3465+1 ~x3425+1 ~x3385+1 ~x3345+1 ~x3305+1 ~x3265+1 ~x3225+1 ~x3185+1 ~x3145+1 ~x3105+1 ~x3065+1 ~x3025+1 ~x2985+1 ~x2945+1 ~x2905+1 ~x2865+1 ~x2825+1 ~x2785+1 ~x2745+1 ~x2705+1 ~x2665+1 ~x2625+1 ~x2585+1 ~x2545+1 ~x2505+1 ~x2465+1 ~x2425+1 ~x2385+1 ~x2345+1 ~x2305+1 ~x2265+1 ~x2225+1 ~x2185+1 ~x2145+1 ~x2105+1 ~x2065+1 ~x2025+1 ~x1985+1 ~x1945+1 ~x1905+1 ~x1865+1 ~x1825-0=107 4.18/4.20 c 32 ~x156593+16 ~x156592+8 ~x156591+4 ~x156590+2 ~x156589+1 ~x156588+1 ~x3586+1 ~x3546+1 ~x3506+1 ~x3466+1 ~x3426+1 ~x3386+1 ~x3346+1 ~x3306+1 ~x3266+1 ~x3226+1 ~x3186+1 ~x3146+1 ~x3106+1 ~x3066+1 ~x3026+1 ~x2986+1 ~x2946+1 ~x2906+1 ~x2866+1 ~x2826+1 ~x2786+1 ~x2746+1 ~x2706+1 ~x2666+1 ~x2626+1 ~x2586+1 ~x2546+1 ~x2506+1 ~x2466+1 ~x2426+1 ~x2386+1 ~x2346+1 ~x2306+1 ~x2266+1 ~x2226+1 ~x2186+1 ~x2146+1 ~x2106+1 ~x2066+1 ~x2026+1 ~x1986+1 ~x1946+1 ~x1906+1 ~x1866+1 ~x1826-0=107 4.18/4.26 c 32 ~x158982+16 ~x158981+8 ~x158980+4 ~x158979+2 ~x158978+1 ~x158977+1 ~x3587+1 ~x3547+1 ~x3507+1 ~x3467+1 ~x3427+1 ~x3387+1 ~x3347+1 ~x3307+1 ~x3267+1 ~x3227+1 ~x3187+1 ~x3147+1 ~x3107+1 ~x3067+1 ~x3027+1 ~x2987+1 ~x2947+1 ~x2907+1 ~x2867+1 ~x2827+1 ~x2787+1 ~x2747+1 ~x2707+1 ~x2667+1 ~x2627+1 ~x2587+1 ~x2547+1 ~x2507+1 ~x2467+1 ~x2427+1 ~x2387+1 ~x2347+1 ~x2307+1 ~x2267+1 ~x2227+1 ~x2187+1 ~x2147+1 ~x2107+1 ~x2067+1 ~x2027+1 ~x1987+1 ~x1947+1 ~x1907+1 ~x1867+1 ~x1827-0=107 4.29/4.32 c 32 ~x161371+16 ~x161370+8 ~x161369+4 ~x161368+2 ~x161367+1 ~x161366+1 ~x3588+1 ~x3548+1 ~x3508+1 ~x3468+1 ~x3428+1 ~x3388+1 ~x3348+1 ~x3308+1 ~x3268+1 ~x3228+1 ~x3188+1 ~x3148+1 ~x3108+1 ~x3068+1 ~x3028+1 ~x2988+1 ~x2948+1 ~x2908+1 ~x2868+1 ~x2828+1 ~x2788+1 ~x2748+1 ~x2708+1 ~x2668+1 ~x2628+1 ~x2588+1 ~x2548+1 ~x2508+1 ~x2468+1 ~x2428+1 ~x2388+1 ~x2348+1 ~x2308+1 ~x2268+1 ~x2228+1 ~x2188+1 ~x2148+1 ~x2108+1 ~x2068+1 ~x2028+1 ~x1988+1 ~x1948+1 ~x1908+1 ~x1868+1 ~x1828-0=107 4.29/4.38 c 32 ~x163760+16 ~x163759+8 ~x163758+4 ~x163757+2 ~x163756+1 ~x163755+1 ~x3589+1 ~x3549+1 ~x3509+1 ~x3469+1 ~x3429+1 ~x3389+1 ~x3349+1 ~x3309+1 ~x3269+1 ~x3229+1 ~x3189+1 ~x3149+1 ~x3109+1 ~x3069+1 ~x3029+1 ~x2989+1 ~x2949+1 ~x2909+1 ~x2869+1 ~x2829+1 ~x2789+1 ~x2749+1 ~x2709+1 ~x2669+1 ~x2629+1 ~x2589+1 ~x2549+1 ~x2509+1 ~x2469+1 ~x2429+1 ~x2389+1 ~x2349+1 ~x2309+1 ~x2269+1 ~x2229+1 ~x2189+1 ~x2149+1 ~x2109+1 ~x2069+1 ~x2029+1 ~x1989+1 ~x1949+1 ~x1909+1 ~x1869+1 ~x1829-0=107 4.39/4.44 c 32 ~x166149+16 ~x166148+8 ~x166147+4 ~x166146+2 ~x166145+1 ~x166144+1 ~x3590+1 ~x3550+1 ~x3510+1 ~x3470+1 ~x3430+1 ~x3390+1 ~x3350+1 ~x3310+1 ~x3270+1 ~x3230+1 ~x3190+1 ~x3150+1 ~x3110+1 ~x3070+1 ~x3030+1 ~x2990+1 ~x2950+1 ~x2910+1 ~x2870+1 ~x2830+1 ~x2790+1 ~x2750+1 ~x2710+1 ~x2670+1 ~x2630+1 ~x2590+1 ~x2550+1 ~x2510+1 ~x2470+1 ~x2430+1 ~x2390+1 ~x2350+1 ~x2310+1 ~x2270+1 ~x2230+1 ~x2190+1 ~x2150+1 ~x2110+1 ~x2070+1 ~x2030+1 ~x1990+1 ~x1950+1 ~x1910+1 ~x1870+1 ~x1830-0=107 4.39/4.49 c 32 ~x168538+16 ~x168537+8 ~x168536+4 ~x168535+2 ~x168534+1 ~x168533+1 ~x3591+1 ~x3551+1 ~x3511+1 ~x3471+1 ~x3431+1 ~x3391+1 ~x3351+1 ~x3311+1 ~x3271+1 ~x3231+1 ~x3191+1 ~x3151+1 ~x3111+1 ~x3071+1 ~x3031+1 ~x2991+1 ~x2951+1 ~x2911+1 ~x2871+1 ~x2831+1 ~x2791+1 ~x2751+1 ~x2711+1 ~x2671+1 ~x2631+1 ~x2591+1 ~x2551+1 ~x2511+1 ~x2471+1 ~x2431+1 ~x2391+1 ~x2351+1 ~x2311+1 ~x2271+1 ~x2231+1 ~x2191+1 ~x2151+1 ~x2111+1 ~x2071+1 ~x2031+1 ~x1991+1 ~x1951+1 ~x1911+1 ~x1871+1 ~x1831-0=107 4.49/4.56 c 32 ~x170927+16 ~x170926+8 ~x170925+4 ~x170924+2 ~x170923+1 ~x170922+1 ~x3592+1 ~x3552+1 ~x3512+1 ~x3472+1 ~x3432+1 ~x3392+1 ~x3352+1 ~x3312+1 ~x3272+1 ~x3232+1 ~x3192+1 ~x3152+1 ~x3112+1 ~x3072+1 ~x3032+1 ~x2992+1 ~x2952+1 ~x2912+1 ~x2872+1 ~x2832+1 ~x2792+1 ~x2752+1 ~x2712+1 ~x2672+1 ~x2632+1 ~x2592+1 ~x2552+1 ~x2512+1 ~x2472+1 ~x2432+1 ~x2392+1 ~x2352+1 ~x2312+1 ~x2272+1 ~x2232+1 ~x2192+1 ~x2152+1 ~x2112+1 ~x2072+1 ~x2032+1 ~x1992+1 ~x1952+1 ~x1912+1 ~x1872+1 ~x1832-0=107 4.58/4.61 c 32 ~x173316+16 ~x173315+8 ~x173314+4 ~x173313+2 ~x173312+1 ~x173311+1 ~x3593+1 ~x3553+1 ~x3513+1 ~x3473+1 ~x3433+1 ~x3393+1 ~x3353+1 ~x3313+1 ~x3273+1 ~x3233+1 ~x3193+1 ~x3153+1 ~x3113+1 ~x3073+1 ~x3033+1 ~x2993+1 ~x2953+1 ~x2913+1 ~x2873+1 ~x2833+1 ~x2793+1 ~x2753+1 ~x2713+1 ~x2673+1 ~x2633+1 ~x2593+1 ~x2553+1 ~x2513+1 ~x2473+1 ~x2433+1 ~x2393+1 ~x2353+1 ~x2313+1 ~x2273+1 ~x2233+1 ~x2193+1 ~x2153+1 ~x2113+1 ~x2073+1 ~x2033+1 ~x1993+1 ~x1953+1 ~x1913+1 ~x1873+1 ~x1833-0=107 4.58/4.67 c 32 ~x175705+16 ~x175704+8 ~x175703+4 ~x175702+2 ~x175701+1 ~x175700+1 ~x3594+1 ~x3554+1 ~x3514+1 ~x3474+1 ~x3434+1 ~x3394+1 ~x3354+1 ~x3314+1 ~x3274+1 ~x3234+1 ~x3194+1 ~x3154+1 ~x3114+1 ~x3074+1 ~x3034+1 ~x2994+1 ~x2954+1 ~x2914+1 ~x2874+1 ~x2834+1 ~x2794+1 ~x2754+1 ~x2714+1 ~x2674+1 ~x2634+1 ~x2594+1 ~x2554+1 ~x2514+1 ~x2474+1 ~x2434+1 ~x2394+1 ~x2354+1 ~x2314+1 ~x2274+1 ~x2234+1 ~x2194+1 ~x2154+1 ~x2114+1 ~x2074+1 ~x2034+1 ~x1994+1 ~x1954+1 ~x1914+1 ~x1874+1 ~x1834-0=107 4.68/4.73 c 32 ~x178094+16 ~x178093+8 ~x178092+4 ~x178091+2 ~x178090+1 ~x178089+1 ~x3595+1 ~x3555+1 ~x3515+1 ~x3475+1 ~x3435+1 ~x3395+1 ~x3355+1 ~x3315+1 ~x3275+1 ~x3235+1 ~x3195+1 ~x3155+1 ~x3115+1 ~x3075+1 ~x3035+1 ~x2995+1 ~x2955+1 ~x2915+1 ~x2875+1 ~x2835+1 ~x2795+1 ~x2755+1 ~x2715+1 ~x2675+1 ~x2635+1 ~x2595+1 ~x2555+1 ~x2515+1 ~x2475+1 ~x2435+1 ~x2395+1 ~x2355+1 ~x2315+1 ~x2275+1 ~x2235+1 ~x2195+1 ~x2155+1 ~x2115+1 ~x2075+1 ~x2035+1 ~x1995+1 ~x1955+1 ~x1915+1 ~x1875+1 ~x1835-0=107 4.68/4.79 c 32 ~x180483+16 ~x180482+8 ~x180481+4 ~x180480+2 ~x180479+1 ~x180478+1 ~x3596+1 ~x3556+1 ~x3516+1 ~x3476+1 ~x3436+1 ~x3396+1 ~x3356+1 ~x3316+1 ~x3276+1 ~x3236+1 ~x3196+1 ~x3156+1 ~x3116+1 ~x3076+1 ~x3036+1 ~x2996+1 ~x2956+1 ~x2916+1 ~x2876+1 ~x2836+1 ~x2796+1 ~x2756+1 ~x2716+1 ~x2676+1 ~x2636+1 ~x2596+1 ~x2556+1 ~x2516+1 ~x2476+1 ~x2436+1 ~x2396+1 ~x2356+1 ~x2316+1 ~x2276+1 ~x2236+1 ~x2196+1 ~x2156+1 ~x2116+1 ~x2076+1 ~x2036+1 ~x1996+1 ~x1956+1 ~x1916+1 ~x1876+1 ~x1836-0=107 4.78/4.84 c 32 ~x182872+16 ~x182871+8 ~x182870+4 ~x182869+2 ~x182868+1 ~x182867+1 ~x3597+1 ~x3557+1 ~x3517+1 ~x3477+1 ~x3437+1 ~x3397+1 ~x3357+1 ~x3317+1 ~x3277+1 ~x3237+1 ~x3197+1 ~x3157+1 ~x3117+1 ~x3077+1 ~x3037+1 ~x2997+1 ~x2957+1 ~x2917+1 ~x2877+1 ~x2837+1 ~x2797+1 ~x2757+1 ~x2717+1 ~x2677+1 ~x2637+1 ~x2597+1 ~x2557+1 ~x2517+1 ~x2477+1 ~x2437+1 ~x2397+1 ~x2357+1 ~x2317+1 ~x2277+1 ~x2237+1 ~x2197+1 ~x2157+1 ~x2117+1 ~x2077+1 ~x2037+1 ~x1997+1 ~x1957+1 ~x1917+1 ~x1877+1 ~x1837-0=107 4.89/4.90 c 32 ~x185261+16 ~x185260+8 ~x185259+4 ~x185258+2 ~x185257+1 ~x185256+1 ~x3598+1 ~x3558+1 ~x3518+1 ~x3478+1 ~x3438+1 ~x3398+1 ~x3358+1 ~x3318+1 ~x3278+1 ~x3238+1 ~x3198+1 ~x3158+1 ~x3118+1 ~x3078+1 ~x3038+1 ~x2998+1 ~x2958+1 ~x2918+1 ~x2878+1 ~x2838+1 ~x2798+1 ~x2758+1 ~x2718+1 ~x2678+1 ~x2638+1 ~x2598+1 ~x2558+1 ~x2518+1 ~x2478+1 ~x2438+1 ~x2398+1 ~x2358+1 ~x2318+1 ~x2278+1 ~x2238+1 ~x2198+1 ~x2158+1 ~x2118+1 ~x2078+1 ~x2038+1 ~x1998+1 ~x1958+1 ~x1918+1 ~x1878+1 ~x1838-0=107 4.89/4.96 c 32 ~x187650+16 ~x187649+8 ~x187648+4 ~x187647+2 ~x187646+1 ~x187645+1 ~x3599+1 ~x3559+1 ~x3519+1 ~x3479+1 ~x3439+1 ~x3399+1 ~x3359+1 ~x3319+1 ~x3279+1 ~x3239+1 ~x3199+1 ~x3159+1 ~x3119+1 ~x3079+1 ~x3039+1 ~x2999+1 ~x2959+1 ~x2919+1 ~x2879+1 ~x2839+1 ~x2799+1 ~x2759+1 ~x2719+1 ~x2679+1 ~x2639+1 ~x2599+1 ~x2559+1 ~x2519+1 ~x2479+1 ~x2439+1 ~x2399+1 ~x2359+1 ~x2319+1 ~x2279+1 ~x2239+1 ~x2199+1 ~x2159+1 ~x2119+1 ~x2079+1 ~x2039+1 ~x1999+1 ~x1959+1 ~x1919+1 ~x1879+1 ~x1839-0=107 4.98/5.02 c 32 ~x190039+16 ~x190038+8 ~x190037+4 ~x190036+2 ~x190035+1 ~x190034+1 ~x3600+1 ~x3560+1 ~x3520+1 ~x3480+1 ~x3440+1 ~x3400+1 ~x3360+1 ~x3320+1 ~x3280+1 ~x3240+1 ~x3200+1 ~x3160+1 ~x3120+1 ~x3080+1 ~x3040+1 ~x3000+1 ~x2960+1 ~x2920+1 ~x2880+1 ~x2840+1 ~x2800+1 ~x2760+1 ~x2720+1 ~x2680+1 ~x2640+1 ~x2600+1 ~x2560+1 ~x2520+1 ~x2480+1 ~x2440+1 ~x2400+1 ~x2360+1 ~x2320+1 ~x2280+1 ~x2240+1 ~x2200+1 ~x2160+1 ~x2120+1 ~x2080+1 ~x2040+1 ~x2000+1 ~x1960+1 ~x1920+1 ~x1880+1 ~x1840-0=107 4.98/5.08 c 32 ~x192428+16 ~x192427+8 ~x192426+4 ~x192425+2 ~x192424+1 ~x192423+1 ~x3601+1 ~x3561+1 ~x3521+1 ~x3481+1 ~x3441+1 ~x3401+1 ~x3361+1 ~x3321+1 ~x3281+1 ~x3241+1 ~x3201+1 ~x3161+1 ~x3121+1 ~x3081+1 ~x3041+1 ~x3001+1 ~x2961+1 ~x2921+1 ~x2881+1 ~x2841+1 ~x2801+1 ~x2761+1 ~x2721+1 ~x2681+1 ~x2641+1 ~x2601+1 ~x2561+1 ~x2521+1 ~x2481+1 ~x2441+1 ~x2401+1 ~x2361+1 ~x2321+1 ~x2281+1 ~x2241+1 ~x2201+1 ~x2161+1 ~x2121+1 ~x2081+1 ~x2041+1 ~x2001+1 ~x1961+1 ~x1921+1 ~x1881+
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674480-1276790923/watcher-2674480-1276790923 -o /tmp/evaluation-result-2674480-1276790923/solver-2674480-1276790923 -C 1800 -W 2000 -M 1800 run HOME/instance-2674480-1276790923.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: 1.00 1.02 1.00 3/106 22174 /proc/meminfo: memFree=1634204/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [startup+0.0269549 s] /proc/loadavg: 1.00 1.02 1.00 3/106 22174 /proc/meminfo: memFree=1634204/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100962 s] /proc/loadavg: 1.00 1.02 1.00 3/106 22174 /proc/meminfo: memFree=1634204/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300979 s] /proc/loadavg: 1.00 1.02 1.00 3/106 22174 /proc/meminfo: memFree=1634204/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701014 s] /proc/loadavg: 1.00 1.02 1.00 3/106 22174 /proc/meminfo: memFree=1634204/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50108 s] /proc/loadavg: 1.00 1.02 1.00 2/108 22177 /proc/meminfo: memFree=1546892/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=98044 CPUtime=1.48 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 25023 0 0 0 123 25 0 0 25 0 1 0 20384922 100397056 23841 1992294400 134512640 134902295 4287344528 18446744073709551615 134635348 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 24511 23841 262 96 0 23723 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 106744 [startup+3.10122 s] /proc/loadavg: 1.00 1.02 1.00 2/108 22177 /proc/meminfo: memFree=1529904/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=127436 CPUtime=3.08 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 32639 0 0 0 280 28 0 0 25 0 1 0 20384922 130494464 30670 1992294400 134512640 134902295 4287344528 18446744073709551615 13030908 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 31859 30670 262 96 0 31071 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 136136 [startup+6.3005 s] /proc/loadavg: 1.00 1.02 1.00 2/108 22177 /proc/meminfo: memFree=1476460/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=162224 CPUtime=6.28 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 41791 0 0 0 596 32 0 0 25 0 1 0 20384922 166117376 39534 1992294400 134512640 134902295 4287344528 18446744073709551615 4160277692 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 40556 39534 269 96 0 39768 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 170924 [startup+12.7011 s] /proc/loadavg: 1.00 1.02 1.00 2/108 22177 /proc/meminfo: memFree=1473732/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=164732 CPUtime=12.68 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 42421 0 0 0 1236 32 0 0 25 0 1 0 20384922 168685568 40164 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 41183 40164 269 96 0 40395 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 173432 [startup+25.5012 s] /proc/loadavg: 1.00 1.02 1.00 2/108 22177 /proc/meminfo: memFree=1470756/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=167640 CPUtime=25.48 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 43130 0 0 0 2515 33 0 0 25 0 1 0 20384922 171663360 40873 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 41910 40873 269 96 0 41122 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 176340 [startup+51.1014 s] /proc/loadavg: 1.00 1.01 1.00 2/108 22179 /proc/meminfo: memFree=1466292/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=171980 CPUtime=51.07 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 44233 0 0 0 5074 33 0 0 25 0 1 0 20384922 176107520 41976 1992294400 134512640 134902295 4287344528 18446744073709551615 4160291829 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 42995 41976 269 96 0 42207 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 180680 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/108 22179 /proc/meminfo: memFree=1460216/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=177820 CPUtime=102.27 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 45673 0 0 0 10192 35 0 0 25 0 1 0 20384922 182087680 43416 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 44455 43416 269 96 0 43667 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 186520 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22181 /proc/meminfo: memFree=1450172/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=188116 CPUtime=162.25 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 48191 0 0 0 16188 37 0 0 25 0 1 0 20384922 192630784 45934 1992294400 134512640 134902295 4287344528 18446744073709551615 4160289077 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 47029 45934 269 96 0 46241 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 196816 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22183 /proc/meminfo: memFree=1439756/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=198384 CPUtime=222.23 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 50768 0 0 0 22183 40 0 0 25 0 1 0 20384922 203145216 48511 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 49596 48511 269 96 0 48808 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 207084 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22185 /proc/meminfo: memFree=1434300/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=203816 CPUtime=282.22 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 52161 0 0 0 28181 41 0 0 25 0 1 0 20384922 208707584 49904 1992294400 134512640 134902295 4287344528 18446744073709551615 4160291784 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 50954 49904 269 96 0 50166 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 212516 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22187 /proc/meminfo: memFree=1429588/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=208728 CPUtime=342.21 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 53298 0 0 0 34178 43 0 0 25 0 1 0 20384922 213737472 51041 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 52182 51041 269 96 0 51394 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 217428 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22187 /proc/meminfo: memFree=1425868/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=212504 CPUtime=402.19 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 54234 0 0 0 40176 43 0 0 25 0 1 0 20384922 217604096 51977 1992294400 134512640 134902295 4287344528 18446744073709551615 4160258733 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 53126 51977 269 96 0 52338 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 221204 [startup+462.301 s] ################ # More data... # ################ /proc/22176/statm: 60815 59553 269 96 0 60027 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 251960 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22211 /proc/meminfo: memFree=1394000/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=244212 CPUtime=1241.99 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 62030 0 0 0 124149 50 0 0 25 0 1 0 20384922 250073088 59773 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 61053 59773 269 96 0 60265 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 252912 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/108 22211 /proc/meminfo: memFree=1393256/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=244912 CPUtime=1301.98 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 62180 0 0 0 130148 50 0 0 25 0 1 0 20384922 250789888 59923 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 61228 59923 269 96 0 60440 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 253612 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 22213 /proc/meminfo: memFree=1392264/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=245868 CPUtime=1361.96 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 62414 0 0 0 136145 51 0 0 25 0 1 0 20384922 251768832 60157 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 61467 60157 269 96 0 60679 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 254568 [startup+1422.31 s] /proc/loadavg: 1.07 1.02 1.00 2/108 22218 /proc/meminfo: memFree=1384700/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=252732 CPUtime=1421.95 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 64170 0 0 0 142143 52 0 0 25 0 1 0 20384922 258797568 61913 1992294400 134512640 134902295 4287344528 18446744073709551615 4160271089 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 63183 61913 269 96 0 62395 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 261432 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 22220 /proc/meminfo: memFree=1374036/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=264248 CPUtime=1481.94 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 66855 0 0 0 148139 55 0 0 25 0 1 0 20384922 270589952 64598 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 66062 64598 269 96 0 65274 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 272948 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/108 22222 /proc/meminfo: memFree=1367836/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=270472 CPUtime=1541.92 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 68411 0 0 0 154136 56 0 0 25 0 1 0 20384922 276963328 66154 1992294400 134512640 134902295 4287344528 18446744073709551615 4160292862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 67618 66154 269 96 0 66830 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 279172 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22222 /proc/meminfo: memFree=1361636/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=276628 CPUtime=1601.9 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 69961 0 0 0 160133 57 0 0 25 0 1 0 20384922 283267072 67704 1992294400 134512640 134902295 4287344528 18446744073709551615 4160258821 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 69157 67704 269 96 0 68369 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 285328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22224 /proc/meminfo: memFree=1359776/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=278540 CPUtime=1661.89 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 70436 0 0 0 166131 58 0 0 25 0 1 0 20384922 285224960 68179 1992294400 134512640 134902295 4287344528 18446744073709551615 4160291834 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 69635 68179 269 96 0 68847 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 287240 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22226 /proc/meminfo: memFree=1358040/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=280336 CPUtime=1721.87 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 70885 0 0 0 172129 58 0 0 25 0 1 0 20384922 287064064 68628 1992294400 134512640 134902295 4287344528 18446744073709551615 4160277604 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 70084 68628 269 96 0 69296 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 289036 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22228 /proc/meminfo: memFree=1353204/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=285188 CPUtime=1781.86 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 72090 0 0 0 178126 60 0 0 25 0 1 0 20384922 292032512 69833 1992294400 134512640 134902295 4287344528 18446744073709551615 4160258713 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 71297 69833 269 96 0 70509 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 293888 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22228 /proc/meminfo: memFree=1351716/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=286528 CPUtime=1800.06 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 72448 0 0 0 179946 60 0 0 25 0 1 0 20384922 293404672 70191 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 71632 70191 269 96 0 70844 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 295228 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.00 1.00 2/108 22228 /proc/meminfo: memFree=1351716/2059040 swapFree=4192888/4192956 [pid=22174] ppid=22172 vsize=8700 CPUtime=0 /proc/22174/stat : 22174 (run) S 22172 22174 21813 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 20384921 8908800 250 1992294400 4194304 4922060 140735009524304 18446744073709551615 247894482053 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/22174/statm: 2175 250 211 178 0 68 0 [pid=22176] ppid=22174 vsize=286528 CPUtime=1800.06 /proc/22176/stat : 22176 (PBPASSolver) R 22174 22174 21813 0 -1 4202496 72448 0 0 0 179946 60 0 0 25 0 1 0 20384922 293404672 70191 1992294400 134512640 134902295 4287344528 18446744073709551615 4160288894 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/22176/statm: 71632 70191 269 96 0 70844 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 295228 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 22174 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.06 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.46 CPU system time (s): 0.6 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 295228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 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 3.22651 second user time and 8.26074 second system time The end
Begin job on node041 at 2010-06-17 18:08:43 IDJOB=2674480 IDBENCH=1410 IDSOLVER=1174 FILE ID=node041/2674480-1276790923 PBS_JOBID= 11176576 Free space on /tmp= 62028 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674480-1276790923/watcher-2674480-1276790923 -o /tmp/evaluation-result-2674480-1276790923/solver-2674480-1276790923 -C 1800 -W 2000 -M 1800 run HOME/instance-2674480-1276790923.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b95bbeb851a52866877e397310a0a770 RANDOM SEED=821871177 node041.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1634724 kB Buffers: 99820 kB Cached: 186792 kB SwapCached: 64 kB Active: 153252 kB Inactive: 192860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1634724 kB SwapTotal: 4192956 kB SwapFree: 4192888 kB Dirty: 780 kB Writeback: 0 kB AnonPages: 59424 kB Mapped: 15328 kB Slab: 56452 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181560 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62028 MiB End job on node041 at 2010-06-17 18:38:45