0.00/0.00	c NaPS 1.02b.
1800.05/1800.40	o 6435
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED *** by signal 15
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	c 
1800.05/1800.40	c std/band forms        : 4601,0
1800.05/1800.40	c 2cl/3cl ITE-codings   : 0,0
1800.05/1800.40	c BDD/srt/adr Max costs : 2,893967,0
1800.05/1800.40	c BDDraw/bin/mul/srt/adr: 4600,0,0,1,0
1800.05/1800.40	c BDD nodes             : 13800
1800.05/1800.40	c Es1/CC detections     : 0,0
1800.05/1800.40	c SAT/UNSAT calls       : 1,0
1800.05/1800.40	c restarts              : 1
1800.05/1800.40	c conflicts             : 0              (0 /sec)
1800.05/1800.40	c decisions             : 4376           (2 /sec)
1800.05/1800.40	c propagations          : 9501           (5 /sec)
1800.05/1800.40	c inspects              : 0              (0 /sec)
1800.05/1800.40	c CPU time (solving tm) : 1800 s        (0.018 s)
1800.05/1800.40	c Time for Opt-base     : 0.3639 s
1800.05/1800.40	c _____________________________________________________________________________
1800.05/1800.40	v -x302 -x1 -x2 -x303 -x4 -x304 -x7 -x305 -x8 -x306 -x9 -x307 -x10 -x308 -x16 -x309 -x17 -x310 -x18 -x311 -x20 -x312 -x21 -x313 -x22 -x314 -x23 -x315 -x24 -x316 -x25 -x317 -x28 -x318 -x29 -x319 -x31 -x320 -x32 -x321 -x35 -x322 -x37 -x323 -x38 -x324 -x40 -x325 -x41 -x326 -x43 -x327 -x44 -x328 -x45 -x329 -x46 -x330 -x3 -x331 -x332 -x5 -x333 -x6 -x334 -x335 -x336 -x337 -x11 -x338 -x13 -x339 -x15 -x340 -x341 -x342 -x343 -x19 -x344 -x345 -x346 -x347 -x50 -x348 -x51 -x349 -x53 -x350 -x54 -x351 -x57 -x352 -x59 -x353 -x60 -x354 -x62 -x355 -x63 -x356 -x65 -x357 -x66 -x358 -x67 -x359 -x68 -x360 -x361 -x362 -x363 -x364 -x365 -x12 -x366 -x367 -x14 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x26 -x378 -x48 -x379 -x71 -x380 -x72 -x381 -x74 -x382 -x75 -x383 -x78 -x384 -x80 -x385 -x81 -x386 -x83 -x387 -x84 -x388 -x86 -x389 -x87 -x390 -x88 -x391 -x89 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x27 -x400 -x49 -x401 -x91 -x402 -x92 -x403 -x94 -x404 -x95 -x405 -x98 -x406 -x100 -x407 -x101 -x408 -x103 -x409 -x104 -x410 -x106 -x411 -x107 -x412 -x108 -x413 -x109 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x111 -x432 -x113 -x433 -x114 -x434 -x117 -x435 -x119 -x436 -x120 -x437 -x122 -x438 -x123 -x439 -x125 -x440 -x126 -x441 -x127 -x442 -x128 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x131 -x460 -x132 -x461 -x135 -x462 -x137 -x463 -x138 -x464 -x140 -x465 -x141 -x466 -x143 -x467 -x144 -x468 -x145 -x469 -x146 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x30 -x482 -x52 -x483 -x484 -x130 -x485 -x148 -x486 -x149 -x487 -x152 -x488 -x154 -x489 -x155 -x490 -x157 -x491 -x158 -x492 -x160 -x493 -x161 -x494 -x162 -x495 -x163 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x165 -x515 -x168 -x516 -x170 -x517 -x171 -x518 -x173 -x519 -x174 -x520 -x176 -x521 -x177 -x522 -x178 -x523 -x179 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x183 -x540 -x185 -x541 -x186 -x542 -x188 -x543 -x189 -x544 -x191 -x545 -x192 -x546 -x193 -x547 -x194 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x33 -x559 -x55 -x560 -x115 -x561 -x133 -x562 -x166 -x563 -x181 -x564 -x197 -x565 -x199 -x566 -x200 -x567 -x202 -x568 -x203 -x569 -x205 -x570 -x206 -x571 -x207 -x572 -x208 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x34 -x582 -x56 -x583 -x116 -x584 -x134 -x585 -x167 -x586 -x182 -x587 -x210 -x588 -x212 -x589 -x213 -x590 -x215 -x591 -x216 -x592 -x218 -x593 -x219 -x594 -x220 -x595 -x221 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x224 -x610 -x225 -x611 -x227 -x612 -x228 -x613 -x230 -x614 -x231 -x615 -x232 -x616 -x233 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x36 -x625 -x58 -x626 -x118 -x627 -x136 -x628 -x169 -x629 -x184 -x630 -x223 -x631 -x235 -x632 -x236 -x633 -x238 -x634 -x239 -x635 -x241 -x636 -x242 -x637 -x243 -x638 -x244 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x246 -x652 -x248 -x653 -x249 -x654 -x251 -x655 -x252 -x656 -x253 -x657 -x254 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x257 -x675 -x258 -x676 -x260 -x677 -x261 -x678 -x262 -x679 -x263 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x39 -x689 -x61 -x690 -x121 -x691 -x139 -x692 -x172 -x693 -x187 -x694 -x226 -x695 -x247 -x696 -x256 -x697 -x265 -x698 -x266 -x699 -x268 -x700 -x269 -x701 -x270 -x702 -x271 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x273 -x715 -x275 -x716 -x276 -x717 -x277 -x718 -x278 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x281 -x735 -x282 -x736 -x283 -x737 -x284 -x738 -x739 -x740 -x741 -x742 -x42 -x743 -x64 -x744 -x124 -x745 -x142 -x746 -x175 -x747 -x190 -x748 -x229 -x749 -x250 -x750 -x259 -x751 -x274 -x752 -x280 -x753 -x286 -x754 -x287 -x755 -x288 -x756 -x289 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x291 -x772 -x292 -x773 -x293 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x295 -x787 -x296 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x298 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x47 -x818 -x69 -x819 -x129 -x820 -x147 -x821 -x180 -x822 -x195 -x823 -x234 -x824 -x255 -x825 -x264 -x826 -x279 -x827 -x285 -x828 -x294 -x829 -x297 -x830 -x299 -x831 -x300 -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 -x70 -x880 -x73 -x881 -x882 -x883 -x76 -x884 -x82 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x90 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x93 -x901 -x902 -x903 -x96 -x904 -x102 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x110 -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 -x150 -x984 -x156 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x164 -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 -x201 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x209 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x97 -x1075 -x151 -x1076 -x1077 -x1078 -x196 -x1079 -x214 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x222 -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 -x99 -x1117 -x153 -x1118 -x1119 -x1120 -x198 -x1121 -x237 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x245 -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 -x272 -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 -x105 -x1230 -x159 -x1231 -x1232 -x1233 -x204 -x1234 -x267 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x290 -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 -x77 -x1335 -x79 -x1336 -x1337 -x1338 -x1339 -x1340 -x85 -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 -x211 -x1545 -x1546 -x1547 -x1548 -x1549 -x217 -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 -x240 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001
1800.05/1800.40	v -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 -x4000 -x4001
1800.05/1800.40	v -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 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 x301 -x112

OK	6435

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-4118405-1467236836/watcher-4118405-1467236836 -o /tmp/evaluation-result-4118405-1467236836/solver-4118405-1467236836 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467233234-10820 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118405-1467236836.opb 

pid=11155
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing Stack size limit: 81920 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 11158
/proc/meminfo: memFree=30914624/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=7936 CPUtime=0 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 655 0 0 0 0 0 0 0 20 0 1 0 13711875 8126464 530 33554432000 4194304 5796924 140736365826704 140734688675288 5096660 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 1984 530 117 392 0 1583 0

[startup+0.100142 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 11158
/proc/meminfo: memFree=30914624/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=9212 CPUtime=0.09 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 1034 0 0 0 9 0 0 0 20 0 1 0 13711875 9433088 895 33554432000 4194304 5796924 140736365826704 140734688675288 4404174 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 2303 895 129 392 0 1902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9212

[startup+0.20024 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 11158
/proc/meminfo: memFree=30914624/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=12384 CPUtime=0.19 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 1987 0 0 0 19 0 0 0 20 0 1 0 13711875 12681216 1727 33554432000 4194304 5796924 140736365826704 140734688675288 5092487 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 3096 1727 140 392 0 2695 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12384

[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 11158
/proc/meminfo: memFree=30914624/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=12856 CPUtime=0.29 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 2079 0 0 0 29 0 0 0 20 0 1 0 13711875 13164544 1819 33554432000 4194304 5796924 140736365826704 140734688675288 5092518 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 3214 1819 140 392 0 2813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12856

[startup+0.700229 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 11158
/proc/meminfo: memFree=30914624/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=13280 CPUtime=0.69 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 3412 0 0 0 69 0 0 0 20 0 1 0 13711875 13598720 2876 33554432000 4194304 5796924 140736365826704 140734688675288 5087643 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 3320 2876 160 392 0 2919 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13280

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11191
/proc/meminfo: memFree=30817776/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=211212 CPUtime=1.49 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 38935 0 0 0 143 6 0 0 20 0 1 0 13711875 216281088 50169 33554432000 4194304 5796924 140736365826704 140736365821640 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 52803 50172 167 392 0 52402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211212

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11191
/proc/meminfo: memFree=30545124/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=460748 CPUtime=3.09 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 63129 0 0 0 297 12 0 0 20 0 1 0 13711875 471805952 107546 33554432000 4194304 5796924 140736365826704 140736365824024 4651098 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 115187 107547 167 392 0 114786 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 460748

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11191
/proc/meminfo: memFree=30425264/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=508892 CPUtime=6.29 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 70065 0 0 0 614 15 0 0 20 0 1 0 13711875 521105408 115610 33554432000 4194304 5796924 140736365826704 140736365823672 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 127223 115610 169 392 0 126822 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 508892

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11191
/proc/meminfo: memFree=29756164/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=536688 CPUtime=12.69 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 72525 0 0 0 1253 16 0 0 20 0 1 0 13711875 549568512 118068 33554432000 4194304 5796924 140736365826704 140736365823752 4606627 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 134172 118068 178 392 0 133771 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 536688

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11191
/proc/meminfo: memFree=29749520/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=536688 CPUtime=25.48 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 72914 0 0 0 2532 16 0 0 20 0 1 0 13711875 549568512 120138 33554432000 4194304 5796924 140736365826704 140736365823752 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 134172 120138 178 392 0 133771 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 536688

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11191
/proc/meminfo: memFree=29742456/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=536688 CPUtime=51.08 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 74032 0 0 0 5090 18 0 0 20 0 1 0 13711875 549568512 120344 33554432000 4194304 5796924 140736365826704 140736365824344 4568961 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 134172 120344 178 392 0 133771 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 536688

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11192
/proc/meminfo: memFree=29718804/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=539240 CPUtime=102.26 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 75285 0 0 0 10207 19 0 0 20 0 1 0 13711875 552181760 121676 33554432000 4194304 5796924 140736365826704 140736365823752 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11158/statm: 134810 121676 178 392 0 134409 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 539240

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11193
/proc/meminfo: memFree=29721280/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=539240 CPUtime=162.24 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 76408 0 0 0 16203 21 0 0 20 0 1 0 13711875 552181760 124214 33554432000 4194304 5796924 140736365826704 140736365824344 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 134810 124214 178 392 0 134409 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 539240

[startup+222.308 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 11197
/proc/meminfo: memFree=29714160/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=539240 CPUtime=222.23 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 76707 0 0 0 22201 22 0 0 20 0 1 0 13711875 552181760 123073 33554432000 4194304 5796924 140736365826704 140736365824168 4606799 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 134810 123073 178 392 0 134409 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 539240

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11199
/proc/meminfo: memFree=29699412/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=542576 CPUtime=282.21 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 77706 0 0 0 28199 22 0 0 20 0 1 0 13711875 555597824 123260 33554432000 4194304 5796924 140736365826704 140736365823752 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 135644 123260 178 392 0 135243 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 542576

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11200
/proc/meminfo: memFree=29658804/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=573396 CPUtime=342.19 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 78588 0 0 0 34196 23 0 0 20 0 1 0 13711875 587157504 129752 33554432000 4194304 5796924 140736365826704 140736365824344 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 143349 129752 178 392 0 142948 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 573396

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11212
/proc/meminfo: memFree=29667148/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=543856 CPUtime=402.18 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 79223 0 0 0 40194 24 0 0 20 0 1 0 13711875 556908544 123915 33554432000 4194304 5796924 140736365826704 140736365823752 4606410 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 135964 123915 178 392 0 135563 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 543856

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11213
/proc/meminfo: memFree=29706864/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=543856 CPUtime=462.18 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 80139 0 0 0 46192 26 0 0 20 0 1 0 13711875 556908544 122966 33554432000 4194304 5796924 140736365826704 140736365824168 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 135964 122966 178 392 0 135563 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 543856

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11214
/proc/meminfo: memFree=29692464/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=543856 CPUtime=522.17 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 80143 0 0 0 52191 26 0 0 20 0 1 0 13711875 556908544 124503 33554432000 4194304 5796924 140736365826704 140736365824168 4569014 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 135964 124503 178 392 0 135563 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 543856

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11216
/proc/meminfo: memFree=29654876/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=575716 CPUtime=582.15 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 81007 0 0 0 58188 27 0 0 20 0 1 0 13711875 589533184 131498 33554432000 4194304 5796924 140736365826704 140736365824344 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 143929 131498 178 392 0 143528 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 575716

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


[startup+882.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11246
/proc/meminfo: memFree=29688260/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=547360 CPUtime=882.12 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 84403 0 0 0 88179 33 0 0 20 0 1 0 13711875 560496640 124900 33554432000 4194304 5796924 140736365826704 140736365824168 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 136840 124900 178 392 0 136439 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 547360

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11249
/proc/meminfo: memFree=29681012/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=547360 CPUtime=942.1 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 84728 0 0 0 94177 33 0 0 20 0 1 0 13711875 560496640 123784 33554432000 4194304 5796924 140736365826704 140736365824168 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 136840 123784 178 392 0 136439 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 547360

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11250
/proc/meminfo: memFree=29666548/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=547360 CPUtime=1002.09 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 84780 0 0 0 100176 33 0 0 20 0 1 0 13711875 560496640 125880 33554432000 4194304 5796924 140736365826704 140736365824168 4606520 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 136840 125880 178 392 0 136439 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 547360

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11251
/proc/meminfo: memFree=29650780/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=580620 CPUtime=1062.08 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 86153 0 0 0 106173 35 0 0 20 0 1 0 13711875 594554880 128483 33554432000 4194304 5796924 140736365826704 140736365824344 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 145155 128483 178 392 0 144754 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 580620

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11252
/proc/meminfo: memFree=29628504/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=580620 CPUtime=1122.06 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 86253 0 0 0 112170 36 0 0 20 0 1 0 13711875 594554880 132720 33554432000 4194304 5796924 140736365826704 140736365824344 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 145155 132720 178 392 0 144754 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 580620

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11253
/proc/meminfo: memFree=29595676/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=631940 CPUtime=1182.05 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 87176 0 0 0 118168 37 0 0 20 0 1 0 13711875 647106560 138752 33554432000 4194304 5796924 140736365826704 140736365824344 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 157985 138752 178 392 0 157584 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 631940

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11255
/proc/meminfo: memFree=29566380/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=631940 CPUtime=1242.05 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 87276 0 0 0 124167 38 0 0 20 0 1 0 13711875 647106560 143962 33554432000 4194304 5796924 140736365826704 140736365824344 4606555 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 157985 143962 178 392 0 157584 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 631940

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11256
/proc/meminfo: memFree=29621164/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=551032 CPUtime=1302.04 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 87850 0 0 0 130164 40 0 0 20 0 1 0 13711875 564256768 128028 33554432000 4194304 5796924 140736365826704 140736365824168 4606433 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 137758 128028 178 392 0 137357 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 551032

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11257
/proc/meminfo: memFree=29589316/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=583088 CPUtime=1362.02 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 88301 0 0 0 136162 40 0 0 20 0 1 0 13711875 597082112 134611 33554432000 4194304 5796924 140736365826704 140736365823752 4594641 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 145772 134611 178 392 0 145371 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 583088

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11261
/proc/meminfo: memFree=29562572/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=633176 CPUtime=1422.02 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 89151 0 0 0 142160 42 0 0 20 0 1 0 13711875 648372224 140058 33554432000 4194304 5796924 140736365826704 140736365824344 4568952 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 158294 140058 178 392 0 157893 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 633176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11262
/proc/meminfo: memFree=29604616/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=633176 CPUtime=1482 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 89286 0 0 0 148158 42 0 0 20 0 1 0 13711875 648372224 146325 33554432000 4194304 5796924 140736365826704 140736365824344 4592010 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 158294 146325 178 392 0 157893 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 633176

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11264
/proc/meminfo: memFree=29573980/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=714564 CPUtime=1542 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 90083 0 0 0 154157 43 0 0 20 0 1 0 13711875 731713536 151720 33554432000 4194304 5796924 140736365826704 140736365824344 4592031 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 178641 151720 178 392 0 178240 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 714564

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11265
/proc/meminfo: memFree=29655832/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=584312 CPUtime=1601.98 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 91006 0 0 0 160153 45 0 0 20 0 1 0 13711875 598335488 130337 33554432000 4194304 5796924 140736365826704 140736365824344 4606483 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 146078 130337 178 392 0 145677 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 584312

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11266
/proc/meminfo: memFree=29627468/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=584312 CPUtime=1661.97 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 91116 0 0 0 166151 46 0 0 20 0 1 0 13711875 598335488 136068 33554432000 4194304 5796924 140736365826704 140736365824344 4606507 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 146078 136068 178 392 0 145677 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 584312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11267
/proc/meminfo: memFree=29599296/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=634400 CPUtime=1721.97 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 92040 0 0 0 172150 47 0 0 20 0 1 0 13711875 649625600 141588 33554432000 4194304 5796924 140736365826704 140736365824344 4607261 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 158600 141588 178 392 0 158199 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 634400

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11268
/proc/meminfo: memFree=29581916/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=635688 CPUtime=1781.96 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 92140 0 0 0 178149 47 0 0 20 0 1 0 13711875 650944512 144243 33554432000 4194304 5796924 140736365826704 140736365823752 4606531 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 158922 144243 178 392 0 158521 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 635688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11268
/proc/meminfo: memFree=29576268/32872528 swapFree=8284/8284
[pid=11158] ppid=11155 vsize=635688 CPUtime=1800.05 cores=1,3,5,7
/proc/11158/stat : 11158 (naps-1.02) R 11155 11158 7449 0 -1 4202496 92143 0 0 0 179958 47 0 0 20 0 1 0 13711875 650944512 145779 33554432000 4194304 5796924 140736365826704 140736365823752 4591861 0 0 4096 17954 0 0 0 17 5 0 0 0 0 0
/proc/11158/statm: 158922 145779 178 392 0 158521 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 635688

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.59
CPU system time (s): 0.486925
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 763884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.486925
maximum resident set size= 643152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98
involuntary context switches= 1870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.91625 second user time and 6.67098 second system time

The end

Begin job on node151 at 2016-06-29 23:47:16
IDJOB=4118405
IDBENCH=111490
IDSOLVER=2544
FILE ID=node151/4118405-1467236836
RUNJOBID= node151-1467233234-10820
PBS_JOBID= 19997570
Free space on /tmp= 71720 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118405-1467236836/watcher-4118405-1467236836 -o /tmp/evaluation-result-4118405-1467236836/solver-4118405-1467236836 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1467233234-10820 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4118405-1467236836.opb

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

MD5SUM BENCH= 245be8e93852fe7bd6f734599ed1eccd
RANDOM SEED=1453311860

node151.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.065
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.13
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.065
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.065
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		: 2667.065
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.065
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.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.56
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.065
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30915416 kB
Buffers:           72292 kB
Cached:          1143904 kB
SwapCached:         1984 kB
Active:           734408 kB
Inactive:         486112 kB
Active(anon):       3260 kB
Inactive(anon):     3292 kB
Active(file):     731148 kB
Inactive(file):   482820 kB
Unevictable:        8284 kB
Mlocked:            8284 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              4300 kB
Writeback:             4 kB
AnonPages:         12048 kB
Mapped:             8788 kB
Shmem:                 0 kB
Slab:             599044 kB
SReclaimable:      42900 kB
SUnreclaim:       556144 kB
KernelStack:        1432 kB
PageTables:         4100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     116760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71716 MiB
End job on node151 at 2016-06-30 00:17:16