Trace number 372806

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT30 1800.02 1800.5

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
MD5SUM8e8463c13e61e1a22058cdf603119640
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 benchmark273.442
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 variables7926
Total number of constraints23835
Number of constraints which are clauses23835
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 3885
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 3885
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 3885
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	30

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 739
/proc/meminfo: memFree=1495024/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=12420 CPUtime=0
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 189628567 12718080 338 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 3105 338 281 324 0 2003 0

[startup+0.0282179 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 739
/proc/meminfo: memFree=1495024/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=5364 CPUtime=0.02
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 587 0 0 0 2 0 0 0 18 0 1 0 189628567 5492736 555 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 1341 555 312 324 0 239 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5364

[startup+0.102227 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 739
/proc/meminfo: memFree=1495024/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=6876 CPUtime=0.09
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 1065 0 0 0 9 0 0 0 18 0 1 0 189628567 7041024 1033 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 1719 1034 411 324 0 617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6876

[startup+0.301249 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 739
/proc/meminfo: memFree=1495024/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=9168 CPUtime=0.29
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 1851 0 0 0 27 2 0 0 19 0 1 0 189628567 9388032 1648 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9093189 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 2292 1648 308 324 0 1361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9168

[startup+0.702295 s]
/proc/loadavg: 1.01 1.00 1.00 3/77 739
/proc/meminfo: memFree=1495024/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=9032 CPUtime=0.69
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 1916 0 0 0 66 3 0 0 22 0 1 0 189628567 9248768 1625 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 2258 1625 313 324 0 1327 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9032

[startup+1.50139 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 740
/proc/meminfo: memFree=1489576/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=9424 CPUtime=1.49
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 2009 0 0 0 145 4 0 0 25 0 1 0 189628567 9650176 1718 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134571990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 2356 1718 313 324 0 1425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9424

[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1488744/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=10556 CPUtime=3.09
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 2284 0 0 0 304 5 0 0 25 0 1 0 189628567 10809344 1993 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 2639 1993 313 324 0 1708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10556

[startup+6.30193 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1485480/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=13776 CPUtime=6.29
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 3101 0 0 0 622 7 0 0 25 0 1 0 189628567 14106624 2810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 3444 2810 313 324 0 2513 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13776

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1480680/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=17892 CPUtime=12.69
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 4142 0 0 0 1259 10 0 0 25 0 1 0 189628567 18321408 3851 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 4473 3851 313 324 0 3542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17892

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1472360/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=26056 CPUtime=25.49
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 6179 0 0 0 2534 15 0 0 25 0 1 0 189628567 26681344 5888 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 6514 5888 313 324 0 5583 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26056

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1468840/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=30296 CPUtime=51.08
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 7234 0 0 0 5087 21 0 0 25 0 1 0 189628567 31023104 6943 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 7574 6943 313 324 0 6643 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30296

[startup+102.306 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 740
/proc/meminfo: memFree=1463464/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=35016 CPUtime=102.26
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 8419 0 0 0 10197 29 0 0 25 0 1 0 189628567 35856384 8128 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134571667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 8754 8128 313 324 0 7823 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 35016

[startup+162.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 740
/proc/meminfo: memFree=1456360/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=42568 CPUtime=162.25
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 10314 0 0 0 16183 42 0 0 25 0 1 0 189628567 43589632 10023 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 10642 10023 313 324 0 9711 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 42568

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1452776/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=45580 CPUtime=222.24
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11074 0 0 0 22171 53 0 0 25 0 1 0 189628567 46673920 10776 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550912 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11395 10776 313 324 0 10464 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 45580

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 740
/proc/meminfo: memFree=1452840/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=45572 CPUtime=282.22
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11074 0 0 0 28161 61 0 0 25 0 1 0 189628567 46665728 10774 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11393 10774 313 324 0 10462 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 45572

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 740
/proc/meminfo: memFree=1452840/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=45572 CPUtime=342.2
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11074 0 0 0 34152 68 0 0 25 0 1 0 189628567 46665728 10774 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9105167 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11393 10774 313 324 0 10462 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 45572

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1453544/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=44720 CPUtime=402.18
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11077 0 0 0 40132 86 0 0 25 0 1 0 189628567 45793280 10561 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572031 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11180 10561 313 324 0 10249 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44720

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1453800/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=44416 CPUtime=462.17
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11077 0 0 0 46115 102 0 0 25 0 1 0 189628567 45481984 10485 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11104 10485 313 324 0 10173 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 44416

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1453800/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=44416 CPUtime=522.15
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11077 0 0 0 52103 112 0 0 25 0 1 0 189628567 45481984 10485 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11104 10485 313 324 0 10173 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 44416

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1453800/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=44416 CPUtime=582.14
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11077 0 0 0 58093 121 0 0 25 0 1 0 189628567 45481984 10485 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11104 10485 313 324 0 10173 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 44416

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1453800/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=44416 CPUtime=642.13
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 11077 0 0 0 64085 128 0 0 25 0 1 0 189628567 45481984 10485 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 11104 10485 313 324 0 10173 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 44416


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

/proc/meminfo: memFree=1446504/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=51824 CPUtime=1122
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 13070 0 0 0 111996 204 0 0 25 0 1 0 189628567 53067776 12332 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9097023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 12956 12332 313 324 0 12025 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 51824

[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 740
/proc/meminfo: memFree=1446504/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=51836 CPUtime=1181.98
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 13073 0 0 0 117977 221 0 0 25 0 1 0 189628567 53080064 12335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 12959 12335 313 324 0 12028 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 51836

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 740
/proc/meminfo: memFree=1444712/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=53636 CPUtime=1241.96
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 13543 0 0 0 123962 234 0 0 25 0 1 0 189628567 54923264 12766 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 13409 12766 313 324 0 12478 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 53636

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1436776/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=61492 CPUtime=1301.95
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 15555 0 0 0 129949 246 0 0 25 0 1 0 189628567 62967808 14739 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 15373 14739 313 324 0 14442 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 61492

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1436776/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=61496 CPUtime=1361.93
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 15595 0 0 0 135938 255 0 0 25 0 1 0 189628567 62971904 14740 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 15374 14740 313 324 0 14443 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 61496

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429800/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68416 CPUtime=1421.92
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17368 0 0 0 141928 264 0 0 25 0 1 0 189628567 70057984 16474 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17104 16474 313 324 0 16173 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 68416

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429800/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68416 CPUtime=1481.9
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17407 0 0 0 147917 273 0 0 25 0 1 0 189628567 70057984 16474 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17104 16474 313 324 0 16173 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 68416

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429928/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68416 CPUtime=1541.88
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17407 0 0 0 153906 282 0 0 25 0 1 0 189628567 70057984 16474 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17104 16474 313 324 0 16173 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 68416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429928/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1601.87
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 159897 290 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 68428

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429928/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1661.85
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 165885 300 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134594188 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 68428

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429928/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1721.84
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 171876 308 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 68428

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1781.81
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 177865 316 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551196 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 68428

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1791.42
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 178824 318 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 68428

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1794.62
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 179144 318 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 68428

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1797.81
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 179463 318 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 68428

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1798.61
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 179543 318 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9098109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 68428

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1799.41
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 179623 318 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 68428

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1799.81
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 179663 318 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 68428

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 742
/proc/meminfo: memFree=1429864/2055920 swapFree=4152812/4192956
[pid=739] ppid=737 vsize=68428 CPUtime=1799.91
/proc/739/stat : 739 (bsolo3.0.16) R 737 739 32114 0 -1 4194304 17410 0 0 0 179673 318 0 0 25 0 1 0 189628567 70070272 16477 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/739/statm: 17107 16477 313 324 0 16176 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 68428

Child status: 0
Real time (s): 1800.5
CPU time (s): 1800.02
CPU user time (s): 1796.82
CPU system time (s): 3.19951
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 68428

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

runsolver used 2.02869 second user time and 4.14237 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Apr 21 06:11:50 UTC 2007

IDJOB= 372806
IDBENCH= 24998
IDSOLVER= 163
FILE ID= node9/372806-1177135910

PBS_JOBID= 4648789

Free space on /tmp= 66427 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8e8463c13e61e1a22058cdf603119640

RANDOM SEED= 487420803

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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:       1495496 kB
Buffers:         54912 kB
Cached:         439016 kB
SwapCached:       8184 kB
Active:         238556 kB
Inactive:       279504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1495496 kB
SwapTotal:     4192956 kB
SwapFree:      4152812 kB
Dirty:            5088 kB
Writeback:           0 kB
Mapped:          30164 kB
Slab:            27972 kB
Committed_AS:  6517680 kB
PageTables:       1788 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= 66427 MiB

End job on node9 on Sat Apr 21 06:41:51 UTC 2007