Trace number 433687

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)30 1800.07 1800.82

General information on the benchmark

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

Verifier Data (download as text)

OK	30

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-433687-1177961933 -o ROOT/results/node20/solver-433687-1177961933 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433687-1177961933/instance-433687-1177961933.opb 

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


[startup+0 s]
/proc/loadavg: 0.93 1.03 0.99 3/77 30743
/proc/meminfo: memFree=1857760/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=20052 CPUtime=0
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 244110616 20533248 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8040847 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 5013 330 278 324 0 3957 0

[startup+0.021876 s]
/proc/loadavg: 0.93 1.03 0.99 3/77 30743
/proc/meminfo: memFree=1857760/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=4736 CPUtime=0.01
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 458 0 0 0 1 0 0 0 18 0 1 0 244110616 4849664 428 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8079264 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 1184 428 292 324 0 128 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4736

[startup+0.102897 s]
/proc/loadavg: 0.93 1.03 0.99 3/77 30743
/proc/meminfo: memFree=1857760/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=5832 CPUtime=0.09
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 763 0 0 0 9 0 0 0 18 0 1 0 244110616 5971968 733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134524175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 1458 733 351 324 0 402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5832

[startup+0.301932 s]
/proc/loadavg: 0.93 1.03 0.99 3/77 30743
/proc/meminfo: memFree=1857760/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=7484 CPUtime=0.29
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 1455 0 0 0 27 2 0 0 19 0 1 0 244110616 7663616 1245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 1871 1245 306 324 0 941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7484

[startup+0.702011 s]
/proc/loadavg: 0.93 1.03 0.99 3/77 30743
/proc/meminfo: memFree=1857760/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=7740 CPUtime=0.69
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 1512 0 0 0 67 2 0 0 23 0 1 0 244110616 7925760 1302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052297 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 1935 1302 311 324 0 1005 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7740

[startup+1.50117 s]
/proc/loadavg: 0.93 1.03 0.99 2/78 30744
/proc/meminfo: memFree=1853528/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=8240 CPUtime=1.49
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 1643 0 0 0 147 2 0 0 25 0 1 0 244110616 8437760 1433 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 2060 1433 311 324 0 1130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8240

[startup+3.10149 s]
/proc/loadavg: 0.93 1.03 0.99 2/78 30744
/proc/meminfo: memFree=1852440/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=11072 CPUtime=3.09
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 2356 0 0 0 307 2 0 0 25 0 1 0 244110616 11337728 2146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 2768 2146 311 324 0 1838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11072

[startup+6.30113 s]
/proc/loadavg: 0.94 1.03 0.99 2/78 30744
/proc/meminfo: memFree=1847640/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=14016 CPUtime=6.28
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 3076 0 0 0 626 2 0 0 25 0 1 0 244110616 14352384 2866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 3504 2866 311 324 0 2574 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14016

[startup+12.7014 s]
/proc/loadavg: 0.94 1.03 0.99 2/78 30744
/proc/meminfo: memFree=1842520/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=19352 CPUtime=12.69
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 4427 0 0 0 1265 4 0 0 25 0 1 0 244110616 19816448 4217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 4838 4217 311 324 0 3908 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19352

[startup+25.503 s]
/proc/loadavg: 0.95 1.03 0.99 2/78 30744
/proc/meminfo: memFree=1839064/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=22232 CPUtime=25.49
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 5135 0 0 0 2544 5 0 0 25 0 1 0 244110616 22765568 4925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571464 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 5558 4925 311 324 0 4628 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22232

[startup+51.1011 s]
/proc/loadavg: 0.97 1.03 0.99 2/78 30744
/proc/meminfo: memFree=1839000/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=22220 CPUtime=51.07
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 5135 0 0 0 5102 5 0 0 25 0 1 0 244110616 22753280 4925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 5555 4925 311 324 0 4625 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22220

[startup+102.304 s]
/proc/loadavg: 0.98 1.02 0.99 2/78 30744
/proc/meminfo: memFree=1835096/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=26084 CPUtime=102.25
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 6101 0 0 0 10219 6 0 0 25 0 1 0 244110616 26710016 5891 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 6521 5891 311 324 0 5591 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 26084

[startup+162.301 s]
/proc/loadavg: 0.99 1.01 0.99 2/78 30746
/proc/meminfo: memFree=1832856/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=28200 CPUtime=162.23
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 6634 0 0 0 16216 7 0 0 25 0 1 0 244110616 28876800 6424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052826 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 7050 6424 311 324 0 6120 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 28200

[startup+222.301 s]
/proc/loadavg: 0.99 1.01 0.99 2/78 30746
/proc/meminfo: memFree=1832792/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=28204 CPUtime=222.21
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 6636 0 0 0 22213 8 0 0 25 0 1 0 244110616 28880896 6426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 7051 6426 311 324 0 6121 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 28204

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30746
/proc/meminfo: memFree=1832472/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=28568 CPUtime=282.19
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 6725 0 0 0 28211 8 0 0 25 0 1 0 244110616 29253632 6515 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 7142 6515 311 324 0 6212 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 28568

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30746
/proc/meminfo: memFree=1827224/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=33780 CPUtime=342.17
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 8032 0 0 0 34207 10 0 0 25 0 1 0 244110616 34590720 7822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 8445 7822 311 324 0 7515 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 33780

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30746
/proc/meminfo: memFree=1826776/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=34264 CPUtime=402.14
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 8151 0 0 0 40204 10 0 0 25 0 1 0 244110616 35086336 7941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571464 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 8566 7941 311 324 0 7636 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 34264

[startup+462.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30746
/proc/meminfo: memFree=1825240/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=35836 CPUtime=462.13
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 8547 0 0 0 46202 11 0 0 25 0 1 0 244110616 36696064 8337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 8959 8337 311 324 0 8029 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 35836

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30746
/proc/meminfo: memFree=1824152/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=36852 CPUtime=522.1
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 8801 0 0 0 52199 11 0 0 25 0 1 0 244110616 37736448 8591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052264 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 9213 8591 311 324 0 8283 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 36852

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 30746
/proc/meminfo: memFree=1824216/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=36852 CPUtime=582.09
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 8801 0 0 0 58197 12 0 0 25 0 1 0 244110616 37736448 8591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 9213 8591 311 324 0 8283 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 36852

[startup+642.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 30746
/proc/meminfo: memFree=1823320/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=37672 CPUtime=642.06
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 9017 0 0 0 64194 12 0 0 25 0 1 0 244110616 38576128 8798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 9418 8798 311 324 0 8488 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 37672


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1823384/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=37664 CPUtime=822
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 9017 0 0 0 82186 14 0 0 25 0 1 0 244110616 38567936 8798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 9416 8798 311 324 0 8486 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 37664

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1823320/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=37664 CPUtime=881.98
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 9017 0 0 0 88184 14 0 0 25 0 1 0 244110616 38567936 8798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 9416 8798 311 324 0 8486 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 37664

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1823384/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=37660 CPUtime=941.96
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 9017 0 0 0 94181 15 0 0 25 0 1 0 244110616 38563840 8798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 9415 8798 311 324 0 8485 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 37660

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1823320/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=37660 CPUtime=1001.93
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 9017 0 0 0 100178 15 0 0 25 0 1 0 244110616 38563840 8798 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 9415 8798 311 324 0 8485 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 37660

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1820632/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=40764 CPUtime=1061.91
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 9787 0 0 0 106175 16 0 0 25 0 1 0 244110616 41742336 9568 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 10191 9568 311 324 0 9261 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 40764

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1816792/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=44156 CPUtime=1121.9
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 10641 0 0 0 112173 17 0 0 25 0 1 0 244110616 45215744 10422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 11039 10422 311 324 0 10109 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 44156

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1816792/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=44112 CPUtime=1181.87
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 10641 0 0 0 118170 17 0 0 25 0 1 0 244110616 45170688 10411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 11028 10411 311 324 0 10098 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 44112

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1816152/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=45396 CPUtime=1241.85
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 10933 0 0 0 124167 18 0 0 25 0 1 0 244110616 46485504 10701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 11349 10701 311 324 0 10419 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 45396

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30746
/proc/meminfo: memFree=1810008/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50956 CPUtime=1301.83
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12354 0 0 0 130163 20 0 0 25 0 1 0 244110616 52178944 12122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12739 12122 311 324 0 11809 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 50956

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 30912
/proc/meminfo: memFree=1808544/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50924 CPUtime=1361.72
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12354 0 0 0 136151 21 0 0 25 0 1 0 244110616 52146176 12114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12731 12114 311 324 0 11801 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 50924

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809752/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50924 CPUtime=1421.68
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12354 0 0 0 142146 22 0 0 25 0 1 0 244110616 52146176 12114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12731 12114 311 324 0 11801 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 50924

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809752/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50924 CPUtime=1481.66
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12354 0 0 0 148144 22 0 0 25 0 1 0 244110616 52146176 12114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12731 12114 311 324 0 11801 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 50924

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809944/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50924 CPUtime=1541.63
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12354 0 0 0 154141 22 0 0 25 0 1 0 244110616 52146176 12114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12731 12114 311 324 0 11801 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 50924

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809944/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50924 CPUtime=1601.62
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12354 0 0 0 160139 23 0 0 25 0 1 0 244110616 52146176 12114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12731 12114 311 324 0 11801 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 50924

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809944/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50924 CPUtime=1661.59
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12354 0 0 0 166136 23 0 0 25 0 1 0 244110616 52146176 12114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12731 12114 311 324 0 11801 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 50924

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809944/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50936 CPUtime=1721.58
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12357 0 0 0 172134 24 0 0 25 0 1 0 244110616 52158464 12117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12734 12117 311 324 0 11804 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 50936

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809880/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50936 CPUtime=1781.55
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12357 0 0 0 178131 24 0 0 25 0 1 0 244110616 52158464 12117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12734 12117 311 324 0 11804 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 50936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30944
/proc/meminfo: memFree=1809880/2055920 swapFree=4154876/4192956
[pid=30743] ppid=30741 vsize=50936 CPUtime=1800.05
/proc/30743/stat : 30743 (bsolo3.0.17) R 30741 30743 29841 0 -1 4194304 12357 0 0 0 179981 24 0 0 25 0 1 0 244110616 52158464 12117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8048712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30743/statm: 12734 12117 311 324 0 11804 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 50936

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.07
CPU user time (s): 1799.81
CPU system time (s): 0.254961
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 50956

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

runsolver used 1.46978 second user time and 3.79742 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Mon Apr 30 19:38:53 UTC 2007

IDJOB= 433687
IDBENCH= 24974
IDSOLVER= 199
FILE ID= node20/433687-1177961933

PBS_JOBID= 4727696

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_004_area_delay.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433687-1177961933/instance-433687-1177961933.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-433687-1177961933 -o ROOT/results/node20/solver-433687-1177961933 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/433687-1177961933/instance-433687-1177961933.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  45c2f7ac01d7ade9fbe465857931ee2b

RANDOM SEED= 613447369

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1858168 kB
Buffers:         31884 kB
Cached:          76788 kB
SwapCached:      16448 kB
Active:          45016 kB
Inactive:        87976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1858168 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            7108 kB
Writeback:           0 kB
Mapped:          31332 kB
Slab:            50292 kB
Committed_AS:  2164496 kB
PageTables:       1752 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 node20 on Mon Apr 30 20:08:56 UTC 2007