Trace number 372813

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)36 1800.11 1800.73

General information on the benchmark

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

Verifier Data (download as text)

OK	36

Conversion Script Data (download as text)

/tmp/evaluation/372813-1177136832/instance-372813-1177136832.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/node59/watcher-372813-1177136832 -o ROOT/results/node59/solver-372813-1177136832 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372813-1177136832/minisat+ /tmp/evaluation/372813-1177136832/instance-372813-1177136832.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10747
/proc/meminfo: memFree=1748080/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=1352 CPUtime=0
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 161592804 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 338 172 67 215 0 120 0

[startup+0.078444 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10747
/proc/meminfo: memFree=1748080/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=2260 CPUtime=0.07
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 422 0 0 0 7 0 0 0 18 0 1 0 161592804 2314240 407 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 565 407 74 215 0 347 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2260

[startup+0.101447 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10747
/proc/meminfo: memFree=1748080/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=2548 CPUtime=0.09
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 484 0 0 0 9 0 0 0 18 0 1 0 161592804 2609152 469 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 637 469 74 215 0 419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2548

[startup+0.301485 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10747
/proc/meminfo: memFree=1748080/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=4236 CPUtime=0.29
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 891 0 0 0 29 0 0 0 19 0 1 0 161592804 4337664 876 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 1059 876 74 215 0 841 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4236

[startup+0.701562 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 10747
/proc/meminfo: memFree=1748080/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=7124 CPUtime=0.69
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 1645 0 0 0 67 2 0 0 18 0 1 0 161592804 7294976 1630 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134530444 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 1781 1630 104 215 0 1563 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7124

[startup+1.50171 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1741928/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=7124 CPUtime=1.49
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 1649 0 0 0 147 2 0 0 25 0 1 0 161592804 7294976 1634 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 1781 1634 104 215 0 1563 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7124

[startup+3.10202 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1741672/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=7476 CPUtime=3.09
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 1739 0 0 0 307 2 0 0 25 0 1 0 161592804 7655424 1724 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005778 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 1869 1724 104 215 0 1651 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7476

[startup+6.30163 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1735144/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=15936 CPUtime=6.29
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 3997 0 0 0 626 3 0 0 25 0 1 0 161592804 16318464 3660 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 3984 3660 123 215 0 3766 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15936

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1724200/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=26308 CPUtime=12.69
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 6584 0 0 0 1264 5 0 0 25 0 1 0 161592804 26939392 6247 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 6577 6247 123 215 0 6359 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26308

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1712680/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=37124 CPUtime=25.48
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 9294 0 0 0 2542 6 0 0 25 0 1 0 161592804 38014976 8957 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 9281 8957 123 215 0 9063 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37124

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1702696/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=46888 CPUtime=51.07
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 11716 0 0 0 5098 9 0 0 25 0 1 0 161592804 48013312 11379 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 11722 11379 123 215 0 11504 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46888

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1695656/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=53948 CPUtime=102.26
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 13481 0 0 0 10214 12 0 0 25 0 1 0 161592804 55242752 13144 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 13487 13144 123 215 0 13269 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 53948

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1684456/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=65216 CPUtime=162.23
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 16268 0 0 0 16209 14 0 0 25 0 1 0 161592804 66781184 15931 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 16304 15931 123 215 0 16086 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 65216

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1675496/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=74068 CPUtime=222.21
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 18511 0 0 0 22204 17 0 0 25 0 1 0 161592804 75845632 18174 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 18517 18174 123 215 0 18299 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 74068

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1674536/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=74992 CPUtime=282.19
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 18726 0 0 0 28201 18 0 0 25 0 1 0 161592804 76791808 18389 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 18748 18389 123 215 0 18530 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 74992

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1671720/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=77760 CPUtime=342.17
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 19417 0 0 0 34198 19 0 0 25 0 1 0 161592804 79626240 19080 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 19440 19080 123 215 0 19222 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 77760

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1671720/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=77760 CPUtime=402.15
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 19424 0 0 0 40196 19 0 0 25 0 1 0 161592804 79626240 19087 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 19440 19087 123 215 0 19222 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 77760

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1671720/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=77760 CPUtime=462.13
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 19424 0 0 0 46194 19 0 0 25 0 1 0 161592804 79626240 19087 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 19440 19087 123 215 0 19222 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 77760

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1671656/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=77760 CPUtime=522.11
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 19424 0 0 0 52192 19 0 0 25 0 1 0 161592804 79626240 19087 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 19440 19087 123 215 0 19222 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 77760

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1671720/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=77760 CPUtime=582.09
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 19424 0 0 0 58190 19 0 0 25 0 1 0 161592804 79626240 19087 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 19440 19087 123 215 0 19222 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 77760

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10748
/proc/meminfo: memFree=1668136/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=81628 CPUtime=642.08
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 20319 0 0 0 64187 21 0 0 25 0 1 0 161592804 83587072 19982 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 20407 19982 123 215 0 20189 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 81628


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1667112/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=82832 CPUtime=881.98
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 20559 0 0 0 88177 21 0 0 25 0 1 0 161592804 84819968 20222 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 20708 20222 123 215 0 20490 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 82832

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1666728/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=83160 CPUtime=941.96
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 20662 0 0 0 94175 21 0 0 25 0 1 0 161592804 85155840 20325 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 20790 20325 123 215 0 20572 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 83160

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1666408/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=83552 CPUtime=1001.94
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 20720 0 0 0 100173 21 0 0 25 0 1 0 161592804 85557248 20383 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580878 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 20888 20383 123 215 0 20670 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 83552

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1657576/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=92568 CPUtime=1061.93
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 22980 0 0 0 106169 24 0 0 25 0 1 0 161592804 94789632 22643 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 23142 22643 123 215 0 22924 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 92568

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653672/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96148 CPUtime=1121.9
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23893 0 0 0 112166 24 0 0 25 0 1 0 161592804 98455552 23556 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24037 23556 123 215 0 23819 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 96148

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653544/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96312 CPUtime=1181.88
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23929 0 0 0 118164 24 0 0 25 0 1 0 161592804 98623488 23592 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584733 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24078 23592 123 215 0 23860 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 96312

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653544/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96312 CPUtime=1241.86
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23929 0 0 0 124162 24 0 0 25 0 1 0 161592804 98623488 23592 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24078 23592 123 215 0 23860 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 96312

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653480/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96312 CPUtime=1301.85
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23931 0 0 0 130160 25 0 0 25 0 1 0 161592804 98623488 23594 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24078 23594 123 215 0 23860 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 96312

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653352/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96476 CPUtime=1361.83
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23959 0 0 0 136158 25 0 0 25 0 1 0 161592804 98791424 23622 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24119 23622 123 215 0 23901 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 96476

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653352/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96476 CPUtime=1421.81
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23960 0 0 0 142156 25 0 0 25 0 1 0 161592804 98791424 23623 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24119 23623 123 215 0 23901 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 96476

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653352/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96476 CPUtime=1481.78
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23960 0 0 0 148153 25 0 0 25 0 1 0 161592804 98791424 23623 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24119 23623 123 215 0 23901 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 96476

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653288/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96476 CPUtime=1541.76
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23961 0 0 0 154151 25 0 0 25 0 1 0 161592804 98791424 23624 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24119 23624 123 215 0 23901 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 96476

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653352/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96476 CPUtime=1601.74
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 23961 0 0 0 160149 25 0 0 25 0 1 0 161592804 98791424 23624 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24119 23624 123 215 0 23901 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 96476

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1653160/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=96720 CPUtime=1661.72
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 24011 0 0 0 166147 25 0 0 25 0 1 0 161592804 99041280 23674 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24180 23674 123 215 0 23962 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 96720

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1650920/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=99060 CPUtime=1721.7
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 24612 0 0 0 172144 26 0 0 25 0 1 0 161592804 101437440 24275 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24765 24275 123 215 0 24547 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 99060

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1650216/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=99576 CPUtime=1781.67
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 24734 0 0 0 178141 26 0 0 25 0 1 0 161592804 101965824 24397 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24894 24397 123 215 0 24676 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 99576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1649960/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=99900 CPUtime=1800.08
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 24793 0 0 0 179982 26 0 0 25 0 1 0 161592804 102297600 24456 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24975 24456 123 215 0 24757 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 99900

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 10750
/proc/meminfo: memFree=1649960/2055920 swapFree=4184568/4192956
[pid=10747] ppid=10745 vsize=99900 CPUtime=1800.08
/proc/10747/stat : 10747 (minisat+) R 10745 10747 9939 0 -1 4194304 24793 0 0 0 179982 26 0 0 25 0 1 0 161592804 102297600 24456 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10747/statm: 24975 24456 123 215 0 24757 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 99900

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.11
CPU user time (s): 1799.82
CPU system time (s): 0.287956
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 99900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.287956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24795
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= 161
involuntary context switches= 2874

runsolver used 1.13083 second user time and 3.83342 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Sat Apr 21 06:27:12 UTC 2007

IDJOB= 372813
IDBENCH= 24999
IDSOLVER= 156
FILE ID= node59/372813-1177136832

PBS_JOBID= 4648795

Free space on /tmp= 66329 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  525408a019e1cf8f47f95fb4bdf20c0f

RANDOM SEED= 629683955

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1748552 kB
Buffers:         23424 kB
Cached:         221856 kB
SwapCached:       2104 kB
Active:          43148 kB
Inactive:       212728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748552 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            2836 kB
Writeback:           0 kB
Mapped:          17376 kB
Slab:            37496 kB
Committed_AS:  2966504 kB
PageTables:       1476 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= 66329 MiB

End job on node59 on Sat Apr 21 06:57:15 UTC 2007