Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | 678 | 1800.09 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-bench1.r.opb |
MD5SUM | cb09f183d3805e6536d629586026461f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 4.75128 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4688 |
Total number of constraints | 403 |
Number of constraints which are clauses | 403 |
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 | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 4688 |
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 | 4688 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4688 |
Number of bits of the biggest sum of numbers | 13 |
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/459066-1178648027/instance-459066-1178648027.opb ...... 0.19/0.23 c done parsing opb. 0.19/0.23 o 3730 0.29/0.31 o 3729 0.29/0.40 o 3728 0.39/0.48 o 3727 0.49/0.56 o 3726 0.59/0.65 o 3725 0.69/0.73 o 3724 0.79/0.81 o 3723 0.79/0.90 o 3722 0.89/0.98 o 3721 0.99/1.06 o 3706 1.10/1.14 o 3705 1.19/1.23 o 3704 1.29/1.31 o 3703 1.29/1.39 o 3702 1.39/1.48 o 3701 1.49/1.56 o 3700 1.59/1.64 o 3699 1.69/1.72 o 3698 1.78/1.81 o 3697 1.78/1.89 o 3696 1.89/1.97 o 3695 1.99/2.06 o 3694 2.09/2.14 o 3693 2.19/2.22 o 3692 2.29/2.30 o 3691 2.29/2.39 o 3690 2.39/2.47 o 3689 2.49/2.55 o 3688 2.59/2.63 o 3687 2.69/2.71 o 3686 2.69/2.79 o 3685 2.79/2.88 o 3684 2.89/2.96 o 3683 2.99/3.04 o 3682 3.09/3.12 o 3681 3.20/3.21 o 3680 3.20/3.29 o 3679 3.29/3.37 o 3678 3.39/3.45 o 3677 3.49/3.53 o 3676 3.59/3.61 o 3675 3.59/3.70 o 3674 3.69/3.78 o 3673 3.79/3.86 o 3672 3.88/3.94 o 3671 3.99/4.02 o 3670 4.09/4.10 o 3669 4.09/4.19 o 3668 4.19/4.27 o 3667 4.29/4.35 o 3666 4.40/4.43 o 3665 4.49/4.51 o 3664 4.59/4.60 o 3663 4.59/4.68 o 3662 4.68/4.76 o 3661 4.79/4.84 o 3660 4.89/4.92 o 3659 4.99/5.01 o 3658 4.99/5.09 o 3657 5.09/5.17 o 3656 5.19/5.25 o 3655 5.29/5.33 o 3654 5.39/5.42 o 3653 5.39/5.50 o 3652 5.50/5.58 o 3651 5.59/5.66 o 3650 5.69/5.74 o 3649 5.79/5.83 o 3648 5.89/5.91 o 3647 5.89/5.99 o 3646 5.98/6.07 o 3645 6.09/6.15 o 3644 6.19/6.24 o 3643 6.29/6.32 o 3642 6.39/6.40 o 3641 6.39/6.48 o 3640 6.50/6.56 o 3639 6.59/6.65 o 3638 6.69/6.73 o 3637 6.79/6.81 o 3636 6.79/6.89 o 3635 6.89/6.95 o 2596 6.99/7.01 o 2595 6.99/7.07 o 2594 7.09/7.13 o 2593 7.09/7.20 o 2592 7.19/7.26 o 2591 7.28/7.32 o 2590 7.28/7.38 o 2589 7.39/7.44 o 2588 7.49/7.50 o 2587 7.49/7.56 o 2586 7.59/7.62 o 2585 7.59/7.68 o 2574 7.69/7.74 o 2573 7.79/7.80 o 2572 7.79/7.86 o 2571 7.89/7.92 o 2570 7.89/7.98 o 2569 7.99/8.04 o 2568 8.08/8.10 o 2567 8.08/8.16 o 2566 8.19/8.22 o 2565 8.19/8.28 o 2564 8.28/8.34 o 2563 8.38/8.40 o 2562 8.38/8.46 o 2561 8.49/8.52 o 2560 8.49/8.58 o 2559 8.58/8.64 o 2558 8.69/8.70 o 2557 8.69/8.76 o 2556 8.79/8.82 o 2555 8.79/8.88 o 2554 8.89/8.94 o 2553 8.99/9.00 o 2552 8.99/9.06 o 2551 9.08/9.12 o 2550 9.08/9.18 o 2549 9.18/9.24 o 2548 9.29/9.31 o 2547 9.29/9.37 o 2546 9.38/9.42 o 2330 9.38/9.48 o 2329 9.49/9.54 o 2328 9.49/9.59 o 2327 9.59/9.65 o 2317 9.69/9.71 o 2314 9.69/9.77 o 2313 9.79/9.82 o 2312 9.79/9.88 o 2311 9.89/9.94 o 2310 9.98/10.05 o 2309 9.98/10.09 o 1172 10.09/10.12 o 1137 10.09/10.15 o 1136 10.09/10.18 o 1135 10.18/10.25 o 1134 10.18/10.27 o 679 10.39/10.41 o 678 1800.06/1800.50 s SATISFIABLE 1800.06/1800.50 v x1 x10 -x100 x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x101 -x1010 -x1011 -x1012 x1013 -x1014 1800.06/1800.50 v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x103 -x1030 1800.06/1800.50 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x104 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.06/1800.50 v -x1048 -x1049 -x105 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 1800.06/1800.50 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.06/1800.50 v -x108 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 1800.06/1800.50 v -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x111 -x1110 1800.06/1800.50 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 1800.06/1800.50 v -x1128 -x1129 -x113 -x1130 -x1131 -x1132 x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 1800.06/1800.50 v -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 x1156 x1157 -x1158 -x1159 -x116 1800.06/1800.50 v -x1160 x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 1800.06/1800.50 v -x1177 -x1178 x1179 x118 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 x1189 -x119 -x1190 -x1191 -x1192 1800.06/1800.50 v -x1193 x1194 -x1195 x1196 -x1197 -x1198 -x1199 x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 1800.06/1800.50 v -x1209 -x121 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 1800.06/1800.50 v -x1225 x1226 x1227 -x1228 -x1229 x123 -x1230 x1231 x1232 x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 x124 -x1240 -x1241 1800.06/1800.50 v -x1242 -x1243 x1244 x1245 -x1246 x1247 -x1248 x1249 x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 1800.06/1800.50 v -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 x1271 -x1272 -x1273 -x1274 1800.06/1800.50 v -x1275 -x1276 -x1277 -x1278 x1279 -x128 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 x1290 1800.06/1800.50 v -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 1800.06/1800.50 v -x1307 -x1308 -x1309 x131 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 1800.06/1800.50 v x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x133 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 x1337 -x1338 -x1339 1800.06/1800.50 v x134 -x1340 x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 x1349 -x135 -x1350 -x1351 -x1352 -x1353 x1354 x1355 1800.06/1800.50 v -x1356 -x1357 x1358 -x1359 -x136 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 1800.06/1800.50 v x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 x1379 -x138 -x1380 -x1381 x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 1800.06/1800.50 v -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 x1397 x1398 -x1399 -x14 -x140 -x1400 -x1401 x1402 -x1403 1800.06/1800.50 v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x141 -x1410 -x1411 -x1412 x1413 -x1414 x1415 -x1416 x1417 -x1418 x1419 -x142 1800.06/1800.50 v x1420 -x1421 x1422 -x1423 x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 1800.06/1800.50 v -x1437 -x1438 -x1439 -x144 -x1440 x1441 -x1442 -x1443 x1444 -x1445 -x1446 x1447 -x1448 -x1449 -x145 -x1450 -x1451 x1452 1800.06/1800.50 v x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 1800.06/1800.50 v -x147 -x1470 -x1471 -x1472 -x1473 x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 1800.06/1800.50 v -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 1800.06/1800.50 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x151 x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 1800.06/1800.50 v -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 1800.06/1800.50 v -x1534 x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x155 1800.06/1800.50 v -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 1800.06/1800.50 v -x1567 x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 x1579 -x158 x1580 -x1581 -x1582 1800.06/1800.50 v -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 x1598 -x1599 1800.06/1800.50 v -x16 -x160 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 1800.06/1800.50 v -x1615 -x1616 -x1617 -x1618 -x1619 -x162 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 1800.06/1800.50 v -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x164 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 1800.06/1800.50 v -x1648 -x1649 x165 -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 x1661 -x1662 -x1663 1800.06/1800.50 v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x168 1800.06/1800.50 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1800.06/1800.50 v -x1697 -x1698 -x1699 -x17 x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 1800.06/1800.50 v x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 1800.06/1800.50 v -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 1800.06/1800.50 v -x1745 -x1746 -x1747 -x1748 -x1749 -x175 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 x1757 x1758 -x1759 -x176 -x1760 1800.06/1800.50 v -x1761 x1762 x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 1800.06/1800.50 v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 x1792 -x1793 1800.06/1800.50 v -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.06/1800.50 v -x181 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x182 -x1820 x1821 -x1822 x1823 -x1824 -x1825 1800.06/1800.50 v x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841 1800.06/1800.50 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x185 -x1850 -x1851 -x1852 x1853 -x1854 -x1855 -x1856 -x1857 x1858 1800.06/1800.50 v -x1859 -x186 -x1860 -x1861 -x1862 -x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 x1872 -x1873 x1874 1800.06/1800.50 v -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x189 x1890 1800.06/1800.50 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 x1903 -x1904 -x1905 -x1906 1800.06/1800.50 v -x1907 -x1908 -x1909 -x191 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x192 x1920 -x1921 -x1922 1800.06/1800.50 v -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 1800.06/1800.50 v -x194 -x1940 -x1941 x1942 -x1943 -x1944 x1945 x1946 -x1947 x1948 -x1949 -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.06/1800.50 v -x1956 -x1957 -x1958 -x1959 -x196 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x197 x1970 -x1971 1800.06/1800.50 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 x198 -x1980 -x1981 -x1982 -x1983 x1984 x1985 -x1986 -x1987 x1988 1800.06/1800.50 v -x1989 -x199 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 x1997 x1998 -x1999 -x2 -x20 x200 x2000 x2001 -x2002 x2003 -x2004 1800.06/1800.50 v -x2005 x2006 -x2007 -x2008 -x2009 x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x202 -x2020 1800.06/1800.50 v x2021 -x2022 -x2023 x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031 x2032 x2033 -x2034 -x2035 -x2036 -x2037 1800.06/1800.50 v -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 1800.06/1800.50 v -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 x207 1800.06/1800.50 v -x2070 -x2071 -x2072 -x2073 x2074 x2075 x2076 x2077 -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 1800.06/1800.50 v -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 x2101 1800.06/1800.50 v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x211 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 x2118 1800.06/1800.50 v -x2119 -x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x213 -x2130 -x2131 x2132 -x2133 -x2134 1800.06/1800.50 v -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x215 -x2150 1800.06/1800.50 v -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 1800.06/1800.50 v -x2168 -x2169 -x217 x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 1800.06/1800.50 v x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x22 1800.06/1800.50 v x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 1800.06/1800.50 v -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 x2226 x2227 -x2228 -x2229 x223 -x2230 -x2231 1800.06/1800.50 v -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.06/1800.50 v x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 1800.06/1800.50 v -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x227 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x228 1800.06/1800.50 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 x2288 -x2289 x229 -x2290 -x2291 x2292 -x2293 x2294 -x2295 -x2296 1800.06/1800.50 v -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 x2309 x231 -x2310 -x2311 1800.06/1800.50 v -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 1800.06/1800.50 v -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 x2344 1800.06/1800.50 v -x2345 -x2346 -x2347 -x2348 -x2349 x235 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 x2357 -x2358 -x2359 x236 -x2360 1800.06/1800.50 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x237 -x2370 x2371 -x2372 -x2373 -x2374 -x2375 x2376 -x2377 1800.06/1800.50 v -x2378 -x2379 -x238 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x239 -x2390 -x2391 -x2392 -x2393 1800.06/1800.50 v -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x24 x240 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 -x2409 1800.06/1800.50 v x241 x2410 -x2411 x2412 -x2413 x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 1800.06/1800.50 v -x2426 -x2427 -x2428 -x2429 -x243 x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 1800.06/1800.50 v x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 x2455 -x2456 -x2457 -x2458 1800.06/1800.50 v -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 x2472 -x2473 -x2474 1800.06/1800.50 v -x2475 -x2476 -x2477 -x2478 -x2479 x248 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 1800.06/1800.50 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 x2497 -x2498 -x2499 -x25 x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.06/1800.50 v -x2507 -x2508 -x2509 -x251 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 1800.06/1800.50 v x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x253 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 1800.06/1800.50 v -x254 -x2540 -x2541 -x2542 x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.06/1800.50 v x2556 x2557 -x2558 -x2559 -x256 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 1800.06/1800.50 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 1800.06/1800.50 v -x2589 -x259 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 1800.06/1800.50 v -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x261 -x2610 -x2611 -x2612 -x2613 x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x262 1800.06/1800.50 v -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.06/1800.50 v -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 x265 -x2650 -x2651 1800.06/1800.50 v -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 x2668 1800.06/1800.50 v -x2669 x267 -x2670 -x2671 x2672 x2673 -x2674 -x2675 -x2676 x2677 -x2678 -x2679 -x268 -x2680 x2681 -x2682 -x2683 -x2684 1800.06/1800.50 v -x2685 -x2686 -x2687 -x2688 -x2689 x269 -x2690 -x2691 -x2692 -x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 x270 1800.06/1800.50 v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 1800.06/1800.50 v -x2716 x2717 -x2718 -x2719 -x272 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 1800.06/1800.50 v -x2732 -x2733 -x2734 x2735 x2736 -x2737 -x2738 x2739 x274 x2740 x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 1800.06/1800.50 v -x2749 -x275 -x2750 x2751 -x2752 x2753 -x2754 x2755 x2756 -x2757 x2758 -x2759 -x276 -x2760 x2761 x2762 -x2763 -x2764 -x2765 1800.06/1800.50 v -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771 -x2772 -x2773 x2774 -x2775 -x2776 -x2777 x2778 -x2779 -x278 x2780 -x2781 1800.06/1800.50 v -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 1800.06/1800.50 v -x2799 x28 -x280 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 1800.06/1800.50 v -x2814 x2815 -x2816 -x2817 x2818 -x2819 -x282 -x2820 x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 x283 1800.06/1800.50 v -x2830 x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 1800.06/1800.50 v x2847 x2848 -x2849 -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 1800.06/1800.50 v x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 x287 -x2870 -x2871 -x2872 x2873 x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.06/1800.50 v -x288 x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 1800.06/1800.50 v -x2896 -x2897 -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 x2907 -x2908 -x2909 -x291 -x2910 1800.06/1800.50 v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 x2927 1800.06/1800.50 v -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 1800.06/1800.50 v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 x2958 x2959 -x296 1800.06/1800.50 v -x2960 -x2961 -x2962 x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x297 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 1800.06/1800.50 v -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 x2987 x2988 -x2989 x299 -x2990 -x2991 -x2992 1800.06/1800.50 v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 1800.06/1800.50 v -x3008 -x3009 -x301 -x3010 x3011 -x3012 x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 x3023 1800.06/1800.50 v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x303 -x3030 x3031 x3032 -x3033 -x3034 -x3035 -x3036 -x3037 x3038 -x3039 x304 1800.06/1800.50 v -x3040 x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 1800.06/1800.50 v -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 x3063 x3064 -x3065 -x3066 -x3067 x3068 -x3069 -x307 x3070 -x3071 -x3072 1800.06/1800.50 v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 1800.06/1800.50 v -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 1800.06/1800.50 v -x3105 -x3106 -x3107 -x3108 -x3109 x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 1800.06/1800.50 v x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 x3136 -x3137 1800.06/1800.50 v -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 x315 -x3150 -x3151 -x3152 -x3153 1800.06/1800.50 v -x3154 -x3155 -x3156 x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 1800.06/1800.50 v -x3170 -x3171 -x3172 x3173 -x3174 -x3175 x3176 -x3177 x3178 -x3179 x318 -x3180 x3181 -x3182 -x3183 -x3184 -x3185 -x3186 1800.06/1800.50 v -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 x3199 -x32 -x320 x3200 -x3201 1800.06/1800.50 v -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x321 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 1800.06/1800.50 v -x3219 x322 x3220 -x3221 -x3222 -x3223 -x3224 x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 x3231 -x3232 -x3233 -x3234 1800.06/1800.50 v -x3235 -x3236 -x3237 -x3238 -x3239 x324 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 1800.06/1800.50 v x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x326 -x3260 -x3261 x3262 -x3263 -x3264 x3265 -x3266 -x3267 1800.06/1800.50 v -x3268 -x3269 x327 x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 x328 x3280 -x3281 -x3282 x3283 -x3284 1800.06/1800.50 v -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 1800.06/1800.50 v -x3300 -x3301 -x3302 -x3303 x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 -x3311 -x3312 -x3313 -x3314 x3315 -x3316 1800.06/1800.50 v -x3317 -x3318 -x3319 x332 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 1800.06/1800.50 v -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x334 -x3340 x3341 -x3342 -x3343 x3344 -x3345 x3346 -x3347 -x3348 -x3349 1800.06/1800.50 v -x335 -x3350 x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 1800.06/1800.50 v -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 1800.06/1800.50 v -x3382 -x3383 -x3384 -x3385 x3386 x3387 x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 1800.06/1800.50 v -x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x341 x3410 -x3411 -x3412 -x3413 1800.06/1800.50 v x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x343 1800.06/1800.50 v x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 x3441 x3442 -x3443 -x3444 -x3445 -x3446 1800.06/1800.50 v -x3447 x3448 x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 x3459 -x346 -x3460 -x3461 -x3462 1800.06/1800.50 v -x3463 -x3464 x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 -x3479 1800.06/1800.50 v -x348 -x3480 x3481 -x3482 -x3483 x3484 -x3485 -x3486 x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 1800.06/1800.50 v x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 1800.06/1800.50 v -x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 x3524 -x3525 -x3526 -x3527 1800.06/1800.50 v -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 x354 -x3540 -x3541 -x3542 -x3543 1800.06/1800.50 v -x3544 -x3545 -x3546 -x3547 -x3548 x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 x356 1800.06/1800.50 v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 1800.06/1800.50 v -x3577 -x3578 -x3579 x358 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 x3589 -x359 -x3590 x3591 -x3592 1800.06/1800.50 v x3593 -x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x36 -x360 -x3600 x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 1800.06/1800.50 v -x3609 -x361 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 1800.06/1800.50 v -x3625 -x3626 -x3627 -x3628 -x3629 -x363 -x3630 -x3631 x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x364 x3640 1800.06/1800.50 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 1800.06/1800.50 v -x3658 x3659 -x366 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 x3670 -x3671 -x3672 -x3673 1800.06/1800.50 v -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 x3689 -x369 1800.06/1800.50 v -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 1800.06/1800.50 v x3706 -x3707 -x3708 -x3709 -x371 -x3710 -x3711 -x3712 -x3713 -x3714 x3715 x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 1800.06/1800.50 v -x3722 -x3723 x3724 x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 1800.06/1800.50 v x3739 x374 -x3740 x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 x375 -x3750 -x3751 -x3752 -x3753 -x3754 1800.06/1800.50 v -x3755 -x3756 -x3757 -x3758 -x3759 x376 -x3760 -x3761 -x3762 x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 1800.06/1800.50 v -x3771 -x3772 x3773 -x3774 x3775 -x3776 x3777 -x3778 -x3779 x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 1800.06/1800.50 v -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x38 -x380 -x3800 -x3801 x3802 1800.06/1800.50 v -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 x381 -x3810 -x3811 -x3812 x3813 x3814 -x3815 x3816 -x3817 -x3818 -x3819 1800.06/1800.50 v x382 -x3820 x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 1800.06/1800.50 v x3836 -x3837 -x3838 -x3839 -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 1800.06/1800.50 v x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 1800.06/1800.50 v -x3869 -x387 -x3870 x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 1800.06/1800.50 v x3885 -x3886 -x3887 x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 x3899 -x39 -x390 1800.06/1800.50 v -x3900 -x3901 -x3902 x3903 x3904 -x3905 -x3906 -x3907 -x3908 -x3909 x391 -x3910 x3911 -x3912 -x3913 -x3914 -x3915 -x3916 1800.06/1800.50 v -x3917 -x3918 -x3919 -x392 x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393 -x3930 -x3931 -x3932 1800.06/1800.50 v -x3933 -x3934 -x3935 x3936 -x3937 x3938 -x3939 -x394 x3940 -x3941 -x3942 -x3943 -x3944 -x3945 x3946 -x3947 -x3948 -x3949 1800.06/1800.50 v -x395 x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 x3957 x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 1800.06/1800.50 v -x3966 -x3967 -x3968 -x3969 x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x398 -x3980 -x3981 1800.06/1800.50 v -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x399 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 1800.06/1800.50 v x3999 -x4 -x40 x400 -x4000 -x4001 -x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x401 -x4010 x4011 -x4012 -x4013 1800.06/1800.50 v -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 x4024 x4025 -x4026 -x4027 -x4028 -x4029 -x403 1800.06/1800.50 v x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 x404 x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 1800.06/1800.50 v -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 -x4053 x4054 x4055 x4056 -x4057 -x4058 -x4059 x406 -x4060 -x4061 -x4062 1800.06/1800.50 v -x4063 x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076 x4077 -x4078 -x4079 1800.06/1800.50 v -x408 -x4080 -x4081 -x4082 -x4083 x4084 x4085 -x4086 -x4087 -x4088 -x4089 -x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 1800.06/1800.50 v -x4096 -x4097 -x4098 -x4099 -x41 -x410 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 1800.06/1800.50 v x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 x4118 -x4119 x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 1800.06/1800.50 v -x4128 -x4129 x413 -x4130 x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x414 -x4140 -x4141 x4142 -x4143 1800.06/1800.50 v -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x416 1800.06/1800.50 v -x4160 -x4161 x4162 -x4163 x4164 -x4165 -x4166 -x4167 -x4168 -x4169 x417 -x4170 -x4171 -x4172 -x4173 x4174 -x4175 x4176 1800.06/1800.50 v -x4177 -x4178 -x4179 -x418 x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 x419 -x4190 x4191 -x4192 1800.06/1800.50 v x4193 -x4194 x4195 -x4196 x4197 x4198 -x4199 x42 x420 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 1800.06/1800.50 v -x421 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 -x4222 -x4223 x4224 -x4225 1800.06/1800.50 v -x4226 x4227 -x4228 -x4229 x423 -x4230 -x4231 -x4232 x4233 x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x424 -x4240 -x4241 1800.06/1800.50 v -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 x4258 1800.06/1800.50 v x4259 -x426 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427 -x4270 -x4271 -x4272 x4273 -x4274 1800.06/1800.50 v -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 x4289 -x429 -x4290 1800.06/1800.50 v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 x43 -x430 -x4300 -x4301 -x4302 -x4303 x4304 -x4305 -x4306 1800.06/1800.50 v -x4307 -x4308 -x4309 -x431 -x4310 -x4311 -x4312 -x4313 x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322 1800.06/1800.50 v -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 x4332 -x4333 -x4334 -x4335 x4336 -x4337 -x4338 -x4339 1800.06/1800.50 v -x434 x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 1800.06/1800.50 v -x4356 -x4357 -x4358 -x4359 -x436 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 1800.06/1800.50 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x438 -x4380 -x4381 x4382 -x4383 -x4384 x4385 -x4386 -x4387 -x4388 1800.06/1800.50 v -x4389 -x439 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 -x4402 -x4403 1800.06/1800.50 v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 1800.06/1800.50 v x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x443 -x4430 x4431 -x4432 x4433 -x4434 -x4435 -x4436 1800.06/1800.50 v -x4437 -x4438 -x4439 -x444 x4440 -x4441 -x4442 -x4443 x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x445 x4450 -x4451 -x4452 1800.06/1800.50 v -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 1800.06/1800.50 v -x4469 -x447 -x4470 x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x448 -x4480 x4481 -x4482 -x4483 -x4484 1800.06/1800.50 v -x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 x45 x450 1800.06/1800.50 v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x451 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 1800.06/1800.50 v -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x453 -x4530 -x4531 1800.06/1800.50 v x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x454 x4540 x4541 -x4542 -x4543 -x4544 -x4545 x4546 -x4547 x4548 1800.06/1800.50 v -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x456 x4560 -x4561 -x4562 -x4563 -x4564 1800.06/1800.50 v -x4565 -x4566 -x4567 -x4568 x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 1800.06/1800.50 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 -x4589 -x459 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 1800.06/1800.50 v -x4598 -x4599 -x46 -x460 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x461 -x4610 x4611 -x4612 1800.06/1800.50 v x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 1800.06/1800.50 v -x463 -x4630 -x4631 -x4632 -x4633 -x4634 x4635 -x4636 -x4637 -x4638 x4639 -x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 1800.06/1800.50 v -x4646 -x4647 -x4648 -x4649 x465 -x4650 -x4651 -x4652 x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 1800.06/1800.50 v x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670 -x4671 x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 1800.06/1800.50 v -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x469 x47 -x470 -x471 x472 -x473 -x474 -x475 1800.06/1800.50 v -x476 -x477 x478 x479 -x48 -x480 -x481 x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x49 -x490 -x491 -x492 x493 -x494 -x495 1800.06/1800.50 v -x496 -x497 -x498 -x499 -x5 -x50 -x500 x501 x502 -x503 -x504 -x505 x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 1800.06/1800.50 v x515 -x516 -x517 -x518 -x519 x52 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 x534 1800.06/1800.50 v -x535 x536 -x537 -x538 x539 -x54 -x540 -x541 -x542 -x543 x544 -x545 x546 x547 -x548 -x549 -x55 -x550 -x551 x552 -x553 -x554 1800.06/1800.50 v -x555 x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 x570 -x571 -x572 -x573 1800.06/1800.50 v -x574 -x575 x576 x577 -x578 -x579 -x58 x580 -x581 -x582 x583 -x584 x585 x586 -x587 -x588 x589 -x59 -x590 -x591 -x592 -x593 1800.06/1800.50 v x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 x601 -x602 -x603 -x604 -x605 -x606 x607 x608 -x609 -x61 -x610 -x611 -x612 1800.06/1800.50 v x613 -x614 -x615 x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 1800.06/1800.50 v -x633 -x634 x635 -x636 -x637 -x638 x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 x649 -x65 -x650 -x651 -x652 1800.06/1800.50 v -x653 -x654 -x655 -x656 x657 x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 1800.06/1800.50 v x672 x673 -x674 x675 x676 -x677 -x678 -x679 x68 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x69 -x690 -x691 1800.06/1800.50 v x692 -x693 -x694 x695 x696 -x697 -x698 x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 x71 -x710 -x711 1800.06/1800.50 v -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x72 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 x728 -x729 -x73 x730 -x731 1800.06/1800.50 v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 x748 x749 -x75 -x750 x751 1800.06/1800.50 v -x752 -x753 -x754 x755 x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 1800.06/1800.50 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 1800.06/1800.50 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 x8 -x80 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 1800.06/1800.50 v -x81 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 1800.06/1800.50 v -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 x848 1800.06/1800.50 v x849 -x85 -x850 -x851 -x852 x853 -x854 -x855 -x856 x857 x858 -x859 -x86 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 1800.06/1800.50 v -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 1800.06/1800.50 v -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 1800.06/1800.50 v x906 -x907 -x908 x909 -x91 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 x922 -x923 -x924 -x925 1800.06/1800.50 v -x926 -x927 -x928 -x929 -x93 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 1800.06/1800.50 v -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 x953 x954 x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 1800.06/1800.50 v -x965 x966 -x967 x968 -x969 -x97 -x970 -x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 x982 -x983 -x984 1800.06/1800.50 v -x985 x986 -x987 -x988 -x989 -x99 x990 x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999
OK 678
/tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-459066-1178648027 -o ROOT/results/node29/solver-459066-1178648027 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.99 0.99 3/77 8105 /proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=1912 CPUtime=0 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 312718425 1957888 267 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 478 267 84 219 0 255 0 [startup+0.0669191 s] /proc/loadavg: 0.92 0.99 0.99 3/77 8105 /proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=2196 CPUtime=0.06 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 352 0 0 0 6 0 0 0 18 0 1 0 312718425 2248704 334 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 549 334 86 219 0 326 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2196 [startup+0.10192 s] /proc/loadavg: 0.92 0.99 0.99 3/77 8105 /proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=2384 CPUtime=0.09 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 370 0 0 0 9 0 0 0 18 0 1 0 312718425 2441216 352 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 596 352 86 219 0 373 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2384 [startup+0.301933 s] /proc/loadavg: 0.92 0.99 0.99 3/77 8105 /proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=2380 CPUtime=0.29 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 29 0 0 0 19 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 595 414 101 219 0 372 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2380 [startup+0.701959 s] /proc/loadavg: 0.92 0.99 0.99 3/77 8105 /proc/meminfo: memFree=1551432/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=2380 CPUtime=0.69 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 67 2 0 0 22 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 595 414 101 219 0 372 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2380 [startup+1.50201 s] /proc/loadavg: 0.92 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1550080/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=2380 CPUtime=1.49 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 144 5 0 0 25 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 595 414 101 219 0 372 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2380 [startup+3.10111 s] /proc/loadavg: 0.93 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1549888/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=2380 CPUtime=3.09 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 297 12 0 0 25 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 595 414 101 219 0 372 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 2380 [startup+6.30132 s] /proc/loadavg: 0.93 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1549888/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=2380 CPUtime=6.29 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 432 0 0 0 603 26 0 0 25 0 1 0 312718425 2437120 414 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 595 414 101 219 0 372 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 2380 [startup+12.7017 s] /proc/loadavg: 0.94 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1549184/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=3044 CPUtime=12.68 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 599 0 0 0 1221 47 0 0 25 0 1 0 312718425 3117056 581 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 761 581 102 219 0 538 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 3044 [startup+25.5015 s] /proc/loadavg: 0.95 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1548352/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=3700 CPUtime=25.48 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 796 0 0 0 2499 49 0 0 25 0 1 0 312718425 3788800 778 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 925 778 102 219 0 702 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 3700 [startup+51.1012 s] /proc/loadavg: 0.96 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1547264/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=6772 CPUtime=51.07 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 1088 0 0 0 5058 49 0 0 25 0 1 0 312718425 6934528 1070 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 1693 1070 102 219 0 1470 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6772 [startup+102.305 s] /proc/loadavg: 0.98 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1544768/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=11036 CPUtime=102.27 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 1696 0 0 0 10177 50 0 0 25 0 1 0 312718425 11300864 1678 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 2759 1678 102 219 0 2536 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 11036 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1542080/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=11036 CPUtime=162.25 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 2382 0 0 0 16174 51 0 0 25 0 1 0 312718425 11300864 2364 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 2759 2364 102 219 0 2536 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11036 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1539200/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=19228 CPUtime=222.23 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 3080 0 0 0 22172 51 0 0 25 0 1 0 312718425 19689472 3062 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 4807 3062 102 219 0 4584 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 19228 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1536384/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=19228 CPUtime=282.22 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 3784 0 0 0 28170 52 0 0 25 0 1 0 312718425 19689472 3766 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 4807 3766 102 219 0 4584 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 19228 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1533568/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=19228 CPUtime=342.21 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 4476 0 0 0 34168 53 0 0 25 0 1 0 312718425 19689472 4458 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 4807 4458 102 219 0 4584 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 19228 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1530816/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=35612 CPUtime=402.2 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 5161 0 0 0 40166 54 0 0 25 0 1 0 312718425 36466688 5143 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 8903 5143 102 219 0 8680 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 35612 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1528128/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=35804 CPUtime=462.18 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 5867 0 0 0 46163 55 0 0 25 0 1 0 312718425 36663296 5849 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 8951 5849 102 219 0 8728 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 35804 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1525312/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=35804 CPUtime=522.16 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 6564 0 0 0 52161 55 0 0 25 0 1 0 312718425 36663296 6546 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 8951 6546 102 219 0 8728 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 35804 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1522560/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=35804 CPUtime=582.15 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 7251 0 0 0 58159 56 0 0 25 0 1 0 312718425 36663296 7233 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 8951 7233 102 219 0 8728 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 35804 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 8106 /proc/meminfo: memFree=1519808/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=35804 CPUtime=642.14 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 7932 0 0 0 64157 57 0 0 25 0 1 0 312718425 36663296 7914 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 8951 7914 102 219 0 8728 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 35804 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.02 1.00 1.00 2/78 8106 /proc/meminfo: memFree=1494016/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=70852 CPUtime=882.08 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 14373 0 0 0 88091 117 0 0 25 0 1 0 312718425 72552448 14306 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 17713 14306 102 219 0 17490 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 70852 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8106 /proc/meminfo: memFree=1492928/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=71864 CPUtime=942.06 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 14660 0 0 0 94024 182 0 0 25 0 1 0 312718425 73588736 14593 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560849 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 17966 14593 102 219 0 17743 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 71864 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8106 /proc/meminfo: memFree=1492608/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=72632 CPUtime=1002.05 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 14888 0 0 0 99955 250 0 0 25 0 1 0 312718425 74375168 14724 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 18158 14724 102 219 0 17935 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 72632 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8106 /proc/meminfo: memFree=1492096/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=73016 CPUtime=1062.03 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15007 0 0 0 105883 320 0 0 25 0 1 0 312718425 74768384 14843 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 18254 14843 102 219 0 18031 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 73016 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 8106 /proc/meminfo: memFree=1491520/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=74120 CPUtime=1122.02 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15308 0 0 0 111854 348 0 0 25 0 1 0 312718425 75898880 14951 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 18530 14951 102 219 0 18307 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 74120 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8106 /proc/meminfo: memFree=1491200/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=74508 CPUtime=1182.01 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15439 0 0 0 117849 352 0 0 25 0 1 0 312718425 76296192 15082 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557441 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 18627 15082 102 219 0 18404 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 74508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8106 /proc/meminfo: memFree=1490688/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=74880 CPUtime=1241.99 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15550 0 0 0 123845 354 0 0 25 0 1 0 312718425 76677120 15193 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544660 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 18720 15193 102 219 0 18497 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 74880 [startup+1302.3 s] /proc/loadavg: 1.08 1.02 1.01 2/78 8106 /proc/meminfo: memFree=1490112/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=75224 CPUtime=1301.98 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15665 0 0 0 129842 356 0 0 25 0 1 0 312718425 77029376 15308 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 18806 15308 102 219 0 18583 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 75224 [startup+1362.3 s] /proc/loadavg: 1.17 1.04 1.01 2/78 8106 /proc/meminfo: memFree=1489664/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=75544 CPUtime=1361.96 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15772 0 0 0 135838 358 0 0 25 0 1 0 312718425 77357056 15415 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 18886 15415 102 219 0 18663 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 75544 [startup+1422.31 s] /proc/loadavg: 1.06 1.03 1.00 2/78 8106 /proc/meminfo: memFree=1489024/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=76160 CPUtime=1421.95 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 15924 0 0 0 141834 361 0 0 25 0 1 0 312718425 77987840 15567 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 19040 15567 102 219 0 18817 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 76160 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 8106 /proc/meminfo: memFree=1488576/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=76416 CPUtime=1481.93 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 16034 0 0 0 147830 363 0 0 25 0 1 0 312718425 78249984 15677 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545242 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 19104 15677 102 219 0 18881 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 76416 [startup+1542.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 8106 /proc/meminfo: memFree=1487872/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=77084 CPUtime=1541.92 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 16231 0 0 0 153826 366 0 0 25 0 1 0 312718425 78934016 15874 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 19271 15874 102 219 0 19048 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 77084 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 8108 /proc/meminfo: memFree=1487104/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=79180 CPUtime=1601.9 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 16786 0 0 0 159822 368 0 0 25 0 1 0 312718425 81080320 16044 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 19795 16044 102 219 0 19572 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 79180 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 8108 /proc/meminfo: memFree=1486080/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=80280 CPUtime=1661.88 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17048 0 0 0 165813 375 0 0 25 0 1 0 312718425 82206720 16306 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 20070 16306 102 219 0 19847 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 80280 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8108 /proc/meminfo: memFree=1485632/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=80804 CPUtime=1721.87 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17169 0 0 0 171809 378 0 0 25 0 1 0 312718425 82743296 16427 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 20201 16427 102 219 0 19978 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 80804 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8108 /proc/meminfo: memFree=1485312/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=80804 CPUtime=1781.86 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17232 0 0 0 177805 381 0 0 25 0 1 0 312718425 82743296 16490 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 20201 16490 102 219 0 19978 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 80804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8108 /proc/meminfo: memFree=1485248/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=80952 CPUtime=1800.06 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17244 0 0 0 179624 382 0 0 25 0 1 0 312718425 82894848 16502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 20238 16502 102 219 0 20015 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 80952 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8108 /proc/meminfo: memFree=1485248/2055920 swapFree=4146788/4192956 [pid=8105] ppid=8103 vsize=80952 CPUtime=1800.06 /proc/8105/stat : 8105 (PBS4_SAT07v2) R 8103 8105 7685 0 -1 4194304 17244 0 0 0 179624 382 0 0 25 0 1 0 312718425 82894848 16502 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8105/statm: 20238 16502 102 219 0 20015 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 80952 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.09 CPU user time (s): 1796.25 CPU system time (s): 3.83542 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 80952 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.25 system time used= 3.83542 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17247 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= 3349 runsolver used 1.40679 second user time and 3.78242 second system time The end
Begin job on node29 on Tue May 8 18:13:47 UTC 2007 IDJOB= 459066 IDBENCH= 2837 IDSOLVER= 200 FILE ID= node29/459066-1178648027 PBS_JOBID= 5218388 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-459066-1178648027 -o ROOT/results/node29/conversion-459066-1178648027 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-459066-1178648027 -o ROOT/results/node29/solver-459066-1178648027 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459066-1178648027/instance-459066-1178648027.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= cb09f183d3805e6536d629586026461f RANDOM SEED= 603091133 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1551840 kB Buffers: 40584 kB Cached: 340716 kB SwapCached: 11264 kB Active: 137832 kB Inactive: 266804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1551840 kB SwapTotal: 4192956 kB SwapFree: 4146788 kB Dirty: 2464 kB Writeback: 0 kB Mapped: 30380 kB Slab: 84852 kB Committed_AS: 7071852 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 node29 on Tue May 8 18:43:49 UTC 2007