Trace number 459211

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)151 1800.06 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark26.8039
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2273
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 2273
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2273
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	151

Conversion Script Data (download as text)

/tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-459211-1178651425 -o ROOT/results/node10/solver-459211-1178651425 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459211-1178651425/instance-459211-1178651425.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.98 0.99 3/77 28175
/proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=1912 CPUtime=0
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 341180007 1957888 267 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 478 267 84 219 0 255 0

[startup+0.0908089 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28175
/proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=2592 CPUtime=0.08
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 478 0 0 0 8 0 0 0 18 0 1 0 341180007 2654208 460 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 648 460 86 219 0 425 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2592

[startup+0.10181 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28175
/proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=2592 CPUtime=0.09
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 494 0 0 0 9 0 0 0 18 0 1 0 341180007 2654208 476 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 648 476 86 219 0 425 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2592

[startup+0.301854 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28175
/proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=3400 CPUtime=0.29
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 723 0 0 0 28 1 0 0 19 0 1 0 341180007 3481600 656 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 850 656 102 219 0 627 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3400

[startup+0.701939 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28175
/proc/meminfo: memFree=1794568/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=4196 CPUtime=0.69
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 872 0 0 0 68 1 0 0 23 0 1 0 341180007 4296704 805 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 1049 805 102 219 0 826 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4196

[startup+1.50211 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1791232/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=5788 CPUtime=1.49
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 1094 0 0 0 147 2 0 0 25 0 1 0 341180007 5926912 1027 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 1447 1027 102 219 0 1224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5788

[startup+3.10146 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1790336/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=5788 CPUtime=3.09
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 1286 0 0 0 307 2 0 0 25 0 1 0 341180007 5926912 1219 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 1447 1219 102 219 0 1224 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5788

[startup+6.30115 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1788736/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=7836 CPUtime=6.29
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 1626 0 0 0 627 2 0 0 25 0 1 0 341180007 8024064 1559 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 1959 1559 102 219 0 1736 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7836

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1786048/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=12452 CPUtime=12.69
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 2403 0 0 0 1265 4 0 0 25 0 1 0 341180007 12750848 2239 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134546290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 3113 2239 102 219 0 2890 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12452

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1780160/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=21348 CPUtime=25.48
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 3801 0 0 0 2542 6 0 0 25 0 1 0 341180007 21860352 3637 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 5337 3637 102 219 0 5114 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21348

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1772608/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=23980 CPUtime=51.07
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 5649 0 0 0 5097 10 0 0 25 0 1 0 341180007 24555520 5485 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 5995 5485 102 219 0 5772 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23980

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1770496/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=25968 CPUtime=102.25
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 6193 0 0 0 10210 15 0 0 25 0 1 0 341180007 26591232 6029 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 6492 6029 102 219 0 6269 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25968

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1768576/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=28600 CPUtime=162.23
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 6866 0 0 0 16202 21 0 0 25 0 1 0 341180007 29286400 6509 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 7150 6509 102 219 0 6927 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28600

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1767104/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=29708 CPUtime=222.21
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 7217 0 0 0 22197 24 0 0 25 0 1 0 341180007 30420992 6860 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 7427 6860 102 219 0 7204 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 29708

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1766144/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=30468 CPUtime=282.18
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 7446 0 0 0 28192 26 0 0 25 0 1 0 341180007 31199232 7089 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 7617 7089 102 219 0 7394 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 30468

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1764864/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=33124 CPUtime=342.16
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8142 0 0 0 34185 31 0 0 25 0 1 0 341180007 33918976 7400 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 8281 7400 102 219 0 8058 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 33124

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1764224/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=33612 CPUtime=402.14
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8294 0 0 0 40179 35 0 0 25 0 1 0 341180007 34418688 7552 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 8403 7552 102 219 0 8180 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 33612

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1763520/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=33956 CPUtime=462.12
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8457 0 0 0 46174 38 0 0 25 0 1 0 341180007 34770944 7715 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 8489 7715 102 219 0 8266 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 33956

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1762880/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=34456 CPUtime=522.09
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8598 0 0 0 52167 42 0 0 25 0 1 0 341180007 35282944 7856 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 8614 7856 102 219 0 8391 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 34456

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1762432/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=34736 CPUtime=582.07
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8703 0 0 0 58161 46 0 0 25 0 1 0 341180007 35569664 7961 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 8684 7961 102 219 0 8461 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 34736

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1761792/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=35004 CPUtime=642.06
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 8849 0 0 0 64155 51 0 0 25 0 1 0 341180007 35844096 8107 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 8751 8107 102 219 0 8528 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 35004


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1758528/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=40644 CPUtime=881.96
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10378 0 0 0 88129 67 0 0 25 0 1 0 341180007 41619456 8867 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10161 8867 102 219 0 9938 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 40644

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1758016/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=40748 CPUtime=941.94
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10481 0 0 0 94124 70 0 0 25 0 1 0 341180007 41725952 8970 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10187 8970 102 219 0 9964 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 40748

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1757312/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=41112 CPUtime=1001.93
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10652 0 0 0 100116 77 0 0 25 0 1 0 341180007 42098688 9141 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10278 9141 102 219 0 10055 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 41112

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1756992/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=41492 CPUtime=1061.9
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10723 0 0 0 106111 79 0 0 25 0 1 0 341180007 42487808 9212 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10373 9212 102 219 0 10150 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 41492

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1756480/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=41628 CPUtime=1121.87
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10846 0 0 0 112104 83 0 0 25 0 1 0 341180007 42627072 9335 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545514 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10407 9335 102 219 0 10184 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 41628

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1755840/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=42024 CPUtime=1181.85
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 10983 0 0 0 118098 87 0 0 25 0 1 0 341180007 43032576 9472 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10506 9472 102 219 0 10283 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 42024

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1755520/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=42300 CPUtime=1241.83
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11058 0 0 0 124093 90 0 0 25 0 1 0 341180007 43315200 9547 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10575 9547 102 219 0 10352 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 42300

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1755008/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=42436 CPUtime=1301.82
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11179 0 0 0 130087 95 0 0 25 0 1 0 341180007 43454464 9668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10609 9668 102 219 0 10386 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 42436

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1754560/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=42836 CPUtime=1361.79
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11269 0 0 0 136081 98 0 0 25 0 1 0 341180007 43864064 9758 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10709 9758 102 219 0 10486 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 42836

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1754240/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=42836 CPUtime=1421.77
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11349 0 0 0 142077 100 0 0 25 0 1 0 341180007 43864064 9838 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10709 9838 102 219 0 10486 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 42836

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1753664/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=43280 CPUtime=1481.75
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11485 0 0 0 148067 108 0 0 25 0 1 0 341180007 44318720 9974 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10820 9974 102 219 0 10597 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 43280

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28176
/proc/meminfo: memFree=1753088/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=43740 CPUtime=1541.72
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11627 0 0 0 154058 114 0 0 25 0 1 0 341180007 44789760 10116 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10935 10116 102 219 0 10712 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 43740

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 28176
/proc/meminfo: memFree=1752640/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=43868 CPUtime=1601.7
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11727 0 0 0 160053 117 0 0 25 0 1 0 341180007 44920832 10216 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10967 10216 102 219 0 10744 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 43868

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28178
/proc/meminfo: memFree=1752320/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=43968 CPUtime=1661.68
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11793 0 0 0 166049 119 0 0 25 0 1 0 341180007 45023232 10282 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 10992 10282 102 219 0 10769 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 43968

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28178
/proc/meminfo: memFree=1751808/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=44316 CPUtime=1721.65
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 11920 0 0 0 172042 123 0 0 25 0 1 0 341180007 45379584 10409 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 11079 10409 102 219 0 10856 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 44316

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28178
/proc/meminfo: memFree=1751360/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=44408 CPUtime=1781.63
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 12010 0 0 0 178036 127 0 0 25 0 1 0 341180007 45473792 10499 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 11102 10499 102 219 0 10879 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 44408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28178
/proc/meminfo: memFree=1751104/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=44780 CPUtime=1800.03
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 12074 0 0 0 179873 130 0 0 25 0 1 0 341180007 45854720 10563 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 11195 10563 102 219 0 10972 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 44780

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28178
/proc/meminfo: memFree=1751104/2055920 swapFree=4145576/4192956
[pid=28175] ppid=28173 vsize=44780 CPUtime=1800.03
/proc/28175/stat : 28175 (PBS4_SAT07v2) R 28173 28175 27858 0 -1 4194304 12074 0 0 0 179873 130 0 0 25 0 1 0 341180007 45854720 10563 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28175/statm: 11195 10563 102 219 0 10972 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 44780

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.06
CPU user time (s): 1798.74
CPU system time (s): 1.3158
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 44780

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

runsolver used 1.40379 second user time and 3.77543 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Tue May  8 19:10:25 UTC 2007

IDJOB= 459211
IDBENCH= 24982
IDSOLVER= 200
FILE ID= node10/459211-1178651425

PBS_JOBID= 5217834

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/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-459211-1178651425 -o ROOT/results/node10/conversion-459211-1178651425 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459211-1178651425/instance-459211-1178651425.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  55bd571d186b9003e67d2301a4d2bce5

RANDOM SEED= 877128756

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1794976 kB
Buffers:         17128 kB
Cached:         161728 kB
SwapCached:      15556 kB
Active:         102464 kB
Inactive:        99304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1794976 kB
SwapTotal:     4192956 kB
SwapFree:      4145576 kB
Dirty:            2632 kB
Writeback:           0 kB
Mapped:          30028 kB
Slab:            44752 kB
Committed_AS:  5195072 kB
PageTables:       1708 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 node10 on Tue May  8 19:40:28 UTC 2007