Trace number 459687

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)13 1800.02 1800.42

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
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.13
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 constraint50
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)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

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

Verifier Data (download as text)

OK	13

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459687-1178658184/instance-459687-1178658184.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-459687-1178658184 -o ROOT/results/node52/solver-459687-1178658184 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459687-1178658184/instance-459687-1178658184.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: 1.00 0.99 0.99 3/64 20552
/proc/meminfo: memFree=1773444/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=2212 CPUtime=0
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 341 0 0 0 0 0 0 0 18 0 1 0 220663546 2265088 323 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 553 323 86 219 0 330 0

[startup+0.0681459 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 20552
/proc/meminfo: memFree=1773444/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=2920 CPUtime=0.06
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 536 0 0 0 6 0 0 0 18 0 1 0 220663546 2990080 518 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134530024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 730 518 86 219 0 507 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2920

[startup+0.102147 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 20552
/proc/meminfo: memFree=1773444/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=3348 CPUtime=0.09
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 647 0 0 0 9 0 0 0 18 0 1 0 220663546 3428352 629 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134591356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 837 629 86 219 0 614 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3348

[startup+0.30116 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 20552
/proc/meminfo: memFree=1773444/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=4220 CPUtime=0.29
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 933 0 0 0 28 1 0 0 19 0 1 0 220663546 4321280 850 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 1055 850 101 219 0 832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4220

[startup+0.702186 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 20552
/proc/meminfo: memFree=1773444/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=5172 CPUtime=0.69
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 1106 0 0 0 68 1 0 0 23 0 1 0 220663546 5296128 1023 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 1293 1023 102 219 0 1070 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5172

[startup+1.50124 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1769660/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=5172 CPUtime=1.49
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 1147 0 0 0 148 1 0 0 25 0 1 0 220663546 5296128 1064 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 1293 1064 102 219 0 1070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5172

[startup+3.10135 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1769212/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=6252 CPUtime=3.09
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 1340 0 0 0 308 1 0 0 25 0 1 0 220663546 6402048 1257 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 1563 1257 102 219 0 1340 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6252

[startup+6.30156 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1768060/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=6604 CPUtime=6.29
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 1490 0 0 0 628 1 0 0 25 0 1 0 220663546 6762496 1358 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 1651 1358 102 219 0 1428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6604

[startup+12.702 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1767172/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=8252 CPUtime=12.69
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 1733 0 0 0 1267 2 0 0 25 0 1 0 220663546 8450048 1601 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 2063 1601 102 219 0 1840 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8252

[startup+25.5019 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1765444/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=10824 CPUtime=25.49
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 2160 0 0 0 2545 4 0 0 25 0 1 0 220663546 11083776 2028 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 2706 2028 102 219 0 2483 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10824

[startup+51.1016 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1762500/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=13476 CPUtime=51.08
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 3018 0 0 0 5100 8 0 0 25 0 1 0 220663546 13799424 2789 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 3369 2789 102 219 0 3146 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13476

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1760516/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=15756 CPUtime=102.27
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 3681 0 0 0 10211 16 0 0 25 0 1 0 220663546 16134144 3259 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545578 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 3939 3259 102 219 0 3716 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15756

[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1759748/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=16388 CPUtime=162.26
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 3907 0 0 0 16202 24 0 0 25 0 1 0 220663546 16781312 3485 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 4097 3485 102 219 0 3874 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 16388

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1758916/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=16796 CPUtime=222.25
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 4083 0 0 0 22194 31 0 0 25 0 1 0 220663546 17199104 3661 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 4199 3661 102 219 0 3976 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 16796

[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1758084/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=18792 CPUtime=282.23
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 4664 0 0 0 28184 39 0 0 25 0 1 0 220663546 19243008 3857 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 4698 3857 102 219 0 4475 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 18792

[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1757380/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=19200 CPUtime=342.22
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 4838 0 0 0 34176 46 0 0 25 0 1 0 220663546 19660800 4031 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 4800 4031 102 219 0 4577 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 19200

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20553
/proc/meminfo: memFree=1756740/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=19656 CPUtime=402.2
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 4992 0 0 0 40168 52 0 0 25 0 1 0 220663546 20127744 4185 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 4914 4185 102 219 0 4691 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 19656

[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1756164/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=19940 CPUtime=462.18
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 5149 0 0 0 46160 58 0 0 25 0 1 0 220663546 20418560 4342 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 4985 4342 102 219 0 4762 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 19940

[startup+522.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1755460/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=20336 CPUtime=522.18
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 5330 0 0 0 52152 66 0 0 25 0 1 0 220663546 20824064 4523 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 5084 4523 102 219 0 4861 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 20336

[startup+582.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1754820/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=20888 CPUtime=582.17
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 5494 0 0 0 58143 74 0 0 25 0 1 0 220663546 21389312 4687 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 5222 4687 102 219 0 4999 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 20888

[startup+642.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1754180/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=24300 CPUtime=642.16
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 6408 0 0 0 64134 82 0 0 25 0 1 0 220663546 24883200 4832 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6075 4832 102 219 0 5852 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 24300


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

[startup+822.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1752324/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=25076 CPUtime=822.11
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 6863 0 0 0 82108 103 0 0 25 0 1 0 220663546 25677824 5287 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6269 5287 102 219 0 6046 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 25076

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1751812/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=25472 CPUtime=882.1
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 7010 0 0 0 88098 112 0 0 25 0 1 0 220663546 26083328 5434 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6368 5434 102 219 0 6145 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 25472

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1751108/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=25896 CPUtime=942.09
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 7162 0 0 0 94090 119 0 0 25 0 1 0 220663546 26517504 5586 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6474 5586 102 219 0 6251 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 25896

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1750596/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=26244 CPUtime=1002.07
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 7306 0 0 0 100080 127 0 0 25 0 1 0 220663546 26873856 5730 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6561 5730 102 219 0 6338 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 26244

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1750084/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=26700 CPUtime=1062.06
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 7448 0 0 0 106073 133 0 0 25 0 1 0 220663546 27340800 5872 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6675 5872 102 219 0 6452 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 26700

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1749444/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=26700 CPUtime=1122.04
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 7578 0 0 0 112063 141 0 0 25 0 1 0 220663546 27340800 6002 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134561592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6675 6002 102 219 0 6452 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 26700

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 20555
/proc/meminfo: memFree=1748996/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=27092 CPUtime=1182.04
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 7705 0 0 0 118055 149 0 0 25 0 1 0 220663546 27742208 6129 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6773 6129 102 219 0 6550 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 27092

[startup+1242.3 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 20555
/proc/meminfo: memFree=1748420/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=27588 CPUtime=1242.02
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 7848 0 0 0 124047 155 0 0 25 0 1 0 220663546 28250112 6272 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 6897 6272 102 219 0 6674 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 27588

[startup+1302.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/65 20555
/proc/meminfo: memFree=1747588/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=33824 CPUtime=1302.01
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 9537 0 0 0 130037 164 0 0 25 0 1 0 220663546 34635776 6424 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 8456 6424 102 219 0 8233 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 33824

[startup+1362.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 20555
/proc/meminfo: memFree=1747204/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=34376 CPUtime=1361.99
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 9685 0 0 0 136030 169 0 0 25 0 1 0 220663546 35201024 6572 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 8594 6572 102 219 0 8371 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 34376

[startup+1422.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 20555
/proc/meminfo: memFree=1746500/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=34472 CPUtime=1421.98
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 9839 0 0 0 142021 177 0 0 25 0 1 0 220663546 35299328 6726 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560669 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 8618 6726 102 219 0 8395 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 34472

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20555
/proc/meminfo: memFree=1745988/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=35032 CPUtime=1481.97
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 9973 0 0 0 148012 185 0 0 25 0 1 0 220663546 35872768 6860 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 8758 6860 102 219 0 8535 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 35032

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20555
/proc/meminfo: memFree=1745476/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=35112 CPUtime=1541.95
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 10120 0 0 0 154003 192 0 0 25 0 1 0 220663546 35954688 7007 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550349 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 8778 7007 102 219 0 8555 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 35112

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20555
/proc/meminfo: memFree=1744836/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=35612 CPUtime=1601.93
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 10253 0 0 0 159995 198 0 0 25 0 1 0 220663546 36466688 7140 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 8903 7140 102 219 0 8680 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 35612

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20555
/proc/meminfo: memFree=1744260/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=35808 CPUtime=1661.93
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 10407 0 0 0 165987 206 0 0 25 0 1 0 220663546 36667392 7294 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 8952 7294 102 219 0 8729 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 35808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20555
/proc/meminfo: memFree=1743748/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=36336 CPUtime=1721.91
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 10526 0 0 0 171979 212 0 0 25 0 1 0 220663546 37208064 7413 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 9084 7413 102 219 0 8861 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 36336

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20555
/proc/meminfo: memFree=1743300/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=36336 CPUtime=1781.9
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 10647 0 0 0 177972 218 0 0 25 0 1 0 220663546 37208064 7534 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 9084 7534 102 219 0 8861 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 36336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20555
/proc/meminfo: memFree=1743108/2055920 swapFree=4183124/4192956
[pid=20552] ppid=20550 vsize=36432 CPUtime=1800
/proc/20552/stat : 20552 (PBS4_SAT07v2) R 20550 20552 19339 0 -1 4194304 10685 0 0 0 179780 220 0 0 25 0 1 0 220663546 37306368 7572 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20552/statm: 9108 7572 102 219 0 8885 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 36432

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

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

Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.02
CPU user time (s): 1797.81
CPU system time (s): 2.21066
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 36432

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

runsolver used 1.42178 second user time and 3.50047 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue May  8 21:03:04 UTC 2007

IDJOB= 459687
IDBENCH= 48148
IDSOLVER= 200
FILE ID= node52/459687-1178658184

PBS_JOBID= 5218402

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  e3f554c192a1ee7b261cc2808827870e

RANDOM SEED= 147165389

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1773852 kB
Buffers:         31332 kB
Cached:         151424 kB
SwapCached:       3768 kB
Active:          37244 kB
Inactive:       155100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1773852 kB
SwapTotal:     4192956 kB
SwapFree:      4183124 kB
Dirty:            2700 kB
Writeback:           0 kB
Mapped:          15816 kB
Slab:            75684 kB
Committed_AS:  5375936 kB
PageTables:       1484 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 node52 on Tue May  8 21:33:07 UTC 2007