Trace number 459667

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)14 1800.07 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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/459667-1178657817/instance-459667-1178657817.opb ......
0.09/0.16	c done parsing opb.
0.09/0.16	o 101
0.09/0.17	o 100
0.09/0.17	o 99
0.09/0.17	o 98
0.09/0.18	o 97
0.09/0.18	o 96
0.09/0.19	o 95
0.09/0.19	o 94
0.09/0.19	o 93
0.19/0.20	o 92
0.19/0.20	o 87
0.19/0.21	o 86
0.19/0.21	o 85
0.19/0.21	o 84
0.19/0.22	o 83
0.19/0.22	o 82
0.19/0.23	o 81
0.19/0.23	o 80
0.19/0.23	o 79
0.19/0.24	o 78
0.19/0.24	o 77
0.19/0.25	o 76
0.19/0.25	o 75
0.19/0.25	o 74
0.19/0.26	o 73
0.19/0.26	o 72
0.19/0.27	o 71
0.19/0.27	o 70
0.19/0.27	o 69
0.19/0.28	o 68
0.19/0.28	o 67
0.19/0.29	o 66
0.19/0.29	o 65
0.19/0.29	o 64
0.29/0.30	o 63
0.29/0.30	o 62
0.29/0.31	o 61
0.29/0.31	o 60
0.29/0.31	o 59
0.29/0.32	o 58
0.29/0.32	o 57
0.29/0.33	o 56
0.29/0.33	o 55
0.29/0.33	o 54
0.29/0.34	o 53
0.29/0.34	o 52
0.29/0.35	o 51
0.29/0.35	o 50
0.29/0.35	o 49
0.29/0.36	o 48
0.29/0.36	o 47
0.29/0.37	o 46
0.29/0.37	o 45
0.29/0.37	o 44
0.29/0.38	o 43
0.29/0.38	o 42
0.29/0.38	o 41
0.29/0.39	o 40
0.29/0.39	o 39
0.38/0.40	o 38
0.38/0.40	o 37
0.38/0.40	o 36
0.38/0.41	o 35
0.38/0.41	o 34
0.38/0.42	o 33
0.38/0.42	o 32
0.38/0.42	o 31
0.38/0.43	o 30
0.38/0.43	o 29
0.38/0.43	o 28
0.38/0.44	o 27
0.38/0.44	o 26
0.38/0.45	o 25
0.38/0.45	o 24
0.38/0.46	o 23
0.38/0.46	o 22
0.49/0.58	o 21
22.48/22.50	o 20
22.59/22.63	o 19
23.19/23.25	o 18
25.69/25.78	o 17
46.18/46.29	o 15
384.29/384.53	o 14
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	v -x1 -x10 -x100 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014
1800.05/1800.61	v -x1015 -x1016 -x1017 -x1018 -x1019 -x102 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030
1800.05/1800.61	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.05/1800.61	v -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 x1063
1800.05/1800.61	v -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x108
1800.05/1800.61	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096
1800.05/1800.61	v -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111
1800.05/1800.61	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128
1800.05/1800.61	v -x1129 -x113 -x1130 x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144
1800.05/1800.61	v -x1145 x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x116 -x1160
1800.05/1800.61	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x117 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177
1800.05/1800.61	v -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193
1800.05/1800.61	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209
1800.05/1800.61	v -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
1800.05/1800.61	v -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241
1800.05/1800.61	v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258
1800.05/1800.61	v -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274
1800.05/1800.61	v -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290
1800.05/1800.61	v -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306
1800.05/1800.61	v -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322
1800.05/1800.61	v -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339
1800.05/1800.61	v -x134 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355
1800.05/1800.61	v -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 x137 -x1370 -x1371
1800.05/1800.61	v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
1800.05/1800.61	v -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 x1402 x1403
1800.05/1800.61	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142
1800.05/1800.61	v -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1800.05/1800.61	v -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x145 -x1450 -x1451
1800.05/1800.61	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468
1800.05/1800.61	v -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484
1800.05/1800.61	v -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x15 -x150
1800.05/1800.61	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
1800.05/1800.61	v -x1517 x1518 -x1519 x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532
1800.05/1800.61	v x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549
1800.05/1800.61	v x155 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565
1800.05/1800.61	v -x1566 x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581
1800.05/1800.61	v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597
1800.05/1800.61	v -x1598 x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612
1800.05/1800.61	v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 -x1626 -x1627 -x1628 -x1629
1800.05/1800.61	v -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 x1644 x1645
1800.05/1800.61	v -x1646 x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661
1800.05/1800.61	v -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678
1800.05/1800.61	v -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694
1800.05/1800.61	v -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171
1800.05/1800.61	v -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725
1800.05/1800.61	v -x1726 -x1727 -x1728 x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 x1740 -x1741
1800.05/1800.61	v -x1742 -x1743 -x1744 x1745 -x1746 x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758
1800.05/1800.61	v -x1759 -x176 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774
1800.05/1800.61	v -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x179 -x1790
1800.05/1800.61	v -x1791 -x1792 -x1793 -x1794 -x1795 x1796 -x1797 -x1798 -x1799 x18 x180 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806
1800.05/1800.61	v -x1807 -x1808 x1809 -x181 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822
1800.05/1800.61	v -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838
1800.05/1800.61	v -x1839 -x184 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854
1800.05/1800.61	v -x1855 x1856 -x1857 -x1858 x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870
1800.05/1800.61	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886
1800.05/1800.61	v -x1887 -x1888 -x1889 -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901
1800.05/1800.61	v -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917
1800.05/1800.61	v -x1918 -x1919 -x192 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 x1931 -x1932 -x1933
1800.05/1800.61	v -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949
1800.05/1800.61	v -x195 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965
1800.05/1800.61	v -x1966 -x1967 -x1968 -x1969 -x197 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981
1800.05/1800.61	v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 -x1998
1800.05/1800.61	v -x1999 -x2 -x20 -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012
1800.05/1800.61	v -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029
1800.05/1800.61	v -x203 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045
1800.05/1800.61	v -x2046 -x2047 -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061
1800.05/1800.61	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077
1800.05/1800.61	v -x2078 -x2079 -x208 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093
1800.05/1800.61	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109
1800.05/1800.61	v -x211 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x212 -x2120 -x2121 -x2122 -x2123 -x2124 x2125
1800.05/1800.61	v -x2126 -x2127 -x2128 -x2129 x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x214 -x2140 -x2141
1800.05/1800.61	v -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x215 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
1800.05/1800.61	v -x2159 -x216 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174
1800.05/1800.61	v -x2175 -x2176 -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 x2190
1800.05/1800.61	v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x22 x220 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206
1800.05/1800.61	v -x2207 -x2208 -x2209 -x221 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222
1800.05/1800.61	v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x223 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239
1800.05/1800.61	v -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x225 -x2250 x2251 -x2252 -x2253 -x2254 -x2255
1800.05/1800.61	v -x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271
1800.05/1800.61	v -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288
1800.05/1800.61	v -x2289 -x229 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303
1800.05/1800.61	v -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x232
1800.05/1800.61	v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
1800.05/1800.61	v -x2336 -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 x2351
1800.05/1800.61	v -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367
1800.05/1800.61	v -x2368 x2369 -x237 x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x238 -x2380 -x2381 -x2382 -x2383
1800.05/1800.61	v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x24
1800.05/1800.61	v -x240 -x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415
1800.05/1800.61	v -x2416 -x2417 -x2418 x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431
1800.05/1800.61	v -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448
1800.05/1800.61	v -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464
1800.05/1800.61	v -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x248 -x2480
1800.05/1800.61	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497
1800.05/1800.61	v -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511 -x2512
1800.05/1800.61	v -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528
1800.05/1800.61	v -x2529 -x253 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 x2542 -x2543 -x2544
1800.05/1800.61	v -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560
1800.05/1800.61	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577
1800.05/1800.61	v -x2578 x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593
1800.05/1800.61	v -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.05/1800.61	v -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x262 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625
1800.05/1800.61	v -x2626 x2627 -x2628 x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640 -x2641
1800.05/1800.61	v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 x2657 -x2658
1800.05/1800.61	v -x2659 -x266 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x267 -x2670 -x2671 -x2672 -x2673 -x2674
1800.05/1800.61	v -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 x2688 -x2689 -x269 -x2690
1800.05/1800.61	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x27 x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706
1800.05/1800.61	v -x2707 -x2708 -x2709 -x271 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722
1800.05/1800.61	v x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739
1800.05/1800.61	v -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 x2752 -x2753 -x2754 -x2755
1800.05/1800.61	v -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770 -x2771
1800.05/1800.61	v -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788
1800.05/1800.61	v -x2789 -x279 -x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x28 -x280 -x2800 -x2801 -x2802 -x2803
1800.05/1800.61	v -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 x2815 -x2816 -x2817 -x2818 -x2819 -x282
1800.05/1800.61	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835
1800.05/1800.61	v -x2836 -x2837 -x2838 -x2839 -x284 -x2840 x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851
1800.05/1800.61	v -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868
1800.05/1800.61	v -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884
1800.05/1800.61	v -x2885 -x2886 -x2887 x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x29 -x290
1800.05/1800.61	v -x2900 x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916
1800.05/1800.61	v -x2917 -x2918 -x2919 x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 x293 -x2930 x2931 -x2932
1800.05/1800.61	v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948
1800.05/1800.61	v -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964
1800.05/1800.61	v -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x298 -x2980
1800.05/1800.61	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996
1800.05/1800.61	v -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x301 -x3010 -x3011
1800.05/1800.61	v -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027
1800.05/1800.61	v -x3028 -x3029 x303 -x3030 -x3031 x3032 -x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043
1800.05/1800.61	v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x306
1800.05/1800.61	v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076
1800.05/1800.61	v x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x309 -x3090 -x3091 x3092
1800.05/1800.61	v -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108
1800.05/1800.61	v -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 x3123 -x3124
1800.05/1800.61	v -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140
1800.05/1800.61	v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1800.05/1800.61	v -x3157 -x3158 -x3159 -x316 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172
1800.05/1800.61	v -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188
1800.05/1800.61	v -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203
1800.05/1800.61	v -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x321 -x3210 x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x322
1800.05/1800.61	v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235
1800.05/1800.61	v -x3236 -x3237 -x3238 -x3239 -x324 x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x325 -x3250 -x3251
1800.05/1800.61	v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267
1800.05/1800.61	v x3268 -x3269 x327 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283
1800.05/1800.61	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299
1800.05/1800.61	v -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x331 -x3310 x3311 -x3312 -x3313 -x3314
1800.05/1800.61	v -x3315 -x3316 -x3317 -x3318 -x3319 -x332 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x333 -x3330
1800.05/1800.61	v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346
1800.05/1800.61	v -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x336 -x3360 -x3361 -x3362
1800.05/1800.61	v -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 x3378 -x3379
1800.05/1800.61	v -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395
1800.05/1800.61	v -x3396 -x3397 -x3398 -x3399 -x34 x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 x3407 -x3408 -x3409 -x341 -x3410
1800.05/1800.61	v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1800.05/1800.61	v -x3428 -x3429 -x343 -x3430 -x3431 -x3432 -x3433 x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443
1800.05/1800.61	v x3444 -x3445 -x3446 x3447 x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346
1800.05/1800.61	v -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476
1800.05/1800.61	v -x3477 -x3478 -x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 -x3488 -x3489 -x349 -x3490 -x3491 -x3492
1800.05/1800.61	v -x3493 -x3494 -x3495 -x3496 x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508
1800.05/1800.61	v -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524
1800.05/1800.61	v -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540
1800.05/1800.61	v -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557
1800.05/1800.61	v -x3558 x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573
1800.05/1800.61	v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582 -x3583 x3584 -x3585 x3586 -x3587 -x3588 -x3589 -x359
1800.05/1800.61	v x3590 -x3591 -x3592 -x3593 -x3594 x3595 -x3596 x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 x3603 -x3604 -x3605
1800.05/1800.61	v -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x362 -x3620 -x3621
1800.05/1800.61	v -x3622 x3623 -x3624 -x3625 -x3626 x3627 -x3628 -x3629 -x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638
1800.05/1800.61	v x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644 x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654
1800.05/1800.61	v -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x367 -x3670
1800.05/1800.61	v x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x368 -x3680 -x3681 -x3682 -x3683 -x3684 x3685 -x3686 -x3687
1800.05/1800.61	v -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702
1800.05/1800.61	v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 x3718 -x3719
1800.05/1800.61	v -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x373 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735
1800.05/1800.61	v -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 x3747 -x3748 -x3749 -x375 -x3750 -x3751
1800.05/1800.61	v -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x376 -x3760 -x3761 -x3762 -x3763 x3764 -x3765 -x3766 -x3767 -x3768
1800.05/1800.61	v -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784
1800.05/1800.61	v -x3785 -x3786 x3787 -x3788 -x3789 -x379 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 x3797 -x3798 x3799 -x38 -x380
1800.05/1800.61	v -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816
1800.05/1800.61	v -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 -x3830 -x3831 -x3832
1800.05/1800.61	v -x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x384 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849
1800.05/1800.61	v -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865
1800.05/1800.61	v -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 x3881
1800.05/1800.61	v -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x389 x3890 x3891 -x3892 x3893 -x3894 -x3895 -x3896 -x3897 -x3898
1800.05/1800.61	v -x3899 -x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 x3905 -x3906 -x3907 -x3908 -x3909 -x391 -x3910 -x3911 x3912 -x3913
1800.05/1800.61	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x392 -x3920 -x3921 x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x393
1800.05/1800.61	v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x394 -x3940 x3941 -x3942 -x3943 -x3944 x3945 -x3946
1800.05/1800.61	v -x3947 -x3948 -x3949 -x395 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 x3959 -x396 -x3960 -x3961 -x3962
1800.05/1800.61	v -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x397 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979
1800.05/1800.61	v -x398 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x399 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995
1800.05/1800.61	v -x3996 x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x401 -x4010
1800.05/1800.61	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x402 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026
1800.05/1800.61	v x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x404 -x4040 x4041 x4042
1800.05/1800.61	v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 -x4050 -x4051 -x4052 x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059
1800.05/1800.61	v -x406 -x4060 -x4061 x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x407 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075
1800.05/1800.61	v -x4076 -x4077 x4078 -x4079 -x408 -x4080 -x4081 -x4082 x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x409 x4090 -x4091
1800.05/1800.61	v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 x41 -x410 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107
1800.05/1800.61	v -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123
1800.05/1800.61	v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x413 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 x414
1800.05/1800.61	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x415 -x4150 -x4151 -x4152 -x4153 x4154 -x4155 -x4156
1800.05/1800.61	v -x4157 -x4158 -x4159 -x416 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 x4167 -x4168 -x4169 -x417 -x4170 -x4171 -x4172
1800.05/1800.61	v -x4173 -x4174 -x4175 -x4176 x4177 -x4178 -x4179 -x418 x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189
1800.05/1800.61	v -x419 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204
1800.05/1800.61	v -x4205 -x4206 -x4207 -x4208 -x4209 x421 -x4210 -x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 x422 -x4220
1800.05/1800.61	v -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x423 -x4230 -x4231 -x4232 -x4233 x4234 -x4235 -x4236 -x4237
1800.05/1800.61	v -x4238 -x4239 -x424 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x425 -x4250 -x4251 -x4252 x4253
1800.05/1800.61	v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x426 -x4260 x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x427
1800.05/1800.61	v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285
1800.05/1800.61	v -x4286 -x4287 -x4288 -x4289 x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x43 -x430 -x4300
1800.05/1800.61	v -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 x431 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317
1800.05/1800.61	v -x4318 x4319 -x432 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x433 -x4330 -x4331 -x4332 -x4333
1800.05/1800.61	v -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349
1800.05/1800.61	v -x435 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x436 x4360 -x4361 -x4362 -x4363 -x4364 -x4365
1800.05/1800.61	v -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 x4377 -x4378 -x4379 -x438 -x4380 -x4381
1800.05/1800.61	v -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x439 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398
1800.05/1800.61	v -x4399 -x44 -x440 -x4400 -x4401 -x4402 x4403 -x4404 x4405 -x4406 -x4407 -x4408 -x4409 -x441 -x4410 -x4411 -x4412 -x4413
1800.05/1800.61	v -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x442 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429
1800.05/1800.61	v -x443 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x444 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445
1800.05/1800.61	v -x4446 -x4447 -x4448 -x4449 -x445 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x446 -x4460 -x4461
1800.05/1800.61	v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x447 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478
1800.05/1800.61	v -x4479 -x448 -x4480 -x4481 -x4482 -x4483 -x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x449 -x4490 -x4491 -x4492 -x4493 -x4494
1800.05/1800.61	v -x4495 x4496 -x4497 -x4498 -x4499 -x45 -x450 -x4500 x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 x451
1800.05/1800.61	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525
1800.05/1800.61	v -x4526 -x4527 -x4528 -x4529 -x453 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 x454 -x4540 x4541
1800.05/1800.61	v -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x455 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 -x4558
1800.05/1800.61	v -x4559 x456 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x457 -x4570 -x4571 -x4572 -x4573 -x4574
1800.05/1800.61	v -x4575 -x4576 -x4577 -x4578 -x4579 -x458 -x4580 -x4581 x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x459 -x4590
1800.05/1800.61	v -x4591 -x4592 -x4593 -x4594 -x4595 x4596 -x4597 -x4598 -x4599 x46 -x460 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606
1800.05/1800.61	v x4607 x4608 -x4609 -x461 -x4610 -x4611 -x4612 -x4613 -x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 -x4621 -x4622
1800.05/1800.61	v -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x463 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638
1800.05/1800.61	v -x4639 -x464 -x4640 -x4641 x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 -x4652 x4653 -x4654
1800.05/1800.61	v -x4655 -x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x467 -x4670
1800.05/1800.61	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686
1800.05/1800.61	v -x4687 -x4688 -x4689 -x469 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 x47 -x470 -x4700 -x4701
1800.05/1800.61	v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717
1800.05/1800.61	v -x4718 -x4719 -x472 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x473 -x4730 -x4731 -x4732 -x4733
1800.05/1800.61	v -x4734 x4735 -x4736 -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x475
1800.05/1800.61	v -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x476 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766
1800.05/1800.61	v -x4767 -x4768 -x4769 -x477 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x478 -x4780 x4781 -x4782
1800.05/1800.61	v -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x479 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 x4798 -x4799
1800.05/1800.61	v -x48 -x480 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 x4813 -x4814
1800.05/1800.61	v -x4815 -x4816 -x4817 -x4818 -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x483 x4830
1800.05/1800.61	v -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846
1800.05/1800.61	v -x4847 -x4848 -x4849 -x485 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x486 -x4860 -x4861 x4862
1800.05/1800.61	v -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x487 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879
1800.05/1800.61	v -x488 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 x4893 -x4894 -x4895
1800.05/1800.61	v x4896 -x4897 x4898 x4899 -x49 x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 -x491 -x4910 -x4911
1800.05/1800.61	v -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x492 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927
1800.05/1800.61	v -x4928 -x4929 -x493 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943
1800.05/1800.61	v -x4944 -x4945 -x4946 -x4947 x4948 x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x496
1800.05/1800.61	v -x4960 -x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x497 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976
1800.05/1800.61	v x4977 -x4978 -x4979 -x498 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x499 -x4990 -x4991 -x4992
1800.05/1800.61	v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5 -x50 -x500 -x5000 -x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007
1800.05/1800.61	v -x5008 -x5009 -x501 -x5010 -x5011 x5012 x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x502 -x5020 -x5021 -x5022 x5023
1800.05/1800.61	v -x5024 -x5025 -x5026 x5027 x5028 -x5029 -x503 -x5030 -x5031 -x5032 -x5033 -x5034 x5035 -x5036 -x5037 -x5038 -x5039 -x504
1800.05/1800.61	v -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x505 -x5050 -x5051 -x5052 -x5053 x5054 -x5055 -x5056
1800.05/1800.61	v x5057 -x5058 -x5059 -x506 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 x5067 -x5068 -x5069 -x507 -x5070 x5071 -x5072
1800.05/1800.61	v x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089
1800.05/1800.61	v -x509 -x5090 -x5091 x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104
1800.05/1800.61	v -x5105 -x5106 -x5107 -x5108 -x5109 -x511 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x512 -x5120
1800.05/1800.61	v -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x513 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136
1800.05/1800.61	v -x5137 -x5138 -x5139 -x514 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x515 -x5150 -x5151 x5152
1800.05/1800.61	v -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x516 -x5160 -x5161 -x5162 -x5163 -x5164 x5165 -x5166 -x5167 -x5168 -x5169
1800.05/1800.61	v -x517 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185
1800.05/1800.61	v -x5186 -x5187 -x5188 -x5189 -x519 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200
1800.05/1800.61	v -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x521 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216
1800.05/1800.61	v -x5217 -x5218 -x5219 -x522 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 x5226 -x5227 -x5228 x5229 x523 -x5230 -x5231 -x5232
1800.05/1800.61	v -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x524 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 x5247 -x5248 -x5249
1800.05/1800.61	v -x525 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x526 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265
1800.05/1800.61	v -x5266 -x5267 -x5268 -x5269 -x527 -x5270 -x5271 x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281
1800.05/1800.61	v -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x529 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297
1800.05/1800.61	v -x5298 -x5299 -x53 -x530 -x5300 x5301 x5302 -x5303 -x5304 x5305 -x5306 -x5307 -x5308 x5309 -x531 -x5310 -x5311 -x5312 -x5313
1800.05/1800.61	v -x5314 -x5315 -x5316 x5317 x5318 -x5319 -x532 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x533
1800.05/1800.61	v -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x534 -x5340 x5341 -x5342 -x5343 -x5344 -x5345 -x5346
1800.05/1800.61	v -x5347 -x5348 -x5349 -x535 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x536 -x5360 -x5361 -x5362
1800.05/1800.61	v -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379
1800.05/1800.61	v -x538 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 x5388 -x5389 -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395
1800.05/1800.61	v -x5396 -x5397 -x5398 -x5399 -x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x541 -x5410
1800.05/1800.61	v x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427
1800.05/1800.61	v -x5428 -x5429 -x543 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x544 -x5440 -x5441 -x5442 -x5443
1800.05/1800.61	v -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 x5458 -x5459 -x546
1800.05/1800.61	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 x5469 -x547 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476
1800.05/1800.61	v -x5477 -x5478 -x5479 -x548 x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x549 -x5490 x5491 -x5492
1800.05/1800.61	v -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508
1800.05/1800.61	v -x5509 -x551 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x552 -x5520 -x5521 -x5522 -x5523 -x5524
1800.05/1800.61	v -x5525 -x5526 -x5527 x5528 -x5529 -x553 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x554 -x5540
1800.05/1800.61	v -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556
1800.05/1800.61	v -x5557 -x5558 -x5559 -x556 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x557 -x5570 -x5571 -x5572
1800.05/1800.61	v -x5573 -x5574 -x5575 x5576 -x5577 -x5578 -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589
1800.05/1800.61	v -x559 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x56 x560 -x5600 -x5601 x5602 -x5603 -x5604
1800.05/1800.61	v -x5605 -x5606 -x5607 -x5608 -x5609 -x561 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 x5617 -x5618 -x5619 -x562 -x5620
1800.05/1800.61	v -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 x563 -x5630 -x5631 -x5632 -x5633 x5634 -x5635 -x5636 -x5637
1800.05/1800.61	v -x5638 -x5639 -x564 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x565 -x5650 -x5651 -x5652 -x5653
1800.05/1800.61	v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x566 -x5660 x5661 -x5662 -x5663 -x5664 -x5665 -x5666 x5667 -x5668 -x5669 -x567
1800.05/1800.61	v -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 x5685 -x5686
1800.05/1800.61	v -x5687 -x5688 -x5689 -x569 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 x5699 -x57 -x570 -x5700 -x5701
1800.05/1800.61	v -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x571 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717
1800.05/1800.61	v -x5718 -x5719 -x572 -x5720 x5721 -x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x573 -x5730 -x5731 -x5732 -x5733
1800.05/1800.61	v -x5734 x5735 -x5736 x5737 -x5738 -x5739 -x574 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 x5746 -x5747 -x5748 -x5749 -x575
1800.05/1800.61	v -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 x5759 -x576 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766
1800.05/1800.61	v -x5767 -x5768 -x5769 -x577 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x578 -x5780 -x5781 -x5782
1800.05/1800.61	v -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 x5794 x5795 -x5796 -x5797 -x5798 -x5799
1800.05/1800.61	v -x58 -x580 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 -x5807 -x5808 -x5809 -x581 -x5810 -x5811 -x5812 -x5813 -x5814
1800.05/1800.61	v x5815 -x5816 -x5817 -x5818 x5819 -x582 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x583 x5830
1800.05/1800.61	v -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x584 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846
1800.05/1800.61	v -x5847 -x5848 -x5849 -x585 -x5850 -x5851 -x5852 -x5853 x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x586 -x5860 -x5861 -x5862
1800.05/1800.61	v -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x587 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878
1800.05/1800.61	v -x5879 -x588 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 -x5892 -x5893 -x5894
1800.05/1800.61	v -x5895 -x5896 -x5897 -x5898 -x5899 -x59 -x590 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 x591
1800.05/1800.61	v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x592 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925
1800.05/1800.61	v -x5926 -x5927 x5928 x5929 -x593 -x5930 -x5931 -x5932 -x5933 -x5934 x5935 -x5936 -x5937 -x5938 -x5939 -x594 -x5940 -x5941
1800.05/1800.61	v -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 x5949 -x595 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958
1800.05/1800.61	v -x5959 -x596 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x597 -x5970 -x5971 -x5972 -x5973 -x5974
1800.05/1800.61	v -x5975 -x5976 -x5977 x5978 -x5979 -x598 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 x5989 -x599 x5990
1800.05/1800.61	v -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6 -x60 -x600 -x6000 -x6001 -x6002 x6003 -x6004 -x6005
1800.05/1800.61	v -x6006 -x6007 -x6008 -x6009 -x601 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x602 x6020 -x6021
1800.05/1800.61	v -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 x6028 -x6029 -x603 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038
1800.05/1800.61	v -x6039 -x604 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x605 -x6050 -x6051 x6052 -x6053 -x6054
1800.05/1800.61	v -x6055 -x6056 -x6057 -x6058 -x6059 -x606 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 x6067 -x6068 -x6069 -x607 -x6070
1800.05/1800.61	v -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x608 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086
1800.05/1800.61	v -x6087 -x6088 -x6089 -x609 -x6090 -x6091 x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x61 -x610 -x6100 -x6101
1800.05/1800.61	v -x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x611 -x6110 -x6111 -x6112 -x6113 -x6114 x6115 -x6116 -x6117 -x6118
1800.05/1800.61	v x6119 -x612 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 x6128 -x6129 -x613 -x6130 -x6131 -x6132 x6133 x6134
1800.05/1800.61	v -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 -x6141 -x6142 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x615 -x6150
1800.05/1800.61	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x616 -x6160 -x6161 -x6162 x6163 -x6164 -x6165 -x6166 -x6167
1800.05/1800.61	v x6168 -x6169 -x617 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x618 -x6180 -x6181 -x6182 -x6183
1800.05/1800.61	v x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x619 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x62
1800.05/1800.61	v -x620 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x621 -x6210 -x6211 -x6212 x6213 -x6214 -x6215
1800.05/1800.61	v -x6216 x6217 -x6218 -x6219 -x622 -x6220 -x6221 -x6222 -x6223 x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x623 -x6230 -x6231
1800.05/1800.61	v -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 x6238 -x6239 -x624 x6240 -x6241 x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248
1800.05/1800.61	v -x6249 -x625 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 -x6258 -x6259 -x626 -x6260 -x6261 -x6262 -x6263 -x6264
1800.05/1800.61	v -x6265 -x6266 -x6267 -x6268 -x6269 -x627 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x628 -x6280
1800.05/1800.61	v -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x629 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297
1800.05/1800.61	v -x6298 -x6299 -x63 -x630 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x631 -x6310 -x6311 -x6312
1800.05/1800.61	v -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 x6319 -x632 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329
1800.05/1800.61	v -x633 -x6330 -x6331 -x6332 -x6333 x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x634 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345
1800.05/1800.61	v -x6346 x6347 -x6348 -x6349 -x635 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x636 -x6360 -x6361
1800.05/1800.61	v -x6362 x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x637 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378
1800.05/1800.61	v -x6379 -x638 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x639 -x6390 -x6391 -x6392 -x6393 -x6394
1800.05/1800.61	v -x6395 -x6396 -x6397 -x6398 -x6399 -x64 x640 -x6400 -x6401 -x6402 -x6403 x6404 -x641 x642 -x643 x644 -x645 -x646 -x647 -x648
1800.05/1800.61	v -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667
1800.05/1800.61	v -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686
1800.05/1800.61	v x687 -x688 -x689 -x69 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705
1800.05/1800.61	v -x706 -x707 -x708 -x709 -x71 -x710 -x711 x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724
1800.05/1800.61	v x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x74 -x740 -x741 -x742 x743 -x744
1800.05/1800.61	v -x745 -x746 x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764
1800.05/1800.61	v -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 x774 -x775 -x776 x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783
1800.05/1800.61	v -x784 -x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802
1800.05/1800.61	v -x803 -x804 -x805 -x806 x807 x808 -x809 -x81 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822
1800.05/1800.61	v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841
1800.05/1800.61	v -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x86 -x860
1800.05/1800.61	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88
1800.05/1800.61	v -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899
1800.05/1800.61	v -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918
1800.05/1800.61	v -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937
1800.05/1800.61	v -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x95 x950 -x951 -x952 -x953 -x954 -x955 -x956
1800.05/1800.61	v -x957 -x958 -x959 -x96 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 x974 -x975
1800.05/1800.61	v -x976 -x977 -x978 -x979 -x98 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994
1800.05/1800.61	v -x995 -x996 -x997 -x998 -x999

Verifier Data (download as text)

OK	14

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459667-1178657817/instance-459667-1178657817.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node29/watcher-459667-1178657817 -o ROOT/results/node29/solver-459667-1178657817 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459667-1178657817/instance-459667-1178657817.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.86 0.97 0.99 3/77 8976
/proc/meminfo: memFree=1549792/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=2212 CPUtime=0
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 341 0 0 0 0 0 0 0 18 0 1 0 313697533 2265088 323 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 553 324 86 219 0 330 0

[startup+0.0440769 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 8976
/proc/meminfo: memFree=1549792/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=2620 CPUtime=0.04
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 478 0 0 0 4 0 0 0 18 0 1 0 313697533 2682880 460 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591341 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 655 460 86 219 0 432 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2620

[startup+0.10108 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 8976
/proc/meminfo: memFree=1549792/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=3324 CPUtime=0.09
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 313697533 3403776 622 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 831 622 86 219 0 608 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3324

[startup+0.301092 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 8976
/proc/meminfo: memFree=1549792/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=4200 CPUtime=0.29
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 926 0 0 0 29 0 0 0 19 0 1 0 313697533 4300800 843 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 1050 843 101 219 0 827 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4200

[startup+0.701118 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 8976
/proc/meminfo: memFree=1549792/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=5172 CPUtime=0.69
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 1089 0 0 0 68 1 0 0 22 0 1 0 313697533 5296128 1006 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 1293 1006 102 219 0 1070 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5172

[startup+1.50117 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1546072/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=5172 CPUtime=1.49
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 1110 0 0 0 148 1 0 0 25 0 1 0 313697533 5296128 1027 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 1293 1027 102 219 0 1070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5172

[startup+3.10127 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1545752/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=5172 CPUtime=3.09
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 1150 0 0 0 308 1 0 0 25 0 1 0 313697533 5296128 1067 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555591 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 1293 1067 102 219 0 1070 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5172

[startup+6.30148 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1545304/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=5876 CPUtime=6.29
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 1282 0 0 0 628 1 0 0 25 0 1 0 313697533 6017024 1150 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 1469 1150 102 219 0 1246 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5876

[startup+12.7019 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1544544/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=6988 CPUtime=12.69
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 1471 0 0 0 1267 2 0 0 25 0 1 0 313697533 7155712 1339 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 1747 1339 102 219 0 1524 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6988

[startup+25.5017 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1541984/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=10648 CPUtime=25.49
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 2088 0 0 0 2545 4 0 0 25 0 1 0 313697533 10903552 1956 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 2662 1956 102 219 0 2439 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10648

[startup+51.1013 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1538272/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=13940 CPUtime=51.08
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 3123 0 0 0 5100 8 0 0 25 0 1 0 313697533 14274560 2894 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 3485 2894 102 219 0 3262 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13940

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1536224/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=16248 CPUtime=102.26
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 3777 0 0 0 10210 16 0 0 25 0 1 0 313697533 16637952 3355 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 4062 3355 102 219 0 3839 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16248

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1535328/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=16984 CPUtime=162.25
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 4042 0 0 0 16199 26 0 0 25 0 1 0 313697533 17391616 3620 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 4246 3620 102 219 0 4023 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 16984

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 8977
/proc/meminfo: memFree=1534496/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=17564 CPUtime=222.24
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 4247 0 0 0 22189 35 0 0 25 0 1 0 313697533 17985536 3825 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 4391 3825 102 219 0 4168 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 17564

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 9143
/proc/meminfo: memFree=1532392/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=19492 CPUtime=282.13
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 4816 0 0 0 28169 44 0 0 25 0 1 0 313697533 19959808 4009 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546073 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 4873 4009 102 219 0 4650 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 19492

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9175
/proc/meminfo: memFree=1532832/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=20024 CPUtime=342.09
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 5017 0 0 0 34157 52 0 0 25 0 1 0 313697533 20504576 4210 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 5006 4210 102 219 0 4783 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 20024

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9175
/proc/meminfo: memFree=1532128/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=20392 CPUtime=402.08
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 5198 0 0 0 40148 60 0 0 25 0 1 0 313697533 20881408 4391 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 5098 4391 102 219 0 4875 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 20392

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9175
/proc/meminfo: memFree=1531488/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=20876 CPUtime=462.06
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 5383 0 0 0 46138 68 0 0 25 0 1 0 313697533 21377024 4576 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 5219 4576 102 219 0 4996 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 20876

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9175
/proc/meminfo: memFree=1530912/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=21188 CPUtime=522.06
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 5534 0 0 0 52129 77 0 0 25 0 1 0 313697533 21696512 4727 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 5297 4727 102 219 0 5074 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 21188

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9175
/proc/meminfo: memFree=1530272/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=24672 CPUtime=582.04
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 6473 0 0 0 58118 86 0 0 25 0 1 0 313697533 25264128 4897 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6168 4897 102 219 0 5945 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 24672

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 9175
/proc/meminfo: memFree=1529632/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=24924 CPUtime=642.03
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 6614 0 0 0 64110 93 0 0 25 0 1 0 313697533 25522176 5038 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6231 5038 102 219 0 6008 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 24924


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

[startup+822.302 s]
/proc/loadavg: 1.02 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1527904/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=26044 CPUtime=821.98
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 7067 0 0 0 82082 116 0 0 25 0 1 0 313697533 26669056 5491 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6511 5491 102 219 0 6288 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 26044

[startup+882.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1527136/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=26556 CPUtime=881.97
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 7248 0 0 0 88074 123 0 0 25 0 1 0 313697533 27193344 5672 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6639 5672 102 219 0 6416 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 26556

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1526624/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=26668 CPUtime=941.95
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 7383 0 0 0 94066 129 0 0 25 0 1 0 313697533 27308032 5807 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6667 5807 102 219 0 6444 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 26668

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1525856/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=27008 CPUtime=1001.94
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 7578 0 0 0 100058 136 0 0 25 0 1 0 313697533 27656192 6002 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560640 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6752 6002 102 219 0 6529 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 27008

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1525280/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=27464 CPUtime=1061.92
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 7733 0 0 0 106051 141 0 0 25 0 1 0 313697533 28123136 6157 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6866 6157 102 219 0 6643 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 27464

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1524704/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=27936 CPUtime=1121.91
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 7863 0 0 0 112043 148 0 0 25 0 1 0 313697533 28606464 6287 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 6984 6287 102 219 0 6761 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 27936

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1524128/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=28032 CPUtime=1181.89
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 8009 0 0 0 118033 156 0 0 25 0 1 0 313697533 28704768 6433 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 7008 6433 102 219 0 6785 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 28032

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1523552/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=28440 CPUtime=1241.88
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 8146 0 0 0 124024 164 0 0 25 0 1 0 313697533 29122560 6570 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 7110 6570 102 219 0 6887 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 28440

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1522848/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=28632 CPUtime=1301.87
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 8313 0 0 0 130016 171 0 0 25 0 1 0 313697533 29319168 6737 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 7158 6737 102 219 0 6935 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 28632

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/78 9175
/proc/meminfo: memFree=1522080/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=35528 CPUtime=1361.85
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 10031 0 0 0 136007 178 0 0 25 0 1 0 313697533 36380672 6918 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 8882 6918 102 219 0 8659 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 35528

[startup+1422.31 s]
/proc/loadavg: 1.06 1.00 1.00 2/78 9175
/proc/meminfo: memFree=1521504/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=35528 CPUtime=1421.84
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 10158 0 0 0 141999 185 0 0 25 0 1 0 313697533 36380672 7045 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 8882 7045 102 219 0 8659 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 35528

[startup+1482.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 9175
/proc/meminfo: memFree=1520608/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=36116 CPUtime=1481.82
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 10396 0 0 0 147989 193 0 0 25 0 1 0 313697533 36982784 7283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 9029 7283 102 219 0 8806 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 36116

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 9175
/proc/meminfo: memFree=1519712/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=40596 CPUtime=1541.8
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 10600 0 0 0 153982 198 0 0 25 0 1 0 313697533 41570304 7487 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 10149 7487 102 219 0 9926 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 40596

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9175
/proc/meminfo: memFree=1519008/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=41084 CPUtime=1601.79
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 10802 0 0 0 159975 204 0 0 25 0 1 0 313697533 42070016 7689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 10271 7689 102 219 0 10048 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 41084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9175
/proc/meminfo: memFree=1518048/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=41340 CPUtime=1661.78
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 11024 0 0 0 165968 210 0 0 25 0 1 0 313697533 42332160 7911 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 10335 7911 102 219 0 10112 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 41340

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9175
/proc/meminfo: memFree=1517408/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=42112 CPUtime=1721.76
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 11181 0 0 0 171961 215 0 0 25 0 1 0 313697533 43122688 8068 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 10528 8068 102 219 0 10305 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 42112

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 9175
/proc/meminfo: memFree=1516832/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=42208 CPUtime=1781.75
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 11334 0 0 0 177953 222 0 0 25 0 1 0 313697533 43220992 8221 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545678 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 10552 8221 102 219 0 10329 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 42208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9175
/proc/meminfo: memFree=1516448/2055920 swapFree=4146788/4192956
[pid=8976] ppid=8974 vsize=42368 CPUtime=1800.05
/proc/8976/stat : 8976 (PBS4_SAT07v2) R 8974 8976 8852 0 -1 4194304 11421 0 0 0 179781 224 0 0 25 0 1 0 313697533 43384832 8308 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8976/statm: 10592 8308 102 219 0 10369 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 42368

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

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1797.82
CPU system time (s): 2.24966
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 42368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.82
system time used= 2.24966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11424
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= 3596

runsolver used 1.46278 second user time and 3.87441 second system time

The end

Launcher Data (download as text)

Begin job on node29 on Tue May  8 20:56:57 UTC 2007

IDJOB= 459667
IDBENCH= 48128
IDSOLVER= 200
FILE ID= node29/459667-1178657817

PBS_JOBID= 5218435

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459667-1178657817/instance-459667-1178657817.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-459667-1178657817 -o ROOT/results/node29/conversion-459667-1178657817 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459667-1178657817/instance-459667-1178657817.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  88e7a647c6e46a38e952354158b1fb76

RANDOM SEED= 131796441

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:       1550200 kB
Buffers:         40932 kB
Cached:         342340 kB
SwapCached:      11264 kB
Active:         139564 kB
Inactive:       266692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1550200 kB
SwapTotal:     4192956 kB
SwapFree:      4146788 kB
Dirty:            2896 kB
Writeback:           0 kB
Mapped:          30080 kB
Slab:            84932 kB
Committed_AS:  7071676 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 21:27:01 UTC 2007