Trace number 459670

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)83 1800.07 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark67
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
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 constraint22
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)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

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

Verifier Data (download as text)

OK	83

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459670-1178657868/instance-459670-1178657868.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node61/watcher-459670-1178657868 -o ROOT/results/node61/solver-459670-1178657868 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459670-1178657868/instance-459670-1178657868.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.99 0.98 0.98 3/64 5587
/proc/meminfo: memFree=1398584/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=2256 CPUtime=0
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 277750464 2310144 333 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 564 334 84 219 0 341 0

[startup+0.044138 s]
/proc/loadavg: 0.99 0.98 0.98 3/64 5587
/proc/meminfo: memFree=1398584/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=2652 CPUtime=0.03
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 485 0 0 0 3 0 0 0 18 0 1 0 277750464 2715648 467 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 663 467 86 219 0 440 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2652

[startup+0.101202 s]
/proc/loadavg: 0.99 0.98 0.98 3/64 5587
/proc/meminfo: memFree=1398584/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=3252 CPUtime=0.09
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 277750464 3330048 612 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 813 612 86 219 0 590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3252

[startup+0.301162 s]
/proc/loadavg: 0.99 0.98 0.98 3/64 5587
/proc/meminfo: memFree=1398584/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=4428 CPUtime=0.29
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 985 0 0 0 28 1 0 0 19 0 1 0 277750464 4534272 869 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 1107 869 102 219 0 884 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4428

[startup+0.701199 s]
/proc/loadavg: 0.99 0.98 0.98 3/64 5587
/proc/meminfo: memFree=1398584/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=5148 CPUtime=0.69
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 1155 0 0 0 68 1 0 0 22 0 1 0 277750464 5271552 1039 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 1287 1039 102 219 0 1064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5148

[startup+1.50127 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1394672/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=5660 CPUtime=1.49
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 1220 0 0 0 148 1 0 0 25 0 1 0 277750464 5795840 1104 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 1415 1104 102 219 0 1192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5660

[startup+3.10143 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1394224/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=6828 CPUtime=3.09
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 1359 0 0 0 308 1 0 0 25 0 1 0 277750464 6991872 1243 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 1707 1243 102 219 0 1484 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6828

[startup+6.30173 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1392880/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=9068 CPUtime=6.29
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 1667 0 0 0 628 1 0 0 25 0 1 0 277750464 9285632 1502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 2267 1502 102 219 0 2044 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9068

[startup+12.7023 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1390904/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=9068 CPUtime=12.69
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 2156 0 0 0 1267 2 0 0 25 0 1 0 277750464 9285632 1991 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 2267 1991 102 219 0 2044 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9068

[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1387320/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=13260 CPUtime=25.48
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 3031 0 0 0 2544 4 0 0 25 0 1 0 277750464 13578240 2866 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134548500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 3315 2866 102 219 0 3092 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13260

[startup+51.102 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1380920/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=25368 CPUtime=51.08
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 4718 0 0 0 5096 12 0 0 25 0 1 0 277750464 25976832 4456 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560682 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 6342 4456 102 219 0 6119 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25368

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1378360/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=27940 CPUtime=102.27
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 5356 0 0 0 10209 18 0 0 25 0 1 0 277750464 28610560 5094 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 6985 5094 102 219 0 6762 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27940

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/65 5588
/proc/meminfo: memFree=1377208/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=29696 CPUtime=162.26
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 5836 0 0 0 16202 24 0 0 25 0 1 0 277750464 30408704 5381 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 7424 5381 102 219 0 7201 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29696

[startup+222.301 s]
/proc/loadavg: 1.03 1.00 0.98 2/71 5726
/proc/meminfo: memFree=1375240/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=30096 CPUtime=222.16
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 5980 0 0 0 22187 29 0 0 25 0 1 0 277750464 30818304 5525 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 7524 5525 102 219 0 7301 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 30096

[startup+282.301 s]
/proc/loadavg: 1.01 1.00 0.98 2/65 5786
/proc/meminfo: memFree=1375928/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=30224 CPUtime=282.12
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 6084 0 0 0 28177 35 0 0 25 0 1 0 277750464 30949376 5629 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 7556 5629 102 219 0 7333 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 30224

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 5786
/proc/meminfo: memFree=1375160/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=32176 CPUtime=342.11
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 6617 0 0 0 34169 42 0 0 25 0 1 0 277750464 32948224 5777 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 8044 5777 102 219 0 7821 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 32176

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 5786
/proc/meminfo: memFree=1374776/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=32532 CPUtime=402.1
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 6758 0 0 0 40162 48 0 0 25 0 1 0 277750464 33312768 5918 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 8133 5918 102 219 0 7910 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 32532

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 5786
/proc/meminfo: memFree=1374136/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=33040 CPUtime=462.07
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 6910 0 0 0 46153 54 0 0 25 0 1 0 277750464 33832960 6070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 8260 6070 102 219 0 8037 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 33040

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 5786
/proc/meminfo: memFree=1373752/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=33228 CPUtime=522.06
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 7008 0 0 0 52146 60 0 0 25 0 1 0 277750464 34025472 6168 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 8307 6168 102 219 0 8084 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 33228

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 5786
/proc/meminfo: memFree=1373432/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=33428 CPUtime=582.05
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 7117 0 0 0 58139 66 0 0 25 0 1 0 277750464 34230272 6277 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 8357 6277 102 219 0 8134 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 33428

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 5786
/proc/meminfo: memFree=1373048/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=33640 CPUtime=642.03
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 7216 0 0 0 64132 71 0 0 25 0 1 0 277750464 34447360 6376 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 8410 6376 102 219 0 8187 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 33640


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

[startup+822.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/65 5786
/proc/meminfo: memFree=1371320/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=37920 CPUtime=821.99
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 8391 0 0 0 82109 90 0 0 25 0 1 0 277750464 38830080 6782 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9480 6782 102 219 0 9257 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 37920

[startup+882.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 5786
/proc/meminfo: memFree=1371000/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=37920 CPUtime=881.98
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 8491 0 0 0 88102 96 0 0 25 0 1 0 277750464 38830080 6882 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9480 6882 102 219 0 9257 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 37920

[startup+942.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 5786
/proc/meminfo: memFree=1370680/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=38192 CPUtime=941.96
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 8592 0 0 0 94095 101 0 0 25 0 1 0 277750464 39108608 6983 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9548 6983 102 219 0 9325 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 38192

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5786
/proc/meminfo: memFree=1370232/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=38632 CPUtime=1001.94
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 8707 0 0 0 100088 106 0 0 25 0 1 0 277750464 39559168 7098 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9658 7098 102 219 0 9435 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 38632

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 5786
/proc/meminfo: memFree=1369912/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=38632 CPUtime=1061.93
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 8798 0 0 0 106083 110 0 0 25 0 1 0 277750464 39559168 7189 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9658 7189 102 219 0 9435 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 38632

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1369528/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=38940 CPUtime=1121.92
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 8885 0 0 0 112075 117 0 0 25 0 1 0 277750464 39874560 7276 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9735 7276 102 219 0 9512 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 38940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1369144/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=39264 CPUtime=1181.89
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 8996 0 0 0 118069 120 0 0 25 0 1 0 277750464 40206336 7387 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9816 7387 102 219 0 9593 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 39264

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1368760/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=39264 CPUtime=1241.88
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9081 0 0 0 124063 125 0 0 25 0 1 0 277750464 40206336 7472 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9816 7472 102 219 0 9593 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 39264

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1368312/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=39708 CPUtime=1301.87
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9192 0 0 0 130057 130 0 0 25 0 1 0 277750464 40660992 7583 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9927 7583 102 219 0 9704 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 39708

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1367928/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=39708 CPUtime=1361.86
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9293 0 0 0 136048 138 0 0 25 0 1 0 277750464 40660992 7684 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 9927 7684 102 219 0 9704 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 39708

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1367608/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=40076 CPUtime=1421.85
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9377 0 0 0 142041 144 0 0 25 0 1 0 277750464 41037824 7768 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10019 7768 102 219 0 9796 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 40076

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1367224/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=40076 CPUtime=1481.83
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9476 0 0 0 148032 151 0 0 25 0 1 0 277750464 41037824 7867 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10019 7867 102 219 0 9796 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 40076

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1366840/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=40468 CPUtime=1541.8
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9565 0 0 0 154025 155 0 0 25 0 1 0 277750464 41439232 7956 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10117 7956 102 219 0 9894 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 40468

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1366456/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=40468 CPUtime=1601.79
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9656 0 0 0 160018 161 0 0 25 0 1 0 277750464 41439232 8047 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10117 8047 102 219 0 9894 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 40468

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5786
/proc/meminfo: memFree=1366072/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=40884 CPUtime=1661.78
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9751 0 0 0 166011 167 0 0 25 0 1 0 277750464 41865216 8142 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10221 8142 102 219 0 9998 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 40884

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 5786
/proc/meminfo: memFree=1365752/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=40884 CPUtime=1721.76
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9841 0 0 0 172004 172 0 0 25 0 1 0 277750464 41865216 8232 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544967 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10221 8232 102 219 0 9998 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 40884

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1365368/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=41324 CPUtime=1781.75
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9932 0 0 0 177997 178 0 0 25 0 1 0 277750464 42315776 8323 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10331 8323 102 219 0 10108 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 41324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5786
/proc/meminfo: memFree=1365240/2055920 swapFree=4184204/4192956
[pid=5587] ppid=5585 vsize=41324 CPUtime=1800.06
/proc/5587/stat : 5587 (PBS4_SAT07v2) R 5585 5587 5152 0 -1 4194304 9958 0 0 0 179826 180 0 0 25 0 1 0 277750464 42315776 8349 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544920 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5587/statm: 10331 8349 102 219 0 10108 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 41324

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.07
CPU user time (s): 1798.27
CPU system time (s): 1.80672
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 41324

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

runsolver used 1.3218 second user time and 3.65444 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue May  8 20:57:48 UTC 2007

IDJOB= 459670
IDBENCH= 48131
IDSOLVER= 200
FILE ID= node61/459670-1178657868

PBS_JOBID= 5218421

Free space on /tmp= 66560 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_2.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459670-1178657868/instance-459670-1178657868.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node61/convwatcher-459670-1178657868 -o ROOT/results/node61/conversion-459670-1178657868 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459670-1178657868/instance-459670-1178657868.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  f7e9965e006e5669c3252afd9a68998d

RANDOM SEED= 547075966

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1398992 kB
Buffers:         37424 kB
Cached:         506552 kB
SwapCached:       2812 kB
Active:          90868 kB
Inactive:       463520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1398992 kB
SwapTotal:     4192956 kB
SwapFree:      4184204 kB
Dirty:            2724 kB
Writeback:           0 kB
Mapped:          16460 kB
Slab:            88652 kB
Committed_AS:  6208756 kB
PageTables:       1392 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= 66560 MiB

End job on node61 on Tue May  8 21:27:51 UTC 2007