0.00/0.00	c NaPS 1.02b.
1800.00/1800.30	o 173
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED *** by signal 15
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	c _____________________________________________________________________________
1800.00/1800.30	c 
1800.00/1800.30	c std/band forms        : 1,0
1800.00/1800.30	c 2cl/3cl ITE-codings   : 0,0
1800.00/1800.30	c BDD/srt/adr Max costs : 0,364250,0
1800.00/1800.30	c BDDraw/bin/mul/srt/adr: 0,0,0,1,0
1800.00/1800.30	c BDD nodes             : 0
1800.00/1800.30	c Es1/CC detections     : 0,0
1800.00/1800.30	c SAT/UNSAT calls       : 1,0
1800.00/1800.30	c restarts              : 1
1800.00/1800.30	c conflicts             : 0              (0 /sec)
1800.00/1800.30	c decisions             : 4504           (3 /sec)
1800.00/1800.30	c propagations          : 4676           (3 /sec)
1800.00/1800.30	c inspects              : 0              (0 /sec)
1800.00/1800.30	c CPU time (solving tm) : 1800 s        (0.000999 s)
1800.00/1800.30	c Time for Opt-base     : 0.002 s
1800.00/1800.30	c _____________________________________________________________________________
1800.00/1800.30	v -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 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
1800.00/1800.30	v -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 -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
1800.00/1800.30	v -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 -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 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676

OK	173

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-4082673-1465233979/watcher-4082673-1465233979 -o /tmp/evaluation-result-4082673-1465233979/solver-4082673-1465233979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465219565-1168 --watchdog 1960 naps-1.02 HOME/instance-4082673-1465233979.opb 

pid=3391
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 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.21 2.19 2.18 3/176 3394
/proc/meminfo: memFree=30194252/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=7756 CPUtime=0 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 605 0 0 0 0 0 0 0 20 0 1 0 105331095 7942144 479 33554432000 4194304 5796924 140733306683824 140733628926712 5092502 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 1939 479 116 392 0 1538 0

[startup+0.100163 s]
/proc/loadavg: 2.21 2.19 2.18 3/176 3394
/proc/meminfo: memFree=30194252/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=16492 CPUtime=0.09 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 3583 0 0 0 9 0 0 0 20 0 1 0 105331095 16887808 2603 33554432000 4194304 5796924 140733306683824 140733628926712 4245175 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 4123 2603 156 392 0 3722 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16492

[startup+0.200313 s]
/proc/loadavg: 2.21 2.19 2.18 3/176 3394
/proc/meminfo: memFree=30194252/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=35536 CPUtime=0.19 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 7342 0 0 0 18 1 0 0 20 0 1 0 105331095 36388864 7106 33554432000 4194304 5796924 140733306683824 140733628926712 5363594 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 8884 7129 158 392 0 8483 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35536

[startup+0.300335 s]
/proc/loadavg: 2.21 2.19 2.18 3/176 3394
/proc/meminfo: memFree=30194252/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=67128 CPUtime=0.29 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 14271 0 0 0 27 2 0 0 20 0 1 0 105331095 68739072 15268 33554432000 4194304 5796924 140733306683824 140733628926712 4621249 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 16782 15269 158 392 0 16381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67128

[startup+0.700295 s]
/proc/loadavg: 2.21 2.19 2.18 3/176 3394
/proc/meminfo: memFree=30194252/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=148884 CPUtime=0.69 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 25885 0 0 0 65 4 0 0 20 0 1 0 105331095 152457216 33897 33554432000 4194304 5796924 140733306683824 140733628926712 4633897 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 37221 33897 159 392 0 36820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 148884

[startup+1.50029 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 3395
/proc/meminfo: memFree=30022540/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=179608 CPUtime=1.49 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 30739 0 0 0 143 6 0 0 20 0 1 0 105331095 183918592 40961 33554432000 4194304 5796924 140733306683824 140733306681144 4650812 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 44902 40961 159 392 0 44501 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179608

[startup+3.1003 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 3395
/proc/meminfo: memFree=30033064/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=172424 CPUtime=3.09 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 31056 0 0 0 303 6 0 0 20 0 1 0 105331095 176562176 40081 33554432000 4194304 5796924 140733306683824 140733306681672 4583342 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 43106 40081 169 392 0 42705 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172424

[startup+6.3003 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 3395
/proc/meminfo: memFree=30033312/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=172424 CPUtime=6.29 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 31058 0 0 0 623 6 0 0 20 0 1 0 105331095 176562176 40083 33554432000 4194304 5796924 140733306683824 140733306681672 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 43106 40083 171 392 0 42705 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 172424

[startup+12.7003 s]
/proc/loadavg: 2.18 2.18 2.18 3/177 3395
/proc/meminfo: memFree=30029812/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=191100 CPUtime=12.69 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 31575 0 0 0 1263 6 0 0 20 0 1 0 105331095 195686400 41096 33554432000 4194304 5796924 140733306683824 140733306681064 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 47775 41096 171 392 0 47374 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 191100

[startup+25.5004 s]
/proc/loadavg: 2.14 2.17 2.18 3/177 3395
/proc/meminfo: memFree=30015004/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=191100 CPUtime=25.48 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 31693 0 0 0 2542 6 0 0 20 0 1 0 105331095 195686400 44788 33554432000 4194304 5796924 140733306683824 140733306681064 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 47775 44788 171 392 0 47374 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 191100

[startup+51.1004 s]
/proc/loadavg: 2.15 2.17 2.18 3/177 3395
/proc/meminfo: memFree=29951712/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=217308 CPUtime=51.08 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 32224 0 0 0 5101 7 0 0 20 0 1 0 105331095 222523392 50902 33554432000 4194304 5796924 140733306683824 140733306680888 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 54327 50902 171 392 0 53926 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 217308

[startup+102.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/177 3396
/proc/meminfo: memFree=29970268/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=235984 CPUtime=102.28 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 32687 0 0 0 10221 7 0 0 20 0 1 0 105331095 241647616 55955 33554432000 4194304 5796924 140733306683824 140733306680888 4606704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 58996 55955 171 392 0 58595 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 235984

[startup+162.3 s]
/proc/loadavg: 2.34 2.22 2.19 4/177 3397
/proc/meminfo: memFree=29970388/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=235984 CPUtime=162.26 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 32687 0 0 0 16219 7 0 0 20 0 1 0 105331095 241647616 55955 33554432000 4194304 5796924 140733306683824 140733306680888 4606410 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 58996 55955 171 392 0 58595 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 235984

[startup+222.307 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 3401
/proc/meminfo: memFree=29929040/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=235984 CPUtime=222.27 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 32687 0 0 0 22219 8 0 0 20 0 1 0 105331095 241647616 55955 33554432000 4194304 5796924 140733306683824 140733306680888 4569019 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 58996 55955 171 392 0 58595 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 235984

[startup+282.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/178 3403
/proc/meminfo: memFree=29937220/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=235984 CPUtime=282.25 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 32687 0 0 0 28217 8 0 0 20 0 1 0 105331095 241647616 55955 33554432000 4194304 5796924 140733306683824 140733306680888 4593669 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 58996 55955 171 392 0 58595 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 235984

[startup+342.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 3404
/proc/meminfo: memFree=29970120/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=235984 CPUtime=342.24 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 32687 0 0 0 34216 8 0 0 20 0 1 0 105331095 241647616 55955 33554432000 4194304 5796924 140733306683824 140733306680888 4606579 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 58996 55955 171 392 0 58595 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 235984

[startup+402.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 3405
/proc/meminfo: memFree=29912960/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=247976 CPUtime=402.23 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 33273 0 0 0 40215 8 0 0 20 0 1 0 105331095 253927424 59026 33554432000 4194304 5796924 140733306683824 140733306680888 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 61994 59026 171 392 0 61593 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 247976

[startup+462.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 3406
/proc/meminfo: memFree=29921144/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=247976 CPUtime=462.22 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 33273 0 0 0 46214 8 0 0 20 0 1 0 105331095 253927424 59026 33554432000 4194304 5796924 140733306683824 140733306680888 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 61994 59026 171 392 0 61593 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 247976

[startup+522.3 s]
/proc/loadavg: 2.28 2.25 2.20 3/177 3452
/proc/meminfo: memFree=30023780/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=247976 CPUtime=522.21 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 33273 0 0 0 52213 8 0 0 20 0 1 0 105331095 253927424 59026 33554432000 4194304 5796924 140733306683824 140733306680888 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 61994 59026 171 392 0 61593 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 247976

[startup+582.3 s]
/proc/loadavg: 2.33 2.27 2.20 4/176 3453
/proc/meminfo: memFree=30014224/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=247976 CPUtime=582.2 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 33273 0 0 0 58212 8 0 0 20 0 1 0 105331095 253927424 59026 33554432000 4194304 5796924 140733306683824 140733306680888 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 61994 59026 171 392 0 61593 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 247976


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


[startup+942.3 s]
/proc/loadavg: 2.32 2.27 2.20 3/177 3464
/proc/meminfo: memFree=29986260/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=942.12 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 34653 0 0 0 94202 10 0 0 20 0 1 0 105331095 307535872 68592 33554432000 4194304 5796924 140733306683824 140733306681288 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 68592 171 392 0 74681 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 300328

[startup+1002.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/177 3465
/proc/meminfo: memFree=29976528/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=251008 CPUtime=1002.12 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 34661 0 0 0 100201 11 0 0 20 0 1 0 105331095 257032192 60748 33554432000 4194304 5796924 140733306683824 140733306681288 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 62752 60748 171 392 0 62351 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 251008

[startup+1062.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/177 3466
/proc/meminfo: memFree=29974356/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=251008 CPUtime=1062.1 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 34847 0 0 0 106199 11 0 0 20 0 1 0 105331095 257032192 60748 33554432000 4194304 5796924 140733306683824 140733306681288 4607753 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 62752 60748 171 392 0 62351 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 251008

[startup+1122.3 s]
/proc/loadavg: 2.31 2.27 2.20 4/177 3467
/proc/meminfo: memFree=29973980/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=251008 CPUtime=1122.09 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 35198 0 0 0 112197 12 0 0 20 0 1 0 105331095 257032192 60748 33554432000 4194304 5796924 140733306683824 140733306681288 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 62752 60748 171 392 0 62351 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 251008

[startup+1182.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/177 3468
/proc/meminfo: memFree=29924768/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=331148 CPUtime=1182.08 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 35983 0 0 0 118195 13 0 0 20 0 1 0 105331095 339095552 73779 33554432000 4194304 5796924 140733306683824 140733306681464 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 82787 73779 171 392 0 82386 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 331148

[startup+1242.3 s]
/proc/loadavg: 2.22 2.25 2.20 3/177 3470
/proc/meminfo: memFree=29929304/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1242.08 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 36169 0 0 0 124194 14 0 0 20 0 1 0 105331095 307535872 72176 33554432000 4194304 5796924 140733306683824 140733306681112 4607209 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 72176 171 392 0 74681 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 300328

[startup+1302.3 s]
/proc/loadavg: 2.19 2.24 2.19 3/177 3471
/proc/meminfo: memFree=29931232/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1302.07 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 36576 0 0 0 130192 15 0 0 20 0 1 0 105331095 307535872 71664 33554432000 4194304 5796924 140733306683824 140733306681112 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 71664 171 392 0 74681 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 300328

[startup+1362.3 s]
/proc/loadavg: 2.16 2.22 2.19 4/177 3472
/proc/meminfo: memFree=29935460/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1362.06 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 37324 0 0 0 136189 17 0 0 20 0 1 0 105331095 307535872 70128 33554432000 4194304 5796924 140733306683824 140733306681112 4606507 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 70128 171 392 0 74681 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 300328

[startup+1422.3 s]
/proc/loadavg: 2.10 2.19 2.18 3/178 3476
/proc/meminfo: memFree=29941348/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1422.05 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 38106 0 0 0 142187 18 0 0 20 0 1 0 105331095 307535872 68592 33554432000 4194304 5796924 140733306683824 140733306681288 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 68592 171 392 0 74681 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 300328

[startup+1482.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/178 3477
/proc/meminfo: memFree=29916620/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=331148 CPUtime=1482.04 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 38709 0 0 0 148185 19 0 0 20 0 1 0 105331095 339095552 74291 33554432000 4194304 5796924 140733306683824 140733306681464 4596869 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 82787 74291 171 392 0 82386 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 331148

[startup+1542.31 s]
/proc/loadavg: 2.16 2.19 2.18 3/177 3479
/proc/meminfo: memFree=29923464/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1542.04 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 38896 0 0 0 154184 20 0 0 20 0 1 0 105331095 307535872 72688 33554432000 4194304 5796924 140733306683824 140733306681112 4607171 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 72688 171 392 0 74681 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 300328

[startup+1602.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 3480
/proc/meminfo: memFree=29933588/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1602.03 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 39680 0 0 0 160181 22 0 0 20 0 1 0 105331095 307535872 70128 33554432000 4194304 5796924 140733306683824 140733306681112 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 70128 171 392 0 74681 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 300328

[startup+1662.3 s]
/proc/loadavg: 2.32 2.22 2.19 3/177 3481
/proc/meminfo: memFree=29970720/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=251008 CPUtime=1662.01 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 40275 0 0 0 166179 22 0 0 20 0 1 0 105331095 257032192 60748 33554432000 4194304 5796924 140733306683824 140733306681288 4606469 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 62752 60748 171 392 0 62351 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 251008

[startup+1722.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 3482
/proc/meminfo: memFree=29902580/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=331148 CPUtime=1722.01 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 41056 0 0 0 172177 24 0 0 20 0 1 0 105331095 339095552 73779 33554432000 4194304 5796924 140733306683824 140733306681464 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 82787 73779 171 392 0 82386 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 331148

[startup+1782.3 s]
/proc/loadavg: 2.11 2.17 2.17 3/177 3483
/proc/meminfo: memFree=29914064/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1782 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 41241 0 0 0 178175 25 0 0 20 0 1 0 105331095 307535872 70128 33554432000 4194304 5796924 140733306683824 140733306681112 4606433 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 70128 171 392 0 74681 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 300328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/177 3484
/proc/meminfo: memFree=29906616/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1800 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 41245 0 0 0 179975 25 0 0 20 0 1 0 105331095 307535872 72176 33554432000 4194304 5796924 140733306683824 140733306681112 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 72176 171 392 0 74681 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 300328

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 3394 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/177 3484
/proc/meminfo: memFree=29906616/32872528 swapFree=16360/1798728
[pid=3394] ppid=3391 vsize=300328 CPUtime=1800 cores=0,2,4,6
/proc/3394/stat : 3394 (naps-1.02) R 3391 3394 1152 0 -1 4202496 41245 0 0 0 179975 25 0 0 20 0 1 0 105331095 307535872 72176 33554432000 4194304 5796924 140733306683824 140733306681112 4606847 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/3394/statm: 75082 72176 171 392 0 74681 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 300328

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.75
CPU system time (s): 0.251961
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 331148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.251961
maximum resident set size= 301260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41257
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= 40
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43732 second user time and 7.02193 second system time

The end

Begin job on node123 at 2016-06-06 19:26:19
IDJOB=4082673
IDBENCH=2048
IDSOLVER=2544
FILE ID=node123/4082673-1465233979
RUNJOBID= node123-1465219565-1168
PBS_JOBID= 19843215
Free space on /tmp= 71732 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4082673-1465233979/watcher-4082673-1465233979 -o /tmp/evaluation-result-4082673-1465233979/solver-4082673-1465233979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465219565-1168 --watchdog 1960  naps-1.02 HOME/instance-4082673-1465233979.opb

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

MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731
RANDOM SEED=1814694684

node123.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		: 2667.117
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	: 5334.23
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		: 2667.117
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		: 2667.117
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.56
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		: 2667.117
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.55
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		: 2667.117
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.55
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		: 2667.117
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.57
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		: 2667.117
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		: 2667.117
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:        30194888 kB
Buffers:           14256 kB
Cached:            66132 kB
SwapCached:         1832 kB
Active:           139056 kB
Inactive:          40048 kB
Active(anon):      99020 kB
Inactive(anon):     2052 kB
Active(file):      40036 kB
Inactive(file):    37996 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098732 kB
Dirty:              3948 kB
Writeback:             0 kB
AnonPages:       1897020 kB
Mapped:             7816 kB
Shmem:                 0 kB
Slab:             566044 kB
SReclaimable:      10296 kB
SUnreclaim:       555748 kB
KernelStack:        1424 kB
PageTables:         8088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2012580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1871872 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= 71728 MiB
End job on node123 at 2016-06-06 19:56:20