0.00/0.00	c NaPS 1.02b.
1800.09/1800.40	o 2221
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED *** by signal 15
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	c _____________________________________________________________________________
1800.09/1800.40	c 
1800.09/1800.40	c std/band forms        : 3989,0
1800.09/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.09/1800.40	c BDD/srt/adr Max costs : 2,459823,0
1800.09/1800.40	c BDDraw/bin/mul/srt/adr: 3988,0,0,1,0
1800.09/1800.40	c BDD nodes             : 11964
1800.09/1800.40	c Es1/CC detections     : 0,0
1800.09/1800.40	c SAT/UNSAT calls       : 1,0
1800.09/1800.40	c restarts              : 1
1800.09/1800.40	c conflicts             : 0              (0 /sec)
1800.09/1800.40	c decisions             : 1285           (1 /sec)
1800.09/1800.40	c propagations          : 8439           (5 /sec)
1800.09/1800.40	c inspects              : 0              (0 /sec)
1800.09/1800.40	c CPU time (solving tm) : 1800 s        (0.017 s)
1800.09/1800.40	c Time for Opt-base     : 0.08099 s
1800.09/1800.40	c _____________________________________________________________________________
1800.09/1800.40	v -x464 -x1 -x273 -x465 -x276 -x466 -x277 -x467 -x295 -x468 -x296 -x469 -x301 -x470 -x304 -x471 -x305 -x472 -x343 -x473 -x344 -x474 -x349 -x475 -x352 -x476 -x353 -x477 -x358 -x478 -x363 -x479 -x366 -x480 -x367 -x481 -x2 -x285 -x482 -x291 -x483 -x303 -x484 -x485 -x351 -x486 -x487 -x378 -x488 -x384 -x489 -x428 -x490 -x491 -x492 -x443 -x493 -x452 -x494 -x495 -x3 -x496 -x497 -x498 -x499 -x365 -x500 -x371 -x501 -x4 -x502 -x503 -x504 -x505 -x506 -x5 -x507 -x508 -x509 -x510 -x511 -x512 -x6 -x513 -x514 -x298 -x515 -x308 -x516 -x517 -x518 -x346 -x519 -x356 -x520 -x521 -x360 -x522 -x370 -x523 -x7 -x524 -x525 -x526 -x527 -x528 -x529 -x401 -x530 -x407 -x531 -x532 -x462 -x533 -x8 -x534 -x535 -x300 -x536 -x302 -x537 -x538 -x539 -x348 -x540 -x350 -x541 -x542 -x362 -x543 -x364 -x544 -x9 -x545 -x546 -x547 -x548 -x420 -x549 -x426 -x550 -x435 -x551 -x441 -x552 -x10 -x235 -x553 -x236 -x554 -x241 -x555 -x242 -x556 -x243 -x557 -x558 -x294 -x559 -x560 -x297 -x561 -x562 -x563 -x564 -x345 -x565 -x566 -x567 -x359 -x568 -x569 -x11 -x259 -x570 -x260 -x571 -x572 -x272 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x390 -x580 -x396 -x581 -x582 -x583 -x12 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x292 -x593 -x594 -x595 -x311 -x596 -x597 -x598 -x599 -x600 -x601 -x13 -x602 -x603 -x604 -x605 -x606 -x607 -x320 -x608 -x609 -x610 -x611 -x612 -x613 -x14 -x614 -x615 -x616 -x617 -x307 -x618 -x619 -x355 -x620 -x369 -x621 -x15 -x622 -x623 -x624 -x625 -x626 -x461 -x627 -x16 -x293 -x628 -x629 -x630 -x631 -x632 -x306 -x633 -x327 -x634 -x328 -x635 -x636 -x637 -x354 -x638 -x639 -x640 -x368 -x641 -x17 -x336 -x642 -x342 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x447 -x650 -x651 -x459 -x652 -x18 -x653 -x654 -x655 -x656 -x657 -x658 -x19 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x21 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x24 -x683 -x684 -x685 -x686 -x687 -x688 -x25 -x689 -x690 -x691 -x692 -x26 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x27 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x28 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x29 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x30 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x31 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x32 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x33 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x34 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x299 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x347 -x806 -x807 -x808 -x809 -x361 -x810 -x811 -x812 -x813 -x35 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x411 -x822 -x417 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x36 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x37 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x38 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x39 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x40 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x41 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x42 -x891 -x892 -x278 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x376 -x900 -x379 -x901 -x380 -x902 -x43 -x903 -x904 -x905 -x280 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x373 -x918 -x919 -x920 -x921 -x383 -x922 -x399 -x923 -x402 -x924 -x403 -x925 -x433 -x926 -x451 -x927 -x455 -x928 -x44 -x929 -x930 -x282 -x931 -x284 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x375 -x945 -x946 -x377 -x947 -x948 -x949 -x418 -x950 -x951 -x422 -x952 -x427 -x953 -x436 -x954 -x437 -x955 -x45 -x232 -x956 -x233 -x957 -x958 -x959 -x960 -x961 -x245 -x962 -x246 -x963 -x964 -x256 -x965 -x261 -x966 -x262 -x967 -x263 -x968 -x264 -x969 -x970 -x971 -x972 -x279 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x372 -x990 -x991 -x992 -x993 -x994 -x388 -x995 -x391 -x996 -x392 -x997 -x998 -x999 -x1000 -x46 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x274 -x1016 -x1017 -x1018 -x1019 -x1020 -x283 -x1021 -x286 -x1022 -x287 -x1023 -x1024 -x1025 -x1026 -x1027 -x313 -x1028 -x318 -x1029 -x1030 -x322 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x47 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x289 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x382 -x1059 -x432 -x1060 -x450 -x1061 -x454 -x1062 -x48 -x275 -x1063 -x1064 -x1065 -x1066 -x1067 -x288 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x329 -x1076 -x334 -x1077 -x337 -x1078 -x338 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x381 -x1092 -x1093 -x430 -x1094 -x431 -x1095 -x1096 -x1097 -x448 -x1098 -x449 -x1099 -x453 -x1100 -x49 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x50 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x429 -x1136 -x1137 -x1138 -x1139 -x1140 -x52 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x53 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x54 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x55 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x56 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x57 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x281 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x374 -x1320 -x1321 -x1322 -x1323 -x409 -x1324 -x412 -x1325 -x413 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x58 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x59 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x60 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x61 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x62 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x63 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x64 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x65 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x66 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x67 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x70 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x71 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x72 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x73 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x74 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x75 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x76 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x77 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x78 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x79 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x398 -x1657 -x400 -x1658 -x425 -x1659 -x440 -x1660 -x80 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x249 -x1667 -x250 -x1668 -x269 -x1669 -x270 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x385 -x1684 -x395 -x1685 -x406 -x1686 -x81 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x315 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x82 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x405 -x1730 -x1731 -x83 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x331 -x1740 -x341 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x404 -x1757 -x1758 -x1759 -x1760 -x84 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x85 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x88 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x89 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x90 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x91 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x92 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x416 -x1937 -x1938 -x1939 -x1940 -x93 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x94 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x95 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x96 -x1994 -x1995 -x1996 -x1997 -x253 -x1998 -x254 -x1999 -x257 -x2000 -x258 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x387 -x2014 -x389 -x2015 -x2016 -x2017 -x97 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x317 -x2032 -x319 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x419 -x2040 -x98 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x424 -x2050 -x439 -x2051 -x99 -x2052 -x2053 -x333 -x2054 -x335 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x423 -x2071 -x2072 -x2073 -x438 -x2074 -x100 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x103 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x104 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x105 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x107 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x108 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184
1800.09/1800.40	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x408 -x2200 -x410 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x109 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x110 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x111 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x112 -x2249 -x2250 -x2251 -x2252 -x237 -x2253 -x238 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x314 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x113 -x234 -x2282 -x2283 -x2284 -x2285 -x248 -x2286 -x267 -x2287 -x268 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x394 -x2297 -x2298 -x114 -x239 -x2299 -x240 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x265 -x2309 -x266 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x330 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x393 -x2336 -x2337 -x2338 -x2339 -x115 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x247 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x118 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x119 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x120 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x121 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x122 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x123 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x251 -x2539 -x252 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x386 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x124 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x125 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x126 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x127 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x324 -x2672 -x2673 -x2674 -x2675 -x2676 -x128 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x310 -x2695 -x2696 -x2697 -x2698 -x2699 -x323 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x129 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x130 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x132 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x133 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x134 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x135 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x136 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x137 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x316 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x138 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x139 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x140 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x141 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x340 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x457 -x3010 -x142 -x3011 -x3012 -x3013 -x3014 -x3015 -x143 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x147 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x148 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x149 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x415 -x3111 -x3112 -x3113 -x151 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x152 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x154 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x155 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x339 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x157 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x158 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x160 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x162 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x332 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x414 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x164 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x165 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x166 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x168 -x3425 -x3426 -x3427 -x3428 -x169 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x170 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x171 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x172 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x173 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x174 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x175 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x176 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x180 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x181 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x182 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x183 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x184 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x185 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x197 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x199 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x200 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x201 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x202 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x203 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x204 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x205 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x206 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x207 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x208 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x209 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x210 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x212 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x213 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x214 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x215 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x216 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x217 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x218 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073
1800.09/1800.40	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x219 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x220 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x221 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x222 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x223 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x224 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x225 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x226 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x227 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x228 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x229 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x230 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x231 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x463 -x20 -x22 -x23 -x51 -x68 -x69 -x86 -x87 -x101 -x102 -x106 -x116 -x117 -x131 -x144 -x145 -x146 -x150 -x153 -x156 -x159 -x161 -x163 -x167 -x177 -x178 -x179 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x198 -x211 -x244 -x255 -x271 -x290 -x309 -x312 -x321 -x325 -x326 -x357 -x397 -x421 -x434 -x442 -x444 -x445 -x446 -x456 -x458 -x460

OK	2221

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118594-1467241465/watcher-4118594-1467241465 -o /tmp/evaluation-result-4118594-1467241465/solver-4118594-1467241465 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8020 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118594-1467241465.opb 

pid=8692
running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing Stack size limit: 81920 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.40 2.26 2.19 4/178 8695
/proc/meminfo: memFree=23167888/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=7764 CPUtime=0 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 5099216 7950336 471 33554432000 4194304 5796924 140736001759584 140733249718200 5096591 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 1941 471 117 392 0 1540 0

[startup+0.100119 s]
/proc/loadavg: 2.40 2.26 2.19 4/178 8695
/proc/meminfo: memFree=23167888/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=8560 CPUtime=0.09 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 907 0 0 0 9 0 0 0 20 0 1 0 5099216 8765440 764 33554432000 4194304 5796924 140736001759584 140733249718200 4623737 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 2140 764 129 392 0 1739 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8560

[startup+0.200273 s]
/proc/loadavg: 2.40 2.26 2.19 4/178 8695
/proc/meminfo: memFree=23167888/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=12036 CPUtime=0.19 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 1844 0 0 0 19 0 0 0 20 0 1 0 5099216 12324864 1657 33554432000 4194304 5796924 140736001759584 140733249718200 4870592 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 3009 1657 140 392 0 2608 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12036

[startup+0.300271 s]
/proc/loadavg: 2.40 2.26 2.19 4/178 8695
/proc/meminfo: memFree=23167888/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=12416 CPUtime=0.29 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 1906 0 0 0 29 0 0 0 20 0 1 0 5099216 12713984 1719 33554432000 4194304 5796924 140736001759584 140733249718200 4266485 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 3104 1719 140 392 0 2703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12416

[startup+0.700251 s]
/proc/loadavg: 2.40 2.26 2.19 4/178 8695
/proc/meminfo: memFree=23167888/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=76204 CPUtime=0.69 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 13994 0 0 0 67 2 0 0 20 0 1 0 5099216 78032896 16988 33554432000 4194304 5796924 140736001759584 140736001753896 4623680 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 19051 16988 167 392 0 18650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76204

[startup+1.50025 s]
/proc/loadavg: 2.40 2.26 2.19 4/179 8696
/proc/meminfo: memFree=22987832/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=242740 CPUtime=1.49 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 41202 0 0 0 142 7 0 0 20 0 1 0 5099216 248565760 55551 33554432000 4194304 5796924 140736001759584 140736001753896 4238669 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 60685 55551 167 392 0 60284 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 242740

[startup+3.10026 s]
/proc/loadavg: 2.40 2.26 2.19 4/179 8696
/proc/meminfo: memFree=22921708/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=281816 CPUtime=3.09 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 46610 0 0 0 300 9 0 0 20 0 1 0 5099216 288579584 64386 33554432000 4194304 5796924 140736001759584 140736001756552 4632794 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 70454 64386 167 392 0 70053 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 281816

[startup+6.3003 s]
/proc/loadavg: 2.44 2.27 2.20 4/179 8696
/proc/meminfo: memFree=22911800/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=274584 CPUtime=6.28 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 47949 0 0 0 619 9 0 0 20 0 1 0 5099216 281174016 64021 33554432000 4194304 5796924 140736001759584 140736001756632 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 68646 64021 177 392 0 68245 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 274584

[startup+12.7003 s]
/proc/loadavg: 2.41 2.27 2.20 3/179 8696
/proc/meminfo: memFree=22890400/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=304216 CPUtime=12.69 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 49002 0 0 0 1259 10 0 0 20 0 1 0 5099216 311517184 69668 33554432000 4194304 5796924 140736001759584 140736001756824 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 76054 69668 179 392 0 75653 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 304216

[startup+25.5004 s]
/proc/loadavg: 2.32 2.26 2.19 3/179 8696
/proc/meminfo: memFree=22869644/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=322892 CPUtime=25.49 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 49637 0 0 0 2539 10 0 0 20 0 1 0 5099216 330641408 74336 33554432000 4194304 5796924 140736001759584 140736001756648 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 80723 74336 179 392 0 80322 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 322892

[startup+51.1004 s]
/proc/loadavg: 2.42 2.28 2.20 3/179 8696
/proc/meminfo: memFree=22865676/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=322892 CPUtime=51.08 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 49640 0 0 0 5098 10 0 0 20 0 1 0 5099216 330641408 75361 33554432000 4194304 5796924 140736001759584 140736001756648 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 80723 75361 179 392 0 80322 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 322892

[startup+102.3 s]
/proc/loadavg: 2.32 2.27 2.20 3/179 8697
/proc/meminfo: memFree=22858832/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=322892 CPUtime=102.28 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 50034 0 0 0 10217 11 0 0 20 0 1 0 5099216 330641408 76484 33554432000 4194304 5796924 140736001759584 140736001757048 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 80723 76484 179 392 0 80322 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 322892

[startup+162.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/179 8744
/proc/meminfo: memFree=23534780/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=322892 CPUtime=162.26 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 50331 0 0 0 16215 11 0 0 20 0 1 0 5099216 330641408 76484 33554432000 4194304 5796924 140736001759584 140736001757048 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 80723 76484 179 392 0 80322 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 322892

[startup+222.308 s]
/proc/loadavg: 2.31 2.27 2.20 3/179 8745
/proc/meminfo: memFree=23494084/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=322892 CPUtime=222.26 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 50628 0 0 0 22214 12 0 0 20 0 1 0 5099216 330641408 76484 33554432000 4194304 5796924 140736001759584 140736001757048 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 80723 76484 179 392 0 80322 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 322892

[startup+282.3 s]
/proc/loadavg: 2.44 2.32 2.22 3/179 8747
/proc/meminfo: memFree=23445712/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=282.24 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 51166 0 0 0 28212 12 0 0 20 0 1 0 5099216 381145088 88775 33554432000 4194304 5796924 140736001759584 140736001756872 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 88775 179 392 0 92652 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 372212

[startup+342.3 s]
/proc/loadavg: 2.39 2.32 2.22 4/180 8751
/proc/meminfo: memFree=23448384/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=342.24 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 51660 0 0 0 34210 14 0 0 20 0 1 0 5099216 381145088 86489 33554432000 4194304 5796924 140736001759584 140736001756872 4569014 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 86489 179 392 0 92652 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 372212

[startup+402.3 s]
/proc/loadavg: 2.26 2.29 2.22 3/179 8752
/proc/meminfo: memFree=23444240/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=402.22 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 51956 0 0 0 40208 14 0 0 20 0 1 0 5099216 381145088 85977 33554432000 4194304 5796924 140736001759584 140736001756872 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 85977 179 392 0 92652 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 372212

[startup+462.3 s]
/proc/loadavg: 2.30 2.30 2.22 3/179 8753
/proc/meminfo: memFree=23404936/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=462.22 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 52544 0 0 0 46207 15 0 0 20 0 1 0 5099216 412704768 90652 33554432000 4194304 5796924 140736001759584 140736001757224 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 90652 179 392 0 100357 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 403032

[startup+522.3 s]
/proc/loadavg: 2.27 2.29 2.22 3/179 8754
/proc/meminfo: memFree=23426340/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=322892 CPUtime=522.2 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 52553 0 0 0 52205 15 0 0 20 0 1 0 5099216 330641408 76484 33554432000 4194304 5796924 140736001759584 140736001757048 4592166 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 80723 76484 179 392 0 80322 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 322892

[startup+582.3 s]
/proc/loadavg: 2.22 2.28 2.22 4/179 8756
/proc/meminfo: memFree=23387036/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=582.2 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 52849 0 0 0 58204 16 0 0 20 0 1 0 5099216 381145088 86489 33554432000 4194304 5796924 140736001759584 140736001756872 4592059 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 86489 179 392 0 92652 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 372212

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


[startup+882.307 s]
/proc/loadavg: 2.27 2.28 2.23 3/179 8762
/proc/meminfo: memFree=23368840/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=882.16 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 54343 0 0 0 88196 20 0 0 20 0 1 0 5099216 412704768 95790 33554432000 4194304 5796924 140736001759584 140736001757224 4592017 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 95790 179 392 0 100357 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 403032

[startup+942.3 s]
/proc/loadavg: 2.33 2.28 2.23 3/180 8766
/proc/meminfo: memFree=23380784/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=942.13 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 54960 0 0 0 94192 21 0 0 20 0 1 0 5099216 381145088 85462 33554432000 4194304 5796924 140736001759584 140736001756872 4594730 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 85462 179 392 0 92652 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 372212

[startup+1002.3 s]
/proc/loadavg: 2.39 2.31 2.24 4/179 8767
/proc/meminfo: memFree=23353360/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=1002.12 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 55410 0 0 0 100190 22 0 0 20 0 1 0 5099216 412704768 89958 33554432000 4194304 5796924 140736001759584 140736001757224 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 89958 179 392 0 100357 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 403032

[startup+1062.3 s]
/proc/loadavg: 2.29 2.29 2.24 4/179 8768
/proc/meminfo: memFree=23405276/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=1062.1 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 55871 0 0 0 106188 22 0 0 20 0 1 0 5099216 381145088 86663 33554432000 4194304 5796924 140736001759584 140736001756872 4592023 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 86663 179 392 0 92652 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 372212

[startup+1122.3 s]
/proc/loadavg: 2.23 2.28 2.24 4/179 8769
/proc/meminfo: memFree=23408148/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=1122.09 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 56167 0 0 0 112186 23 0 0 20 0 1 0 5099216 381145088 86263 33554432000 4194304 5796924 140736001759584 140736001756872 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 86263 179 392 0 92652 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 372212

[startup+1182.3 s]
/proc/loadavg: 2.41 2.32 2.25 3/179 8771
/proc/meminfo: memFree=23353504/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=1182.09 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 56576 0 0 0 118185 24 0 0 20 0 1 0 5099216 412704768 90243 33554432000 4194304 5796924 140736001759584 140736001757224 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 90243 179 392 0 100357 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 403032

[startup+1242.3 s]
/proc/loadavg: 2.21 2.27 2.24 3/179 8772
/proc/meminfo: memFree=23403200/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=322892 CPUtime=1242.07 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 56765 0 0 0 124183 24 0 0 20 0 1 0 5099216 330641408 77794 33554432000 4194304 5796924 140736001759584 140736001757048 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 80723 77794 179 392 0 80322 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 322892

[startup+1302.3 s]
/proc/loadavg: 2.17 2.25 2.23 3/179 8773
/proc/meminfo: memFree=23351380/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=1302.06 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 57065 0 0 0 130181 25 0 0 20 0 1 0 5099216 381145088 89847 33554432000 4194304 5796924 140736001759584 140736001756872 4591865 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 89847 179 392 0 92652 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 372212

[startup+1362.3 s]
/proc/loadavg: 2.34 2.29 2.25 3/179 8774
/proc/meminfo: memFree=23325672/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=1362.06 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 57651 0 0 0 136180 26 0 0 20 0 1 0 5099216 412704768 92986 33554432000 4194304 5796924 140736001759584 140736001757224 4592071 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 92986 179 392 0 100357 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 403032

[startup+1422.3 s]
/proc/loadavg: 2.38 2.31 2.26 3/179 8775
/proc/meminfo: memFree=23310972/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=1422.05 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 57659 0 0 0 142179 26 0 0 20 0 1 0 5099216 412704768 97082 33554432000 4194304 5796924 140736001759584 140736001757224 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 97082 179 392 0 100357 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 403032

[startup+1482.3 s]
/proc/loadavg: 2.25 2.28 2.25 3/179 8777
/proc/meminfo: memFree=23285016/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=453120 CPUtime=1482.04 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 57967 0 0 0 148177 27 0 0 20 0 1 0 5099216 463994880 100455 33554432000 4194304 5796924 140736001759584 140736001757224 4592148 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 113280 100455 179 392 0 112879 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 453120

[startup+1542.31 s]
/proc/loadavg: 2.33 2.30 2.26 3/180 8781
/proc/meminfo: memFree=23281364/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=453120 CPUtime=1542.04 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 57973 0 0 0 154177 27 0 0 20 0 1 0 5099216 463994880 103527 33554432000 4194304 5796924 140736001759584 140736001757224 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 113280 103527 179 392 0 112879 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 453120

[startup+1602.3 s]
/proc/loadavg: 2.21 2.27 2.25 3/179 8782
/proc/meminfo: memFree=23350808/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=372212 CPUtime=1602.02 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 58269 0 0 0 160174 28 0 0 20 0 1 0 5099216 381145088 86775 33554432000 4194304 5796924 140736001759584 140736001756872 4592632 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 93053 86775 179 392 0 92652 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 372212

[startup+1662.3 s]
/proc/loadavg: 2.32 2.30 2.26 3/179 8783
/proc/meminfo: memFree=23331376/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=1662.02 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 58646 0 0 0 166173 29 0 0 20 0 1 0 5099216 412704768 90217 33554432000 4194304 5796924 140736001759584 140736001757224 4592059 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 90217 179 392 0 100357 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 403032

[startup+1722.3 s]
/proc/loadavg: 2.41 2.32 2.27 3/179 8784
/proc/meminfo: memFree=23319428/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=1722 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 58863 0 0 0 172171 29 0 0 20 0 1 0 5099216 412704768 94522 33554432000 4194304 5796924 140736001759584 140736001757224 4591861 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 94522 179 392 0 100357 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 403032

[startup+1782.3 s]
/proc/loadavg: 2.33 2.30 2.27 3/178 8785
/proc/meminfo: memFree=23287640/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=403032 CPUtime=1782 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 59014 0 0 0 178170 30 0 0 20 0 1 0 5099216 412704768 97739 33554432000 4194304 5796924 140736001759584 140736001757224 4592031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 100758 97739 179 392 0 100357 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 403032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.23 2.28 2.26 3/179 8786
/proc/meminfo: memFree=23273028/32872528 swapFree=1514864/1684516
[pid=8695] ppid=8692 vsize=453120 CPUtime=1800.09 cores=0,2,4,6
/proc/8695/stat : 8695 (naps-1.02) R 8692 8695 5662 0 -1 4202496 59172 0 0 0 179979 30 0 0 20 0 1 0 5099216 463994880 98919 33554432000 4194304 5796924 140736001759584 140736001757224 4593546 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/8695/statm: 113280 98919 179 392 0 112879 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 453120

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8695 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.8
CPU system time (s): 0.313952
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 453120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.313952
maximum resident set size= 418204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59184
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= 48
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81727 second user time and 7.9078 second system time

The end

Begin job on node135 at 2016-06-30 01:04:25
IDJOB=4118594
IDBENCH=111511
IDSOLVER=2544
FILE ID=node135/4118594-1467241465
RUNJOBID= node135-1467234420-8020
PBS_JOBID= 19997575
Free space on /tmp= 71708 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-edgecross22-096.lin.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118594-1467241465/watcher-4118594-1467241465 -o /tmp/evaluation-result-4118594-1467241465/solver-4118594-1467241465 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1467234420-8020 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118594-1467241465.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cc73ecea61b27a8c48752a7f4c9fa818
RANDOM SEED=2002082944

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        23167780 kB
Buffers:          174448 kB
Cached:          6349172 kB
SwapCached:            0 kB
Active:           918548 kB
Inactive:        6334648 kB
Active(anon):     732536 kB
Inactive(anon):        0 kB
Active(file):     186012 kB
Inactive(file):  6334648 kB
Unevictable:     1684516 kB
Mlocked:         1514864 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4300 kB
Writeback:             0 kB
AnonPages:       2418636 kB
Mapped:            14624 kB
Shmem:               216 kB
Slab:             628536 kB
SReclaimable:      72640 kB
SUnreclaim:       555896 kB
KernelStack:        1472 kB
PageTables:         8952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2545308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988112 kB
HardwareCorrupted:     0 kB
AnonHugePages:    876544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node135 at 2016-06-30 01:34:25