Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 264081 | 1800.58 | 1800.29 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb |
MD5SUM | aef7e3722fd5816dc0cbb2acb61edf83 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 264081 |
Best CPU time to get the best result obtained on this benchmark | 1800.58 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 264081 |
Optimality of the best value was proved | NO |
Number of variables | 11503 |
Total number of constraints | 971 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 835 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 9784 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 529231 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Running pbsmodels-v1.31 162.72 o 264081 1800.27 sh: line 1: 23815 Done pb2smodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb ROOT/tmp/node6/45263-1154026056 1800.27 23816 Terminated | smodels-2.31 0 -seed 921981458 1800.27 23817 Terminated | pbout.new.pl ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb ROOT/tmp/node6/45263-1154026056 1800.27 s SATISFIABLE 1800.27 v x1721 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1734 x1735 x1736 x1737 x1738 x1740 x1741 x1742 x1750 x1181 1800.27 v x1183 x1192 x1205 x1217 x1251 x1252 x1263 x1274 x1295 x1307 x1318 x1342 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1364 1800.27 v x1396 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1408 x1419 x1442 x1454 x1455 x1456 x1457 x1458 x1460 x1461 x1462 1800.27 v x1463 x1464 x1465 x1477 x1488 x1489 x1490 x1491 x1492 x1494 x1495 x1496 x1497 x1498 x1499 x1512 x1522 x1534 x1536 x1547 x1548 1800.27 v x1550 x1551 x1552 x1553 x1554 x1555 x1556 x1557 x1558 x1571 x1572 x1574 x1575 x1576 x1577 x1578 x1579 x1580 x1581 x1583 x1594 1800.27 v x1618 x1629 x1640 x1642 x1662 x1666 x1667 x1668 x1669 x1670 x1671 x1672 x1673 x1686 x1697 x1700 x1702 x1703 x1704 x1705 x1706 1800.27 v x1707 x1709 x1710 x1711 x1712 x1714 x1715 x1716 x1717 x1718 x5633 x7257 x1783 x9828 x1887 x2056 x2377 x5366 x6508 x8321 x2695 1800.27 v x2882 x2743 x9991 x3764 x4081 x5707 x3785 x4034 x4663 x6018 x10726 x9514 x5117 x8036 x9736 x5859 x7950 x9627 x6350 x6933 1800.27 v x11070 x7814 x9745 x8089 x9199 x3 x4 x8 x9 x11 x12 x14 x31 x32 x33 x34 x38 x42 x76 x100 x105 x123 x124 x127 x129 x130 x132 x163 x181 1800.27 v x182 x183 x184 x185 x186 x187 x189 x190 x191 x192 x193 x221 x225 x254 x282 x314 x338 x375 x405 x422 x425 x426 x459 x492 x513 x514 1800.27 v x517 x519 x520 x522 x524 x571 x576 x581 x613 x615 x645 x661 x662 x663 x666 x669 x671 x672 x695 x705 x734 x764 x787 x795 x843 x846 1800.27 v x850 x851 x853 x883 x945 x995 x1001 x1002 x1005 x1025 x1028 x1030 x1035 x1053 x1056 x1059 x1065 x1082 x1095 x1111 x1114 x1115 1800.27 v x1117 x1118 x1121 x1122 x1141 x1144 x1145 x1150 x1152 x1153 -x1720 -x1722 -x1733 -x1739 -x1743 -x1744 -x1745 -x1746 -x1747 1800.27 v -x1748 -x1749 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1182 -x1184 -x1185 -x1186 -x1187 1800.27 v -x1188 -x1189 -x1190 -x1191 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1206 1800.27 v -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.27 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 1800.27 v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 1800.27 v -x1261 -x1262 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1275 -x1276 -x1277 -x1278 -x1279 1800.27 v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 1800.27 v -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 1800.27 v -x1316 -x1317 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.27 v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.27 v -x1352 -x1353 -x1354 -x1363 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 1800.27 v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 1800.27 v -x1395 -x1397 -x1407 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1420 -x1421 -x1422 -x1423 1800.27 v -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 1800.27 v -x1441 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1459 -x1466 -x1467 -x1468 -x1469 1800.27 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 1800.27 v -x1493 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1513 -x1514 -x1515 -x1516 1800.27 v -x1517 -x1518 -x1519 -x1520 -x1521 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1535 1800.27 v -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1549 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1800.27 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1573 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 1800.27 v -x1593 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 1800.27 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 1800.27 v -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1641 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1800.27 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1663 -x1664 -x1665 -x1674 1800.27 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 1800.27 v -x1693 -x1694 -x1695 -x1696 -x1698 -x1699 -x1701 -x1708 -x1713 -x1719 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 1800.27 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1789 -x1790 -x1791 -x1792 -x1793 -x1859 -x1860 -x1861 -x1862 -x1863 -x1890 -x1891 1800.27 v -x1892 -x1893 -x1894 -x1895 -x1896 -x1910 -x1911 -x1912 -x1913 -x1914 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 1800.27 v -x2000 -x2001 -x2002 -x2003 -x2004 -x2070 -x2071 -x2072 -x2073 -x2074 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 1800.27 v -x2355 -x2356 -x2357 -x2358 -x2359 -x3034 -x3035 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3036 -x3037 1800.27 v -x3038 -x3047 -x3048 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3049 -x3050 -x3051 -x3093 -x3094 -x3098 1800.27 v -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3095 -x3096 -x3097 -x3119 -x3120 -x3124 -x3125 -x3126 -x3127 -x3128 1800.27 v -x3129 -x3130 -x3131 -x3121 -x3122 -x3123 -x3145 -x3146 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3147 1800.27 v -x3148 -x3149 -x3178 -x3179 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3180 -x3181 -x3182 -x3204 -x3205 1800.27 v -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3206 -x3207 -x3208 -x3217 -x3218 -x3222 -x3223 -x3224 -x3225 1800.27 v -x3226 -x3227 -x3228 -x3229 -x3219 -x3220 -x3221 -x3256 -x3257 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 1800.27 v -x3258 -x3259 -x3260 -x3282 -x3283 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3284 -x3285 -x3286 -x3295 1800.27 v -x3296 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3297 -x3298 -x3299 -x3377 -x3378 -x3382 -x3383 -x3384 1800.27 v -x3385 -x3386 -x3387 -x3388 -x3389 -x3379 -x3380 -x3381 -x3471 -x3472 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 1800.27 v -x3483 -x3473 -x3474 -x3475 -x3497 -x3498 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3499 -x3500 -x3501 1800.27 v -x3538 -x3539 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3540 -x3541 -x3542 -x3551 -x3552 -x3556 -x3557 1800.27 v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3553 -x3554 -x3555 -x3642 -x3643 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 1800.27 v -x3653 -x3654 -x3644 -x3645 -x3646 -x4183 -x4184 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4185 -x4186 1800.27 v -x4187 -x4262 -x4263 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4264 -x4265 -x4266 -x4293 -x4294 -x4298 1800.27 v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4295 -x4296 -x4297 -x4410 -x4411 -x4415 -x4416 -x4417 -x4418 -x4419 1800.27 v -x4420 -x4421 -x4422 -x4412 -x4413 -x4414 -x4433 -x4434 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4435 1800.27 v -x4436 -x4437 -x4511 -x4512 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4513 -x4514 -x4515 -x4731 -x4732 1800.27 v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4733 -x4734 -x4735 -x4800 -x4801 -x4805 -x4806 -x4807 -x4808 1800.27 v -x4809 -x4810 -x4811 -x4812 -x4802 -x4803 -x4804 -x4891 -x4892 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 1800.27 v -x4893 -x4894 -x4895 -x5084 -x5085 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5086 -x5087 -x5088 -x5287 1800.27 v -x5288 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5289 -x5290 -x5291 -x5338 -x5339 -x5343 -x5344 -x5345 1800.27 v -x5346 -x5347 -x5348 -x5349 -x5350 -x5340 -x5341 -x5342 -x5371 -x5372 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 1800.27 v -x5383 -x5373 -x5374 -x5375 -x5397 -x5398 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5399 -x5400 -x5401 1800.27 v -x5428 -x5429 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5430 -x5431 -x5432 -x5454 -x5455 -x5459 -x5460 1800.27 v -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5456 -x5457 -x5458 -x5467 -x5468 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 1800.27 v -x5478 -x5479 -x5469 -x5470 -x5471 -x5506 -x5507 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5508 -x5509 1800.27 v -x5510 -x5532 -x5533 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5534 -x5535 -x5536 -x5545 -x5546 -x5550 1800.27 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5547 -x5548 -x5549 -x5597 -x5598 -x5602 -x5603 -x5604 -x5605 -x5606 1800.27 v -x5607 -x5608 -x5609 -x5599 -x5600 -x5601 -x5623 -x5624 -x5628 -x5629 -x5630 -x5631 -x5632 -x5634 -x5635 -x5625 -x5626 1800.27 v -x5627 -x5675 -x5676 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5677 -x5678 -x5679 -x5766 -x5767 -x5771 1800.27 v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5768 -x5769 -x5770 -x5909 -x5910 -x5914 -x5915 -x5916 -x5917 -x5918 1800.27 v -x5919 -x5920 -x5921 -x5911 -x5912 -x5913 -x5935 -x5936 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5937 1800.27 v -x5938 -x5939 -x6000 -x6001 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6002 -x6003 -x6004 -x6065 -x6066 1800.27 v -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6067 -x6068 -x6069 -x6117 -x6118 -x6122 -x6123 -x6124 -x6125 1800.27 v -x6126 -x6127 -x6128 -x6129 -x6119 -x6120 -x6121 -x6175 -x6176 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 1800.27 v -x6177 -x6178 -x6179 -x6211 -x6212 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6213 -x6214 -x6215 -x6373 1800.27 v -x6374 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6375 -x6376 -x6377 -x6425 -x6426 -x6430 -x6431 -x6432 1800.27 v -x6433 -x6434 -x6435 -x6436 -x6437 -x6427 -x6428 -x6429 -x6484 -x6485 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 1800.27 v -x6496 -x6486 -x6487 -x6488 -x6517 -x6518 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6519 -x6520 -x6521 1800.27 v -x6530 -x6531 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6532 -x6533 -x6534 -x6574 -x6575 -x6579 -x6580 1800.27 v -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6576 -x6577 -x6578 -x6587 -x6588 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 1800.27 v -x6598 -x6599 -x6589 -x6590 -x6591 -x6605 -x6606 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6607 -x6608 1800.27 v -x6609 -x6631 -x6632 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6633 -x6634 -x6635 -x6657 -x6658 -x6662 1800.27 v -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6659 -x6660 -x6661 -x6696 -x6697 -x6701 -x6702 -x6703 -x6704 -x6705 1800.27 v -x6706 -x6707 -x6708 -x6698 -x6699 -x6700 -x6719 -x6720 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6721 1800.27 v -x6722 -x6723 -x6758 -x6759 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6760 -x6761 -x6762 -x6771 -x6772 1800.27 v -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6773 -x6774 -x6775 -x6797 -x6798 -x6802 -x6803 -x6804 -x6805 1800.27 v -x6806 -x6807 -x6808 -x6809 -x6799 -x6800 -x6801 -x6823 -x6824 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 1800.27 v -x6825 -x6826 -x6827 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6902 -x6903 -x6907 -x6908 -x6909 -x6910 -x6911 1800.27 v -x6912 -x6913 -x6914 -x6904 -x6905 -x6906 -x7226 -x7227 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7228 1800.27 v -x7229 -x7230 -x7255 -x7256 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7258 -x7259 -x7453 -x7454 -x7458 1800.27 v -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7455 -x7456 -x7457 -x7471 -x7472 -x7473 -x7474 -x7475 -x7788 -x7789 1800.27 v -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7790 -x7791 -x7792 -x7996 -x7997 -x8001 -x8002 -x8003 -x8004 1800.27 v -x8005 -x8006 -x8007 -x8008 -x7998 -x7999 -x8000 -x8302 -x8303 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 1800.27 v -x8304 -x8305 -x8306 -x8328 -x8329 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8330 -x8331 -x8332 -x8372 1800.27 v -x8373 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8374 -x8375 -x8376 -x8398 -x8399 -x8403 -x8404 -x8405 1800.27 v -x8406 -x8407 -x8408 -x8409 -x8410 -x8400 -x8401 -x8402 -x8411 -x8412 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 1800.27 v -x8423 -x8413 -x8414 -x8415 -x8437 -x8438 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8439 -x8440 -x8441 1800.27 v -x8463 -x8464 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8465 -x8466 -x8467 -x8502 -x8503 -x8507 -x8508 1800.27 v -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8504 -x8505 -x8506 -x8525 -x8526 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 1800.27 v -x8536 -x8537 -x8527 -x8528 -x8529 -x8564 -x8565 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8566 -x8567 1800.27 v -x8568 -x8577 -x8578 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8579 -x8580 -x8581 -x8603 -x8604 -x8608 1800.27 v -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8605 -x8606 -x8607 -x8629 -x8630 -x8634 -x8635 -x8636 -x8637 -x8638 1800.27 v -x8639 -x8640 -x8641 -x8631 -x8632 -x8633 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x9005 -x9006 -x9010 -x9011 1800.27 v -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9007 -x9008 -x9009 -x9031 -x9032 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 1800.27 v -x9042 -x9043 -x9033 -x9034 -x9035 -x9148 -x9149 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9150 -x9151 1800.27 v -x9152 -x9368 -x9369 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9370 -x9371 -x9372 -x9433 -x9434 -x9438 1800.27 v -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9435 -x9436 -x9437 -x9469 -x9470 -x9474 -x9475 -x9476 -x9477 -x9478 1800.27 v -x9479 -x9480 -x9481 -x9471 -x9472 -x9473 -x9651 -x9652 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9653 1800.27 v -x9654 -x9655 -x9803 -x9804 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9805 -x9806 -x9807 -x9849 -x9850 1800.27 v -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9851 -x9852 -x9853 -x10001 -x10002 -x10006 -x10007 -x10008 1800.27 v -x10009 -x10010 -x10011 -x10012 -x10013 -x10003 -x10004 -x10005 -x10040 -x10041 -x10045 -x10046 -x10047 -x10048 -x10049 1800.27 v -x10050 -x10051 -x10052 -x10042 -x10043 -x10044 -x10058 -x10059 -x10060 -x10061 -x10062 -x10095 -x10096 -x10100 -x10101 1800.27 v -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10097 -x10098 -x10099 -x10255 -x10256 -x10260 -x10261 -x10262 -x10263 1800.27 v -x10264 -x10265 -x10266 -x10267 -x10257 -x10258 -x10259 -x10294 -x10295 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 1800.27 v -x10305 -x10306 -x10296 -x10297 -x10298 -x10470 -x10471 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 1800.27 v -x10472 -x10473 -x10474 -x10496 -x10497 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10498 -x10499 1800.27 v -x10500 -x10535 -x10536 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10537 -x10538 -x10539 -x10561 1800.27 v -x10562 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10563 -x10564 -x10565 -x10574 -x10575 -x10579 1800.27 v -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10576 -x10577 -x10578 -x10699 -x10700 -x10704 -x10705 -x10706 1800.27 v -x10707 -x10708 -x10709 -x10710 -x10711 -x10701 -x10702 -x10703 -x11270 -x11271 -x11275 -x11276 -x11277 -x11278 -x11279 1800.27 v -x11280 -x11281 -x11282 -x11272 -x11273 -x11274 -x11408 -x11409 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 1800.27 v -x11420 -x11410 -x11411 -x11412 -x11460 -x11461 -x11465 -x11466 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11462 1800.27 v -x11463 -x11464 -x11486 -x11487 -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11488 -x11489 -x11490 1800.27 v -x11499 -x11500 -x11501 -x11502 -x11503 -x1751 -x1752 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1753 1800.27 v -x1754 -x1755 -x1776 -x1777 -x1781 -x1782 -x1784 -x1785 -x1786 -x1787 -x1788 -x1778 -x1779 -x1780 -x1794 -x1795 -x1799 1800.27 v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1796 -x1797 -x1798 -x1820 -x1821 -x1825 -x1826 -x1827 -x1828 -x1829 1800.27 v -x1830 -x1831 -x1832 -x1822 -x1823 -x1824 -x1833 -x1834 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1835 1800.27 v -x1836 -x1837 -x1897 -x1898 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1899 -x1900 -x1901 -x1915 -x1916 1800.27 v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1917 -x1918 -x1919 -x1928 -x1929 -x1933 -x1934 -x1935 -x1936 1800.27 v -x1937 -x1938 -x1939 -x1940 -x1930 -x1931 -x1932 -x1941 -x1942 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 1800.27 v -x1943 -x1944 -x1945 -x1954 -x1955 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1956 -x1957 -x1958 -x1967 1800.27 v -x1968 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1969 -x1970 -x1971 -x1987 -x1988 -x1992 -x1993 -x1994 1800.27 v -x1995 -x1996 -x1997 -x1998 -x1999 -x1989 -x1990 -x1991 -x2005 -x2006 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.27 v -x2017 -x2007 -x2008 -x2009 -x2057 -x2058 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2059 -x2060 -x2061 1800.27 v -x2075 -x2076 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2077 -x2078 -x2079 -x2160 -x2161 -x2165 -x2166 1800.27 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2162 -x2163 -x2164 -x2186 -x2187 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 1800.27 v -x2197 -x2198 -x2188 -x2189 -x2190 -x2199 -x2200 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2201 -x2202 1800.27 v -x2203 -x2212 -x2213 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2214 -x2215 -x2216 -x2225 -x2226 -x2230 1800.27 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2227 -x2228 -x2229 -x2264 -x2265 -x2269 -x2270 -x2271 -x2272 -x2273 1800.27 v -x2274 -x2275 -x2276 -x2266 -x2267 -x2268 -x2745 -x2746 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2747 1800.27 v -x2748 -x2749 -x2998 -x2999 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3000 -x3001 -x3002 -x3933 -x3934 1800.27 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3935 -x3936 -x3937 -x4131 -x4132 -x4136 -x4137 -x4138 -x4139 1800.27 v -x4140 -x4141 -x4142 -x4143 -x4133 -x4134 -x4135 -x4306 -x4307 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 1800.27 v -x4308 -x4309 -x4310 -x5058 -x5059 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5060 -x5061 -x5062 -x5261 1800.27 v -x5262 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5263 -x5264 -x5265 -x5584 -x5585 -x5589 -x5590 -x5591 1800.27 v -x5592 -x5593 -x5594 -x5595 -x5596 -x5586 -x5587 -x5588 -x5727 -x5728 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 1800.27 v -x5739 -x5729 -x5730 -x5731 -x5753 -x5754 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5755 -x5756 -x5757 1800.27 v -x5805 -x5806 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5807 -x5808 -x5809 -x5818 -x5819 -x5823 -x5824 1800.27 v -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5820 -x5821 -x5822 -x5896 -x5897 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 1800.27 v -x5907 -x5908 -x5898 -x5899 -x5900 -x7032 -x7033 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7034 -x7035 1800.27 v -x7036 -x7268 -x7269 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7270 -x7271 -x7272 -x7476 -x7477 -x7481 1800.27 v -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7478 -x7479 -x7480 -x7645 -x7646 -x7650 -x7651 -x7652 -x7653 -x7654 1800.27 v -x7655 -x7656 -x7657 -x7647 -x7648 -x7649 -x7658 -x7659 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7660 1800.27 v -x7661 -x7662 -x7957 -x7958 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7959 -x7960 -x7961 -x8256 -x8257 1800.27 v -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8258 -x8259 -x8260 -x8269 -x8270 -x8274 -x8275 -x8276 -x8277 1800.27 v -x8278 -x8279 -x8280 -x8281 -x8271 -x8272 -x8273 -x8734 -x8735 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 1800.27 v -x8736 -x8737 -x8738 -x8966 -x8967 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8968 -x8969 -x8970 -x9044 1800.27 v -x9045 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9046 -x9047 -x9048 -x9701 -x9702 -x9706 -x9707 -x9708 1800.27 v -x9709 -x9710 -x9711 -x9712 -x9713 -x9703 -x9704 -x9705 -x9816 -x9817 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 1800.27 v -x9818 -x9819 -x9820 -x10063 -x10064 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10065 -x10066 1800.27 v -x10067 -x10348 -x10349 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10350 -x10351 -x10352 -x10393 1800.27 v -x10394 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10395 -x10396 -x10397 -x10899 -x10900 -x10904 1800.27 v -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10901 -x10902 -x10903 -x11175 -x11176 -x11180 -x11181 -x11182 1800.27 v -x11183 -x11184 -x11185 -x11186 -x11187 -x11177 -x11178 -x11179 -x11188 -x11189 -x11193 -x11194 -x11195 -x11196 -x11197 1800.27 v -x11198 -x11199 -x11200 -x11190 -x11191 -x11192 -x11374 -x11375 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 1800.27 v -x11386 -x11376 -x11377 -x11378 -x1807 -x1808 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1809 -x1810 -x1811 1800.27 v -x1846 -x1847 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1848 -x1849 -x1850 -x1864 -x1865 -x1869 -x1870 1800.27 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1866 -x1867 -x1868 -x1877 -x1878 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 1800.27 v -x1889 -x1879 -x1880 -x1881 -x2018 -x2019 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2020 -x2021 -x2022 1800.27 v -x2031 -x2032 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2033 -x2034 -x2035 -x2044 -x2045 -x2049 -x2050 1800.27 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2046 -x2047 -x2048 -x2088 -x2089 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1800.27 v -x2100 -x2090 -x2091 -x2092 -x2101 -x2102 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2103 -x2104 -x2105 1800.27 v -x2121 -x2122 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2123 -x2124 -x2125 -x2134 -x2135 -x2139 -x2140 1800.27 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2136 -x2137 -x2138 -x2147 -x2148 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 1800.27 v -x2158 -x2159 -x2149 -x2150 -x2151 -x2173 -x2174 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2175 -x2176 1800.27 v -x2177 -x2238 -x2239 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2240 -x2241 -x2242 -x2251 -x2252 -x2256 1800.27 v -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2253 -x2254 -x2255 -x2277 -x2278 -x2282 -x2283 -x2284 -x2285 -x2286 1800.27 v -x2287 -x2288 -x2289 -x2279 -x2280 -x2281 -x2290 -x2291 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2292 1800.27 v -x2293 -x2294 -x2303 -x2304 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2305 -x2306 -x2307 -x2316 -x2317 1800.27 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2318 -x2319 -x2320 -x2329 -x2330 -x2334 -x2335 -x2336 -x2337 1800.27 v -x2338 -x2339 -x2340 -x2341 -x2331 -x2332 -x2333 -x2342 -x2343 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 1800.27 v -x2344 -x2345 -x2346 -x5274 -x5275 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5276 -x5277 -x5278 -x6386 1800.27 v -x6387 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6388 -x6389 -x6390 -x6399 -x6400 -x6404 -x6405 -x6406 1800.27 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6401 -x6402 -x6403 -x9381 -x9382 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 1800.27 v -x9393 -x9383 -x9384 -x9385 -x9394 -x9395 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9396 -x9397 -x9398 1800.27 v -x9664 -x9665 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9666 -x9667 -x9668 -x10268 -x10269 -x10273 -x10274 1800.27 v -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10270 -x10271 -x10272 -x10281 -x10282 -x10286 -x10287 -x10288 -x10289 1800.27 v -x10290 -x10291 -x10292 -x10293 -x10283 -x10284 -x10285 -x10483 -x10484 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 1800.27 v -x10494 -x10495 -x10485 -x10486 -x10487 -x10886 -x10887 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 1800.27 v -x10888 -x10889 -x10890 -x11421 -x11422 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11433 -x11423 -x11424 1800.27 v -x11425 -x11434 -x11435 -x11439 -x11440 -x11441 -x11442 -x11443 -x11444 -x11445 -x11446 -x11436 -x11437 -x11438 -x2360 1800.27 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 1800.27 v -x2386 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.27 v -x2466 -x2467 -x2468 -x2469 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2545 -x2546 -x2547 1800.27 v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 1800.27 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1800.27 v -x2716 -x2717 -x2718 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x3011 -x3012 -x3013 -x3014 1800.27 v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3023 1800.27 v -x3024 -x3025 -x3060 -x3061 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3062 -x3063 -x3064 -x3080 -x3081 1800.27 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3082 -x3083 -x3084 -x3106 -x3107 -x3111 -x3112 -x3113 -x3114 1800.27 v -x3115 -x3116 -x3117 -x3118 -x3108 -x3109 -x3110 -x3132 -x3133 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1800.27 v -x3134 -x3135 -x3136 -x3158 -x3159 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3160 -x3161 -x3162 -x3191 1800.27 v -x3192 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3193 -x3194 -x3195 -x3230 -x3231 -x3235 -x3236 -x3237 1800.27 v -x3238 -x3239 -x3240 -x3241 -x3242 -x3232 -x3233 -x3234 -x3243 -x3244 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 1800.27 v -x3255 -x3245 -x3246 -x3247 -x3269 -x3270 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3271 -x3272 -x3273 1800.27 v -x3308 -x3309 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3310 -x3311 -x3312 -x3328 -x3329 -x3330 -x3331 1800.27 v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3340 1800.27 v -x3341 -x3342 -x3351 -x3352 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3353 -x3354 -x3355 -x3364 -x3365 1800.27 v -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3366 -x3367 -x3368 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 1800.27 v -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3414 -x3415 -x3416 1800.27 v -x3425 -x3426 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3427 -x3428 -x3429 -x3445 -x3446 -x3450 -x3451 1800.27 v -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3447 -x3448 -x3449 -x3458 -x3459 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 1800.27 v -x3469 -x3470 -x3460 -x3461 -x3462 -x3484 -x3485 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3486 -x3487 1800.27 v -x3488 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3530 -x3531 -x3532 -x3533 1800.27 v -x3534 -x3535 -x3536 -x3537 -x3527 -x3528 -x3529 -x3564 -x3565 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 1800.27 v -x3566 -x3567 -x3568 -x3577 -x3578 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3579 -x3580 -x3581 -x3590 1800.27 v -x3591 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3592 -x3593 -x3594 -x3603 -x3604 -x3608 -x3609 -x3610 1800.27 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3605 -x3606 -x3607 -x3616 -x3617 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1800.27 v -x3628 -x3618 -x3619 -x3620 -x3629 -x3630 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3631 -x3632 -x3633 1800.27 v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 1800.27 v -x3761 -x3762 -x3763 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3959 -x3960 -x3961 -x3962 1800.27 v -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x4157 -x4158 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4159 1800.27 v -x4160 -x4161 -x4358 -x4359 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4360 -x4361 -x4362 -x4384 -x4385 1800.27 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4386 -x4387 -x4388 -x4446 -x4447 -x4451 -x4452 -x4453 -x4454 1800.27 v -x4455 -x4456 -x4457 -x4458 -x4448 -x4449 -x4450 -x4524 -x4525 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 1800.27 v -x4526 -x4527 -x4528 -x4718 -x4719 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4720 -x4721 -x4722 -x4787 1800.27 v -x4788 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4789 -x4790 -x4791 -x4839 -x4840 -x4844 -x4845 -x4846 1800.27 v -x4847 -x4848 -x4849 -x4850 -x4851 -x4841 -x4842 -x4843 -x4878 -x4879 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 1800.27 v -x4890 -x4880 -x4881 -x4882 -x4943 -x4944 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4945 -x4946 -x4947 1800.27 v -x5020 -x5021 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5022 -x5023 -x5024 -x5071 -x5072 -x5076 -x5077 1800.27 v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5073 -x5074 -x5075 -x5248 -x5249 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 1800.27 v -x5259 -x5260 -x5250 -x5251 -x5252 -x5300 -x5301 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5302 -x5303 1800.27 v -x5304 -x5325 -x5326 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5327 -x5328 -x5329 -x5358 -x5359 -x5363 1800.27 v -x5364 -x5365 -x5367 -x5368 -x5369 -x5370 -x5360 -x5361 -x5362 -x5384 -x5385 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 1800.27 v -x5395 -x5396 -x5386 -x5387 -x5388 -x5410 -x5411 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5412 -x5413 1800.27 v -x5414 -x5441 -x5442 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5443 -x5444 -x5445 -x5480 -x5481 -x5485 1800.27 v -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5482 -x5483 -x5484 -x5493 -x5494 -x5498 -x5499 -x5500 -x5501 -x5502 1800.27 v -x5503 -x5504 -x5505 -x5495 -x5496 -x5497 -x5519 -x5520 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5521 1800.27 v -x5522 -x5523 -x5558 -x5559 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5560 -x5561 -x5562 -x5610 -x5611 1800.27 v -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5612 -x5613 -x5614 -x5688 -x5689 -x5693 -x5694 -x5695 -x5696 1800.27 v -x5697 -x5698 -x5699 -x5700 -x5690 -x5691 -x5692 -x5948 -x5949 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 1800.27 v -x5950 -x5951 -x5952 -x6078 -x6079 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6080 -x6081 -x6082 -x6224 1800.27 v -x6225 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6226 -x6227 -x6228 -x6412 -x6413 -x6417 -x6418 -x6419 1800.27 v -x6420 -x6421 -x6422 -x6423 -x6424 -x6414 -x6415 -x6416 -x6445 -x6446 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 1800.27 v -x6457 -x6447 -x6448 -x6449 -x6458 -x6459 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6460 -x6461 -x6462 1800.27 v -x6471 -x6472 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6473 -x6474 -x6475 -x6497 -x6498 -x6502 -x6503 1800.27 v -x6504 -x6505 -x6506 -x6507 -x6509 -x6499 -x6500 -x6501 -x6543 -x6544 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 1800.27 v -x6555 -x6545 -x6546 -x6547 -x6556 -x6557 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6558 -x6618 -x6619 1800.27 v -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6620 -x6621 -x6622 -x6644 -x6645 -x6649 -x6650 -x6651 -x6652 1800.27 v -x6653 -x6654 -x6655 -x6656 -x6646 -x6647 -x6648 -x6670 -x6671 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 1800.27 v -x6672 -x6673 -x6674 -x6683 -x6684 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6685 -x6686 -x6687 -x6709 1800.27 v -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6732 -x6733 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 1800.27 v -x6743 -x6744 -x6734 -x6735 -x6736 -x6745 -x6746 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6747 -x6748 1800.27 v -x6749 -x6784 -x6785 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6786 -x6787 -x6788 -x6810 -x6811 -x6815 1800.27 v -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6812 -x6813 -x6814 -x6836 -x6837 -x6841 -x6842 -x6843 -x6844 -x6845 1800.27 v -x6846 -x6847 -x6848 -x6838 -x6839 -x6840 -x6876 -x6877 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6878 1800.27 v -x6879 -x6880 -x6889 -x6890 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6891 -x6892 -x6893 -x6993 -x6994 1800.27 v -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x6995 -x6996 -x6997 -x7123 -x7124 -x7128 -x7129 -x7130 -x7131 1800.27 v -x7132 -x7133 -x7134 -x7135 -x7125 -x7126 -x7127 -x7366 -x7367 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 1800.27 v -x7368 -x7369 -x7370 -x7401 -x7402 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7403 -x7404 -x7405 -x7489 1800.27 v -x7490 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7491 -x7492 -x7493 -x7502 -x7503 -x7507 -x7508 -x7509 1800.27 v -x7510 -x7511 -x7512 -x7513 -x7514 -x7504 -x7505 -x7506 -x7775 -x7776 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 1800.27 v -x7787 -x7777 -x7778 -x7779 -x7983 -x7984 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7985 -x7986 -x7987 1800.27 v -x8282 -x8283 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8284 -x8285 -x8286 -x8315 -x8316 -x8320 -x8322 1800.27 v -x8323 -x8324 -x8325 -x8326 -x8327 -x8317 -x8318 -x8319 -x8341 -x8342 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 1800.27 v -x8353 -x8343 -x8344 -x8345 -x8354 -x8355 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8356 -x8385 -x8386 1800.27 v -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8387 -x8388 -x8389 -x8424 -x8425 -x8429 -x8430 -x8431 -x8432 1800.27 v -x8433 -x8434 -x8435 -x8436 -x8426 -x8427 -x8428 -x8450 -x8451 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 1800.27 v -x8452 -x8453 -x8454 -x8476 -x8477 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8478 -x8479 -x8480 -x8489 1800.27 v -x8490 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8491 -x8492 -x8493 -x8515 -x8516 -x8517 -x8518 -x8519 1800.27 v -x8520 -x8521 -x8522 -x8523 -x8524 -x8538 -x8539 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8540 -x8541 1800.27 v -x8542 -x8551 -x8552 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8553 -x8554 -x8555 -x8590 -x8591 -x8595 1800.27 v -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8592 -x8593 -x8594 -x8616 -x8617 -x8621 -x8622 -x8623 -x8624 -x8625 1800.27 v -x8626 -x8627 -x8628 -x8618 -x8619 -x8620 -x8642 -x8643 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8644 1800.27 v -x8645 -x8646 -x8760 -x8761 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8762 -x8763 -x8764 -x9096 -x9097 1800.27 v -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9098 -x9099 -x9100 -x9122 -x9123 -x9127 -x9128 -x9129 -x9130 1800.27 v -x9131 -x9132 -x9133 -x9134 -x9124 -x9125 -x9126 -x9482 -x9483 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 1800.27 v -x9484 -x9485 -x9486 -x9927 -x9928 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9929 -x9930 -x9931 -x9975 1800.27 v -x9976 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9977 -x9978 -x9979 -x10509 -x10510 -x10514 -x10515 -x10516 1800.27 v -x10517 -x10518 -x10519 -x10520 -x10521 -x10511 -x10512 -x10513 -x10522 -x10523 -x10527 -x10528 -x10529 -x10530 -x10531 1800.27 v -x10532 -x10533 -x10534 -x10524 -x10525 -x10526 -x10548 -x10549 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 1800.27 v -x10560 -x10550 -x10551 -x10552 -x10587 -x10588 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10589 1800.27 v -x10590 -x10591 -x11162 -x11163 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11164 -x11165 -x11166 1800.27 v -x2387 -x2388 -x2389 -x2390 -x2391 -x2624 -x2625 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2626 -x2627 1800.27 v -x2628 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3858 -x3859 -x3860 -x3861 1800.27 v -x3862 -x3863 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4236 -x4237 -x4241 1800.27 v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4238 -x4239 -x4240 -x7195 -x7196 -x7200 -x7201 -x7202 -x7203 -x7204 1800.27 v -x7205 -x7206 -x7207 -x7197 -x7198 -x7199 -x8669 -x8670 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8671 1800.27 v -x8672 -x8673 -x8708 -x8709 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8710 -x8711 -x8712 -x8953 -x8954 1800.27 v -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8955 -x8956 -x8957 -x2692 -x2693 -x2696 -x2697 -x2698 -x2699 1800.27 v -x2700 -x2701 -x2702 -x2694 -x2879 -x2880 -x2881 -x2883 -x2884 -x2885 -x2886 -x2887 -x7239 -x7240 -x7242 -x7243 -x7244 1800.27 v -x7245 -x7246 -x7247 -x7248 -x7249 -x7241 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x9677 -x9678 1800.27 v -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9679 -x9792 -x9793 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 1800.27 v -x9801 -x9802 -x9794 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x11214 -x11215 -x11216 -x11217 -x11218 1800.27 v -x11219 -x11220 -x11221 -x11222 -x2408 -x2409 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2410 -x2411 -x2412 1800.27 v -x2421 -x2422 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2423 -x2424 -x2425 -x2434 -x2435 -x2439 -x2440 1800.27 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2436 -x2437 -x2438 -x2447 -x2448 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 1800.27 v -x2458 -x2459 -x2449 -x2450 -x2451 -x2470 -x2471 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2472 -x2473 1800.27 v -x2474 -x2483 -x2484 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2485 -x2486 -x2487 -x2496 -x2497 -x2501 1800.27 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2498 -x2499 -x2500 -x2526 -x2527 -x2531 -x2532 -x2533 -x2534 -x2535 1800.27 v -x2536 -x2537 -x2538 -x2528 -x2529 -x2530 -x2555 -x2556 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2557 1800.27 v -x2558 -x2559 -x2568 -x2569 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2570 -x2571 -x2572 -x2581 -x2582 1800.27 v -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2583 -x2584 -x2585 -x2594 -x2595 -x2599 -x2600 -x2601 -x2602 1800.27 v -x2603 -x2604 -x2605 -x2606 -x2596 -x2597 -x2598 -x2653 -x2654 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1800.27 v -x2655 -x2656 -x2657 -x2666 -x2667 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2668 -x2669 -x2670 -x2679 1800.27 v -x2680 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2681 -x2682 -x2683 -x2719 -x2720 -x2724 -x2725 -x2726 1800.27 v -x2727 -x2728 -x2729 -x2730 -x2731 -x2721 -x2722 -x2723 -x2732 -x2733 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 1800.27 v -x2734 -x2735 -x2736 -x2758 -x2759 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2760 -x2761 -x2762 -x2788 1800.27 v -x2789 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2790 -x2791 -x2792 -x2801 -x2802 -x2806 -x2807 -x2808 1800.27 v -x2809 -x2810 -x2811 -x2812 -x2813 -x2803 -x2804 -x2805 -x2814 -x2815 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 1800.27 v -x2826 -x2816 -x2817 -x2818 -x2827 -x2828 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2829 -x2830 -x2831 1800.27 v -x2840 -x2841 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2842 -x2843 -x2844 -x2853 -x2854 -x2858 -x2859 1800.27 v -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2855 -x2856 -x2857 -x2866 -x2867 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 1800.27 v -x2877 -x2878 -x2868 -x2869 -x2870 -x2888 -x2889 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2890 -x2891 1800.27 v -x2892 -x2901 -x2902 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2903 -x2904 -x2905 -x2914 -x2915 -x2919 1800.27 v -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2916 -x2917 -x2918 -x2927 -x2928 -x2932 -x2933 -x2934 -x2935 -x2936 1800.27 v -x2937 -x2938 -x2939 -x2929 -x2930 -x2931 -x2940 -x2941 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2942 1800.27 v -x2943 -x2944 -x2953 -x2954 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2955 -x2956 -x2957 -x2966 -x2967 1800.27 v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2968 -x2969 -x2970 -x2979 -x2980 -x2984 -x2985 -x2986 -x2987 1800.27 v -x2988 -x2989 -x2990 -x2991 -x2981 -x2982 -x2983 -x4144 -x4145 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 1800.27 v -x4146 -x4147 -x4148 -x4170 -x4171 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4172 -x4173 -x4174 -x4203 1800.27 v -x4204 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4205 -x4206 -x4207 -x4216 -x4217 -x4221 -x4222 -x4223 1800.27 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4218 -x4219 -x4220 -x4249 -x4250 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 1800.27 v -x4261 -x4251 -x4252 -x4253 -x4280 -x4281 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4282 -x4283 -x4284 1800.27 v -x4319 -x4320 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4321 -x4322 -x4323 -x4332 -x4333 -x4337 -x4338 1800.27 v -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4334 -x4335 -x4336 -x4345 -x4346 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.27 v -x4356 -x4357 -x4347 -x4348 -x4349 -x4371 -x4372 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4373 -x4374 1800.27 v -x4375 -x4397 -x4398 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4399 -x4400 -x4401 -x4459 -x4460 -x4464 1800.27 v -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4461 -x4462 -x4463 -x4472 -x4473 -x4477 -x4478 -x4479 -x4480 -x4481 1800.27 v -x4482 -x4483 -x4484 -x4474 -x4475 -x4476 -x4587 -x4588 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4589 1800.27 v -x4590 -x4591 -x4600 -x4601 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4602 -x4603 -x4604 -x4692 -x4693 1800.27 v -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4694 -x4695 -x4696 -x4705 -x4706 -x4710 -x4711 -x4712 -x4713 1800.27 v -x4714 -x4715 -x4716 -x4717 -x4707 -x4708 -x4709 -x4826 -x4827 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 1800.27 v -x4828 -x4829 -x4830 -x4930 -x4931 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4932 -x4933 -x4934 -x5007 1800.27 v -x5008 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5009 -x5010 -x5011 -x5235 -x5236 -x5240 -x5241 -x5242 1800.27 v -x5243 -x5244 -x5245 -x5246 -x5247 -x5237 -x5238 -x5239 -x5636 -x5637 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 1800.27 v -x5648 -x5638 -x5639 -x5640 -x5779 -x5780 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5781 -x5782 -x5783 1800.27 v -x5922 -x5923 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5924 -x5925 -x5926 -x5987 -x5988 -x5992 -x5993 1800.27 v -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x5989 -x5990 -x5991 -x6104 -x6105 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 1800.27 v -x6115 -x6116 -x6106 -x6107 -x6108 -x6162 -x6163 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6164 -x6165 1800.27 v -x6166 -x6360 -x6361 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6362 -x6363 -x6364 -x6863 -x6864 -x6868 1800.27 v -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6865 -x6866 -x6867 -x6980 -x6981 -x6985 -x6986 -x6987 -x6988 -x6989 1800.27 v -x6990 -x6991 -x6992 -x6982 -x6983 -x6984 -x7110 -x7111 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7112 1800.27 v -x7113 -x7114 -x7136 -x7137 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7138 -x7139 -x7140 -x7149 -x7150 1800.27 v -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7151 -x7152 -x7153 -x7162 -x7163 -x7167 -x7168 -x7169 -x7170 1800.27 v -x7171 -x7172 -x7173 -x7174 -x7164 -x7165 -x7166 -x7175 -x7176 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 1800.27 v -x7177 -x7178 -x7179 -x7213 -x7214 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7215 -x7216 -x7217 -x7288 1800.27 v -x7289 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7290 -x7291 -x7292 -x7301 -x7302 -x7306 -x7307 -x7308 1800.27 v -x7309 -x7310 -x7311 -x7312 -x7313 -x7303 -x7304 -x7305 -x7314 -x7315 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 1800.27 v -x7326 -x7316 -x7317 -x7318 -x7327 -x7328 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7329 -x7330 -x7331 1800.27 v -x7340 -x7341 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7342 -x7343 -x7344 -x7353 -x7354 -x7358 -x7359 1800.27 v -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7355 -x7356 -x7357 -x7388 -x7389 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 1800.27 v -x7399 -x7400 -x7390 -x7391 -x7392 -x7414 -x7415 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7416 -x7417 1800.27 v -x7418 -x7427 -x7428 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7429 -x7430 -x7431 -x7440 -x7441 -x7445 1800.27 v -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7442 -x7443 -x7444 -x7593 -x7594 -x7598 -x7599 -x7600 -x7601 -x7602 1800.27 v -x7603 -x7604 -x7605 -x7595 -x7596 -x7597 -x7606 -x7607 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7608 1800.27 v -x7609 -x7610 -x7749 -x7750 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7751 -x7752 -x7753 -x7762 -x7763 1800.27 v -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7764 -x7765 -x7766 -x7827 -x7828 -x7832 -x7833 -x7834 -x7835 1800.27 v -x7836 -x7837 -x7838 -x7839 -x7829 -x7830 -x7831 -x7840 -x7841 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 1800.27 v -x7842 -x7843 -x7844 -x7905 -x7906 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7907 -x7908 -x7909 -x7918 1800.27 v -x7919 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7920 -x7921 -x7922 -x8230 -x8231 -x8235 -x8236 -x8237 1800.27 v -x8238 -x8239 -x8240 -x8241 -x8242 -x8232 -x8233 -x8234 -x8243 -x8244 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 1800.27 v -x8255 -x8245 -x8246 -x8247 -x8979 -x8980 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8981 -x8982 -x8983 1800.27 v -x8992 -x8993 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x8994 -x8995 -x8996 -x9018 -x9019 -x9023 -x9024 1800.27 v -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9020 -x9021 -x9022 -x9057 -x9058 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 1800.27 v -x9068 -x9069 -x9059 -x9060 -x9061 -x9070 -x9071 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9072 -x9073 1800.27 v -x9074 -x9083 -x9084 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9085 -x9086 -x9087 -x9109 -x9110 -x9114 1800.27 v -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9111 -x9112 -x9113 -x9135 -x9136 -x9140 -x9141 -x9142 -x9143 -x9144 1800.27 v -x9145 -x9146 -x9147 -x9137 -x9138 -x9139 -x9355 -x9356 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9357 1800.27 v -x9358 -x9359 -x9420 -x9421 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9422 -x9423 -x9424 -x9638 -x9639 1800.27 v -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9640 -x9641 -x9642 -x9836 -x9837 -x9841 -x9842 -x9843 -x9844 1800.27 v -x9845 -x9846 -x9847 -x9848 -x9838 -x9839 -x9840 -x9862 -x9863 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 1800.27 v -x9864 -x9865 -x9866 -x9875 -x9876 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9877 -x9878 -x9879 -x9888 1800.27 v -x9889 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9890 -x9891 -x9892 -x9901 -x9902 -x9906 -x9907 -x9908 1800.27 v -x9909 -x9910 -x9911 -x9912 -x9913 -x9903 -x9904 -x9905 -x9914 -x9915 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 1800.27 v -x9926 -x9916 -x9917 -x9918 -x9949 -x9950 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9951 -x9952 -x9953 1800.27 v -x9962 -x9963 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9964 -x9965 -x9966 -x9988 -x9989 -x9993 -x9994 1800.27 v -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x9990 -x9992 -x10014 -x10015 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 1800.27 v -x10025 -x10026 -x10016 -x10017 -x10018 -x10027 -x10028 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 1800.27 v -x10029 -x10030 -x10031 -x10242 -x10243 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10244 -x10245 1800.27 v -x10246 -x10686 -x10687 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10688 -x10689 -x10690 -x10860 1800.27 v -x10861 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10862 -x10863 -x10864 -x10873 -x10874 -x10878 1800.27 v -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10875 -x10876 -x10877 -x10980 -x10981 -x10985 -x10986 -x10987 1800.27 v -x10988 -x10989 -x10990 -x10991 -x10992 -x10982 -x10983 -x10984 -x10993 -x10994 -x10998 -x10999 -x11000 -x11001 -x11002 1800.27 v -x11003 -x11004 -x11005 -x10995 -x10996 -x10997 -x11149 -x11150 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11160 1800.27 v -x11161 -x11151 -x11152 -x11153 -x11257 -x11258 -x11262 -x11263 -x11264 -x11265 -x11266 -x11267 -x11268 -x11269 -x11259 1800.27 v -x11260 -x11261 -x11361 -x11362 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372 -x11373 -x11363 -x11364 -x11365 1800.27 v -x11395 -x11396 -x11400 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407 -x11397 -x11398 -x11399 -x11447 -x11448 1800.27 v -x11452 -x11453 -x11454 -x11455 -x11456 -x11457 -x11458 -x11459 -x11449 -x11450 -x11451 -x11473 -x11474 -x11478 -x11479 1800.27 v -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11475 -x11476 -x11477 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1800.27 v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2539 -x2540 -x2541 -x2542 1800.27 v -x2543 -x2544 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2703 -x2704 1800.27 v -x2705 -x2706 -x2707 -x2708 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 1800.27 v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3321 -x3322 -x3323 1800.27 v -x3324 -x3325 -x3326 -x3327 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1800.27 v -x3444 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x5313 -x5314 1800.27 v -x5315 -x5316 -x5317 -x5318 -x5319 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x6438 -x6439 -x6440 -x6441 -x6442 1800.27 v -x6443 -x6444 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6849 1800.27 v -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7281 -x7282 -x7283 -x7284 1800.27 v -x7285 -x7286 -x7287 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 1800.27 v -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x10600 -x10601 -x10602 1800.27 v -x10603 -x10604 -x10605 -x10606 -x3397 -x3398 -x3399 -x3400 -x3401 -x3510 -x3511 -x3512 -x3513 -x3514 -x3655 -x3656 -x3657 1800.27 v -x3658 -x3659 -x3679 -x3680 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3681 -x3682 -x3683 -x3728 -x3729 1800.27 v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3730 -x3731 -x3732 -x3741 -x3742 -x3746 -x3747 -x3748 -x3749 1800.27 v -x3750 -x3751 -x3752 -x3753 -x3743 -x3744 -x3745 -x3765 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3766 1800.27 v -x3767 -x3768 -x3864 -x3865 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3866 -x3867 -x3868 -x3877 -x3878 1800.27 v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3879 -x3880 -x3881 -x3920 -x3921 -x3925 -x3926 -x3927 -x3928 1800.27 v -x3929 -x3930 -x3931 -x3932 -x3922 -x3923 -x3924 -x3946 -x3947 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 1800.27 v -x3948 -x3949 -x3950 -x3969 -x3970 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3971 -x3972 -x3973 -x4060 1800.27 v -x4061 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4062 -x4063 -x4064 -x4073 -x4074 -x4078 -x4079 -x4080 1800.27 v -x4082 -x4083 -x4084 -x4085 -x4075 -x4076 -x4077 -x4086 -x4087 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 1800.27 v -x4088 -x4089 -x4090 -x4099 -x4100 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4101 -x4102 -x4103 -x4112 1800.27 v -x4113 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4114 -x4115 -x4116 -x5701 -x5702 -x5706 -x5708 -x5709 1800.27 v -x5710 -x5711 -x5712 -x5713 -x5703 -x5704 -x5705 -x6091 -x6092 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 1800.27 v -x6093 -x6094 -x6095 -x6303 -x6304 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6305 -x6306 -x6307 -x8682 1800.27 v -x8683 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8684 -x8685 -x8686 -x8695 -x8696 -x8700 -x8701 -x8702 1800.27 v -x8703 -x8704 -x8705 -x8706 -x8707 -x8697 -x8698 -x8699 -x8721 -x8722 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 1800.27 v -x8733 -x8723 -x8724 -x8725 -x8747 -x8748 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8749 -x8750 -x8751 1800.27 v -x8773 -x8774 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8775 -x8776 -x8777 -x8888 -x8889 -x8893 -x8894 1800.27 v -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8890 -x8891 -x8892 -x8901 -x8902 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 1800.27 v -x8912 -x8913 -x8903 -x8904 -x8905 -x8914 -x8915 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8916 -x8917 1800.27 v -x8918 -x8927 -x8928 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8929 -x8930 -x8931 -x8940 -x8941 -x8945 1800.27 v -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8942 -x8943 -x8944 -x9292 -x9293 -x9297 -x9298 -x9299 -x9300 -x9301 1800.27 v -x9302 -x9303 -x9304 -x9294 -x9295 -x9296 -x9550 -x9551 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9552 1800.27 v -x9553 -x9554 -x10179 -x10180 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10181 -x10182 -x10183 1800.27 v -x11201 -x11202 -x11206 -x11207 -x11208 -x11209 -x11210 -x11211 -x11212 -x11213 -x11203 -x11204 -x11205 -x3705 -x3706 1800.27 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3707 -x3708 -x3709 -x3809 -x3810 -x3814 -x3815 -x3816 -x3817 1800.27 v -x3818 -x3819 -x3820 -x3821 -x3811 -x3812 -x3813 -x3835 -x3836 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 1800.27 v -x3837 -x3838 -x3839 -x3901 -x3902 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3903 -x3904 -x3905 -x3995 1800.27 v -x3996 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x3997 -x3998 -x3999 -x4021 -x4022 -x4026 -x4027 -x4028 1800.27 v -x4029 -x4030 -x4031 -x4032 -x4033 -x4023 -x4024 -x4025 -x4047 -x4048 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 1800.27 v -x4059 -x4049 -x4050 -x4051 -x8864 -x8865 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8866 -x8867 -x8868 1800.27 v -x3666 -x3667 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3668 -x3669 -x3670 -x3692 -x3693 -x3697 -x3698 1800.27 v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3694 -x3695 -x3696 -x3777 -x3778 -x3782 -x3783 -x3784 -x3786 -x3787 -x3788 1800.27 v -x3789 -x3779 -x3780 -x3781 -x3796 -x3797 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3798 -x3799 -x3800 1800.27 v -x3822 -x3823 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3824 -x3825 -x3826 -x3890 -x3891 -x3893 -x3894 1800.27 v -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3892 -x3982 -x3983 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 1800.27 v -x3984 -x3985 -x3986 -x4008 -x4009 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4010 -x4011 -x4012 -x4035 1800.27 v -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4036 -x4037 -x4038 -x5320 -x5321 -x5322 -x5323 -x5324 -x7208 1800.27 v -x7209 -x7210 -x7211 -x7212 -x7250 -x7251 -x7252 -x7253 -x7254 -x7466 -x7467 -x7468 -x7469 -x7470 -x4275 -x4276 -x4277 1800.27 v -x4278 -x4279 -x4423 -x4424 -x4425 -x4426 -x4427 -x4485 -x4486 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 1800.27 v -x4487 -x4488 -x4489 -x4498 -x4499 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4500 -x4501 -x4502 -x4537 1800.27 v -x4538 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4539 -x4540 -x4541 -x4550 -x4551 -x4555 -x4556 -x4557 1800.27 v -x4558 -x4559 -x4560 -x4561 -x4562 -x4552 -x4553 -x4554 -x4637 -x4638 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 1800.27 v -x4649 -x4639 -x4640 -x4641 -x4664 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4665 -x4666 -x4667 -x4770 1800.27 v -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4778 -x4956 1800.27 v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 1800.27 v -x4966 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 1800.27 v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5043 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5097 -x5098 1800.27 v -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5107 1800.27 v -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 1800.27 v -x5168 -x5160 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 1800.27 v -x5198 -x5190 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 1800.27 v -x5215 -x5207 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5227 -x5228 -x5229 -x5230 -x5231 1800.27 v -x5232 -x5233 -x5234 -x5226 -x5974 -x5975 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5976 -x5977 -x5978 1800.27 v -x6013 -x6014 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6015 -x6016 -x6017 -x6039 -x6040 -x6044 -x6045 -x6046 1800.27 v -x6047 -x6048 -x6049 -x6050 -x6051 -x6041 -x6042 -x6043 -x6149 -x6150 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 1800.27 v -x6161 -x6151 -x6152 -x6153 -x6277 -x6278 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6279 -x6280 -x6281 1800.27 v -x6290 -x6291 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6292 -x6293 -x6294 -x6954 -x6955 -x6959 -x6960 1800.27 v -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6956 -x6957 -x6958 -x7019 -x7020 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 1800.27 v -x7030 -x7031 -x7021 -x7022 -x7023 -x7071 -x7072 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7073 -x7074 1800.27 v -x7075 -x7097 -x7098 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7099 -x7100 -x7101 -x7541 -x7542 -x7546 1800.27 v -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7543 -x7544 -x7545 -x7580 -x7581 -x7585 -x7586 -x7587 -x7588 -x7589 1800.27 v -x7590 -x7591 -x7592 -x7582 -x7583 -x7584 -x7619 -x7620 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7621 1800.27 v -x7622 -x7623 -x7684 -x7685 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7686 -x7687 -x7688 -x7723 -x7724 1800.27 v -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7725 -x7726 -x7727 -x7853 -x7854 -x7858 -x7859 -x7860 -x7861 1800.27 v -x7862 -x7863 -x7864 -x7865 -x7855 -x7856 -x7857 -x7892 -x7893 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 1800.27 v -x7894 -x7895 -x7896 -x7931 -x7932 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7933 -x7934 -x7935 -x8009 1800.27 v -x8010 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8011 -x8012 -x8013 -x8048 -x8049 -x8053 -x8054 -x8055 1800.27 v -x8056 -x8057 -x8058 -x8059 -x8060 -x8050 -x8051 -x8052 -x8074 -x8075 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 1800.27 v -x8086 -x8076 -x8077 -x8078 -x8113 -x8114 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8115 -x8116 -x8117 1800.27 v -x8152 -x8153 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8154 -x8155 -x8156 -x8178 -x8179 -x8183 -x8184 1800.27 v -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8180 -x8181 -x8182 -x8204 -x8205 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 1800.27 v -x8215 -x8216 -x8206 -x8207 -x8208 -x9185 -x9186 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9187 -x9188 1800.27 v -x9189 -x9266 -x9267 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9268 -x9269 -x9270 -x9279 -x9280 -x9284 1800.27 v -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9281 -x9282 -x9283 -x9524 -x9525 -x9529 -x9530 -x9531 -x9532 -x9533 1800.27 v -x9534 -x9535 -x9536 -x9526 -x9527 -x9528 -x9688 -x9689 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9690 1800.27 v -x9691 -x9692 -x9779 -x9780 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9781 -x9782 -x9783 -x10153 -x10154 1800.27 v -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10155 -x10156 -x10157 -x10166 -x10167 -x10171 -x10172 1800.27 v -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10168 -x10169 -x10170 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 1800.27 v -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10361 -x10362 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 1800.27 v -x10373 -x10363 -x10364 -x10365 -x10626 -x10627 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10628 1800.27 v -x10629 -x10630 -x10639 -x10640 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10641 -x10642 -x10643 1800.27 v -x10725 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10727 -x10728 -x10729 -x10925 -x10926 -x10930 1800.27 v -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10927 -x10928 -x10929 -x11032 -x11033 -x11037 -x11038 -x11039 1800.27 v -x11040 -x11041 -x11042 -x11043 -x11044 -x11034 -x11035 -x11036 -x11045 -x11046 -x11050 -x11051 -x11052 -x11053 -x11054 1800.27 v -x11055 -x11056 -x11057 -x11047 -x11048 -x11049 -x11071 -x11072 -x11076 -x11077 -x11078 -x11079 -x11080 -x11081 -x11082 1800.27 v -x11083 -x11073 -x11074 -x11075 -x11084 -x11085 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11086 1800.27 v -x11087 -x11088 -x11097 -x11098 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11099 -x11100 -x11101 1800.27 v -x11110 -x11111 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11112 -x11113 -x11114 -x11123 -x11124 1800.27 v -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11125 -x11126 -x11127 -x11136 -x11137 -x11141 -x11142 1800.27 v -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11138 -x11139 -x11140 -x5844 -x5845 -x5849 -x5850 -x5851 -x5852 -x5853 1800.27 v -x5854 -x5855 -x5856 -x5846 -x5847 -x5848 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6253 -x6254 -x6255 -x6256 1800.27 v -x6257 -x6258 -x6259 -x6260 -x6252 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 -x6271 -x6272 -x6273 1800.27 v -x6274 -x6275 -x6276 -x6268 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9239 -x9240 -x9241 1800.27 v -x9242 -x9243 -x9244 -x9245 -x9246 -x9238 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9258 1800.27 v -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9257 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 1800.27 v -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10126 -x10127 -x10128 -x10129 -x10130 1800.27 v -x10131 -x10132 -x10133 -x10125 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10145 1800.27 v -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10144 -x10326 -x10327 -x10328 -x10329 -x10330 -x10337 -x10338 1800.27 v -x10339 -x10340 -x10341 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10618 -x10619 1800.27 v -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10617 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 1800.27 v -x10772 -x10773 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10774 -x10796 -x10797 -x10801 -x10802 1800.27 v -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10798 -x10799 -x10800 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 1800.27 v -x10815 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10816 -x10825 -x10826 -x10827 -x10828 -x10829 1800.27 v -x10830 -x10831 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10832 -x10841 -x10842 -x10843 -x10844 1800.27 v -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10851 1800.27 v -x10951 -x10952 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10953 -x10954 -x10955 -x10964 -x10965 1800.27 v -x10966 -x10967 -x10968 -x10969 -x10970 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10971 -x4428 1800.27 v -x4429 -x4430 -x4431 -x4432 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 1800.27 v -x4577 -x4578 -x4579 -x4580 -x4581 -x4573 -x4582 -x4583 -x4584 -x4585 -x4586 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.27 v -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4623 -x4632 -x4633 -x4634 -x4635 1800.27 v -x4636 -x4650 -x4651 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4652 -x4653 -x4654 -x4676 -x4677 -x4678 1800.27 v -x4679 -x4680 -x4681 -x4682 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4683 -x5116 -x5118 -x5119 -x5120 1800.27 v -x5121 -x5122 -x5123 -x5831 -x5832 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5833 -x5834 -x5835 -x7058 1800.27 v -x7059 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7060 -x7061 -x7062 -x7671 -x7672 -x7676 -x7677 -x7678 1800.27 v -x7679 -x7680 -x7681 -x7682 -x7683 -x7673 -x7674 -x7675 -x8035 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 1800.27 v -x8037 -x8038 -x8039 -x8061 -x8062 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8063 -x8064 -x8065 -x8786 1800.27 v -x8787 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8788 -x8789 -x8790 -x8799 -x8800 -x8804 -x8805 -x8806 1800.27 v -x8807 -x8808 -x8809 -x8810 -x8811 -x8801 -x8802 -x8803 -x8812 -x8813 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 1800.27 v -x8824 -x8814 -x8815 -x8816 -x8825 -x8826 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8827 -x8828 -x8829 1800.27 v -x9714 -x9715 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9716 -x9717 -x9718 -x9727 -x9728 -x9732 -x9733 1800.27 v -x9734 -x9735 -x9737 -x9738 -x9739 -x9729 -x9730 -x9731 -x10712 -x10713 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 1800.27 v -x10723 -x10724 -x10714 -x10715 -x10716 -x10738 -x10739 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 1800.27 v -x10740 -x10741 -x10742 -x10751 -x10752 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10753 -x10754 1800.27 v -x10755 -x10783 -x10784 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10785 -x10786 -x10787 -x10912 1800.27 v -x10913 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10914 -x10915 -x10916 -x10938 -x10939 -x10943 1800.27 v -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10940 -x10941 -x10942 -x4744 -x4745 -x4749 -x4750 -x4751 -x4752 1800.27 v -x4753 -x4754 -x4755 -x4756 -x4746 -x4747 -x4748 -x4757 -x4758 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 1800.27 v -x4759 -x4760 -x4761 -x4813 -x4814 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4815 -x4816 -x4817 -x4852 1800.27 v -x4853 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4854 -x4855 -x4856 -x4865 -x4866 -x4870 -x4871 -x4872 1800.27 v -x4873 -x4874 -x4875 -x4876 -x4877 -x4867 -x4868 -x4869 -x4904 -x4905 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 1800.27 v -x4916 -x4906 -x4907 -x4908 -x4917 -x4918 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4919 -x4920 -x4921 1800.27 v -x4981 -x4982 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4983 -x4984 -x4985 -x4994 -x4995 -x4999 -x5000 1800.27 v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x4996 -x4997 -x4998 -x5124 -x5125 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 1800.27 v -x5135 -x5136 -x5126 -x5127 -x5128 -x5137 -x5138 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5139 -x5140 1800.27 v -x5141 -x5169 -x5170 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5171 -x5172 -x5173 -x5423 -x5424 -x5425 1800.27 v -x5426 -x5427 -x5571 -x5572 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5573 -x5574 -x5575 -x5649 -x5650 1800.27 v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5651 -x5652 -x5653 -x5662 -x5663 -x5667 -x5668 -x5669 -x5670 1800.27 v -x5671 -x5672 -x5673 -x5674 -x5664 -x5665 -x5666 -x5714 -x5715 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 1800.27 v -x5716 -x5717 -x5718 -x5740 -x5741 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5742 -x5743 -x5744 -x5792 1800.27 v -x5793 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5794 -x5795 -x5796 -x5857 -x5858 -x5862 -x5863 -x5864 1800.27 v -x5865 -x5866 -x5867 -x5868 -x5869 -x5860 -x5861 -x5870 -x5871 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 1800.27 v -x5872 -x5873 -x5874 -x5883 -x5884 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5885 -x5886 -x5887 -x5961 1800.27 v -x5962 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5963 -x5964 -x5965 -x6026 -x6027 -x6031 -x6032 -x6033 1800.27 v -x6034 -x6035 -x6036 -x6037 -x6038 -x6028 -x6029 -x6030 -x6052 -x6053 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 1800.27 v -x6064 -x6054 -x6055 -x6056 -x6138 -x6139 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6140 -x6196 -x6197 1800.27 v -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6198 -x6324 -x6325 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 1800.27 v -x6335 -x6336 -x6326 -x6327 -x6328 -x6941 -x6942 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6943 -x6944 1800.27 v -x6945 -x7006 -x7007 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7008 -x7009 -x7010 -x7084 -x7085 -x7089 1800.27 v -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7086 -x7087 -x7088 -x7554 -x7555 -x7559 -x7560 -x7561 -x7562 -x7563 1800.27 v -x7564 -x7565 -x7566 -x7556 -x7557 -x7558 -x7632 -x7633 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7634 1800.27 v -x7635 -x7636 -x7736 -x7737 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7738 -x7739 -x7740 -x7866 -x7867 1800.27 v -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7868 -x7869 -x7870 -x7944 -x7945 -x7949 -x7951 -x7952 -x7953 1800.27 v -x7954 -x7955 -x7956 -x7946 -x7947 -x7948 -x8022 -x8023 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8024 1800.27 v -x8025 -x8026 -x8126 -x8127 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8128 -x8129 -x8130 -x8165 -x8166 1800.27 v -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8167 -x8168 -x8169 -x8191 -x8192 -x8196 -x8197 -x8198 -x8199 1800.27 v -x8200 -x8201 -x8202 -x8203 -x8193 -x8194 -x8195 -x8217 -x8218 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 1800.27 v -x8219 -x8220 -x8221 -x9166 -x9167 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9168 -x9202 -x9203 -x9205 1800.27 v -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9204 -x9305 -x9306 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 1800.27 v -x9317 -x9307 -x9308 -x9309 -x9446 -x9447 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9448 -x9495 -x9496 1800.27 v -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9497 -x9563 -x9564 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 1800.27 v -x9572 -x9573 -x9565 -x9595 -x9596 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9597 -x9611 -x9612 -x9614 1800.27 v -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9613 -x9628 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 1800.27 v -x9629 -x10076 -x10077 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10078 -x10192 -x10193 -x10197 1800.27 v -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10194 -x10195 -x10196 -x10307 -x10308 -x10310 -x10311 -x10312 1800.27 v -x10313 -x10314 -x10315 -x10316 -x10317 -x10309 -x10374 -x10375 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 1800.27 v -x10384 -x10376 -x10419 -x10420 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10421 -x10435 -x10436 1800.27 v -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10437 -x10451 -x10452 -x10454 -x10455 -x10456 -x10457 1800.27 v -x10458 -x10459 -x10460 -x10461 -x10453 -x10652 -x10653 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 1800.27 v -x10654 -x10655 -x10656 -x11223 -x11224 -x11228 -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11225 -x11226 1800.27 v -x11227 -x11283 -x11284 -x11288 -x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11285 -x11286 -x11287 -x11309 1800.27 v -x11310 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11321 -x11311 -x11312 -x11313 -x11335 -x11336 -x11340 1800.27 v -x11341 -x11342 -x11343 -x11344 -x11345 -x11346 -x11347 -x11337 -x11338 -x11339 -x6207 -x6208 -x6209 -x6210 -x6337 -x6338 1800.27 v -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6339 -x6340 -x6341 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 1800.27 v -x9183 -x9184 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9318 -x9319 -x9323 -x9324 -x9325 -x9326 -x9327 1800.27 v -x9328 -x9329 -x9330 -x9320 -x9321 -x9322 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9506 -x9507 -x9508 1800.27 v -x9509 -x9510 -x9511 -x9512 -x9513 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9606 -x9607 -x9608 -x9609 1800.27 v -x9610 -x9622 -x9623 -x9624 -x9625 -x9626 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10205 -x10206 1800.27 v -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10207 -x10208 -x10209 -x10318 -x10319 -x10320 -x10321 1800.27 v -x10322 -x10323 -x10324 -x10325 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10430 -x10431 -x10432 1800.27 v -x10433 -x10434 -x10446 -x10447 -x10448 -x10449 -x10450 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 1800.27 v -x10665 -x10666 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10667 -x10668 -x10669 -x11236 -x11237 1800.27 v -x11241 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11238 -x11239 -x11240 -x11296 -x11297 -x11301 -x11302 1800.27 v -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 -x11298 -x11299 -x11300 -x11322 -x11323 -x11327 -x11328 -x11329 -x11330 1800.27 v -x11331 -x11332 -x11333 -x11334 -x11324 -x11325 -x11326 -x11348 -x11349 -x11353 -x11354 -x11355 -x11356 -x11357 -x11358 1800.27 v -x11359 -x11360 -x11350 -x11351 -x11352 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x9331 -x9332 1800.27 v -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x10218 -x10219 -x10220 1800.27 v -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10678 -x10679 1800.27 v -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x11249 -x11250 -x11251 -x11252 -x11253 -x11254 -x11255 -x11256 -x11387 1800.27 v -x11388 -x11389 -x11390 -x11391 -x11392 -x11393 -x11394 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6188 1800.27 v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6316 -x6317 1800.27 v -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6600 -x6601 -x6602 -x6603 -x6604 -x6915 -x6916 -x6920 -x6921 -x6922 -x6923 1800.27 v -x6924 -x6925 -x6926 -x6927 -x6917 -x6918 -x6919 -x6928 -x6929 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6930 1800.27 v -x6931 -x6932 -x7567 -x7568 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7569 -x7570 -x7571 -x7697 -x7698 1800.27 v -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7699 -x7700 -x7701 -x7879 -x7880 -x7884 -x7885 -x7886 -x7887 1800.27 v -x7888 -x7889 -x7890 -x7891 -x7881 -x7882 -x7883 -x7970 -x7971 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 1800.27 v -x7972 -x7973 -x7974 -x8139 -x8140 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8141 -x8142 -x8143 -x9407 1800.27 v -x9408 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9409 -x9410 -x9411 -x9766 -x9767 -x9771 -x9772 -x9773 1800.27 v -x9774 -x9775 -x9776 -x9777 -x9778 -x9768 -x9769 -x9770 -x7710 -x7711 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 1800.27 v -x7722 -x7712 -x7713 -x7714 -x9537 -x9538 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9539 -x9540 -x9541 1800.27 v -x11058 -x11059 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11060 -x11061 -x11062 -x6967 -x6968 -x6972 1800.27 v -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6969 -x6970 -x6971 -x7045 -x7046 -x7050 -x7051 -x7052 -x7053 -x7054 1800.27 v -x7055 -x7056 -x7057 -x7047 -x7048 -x7049 -x7528 -x7529 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7530 1800.27 v -x7531 -x7532 -x7815 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7816 -x7817 -x7818 -x8100 -x8101 -x8105 1800.27 v -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8102 -x8103 -x8104 -x8851 -x8852 -x8856 -x8857 -x8858 -x8859 -x8860 1800.27 v -x8861 -x8862 -x8863 -x8853 -x8854 -x8855 -x9753 -x9754 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9755 1800.27 v -x9756 -x9757 -x11019 -x11020 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11021 -x11022 -x11023 1800.27 v -x7515 -x7516 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7517 -x7518 -x7519 -x8838 -x8839 -x8843 -x8844 1800.27 v -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8840 -x8841 -x8842 -x9740 -x9741 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 1800.27 v -x9752 -x9742 -x9743 -x9744 -x11006 -x11007 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11008 1800.27 v -x11009 -x11010 -x7801 -x7802 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7803 -x7804 -x7805 -x8087 -x8088 1800.27 v -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8090 -x8091 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8884 1800.27 v -x8885 -x8886 -x8887 -x8879 -x10053 -x10054 -x10055 -x10056 -x10057 -x9161 -x9162 -x9163 -x9164 -x9165 -x9198 -x9200 1800.27 v -x9201 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9465 1800.27 v -x9466 -x9467 -x9468 -x10406 -x10407 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10408 -x10409 1800.27 v -x10410 -x9582 -x9583 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9584 -x9585 -x9586 -x10108 -x10109 -x10110 1800.27 v -x10111 -x10112 -x10113 -x10114 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x1 -x2 -x5 -x6 -x7 -x10 1800.27 v -x13 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x35 -x36 -x37 -x39 -x40 -x41 -x43 -x44 -x45 1800.27 v -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1800.27 v -x72 -x73 -x74 -x75 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 1800.27 v -x99 -x101 -x102 -x103 -x104 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 1800.27 v -x122 -x125 -x126 -x128 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1800.27 v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.27 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x188 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1800.27 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x222 -x223 -x224 -x226 1800.27 v -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 1800.27 v -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 1800.27 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1800.27 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.27 v -x313 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 1800.27 v -x335 -x336 -x337 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.27 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x376 -x377 -x378 1800.27 v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 1800.27 v -x400 -x401 -x402 -x403 -x404 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.27 v -x423 -x424 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.27 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 1800.27 v -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 1800.27 v -x489 -x490 -x491 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.27 v -x511 -x512 -x515 -x516 -x518 -x521 -x523 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 1800.27 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 1800.27 v -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x572 -x573 -x574 -x575 -x577 -x578 -x579 -x580 -x582 -x583 1800.27 v -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 1800.27 v -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 1800.27 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x646 -x647 -x648 -x649 1800.27 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x664 -x665 -x667 -x668 -x670 -x673 -x674 -x675 -x676 -x677 1800.27 v -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x696 -x697 -x698 -x699 1800.27 v -x700 -x701 -x702 -x703 -x704 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 1800.27 v -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 1800.27 v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x765 1800.27 v -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 1800.27 v -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 1800.27 v -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 1800.27 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x844 -x845 -x847 -x848 -x849 -x852 -x854 -x855 -x856 1800.27 v -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 1800.27 v -x878 -x879 -x880 -x881 -x882 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 1800.27 v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1800.27 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 1800.27 v -x942 -x943 -x944 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 1800.27 v -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 1800.27 v -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x996 -x997 -x998 -x999 -x1000 -x1003 -x1004 -x1006 -x1007 -x1008 1800.27 v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1026 1800.27 v -x1027 -x1029 -x1031 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1800.27 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1054 -x1055 -x1057 -x1058 -x1060 -x1061 -x1062 -x1063 -x1064 -x1066 -x1067 1800.27 v -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 -x1084 -x1085 1800.27 v -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 1800.27 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1112 -x1113 -x1116 -x1119 -x1120 -x1123 -x1124 -x1125 -x1126 -x1127 1800.27 v -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1142 -x1143 -x1146 -x1147 1800.27 v -x1148 -x1149 -x1151 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.27 v -x1168 -x1169 -x1170 1800.28 c Somebody sent me a SIGTERM 1800.28 smodels-2.31: no process killed 1800.29 pb2smodels: no process killed
OK 264081
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node6/watcher-45263-1154026056 -o ROOT/results/node6/solver-45263-1154026056 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb 921981458 ROOT/tmp/node6/45263-1154026056 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.99 0.99 3/63 23812 /proc/meminfo: memFree=761544/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=0 CPUtime=0 /proc/23813/stat : 23813 (runpbsmodels) R 23812 23812 23763 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 149466973 0 0 18446744073709551615 0 0 0 18446744073709551615 268582841639 0 0 4096 0 0 0 0 17 1 0 0 /proc/23813/statm: 0 0 0 0 0 0 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750056/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=7.02 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 701 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552478 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 11.01 Current children cumulated vsize (Kb) 47672 [startup+20.0078 s] /proc/loadavg: 0.94 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750120/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=17.03 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 1702 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134521662 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 21.02 Current children cumulated vsize (Kb) 47672 [startup+30.0138 s] /proc/loadavg: 0.95 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750184/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=27.02 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 2701 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550765 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 31.01 Current children cumulated vsize (Kb) 47672 [startup+40.0208 s] /proc/loadavg: 0.96 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=37.03 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 3702 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134551334 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 41.02 Current children cumulated vsize (Kb) 47672 [startup+50.0278 s] /proc/loadavg: 0.97 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=47.03 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 4702 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550765 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 51.02 Current children cumulated vsize (Kb) 47672 [startup+60.0347 s] /proc/loadavg: 0.97 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=57.04 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 5703 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553320 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 61.03 Current children cumulated vsize (Kb) 47672 [startup+70.0417 s] /proc/loadavg: 0.97 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=67.04 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 6703 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 71.03 Current children cumulated vsize (Kb) 47672 [startup+80.0487 s] /proc/loadavg: 0.98 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12420 CPUtime=77.04 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2731 0 0 0 7703 1 0 0 25 0 1 0 149466974 12718080 2695 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552542 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3105 2695 211 21 0 2541 0 [pid=23817] ppid=23814 vsize=12268 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 149466974 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 81.03 Current children cumulated vsize (Kb) 47672 [startup+90.0556 s] /proc/loadavg: 0.98 0.99 0.99 2/67 23817 /proc/meminfo: memFree=750248/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 178950 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550827 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1793.54 Current children cumulated vsize (Kb) 48116 [startup+1794.23 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1790.55 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179050 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550742 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (Kb) 48116 [startup+1795.23 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1791.56 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179151 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553391 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1795.55 Current children cumulated vsize (Kb) 48116 [startup+1796.24 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1792.56 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179251 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553538 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (Kb) 48116 [startup+1797.24 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1793.57 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179352 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1797.56 Current children cumulated vsize (Kb) 48116 [startup+1798.25 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1794.57 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179452 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550871 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1798.56 Current children cumulated vsize (Kb) 48116 [startup+1799.25 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1795.58 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179553 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (Kb) 48116 [startup+1800.26 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1796.58 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179653 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553314 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 48116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.26 s] /proc/loadavg: 1.00 1.00 1.00 2/67 24015 /proc/meminfo: memFree=749608/2055924 swapFree=4183160/4192956 [pid=23812] ppid=23810 vsize=5360 CPUtime=0 /proc/23812/stat : 23812 (runpbsmodels) S 23810 23812 23763 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 149466973 5488640 234 18446744073709551615 4194304 4889804 548682069184 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23812/statm: 1340 234 195 169 0 51 0 [pid=23813] ppid=23812 vsize=12268 CPUtime=0 /proc/23813/stat : 23813 (pbsmodels-v1.31) S 23812 23812 23763 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 149466973 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 268591742868 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/23813/statm: 3067 383 293 3 0 167 0 [pid=23814] ppid=23813 vsize=5356 CPUtime=3.99 /proc/23814/stat : 23814 (sh) S 23813 23812 23763 0 -1 4194304 309 1232 0 0 0 0 398 1 16 0 1 0 149466974 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 268582839108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/23814/statm: 1339 227 188 169 0 50 0 [pid=23816] ppid=23814 vsize=12552 CPUtime=1796.59 /proc/23816/stat : 23816 (smodels-2.31) R 23814 23812 23763 0 -1 4194304 2783 0 0 0 179654 5 0 0 25 0 1 0 149466974 12853248 2747 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553137 0 0 4096 0 0 0 0 17 1 0 0 /proc/23816/statm: 3138 2747 214 21 0 2574 0 [pid=23817] ppid=23814 vsize=12580 CPUtime=0 /proc/23817/stat : 23817 (pbout.new.pl) S 23814 23812 23763 0 -1 4194304 522 0 0 0 0 0 0 0 17 0 1 0 149466974 12881920 482 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 268591738978 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/23817/statm: 3145 482 333 3 0 245 0 Current children cumulated CPU time (s) 1800.58 Current children cumulated vsize (Kb) 48116 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 23812 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=0 CPU time returned by wait4() is 0.001999 while last known CPU time is 1800.58 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1800.29 CPU time (s): 1800.58 CPU user time (s): 1800.52 CPU system time (s): 0.06 CPU usage (%): 100.016 Max. virtual memory (cumulated for all children) (Kb): 48116 The end
Begin job on node6 on Thu Jul 27 18:47:36 UTC 2006 FILE ID= 45263-1154026056 PBS_JOBID= 880786 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb 921981458 ROOT/tmp/node6/45263-1154026056 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-45263-1154026056 -o ROOT/results/node6/solver-45263-1154026056 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node6/45263-1154026056/instance-45263-1154026056.opb 921981458 ROOT/tmp/node6/45263-1154026056 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= aef7e3722fd5816dc0cbb2acb61edf83 RANDOM SEED= 921981458 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055924 kB MemFree: 761752 kB Buffers: 46996 kB Cached: 1151944 kB SwapCached: 3980 kB Active: 293428 kB Inactive: 914512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 761752 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14832 kB Slab: 72208 kB Committed_AS: 573356 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Thu Jul 27 19:17:36 UTC 2006