Trace number 372974

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.16SAT16 1800.02 1800.58

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
MD5SUM21fb64899a6dc4867ccfcbb30d44d536
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark206.965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15
Optimality of the best value was proved YES
Number of variables5537
Total number of constraints15855
Number of constraints which are clauses15855
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 2646
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 2646
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 2646
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	16

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-372974-1177152027 -o ROOT/results/node61/solver-372974-1177152027 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372974-1177152027/instance-372974-1177152027.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.92 0.98 0.99 3/64 12004
/proc/meminfo: memFree=1798912/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=12212 CPUtime=0
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 127166356 12505088 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 3053 336 281 324 0 2003 0

[startup+0.0647949 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12004
/proc/meminfo: memFree=1798912/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=5804 CPUtime=0.06
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 797 0 0 0 6 0 0 0 18 0 1 0 127166356 5943296 765 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 1451 765 361 324 0 401 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5804

[startup+0.101798 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12004
/proc/meminfo: memFree=1798912/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=7072 CPUtime=0.09
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 1264 0 0 0 9 0 0 0 18 0 1 0 127166356 7241728 1113 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10819195 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 1768 1114 301 324 0 837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7072

[startup+0.301819 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12004
/proc/meminfo: memFree=1798912/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=7372 CPUtime=0.28
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 1393 0 0 0 27 1 0 0 19 0 1 0 127166356 7548928 1206 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 1843 1206 313 324 0 912 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7372

[startup+0.701856 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 12004
/proc/meminfo: memFree=1798912/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=7628 CPUtime=0.69
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 1471 0 0 0 67 2 0 0 22 0 1 0 127166356 7811072 1284 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 1907 1284 313 324 0 976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7628

[startup+1.50193 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1794360/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=9176 CPUtime=1.49
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 1836 0 0 0 146 3 0 0 25 0 1 0 127166356 9396224 1649 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 2294 1650 313 324 0 1363 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9176

[startup+3.10109 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1792312/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=11108 CPUtime=3.08
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 2349 0 0 0 305 3 0 0 25 0 1 0 127166356 11374592 2162 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 2777 2162 313 324 0 1846 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11108

[startup+6.30139 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1788088/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=15768 CPUtime=6.28
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 3488 0 0 0 622 6 0 0 25 0 1 0 127166356 16146432 3301 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 3942 3301 313 324 0 3011 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15768

[startup+12.703 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1785600/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=16668 CPUtime=12.69
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 3732 0 0 0 1259 10 0 0 25 0 1 0 127166356 17068032 3545 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 4167 3545 313 324 0 3236 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16668

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1781632/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=20760 CPUtime=25.48
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 4754 0 0 0 2535 13 0 0 25 0 1 0 127166356 21258240 4567 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 5190 4567 313 324 0 4259 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20760

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1780352/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=21932 CPUtime=51.08
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 5045 0 0 0 5088 20 0 0 25 0 1 0 127166356 22458368 4858 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 5483 4858 313 324 0 4552 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21932

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1780160/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=22164 CPUtime=102.27
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 5103 0 0 0 10191 36 0 0 25 0 1 0 127166356 22695936 4916 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 5541 4916 313 324 0 4610 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22164

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1778816/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=23444 CPUtime=162.25
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 5422 0 0 0 16175 50 0 0 25 0 1 0 127166356 24006656 5235 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 5861 5235 313 324 0 4930 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23444

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1777536/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=24588 CPUtime=222.24
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 6090 0 0 0 22154 70 0 0 25 0 1 0 127166356 25178112 5533 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 6147 5533 313 324 0 5216 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 24588

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1773632/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=28668 CPUtime=282.22
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 7101 0 0 0 28130 92 0 0 25 0 1 0 127166356 29356032 6544 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10817887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 7167 6544 313 324 0 6236 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 28668

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1772032/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=30324 CPUtime=342.21
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 7516 0 0 0 34118 103 0 0 25 0 1 0 127166356 31051776 6959 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 7581 6959 313 324 0 6650 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 30324

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1770944/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=31332 CPUtime=402.19
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 7769 0 0 0 40105 114 0 0 25 0 1 0 127166356 32083968 7212 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 7833 7212 313 324 0 6902 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 31332

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1767360/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=34896 CPUtime=462.18
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 8659 0 0 0 46095 123 0 0 25 0 1 0 127166356 35733504 8102 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 8724 8102 313 324 0 7793 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 34896

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1767360/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=34892 CPUtime=522.16
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 8659 0 0 0 52086 130 0 0 25 0 1 0 127166356 35729408 8102 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 8723 8102 313 324 0 7792 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 34892

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1767360/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=34892 CPUtime=582.14
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 8659 0 0 0 58078 136 0 0 25 0 1 0 127166356 35729408 8102 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 8723 8102 313 324 0 7792 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 34892

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1761600/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=40576 CPUtime=642.14
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 10081 0 0 0 64065 149 0 0 25 0 1 0 127166356 41549824 9524 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 10144 9524 313 324 0 9213 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 40576


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

/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1062.03
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13005 0 0 0 105973 230 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 52124

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1122.02
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13005 0 0 0 111962 240 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 52124

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12005
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1182
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13005 0 0 0 117953 247 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 52124

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 12077
/proc/meminfo: memFree=1748744/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1241.95
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13005 0 0 0 123939 256 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 52124

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12203
/proc/meminfo: memFree=1749632/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1301.86
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13005 0 0 0 129920 266 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 52124

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 12203
/proc/meminfo: memFree=1749760/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1361.83
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13005 0 0 0 135908 275 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10813509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 52124

[startup+1422.31 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749824/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1421.83
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13005 0 0 0 141899 284 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 52124

[startup+1482.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749824/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1481.81
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 147887 294 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 52124

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749824/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1541.8
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 153879 301 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 52124

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749760/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1601.77
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 159870 307 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 52124

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1661.76
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 165863 313 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 52124

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749888/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1721.75
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 171855 320 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 52124

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749888/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1781.74
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 177848 326 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 52124

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 12203
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1791.34
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 178807 327 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 52124

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52124 CPUtime=1794.54
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 179127 327 0 0 25 0 1 0 127166356 53374976 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13031 12417 313 324 0 12100 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 52124

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52128 CPUtime=1797.73
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13007 0 0 0 179446 327 0 0 25 0 1 0 127166356 53379072 12417 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13032 12417 313 324 0 12101 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 52128

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52128 CPUtime=1799.33
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13008 0 0 0 179606 327 0 0 25 0 1 0 127166356 53379072 12418 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13032 12418 313 324 0 12101 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 52128

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52128 CPUtime=1799.73
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13008 0 0 0 179646 327 0 0 25 0 1 0 127166356 53379072 12418 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 10817887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13032 12418 313 324 0 12101 0
Current children cumulated CPU time (s) 1799.73
Current children cumulated vsize (KiB) 52128

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12203
/proc/meminfo: memFree=1749952/2055920 swapFree=4184100/4192956
[pid=12004] ppid=12002 vsize=52128 CPUtime=1799.93
/proc/12004/stat : 12004 (bsolo3.0.16) R 12002 12004 11268 0 -1 4194304 13008 0 0 0 179666 327 0 0 25 0 1 0 127166356 53379072 12418 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12004/statm: 13032 12418 313 324 0 12101 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 52128

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.02
CPU user time (s): 1796.73
CPU system time (s): 3.2845
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 52260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.73
system time used= 3.2845
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13009
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= 3530

runsolver used 1.3398 second user time and 3.64744 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Sat Apr 21 10:40:27 UTC 2007

IDJOB= 372974
IDBENCH= 25010
IDSOLVER= 163
FILE ID= node61/372974-1177152027

PBS_JOBID= 4648868

Free space on /tmp= 66498 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir06_area_delay.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372974-1177152027/instance-372974-1177152027.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-372974-1177152027 -o ROOT/results/node61/solver-372974-1177152027 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372974-1177152027/instance-372974-1177152027.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  21fb64899a6dc4867ccfcbb30d44d536

RANDOM SEED= 467313121

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1799320 kB
Buffers:         36240 kB
Cached:         170656 kB
SwapCached:       3088 kB
Active:         113608 kB
Inactive:       103300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799320 kB
SwapTotal:     4192956 kB
SwapFree:      4184100 kB
Dirty:            4856 kB
Writeback:           0 kB
Mapped:          15628 kB
Slab:            25804 kB
Committed_AS:   959996 kB
PageTables:       1388 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= 66498 MiB

End job on node61 on Sat Apr 21 11:10:28 UTC 2007