Trace number 372820

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.16SAT30 1800.01 1800.77

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	30

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-372820-1177138348 -o ROOT/results/node33/solver-372820-1177138348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372820-1177138348/instance-372820-1177138348.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.10 1.06 1.00 3/77 18393
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=12188 CPUtime=0
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 161750292 12480512 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 3047 337 281 324 0 2003 0

[startup+0.00701995 s]
/proc/loadavg: 1.10 1.06 1.00 3/77 18393
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=12324 CPUtime=0
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 392 0 0 0 0 0 0 0 18 0 1 0 161750292 12619776 360 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 3081 360 284 324 0 2037 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12324

[startup+0.101039 s]
/proc/loadavg: 1.10 1.06 1.00 3/77 18393
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=7016 CPUtime=0.09
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1269 0 0 0 9 0 0 0 18 0 1 0 161750292 7184384 1124 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 1754 1124 305 324 0 823 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7016

[startup+0.30108 s]
/proc/loadavg: 1.10 1.06 1.00 3/77 18393
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=7304 CPUtime=0.29
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1386 0 0 0 27 2 0 0 19 0 1 0 161750292 7479296 1198 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 1826 1198 313 324 0 895 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7304

[startup+0.701163 s]
/proc/loadavg: 1.10 1.06 1.00 3/77 18393
/proc/meminfo: memFree=1701696/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=7564 CPUtime=0.68
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1457 0 0 0 66 2 0 0 22 0 1 0 161750292 7745536 1269 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 1891 1269 313 324 0 960 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7564

[startup+1.50133 s]
/proc/loadavg: 1.10 1.06 1.00 2/78 18394
/proc/meminfo: memFree=1697336/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=9108 CPUtime=1.49
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 1836 0 0 0 146 3 0 0 25 0 1 0 161750292 9326592 1648 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11380347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 2277 1648 313 324 0 1346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9108

[startup+3.10165 s]
/proc/loadavg: 1.09 1.06 1.00 2/78 18394
/proc/meminfo: memFree=1695544/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=10144 CPUtime=3.09
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 2094 0 0 0 305 4 0 0 25 0 1 0 161750292 10387456 1906 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 2536 1906 313 324 0 1605 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10144

[startup+6.30131 s]
/proc/loadavg: 1.09 1.06 1.00 2/78 18394
/proc/meminfo: memFree=1692608/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=14612 CPUtime=6.29
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 3208 0 0 0 622 7 0 0 25 0 1 0 161750292 14962688 3020 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 3653 3020 313 324 0 2722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14612

[startup+12.7016 s]
/proc/loadavg: 1.08 1.06 1.00 2/78 18394
/proc/meminfo: memFree=1686080/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=18968 CPUtime=12.69
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 4311 0 0 0 1259 10 0 0 25 0 1 0 161750292 19423232 4123 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11379152 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 4742 4123 313 324 0 3811 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18968

[startup+25.5012 s]
/proc/loadavg: 1.07 1.06 1.00 2/78 18394
/proc/meminfo: memFree=1685760/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=19612 CPUtime=25.48
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 4472 0 0 0 2533 15 0 0 25 0 1 0 161750292 20082688 4284 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 4903 4284 313 324 0 3972 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19612

[startup+51.1015 s]
/proc/loadavg: 1.04 1.05 1.00 2/78 18394
/proc/meminfo: memFree=1678016/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=27060 CPUtime=51.07
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 6323 0 0 0 5083 24 0 0 25 0 1 0 161750292 27709440 6135 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 6765 6135 313 324 0 5834 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27060

[startup+102.306 s]
/proc/loadavg: 1.02 1.04 1.00 2/78 18394
/proc/meminfo: memFree=1670272/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=34964 CPUtime=102.25
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 8287 0 0 0 10187 38 0 0 25 0 1 0 161750292 35803136 8099 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 8741 8099 313 324 0 7810 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 34964

[startup+162.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 18394
/proc/meminfo: memFree=1669888/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=35160 CPUtime=162.23
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 8358 0 0 0 16171 52 0 0 25 0 1 0 161750292 36003840 8170 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 8790 8170 313 324 0 7859 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 35160

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 18394
/proc/meminfo: memFree=1669888/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=35164 CPUtime=222.21
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 8360 0 0 0 22153 68 0 0 25 0 1 0 161750292 36007936 8172 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11378558 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 8791 8172 313 324 0 7860 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35164

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 3/78 18394
/proc/meminfo: memFree=1665280/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=39708 CPUtime=282.19
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 9501 0 0 0 28141 78 0 0 25 0 1 0 161750292 40660992 9313 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 9927 9313 313 324 0 8996 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 39708

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 18394
/proc/meminfo: memFree=1665280/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=39744 CPUtime=342.16
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 9504 0 0 0 34126 90 0 0 25 0 1 0 161750292 40697856 9316 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 9936 9316 313 324 0 9005 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 39744

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 18394
/proc/meminfo: memFree=1665280/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=39736 CPUtime=402.15
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 9504 0 0 0 40110 105 0 0 25 0 1 0 161750292 40689664 9316 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 9934 9316 313 324 0 9003 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 39736

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18394
/proc/meminfo: memFree=1660544/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=44688 CPUtime=462.13
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 10720 0 0 0 46097 116 0 0 25 0 1 0 161750292 45760512 10532 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 11172 10532 313 324 0 10241 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 44688

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 18466
/proc/meminfo: memFree=1657032/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=46700 CPUtime=522.07
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11243 0 0 0 52077 130 0 0 25 0 1 0 161750292 47820800 11055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 11675 11055 313 324 0 10744 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 46700

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1657984/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=46684 CPUtime=581.97
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11243 0 0 0 58053 144 0 0 25 0 1 0 161750292 47804416 11055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 11671 11055 313 324 0 10740 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 46684

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1657984/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=46684 CPUtime=641.96
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11243 0 0 0 64041 155 0 0 25 0 1 0 161750292 47804416 11055 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 11671 11055 313 324 0 10740 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 46684


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

/proc/meminfo: memFree=1658176/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=46632 CPUtime=1061.8
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11246 0 0 0 105928 252 0 0 25 0 1 0 161750292 47751168 11044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 11658 11044 313 324 0 10727 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 46632

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1658176/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=46632 CPUtime=1121.78
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11246 0 0 0 111910 268 0 0 25 0 1 0 161750292 47751168 11044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 11658 11044 313 324 0 10727 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 46632

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1658176/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=46632 CPUtime=1181.76
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 11246 0 0 0 117895 281 0 0 25 0 1 0 161750292 47751168 11044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 11658 11044 313 324 0 10727 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 46632

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1651712/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=53744 CPUtime=1241.74
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 13004 0 0 0 123885 289 0 0 25 0 1 0 161750292 55033856 12802 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 11374661 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 13436 12802 313 324 0 12505 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 53744

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642240/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62656 CPUtime=1301.72
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 129874 298 0 0 25 0 1 0 161750292 64159744 15044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15664 15044 313 324 0 14733 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 62656

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642240/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62648 CPUtime=1361.69
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 135863 306 0 0 25 0 1 0 161750292 64151552 15044 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15662 15044 313 324 0 14731 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 62648

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642304/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1421.68
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 141852 316 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 62408

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1481.65
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 147835 330 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 62408

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1541.63
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 153822 341 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 62408

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642368/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1601.62
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 159809 353 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 62408

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1661.59
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 165794 365 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 62408

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1721.57
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 171777 380 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 62408

[startup+1782.3 s]
/proc/loadavg: 1.15 1.03 1.01 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1781.55
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 177763 392 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 62408

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

[startup+1791.91 s]
/proc/loadavg: 1.13 1.03 1.01 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1791.15
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 178722 393 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1791.15
Current children cumulated vsize (KiB) 62408

[startup+1795.1 s]
/proc/loadavg: 1.13 1.03 1.01 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1794.34
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179041 393 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1794.34
Current children cumulated vsize (KiB) 62408

[startup+1798.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1797.54
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179360 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 62408

[startup+1799.9 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1799.14
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179520 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 62408

[startup+1800.3 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1799.54
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179560 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 62408

[startup+1800.71 s]
/proc/loadavg: 1.12 1.03 1.01 2/78 18592
/proc/meminfo: memFree=1642432/2055920 swapFree=4180512/4192956
[pid=18393] ppid=18391 vsize=62408 CPUtime=1799.94
/proc/18393/stat : 18393 (bsolo3.0.16) R 18391 18393 17842 0 -1 4194304 15246 0 0 0 179600 394 0 0 25 0 1 0 161750292 63905792 14988 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/18393/statm: 15602 14988 313 324 0 14671 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 62408

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.01
CPU user time (s): 1796.06
CPU system time (s): 3.9564
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 62760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.06
system time used= 3.9564
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15247
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= 16
involuntary context switches= 4443

runsolver used 2.09068 second user time and 4.40833 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Sat Apr 21 06:52:28 UTC 2007

IDJOB= 372820
IDBENCH= 24999
IDSOLVER= 163
FILE ID= node33/372820-1177138348

PBS_JOBID= 4648803

Free space on /tmp= 66473 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372820-1177138348/instance-372820-1177138348.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node33/watcher-372820-1177138348 -o ROOT/results/node33/solver-372820-1177138348 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372820-1177138348/instance-372820-1177138348.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  525408a019e1cf8f47f95fb4bdf20c0f

RANDOM SEED= 196855001

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1702104 kB
Buffers:         40516 kB
Cached:         214928 kB
SwapCached:       2276 kB
Active:         212492 kB
Inactive:        87396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1702104 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            4924 kB
Writeback:           0 kB
Mapped:          59396 kB
Slab:            39236 kB
Committed_AS:  1737756 kB
PageTables:       1992 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= 66473 MiB

End job on node33 on Sat Apr 21 07:22:29 UTC 2007