Trace number 459697

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.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e507441d4bf529adaad354902c51a54
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.12
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 constraint46
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)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-459697-1178658386 -o ROOT/results/node16/solver-459697-1178658386 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459697-1178658386/instance-459697-1178658386.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11067
/proc/meminfo: memFree=1808760/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=2080 CPUtime=0
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 333 0 0 0 0 0 0 0 19 0 1 0 313756265 2129920 315 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134801856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 520 315 84 219 0 297 0

[startup+0.105197 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11067
/proc/meminfo: memFree=1808760/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=3328 CPUtime=0.09
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 643 0 0 0 9 0 0 0 20 0 1 0 313756265 3407872 625 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 832 625 86 219 0 609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3328

[startup+0.201176 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11067
/proc/meminfo: memFree=1808760/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=3932 CPUtime=0.19
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 880 0 0 0 19 0 0 0 20 0 1 0 313756265 4026368 797 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 983 797 101 219 0 760 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3932

[startup+0.301156 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11067
/proc/meminfo: memFree=1808760/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=4068 CPUtime=0.29
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 924 0 0 0 29 0 0 0 21 0 1 0 313756265 4165632 841 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 1017 841 101 219 0 794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4068

[startup+0.70107 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 11067
/proc/meminfo: memFree=1808760/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=5048 CPUtime=0.69
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 1083 0 0 0 68 1 0 0 25 0 1 0 313756265 5169152 1000 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 1262 1000 102 219 0 1039 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5048

[startup+1.5019 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1805040/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=5048 CPUtime=1.49
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 1116 0 0 0 148 1 0 0 25 0 1 0 313756265 5169152 1033 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 1262 1033 102 219 0 1039 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5048

[startup+3.10156 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1804656/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=5820 CPUtime=3.09
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 1228 0 0 0 308 1 0 0 25 0 1 0 313756265 5959680 1145 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 1455 1145 102 219 0 1232 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5820

[startup+6.30189 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1803632/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=7624 CPUtime=6.29
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 1505 0 0 0 627 2 0 0 25 0 1 0 313756265 7806976 1373 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 1906 1373 102 219 0 1683 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7624

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1802232/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=8204 CPUtime=12.69
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 1816 0 0 0 1266 3 0 0 25 0 1 0 313756265 8400896 1684 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 2051 1684 102 219 0 1828 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8204

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1800312/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=10876 CPUtime=25.49
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 2259 0 0 0 2545 4 0 0 25 0 1 0 313756265 11137024 2127 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 2719 2127 102 219 0 2496 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10876

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1796920/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=14272 CPUtime=51.09
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 3224 0 0 0 5100 9 0 0 25 0 1 0 313756265 14614528 2995 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 3568 2995 102 219 0 3345 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14272

[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1795448/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=16100 CPUtime=102.3
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 3778 0 0 0 10212 18 0 0 25 0 1 0 313756265 16486400 3356 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 4025 3356 102 219 0 3802 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 16100

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1794552/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=16744 CPUtime=162.29
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 4002 0 0 0 16202 27 0 0 25 0 1 0 313756265 17145856 3580 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 4186 3580 102 219 0 3963 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 16744

[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1793720/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=17136 CPUtime=222.3
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 4202 0 0 0 22196 34 0 0 25 0 1 0 313756265 17547264 3780 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 4284 3780 102 219 0 4061 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 17136

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1792888/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=19344 CPUtime=282.3
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 4807 0 0 0 28187 43 0 0 25 0 1 0 313756265 19808256 4000 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 4836 4000 102 219 0 4613 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19344

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1792184/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=19768 CPUtime=342.3
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 4977 0 0 0 34178 52 0 0 25 0 1 0 313756265 20242432 4170 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 4942 4170 102 219 0 4719 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19768

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1791416/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=20120 CPUtime=402.3
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 5168 0 0 0 40169 61 0 0 25 0 1 0 313756265 20602880 4361 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 5030 4361 102 219 0 4807 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20120

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1790840/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=20636 CPUtime=462.31
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 5330 0 0 0 46161 70 0 0 25 0 1 0 313756265 21131264 4523 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 5159 4523 102 219 0 4936 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20636

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1790136/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=21044 CPUtime=522.31
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 5494 0 0 0 52152 79 0 0 25 0 1 0 313756265 21549056 4687 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 5261 4687 102 219 0 5038 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 21044

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1789496/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=24352 CPUtime=582.3
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 6409 0 0 0 58144 86 0 0 25 0 1 0 313756265 24936448 4833 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6088 4833 102 219 0 5865 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 24352

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 11068
/proc/meminfo: memFree=1788920/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=24768 CPUtime=642.31
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 6575 0 0 0 64136 95 0 0 25 0 1 0 313756265 25362432 4999 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6192 4999 102 219 0 5969 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 24768


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

[startup+882.306 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1786360/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=26220 CPUtime=882.32
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 7192 0 0 0 88105 127 0 0 25 0 1 0 313756265 26849280 5616 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6555 5616 102 219 0 6332 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 26220

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1785848/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=26656 CPUtime=942.32
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 7341 0 0 0 94098 134 0 0 25 0 1 0 313756265 27295744 5765 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6664 5765 102 219 0 6441 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 26656

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1785272/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=26736 CPUtime=1002.32
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 7484 0 0 0 100091 141 0 0 25 0 1 0 313756265 27377664 5908 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6684 5908 102 219 0 6461 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 26736

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1784760/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=27260 CPUtime=1062.33
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 7637 0 0 0 106085 148 0 0 25 0 1 0 313756265 27914240 6061 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6815 6061 102 219 0 6592 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 27260

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1784184/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=27740 CPUtime=1122.33
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 7774 0 0 0 112078 155 0 0 25 0 1 0 313756265 28405760 6198 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6935 6198 102 219 0 6712 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 27740

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1783544/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=27836 CPUtime=1182.33
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 7931 0 0 0 118072 161 0 0 25 0 1 0 313756265 28504064 6355 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 6959 6355 102 219 0 6736 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 27836

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1782968/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=28340 CPUtime=1242.34
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 8079 0 0 0 124065 169 0 0 25 0 1 0 313756265 29020160 6503 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 7085 6503 102 219 0 6862 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 28340

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1782200/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=34660 CPUtime=1302.33
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 9781 0 0 0 130057 176 0 0 25 0 1 0 313756265 35491840 6668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 8665 6668 102 219 0 8442 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 34660

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1781496/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=35348 CPUtime=1362.33
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 9967 0 0 0 136049 184 0 0 25 0 1 0 313756265 36196352 6854 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 8837 6854 102 219 0 8614 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 35348

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1780664/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=39444 CPUtime=1422.34
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 10177 0 0 0 142044 190 0 0 25 0 1 0 313756265 40390656 7064 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 9861 7064 102 219 0 9638 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 39444

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1779896/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=39904 CPUtime=1482.33
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 10375 0 0 0 148036 197 0 0 25 0 1 0 313756265 40861696 7262 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 9976 7262 102 219 0 9753 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 39904

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1779320/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=40392 CPUtime=1542.34
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 10511 0 0 0 154029 205 0 0 25 0 1 0 313756265 41361408 7398 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 10098 7398 102 219 0 9875 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 40392

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1778744/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=40568 CPUtime=1602.34
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 10661 0 0 0 160022 212 0 0 25 0 1 0 313756265 41541632 7548 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545626 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 10142 7548 102 219 0 9919 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 40568

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11068
/proc/meminfo: memFree=1778232/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=41088 CPUtime=1662.35
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 10794 0 0 0 166016 219 0 0 25 0 1 0 313756265 42074112 7681 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 10272 7681 102 219 0 10049 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 41088

[startup+1722.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 11070
/proc/meminfo: memFree=1777720/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=41088 CPUtime=1722.34
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 10911 0 0 0 172008 226 0 0 25 0 1 0 313756265 42074112 7798 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 10272 7798 102 219 0 10049 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 41088

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 11070
/proc/meminfo: memFree=1777208/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=41172 CPUtime=1782.35
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 11039 0 0 0 178002 233 0 0 25 0 1 0 313756265 42160128 7926 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544741 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 10293 7926 102 219 0 10070 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 41172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 11070
/proc/meminfo: memFree=1777080/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=41724 CPUtime=1800.06
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 11075 0 0 0 179771 235 0 0 25 0 1 0 313756265 42725376 7962 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 10431 7962 102 219 0 10208 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 41724

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

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

[startup+1800 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 11070
/proc/meminfo: memFree=1777080/2055920 swapFree=4148540/4192956
[pid=11067] ppid=11065 vsize=41724 CPUtime=1800.06
/proc/11067/stat : 11067 (PBS4_SAT07v2) R 11065 11067 10324 0 -1 4194304 11075 0 0 0 179771 235 0 0 25 0 1 0 313756265 42725376 7962 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11067/statm: 10431 7962 102 219 0 10208 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 41724

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1797.72
CPU system time (s): 2.35764
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 41724

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

runsolver used 1.45978 second user time and 4.14737 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Tue May  8 21:06:26 UTC 2007

IDJOB= 459697
IDBENCH= 48158
IDSOLVER= 200
FILE ID= node16/459697-1178658386

PBS_JOBID= 5218004

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  0e507441d4bf529adaad354902c51a54

RANDOM SEED= 223274293

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1809168 kB
Buffers:         37040 kB
Cached:         137768 kB
SwapCached:      11988 kB
Active:          97628 kB
Inactive:       100472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809168 kB
SwapTotal:     4192956 kB
SwapFree:      4148540 kB
Dirty:            2728 kB
Writeback:           0 kB
Mapped:          30216 kB
Slab:            34188 kB
Committed_AS: 14136512 kB
PageTables:       1836 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 node16 on Tue May  8 21:36:29 UTC 2007