Trace number 459192

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)18367 1800.07 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
MD5SUM83e4cddd78ca4f87cfb13af1d930e0cc
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8781
Best CPU time to get the best result obtained on this benchmark44.9172
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8781
Optimality of the best value was proved YES
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
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 constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 365
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 525162
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 365
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 525162
Number of bits of the biggest sum of numbers20
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/459192-1178651180/instance-459192-1178651180.opb ......
0.09/0.11	c done parsing opb.
0.09/0.11	o 72693
0.09/0.11	o 72171
0.09/0.13	o 72149
0.09/0.13	o 58779
0.09/0.14	o 58718
0.09/0.14	o 58690
0.09/0.16	o 58663
0.09/0.17	o 58525
0.09/0.17	o 58514
0.09/0.18	o 58504
0.09/0.20	o 58502
0.19/0.20	o 45970
0.19/0.21	o 45649
0.19/0.21	o 45414
0.19/0.22	o 44028
0.19/0.22	o 43707
0.19/0.23	o 43465
0.19/0.23	o 43433
0.19/0.23	o 43191
0.19/0.24	o 43175
0.19/0.24	o 43160
0.19/0.25	o 42387
0.19/0.25	o 42376
0.19/0.28	o 42374
96.17/96.27	o 42346
126.55/126.66	o 36592
126.55/126.66	o 34974
126.55/126.66	o 34377
126.55/126.67	o 34150
126.55/126.67	o 34085
126.55/126.68	o 33858
126.55/126.68	o 33840
126.55/126.68	o 33613
126.55/126.69	o 33576
126.55/126.69	o 33558
126.55/126.69	o 33331
126.55/126.70	o 33321
126.66/126.70	o 33284
126.66/126.70	o 33266
126.66/126.71	o 33039
126.66/126.71	o 32991
126.66/126.71	o 32981
126.66/126.72	o 32944
126.66/126.72	o 32926
126.66/126.72	o 32699
126.66/126.72	o 32696
126.66/126.73	o 32678
126.66/126.73	o 32451
126.66/126.73	o 32422
126.66/126.74	o 32419
126.66/126.74	o 32401
126.66/126.74	o 32174
126.66/126.75	o 32170
126.66/126.75	o 20336
126.66/126.75	o 20011
126.66/126.76	o 19784
126.66/126.76	o 19748
126.66/126.76	o 19521
126.66/126.77	o 19472
126.66/126.77	o 19436
126.66/126.77	o 19209
126.66/126.77	o 19173
126.66/126.78	o 18946
126.66/126.78	o 18925
126.66/126.78	o 18698
126.66/126.78	o 18674
126.66/126.79	o 18653
126.66/126.79	o 18426
126.66/126.79	o 18367
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	v -x1 -x10 -x100 x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014
1800.05/1800.50	v -x1015 -x1016 -x1017 -x1018 -x1019 x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030
1800.05/1800.50	v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1800.05/1800.50	v -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062
1800.05/1800.50	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078
1800.05/1800.50	v -x1079 -x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094
1800.05/1800.50	v -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111
1800.05/1800.50	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.05/1800.50	v -x1126 -x1127 -x1128 -x1129 -x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x114 -x1140 -x1141
1800.05/1800.50	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157
1800.05/1800.50	v -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173
1800.05/1800.50	v -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189
1800.05/1800.50	v -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204
1800.05/1800.50	v -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220
1800.05/1800.50	v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236
1800.05/1800.50	v -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252
1800.05/1800.50	v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.05/1800.50	v -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x128 -x1280 -x1281 -x1282 -x1283 -x1284
1800.05/1800.50	v -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130
1800.05/1800.50	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
1800.05/1800.50	v -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331
1800.05/1800.50	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.05/1800.50	v -x1348 -x1349 x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 x1357 x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363
1800.05/1800.50	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379
1800.05/1800.50	v -x138 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395
1800.05/1800.50	v -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410
1800.05/1800.50	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426
1800.05/1800.50	v -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442
1800.05/1800.50	v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
1800.05/1800.50	v -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 x147 -x1470 -x1471 -x1472 -x1473 -x1474
1800.05/1800.50	v -x1475 -x1476 -x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490
1800.05/1800.50	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 -x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1800.05/1800.50	v -x1507 -x1508 -x1509 -x151 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522
1800.05/1800.50	v -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538
1800.05/1800.50	v -x1539 -x154 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554
1800.05/1800.50	v -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570
1800.05/1800.50	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.05/1800.50	v -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x16 -x160 -x1600 -x1601
1800.05/1800.50	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.05/1800.50	v -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633
1800.05/1800.50	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 x1648 -x1649 -x165
1800.05/1800.50	v -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665
1800.05/1800.50	v -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681
1800.05/1800.50	v -x1682 -x1683 -x1684 -x1685 -x1686 x1687 x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698
1800.05/1800.50	v -x1699 -x17 -x170 -x1700 x1701 x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713
1800.05/1800.50	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729
1800.05/1800.50	v -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x174 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745
1800.05/1800.50	v -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x176 -x1760 -x1761
1800.05/1800.50	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x177 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
1800.05/1800.50	v -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x179 -x1790 -x1791 x1792 x1793
1800.05/1800.50	v x1794 -x1795 x1796 -x1797 x1798 -x1799 x18 -x180 x1800 -x1801 x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x181
1800.05/1800.50	v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x182 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825
1800.05/1800.50	v -x1826 -x1827 -x1828 -x1829 -x183 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x184 -x1840 -x1841
1800.05/1800.50	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x185 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857
1800.05/1800.50	v -x1858 -x1859 -x186 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x187 -x1870 -x1871 -x1872 -x1873
1800.05/1800.50	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x188 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889
1800.05/1800.50	v -x189 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x19 -x190 -x1900 -x1901 -x1902 -x1903 -x1904
1800.05/1800.50	v -x1905 -x1906 -x1907 -x1908 -x1909 x191 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x192 -x1920
1800.05/1800.50	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x193 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936
1800.05/1800.50	v -x1937 -x1938 -x1939 -x194 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x195 -x1950 -x1951 -x1952
1800.05/1800.50	v -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x196 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968
1800.05/1800.50	v -x1969 x197 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 -x1982 -x1983 -x1984
1800.05/1800.50	v -x1985 -x1986 -x1987 -x1988 -x1989 -x199 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2 -x20
1800.05/1800.50	v -x200 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015
1800.05/1800.50	v -x2016 -x2017 -x2018 -x2019 -x202 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x203 -x2030 -x2031
1800.05/1800.50	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047
1800.05/1800.50	v -x2048 -x2049 -x205 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x206 -x2060 -x2061 -x2062 -x2063
1800.05/1800.50	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x207 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079
1800.05/1800.50	v -x208 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x209 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.05/1800.50	v -x2096 -x2097 -x2098 -x2099 -x21 -x210 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x211 -x2110
1800.05/1800.50	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x212 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127
1800.05/1800.50	v -x2128 -x2129 -x213 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x214 -x2140 -x2141 -x2142 -x2143
1800.05/1800.50	v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x215 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x216
1800.05/1800.50	v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 x2168 -x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176
1800.05/1800.50	v -x2177 -x2178 -x2179 -x218 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x219 -x2190 -x2191 -x2192
1800.05/1800.50	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x22 -x220 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208
1800.05/1800.50	v -x2209 -x221 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x222 -x2220 -x2221 -x2222 -x2223 -x2224
1800.05/1800.50	v -x2225 -x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x224 -x2240
1800.05/1800.50	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 x2248 -x2249 -x225 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
1800.05/1800.50	v -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x227 -x2270 -x2271 -x2272 -x2273
1800.05/1800.50	v -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289
1800.05/1800.50	v -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304
1800.05/1800.50	v -x2305 -x2306 -x2307 -x2308 -x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320
1800.05/1800.50	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x233 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336
1800.05/1800.50	v -x2337 -x2338 -x2339 -x234 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x235 -x2350 -x2351 -x2352
1800.05/1800.50	v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1800.05/1800.50	v -x2369 -x237 -x2370 -x2371 x2372 -x2373 x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x238 x2380 -x2381 -x2382 -x2383 -x2384
1800.05/1800.50	v -x2385 -x2386 -x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x24 -x240
1800.05/1800.50	v -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x241 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415
1800.05/1800.50	v -x2416 -x2417 -x2418 -x2419 -x242 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x243 -x2430 -x2431
1800.05/1800.50	v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x244 -x2440 -x2441 -x2442 x2443 x2444 -x2445 -x2446 x2447 x2448
1800.05/1800.50	v -x2449 -x245 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x246 -x2460 -x2461 -x2462 -x2463 -x2464
1800.05/1800.50	v -x2465 -x2466 -x2467 -x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248 -x2480
1800.05/1800.50	v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x249 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496
1800.05/1800.50	v -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511
1800.05/1800.50	v -x2512 x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528
1800.05/1800.50	v -x2529 -x253 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x254 -x2540 -x2541 -x2542 -x2543 -x2544
1800.05/1800.50	v -x2545 -x2546 -x2547 -x2548 -x2549 -x255 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x256 -x2560
1800.05/1800.50	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576
1800.05/1800.50	v -x2577 -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592
1800.05/1800.50	v -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608
1800.05/1800.50	v -x2609 -x261 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 x2617 x2618 -x2619 -x262 -x2620 -x2621 -x2622 x2623 x2624
1800.05/1800.50	v -x2625 -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x264 -x2640
1800.05/1800.50	v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x265 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
1800.05/1800.50	v -x2658 -x2659 x266 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 x2666 x2667 x2668 -x2669 -x267 -x2670 x2671 x2672 -x2673 -x2674
1800.05/1800.50	v -x2675 -x2676 -x2677 -x2678 -x2679 -x268 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x269 -x2690
1800.05/1800.50	v -x2691 -x2692 -x2693 -x2694 x2695 x2696 -x2697 -x2698 -x2699 -x27 -x270 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706
1800.05/1800.50	v -x2707 -x2708 -x2709 -x271 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x272 -x2720 -x2721 -x2722
1800.05/1800.50	v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x273 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738
1800.05/1800.50	v -x2739 -x274 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x275 -x2750 -x2751 -x2752 -x2753 -x2754
1800.05/1800.50	v -x2755 -x2756 -x2757 -x2758 -x2759 -x276 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x277 -x2770
1800.05/1800.50	v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x278 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786
1800.05/1800.50	v -x2787 -x2788 -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 -x280 -x2800 -x2801
1800.05/1800.50	v -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x281 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817
1800.05/1800.50	v -x2818 -x2819 -x282 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x283 -x2830 -x2831 -x2832 -x2833
1800.05/1800.50	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849
1800.05/1800.50	v -x285 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865
1800.05/1800.50	v -x2866 -x2867 -x2868 -x2869 -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881
1800.05/1800.50	v -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897
1800.05/1800.50	v -x2898 -x2899 -x29 -x290 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x291 -x2910 -x2911 -x2912
1800.05/1800.50	v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1800.05/1800.50	v -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944
1800.05/1800.50	v -x2945 -x2946 -x2947 -x2948 -x2949 -x295 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960
1800.05/1800.50	v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976
1800.05/1800.50	v -x2977 -x2978 -x2979 -x298 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992
1800.05/1800.50	v -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3 -x30 -x300 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007
1800.05/1800.50	v -x3008 -x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x302 -x3020 -x3021 -x3022 -x3023
1800.05/1800.50	v -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x303 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
1800.05/1800.50	v -x304 -x3040 -x3041 -x3042 -x3043 -x3044 x3045 x3046 -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055
1800.05/1800.50	v -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071
1800.05/1800.50	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x308 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087
1800.05/1800.50	v -x3088 -x3089 -x309 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x31 -x310 -x3100 -x3101 -x3102
1800.05/1800.50	v -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x311 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118
1800.05/1800.50	v -x3119 -x312 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x313 -x3130 -x3131 -x3132 -x3133 -x3134
1800.05/1800.50	v -x3135 -x3136 -x3137 -x3138 -x3139 -x314 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150
1800.05/1800.50	v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x316 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166
1800.05/1800.50	v -x3167 -x3168 -x3169 -x317 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x318 -x3180 -x3181 -x3182
1800.05/1800.50	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x319 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198
1800.05/1800.50	v -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 x3206 x3207 -x3208 -x3209 -x321 -x3210 -x3211 x3212 x3213 -x3214
1800.05/1800.50	v -x3215 -x3216 -x3217 -x3218 -x3219 -x322 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x323 -x3230
1800.05/1800.50	v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246
1800.05/1800.50	v -x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262
1800.05/1800.50	v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x327 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278
1800.05/1800.50	v -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294
1800.05/1800.50	v -x3295 -x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x331
1800.05/1800.50	v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1800.05/1800.50	v -x3326 -x3327 -x3328 -x3329 -x333 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x334 -x3340 -x3341
1800.05/1800.50	v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x335 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357
1800.05/1800.50	v -x3358 -x3359 -x336 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x337 -x3370 -x3371 -x3372 -x3373
1800.05/1800.50	v -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389
1800.05/1800.50	v -x339 -x3390 -x3391 x3392 x3393 -x3394 -x3395 -x3396 -x3397 x3398 x3399 -x34 -x340 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
1800.05/1800.50	v -x3406 -x3407 -x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x342 -x3420 -x3421
1800.05/1800.50	v -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 x3429 -x343 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438
1800.05/1800.50	v -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x345 -x3450 -x3451 -x3452 -x3453 -x3454
1800.05/1800.50	v -x3455 -x3456 -x3457 -x3458 -x3459 -x346 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x347 -x3470
1800.05/1800.50	v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 x3478 x3479 -x348 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487
1800.05/1800.50	v -x3488 -x3489 -x349 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x35 -x350 -x3500 -x3501 -x3502
1800.05/1800.50	v -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x351 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518
1800.05/1800.50	v -x3519 -x352 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530 -x3531 -x3532 -x3533 -x3534
1800.05/1800.50	v -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x355 -x3550
1800.05/1800.50	v -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x356 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566
1800.05/1800.50	v -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x358 -x3580 -x3581 -x3582
1800.05/1800.50	v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598
1800.05/1800.50	v -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 -x3611 x3612 x3613
1800.05/1800.50	v x3614 x3615 x3616 x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 x363
1800.05/1800.50	v -x3630 -x3631 -x3632 -x3633 x3634 x3635 -x3636 -x3637 x3638 x3639 x364 -x3640 -x3641 -x3642 -x3643 x3644 x3645 -x3646 -x3647
1800.05/1800.50	v -x3648 -x3649 -x365 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x366 -x3660 -x3661 -x3662 -x3663
1800.05/1800.50	v -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679
1800.05/1800.50	v -x368 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695
1800.05/1800.50	v -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x371 -x3710
1800.05/1800.50	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x372 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726
1800.05/1800.50	v x3727 x3728 -x3729 -x373 -x3730 x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742
1800.05/1800.50	v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758
1800.05/1800.50	v -x3759 -x376 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774
1800.05/1800.50	v -x3775 -x3776 -x3777 -x3778 -x3779 -x378 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x379 -x3790
1800.05/1800.50	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 x38 -x380 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806
1800.05/1800.50	v -x3807 -x3808 -x3809 -x381 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822
1800.05/1800.50	v -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x383 x3830 x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839
1800.05/1800.50	v -x384 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855
1800.05/1800.50	v -x3856 -x3857 -x3858 -x3859 -x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 x3866 x3867 -x3868 -x3869 -x387 -x3870 -x3871
1800.05/1800.50	v -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
1800.05/1800.50	v -x3888 -x3889 -x389 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x39 -x390 -x3900 -x3901 -x3902
1800.05/1800.50	v -x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919
1800.05/1800.50	v -x392 -x3920 -x3921 x3922 x3923 -x3924 -x3925 -x3926 -x3927 x3928 x3929 -x393 x3930 x3931 -x3932 -x3933 -x3934 -x3935 x3936
1800.05/1800.50	v x3937 -x3938 -x3939 -x394 x3940 x3941 -x3942 -x3943 x3944 x3945 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402
1800.05/1800.50	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421
1800.05/1800.50	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x44 x440
1800.05/1800.50	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46
1800.05/1800.50	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 -x47 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
1800.05/1800.50	v -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498
1800.05/1800.50	v -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516
1800.05/1800.50	v -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535
1800.05/1800.50	v -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 -x554
1800.05/1800.50	v -x555 -x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573
1800.05/1800.50	v -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592
1800.05/1800.50	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610
1800.05/1800.50	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63
1800.05/1800.50	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
1800.05/1800.50	v -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668
1800.05/1800.50	v -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687
1800.05/1800.50	v -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706
1800.05/1800.50	v -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725
1800.05/1800.50	v -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744
1800.05/1800.50	v -x745 -x746 -x747 -x748 -x749 -x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763
1800.05/1800.50	v -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78 -x780 -x781 -x782
1800.05/1800.50	v -x783 -x784 -x785 x786 x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x8 -x80 -x800 -x801
1800.05/1800.50	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x82 -x820
1800.05/1800.50	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84
1800.05/1800.50	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859
1800.05/1800.50	v -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
1800.05/1800.50	v -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.05/1800.50	v -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 x909 -x91 x910 -x911 -x912 -x913 -x914 -x915 -x916
1800.05/1800.50	v -x917 -x918 -x919 x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935
1800.05/1800.50	v -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954
1800.05/1800.50	v -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973
1800.05/1800.50	v -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992
1800.05/1800.50	v -x993 -x994 -x995 -x996 -x997 -x998 x999

Verifier Data (download as text)

OK	18367

Conversion Script Data (download as text)

/tmp/evaluation/459192-1178651180/instance-459192-1178651180.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/node72/watcher-459192-1178651180 -o ROOT/results/node72/solver-459192-1178651180 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459192-1178651180/instance-459192-1178651180.opb 

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


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 730
/proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=1868 CPUtime=0
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 341156474 1912832 242 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135006757 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 467 242 84 219 0 244 0

[startup+0.0736499 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 730
/proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=2424 CPUtime=0.07
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 427 0 0 0 7 0 0 0 18 0 1 0 341156474 2482176 409 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134588758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 606 409 86 219 0 383 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2424

[startup+0.101652 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 730
/proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=2424 CPUtime=0.09
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 469 0 0 0 9 0 0 0 18 0 1 0 341156474 2482176 451 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134594427 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 606 451 86 219 0 383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2424

[startup+0.301671 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 730
/proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=3272 CPUtime=0.29
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 629 0 0 0 27 2 0 0 19 0 1 0 341156474 3350528 562 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 818 562 102 219 0 595 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3272

[startup+0.701707 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 730
/proc/meminfo: memFree=1549488/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=3668 CPUtime=0.69
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 761 0 0 0 67 2 0 0 23 0 1 0 341156474 3756032 694 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 917 694 102 219 0 694 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3668

[startup+1.50178 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 731
/proc/meminfo: memFree=1546792/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=4180 CPUtime=1.49
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 857 0 0 0 147 2 0 0 25 0 1 0 341156474 4280320 790 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 1045 790 102 219 0 822 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4180

[startup+3.10193 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 731
/proc/meminfo: memFree=1546344/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=5204 CPUtime=3.09
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 976 0 0 0 307 2 0 0 25 0 1 0 341156474 5328896 909 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 1301 909 102 219 0 1078 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5204

[startup+6.30122 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 731
/proc/meminfo: memFree=1545256/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=7252 CPUtime=6.28
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 1212 0 0 0 626 2 0 0 25 0 1 0 341156474 7426048 1145 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 1813 1145 102 219 0 1590 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7252

[startup+12.7018 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 731
/proc/meminfo: memFree=1543464/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=7396 CPUtime=12.69
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 1621 0 0 0 1266 3 0 0 25 0 1 0 341156474 7573504 1554 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557328 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 1849 1554 102 219 0 1626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7396

[startup+25.502 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 731
/proc/meminfo: memFree=1540072/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=11636 CPUtime=25.48
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 2495 0 0 0 2544 4 0 0 25 0 1 0 341156474 11915264 2428 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 2909 2428 102 219 0 2686 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11636

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 731
/proc/meminfo: memFree=1531880/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=22104 CPUtime=51.07
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 4632 0 0 0 5099 8 0 0 25 0 1 0 341156474 22634496 4468 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 5526 4468 102 219 0 5303 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22104

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 731
/proc/meminfo: memFree=1527464/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=25200 CPUtime=102.27
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 5713 0 0 0 10212 15 0 0 25 0 1 0 341156474 25804800 5549 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134556992 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 6300 5549 102 219 0 6077 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25200

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1525928/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=27452 CPUtime=162.25
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6274 0 0 0 16203 22 0 0 25 0 1 0 341156474 28110848 5917 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 6863 5917 102 219 0 6640 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27452

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1525224/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=28000 CPUtime=222.23
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6436 0 0 0 22200 23 0 0 25 0 1 0 341156474 28672000 6079 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 7000 6079 102 219 0 6777 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28000

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1524392/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=28588 CPUtime=282.22
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6640 0 0 0 28197 25 0 0 25 0 1 0 341156474 29274112 6283 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 7147 6283 102 219 0 6924 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 28588

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1523688/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=29120 CPUtime=342.21
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6816 0 0 0 34193 28 0 0 25 0 1 0 341156474 29818880 6459 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560672 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 7280 6459 102 219 0 7057 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 29120

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1523304/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=29352 CPUtime=402.19
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 6920 0 0 0 40190 29 0 0 25 0 1 0 341156474 30056448 6563 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 7338 6563 102 219 0 7115 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 29352

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1522984/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=31272 CPUtime=462.17
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7409 0 0 0 46186 31 0 0 25 0 1 0 341156474 32022528 6667 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557359 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 7818 6667 102 219 0 7595 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 31272

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1522728/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=31476 CPUtime=522.16
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7501 0 0 0 52183 33 0 0 25 0 1 0 341156474 32231424 6759 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 7869 6759 102 219 0 7646 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 31476

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1522280/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=31724 CPUtime=582.15
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7610 0 0 0 58179 36 0 0 25 0 1 0 341156474 32485376 6868 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 7931 6868 102 219 0 7708 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 31724

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1521768/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=32012 CPUtime=642.14
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 7723 0 0 0 64175 39 0 0 25 0 1 0 341156474 32780288 6981 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 8003 6981 102 219 0 7780 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 32012


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1520232/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=32760 CPUtime=882.07
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 8078 0 0 0 88159 48 0 0 25 0 1 0 341156474 33546240 7336 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134560669 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 8190 7336 102 219 0 7967 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 32760

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 731
/proc/meminfo: memFree=1519848/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=32948 CPUtime=942.06
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 8161 0 0 0 94156 50 0 0 25 0 1 0 341156474 33738752 7419 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 8237 7419 102 219 0 8014 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 32948

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1519464/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=33244 CPUtime=1002.05
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 8253 0 0 0 100153 52 0 0 25 0 1 0 341156474 34041856 7511 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 8311 7511 102 219 0 8088 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 33244

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1519080/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=36640 CPUtime=1062.03
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9113 0 0 0 106148 55 0 0 25 0 1 0 341156474 37519360 7602 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9160 7602 102 219 0 8937 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 36640

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1518760/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=36640 CPUtime=1122.01
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9193 0 0 0 112144 57 0 0 25 0 1 0 341156474 37519360 7682 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9160 7682 102 219 0 8937 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 36640

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1518440/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=36868 CPUtime=1182
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9302 0 0 0 118141 59 0 0 25 0 1 0 341156474 37752832 7791 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134545659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9217 7791 102 219 0 8994 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 36868

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1518184/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=37200 CPUtime=1241.98
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9371 0 0 0 124137 61 0 0 25 0 1 0 341156474 38092800 7860 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9300 7860 102 219 0 9077 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 37200

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1517672/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=37580 CPUtime=1301.97
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9491 0 0 0 130134 63 0 0 25 0 1 0 341156474 38481920 7980 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9395 7980 102 219 0 9172 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 37580

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1517288/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=37580 CPUtime=1361.96
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9579 0 0 0 136131 65 0 0 25 0 1 0 341156474 38481920 8068 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9395 8068 102 219 0 9172 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 37580

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1516968/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=37852 CPUtime=1421.94
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9660 0 0 0 142126 68 0 0 25 0 1 0 341156474 38760448 8149 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9463 8149 102 219 0 9240 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 37852

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1516648/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=37852 CPUtime=1481.93
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9752 0 0 0 148122 71 0 0 25 0 1 0 341156474 38760448 8241 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9463 8241 102 219 0 9240 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 37852

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1516392/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=38240 CPUtime=1541.92
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9822 0 0 0 154118 74 0 0 25 0 1 0 341156474 39157760 8311 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9560 8311 102 219 0 9337 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 38240

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1515944/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=38240 CPUtime=1601.9
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 9916 0 0 0 160114 76 0 0 25 0 1 0 341156474 39157760 8405 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9560 8405 102 219 0 9337 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 38240

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1515624/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=38548 CPUtime=1661.89
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10000 0 0 0 166110 79 0 0 25 0 1 0 341156474 39473152 8489 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9637 8489 102 219 0 9414 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 38548

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 731
/proc/meminfo: memFree=1515240/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=38680 CPUtime=1721.86
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10098 0 0 0 172106 80 0 0 25 0 1 0 341156474 39608320 8587 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9670 8587 102 219 0 9447 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 38680

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 733
/proc/meminfo: memFree=1514920/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=39004 CPUtime=1781.85
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10167 0 0 0 178102 83 0 0 25 0 1 0 341156474 39940096 8656 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9751 8656 102 219 0 9528 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 39004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 733
/proc/meminfo: memFree=1514792/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=39004 CPUtime=1800.05
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10200 0 0 0 179921 84 0 0 25 0 1 0 341156474 39940096 8689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9751 8689 102 219 0 9528 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 39004

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 733
/proc/meminfo: memFree=1514792/2055920 swapFree=4157260/4192956
[pid=730] ppid=728 vsize=39004 CPUtime=1800.05
/proc/730/stat : 730 (PBS4_SAT07v2) R 728 730 663 0 -1 4194304 10200 0 0 0 179921 84 0 0 25 0 1 0 341156474 39940096 8689 18446744073709551615 134512640 135410602 4294956704 18446744073709551615 134557295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/730/statm: 9751 8689 102 219 0 9528 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 39004

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.22
CPU system time (s): 0.85087
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 39004

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

runsolver used 1.2988 second user time and 4.08638 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Tue May  8 19:06:20 UTC 2007

IDJOB= 459192
IDBENCH= 24963
IDSOLVER= 200
FILE ID= node72/459192-1178651180

PBS_JOBID= 5218405

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir09_trarea_ac.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459192-1178651180/instance-459192-1178651180.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-459192-1178651180 -o ROOT/results/node72/conversion-459192-1178651180 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459192-1178651180/instance-459192-1178651180.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  83e4cddd78ca4f87cfb13af1d930e0cc

RANDOM SEED= 566493602

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1549832 kB
Buffers:         37308 kB
Cached:         361076 kB
SwapCached:      16892 kB
Active:         100620 kB
Inactive:       320616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1549832 kB
SwapTotal:     4192956 kB
SwapFree:      4157260 kB
Dirty:            2740 kB
Writeback:           0 kB
Mapped:          30044 kB
Slab:            70328 kB
Committed_AS:  7406156 kB
PageTables:       1788 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 node72 on Tue May  8 19:36:23 UTC 2007