Trace number 372778

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT28 1800.01 1800.68

General information on the benchmark

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

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3424
/proc/meminfo: memFree=1752148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=12256 CPUtime=0
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 189369907 12550144 335 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 3064 336 281 324 0 2003 0

[startup+0.014588 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3424
/proc/meminfo: memFree=1752148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=4884 CPUtime=0
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 469 0 0 0 0 0 0 0 18 0 1 0 189369907 5001216 437 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 1221 437 295 324 0 160 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4884

[startup+0.101601 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3424
/proc/meminfo: memFree=1752148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=6676 CPUtime=0.09
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 1051 0 0 0 9 0 0 0 18 0 1 0 189369907 6836224 1019 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12387963 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 1669 1019 411 324 0 608 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6676

[startup+0.301634 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3424
/proc/meminfo: memFree=1752148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=7748 CPUtime=0.29
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 1534 0 0 0 27 2 0 0 19 0 1 0 189369907 7933952 1316 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 1937 1316 313 324 0 1006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7748

[startup+0.701699 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3424
/proc/meminfo: memFree=1752148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=8012 CPUtime=0.69
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 1605 0 0 0 66 3 0 0 22 0 1 0 189369907 8204288 1387 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 2003 1387 313 324 0 1072 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8012

[startup+1.50183 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1747020/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=9964 CPUtime=1.49
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 2074 0 0 0 145 4 0 0 25 0 1 0 189369907 10203136 1856 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 2491 1856 313 324 0 1560 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9964

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1743500/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=14756 CPUtime=3.09
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 3260 0 0 0 302 7 0 0 25 0 1 0 189369907 15110144 3042 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550959 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 3689 3042 313 324 0 2758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14756

[startup+6.30161 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1739148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=16852 CPUtime=6.29
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 3807 0 0 0 621 8 0 0 25 0 1 0 189369907 17256448 3589 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12386023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 4213 3589 313 324 0 3282 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16852

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1736276/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=19332 CPUtime=12.68
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 4416 0 0 0 1258 10 0 0 25 0 1 0 189369907 19795968 4198 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12384085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 4833 4198 313 324 0 3902 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19332

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1733972/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=21672 CPUtime=25.48
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 5005 0 0 0 2534 14 0 0 25 0 1 0 189369907 22192128 4787 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 5418 4787 313 324 0 4487 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21672

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1730708/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=25160 CPUtime=51.07
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 5890 0 0 0 5085 22 0 0 25 0 1 0 189369907 25763840 5672 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 6290 5672 313 324 0 5359 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25160

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1727316/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=28204 CPUtime=102.26
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 6644 0 0 0 10189 37 0 0 25 0 1 0 189369907 28880896 6426 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 7051 6426 313 324 0 6120 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28204

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3425
/proc/meminfo: memFree=1724500/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=31076 CPUtime=162.23
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 7363 0 0 0 16178 45 0 0 25 0 1 0 189369907 31821824 7145 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12386454 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 7769 7145 313 324 0 6838 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 31076

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3427
/proc/meminfo: memFree=1723220/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=32212 CPUtime=222.21
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 7647 0 0 0 22168 53 0 0 25 0 1 0 189369907 32985088 7429 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 8053 7429 313 324 0 7122 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32212

[startup+282.301 s]
/proc/loadavg: 1.13 1.03 1.01 2/65 3427
/proc/meminfo: memFree=1721428/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=33996 CPUtime=282.19
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 8095 0 0 0 28157 62 0 0 25 0 1 0 189369907 34811904 7877 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12386109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 8499 7877 313 324 0 7568 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 33996

[startup+342.302 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 3427
/proc/meminfo: memFree=1721492/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=33748 CPUtime=342.18
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 8095 0 0 0 34141 77 0 0 25 0 1 0 189369907 34557952 7821 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 8437 7821 313 324 0 7506 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 33748

[startup+402.302 s]
/proc/loadavg: 1.09 1.04 1.01 2/65 3427
/proc/meminfo: memFree=1720084/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=35388 CPUtime=402.16
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 8503 0 0 0 40131 85 0 0 25 0 1 0 189369907 36237312 8228 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 8847 8228 313 324 0 7916 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 35388

[startup+462.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 3427
/proc/meminfo: memFree=1720148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=35360 CPUtime=462.14
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 8503 0 0 0 46118 96 0 0 25 0 1 0 189369907 36208640 8224 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 8840 8224 313 324 0 7909 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 35360

[startup+522.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 3427
/proc/meminfo: memFree=1720148/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=35360 CPUtime=522.12
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 8503 0 0 0 52107 105 0 0 25 0 1 0 189369907 36208640 8224 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572807 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 8840 8224 313 324 0 7909 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 35360

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3427
/proc/meminfo: memFree=1713684/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=41844 CPUtime=582.1
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 10122 0 0 0 58090 120 0 0 25 0 1 0 189369907 42848256 9843 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 12382360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 10461 9843 313 324 0 9530 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 41844

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3427
/proc/meminfo: memFree=1710548/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=44936 CPUtime=642.09
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 10895 0 0 0 64081 128 0 0 25 0 1 0 189369907 46014464 10616 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 11234 10616 313 324 0 10303 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 44936


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

/proc/meminfo: memFree=1702100/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53404 CPUtime=1121.93
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13017 0 0 0 111983 210 0 0 25 0 1 0 189369907 54685696 12735 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13351 12735 313 324 0 12420 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 53404

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3427
/proc/meminfo: memFree=1702100/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53404 CPUtime=1181.91
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13017 0 0 0 117972 219 0 0 25 0 1 0 189369907 54685696 12735 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13351 12735 313 324 0 12420 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 53404

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3427
/proc/meminfo: memFree=1702036/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53404 CPUtime=1241.9
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13017 0 0 0 123961 229 0 0 25 0 1 0 189369907 54685696 12735 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13351 12735 313 324 0 12420 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 53404

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3427
/proc/meminfo: memFree=1701972/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53404 CPUtime=1301.88
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13017 0 0 0 129951 237 0 0 25 0 1 0 189369907 54685696 12735 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13351 12735 313 324 0 12420 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 53404

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3427
/proc/meminfo: memFree=1702036/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53404 CPUtime=1361.86
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13017 0 0 0 135937 249 0 0 25 0 1 0 189369907 54685696 12735 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13351 12735 313 324 0 12420 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 53404

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3427
/proc/meminfo: memFree=1702036/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1421.85
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 141929 256 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 53416

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 3565
/proc/meminfo: memFree=1700708/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1481.76
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 147911 265 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 53416

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701780/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1541.71
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 153899 272 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 53416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701844/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1601.69
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 159889 280 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 53416

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1702036/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1661.67
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 165874 293 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 53416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701972/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1721.65
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 171860 305 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 53416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1781.64
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 177848 316 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 53416

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1791.24
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 178808 316 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 53416

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1794.43
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 179127 316 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 53416

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1797.63
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 179446 317 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 53416

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1799.22
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 179605 317 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (KiB) 53416

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1799.62
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 179645 317 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 53416

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1799.83
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 179665 318 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 53416

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3625
/proc/meminfo: memFree=1701908/2055920 swapFree=4182908/4192956
[pid=3424] ppid=3422 vsize=53416 CPUtime=1799.93
/proc/3424/stat : 3424 (bsolo3.0.16) R 3422 3424 2652 0 -1 4194304 13020 0 0 0 179675 318 0 0 25 0 1 0 189369907 54697984 12738 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3424/statm: 13354 12738 313 324 0 12423 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 53416

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.01
CPU user time (s): 1796.83
CPU system time (s): 3.18851
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 53416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.83
system time used= 3.18851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13021
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 3053

runsolver used 1.17682 second user time and 3.80042 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Sat Apr 21 05:36:45 UTC 2007

IDJOB= 372778
IDBENCH= 24996
IDSOLVER= 163
FILE ID= node69/372778-1177133805

PBS_JOBID= 4648765

Free space on /tmp= 66493 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d6135de924aeb400fc0f7d1c419e5860

RANDOM SEED= 296903033

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1752620 kB
Buffers:         54140 kB
Cached:         185512 kB
SwapCached:       3788 kB
Active:          98500 kB
Inactive:       151124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1752620 kB
SwapTotal:     4192956 kB
SwapFree:      4182908 kB
Dirty:            4904 kB
Writeback:           0 kB
Mapped:          15592 kB
Slab:            39668 kB
Committed_AS:  2189064 kB
PageTables:       1472 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= 66493 MiB

End job on node69 on Sat Apr 21 06:06:46 UTC 2007