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