Trace number 459164

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)215 1800.11 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
MD5SUM76cbd1f5f345389511b95f4555e7fed1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark179
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 179
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8415
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8414
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 105
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 232
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 329
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1558
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459164-1178650282/instance-459164-1178650282.opb ......
446.34/446.56	c done parsing opb.
446.34/446.56	o 220
709.25/709.62	o 218
848.00/848.42	o 217
899.78/900.30	o 216
905.68/906.10	o 215
1800.08/1800.80	s SATISFIABLE
1800.08/1800.80	v -x1 x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 x1006 x1007 x1008 x1009 -x101 x1010 x1011 x1012 -x1013 x1014 x1015
1800.08/1800.80	v x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x103 -x1030 -x1031
1800.08/1800.80	v -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.08/1800.80	v -x1048 -x1049 x105 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 x1056 x1057 x1058 x1059 x106 x1060 -x1061 -x1062 -x1063 -x1064
1800.08/1800.80	v -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108 -x1080
1800.08/1800.80	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 x1094 x1095 -x1096 -x1097
1800.08/1800.80	v -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x111 -x1110 -x1111 -x1112
1800.08/1800.80	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1800.08/1800.80	v x113 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 x1136 x1137 x1138 x1139 -x114 x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147
1800.08/1800.80	v x1148 x1149 x115 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x116 x1160 x1161 x1162 x1163 x1164 x1165 x1166
1800.08/1800.80	v x1167 x1168 x1169 x117 x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x118 x1180 -x1181 x1182 x1183 x1184 x1185
1800.08/1800.80	v x1186 x1187 x1188 x1189 -x119 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 -x12 x120 x1200 x1201 x1202 x1203
1800.08/1800.80	v x1204 -x1205 x1206 x1207 x1208 x1209 x121 x1210 -x1211 x1212 x1213 x1214 x1215 x1216 x1217 x1218 x1219 x122 x1220 x1221 x1222
1800.08/1800.80	v -x1223 -x1224 -x1225 x1226 x1227 x1228 x1229 x123 x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x124 x1240
1800.08/1800.80	v x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x125 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1258 x1259 x126
1800.08/1800.80	v x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x127 x1270 -x1271 -x1272 x1273 x1274 x1275 x1276 x1277 x1278
1800.08/1800.80	v x1279 x128 -x1280 x1281 x1282 x1283 x1284 x1285 x1286 x1287 x1288 x1289 x129 x1290 x1291 x1292 x1293 x1294 -x1295 -x1296
1800.08/1800.80	v x1297 x1298 x1299 -x13 x130 x1300 -x1301 x1302 x1303 x1304 x1305 -x1306 x1307 x1308 x1309 x131 -x1310 -x1311 -x1312 -x1313
1800.08/1800.80	v -x1314 -x1315 x1316 x1317 x1318 x1319 x132 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x133 x1330 x1331 x1332
1800.08/1800.80	v x1333 x1334 x1335 x1336 x1337 -x1338 x1339 x134 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 -x1349 x135 -x1350
1800.08/1800.80	v x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 -x1359 x136 -x1360 -x1361 -x1362 x1363 x1364 x1365 x1366 x1367 -x1368 -x1369
1800.08/1800.80	v x137 -x1370 -x1371 x1372 x1373 x1374 x1375 -x1376 -x1377 -x1378 -x1379 x138 x1380 x1381 x1382 -x1383 -x1384 -x1385 -x1386
1800.08/1800.80	v -x1387 -x1388 -x1389 x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 x140 -x1400 -x1401
1800.08/1800.80	v -x1402 -x1403 x1404 x1405 x1406 x1407 x1408 x1409 x141 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x142 x1420
1800.08/1800.80	v x1421 x1422 x1423 -x1424 -x1425 x1426 x1427 x1428 x1429 x143 x1430 x1431 x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438
1800.08/1800.80	v x1439 x144 x1440 x1441 x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.08/1800.80	v -x1456 -x1457 -x1458 -x1459 x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x147 -x1470 -x1471
1800.08/1800.80	v -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1800.08/1800.80	v -x1489 x149 x1490 x1491 x1492 x1493 x1494 x1495 x1496 x1497 -x1498 -x1499 -x15 x150 x1500 x1501 x1502 x1503 x1504 x1505 x1506
1800.08/1800.80	v -x1507 -x1508 -x1509 x151 -x1510 x1511 x1512 x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 x152 -x1520 -x1521 -x1522 -x1523
1800.08/1800.80	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 x154
1800.08/1800.80	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556
1800.08/1800.80	v -x1557 -x1558 -x1559 x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x157 x1570 x1571 x1572
1800.08/1800.80	v x1573 x1574 x1575 x1576 x1577 -x1578 x1579 x158 x1580 x1581 x1582 x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 x159 x1590
1800.08/1800.80	v x1591 x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606
1800.08/1800.80	v -x1607 -x1608 -x1609 x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x162 -x1620 -x1621 -x1622
1800.08/1800.80	v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639
1800.08/1800.80	v x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 x1647 x1648 x1649 x165 x1650 x1651 x1652 x1653 x1654 x1655 x1656 x1657
1800.08/1800.80	v x1658 x1659 x166 -x1660 -x1661 -x1662 -x1663 x1664 x1665 x1666 -x1667 -x1668 -x1669 x167 -x1670 -x1671 -x1672 -x1673 -x1674
1800.08/1800.80	v -x1675 -x1676 -x1677 -x1678 -x1679 x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x169 -x1690
1800.08/1800.80	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1800.08/1800.80	v -x1707 -x1708 -x1709 x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 x1718 x1719 x172 x1720 x1721 -x1722 -x1723
1800.08/1800.80	v x1724 x1725 x1726 x1727 -x1728 -x1729 x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 x174 -x1740
1800.08/1800.80	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757
1800.08/1800.80	v -x1758 -x1759 x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x177 -x1770 -x1771 -x1772 -x1773
1800.08/1800.80	v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x178 x1780 x1781 x1782 x1783 -x1784 x1785 x1786 x1787 x1788 -x1789 x179 -x1790
1800.08/1800.80	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 x180 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
1800.08/1800.80	v -x1807 -x1808 -x1809 x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x182 -x1820 -x1821 -x1822
1800.08/1800.80	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x183 -x1830 -x1831 -x1832 -x1833 x1834 x1835 x1836 x1837 -x1838 x1839
1800.08/1800.80	v x184 x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855
1800.08/1800.80	v -x1856 -x1857 -x1858 -x1859 x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x187 -x1870 -x1871
1800.08/1800.80	v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 x188 x1880 x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888
1800.08/1800.80	v -x1889 x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 x190 -x1900 -x1901 -x1902 -x1903
1800.08/1800.80	v -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x192
1800.08/1800.80	v -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1800.08/1800.80	v -x1937 -x1938 -x1939 x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x195 -x1950 -x1951 -x1952
1800.08/1800.80	v -x1953 x1954 x1955 x1956 x1957 x1958 x1959 x196 x1960 x1961 x1962 x1963 x1964 x1965 x1966 x1967 x1968 x1969 x197 x1970 x1971
1800.08/1800.80	v x1972 x1973 x1974 x1975 x1976 x1977 x1978 x1979 x198 x1980 x1981 x1982 x1983 x1984 x1985 x1986 -x1987 x1988 x1989 x199 x1990
1800.08/1800.80	v x1991 x1992 x1993 x1994 x1995 x1996 x1997 x1998 x1999 x2 -x20 x200 x2000 x2001 x2002 x2003 x2004 x2005 x2006 x2007 x2008 x2009
1800.08/1800.80	v x201 x2010 -x2011 -x2012 x2013 x2014 x2015 x2016 -x2017 x2018 x2019 x202 x2020 x2021 x2022 x2023 x2024 x2025 -x2026 -x2027
1800.08/1800.80	v -x2028 -x2029 x203 -x2030 -x2031 x2032 x2033 x2034 x2035 x2036 x2037 x2038 x2039 x204 x2040 x2041 x2042 -x2043 x2044 x2045
1800.08/1800.80	v x2046 x2047 x2048 x2049 x205 x2050 x2051 x2052 x2053 -x2054 x2055 x2056 x2057 x2058 x2059 x206 x2060 x2061 x2062 x2063 -x2064
1800.08/1800.80	v -x2065 -x2066 x2067 x2068 x2069 x207 x2070 x2071 x2072 -x2073 -x2074 -x2075 x2076 x2077 x2078 x2079 x208 x2080 -x2081 -x2082
1800.08/1800.80	v -x2083 x2084 x2085 x2086 x2087 -x2088 -x2089 x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.08/1800.80	v -x21 x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 x211 x2110 x2111 x2112 x2113 x2114 x2115
1800.08/1800.80	v x2116 x2117 x2118 -x2119 x212 x2120 x2121 x2122 x2123 x2124 x2125 x2126 x2127 x2128 -x2129 x213 -x2130 -x2131 -x2132 x2133
1800.08/1800.80	v x2134 x2135 x2136 x2137 x2138 -x2139 x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x215 -x2150
1800.08/1800.80	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167
1800.08/1800.80	v -x2168 -x2169 x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x218 -x2180 -x2181 -x2182 -x2183
1800.08/1800.80	v -x2184 x2185 x2186 x2187 x2188 x2189 x219 x2190 x2191 x2192 -x2193 -x2194 -x2195 x2196 x2197 x2198 x2199 -x22 x220 x2200
1800.08/1800.80	v x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.08/1800.80	v -x2218 -x2219 x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 x223 -x2230 -x2231 -x2232 -x2233
1800.08/1800.80	v -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x225
1800.08/1800.80	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 x2257 x2258 x2259 x226 x2260 x2261 x2262 x2263 -x2264 -x2265 -x2266 x2267
1800.08/1800.80	v x2268 x2269 x227 x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281 -x2282 -x2283 -x2284
1800.08/1800.80	v -x2285 -x2286 -x2287 -x2288 -x2289 x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 x230
1800.08/1800.80	v -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
1800.08/1800.80	v -x2317 -x2318 -x2319 x232 -x2320 -x2321 -x2322 -x2323 x2324 x2325 x2326 x2327 x2328 x2329 x233 x2330 -x2331 -x2332 -x2333
1800.08/1800.80	v x2334 x2335 x2336 x2337 -x2338 -x2339 x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x235 -x2350
1800.08/1800.80	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367
1800.08/1800.80	v -x2368 -x2369 x237 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 x238 -x2380 -x2381 -x2382 -x2383
1800.08/1800.80	v -x2384 -x2385 -x2386 -x2387 -x2388 x2389 x239 x2390 x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 x240
1800.08/1800.80	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416
1800.08/1800.80	v -x2417 -x2418 -x2419 x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 x243 -x2430 -x2431 -x2432
1800.08/1800.80	v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 x244 -x2440 -x2441 -x2442 -x2443 -x2444 x2445 x2446 x2447 x2448 -x2449
1800.08/1800.80	v x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465
1800.08/1800.80	v -x2466 -x2467 -x2468 -x2469 x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x248 -x2480 -x2481
1800.08/1800.80	v -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x249 -x2490 -x2491 -x2492 -x2493 x2494 x2495 x2496 x2497 -x2498
1800.08/1800.80	v -x2499 -x25 x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x251 -x2510 -x2511 -x2512 -x2513
1800.08/1800.80	v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x253
1800.08/1800.80	v -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x254 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546
1800.08/1800.80	v -x2547 -x2548 -x2549 x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 x256 -x2560 -x2561 -x2562
1800.08/1800.80	v -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.08/1800.80	v x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595
1800.08/1800.80	v -x2596 -x2597 -x2598 -x2599 -x26 x260 -x2600 -x2601 -x2602 -x2603 x2604 x2605 x2606 x2607 x2608 x2609 x261 x2610 x2611 x2612
1800.08/1800.80	v x2613 x2614 x2615 x2616 x2617 x2618 x2619 x262 x2620 x2621 x2622 x2623 x2624 -x2625 -x2626 x2627 x2628 x2629 x263 x2630 x2631
1800.08/1800.80	v x2632 x2633 -x2634 x2635 x2636 x2637 x2638 x2639 x264 x2640 x2641 -x2642 -x2643 x2644 x2645 x2646 x2647 x2648 -x2649 x265
1800.08/1800.80	v -x2650 -x2651 -x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666
1800.08/1800.80	v -x2667 -x2668 -x2669 x267 x2670 x2671 x2672 x2673 x2674 x2675 x2676 x2677 x2678 x2679 x268 -x2680 -x2681 -x2682 x2683 x2684
1800.08/1800.80	v x2685 x2686 x2687 x2688 x2689 x269 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 x2697 x2698 -x2699 -x27 x270 -x2700 -x2701
1800.08/1800.80	v -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718
1800.08/1800.80	v -x2719 x272 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 x273 -x2730 -x2731 -x2732 -x2733 -x2734
1800.08/1800.80	v -x2735 -x2736 x2737 x2738 x2739 x274 x2740 x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x275 x2750 x2751
1800.08/1800.80	v x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768
1800.08/1800.80	v -x2769 x277 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x278 -x2780 -x2781 -x2782 -x2783 -x2784
1800.08/1800.80	v -x2785 -x2786 -x2787 -x2788 -x2789 x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 x28 x280 x2800
1800.08/1800.80	v x2801 x2802 x2803 x2804 x2805 -x2806 -x2807 -x2808 -x2809 x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817
1800.08/1800.80	v -x2818 -x2819 x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x283 -x2830 -x2831 -x2832 -x2833
1800.08/1800.80	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849
1800.08/1800.80	v x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 x286 x2860 x2861 x2862 x2863 x2864 -x2865 -x2866
1800.08/1800.80	v -x2867 -x2868 -x2869 x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 x288 -x2880 -x2881 -x2882
1800.08/1800.80	v -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899
1800.08/1800.80	v -x29 x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 x291 -x2910 -x2911 -x2912 -x2913 -x2914
1800.08/1800.80	v -x2915 -x2916 -x2917 -x2918 x2919 x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x293 -x2930
1800.08/1800.80	v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947
1800.08/1800.80	v -x2948 -x2949 x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 x296 -x2960 -x2961 -x2962 -x2963
1800.08/1800.80	v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x298
1800.08/1800.80	v -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996
1800.08/1800.80	v -x2997 -x2998 -x2999 x3 -x30 x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x301 -x3010 -x3011
1800.08/1800.80	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1800.08/1800.80	v -x3029 x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x304 -x3040 -x3041 -x3042 -x3043 -x3044
1800.08/1800.80	v -x3045 -x3046 -x3047 -x3048 -x3049 x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x306 -x3060
1800.08/1800.80	v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077
1800.08/1800.80	v -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x309 -x3090 -x3091 -x3092 -x3093
1800.08/1800.80	v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109
1800.08/1800.80	v x311 x3110 x3111 x3112 x3113 x3114 x3115 x3116 x3117 x3118 x3119 x312 -x3120 -x3121 x3122 x3123 x3124 x3125 x3126 x3127 x3128
1800.08/1800.80	v -x3129 x313 -x3130 x3131 x3132 x3133 x3134 x3135 x3136 -x3137 -x3138 -x3139 -x314 x3140 x3141 x3142 x3143 -x3144 -x3145
1800.08/1800.80	v -x3146 -x3147 -x3148 -x3149 x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 x316 -x3160 -x3161
1800.08/1800.80	v -x3162 -x3163 -x3164 -x3165 -x3166 x3167 x3168 x3169 x317 x3170 x3171 x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179
1800.08/1800.80	v x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195
1800.08/1800.80	v -x3196 -x3197 -x3198 -x3199 x32 x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x321 -x3210
1800.08/1800.80	v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 x322 -x3220 x3221 x3222 x3223 x3224 x3225 x3226 -x3227 -x3228
1800.08/1800.80	v -x3229 x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 x324 -x3240 -x3241 -x3242 -x3243 -x3244
1800.08/1800.80	v -x3245 -x3246 -x3247 -x3248 -x3249 x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260
1800.08/1800.80	v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 x3274 x3275 x3276 x3277
1800.08/1800.80	v -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x329 -x3290 -x3291 -x3292 -x3293
1800.08/1800.80	v -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x33 x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
1800.08/1800.80	v x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1800.08/1800.80	v -x3326 -x3327 -x3328 -x3329 x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 x334 -x3340 -x3341
1800.08/1800.80	v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358
1800.08/1800.80	v -x3359 x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x337 -x3370 -x3371 -x3372 -x3373 -x3374
1800.08/1800.80	v -x3375 -x3376 -x3377 -x3378 -x3379 x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x339 -x3390
1800.08/1800.80	v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x34 x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406
1800.08/1800.80	v -x3407 -x3408 -x3409 x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x342 -x3420 -x3421 -x3422
1800.08/1800.80	v -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
1800.08/1800.80	v x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455
1800.08/1800.80	v -x3456 -x3457 -x3458 -x3459 x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x347 -x3470 -x3471
1800.08/1800.80	v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488
1800.08/1800.80	v -x3489 x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 x3497 x3498 x3499 x35 x350 x3500 x3501 x3502 x3503 -x3504 -x3505
1800.08/1800.80	v x3506 x3507 x3508 x3509 x351 x3510 x3511 -x3512 -x3513 -x3514 x3515 x3516 x3517 x3518 -x3519 x352 -x3520 -x3521 -x3522 -x3523
1800.08/1800.80	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x353 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 x354
1800.08/1800.80	v -x3540 -x3541 x3542 x3543 x3544 x3545 x3546 x3547 -x3548 -x3549 x355 -x3550 x3551 x3552 x3553 x3554 x3555 -x3556 -x3557
1800.08/1800.80	v -x3558 x3559 x356 x3560 x3561 x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 x357 -x3570 -x3571 -x3572 -x3573 -x3574
1800.08/1800.80	v -x3575 -x3576 -x3577 -x3578 -x3579 x358 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 x3587 x3588 x3589 x359 x3590 -x3591
1800.08/1800.80	v -x3592 -x3593 x3594 x3595 x3596 x3597 -x3598 -x3599 -x36 x360 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608
1800.08/1800.80	v -x3609 x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 x362 -x3620 -x3621 -x3622 -x3623 -x3624
1800.08/1800.80	v -x3625 -x3626 -x3627 -x3628 -x3629 x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 x364 -x3640
1800.08/1800.80	v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657
1800.08/1800.80	v -x3658 -x3659 x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x367 -x3670 -x3671 -x3672 -x3673
1800.08/1800.80	v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 x369
1800.08/1800.80	v -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x37 x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
1800.08/1800.80	v -x3706 -x3707 -x3708 -x3709 x371 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 x372 -x3720 -x3721
1800.08/1800.80	v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738
1800.08/1800.80	v -x3739 x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x375 -x3750 -x3751 -x3752 -x3753 -x3754
1800.08/1800.80	v -x3755 -x3756 -x3757 -x3758 -x3759 x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 x377 -x3770
1800.08/1800.80	v -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x378 x3780 x3781 x3782 x3783 x3784 x3785 x3786 x3787 x3788
1800.08/1800.80	v x3789 x379 x3790 x3791 x3792 x3793 x3794 -x3795 x3796 x3797 x3798 x3799 -x38 x380 x3800 x3801 x3802 x3803 x3804 x3805 x3806
1800.08/1800.80	v x3807 x3808 x3809 x381 x3810 x3811 x3812 -x3813 -x3814 -x3815 x3816 x3817 x3818 x3819 x382 x3820 x3821 x3822 x3823 x3824
1800.08/1800.80	v x3825 x3826 x3827 x3828 x3829 x383 -x3830 -x3831 x3832 x3833 x3834 x3835 -x3836 x3837 x3838 x3839 x384 x3840 -x3841 x3842
1800.08/1800.80	v x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x385 -x3850 -x3851 x3852 x3853 x3854 x3855 x3856 -x3857 -x3858 x3859 -x386
1800.08/1800.80	v x3860 x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
1800.08/1800.80	v -x3877 -x3878 -x3879 x388 -x3880 -x3881 -x3882 -x3883 x3884 x3885 x3886 x3887 x3888 -x3889 x389 x3890 x3891 x3892 x3893
1800.08/1800.80	v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909
1800.08/1800.80	v x391 -x3910 -x3911 -x3912 -x3913 x3914 x3915 x3916 x3917 -x3918 x3919 x392 x3920 x3921 -x3922 -x3923 -x3924 -x3925 -x3926
1800.08/1800.80	v -x3927 -x3928 -x3929 x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 x394 x3940 x3941 x3942
1800.08/1800.80	v -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958
1800.08/1800.80	v -x3959 x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x397 -x3970 -x3971 -x3972 -x3973 -x3974
1800.08/1800.80	v -x3975 -x3976 -x3977 -x3978 -x3979 x398 -x3980 -x3981 -x3982 -x3983 x3984 x3985 x3986 x3987 x3988 x3989 x399 x3990 -x3991
1800.08/1800.80	v -x3992 x3993 x3994 x3995 x3996 -x3997 x3998 x3999 x4 -x40 x400 x4000 x4001 x4002 x4003 x4004 x4005 -x4006 -x4007 -x4008 -x4009
1800.08/1800.80	v x401 -x4010 -x4011 -x4012 -x4013 x4014 x4015 x4016 x4017 -x4018 -x4019 x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026
1800.08/1800.80	v -x4027 -x4028 -x4029 x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x404 x4040 x4041 x4042
1800.08/1800.80	v x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 x405 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059
1800.08/1800.80	v x406 -x4060 -x4061 -x4062 -x4063 x4064 x4065 x4066 x4067 -x4068 -x4069 x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076
1800.08/1800.80	v -x4077 -x4078 -x4079 x408 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 x409 -x4090 -x4091 -x4092
1800.08/1800.80	v -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108
1800.08/1800.80	v -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x412 -x4120 -x4121 -x4122 -x4123 -x4124
1800.08/1800.80	v -x4125 -x4126 x4127 x4128 x4129 x413 -x4130 -x4131 x4132 x4133 x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x414 -x4140 -x4141
1800.08/1800.80	v -x4142 -x4143 -x4144 -x4145 -x4146 x4147 x4148 x4149 x415 -x4150 -x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158
1800.08/1800.80	v -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x417 -x4170 -x4171 -x4172 -x4173 -x4174
1800.08/1800.80	v -x4175 -x4176 -x4177 -x4178 -x4179 x418 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x419 -x4190
1800.08/1800.80	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x42 x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206
1800.08/1800.80	v -x4207 -x4208 -x4209 -x421 -x4210 -x4211 -x4212 -x4213 -x4214 x4215 x4216 x4217 x4218 x4219 x422 x4220 x4221 x4222 x4223
1800.08/1800.80	v x4224 x4225 x4226 -x4227 -x4228 -x4229 x423 x4230 x4231 x4232 x4233 x4234 x4235 x4236 x4237 -x4238 -x4239 x424 x4240 -x4241
1800.08/1800.80	v -x4242 -x4243 x4244 x4245 x4246 -x4247 -x4248 x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258
1800.08/1800.80	v -x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 x4270 x4271 x4272 x4273 x4274
1800.08/1800.80	v x4275 x4276 -x4277 -x4278 -x4279 -x428 x4280 x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x429 -x4290
1800.08/1800.80	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306
1800.08/1800.80	v -x4307 -x4308 -x4309 x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 x432 x4320 x433 x434 x435
1800.08/1800.80	v x436 x437 x438 x439 x44 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 -x45 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459
1800.08/1800.80	v x46 x460 x461 x462 x463 -x464 x465 x466 x467 x468 x469 -x47 x470 x471 x472 x473 x474 -x475 -x476 x477 x478 x479 x48 x480 x481
1800.08/1800.80	v x482 x483 x484 -x485 -x486 -x487 -x488 x489 -x49 x490 x491 x492 x493 -x494 -x495 -x496 -x497 x498 x499 -x5 -x50 x500 x501 -x502
1800.08/1800.80	v -x503 -x504 -x505 x506 x507 x508 -x509 x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522
1800.08/1800.80	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 x53 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x54 x540 x541 x542 x543 x544
1800.08/1800.80	v x545 x546 x547 x548 x549 -x55 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 -x56 -x560 -x561 x562 x563 x564 x565 x566 x567
1800.08/1800.80	v x568 x569 -x57 -x570 -x571 -x572 -x573 -x574 x575 x576 x577 x578 x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.08/1800.80	v -x588 -x589 x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x6 x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606
1800.08/1800.80	v -x607 -x608 -x609 x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x62 -x620 -x621 -x622 -x623 -x624 x625 x626
1800.08/1800.80	v x627 x628 x629 -x63 x630 x631 x632 x633 -x634 x635 x636 x637 x638 x639 -x64 x640 x641 x642 -x643 -x644 x645 x646 x647 x648 x649
1800.08/1800.80	v x65 x650 x651 -x652 -x653 -x654 -x655 x656 x657 x658 x659 x66 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x67
1800.08/1800.80	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
1800.08/1800.80	v x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708
1800.08/1800.80	v -x709 -x71 -x710 -x711 -x712 -x713 -x714 x715 x716 x717 x718 x719 -x72 x720 x721 x722 x723 x724 x725 x726 x727 x728 x729 -x73
1800.08/1800.80	v x730 -x731 x732 x733 x734 x735 x736 x737 x738 -x739 -x74 -x740 -x741 -x742 x743 x744 x745 x746 -x747 -x748 -x749 -x75 -x750
1800.08/1800.80	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77
1800.08/1800.80	v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
1800.08/1800.80	v x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x8 x80 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x81
1800.08/1800.80	v x810 x811 x812 x813 x814 x815 x816 x817 x818 x819 -x82 -x820 -x821 -x822 -x823 x824 x825 x826 -x827 -x828 -x829 x83 -x830 -x831
1800.08/1800.80	v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850
1800.08/1800.80	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x87
1800.08/1800.80	v -x870 -x871 -x872 -x873 -x874 -x875 x876 x877 x878 x879 x88 x880 x881 -x882 x883 x884 x885 x886 x887 -x888 -x889 x89 x890 x891
1800.08/1800.80	v x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 x9 x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910
1800.08/1800.80	v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93
1800.08/1800.80	v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 x945 x946 x947 x948 x949 x95
1800.08/1800.80	v -x950 x951 x952 x953 x954 -x955 x956 x957 x958 x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 x97 -x970
1800.08/1800.80	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x99
1800.08/1800.80	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	215

Conversion Script Data (download as text)

/tmp/evaluation/459164-1178650282/instance-459164-1178650282.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-459164-1178650282 -o ROOT/results/node67/solver-459164-1178650282 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459164-1178650282/instance-459164-1178650282.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.91 0.95 0.99 3/64 29058
/proc/meminfo: memFree=1759592/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=1876 CPUtime=0
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 341017757 1921024 253 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 469 253 86 219 0 246 0

[startup+0.0606731 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 29058
/proc/meminfo: memFree=1759592/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=2536 CPUtime=0.05
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 436 0 0 0 5 0 0 0 18 0 1 0 341017757 2596864 418 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586450 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 634 418 86 219 0 411 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2536

[startup+0.101679 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 29058
/proc/meminfo: memFree=1759592/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=3328 CPUtime=0.09
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 605 0 0 0 9 0 0 0 18 0 1 0 341017757 3407872 587 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530442 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 832 587 86 219 0 609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3328

[startup+0.301719 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 29058
/proc/meminfo: memFree=1759592/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=4644 CPUtime=0.29
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 971 0 0 0 29 0 0 0 19 0 1 0 341017757 4755456 920 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134640470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 1161 920 86 219 0 938 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4644

[startup+0.70179 s]
/proc/loadavg: 0.91 0.95 0.99 3/64 29058
/proc/meminfo: memFree=1759592/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=7540 CPUtime=0.69
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 1751 0 0 0 69 0 0 0 23 0 1 0 341017757 7720960 1635 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134640495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 1885 1635 86 219 0 1662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7540

[startup+1.50194 s]
/proc/loadavg: 0.91 0.95 0.99 2/65 29059
/proc/meminfo: memFree=1749152/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=11876 CPUtime=1.49
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 2895 0 0 0 148 1 0 0 25 0 1 0 341017757 12161024 2650 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 2969 2650 90 219 0 2746 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11876

[startup+3.10123 s]
/proc/loadavg: 0.92 0.95 0.99 2/65 29059
/proc/meminfo: memFree=1749024/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=11876 CPUtime=3.09
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 2921 0 0 0 308 1 0 0 25 0 1 0 341017757 12161024 2676 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 2969 2676 90 219 0 2746 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11876

[startup+6.30182 s]
/proc/loadavg: 0.92 0.95 0.99 2/65 29059
/proc/meminfo: memFree=1748704/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=12132 CPUtime=6.29
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 2988 0 0 0 628 1 0 0 25 0 1 0 341017757 12423168 2743 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 3033 2743 90 219 0 2810 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12132

[startup+12.702 s]
/proc/loadavg: 0.93 0.96 0.99 2/65 29059
/proc/meminfo: memFree=1748072/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=12644 CPUtime=12.69
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 3133 0 0 0 1267 2 0 0 25 0 1 0 341017757 12947456 2888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 3161 2888 90 219 0 2938 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12644

[startup+25.5013 s]
/proc/loadavg: 0.94 0.96 0.99 2/65 29059
/proc/meminfo: memFree=1746920/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=15716 CPUtime=25.49
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 3429 0 0 0 2546 3 0 0 25 0 1 0 341017757 16093184 3184 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546185 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 3929 3184 90 219 0 3706 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15716

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.99 2/65 29059
/proc/meminfo: memFree=1745000/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=19812 CPUtime=51.08
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 3936 0 0 0 5102 6 0 0 25 0 1 0 341017757 20287488 3691 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 4953 3691 90 219 0 4730 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19812

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.99 2/65 29059
/proc/meminfo: memFree=1741480/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=19812 CPUtime=102.26
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 4810 0 0 0 10215 11 0 0 25 0 1 0 341017757 20287488 4565 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545550 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 4953 4565 90 219 0 4730 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19812

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29059
/proc/meminfo: memFree=1740904/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=28004 CPUtime=162.23
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 4948 0 0 0 16208 15 0 0 25 0 1 0 341017757 28676096 4703 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 7001 4703 90 219 0 6778 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28004

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29059
/proc/meminfo: memFree=1738408/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=29544 CPUtime=222.21
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 5569 0 0 0 22201 20 0 0 25 0 1 0 341017757 30253056 5324 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 7386 5324 90 219 0 7163 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 29544

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29059
/proc/meminfo: memFree=1738152/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=29544 CPUtime=282.2
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 5631 0 0 0 28195 25 0 0 25 0 1 0 341017757 30253056 5386 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 7386 5386 90 219 0 7163 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 29544

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29059
/proc/meminfo: memFree=1737448/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=29744 CPUtime=342.18
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 5807 0 0 0 34187 31 0 0 25 0 1 0 341017757 30457856 5562 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 7436 5562 90 219 0 7213 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 29744

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29059
/proc/meminfo: memFree=1735080/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=31748 CPUtime=402.16
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 6784 0 0 0 40181 35 0 0 25 0 1 0 341017757 32509952 6154 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 7937 6154 90 219 0 7714 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 31748

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29059
/proc/meminfo: memFree=1733608/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=32412 CPUtime=462.14
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 7165 0 0 0 46174 40 0 0 25 0 1 0 341017757 33189888 6535 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 8103 6535 102 219 0 7880 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 32412

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29059
/proc/meminfo: memFree=1732968/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=32816 CPUtime=522.11
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 7320 0 0 0 52166 45 0 0 25 0 1 0 341017757 33603584 6690 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 8204 6690 102 219 0 7981 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 32816

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/71 29125
/proc/meminfo: memFree=1730096/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=33420 CPUtime=582.07
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 7683 0 0 0 58155 52 0 0 25 0 1 0 341017757 34222080 7053 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 8355 7053 102 219 0 8132 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 33420

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29257
/proc/meminfo: memFree=1729248/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=33688 CPUtime=641.98
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 8186 0 0 0 64140 58 0 0 25 0 1 0 341017757 34496512 7556 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 8422 7556 102 219 0 8199 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 33688


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29257
/proc/meminfo: memFree=1727080/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=38104 CPUtime=821.91
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 9509 0 0 0 82118 73 0 0 25 0 1 0 341017757 39018496 8110 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 9526 8110 102 219 0 9303 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 38104

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29257
/proc/meminfo: memFree=1726504/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=38432 CPUtime=881.89
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 9644 0 0 0 88112 77 0 0 25 0 1 0 341017757 39354368 8245 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 9608 8245 102 219 0 9385 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 38432

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29257
/proc/meminfo: memFree=1725992/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=38644 CPUtime=941.87
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 9764 0 0 0 94104 83 0 0 25 0 1 0 341017757 39571456 8365 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 9661 8365 102 219 0 9438 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 38644

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29257
/proc/meminfo: memFree=1725416/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=39124 CPUtime=1001.85
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 9920 0 0 0 100098 87 0 0 25 0 1 0 341017757 40062976 8521 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546079 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 9781 8521 102 219 0 9558 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 39124

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 29257
/proc/meminfo: memFree=1724904/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=39284 CPUtime=1061.83
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 10038 0 0 0 106092 91 0 0 25 0 1 0 341017757 40226816 8639 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 9821 8639 102 219 0 9598 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 39284

[startup+1122.3 s]
/proc/loadavg: 1.10 1.00 1.00 2/65 29257
/proc/meminfo: memFree=1724008/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=39776 CPUtime=1121.81
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 10287 0 0 0 112084 97 0 0 25 0 1 0 341017757 40730624 8888 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 9944 8888 102 219 0 9721 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 39776

[startup+1182.3 s]
/proc/loadavg: 1.11 1.02 1.00 2/65 29257
/proc/meminfo: memFree=1723304/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=40028 CPUtime=1181.79
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 10483 0 0 0 118078 101 0 0 25 0 1 0 341017757 40988672 9084 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 10007 9084 102 219 0 9784 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 40028

[startup+1242.3 s]
/proc/loadavg: 1.25 1.06 1.01 2/65 29257
/proc/meminfo: memFree=1722536/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=40456 CPUtime=1241.77
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 10665 0 0 0 124072 105 0 0 25 0 1 0 341017757 41426944 9266 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 10114 9266 102 219 0 9891 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 40456

[startup+1302.3 s]
/proc/loadavg: 1.21 1.09 1.02 2/65 29257
/proc/meminfo: memFree=1720808/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=57160 CPUtime=1301.75
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 11085 0 0 0 130066 109 0 0 25 0 1 0 341017757 58531840 9686 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 14290 9686 102 219 0 14067 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 57160

[startup+1362.3 s]
/proc/loadavg: 1.08 1.07 1.02 2/65 29257
/proc/meminfo: memFree=1720168/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=57444 CPUtime=1361.73
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 11259 0 0 0 136059 114 0 0 25 0 1 0 341017757 58822656 9860 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 14361 9860 102 219 0 14138 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 57444

[startup+1422.31 s]
/proc/loadavg: 1.03 1.05 1.01 2/65 29257
/proc/meminfo: memFree=1718824/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=57444 CPUtime=1421.71
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 11586 0 0 0 142053 118 0 0 25 0 1 0 341017757 58822656 10187 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545620 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 14361 10187 102 219 0 14138 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 57444

[startup+1482.3 s]
/proc/loadavg: 1.01 1.04 1.01 2/65 29257
/proc/meminfo: memFree=1717224/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=57876 CPUtime=1481.69
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 11973 0 0 0 148044 125 0 0 25 0 1 0 341017757 59265024 10574 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 14469 10574 102 219 0 14246 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 57876

[startup+1542.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 29257
/proc/meminfo: memFree=1716520/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=58004 CPUtime=1541.67
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 12157 0 0 0 154037 130 0 0 25 0 1 0 341017757 59396096 10758 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 14501 10758 102 219 0 14278 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 58004

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 29257
/proc/meminfo: memFree=1716072/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=58324 CPUtime=1601.65
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 12264 0 0 0 160030 135 0 0 25 0 1 0 341017757 59723776 10865 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 14581 10865 102 219 0 14358 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 58324

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 29257
/proc/meminfo: memFree=1715560/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=65064 CPUtime=1661.63
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 13925 0 0 0 166022 141 0 0 25 0 1 0 341017757 66625536 10989 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 16266 10989 102 219 0 16043 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 65064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29257
/proc/meminfo: memFree=1714024/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=65192 CPUtime=1721.6
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 14304 0 0 0 172015 145 0 0 25 0 1 0 341017757 66756608 11368 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 16298 11368 102 219 0 16075 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 65192

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29257
/proc/meminfo: memFree=1713448/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=66000 CPUtime=1781.58
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 14462 0 0 0 178009 149 0 0 25 0 1 0 341017757 67584000 11526 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546880 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 16500 11526 102 219 0 16277 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 66000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 29257
/proc/meminfo: memFree=1713256/2055920 swapFree=4183124/4192956
[pid=29058] ppid=29056 vsize=66000 CPUtime=1800.08
/proc/29058/stat : 29058 (PBS4_SAT07v2) R 29056 29058 28482 0 -1 4194304 14504 0 0 0 179857 151 0 0 25 0 1 0 341017757 67584000 11568 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29058/statm: 16500 11568 102 219 0 16277 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 66000

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.82
CPU time (s): 1800.11
CPU user time (s): 1798.58
CPU system time (s): 1.52677
CPU usage (%): 99.9605
Max. virtual memory (cumulated for all children) (KiB): 70616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.52677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 2161

runsolver used 1.36279 second user time and 3.61545 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue May  8 18:51:22 UTC 2007

IDJOB= 459164
IDBENCH= 2935
IDSOLVER= 200
FILE ID= node67/459164-1178650282

PBS_JOBID= 5218389

Free space on /tmp= 66560 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_15.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459164-1178650282/instance-459164-1178650282.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-459164-1178650282 -o ROOT/results/node67/conversion-459164-1178650282 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459164-1178650282/instance-459164-1178650282.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  76cbd1f5f345389511b95f4555e7fed1

RANDOM SEED= 237791228

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1760064 kB
Buffers:         31604 kB
Cached:         175852 kB
SwapCached:       3684 kB
Active:          91964 kB
Inactive:       125156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760064 kB
SwapTotal:     4192956 kB
SwapFree:      4183124 kB
Dirty:            4240 kB
Writeback:           0 kB
Mapped:          15700 kB
Slab:            64768 kB
Committed_AS:  2753788 kB
PageTables:       1452 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 node67 on Tue May  8 19:21:25 UTC 2007