Trace number 372463

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
minisat+ 1.14SAT (TO)32 1800.13 1800.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
MD5SUM45c2f7ac01d7ade9fbe465857931ee2b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark175.948
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 27
Optimality of the best value was proved YES
Number of variables5828
Total number of constraints17411
Number of constraints which are clauses17411
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2817
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2817
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2817
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	32

Conversion Script Data (download as text)

/tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node25/watcher-372463-1177098068 -o ROOT/results/node25/solver-372463-1177098068 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372463-1177098068/minisat+ /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9544
/proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=1352 CPUtime=0
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 157723875 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 338 172 67 215 0 120 0

[startup+0.03636 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9544
/proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=1852 CPUtime=0.03
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 317 0 0 0 3 0 0 0 18 0 1 0 157723875 1896448 302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 463 302 74 215 0 245 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1852

[startup+0.10137 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9544
/proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=2636 CPUtime=0.09
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 511 0 0 0 9 0 0 0 18 0 1 0 157723875 2699264 496 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 659 496 74 215 0 441 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2636

[startup+0.301403 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9544
/proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=4364 CPUtime=0.29
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 926 0 0 0 29 0 0 0 19 0 1 0 157723875 4468736 911 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 1091 911 74 215 0 873 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4364

[startup+0.701473 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9544
/proc/meminfo: memFree=1623184/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=7928 CPUtime=0.69
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 1853 0 0 0 67 2 0 0 18 0 1 0 157723875 8118272 1803 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 1982 1803 104 215 0 1764 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7928

[startup+1.50161 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1616328/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=7928 CPUtime=1.49
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 1853 0 0 0 147 2 0 0 25 0 1 0 157723875 8118272 1803 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005785 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 1982 1803 104 215 0 1764 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7928

[startup+3.10188 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1616200/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=7928 CPUtime=3.09
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 1863 0 0 0 307 2 0 0 25 0 1 0 157723875 8118272 1813 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648424 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 1982 1813 104 215 0 1764 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7928

[startup+6.30143 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1609672/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=15508 CPUtime=6.29
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 3989 0 0 0 626 3 0 0 25 0 1 0 157723875 15880192 3606 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134589062 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 3877 3606 123 215 0 3659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15508

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1600848/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=24296 CPUtime=12.69
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 6191 0 0 0 1264 5 0 0 25 0 1 0 157723875 24879104 5808 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 6074 5808 123 215 0 5856 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24296

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1589840/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=34856 CPUtime=25.48
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 8843 0 0 0 2539 9 0 0 25 0 1 0 157723875 35692544 8460 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 8714 8460 123 215 0 8496 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34856

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1576464/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=48248 CPUtime=51.07
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 12186 0 0 0 5095 12 0 0 25 0 1 0 157723875 49405952 11803 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 12062 11803 123 215 0 11844 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48248

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1573712/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=50768 CPUtime=102.26
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 12785 0 0 0 10213 13 0 0 25 0 1 0 157723875 51986432 12402 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 12692 12402 123 215 0 12474 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 50768

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1568400/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=56168 CPUtime=162.23
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 14114 0 0 0 16209 14 0 0 25 0 1 0 157723875 57516032 13731 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 14042 13731 123 215 0 13824 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 56168

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1562384/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=62068 CPUtime=222.21
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 15604 0 0 0 22205 16 0 0 25 0 1 0 157723875 63557632 15221 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 15517 15221 123 215 0 15299 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 62068

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1558736/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=66000 CPUtime=282.2
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 16590 0 0 0 28203 17 0 0 25 0 1 0 157723875 67584000 16207 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 16500 16207 123 215 0 16282 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 66000

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1554832/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=69732 CPUtime=342.18
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 17490 0 0 0 34200 18 0 0 25 0 1 0 157723875 71405568 17107 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 17433 17107 123 215 0 17215 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 69732

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1553808/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=70992 CPUtime=402.15
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 17770 0 0 0 40197 18 0 0 25 0 1 0 157723875 72695808 17387 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 17748 17387 123 215 0 17530 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 70992

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1546576/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=78116 CPUtime=462.14
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19538 0 0 0 46194 20 0 0 25 0 1 0 157723875 79990784 19155 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 19529 19155 123 215 0 19311 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 78116

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1545872/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=79060 CPUtime=522.12
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19715 0 0 0 52192 20 0 0 25 0 1 0 157723875 80957440 19332 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 19765 19332 123 215 0 19547 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 79060

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1545872/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=79060 CPUtime=582.1
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19726 0 0 0 58190 20 0 0 25 0 1 0 157723875 80957440 19343 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 19765 19343 123 215 0 19547 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 79060

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1545680/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=79220 CPUtime=642.08
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 19771 0 0 0 64188 20 0 0 25 0 1 0 157723875 81121280 19388 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 19805 19388 123 215 0 19587 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 79220


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1532368/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=93004 CPUtime=822.01
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23083 0 0 0 82178 23 0 0 25 0 1 0 157723875 95236096 22700 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23251 22700 123 215 0 23033 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 93004

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1531792/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=93708 CPUtime=882
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23234 0 0 0 88176 24 0 0 25 0 1 0 157723875 95956992 22851 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23427 22851 123 215 0 23209 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 93708

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1531408/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=94048 CPUtime=941.98
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23328 0 0 0 94174 24 0 0 25 0 1 0 157723875 96305152 22945 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577059 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23512 22945 123 215 0 23294 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 94048

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1531152/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=94428 CPUtime=1001.96
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23383 0 0 0 100172 24 0 0 25 0 1 0 157723875 96694272 23000 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23607 23000 123 215 0 23389 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 94428

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1531152/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=94428 CPUtime=1061.94
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23392 0 0 0 106170 24 0 0 25 0 1 0 157723875 96694272 23009 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23607 23009 123 215 0 23389 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 94428

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1531152/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=94428 CPUtime=1121.92
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23395 0 0 0 112167 25 0 0 25 0 1 0 157723875 96694272 23012 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23607 23012 123 215 0 23389 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 94428

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9545
/proc/meminfo: memFree=1531024/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=94588 CPUtime=1181.9
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23417 0 0 0 118165 25 0 0 25 0 1 0 157723875 96858112 23034 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23647 23034 123 215 0 23429 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 94588

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 9721
/proc/meminfo: memFree=1529408/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=94752 CPUtime=1241.79
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 23477 0 0 0 124154 25 0 0 25 0 1 0 157723875 97026048 23094 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 23688 23094 123 215 0 23470 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 94752

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1527120/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=98252 CPUtime=1301.76
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24345 0 0 0 130150 26 0 0 25 0 1 0 157723875 100610048 23962 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24563 23962 123 215 0 24345 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 98252

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1526928/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=98432 CPUtime=1361.74
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24377 0 0 0 136148 26 0 0 25 0 1 0 157723875 100794368 23994 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24608 23994 123 215 0 24390 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 98432

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1526928/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=98432 CPUtime=1421.72
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24377 0 0 0 142146 26 0 0 25 0 1 0 157723875 100794368 23994 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24608 23994 123 215 0 24390 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 98432

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1526608/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=98872 CPUtime=1481.7
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24471 0 0 0 148144 26 0 0 25 0 1 0 157723875 101244928 24088 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24718 24088 123 215 0 24500 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 98872

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1526608/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=99012 CPUtime=1541.67
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24486 0 0 0 154141 26 0 0 25 0 1 0 157723875 101388288 24103 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24753 24103 123 215 0 24535 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 99012

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1526416/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=99532 CPUtime=1601.66
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24592 0 0 0 160139 27 0 0 25 0 1 0 157723875 101920768 24209 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24883 24209 123 215 0 24665 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 99532

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1525968/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=99672 CPUtime=1661.64
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24657 0 0 0 166137 27 0 0 25 0 1 0 157723875 102064128 24266 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24918 24266 123 215 0 24700 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 99672

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1525904/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=99836 CPUtime=1721.62
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24686 0 0 0 172135 27 0 0 25 0 1 0 157723875 102232064 24295 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 24959 24295 123 215 0 24741 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 99836

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1525840/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=100048 CPUtime=1781.6
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24715 0 0 0 178133 27 0 0 25 0 1 0 157723875 102449152 24324 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 25012 24324 123 215 0 24794 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 100048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9743
/proc/meminfo: memFree=1525648/2055920 swapFree=4182972/4192956
[pid=9544] ppid=9542 vsize=100208 CPUtime=1800.09
/proc/9544/stat : 9544 (minisat+) R 9542 9544 8804 0 -1 4194304 24761 0 0 0 179982 27 0 0 25 0 1 0 157723875 102612992 24370 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9544/statm: 25052 24370 123 215 0 24834 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 100208

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

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

Child status: 10
Real time (s): 1800.83
CPU time (s): 1800.13
CPU user time (s): 1799.83
CPU system time (s): 0.295955
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 100208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.295955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24763
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= 104
involuntary context switches= 2345

runsolver used 1.27381 second user time and 3.74743 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Fri Apr 20 19:41:08 UTC 2007

IDJOB= 372463
IDBENCH= 24974
IDSOLVER= 156
FILE ID= node25/372463-1177098068

PBS_JOBID= 4640362

Free space on /tmp= 66366 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb
COMMAND LINE= /tmp/evaluation/372463-1177098068/minisat+ /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-372463-1177098068 -o ROOT/results/node25/conversion-372463-1177098068 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-372463-1177098068 -o ROOT/results/node25/solver-372463-1177098068 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372463-1177098068/minisat+ /tmp/evaluation/372463-1177098068/instance-372463-1177098068.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  45c2f7ac01d7ade9fbe465857931ee2b

RANDOM SEED= 678293024

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1623656 kB
Buffers:         75180 kB
Cached:         305336 kB
SwapCached:       3684 kB
Active:         207248 kB
Inactive:       184132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1623656 kB
SwapTotal:     4192956 kB
SwapFree:      4182972 kB
Dirty:            2908 kB
Writeback:           0 kB
Mapped:          15564 kB
Slab:            27024 kB
Committed_AS:  4068172 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66366 MiB

End job on node25 on Fri Apr 20 20:11:11 UTC 2007