Trace number 459074

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
MD5SUM41d95962f9f821e00bc6bf0e503d69d6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark960
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 957
Optimality of the best value was proved NO
Number of variables6175
Total number of constraints17920
Number of constraints which are clauses17920
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 constraint495
Number of terms in the objective function 6175
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 6175
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6175
Number of bits of the biggest sum of numbers13
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/459074-1178648191/instance-459074-1178648191.opb ......
0.69/0.72	c done parsing opb.
0.69/0.72	o 5061
0.79/0.88	o 5043
0.99/1.04	o 5042
1.19/1.21	o 5041
1.29/1.37	o 5040
1.49/1.53	o 5039
1.59/1.69	o 5038
1.79/1.85	o 5037
1.99/2.02	o 5036
2.10/2.18	o 5035
2.29/2.34	o 5034
2.50/2.50	o 5033
2.59/2.66	o 5032
2.79/2.82	o 5031
2.89/2.99	o 5030
3.09/3.15	o 5029
3.30/3.31	o 5028
3.39/3.47	o 5027
3.60/3.63	o 5026
3.69/3.79	o 5025
3.89/3.95	o 5024
4.09/4.11	o 5023
4.19/4.27	o 5022
4.39/4.44	o 5021
4.59/4.60	o 5020
4.69/4.76	o 5019
4.89/4.92	o 5018
4.99/5.08	o 5017
5.19/5.24	o 5016
5.29/5.40	o 5015
5.49/5.56	o 5014
5.70/5.72	o 5013
5.80/5.88	o 5012
5.99/6.04	o 5011
6.19/6.20	o 5010
6.29/6.36	o 5009
6.50/6.52	o 5008
6.60/6.68	o 5007
6.79/6.84	o 5006
6.99/7.00	o 5005
7.09/7.16	o 5004
7.29/7.33	o 5003
7.39/7.50	o 5002
7.59/7.66	o 5001
7.79/7.83	o 5000
7.89/8.00	o 4999
8.09/8.16	o 4998
8.29/8.33	o 4997
8.39/8.49	o 4996
8.59/8.66	o 4995
8.80/8.83	o 4994
8.89/8.99	o 4993
9.09/9.16	o 4992
9.29/9.32	o 4991
9.39/9.49	o 4990
9.59/9.66	o 4989
9.80/9.82	o 4988
9.89/9.99	o 4987
10.09/10.15	o 4986
10.29/10.32	o 4985
10.39/10.49	o 4984
10.59/10.65	o 4983
10.79/10.82	o 4982
10.89/10.98	o 4981
11.09/11.14	o 4980
11.29/11.31	o 4979
11.39/11.47	o 4978
11.59/11.64	o 4977
11.79/11.80	o 4976
11.89/11.97	o 4975
12.09/12.13	o 4974
12.19/12.29	o 4973
12.39/12.46	o 4972
12.59/12.62	o 4971
12.69/12.79	o 4970
12.89/12.95	o 4969
13.09/13.11	o 4968
13.20/13.28	o 4967
13.39/13.44	o 4966
13.59/13.61	o 4965
13.69/13.77	o 4964
13.89/13.93	o 4963
14.09/14.10	o 4962
14.19/14.26	o 4961
14.39/14.43	o 4960
14.49/14.59	o 4959
14.69/14.76	o 4958
14.89/14.92	o 4957
14.99/15.09	o 4956
15.19/15.25	o 4955
15.39/15.41	o 4954
15.49/15.58	o 4953
15.69/15.74	o 4952
15.89/15.91	o 4951
15.99/16.07	o 4950
16.19/16.23	o 4949
16.29/16.40	o 4948
16.49/16.56	o 4947
16.69/16.72	o 4946
16.79/16.89	o 4945
16.99/17.05	o 4944
17.19/17.21	o 4943
17.29/17.38	o 4942
17.49/17.54	o 4941
17.69/17.70	o 4940
17.79/17.87	o 4939
17.99/18.03	o 4938
18.09/18.19	o 4937
18.29/18.36	o 4936
18.49/18.52	o 4935
18.59/18.68	o 4934
18.79/18.85	o 4933
18.99/19.01	o 4932
19.09/19.17	o 4931
19.29/19.33	o 4930
19.39/19.49	o 4929
19.59/19.66	o 4928
19.80/19.82	o 4927
19.89/19.98	o 4926
20.09/20.15	o 4925
20.29/20.31	o 4924
20.39/20.47	o 4923
20.58/20.63	o 4922
48.79/48.83	o 1164
48.89/48.98	o 1163
48.99/49.03	o 1093
48.99/49.08	o 1092
49.19/49.20	o 1084
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
1800.05/1800.00	v -x108 -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
1800.05/1800.00	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x141 -x1410 -x1411 -x1412 x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1800.05/1800.00	v -x1419 -x142 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434
1800.05/1800.00	v -x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x145 -x1450
1800.05/1800.00	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.05/1800.00	v -x1467 -x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x148 -x1480 -x1481 -x1482
1800.05/1800.00	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498
1800.05/1800.00	v -x1499 x15 -x150 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 x151 -x1510 -x1511 x1512 -x1513 -x1514
1800.05/1800.00	v x1515 -x1516 -x1517 x1518 -x1519 -x152 x1520 -x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530
1800.05/1800.00	v x1531 -x1532 -x1533 -x1534 x1535 -x1536 -x1537 -x1538 x1539 -x154 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 x1547
1800.05/1800.00	v x1548 x1549 x155 -x1550 -x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563
1800.05/1800.00	v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158
1800.05/1800.00	v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x159 x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596
1800.05/1800.00	v -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611
1800.05/1800.00	v -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627
1800.05/1800.00	v -x1628 -x1629 x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643
1800.05/1800.00	v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659
1800.05/1800.00	v -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675
1800.05/1800.00	v -x1676 -x1677 -x1678 x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x169 -x1690 -x1691
1800.05/1800.00	v -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1800.05/1800.00	v -x1708 -x1709 -x171 x1710 x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723
1800.05/1800.00	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739
1800.05/1800.00	v -x174 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x175 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
1800.05/1800.00	v -x1756 -x1757 -x1758 x1759 -x176 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x177 -x1770 -x1771
1800.05/1800.00	v -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x178 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787
1800.05/1800.00	v x1788 -x1789 -x179 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x18 -x180 x1800 -x1801 -x1802
1800.05/1800.00	v x1803 -x1804 -x1805 x1806 x1807 -x1808 x1809 -x181 x1810 -x1811 -x1812 x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x182
1800.05/1800.00	v -x1820 x1821 x1822 -x1823 -x1824 -x1825 x1826 -x1827 x1828 -x1829 x183 -x1830 x1831 -x1832 -x1833 x1834 x1835 -x1836 x1837
1800.05/1800.00	v -x1838 -x1839 x184 x1840 -x1841 -x1842 x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x185 x1850 -x1851 -x1852 -x1853
1800.05/1800.00	v x1854 x1855 -x1856 -x1857 x1858 -x1859 -x186 -x1860 -x1861 -x1862 x1863 x1864 -x1865 -x1866 x1867 x1868 x1869 x187 x1870
1800.05/1800.00	v x1871 -x1872 -x1873 -x1874 x1875 x1876 -x1877 -x1878 -x1879 -x188 x1880 -x1881 -x1882 -x1883 x1884 x1885 -x1886 -x1887
1800.05/1800.00	v x1888 -x1889 -x189 -x1890 -x1891 -x1892 x1893 -x1894 -x1895 x1896 x1897 -x1898 -x1899 x19 -x190 -x1900 x1901 -x1902 x1903
1800.05/1800.00	v -x1904 -x1905 -x1906 -x1907 x1908 -x1909 x191 -x1910 x1911 x1912 -x1913 -x1914 x1915 -x1916 -x1917 x1918 -x1919 -x192 x1920
1800.05/1800.00	v -x1921 -x1922 x1923 x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x193 x1930 -x1931 -x1932 x1933 -x1934 -x1935 x1936 -x1937
1800.05/1800.00	v -x1938 -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 -x1971
1800.05/1800.00	v -x1972 -x1973 x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x198 -x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988
1800.05/1800.00	v -x1989 -x199 -x1990 x1991 -x1992 x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2 -x20 -x200 -x2000 x2001 -x2002 x2003
1800.05/1800.00	v -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x201 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 x2019 -x202
1800.05/1800.00	v x2020 -x2021 x2022 -x2023 x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x203 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 x2036
1800.05/1800.00	v -x2037 -x2038 x2039 -x204 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 x2047 -x2048 -x2049 -x205 -x2050 x2051 x2052
1800.05/1800.00	v -x2053 -x2054 -x2055 -x2056 x2057 -x2058 -x2059 -x206 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 -x2068 -x2069
1800.05/1800.00	v x207 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 x2078 -x2079 -x208 x2080 -x2081 -x2082 -x2083 -x2084 -x2085
1800.05/1800.00	v x2086 x2087 x2088 -x2089 -x209 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 x2099 x21 x210 -x2100 -x2101
1800.05/1800.00	v -x2102 -x2103 x2104 x2105 x2106 -x2107 -x2108 -x2109 -x211 x2110 -x2111 -x2112 -x2113 x2114 -x2115 x2116 -x2117 -x2118
1800.05/1800.00	v -x2119 -x212 -x2120 -x2121 x2122 x2123 x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x213 -x2130 -x2131 -x2132 -x2133 x2134
1800.05/1800.00	v -x2135 x2136 -x2137 x2138 -x2139 -x214 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 x2146 -x2147 -x2148 x2149 -x215 x2150 -x2151
1800.05/1800.00	v -x2152 -x2153 x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x216 -x2160 -x2161 -x2162 x2163 -x2164 x2165 -x2166 -x2167 -x2168
1800.05/1800.00	v x2169 -x217 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x218 -x2180 x2181 -x2182 x2183 -x2184
1800.05/1800.00	v x2185 -x2186 x2187 -x2188 x2189 -x219 -x2190 x2191 -x2192 x2193 -x2194 x2195 -x2196 x2197 -x2198 -x2199 -x22 -x220 x2200
1800.05/1800.00	v x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x221 -x2210 -x2211 x2212 -x2213 x2214 -x2215 x2216 -x2217
1800.05/1800.00	v -x2218 -x2219 x222 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x223 -x2230 -x2231 -x2232 -x2233
1800.05/1800.00	v -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x224 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x225
1800.05/1800.00	v -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x226 -x2260 -x2261 -x2262 -x2263 -x2264 x2265 -x2266
1800.05/1800.00	v -x2267 x2268 -x2269 x227 -x2270 x2271 -x2272 -x2273 x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x228 -x2280 -x2281 -x2282
1800.05/1800.00	v x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x229 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299
1800.05/1800.00	v -x23 -x230 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x231 -x2310 -x2311 -x2312 -x2313 -x2314
1800.05/1800.00	v x2315 -x2316 -x2317 -x2318 -x2319 -x232 -x2320 -x2321 -x2322 -x2323 x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x233 x2330
1800.05/1800.00	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 x2339 -x234 -x2340 -x2341 -x2342 -x2343 x2344 x2345 -x2346 -x2347
1800.05/1800.00	v -x2348 -x2349 -x235 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x236 -x2360 -x2361 -x2362 -x2363
1800.05/1800.00	v -x2364 -x2365 -x2366 -x2367 -x2368 x2369 -x237 -x2370 -x2371 x2372 -x2373 -x2374 x2375 -x2376 -x2377 -x2378 -x2379 -x238
1800.05/1800.00	v -x2380 -x2381 -x2382 x2383 -x2384 -x2385 -x2386 x2387 -x2388 -x2389 -x239 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 x2396
1800.05/1800.00	v -x2397 -x2398 -x2399 x24 -x240 -x2400 -x2401 x2402 -x2403 x2404 -x2405 x2406 -x2407 -x2408 -x2409 x241 x2410 -x2411 -x2412
1800.05/1800.00	v -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x242 -x2420 x2421 -x2422 -x2423 -x2424 x2425 x2426 x2427 -x2428 -x2429
1800.05/1800.00	v x243 x2430 -x2431 -x2432 -x2433 x2434 -x2435 x2436 -x2437 x2438 -x2439 -x244 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 x2446
1800.05/1800.00	v -x2447 -x2448 x2449 -x245 -x2450 -x2451 -x2452 x2453 x2454 x2455 -x2456 -x2457 x2458 -x2459 -x246 x2460 -x2461 x2462 -x2463
1800.05/1800.00	v x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x247 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x248
1800.05/1800.00	v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x249 -x2490 x2491 -x2492 -x2493 x2494 -x2495 -x2496
1800.05/1800.00	v -x2497 -x2498 -x2499 -x25 -x250 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x251 -x2510 -x2511
1800.05/1800.00	v x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x252 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528
1800.05/1800.00	v -x2529 -x253 -x2530 x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 -x254 -x2540 -x2541 -x2542 x2543 -x2544
1800.05/1800.00	v -x2545 x2546 -x2547 -x2548 x2549 -x255 -x2550 -x2551 -x2552 x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 x256 x2560 -x2561
1800.05/1800.00	v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x257 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577
1800.05/1800.00	v -x2578 -x2579 -x258 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x259 -x2590 -x2591 -x2592 -x2593
1800.05/1800.00	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x26 -x260 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609
1800.05/1800.00	v x261 -x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x262 -x2620 x2621 -x2622 -x2623 -x2624 -x2625
1800.05/1800.00	v -x2626 -x2627 -x2628 -x2629 -x263 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 x264 -x2640 -x2641
1800.05/1800.00	v -x2642 -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 -x2788
1800.05/1800.00	v -x2789 -x279 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x28 x280 -x2800 -x2801 -x2802 x2803
1800.05/1800.00	v -x2804 -x2805 -x2806 -x2807 x2808 -x2809 -x281 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x282
1800.05/1800.00	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x283 -x2830 x2831 -x2832 -x2833 -x2834 -x2835 -x2836
1800.05/1800.00	v -x2837 -x2838 -x2839 -x284 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 -x285 -x2850 -x2851 -x2852
1800.05/1800.00	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x286 x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 x2868 -x2869
1800.05/1800.00	v -x287 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x288 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1800.05/1800.00	v -x2886 -x2887 -x2888 -x2889 x289 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 x29 x290 x2900 -x2901
1800.05/1800.00	v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 x291 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 x2916 x2917 -x2918
1800.05/1800.00	v -x2919 -x292 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x293 -x2930 -x2931 -x2932 -x2933 -x2934
1800.05/1800.00	v -x2935 x2936 -x2937 -x2938 -x2939 -x294 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 x2949 -x295 -x2950
1800.05/1800.00	v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x296 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966
1800.05/1800.00	v -x2967 -x2968 -x2969 -x297 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 x298 -x2980 -x2981 -x2982
1800.05/1800.00	v -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x299 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999
1800.05/1800.00	v -x3 -x30 -x300 x3000 -x3001 x3002 x3003 -x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x301 -x3010 -x3011 -x3012 -x3013 -x3014
1800.05/1800.00	v -x3015 -x3016 -x3017 -x3018 -x3019 -x302 x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 x3028 -x3029 -x303 -x3030
1800.05/1800.00	v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x304 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046
1800.05/1800.00	v -x3047 -x3048 -x3049 -x305 -x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x306 -x3060 -x3061 -x3062
1800.05/1800.00	v -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x307 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079
1800.05/1800.00	v -x308 -x3080 -x3081 x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x309 -x3090 -x3091 x3092 -x3093 -x3094 -x3095
1800.05/1800.00	v -x3096 x3097 -x3098 -x3099 x31 -x310 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 x311 -x3110
1800.05/1800.00	v -x3111 -x3112 x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x312 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127
1800.05/1800.00	v -x3128 -x3129 -x313 -x3130 -x3131 x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 x314 -x3140 -x3141 -x3142 -x3143
1800.05/1800.00	v -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x315 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.05/1800.00	v -x316 x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x317 x3170 -x3171 -x3172 -x3173 -x3174 -x3175
1800.05/1800.00	v -x3176 -x3177 -x3178 -x3179 -x318 -x3180 x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x319 -x3190 -x3191
1800.05/1800.00	v -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x32 -x320 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 x3207
1800.05/1800.00	v x3208 -x3209 -x321 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 -x3217 -x3218 x3219 -x322 -x3220 -x3221 -x3222 -x3223
1800.05/1800.00	v x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x323 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x324
1800.05/1800.00	v -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x325 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256
1800.05/1800.00	v -x3257 -x3258 -x3259 -x326 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 x327 -x3270 -x3271 -x3272
1800.05/1800.00	v -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x328 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288
1800.05/1800.00	v -x3289 -x329 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 x3296 -x3297 -x3298 -x3299 -x33 -x330 -x3300 -x3301 -x3302 -x3303
1800.05/1800.00	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x331 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x332
1800.05/1800.00	v -x3320 -x3321 -x3322 -x3323 x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x333 -x3330 x3331 -x3332 -x3333 -x3334 -x3335 -x3336
1800.05/1800.00	v -x3337 -x3338 -x3339 -x334 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 x335 -x3350 -x3351 -x3352
1800.05/1800.00	v -x3353 -x3354 -x3355 x3356 -x3357 -x3358 x3359 -x336 -x3360 -x3361 x3362 x3363 x3364 x3365 -x3366 -x3367 x3368 -x3369 -x337
1800.05/1800.00	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x338 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385
1800.05/1800.00	v -x3386 -x3387 -x3388 -x3389 x339 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x34 -x340 -x3400
1800.05/1800.00	v x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x341 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417
1800.05/1800.00	v -x3418 -x3419 -x342 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x343 -x3430 -x3431 -x3432 -x3433
1800.05/1800.00	v -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x344 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449
1800.05/1800.00	v -x345 -x3450 -x3451 -x3452 -x3453 x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x346 x3460 -x3461 -x3462 -x3463 -x3464 -x3465
1800.05/1800.00	v -x3466 -x3467 -x3468 -x3469 -x347 -x3470 -x3471 -x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 x348 -x3480 -x3481
1800.05/1800.00	v -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x349 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498
1800.05/1800.00	v -x3499 -x35 -x350 x3500 x3501 -x3502 -x3503 -x3504 x3505 x3506 -x3507 -x3508 -x3509 x351 -x3510 -x3511 -x3512 -x3513 -x3514
1800.05/1800.00	v -x3515 -x3516 -x3517 x3518 -x3519 -x352 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x353 -x3530
1800.05/1800.00	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x354 -x3540 -x3541 -x3542 x3543 x3544 -x3545 -x3546 -x3547
1800.05/1800.00	v -x3548 -x3549 -x355 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x356 -x3560 -x3561 -x3562 -x3563
1800.05/1800.00	v -x3564 -x3565 x3566 -x3567 -x3568 -x3569 -x357 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 x3576 -x3577 -x3578 -x3579 x358
1800.05/1800.00	v x3580 -x3581 -x3582 x3583 x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x359 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596
1800.05/1800.00	v -x3597 -x3598 -x3599 -x36 -x360 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x361 -x3610 x3611
1800.05/1800.00	v x3612 x3613 x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x362 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
1800.05/1800.00	v -x3629 x363 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 -x3638 -x3639 -x364 -x3640 -x3641 -x3642 -x3643 -x3644
1800.05/1800.00	v -x3645 -x3646 -x3647 -x3648 -x3649 -x365 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 -x3659 x366 x3660
1800.05/1800.00	v -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x367 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677
1800.05/1800.00	v -x3678 -x3679 -x368 -x3680 x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x369 -x3690 -x3691 -x3692 -x3693
1800.05/1800.00	v -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x37 -x370 -x3700 -x3701 -x3702 x3703 x3704 x3705 x3706 x3707 -x3708 -x3709 -x371
1800.05/1800.00	v -x3710 x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 x3718 -x3719 x372 x3720 -x3721 x3722 -x3723 x3724 -x3725 -x3726 -x3727
1800.05/1800.00	v x3728 x3729 x373 -x3730 -x3731 x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x374 -x3740 -x3741 -x3742 -x3743
1800.05/1800.00	v x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x375 -x3750 -x3751 x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x376
1800.05/1800.00	v -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x377 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775
1800.05/1800.00	v -x3776 -x3777 -x3778 x3779 -x378 -x3780 -x3781 -x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x379 x3790 -x3791
1800.05/1800.00	v -x3792 -x3793 x3794 -x3795 x3796 -x3797 x3798 -x3799 -x38 -x380 x3800 -x3801 -x3802 -x3803 -x3804 x3805 -x3806 -x3807 -x3808
1800.05/1800.00	v x3809 -x381 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x382 -x3820 -x3821 -x3822 -x3823 -x3824
1800.05/1800.00	v -x3825 -x3826 -x3827 -x3828 -x3829 x383 -x3830 x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 x3838 -x3839 -x384 -x3840
1800.05/1800.00	v -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 x3847 -x3848 -x3849 -x385 -x3850 -x3851 -x3852 -x3853 x3854 x3855 -x3856 -x3857
1800.05/1800.00	v -x3858 -x3859 x386 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x387 -x3870 -x3871 -x3872 -x3873
1800.05/1800.00	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x388 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 -x3886 -x3887 -x3888 x3889 -x389
1800.05/1800.00	v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 x39 -x390 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905
1800.05/1800.00	v -x3906 -x3907 -x3908 x3909 -x391 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 x3917 -x3918 -x3919 x392 -x3920 x3921
1800.05/1800.00	v -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 -x393 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938
1800.05/1800.00	v -x3939 -x394 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x395 -x3950 -x3951 -x3952 -x3953 -x3954
1800.05/1800.00	v -x3955 -x3956 -x3957 -x3958 -x3959 -x396 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x397 x3970
1800.05/1800.00	v -x3971 -x3972 -x3973 x3974 -x3975 -x3976 x3977 -x3978 -x3979 -x398 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 x3987
1800.05/1800.00	v -x3988 -x3989 x399 -x3990 -x3991 -x3992 -x3993 x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4 -x40 -x400 -x4000 -x4001 -x4002
1800.05/1800.00	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x401 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019
1800.05/1800.00	v -x402 -x4020 x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x403 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035
1800.05/1800.00	v -x4036 x4037 -x4038 -x4039 -x404 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x405 x4050 -x4051
1800.05/1800.00	v -x4052 -x4053 -x4054 x4055 -x4056 x4057 -x4058 -x4059 -x406 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068
1800.05/1800.00	v x4069 -x407 -x4070 -x4071 x4072 x4073 -x4074 x4075 -x4076 -x4077 -x4078 x4079 x408 x4080 -x4081 -x4082 -x4083 -x4084 -x4085
1800.05/1800.00	v -x4086 -x4087 -x4088 -x4089 x409 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 x4097 -x4098 -x4099 -x41 -x410 x4100
1800.05/1800.00	v -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x411 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117
1800.05/1800.00	v -x4118 -x4119 -x412 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x413 x4130 x4131 -x4132 -x4133
1800.05/1800.00	v -x4134 -x4135 -x4136 -x4137 -x4138 x4139 -x414 x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 x415
1800.05/1800.00	v -x4150 -x4151 x4152 x4153 -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x416 -x4160 x4161 -x4162 -x4163 x4164 -x4165 -x4166
1800.05/1800.00	v x4167 -x4168 x4169 -x417 x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x418 -x4180 -x4181 -x4182
1800.05/1800.00	v -x4183 -x4184 -x4185 x4186 x4187 x4188 -x4189 x419 x4190 -x4191 -x4192 x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
1800.05/1800.00	v -x42 -x420 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 x421 -x4210 -x4211 -x4212 -x4213 x4214
1800.05/1800.00	v -x4215 x4216 -x4217 -x4218 -x4219 -x422 -x4220 -x4221 x4222 -x4223 -x4224 x4225 x4226 -x4227 -x4228 -x4229 -x423 -x4230
1800.05/1800.00	v -x4231 x4232 x4233 -x4234 -x4235 -x4236 x4237 -x4238 x4239 -x424 x4240 -x4241 -x4242 -x4243 -x4244 x4245 -x4246 -x4247
1800.05/1800.00	v x4248 -x4249 -x425 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x426 -x4260 -x4261 -x4262 -x4263
1800.05/1800.00	v -x4264 x4265 x4266 -x4267 -x4268 x4269 x427 -x4270 -x4271 -x4272 -x4273 x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x428
1800.05/1800.00	v -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 x4289 -x429 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296
1800.05/1800.00	v -x4297 -x4298 -x4299 -x43 x430 x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x431 -x4310 -x4311
1800.05/1800.00	v -x4312 -x4313 -x4314 x4315 x4316 x4317 -x4318 -x4319 -x432 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 x4327 -x4328
1800.05/1800.00	v -x4329 -x433 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x434 -x4340 -x4341 -x4342 -x4343 -x4344
1800.05/1800.00	v -x4345 -x4346 -x4347 -x4348 -x4349 -x435 -x4350 x4351 x4352 -x4353 x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x436 -x4360
1800.05/1800.00	v x4361 x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x437 -x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 -x4377
1800.05/1800.00	v -x4378 -x4379 -x438 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x439 -x4390 -x4391 -x4392 x4393
1800.05/1800.00	v -x4394 x4395 -x4396 -x4397 -x4398 -x4399 -x44 -x440 -x4400 -x4401 x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409
1800.05/1800.00	v -x441 x4410 -x4411 -x4412 -x4413 x4414 -x4415 -x4416 -x4417 x4418 -x4419 -x442 -x4420 -x4421 x4422 -x4423 -x4424 -x4425
1800.05/1800.00	v -x4426 -x4427 -x4428 -x4429 x443 -x4430 -x4431 x4432 -x4433 x4434 x4435 x4436 -x4437 -x4438 -x4439 -x444 -x4440 -x4441
1800.05/1800.00	v -x4442 -x4443 -x4444 -x4445 -x4446 x4447 x4448 x4449 -x445 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458
1800.05/1800.00	v -x4459 x446 x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 x4468 -x4469 -x447 -x4470 x4471 -x4472 -x4473 x4474 -x4475
1800.05/1800.00	v -x4476 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 x4509
1800.05/1800.00	v -x451 -x4510 -x4511 x4512 -x4513 -x4514 x4515 x4516 -x4517 x4518 -x4519 -x452 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525
1800.05/1800.00	v -x4526 -x4527 -x4528 x4529 -x453 x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 x454 -x4540 -x4541
1800.05/1800.00	v -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 -x459
1800.05/1800.00	v -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x46 x460 -x4600 x4601 -x4602 -x4603 -x4604 -x4605
1800.05/1800.00	v -x4606 -x4607 -x4608 -x4609 -x461 -x4610 x4611 -x4612 x4613 -x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x462 -x4620 x4621
1800.05/1800.00	v -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x463 -x4630 x4631 -x4632 x4633 -x4634 -x4635 -x4636 -x4637 -x4638
1800.05/1800.00	v -x4639 x464 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x465 -x4650 -x4651 x4652 -x4653 -x4654
1800.05/1800.00	v x4655 x4656 -x4657 -x4658 -x4659 -x466 -x4660 -x4661 -x4662 x4663 x4664 x4665 x4666 -x4667 x4668 -x4669 x467 -x4670 -x4671
1800.05/1800.00	v -x4672 -x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x468 -x4680 x4681 -x4682 -x4683 x4684 -x4685 -x4686 -x4687 -x4688
1800.05/1800.00	v -x4689 x469 -x4690 -x4691 -x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x47 -x470 -x4700 -x4701 -x4702 -x4703
1800.05/1800.00	v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x471 x4710 x4711 -x4712 x4713 -x4714 -x4715 -x4716 -x4717 x4718 x4719 -x472
1800.05/1800.00	v -x4720 x4721 -x4722 -x4723 x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x473 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736
1800.05/1800.00	v -x4737 -x4738 -x4739 -x474 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 x4749 -x475 x4750 -x4751 x4752
1800.05/1800.00	v x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 x476 -x4760 -x4761 x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
1800.05/1800.00	v -x477 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 x4776 -x4777 -x4778 -x4779 x478 x4780 x4781 x4782 -x4783 -x4784 -x4785 -x4786
1800.05/1800.00	v -x4787 -x4788 -x4789 -x479 x4790 -x4791 x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x48 -x480 -x4800 -x4801
1800.05/1800.00	v -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x481 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 -x4817 -x4818
1800.05/1800.00	v -x4819 -x482 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 x483 -x4830 -x4831 x4832 x4833 x4834
1800.05/1800.00	v x4835 -x4836 -x4837 -x4838 -x4839 -x484 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 x485 -x4850
1800.05/1800.00	v x4851 x4852 -x4853 x4854 -x4855 x4856 -x4857 -x4858 x4859 -x486 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867
1800.05/1800.00	v -x4868 -x4869 -x487 -x4870 x4871 x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x488 -x4880 x4881 -x4882 -x4883
1800.05/1800.00	v -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x489 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 x4896 -x4897 -x4898 -x4899 -x49
1800.05/1800.00	v -x490 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x491 x4910 -x4911 -x4912 -x4913 x4914 -x4915
1800.05/1800.00	v x4916 x4917 -x4918 -x4919 x492 -x4920 -x4921 x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x493 -x4930 -x4931
1800.05/1800.00	v -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x494 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947
1800.05/1800.00	v -x4948 -x4949 -x495 -x4950 -x4951 -x4952 -x4953 -x4954 x4955 -x4956 -x4957 -x4958 -x4959 x496 -x4960 -x4961 -x4962 x4963
1800.05/1800.00	v -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x497 -x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 x4977 -x4978 -x4979 -x498
1800.05/1800.00	v x4980 -x4981 x4982 x4983 x4984 -x4985 -x4986 x4987 x4988 x4989 -x499 -x4990 x4991 -x4992 -x4993 x4994 -x4995 -x4996 x4997
1800.05/1800.00	v x4998 x4999 -x5 -x50 -x500 -x5000 x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x501 x5010 -x5011 x5012
1800.05/1800.00	v -x5013 x5014 -x5015 x5016 -x5017 -x5018 -x5019 -x502 x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 x5027 x5028 x5029
1800.05/1800.00	v x503 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x504 -x5040 -x5041 -x5042 -x5043 -x5044 x5045
1800.05/1800.00	v x5046 x5047 -x5048 -x5049 -x505 -x5050 -x5051 -x5052 x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x506 -x5060 -x5061
1800.05/1800.00	v -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x507 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077
1800.05/1800.00	v x5078 -x5079 -x508 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x509 -x5090 -x5091 -x5092 -x5093
1800.05/1800.00	v -x5094 x5095 -x5096 x5097 -x5098 -x5099 -x51 -x510 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109
1800.05/1800.00	v -x511 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 x5117 -x5118 -x5119 x512 x5120 -x5121 -x5122 -x5123 -x5124 -x5125
1800.05/1800.00	v -x5126 -x5127 -x5128 -x5129 x513 x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 x5138 -x5139 -x514 -x5140 -x5141
1800.05/1800.00	v -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 x5149 -x515 -x5150 x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 x5158
1800.05/1800.00	v -x5159 -x516 -x5160 x5161 -x5162 x5163 -x5164 -x5165 x5166 x5167 -x5168 -x5169 x517 x5170 -x5171 -x5172 -x5173 -x5174 -x5175
1800.05/1800.00	v -x5176 -x5177 -x5178 -x5179 -x518 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 x5187 -x5188 -x5189 -x519 -x5190 -x5191
1800.05/1800.00	v x5192 x5193 -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x52 -x520 -x5200 x5201 -x5202 x5203 x5204 x5205 -x5206 x5207 -x5208
1800.05/1800.00	v -x5209 -x521 -x5210 -x5211 -x5212 x5213 -x5214 -x5215 x5216 -x5217 -x5218 x5219 x522 -x5220 -x5221 -x5222 -x5223 -x5224
1800.05/1800.00	v x5225 x5226 x5227 x5228 -x5229 -x523 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x524 -x5240
1800.05/1800.00	v -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 x5249 -x525 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257
1800.05/1800.00	v -x5258 -x5259 -x526 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 -x5269 x527 -x5270 -x5271 -x5272 -x5273
1800.05/1800.00	v -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x528 -x5280 -x5281 -x5282 -x5283 x5284 -x5285 x5286 x5287 -x5288 -x5289 -x529
1800.05/1800.00	v x5290 -x5291 -x5292 x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x53 x530 -x5300 -x5301 -x5302 -x5303 -x5304 x5305
1800.05/1800.00	v -x5306 x5307 x5308 x5309 -x531 -x5310 x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x532 -x5320 -x5321 -x5322
1800.05/1800.00	v -x5323 -x5324 -x5325 x5326 x5327 -x5328 x5329 -x533 -x5330 x5331 -x5332 -x5333 x5334 -x5335 -x5336 x5337 x5338 -x5339 -x534
1800.05/1800.00	v x5340 -x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x535 -x5350 -x5351 x5352 -x5353 -x5354 -x5355 -x5356
1800.05/1800.00	v -x5357 -x5358 -x5359 -x536 -x5360 -x5361 -x5362 -x5363 x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x537 -x5370 -x5371 -x5372
1800.05/1800.00	v -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 x5379 x538 -x5380 x5381 x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389
1800.05/1800.00	v -x539 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x54 -x540 -x5400 -x5401 -x5402 -x5403 -x5404
1800.05/1800.00	v x5405 -x5406 -x5407 -x5408 -x5409 -x541 x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x542 -x5420
1800.05/1800.00	v x5421 x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 x5429 -x543 x5430 -x5431 -x5432 -x5433 -x5434 x5435 -x5436 -x5437
1800.05/1800.00	v -x5438 -x5439 -x544 -x5440 -x5441 -x5442 x5443 -x5444 x5445 -x5446 -x5447 -x5448 -x5449 -x545 -x5450 -x5451 -x5452 -x5453
1800.05/1800.00	v -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x546 -x5460 -x5461 -x5462 -x5463 -x5464 x5465 x5466 -x5467 -x5468 -x5469 -x547
1800.05/1800.00	v -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 x5476 x5477 -x5478 x5479 -x548 x5480 -x5481 x5482 -x5483 -x5484 x5485 x5486 x5487
1800.05/1800.00	v -x5488 x5489 -x549 -x5490 x5491 x5492 -x5493 -x5494 x5495 -x5496 -x5497 -x5498 -x5499 -x55 -x550 -x5500 x5501 x5502 -x5503
1800.05/1800.00	v -x5504 x5505 -x5506 -x5507 -x5508 x5509 -x551 -x5510 -x5511 x5512 -x5513 -x5514 -x5515 x5516 x5517 -x5518 -x5519 -x552
1800.05/1800.00	v x5520 x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x5528 x5529 -x553 x5530 -x5531 -x5532 -x5533 -x5534 x5535 -x5536
1800.05/1800.00	v -x5537 -x5538 -x5539 -x554 x5540 x5541 x5542 -x5543 x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x555 -x5550 -x5551 -x5552
1800.05/1800.00	v -x5553 -x5554 -x5555 x5556 -x5557 -x5558 x5559 -x556 -x5560 -x5561 x5562 -x5563 -x5564 -x5565 x5566 -x5567 x5568 -x5569
1800.05/1800.00	v -x557 -x5570 -x5571 -x5572 x5573 x5574 x5575 x5576 -x5577 -x5578 -x5579 -x558 -x5580 -x5581 -x5582 -x5583 -x5584 x5585
1800.05/1800.00	v x5586 x5587 -x5588 -x5589 -x559 -x5590 x5591 -x5592 -x5593 -x5594 x5595 x5596 x5597 -x5598 -x5599 -x56 -x560 -x5600 -x5601
1800.05/1800.00	v -x5602 x5603 -x5604 -x5605 x5606 -x5607 -x5608 -x5609 -x561 x5610 -x5611 -x5612 -x5613 -x5614 -x5615 x5616 x5617 -x5618
1800.05/1800.00	v -x5619 -x562 -x5620 -x5621 -x5622 -x5623 -x5624 x5625 -x5626 -x5627 -x5628 -x5629 -x563 -x5630 -x5631 -x5632 -x5633 -x5634
1800.05/1800.00	v -x5635 -x5636 -x5637 -x5638 x5639 -x564 -x5640 -x5641 x5642 x5643 x5644 x5645 -x5646 x5647 x5648 x5649 -x565 -x5650 -x5651
1800.05/1800.00	v -x5652 -x5653 -x5654 x5655 x5656 x5657 -x5658 -x5659 -x566 x5660 x5661 -x5662 x5663 -x5664 -x5665 x5666 -x5667 x5668 -x5669
1800.05/1800.00	v -x567 -x5670 x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 x5678 x5679 -x568 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685
1800.05/1800.00	v -x5686 x5687 x5688 -x5689 -x569 -x5690 -x5691 x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x57 -x570 -x5700
1800.05/1800.00	v -x5701 x5702 -x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 -x571 x5710 -x5711 x5712 -x5713 -x5714 -x5715 -x5716 -x5717
1800.05/1800.00	v x5718 x5719 -x572 -x5720 -x5721 x5722 x5723 -x5724 -x5725 x5726 x5727 x5728 -x5729 -x573 x5730 -x5731 x5732 -x5733 -x5734
1800.05/1800.00	v x5735 -x5736 -x5737 -x5738 -x5739 -x574 -x5740 x5741 -x5742 -x5743 x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x575 -x5750
1800.05/1800.00	v -x5751 x5752 -x5753 -x5754 x5755 -x5756 -x5757 x5758 -x5759 -x576 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 x5766 -x5767
1800.05/1800.00	v -x5768 -x5769 -x577 -x5770 -x5771 x5772 x5773 -x5774 -x5775 -x5776 x5777 -x5778 -x5779 -x578 x5780 -x5781 -x5782 x5783
1800.05/1800.00	v x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x579 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x58
1800.05/1800.00	v -x580 x5800 -x5801 -x5802 -x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x581 x5810 -x5811 -x5812 -x5813 -x5814 -x5815
1800.05/1800.00	v -x5816 -x5817 -x5818 -x5819 -x582 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 x5828 x5829 -x583 -x5830 -x5831
1800.05/1800.00	v -x5832 x5833 -x5834 -x5835 x5836 -x5837 -x5838 -x5839 -x584 x5840 -x5841 -x5842 x5843 -x5844 x5845 -x5846 x5847 -x5848
1800.05/1800.00	v -x5849 -x585 x5850 -x5851 -x5852 x5853 x5854 -x5855 -x5856 -x5857 -x5858 x5859 -x586 x5860 -x5861 x5862 -x5863 -x5864 -x5865
1800.05/1800.00	v -x5866 x5867 -x5868 -x5869 -x587 x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 x5877 x5878 -x5879 -x588 x5880 x5881 x5882
1800.05/1800.00	v x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x589 -x5890 -x5891 x5892 x5893 -x5894 -x5895 x5896 -x5897 -x5898 x5899
1800.05/1800.00	v -x59 -x590 x5900 -x5901 -x5902 -x5903 x5904 x5905 -x5906 -x5907 x5908 -x5909 -x591 x5910 x5911 x5912 x5913 -x5914 -x5915
1800.05/1800.00	v -x5916 x5917 -x5918 x5919 -x592 -x5920 -x5921 -x5922 -x5923 x5924 x5925 -x5926 -x5927 x5928 x5929 -x593 x5930 x5931 -x5932
1800.05/1800.00	v x5933 -x5934 x5935 -x5936 -x5937 x5938 x5939 -x594 -x5940 -x5941 -x5942 -x5943 x5944 -x5945 -x5946 x5947 -x5948 -x5949
1800.05/1800.00	v -x595 -x5950 x5951 -x5952 x5953 -x5954 -x5955 x5956 x5957 -x5958 -x5959 -x596 -x5960 x5961 -x5962 x5963 -x5964 -x5965 -x5966
1800.05/1800.00	v -x5967 -x5968 x5969 -x597 -x5970 x5971 -x5972 x5973 -x5974 -x5975 -x5976 -x5977 x5978 x5979 -x598 -x5980 -x5981 x5982 -x5983
1800.05/1800.00	v -x5984 x5985 -x5986 -x5987 x5988 x5989 -x599 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 x5997 -x5998 x5999 -x6 -x60
1800.05/1800.00	v x600 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 x6007 x6008 -x6009 -x601 -x6010 x6011 -x6012 x6013 x6014 x6015 -x6016
1800.05/1800.00	v x6017 -x6018 x6019 -x602 x6020 -x6021 -x6022 x6023 x6024 x6025 x6026 -x6027 x6028 -x6029 -x603 -x6030 -x6031 x6032 -x6033
1800.05/1800.00	v -x6034 x6035 -x6036 -x6037 x6038 -x6039 -x604 x6040 -x6041 -x6042 x6043 x6044 -x6045 x6046 x6047 -x6048 -x6049 -x605 x6050
1800.05/1800.00	v x6051 -x6052 -x6053 x6054 -x6055 -x6056 -x6057 x6058 -x6059 -x606 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 x6066 -x6067
1800.05/1800.00	v x6068 x6069 -x607 -x6070 -x6071 x6072 -x6073 -x6074 -x6075 -x6076 x6077 -x6078 x6079 -x608 x6080 -x6081 -x6082 x6083 -x6084
1800.05/1800.00	v x6085 x6086 -x6087 -x6088 -x6089 -x609 x6090 -x6091 -x6092 -x6093 -x6094 x6095 x6096 -x6097 -x6098 x6099 -x61 -x610 -x6100
1800.05/1800.00	v x6101 -x6102 -x6103 -x6104 x6105 -x6106 x6107 x6108 -x6109 -x611 -x6110 x6111 -x6112 x6113 -x6114 -x6115 x6116 -x6117 -x6118
1800.05/1800.00	v -x6119 -x612 -x6120 -x6121 -x6122 x6123 x6124 -x6125 -x6126 x6127 -x6128 -x6129 -x613 x6130 -x6131 -x6132 -x6133 x6134
1800.05/1800.00	v -x6135 -x6136 -x6137 -x6138 -x6139 -x614 -x6140 x6141 x6142 -x6143 x6144 -x6145 x6146 -x6147 x6148 -x6149 -x615 -x6150
1800.05/1800.00	v x6151 x6152 -x6153 x6154 -x6155 x6156 -x6157 -x6158 -x6159 -x616 x6160 x6161 -x6162 -x6163 x6164 -x6165 -x6166 x6167 -x6168
1800.05/1800.00	v -x6169 -x617 x6170 x6171 x6172 -x6173 -x6174 -x6175 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628
1800.05/1800.00	v -x629 x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
1800.05/1800.00	v -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666
1800.05/1800.00	v -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685
1800.05/1800.00	v -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703
1800.05/1800.00	v -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x72 x720 -x721 -x722
1800.05/1800.00	v -x723 -x724 -x725 -x726 -x727 -x728 -x729 x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741
1800.05/1800.00	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x75 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760
1800.05/1800.00	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x78
1800.05/1800.00	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799
1800.05/1800.00	v -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x81 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.05/1800.00	v -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x83 -x830 -x831 -x832 x833 -x834 -x835 x836 x837 -x838
1800.05/1800.00	v x839 -x84 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 -x848 -x849 -x85 x850 -x851 x852 -x853 x854 -x855 -x856 x857 -x858
1800.05/1800.00	v -x859 -x86 x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 x87 -x870 -x871 x872 -x873 x874 -x875 -x876 -x877 -x878
1800.05/1800.00	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.00	v -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915
1800.05/1800.00	v -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 x933 -x934
1800.05/1800.00	v -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x95 -x950 -x951 -x952 -x953
1800.05/1800.00	v -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 x970 -x971 -x972
1800.05/1800.00	v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x99 -x990 -x991
1800.05/1800.00	v -x992 -x993 -x994 x995 -x996 x997 -x998 -x999

Verifier Data (download as text)

OK	1084

Conversion Script Data (download as text)

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

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


[startup+0 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 10049
/proc/meminfo: memFree=1807480/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=2188 CPUtime=0
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 312736709 2240512 315 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135023068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 547 315 84 219 0 324 0

[startup+0.0475049 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 10049
/proc/meminfo: memFree=1807480/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=2488 CPUtime=0.04
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 422 0 0 0 4 0 0 0 18 0 1 0 312736709 2547712 404 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134586483 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 622 404 86 219 0 399 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2488

[startup+0.101493 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 10049
/proc/meminfo: memFree=1807480/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=2488 CPUtime=0.09
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 422 0 0 0 9 0 0 0 18 0 1 0 312736709 2547712 404 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134586474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 622 404 86 219 0 399 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2488

[startup+0.301452 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 10049
/proc/meminfo: memFree=1807480/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=2948 CPUtime=0.29
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 557 0 0 0 29 0 0 0 19 0 1 0 312736709 3018752 539 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 737 539 86 219 0 514 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2948

[startup+0.701365 s]
/proc/loadavg: 1.08 1.02 1.01 3/77 10049
/proc/meminfo: memFree=1807480/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=4368 CPUtime=0.69
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 1005 0 0 0 69 0 0 0 23 0 1 0 312736709 4472832 841 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 1092 841 89 219 0 869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4368

[startup+1.5012 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 10050
/proc/meminfo: memFree=1804464/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=4504 CPUtime=1.49
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 1021 0 0 0 147 2 0 0 25 0 1 0 312736709 4612096 857 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 1126 857 101 219 0 903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4504

[startup+3.10186 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 10050
/proc/meminfo: memFree=1804272/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=4504 CPUtime=3.09
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 1021 0 0 0 303 6 0 0 25 0 1 0 312736709 4612096 857 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 1126 857 101 219 0 903 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4504

[startup+6.30119 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 10050
/proc/meminfo: memFree=1804208/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=4504 CPUtime=6.29
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 1024 0 0 0 616 13 0 0 25 0 1 0 312736709 4612096 860 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 1126 860 101 219 0 903 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4504

[startup+12.7018 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 10050
/proc/meminfo: memFree=1804144/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=4504 CPUtime=12.69
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 1036 0 0 0 1242 27 0 0 25 0 1 0 312736709 4612096 872 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 1126 872 101 219 0 903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4504

[startup+25.5011 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 10050
/proc/meminfo: memFree=1799920/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=11940 CPUtime=25.49
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 2198 0 0 0 2504 45 0 0 25 0 1 0 312736709 12226560 2034 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 2985 2034 102 219 0 2762 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11940

[startup+51.1017 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 10050
/proc/meminfo: memFree=1774960/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=37308 CPUtime=51.09
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 8454 0 0 0 5054 55 0 0 25 0 1 0 312736709 38203392 8290 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134545415 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 9327 8290 102 219 0 9104 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 37308

[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 10050
/proc/meminfo: memFree=1768944/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70488 CPUtime=102.29
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 9842 0 0 0 10169 60 0 0 25 0 1 0 312736709 72179712 9678 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17622 9678 102 219 0 17399 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 70488

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1767856/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70768 CPUtime=162.29
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 10105 0 0 0 16163 66 0 0 25 0 1 0 312736709 72466432 9941 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17692 9941 102 219 0 17469 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 70768

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1766960/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70768 CPUtime=222.29
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 10324 0 0 0 22159 70 0 0 25 0 1 0 312736709 72466432 10160 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17692 10160 102 219 0 17469 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 70768

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1766192/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70768 CPUtime=282.29
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 10509 0 0 0 28159 70 0 0 25 0 1 0 312736709 72466432 10345 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17692 10345 102 219 0 17469 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 70768

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1765360/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70768 CPUtime=342.3
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 10704 0 0 0 34159 71 0 0 25 0 1 0 312736709 72466432 10540 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17692 10540 102 219 0 17469 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 70768

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1764592/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70912 CPUtime=402.3
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 10901 0 0 0 40159 71 0 0 25 0 1 0 312736709 72613888 10737 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17728 10737 102 219 0 17505 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 70912

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1763952/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70912 CPUtime=462.3
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11077 0 0 0 46159 71 0 0 25 0 1 0 312736709 72613888 10913 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17728 10913 102 219 0 17505 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 70912

[startup+522.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 10050
/proc/meminfo: memFree=1763184/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=70912 CPUtime=522.3
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11255 0 0 0 52159 71 0 0 25 0 1 0 312736709 72613888 11091 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17728 11091 102 219 0 17505 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 70912

[startup+582.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10050
/proc/meminfo: memFree=1762992/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=71152 CPUtime=582.31
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11307 0 0 0 58151 80 0 0 25 0 1 0 312736709 72859648 11143 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17788 11143 102 219 0 17565 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 71152

[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1762864/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=71432 CPUtime=642.31
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11350 0 0 0 64146 85 0 0 25 0 1 0 312736709 73146368 11186 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17858 11186 102 219 0 17635 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 71432


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1762800/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=71432 CPUtime=822.32
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11352 0 0 0 82145 87 0 0 25 0 1 0 312736709 73146368 11188 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17858 11188 102 219 0 17635 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 71432

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1762480/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=71716 CPUtime=882.31
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11430 0 0 0 88140 91 0 0 25 0 1 0 312736709 73437184 11266 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17929 11266 102 219 0 17706 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 71716

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1762544/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=71716 CPUtime=942.32
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11432 0 0 0 94136 96 0 0 25 0 1 0 312736709 73437184 11268 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 17929 11268 102 219 0 17706 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 71716

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1762288/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1002.32
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11497 0 0 0 100134 98 0 0 25 0 1 0 312736709 73748480 11333 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11333 102 219 0 17782 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 72020

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10050
/proc/meminfo: memFree=1762288/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1062.32
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11497 0 0 0 106134 98 0 0 25 0 1 0 312736709 73748480 11333 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134560829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11333 102 219 0 17782 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 72020

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1762352/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1122.32
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11498 0 0 0 112133 99 0 0 25 0 1 0 312736709 73748480 11334 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11334 102 219 0 17782 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 72020

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1762288/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1182.32
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11498 0 0 0 118133 99 0 0 25 0 1 0 312736709 73748480 11334 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11334 102 219 0 17782 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 72020

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1762288/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1242.32
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11499 0 0 0 124133 99 0 0 25 0 1 0 312736709 73748480 11335 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11335 102 219 0 17782 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 72020

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1762288/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1302.33
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11499 0 0 0 130133 100 0 0 25 0 1 0 312736709 73748480 11335 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11335 102 219 0 17782 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 72020

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1762224/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1362.33
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11513 0 0 0 136133 100 0 0 25 0 1 0 312736709 73748480 11349 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11349 102 219 0 17782 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 72020

[startup+1422.31 s]
/proc/loadavg: 1.15 1.03 1.01 2/78 10052
/proc/meminfo: memFree=1762288/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1422.34
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11514 0 0 0 142133 101 0 0 25 0 1 0 312736709 73748480 11350 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11350 102 219 0 17782 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 72020

[startup+1482.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 10052
/proc/meminfo: memFree=1762224/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1482.33
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11514 0 0 0 148132 101 0 0 25 0 1 0 312736709 73748480 11350 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11350 102 219 0 17782 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 72020

[startup+1542.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 10052
/proc/meminfo: memFree=1762288/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1542.34
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11516 0 0 0 154132 102 0 0 25 0 1 0 312736709 73748480 11352 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11352 102 219 0 17782 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 72020

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10052
/proc/meminfo: memFree=1762224/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1602.34
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11517 0 0 0 160132 102 0 0 25 0 1 0 312736709 73748480 11353 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11353 102 219 0 17782 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 72020

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10052
/proc/meminfo: memFree=1762224/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72020 CPUtime=1662.33
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11518 0 0 0 166131 102 0 0 25 0 1 0 312736709 73748480 11354 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18005 11354 102 219 0 17782 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 72020

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1762096/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72296 CPUtime=1722.34
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11558 0 0 0 172128 106 0 0 25 0 1 0 312736709 74031104 11394 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557348 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18074 11394 102 219 0 17851 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 72296

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1762032/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72296 CPUtime=1782.34
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11563 0 0 0 178124 110 0 0 25 0 1 0 312736709 74031104 11399 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18074 11399 102 219 0 17851 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 72296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10052
/proc/meminfo: memFree=1761968/2055920 swapFree=4148536/4192956
[pid=10049] ppid=10047 vsize=72296 CPUtime=1800.05
/proc/10049/stat : 10049 (PBS4_SAT07v2) R 10047 10049 8871 0 -1 4194304 11576 0 0 0 179893 112 0 0 25 0 1 0 312736709 74031104 11412 18446744073709551615 134512640 135410602 4294956688 18446744073709551615 134557444 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10049/statm: 18074 11412 102 219 0 17851 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 72296

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.94
CPU system time (s): 1.12983
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 72296

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

runsolver used 1.34879 second user time and 3.9344 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Tue May  8 18:16:31 UTC 2007

IDJOB= 459074
IDBENCH= 2845
IDSOLVER= 200
FILE ID= node16/459074-1178648191

PBS_JOBID= 5217825

Free space on /tmp= 66561 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-des.a.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459074-1178648191/instance-459074-1178648191.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-459074-1178648191 -o ROOT/results/node16/conversion-459074-1178648191 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459074-1178648191/instance-459074-1178648191.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  41d95962f9f821e00bc6bf0e503d69d6

RANDOM SEED= 901985662

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:       1807952 kB
Buffers:         36056 kB
Cached:         136344 kB
SwapCached:      11880 kB
Active:          99048 kB
Inactive:       101112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1807952 kB
SwapTotal:     4192956 kB
SwapFree:      4148536 kB
Dirty:            3404 kB
Writeback:           0 kB
Mapped:          34624 kB
Slab:            33312 kB
Committed_AS: 14141048 kB
PageTables:       1848 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= 66561 MiB

End job on node16 on Tue May  8 18:46:33 UTC 2007