0.00/0.00	c NaPS 1.02b.
1800.07/1800.40	o 0
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED *** by signal 15
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	c 
1800.07/1800.40	c std/band forms        : 4408,0
1800.07/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.07/1800.40	c BDD/srt/adr Max costs : 2,1131268,0
1800.07/1800.40	c BDDraw/bin/mul/srt/adr: 4407,0,0,1,0
1800.07/1800.40	c BDD nodes             : 18341
1800.07/1800.40	c Es1/CC detections     : 0,0
1800.07/1800.40	c SAT/UNSAT calls       : 1,0
1800.07/1800.40	c restarts              : 1
1800.07/1800.40	c conflicts             : 0              (0 /sec)
1800.07/1800.40	c decisions             : 477            (0 /sec)
1800.07/1800.40	c propagations          : 9289           (5 /sec)
1800.07/1800.40	c inspects              : 0              (0 /sec)
1800.07/1800.40	c CPU time (solving tm) : 1800 s        (0.013 s)
1800.07/1800.40	c Time for Opt-base     : 2.222 s
1800.07/1800.40	c _____________________________________________________________________________
1800.07/1800.40	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -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 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -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 -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 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -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 -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 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -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 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -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 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -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 -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 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049
1800.07/1800.40	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -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 -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 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -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 -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 -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 -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 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -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 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -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 -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 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -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 -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 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -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 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -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 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -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 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -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 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -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 -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 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -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 -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 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -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 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -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 -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 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -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 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -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 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -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 -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 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -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
1800.07/1800.40	v -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -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 -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 -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 -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 -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 -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 -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 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50

OK	0

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-4118819-1467271136/watcher-4118819-1467271136 -o /tmp/evaluation-result-4118819-1467271136/solver-4118819-1467271136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1467269332-12351 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118819-1467271136.opb 

pid=12493
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.23 2.21 2.13 3/176 12496
/proc/meminfo: memFree=22317320/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=7764 CPUtime=0 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 603 0 0 0 0 0 0 0 20 0 1 0 6135567 7950336 478 33554432000 4194304 5796924 140737421107904 140736244397400 4806841 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 1941 478 116 392 0 1540 0

[startup+0.100162 s]
/proc/loadavg: 2.23 2.21 2.13 3/176 12496
/proc/meminfo: memFree=22317320/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=10496 CPUtime=0.09 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 1325 0 0 0 9 0 0 0 20 0 1 0 6135567 10747904 1198 33554432000 4194304 5796924 140737421107904 140737421107128 4404063 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 2624 1199 128 392 0 2223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10496

[startup+0.200293 s]
/proc/loadavg: 2.23 2.21 2.13 3/176 12496
/proc/meminfo: memFree=22317320/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=12604 CPUtime=0.19 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 2004 0 0 0 19 0 0 0 20 0 1 0 6135567 12906496 1772 33554432000 4194304 5796924 140737421107904 140737421107128 4266512 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 3151 1772 139 392 0 2750 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12604

[startup+0.300277 s]
/proc/loadavg: 2.23 2.21 2.13 3/176 12496
/proc/meminfo: memFree=22317320/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=13080 CPUtime=0.29 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 2095 0 0 0 29 0 0 0 20 0 1 0 6135567 13393920 1863 33554432000 4194304 5796924 140737421107904 140737421107128 4806891 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 3270 1863 139 392 0 2869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13080

[startup+0.700189 s]
/proc/loadavg: 2.23 2.21 2.13 3/176 12496
/proc/meminfo: memFree=22317320/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=13140 CPUtime=0.69 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 3259 0 0 0 69 0 0 0 20 0 1 0 6135567 13455360 2793 33554432000 4194304 5796924 140737421107904 140737421107128 4865437 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 3285 2793 159 392 0 2884 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13140

[startup+1.50023 s]
/proc/loadavg: 2.23 2.21 2.13 2/177 12497
/proc/meminfo: memFree=22304600/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=13140 CPUtime=1.49 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 3259 0 0 0 149 0 0 0 20 0 1 0 6135567 13455360 2793 33554432000 4194304 5796924 140737421107904 140737421104888 4295683 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 3285 2793 159 392 0 2884 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13140

[startup+3.10028 s]
/proc/loadavg: 2.13 2.19 2.12 2/177 12497
/proc/meminfo: memFree=22304360/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=128200 CPUtime=3.09 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 20410 0 0 0 306 3 0 0 20 0 1 0 6135567 131276800 29799 33554432000 4194304 5796924 140737421107904 140737421094792 4564234 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 32050 29801 166 392 0 31649 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 128200

[startup+6.30025 s]
/proc/loadavg: 2.13 2.19 2.12 3/177 12543
/proc/meminfo: memFree=28484600/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=685516 CPUtime=6.29 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 79329 0 0 0 611 18 0 0 20 0 1 0 6135567 701968384 153927 33554432000 4194304 5796924 140737421107904 140737421105592 4648126 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 171379 153927 166 392 0 170978 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 685516

[startup+12.7003 s]
/proc/loadavg: 2.11 2.18 2.12 3/177 12543
/proc/meminfo: memFree=28429052/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=681940 CPUtime=12.69 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 85193 0 0 0 1248 21 0 0 20 0 1 0 6135567 698306560 154006 33554432000 4194304 5796924 140737421107904 140737421104952 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 170485 154006 176 392 0 170084 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 681940

[startup+25.5004 s]
/proc/loadavg: 2.09 2.18 2.12 4/177 12543
/proc/meminfo: memFree=28382720/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=681940 CPUtime=25.49 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 85320 0 0 0 2528 21 0 0 20 0 1 0 6135567 698306560 155170 33554432000 4194304 5796924 140737421107904 140737421104952 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 170485 155170 176 392 0 170084 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 681940

[startup+51.1004 s]
/proc/loadavg: 2.18 2.19 2.13 3/177 12543
/proc/meminfo: memFree=28373708/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=683760 CPUtime=51.08 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 86836 0 0 0 5085 23 0 0 20 0 1 0 6135567 700170240 155628 33554432000 4194304 5796924 140737421107904 140737421104888 4592023 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 170940 155628 178 392 0 170539 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 683760

[startup+102.3 s]
/proc/loadavg: 2.20 2.19 2.13 3/178 12548
/proc/meminfo: memFree=28347852/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=716116 CPUtime=102.27 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 88154 0 0 0 10203 24 0 0 20 0 1 0 6135567 733302784 162042 33554432000 4194304 5796924 140737421107904 140737421105544 4593258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 179029 162042 178 392 0 178628 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 716116

[startup+162.3 s]
/proc/loadavg: 2.17 2.18 2.13 3/177 12549
/proc/meminfo: memFree=28328660/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=685740 CPUtime=162.26 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 88342 0 0 0 16201 25 0 0 20 0 1 0 6135567 702197760 157167 33554432000 4194304 5796924 140737421107904 140737421105016 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 171435 157167 178 392 0 171034 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 685740

[startup+222.307 s]
/proc/loadavg: 2.22 2.19 2.13 3/177 12550
/proc/meminfo: memFree=28366032/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=686228 CPUtime=222.24 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 89522 0 0 0 22197 27 0 0 20 0 1 0 6135567 702697472 157219 33554432000 4194304 5796924 140737421107904 140737421105368 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 171557 157219 178 392 0 171156 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 686228

[startup+282.3 s]
/proc/loadavg: 2.14 2.17 2.12 3/177 12551
/proc/meminfo: memFree=28309324/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=717880 CPUtime=282.23 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 90716 0 0 0 28195 28 0 0 20 0 1 0 6135567 735109120 160964 33554432000 4194304 5796924 140737421107904 140737421104888 4592055 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 179470 160964 178 392 0 179069 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 717880

[startup+342.3 s]
/proc/loadavg: 2.23 2.18 2.13 3/177 12552
/proc/meminfo: memFree=28339004/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=718232 CPUtime=342.21 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 90838 0 0 0 34193 28 0 0 20 0 1 0 6135567 735469568 164136 33554432000 4194304 5796924 140737421107904 140737421105176 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 179558 164136 178 392 0 179157 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 718232

[startup+402.3 s]
/proc/loadavg: 2.30 2.21 2.14 3/176 12553
/proc/meminfo: memFree=28303948/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=721276 CPUtime=402.2 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 92505 0 0 0 40190 30 0 0 20 0 1 0 6135567 738586624 161751 33554432000 4194304 5796924 140737421107904 140737421105544 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180319 161751 178 392 0 179918 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 721276

[startup+462.3 s]
/proc/loadavg: 2.30 2.22 2.14 3/177 12555
/proc/meminfo: memFree=28338008/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=721276 CPUtime=462.19 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 92512 0 0 0 46189 30 0 0 20 0 1 0 6135567 738586624 164850 33554432000 4194304 5796924 140737421107904 140737421105544 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180319 164850 178 392 0 179918 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 721276

[startup+522.3 s]
/proc/loadavg: 2.28 2.22 2.15 3/177 12556
/proc/meminfo: memFree=28286500/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=721276 CPUtime=522.18 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 92518 0 0 0 52188 30 0 0 20 0 1 0 6135567 738586624 167411 33554432000 4194304 5796924 140737421107904 140737421105544 4591992 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180319 167411 178 392 0 179918 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 721276

[startup+582.3 s]
/proc/loadavg: 2.23 2.22 2.15 4/177 12557
/proc/meminfo: memFree=28267880/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=771364 CPUtime=582.16 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 92845 0 0 0 58186 30 0 0 20 0 1 0 6135567 789876736 168760 33554432000 4194304 5796924 140737421107904 140737421105544 4592040 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 192841 168760 178 392 0 192440 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 771364

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


[startup+882.307 s]
/proc/loadavg: 2.23 2.20 2.15 3/177 12566
/proc/meminfo: memFree=28320368/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=723336 CPUtime=882.13 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 94125 0 0 0 88180 33 0 0 20 0 1 0 6135567 740696064 167587 33554432000 4194304 5796924 140737421107904 140737421105544 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180834 167587 178 392 0 180433 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 723336

[startup+942.3 s]
/proc/loadavg: 2.20 2.19 2.15 3/177 12567
/proc/meminfo: memFree=28308864/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=723336 CPUtime=942.11 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 95556 0 0 0 94175 36 0 0 20 0 1 0 6135567 740696064 161443 33554432000 4194304 5796924 140737421107904 140737421105544 4593716 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180834 161443 178 392 0 180433 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 723336

[startup+1002.3 s]
/proc/loadavg: 2.17 2.18 2.15 3/177 12568
/proc/meminfo: memFree=28288248/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=723336 CPUtime=1002.1 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 95561 0 0 0 100174 36 0 0 20 0 1 0 6135567 740696064 163492 33554432000 4194304 5796924 140737421107904 140737421105544 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180834 163492 178 392 0 180433 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 723336

[startup+1062.3 s]
/proc/loadavg: 2.32 2.21 2.16 3/177 12570
/proc/meminfo: memFree=28283888/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=723336 CPUtime=1062.09 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 96239 0 0 0 106171 38 0 0 20 0 1 0 6135567 740696064 161460 33554432000 4194304 5796924 140737421107904 140737421105544 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180834 161460 178 392 0 180433 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 723336

[startup+1122.3 s]
/proc/loadavg: 2.39 2.24 2.17 3/177 12571
/proc/meminfo: memFree=28336944/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=723336 CPUtime=1122.08 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 96244 0 0 0 112170 38 0 0 20 0 1 0 6135567 740696064 163509 33554432000 4194304 5796924 140737421107904 140737421105544 4606518 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180834 163509 178 392 0 180433 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 723336

[startup+1182.3 s]
/proc/loadavg: 2.21 2.22 2.17 3/177 12572
/proc/meminfo: memFree=28290288/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=723336 CPUtime=1182.07 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 96293 0 0 0 118169 38 0 0 20 0 1 0 6135567 740696064 166113 33554432000 4194304 5796924 140737421107904 140737421105544 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 180834 166113 178 392 0 180433 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 723336

[startup+1242.3 s]
/proc/loadavg: 2.17 2.20 2.17 3/177 12573
/proc/meminfo: memFree=28270248/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=724236 CPUtime=1242.06 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 96497 0 0 0 124168 38 0 0 20 0 1 0 6135567 741617664 167850 33554432000 4194304 5796924 140737421107904 140737421104888 4592031 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181059 167850 178 392 0 180658 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 724236

[startup+1302.3 s]
/proc/loadavg: 2.17 2.19 2.17 3/178 12577
/proc/meminfo: memFree=28285468/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=693800 CPUtime=1302.05 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 97960 0 0 0 130165 40 0 0 20 0 1 0 6135567 710451200 160160 33554432000 4194304 5796924 140737421107904 140737421105368 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 173450 160160 178 392 0 173049 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 693800

[startup+1362.3 s]
/proc/loadavg: 2.19 2.19 2.17 3/177 12579
/proc/meminfo: memFree=28340780/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=724620 CPUtime=1362.05 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 98082 0 0 0 136164 41 0 0 20 0 1 0 6135567 742010880 162326 33554432000 4194304 5796924 140737421107904 140737421105544 4591923 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181155 162326 178 392 0 180754 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 724620

[startup+1422.3 s]
/proc/loadavg: 2.10 2.16 2.16 3/177 12580
/proc/meminfo: memFree=28296932/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=724620 CPUtime=1422.05 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 98087 0 0 0 142164 41 0 0 20 0 1 0 6135567 742010880 164375 33554432000 4194304 5796924 140737421107904 140737421105544 4595464 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181155 164375 178 392 0 180754 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 724620

[startup+1482.3 s]
/proc/loadavg: 2.20 2.18 2.16 3/177 12581
/proc/meminfo: memFree=28280472/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=724940 CPUtime=1482.03 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 98148 0 0 0 148162 41 0 0 20 0 1 0 6135567 742338560 165969 33554432000 4194304 5796924 140737421107904 140737421104888 4591913 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181235 165969 178 392 0 180834 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 724940

[startup+1542.31 s]
/proc/loadavg: 2.26 2.19 2.17 3/177 12582
/proc/meminfo: memFree=28259692/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=724940 CPUtime=1542.03 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 98163 0 0 0 154162 41 0 0 20 0 1 0 6135567 742338560 168539 33554432000 4194304 5796924 140737421107904 140737421104888 4591861 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181235 168539 178 392 0 180834 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 724940

[startup+1602.3 s]
/proc/loadavg: 2.26 2.20 2.17 3/177 12583
/proc/meminfo: memFree=28239332/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=775616 CPUtime=1602.01 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 99126 0 0 0 160159 42 0 0 20 0 1 0 6135567 794230784 171028 33554432000 4194304 5796924 140737421107904 140737421105016 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 193904 171028 178 392 0 193503 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 775616

[startup+1662.3 s]
/proc/loadavg: 2.31 2.23 2.18 3/177 12585
/proc/meminfo: memFree=28342032/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=726036 CPUtime=1662 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 99901 0 0 0 166156 44 0 0 20 0 1 0 6135567 743460864 162135 33554432000 4194304 5796924 140737421107904 140737421105016 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181509 162135 178 392 0 181108 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 726036

[startup+1722.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 12586
/proc/meminfo: memFree=28297796/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=726756 CPUtime=1721.97 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 100108 0 0 0 172153 44 0 0 20 0 1 0 6135567 744198144 164925 33554432000 4194304 5796924 140737421107904 140737421105016 4606531 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181689 164925 178 392 0 181288 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 726756

[startup+1782.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/177 12587
/proc/meminfo: memFree=28295124/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=696456 CPUtime=1781.97 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 100811 0 0 0 178152 45 0 0 20 0 1 0 6135567 713170944 161893 33554432000 4194304 5796924 140737421107904 140737421105368 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 174114 161893 178 392 0 173713 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 696456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 12587
/proc/meminfo: memFree=28289352/32872528 swapFree=1199948/1314412
[pid=12496] ppid=12493 vsize=727276 CPUtime=1800.07 cores=0,2,4,6
/proc/12496/stat : 12496 (naps-1.02) R 12493 12496 12151 0 -1 4202496 100893 0 0 0 179961 46 0 0 20 0 1 0 6135567 744730624 162996 33554432000 4194304 5796924 140737421107904 140737421105544 4607171 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/12496/statm: 181819 162996 178 392 0 181418 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 727276

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 12496 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.08
CPU user time (s): 1799.61
CPU system time (s): 0.469928
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 825120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.469928
maximum resident set size= 741136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100905
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= 98
involuntary context switches= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.24235 second user time and 7.2219 second system time

The end

Begin job on node131 at 2016-06-30 09:18:57
IDJOB=4118819
IDBENCH=111536
IDSOLVER=2544
FILE ID=node131/4118819-1467271136
RUNJOBID= node131-1467269332-12351
PBS_JOBID= 20004502
Free space on /tmp= 71624 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118819-1467271136/watcher-4118819-1467271136 -o /tmp/evaluation-result-4118819-1467271136/solver-4118819-1467271136 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1467269332-12351 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118819-1467271136.opb

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

MD5SUM BENCH= aab1aa19ee49ed77df3100abf5070097
RANDOM SEED=1129092758

node131.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.334
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	: 5332.66
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.334
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.334
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.55
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.334
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.54
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.334
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.56
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.334
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.334
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.55
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.334
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:        22317476 kB
Buffers:          111200 kB
Cached:          1513184 kB
SwapCached:            0 kB
Active:          7101356 kB
Inactive:        1379128 kB
Active(anon):    6858572 kB
Inactive(anon):        0 kB
Active(file):     242784 kB
Inactive(file):  1379128 kB
Unevictable:     1314412 kB
Mlocked:         1199948 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4292 kB
Writeback:             0 kB
AnonPages:       8225556 kB
Mapped:            13828 kB
Shmem:               204 kB
Slab:             608688 kB
SReclaimable:      53044 kB
SUnreclaim:       555644 kB
KernelStack:        1472 kB
PageTables:        20236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    8436232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2179072 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= 71724 MiB
End job on node131 at 2016-06-30 09:48:57