Trace number 459203

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
PBS4_v2 2007-03-23SAT (TO)180 1800.1 1800.62

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	180

Conversion Script Data (download as text)

/tmp/evaluation/459203-1178651323/instance-459203-1178651323.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node71/watcher-459203-1178651323 -o ROOT/results/node71/solver-459203-1178651323 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459203-1178651323/instance-459203-1178651323.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.99 0.99 3/64 13521
/proc/meminfo: memFree=1481960/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=2156 CPUtime=0
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 324 0 0 0 0 0 0 0 18 0 1 0 341121643 2207744 306 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13521/statm: 539 306 84 219 0 316 0

[startup+0.0543151 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 13521
/proc/meminfo: memFree=1481960/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=2424 CPUtime=0.05
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 390 0 0 0 5 0 0 0 18 0 1 0 341121643 2482176 372 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530465 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13521/statm: 606 372 86 219 0 383 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2424

[startup+0.102321 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 13521
/proc/meminfo: memFree=1481960/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=2900 CPUtime=0.09
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 533 0 0 0 9 0 0 0 18 0 1 0 341121643 2969600 515 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530021 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13521/statm: 725 515 86 219 0 502 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2900

[startup+0.302358 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 13521
/proc/meminfo: memFree=1481960/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=4004 CPUtime=0.29
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 919 0 0 0 28 1 0 0 19 0 1 0 341121643 4100096 755 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13521/statm: 1001 755 102 219 0 778 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4004

[startup+0.701402 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 13521
/proc/meminfo: memFree=1481960/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=4940 CPUtime=0.69
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 1049 0 0 0 68 1 0 0 23 0 1 0 341121643 5058560 885 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13521/statm: 1235 885 102 219 0 1012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4940

[startup+1.50151 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1478560/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=5964 CPUtime=1.49
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 1161 0 0 0 148 1 0 0 25 0 1 0 341121643 6107136 997 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13521/statm: 1491 997 102 219 0 1268 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5964

[startup+3.10174 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1477856/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=6244 CPUtime=3.08
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 1407 0 0 0 305 3 0 0 25 0 1 0 341121643 6393856 1243 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 1561 1243 102 219 0 1338 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6244

[startup+6.30197 s]
/proc/loadavg: 0.93 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1475232/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=9372 CPUtime=6.28
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 1989 0 0 0 622 6 0 0 25 0 1 0 341121643 9596928 1825 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 2343 1825 102 219 0 2120 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9372

[startup+12.7018 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1472584/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=10964 CPUtime=12.68
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 2582 0 0 0 1258 10 0 0 25 0 1 0 341121643 11227136 2418 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 2741 2418 102 219 0 2518 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10964

[startup+25.5016 s]
/proc/loadavg: 0.95 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1471240/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=12228 CPUtime=25.48
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 2877 0 0 0 2532 16 0 0 25 0 1 0 341121643 12521472 2713 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 3057 2713 102 219 0 2834 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 12228

[startup+51.1011 s]
/proc/loadavg: 0.97 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1469640/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=16968 CPUtime=51.07
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 3289 0 0 0 5090 17 0 0 25 0 1 0 341121643 17375232 3125 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 4242 3125 102 219 0 4019 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16968

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1465928/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=18328 CPUtime=102.26
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 4208 0 0 0 10206 20 0 0 25 0 1 0 341121643 18767872 4044 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 4582 4044 102 219 0 4359 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18328

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1461448/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=29960 CPUtime=162.24
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 5531 0 0 0 16200 24 0 0 25 0 1 0 341121643 30679040 5174 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 7490 5174 102 219 0 7267 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 29960

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1460936/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=30368 CPUtime=222.23
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 5645 0 0 0 22197 26 0 0 25 0 1 0 341121643 31096832 5288 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 7592 5288 102 219 0 7369 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30368

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1459144/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=32148 CPUtime=282.21
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 6093 0 0 0 28192 29 0 0 25 0 1 0 341121643 32919552 5736 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 8037 5736 102 219 0 7814 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 32148

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 13522
/proc/meminfo: memFree=1458056/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=33208 CPUtime=342.19
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 6369 0 0 0 34189 30 0 0 25 0 1 0 341121643 34004992 6012 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560640 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 8302 6012 102 219 0 8079 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 33208

[startup+402.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/65 13522
/proc/meminfo: memFree=1457160/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=33828 CPUtime=402.17
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 6581 0 0 0 40184 33 0 0 25 0 1 0 341121643 34639872 6224 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 8457 6224 102 219 0 8234 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 33828

[startup+462.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 13522
/proc/meminfo: memFree=1455112/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=35432 CPUtime=462.15
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 7092 0 0 0 46177 38 0 0 25 0 1 0 341121643 36282368 6735 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 8858 6735 102 219 0 8635 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 35432

[startup+522.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 13522
/proc/meminfo: memFree=1454088/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=37924 CPUtime=522.13
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 7743 0 0 0 52170 43 0 0 25 0 1 0 341121643 38834176 7001 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 9481 7001 102 219 0 9258 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 37924

[startup+582.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 13522
/proc/meminfo: memFree=1452552/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=38736 CPUtime=582.12
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 8131 0 0 0 58166 46 0 0 25 0 1 0 341121643 39665664 7389 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 9684 7389 102 219 0 9461 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 38736

[startup+642.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 13522
/proc/meminfo: memFree=1448904/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=39524 CPUtime=642.1
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 9039 0 0 0 64161 49 0 0 25 0 1 0 341121643 40472576 8297 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 9881 8297 102 219 0 9658 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 39524


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 13522
/proc/meminfo: memFree=1447176/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=40896 CPUtime=822.05
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 9468 0 0 0 82148 57 0 0 25 0 1 0 341121643 41877504 8726 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 10224 8726 102 219 0 10001 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 40896

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1446664/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=41316 CPUtime=882.03
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 9593 0 0 0 88143 60 0 0 25 0 1 0 341121643 42307584 8851 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 10329 8851 102 219 0 10106 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 41316

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1446024/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=41744 CPUtime=942.01
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 9752 0 0 0 94134 67 0 0 25 0 1 0 341121643 42745856 9010 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 10436 9010 102 219 0 10213 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 41744

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1445256/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=42428 CPUtime=1002
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 9936 0 0 0 100126 74 0 0 25 0 1 0 341121643 43446272 9194 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 10607 9194 102 219 0 10384 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 42428

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1444744/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=43004 CPUtime=1061.98
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 10077 0 0 0 106122 76 0 0 25 0 1 0 341121643 44036096 9335 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 10751 9335 102 219 0 10528 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 43004

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1444040/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=43596 CPUtime=1121.96
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 10238 0 0 0 112114 82 0 0 25 0 1 0 341121643 44642304 9496 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 10899 9496 102 219 0 10676 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 43596

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1443528/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=44088 CPUtime=1181.95
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 10374 0 0 0 118109 86 0 0 25 0 1 0 341121643 45146112 9632 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 11022 9632 102 219 0 10799 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 44088

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1443080/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=47468 CPUtime=1241.93
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11248 0 0 0 124105 88 0 0 25 0 1 0 341121643 48607232 9737 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 11867 9737 102 219 0 11644 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 47468

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1442504/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=47668 CPUtime=1301.92
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11393 0 0 0 130100 92 0 0 25 0 1 0 341121643 48812032 9882 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 11917 9882 102 219 0 11694 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 47668

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1441992/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=48120 CPUtime=1361.89
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11527 0 0 0 136094 95 0 0 25 0 1 0 341121643 49274880 10016 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12030 10016 102 219 0 11807 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 48120

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1441608/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=48456 CPUtime=1421.88
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11618 0 0 0 142090 98 0 0 25 0 1 0 341121643 49618944 10107 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12114 10107 102 219 0 11891 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 48456

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1441032/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=48776 CPUtime=1481.85
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11761 0 0 0 148084 101 0 0 25 0 1 0 341121643 49946624 10250 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12194 10250 102 219 0 11971 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 48776

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1440520/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=49228 CPUtime=1541.84
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11890 0 0 0 154079 105 0 0 25 0 1 0 341121643 50409472 10379 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12307 10379 102 219 0 12084 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 49228

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1440392/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=49340 CPUtime=1601.82
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11930 0 0 0 160076 106 0 0 25 0 1 0 341121643 50524160 10419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12335 10419 102 219 0 12112 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 49340

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1440072/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=49612 CPUtime=1661.8
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 11998 0 0 0 166072 108 0 0 25 0 1 0 341121643 50802688 10487 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12403 10487 102 219 0 12180 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 49612

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1439560/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=49892 CPUtime=1721.8
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 12131 0 0 0 172068 112 0 0 25 0 1 0 341121643 51089408 10620 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12473 10620 102 219 0 12250 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 49892

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1439176/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=50036 CPUtime=1781.77
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 12222 0 0 0 178064 113 0 0 25 0 1 0 341121643 51236864 10711 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12509 10711 102 219 0 12286 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 50036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13522
/proc/meminfo: memFree=1439176/2055920 swapFree=4184264/4192956
[pid=13521] ppid=13519 vsize=50036 CPUtime=1800.07
/proc/13521/stat : 13521 (PBS4_SAT07v2) R 13519 13521 13454 0 -1 4194304 12232 0 0 0 179894 113 0 0 25 0 1 0 341121643 51236864 10721 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13521/statm: 12509 10721 102 219 0 12286 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 50036

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1798.95
CPU system time (s): 1.14582
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 50036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.14582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12235
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= 9
involuntary context switches= 988

runsolver used 1.40279 second user time and 3.52246 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue May  8 19:08:43 UTC 2007

IDJOB= 459203
IDBENCH= 24974
IDSOLVER= 200
FILE ID= node71/459203-1178651323

PBS_JOBID= 5218408

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_004_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459203-1178651323/instance-459203-1178651323.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-459203-1178651323 -o ROOT/results/node71/conversion-459203-1178651323 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459203-1178651323/instance-459203-1178651323.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-459203-1178651323 -o ROOT/results/node71/solver-459203-1178651323 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459203-1178651323/instance-459203-1178651323.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  45c2f7ac01d7ade9fbe465857931ee2b

RANDOM SEED= 925507425

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.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.234
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.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1482368 kB
Buffers:         37764 kB
Cached:         437540 kB
SwapCached:       2668 kB
Active:         167072 kB
Inactive:       317692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1482368 kB
SwapTotal:     4192956 kB
SwapFree:      4184264 kB
Dirty:            2956 kB
Writeback:           0 kB
Mapped:          15608 kB
Slab:            74812 kB
Committed_AS:  6977628 kB
PageTables:       1448 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= 66562 MiB

End job on node71 on Tue May  8 19:38:46 UTC 2007