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

OK	-1352872

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-4110906-1466391417/watcher-4110906-1466391417 -o /tmp/evaluation-result-4110906-1466391417/solver-4110906-1466391417 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466384079-25887 --watchdog 1960 naps-1.02 HOME/instance-4110906-1466391417.opb 

pid=27030
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 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.18 2.17 2.16 3/176 27033
/proc/meminfo: memFree=30583912/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=6552 CPUtime=0 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 316 0 0 0 0 0 0 0 20 0 1 0 41190339 6709248 190 33554432000 4194304 5796924 140734749412816 140734712897544 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 1638 190 129 392 0 1237 0

[startup+0.100158 s]
/proc/loadavg: 2.18 2.17 2.16 3/176 27033
/proc/meminfo: memFree=30583912/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=8212 CPUtime=0.09 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 769 0 0 0 9 0 0 0 20 0 1 0 41190339 8409088 630 33554432000 4194304 5796924 140734749412816 140734712897544 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 2053 630 129 392 0 1652 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8212

[startup+0.200281 s]
/proc/loadavg: 2.18 2.17 2.16 3/176 27033
/proc/meminfo: memFree=30583912/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=5624 CPUtime=0.19 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 1486 0 0 0 19 0 0 0 20 0 1 0 41190339 5758976 1032 33554432000 4194304 5796924 140734749412816 140734712897544 5096591 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 1406 1032 162 392 0 1005 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5624

[startup+0.300279 s]
/proc/loadavg: 2.18 2.17 2.16 3/176 27033
/proc/meminfo: memFree=30583912/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=5624 CPUtime=0.29 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 1487 0 0 0 29 0 0 0 20 0 1 0 41190339 5758976 1033 33554432000 4194304 5796924 140734749412816 140734749409800 5092545 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 1406 1033 163 392 0 1005 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5624

[startup+0.700241 s]
/proc/loadavg: 2.18 2.17 2.16 3/176 27033
/proc/meminfo: memFree=30583912/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=9976 CPUtime=0.69 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 2634 0 0 0 69 0 0 0 20 0 1 0 41190339 10215424 2081 33554432000 4194304 5796924 140734749412816 140734749409800 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 2494 2081 175 392 0 2093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9976

[startup+1.50023 s]
/proc/loadavg: 2.18 2.17 2.16 3/177 27034
/proc/meminfo: memFree=30574224/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=12936 CPUtime=1.49 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 3354 0 0 0 149 0 0 0 20 0 1 0 41190339 13246464 2769 33554432000 4194304 5796924 140734749412816 140734749409880 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 3234 2769 178 392 0 2833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12936

[startup+3.10027 s]
/proc/loadavg: 2.18 2.17 2.16 3/177 27034
/proc/meminfo: memFree=30572116/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=14976 CPUtime=3.09 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 3568 0 0 0 309 0 0 0 20 0 1 0 41190339 15335424 2978 33554432000 4194304 5796924 140734749412816 140734749409880 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 3744 2978 178 392 0 3343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14976

[startup+6.30023 s]
/proc/loadavg: 2.25 2.18 2.17 3/177 27034
/proc/meminfo: memFree=30571024/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=14976 CPUtime=6.29 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 3767 0 0 0 629 0 0 0 20 0 1 0 41190339 15335424 3167 33554432000 4194304 5796924 140734749412816 140734749410056 4606828 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 3744 3167 178 392 0 3343 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14976

[startup+12.7002 s]
/proc/loadavg: 2.23 2.18 2.17 3/177 27034
/proc/meminfo: memFree=30570040/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=14976 CPUtime=12.69 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 3803 0 0 0 1269 0 0 0 20 0 1 0 41190339 15335424 3201 33554432000 4194304 5796924 140734749412816 140734749410056 4606480 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 3744 3201 178 392 0 3343 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14976

[startup+25.5003 s]
/proc/loadavg: 2.18 2.17 2.16 3/177 27034
/proc/meminfo: memFree=30569692/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=14976 CPUtime=25.48 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 3848 0 0 0 2548 0 0 0 20 0 1 0 41190339 15335424 3244 33554432000 4194304 5796924 140734749412816 140734749410056 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 3744 3244 178 392 0 3343 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14976

[startup+51.1003 s]
/proc/loadavg: 2.12 2.16 2.16 3/177 27034
/proc/meminfo: memFree=30562184/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=15824 CPUtime=51.08 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4102 0 0 0 5108 0 0 0 20 0 1 0 41190339 16203776 3494 33554432000 4194304 5796924 140734749412816 140734749409880 4607198 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 3956 3494 178 392 0 3555 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15824

[startup+102.3 s]
/proc/loadavg: 2.14 2.16 2.16 3/177 27035
/proc/meminfo: memFree=30559184/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=102.28 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4932 0 0 0 10228 0 0 0 20 0 1 0 41190339 18976768 4268 33554432000 4194304 5796924 140734749412816 140734749411208 4606789 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4268 180 392 0 4232 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 18532

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

[startup+102.407 s]
/proc/loadavg: 2.14 2.16 2.16 3/177 27035
/proc/meminfo: memFree=30559184/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=102.38 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4932 0 0 0 10238 0 0 0 20 0 1 0 41190339 18976768 4268 33554432000 4194304 5796924 140734749412816 140734749411208 4606733 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4268 180 392 0 4232 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 18532

[startup+128 s]
/proc/loadavg: 2.09 2.15 2.16 3/177 27036
/proc/meminfo: memFree=30557008/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=127.97 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4932 0 0 0 12797 0 0 0 20 0 1 0 41190339 18976768 4268 33554432000 4194304 5796924 140734749412816 140734749411208 4594144 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4268 180 392 0 4232 0
Current children cumulated CPU time (s) 127.97
Current children cumulated vsize (KiB) 18532

[startup+134.4 s]
/proc/loadavg: 2.07 2.14 2.15 3/177 27036
/proc/meminfo: memFree=30557228/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=134.36 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4932 0 0 0 13436 0 0 0 20 0 1 0 41190339 18976768 4268 33554432000 4194304 5796924 140734749412816 140734749411208 4606534 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4268 180 392 0 4232 0
Current children cumulated CPU time (s) 134.36
Current children cumulated vsize (KiB) 18532

[startup+137.607 s]
/proc/loadavg: 2.07 2.14 2.15 3/177 27036
/proc/meminfo: memFree=30557228/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=137.57 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4932 0 0 0 13757 0 0 0 20 0 1 0 41190339 18976768 4268 33554432000 4194304 5796924 140734749412816 140734749411208 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4268 180 392 0 4232 0
Current children cumulated CPU time (s) 137.57
Current children cumulated vsize (KiB) 18532

[startup+140.8 s]
/proc/loadavg: 2.07 2.14 2.15 3/177 27036
/proc/meminfo: memFree=30557104/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=140.77 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4943 0 0 0 14077 0 0 0 20 0 1 0 41190339 18976768 4279 33554432000 4194304 5796924 140734749412816 140734749411208 4607258 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4279 180 392 0 4232 0
Current children cumulated CPU time (s) 140.77
Current children cumulated vsize (KiB) 18532

[startup+141.6 s]
/proc/loadavg: 2.07 2.14 2.15 3/177 27036
/proc/meminfo: memFree=30557104/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=141.56 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4945 0 0 0 14156 0 0 0 20 0 1 0 41190339 18976768 4281 33554432000 4194304 5796924 140734749412816 140734749411208 4606565 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4281 180 392 0 4232 0
Current children cumulated CPU time (s) 141.56
Current children cumulated vsize (KiB) 18532

[startup+142.007 s]
/proc/loadavg: 2.07 2.14 2.15 3/177 27036
/proc/meminfo: memFree=30557104/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=141.97 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4946 0 0 0 14197 0 0 0 20 0 1 0 41190339 18976768 4282 33554432000 4194304 5796924 140734749412816 140734749411208 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4282 180 392 0 4232 0
Current children cumulated CPU time (s) 141.97
Current children cumulated vsize (KiB) 18532

[startup+142.4 s]
/proc/loadavg: 2.07 2.14 2.15 3/177 27036
/proc/meminfo: memFree=30557104/32872528 swapFree=1244700/1391868
[pid=27033] ppid=27030 vsize=18532 CPUtime=142.36 cores=1,3,5,7
/proc/27033/stat : 27033 (naps-1.02) R 27030 27033 25870 0 -1 4202496 4946 0 0 0 14236 0 0 0 20 0 1 0 41190339 18976768 4282 33554432000 4194304 5796924 140734749412816 140734749411208 4606744 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/27033/statm: 4633 4282 180 392 0 4232 0
Current children cumulated CPU time (s) 142.36
Current children cumulated vsize (KiB) 18532

Child status: 30
Real time (s): 142.451
CPU time (s): 142.428
CPU user time (s): 142.417
CPU system time (s): 0.010998
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 18532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.417
system time used= 0.010998
maximum resident set size= 17188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4961
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= 3
involuntary context switches= 179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.39094 second user time and 0.52192 second system time

The end

Begin job on node119 at 2016-06-20 04:56:57
IDJOB=4110906
IDBENCH=108560
IDSOLVER=2544
FILE ID=node119/4110906-1466391417
RUNJOBID= node119-1466384079-25887
PBS_JOBID= 19923265
Free space on /tmp= 71724 MiB

SOLVER NAME= NaPS 1.02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-combined-EDCBAir.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110906-1466391417/watcher-4110906-1466391417 -o /tmp/evaluation-result-4110906-1466391417/solver-4110906-1466391417 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466384079-25887 --watchdog 1960  naps-1.02 HOME/instance-4110906-1466391417.opb

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

MD5SUM BENCH= 21856d4b61b14e28bd276ce98d25b92a
RANDOM SEED=250548732

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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		: 2666.456
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:        30584176 kB
Buffers:           54768 kB
Cached:            47056 kB
SwapCached:          836 kB
Active:            93840 kB
Inactive:          68192 kB
Active(anon):      61232 kB
Inactive(anon):     1352 kB
Active(file):      32608 kB
Inactive(file):    66840 kB
Unevictable:     1391868 kB
Mlocked:         1244700 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:              4508 kB
Writeback:             0 kB
AnonPages:       1455512 kB
Mapped:             7788 kB
Shmem:                 0 kB
Slab:             598412 kB
SReclaimable:      42000 kB
SUnreclaim:       556412 kB
KernelStack:        1472 kB
PageTables:         7052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1573380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71720 MiB
End job on node119 at 2016-06-20 04:59:20