Trace number 372610

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
bsolo 3.0.16SAT28 1800.02 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM0b594d74f3df9901bfa97fac996b1847
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark574.927
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
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/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/372610-1177112808/instance-372610-1177112808.opb
0.00/0.00	c File size is 684785 bytes.
0.09/0.13	c Highest Coefficient sum: 3612
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.126 s
0.09/0.14	c Var: 7437 Constr: 23270 23270/0/0 Lit: 56135 Watch. Lit: 45944
0.09/0.14	c Obj. Vars: 3612 (48.568 % of total variables)
0.29/0.32	c Pre-processing Time: 0.319 s
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        0   6234    19132    47204    2    38264    6377      0      0 0.32
0.29/0.32	c Switching off LPR mode.
0.29/0.33	o 31	0.33
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c        6   6234    19139    50334    2    41263    7377      7     17 0.34
1.19/1.21	c      108   6234    19241    55305    2    41467    8115    109    289 0.37
1.19/1.21	c      359   6234    19492    61726    3    41969    8927    360    550 0.65
1.19/1.21	c      834   6234    19967    79914    4    42919    9820    835    710 1.17
1.19/1.21	o 30	1.209
125.26/125.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
125.26/125.37	c      854   6234    19988    83438    4    45947    7377    856    703 1.21
125.26/125.37	c      954   6234    20088    87274    4    46147    8115    956    711 1.34
125.26/125.37	c     1204   6234    20338    96922    4    46647    8927   1206    732 1.64
125.26/125.37	c     1679   6234    20813   123012    5    47597    9820   1681    690 2.43
125.26/125.37	c     2494   6234    21628   179084    8    49227   10803   2496    695 3.59
125.26/125.37	c     3815   6234    22949   252695   11    51869   11884   3817    821 4.64
125.26/125.37	c     5897   6234    25031   370044   14    56033   13073   5899    962 6.12
125.26/125.37	c     9123   6234    28257   544862   19    62485   14381   9125    971 9.39
125.26/125.37	c    14059   6234    33193   835452   25    72357   15820  14061    870 16.15
125.26/125.37	c    21565   6234    29516   613152   20    62018   17403  10384   1001 21.53
125.26/125.37	c    32926   6234    28883   783030   27    60752   19144   9751    774 42.52
125.26/125.37	c    50070   6234    33419  1394730   41    69824   21059  14287    811 61.69
125.26/125.37	c    75890   6234    31414   764253   24    65814   23165  12282    620 122.26
125.26/125.37	o 29	125.338
151.54/151.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
151.54/151.66	c    78507   6234    34032   927254   27    74037    7377  14900    626 125.34
151.54/151.66	c    78607   6234    22922   284488   12    48831    8115   3790    623 125.99
151.54/151.66	c    78858   6234    23173   295194   12    49333    8927   4041    623 126.43
151.54/151.66	c    79333   6234    23648   316033   13    50283    9820   4516    626 126.65
151.54/151.66	c    80146   6234    24461   364599   14    51909   10803   5329    630 127.20
151.54/151.66	c    81466   6234    25781   417019   16    54549   11884   6649    634 128.46
151.54/151.66	c    83547   6234    27862   559604   20    58711   13073   8730    642 130.07
151.54/151.66	c    86770   6234    31085   691346   22    65157   14381  11953    659 131.52
151.54/151.66	c    91707   6234    26324   459968   17    55635   15820   7192    655 139.94
151.54/151.66	c    99214   6234    33831   822888   24    70649   17403  14699    683 145.09
151.54/151.66	o 28	151.62
1799.99/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.61	c   106109   6234    28549   678116   23    63073    7377   9417    699 151.62
1799.99/1800.61	c   106209   6234    22922   356842   15    48832    8115   3790    699 151.77
1799.99/1800.61	c   106459   6234    23172   363914   15    49332    8927   4040    700 152.08
1799.99/1800.61	c   106934   6234    23647   381242   16    50282    9820   4515    702 152.31
1799.99/1800.61	c   107748   6234    24461   427314   17    51910   10803   5329    701 153.55
1799.99/1800.61	c   109068   6234    25781   492725   19    54550   11884   6649    707 154.22
1799.99/1800.61	c   111149   6234    27862   603800   21    58712   13073   8730    705 157.60
1799.99/1800.61	c   114372   6234    31085   801027   25    65158   14381  11953    709 161.31
1799.99/1800.61	c   119308   6234    26324   524460   19    55636   15820   7192    696 171.22
1799.99/1800.61	c   126814   6234    33830  1004695   29    70648   17403  14698    720 176.05
1799.99/1800.61	c   138176   6234    33219   800731   24    69426   19144  14087    710 194.53
1799.99/1800.61	c   155321   6234    37456  1003233   26    77900   21059  18324    757 205.06
1799.99/1800.61	c   181140   6234    36172  1313398   36    75332   23165  17040    723 250.50
1799.99/1800.61	c   219972   6234    30264   703136   23    63516   25482  11132    707 310.85
1799.99/1800.61	c   278325   6234    36905  1149814   31    76798   28031  17773    756 367.81
1799.99/1800.61	c   365958   6234    46960  2724446   58    96908   30835  27828    730 501.03
1799.99/1800.61	c   497510   6234    45071  2385838   52    93130   33919  25939    513 968.88
1799.99/1800.61	c   694942   6234    38881  1907200   49    80750   37311  19749    513 1352.22
1799.99/1800.61	c Resources Exceeded
1799.99/1800.61	v -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263
1799.99/1800.61	v -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305
1799.99/1800.61	v -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347
1799.99/1800.61	v -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389
1799.99/1800.61	v -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431
1799.99/1800.61	v -x433 -x435 -x437 -x439 -x441 -x443 -x445 x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473
1799.99/1800.61	v -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515
1799.99/1800.61	v -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557
1799.99/1800.61	v -x559 -x561 -x563 -x565 x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599
1799.99/1800.61	v -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641
1799.99/1800.61	v -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683
1799.99/1800.61	v -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725
1799.99/1800.61	v -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767
1799.99/1800.61	v -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809
1799.99/1800.61	v -x811 -x813 -x815 -x817 -x819 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850
1799.99/1800.61	v -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892
1799.99/1800.61	v -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934
1799.99/1800.61	v -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976
1799.99/1800.61	v -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014
1799.99/1800.61	v -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048
1799.99/1800.61	v -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082
1799.99/1800.61	v -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116
1799.99/1800.61	v -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150
1799.99/1800.61	v -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184
1799.99/1800.61	v -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218
1799.99/1800.61	v -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252
1799.99/1800.61	v -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286
1799.99/1800.61	v -x1288 -x1290 -x1292 -x1294 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319
1799.99/1800.61	v -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353
1799.99/1800.61	v -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387
1799.99/1800.61	v -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421
1799.99/1800.61	v -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455
1799.99/1800.61	v -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489
1799.99/1800.61	v -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523
1799.99/1800.61	v -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557
1799.99/1800.61	v -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591
1799.99/1800.61	v -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625
1799.99/1800.61	v -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659
1799.99/1800.61	v -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693
1799.99/1800.61	v -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727
1799.99/1800.61	v -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761
1799.99/1800.61	v -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795
1799.99/1800.61	v -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829
1799.99/1800.61	v -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863
1799.99/1800.61	v -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897
1799.99/1800.61	v -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931
1799.99/1800.61	v -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965
1799.99/1800.61	v -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999
1799.99/1800.61	v -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033
1799.99/1800.61	v -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067
1799.99/1800.61	v -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101
1799.99/1800.61	v -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135
1799.99/1800.61	v -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169
1799.99/1800.61	v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203
1799.99/1800.61	v -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237
1799.99/1800.61	v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271
1799.99/1800.61	v -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305
1799.99/1800.61	v -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339
1799.99/1800.61	v -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373
1799.99/1800.61	v -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407
1799.99/1800.61	v -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441
1799.99/1800.61	v -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475
1799.99/1800.61	v -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509
1799.99/1800.61	v -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543
1799.99/1800.61	v -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577
1799.99/1800.61	v -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611
1799.99/1800.61	v -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645
1799.99/1800.61	v -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679
1799.99/1800.61	v -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713
1799.99/1800.61	v -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747
1799.99/1800.61	v -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781
1799.99/1800.61	v -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815
1799.99/1800.61	v -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849
1799.99/1800.61	v -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883
1799.99/1800.61	v -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917
1799.99/1800.61	v -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951
1799.99/1800.61	v -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985
1799.99/1800.61	v -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019
1799.99/1800.61	v -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053
1799.99/1800.61	v -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087
1799.99/1800.61	v -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 x3121
1799.99/1800.61	v -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155
1799.99/1800.61	v -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189
1799.99/1800.61	v -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223
1799.99/1800.61	v -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 x3255 -x3257
1799.99/1800.61	v -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291
1799.99/1800.61	v -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325
1799.99/1800.61	v -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359
1799.99/1800.61	v -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393
1799.99/1800.61	v -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 x3417 -x3419 -x3421 -x3423 -x3425 -x3427
1799.99/1800.61	v -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461
1799.99/1800.61	v -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495
1799.99/1800.61	v -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529
1799.99/1800.61	v -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563
1799.99/1800.61	v -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 x3587 -x3589 -x3591 -x3593 -x3595 -x3597
1799.99/1800.61	v -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631
1799.99/1800.61	v -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665
1799.99/1800.61	v -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699
1799.99/1800.61	v -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733
1799.99/1800.61	v -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767
1799.99/1800.61	v -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801
1799.99/1800.61	v -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835
1799.99/1800.61	v -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869
1799.99/1800.61	v -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903
1799.99/1800.61	v -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937
1799.99/1800.61	v -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971
1799.99/1800.61	v -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005
1799.99/1800.61	v -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039
1799.99/1800.61	v -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 x4069 -x4071 -x4073
1799.99/1800.61	v -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107
1799.99/1800.61	v -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141
1799.99/1800.61	v -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175
1799.99/1800.61	v -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208
1799.99/1800.61	v -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242
1799.99/1800.61	v -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276
1799.99/1800.61	v -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310
1799.99/1800.61	v -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344
1799.99/1800.61	v -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378
1799.99/1800.61	v -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412
1799.99/1800.61	v -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446
1799.99/1800.61	v -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480
1799.99/1800.61	v -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514
1799.99/1800.61	v -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548
1799.99/1800.61	v -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582
1799.99/1800.61	v -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616
1799.99/1800.61	v -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650
1799.99/1800.61	v -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684
1799.99/1800.61	v -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718
1799.99/1800.61	v -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752
1799.99/1800.61	v -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786
1799.99/1800.61	v -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820
1799.99/1800.61	v -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854
1799.99/1800.61	v -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888
1799.99/1800.61	v -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922
1799.99/1800.61	v -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956
1799.99/1800.61	v -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990
1799.99/1800.61	v -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024
1799.99/1800.61	v -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058
1799.99/1800.61	v -x5060 -x5062 -x5064 -x5066 -x5068 -x5069 x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091
1799.99/1800.61	v -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125
1799.99/1800.61	v -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159
1799.99/1800.61	v -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193
1799.99/1800.61	v -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227
1799.99/1800.61	v -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261
1799.99/1800.61	v -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295
1799.99/1800.61	v -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5320 -x5322 -x5324 -x5326 -x5328
1799.99/1800.61	v -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362
1799.99/1800.61	v -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396
1799.99/1800.61	v x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430
1799.99/1800.61	v -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464
1799.99/1800.61	v -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498
1799.99/1800.61	v -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532
1799.99/1800.61	v -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566
1799.99/1800.61	v -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600
1799.99/1800.61	v -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634
1799.99/1800.61	v -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668
1799.99/1800.61	v -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702
1799.99/1800.61	v -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736
1799.99/1800.61	v -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770
1799.99/1800.61	v -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804
1799.99/1800.61	v -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838
1799.99/1800.61	v -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872
1799.99/1800.61	v -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905
1799.99/1800.61	v -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939
1799.99/1800.61	v -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973
1799.99/1800.61	v -x5975 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007
1799.99/1800.61	v -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041
1799.99/1800.61	v -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075
1799.99/1800.61	v -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109
1799.99/1800.61	v -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 x6135 -x6137 -x6139 -x6141 -x6143
1799.99/1800.61	v -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177
1799.99/1800.61	v -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211
1799.99/1800.61	v -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245
1799.99/1800.61	v -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279
1799.99/1800.61	v -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313
1799.99/1800.61	v -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347
1799.99/1800.61	v -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381
1799.99/1800.61	v -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415
1799.99/1800.61	v -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449
1799.99/1800.61	v -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6464 -x6466 -x6468 x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482
1799.99/1800.61	v -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508 -x6510 -x6512 -x6514 x6516
1799.99/1800.61	v -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550
1799.99/1800.61	v -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584
1799.99/1800.61	v -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618
1799.99/1800.61	v -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652
1799.99/1800.61	v -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686
1799.99/1800.61	v -x6688 -x6690 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720
1799.99/1800.61	v -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x6740 -x6742 -x6744 x6746 -x6748 -x6750 -x6752 -x6754
1799.99/1800.61	v -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788
1799.99/1800.61	v -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822
1799.99/1800.61	v x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844 x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858
1799.99/1800.61	v -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892
1799.99/1800.61	v -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926
1799.99/1800.61	v -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960
1799.99/1800.61	v -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994
1799.99/1800.61	v -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028
1799.99/1800.61	v -x7030 x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062
1799.99/1800.61	v -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095
1799.99/1800.61	v -x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129
1799.99/1800.61	v -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163
1799.99/1800.61	v -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197
1799.99/1800.61	v -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231
1799.99/1800.61	v -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265
1799.99/1800.61	v -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 x7297 -x7299
1799.99/1800.61	v -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333
1799.99/1800.61	v -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 x7365 -x7367
1799.99/1800.61	v -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401
1799.99/1800.61	v -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431 x7433 -x7435
1799.99/1800.61	v x7437 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260
1799.99/1800.61	v -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x1 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300
1799.99/1800.61	v -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x2 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340
1799.99/1800.61	v -x342 -x344 -x3 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x4 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378
1799.99/1800.61	v -x380 -x382 -x384 -x386 -x388 -x5 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x6 -x404 -x406 -x408 -x410 -x412 -x414 -x416
1799.99/1800.61	v -x7 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 x446 -x448 -x450 -x452 -x454 -x456
1799.99/1800.61	v -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x8 -x486 -x488 -x490 -x492 -x494 -x496
1799.99/1800.61	v -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x9 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536
1799.99/1800.61	v -x538 -x540 -x542 -x544 -x10 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 x566 -x568 -x570 -x572 -x11 -x574
1799.99/1800.61	v -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x12 -x604 -x606 -x608 -x610 -x612 -x614
1799.99/1800.61	v -x616 -x13 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x14 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652
1799.99/1800.61	v -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694
1799.99/1800.61	v -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736
1799.99/1800.61	v -x738 -x740 -x742 -x744 x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778
1799.99/1800.61	v -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x821
1799.99/1800.61	v -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863
1799.99/1800.61	v -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x15 -x891 -x893 -x895 -x897 -x899 -x901 -x903
1799.99/1800.61	v -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945
1799.99/1800.61	v -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987
1799.99/1800.61	v -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x16 -x1017 -x1019 -x1021 -x1023
1799.99/1800.61	v -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057
1799.99/1800.61	v -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091
1799.99/1800.61	v -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125
1799.99/1800.61	v -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x17 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159
1799.99/1800.61	v -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193
1799.99/1800.61	v -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227
1799.99/1800.61	v -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261
1799.99/1800.61	v -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1296
1799.99/1800.61	v -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x19 -x1328 -x1330
1799.99/1800.61	v -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364
1799.99/1800.61	v -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x20 -x1390 -x1392 -x1394 -x1396 -x1398
1799.99/1800.61	v -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432
1799.99/1800.61	v -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x21 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466
1799.99/1800.61	v -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x22 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500
1799.99/1800.61	v -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534
1799.99/1800.61	v -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568
1799.99/1800.61	v -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602
1799.99/1800.61	v -x1604 -x1606 -x23 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636
1799.99/1800.61	v -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x24 -x1670
1799.99/1800.61	v -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704
1799.99/1800.61	v -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x25 -x1732 -x1734 -x1736 -x1738
1799.99/1800.61	v -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x26 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772
1799.99/1800.61	v -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806
1799.99/1800.61	v -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x27 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840
1799.99/1800.61	v -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x28 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874
1799.99/1800.61	v -x1876 -x1878 -x1880 -x1882 -x29 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x30 -x1898 -x1900 -x1902 -x1904 -x1906
1799.99/1800.61	v -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940
1799.99/1800.61	v -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974
1799.99/1800.61	v -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008
1799.99/1800.61	v -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x31 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042
1799.99/1800.61	v -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076
1799.99/1800.61	v -x2078 -x2080 -x2082 -x2084 -x32 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110
1799.99/1800.61	v -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144
1799.99/1800.61	v -x2146 -x33 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x34
1799.99/1800.61	v -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210
1799.99/1800.61	v -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x35 -x2240 -x2242 -x2244
1799.99/1800.61	v -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x36 -x2270 -x2272 -x2274 -x2276 -x2278
1799.99/1800.61	v -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x37 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312
1799.99/1800.61	v -x38 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346
1799.99/1800.61	v -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x39 -x2376 -x2378 -x2380
1799.99/1800.61	v -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x40 -x2406 -x2408 -x2410 -x2412 -x2414
1799.99/1800.61	v -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x41 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x42
1799.99/1800.61	v -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x43 -x2478 -x2480
1799.99/1800.61	v -x2482 -x2484 -x2486 -x2488 -x2490 -x44 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x45 -x2506 -x2508 -x2510 -x46
1799.99/1800.61	v -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544
1799.99/1800.61	v -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578
1799.99/1800.61	v -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612
1799.99/1800.61	v -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x47 -x2638 -x2640 -x2642 -x2644 -x2646
1799.99/1800.61	v -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680
1799.99/1800.61	v -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x48 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714
1799.99/1800.61	v -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748
1799.99/1800.61	v -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x49 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782
1799.99/1800.61	v -x2784 -x2786 -x2788 -x2790 -x50 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816
1799.99/1800.61	v -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850
1799.99/1800.61	v -x2852 -x51 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x52
1799.99/1800.61	v -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x53 -x2914 -x2916
1799.99/1800.61	v -x2918 -x2920 -x2922 -x2924 -x2926 -x54 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950
1799.99/1800.61	v -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984
1799.99/1800.61	v -x2986 -x2988 -x55 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018
1799.99/1800.61	v -x56 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x57 -x3050
1799.99/1800.61	v -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x58 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084
1799.99/1800.61	v -x3086 -x3088 -x3090 -x3092 -x59 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x60 -x3108 -x3110 -x3112 -x3114 -x3116
1799.99/1800.61	v -x3118 x3120 x61 -x3122 -x3124 -x3126 -x62 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1799.99/1800.61	v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1799.99/1800.61	v -x3184 -x3186 -x3188 -x63 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216
1799.99/1800.61	v -x3218 -x64 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 x65
1799.99/1800.61	v -x3250 -x3252 x3254 -x3256 -x3258 -x3260 -x3262 -x66 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282
1799.99/1800.61	v -x3284 -x3286 -x3288 -x3290 -x3292 -x67 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x68 -x3308 -x3310 -x3312 -x3314
1799.99/1800.61	v -x3316 -x3318 -x3320 -x69 -x3322 -x3324 -x3326 -x70 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346
1799.99/1800.61	v -x3348 -x3350 -x3352 -x3354 -x3356 -x71 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x72 -x3372 -x3374 -x3376 -x3378
1799.99/1800.61	v -x3380 -x3382 -x3384 -x73 -x3386 -x3388 -x3390 -x74 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x75 -x3406 -x3408
1799.99/1800.61	v -x3410 -x76 -x3412 -x3414 x3416 x77 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440
1799.99/1800.61	v -x3442 -x3444 x3446 -x3448 -x78 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x79 -x3464 -x3466 -x3468 -x3470 -x3472
1799.99/1800.61	v -x3474 -x3476 -x80 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506
1799.99/1800.61	v -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540
1799.99/1800.61	v -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574
1799.99/1800.61	v -x3576 -x3578 -x3580 -x3582 -x3584 x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x81 -x3606 -x3608
1799.99/1800.61	v -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642
1799.99/1800.61	v -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676
1799.99/1800.61	v -x3678 -x3680 -x3682 x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710
1799.99/1800.61	v -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x82 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744
1799.99/1800.61	v -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x83 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778
1799.99/1800.61	v -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812
1799.99/1800.61	v -x3814 -x3816 -x3818 -x84 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846
1799.99/1800.61	v -x3848 -x85 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x86
1799.99/1800.61	v -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x87 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912
1799.99/1800.61	v -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946
1799.99/1800.61	v -x3948 -x3950 -x3952 -x3954 -x88 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980
1799.99/1800.61	v -x3982 -x3984 -x89 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x90 -x4012
1799.99/1800.61	v -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x91 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046
1799.99/1800.61	v -x4048 -x4050 -x4052 -x4054 -x92 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 x4068 x93 -x4070 -x4072 -x4074 -x4076 -x4078
1799.99/1800.61	v -x4080 -x4082 -x94 -x4084 -x4086 -x4088 -x95 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110
1799.99/1800.61	v -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144
1799.99/1800.61	v -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4177 -x4179
1799.99/1800.61	v -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213
1799.99/1800.61	v -x96 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247
1799.99/1800.61	v -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x97 -x4277 -x4279 -x4281
1799.99/1800.61	v -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315
1799.99/1800.61	v -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x98 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349
1799.99/1800.61	v -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x99 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383
1799.99/1800.61	v -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417
1799.99/1800.61	v -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x100 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449
1799.99/1800.61	v -x4451 -x4453 -x4455 -x4457 -x4459 -x101 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481
1799.99/1800.61	v -x4483 -x4485 -x4487 -x4489 -x102 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x103 -x4505 -x4507 -x4509 -x4511 -x4513
1799.99/1800.61	v -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547
1799.99/1800.61	v -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x104 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579
1799.99/1800.61	v -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x105 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611
1799.99/1800.61	v -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x106 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643
1799.99/1800.61	v -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 x4665 -x4667 -x4669 -x107 -x4671 -x4673 -x4675 -x4677
1799.99/1800.61	v -x4679 -x4681 -x4683 -x108 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x109 -x4699 -x4701 -x4703 -x110 -x4705 -x4707
1799.99/1800.61	v -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741
1799.99/1800.61	v -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x111 -x4767 -x4769 -x4771 -x4773
1799.99/1800.61	v -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x112 -x4797 -x4799 -x4801 -x4803 -x4805
1799.99/1800.61	v -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x113 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837
1799.99/1800.61	v -x4839 -x114 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869
1799.99/1800.61	v -x115 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x116 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x117 -x4899
1799.99/1800.61	v -x4901 -x118 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931
1799.99/1800.61	v -x119 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x120 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x121 -x4961
1799.99/1800.61	v -x4963 -x4965 x122 -x4967 -x4969 -x4971 -x4973 x4975 -x4977 -x4979 -x123 -x4981 -x4983 -x4985 -x124 -x4987 -x4989 -x4991
1799.99/1800.61	v -x125 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023
1799.99/1800.61	v -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057
1799.99/1800.61	v -x5059 -x5061 -x5063 -x5065 -x5067 x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092
1799.99/1800.61	v -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x126 -x5120 -x5122 -x5124
1799.99/1800.61	v -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158
1799.99/1800.61	v -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x127 -x5182 -x5184 -x5186 -x5188 -x5190
1799.99/1800.61	v -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224
1799.99/1800.61	v -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x128 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256
1799.99/1800.61	v -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x129 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288
1799.99/1800.61	v -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5321 -x5323
1799.99/1800.61	v -x5325 -x5327 -x5329 -x5331 -x130 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355
1799.99/1800.61	v -x5357 -x5359 -x5361 -x131 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387
1799.99/1800.61	v -x5389 -x5391 -x5393 -x5395 x5397 -x5399 -x5401 -x5403 -x5405 -x132 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421
1799.99/1800.61	v -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x133 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x134 -x5451 -x5453
1799.99/1800.61	v -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487
1799.99/1800.61	v -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x135 -x5513 -x5515 -x5517 -x5519
1799.99/1800.61	v -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x136 -x5543 -x5545 -x5547 -x5549 -x5551
1799.99/1800.61	v -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x137 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583
1799.99/1800.61	v -x5585 -x138 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615
1799.99/1800.61	v -x139 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x140 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x141 -x5645
1799.99/1800.61	v -x5647 -x5649 -x142 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677
1799.99/1800.61	v -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711
1799.99/1800.61	v -x143 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x144 -x5743
1799.99/1800.61	v -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x145 -x5773 -x5775
1799.99/1800.61	v -x5777 -x5779 -x5781 -x5783 -x5785 -x146 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807
1799.99/1800.61	v -x5809 -x5811 -x5813 -x5815 -x147 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x148 -x5831 -x5833 -x5835 -x5837 -x5839
1799.99/1800.61	v -x5841 -x5843 -x149 -x5845 -x5847 -x5849 -x150 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871
1799.99/1800.61	v -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906
1799.99/1800.61	v -x5908 -x5910 -x151 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938
1799.99/1800.61	v -x5940 -x152 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970
1799.99/1800.61	v -x153 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984 -x154 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002
1799.99/1800.61	v -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x155 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x156 -x6030 -x6032 -x6034
1799.99/1800.61	v -x6036 -x6038 -x6040 -x6042 -x157 -x6044 -x6046 -x6048 -x158 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066
1799.99/1800.61	v -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x159 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x160 -x6094 -x6096 -x6098
1799.99/1800.61	v -x6100 -x6102 -x6104 -x6106 -x161 -x6108 -x6110 -x6112 -x162 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x163 -x6128
1799.99/1800.61	v -x6130 -x6132 x6134 -x6136 -x6138 -x164 -x6140 -x165 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160
1799.99/1800.61	v -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194
1799.99/1800.61	v -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228
1799.99/1800.61	v -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x166
1799.99/1800.61	v -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294
1799.99/1800.61	v -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x167 -x6324 -x6326
1799.99/1800.61	v -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360
1799.99/1800.61	v -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x168 -x6386 -x6388 -x6390 -x6392
1799.99/1800.61	v -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426
1799.99/1800.61	v -x6428 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460
1799.99/1800.61	v -x6462 -x6465 -x6467 x6469 -x6471 -x6473 -x169 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495
1799.99/1800.61	v -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529
1799.99/1800.61	v -x6531 -x6533 -x170 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x171 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561
1799.99/1800.61	v -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595
1799.99/1800.61	v -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x172 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627
1799.99/1800.61	v -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x173 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659
1799.99/1800.61	v -x6661 -x6663 -x6665 -x6667 -x6669 -x174 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x175 -x6685 -x6687 -x6689 -x6691
1799.99/1800.61	v -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x176 -x6715 -x6717 -x6719 -x6721 -x6723
1799.99/1800.61	v -x6725 -x6727 -x177 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 x178 -x6743 x6745 -x6747 -x179 -x6749 -x6751 -x6753
1799.99/1800.61	v -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787
1799.99/1800.61	v -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821
1799.99/1800.61	v x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857
1799.99/1800.61	v -x6859 -x6861 -x6863 -x6865 -x6867 -x180 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x181 -x6883 -x6885 -x6887 -x6889
1799.99/1800.61	v -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x182 -x6913 -x6915 -x6917 -x6919 -x6921
1799.99/1800.61	v -x6923 -x183 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x184 -x6939 -x6941 -x6943 -x185 -x6945 -x6947 -x6949 -x6951
1799.99/1800.61	v -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x186 -x6975 -x6977 -x6979 -x6981 -x6983
1799.99/1800.61	v -x6985 -x6987 -x187 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x188 -x7003 -x7005 -x189 -x7007 -x7009 -x7011 -x7013
1799.99/1800.61	v -x7015 -x7017 -x7019 -x190 -x7021 -x7023 -x7025 -x191 -x7027 -x7029 x7031 x192 -x7033 -x193 -x7035 -x7037 -x7039 -x7041
1799.99/1800.61	v -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075
1799.99/1800.61	v -x7077 -x7079 -x7081 -x7084 -x7086 -x7088 -x194 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x7104 -x7106 -x7108
1799.99/1800.61	v -x7110 -x7112 -x7114 -x7116 -x7118 -x195 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140
1799.99/1800.61	v -x7142 -x7144 -x7146 -x7148 -x196 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x197 -x7164 -x7166 -x7168 -x7170 -x7172
1799.99/1800.61	v -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x198 -x7194 -x7196 -x7198 -x7200 -x7202 -x7204
1799.99/1800.61	v -x7206 x199 -x7208 -x7210 x7212 -x7214 -x7216 -x7218 -x7220 -x200 -x7222 -x7224 -x7226 -x201 -x7228 -x7230 -x7232 -x7234
1799.99/1800.61	v -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x202 -x7258 -x7260 -x7262 -x7264 -x7266
1799.99/1800.61	v -x7268 -x7270 -x203 -x7272 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x204 -x7286 -x7288 -x7290 -x7292 -x7294 x7296 -x7298
1799.99/1800.61	v -x7300 -x7302 -x7304 -x205 -x7306 -x7308 -x7310 -x206 -x7312 -x7314 -x7316 -x207 -x7318 -x208 -x7320 -x7322 -x7324 -x7326
1799.99/1800.61	v -x7328 -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x7344 -x209 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358
1799.99/1800.61	v x210 -x7360 -x7362 x7364 -x7366 -x7368 -x7370 -x7372 -x211 -x7374 -x7376 -x7378 x7380 -x7382 -x7384 -x7386 -x7388 -x7390
1799.99/1800.61	v -x7392 -x212 -x7394 -x7396 -x213 -x7398 -x7400 -x7402 -x214 -x7404 -x215 -x7406 -x7408 -x7410 -x7412 -x7414 -x7416 -x216
1799.99/1800.61	v -x7418 -x7420 -x7422 -x217 -x7424 -x7426 -x7428 -x218 -x7430 x7432 -x7434 -x219 x7436 x220 x221
1799.99/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.61	c   45   866303 501766  2912591    39114  1589902  19982    481 1800.01
1799.99/1800.61	c Objective: 28
1799.99/1800.61	s SATISFIABLE
1799.99/1800.61	c Total time: 1800.01 s

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node18/watcher-372610-1177112808 -o ROOT/results/node18/solver-372610-1177112808 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372610-1177112808/instance-372610-1177112808.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17702
/proc/meminfo: memFree=1812752/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=12408 CPUtime=0
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 159198242 12705792 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 3102 337 281 324 0 2003 0

[startup+0.027159 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17702
/proc/meminfo: memFree=1812752/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=5372 CPUtime=0.02
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 579 0 0 0 2 0 0 0 18 0 1 0 159198242 5500928 547 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 1343 547 311 324 0 244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5372

[startup+0.10117 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17702
/proc/meminfo: memFree=1812752/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=6884 CPUtime=0.09
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 1058 0 0 0 9 0 0 0 18 0 1 0 159198242 7049216 1026 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 1721 1027 411 324 0 622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6884

[startup+0.301185 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17702
/proc/meminfo: memFree=1812752/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=8612 CPUtime=0.29
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 1761 0 0 0 27 2 0 0 19 0 1 0 159198242 8818688 1523 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134555535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 2153 1523 308 324 0 1222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8612

[startup+0.701223 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 17702
/proc/meminfo: memFree=1812752/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=8744 CPUtime=0.69
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 1777 0 0 0 66 3 0 0 22 0 1 0 159198242 8953856 1539 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 2186 1539 313 324 0 1255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8744

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17703
/proc/meminfo: memFree=1807688/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=9024 CPUtime=1.49
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 1865 0 0 0 145 4 0 0 25 0 1 0 159198242 9240576 1627 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 2256 1627 313 324 0 1325 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9024

[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17703
/proc/meminfo: memFree=1807048/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=9788 CPUtime=3.09
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 2050 0 0 0 304 5 0 0 25 0 1 0 159198242 10022912 1812 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8294241 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 2447 1812 313 324 0 1516 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9788

[startup+6.30176 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17703
/proc/meminfo: memFree=1804360/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=13132 CPUtime=6.29
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 2887 0 0 0 621 8 0 0 25 0 1 0 159198242 13447168 2649 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 3283 2649 313 324 0 2352 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13132

[startup+12.7014 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 17703
/proc/meminfo: memFree=1798600/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=18052 CPUtime=12.69
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 4105 0 0 0 1259 10 0 0 25 0 1 0 159198242 18485248 3867 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 4513 3867 313 324 0 3582 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18052

[startup+25.5016 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 17703
/proc/meminfo: memFree=1791944/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=24252 CPUtime=25.48
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 5675 0 0 0 2534 14 0 0 25 0 1 0 159198242 24834048 5437 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 6063 5437 313 324 0 5132 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24252

[startup+51.1011 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 17703
/proc/meminfo: memFree=1787080/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=29900 CPUtime=51.07
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 7082 0 0 0 5087 20 0 0 25 0 1 0 159198242 30617600 6844 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 7475 6844 313 324 0 6544 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29900

[startup+102.305 s]
/proc/loadavg: 1.08 1.04 1.01 3/78 17703
/proc/meminfo: memFree=1781768/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=34308 CPUtime=102.26
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 8188 0 0 0 10198 28 0 0 25 0 1 0 159198242 35131392 7950 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8302358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 8577 7950 313 324 0 7646 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34308

[startup+162.302 s]
/proc/loadavg: 1.14 1.06 1.01 2/78 17703
/proc/meminfo: memFree=1781768/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=34300 CPUtime=162.24
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 8188 0 0 0 16181 43 0 0 25 0 1 0 159198242 35123200 7950 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8294487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 8575 7950 313 324 0 7644 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 34300

[startup+222.302 s]
/proc/loadavg: 1.10 1.06 1.01 2/78 17703
/proc/meminfo: memFree=1781768/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=34288 CPUtime=222.23
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 8188 0 0 0 22160 63 0 0 25 0 1 0 159198242 35110912 7950 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134571990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 8572 7950 313 324 0 7641 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34288

[startup+282.301 s]
/proc/loadavg: 1.03 1.05 1.01 2/78 17703
/proc/meminfo: memFree=1781640/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=34540 CPUtime=282.21
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 8248 0 0 0 28150 71 0 0 25 0 1 0 159198242 35368960 8010 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 8635 8010 313 324 0 7704 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34540

[startup+342.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 17703
/proc/meminfo: memFree=1779208/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=37004 CPUtime=342.2
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 8866 0 0 0 34135 85 0 0 25 0 1 0 159198242 37892096 8628 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 9251 8628 313 324 0 8320 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 37004

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 17703
/proc/meminfo: memFree=1777992/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=38176 CPUtime=402.18
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 9161 0 0 0 40117 101 0 0 25 0 1 0 159198242 39092224 8923 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 9544 8923 313 324 0 8613 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 38176

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 17703
/proc/meminfo: memFree=1777736/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=38408 CPUtime=462.16
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 9220 0 0 0 46103 113 0 0 25 0 1 0 159198242 39329792 8982 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 9602 8982 313 324 0 8671 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 38408

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17703
/proc/meminfo: memFree=1763912/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=52100 CPUtime=522.14
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 12663 0 0 0 52089 125 0 0 25 0 1 0 159198242 53350400 12391 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 13025 12391 313 324 0 12094 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 52100

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17703
/proc/meminfo: memFree=1763976/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=52100 CPUtime=582.13
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 12663 0 0 0 58082 131 0 0 25 0 1 0 159198242 53350400 12391 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 13025 12391 313 324 0 12094 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 52100

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17703
/proc/meminfo: memFree=1764040/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=52100 CPUtime=642.12
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 12697 0 0 0 64073 139 0 0 25 0 1 0 159198242 53350400 12391 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 13025 12391 313 324 0 12094 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 52100


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

/proc/meminfo: memFree=1750792/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65032 CPUtime=1121.87
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16141 0 0 0 111992 195 0 0 25 0 1 0 159198242 66592768 15639 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16258 15639 313 324 0 15327 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 65032

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17901
/proc/meminfo: memFree=1750792/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65032 CPUtime=1181.86
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16141 0 0 0 117982 204 0 0 25 0 1 0 159198242 66592768 15639 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8290456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16258 15639 313 324 0 15327 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 65032

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17901
/proc/meminfo: memFree=1750856/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65032 CPUtime=1241.84
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16141 0 0 0 123973 211 0 0 25 0 1 0 159198242 66592768 15639 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134571987 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16258 15639 313 324 0 15327 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 65032

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750856/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65032 CPUtime=1301.82
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16141 0 0 0 129963 219 0 0 25 0 1 0 159198242 66592768 15639 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16258 15639 313 324 0 15327 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 65032

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750856/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65032 CPUtime=1361.81
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16141 0 0 0 135951 230 0 0 25 0 1 0 159198242 66592768 15639 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16258 15639 313 324 0 15327 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 65032

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65012 CPUtime=1421.8
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 141941 239 0 0 25 0 1 0 159198242 66572288 15634 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16253 15634 313 324 0 15322 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 65012

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750984/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65008 CPUtime=1481.78
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 147933 245 0 0 25 0 1 0 159198242 66568192 15633 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16252 15633 313 324 0 15321 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 65008

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750984/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65004 CPUtime=1541.76
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 153924 252 0 0 25 0 1 0 159198242 66564096 15632 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16251 15632 313 324 0 15320 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 65004

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750984/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65004 CPUtime=1601.74
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 159915 259 0 0 25 0 1 0 159198242 66564096 15632 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16251 15632 313 324 0 15320 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 65004

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750984/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=65000 CPUtime=1661.73
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 165905 268 0 0 25 0 1 0 159198242 66560000 15631 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16250 15631 313 324 0 15319 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 65000

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1721.71
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 171895 276 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8292211 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 64996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750984/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1781.7
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 177887 283 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 64996

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1791.3
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 178846 284 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 64996

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1794.49
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 179165 284 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (KiB) 64996

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1797.69
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 179484 285 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8294834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 64996

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1799.29
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 179644 285 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 64996

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1799.69
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 179684 285 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (KiB) 64996

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1799.89
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 179704 285 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 64996

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17901
/proc/meminfo: memFree=1750920/2055920 swapFree=4147132/4192956
[pid=17702] ppid=17700 vsize=64996 CPUtime=1799.99
/proc/17702/stat : 17702 (bsolo3.0.16) R 17700 17702 16966 0 -1 4194304 16144 0 0 0 179714 285 0 0 25 0 1 0 159198242 66555904 15630 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17702/statm: 16249 15630 313 324 0 15318 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 64996

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.02
CPU user time (s): 1797.16
CPU system time (s): 2.86456
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 65256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.16
system time used= 2.86456
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 1986

runsolver used 2.13567 second user time and 4.32534 second system time

The end

Launcher Data (download as text)

Begin job on node18 on Fri Apr 20 23:46:49 UTC 2007

IDJOB= 372610
IDBENCH= 24984
IDSOLVER= 163
FILE ID= node18/372610-1177112808

PBS_JOBID= 4640432

Free space on /tmp= 66480 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372610-1177112808/instance-372610-1177112808.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-372610-1177112808 -o ROOT/results/node18/solver-372610-1177112808 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372610-1177112808/instance-372610-1177112808.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0b594d74f3df9901bfa97fac996b1847

RANDOM SEED= 510538881

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.234
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.234
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:       1813160 kB
Buffers:         48612 kB
Cached:          96152 kB
SwapCached:      14288 kB
Active:         107872 kB
Inactive:        77416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813160 kB
SwapTotal:     4192956 kB
SwapFree:      4147132 kB
Dirty:            5092 kB
Writeback:           0 kB
Mapped:          29972 kB
Slab:            42988 kB
Committed_AS:  5335164 kB
PageTables:       1776 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66480 MiB

End job on node18 on Sat Apr 21 00:16:49 UTC 2007