Trace number 433709

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
bsolo 3.0.17SAT (TO)28 1800.1 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark58.7721
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6080
Total number of constraints18113
Number of constraints which are clauses18113
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 constraint125
Number of terms in the objective function 2975
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 2975
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2975
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	28

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node39/watcher-433709-1177962353 -o ROOT/results/node39/solver-433709-1177962353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433709-1177962353/instance-433709-1177962353.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.05 1.01 0.95 3/77 17039
/proc/meminfo: memFree=1714424/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=12256 CPUtime=0
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 244147390 12550144 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 3064 332 279 324 0 2004 0

[startup+0.0975471 s]
/proc/loadavg: 1.05 1.01 0.95 3/77 17039
/proc/meminfo: memFree=1714424/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=5716 CPUtime=0.09
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 750 0 0 0 9 0 0 0 18 0 1 0 244147390 5853184 720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 1429 720 348 324 0 369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5716

[startup+0.101547 s]
/proc/loadavg: 1.05 1.01 0.95 3/77 17039
/proc/meminfo: memFree=1714424/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=5848 CPUtime=0.09
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 764 0 0 0 9 0 0 0 18 0 1 0 244147390 5988352 734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 1462 734 351 324 0 402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5848

[startup+0.301581 s]
/proc/loadavg: 1.05 1.01 0.95 3/77 17039
/proc/meminfo: memFree=1714424/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=7944 CPUtime=0.29
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 1490 0 0 0 28 1 0 0 19 0 1 0 244147390 8134656 1330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11522117 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 1986 1330 306 324 0 1056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7944

[startup+0.701649 s]
/proc/loadavg: 1.05 1.01 0.95 3/77 17039
/proc/meminfo: memFree=1714424/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=8012 CPUtime=0.69
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 1583 0 0 0 67 2 0 0 22 0 1 0 244147390 8204288 1367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527803 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 2003 1367 311 324 0 1073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8012

[startup+1.50178 s]
/proc/loadavg: 1.05 1.01 0.95 2/78 17040
/proc/meminfo: memFree=1709360/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=9704 CPUtime=1.49
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 2020 0 0 0 147 2 0 0 25 0 1 0 244147390 9936896 1804 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 2426 1804 311 324 0 1496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9704

[startup+3.10105 s]
/proc/loadavg: 1.05 1.01 0.95 2/78 17040
/proc/meminfo: memFree=1705968/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=14624 CPUtime=3.09
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 3249 0 0 0 306 3 0 0 25 0 1 0 244147390 14974976 3033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 3656 3033 311 324 0 2726 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14624

[startup+6.3016 s]
/proc/loadavg: 1.13 1.03 0.96 2/78 17040
/proc/meminfo: memFree=1701296/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=16852 CPUtime=6.29
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 3791 0 0 0 626 3 0 0 25 0 1 0 244147390 17256448 3575 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 4213 3575 311 324 0 3283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16852

[startup+12.7017 s]
/proc/loadavg: 1.12 1.03 0.96 2/78 17040
/proc/meminfo: memFree=1698608/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=19332 CPUtime=12.69
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 4412 0 0 0 1265 4 0 0 25 0 1 0 244147390 19795968 4196 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11527059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 4833 4196 311 324 0 3903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19332

[startup+25.5018 s]
/proc/loadavg: 1.09 1.03 0.96 2/78 17040
/proc/meminfo: memFree=1696240/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=21672 CPUtime=25.49
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 5001 0 0 0 2544 5 0 0 25 0 1 0 244147390 22192128 4785 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 5418 4785 311 324 0 4488 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21672

[startup+51.1012 s]
/proc/loadavg: 1.06 1.02 0.96 2/78 17040
/proc/meminfo: memFree=1692976/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=24892 CPUtime=51.07
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 5818 0 0 0 5101 6 0 0 25 0 1 0 244147390 25489408 5602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 6223 5602 311 324 0 5293 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24892

[startup+102.306 s]
/proc/loadavg: 1.02 1.02 0.96 2/78 17040
/proc/meminfo: memFree=1689648/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=28204 CPUtime=102.25
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 6640 0 0 0 10218 7 0 0 25 0 1 0 244147390 28880896 6424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 7051 6424 311 324 0 6121 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 28204

[startup+162.302 s]
/proc/loadavg: 1.01 1.01 0.96 2/78 17040
/proc/meminfo: memFree=1686704/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=31076 CPUtime=162.24
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 7359 0 0 0 16215 9 0 0 25 0 1 0 244147390 31821824 7143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 7769 7143 311 324 0 6839 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 31076

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/78 17040
/proc/meminfo: memFree=1685552/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=32212 CPUtime=222.21
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 7643 0 0 0 22212 9 0 0 25 0 1 0 244147390 32985088 7427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 8053 7427 311 324 0 7123 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 32212

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1683760/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=33996 CPUtime=282.19
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 8091 0 0 0 28209 10 0 0 25 0 1 0 244147390 34811904 7875 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 8499 7875 311 324 0 7569 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 33996

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1683824/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=33748 CPUtime=342.17
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 8091 0 0 0 34206 11 0 0 25 0 1 0 244147390 34557952 7819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 8437 7819 311 324 0 7507 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 33748

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1682352/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=35388 CPUtime=402.16
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 8499 0 0 0 40204 12 0 0 25 0 1 0 244147390 36237312 8226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11522091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 8847 8226 311 324 0 7917 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 35388

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1682352/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=35360 CPUtime=462.13
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 8499 0 0 0 46201 12 0 0 25 0 1 0 244147390 36208640 8222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 8840 8222 311 324 0 7910 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 35360

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1682416/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=35360 CPUtime=522.11
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 8499 0 0 0 52198 13 0 0 25 0 1 0 244147390 36208640 8222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 8840 8222 311 324 0 7910 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 35360

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1676144/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=41844 CPUtime=582.09
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 10118 0 0 0 58195 14 0 0 25 0 1 0 244147390 42848256 9841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 10461 9841 311 324 0 9531 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 41844

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1672816/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=44936 CPUtime=642.07
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 10891 0 0 0 64192 15 0 0 25 0 1 0 244147390 46014464 10614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 11234 10614 311 324 0 10304 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 44936


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1664368/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53408 CPUtime=822.01
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13010 0 0 0 82182 19 0 0 25 0 1 0 244147390 54689792 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13352 12733 311 324 0 12422 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 53408

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17040
/proc/meminfo: memFree=1664368/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53396 CPUtime=881.98
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13010 0 0 0 88179 19 0 0 25 0 1 0 244147390 54677504 12731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13349 12731 311 324 0 12419 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 53396

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/84 17206
/proc/meminfo: memFree=1663160/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53392 CPUtime=941.89
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13010 0 0 0 94167 22 0 0 25 0 1 0 244147390 54673408 12730 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13348 12730 311 324 0 12418 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 53392

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664112/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53404 CPUtime=1001.85
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13013 0 0 0 100163 22 0 0 25 0 1 0 244147390 54685696 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551975 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13351 12733 311 324 0 12421 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 53404

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664112/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53404 CPUtime=1061.83
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13013 0 0 0 106160 23 0 0 25 0 1 0 244147390 54685696 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13351 12733 311 324 0 12421 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 53404

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664112/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53404 CPUtime=1121.81
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13013 0 0 0 112158 23 0 0 25 0 1 0 244147390 54685696 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13351 12733 311 324 0 12421 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 53404

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664112/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53404 CPUtime=1181.79
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13013 0 0 0 118155 24 0 0 25 0 1 0 244147390 54685696 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13351 12733 311 324 0 12421 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 53404

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664240/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53404 CPUtime=1241.77
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13013 0 0 0 124153 24 0 0 25 0 1 0 244147390 54685696 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13351 12733 311 324 0 12421 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 53404

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664304/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53404 CPUtime=1301.76
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13013 0 0 0 130151 25 0 0 25 0 1 0 244147390 54685696 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13351 12733 311 324 0 12421 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 53404

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664304/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53404 CPUtime=1361.73
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13013 0 0 0 136148 25 0 0 25 0 1 0 244147390 54685696 12733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11209841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13351 12733 311 324 0 12421 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 53404

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664368/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1421.72
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 142146 26 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11523440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 53416

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664368/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1481.69
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 148143 26 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 53416

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664368/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1541.67
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 154140 27 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 53416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664368/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1601.64
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 160137 27 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 53416

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664304/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1661.63
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 166135 28 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 53416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664304/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1721.6
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 172132 28 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 53416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664368/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1781.58
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 178130 28 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 53416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.96 2/78 17238
/proc/meminfo: memFree=1664304/2055920 swapFree=4159396/4192956
[pid=17039] ppid=17037 vsize=53416 CPUtime=1800.08
/proc/17039/stat : 17039 (bsolo3.0.17) R 17037 17039 16269 0 -1 4194304 13016 0 0 0 179979 29 0 0 25 0 1 0 244147390 54697984 12736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17039/statm: 13354 12736 311 324 0 12424 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 53416

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

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

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.1
CPU user time (s): 1799.8
CPU system time (s): 0.300954
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 53532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.300954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13020
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= 13
involuntary context switches= 4764

runsolver used 1.40978 second user time and 3.9684 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Mon Apr 30 19:45:53 UTC 2007

IDJOB= 433709
IDBENCH= 24996
IDSOLVER= 199
FILE ID= node39/433709-1177962353

PBS_JOBID= 4727705

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433709-1177962353/instance-433709-1177962353.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-433709-1177962353 -o ROOT/results/node39/solver-433709-1177962353 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433709-1177962353/instance-433709-1177962353.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d6135de924aeb400fc0f7d1c419e5860

RANDOM SEED= 933843885

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1714896 kB
Buffers:         41052 kB
Cached:         202140 kB
SwapCached:      13848 kB
Active:          59600 kB
Inactive:       211692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1714896 kB
SwapTotal:     4192956 kB
SwapFree:      4159396 kB
Dirty:            7200 kB
Writeback:           0 kB
Mapped:          35124 kB
Slab:            55112 kB
Committed_AS:  2154248 kB
PageTables:       2020 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= 66558 MiB

End job on node39 on Mon Apr 30 20:15:56 UTC 2007