0.00/0.00	c NaPS 1.02b.
1800.01/1800.30	o 171976304
1800.01/1800.30	o 150091328
1800.01/1800.30	o 134236208
1800.01/1800.30	o 134224928
1800.01/1800.30	o 134219648
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED *** by signal 15
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	c _____________________________________________________________________________
1800.01/1800.30	c 
1800.01/1800.30	c std/band forms        : 34,0
1800.01/1800.30	c 2cl/3cl ITE-codings   : 30,0
1800.01/1800.30	c BDD/srt/adr Max costs : 5,2613,0
1800.01/1800.30	c BDDraw/bin/mul/srt/adr: 15,0,0,19,0
1800.01/1800.30	c BDD nodes             : 90
1800.01/1800.30	c Es1/CC detections     : 0,0
1800.01/1800.30	c SAT/UNSAT calls       : 5,14
1800.01/1800.30	c restarts              : 555880
1800.01/1800.30	c conflicts             : 80927560       (44960 /sec)
1800.01/1800.30	c decisions             : 104405100      (58003 /sec)
1800.01/1800.30	c propagations          : 15871124169    (8817270 /sec)
1800.01/1800.30	c inspects              : 0              (0 /sec)
1800.01/1800.30	c CPU time (solving tm) : 1800 s        (1576 s)
1800.01/1800.30	c Time for Opt-base     : 1.042 s
1800.01/1800.30	c _____________________________________________________________________________
1800.01/1800.30	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
1800.01/1800.30	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
1800.01/1800.30	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	134219648

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

pid=28319
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.27 2.18 2.17 3/176 28322
/proc/meminfo: memFree=30608680/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=6548 CPUtime=0 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 41760698 6705152 195 33554432000 4194304 5796924 140734776907216 140737306379272 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 1637 195 129 392 0 1236 0

[startup+0.100155 s]
/proc/loadavg: 2.27 2.18 2.17 3/176 28322
/proc/meminfo: memFree=30608680/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=8208 CPUtime=0.09 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 765 0 0 0 9 0 0 0 20 0 1 0 41760698 8404992 629 33554432000 4194304 5796924 140734776907216 140737306379272 5183584 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 2052 629 129 392 0 1651 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8208

[startup+0.20028 s]
/proc/loadavg: 2.27 2.18 2.17 3/176 28322
/proc/meminfo: memFree=30608680/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=5300 CPUtime=0.19 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 1398 0 0 0 19 0 0 0 20 0 1 0 41760698 5427200 981 33554432000 4194304 5796924 140734776907216 140737306379272 5096706 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 1325 981 162 392 0 924 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5300

[startup+0.300276 s]
/proc/loadavg: 2.27 2.18 2.17 3/176 28322
/proc/meminfo: memFree=30608680/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=5300 CPUtime=0.29 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 1403 0 0 0 29 0 0 0 20 0 1 0 41760698 5427200 986 33554432000 4194304 5796924 140734776907216 140737306379272 4806956 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 1325 986 162 392 0 924 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5300

[startup+0.700238 s]
/proc/loadavg: 2.27 2.18 2.17 3/176 28322
/proc/meminfo: memFree=30608680/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=5432 CPUtime=0.69 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 1419 0 0 0 69 0 0 0 20 0 1 0 41760698 5562368 1002 33554432000 4194304 5796924 140734776907216 140737306379272 4809336 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 1358 1002 163 392 0 957 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5432

[startup+1.5002 s]
/proc/loadavg: 2.27 2.18 2.17 3/177 28323
/proc/meminfo: memFree=30604720/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=8536 CPUtime=1.49 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 2109 0 0 0 149 0 0 0 20 0 1 0 41760698 8740864 1652 33554432000 4194304 5796924 140734776907216 140734776901704 4593442 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 2134 1652 177 392 0 1733 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8536

[startup+3.10023 s]
/proc/loadavg: 2.33 2.19 2.18 3/177 28323
/proc/meminfo: memFree=30600256/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=12964 CPUtime=3.09 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 2674 0 0 0 309 0 0 0 20 0 1 0 41760698 13275136 2711 33554432000 4194304 5796924 140734776907216 140734776904456 4594144 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 3241 2711 177 392 0 2840 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12964

[startup+6.30023 s]
/proc/loadavg: 2.33 2.19 2.18 3/177 28323
/proc/meminfo: memFree=30596480/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=13736 CPUtime=6.29 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 3072 0 0 0 629 0 0 0 20 0 1 0 41760698 14065664 3073 33554432000 4194304 5796924 140734776907216 140734776904280 4607229 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 3434 3073 180 392 0 3033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13736

[startup+12.7002 s]
/proc/loadavg: 2.28 2.19 2.17 3/177 28323
/proc/meminfo: memFree=30596132/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=13736 CPUtime=12.69 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 3072 0 0 0 1269 0 0 0 20 0 1 0 41760698 14065664 3073 33554432000 4194304 5796924 140734776907216 140734776904280 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 3434 3073 180 392 0 3033 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13736

[startup+25.5003 s]
/proc/loadavg: 2.23 2.18 2.17 3/177 28323
/proc/meminfo: memFree=30555012/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=17172 CPUtime=25.48 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 3391 0 0 0 2548 0 0 0 20 0 1 0 41760698 17584128 3885 33554432000 4194304 5796924 140734776907216 140734776904456 4593319 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 4293 3885 180 392 0 3892 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17172

[startup+51.1003 s]
/proc/loadavg: 2.22 2.18 2.17 3/177 28323
/proc/meminfo: memFree=30591632/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=18848 CPUtime=51.08 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 3831 0 0 0 5108 0 0 0 20 0 1 0 41760698 19300352 4298 33554432000 4194304 5796924 140734776907216 140734776904280 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 4712 4298 180 392 0 4311 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18848

[startup+102.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/177 28324
/proc/meminfo: memFree=30591632/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=19276 CPUtime=102.28 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 3860 0 0 0 10228 0 0 0 20 0 1 0 41760698 19738624 4322 33554432000 4194304 5796924 140734776907216 140734776905608 4606565 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 4819 4322 181 392 0 4418 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19276

[startup+162.3 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 28326
/proc/meminfo: memFree=30589168/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=22112 CPUtime=162.26 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 4424 0 0 0 16226 0 0 0 20 0 1 0 41760698 22642688 4862 33554432000 4194304 5796924 140734776907216 140734776904456 4606825 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 5528 4862 181 392 0 5127 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22112

[startup+222.307 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 28327
/proc/meminfo: memFree=30589056/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=22112 CPUtime=222.26 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 4502 0 0 0 22226 0 0 0 20 0 1 0 41760698 22642688 4934 33554432000 4194304 5796924 140734776907216 140734776905608 4606514 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 5528 4934 183 392 0 5127 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 22112

[startup+282.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 28328
/proc/meminfo: memFree=30586216/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=24980 CPUtime=282.25 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5247 0 0 0 28224 1 0 0 20 0 1 0 41760698 25579520 5620 33554432000 4194304 5796924 140734776907216 140734776905608 4606802 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 6245 5620 183 392 0 5844 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 24980

[startup+342.3 s]
/proc/loadavg: 2.09 2.16 2.17 3/177 28329
/proc/meminfo: memFree=30530504/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=24980 CPUtime=342.24 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5562 0 0 0 34223 1 0 0 20 0 1 0 41760698 25579520 5898 33554432000 4194304 5796924 140734776907216 140734776905608 4623081 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 6245 5898 183 392 0 5844 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 24980

[startup+402.3 s]
/proc/loadavg: 2.32 2.20 2.18 3/177 28330
/proc/meminfo: memFree=30537756/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=24980 CPUtime=402.23 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5569 0 0 0 40222 1 0 0 20 0 1 0 41760698 25579520 5906 33554432000 4194304 5796924 140734776907216 140734776905608 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 6245 5906 183 392 0 5844 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 24980

[startup+462.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/178 28335
/proc/meminfo: memFree=30544916/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=25620 CPUtime=462.22 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5591 0 0 0 46221 1 0 0 20 0 1 0 41760698 26234880 5924 33554432000 4194304 5796924 140734776907216 140734776904776 4607261 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 6405 5924 183 392 0 6004 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 25620

[startup+522.3 s]
/proc/loadavg: 2.08 2.16 2.17 3/177 28336
/proc/meminfo: memFree=30583804/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=25620 CPUtime=522.21 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5591 0 0 0 52220 1 0 0 20 0 1 0 41760698 26234880 5924 33554432000 4194304 5796924 140734776907216 140734776904776 4606516 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 6405 5924 183 392 0 6004 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 25620

[startup+582.3 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 28337
/proc/meminfo: memFree=30583936/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=25620 CPUtime=582.2 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5591 0 0 0 58219 1 0 0 20 0 1 0 41760698 26234880 5924 33554432000 4194304 5796924 140734776907216 140734776904776 4592059 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 6405 5924 183 392 0 6004 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 25620


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


[startup+942.3 s]
/proc/loadavg: 2.38 2.23 2.19 4/177 28344
/proc/meminfo: memFree=30530124/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=29976 CPUtime=942.14 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5806 0 0 0 94213 1 0 0 20 0 1 0 41760698 30695424 6640 33554432000 4194304 5796924 140734776907216 140734776904456 4606534 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 7494 6640 184 392 0 7093 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 29976

[startup+1002.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 28345
/proc/meminfo: memFree=30540688/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=29976 CPUtime=1002.13 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 5827 0 0 0 100212 1 0 0 20 0 1 0 41760698 30695424 6657 33554432000 4194304 5796924 140734776907216 140734776905608 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 7494 6657 184 392 0 7093 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 29976

[startup+1062.3 s]
/proc/loadavg: 2.14 2.19 2.18 4/178 28350
/proc/meminfo: memFree=30576348/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=32424 CPUtime=1062.12 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7010 0 0 0 106211 1 0 0 20 0 1 0 41760698 33202176 7644 33554432000 4194304 5796924 140734776907216 140734776904280 4606442 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8106 7644 184 392 0 7705 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 32424

[startup+1122.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 28351
/proc/meminfo: memFree=30515840/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=32424 CPUtime=1122.11 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7032 0 0 0 112210 1 0 0 20 0 1 0 41760698 33202176 7666 33554432000 4194304 5796924 140734776907216 140734776904280 4606789 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8106 7666 184 392 0 7705 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 32424

[startup+1182.3 s]
/proc/loadavg: 2.34 2.23 2.19 3/177 28352
/proc/meminfo: memFree=30534592/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=32424 CPUtime=1182.1 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7041 0 0 0 118209 1 0 0 20 0 1 0 41760698 33202176 7675 33554432000 4194304 5796924 140734776907216 140734776904280 4606779 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8106 7675 184 392 0 7705 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 32424

[startup+1242.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 28399
/proc/meminfo: memFree=30657244/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1242.09 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7222 0 0 0 124208 1 0 0 20 0 1 0 41760698 35987456 8356 33554432000 4194304 5796924 140734776907216 140734776905608 4594694 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8356 184 392 0 8385 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 35144

[startup+1302.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 28400
/proc/meminfo: memFree=30653540/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1302.09 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7222 0 0 0 130208 1 0 0 20 0 1 0 41760698 35987456 8356 33554432000 4194304 5796924 140734776907216 140734776905608 4607258 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8356 184 392 0 8385 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 35144

[startup+1362.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 28402
/proc/meminfo: memFree=30654156/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1362.08 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7222 0 0 0 136207 1 0 0 20 0 1 0 41760698 35987456 8356 33554432000 4194304 5796924 140734776907216 140734776905608 4607194 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8356 184 392 0 8385 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 35144

[startup+1422.3 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 28403
/proc/meminfo: memFree=30648132/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1422.07 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7225 0 0 0 142206 1 0 0 20 0 1 0 41760698 35987456 8359 33554432000 4194304 5796924 140734776907216 140734776905608 4581704 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8359 184 392 0 8385 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 35144

[startup+1482.3 s]
/proc/loadavg: 2.28 2.21 2.19 3/177 28404
/proc/meminfo: memFree=30647920/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1482.06 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7225 0 0 0 148205 1 0 0 20 0 1 0 41760698 35987456 8359 33554432000 4194304 5796924 140734776907216 140734776905608 4606480 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8359 184 392 0 8385 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 35144

[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 28405
/proc/meminfo: memFree=30647020/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1542.05 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7225 0 0 0 154204 1 0 0 20 0 1 0 41760698 35987456 8359 33554432000 4194304 5796924 140734776907216 140734776905608 4606534 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8359 184 392 0 8385 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 35144

[startup+1602.3 s]
/proc/loadavg: 2.12 2.18 2.17 4/177 28406
/proc/meminfo: memFree=30647140/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1602.04 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7229 0 0 0 160203 1 0 0 20 0 1 0 41760698 35987456 8362 33554432000 4194304 5796924 140734776907216 140734776905608 4606523 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8362 184 392 0 8385 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 35144

[startup+1662.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/178 28411
/proc/meminfo: memFree=30643944/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1662.03 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7229 0 0 0 166202 1 0 0 20 0 1 0 41760698 35987456 8362 33554432000 4194304 5796924 140734776907216 140734776905608 4607232 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8362 184 392 0 8385 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 35144

[startup+1722.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/178 28434
/proc/meminfo: memFree=30640908/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1722.02 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7229 0 0 0 172201 1 0 0 20 0 1 0 41760698 35987456 8362 33554432000 4194304 5796924 140734776907216 140734776905608 4606555 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8362 184 392 0 8385 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 35144

[startup+1782.3 s]
/proc/loadavg: 2.08 2.15 2.16 3/177 28435
/proc/meminfo: memFree=30642228/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1782.01 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7229 0 0 0 178200 1 0 0 20 0 1 0 41760698 35987456 8362 33554432000 4194304 5796924 140734776907216 140734776905608 4592148 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8362 184 392 0 8385 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 35144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.06 2.14 2.16 3/177 28435
/proc/meminfo: memFree=30642228/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1800.01 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7229 0 0 0 180000 1 0 0 20 0 1 0 41760698 35987456 8362 33554432000 4194304 5796924 140734776907216 140734776905608 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8362 184 392 0 8385 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 35144

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

[startup+1800.3 s]
/proc/loadavg: 2.06 2.14 2.16 3/177 28435
/proc/meminfo: memFree=30642228/32872528 swapFree=1200228/1314692
[pid=28322] ppid=28319 vsize=35144 CPUtime=1800.01 cores=0,2,4,6
/proc/28322/stat : 28322 (naps-1.02) R 28319 28322 26423 0 -1 4202496 7229 0 0 0 180000 1 0 0 20 0 1 0 41760698 35987456 8362 33554432000 4194304 5796924 140734776907216 140734776905608 4607192 0 0 4096 17954 0 0 0 17 2 0 0 0 0 0
/proc/28322/statm: 8786 8362 184 392 0 8385 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 35144

Child status: 10
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.016997
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 35144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.016997
maximum resident set size= 33496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7241
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= 11
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.9504 second user time and 7.55885 second system time

The end

Begin job on node131 at 2016-06-20 06:32:22
IDJOB=4111170
IDBENCH=108943
IDSOLVER=2544
FILE ID=node131/4111170-1466397142
RUNJOBID= node131-1466384098-26439
PBS_JOBID= 19923267
Free space on /tmp= 71700 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-B-3-combined-irabcde.opb
COMMAND LINE= naps-1.02 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111170-1466397142/watcher-4111170-1466397142 -o /tmp/evaluation-result-4111170-1466397142/solver-4111170-1466397142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466384098-26439 --watchdog 1960  naps-1.02 HOME/instance-4111170-1466397142.opb

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

MD5SUM BENCH= 58308e0f247892f6b7dab5d3236e608a
RANDOM SEED=716309453

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.57
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.752
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:        30609232 kB
Buffers:           57304 kB
Cached:            55012 kB
SwapCached:          876 kB
Active:           141676 kB
Inactive:          77176 kB
Active(anon):     107576 kB
Inactive(anon):     1316 kB
Active(file):      34100 kB
Inactive(file):    75860 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67100240 kB
Dirty:              4316 kB
Writeback:             0 kB
AnonPages:       1420852 kB
Mapped:             7848 kB
Shmem:                 0 kB
Slab:             597696 kB
SReclaimable:      41872 kB
SUnreclaim:       555824 kB
KernelStack:        1472 kB
PageTables:         6636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1535172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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= 71696 MiB
End job on node131 at 2016-06-20 07:02:22