0.00/0.00	c NaPS 1.02b.
1800.00/1800.30	o 89
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             : 4588           (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.001 s)
1800.00/1800.30	c Time for Opt-base     : 0 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	89

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-4082678-1465233824/watcher-4082678-1465233824 -o /tmp/evaluation-result-4082678-1465233824/solver-4082678-1465233824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465220629-5807 --watchdog 1960 naps-1.02 HOME/instance-4082678-1465233824.opb 

pid=7485
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.13 2.13 2.15 3/176 7488
/proc/meminfo: memFree=30671912/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=7756 CPUtime=0 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 604 0 0 0 0 0 0 0 20 0 1 0 105315399 7942144 479 33554432000 4194304 5796924 140734036189712 140733855810152 5092545 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 1939 479 116 392 0 1538 0

[startup+0.10013 s]
/proc/loadavg: 2.13 2.13 2.15 3/176 7488
/proc/meminfo: memFree=30671912/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=8152 CPUtime=0.09 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 726 0 0 0 9 0 0 0 20 0 1 0 105315399 8347648 600 33554432000 4194304 5796924 140734036189712 140733855810152 5183584 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 2038 600 128 392 0 1637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8152

[startup+0.200239 s]
/proc/loadavg: 2.13 2.13 2.15 3/176 7488
/proc/meminfo: memFree=30671912/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=23844 CPUtime=0.19 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 4666 0 0 0 19 0 0 0 20 0 1 0 105315399 24416256 4377 33554432000 4194304 5796924 140734036189712 140733855810152 4245194 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 5961 4377 156 392 0 5560 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23844

[startup+0.300308 s]
/proc/loadavg: 2.13 2.13 2.15 3/176 7488
/proc/meminfo: memFree=30671912/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=42716 CPUtime=0.29 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 9402 0 0 0 28 1 0 0 20 0 1 0 105315399 43741184 9080 33554432000 4194304 5796924 140734036189712 140733855810152 4659057 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 10679 9081 158 392 0 10278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42716

[startup+0.700322 s]
/proc/loadavg: 2.13 2.13 2.15 3/176 7488
/proc/meminfo: memFree=30671912/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=144824 CPUtime=0.69 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 23984 0 0 0 66 3 0 0 20 0 1 0 105315399 148299776 32095 33554432000 4194304 5796924 140734036189712 140734036187128 4623737 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 36206 32095 159 392 0 35805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144824

[startup+1.50029 s]
/proc/loadavg: 2.13 2.13 2.15 3/177 7489
/proc/meminfo: memFree=30511616/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=179384 CPUtime=1.49 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 31048 0 0 0 144 5 0 0 20 0 1 0 105315399 183689216 40807 33554432000 4194304 5796924 140734036189712 140734036187128 4650228 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 44846 40807 159 392 0 44445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 179384

[startup+3.10029 s]
/proc/loadavg: 2.12 2.13 2.14 3/177 7489
/proc/meminfo: memFree=30512292/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=172204 CPUtime=3.09 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 31217 0 0 0 304 5 0 0 20 0 1 0 105315399 176336896 39782 33554432000 4194304 5796924 140734036189712 140734036187560 4568998 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 43051 39782 171 392 0 42650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 172204

[startup+6.3003 s]
/proc/loadavg: 2.12 2.13 2.14 3/177 7489
/proc/meminfo: memFree=30512328/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=190880 CPUtime=6.29 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 31455 0 0 0 624 5 0 0 20 0 1 0 105315399 195461120 40527 33554432000 4194304 5796924 140734036189712 140734036187560 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 47720 40527 171 392 0 47319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 190880

[startup+12.7003 s]
/proc/loadavg: 2.17 2.14 2.15 3/177 7489
/proc/meminfo: memFree=30504140/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=190880 CPUtime=12.69 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 31740 0 0 0 1263 6 0 0 20 0 1 0 105315399 195461120 41318 33554432000 4194304 5796924 140734036189712 140734036186952 4607198 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 47720 41318 171 392 0 47319 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 190880

[startup+25.5004 s]
/proc/loadavg: 2.15 2.14 2.15 3/177 7489
/proc/meminfo: memFree=30490992/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=198060 CPUtime=25.49 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 31994 0 0 0 2543 6 0 0 20 0 1 0 105315399 202813440 45143 33554432000 4194304 5796924 140734036189712 140734036186952 4620489 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 49515 45143 171 392 0 49114 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 198060

[startup+51.1004 s]
/proc/loadavg: 2.10 2.12 2.14 4/177 7490
/proc/meminfo: memFree=30462264/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=228876 CPUtime=51.08 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 32333 0 0 0 5102 6 0 0 20 0 1 0 105315399 234369024 50583 33554432000 4194304 5796924 140734036189712 140734036186776 4594171 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 57219 50583 171 392 0 56818 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 228876

[startup+102.3 s]
/proc/loadavg: 2.09 2.12 2.14 3/177 7491
/proc/meminfo: memFree=30449688/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=228876 CPUtime=102.28 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 32351 0 0 0 10221 7 0 0 20 0 1 0 105315399 234369024 53155 33554432000 4194304 5796924 140734036189712 140734036186776 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 57219 53155 171 392 0 56818 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 228876

[startup+162.3 s]
/proc/loadavg: 2.12 2.12 2.13 3/177 7492
/proc/meminfo: memFree=30444480/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=228876 CPUtime=162.27 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 32709 0 0 0 16220 7 0 0 20 0 1 0 105315399 234369024 54014 33554432000 4194304 5796924 140734036189712 140734036186776 4596058 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 57219 54014 171 392 0 56818 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 228876

[startup+222.307 s]
/proc/loadavg: 2.15 2.13 2.13 3/177 7493
/proc/meminfo: memFree=30443124/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=228876 CPUtime=222.26 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 33767 0 0 0 22218 8 0 0 20 0 1 0 105315399 234369024 54130 33554432000 4194304 5796924 140734036189712 140734036187176 4569014 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 57219 54130 171 392 0 56818 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 228876

[startup+282.3 s]
/proc/loadavg: 2.10 2.12 2.13 3/177 7494
/proc/meminfo: memFree=30407196/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=278196 CPUtime=282.24 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 34709 0 0 0 28215 9 0 0 20 0 1 0 105315399 284872704 63288 33554432000 4194304 5796924 140734036189712 140734036187000 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 69549 63288 171 392 0 69148 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 278196

[startup+342.3 s]
/proc/loadavg: 2.24 2.15 2.14 3/176 7495
/proc/meminfo: memFree=30409128/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=278196 CPUtime=342.24 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 35654 0 0 0 34213 11 0 0 20 0 1 0 105315399 284872704 62776 33554432000 4194304 5796924 140734036189712 140734036187000 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 69549 62776 171 392 0 69148 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 278196

[startup+402.3 s]
/proc/loadavg: 2.13 2.14 2.13 3/178 7500
/proc/meminfo: memFree=30403044/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=278196 CPUtime=402.23 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 36131 0 0 0 40211 12 0 0 20 0 1 0 105315399 284872704 64312 33554432000 4194304 5796924 140734036189712 140734036187000 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 69549 64312 171 392 0 69148 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 278196

[startup+462.3 s]
/proc/loadavg: 2.29 2.18 2.15 3/177 7501
/proc/meminfo: memFree=30398700/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=278196 CPUtime=462.22 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 36608 0 0 0 46209 13 0 0 20 0 1 0 105315399 284872704 65336 33554432000 4194304 5796924 140734036189712 140734036187000 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 69549 65336 171 392 0 69148 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 278196

[startup+522.3 s]
/proc/loadavg: 2.29 2.20 2.15 4/177 7502
/proc/meminfo: memFree=30441028/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=228876 CPUtime=522.22 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 37087 0 0 0 52208 14 0 0 20 0 1 0 105315399 234369024 54130 33554432000 4194304 5796924 140734036189712 140734036187176 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 57219 54130 171 392 0 56818 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 228876

[startup+582.3 s]
/proc/loadavg: 2.39 2.24 2.17 3/177 7503
/proc/meminfo: memFree=30440824/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=228876 CPUtime=582.2 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 38147 0 0 0 58205 15 0 0 20 0 1 0 105315399 234369024 54130 33554432000 4194304 5796924 140734036189712 140734036187176 4569026 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 57219 54130 171 392 0 56818 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 228876


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.22 2.18 3/177 7510
/proc/meminfo: memFree=30393308/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=278196 CPUtime=942.12 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 43986 0 0 0 94189 23 0 0 20 0 1 0 105315399 284872704 66012 33554432000 4194304 5796924 140734036189712 140734036187000 4607258 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 69549 66012 171 392 0 69148 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 278196

[startup+1002.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/178 7653
/proc/meminfo: memFree=30461064/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=228876 CPUtime=1002.12 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 44578 0 0 0 100187 25 0 0 20 0 1 0 105315399 234369024 55318 33554432000 4194304 5796924 140734036189712 140734036187176 4606816 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 57219 55318 171 392 0 56818 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 228876

[startup+1062.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 7654
/proc/meminfo: memFree=30393364/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=309016 CPUtime=1062.11 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 45643 0 0 0 106184 27 0 0 20 0 1 0 105315399 316432384 69663 33554432000 4194304 5796924 140734036189712 140734036187352 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 77254 69663 171 392 0 76853 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 309016

[startup+1122.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 7655
/proc/meminfo: memFree=30386504/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=309016 CPUtime=1122.1 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 46713 0 0 0 112182 28 0 0 20 0 1 0 105315399 316432384 69151 33554432000 4194304 5796924 140734036189712 140734036187352 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 77254 69151 171 392 0 76853 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 309016

[startup+1182.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/177 7656
/proc/meminfo: memFree=30383588/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=292432 CPUtime=1182.09 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 47717 0 0 0 118179 30 0 0 20 0 1 0 105315399 299450368 68559 33554432000 4194304 5796924 140734036189712 140734036187000 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 73108 68559 171 392 0 72707 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 292432

[startup+1242.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 7657
/proc/meminfo: memFree=30331784/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=323252 CPUtime=1242.08 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 48325 0 0 0 124178 30 0 0 20 0 1 0 105315399 331010048 75794 33554432000 4194304 5796924 140734036189712 140734036187352 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 80813 75794 171 392 0 80412 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 323252

[startup+1302.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/177 7659
/proc/meminfo: memFree=30333724/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=323252 CPUtime=1302.07 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 49394 0 0 0 130175 32 0 0 20 0 1 0 105315399 331010048 73234 33554432000 4194304 5796924 140734036189712 140734036187352 4607171 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 80813 73234 171 392 0 80412 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 323252

[startup+1362.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 7660
/proc/meminfo: memFree=30354784/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=292432 CPUtime=1362.06 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 49875 0 0 0 136173 33 0 0 20 0 1 0 105315399 299450368 68559 33554432000 4194304 5796924 140734036189712 140734036187000 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 73108 68559 171 392 0 72707 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 292432

[startup+1422.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/177 7661
/proc/meminfo: memFree=30325548/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=323252 CPUtime=1422.06 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 50472 0 0 0 142172 34 0 0 20 0 1 0 105315399 331010048 75282 33554432000 4194304 5796924 140734036189712 140734036187352 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 80813 75282 171 392 0 80412 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 323252

[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 7662
/proc/meminfo: memFree=30344304/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=292432 CPUtime=1482.05 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 50952 0 0 0 148170 35 0 0 20 0 1 0 105315399 299450368 70607 33554432000 4194304 5796924 140734036189712 140734036187000 4569014 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 73108 70607 171 392 0 72707 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 292432

[startup+1542.31 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 7663
/proc/meminfo: memFree=30295724/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=323252 CPUtime=1542.04 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 51555 0 0 0 154168 36 0 0 20 0 1 0 105315399 331010048 77842 33554432000 4194304 5796924 140734036189712 140734036187352 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 80813 77842 171 392 0 80412 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 323252

[startup+1602.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/178 7668
/proc/meminfo: memFree=30282520/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=292432 CPUtime=1602.03 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 52147 0 0 0 160165 38 0 0 20 0 1 0 105315399 299450368 71119 33554432000 4194304 5796924 140734036189712 140734036187000 4607232 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 73108 71119 171 392 0 72707 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 292432

[startup+1662.3 s]
/proc/loadavg: 2.15 2.20 2.18 4/177 7669
/proc/meminfo: memFree=30293608/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=323252 CPUtime=1662.02 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 52742 0 0 0 166163 39 0 0 20 0 1 0 105315399 331010048 78354 33554432000 4194304 5796924 140734036189712 140734036187352 4606565 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 80813 78354 171 392 0 80412 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 323252

[startup+1722.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 7670
/proc/meminfo: memFree=30315348/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=323252 CPUtime=1722.01 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 53804 0 0 0 172160 41 0 0 20 0 1 0 105315399 331010048 72722 33554432000 4194304 5796924 140734036189712 140734036187352 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 80813 72722 171 392 0 80412 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 323252

[startup+1782.3 s]
/proc/loadavg: 2.16 2.18 2.18 4/177 7671
/proc/meminfo: memFree=30286104/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=373340 CPUtime=1782 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 54123 0 0 0 178158 42 0 0 20 0 1 0 105315399 382300160 79679 33554432000 4194304 5796924 140734036189712 140734036187352 4606704 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 93335 79679 171 392 0 92934 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 373340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 7671
/proc/meminfo: memFree=30297076/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=292432 CPUtime=1800 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 54593 0 0 0 179957 43 0 0 20 0 1 0 105315399 299450368 67023 33554432000 4194304 5796924 140734036189712 140734036187000 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 73108 67023 171 392 0 72707 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 292432

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

[startup+1800.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/177 7671
/proc/meminfo: memFree=30297076/32872528 swapFree=14956/1314940
[pid=7488] ppid=7485 vsize=292432 CPUtime=1800 cores=0,2,4,6
/proc/7488/stat : 7488 (naps-1.02) R 7485 7488 5791 0 -1 4202496 54593 0 0 0 179957 43 0 0 20 0 1 0 105315399 299450368 67023 33554432000 4194304 5796924 140734036189712 140734036187000 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/7488/statm: 73108 67023 171 392 0 72707 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 292432

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.57
CPU system time (s): 0.435933
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 373340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.435933
maximum resident set size= 320764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54605
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= 35
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.86726 second user time and 6.6 second system time

The end

Begin job on node131 at 2016-06-06 19:23:44
IDJOB=4082678
IDBENCH=2044
IDSOLVER=2544
FILE ID=node131/4082678-1465233824
RUNJOBID= node131-1465220629-5807
PBS_JOBID= 19843221
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= c7b7ba2fb8a9fff5b9677d5bbd1edc0f
RANDOM SEED=697545006

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.395
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.79
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.395
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.395
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.395
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		: 2666.395
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		: 2666.395
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.56
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.395
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.395
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:        30672440 kB
Buffers:           17572 kB
Cached:           112304 kB
SwapCached:         4708 kB
Active:           113572 kB
Inactive:          73316 kB
Active(anon):      55464 kB
Inactive(anon):     4048 kB
Active(file):      58108 kB
Inactive(file):    69268 kB
Unevictable:     1314940 kB
Mlocked:           14956 kB
SwapTotal:      67108856 kB
SwapFree:       67095980 kB
Dirty:              4332 kB
Writeback:             0 kB
AnonPages:       1368384 kB
Mapped:             7960 kB
Shmem:                 0 kB
Slab:             566092 kB
SReclaimable:      10328 kB
SUnreclaim:       555764 kB
KernelStack:        1456 kB
PageTables:         6448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1482652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1345536 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= 71732 MiB
End job on node131 at 2016-06-06 19:53:45