Trace number 372673

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
minisat+ 1.14SAT (TO)34 1800.09 1800.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_003_area_delay.opb
MD5SUM66cf2657d020eb0982c7cab0e5ad93c1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark391.908
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7343
Total number of constraints22903
Number of constraints which are clauses22903
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 3560
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 3560
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 3560
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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	34

Conversion Script Data (download as text)

/tmp/evaluation/372673-1177119666/instance-372673-1177119666.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node47/watcher-372673-1177119666 -o ROOT/results/node47/solver-372673-1177119666 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372673-1177119666/minisat+ /tmp/evaluation/372673-1177119666/instance-372673-1177119666.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.91 0.95 0.99 3/77 8127
/proc/meminfo: memFree=1785744/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=1352 CPUtime=0
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 66811979 1384448 173 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 338 173 67 215 0 120 0

[startup+0.0896341 s]
/proc/loadavg: 0.91 0.95 0.99 3/77 8127
/proc/meminfo: memFree=1785744/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=2732 CPUtime=0.08
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 503 0 0 0 8 0 0 0 18 0 1 0 66811979 2797568 488 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 683 488 74 215 0 465 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2732

[startup+0.101635 s]
/proc/loadavg: 0.91 0.95 0.99 3/77 8127
/proc/meminfo: memFree=1785744/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=2880 CPUtime=0.09
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 534 0 0 0 9 0 0 0 18 0 1 0 66811979 2949120 519 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134570194 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 720 519 74 215 0 502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2880

[startup+0.301657 s]
/proc/loadavg: 0.91 0.95 0.99 3/77 8127
/proc/meminfo: memFree=1785744/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=4472 CPUtime=0.29
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 955 0 0 0 29 0 0 0 19 0 1 0 66811979 4579328 940 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 1118 940 74 215 0 900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4472

[startup+0.701701 s]
/proc/loadavg: 0.91 0.95 0.99 3/77 8127
/proc/meminfo: memFree=1785744/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=8140 CPUtime=0.69
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 1870 0 0 0 69 0 0 0 22 0 1 0 66811979 8335360 1855 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 2035 1858 82 215 0 1817 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8140

[startup+1.50179 s]
/proc/loadavg: 0.91 0.95 0.99 2/78 8128
/proc/meminfo: memFree=1777096/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=9644 CPUtime=1.49
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 2298 0 0 0 146 3 0 0 23 0 1 0 66811979 9875456 2239 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 2411 2239 104 215 0 2193 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9644

[startup+3.10197 s]
/proc/loadavg: 0.91 0.95 0.99 2/78 8128
/proc/meminfo: memFree=1776904/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=9644 CPUtime=3.09
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 2319 0 0 0 306 3 0 0 25 0 1 0 66811979 9875456 2260 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005338 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 2411 2260 104 215 0 2193 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9644

[startup+6.30131 s]
/proc/loadavg: 0.92 0.95 0.99 2/78 8128
/proc/meminfo: memFree=1776456/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=9952 CPUtime=6.28
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 2399 0 0 0 625 3 0 0 25 0 1 0 66811979 10190848 2340 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 2488 2340 104 215 0 2270 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9952

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.99 2/78 8128
/proc/meminfo: memFree=1763656/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=23612 CPUtime=12.68
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 6490 0 0 0 1263 5 0 0 25 0 1 0 66811979 24178688 5736 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 5903 5736 123 215 0 5685 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23612

[startup+25.5014 s]
/proc/loadavg: 0.94 0.96 0.99 2/78 8128
/proc/meminfo: memFree=1751368/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=35224 CPUtime=25.48
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 9404 0 0 0 2540 8 0 0 25 0 1 0 66811979 36069376 8650 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 8806 8650 123 215 0 8588 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35224

[startup+51.1012 s]
/proc/loadavg: 1.03 0.97 0.99 2/78 8128
/proc/meminfo: memFree=1736520/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=50264 CPUtime=51.07
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 13129 0 0 0 5095 12 0 0 25 0 1 0 66811979 51470336 12375 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 12566 12375 123 215 0 12348 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50264

[startup+102.306 s]
/proc/loadavg: 1.08 0.99 1.00 2/78 8128
/proc/meminfo: memFree=1727432/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=59052 CPUtime=102.27
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 15339 0 0 0 10211 16 0 0 25 0 1 0 66811979 60469248 14585 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 14763 14585 123 215 0 14545 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59052

[startup+162.301 s]
/proc/loadavg: 1.10 1.01 1.00 2/78 8128
/proc/meminfo: memFree=1711816/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=75228 CPUtime=162.25
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 19348 0 0 0 16205 20 0 0 25 0 1 0 66811979 77033472 18594 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 18807 18594 123 215 0 18589 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 75228

[startup+222.302 s]
/proc/loadavg: 1.10 1.02 1.00 2/78 8128
/proc/meminfo: memFree=1710344/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=76280 CPUtime=222.24
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 19595 0 0 0 22203 21 0 0 25 0 1 0 66811979 78110720 18841 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 19070 18841 123 215 0 18852 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 76280

[startup+282.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/78 8128
/proc/meminfo: memFree=1701000/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=85580 CPUtime=282.22
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 21928 0 0 0 28198 24 0 0 25 0 1 0 66811979 87633920 21174 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 21395 21174 123 215 0 21177 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 85580

[startup+342.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/78 8128
/proc/meminfo: memFree=1701000/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=85580 CPUtime=342.2
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 21928 0 0 0 34196 24 0 0 25 0 1 0 66811979 87633920 21174 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581488 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 21395 21174 123 215 0 21177 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 85580

[startup+402.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/78 8128
/proc/meminfo: memFree=1694856/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=91920 CPUtime=402.19
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 23495 0 0 0 40193 26 0 0 25 0 1 0 66811979 94126080 22741 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 22980 22741 123 215 0 22762 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 91920

[startup+462.301 s]
/proc/loadavg: 1.10 1.06 1.01 2/78 8128
/proc/meminfo: memFree=1681224/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=105392 CPUtime=462.17
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 26853 0 0 0 46188 29 0 0 25 0 1 0 66811979 107921408 26099 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 26348 26099 123 215 0 26130 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 105392

[startup+522.302 s]
/proc/loadavg: 1.08 1.06 1.01 2/78 8128
/proc/meminfo: memFree=1681224/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=105392 CPUtime=522.16
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 26854 0 0 0 52186 30 0 0 25 0 1 0 66811979 107921408 26100 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 26348 26100 123 215 0 26130 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 105392

[startup+582.301 s]
/proc/loadavg: 1.08 1.06 1.01 2/78 8128
/proc/meminfo: memFree=1681224/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=105392 CPUtime=582.14
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 26854 0 0 0 58184 30 0 0 25 0 1 0 66811979 107921408 26100 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574486 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 26348 26100 123 215 0 26130 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 105392

[startup+642.302 s]
/proc/loadavg: 1.03 1.05 1.00 2/78 8128
/proc/meminfo: memFree=1680264/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=106344 CPUtime=642.13
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 27085 0 0 0 64182 31 0 0 25 0 1 0 66811979 108896256 26331 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 26586 26331 123 215 0 26368 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 106344


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 8128
/proc/meminfo: memFree=1675528/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=110992 CPUtime=882.06
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 28250 0 0 0 88172 34 0 0 25 0 1 0 66811979 113655808 27496 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 27748 27496 123 215 0 27530 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 110992

[startup+942.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8128
/proc/meminfo: memFree=1675400/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=111376 CPUtime=942.04
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 28337 0 0 0 94170 34 0 0 25 0 1 0 66811979 114049024 27583 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 27844 27583 123 215 0 27626 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 111376

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8128
/proc/meminfo: memFree=1675016/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=111536 CPUtime=1002.03
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 28389 0 0 0 100168 35 0 0 25 0 1 0 66811979 114212864 27635 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 27884 27635 123 215 0 27666 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 111536

[startup+1062.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 8128
/proc/meminfo: memFree=1665032/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=121524 CPUtime=1062.01
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 30898 0 0 0 106163 38 0 0 25 0 1 0 66811979 124440576 30144 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580902 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30381 30144 123 215 0 30163 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 121524

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 8128
/proc/meminfo: memFree=1664712/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=121840 CPUtime=1121.99
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 30970 0 0 0 112161 38 0 0 25 0 1 0 66811979 124764160 30216 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30460 30216 123 215 0 30242 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 121840

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 8128
/proc/meminfo: memFree=1664456/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=122124 CPUtime=1181.98
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31030 0 0 0 118159 39 0 0 25 0 1 0 66811979 125054976 30276 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30531 30276 123 215 0 30313 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 122124

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 8302
/proc/meminfo: memFree=1663040/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=122336 CPUtime=1241.87
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31074 0 0 0 124146 41 0 0 25 0 1 0 66811979 125272064 30320 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588609 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30584 30320 123 215 0 30366 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 122336

[startup+1302.3 s]
/proc/loadavg: 1.08 1.03 1.01 2/78 8814
/proc/meminfo: memFree=1587976/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=122500 CPUtime=1301.79
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31117 0 0 0 130129 50 0 0 25 0 1 0 66811979 125440000 30363 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30625 30363 123 215 0 30407 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 122500

[startup+1362.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 8814
/proc/meminfo: memFree=1588040/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=122768 CPUtime=1361.77
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31119 0 0 0 136127 50 0 0 25 0 1 0 66811979 125714432 30365 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30692 30365 123 215 0 30474 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 122768

[startup+1422.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 8814
/proc/meminfo: memFree=1588232/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=122768 CPUtime=1421.75
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31119 0 0 0 142125 50 0 0 25 0 1 0 66811979 125714432 30365 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30692 30365 123 215 0 30474 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 122768

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 8814
/proc/meminfo: memFree=1588232/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=122768 CPUtime=1481.73
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31119 0 0 0 148122 51 0 0 25 0 1 0 66811979 125714432 30365 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30692 30365 123 215 0 30474 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 122768

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8814
/proc/meminfo: memFree=1588232/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=122932 CPUtime=1541.72
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31147 0 0 0 154120 52 0 0 25 0 1 0 66811979 125882368 30393 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30733 30393 123 215 0 30515 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 122932

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8814
/proc/meminfo: memFree=1588168/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=123096 CPUtime=1601.7
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31175 0 0 0 160118 52 0 0 25 0 1 0 66811979 126050304 30421 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30774 30421 123 215 0 30556 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 123096

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8816
/proc/meminfo: memFree=1588296/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=123096 CPUtime=1661.68
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31175 0 0 0 166116 52 0 0 25 0 1 0 66811979 126050304 30421 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30774 30421 123 215 0 30556 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 123096

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8816
/proc/meminfo: memFree=1588104/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=123260 CPUtime=1721.67
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31208 0 0 0 172114 53 0 0 25 0 1 0 66811979 126218240 30454 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134587949 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30815 30454 123 215 0 30597 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 123260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8816
/proc/meminfo: memFree=1587976/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=123424 CPUtime=1781.66
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31244 0 0 0 178112 54 0 0 25 0 1 0 66811979 126386176 30490 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30856 30490 123 215 0 30638 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 123424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8816
/proc/meminfo: memFree=1587976/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=123424 CPUtime=1800.06
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31245 0 0 0 179952 54 0 0 25 0 1 0 66811979 126386176 30491 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30856 30491 123 215 0 30638 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 123424

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8816
/proc/meminfo: memFree=1587976/2055920 swapFree=4157972/4192956
[pid=8127] ppid=8125 vsize=123424 CPUtime=1800.06
/proc/8127/stat : 8127 (minisat+) R 8125 8127 7389 0 -1 4194304 31245 0 0 0 179952 54 0 0 25 0 1 0 66811979 126386176 30491 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8127/statm: 30856 30491 123 215 0 30638 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 123424

Child status: 10
Real time (s): 1800.74
CPU time (s): 1800.09
CPU user time (s): 1799.53
CPU system time (s): 0.561914
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 123424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.561914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31247
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= 131
involuntary context switches= 36283

runsolver used 1.9807 second user time and 4.63929 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Sat Apr 21 01:41:06 UTC 2007

IDJOB= 372673
IDBENCH= 24989
IDSOLVER= 156
FILE ID= node47/372673-1177119666

PBS_JOBID= 4640471

Free space on /tmp= 66425 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_003_area_delay.opb
COMMAND LINE= /tmp/evaluation/372673-1177119666/minisat+ /tmp/evaluation/372673-1177119666/instance-372673-1177119666.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-372673-1177119666 -o ROOT/results/node47/conversion-372673-1177119666 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372673-1177119666/instance-372673-1177119666.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-372673-1177119666 -o ROOT/results/node47/solver-372673-1177119666 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372673-1177119666/minisat+ /tmp/evaluation/372673-1177119666/instance-372673-1177119666.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  66cf2657d020eb0982c7cab0e5ad93c1

RANDOM SEED= 403614647

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1786216 kB
Buffers:         65600 kB
Cached:         120684 kB
SwapCached:       3300 kB
Active:         144604 kB
Inactive:        77968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1786216 kB
SwapTotal:     4192956 kB
SwapFree:      4157972 kB
Dirty:            3000 kB
Writeback:           0 kB
Mapped:          30364 kB
Slab:            32648 kB
Committed_AS:  3864244 kB
PageTables:       1776 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66425 MiB

End job on node47 on Sat Apr 21 02:11:09 UTC 2007