Trace number 45535

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-smodels 1.31SAT (TO)9199 1800.15 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
MD5SUM2b9af9044591fd3eb9f5def12c800cff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7982
Best CPU time to get the best result obtained on this benchmark1782.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7680
Optimality of the best value was proved NO
Number of variables10724
Total number of constraints1662
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)1139
Number of constraints which are nor clauses,nor cardinality constraints383
Minimum length of a constraint3
Maximum length of a constraint98
Number of terms in the objective function 9324
Biggest coefficient in the objective function 213
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 909647
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1069
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 909647
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	9199

Watcher Data (download as text)

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/node33/watcher-45535-1154039340 -o ROOT/results/node33/solver-45535-1154039340 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node33/45535-1154039340/instance-45535-1154039340.opb 474527858 ROOT/tmp/node33/45535-1154039340 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.99 2/64 19556
/proc/meminfo: memFree=1168776/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5356 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) R 19554 19556 19507 0 -1 4194304 264 0 0 0 0 0 0 0 19 0 1 0 150808955 5484544 230 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824339628 0 0 4100 65536 0 0 0 17 1 0 0
/proc/19556/statm: 1340 231 193 169 0 51 0

[startup+10.0029 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163232/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=8.87
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1238 0 0 0 886 1 0 0 25 0 1 0 150808956 6545408 1202 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538369 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1202 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (Kb) 41644

[startup+20.0102 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163296/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=18.87
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1238 0 0 0 1886 1 0 0 25 0 1 0 150808956 6545408 1202 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1202 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 20.38
Current children cumulated vsize (Kb) 41644

[startup+30.0165 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163360/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=28.87
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1238 0 0 0 2886 1 0 0 25 0 1 0 150808956 6545408 1202 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532381 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1202 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (Kb) 41644

[startup+40.0228 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163360/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=38.88
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1238 0 0 0 3887 1 0 0 25 0 1 0 150808956 6545408 1202 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532759 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1202 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 40.39
Current children cumulated vsize (Kb) 41644

[startup+50.0301 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163424/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=48.88
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1239 0 0 0 4887 1 0 0 25 0 1 0 150808956 6545408 1203 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532807 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1203 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (Kb) 41644

[startup+60.0363 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163424/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=58.89
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1239 0 0 0 5888 1 0 0 25 0 1 0 150808956 6545408 1203 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553309 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1203 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 60.4
Current children cumulated vsize (Kb) 41644

[startup+70.0436 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163424/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=68.89
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1239 0 0 0 6888 1 0 0 25 0 1 0 150808956 6545408 1203 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1203 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 70.4
Current children cumulated vsize (Kb) 41644

[startup+80.0499 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163424/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=78.89
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1239 0 0 0 7888 1 0 0 25 0 1 0 150808956 6545408 1203 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539248 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 1598 1203 211 21 0 1034 0
[pid=19561] ppid=19558 vsize=12268 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 150808956 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3067 389 301 3 0 167 0
Current children cumulated CPU time (s) 80.4
Current children cumulated vsize (Kb) 41644

[startup+90.0562 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19561
/proc/meminfo: memFree=1163424/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=6392 CPUtime=88.9
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 1239 0 0 0 8889 1 0 0 25 0 1 0 150808956 6545408 1203 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558143 0 0 4096 0 0 0 0 17 1 0 0

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

/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179158 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538420 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1793.11
Current children cumulated vsize (Kb) 45804

[startup+1794.25 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1792.61
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179259 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539729 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1794.12
Current children cumulated vsize (Kb) 45804

[startup+1795.26 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1793.61
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179359 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552450 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (Kb) 45804

[startup+1796.26 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1794.62
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179460 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134518377 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (Kb) 45804

[startup+1797.27 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1795.62
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179560 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (Kb) 45804

[startup+1798.27 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1796.63
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179661 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552438 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (Kb) 45804

[startup+1799.28 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1797.63
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179761 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532999 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (Kb) 45804

[startup+1800.28 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1798.64
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179862 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552496 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (Kb) 45804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.29 s]
/proc/loadavg: 0.99 0.97 0.99 2/68 19563
/proc/meminfo: memFree=1158944/2055920 swapFree=4183192/4192956
[pid=19556] ppid=19554 vsize=5360 CPUtime=0
/proc/19556/stat : 19556 (runpbsmodels) S 19554 19556 19507 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 150808955 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19556/statm: 1340 234 195 169 0 51 0
[pid=19557] ppid=19556 vsize=12268 CPUtime=0
/proc/19557/stat : 19557 (pbsmodels-v1.31) S 19556 19556 19507 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150808955 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 210833031060 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/19557/statm: 3067 383 293 3 0 167 0
[pid=19558] ppid=19557 vsize=5356 CPUtime=1.51
/proc/19558/stat : 19558 (sh) S 19557 19556 19507 0 -1 4194304 309 1192 0 0 0 0 151 0 16 0 1 0 150808956 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 227 188 169 0 50 0
[pid=19560] ppid=19558 vsize=10088 CPUtime=1798.64
/proc/19560/stat : 19560 (smodels-2.31) R 19558 19556 19507 0 -1 4194304 2199 0 0 0 179862 2 0 0 25 0 1 0 150808956 10330112 2163 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538428 0 0 4096 0 0 0 0 17 1 0 0
/proc/19560/statm: 2522 2163 214 21 0 1958 0
[pid=19561] ppid=19558 vsize=12732 CPUtime=0
/proc/19561/stat : 19561 (pbout.new.pl) S 19558 19556 19507 0 -1 4194304 560 0 0 0 0 0 0 0 16 0 1 0 150808956 13037568 520 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 210833027170 0 0 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/19561/statm: 3183 520 333 3 0 283 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (Kb) 45804

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 19556 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=1999
CPU time returned by wait4() is 0.002998
while last known CPU time is 1800.15

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1800.31
CPU time (s): 1800.15
CPU user time (s): 1800.13
CPU system time (s): 0.02
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (Kb): 45804
The end

Launcher Data (download as text)

Begin job on node33 on Thu Jul 27 22:29:00 UTC 2006


FILE ID= 45535-1154039340

PBS_JOBID= 881265

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node33/45535-1154039340/instance-45535-1154039340.opb 474527858  ROOT/tmp/node33/45535-1154039340
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-45535-1154039340 -o ROOT/results/node33/solver-45535-1154039340 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node33/45535-1154039340/instance-45535-1154039340.opb 474527858  ROOT/tmp/node33/45535-1154039340

MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4
MD5SUM BENCH=  2b9af9044591fd3eb9f5def12c800cff

RANDOM SEED= 474527858

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.218
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.218
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:      2055920 kB
MemFree:       1168984 kB
Buffers:         36496 kB
Cached:         778540 kB
SwapCached:       3616 kB
Active:         257712 kB
Inactive:       565948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1168984 kB
SwapTotal:     4192956 kB
SwapFree:      4183192 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14680 kB
Slab:            49296 kB
Committed_AS:   656312 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node33 on Thu Jul 27 22:59:00 UTC 2006