Trace number 459228

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)172 1800.07 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 2531
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 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data (download as text)

OK	172

Conversion Script Data (download as text)

/tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10391
/proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=1968 CPUtime=0
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 304 0 0 0 0 0 0 0 18 0 1 0 313098150 2015232 286 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 492 286 84 219 0 269 0

[startup+0.0577231 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10391
/proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=2440 CPUtime=0.05
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 395 0 0 0 5 0 0 0 18 0 1 0 313098150 2498560 377 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 610 377 86 219 0 387 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2440

[startup+0.102713 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10391
/proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=2684 CPUtime=0.1
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 507 0 0 0 10 0 0 0 18 0 1 0 313098150 2748416 489 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 671 489 86 219 0 448 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2684

[startup+0.301671 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10391
/proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=3412 CPUtime=0.29
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 735 0 0 0 28 1 0 0 19 0 1 0 313098150 3493888 668 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 853 668 102 219 0 630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3412

[startup+0.701587 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10391
/proc/meminfo: memFree=1812968/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=4204 CPUtime=0.69
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 921 0 0 0 67 2 0 0 23 0 1 0 313098150 4304896 854 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 1051 854 102 219 0 828 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4204

[startup+1.50142 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 10392
/proc/meminfo: memFree=1809504/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=5516 CPUtime=1.49
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 1182 0 0 0 147 2 0 0 25 0 1 0 313098150 5648384 1115 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 1379 1115 102 219 0 1156 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5516

[startup+3.10108 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 10392
/proc/meminfo: memFree=1808288/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=8364 CPUtime=3.09
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 1519 0 0 0 306 3 0 0 25 0 1 0 313098150 8564736 1355 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 2091 1355 102 219 0 1868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8364

[startup+6.3014 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10392
/proc/meminfo: memFree=1806432/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=8900 CPUtime=6.29
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 1979 0 0 0 624 5 0 0 25 0 1 0 313098150 9113600 1815 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 2225 1815 102 219 0 2002 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8900

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10392
/proc/meminfo: memFree=1804208/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=9732 CPUtime=12.69
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 2375 0 0 0 1261 8 0 0 25 0 1 0 313098150 9965568 2211 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 2433 2211 102 219 0 2210 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9732

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 10392
/proc/meminfo: memFree=1803440/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=10640 CPUtime=25.49
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 2583 0 0 0 2539 10 0 0 25 0 1 0 313098150 10895360 2419 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 2660 2419 102 219 0 2437 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10640

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 10392
/proc/meminfo: memFree=1802480/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=11448 CPUtime=51.09
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 2810 0 0 0 5096 13 0 0 25 0 1 0 313098150 11722752 2646 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 2862 2646 102 219 0 2639 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11448

[startup+102.305 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1797616/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=17076 CPUtime=102.29
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 4027 0 0 0 10213 16 0 0 25 0 1 0 313098150 17485824 3863 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 4269 3863 102 219 0 4046 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 17076

[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1795760/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=18588 CPUtime=162.29
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 4683 0 0 0 16210 19 0 0 25 0 1 0 313098150 19034112 4326 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 4647 4326 102 219 0 4424 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18588

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1793392/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=27884 CPUtime=222.3
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 5264 0 0 0 22207 23 0 0 25 0 1 0 313098150 28553216 4907 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 6971 4907 102 219 0 6748 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 27884

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1791856/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=28984 CPUtime=282.3
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 5633 0 0 0 28202 28 0 0 25 0 1 0 313098150 29679616 5276 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 7246 5276 102 219 0 7023 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28984

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1790704/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=30032 CPUtime=342.3
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 5923 0 0 0 34198 32 0 0 25 0 1 0 313098150 30752768 5566 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 7508 5566 102 219 0 7285 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 30032

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1790064/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=31964 CPUtime=402.3
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 6477 0 0 0 40194 36 0 0 25 0 1 0 313098150 32731136 5735 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 7991 5735 102 219 0 7768 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31964

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1788912/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=32544 CPUtime=462.31
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 6765 0 0 0 46191 40 0 0 25 0 1 0 313098150 33325056 6023 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 8136 6023 102 219 0 7913 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 32544

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1788272/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=32996 CPUtime=522.31
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 6942 0 0 0 52188 43 0 0 25 0 1 0 313098150 33787904 6200 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 8249 6200 102 219 0 8026 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 32996

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1787568/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=33592 CPUtime=582.31
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7117 0 0 0 58186 45 0 0 25 0 1 0 313098150 34398208 6375 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 8398 6375 102 219 0 8175 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33592

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1786928/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=34036 CPUtime=642.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7273 0 0 0 64183 49 0 0 25 0 1 0 313098150 34852864 6531 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 8509 6531 102 219 0 8286 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 34036


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1784880/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=35500 CPUtime=822.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7759 0 0 0 82173 59 0 0 25 0 1 0 313098150 36352000 7017 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 8875 7017 102 219 0 8652 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 35500

[startup+882.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 10392
/proc/meminfo: memFree=1784368/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=35924 CPUtime=882.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 7898 0 0 0 88169 63 0 0 25 0 1 0 313098150 36786176 7156 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 8981 7156 102 219 0 8758 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 35924

[startup+942.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10392
/proc/meminfo: memFree=1783728/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=39592 CPUtime=942.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 8826 0 0 0 94166 66 0 0 25 0 1 0 313098150 40542208 7315 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 9898 7315 102 219 0 9675 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 39592

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1783344/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=39940 CPUtime=1002.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 8937 0 0 0 100163 69 0 0 25 0 1 0 313098150 40898560 7426 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 9985 7426 102 219 0 9762 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 39940

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10392
/proc/meminfo: memFree=1782960/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=40068 CPUtime=1062.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9045 0 0 0 106161 71 0 0 25 0 1 0 313098150 41029632 7534 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10017 7534 102 219 0 9794 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 40068

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10394
/proc/meminfo: memFree=1782448/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=40568 CPUtime=1122.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9158 0 0 0 112159 73 0 0 25 0 1 0 313098150 41541632 7647 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10142 7647 102 219 0 9919 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 40568

[startup+1182.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 10394
/proc/meminfo: memFree=1782000/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=40944 CPUtime=1182.32
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9274 0 0 0 118156 76 0 0 25 0 1 0 313098150 41926656 7763 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10236 7763 102 219 0 10013 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 40944

[startup+1242.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/78 10394
/proc/meminfo: memFree=1781424/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=41220 CPUtime=1242.33
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9409 0 0 0 124153 80 0 0 25 0 1 0 313098150 42209280 7898 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10305 7898 102 219 0 10082 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 41220

[startup+1302.3 s]
/proc/loadavg: 1.04 1.04 1.01 2/78 10394
/proc/meminfo: memFree=1780848/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=41624 CPUtime=1302.33
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9549 0 0 0 130150 83 0 0 25 0 1 0 313098150 42622976 8038 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10406 8038 102 219 0 10183 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 41624

[startup+1362.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 10394
/proc/meminfo: memFree=1780336/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=41856 CPUtime=1362.34
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9681 0 0 0 136148 86 0 0 25 0 1 0 313098150 42860544 8170 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10464 8170 102 219 0 10241 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 41856

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 10394
/proc/meminfo: memFree=1780016/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=42132 CPUtime=1422.34
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9759 0 0 0 142145 89 0 0 25 0 1 0 313098150 43143168 8248 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10533 8248 102 219 0 10310 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 42132

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 10394
/proc/meminfo: memFree=1779696/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=42264 CPUtime=1482.34
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 9849 0 0 0 148143 91 0 0 25 0 1 0 313098150 43278336 8338 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10566 8338 102 219 0 10343 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 42264

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10394
/proc/meminfo: memFree=1779056/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=42932 CPUtime=1542.34
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10003 0 0 0 154142 92 0 0 25 0 1 0 313098150 43962368 8492 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10733 8492 102 219 0 10510 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 42932

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10394
/proc/meminfo: memFree=1778672/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=43076 CPUtime=1602.34
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10097 0 0 0 160139 95 0 0 25 0 1 0 313098150 44109824 8586 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10769 8586 102 219 0 10546 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 43076

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10394
/proc/meminfo: memFree=1778416/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=43384 CPUtime=1662.34
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10175 0 0 0 166136 98 0 0 25 0 1 0 313098150 44425216 8664 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10846 8664 102 219 0 10623 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 43384

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10394
/proc/meminfo: memFree=1777968/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=43384 CPUtime=1722.34
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10269 0 0 0 172132 102 0 0 25 0 1 0 313098150 44425216 8758 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10846 8758 102 219 0 10623 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 43384

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10394
/proc/meminfo: memFree=1777456/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=43844 CPUtime=1782.35
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10402 0 0 0 178128 107 0 0 25 0 1 0 313098150 44896256 8891 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10961 8891 102 219 0 10738 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 43844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10394
/proc/meminfo: memFree=1777392/2055920 swapFree=4148540/4192956
[pid=10391] ppid=10389 vsize=43948 CPUtime=1800.05
/proc/10391/stat : 10391 (PBS4_SAT07v2) R 10389 10391 10324 0 -1 4194304 10427 0 0 0 179897 108 0 0 25 0 1 0 313098150 45002752 8916 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134544866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10391/statm: 10987 8916 102 219 0 10764 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 43948

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.02
CPU time (s): 1800.07
CPU user time (s): 1798.98
CPU system time (s): 1.08883
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 43948

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

runsolver used 1.37779 second user time and 3.98539 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Tue May  8 19:16:45 UTC 2007

IDJOB= 459228
IDBENCH= 24999
IDSOLVER= 200
FILE ID= node16/459228-1178651805

PBS_JOBID= 5218004

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-459228-1178651805 -o ROOT/results/node16/conversion-459228-1178651805 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459228-1178651805/instance-459228-1178651805.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  525408a019e1cf8f47f95fb4bdf20c0f

RANDOM SEED= 470056482

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1813312 kB
Buffers:         36136 kB
Cached:         135916 kB
SwapCached:      11888 kB
Active:          94772 kB
Inactive:        99984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813312 kB
SwapTotal:     4192956 kB
SwapFree:      4148540 kB
Dirty:            2916 kB
Writeback:           0 kB
Mapped:          29588 kB
Slab:            33360 kB
Committed_AS: 14135776 kB
PageTables:       1836 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node16 on Tue May  8 19:46:47 UTC 2007