Trace number 459265

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)85 1800.03 1800.62

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

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

Verifier Data (download as text)

OK	85

Conversion Script Data (download as text)

/tmp/evaluation/459265-1178652820/instance-459265-1178652820.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/node35/watcher-459265-1178652820 -o ROOT/results/node35/solver-459265-1178652820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459265-1178652820/instance-459265-1178652820.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.85 0.97 0.99 3/77 14939
/proc/meminfo: memFree=1507192/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=0 CPUtime=0
/proc/14939/stat : 14939 (runsolver) R 14937 14939 14872 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 313197458 0 0 18446744073709551615 0 0 0 18446744073709551615 266134416679 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14939/statm: 0 0 0 0 0 0 0

[startup+0.038368 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 14939
/proc/meminfo: memFree=1507192/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=2316 CPUtime=0.03
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 371 0 0 0 3 0 0 0 19 0 1 0 313197458 2371584 353 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 579 353 86 219 0 356 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2316

[startup+0.101375 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 14939
/proc/meminfo: memFree=1507192/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=2604 CPUtime=0.09
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 479 0 0 0 9 0 0 0 19 0 1 0 313197458 2666496 461 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 651 461 86 219 0 428 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2604

[startup+0.301398 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 14939
/proc/meminfo: memFree=1507192/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=3380 CPUtime=0.28
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 708 0 0 0 27 1 0 0 21 0 1 0 313197458 3461120 641 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 845 641 101 219 0 622 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3380

[startup+0.701444 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 14939
/proc/meminfo: memFree=1507192/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=3520 CPUtime=0.69
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 753 0 0 0 63 6 0 0 25 0 1 0 313197458 3604480 686 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 880 686 102 219 0 657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3520

[startup+1.50154 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1504624/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=4192 CPUtime=1.49
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 900 0 0 0 143 6 0 0 25 0 1 0 313197458 4292608 833 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 1048 833 102 219 0 825 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4192

[startup+3.10172 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1503600/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=7264 CPUtime=3.09
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 1208 0 0 0 302 7 0 0 25 0 1 0 313197458 7438336 1141 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134597531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 1816 1141 102 219 0 1593 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7264

[startup+6.3021 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1500976/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=11360 CPUtime=6.28
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 1828 0 0 0 621 7 0 0 25 0 1 0 313197458 11632640 1761 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 2840 1761 102 219 0 2617 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11360

[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1495536/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=20068 CPUtime=12.69
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 3234 0 0 0 1260 9 0 0 25 0 1 0 313197458 20549632 3070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 5017 3070 102 219 0 4794 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20068

[startup+25.5013 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1487472/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=21716 CPUtime=25.48
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 5126 0 0 0 2533 15 0 0 25 0 1 0 313197458 22237184 4962 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 5429 4962 102 219 0 5206 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21716

[startup+51.1013 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1483824/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=25988 CPUtime=51.07
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 6021 0 0 0 5081 26 0 0 25 0 1 0 313197458 26611712 5857 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 6497 5857 102 219 0 6274 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25988

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1481584/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=28440 CPUtime=102.27
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 6582 0 0 0 10197 30 0 0 25 0 1 0 313197458 29122560 6418 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 7110 6418 102 219 0 6887 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28440

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1480304/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=29960 CPUtime=162.24
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 6907 0 0 0 16193 31 0 0 25 0 1 0 313197458 30679040 6743 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 7490 6743 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.97 0.99 2/78 14940
/proc/meminfo: memFree=1479088/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=31840 CPUtime=222.23
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 7405 0 0 0 22190 33 0 0 25 0 1 0 313197458 32604160 7048 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 7960 7048 102 219 0 7737 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 31840

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1477872/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=32992 CPUtime=282.21
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 7701 0 0 0 28187 34 0 0 25 0 1 0 313197458 33783808 7344 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 8248 7344 102 219 0 8025 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 32992

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1477040/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=33956 CPUtime=342.19
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 7916 0 0 0 34184 35 0 0 25 0 1 0 313197458 34770944 7559 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 8489 7559 102 219 0 8266 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 33956

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1476208/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=34708 CPUtime=402.18
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 8116 0 0 0 40181 37 0 0 25 0 1 0 313197458 35540992 7759 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557357 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 8677 7759 102 219 0 8454 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 34708

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1475184/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=35812 CPUtime=462.16
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 8380 0 0 0 46177 39 0 0 25 0 1 0 313197458 36671488 8023 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 8953 8023 102 219 0 8730 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 35812

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14940
/proc/meminfo: memFree=1474672/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=36272 CPUtime=522.15
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 8502 0 0 0 52174 41 0 0 25 0 1 0 313197458 37142528 8145 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 9068 8145 102 219 0 8845 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 36272

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1474352/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=36432 CPUtime=582.13
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 8570 0 0 0 58171 42 0 0 25 0 1 0 313197458 37306368 8213 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 9108 8213 102 219 0 8885 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 36432

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1473904/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=36904 CPUtime=642.12
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 8684 0 0 0 64169 43 0 0 25 0 1 0 313197458 37789696 8327 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 9226 8327 102 219 0 9003 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 36904


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1472624/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=39648 CPUtime=822.07
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9401 0 0 0 82159 48 0 0 25 0 1 0 313197458 40599552 8659 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545113 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 9912 8659 102 219 0 9689 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 39648

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1472304/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=39936 CPUtime=882.05
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9485 0 0 0 88155 50 0 0 25 0 1 0 313197458 40894464 8743 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 9984 8743 102 219 0 9761 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 39936

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1472048/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=39936 CPUtime=942.04
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9535 0 0 0 94152 52 0 0 25 0 1 0 313197458 40894464 8793 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 9984 8793 102 219 0 9761 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 39936

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1471920/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=40068 CPUtime=1002.02
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9581 0 0 0 100148 54 0 0 25 0 1 0 313197458 41029632 8839 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10017 8839 102 219 0 9794 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 40068

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1471536/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=40436 CPUtime=1062
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9676 0 0 0 106145 55 0 0 25 0 1 0 313197458 41406464 8934 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10109 8934 102 219 0 9886 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 40436

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1471216/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=40576 CPUtime=1121.99
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9753 0 0 0 112142 57 0 0 25 0 1 0 313197458 41549824 9011 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10144 9011 102 219 0 9921 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 40576

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1470768/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=41020 CPUtime=1181.97
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9866 0 0 0 118139 58 0 0 25 0 1 0 313197458 42004480 9124 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10255 9124 102 219 0 10032 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 41020

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1470576/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=41116 CPUtime=1241.95
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 9915 0 0 0 124135 60 0 0 25 0 1 0 313197458 42102784 9173 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10279 9173 102 219 0 10056 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 41116

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1470192/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=41420 CPUtime=1301.94
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10008 0 0 0 130132 62 0 0 25 0 1 0 313197458 42414080 9266 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10355 9266 102 219 0 10132 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 41420

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1469936/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=41740 CPUtime=1361.93
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10075 0 0 0 136129 64 0 0 25 0 1 0 313197458 42741760 9333 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10435 9333 102 219 0 10212 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 41740

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1469552/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=41880 CPUtime=1421.91
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10168 0 0 0 142126 65 0 0 25 0 1 0 313197458 42885120 9426 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10470 9426 102 219 0 10247 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 41880

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1469296/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=42156 CPUtime=1481.89
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10222 0 0 0 148123 66 0 0 25 0 1 0 313197458 43167744 9480 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10539 9480 102 219 0 10316 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 42156

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1468912/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=42296 CPUtime=1541.87
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10315 0 0 0 154119 68 0 0 25 0 1 0 313197458 43311104 9573 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10574 9573 102 219 0 10351 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 42296

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 14942
/proc/meminfo: memFree=1468656/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=42624 CPUtime=1601.86
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10388 0 0 0 160116 70 0 0 25 0 1 0 313197458 43646976 9646 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10656 9646 102 219 0 10433 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 42624

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 15064
/proc/meminfo: memFree=1467000/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=42744 CPUtime=1661.78
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10458 0 0 0 166105 73 0 0 25 0 1 0 313197458 43769856 9716 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10686 9716 102 219 0 10463 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 42744

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 15140
/proc/meminfo: memFree=1467952/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=42744 CPUtime=1721.71
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10504 0 0 0 172097 74 0 0 25 0 1 0 313197458 43769856 9762 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557436 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10686 9762 102 219 0 10463 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 42744

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 15140
/proc/meminfo: memFree=1467824/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=42944 CPUtime=1781.7
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10557 0 0 0 178094 76 0 0 25 0 1 0 313197458 43974656 9815 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10736 9815 102 219 0 10513 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 42944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 15140
/proc/meminfo: memFree=1467824/2055920 swapFree=4151392/4192956
[pid=14939] ppid=14937 vsize=42944 CPUtime=1800
/proc/14939/stat : 14939 (PBS4_SAT07v2) R 14937 14939 14872 0 -1 4194304 10560 0 0 0 179924 76 0 0 25 0 1 0 313197458 43974656 9818 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14939/statm: 10736 9818 102 219 0 10513 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 42944

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.03
CPU user time (s): 1799.25
CPU system time (s): 0.774882
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 42944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.774882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10563
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= 8
involuntary context switches= 36679

runsolver used 1.44378 second user time and 3.78242 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Tue May  8 19:33:40 UTC 2007

IDJOB= 459265
IDBENCH= 25036
IDSOLVER= 200
FILE ID= node35/459265-1178652820

PBS_JOBID= 5218423

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/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459265-1178652820/instance-459265-1178652820.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node35/convwatcher-459265-1178652820 -o ROOT/results/node35/conversion-459265-1178652820 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459265-1178652820/instance-459265-1178652820.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  fb30dc68ef00299e3d850b79fb8a2728

RANDOM SEED= 387279420

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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:      2055920 kB
MemFree:       1507600 kB
Buffers:         38596 kB
Cached:         387596 kB
SwapCached:       8872 kB
Active:         246436 kB
Inactive:       203256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1507600 kB
SwapTotal:     4192956 kB
SwapFree:      4151392 kB
Dirty:            2828 kB
Writeback:           0 kB
Mapped:          30664 kB
Slab:            83868 kB
Committed_AS:  7619424 kB
PageTables:       1996 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 node35 on Tue May  8 20:03:43 UTC 2007