Trace number 433697

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.17SAT (TO)28 1800.05 1800.62

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

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node34/watcher-433697-1177962106 -o ROOT/results/node34/solver-433697-1177962106 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433697-1177962106/instance-433697-1177962106.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: 0.94 1.00 0.97 3/77 5498
/proc/meminfo: memFree=1868040/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=12408 CPUtime=0
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 244126050 12705792 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 3102 336 279 324 0 2004 0

[startup+0.103675 s]
/proc/loadavg: 0.94 1.00 0.97 3/77 5498
/proc/meminfo: memFree=1868040/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=6884 CPUtime=0.09
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 1064 0 0 0 9 0 0 0 18 0 1 0 244126050 7049216 1034 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 1721 1034 411 324 0 623 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6884

[startup+0.201682 s]
/proc/loadavg: 0.94 1.00 0.97 3/77 5498
/proc/meminfo: memFree=1868040/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=8532 CPUtime=0.19
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 1683 0 0 0 19 0 0 0 18 0 1 0 244126050 8736768 1485 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 2133 1485 304 324 0 1203 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8532

[startup+0.30169 s]
/proc/loadavg: 0.94 1.00 0.97 3/77 5498
/proc/meminfo: memFree=1868040/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=8612 CPUtime=0.29
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 1757 0 0 0 27 2 0 0 19 0 1 0 244126050 8818688 1521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8155223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 2153 1521 306 324 0 1223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8612

[startup+0.701722 s]
/proc/loadavg: 0.94 1.00 0.97 3/77 5498
/proc/meminfo: memFree=1868040/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=8744 CPUtime=0.69
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 1773 0 0 0 67 2 0 0 23 0 1 0 244126050 8953856 1537 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 2186 1537 311 324 0 1256 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8744

[startup+1.50179 s]
/proc/loadavg: 0.94 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1862976/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=9024 CPUtime=1.49
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 1861 0 0 0 147 2 0 0 25 0 1 0 244126050 9240576 1625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 2256 1625 311 324 0 1326 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9024

[startup+3.10191 s]
/proc/loadavg: 0.94 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1862336/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=9788 CPUtime=3.09
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 2046 0 0 0 307 2 0 0 25 0 1 0 244126050 10022912 1810 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 2447 1810 311 324 0 1517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9788

[startup+6.30117 s]
/proc/loadavg: 0.94 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1859328/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=13132 CPUtime=6.29
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 2880 0 0 0 626 3 0 0 25 0 1 0 244126050 13447168 2644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 3283 2644 311 324 0 2353 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13132

[startup+12.7017 s]
/proc/loadavg: 0.95 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1853832/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=18052 CPUtime=12.69
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 4103 0 0 0 1265 4 0 0 25 0 1 0 244126050 18485248 3867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 4513 3867 311 324 0 3583 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18052

[startup+25.5017 s]
/proc/loadavg: 0.96 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1847304/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=24252 CPUtime=25.48
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 5671 0 0 0 2543 5 0 0 25 0 1 0 244126050 24834048 5435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8151192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 6063 5435 311 324 0 5133 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24252

[startup+51.1017 s]
/proc/loadavg: 0.97 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1842312/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=29900 CPUtime=51.07
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 7062 0 0 0 5100 7 0 0 25 0 1 0 244126050 30617600 6826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 7475 6826 311 324 0 6545 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29900

[startup+102.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1837192/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=34308 CPUtime=102.26
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 8184 0 0 0 10218 8 0 0 25 0 1 0 244126050 35131392 7948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8155625 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 8577 7948 311 324 0 7647 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34308

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1837064/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=34300 CPUtime=162.25
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 8184 0 0 0 16216 9 0 0 25 0 1 0 244126050 35123200 7948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8163087 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 8575 7948 311 324 0 7645 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34300

[startup+222.305 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1837000/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=34288 CPUtime=222.23
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 8184 0 0 0 22214 9 0 0 25 0 1 0 244126050 35110912 7948 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 8572 7948 311 324 0 7642 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 34288

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1836744/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=34540 CPUtime=282.21
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 8244 0 0 0 28212 9 0 0 25 0 1 0 244126050 35368960 8008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 8635 8008 311 324 0 7705 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34540

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1834184/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=37004 CPUtime=342.2
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 8862 0 0 0 34209 11 0 0 25 0 1 0 244126050 37892096 8626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8155487 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 9251 8626 311 324 0 8321 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 37004

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1832968/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=38176 CPUtime=402.18
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 9157 0 0 0 40206 12 0 0 25 0 1 0 244126050 39092224 8921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8162944 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 9544 8921 311 324 0 8614 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 38176

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1832712/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=38408 CPUtime=462.16
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 9216 0 0 0 46204 12 0 0 25 0 1 0 244126050 39329792 8980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 9602 8980 311 324 0 8672 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 38408

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1818824/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=52100 CPUtime=522.14
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 12659 0 0 0 52198 16 0 0 25 0 1 0 244126050 53350400 12389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 13025 12389 311 324 0 12095 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 52100

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1818824/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=52100 CPUtime=582.14
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 12659 0 0 0 58197 17 0 0 25 0 1 0 244126050 53350400 12389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 13025 12389 311 324 0 12095 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 52100

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1818760/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=52100 CPUtime=642.11
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 12693 0 0 0 64194 17 0 0 25 0 1 0 244126050 53350400 12389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 13025 12389 311 324 0 12095 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 52100


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

[startup+882.306 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1805384/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65120 CPUtime=882.06
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16063 0 0 0 88183 23 0 0 25 0 1 0 244126050 66682880 15657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16280 15657 311 324 0 15350 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 65120

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1805320/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65120 CPUtime=942.04
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16097 0 0 0 94181 23 0 0 25 0 1 0 244126050 66682880 15657 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16280 15657 311 324 0 15350 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 65120

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1805320/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65116 CPUtime=1002.03
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16137 0 0 0 100179 24 0 0 25 0 1 0 244126050 66678784 15658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16279 15658 311 324 0 15349 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 65116

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1805320/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65116 CPUtime=1062.01
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16137 0 0 0 106177 24 0 0 25 0 1 0 244126050 66678784 15658 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8154868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16279 15658 311 324 0 15349 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 65116

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5499
/proc/meminfo: memFree=1805320/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65032 CPUtime=1122
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16137 0 0 0 112175 25 0 0 25 0 1 0 244126050 66592768 15637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8151114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16258 15637 311 324 0 15328 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 65032

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/84 5637
/proc/meminfo: memFree=1804040/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65032 CPUtime=1181.93
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16137 0 0 0 118167 26 0 0 25 0 1 0 244126050 66592768 15637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16258 15637 311 324 0 15328 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 65032

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5697
/proc/meminfo: memFree=1805000/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65032 CPUtime=1241.86
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16137 0 0 0 124160 26 0 0 25 0 1 0 244126050 66592768 15637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16258 15637 311 324 0 15328 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 65032

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5697
/proc/meminfo: memFree=1805064/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65032 CPUtime=1301.85
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16137 0 0 0 130158 27 0 0 25 0 1 0 244126050 66592768 15637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16258 15637 311 324 0 15328 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 65032

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5697
/proc/meminfo: memFree=1805064/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65032 CPUtime=1361.83
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16137 0 0 0 136156 27 0 0 25 0 1 0 244126050 66592768 15637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16258 15637 311 324 0 15328 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 65032

[startup+1422.3 s]
/proc/loadavg: 0.99 1.00 0.97 2/78 5697
/proc/meminfo: memFree=1805064/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65012 CPUtime=1421.83
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 142155 28 0 0 25 0 1 0 244126050 66572288 15632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8154620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16253 15632 311 324 0 15323 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 65012

[startup+1482.3 s]
/proc/loadavg: 1.09 1.03 0.98 2/78 5697
/proc/meminfo: memFree=1805064/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65008 CPUtime=1481.8
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 148152 28 0 0 25 0 1 0 244126050 66568192 15631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8155223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16252 15631 311 324 0 15322 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 65008

[startup+1542.31 s]
/proc/loadavg: 1.06 1.03 0.99 2/78 5697
/proc/meminfo: memFree=1805000/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65008 CPUtime=1541.79
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 154151 28 0 0 25 0 1 0 244126050 66568192 15631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16252 15631 311 324 0 15322 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 65008

[startup+1602.3 s]
/proc/loadavg: 1.02 1.03 0.99 2/78 5697
/proc/meminfo: memFree=1804936/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65004 CPUtime=1601.77
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 160148 29 0 0 25 0 1 0 244126050 66564096 15630 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16251 15630 311 324 0 15321 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 65004

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 0.99 2/78 5697
/proc/meminfo: memFree=1804936/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=65000 CPUtime=1661.75
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 166146 29 0 0 25 0 1 0 244126050 66560000 15629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16250 15629 311 324 0 15320 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 65000

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 5697
/proc/meminfo: memFree=1804936/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=64996 CPUtime=1721.74
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 172144 30 0 0 25 0 1 0 244126050 66555904 15628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16249 15628 311 324 0 15319 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 64996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 5697
/proc/meminfo: memFree=1804872/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=64996 CPUtime=1781.72
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 178142 30 0 0 25 0 1 0 244126050 66555904 15628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16249 15628 311 324 0 15319 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 64996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 5697
/proc/meminfo: memFree=1804872/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=64996 CPUtime=1800.02
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 179972 30 0 0 25 0 1 0 244126050 66555904 15628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16249 15628 311 324 0 15319 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 64996

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 5697
/proc/meminfo: memFree=1804872/2055920 swapFree=4159588/4192956
[pid=5498] ppid=5496 vsize=64996 CPUtime=1800.02
/proc/5498/stat : 5498 (bsolo3.0.17) R 5496 5498 4740 0 -1 4194304 16140 0 0 0 179972 30 0 0 25 0 1 0 244126050 66555904 15628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552003 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5498/statm: 16249 15628 311 324 0 15319 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 64996

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.05
CPU user time (s): 1799.73
CPU system time (s): 0.321951
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 65256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.321951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16144
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= 13
involuntary context switches= 15912

runsolver used 1.41378 second user time and 3.85241 second system time

The end

Launcher Data (download as text)

Begin job on node34 on Mon Apr 30 19:41:46 UTC 2007

IDJOB= 433697
IDBENCH= 24984
IDSOLVER= 199
FILE ID= node34/433697-1177962106

PBS_JOBID= 4727721

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0b594d74f3df9901bfa97fac996b1847

RANDOM SEED= 157436391

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node34.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.236
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.236
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:       1868448 kB
Buffers:         14032 kB
Cached:          86224 kB
SwapCached:       2696 kB
Active:          45848 kB
Inactive:        77748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1868448 kB
SwapTotal:     4192956 kB
SwapFree:      4159588 kB
Dirty:            7276 kB
Writeback:           0 kB
Mapped:          30312 kB
Slab:            49132 kB
Committed_AS:  1780252 kB
PageTables:       1976 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= 66557 MiB

End job on node34 on Mon Apr 30 20:11:49 UTC 2007