Trace number 459684

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.06 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
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.09
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 constraint45
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)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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

Verifier Data (download as text)

OK	14

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459684-1178658163/instance-459684-1178658163.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-459684-1178658163 -o ROOT/results/node45/solver-459684-1178658163 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459684-1178658163/instance-459684-1178658163.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.91 0.95 0.98 3/77 8111
/proc/meminfo: memFree=1852352/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=2212 CPUtime=0
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 341 0 0 0 0 0 0 0 18 0 1 0 220661933 2265088 323 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134531413 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 553 323 86 219 0 330 0

[startup+0.0305911 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 8111
/proc/meminfo: memFree=1852352/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=2488 CPUtime=0.02
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 426 0 0 0 2 0 0 0 18 0 1 0 220661933 2547712 408 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 622 408 86 219 0 399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2488

[startup+0.101598 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 8111
/proc/meminfo: memFree=1852352/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=3328 CPUtime=0.09
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 220661933 3407872 621 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 832 621 86 219 0 609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3328

[startup+0.301616 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 8111
/proc/meminfo: memFree=1852352/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=4200 CPUtime=0.29
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 931 0 0 0 29 0 0 0 19 0 1 0 220661933 4300800 848 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 1050 848 101 219 0 827 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4200

[startup+0.701657 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 8111
/proc/meminfo: memFree=1852352/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=5008 CPUtime=0.69
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 1067 0 0 0 68 1 0 0 23 0 1 0 220661933 5128192 984 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 1252 984 102 219 0 1029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5008

[startup+1.50174 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 8112
/proc/meminfo: memFree=1848632/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=5008 CPUtime=1.49
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 1109 0 0 0 148 1 0 0 25 0 1 0 220661933 5128192 1026 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 1252 1026 102 219 0 1029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5008

[startup+3.1019 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 8112
/proc/meminfo: memFree=1848376/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=5520 CPUtime=3.09
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 1156 0 0 0 308 1 0 0 25 0 1 0 220661933 5652480 1073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 1380 1073 102 219 0 1157 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5520

[startup+6.30123 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 8112
/proc/meminfo: memFree=1847672/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=5988 CPUtime=6.29
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 1334 0 0 0 627 2 0 0 25 0 1 0 220661933 6131712 1202 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 1497 1202 102 219 0 1274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5988

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 8112
/proc/meminfo: memFree=1845944/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=7952 CPUtime=12.68
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 1760 0 0 0 1266 2 0 0 25 0 1 0 220661933 8142848 1628 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544510 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 1988 1628 102 219 0 1765 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7952

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 8112
/proc/meminfo: memFree=1843704/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=10992 CPUtime=25.49
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 2291 0 0 0 2544 5 0 0 25 0 1 0 220661933 11255808 2159 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 2748 2159 102 219 0 2525 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10992

[startup+51.1018 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 8112
/proc/meminfo: memFree=1840888/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=13628 CPUtime=51.07
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 3108 0 0 0 5098 9 0 0 25 0 1 0 220661933 13955072 2879 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 3407 2879 102 219 0 3184 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13628

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 8112
/proc/meminfo: memFree=1839160/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=15476 CPUtime=102.27
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 3665 0 0 0 10208 19 0 0 25 0 1 0 220661933 15847424 3243 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 3869 3243 102 219 0 3646 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15476

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8112
/proc/meminfo: memFree=1838456/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=16104 CPUtime=162.24
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 3886 0 0 0 16196 28 0 0 25 0 1 0 220661933 16490496 3464 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 4026 3464 102 219 0 3803 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16104

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8112
/proc/meminfo: memFree=1837368/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=16628 CPUtime=222.23
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 4141 0 0 0 22187 36 0 0 25 0 1 0 220661933 17027072 3719 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 4157 3719 102 219 0 3934 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16628

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8112
/proc/meminfo: memFree=1836600/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=18792 CPUtime=282.22
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 4719 0 0 0 28177 45 0 0 25 0 1 0 220661933 19243008 3912 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 4698 3912 102 219 0 4475 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 18792

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8112
/proc/meminfo: memFree=1835448/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=19744 CPUtime=342.2
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 4990 0 0 0 34166 54 0 0 25 0 1 0 220661933 20217856 4183 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560663 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 4936 4183 102 219 0 4713 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 19744

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8112
/proc/meminfo: memFree=1834616/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=20140 CPUtime=402.19
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 5189 0 0 0 40155 64 0 0 25 0 1 0 220661933 20623360 4382 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 5035 4382 102 219 0 4812 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 20140

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8112
/proc/meminfo: memFree=1833976/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=20544 CPUtime=462.17
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 5340 0 0 0 46144 73 0 0 25 0 1 0 220661933 21037056 4533 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 5136 4533 102 219 0 4913 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 20544

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8112
/proc/meminfo: memFree=1833272/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=20888 CPUtime=522.16
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 5522 0 0 0 52134 82 0 0 25 0 1 0 220661933 21389312 4715 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 5222 4715 102 219 0 4999 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 20888

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1832376/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=24280 CPUtime=582.14
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 6428 0 0 0 58124 90 0 0 25 0 1 0 220661933 24862720 4852 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6070 4852 102 219 0 5847 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 24280

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1831736/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=24748 CPUtime=642.13
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 6601 0 0 0 64115 98 0 0 25 0 1 0 220661933 25341952 5025 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6187 5025 102 219 0 5964 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 24748


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1829176/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=26204 CPUtime=882.07
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 7196 0 0 0 88080 127 0 0 25 0 1 0 220661933 26832896 5620 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6551 5620 102 219 0 6328 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 26204

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1828600/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=26624 CPUtime=942.05
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 7343 0 0 0 94070 135 0 0 25 0 1 0 220661933 27262976 5767 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544454 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6656 5767 102 219 0 6433 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 26624

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1828088/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=26624 CPUtime=1002.04
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 7459 0 0 0 100062 142 0 0 25 0 1 0 220661933 27262976 5883 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560630 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6656 5883 102 219 0 6433 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 26624

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1827576/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=26984 CPUtime=1062.01
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 7581 0 0 0 106049 152 0 0 25 0 1 0 220661933 27631616 6005 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545183 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6746 6005 102 219 0 6523 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 26984

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1826936/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=27452 CPUtime=1122
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 7720 0 0 0 112042 158 0 0 25 0 1 0 220661933 28110848 6144 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6863 6144 102 219 0 6640 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 27452

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1826296/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=27452 CPUtime=1181.99
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 7865 0 0 0 118032 167 0 0 25 0 1 0 220661933 28110848 6289 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6863 6289 102 219 0 6640 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 27452

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1825720/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=27952 CPUtime=1241.98
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 7989 0 0 0 124025 173 0 0 25 0 1 0 220661933 28622848 6413 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6988 6413 102 219 0 6765 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 27952

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1825144/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=27952 CPUtime=1301.96
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 8110 0 0 0 130017 179 0 0 25 0 1 0 220661933 28622848 6534 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 6988 6534 102 219 0 6765 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 27952

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1824568/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=34628 CPUtime=1361.95
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 9789 0 0 0 136009 186 0 0 25 0 1 0 220661933 35459072 6676 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 8657 6676 102 219 0 8434 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 34628

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1824056/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=35084 CPUtime=1421.93
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 9905 0 0 0 141999 194 0 0 25 0 1 0 220661933 35926016 6792 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 8771 6792 102 219 0 8548 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 35084

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1823416/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=35164 CPUtime=1481.91
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10048 0 0 0 147988 203 0 0 25 0 1 0 220661933 36007936 6935 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 8791 6935 102 219 0 8568 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 35164

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1822840/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=35648 CPUtime=1541.9
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10185 0 0 0 153978 212 0 0 25 0 1 0 220661933 36503552 7072 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 8912 7072 102 219 0 8689 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 35648

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 8114
/proc/meminfo: memFree=1822264/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=35740 CPUtime=1601.88
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10312 0 0 0 159970 218 0 0 25 0 1 0 220661933 36597760 7199 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134564722 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 8935 7199 102 219 0 8712 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 35740

[startup+1662.3 s]
/proc/loadavg: 1.07 0.99 0.99 2/78 8114
/proc/meminfo: memFree=1821624/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=36352 CPUtime=1661.87
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10447 0 0 0 165962 225 0 0 25 0 1 0 220661933 37224448 7334 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 9088 7334 102 219 0 8865 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 36352

[startup+1722.3 s]
/proc/loadavg: 1.16 1.02 1.00 2/78 8114
/proc/meminfo: memFree=1821048/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=36352 CPUtime=1721.85
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10576 0 0 0 171954 231 0 0 25 0 1 0 220661933 37224448 7463 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 9088 7463 102 219 0 8865 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 36352

[startup+1782.3 s]
/proc/loadavg: 1.12 1.03 1.00 2/78 8114
/proc/meminfo: memFree=1820408/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=36432 CPUtime=1781.84
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10705 0 0 0 177945 239 0 0 25 0 1 0 220661933 37306368 7592 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 9108 7592 102 219 0 8885 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 36432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 8114
/proc/meminfo: memFree=1820216/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=36980 CPUtime=1800.03
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10751 0 0 0 179763 240 0 0 25 0 1 0 220661933 37867520 7638 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 9245 7638 102 219 0 9022 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 36980

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

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

[startup+1800.5 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 8114
/proc/meminfo: memFree=1820216/2055920 swapFree=4157932/4192956
[pid=8111] ppid=8109 vsize=36980 CPUtime=1800.03
/proc/8111/stat : 8111 (PBS4_SAT07v2) R 8109 8111 7142 0 -1 4194304 10751 0 0 0 179763 240 0 0 25 0 1 0 220661933 37867520 7638 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546107 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8111/statm: 9245 7638 102 219 0 9022 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 36980

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1797.64
CPU system time (s): 2.41463
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 36980

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

runsolver used 1.38779 second user time and 4.09038 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue May  8 21:02:43 UTC 2007

IDJOB= 459684
IDBENCH= 48145
IDSOLVER= 200
FILE ID= node45/459684-1178658163

PBS_JOBID= 5218414

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_2.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459684-1178658163/instance-459684-1178658163.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-459684-1178658163 -o ROOT/results/node45/conversion-459684-1178658163 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459684-1178658163/instance-459684-1178658163.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  faa00895e2f6f80e77634e2be522df62

RANDOM SEED= 192885175

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1852696 kB
Buffers:         20108 kB
Cached:          68420 kB
SwapCached:      14356 kB
Active:         105132 kB
Inactive:        27524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852696 kB
SwapTotal:     4192956 kB
SwapFree:      4157932 kB
Dirty:            2724 kB
Writeback:           0 kB
Mapped:          51344 kB
Slab:            56072 kB
Committed_AS:  3972180 kB
PageTables:       1792 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 node45 on Tue May  8 21:32:46 UTC 2007