Trace number 373331

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)35 1800.09 1800.73

General information on the benchmark

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

Verifier Data (download as text)

OK	35

Conversion Script Data (download as text)

/tmp/evaluation/373331-1177183960/instance-373331-1177183960.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/node6/watcher-373331-1177183960 -o ROOT/results/node6/solver-373331-1177183960 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373331-1177183960/minisat+ /tmp/evaluation/373331-1177183960/instance-373331-1177183960.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/77 24470
/proc/meminfo: memFree=1782584/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=1352 CPUtime=0
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 194433641 1384448 172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 338 172 67 215 0 120 0

[startup+0.0835669 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24470
/proc/meminfo: memFree=1782584/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=2648 CPUtime=0.08
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 485 0 0 0 8 0 0 0 18 0 1 0 194433641 2711552 470 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 662 470 74 215 0 444 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648

[startup+0.102569 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24470
/proc/meminfo: memFree=1782584/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=2648 CPUtime=0.1
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 516 0 0 0 10 0 0 0 18 0 1 0 194433641 2711552 501 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 662 501 74 215 0 444 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648

[startup+0.302591 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24470
/proc/meminfo: memFree=1782584/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=4308 CPUtime=0.29
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 921 0 0 0 29 0 0 0 20 0 1 0 194433641 4411392 906 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 1077 906 75 215 0 859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4308

[startup+0.702638 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 24470
/proc/meminfo: memFree=1782584/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=6640 CPUtime=0.69
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 1571 0 0 0 68 1 0 0 20 0 1 0 194433641 6799360 1520 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 1660 1520 103 215 0 1442 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6640

[startup+1.50173 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24471
/proc/meminfo: memFree=1776880/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=6640 CPUtime=1.49
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 1571 0 0 0 148 1 0 0 25 0 1 0 194433641 6799360 1520 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 1660 1520 103 215 0 1442 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6640

[startup+3.10192 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 24471
/proc/meminfo: memFree=1776688/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=6808 CPUtime=3.09
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 1592 0 0 0 308 1 0 0 25 0 1 0 194433641 6971392 1541 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 1702 1541 103 215 0 1484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6808

[startup+6.3013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24471
/proc/meminfo: memFree=1776176/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=7168 CPUtime=6.29
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 1678 0 0 0 628 1 0 0 25 0 1 0 194433641 7340032 1627 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135005844 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 1792 1627 103 215 0 1574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7168

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 24471
/proc/meminfo: memFree=1760560/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=24644 CPUtime=12.69
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 6466 0 0 0 1265 4 0 0 25 0 1 0 194433641 25235456 5696 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 6161 5696 123 215 0 5943 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24644

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 24471
/proc/meminfo: memFree=1751728/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=32988 CPUtime=25.48
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 8551 0 0 0 2542 6 0 0 25 0 1 0 194433641 33779712 7781 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 8247 7781 123 215 0 8029 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32988

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 24471
/proc/meminfo: memFree=1743856/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=41072 CPUtime=51.08
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 10526 0 0 0 5100 8 0 0 25 0 1 0 194433641 42057728 9756 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 10268 9756 123 215 0 10050 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41072

[startup+102.306 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1740976/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=43856 CPUtime=102.27
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 11179 0 0 0 10218 9 0 0 25 0 1 0 194433641 44908544 10409 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 10964 10409 123 215 0 10746 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43856

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1738800/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=46092 CPUtime=162.24
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 11704 0 0 0 16215 9 0 0 25 0 1 0 194433641 47198208 10934 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 11523 10934 123 215 0 11305 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 46092

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1737840/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=47360 CPUtime=222.23
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 11952 0 0 0 22213 10 0 0 25 0 1 0 194433641 48496640 11182 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 11840 11182 123 215 0 11622 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 47360

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1737200/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=48060 CPUtime=282.2
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 12112 0 0 0 28210 10 0 0 25 0 1 0 194433641 49213440 11342 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 12015 11342 123 215 0 11797 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 48060

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1736816/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=48468 CPUtime=342.19
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 12219 0 0 0 34208 11 0 0 25 0 1 0 194433641 49631232 11449 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 12117 11449 123 215 0 11899 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 48468

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1725424/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=59976 CPUtime=402.17
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 15048 0 0 0 40204 13 0 0 25 0 1 0 194433641 61415424 14278 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580913 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 14994 14278 123 215 0 14776 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 59976

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1724912/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=60420 CPUtime=462.15
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 15171 0 0 0 46201 14 0 0 25 0 1 0 194433641 61870080 14401 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 15105 14401 123 215 0 14887 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 60420

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1719920/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=65544 CPUtime=522.13
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 16450 0 0 0 52198 15 0 0 25 0 1 0 194433641 67117056 15680 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 16386 15680 123 215 0 16168 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 65544

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1719216/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=66272 CPUtime=582.12
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 16595 0 0 0 58196 16 0 0 25 0 1 0 194433641 67862528 15825 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 16568 15825 123 215 0 16350 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 66272

[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1718640/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=66836 CPUtime=642.11
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 16754 0 0 0 64194 17 0 0 25 0 1 0 194433641 68440064 15976 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 16709 15976 123 215 0 16491 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 66836


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1717936/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=67764 CPUtime=882.03
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 16920 0 0 0 88185 18 0 0 25 0 1 0 194433641 69390336 16142 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 16941 16142 123 215 0 16723 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 67764

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1716656/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=69076 CPUtime=942.01
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 17251 0 0 0 94182 19 0 0 25 0 1 0 194433641 70733824 16473 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 17269 16473 123 215 0 17051 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 69076

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1716208/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=69416 CPUtime=1002
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 17353 0 0 0 100180 20 0 0 25 0 1 0 194433641 71081984 16575 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 17354 16575 123 215 0 17136 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 69416

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1715248/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=70536 CPUtime=1061.97
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 17622 0 0 0 106177 20 0 0 25 0 1 0 194433641 72228864 16844 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 17634 16844 123 215 0 17416 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 70536

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1713648/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=72168 CPUtime=1121.96
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 17992 0 0 0 112174 22 0 0 25 0 1 0 194433641 73900032 17214 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18042 17214 123 215 0 17824 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 72168

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1713328/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=72488 CPUtime=1181.94
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18067 0 0 0 118172 22 0 0 25 0 1 0 194433641 74227712 17289 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18122 17289 123 215 0 17904 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 72488

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1712816/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=73104 CPUtime=1241.92
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18213 0 0 0 124169 23 0 0 25 0 1 0 194433641 74858496 17435 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18276 17435 123 215 0 18058 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 73104

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 24471
/proc/meminfo: memFree=1712368/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=73532 CPUtime=1301.91
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18304 0 0 0 130168 23 0 0 25 0 1 0 194433641 75296768 17526 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18383 17526 123 215 0 18165 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 73532

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1711984/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=73860 CPUtime=1361.89
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18410 0 0 0 136165 24 0 0 25 0 1 0 194433641 75632640 17632 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18465 17632 123 215 0 18247 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 73860

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1710896/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=75024 CPUtime=1421.88
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18680 0 0 0 142163 25 0 0 25 0 1 0 194433641 76824576 17902 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580349 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18756 17902 123 215 0 18538 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 75024

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1710832/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=75024 CPUtime=1481.85
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18697 0 0 0 148160 25 0 0 25 0 1 0 194433641 76824576 17919 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18756 17919 123 215 0 18538 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 75024

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1710768/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=75180 CPUtime=1541.83
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18716 0 0 0 154158 25 0 0 25 0 1 0 194433641 76984320 17938 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18795 17938 123 215 0 18577 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 75180

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1710128/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=75824 CPUtime=1601.82
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18872 0 0 0 160156 26 0 0 25 0 1 0 194433641 77643776 18094 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 18956 18094 123 215 0 18738 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 75824

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24471
/proc/meminfo: memFree=1710064/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=76172 CPUtime=1661.8
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18881 0 0 0 166154 26 0 0 25 0 1 0 194433641 78000128 18103 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 19043 18103 123 215 0 18825 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 76172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 24587
/proc/meminfo: memFree=1708544/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=76416 CPUtime=1721.72
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18941 0 0 0 172145 27 0 0 25 0 1 0 194433641 78249984 18163 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 19104 18163 123 215 0 18886 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 76416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24669
/proc/meminfo: memFree=1709424/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=76580 CPUtime=1781.66
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18986 0 0 0 178138 28 0 0 25 0 1 0 194433641 78417920 18208 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581036 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 19145 18208 123 215 0 18927 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 76580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 24669
/proc/meminfo: memFree=1709424/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=76580 CPUtime=1800.06
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18991 0 0 0 179978 28 0 0 25 0 1 0 194433641 78417920 18213 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 19145 18213 123 215 0 18927 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 76580

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: 1.00 1.00 1.00 2/78 24669
/proc/meminfo: memFree=1709424/2055924 swapFree=4146724/4192956
[pid=24470] ppid=24468 vsize=76580 CPUtime=1800.06
/proc/24470/stat : 24470 (minisat+) R 24468 24470 23687 0 -1 4194304 18991 0 0 0 179978 28 0 0 25 0 1 0 194433641 78417920 18213 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/24470/statm: 19145 18213 123 215 0 18927 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 76580

Child status: 10
Real time (s): 1800.73
CPU time (s): 1800.09
CPU user time (s): 1799.79
CPU system time (s): 0.296954
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 76580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.296954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18994
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= 74
involuntary context switches= 37333

runsolver used 2.18267 second user time and 4.33234 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Apr 21 19:32:40 UTC 2007

IDJOB= 373331
IDBENCH= 25036
IDSOLVER= 156
FILE ID= node6/373331-1177183960

PBS_JOBID= 4649008

Free space on /tmp= 66420 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= /tmp/evaluation/373331-1177183960/minisat+ /tmp/evaluation/373331-1177183960/instance-373331-1177183960.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-373331-1177183960 -o ROOT/results/node6/conversion-373331-1177183960 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373331-1177183960/instance-373331-1177183960.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  fb30dc68ef00299e3d850b79fb8a2728

RANDOM SEED= 259751934

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:      2055924 kB
MemFree:       1783056 kB
Buffers:         38320 kB
Cached:         168920 kB
SwapCached:      13692 kB
Active:         175496 kB
Inactive:        55072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1783056 kB
SwapTotal:     4192956 kB
SwapFree:      4146724 kB
Dirty:            2788 kB
Writeback:           0 kB
Mapped:          30360 kB
Slab:            27892 kB
Committed_AS:  7075960 kB
PageTables:       1788 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= 66420 MiB

End job on node6 on Sat Apr 21 20:02:43 UTC 2007