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