Trace number 459662

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)85 1800.07 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_1.opb
MD5SUM08f3a00099e19d384504c40fc611777e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6318
Sum of products size (including duplicates)12636
Number of different products6318
Sum of products size12636

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

Verifier Data (download as text)

OK	85

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/459662-1178657678/instance-459662-1178657678.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node54/watcher-459662-1178657678 -o ROOT/results/node54/solver-459662-1178657678 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459662-1178657678/instance-459662-1178657678.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/66 17651
/proc/meminfo: memFree=1616944/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=2252 CPUtime=0
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 353 0 0 0 0 0 0 0 18 0 1 0 313142280 2306048 335 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134586356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 563 335 86 219 0 340 0

[startup+0.00678494 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 17651
/proc/meminfo: memFree=1616944/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=2252 CPUtime=0
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 358 0 0 0 0 0 0 0 18 0 1 0 313142280 2306048 340 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134805512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 563 341 86 219 0 340 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2252

[startup+0.101796 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 17651
/proc/meminfo: memFree=1616944/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=3268 CPUtime=0.09
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 668 0 0 0 9 0 0 0 18 0 1 0 313142280 3346432 617 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 817 618 86 219 0 594 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3268

[startup+0.30182 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 17651
/proc/meminfo: memFree=1616944/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=4432 CPUtime=0.29
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 987 0 0 0 28 1 0 0 19 0 1 0 313142280 4538368 871 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 1108 871 102 219 0 885 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4432

[startup+0.701871 s]
/proc/loadavg: 0.92 0.98 0.99 3/66 17651
/proc/meminfo: memFree=1616944/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=5184 CPUtime=0.69
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 1189 0 0 0 68 1 0 0 22 0 1 0 313142280 5308416 1073 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 1296 1073 102 219 0 1073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5184

[startup+1.50198 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1612904/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=5696 CPUtime=1.49
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 1252 0 0 0 148 1 0 0 25 0 1 0 313142280 5832704 1136 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 1424 1136 102 219 0 1201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5696

[startup+3.10118 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1612456/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=6720 CPUtime=3.09
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 1377 0 0 0 307 2 0 0 25 0 1 0 313142280 6881280 1261 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 1680 1261 102 219 0 1457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6720

[startup+6.30158 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1611240/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=9104 CPUtime=6.29
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 1686 0 0 0 627 2 0 0 25 0 1 0 313142280 9322496 1521 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545564 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 2276 1521 102 219 0 2053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9104

[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1609256/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=9104 CPUtime=12.68
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 2165 0 0 0 1266 2 0 0 25 0 1 0 313142280 9322496 2000 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555562 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 2276 2000 102 219 0 2053 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9104

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1605672/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=13328 CPUtime=25.48
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 3021 0 0 0 2543 5 0 0 25 0 1 0 313142280 13647872 2856 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 3332 2856 102 219 0 3109 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13328

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1599272/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=25360 CPUtime=51.07
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 4733 0 0 0 5098 9 0 0 25 0 1 0 313142280 25968640 4471 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544445 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 6340 4471 102 219 0 6117 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25360

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1597480/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=26968 CPUtime=102.26
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 5156 0 0 0 10212 14 0 0 25 0 1 0 313142280 27615232 4894 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 6742 4894 102 219 0 6519 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26968

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1596584/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=28420 CPUtime=162.24
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 5570 0 0 0 16205 19 0 0 25 0 1 0 313142280 29102080 5115 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134546023 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 7105 5115 102 219 0 6882 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 28420

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1594984/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=29728 CPUtime=222.22
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 5950 0 0 0 22199 23 0 0 25 0 1 0 313142280 30441472 5495 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 7432 5495 102 219 0 7209 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 29728

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1593960/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=31860 CPUtime=282.2
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 6563 0 0 0 28191 29 0 0 25 0 1 0 313142280 32624640 5723 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 7965 5723 102 219 0 7742 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 31860

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17652
/proc/meminfo: memFree=1593512/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=32276 CPUtime=342.19
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 6717 0 0 0 34185 34 0 0 25 0 1 0 313142280 33050624 5877 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 8069 5877 102 219 0 7846 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 32276

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 17760
/proc/meminfo: memFree=1591672/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=32648 CPUtime=402.11
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 6865 0 0 0 40172 39 0 0 25 0 1 0 313142280 33431552 6025 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 8162 6025 102 219 0 7939 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 32648

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1592168/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=33112 CPUtime=462.05
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 7000 0 0 0 46160 45 0 0 25 0 1 0 313142280 33906688 6160 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 8278 6160 102 219 0 8055 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 33112

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1591848/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=33324 CPUtime=522.02
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 7109 0 0 0 52153 49 0 0 25 0 1 0 313142280 34123776 6269 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 8331 6269 102 219 0 8108 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 33324

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1591208/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=33704 CPUtime=582.01
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 7258 0 0 0 58147 54 0 0 25 0 1 0 313142280 34512896 6418 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 8426 6418 102 219 0 8203 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 33704

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1590504/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=34244 CPUtime=642
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 7447 0 0 0 64141 59 0 0 25 0 1 0 313142280 35065856 6607 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 8561 6607 102 219 0 8338 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 34244


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1588776/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=38120 CPUtime=881.92
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 8641 0 0 0 88110 82 0 0 25 0 1 0 313142280 39034880 7032 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9530 7032 102 219 0 9307 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 38120

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1588328/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=38420 CPUtime=941.89
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 8747 0 0 0 94102 87 0 0 25 0 1 0 313142280 39342080 7138 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9605 7138 102 219 0 9382 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 38420

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1587816/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=38808 CPUtime=1001.88
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 8863 0 0 0 100096 92 0 0 25 0 1 0 313142280 39739392 7254 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9702 7254 102 219 0 9479 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 38808

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17850
/proc/meminfo: memFree=1587432/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=38808 CPUtime=1061.86
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 8969 0 0 0 106088 98 0 0 25 0 1 0 313142280 39739392 7360 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9702 7360 102 219 0 9479 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 38808

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1586984/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=39148 CPUtime=1121.84
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9077 0 0 0 112081 103 0 0 25 0 1 0 313142280 40087552 7468 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9787 7468 102 219 0 9564 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 39148

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1586536/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=39208 CPUtime=1181.82
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9187 0 0 0 118073 109 0 0 25 0 1 0 313142280 40148992 7578 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9802 7578 102 219 0 9579 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 39208

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1586088/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=39568 CPUtime=1241.81
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9289 0 0 0 124066 115 0 0 25 0 1 0 313142280 40517632 7680 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544680 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9892 7680 102 219 0 9669 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 39568

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1585704/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=39952 CPUtime=1301.8
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9392 0 0 0 130057 123 0 0 25 0 1 0 313142280 40910848 7783 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 9988 7783 102 219 0 9765 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 39952

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1585320/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=40024 CPUtime=1361.77
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9494 0 0 0 136050 127 0 0 25 0 1 0 313142280 40984576 7885 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134544685 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 10006 7885 102 219 0 9783 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 40024

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1584872/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=40432 CPUtime=1421.76
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9592 0 0 0 142043 133 0 0 25 0 1 0 313142280 41402368 7983 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 10108 7983 102 219 0 9885 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 40432

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1584488/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=40432 CPUtime=1481.74
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9689 0 0 0 148036 138 0 0 25 0 1 0 313142280 41402368 8080 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 10108 8080 102 219 0 9885 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 40432

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1584104/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=40432 CPUtime=1541.71
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9778 0 0 0 154028 143 0 0 25 0 1 0 313142280 41402368 8169 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 10108 8169 102 219 0 9885 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 40432

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1583592/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=40940 CPUtime=1601.7
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 9902 0 0 0 160020 150 0 0 25 0 1 0 313142280 41922560 8293 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 10235 8293 102 219 0 10012 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 40940

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1583144/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=47084 CPUtime=1661.68
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 11537 0 0 0 166012 156 0 0 25 0 1 0 313142280 48214016 8391 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 11771 8391 102 219 0 11548 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 47084

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1582824/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=47544 CPUtime=1721.66
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 11629 0 0 0 172005 161 0 0 25 0 1 0 313142280 48685056 8483 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 11886 8483 102 219 0 11663 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 47544

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1582376/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=47628 CPUtime=1781.65
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 11728 0 0 0 178000 165 0 0 25 0 1 0 313142280 48771072 8582 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134555568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 11907 8582 102 219 0 11684 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 47628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1582248/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=47628 CPUtime=1800.05
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 11758 0 0 0 179838 167 0 0 25 0 1 0 313142280 48771072 8612 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 11907 8612 102 219 0 11684 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 47628

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 17852
/proc/meminfo: memFree=1582248/2055920 swapFree=4182248/4192956
[pid=17651] ppid=17649 vsize=47628 CPUtime=1800.05
/proc/17651/stat : 17651 (PBS4_SAT07v2) R 17649 17651 17112 0 -1 4194304 11758 0 0 0 179838 167 0 0 25 0 1 0 313142280 48771072 8612 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560644 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17651/statm: 11907 8612 102 219 0 11684 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 47628

Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1798.39
CPU system time (s): 1.67974
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 47628

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

runsolver used 1.69574 second user time and 4.86426 second system time

The end

Launcher Data (download as text)

Begin job on node54 on Tue May  8 20:54:38 UTC 2007

IDJOB= 459662
IDBENCH= 48123
IDSOLVER= 200
FILE ID= node54/459662-1178657678

PBS_JOBID= 5218419

Free space on /tmp= 66557 MiB

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

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  08f3a00099e19d384504c40fc611777e

RANDOM SEED= 859506941

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node54.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.234
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.234
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:       1617416 kB
Buffers:         26224 kB
Cached:         312424 kB
SwapCached:       3868 kB
Active:         223708 kB
Inactive:       127896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617416 kB
SwapTotal:     4192956 kB
SwapFree:      4182248 kB
Dirty:            2724 kB
Writeback:           0 kB
Mapped:          19136 kB
Slab:            72880 kB
Committed_AS:  5382584 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node54 on Tue May  8 21:24:41 UTC 2007