Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.03 | 1800.51 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb |
MD5SUM | 582e49d5d5904d827aa5677e7d2575f7 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.05699 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 2903 |
Total number of constraints | 2066 |
Number of constraints which are clauses | 1978 |
Number of constraints which are cardinality constraints (but not clauses) | 88 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 22 |
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 |
4.48/4.53 c 2903 2066 0 0 0 0 0 0 4.48/4.53 c 32 ~x4888+16 ~x4887+8 ~x4886+4 ~x4885+2 ~x4884+1 ~x4883+1 ~x1892+1 ~x1847+1 ~x1802+1 ~x1757+1 ~x1712+1 ~x1667+1 ~x1622+1 ~x1577+1 ~x1532+1 ~x1487+1 ~x1442+1 ~x1397+1 ~x1352+1 ~x1307+1 ~x1262+1 ~x1217+1 ~x1172+1 ~x1127+1 ~x1082+1 ~x1037+1 ~x992+1 ~x947+1 ~x902+1 ~x857+1 ~x812+1 ~x767+1 ~x722+1 ~x677+1 ~x632+1 ~x587+1 ~x542+1 ~x497+1 ~x452+1 ~x407+1 ~x362+1 ~x317+1 ~x272+1 ~x227+1 ~x182+1 ~x137+1 ~x92+1 ~x47+1 ~x2-0=105 4.58/4.61 c 32 ~x7175+16 ~x7174+8 ~x7173+4 ~x7172+2 ~x7171+1 ~x7170+1 ~x1893+1 ~x1848+1 ~x1803+1 ~x1758+1 ~x1713+1 ~x1668+1 ~x1623+1 ~x1578+1 ~x1533+1 ~x1488+1 ~x1443+1 ~x1398+1 ~x1353+1 ~x1308+1 ~x1263+1 ~x1218+1 ~x1173+1 ~x1128+1 ~x1083+1 ~x1038+1 ~x993+1 ~x948+1 ~x903+1 ~x858+1 ~x813+1 ~x768+1 ~x723+1 ~x678+1 ~x633+1 ~x588+1 ~x543+1 ~x498+1 ~x453+1 ~x408+1 ~x363+1 ~x318+1 ~x273+1 ~x228+1 ~x183+1 ~x138+1 ~x93+1 ~x48+1 ~x3-0=105 4.58/4.67 c 32 ~x9462+16 ~x9461+8 ~x9460+4 ~x9459+2 ~x9458+1 ~x9457+1 ~x1894+1 ~x1849+1 ~x1804+1 ~x1759+1 ~x1714+1 ~x1669+1 ~x1624+1 ~x1579+1 ~x1534+1 ~x1489+1 ~x1444+1 ~x1399+1 ~x1354+1 ~x1309+1 ~x1264+1 ~x1219+1 ~x1174+1 ~x1129+1 ~x1084+1 ~x1039+1 ~x994+1 ~x949+1 ~x904+1 ~x859+1 ~x814+1 ~x769+1 ~x724+1 ~x679+1 ~x634+1 ~x589+1 ~x544+1 ~x499+1 ~x454+1 ~x409+1 ~x364+1 ~x319+1 ~x274+1 ~x229+1 ~x184+1 ~x139+1 ~x94+1 ~x49+1 ~x4-0=105 4.69/4.72 c 32 ~x11749+16 ~x11748+8 ~x11747+4 ~x11746+2 ~x11745+1 ~x11744+1 ~x1895+1 ~x1850+1 ~x1805+1 ~x1760+1 ~x1715+1 ~x1670+1 ~x1625+1 ~x1580+1 ~x1535+1 ~x1490+1 ~x1445+1 ~x1400+1 ~x1355+1 ~x1310+1 ~x1265+1 ~x1220+1 ~x1175+1 ~x1130+1 ~x1085+1 ~x1040+1 ~x995+1 ~x950+1 ~x905+1 ~x860+1 ~x815+1 ~x770+1 ~x725+1 ~x680+1 ~x635+1 ~x590+1 ~x545+1 ~x500+1 ~x455+1 ~x410+1 ~x365+1 ~x320+1 ~x275+1 ~x230+1 ~x185+1 ~x140+1 ~x95+1 ~x50+1 ~x5-0=105 4.69/4.78 c 32 ~x14036+16 ~x14035+8 ~x14034+4 ~x14033+2 ~x14032+1 ~x14031+1 ~x1896+1 ~x1851+1 ~x1806+1 ~x1761+1 ~x1716+1 ~x1671+1 ~x1626+1 ~x1581+1 ~x1536+1 ~x1491+1 ~x1446+1 ~x1401+1 ~x1356+1 ~x1311+1 ~x1266+1 ~x1221+1 ~x1176+1 ~x1131+1 ~x1086+1 ~x1041+1 ~x996+1 ~x951+1 ~x906+1 ~x861+1 ~x816+1 ~x771+1 ~x726+1 ~x681+1 ~x636+1 ~x591+1 ~x546+1 ~x501+1 ~x456+1 ~x411+1 ~x366+1 ~x321+1 ~x276+1 ~x231+1 ~x186+1 ~x141+1 ~x96+1 ~x51+1 ~x6-0=105 4.79/4.84 c 32 ~x16323+16 ~x16322+8 ~x16321+4 ~x16320+2 ~x16319+1 ~x16318+1 ~x1897+1 ~x1852+1 ~x1807+1 ~x1762+1 ~x1717+1 ~x1672+1 ~x1627+1 ~x1582+1 ~x1537+1 ~x1492+1 ~x1447+1 ~x1402+1 ~x1357+1 ~x1312+1 ~x1267+1 ~x1222+1 ~x1177+1 ~x1132+1 ~x1087+1 ~x1042+1 ~x997+1 ~x952+1 ~x907+1 ~x862+1 ~x817+1 ~x772+1 ~x727+1 ~x682+1 ~x637+1 ~x592+1 ~x547+1 ~x502+1 ~x457+1 ~x412+1 ~x367+1 ~x322+1 ~x277+1 ~x232+1 ~x187+1 ~x142+1 ~x97+1 ~x52+1 ~x7-0=105 4.89/4.90 c 32 ~x18610+16 ~x18609+8 ~x18608+4 ~x18607+2 ~x18606+1 ~x18605+1 ~x1898+1 ~x1853+1 ~x1808+1 ~x1763+1 ~x1718+1 ~x1673+1 ~x1628+1 ~x1583+1 ~x1538+1 ~x1493+1 ~x1448+1 ~x1403+1 ~x1358+1 ~x1313+1 ~x1268+1 ~x1223+1 ~x1178+1 ~x1133+1 ~x1088+1 ~x1043+1 ~x998+1 ~x953+1 ~x908+1 ~x863+1 ~x818+1 ~x773+1 ~x728+1 ~x683+1 ~x638+1 ~x593+1 ~x548+1 ~x503+1 ~x458+1 ~x413+1 ~x368+1 ~x323+1 ~x278+1 ~x233+1 ~x188+1 ~x143+1 ~x98+1 ~x53+1 ~x8-0=105 4.89/4.96 c 32 ~x20897+16 ~x20896+8 ~x20895+4 ~x20894+2 ~x20893+1 ~x20892+1 ~x1899+1 ~x1854+1 ~x1809+1 ~x1764+1 ~x1719+1 ~x1674+1 ~x1629+1 ~x1584+1 ~x1539+1 ~x1494+1 ~x1449+1 ~x1404+1 ~x1359+1 ~x1314+1 ~x1269+1 ~x1224+1 ~x1179+1 ~x1134+1 ~x1089+1 ~x1044+1 ~x999+1 ~x954+1 ~x909+1 ~x864+1 ~x819+1 ~x774+1 ~x729+1 ~x684+1 ~x639+1 ~x594+1 ~x549+1 ~x504+1 ~x459+1 ~x414+1 ~x369+1 ~x324+1 ~x279+1 ~x234+1 ~x189+1 ~x144+1 ~x99+1 ~x54+1 ~x9-0=105 4.99/5.02 c 32 ~x23184+16 ~x23183+8 ~x23182+4 ~x23181+2 ~x23180+1 ~x23179+1 ~x1900+1 ~x1855+1 ~x1810+1 ~x1765+1 ~x1720+1 ~x1675+1 ~x1630+1 ~x1585+1 ~x1540+1 ~x1495+1 ~x1450+1 ~x1405+1 ~x1360+1 ~x1315+1 ~x1270+1 ~x1225+1 ~x1180+1 ~x1135+1 ~x1090+1 ~x1045+1 ~x1000+1 ~x955+1 ~x910+1 ~x865+1 ~x820+1 ~x775+1 ~x730+1 ~x685+1 ~x640+1 ~x595+1 ~x550+1 ~x505+1 ~x460+1 ~x415+1 ~x370+1 ~x325+1 ~x280+1 ~x235+1 ~x190+1 ~x145+1 ~x100+1 ~x55+1 ~x10-0=105 4.99/5.09 c 32 ~x25471+16 ~x25470+8 ~x25469+4 ~x25468+2 ~x25467+1 ~x25466+1 ~x1901+1 ~x1856+1 ~x1811+1 ~x1766+1 ~x1721+1 ~x1676+1 ~x1631+1 ~x1586+1 ~x1541+1 ~x1496+1 ~x1451+1 ~x1406+1 ~x1361+1 ~x1316+1 ~x1271+1 ~x1226+1 ~x1181+1 ~x1136+1 ~x1091+1 ~x1046+1 ~x1001+1 ~x956+1 ~x911+1 ~x866+1 ~x821+1 ~x776+1 ~x731+1 ~x686+1 ~x641+1 ~x596+1 ~x551+1 ~x506+1 ~x461+1 ~x416+1 ~x371+1 ~x326+1 ~x281+1 ~x236+1 ~x191+1 ~x146+1 ~x101+1 ~x56+1 ~x11-0=105 5.08/5.14 c 32 ~x27758+16 ~x27757+8 ~x27756+4 ~x27755+2 ~x27754+1 ~x27753+1 ~x1902+1 ~x1857+1 ~x1812+1 ~x1767+1 ~x1722+1 ~x1677+1 ~x1632+1 ~x1587+1 ~x1542+1 ~x1497+1 ~x1452+1 ~x1407+1 ~x1362+1 ~x1317+1 ~x1272+1 ~x1227+1 ~x1182+1 ~x1137+1 ~x1092+1 ~x1047+1 ~x1002+1 ~x957+1 ~x912+1 ~x867+1 ~x822+1 ~x777+1 ~x732+1 ~x687+1 ~x642+1 ~x597+1 ~x552+1 ~x507+1 ~x462+1 ~x417+1 ~x372+1 ~x327+1 ~x282+1 ~x237+1 ~x192+1 ~x147+1 ~x102+1 ~x57+1 ~x12-0=105 5.18/5.20 c 32 ~x30045+16 ~x30044+8 ~x30043+4 ~x30042+2 ~x30041+1 ~x30040+1 ~x1903+1 ~x1858+1 ~x1813+1 ~x1768+1 ~x1723+1 ~x1678+1 ~x1633+1 ~x1588+1 ~x1543+1 ~x1498+1 ~x1453+1 ~x1408+1 ~x1363+1 ~x1318+1 ~x1273+1 ~x1228+1 ~x1183+1 ~x1138+1 ~x1093+1 ~x1048+1 ~x1003+1 ~x958+1 ~x913+1 ~x868+1 ~x823+1 ~x778+1 ~x733+1 ~x688+1 ~x643+1 ~x598+1 ~x553+1 ~x508+1 ~x463+1 ~x418+1 ~x373+1 ~x328+1 ~x283+1 ~x238+1 ~x193+1 ~x148+1 ~x103+1 ~x58+1 ~x13-0=105 5.18/5.26 c 32 ~x32332+16 ~x32331+8 ~x32330+4 ~x32329+2 ~x32328+1 ~x32327+1 ~x1904+1 ~x1859+1 ~x1814+1 ~x1769+1 ~x1724+1 ~x1679+1 ~x1634+1 ~x1589+1 ~x1544+1 ~x1499+1 ~x1454+1 ~x1409+1 ~x1364+1 ~x1319+1 ~x1274+1 ~x1229+1 ~x1184+1 ~x1139+1 ~x1094+1 ~x1049+1 ~x1004+1 ~x959+1 ~x914+1 ~x869+1 ~x824+1 ~x779+1 ~x734+1 ~x689+1 ~x644+1 ~x599+1 ~x554+1 ~x509+1 ~x464+1 ~x419+1 ~x374+1 ~x329+1 ~x284+1 ~x239+1 ~x194+1 ~x149+1 ~x104+1 ~x59+1 ~x14-0=105 5.40/5.43 c 32 ~x34619+16 ~x34618+8 ~x34617+4 ~x34616+2 ~x34615+1 ~x34614+1 ~x1905+1 ~x1860+1 ~x1815+1 ~x1770+1 ~x1725+1 ~x1680+1 ~x1635+1 ~x1590+1 ~x1545+1 ~x1500+1 ~x1455+1 ~x1410+1 ~x1365+1 ~x1320+1 ~x1275+1 ~x1230+1 ~x1185+1 ~x1140+1 ~x1095+1 ~x1050+1 ~x1005+1 ~x960+1 ~x915+1 ~x870+1 ~x825+1 ~x780+1 ~x735+1 ~x690+1 ~x645+1 ~x600+1 ~x555+1 ~x510+1 ~x465+1 ~x420+1 ~x375+1 ~x330+1 ~x285+1 ~x240+1 ~x195+1 ~x150+1 ~x105+1 ~x60+1 ~x15-0=105 5.40/5.48 c 32 ~x36906+16 ~x36905+8 ~x36904+4 ~x36903+2 ~x36902+1 ~x36901+1 ~x1906+1 ~x1861+1 ~x1816+1 ~x1771+1 ~x1726+1 ~x1681+1 ~x1636+1 ~x1591+1 ~x1546+1 ~x1501+1 ~x1456+1 ~x1411+1 ~x1366+1 ~x1321+1 ~x1276+1 ~x1231+1 ~x1186+1 ~x1141+1 ~x1096+1 ~x1051+1 ~x1006+1 ~x961+1 ~x916+1 ~x871+1 ~x826+1 ~x781+1 ~x736+1 ~x691+1 ~x646+1 ~x601+1 ~x556+1 ~x511+1 ~x466+1 ~x421+1 ~x376+1 ~x331+1 ~x286+1 ~x241+1 ~x196+1 ~x151+1 ~x106+1 ~x61+1 ~x16-0=105 5.49/5.54 c 32 ~x39193+16 ~x39192+8 ~x39191+4 ~x39190+2 ~x39189+1 ~x39188+1 ~x1907+1 ~x1862+1 ~x1817+1 ~x1772+1 ~x1727+1 ~x1682+1 ~x1637+1 ~x1592+1 ~x1547+1 ~x1502+1 ~x1457+1 ~x1412+1 ~x1367+1 ~x1322+1 ~x1277+1 ~x1232+1 ~x1187+1 ~x1142+1 ~x1097+1 ~x1052+1 ~x1007+1 ~x962+1 ~x917+1 ~x872+1 ~x827+1 ~x782+1 ~x737+1 ~x692+1 ~x647+1 ~x602+1 ~x557+1 ~x512+1 ~x467+1 ~x422+1 ~x377+1 ~x332+1 ~x287+1 ~x242+1 ~x197+1 ~x152+1 ~x107+1 ~x62+1 ~x17-0=105 5.58/5.60 c 32 ~x41480+16 ~x41479+8 ~x41478+4 ~x41477+2 ~x41476+1 ~x41475+1 ~x1908+1 ~x1863+1 ~x1818+1 ~x1773+1 ~x1728+1 ~x1683+1 ~x1638+1 ~x1593+1 ~x1548+1 ~x1503+1 ~x1458+1 ~x1413+1 ~x1368+1 ~x1323+1 ~x1278+1 ~x1233+1 ~x1188+1 ~x1143+1 ~x1098+1 ~x1053+1 ~x1008+1 ~x963+1 ~x918+1 ~x873+1 ~x828+1 ~x783+1 ~x738+1 ~x693+1 ~x648+1 ~x603+1 ~x558+1 ~x513+1 ~x468+1 ~x423+1 ~x378+1 ~x333+1 ~x288+1 ~x243+1 ~x198+1 ~x153+1 ~x108+1 ~x63+1 ~x18-0=105 5.58/5.66 c 32 ~x43767+16 ~x43766+8 ~x43765+4 ~x43764+2 ~x43763+1 ~x43762+1 ~x1909+1 ~x1864+1 ~x1819+1 ~x1774+1 ~x1729+1 ~x1684+1 ~x1639+1 ~x1594+1 ~x1549+1 ~x1504+1 ~x1459+1 ~x1414+1 ~x1369+1 ~x1324+1 ~x1279+1 ~x1234+1 ~x1189+1 ~x1144+1 ~x1099+1 ~x1054+1 ~x1009+1 ~x964+1 ~x919+1 ~x874+1 ~x829+1 ~x784+1 ~x739+1 ~x694+1 ~x649+1 ~x604+1 ~x559+1 ~x514+1 ~x469+1 ~x424+1 ~x379+1 ~x334+1 ~x289+1 ~x244+1 ~x199+1 ~x154+1 ~x109+1 ~x64+1 ~x19-0=105 5.69/5.74 c 32 ~x46054+16 ~x46053+8 ~x46052+4 ~x46051+2 ~x46050+1 ~x46049+1 ~x1910+1 ~x1865+1 ~x1820+1 ~x1775+1 ~x1730+1 ~x1685+1 ~x1640+1 ~x1595+1 ~x1550+1 ~x1505+1 ~x1460+1 ~x1415+1 ~x1370+1 ~x1325+1 ~x1280+1 ~x1235+1 ~x1190+1 ~x1145+1 ~x1100+1 ~x1055+1 ~x1010+1 ~x965+1 ~x920+1 ~x875+1 ~x830+1 ~x785+1 ~x740+1 ~x695+1 ~x650+1 ~x605+1 ~x560+1 ~x515+1 ~x470+1 ~x425+1 ~x380+1 ~x335+1 ~x290+1 ~x245+1 ~x200+1 ~x155+1 ~x110+1 ~x65+1 ~x20-0=105 5.79/5.81 c 32 ~x48341+16 ~x48340+8 ~x48339+4 ~x48338+2 ~x48337+1 ~x48336+1 ~x1911+1 ~x1866+1 ~x1821+1 ~x1776+1 ~x1731+1 ~x1686+1 ~x1641+1 ~x1596+1 ~x1551+1 ~x1506+1 ~x1461+1 ~x1416+1 ~x1371+1 ~x1326+1 ~x1281+1 ~x1236+1 ~x1191+1 ~x1146+1 ~x1101+1 ~x1056+1 ~x1011+1 ~x966+1 ~x921+1 ~x876+1 ~x831+1 ~x786+1 ~x741+1 ~x696+1 ~x651+1 ~x606+1 ~x561+1 ~x516+1 ~x471+1 ~x426+1 ~x381+1 ~x336+1 ~x291+1 ~x246+1 ~x201+1 ~x156+1 ~x111+1 ~x66+1 ~x21-0=105 5.89/5.90 c 32 ~x50628+16 ~x50627+8 ~x50626+4 ~x50625+2 ~x50624+1 ~x50623+1 ~x1912+1 ~x1867+1 ~x1822+1 ~x1777+1 ~x1732+1 ~x1687+1 ~x1642+1 ~x1597+1 ~x1552+1 ~x1507+1 ~x1462+1 ~x1417+1 ~x1372+1 ~x1327+1 ~x1282+1 ~x1237+1 ~x1192+1 ~x1147+1 ~x1102+1 ~x1057+1 ~x1012+1 ~x967+1 ~x922+1 ~x877+1 ~x832+1 ~x787+1 ~x742+1 ~x697+1 ~x652+1 ~x607+1 ~x562+1 ~x517+1 ~x472+1 ~x427+1 ~x382+1 ~x337+1 ~x292+1 ~x247+1 ~x202+1 ~x157+1 ~x112+1 ~x67+1 ~x22-0=105 5.89/5.98 c 32 ~x52915+16 ~x52914+8 ~x52913+4 ~x52912+2 ~x52911+1 ~x52910+1 ~x1913+1 ~x1868+1 ~x1823+1 ~x1778+1 ~x1733+1 ~x1688+1 ~x1643+1 ~x1598+1 ~x1553+1 ~x1508+1 ~x1463+1 ~x1418+1 ~x1373+1 ~x1328+1 ~x1283+1 ~x1238+1 ~x1193+1 ~x1148+1 ~x1103+1 ~x1058+1 ~x1013+1 ~x968+1 ~x923+1 ~x878+1 ~x833+1 ~x788+1 ~x743+1 ~x698+1 ~x653+1 ~x608+1 ~x563+1 ~x518+1 ~x473+1 ~x428+1 ~x383+1 ~x338+1 ~x293+1 ~x248+1 ~x203+1 ~x158+1 ~x113+1 ~x68+1 ~x23-0=105 5.99/6.05 c 32 ~x55202+16 ~x55201+8 ~x55200+4 ~x55199+2 ~x55198+1 ~x55197+1 ~x1914+1 ~x1869+1 ~x1824+1 ~x1779+1 ~x1734+1 ~x1689+1 ~x1644+1 ~x1599+1 ~x1554+1 ~x1509+1 ~x1464+1 ~x1419+1 ~x1374+1 ~x1329+1 ~x1284+1 ~x1239+1 ~x1194+1 ~x1149+1 ~x1104+1 ~x1059+1 ~x1014+1 ~x969+1 ~x924+1 ~x879+1 ~x834+1 ~x789+1 ~x744+1 ~x699+1 ~x654+1 ~x609+1 ~x564+1 ~x519+1 ~x474+1 ~x429+1 ~x384+1 ~x339+1 ~x294+1 ~x249+1 ~x204+1 ~x159+1 ~x114+1 ~x69+1 ~x24-0=105 6.09/6.13 c 32 ~x57489+16 ~x57488+8 ~x57487+4 ~x57486+2 ~x57485+1 ~x57484+1 ~x1915+1 ~x1870+1 ~x1825+1 ~x1780+1 ~x1735+1 ~x1690+1 ~x1645+1 ~x1600+1 ~x1555+1 ~x1510+1 ~x1465+1 ~x1420+1 ~x1375+1 ~x1330+1 ~x1285+1 ~x1240+1 ~x1195+1 ~x1150+1 ~x1105+1 ~x1060+1 ~x1015+1 ~x970+1 ~x925+1 ~x880+1 ~x835+1 ~x790+1 ~x745+1 ~x700+1 ~x655+1 ~x610+1 ~x565+1 ~x520+1 ~x475+1 ~x430+1 ~x385+1 ~x340+1 ~x295+1 ~x250+1 ~x205+1 ~x160+1 ~x115+1 ~x70+1 ~x25-0=105 6.18/6.20 c 32 ~x59776+16 ~x59775+8 ~x59774+4 ~x59773+2 ~x59772+1 ~x59771+1 ~x1916+1 ~x1871+1 ~x1826+1 ~x1781+1 ~x1736+1 ~x1691+1 ~x1646+1 ~x1601+1 ~x1556+1 ~x1511+1 ~x1466+1 ~x1421+1 ~x1376+1 ~x1331+1 ~x1286+1 ~x1241+1 ~x1196+1 ~x1151+1 ~x1106+1 ~x1061+1 ~x1016+1 ~x971+1 ~x926+1 ~x881+1 ~x836+1 ~x791+1 ~x746+1 ~x701+1 ~x656+1 ~x611+1 ~x566+1 ~x521+1 ~x476+1 ~x431+1 ~x386+1 ~x341+1 ~x296+1 ~x251+1 ~x206+1 ~x161+1 ~x116+1 ~x71+1 ~x26-0=105 6.18/6.28 c 32 ~x62063+16 ~x62062+8 ~x62061+4 ~x62060+2 ~x62059+1 ~x62058+1 ~x1917+1 ~x1872+1 ~x1827+1 ~x1782+1 ~x1737+1 ~x1692+1 ~x1647+1 ~x1602+1 ~x1557+1 ~x1512+1 ~x1467+1 ~x1422+1 ~x1377+1 ~x1332+1 ~x1287+1 ~x1242+1 ~x1197+1 ~x1152+1 ~x1107+1 ~x1062+1 ~x1017+1 ~x972+1 ~x927+1 ~x882+1 ~x837+1 ~x792+1 ~x747+1 ~x702+1 ~x657+1 ~x612+1 ~x567+1 ~x522+1 ~x477+1 ~x432+1 ~x387+1 ~x342+1 ~x297+1 ~x252+1 ~x207+1 ~x162+1 ~x117+1 ~x72+1 ~x27-0=105 6.29/6.37 c 32 ~x64350+16 ~x64349+8 ~x64348+4 ~x64347+2 ~x64346+1 ~x64345+1 ~x1918+1 ~x1873+1 ~x1828+1 ~x1783+1 ~x1738+1 ~x1693+1 ~x1648+1 ~x1603+1 ~x1558+1 ~x1513+1 ~x1468+1 ~x1423+1 ~x1378+1 ~x1333+1 ~x1288+1 ~x1243+1 ~x1198+1 ~x1153+1 ~x1108+1 ~x1063+1 ~x1018+1 ~x973+1 ~x928+1 ~x883+1 ~x838+1 ~x793+1 ~x748+1 ~x703+1 ~x658+1 ~x613+1 ~x568+1 ~x523+1 ~x478+1 ~x433+1 ~x388+1 ~x343+1 ~x298+1 ~x253+1 ~x208+1 ~x163+1 ~x118+1 ~x73+1 ~x28-0=105 6.39/6.45 c 32 ~x66637+16 ~x66636+8 ~x66635+4 ~x66634+2 ~x66633+1 ~x66632+1 ~x1919+1 ~x1874+1 ~x1829+1 ~x1784+1 ~x1739+1 ~x1694+1 ~x1649+1 ~x1604+1 ~x1559+1 ~x1514+1 ~x1469+1 ~x1424+1 ~x1379+1 ~x1334+1 ~x1289+1 ~x1244+1 ~x1199+1 ~x1154+1 ~x1109+1 ~x1064+1 ~x1019+1 ~x974+1 ~x929+1 ~x884+1 ~x839+1 ~x794+1 ~x749+1 ~x704+1 ~x659+1 ~x614+1 ~x569+1 ~x524+1 ~x479+1 ~x434+1 ~x389+1 ~x344+1 ~x299+1 ~x254+1 ~x209+1 ~x164+1 ~x119+1 ~x74+1 ~x29-0=105 6.49/6.52 c 32 ~x68924+16 ~x68923+8 ~x68922+4 ~x68921+2 ~x68920+1 ~x68919+1 ~x1920+1 ~x1875+1 ~x1830+1 ~x1785+1 ~x1740+1 ~x1695+1 ~x1650+1 ~x1605+1 ~x1560+1 ~x1515+1 ~x1470+1 ~x1425+1 ~x1380+1 ~x1335+1 ~x1290+1 ~x1245+1 ~x1200+1 ~x1155+1 ~x1110+1 ~x1065+1 ~x1020+1 ~x975+1 ~x930+1 ~x885+1 ~x840+1 ~x795+1 ~x750+1 ~x705+1 ~x660+1 ~x615+1 ~x570+1 ~x525+1 ~x480+1 ~x435+1 ~x390+1 ~x345+1 ~x300+1 ~x255+1 ~x210+1 ~x165+1 ~x120+1 ~x75+1 ~x30-0=105 6.49/6.60 c 32 ~x71211+16 ~x71210+8 ~x71209+4 ~x71208+2 ~x71207+1 ~x71206+1 ~x1921+1 ~x1876+1 ~x1831+1 ~x1786+1 ~x1741+1 ~x1696+1 ~x1651+1 ~x1606+1 ~x1561+1 ~x1516+1 ~x1471+1 ~x1426+1 ~x1381+1 ~x1336+1 ~x1291+1 ~x1246+1 ~x1201+1 ~x1156+1 ~x1111+1 ~x1066+1 ~x1021+1 ~x976+1 ~x931+1 ~x886+1 ~x841+1 ~x796+1 ~x751+1 ~x706+1 ~x661+1 ~x616+1 ~x571+1 ~x526+1 ~x481+1 ~x436+1 ~x391+1 ~x346+1 ~x301+1 ~x256+1 ~x211+1 ~x166+1 ~x121+1 ~x76+1 ~x31-0=105 6.59/6.66 c 32 ~x73498+16 ~x73497+8 ~x73496+4 ~x73495+2 ~x73494+1 ~x73493+1 ~x1922+1 ~x1877+1 ~x1832+1 ~x1787+1 ~x1742+1 ~x1697+1 ~x1652+1 ~x1607+1 ~x1562+1 ~x1517+1 ~x1472+1 ~x1427+1 ~x1382+1 ~x1337+1 ~x1292+1 ~x1247+1 ~x1202+1 ~x1157+1 ~x1112+1 ~x1067+1 ~x1022+1 ~x977+1 ~x932+1 ~x887+1 ~x842+1 ~x797+1 ~x752+1 ~x707+1 ~x662+1 ~x617+1 ~x572+1 ~x527+1 ~x482+1 ~x437+1 ~x392+1 ~x347+1 ~x302+1 ~x257+1 ~x212+1 ~x167+1 ~x122+1 ~x77+1 ~x32-0=105 6.69/6.72 c 32 ~x75785+16 ~x75784+8 ~x75783+4 ~x75782+2 ~x75781+1 ~x75780+1 ~x1923+1 ~x1878+1 ~x1833+1 ~x1788+1 ~x1743+1 ~x1698+1 ~x1653+1 ~x1608+1 ~x1563+1 ~x1518+1 ~x1473+1 ~x1428+1 ~x1383+1 ~x1338+1 ~x1293+1 ~x1248+1 ~x1203+1 ~x1158+1 ~x1113+1 ~x1068+1 ~x1023+1 ~x978+1 ~x933+1 ~x888+1 ~x843+1 ~x798+1 ~x753+1 ~x708+1 ~x663+1 ~x618+1 ~x573+1 ~x528+1 ~x483+1 ~x438+1 ~x393+1 ~x348+1 ~x303+1 ~x258+1 ~x213+1 ~x168+1 ~x123+1 ~x78+1 ~x33-0=105 6.69/6.78 c 32 ~x78072+16 ~x78071+8 ~x78070+4 ~x78069+2 ~x78068+1 ~x78067+1 ~x1924+1 ~x1879+1 ~x1834+1 ~x1789+1 ~x1744+1 ~x1699+1 ~x1654+1 ~x1609+1 ~x1564+1 ~x1519+1 ~x1474+1 ~x1429+1 ~x1384+1 ~x1339+1 ~x1294+1 ~x1249+1 ~x1204+1 ~x1159+1 ~x1114+1 ~x1069+1 ~x1024+1 ~x979+1 ~x934+1 ~x889+1 ~x844+1 ~x799+1 ~x754+1 ~x709+1 ~x664+1 ~x619+1 ~x574+1 ~x529+1 ~x484+1 ~x439+1 ~x394+1 ~x349+1 ~x304+1 ~x259+1 ~x214+1 ~x169+1 ~x124+1 ~x79+1 ~x34-0=105 6.79/6.83 c 32 ~x80359+16 ~x80358+8 ~x80357+4 ~x80356+2 ~x80355+1 ~x80354+1 ~x1925+1 ~x1880+1 ~x1835+1 ~x1790+1 ~x1745+1 ~x1700+1 ~x1655+1 ~x1610+1 ~x1565+1 ~x1520+1 ~x1475+1 ~x1430+1 ~x1385+1 ~x1340+1 ~x1295+1 ~x1250+1 ~x1205+1 ~x1160+1 ~x1115+1 ~x1070+1 ~x1025+1 ~x980+1 ~x935+1 ~x890+1 ~x845+1 ~x800+1 ~x755+1 ~x710+1 ~x665+1 ~x620+1 ~x575+1 ~x530+1 ~x485+1 ~x440+1 ~x395+1 ~x350+1 ~x305+1 ~x260+1 ~x215+1 ~x170+1 ~x125+1 ~x80+1 ~x35-0=105 6.79/6.89 c 32 ~x82646+16 ~x82645+8 ~x82644+4 ~x82643+2 ~x82642+1 ~x82641+1 ~x1926+1 ~x1881+1 ~x1836+1 ~x1791+1 ~x1746+1 ~x1701+1 ~x1656+1 ~x1611+1 ~x1566+1 ~x1521+1 ~x1476+1 ~x1431+1 ~x1386+1 ~x1341+1 ~x1296+1 ~x1251+1 ~x1206+1 ~x1161+1 ~x1116+1 ~x1071+1 ~x1026+1 ~x981+1 ~x936+1 ~x891+1 ~x846+1 ~x801+1 ~x756+1 ~x711+1 ~x666+1 ~x621+1 ~x576+1 ~x531+1 ~x486+1 ~x441+1 ~x396+1 ~x351+1 ~x306+1 ~x261+1 ~x216+1 ~x171+1 ~x126+1 ~x81+1 ~x36-0=105 6.88/6.95 c 32 ~x84933+16 ~x84932+8 ~x84931+4 ~x84930+2 ~x84929+1 ~x84928+1 ~x1927+1 ~x1882+1 ~x1837+1 ~x1792+1 ~x1747+1 ~x1702+1 ~x1657+1 ~x1612+1 ~x1567+1 ~x1522+1 ~x1477+1 ~x1432+1 ~x1387+1 ~x1342+1 ~x1297+1 ~x1252+1 ~x1207+1 ~x1162+1 ~x1117+1 ~x1072+1 ~x1027+1 ~x982+1 ~x937+1 ~x892+1 ~x847+1 ~x802+1 ~x757+1 ~x712+1 ~x667+1 ~x622+1 ~x577+1 ~x532+1 ~x487+1 ~x442+1 ~x397+1 ~x352+1 ~x307+1 ~x262+1 ~x217+1 ~x172+1 ~x127+1 ~x82+1 ~x37-0=105 6.99/7.00 c 32 ~x87220+16 ~x87219+8 ~x87218+4 ~x87217+2 ~x87216+1 ~x87215+1 ~x1928+1 ~x1883+1 ~x1838+1 ~x1793+1 ~x1748+1 ~x1703+1 ~x1658+1 ~x1613+1 ~x1568+1 ~x1523+1 ~x1478+1 ~x1433+1 ~x1388+1 ~x1343+1 ~x1298+1 ~x1253+1 ~x1208+1 ~x1163+1 ~x1118+1 ~x1073+1 ~x1028+1 ~x983+1 ~x938+1 ~x893+1 ~x848+1 ~x803+1 ~x758+1 ~x713+1 ~x668+1 ~x623+1 ~x578+1 ~x533+1 ~x488+1 ~x443+1 ~x398+1 ~x353+1 ~x308+1 ~x263+1 ~x218+1 ~x173+1 ~x128+1 ~x83+1 ~x38-0=105 6.99/7.06 c 32 ~x89507+16 ~x89506+8 ~x89505+4 ~x89504+2 ~x89503+1 ~x89502+1 ~x1929+1 ~x1884+1 ~x1839+1 ~x1794+1 ~x1749+1 ~x1704+1 ~x1659+1 ~x1614+1 ~x1569+1 ~x1524+1 ~x1479+1 ~x1434+1 ~x1389+1 ~x1344+1 ~x1299+1 ~x1254+1 ~x1209+1 ~x1164+1 ~x1119+1 ~x1074+1 ~x1029+1 ~x984+1 ~x939+1 ~x894+1 ~x849+1 ~x804+1 ~x759+1 ~x714+1 ~x669+1 ~x624+1 ~x579+1 ~x534+1 ~x489+1 ~x444+1 ~x399+1 ~x354+1 ~x309+1 ~x264+1 ~x219+1 ~x174+1 ~x129+1 ~x84+1 ~x39-0=105 7.09/7.12 c 32 ~x91794+16 ~x91793+8 ~x91792+4 ~x91791+2 ~x91790+1 ~x91789+1 ~x1930+1 ~x1885+1 ~x1840+1 ~x1795+1 ~x1750+1 ~x1705+1 ~x1660+1 ~x1615+1 ~x1570+1 ~x1525+1 ~x1480+1 ~x1435+1 ~x1390+1 ~x1345+1 ~x1300+1 ~x1255+1 ~x1210+1 ~x1165+1 ~x1120+1 ~x1075+1 ~x1030+1 ~x985+1 ~x940+1 ~x895+1 ~x850+1 ~x805+1 ~x760+1 ~x715+1 ~x670+1 ~x625+1 ~x580+1 ~x535+1 ~x490+1 ~x445+1 ~x400+1 ~x355+1 ~x310+1 ~x265+1 ~x220+1 ~x175+1 ~x130+1 ~x85+1 ~x40-0=105 7.09/7.18 c 32 ~x94081+16 ~x94080+8 ~x94079+4 ~x94078+2 ~x94077+1 ~x94076+1 ~x1931+1 ~x1886+1 ~x1841+1 ~x1796+1 ~x1751+1 ~x1706+1 ~x1661+1 ~x1616+1 ~x1571+1 ~x1526+1 ~x1481+1 ~x1436+1 ~x1391+1 ~x1346+1 ~x1301+1 ~x1256+1 ~x1211+1 ~x1166+1 ~x1121+1 ~x1076+1 ~x1031+1 ~x986+1 ~x941+1 ~x896+1 ~x851+1 ~x806+1 ~x761+1 ~x716+1 ~x671+1 ~x626+1 ~x581+1 ~x536+1 ~x491+1 ~x446+1 ~x401+1 ~x356+1 ~x311+1 ~x266+1 ~x221+1 ~x176+1 ~x131+1 ~x86+1 ~x41-0=105 7.18/7.24 c 32 ~x96368+16 ~x96367+8 ~x96366+4 ~x96365+2 ~x96364+1 ~x96363+1 ~x1932+1 ~x1887+1 ~x1842+1 ~x1797+1 ~x1752+1 ~x1707+1 ~x1662+1 ~x1617+1 ~x1572+1 ~x1527+1 ~x1482+1 ~x1437+1 ~x1392+1 ~x1347+1 ~x1302+1 ~x1257+1 ~x1212+1 ~x1167+1 ~x1122+1 ~x1077+1 ~x1032+1 ~x987+1 ~x942+1 ~x897+1 ~x852+1 ~x807+1 ~x762+1 ~x717+1 ~x672+1 ~x627+1 ~x582+1 ~x537+1 ~x492+1 ~x447+1 ~x402+1 ~x357+1 ~x312+1 ~x267+1 ~x222+1 ~x177+1 ~x132+1 ~x87+1 ~x42-0=105 7.18/7.29 c 32 ~x98655+16 ~x98654+8 ~x98653+4 ~x98652+2 ~x98651+1 ~x98650+1 ~x1933+1 ~x1888+1 ~x1843+1 ~x1798+1 ~x1753+1 ~x1708+1 ~x1663+1 ~x1618+1 ~x1573+1 ~x1528+1 ~x1483+1 ~x1438+1 ~x1393+1 ~x1348+1 ~x1303+1 ~x1258+1 ~x1213+1 ~x1168+1 ~x1123+1 ~x1078+1 ~x1033+1 ~x988+1 ~x943+1 ~x898+1 ~x853+1 ~x808+1 ~x763+1 ~x718+1 ~x673+1 ~x628+1 ~x583+1 ~x538+1 ~x493+1 ~x448+1 ~x403+1 ~x358+1 ~x313+1 ~x268+1 ~x223+1 ~x178+1 ~x133+1 ~x88+1 ~x43-0=105 7.29/7.35 c 32 ~x100942+16 ~x100941+8 ~x100940+4 ~x100939+2 ~x100938+1 ~x100937+1 ~x1934+1 ~x1889+1 ~x1844+1 ~x1799+1 ~x1754+1 ~x1709+1 ~x1664+1 ~x1619+1 ~x1574+1 ~x1529+1 ~x1484+1 ~x1439+1 ~x1394+1 ~x1349+1 ~x1304+1 ~x1259+1 ~x1214+1 ~x1169+1 ~x1124+1 ~x1079+1 ~x1034+1 ~x989+1 ~x944+1 ~x899+1 ~x854+1 ~x809+1 ~x764+1 ~x719+1 ~x674+1 ~x629+1 ~x584+1 ~x539+1 ~x494+1 ~x449+1 ~x404+1 ~x359+1 ~x314+1 ~x269+1 ~x224+1 ~x179+1 ~x134+1 ~x89+1 ~x44-0=105 7.39/7.41 c 32 ~x103229+16 ~x103228+8 ~x103227+4 ~x103226+2 ~x103225+1 ~x103224+1 ~x1935+1 ~x1890+1 ~x1845+1 ~x1800+1 ~x1755+1 ~x1710+1 ~x1665+1 ~x1620+1 ~x1575+1 ~x1530+1 ~x1485+1 ~x1440+1 ~x1395+1 ~x1350+1 ~x1305+1 ~x1260+1 ~x1215+1 ~x1170+1 ~x1125+1 ~x1080+1 ~x1035+1 ~x990+1 ~x945+1 ~x900+1 ~x855+1 ~x810+1 ~x765+1 ~x720+1 ~x675+1 ~x630+1 ~x585+1 ~x540+1 ~x495+1 ~x450+1 ~x405+1 ~x360+1 ~x315+1 ~x270+1 ~x225+1 ~x180+1 ~x135+1 ~x90+1 ~x45-0=105 7.39/7.46 c 32 ~x105516+16 ~x105515+8 ~x105514+4 ~x105513+2 ~x105512+1 ~x105511+1 ~x1936+1 ~x1891+1 ~x1846+1 ~x1801+1 ~x1756+1 ~x1711+1 ~x1666+1 ~x1621+1 ~x1576+1 ~x1531+1 ~x1486+1 ~x1441+1 ~x1396+1 ~x1351+1 ~x1306+1 ~x1261+1 ~x1216+1 ~x1171+1 ~x1126+1 ~x1081+1 ~x1036+1 ~x991+1 ~x946+1 ~x901+1 ~x856+1 ~x811+1 ~x766+1 ~x721+1 ~x676+1 ~x631+1 ~x586+1 ~x541+1 ~x496+1 ~x451+1 ~x406+1 ~x361+1 ~x316+1 ~x271+1 ~x226+1 ~x181+1 ~x136+1 ~x91+1 ~x46-0=105 7.49/7.52 c 16 ~x107802+8 ~x107801+4 ~x107800+2 ~x107799+1 ~x107798+1 ~x2378+1 ~x2357+1 ~x2336+1 ~x2315+1 ~x2294+1 ~x2273+1 ~x2252+1 ~x2231+1 ~x2210+1 ~x2189+1 ~x2168+1 ~x2147+1 ~x2126+1 ~x2105+1 ~x2084+1 ~x2063+1 ~x2042+1 ~x2021+1 ~x2000+1 ~x1979+1 ~x1958+1 ~x1937-0=52 7.49/7.55 c 16 ~x108828+8 ~x108827+4 ~x108826+2 ~x108825+1 ~x108824+1 ~x2379+1 ~x2358+1 ~x2337+1 ~x2316+1 ~x2295+1 ~x2274+1 ~x2253+1 ~x2232+1 ~x2211+1 ~x2190+1 ~x2169+1 ~x2148+1 ~x2127+1 ~x2106+1 ~x2085+1 ~x2064+1 ~x2043+1 ~x2022+1 ~x2001+1 ~x1980+1 ~x1959+1 ~x1938-0=52 7.49/7.57 c 16 ~x109854+8 ~x109853+4 ~x109852+2 ~x109851+1 ~x109850+1 ~x2380+1 ~x2359+1 ~x2338+1 ~x2317+1 ~x2296+1 ~x2275+1 ~x2254+1 ~x2233+1 ~x2212+1 ~x2191+1 ~x2170+1 ~x2149+1 ~x2128+1 ~x2107+1 ~x2086+1 ~x2065+1 ~x2044+1 ~x2023+1 ~x2002+1 ~x1981+1 ~x1960+1 ~x1939-0=52 7.49/7.60 c 16 ~x110880+8 ~x110879+4 ~x110878+2 ~x110877+1 ~x110876+1 ~x2381+1 ~x2360+1 ~x2339+1 ~x2318+1 ~x2297+1 ~x2276+1 ~x2255+1 ~x2234+1 ~x2213+1 ~x2192+1 ~x2171+1 ~x2150+1 ~x2129+1 ~x2108+1 ~x2087+1 ~x2066+1 ~x2045+1 ~x2024+1 ~x2003+1 ~x1982+1 ~x1961+1 ~x1940-0=52 7.59/7.62 c 16 ~x111906+8 ~x111905+4 ~x111904+2 ~x111903+1 ~x111902+1 ~x2382+1 ~x2361+1 ~x2340+1 ~x2319+1 ~x2298+1 ~x2277+1 ~x2256+1 ~x2235+1 ~x2214+1 ~x2193+1 ~x2172+1 ~x2151+1 ~x2130+1 ~x2109+1 ~x2088+1 ~x2067+1 ~x2046+1 ~x2025+1 ~x2004+1 ~x1983+1 ~x1962+1 ~x1941-0=52 7.59/7.65 c 16 ~x112932+8 ~x112931+4 ~x112930+2 ~x112929+1 ~x112928+1 ~x2383+1 ~x2362+1 ~x2341+1 ~x2320+1 ~x2299+1 ~x2278+1 ~x2257+1 ~x2236+1 ~x2215+1 ~x2194+1 ~x2173+1 ~x2152+1 ~x2131+1 ~x2110+1 ~x2089+1 ~x2068+1 ~x2047+1 ~x2026+1 ~x2005+1 ~x1984+1 ~x1963+1 ~x1942-0=52 7.59/7.68 c 16 ~x113958+8 ~x113957+4 ~x113956+2 ~x113955+1 ~x113954+1 ~x2384+1 ~x2363+1 ~x2342+1 ~x2321+1 ~x2300+1 ~x2279+1 ~x2258+1 ~x2237+1 ~x2216+1 ~x2195+1 ~x2174+1 ~x2153+1 ~x2132+1 ~x2111+1 ~x2090+1 ~x2069+1 ~x2048+1 ~x2027+1 ~x2006+1 ~x1985+1 ~x1964+1 ~x1943-0=52 7.59/7.70 c 16 ~x114984+8 ~x114983+4 ~x114982+2 ~x114981+1 ~x114980+1 ~x2385+1 ~x2364+1 ~x2343+1 ~x2322+1 ~x2301+1 ~x2280+1 ~x2259+1 ~x2238+1 ~x2217+1 ~x2196+1 ~x2175+1 ~x2154+1 ~x2133+1 ~x2112+1 ~x2091+1 ~x2070+1 ~x2049+1 ~x2028+1 ~x2007+1 ~x1986+1 ~x1965+1 ~x1944-0=52 7.70/7.73 c 16 ~x116010+8 ~x116009+4 ~x116008+2 ~x116007+1 ~x116006+1 ~x2386+1 ~x2365+1 ~x2344+1 ~x2323+1 ~x2302+1 ~x2281+1 ~x2260+1 ~x2239+1 ~x2218+1 ~x2197+1 ~x2176+1 ~x2155+1 ~x2134+1 ~x2113+1 ~x2092+1 ~x2071+1 ~x2050+1 ~x2029+1 ~x2008+1 ~x1987+1 ~x1966+1 ~x1945-0=52 7.70/7.76 c 16 ~x117036+8 ~x117035+4 ~x117034+2 ~x117033+1 ~x117032+1 ~x2387+1 ~x2366+1 ~x2345+1 ~x2324+1 ~x2303+1 ~x2282+1 ~x2261+1 ~x2240+1 ~x2219+1 ~x2198+1 ~x2177+1 ~x2156+1 ~x2135+1 ~x2114+1 ~x2093+1 ~x2072+1 ~x2051+1 ~x2030+1 ~x2009+1 ~x1988+1 ~x1967+1 ~x1946-0=52 7.70/7.78 c 16 ~x118062+8 ~x118061+4 ~x118060+2 ~x118059+1 ~x118058+1 ~x2388+1 ~x2367+1 ~x2346+1 ~x2325+1 ~x2304+1 ~x2283+1 ~x2262+1 ~x2241+1 ~x2220+1 ~x2199+1 ~x2178+1 ~x2157+1 ~x2136+1 ~x2115+1 ~x2094+1 ~x2073+1 ~x2052+1 ~x2031+1 ~x2010+1 ~x1989+1 ~x1968+1 ~x1947-0=52 7.79/7.81 c 16 ~x119088+8 ~x119087+4 ~x119086+2 ~x119085+1 ~x119084+1 ~x2389+1 ~x2368+1 ~x2347+1 ~x2326+1 ~x2305+1 ~x2284+1 ~x2263+1 ~x2242+1 ~x2221+1 ~x2200+1 ~x2179+1 ~x2158+1 ~x2137+1 ~x2116+1 ~x2095+1 ~x2074+1 ~x2053+1 ~x2032+1 ~x2011+1 ~x1990+1 ~x1969+1 ~x1948-0=52 7.79/7.83 c 16 ~x120114+8 ~x120113+4 ~x120112+2 ~x120111+1 ~x120110+1 ~x2390+1 ~x2369+1 ~x2348+1 ~x2327+1 ~x2306+1 ~x2285+1 ~x2264+1 ~x2243+1 ~x2222+1 ~x2201+1 ~x2180+1 ~x2159+1 ~x2138+1 ~x2117+1 ~x2096+1 ~x2075+1 ~x2054+1 ~x2033+1 ~x2012+1 ~x1991+1 ~x1970+1 ~x1949-0=52 7.79/7.86 c 16 ~x121140+8 ~x121139+4 ~x121138+2 ~x121137+1 ~x121136+1 ~x2391+1 ~x2370+1 ~x2349+1 ~x2328+1 ~x2307+1 ~x2286+1 ~x2265+1 ~x2244+1 ~x2223+1 ~x2202+1 ~x2181+1 ~x2160+1 ~x2139+1 ~x2118+1 ~x2097+1 ~x2076+1 ~x2055+1 ~x2034+1 ~x2013+1 ~x1992+1 ~x1971+1 ~x1950-0=52 7.79/7.89 c 16 ~x122166+8 ~x122165+4 ~x122164+2 ~x122163+1 ~x122162+1 ~x2392+1 ~x2371+1 ~x2350+1 ~x2329+1 ~x2308+1 ~x2287+1 ~x2266+1 ~x2245+1 ~x2224+1 ~x2203+1 ~x2182+1 ~x2161+1 ~x2140+1 ~x2119+1 ~x2098+1 ~x2077+1 ~x2056+1 ~x2035+1 ~x2014+1 ~x1993+1 ~x1972+1 ~x1951-0=52 7.88/7.92 c 16 ~x123192+8 ~x123191+4 ~x123190+2 ~x123189+1 ~x123188+1 ~x2393+1 ~x2372+1 ~x2351+1 ~x2330+1 ~x2309+1 ~x2288+1 ~x2267+1 ~x2246+1 ~x2225+1 ~x2204+1 ~x2183+1 ~x2162+1 ~x2141+1 ~x2120+1 ~x2099+1 ~x2078+1 ~x2057+1 ~x2036+1 ~x2015+1 ~x1994+1 ~x1973+1 ~x1952-0=52 7.88/7.94 c 16 ~x124218+8 ~x124217+4 ~x124216+2 ~x124215+1 ~x124214+1 ~x2394+1 ~x2373+1 ~x2352+1 ~x2331+1 ~x2310+1 ~x2289+1 ~x2268+1 ~x2247+1 ~x2226+1 ~x2205+1 ~x2184+1 ~x2163+1 ~x2142+1 ~x2121+1 ~x2100+1 ~x2079+1 ~x2058+1 ~x2037+1 ~x2016+1 ~x1995+1 ~x1974+1 ~x1953-0=52 7.88/7.97 c 16 ~x125244+8 ~x125243+4 ~x125242+2 ~x125241+1 ~x125240+1 ~x2395+1 ~x2374+1 ~x2353+1 ~x2332+1 ~x2311+1 ~x2290+1 ~x2269+1 ~x2248+1 ~x2227+1 ~x2206+1 ~x2185+1 ~x2164+1 ~x2143+1 ~x2122+1 ~x2101+1 ~x2080+1 ~x2059+1 ~x2038+1 ~x2017+1 ~x1996+1 ~x1975+1 ~x1954-0=52 7.88/8.00 c 16 ~x126270+8 ~x126269+4 ~x126268+2 ~x126267+1 ~x126266+1 ~x2396+1 ~x2375+1 ~x2354+1 ~x2333+1 ~x2312+1 ~x2291+1 ~x2270+1 ~x2249+1 ~x2228+1 ~x2207+1 ~x2186+1 ~x2165+1 ~x2144+1 ~x2123+1 ~x2102+1 ~x2081+1 ~x2060+1 ~x2039+1 ~x2018+1 ~x1997+1 ~x1976+1 ~x1955-0=52 7.98/8.02 c 16 ~x127296+8 ~x127295+4 ~x127294+2 ~x127293+1 ~x127292+1 ~x2397+1 ~x2376+1 ~x2355+1 ~x2334+1 ~x2313+1 ~x2292+1 ~x2271+1 ~x2250+1 ~x2229+1 ~x2208+1 ~x2187+1 ~x2166+1 ~x2145+1 ~x2124+1 ~x2103+1 ~x2082+1 ~x2061+1 ~x2040+1 ~x2019+1 ~x1998+1 ~x1977+1 ~x1956-0=52 7.98/8.05 c 16 ~x128322+8 ~x128321+4 ~x128320+2 ~x128319+1 ~x128318+1 ~x2398+1 ~x2377+1 ~x2356+1 ~x2335+1 ~x2314+1 ~x2293+1 ~x2272+1 ~x2251+1 ~x2230+1 ~x2209+1 ~x2188+1 ~x2167+1 ~x2146+1 ~x2125+1 ~x2104+1 ~x2083+1 ~x2062+1 ~x2041+1 ~x2020+1 ~x1999+1 ~x1978+1 ~x1957-0=52 7.98/8.07 c 16 ~x129348+8 ~x129347+4 ~x129346+2 ~x129345+1 ~x129344+1 ~x2883+1 ~x2861+1 ~x2839+1 ~x2817+1 ~x2795+1 ~x2773+1 ~x2751+1 ~x2729+1 ~x2707+1 ~x2685+1 ~x2663+1 ~x2641+1 ~x2619+1 ~x2597+1 ~x2575+1 ~x2553+1 ~x2531+1 ~x2509+1 ~x2487+1 ~x2465+1 ~x2443+1 ~x2421+1 ~x2399-0=53 8.09/8.10 c 16 ~x130419+8 ~x130418+4 ~x130417+2 ~x130416+1 ~x130415+1 ~x2884+1 ~x2862+1 ~x2840+1 ~x2818+1 ~x2796+1 ~x2774+1 ~x2752+1 ~x2730+1 ~x2708+1 ~x2686+1 ~x2664+1 ~x2642+1 ~x2620+1 ~x2598+1 ~x2576+1 ~x2554+1 ~x2532+1 ~x2510+1 ~x2488+1 ~x2466+1 ~x2444+1 ~x2422+1 ~x2400-0=53 8.09/8.13 c 16 ~x131490+8 ~x131489+4 ~x131488+2 ~x131487+1 ~x131486+1 ~x2885+1 ~x2863+1 ~x2841+1 ~x2819+1 ~x2797+1 ~x2775+1 ~x2753+1 ~x2731+1 ~x2709+1 ~x2687+1 ~x2665+1 ~x2643+1 ~x2621+1 ~x2599+1 ~x2577+1 ~x2555+1 ~x2533+1 ~x2511+1 ~x2489+1 ~x2467+1 ~x2445+1 ~x2423+1 ~x2401-0=53 8.09/8.16 c 16 ~x132561+8 ~x132560+4 ~x132559+2 ~x132558+1 ~x132557+1 ~x2886+1 ~x2864+1 ~x2842+1 ~x2820+1 ~x2798+1 ~x2776+1 ~x2754+1 ~x2732+1 ~x2710+1 ~x2688+1 ~x2666+1 ~x2644+1 ~x2622+1 ~x2600+1 ~x2578+1 ~x2556+1 ~x2534+1 ~x2512+1 ~x2490+1 ~x2468+1 ~x2446+1 ~x2424+1 ~x2402-0=53 8.09/8.18 c 16 ~x133632+8 ~x133631+4 ~x133630+2 ~x133629+1 ~x133628+1 ~x2887+1 ~x2865+1 ~x2843+1 ~x2821+1 ~x2799+1 ~x2777+1 ~x2755+1 ~x2733+1 ~x2711+1 ~x2689+1 ~x2667+1 ~x2645+1 ~x2623+1 ~x2601+1 ~x2579+1 ~x2557+1 ~x2535+1 ~x2513+1 ~x2491+1 ~x2469+1 ~x2447+1 ~x2425+1 ~x2403-0=53 8.19/8.21 c 16 ~x134703+8 ~x134702+4 ~x134701+2 ~x134700+1 ~x134699+1 ~x2888+1 ~x2866+1 ~x2844+1 ~x2822+1 ~x2800+1 ~x2778+1 ~x2756+1 ~x2734+1 ~x2712+1 ~x2690+1 ~x2668+1 ~x2646+1 ~x2624+1 ~x2602+1 ~x2580+1 ~x2558+1 ~x2536+1 ~x2514+1 ~x2492+1 ~x2470+1 ~x2448+1 ~x2426+1 ~x2404-0=53 8.19/8.24 c 16 ~x135774+8 ~x135773+4 ~x135772+2 ~x135771+1 ~x135770+1 ~x2889+1 ~x2867+1 ~x2845+1 ~x2823+1 ~x2801+1 ~x2779+1 ~x2757+1 ~x2735+1 ~x2713+1 ~x2691+1 ~x2669+1 ~x2647+1 ~x2625+1 ~x2603+1 ~x2581+1 ~x2559+1 ~x2537+1 ~x2515+1 ~x2493+1 ~x2471+1 ~x2449+1 ~x2427+1 ~x2405-0=53 8.19/8.27 c 16 ~x136845+8 ~x136844+4 ~x136843+2 ~x136842+1 ~x136841+1 ~x2890+1 ~x2868+1 ~x2846+1 ~x2824+1 ~x2802+1 ~x2780+1 ~x2758+1 ~x2736+1 ~x2714+1 ~x2692+1 ~x2670+1 ~x2648+1 ~x2626+1 ~x2604+1 ~x2582+1 ~x2560+1 ~x2538+1 ~x2516+1 ~x2494+1 ~x2472+1 ~x2450+1 ~x2428+1 ~x2406-0=53 8.19/8.29 c 16 ~x137916+8 ~x137915+4 ~x137914+2 ~x137913+1 ~x137912+1 ~x2891+1 ~x2869+1 ~x2847+1 ~x2825+1 ~x2803+1 ~x2781+1 ~x2759+1 ~x2737+1 ~x2715+1 ~x2693+1 ~x2671+1 ~x2649+1 ~x2627+1 ~x2605+1 ~x2583+1 ~x2561+1 ~x2539+1 ~x2517+1 ~x2495+1 ~x2473+1 ~x2451+1 ~x2429+1 ~x2407-0=53 8.29/8.32 c 16 ~x138987+8 ~x138986+4 ~x138985+2 ~x138984+1 ~x138983+1 ~x2892+1 ~x2870+1 ~x2848+1 ~x2826+1 ~x2804+1 ~x2782+1 ~x2760+1 ~x2738+1 ~x2716+1 ~x2694+1 ~x2672+1 ~x2650+1 ~x2628+1 ~x2606+1 ~x2584+1 ~x2562+1 ~x2540+1 ~x2518+1 ~x2496+1 ~x2474+1 ~x2452+1 ~x2430+1 ~x2408-0=53 8.29/8.35 c 16 ~x140058+8 ~x140057+4 ~x140056+2 ~x140055+1 ~x140054+1 ~x2893+1 ~x2871+1 ~x2849+1 ~x2827+1 ~x2805+1 ~x2783+1 ~x2761+1 ~x2739+1 ~x2717+1 ~x2695+1 ~x2673+1 ~x2651+1 ~x2629+1 ~x2607+1 ~x2585+1 ~x2563+1 ~x2541+1 ~x2519+1 ~x2497+1 ~x2475+1 ~x2453+1 ~x2431+1 ~x2409-0=53 8.29/8.37 c 16 ~x141129+8 ~x141128+4 ~x141127+2 ~x141126+1 ~x141125+1 ~x2894+1 ~x2872+1 ~x2850+1 ~x2828+1 ~x2806+1 ~x2784+1 ~x2762+1 ~x2740+1 ~x2718+1 ~x2696+1 ~x2674+1 ~x2652+1 ~x2630+1 ~x2608+1 ~x2586+1 ~x2564+1 ~x2542+1 ~x2520+1 ~x2498+1 ~x2476+1 ~x2454+1 ~x2432+1 ~x2410-0=53 8.38/8.40 c 16 ~x142200+8 ~x142199+4 ~x142198+2 ~x142197+1 ~x142196+1 ~x2895+1 ~x2873+1 ~x2851+1 ~x2829+1 ~x2807+1 ~x2785+1 ~x2763+1 ~x2741+1 ~x2719+1 ~x2697+1 ~x2675+1 ~x2653+1 ~x2631+1 ~x2609+1 ~x2587+1 ~x2565+1 ~x2543+1 ~x2521+1 ~x2499+1 ~x2477+1 ~x2455+1 ~x2433+1 ~x2411-0=53 8.38/8.43 c 16 ~x143271+8 ~x143270+4 ~x143269+2 ~x143268+1 ~x143267+1 ~x2896+1 ~x2874+1 ~x2852+1 ~x2830+1 ~x2808+1 ~x2786+1 ~x2764+1 ~x2742+1 ~x2720+1 ~x2698+1 ~x2676+1 ~x2654+1 ~x2632+1 ~x2610+1 ~x2588+1 ~x2566+1 ~x2544+1 ~x2522+1 ~x2500+1 ~x2478+1 ~x2456+1 ~x2434+1 ~x2412-0=53 8.38/8.46 c 16 ~x144342+8 ~x144341+4 ~x144340+2 ~x144339+1 ~x144338+1 ~x2897+1 ~x2875+1 ~x2853+1 ~x2831+1 ~x2809+1 ~x2787+1 ~x2765+1 ~x2743+1 ~x2721+1 ~x2699+1 ~x2677+1 ~x2655+1 ~x2633+1 ~x2611+1 ~x2589+1 ~x2567+1 ~x2545+1 ~x2523+1 ~x2501+1 ~x2479+1 ~x2457+1 ~x2435+1 ~x2413-0=53 8.38/8.48 c 16 ~x145413+8 ~x145412+4 ~x145411+2 ~x145410+1 ~x145409+1 ~x2898+1 ~x2876+1 ~x2854+1 ~x2832+1 ~x2810+1 ~x2788+1 ~x2766+1 ~x2744+1 ~x2722+1 ~x2700+1 ~x2678+1 ~x2656+1 ~x2634+1 ~x2612+1 ~x2590+1 ~x2568+1 ~x2546+1 ~x2524+1 ~x2502+1 ~x2480+1 ~x2458+1 ~x2436+1 ~x2414-0=53 8.48/8.51 c 16 ~x146484+8 ~x146483+4 ~x146482+2 ~x146481+1 ~x146480+1 ~x2899+1 ~x2877+1 ~x2855+1 ~x2833+1 ~x2811+1 ~x2789+1 ~x2767+1 ~x2745+1 ~x2723+1 ~x2701+1 ~x2679+1 ~x2657+1 ~x2635+1 ~x2613+1 ~x2591+1 ~x2569+1 ~x2547+1 ~x2525+1 ~x2503+1 ~x2481+1 ~x2459+1 ~x2437+1 ~x2415-0=53 8.48/8.54 c 16 ~x147555+8 ~x147554+4 ~x147553+2 ~x147552+1 ~x147551+1 ~x2900+1 ~x2878+1 ~x2856+1 ~x2834+1 ~x2812+1 ~x2790+1 ~x2768+1 ~x2746+1 ~x2724+1 ~x2702+1 ~x2680+1 ~x2658+1 ~x2636+1 ~x2614+1 ~x2592+1 ~x2570+1 ~x2548+1 ~x2526+1 ~x2504+1 ~x2482+1 ~x2460+1 ~x2438+1 ~x2416-0=53 8.48/8.57 c 16 ~x148626+8 ~x148625+4 ~x148624+2 ~x148623+1 ~x148622+1 ~x2901+1 ~x2879+1 ~x2857+1 ~x2835+1 ~x2813+1 ~x2791+1 ~x2769+1 ~x2747+1 ~x2725+1 ~x2703+1 ~x2681+1 ~x2659+1 ~x2637+1 ~x2615+1 ~x2593+1 ~x2571+1 ~x2549+1 ~x2527+1 ~x2505+1 ~x2483+1 ~x2461+1 ~x2439+1 ~x2417-0=53 8.48/8.59 c 16 ~x149697+8 ~x149696+4 ~x149695+2 ~x149694+1 ~x149693+1 ~x2902+1 ~x2880+1 ~x2858+1 ~x2836+1 ~x2814+1 ~x2792+1 ~x2770+1 ~x2748+1 ~x2726+1 ~x2704+1 ~x2682+1 ~x2660+1 ~x2638+1 ~x2616+1 ~x2594+1 ~x2572+1 ~x2550+1 ~x2528+1 ~x2506+1 ~x2484+1 ~x2462+1 ~x2440+1 ~x2418-0=53 8.58/8.62 c 16 ~x150768+8 ~x150767+4 ~x150766+2 ~x150765+1 ~x150764+1 ~x2903+1 ~x2881+1 ~x2859+1 ~x2837+1 ~x2815+1 ~x2793+1 ~x2771+1 ~x2749+1 ~x2727+1 ~x2705+1 ~x2683+1 ~x2661+1 ~x2639+1 ~x2617+1 ~x2595+1 ~x2573+1 ~x2551+1 ~x2529+1 ~x2507+1 ~x2485+1 ~x2463+1 ~x2441+1 ~x2419-0=53 8.58/8.65 c 16 ~x151839+8 ~x151838+4 ~x151837+2 ~x151836+1 ~x151835+1 ~x2904+1 ~x2882+1 ~x2860
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-2674494-1276791585/watcher-2674494-1276791585 -o /tmp/evaluation-result-2674494-1276791585/solver-2674494-1276791585 -C 1800 -W 2000 -M 1800 run HOME/instance-2674494-1276791585.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.03 1.00 3/106 23088 /proc/meminfo: memFree=1690096/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [startup+0.0342419 s] /proc/loadavg: 1.00 1.03 1.00 3/106 23088 /proc/meminfo: memFree=1690096/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101248 s] /proc/loadavg: 1.00 1.03 1.00 3/106 23088 /proc/meminfo: memFree=1690096/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301269 s] /proc/loadavg: 1.00 1.03 1.00 3/106 23088 /proc/meminfo: memFree=1690096/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701313 s] /proc/loadavg: 1.00 1.03 1.00 3/106 23088 /proc/meminfo: memFree=1690096/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5014 s] /proc/loadavg: 1.00 1.03 1.00 2/108 23091 /proc/meminfo: memFree=1496640/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=285124 CPUtime=1.49 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 70767 0 0 0 59 90 0 0 22 0 1 0 20451237 291966976 70706 1992294400 134512640 134902295 4292083184 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 71281 70707 256 96 0 70493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 293824 [startup+3.10157 s] /proc/loadavg: 1.00 1.03 1.00 2/108 23091 /proc/meminfo: memFree=1305060/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=525256 CPUtime=3.09 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 130780 0 0 0 145 164 0 0 25 0 1 0 20451237 537862144 130718 1992294400 134512640 134902295 4292083184 18446744073709551615 134584709 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 131314 130718 259 96 0 130526 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 533956 [startup+6.30092 s] /proc/loadavg: 1.00 1.03 1.00 2/108 23091 /proc/meminfo: memFree=1131336/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=572504 CPUtime=6.29 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 145772 0 0 0 460 169 0 0 25 0 1 0 20451237 586244096 142029 1992294400 134512640 134902295 4292083184 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 143126 142029 262 96 0 142338 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 581204 [startup+12.7006 s] /proc/loadavg: 1.00 1.03 1.00 2/108 23091 /proc/meminfo: memFree=1082976/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=611460 CPUtime=12.68 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 158431 0 0 0 1094 174 0 0 25 0 1 0 20451237 626135040 151608 1992294400 134512640 134902295 4292083184 18446744073709551615 4159798347 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 152865 151608 269 96 0 152077 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 620160 [startup+25.501 s] /proc/loadavg: 1.00 1.03 1.00 2/108 23091 /proc/meminfo: memFree=1079380/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=614876 CPUtime=25.48 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 159282 0 0 0 2374 174 0 0 25 0 1 0 20451237 629633024 152459 1992294400 134512640 134902295 4292083184 18446744073709551615 4159779458 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 153719 152459 269 96 0 152931 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 623576 [startup+51.1008 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23093 /proc/meminfo: memFree=1074668/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=619496 CPUtime=51.08 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 160430 0 0 0 4932 176 0 0 25 0 1 0 20451237 634363904 153607 1992294400 134512640 134902295 4292083184 18446744073709551615 4159779504 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 154874 153607 269 96 0 154086 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 628196 [startup+102.308 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23093 /proc/meminfo: memFree=1066856/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=627292 CPUtime=102.27 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 162367 0 0 0 10050 177 0 0 25 0 1 0 20451237 642347008 155544 1992294400 134512640 134902295 4292083184 18446744073709551615 4159800774 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 156823 155544 269 96 0 156035 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 635992 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23095 /proc/meminfo: memFree=1054828/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=639548 CPUtime=162.25 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 165355 0 0 0 16045 180 0 0 25 0 1 0 20451237 654897152 158532 1992294400 134512640 134902295 4292083184 18446744073709551615 4159798445 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 159887 158532 269 96 0 159099 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 648248 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23097 /proc/meminfo: memFree=1046024/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=648148 CPUtime=222.23 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 167523 0 0 0 22041 182 0 0 25 0 1 0 20451237 663703552 160700 1992294400 134512640 134902295 4292083184 18446744073709551615 4159791636 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 162037 160700 269 96 0 161249 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 656848 [startup+282.301 s] /proc/loadavg: 1.07 1.02 1.00 2/108 23099 /proc/meminfo: memFree=1039576/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=654840 CPUtime=282.21 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 169142 0 0 0 28037 184 0 0 25 0 1 0 20451237 670556160 162319 1992294400 134512640 134902295 4292083184 18446744073709551615 4159809662 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 163710 162319 269 96 0 162922 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 663540 [startup+342.302 s] /proc/loadavg: 1.02 1.01 1.00 2/108 23099 /proc/meminfo: memFree=1035236/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=659068 CPUtime=342.2 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 170204 0 0 0 34035 185 0 0 25 0 1 0 20451237 674885632 163381 1992294400 134512640 134902295 4292083184 18446744073709551615 4159798328 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 164767 163381 269 96 0 163979 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 667768 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/108 23101 /proc/meminfo: memFree=1032756/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=661572 CPUtime=402.19 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 170807 0 0 0 40033 186 0 0 25 0 1 0 20451237 677449728 163984 1992294400 134512640 134902295 4292083184 18446744073709551615 4159791586 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 165393 163984 269 96 0 164605 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 670272 [startup+462.302 s] ################ # More data... # ################ /proc/23090/statm: 172997 171527 269 96 0 172209 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 700688 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23126 /proc/meminfo: memFree=1001136/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=692808 CPUtime=1241.96 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 178533 0 0 0 124002 194 0 0 25 0 1 0 20451237 709435392 171710 1992294400 134512640 134902295 4292083184 18446744073709551615 4159809662 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 173202 171710 269 96 0 172414 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 701508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23128 /proc/meminfo: memFree=1000268/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=693648 CPUtime=1301.95 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 178738 0 0 0 130001 194 0 0 25 0 1 0 20451237 710295552 171915 1992294400 134512640 134902295 4292083184 18446744073709551615 4159812492 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 173412 171915 269 96 0 172624 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 702348 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23130 /proc/meminfo: memFree=999152/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=694892 CPUtime=1361.93 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 179020 0 0 0 135999 194 0 0 25 0 1 0 20451237 711569408 172197 1992294400 134512640 134902295 4292083184 18446744073709551615 4159809662 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 173723 172197 269 96 0 172935 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 703592 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23132 /proc/meminfo: memFree=997540/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=696472 CPUtime=1421.92 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 179392 0 0 0 141997 195 0 0 25 0 1 0 20451237 713187328 172569 1992294400 134512640 134902295 4292083184 18446744073709551615 4159809662 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 174118 172569 269 96 0 173330 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 705172 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23134 /proc/meminfo: memFree=992084/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=701944 CPUtime=1481.9 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 180787 0 0 0 147994 196 0 0 25 0 1 0 20451237 718790656 173964 1992294400 134512640 134902295 4292083184 18446744073709551615 4159798712 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 175486 173964 269 96 0 174698 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 710644 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23134 /proc/meminfo: memFree=987372/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=707344 CPUtime=1541.88 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 181921 0 0 0 153991 197 0 0 25 0 1 0 20451237 724320256 175098 1992294400 134512640 134902295 4292083184 18446744073709551615 4159809662 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 176836 175098 269 96 0 176048 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 716044 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23136 /proc/meminfo: memFree=984272/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=710488 CPUtime=1601.87 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 182716 0 0 0 159989 198 0 0 25 0 1 0 20451237 727539712 175893 1992294400 134512640 134902295 4292083184 18446744073709551615 4159798695 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 177622 175893 269 96 0 176834 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 719188 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23138 /proc/meminfo: memFree=981668/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=713012 CPUtime=1661.85 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 183352 0 0 0 165987 198 0 0 25 0 1 0 20451237 730124288 176529 1992294400 134512640 134902295 4292083184 18446744073709551615 4159791595 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 178253 176529 269 96 0 177465 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 721712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23140 /proc/meminfo: memFree=979932/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=714708 CPUtime=1721.84 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 183767 0 0 0 171985 199 0 0 25 0 1 0 20451237 731860992 176944 1992294400 134512640 134902295 4292083184 18446744073709551615 4159798484 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 178677 176944 269 96 0 177889 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 723408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23142 /proc/meminfo: memFree=975840/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=718628 CPUtime=1781.82 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 184743 0 0 0 177982 200 0 0 25 0 1 0 20451237 735875072 177920 1992294400 134512640 134902295 4292083184 18446744073709551615 4159814951 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 179657 177920 269 96 0 178869 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 727328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23142 /proc/meminfo: memFree=975468/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=719024 CPUtime=1800.03 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 184847 0 0 0 179803 200 0 0 25 0 1 0 20451237 736280576 178024 1992294400 134512640 134902295 4292083184 18446744073709551615 4159779496 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 179756 178024 269 96 0 178968 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 727724 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 23142 /proc/meminfo: memFree=975468/2059040 swapFree=4140088/4192956 [pid=23088] ppid=23086 vsize=8700 CPUtime=0 /proc/23088/stat : 23088 (run) S 23086 23088 22727 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 20451237 8908800 251 1992294400 4194304 4922060 140735041785136 18446744073709551615 234007141509 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23088/statm: 2175 251 211 178 0 68 0 [pid=23090] ppid=23088 vsize=719024 CPUtime=1800.03 /proc/23090/stat : 23090 (PBPASSolver) R 23088 23088 22727 0 -1 4202496 184847 0 0 0 179803 200 0 0 25 0 1 0 20451237 736280576 178024 1992294400 134512640 134902295 4292083184 18446744073709551615 4159779496 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23090/statm: 179756 178024 269 96 0 178968 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 727724 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23088 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.51 CPU time (s): 1800.03 CPU user time (s): 1798.03 CPU system time (s): 2 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 727724 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 3.20451 second user time and 8.28074 second system time The end
Begin job on node038 at 2010-06-17 18:19:45 IDJOB=2674494 IDBENCH=1424 IDSOLVER=1174 FILE ID=node038/2674494-1276791585 PBS_JOBID= 11176590 Free space on /tmp= 62456 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674494-1276791585/watcher-2674494-1276791585 -o /tmp/evaluation-result-2674494-1276791585/solver-2674494-1276791585 -C 1800 -W 2000 -M 1800 run HOME/instance-2674494-1276791585.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 582e49d5d5904d827aa5677e7d2575f7 RANDOM SEED=1525148036 node038.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.222 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.44 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.222 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1690616 kB Buffers: 95836 kB Cached: 179848 kB SwapCached: 6056 kB Active: 98908 kB Inactive: 189464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1690616 kB SwapTotal: 4192956 kB SwapFree: 4140088 kB Dirty: 1132 kB Writeback: 4 kB AnonPages: 10732 kB Mapped: 12912 kB Slab: 58332 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179828 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= 62456 MiB End job on node038 at 2010-06-17 18:49:47