Trace number 372470

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.01 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
MD5SUM45c2f7ac01d7ade9fbe465857931ee2b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark175.948
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved YES
Number of variables5828
Total number of constraints17411
Number of constraints which are clauses17411
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 constraint63
Number of terms in the objective function 2817
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 2817
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 2817
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/372470-1177099292/instance-372470-1177099292.opb
0.00/0.00	c File size is 515072 bytes.
0.03/0.09	c Highest Coefficient sum: 2817
0.03/0.09	c Parsing was ok!!
0.03/0.09	c Total parsing time: 0.095 s
0.09/0.10	c Var: 5828 Constr: 17411 17411/0/0 Lit: 42410 Watch. Lit: 34539
0.09/0.10	c Obj. Vars: 2817 (48.3356 % of total variables)
0.19/0.23	c Pre-processing Time: 0.228 s
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   5239    15056    37310    2    30112    5018      0      0 0.23
0.19/0.23	c Switching off LPR mode.
0.19/0.24	o 31	0.236
31.36/31.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.36/31.48	c        2   5239    15059    39875    2    32621    6018      3      8 0.24
31.36/31.48	c      102   5239    15159    47906    3    32821    6620    103    355 0.29
31.36/31.48	c      352   5239    15409    58500    3    33321    7283    353    800 0.44
31.36/31.48	c      829   5239    15886    77805    4    34275    8012    830    924 0.90
31.36/31.48	c     1642   5239    16699   122419    7    35901    8814   1643    979 1.68
31.36/31.48	c     2962   5239    18019   209953   11    38541    9696   2963   1140 2.60
31.36/31.48	c     5044   5239    20101   355238   17    42705   10666   5045   1430 3.53
31.36/31.48	c     8267   5239    23324   551046   23    49151   11733   8268   1186 6.97
31.36/31.48	c    13203   5239    20924   412070   19    44351   12907   5868   1052 12.54
31.36/31.48	c    20710   5239    28431   940567   33    59365   14198  13375   1085 19.08
31.36/31.48	c    32071   5239    22156   456265   20    46815   15618   7100   1034 31.00
31.36/31.48	o 30	31.451
1799.93/1800.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.66	c    32427   5239    22513   473139   21    50033    6018   7457   1030 31.45
1799.93/1800.66	c    32528   5239    18167   228822   12    38838    6620   3111   1026 31.69
1799.93/1800.66	c    32778   5239    18417   244475   13    39338    7283   3361   1028 31.86
1799.93/1800.66	c    33254   5239    18893   267047   14    40290    8012   3837   1030 32.27
1799.93/1800.66	c    34067   5239    19706   323837   16    41916    8814   4650   1039 32.78
1799.93/1800.66	c    35387   5239    21026   392268   18    44556    9696   5970   1027 34.44
1799.93/1800.66	c    37469   5239    23108   538988   23    48720   10666   8052   1050 35.67
1799.93/1800.66	c    40692   5239    20390   395940   19    43284   11733   5334   1056 38.52
1799.93/1800.66	c    45628   5239    25326   650964   25    53156   12907  10270    999 45.66
1799.93/1800.66	c    53136   5239    24081   541315   22    50666   14198   9025    941 56.46
1799.93/1800.66	c    64497   5239    26869   832777   30    56242   15618  11813    945 68.25
1799.93/1800.66	c    81641   5239    24071   509723   21    50646   17180   9015    955 85.41
1799.93/1800.66	c   107461   5239    28193   929362   32    58890   18899  13137    917 117.18
1799.93/1800.66	c   146293   5239    31660  1011455   31    65824   20789  16604    816 179.20
1799.93/1800.66	c   204645   5239    27144   831594   30    56792   22868  12088    712 287.17
1799.93/1800.66	c   292277   5239    31478  1230114   39    65460   25155  16422    718 406.74
1799.93/1800.66	c   423829   5239    34308  1222644   35    71120   27671  19252    726 583.52
1799.93/1800.66	c   621261   5239    28000   876993   31    58504   30439  12944    617 1005.47
1799.93/1800.66	c   917515   5239    26788   823411   30    56080   33483  11732    556 1648.50
1799.93/1800.66	c Resources Exceeded
1799.93/1800.66	v -x204 -x206 x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244
1799.93/1800.66	v -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286
1799.93/1800.66	v -x288 -x290 -x292 -x294 -x296 -x298 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x326
1799.93/1800.66	v -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368
1799.93/1800.66	v -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410
1799.93/1800.66	v -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452
1799.93/1800.66	v -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x488 -x490 -x492 -x494
1799.93/1800.66	v -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536
1799.93/1800.66	v -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578
1799.93/1800.66	v -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620
1799.93/1800.66	v -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662
1799.93/1800.66	v -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704
1799.93/1800.66	v -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746
1799.93/1800.66	v -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788
1799.93/1800.66	v -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830
1799.93/1800.66	v -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872
1799.93/1800.66	v -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914
1799.93/1800.66	v -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956
1799.93/1800.66	v -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998
1799.93/1800.66	v -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032
1799.93/1800.66	v -x1034 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065
1799.93/1800.66	v -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099
1799.93/1800.66	v -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133
1799.93/1800.66	v -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167
1799.93/1800.66	v -x1169 -x1171 -x1173 -x1175 -x1177 x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201
1799.93/1800.66	v -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235
1799.93/1800.66	v -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269
1799.93/1800.66	v -x1271 x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303
1799.93/1800.66	v -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336
1799.93/1800.66	v -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370
1799.93/1800.66	v -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404
1799.93/1800.66	v -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438
1799.93/1800.66	v -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472
1799.93/1800.66	v -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506
1799.93/1800.66	v -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540
1799.93/1800.66	v -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574
1799.93/1800.66	v -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608
1799.93/1800.66	v -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642
1799.93/1800.66	v -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676
1799.93/1800.66	v -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710
1799.93/1800.66	v -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744
1799.93/1800.66	v -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778
1799.93/1800.66	v -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812
1799.93/1800.66	v -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846
1799.93/1800.66	v -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880
1799.93/1800.66	v -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914
1799.93/1800.66	v -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948
1799.93/1800.66	v -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982
1799.93/1800.66	v -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016
1799.93/1800.66	v -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050
1799.93/1800.66	v -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084
1799.93/1800.66	v -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118
1799.93/1800.66	v -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x2148 -x2150 -x2152
1799.93/1800.66	v -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180 -x2182 x2184 -x2186
1799.93/1800.66	v -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220
1799.93/1800.66	v -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254
1799.93/1800.66	v -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288
1799.93/1800.66	v -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321
1799.93/1800.66	v -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355
1799.93/1800.66	v -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389
1799.93/1800.66	v -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423
1799.93/1800.66	v -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457
1799.93/1800.66	v -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 x2481 -x2483 -x2485 -x2487 -x2489 -x2491
1799.93/1800.66	v -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525
1799.93/1800.66	v -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559
1799.93/1800.66	v -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593
1799.93/1800.66	v -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627
1799.93/1800.66	v -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661
1799.93/1800.66	v -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695
1799.93/1800.66	v -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 x2721 -x2723 -x2725 -x2727 -x2729
1799.93/1800.66	v -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763
1799.93/1800.66	v -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797
1799.93/1800.66	v -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831
1799.93/1800.66	v -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865
1799.93/1800.66	v -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899
1799.93/1800.66	v -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933
1799.93/1800.66	v -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967
1799.93/1800.66	v -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001
1799.93/1800.66	v -x3003 -x3005 -x3007 x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035
1799.93/1800.66	v -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069
1799.93/1800.66	v -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103
1799.93/1800.66	v -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137
1799.93/1800.66	v -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171
1799.93/1800.66	v -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205
1799.93/1800.66	v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239
1799.93/1800.66	v -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273
1799.93/1800.66	v -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307
1799.93/1800.66	v -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341
1799.93/1800.66	v -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375
1799.93/1800.66	v -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409
1799.93/1800.66	v -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443
1799.93/1800.66	v -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 x3471 -x3473 -x3475 -x3477
1799.93/1800.66	v -x3479 -x3481 -x3483 x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511
1799.93/1800.66	v -x3513 -x3515 -x3517 -x3519 -x3521 x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545
1799.93/1800.66	v -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579
1799.93/1800.66	v -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613
1799.93/1800.66	v -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3638 -x3640 -x3642 -x3644 -x3646
1799.93/1800.66	v -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680
1799.93/1800.66	v -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714
1799.93/1800.66	v -x3716 -x3718 -x3720 -x3722 -x3724 -x3726 -x3728 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748
1799.93/1800.66	v -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782
1799.93/1800.66	v -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816
1799.93/1800.66	v -x3818 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850
1799.93/1800.66	v -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884
1799.93/1800.66	v -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918
1799.93/1800.66	v -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952
1799.93/1800.66	v -x3954 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986
1799.93/1800.66	v -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 x4012 -x4014 -x4016 -x4018 -x4020
1799.93/1800.66	v -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054
1799.93/1800.66	v -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088
1799.93/1800.66	v -x4090 -x4092 -x4094 -x4096 x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 x4116 -x4118 -x4120 -x4122 -x4124
1799.93/1800.66	v -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158
1799.93/1800.66	v -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192
1799.93/1800.66	v -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226
1799.93/1800.66	v -x4228 -x4230 -x4232 x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260
1799.93/1800.66	v -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294
1799.93/1800.66	v -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328
1799.93/1800.66	v -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362
1799.93/1800.66	v -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396
1799.93/1800.66	v -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430
1799.93/1800.66	v -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464
1799.93/1800.66	v -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498
1799.93/1800.66	v -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532
1799.93/1800.66	v -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566
1799.93/1800.66	v -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600
1799.93/1800.66	v -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634
1799.93/1800.66	v -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668
1799.93/1800.66	v -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702
1799.93/1800.66	v -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736
1799.93/1800.66	v -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769
1799.93/1800.66	v -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803
1799.93/1800.66	v -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837
1799.93/1800.66	v -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871
1799.93/1800.66	v -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905
1799.93/1800.66	v -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939
1799.93/1800.66	v -x4941 -x4943 -x4945 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x4961 -x4963 -x4965 -x4967 -x4969 -x4970 -x4972
1799.93/1800.66	v -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006
1799.93/1800.66	v -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040
1799.93/1800.66	v -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074
1799.93/1800.66	v -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108
1799.93/1800.66	v -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 x5132 -x5134 -x5136 -x5138 -x5140 -x5142
1799.93/1800.66	v -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176
1799.93/1800.66	v -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210
1799.93/1800.66	v -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x5244
1799.93/1800.66	v -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276 -x5278
1799.93/1800.66	v -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312
1799.93/1800.66	v -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346
1799.93/1800.66	v -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 x5374 -x5376 -x5378 -x5380
1799.93/1800.66	v -x5382 -x5384 -x5386 -x5388 -x5390 x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 x5414 -x5416
1799.93/1800.66	v -x5418 -x5420 x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450
1799.93/1800.66	v -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484
1799.93/1800.66	v -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518
1799.93/1800.66	v -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 x5552
1799.93/1800.66	v -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586
1799.93/1800.66	v -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620
1799.93/1800.66	v -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654
1799.93/1800.66	v -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 x5680 -x5682 -x5684 -x5686 -x5688
1799.93/1800.66	v -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 x5702 -x5704 -x5706 x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724
1799.93/1800.66	v -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758
1799.93/1800.66	v -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792
1799.93/1800.66	v -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826
1799.93/1800.66	v x5828 -x203 -x205 x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241
1799.93/1800.66	v -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283
1799.93/1800.66	v -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x327
1799.93/1800.66	v -x1 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367
1799.93/1800.66	v -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x2 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407
1799.93/1800.66	v -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449
1799.93/1800.66	v -x451 -x3 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x4 -x483 -x485 -x487
1799.93/1800.66	v -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529
1799.93/1800.66	v -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x5 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569
1799.93/1800.66	v -x571 -x573 -x6 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x7 -x605 -x607
1799.93/1800.66	v -x609 -x611 -x613 -x615 -x617 -x8 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647
1799.93/1800.66	v -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x9 -x681 -x683 -x685 -x687
1799.93/1800.66	v -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x10 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727
1799.93/1800.66	v -x729 -x731 -x733 -x735 -x737 -x739 -x11 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767
1799.93/1800.66	v -x769 x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809
1799.93/1800.66	v -x811 -x813 -x815 -x12 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x13 -x847
1799.93/1800.66	v -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x14 -x877 -x879 -x881 -x883 -x885 -x887
1799.93/1800.66	v -x889 -x15 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x16 -x921 -x923 -x925
1799.93/1800.66	v -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x17 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x18
1799.93/1800.66	v -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x19 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x20 -x993 -x995 -x997 -x21 -x999
1799.93/1800.66	v -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033
1799.93/1800.66	v -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x22 -x1060 -x1062 -x1064 -x1066 -x1068
1799.93/1800.66	v -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x23 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102
1799.93/1800.66	v -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x24 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x25 -x1134
1799.93/1800.66	v -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x26 -x1164 -x1166 -x1168
1799.93/1800.66	v -x1170 -x1172 -x1174 -x1176 x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x27 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202
1799.93/1800.66	v -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236
1799.93/1800.66	v -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270
1799.93/1800.66	v x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304
1799.93/1800.66	v -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x28 -x1324 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339
1799.93/1800.66	v -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373
1799.93/1800.66	v -x1375 -x1377 -x1379 -x1381 -x1383 -x29 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407
1799.93/1800.66	v -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441
1799.93/1800.66	v -x1443 -x1445 -x30 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475
1799.93/1800.66	v -x31 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509
1799.93/1800.66	v -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x32 -x1539 -x1541 -x1543
1799.93/1800.66	v -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x33 -x1569 -x1571 -x1573 -x1575 -x1577
1799.93/1800.66	v -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x34 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611
1799.93/1800.66	v -x35 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645
1799.93/1800.66	v -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x36 -x1675 -x1677 -x1679
1799.93/1800.66	v -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x37 -x1705 -x1707 -x1709 -x1711 -x1713
1799.93/1800.66	v -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x38 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747
1799.93/1800.66	v -x39 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x40 -x1779
1799.93/1800.66	v -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x41 -x1805 -x1807 -x1809 -x42 -x1811
1799.93/1800.66	v -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845
1799.93/1800.66	v -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x43 -x1873 -x1875 -x1877 -x1879
1799.93/1800.66	v -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x44 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913
1799.93/1800.66	v -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x45 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x46
1799.93/1800.66	v -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x47 -x1977 -x1979
1799.93/1800.66	v -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x48 -x2007 -x2009 -x2011 -x2013
1799.93/1800.66	v -x2015 -x2017 -x2019 -x49 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x50 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045
1799.93/1800.66	v -x2047 -x51 -x2049 -x2051 -x2053 -x52 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077
1799.93/1800.66	v -x2079 -x2081 -x2083 -x53 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x54 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109
1799.93/1800.66	v -x2111 -x55 -x2113 -x2115 -x2117 -x56 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x57 -x2133 -x2135 -x2137 -x2139
1799.93/1800.66	v -x2141 -x2143 -x2145 -x58 -x2147 -x2149 -x2151 -x59 -x2153 -x2155 -x2157 -x60 -x2159 -x2161 -x2163 -x61 -x2165 -x2167 -x2169
1799.93/1800.66	v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203
1799.93/1800.66	v -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237
1799.93/1800.66	v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 x2267 -x2269 -x2271
1799.93/1800.66	v -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305
1799.93/1800.66	v -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340
1799.93/1800.66	v -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x62 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374
1799.93/1800.66	v -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408
1799.93/1800.66	v -x2410 -x2412 -x2414 -x63 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442
1799.93/1800.66	v -x2444 -x2446 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476
1799.93/1800.66	v -x2478 x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x64 -x2508 -x2510
1799.93/1800.66	v -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544
1799.93/1800.66	v -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x65 -x2570 -x2572 -x2574 -x2576 -x2578
1799.93/1800.66	v -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x66 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612
1799.93/1800.66	v -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646
1799.93/1800.66	v -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x67 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680
1799.93/1800.66	v -x2682 -x2684 -x2686 -x2688 -x68 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714
1799.93/1800.66	v -x2716 -x2718 x69 x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x70 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746
1799.93/1800.66	v -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x71 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780
1799.93/1800.66	v -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814
1799.93/1800.66	v -x2816 -x2818 -x2820 -x2822 -x2824 -x72 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848
1799.93/1800.66	v -x2850 -x2852 -x2854 -x73 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882
1799.93/1800.66	v -x2884 -x74 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x75 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914
1799.93/1800.66	v -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x76 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x77 -x2944 -x2946
1799.93/1800.66	v -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980
1799.93/1800.66	v x2982 -x2984 -x2986 -x78 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x79 -x3002 -x3004 -x3006 x3008 -x3010 -x3012
1799.93/1800.66	v -x3014 -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046
1799.93/1800.66	v -x3048 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x80 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080
1799.93/1800.66	v -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x81 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114
1799.93/1800.66	v -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148
1799.93/1800.66	v -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x82 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182
1799.93/1800.66	v -x3184 -x3186 -x83 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216
1799.93/1800.66	v -x84 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x85 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248
1799.93/1800.66	v -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x86 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x87 -x3276 -x3278 -x3280
1799.93/1800.66	v -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x88 -x3306 -x3308 -x3310 -x3312 -x3314
1799.93/1800.66	v -x3316 -x3318 -x89 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x90 -x3334 -x3336 -x3338 -x91 -x3340 -x3342 -x3344
1799.93/1800.66	v -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x92 -x3370 -x3372 -x3374 -x3376 -x3378
1799.93/1800.66	v -x3380 -x3382 -x93 -x3384 -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x94 -x3398 -x3400 -x3402 -x95 -x3404 -x3406 -x3408
1799.93/1800.66	v -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x96 -x3434 -x3436 -x3438 -x3440 -x3442
1799.93/1800.66	v -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 x3470 -x3472 -x3474 -x3476
1799.93/1800.66	v -x3478 -x3480 -x3482 x3484 -x3486 -x3488 -x3490 -x97 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x98 -x3506 -x3508
1799.93/1800.66	v -x3510 -x3512 -x3514 -x3516 -x3518 -x3520 x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x99 -x3540 -x3542
1799.93/1800.66	v -x3544 -x3546 -x3548 -x3550 -x3552 -x100 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x101 -x3568 -x3570 -x3572 -x102
1799.93/1800.66	v -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x103 -x3588 -x3590 -x3592 -x104 -x3594 -x3596 -x3598 -x105 -x3600 -x106
1799.93/1800.66	v -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634
1799.93/1800.66	v -x3636 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x107 -x3663 -x3665 -x3667
1799.93/1800.66	v -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x108 -x3693 -x3695 -x3697 -x3699
1799.93/1800.66	v -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733
1799.93/1800.66	v -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x109 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765
1799.93/1800.66	v -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x110 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797
1799.93/1800.66	v -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x111 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x112 -x3829
1799.93/1800.66	v -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x113 -x3859 -x3861
1799.93/1800.66	v -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895
1799.93/1800.66	v -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x114 -x3921 -x3923 -x3925 -x3927
1799.93/1800.66	v -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x115 -x3951 -x3953 -x3955 -x3957 -x3959
1799.93/1800.66	v -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x116 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991
1799.93/1800.66	v -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x117 -x4025
1799.93/1800.66	v -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x118 -x4055 -x4057
1799.93/1800.66	v -x4059 -x4061 -x4063 -x4065 -x4067 -x119 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089
1799.93/1800.66	v -x4091 -x4093 -x4095 x4097 x120 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 x121 -x4113 x4115 -x4117 -x4119 -x4121
1799.93/1800.66	v -x4123 -x4125 -x122 -x4127 -x4129 -x4131 -x123 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153
1799.93/1800.66	v -x4155 -x4157 -x4159 -x4161 -x124 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x125 -x4177 -x4179 -x4181 -x4183 -x4185
1799.93/1800.66	v -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x126 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217
1799.93/1800.66	v -x4219 -x127 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 x4233 -x4235 -x4237 -x4239 -x128 -x4241 -x4243 -x4245 -x4247 -x4249
1799.93/1800.66	v -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283
1799.93/1800.66	v -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x129 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315
1799.93/1800.66	v -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x130 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347
1799.93/1800.66	v -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x131 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x132 -x4377 -x4379
1799.93/1800.66	v -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x133 -x4407 -x4409 -x4411
1799.93/1800.66	v -x4413 -x4415 -x4417 -x4419 -x134 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431 -x4433 -x135 -x4435 -x4437 -x4439 -x136 -x4441
1799.93/1800.66	v -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465 -x4467 -x4469 -x137 -x4471 -x4473
1799.93/1800.66	v -x4475 -x4477 -x4479 -x4481 -x4483 -x138 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x139 -x4499 -x4501 -x4503 -x4505
1799.93/1800.66	v -x4507 -x4509 -x4511 x4513 -x4515 -x4517 -x140 -x4519 -x4521 -x4523 -x141 -x4525 -x4527 -x4529 -x142 -x4531 -x4533 -x4535
1799.93/1800.66	v -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567 -x4569
1799.93/1800.66	v -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603
1799.93/1800.66	v -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637
1799.93/1800.66	v -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x143 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669
1799.93/1800.66	v -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703
1799.93/1800.66	v -x4705 -x4707 -x4709 -x4711 -x4713 -x144 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735
1799.93/1800.66	v -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770
1799.93/1800.66	v -x4772 -x4774 -x145 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802
1799.93/1800.66	v -x4804 -x146 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834
1799.93/1800.66	v -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x147 -x4866
1799.93/1800.66	v -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x148 -x4896 -x4898
1799.93/1800.66	v -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x149 -x4926 -x4928 -x4930
1799.93/1800.66	v -x4932 -x4934 -x4936 -x4938 -x150 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962
1799.93/1800.66	v -x4964 -x4966 -x4968 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997
1799.93/1800.66	v -x4999 -x151 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029
1799.93/1800.66	v -x152 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x153 -x5061
1799.93/1800.66	v -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x154 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093
1799.93/1800.66	v -x5095 -x5097 -x5099 -x5101 -x5103 -x155 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x156 -x5119 -x5121 -x5123 -x5125
1799.93/1800.66	v -x5127 -x5129 x5131 x157 -x5133 -x5135 -x5137 -x158 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157
1799.93/1800.66	v -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191
1799.93/1800.66	v -x5193 -x5195 -x5197 -x5199 -x159 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223
1799.93/1800.66	v -x5225 -x5227 -x160 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255
1799.93/1800.66	v -x5257 -x161 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x162 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287
1799.93/1800.66	v -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x163 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x164 -x5315 -x5317 -x5319
1799.93/1800.66	v -x5321 -x5323 -x5325 -x5327 -x165 -x5329 -x5331 -x5333 -x166 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351
1799.93/1800.66	v -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 x167 -x5365 -x5367 -x5369 -x5371 x5373 -x5375 -x5377 -x168 -x5379 -x5381 -x5383
1799.93/1800.66	v -x5385 -x5387 -x5389 x5391 -x5393 -x5395 -x169 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409 x170 -x5411 x5413 -x5415
1799.93/1800.66	v -x171 -x5417 -x5419 x5421 x172 -x5423 -x173 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443 -x5445
1799.93/1800.66	v -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479
1799.93/1800.66	v -x174 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x175 -x5511
1799.93/1800.66	v -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 x176 -x5541 -x5543 -x5545
1799.93/1800.66	v -x5547 -x5549 x5551 -x5553 -x177 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579
1799.93/1800.66	v -x5581 -x5583 -x178 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x179 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611
1799.93/1800.66	v -x180 -x5613 -x5615 -x5617 -x181 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643
1799.93/1800.66	v -x5645 -x5647 -x182 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x183 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675
1799.93/1800.66	v -x5677 x5679 -x5681 -x184 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x185 -x5697 -x5699 x5701 -x5703 -x5705 x5707
1799.93/1800.66	v x186 -x5709 -x187 -x5711 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x188 -x5737
1799.93/1800.66	v -x5739 -x5741 -x5743 -x5745 -x5747 -x5749 -x189 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x190 -x5765 -x5767 -x5769
1799.93/1800.66	v -x191 -x5771 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x192 -x5785 -x5787 -x193 -x5789 -x5791 -x5793 -x194 -x5795 -x195
1799.93/1800.66	v -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x196 -x5809 -x5811 -x5813 -x197 -x5815 -x5817 -x5819 -x198 -x5821 -x199 -x5823
1799.93/1800.66	v -x5825 -x200 x5827 x201 x202
1799.93/1800.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.67	c   30  1032780 637655  3794640    45529  1915303  30473    573 1800.00
1799.93/1800.67	c Objective: 30
1799.93/1800.67	s SATISFIABLE
1799.93/1800.67	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/node33/watcher-372470-1177099292 -o ROOT/results/node33/solver-372470-1177099292 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372470-1177099292/instance-372470-1177099292.opb 

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/83 15286
/proc/meminfo: memFree=1702584/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=12240 CPUtime=0
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 157844675 12533760 342 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 3060 343 282 324 0 2003 0

[startup+0.042184 s]
/proc/loadavg: 0.99 0.98 0.99 3/83 15286
/proc/meminfo: memFree=1702584/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=5424 CPUtime=0.03
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 668 0 0 0 3 0 0 0 18 0 1 0 157844675 5554176 636 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 1356 636 332 324 0 299 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5424

[startup+0.101182 s]
/proc/loadavg: 0.99 0.98 0.99 3/83 15286
/proc/meminfo: memFree=1702584/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=6716 CPUtime=0.09
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 1194 0 0 0 9 0 0 0 18 0 1 0 157844675 6877184 1036 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 1679 1038 301 324 0 748 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6716

[startup+0.301222 s]
/proc/loadavg: 0.99 0.98 0.99 3/83 15286
/proc/meminfo: memFree=1702584/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=7616 CPUtime=0.29
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 1496 0 0 0 27 2 0 0 19 0 1 0 157844675 7798784 1284 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 1904 1284 313 324 0 973 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7616

[startup+0.701305 s]
/proc/loadavg: 0.99 0.98 0.99 3/83 15286
/proc/meminfo: memFree=1702584/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=7740 CPUtime=0.69
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 1522 0 0 0 66 3 0 0 23 0 1 0 157844675 7925760 1310 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11374661 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 1935 1310 313 324 0 1004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7740

[startup+1.50147 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 15287
/proc/meminfo: memFree=1698352/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=8368 CPUtime=1.49
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 1665 0 0 0 145 4 0 0 25 0 1 0 157844675 8568832 1453 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 2092 1453 313 324 0 1161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8368

[startup+3.1018 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 15289
/proc/meminfo: memFree=1697136/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=11200 CPUtime=3.08
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 2383 0 0 0 303 5 0 0 25 0 1 0 157844675 11468800 2171 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 2800 2171 313 324 0 1869 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11200

[startup+6.30246 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 15291
/proc/meminfo: memFree=1692400/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=14144 CPUtime=6.29
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 3103 0 0 0 621 8 0 0 25 0 1 0 157844675 14483456 2891 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 3536 2891 313 324 0 2605 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14144

[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 15295
/proc/meminfo: memFree=1687152/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=19352 CPUtime=12.68
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 4431 0 0 0 1258 10 0 0 25 0 1 0 157844675 19816448 4219 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160521833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 4838 4219 313 324 0 3907 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19352

[startup+25.5014 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1684840/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=22232 CPUtime=25.46
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 5139 0 0 0 2530 16 0 0 25 0 1 0 157844675 22765568 4927 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 5558 4927 313 324 0 4627 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 22232

[startup+51.1017 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1684976/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=22220 CPUtime=51.05
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 5139 0 0 0 5080 25 0 0 25 0 1 0 157844675 22753280 4927 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 5555 4927 313 324 0 4624 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 22220

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1681200/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=26084 CPUtime=102.23
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 6105 0 0 0 10185 38 0 0 25 0 1 0 157844675 26710016 5893 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 6521 5893 313 324 0 5590 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 26084

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1679024/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=28200 CPUtime=162.21
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 6638 0 0 0 16170 51 0 0 25 0 1 0 157844675 28876800 6426 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11374744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 7050 6426 313 324 0 6119 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 28200

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1679024/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=28204 CPUtime=222.19
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 6640 0 0 0 22155 64 0 0 25 0 1 0 157844675 28880896 6428 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 7051 6428 313 324 0 6120 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 28204

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1678640/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=28568 CPUtime=282.17
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 6729 0 0 0 28142 75 0 0 25 0 1 0 157844675 29253632 6517 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11386600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 7142 6517 313 324 0 6211 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 28568

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1673456/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=33780 CPUtime=342.15
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 8036 0 0 0 34122 93 0 0 25 0 1 0 157844675 34590720 7824 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11375925 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 8445 7824 313 324 0 7514 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 33780

[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1672944/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=34264 CPUtime=402.13
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 8155 0 0 0 40109 104 0 0 25 0 1 0 157844675 35086336 7943 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 8566 7943 313 324 0 7635 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 34264

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1671408/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=35836 CPUtime=462.1
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 8551 0 0 0 46093 117 0 0 25 0 1 0 157844675 36696064 8339 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 8959 8339 313 324 0 8028 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 35836

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1670384/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=36852 CPUtime=522.08
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 8805 0 0 0 52077 131 0 0 25 0 1 0 157844675 37736448 8593 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 9213 8593 313 324 0 8282 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 36852

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1670448/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=36852 CPUtime=582.06
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 8805 0 0 0 58062 144 0 0 25 0 1 0 157844675 37736448 8593 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378529 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 9213 8593 313 324 0 8282 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 36852

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1669616/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=37672 CPUtime=642.04
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 9021 0 0 0 64043 161 0 0 25 0 1 0 157844675 38576128 8800 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 9418 8800 313 324 0 8487 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 37672


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

/proc/meminfo: memFree=1663088/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=44156 CPUtime=1121.86
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 10645 0 0 0 111940 246 0 0 25 0 1 0 157844675 45215744 10424 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 11039 10424 313 324 0 10108 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 44156

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1663152/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=44112 CPUtime=1181.85
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 10645 0 0 0 117927 258 0 0 25 0 1 0 157844675 45170688 10413 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 11028 10413 313 324 0 10097 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 44112

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1659760/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=47816 CPUtime=1241.82
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 11557 0 0 0 123914 268 0 0 25 0 1 0 157844675 48963584 11323 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 11954 11323 313 324 0 11023 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 47816

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50952 CPUtime=1301.81
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12358 0 0 0 129903 278 0 0 25 0 1 0 157844675 52174848 12123 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12738 12123 313 324 0 11807 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 50952

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50924 CPUtime=1361.78
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12358 0 0 0 135891 287 0 0 25 0 1 0 157844675 52146176 12116 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12731 12116 313 324 0 11800 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 50924

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50924 CPUtime=1421.77
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12358 0 0 0 141881 296 0 0 25 0 1 0 157844675 52146176 12116 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12731 12116 313 324 0 11800 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 50924

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50924 CPUtime=1481.74
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12358 0 0 0 147867 307 0 0 25 0 1 0 157844675 52146176 12116 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12731 12116 313 324 0 11800 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 50924

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50924 CPUtime=1541.72
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12358 0 0 0 153857 315 0 0 25 0 1 0 157844675 52146176 12116 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12731 12116 313 324 0 11800 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 50924

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656240/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50924 CPUtime=1601.69
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12358 0 0 0 159846 323 0 0 25 0 1 0 157844675 52146176 12116 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12731 12116 313 324 0 11800 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 50924

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50924 CPUtime=1661.67
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12358 0 0 0 165827 340 0 0 25 0 1 0 157844675 52146176 12116 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12731 12116 313 324 0 11800 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 50924

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1721.66
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 171807 359 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 50936

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1781.63
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 177790 373 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 50936

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1791.23
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 178747 376 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 50936

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1794.43
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 179066 377 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 50936

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1797.63
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 179384 379 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 50936

[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1799.23
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 179544 379 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1799.23
Current children cumulated vsize (KiB) 50936

[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1799.62
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 179583 379 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 50936

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1799.82
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 179603 379 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 50936

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 15321
/proc/meminfo: memFree=1656304/2055920 swapFree=4180512/4192956
[pid=15286] ppid=15284 vsize=50936 CPUtime=1799.93
/proc/15286/stat : 15286 (bsolo3.0.16) R 15284 15286 13977 0 -1 4194304 12361 0 0 0 179614 379 0 0 25 0 1 0 157844675 52158464 12119 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15286/statm: 12734 12119 313 324 0 11803 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 50936

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.01
CPU user time (s): 1796.21
CPU system time (s): 3.80342
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 50956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.21
system time used= 3.80342
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12362
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= 16
involuntary context switches= 26260

runsolver used 2.08868 second user time and 4.45532 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Fri Apr 20 20:01:32 UTC 2007

IDJOB= 372470
IDBENCH= 24974
IDSOLVER= 163
FILE ID= node33/372470-1177099292

PBS_JOBID= 4640365

Free space on /tmp= 66473 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  45c2f7ac01d7ade9fbe465857931ee2b

RANDOM SEED= 676695838

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1702992 kB
Buffers:         40116 kB
Cached:         213016 kB
SwapCached:       2276 kB
Active:         210340 kB
Inactive:        88080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1702992 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            5020 kB
Writeback:           0 kB
Mapped:          60616 kB
Slab:            39392 kB
Committed_AS:  1732724 kB
PageTables:       2224 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= 66473 MiB

End job on node33 on Fri Apr 20 20:31:33 UTC 2007