Trace number 459696

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)90 1800.11 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark69
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

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

Verifier Data (download as text)

OK	90

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459696-1178658377/instance-459696-1178658377.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node37/watcher-459696-1178658377 -o ROOT/results/node37/solver-459696-1178658377 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459696-1178658377/instance-459696-1178658377.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/78 14768
/proc/meminfo: memFree=1480264/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=2252 CPUtime=0
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 313750185 2306048 333 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 563 333 84 219 0 340 0

[startup+0.092642 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 14768
/proc/meminfo: memFree=1480264/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=3256 CPUtime=0.08
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 651 0 0 0 8 0 0 0 18 0 1 0 313750185 3334144 600 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134805350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 814 600 86 219 0 591 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3256

[startup+0.101644 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 14768
/proc/meminfo: memFree=1480264/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=3256 CPUtime=0.09
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 313750185 3334144 615 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134798148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 814 615 86 219 0 591 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3256

[startup+0.301682 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 14768
/proc/meminfo: memFree=1480264/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=4420 CPUtime=0.29
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 986 0 0 0 28 1 0 0 19 0 1 0 313750185 4526080 870 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545649 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 1105 870 102 219 0 882 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4420

[startup+0.701756 s]
/proc/loadavg: 0.92 0.99 0.99 3/78 14768
/proc/meminfo: memFree=1480264/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=5624 CPUtime=0.69
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 1258 0 0 0 67 2 0 0 23 0 1 0 313750185 5758976 1142 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545278 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 1406 1142 102 219 0 1183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5624

[startup+1.50191 s]
/proc/loadavg: 0.92 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1475968/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=6456 CPUtime=1.49
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 1346 0 0 0 147 2 0 0 25 0 1 0 313750185 6610944 1230 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 1614 1230 102 219 0 1391 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6456

[startup+3.10121 s]
/proc/loadavg: 0.93 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1475392/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=6616 CPUtime=3.09
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 1470 0 0 0 307 2 0 0 25 0 1 0 313750185 6774784 1354 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 1654 1354 102 219 0 1431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6616

[startup+6.30181 s]
/proc/loadavg: 0.93 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1474496/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=7832 CPUtime=6.29
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 1671 0 0 0 627 2 0 0 25 0 1 0 313750185 8019968 1506 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 1958 1506 102 219 0 1735 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7832

[startup+12.702 s]
/proc/loadavg: 0.94 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1473152/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=10004 CPUtime=12.69
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 1967 0 0 0 1266 3 0 0 25 0 1 0 313750185 10244096 1802 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 2501 1802 102 219 0 2278 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10004

[startup+25.5014 s]
/proc/loadavg: 0.95 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1471040/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=14100 CPUtime=25.49
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 2492 0 0 0 2545 4 0 0 25 0 1 0 313750185 14438400 2327 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 3525 2327 102 219 0 3302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14100

[startup+51.1013 s]
/proc/loadavg: 0.96 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1465408/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=17464 CPUtime=51.07
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 4013 0 0 0 5100 7 0 0 25 0 1 0 313750185 17883136 3751 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 4366 3751 102 219 0 4143 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17464

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1462912/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=19968 CPUtime=102.26
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 4614 0 0 0 10212 14 0 0 25 0 1 0 313750185 20447232 4352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 4992 4352 102 219 0 4769 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19968

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1461760/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=21664 CPUtime=162.23
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 5080 0 0 0 16202 21 0 0 25 0 1 0 313750185 22183936 4625 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 5416 4625 102 219 0 5193 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21664

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1461056/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=22112 CPUtime=222.22
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 5263 0 0 0 22191 31 0 0 25 0 1 0 313750185 22642688 4808 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 5528 4808 102 219 0 5305 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22112

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1460352/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=22496 CPUtime=282.19
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 5439 0 0 0 28180 39 0 0 25 0 1 0 313750185 23035904 4984 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 5624 4984 102 219 0 5401 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 22496

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 14769
/proc/meminfo: memFree=1459712/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=24460 CPUtime=342.17
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 5975 0 0 0 34170 47 0 0 25 0 1 0 313750185 25047040 5135 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 6115 5135 102 219 0 5892 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 24460

[startup+402.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1459136/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=24636 CPUtime=402.16
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 6107 0 0 0 40159 57 0 0 25 0 1 0 313750185 25227264 5267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 6159 5267 102 219 0 5936 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 24636

[startup+462.302 s]
/proc/loadavg: 1.07 1.01 1.00 2/79 14769
/proc/meminfo: memFree=1458624/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=25016 CPUtime=462.13
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 6239 0 0 0 46149 64 0 0 25 0 1 0 313750185 25616384 5399 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 6254 5399 102 219 0 6031 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 25016

[startup+522.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/79 14769
/proc/meminfo: memFree=1458048/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=25344 CPUtime=522.11
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 6377 0 0 0 52140 71 0 0 25 0 1 0 313750185 25952256 5537 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 6336 5537 102 219 0 6113 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 25344

[startup+582.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/79 14769
/proc/meminfo: memFree=1457600/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=25568 CPUtime=582.09
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 6497 0 0 0 58132 77 0 0 25 0 1 0 313750185 26181632 5657 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 6392 5657 102 219 0 6169 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 25568

[startup+642.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/79 14769
/proc/meminfo: memFree=1457024/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=25848 CPUtime=642.07
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 6630 0 0 0 64125 82 0 0 25 0 1 0 313750185 26468352 5790 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 6462 5790 102 219 0 6239 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 25848


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

[startup+882.302 s]
/proc/loadavg: 1.08 1.08 1.02 2/79 14769
/proc/meminfo: memFree=1455040/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=30256 CPUtime=881.99
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 7899 0 0 0 88092 107 0 0 25 0 1 0 313750185 30982144 6290 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7564 6290 102 219 0 7341 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 30256

[startup+942.301 s]
/proc/loadavg: 1.03 1.07 1.01 2/79 14769
/proc/meminfo: memFree=1454528/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=30256 CPUtime=941.97
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8019 0 0 0 94084 113 0 0 25 0 1 0 313750185 30982144 6410 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7564 6410 102 219 0 7341 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 30256

[startup+1002.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/79 14769
/proc/meminfo: memFree=1454016/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=30728 CPUtime=1001.95
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8169 0 0 0 100075 120 0 0 25 0 1 0 313750185 31465472 6560 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7682 6560 102 219 0 7459 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 30728

[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/79 14769
/proc/meminfo: memFree=1453568/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=31068 CPUtime=1061.93
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8275 0 0 0 106068 125 0 0 25 0 1 0 313750185 31813632 6666 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7767 6666 102 219 0 7544 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 31068

[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/79 14769
/proc/meminfo: memFree=1453056/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=31132 CPUtime=1121.9
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8392 0 0 0 112057 133 0 0 25 0 1 0 313750185 31879168 6783 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7783 6783 102 219 0 7560 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 31132

[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 14769
/proc/meminfo: memFree=1452608/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=31492 CPUtime=1181.89
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8507 0 0 0 118050 139 0 0 25 0 1 0 313750185 32247808 6898 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7873 6898 102 219 0 7650 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 31492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/79 14769
/proc/meminfo: memFree=1452224/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=31876 CPUtime=1241.87
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8620 0 0 0 124041 146 0 0 25 0 1 0 313750185 32641024 7011 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7969 7011 102 219 0 7746 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 31876

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 14769
/proc/meminfo: memFree=1451776/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=31876 CPUtime=1301.85
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8721 0 0 0 130033 152 0 0 25 0 1 0 313750185 32641024 7112 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 7969 7112 102 219 0 7746 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 31876

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/79 14769
/proc/meminfo: memFree=1451328/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=32368 CPUtime=1361.83
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8831 0 0 0 136025 158 0 0 25 0 1 0 313750185 33144832 7222 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 8092 7222 102 219 0 7869 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 32368

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1450880/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=32368 CPUtime=1421.81
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 8947 0 0 0 142017 164 0 0 25 0 1 0 313750185 33144832 7338 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 8092 7338 102 219 0 7869 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 32368

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1450496/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=32800 CPUtime=1481.78
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 9049 0 0 0 148007 171 0 0 25 0 1 0 313750185 33587200 7440 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 8200 7440 102 219 0 7977 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 32800

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1450048/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=32800 CPUtime=1541.77
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 9162 0 0 0 154000 177 0 0 25 0 1 0 313750185 33587200 7553 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 8200 7553 102 219 0 7977 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 32800

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1449600/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=39404 CPUtime=1601.74
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 10798 0 0 0 159989 185 0 0 25 0 1 0 313750185 40349696 7652 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 9851 7652 102 219 0 9628 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 39404

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1449152/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=39492 CPUtime=1661.72
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 10914 0 0 0 165980 192 0 0 25 0 1 0 313750185 40439808 7768 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 9873 7768 102 219 0 9650 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 39492

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1448704/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=39980 CPUtime=1721.71
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 11017 0 0 0 171971 200 0 0 25 0 1 0 313750185 40939520 7871 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544847 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 9995 7871 102 219 0 9772 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 39980

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1448256/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=39980 CPUtime=1781.69
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 11126 0 0 0 177961 208 0 0 25 0 1 0 313750185 40939520 7980 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 9995 7980 102 219 0 9772 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 39980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1448128/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=39980 CPUtime=1800.09
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 11156 0 0 0 179799 210 0 0 25 0 1 0 313750185 40939520 8010 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 9995 8010 102 219 0 9772 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 39980

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 14769
/proc/meminfo: memFree=1448128/2055920 swapFree=4145672/4192956
[pid=14768] ppid=14766 vsize=39980 CPUtime=1800.09
/proc/14768/stat : 14768 (PBS4_SAT07v2) R 14766 14768 14078 0 -1 4194304 11156 0 0 0 179799 210 0 0 25 0 1 0 313750185 40939520 8010 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14768/statm: 9995 8010 102 219 0 9772 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 39980

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1798
CPU system time (s): 2.10568
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 39980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798
system time used= 2.10568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11159
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= 4300

runsolver used 1.59476 second user time and 4.42633 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Tue May  8 21:06:17 UTC 2007

IDJOB= 459696
IDBENCH= 48157
IDSOLVER= 200
FILE ID= node37/459696-1178658377

PBS_JOBID= 5218424

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459696-1178658377/instance-459696-1178658377.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node37/convwatcher-459696-1178658377 -o ROOT/results/node37/conversion-459696-1178658377 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459696-1178658377/instance-459696-1178658377.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  31a0e10ee8ac2049545ec8eab33f6948

RANDOM SEED= 292889097

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1480672 kB
Buffers:         40468 kB
Cached:         406360 kB
SwapCached:      15300 kB
Active:         115336 kB
Inactive:       354760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1480672 kB
SwapTotal:     4192956 kB
SwapFree:      4145672 kB
Dirty:            2812 kB
Writeback:           0 kB
Mapped:          30292 kB
Slab:            90548 kB
Committed_AS:  6696100 kB
PageTables:       2000 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 node37 on Tue May  8 21:36:20 UTC 2007