Trace number 433723

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.17SAT (TO)16 1800.04 1800.62

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

Verifier Data (download as text)

OK	16

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-433723-1177962614 -o ROOT/results/node24/solver-433723-1177962614 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433723-1177962614/instance-433723-1177962614.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.87 0.94 0.96 3/77 22161
/proc/meminfo: memFree=1855296/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=12212 CPUtime=0
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 244179467 12505088 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 3053 335 279 324 0 2004 0

[startup+0.0779649 s]
/proc/loadavg: 0.87 0.94 0.96 3/77 22161
/proc/meminfo: memFree=1855296/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=6076 CPUtime=0.07
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 864 0 0 0 7 0 0 0 18 0 1 0 244179467 6221824 834 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 1519 835 375 324 0 470 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6076

[startup+0.101966 s]
/proc/loadavg: 0.87 0.94 0.96 3/77 22161
/proc/meminfo: memFree=1855296/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=6940 CPUtime=0.09
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 1231 0 0 0 9 0 0 0 18 0 1 0 244179467 7106560 1082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3040891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 1735 1084 299 324 0 805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6940

[startup+0.301988 s]
/proc/loadavg: 0.87 0.94 0.96 3/77 22161
/proc/meminfo: memFree=1855296/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=7372 CPUtime=0.29
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 1389 0 0 0 27 2 0 0 19 0 1 0 244179467 7548928 1204 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3035288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 1843 1204 311 324 0 913 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7372

[startup+0.701031 s]
/proc/loadavg: 0.87 0.94 0.96 3/77 22161
/proc/meminfo: memFree=1855296/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=7628 CPUtime=0.69
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 1467 0 0 0 67 2 0 0 23 0 1 0 244179467 7811072 1282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 1907 1282 311 324 0 977 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7628

[startup+1.50112 s]
/proc/loadavg: 0.87 0.94 0.96 2/78 22162
/proc/meminfo: memFree=1850808/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=9176 CPUtime=1.48
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 1836 0 0 0 146 2 0 0 25 0 1 0 244179467 9396224 1651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134519592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 2294 1651 311 324 0 1364 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9176

[startup+3.10129 s]
/proc/loadavg: 0.87 0.94 0.96 2/78 22162
/proc/meminfo: memFree=1848696/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=11108 CPUtime=3.09
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 2346 0 0 0 306 3 0 0 25 0 1 0 244179467 11374592 2161 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 2777 2161 311 324 0 1847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11108

[startup+6.30164 s]
/proc/loadavg: 0.88 0.94 0.96 2/78 22162
/proc/meminfo: memFree=1844472/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=15768 CPUtime=6.29
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 3485 0 0 0 625 4 0 0 25 0 1 0 244179467 16146432 3300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 3942 3300 311 324 0 3012 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15768

[startup+12.7023 s]
/proc/loadavg: 0.89 0.94 0.96 2/78 22162
/proc/meminfo: memFree=1842104/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=16668 CPUtime=12.69
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 3728 0 0 0 1264 5 0 0 25 0 1 0 244179467 17068032 3543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3039073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 4167 3543 311 324 0 3237 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16668

[startup+25.5017 s]
/proc/loadavg: 0.92 0.94 0.96 2/78 22162
/proc/meminfo: memFree=1838136/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=20888 CPUtime=25.49
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 4760 0 0 0 2543 6 0 0 25 0 1 0 244179467 21389312 4575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 5222 4575 311 324 0 4292 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20888

[startup+51.1015 s]
/proc/loadavg: 0.94 0.95 0.96 2/78 22162
/proc/meminfo: memFree=1836792/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=21932 CPUtime=51.07
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 5041 0 0 0 5101 6 0 0 25 0 1 0 244179467 22458368 4856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 5483 4856 311 324 0 4553 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21932

[startup+102.305 s]
/proc/loadavg: 0.97 0.95 0.96 2/78 22162
/proc/meminfo: memFree=1836536/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=22164 CPUtime=102.26
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 5099 0 0 0 10219 7 0 0 25 0 1 0 244179467 22695936 4914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 5541 4914 311 324 0 4611 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22164

[startup+162.302 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 22162
/proc/meminfo: memFree=1835256/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=23444 CPUtime=162.24
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 5418 0 0 0 16217 7 0 0 25 0 1 0 244179467 24006656 5233 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 5861 5233 311 324 0 4931 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 23444

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.96 2/78 22162
/proc/meminfo: memFree=1833848/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=24588 CPUtime=222.23
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 6086 0 0 0 22214 9 0 0 25 0 1 0 244179467 25178112 5531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 6147 5531 311 324 0 5217 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 24588

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22162
/proc/meminfo: memFree=1830008/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=28668 CPUtime=282.21
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 7097 0 0 0 28210 11 0 0 25 0 1 0 244179467 29356032 6542 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 7167 6542 311 324 0 6237 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28668

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22162
/proc/meminfo: memFree=1828024/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=30700 CPUtime=342.19
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 7598 0 0 0 34207 12 0 0 25 0 1 0 244179467 31436800 7043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 7675 7043 311 324 0 6745 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 30700

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22162
/proc/meminfo: memFree=1827256/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=31332 CPUtime=402.18
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 7765 0 0 0 40205 13 0 0 25 0 1 0 244179467 32083968 7210 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 7833 7210 311 324 0 6903 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 31332

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22162
/proc/meminfo: memFree=1823672/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=34896 CPUtime=462.16
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 8655 0 0 0 46202 14 0 0 25 0 1 0 244179467 35733504 8100 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 8724 8100 311 324 0 7794 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 34896

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22162
/proc/meminfo: memFree=1823672/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=34892 CPUtime=522.15
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 8655 0 0 0 52200 15 0 0 25 0 1 0 244179467 35729408 8100 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 8723 8100 311 324 0 7793 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 34892

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22162
/proc/meminfo: memFree=1823672/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=34892 CPUtime=582.13
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 8655 0 0 0 58198 15 0 0 25 0 1 0 244179467 35729408 8100 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 8723 8100 311 324 0 7793 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 34892

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22162
/proc/meminfo: memFree=1817976/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=40576 CPUtime=642.12
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 10077 0 0 0 64195 17 0 0 25 0 1 0 244179467 41549824 9522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550863 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 10144 9522 311 324 0 9214 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 40576


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1816696/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=41464 CPUtime=821.96
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 10300 0 0 0 82178 18 0 0 25 0 1 0 244179467 42459136 9745 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 10366 9745 311 324 0 9436 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 41464

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805880/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52236 CPUtime=881.95
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 12998 0 0 0 88173 22 0 0 25 0 1 0 244179467 53489664 12443 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13059 12443 311 324 0 12129 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 52236

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805880/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52232 CPUtime=941.93
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 12998 0 0 0 94171 22 0 0 25 0 1 0 244179467 53485568 12442 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13058 12442 311 324 0 12128 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 52232

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805816/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52244 CPUtime=1001.92
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 100169 23 0 0 25 0 1 0 244179467 53497856 12445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3035216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13061 12445 311 324 0 12131 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 52244

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805816/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1061.9
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 106167 23 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 52124

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805944/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1121.89
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 112165 24 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 52124

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805944/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1181.87
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 118163 24 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 52124

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805944/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1241.86
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 124161 25 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 52124

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805944/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1301.84
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 130159 25 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3038959 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 52124

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805944/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1361.83
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 136157 26 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 52124

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805944/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1421.81
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13001 0 0 0 142155 26 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 52124

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1805944/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1481.79
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13003 0 0 0 148152 27 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 52124

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1806136/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1541.77
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13003 0 0 0 154150 27 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 52124

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1806136/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1601.76
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13003 0 0 0 160148 28 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 52124

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1806072/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1661.75
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13003 0 0 0 166147 28 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 52124

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1806072/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1721.72
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13003 0 0 0 172144 28 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 52124

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1806072/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52124 CPUtime=1781.72
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13003 0 0 0 178143 29 0 0 25 0 1 0 244179467 53374976 12415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13031 12415 311 324 0 12101 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 52124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 22360
/proc/meminfo: memFree=1806072/2055920 swapFree=4143580/4192956
[pid=22161] ppid=22159 vsize=52128 CPUtime=1800.02
/proc/22161/stat : 22161 (bsolo3.0.17) R 22159 22161 21549 0 -1 4194304 13004 0 0 0 179973 29 0 0 25 0 1 0 244179467 53379072 12416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22161/statm: 13032 12416 311 324 0 12102 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 52128

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

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

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1799.74
CPU system time (s): 0.302953
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 52260

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

runsolver used 1.3298 second user time and 3.99939 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Mon Apr 30 19:50:14 UTC 2007

IDJOB= 433723
IDBENCH= 25010
IDSOLVER= 199
FILE ID= node24/433723-1177962614

PBS_JOBID= 4727744

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  21fb64899a6dc4867ccfcbb30d44d536

RANDOM SEED= 852110032

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1855704 kB
Buffers:         31620 kB
Cached:          84188 kB
SwapCached:      17132 kB
Active:          55436 kB
Inactive:        83716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855704 kB
SwapTotal:     4192956 kB
SwapFree:      4143580 kB
Dirty:            7144 kB
Writeback:           0 kB
Mapped:          30296 kB
Slab:            46528 kB
Committed_AS:  3883924 kB
PageTables:       1808 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= 66558 MiB

End job on node24 on Mon Apr 30 20:20:17 UTC 2007