Trace number 372680

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.16SAT29 1800.01 1800.6

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_003_area_delay.opb
MD5SUM66cf2657d020eb0982c7cab0e5ad93c1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark391.908
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7343
Total number of constraints22903
Number of constraints which are clauses22903
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 constraint127
Number of terms in the objective function 3560
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 3560
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 3560
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/372680-1177120418/instance-372680-1177120418.opb
0.00/0.00	c File size is 674152 bytes.
0.09/0.12	c Highest Coefficient sum: 3560
0.09/0.12	c Parsing was ok!!
0.09/0.12	c Total parsing time: 0.125 s
0.09/0.14	c Var: 7343 Constr: 22903 22903/0/0 Lit: 55338 Watch. Lit: 45253
0.09/0.14	c Obj. Vars: 3560 (48.4815 % of total variables)
0.29/0.31	c Pre-processing Time: 0.311 s
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        0   6227    18940    46778    2    37880    6313      0      0 0.31
0.29/0.31	c Switching off LPR mode.
0.29/0.32	o 33	0.324
8.48/8.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.48/8.58	c        7   6227    18948    49916    2    40870    7313      8     21 0.33
8.48/8.58	c      107   6227    19048    54681    2    41070    8045    108    262 0.41
8.48/8.58	c      357   6227    19298    67129    3    41570    8850    358    474 0.75
8.48/8.58	c      833   6227    19774    84828    4    42522    9736    834    580 1.43
8.48/8.58	c     1646   6227    20587   129124    6    44148   10710   1647    754 2.18
8.48/8.58	c     2967   6227    21908   185289    8    46790   11782   2968    472 6.28
8.48/8.58	o 32	8.58
17.59/17.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.60	c     4968   6227    23910   323530   13    53769    7313   4970    578 8.59
17.59/17.60	c     5069   6227    24011   327500   13    53971    8045   5071    572 8.86
17.59/17.60	c     5320   6227    24262   342293   14    54473    8850   5322    579 9.18
17.59/17.60	c     5795   6227    24737   377600   15    55423    9736   5797    602 9.62
17.59/17.60	c     6608   6227    25550   417981   16    57049   10710   6610    552 11.97
17.59/17.60	c     7928   6227    26870   503562   18    59689   11782   7930    599 13.22
17.59/17.60	c    10009   6227    28951   619950   21    63851   12961  10011    577 17.33
17.59/17.60	o 31	17.6
42.67/42.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.67/42.71	c    10304   6227    29247   639639   21    67419    7313  10307    585 17.61
42.67/42.71	c    10404   6227    22698   264142   11    48372    8045   3758    578 17.99
42.67/42.71	c    10654   6227    22948   273983   11    48872    8850   4008    585 18.20
42.67/42.71	c    11129   6227    23423   294699   12    49822    9736   4483    561 19.82
42.67/42.71	c    11943   6227    24237   353643   14    51450   10710   5297    580 20.56
42.67/42.71	c    13263   6227    25557   409902   16    54090   11782   6617    597 22.20
42.67/42.71	c    15345   6227    27639   543856   19    58254   12961   8699    605 25.32
42.67/42.71	c    18568   6227    30862   686241   22    64700   14258  11922    645 28.75
42.67/42.71	c    23504   6227    26070   435676   16    55116   15684   7130    645 36.41
42.67/42.71	o 30	42.696
714.37/714.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
714.37/714.74	c    26387   6227    28954   564020   19    63861    7313  10014    617 42.70
714.37/714.74	c    26487   6227    22698   218915    9    48373    8045   3758    615 43.00
714.37/714.74	c    26737   6227    22948   227851    9    48873    8850   4008    612 43.62
714.37/714.74	c    27212   6227    23423   258126   11    49823    9736   4483    621 43.78
714.37/714.74	c    28025   6227    24236   294121   12    51449   10710   5296    617 45.41
714.37/714.74	c    29345   6227    25556   365688   14    54089   11782   6616    632 46.42
714.37/714.74	c    31426   6227    27637   495775   17    58251   12961   8697    641 48.98
714.37/714.74	c    34649   6227    30860   710952   23    64697   14258  11920    670 51.69
714.37/714.74	c    39585   6227    26070   475171   18    55117   15684   7130    626 63.22
714.37/714.74	c    47091   6227    33576   856673   25    70129   17253  14636    568 82.80
714.37/714.74	c    58452   6227    33444   707465   21    69865   18979  14504    505 115.72
714.37/714.74	c    75602   6227    37933  1086813   28    78843   20877  18993    444 170.25
714.37/714.74	c   101421   6227    37560  1298773   34    78097   22965  18620    478 211.95
714.37/714.74	c   140253   6227    32037   999234   31    67051   25262  13097    481 291.06
714.37/714.74	c   198606   6227    39320  1521023   38    81617   27789  20380    490 405.18
714.37/714.74	c   286238   6227    47803  1684497   35    98583   30568  28863    413 692.30
714.37/714.74	o 29	714.426
1799.91/1800.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.58	c   296462   6227    35748  1220889   34    77451    7313  16808    414 714.43
1799.91/1800.58	c   296562   6227    22698   294740   12    48374    8045   3758    414 714.94
1799.91/1800.58	c   296812   6227    22948   304176   13    48874    8850   4008    414 715.27
1799.91/1800.58	c   297288   6227    23424   321873   13    49826    9736   4484    415 715.96
1799.91/1800.58	c   298102   6227    24238   347772   14    51454   10710   5298    414 718.34
1799.91/1800.58	c   299422   6227    25558   416602   16    54094   11782   6618    415 719.98
1799.91/1800.58	c   301503   6227    27639   504827   18    58256   12961   8699    416 723.43
1799.91/1800.58	c   304726   6227    30862   734828   23    64702   14258  11922    419 726.29
1799.91/1800.58	c   309662   6227    26070   570043   21    55118   15684   7130    421 735.39
1799.91/1800.58	c   317168   6227    33576   926297   27    70130   17253  14636    420 754.56
1799.91/1800.58	c   328529   6227    32995   858560   26    68968   18979  14055    421 779.21
1799.91/1800.58	c   345673   6227    37774  1356615   35    78526   20877  18834    424 814.71
1799.91/1800.58	c   371493   6227    36481  1537088   42    75940   22965  17541    425 873.16
1799.91/1800.58	c   410326   6227    31104  1034290   33    65186   25262  12164    438 936.78
1799.91/1800.58	c   468679   6227    36880  1041107   28    76738   27789  17940    438 1069.89
1799.91/1800.58	c   556311   6227    30677   844805   27    64332   30568  11737    431 1288.60
1799.91/1800.58	c   687863   6227    30430  1010913   33    63838   33625  11490    414 1659.10
1799.91/1800.58	c Resources Exceeded
1799.91/1800.58	v -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268
1799.91/1800.58	v x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310
1799.91/1800.58	v -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352
1799.91/1800.58	v -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394
1799.91/1800.58	v -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436
1799.91/1800.58	v -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478
1799.91/1800.58	v -x480 -x482 -x484 -x486 -x488 -x490 -x492 x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520
1799.91/1800.58	v -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x550 -x552 -x554 -x556 -x558 -x560 -x562
1799.91/1800.58	v -x564 -x566 -x568 -x570 -x572 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604
1799.91/1800.58	v -x606 -x608 -x610 -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646
1799.91/1800.58	v -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688
1799.91/1800.58	v -x690 -x692 -x694 -x696 -x698 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730
1799.91/1800.58	v -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772
1799.91/1800.58	v -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814
1799.91/1800.58	v -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856
1799.91/1800.58	v -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898
1799.91/1800.58	v -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940
1799.91/1800.58	v -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982
1799.91/1800.58	v -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020
1799.91/1800.58	v -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054
1799.91/1800.58	v -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088
1799.91/1800.58	v -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122
1799.91/1800.58	v -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156
1799.91/1800.58	v -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190
1799.91/1800.58	v -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224
1799.91/1800.58	v -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258
1799.91/1800.58	v -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292
1799.91/1800.58	v -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326
1799.91/1800.58	v -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360
1799.91/1800.58	v -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394
1799.91/1800.58	v -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428
1799.91/1800.58	v -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462
1799.91/1800.58	v -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496
1799.91/1800.58	v -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530
1799.91/1800.58	v -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564
1799.91/1800.58	v -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598
1799.91/1800.58	v -x1600 -x1602 -x1604 -x1606 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632
1799.91/1800.58	v -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666
1799.91/1800.58	v -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700
1799.91/1800.58	v -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734
1799.91/1800.58	v -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768
1799.91/1800.58	v -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802
1799.91/1800.58	v -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836
1799.91/1800.58	v -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870
1799.91/1800.58	v -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904
1799.91/1800.58	v -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938
1799.91/1800.58	v -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972
1799.91/1800.58	v -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006
1799.91/1800.58	v -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040
1799.91/1800.58	v -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074
1799.91/1800.58	v -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108
1799.91/1800.58	v -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142
1799.91/1800.58	v -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176
1799.91/1800.58	v -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210
1799.91/1800.58	v -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244
1799.91/1800.58	v -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278
1799.91/1800.58	v -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312
1799.91/1800.58	v -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346
1799.91/1800.58	v -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380
1799.91/1800.58	v -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414
1799.91/1800.58	v -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448
1799.91/1800.58	v -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482
1799.91/1800.58	v -x2484 -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516
1799.91/1800.58	v -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550
1799.91/1800.58	v -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584
1799.91/1800.58	v -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618
1799.91/1800.58	v -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652
1799.91/1800.58	v -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686
1799.91/1800.58	v -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720
1799.91/1800.58	v -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754
1799.91/1800.58	v -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788
1799.91/1800.58	v -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822
1799.91/1800.58	v -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855
1799.91/1800.58	v -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889
1799.91/1800.58	v -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923
1799.91/1800.58	v -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 x2949 -x2951 -x2953 -x2955 -x2957
1799.91/1800.58	v -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991
1799.91/1800.58	v -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025
1799.91/1800.58	v -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059
1799.91/1800.58	v -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093
1799.91/1800.58	v -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127
1799.91/1800.58	v -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161
1799.91/1800.58	v -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195
1799.91/1800.58	v -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229
1799.91/1800.58	v -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263
1799.91/1800.58	v -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297
1799.91/1800.58	v -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331
1799.91/1800.58	v -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365
1799.91/1800.58	v -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399
1799.91/1800.58	v -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433
1799.91/1800.58	v -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467
1799.91/1800.58	v -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501
1799.91/1800.58	v -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535
1799.91/1800.58	v -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569
1799.91/1800.58	v -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603
1799.91/1800.58	v -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637
1799.91/1800.58	v -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671
1799.91/1800.58	v -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705
1799.91/1800.58	v -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 -x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739
1799.91/1800.58	v -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773
1799.91/1800.58	v -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807
1799.91/1800.58	v -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841
1799.91/1800.58	v -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875
1799.91/1800.58	v -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909
1799.91/1800.58	v -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943
1799.91/1800.58	v -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977
1799.91/1800.58	v -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011
1799.91/1800.58	v -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045
1799.91/1800.58	v -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079
1799.91/1800.58	v -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113
1799.91/1800.58	v -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147
1799.91/1800.58	v -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4177 -x4179 -x4181
1799.91/1800.58	v -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215
1799.91/1800.58	v -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249
1799.91/1800.58	v -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x4277 -x4279 -x4281 -x4283
1799.91/1800.58	v -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317
1799.91/1800.58	v -x4319 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350
1799.91/1800.58	v -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384
1799.91/1800.58	v -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418
1799.91/1800.58	v -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452
1799.91/1800.58	v -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486
1799.91/1800.58	v -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520
1799.91/1800.58	v -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554
1799.91/1800.58	v -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588
1799.91/1800.58	v -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622
1799.91/1800.58	v -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656
1799.91/1800.58	v -x4658 -x4660 -x4662 -x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690
1799.91/1800.58	v -x4692 -x4694 -x4696 -x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724
1799.91/1800.58	v -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758
1799.91/1800.58	v -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792
1799.91/1800.58	v -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826
1799.91/1800.58	v -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 x4858 -x4860
1799.91/1800.58	v -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 x4890 -x4892 -x4894
1799.91/1800.58	v -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928
1799.91/1800.58	v -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 x4962
1799.91/1800.58	v -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996
1799.91/1800.58	v -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030
1799.91/1800.58	v -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064
1799.91/1800.58	v -x5066 -x5068 -x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098
1799.91/1800.58	v -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132
1799.91/1800.58	v -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166
1799.91/1800.58	v -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200
1799.91/1800.58	v -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234
1799.91/1800.58	v -x5236 -x5238 -x5240 -x5242 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268
1799.91/1800.58	v -x5270 -x5272 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302
1799.91/1800.58	v -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336
1799.91/1800.58	v -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370
1799.91/1800.58	v -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404
1799.91/1800.58	v -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438
1799.91/1800.58	v -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472
1799.91/1800.58	v -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506
1799.91/1800.58	v -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540
1799.91/1800.58	v -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574
1799.91/1800.58	v -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608
1799.91/1800.58	v -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642
1799.91/1800.58	v -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676
1799.91/1800.58	v -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 x5704 -x5706 -x5708 -x5710
1799.91/1800.58	v -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744
1799.91/1800.58	v -x5746 x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778
1799.91/1800.58	v -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812
1799.91/1800.58	v -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846
1799.91/1800.58	v -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880
1799.91/1800.58	v -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x5912 -x5914
1799.91/1800.58	v -x5916 -x5918 -x5920 -x5922 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947
1799.91/1800.58	v -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981
1799.91/1800.58	v -x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015
1799.91/1800.58	v -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 x6047 -x6049
1799.91/1800.58	v -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083
1799.91/1800.58	v -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117
1799.91/1800.58	v -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151
1799.91/1800.58	v -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185
1799.91/1800.58	v -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219
1799.91/1800.58	v -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253
1799.91/1800.58	v -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287
1799.91/1800.58	v -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 x6321
1799.91/1800.58	v -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355
1799.91/1800.58	v -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389
1799.91/1800.58	v -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423
1799.91/1800.58	v -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 -x6453 -x6455 -x6457
1799.91/1800.58	v -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491
1799.91/1800.58	v -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525
1799.91/1800.58	v -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559
1799.91/1800.58	v -x6561 -x6563 -x6565 x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593
1799.91/1800.58	v -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627
1799.91/1800.58	v -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661
1799.91/1800.58	v -x6663 -x6665 -x6667 -x6669 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695
1799.91/1800.58	v -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 x6729
1799.91/1800.58	v -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763
1799.91/1800.58	v -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797
1799.91/1800.58	v -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831
1799.91/1800.58	v -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865
1799.91/1800.58	v -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899
1799.91/1800.58	v -x6901 x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925 -x6927 -x6929 -x6931 -x6933
1799.91/1800.58	v -x6935 x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967
1799.91/1800.58	v -x6969 -x6971 -x6973 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001
1799.91/1800.58	v -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027 -x7029 -x7031 -x7033 -x7035
1799.91/1800.58	v -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 x7069
1799.91/1800.58	v -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103
1799.91/1800.58	v -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 x7131 -x7133 -x7135 -x7137
1799.91/1800.58	v -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171
1799.91/1800.58	v -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205
1799.91/1800.58	v -x7207 -x7209 x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 x7231 -x7233 -x7235 -x7237 -x7239 -x7241
1799.91/1800.58	v -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 x7267 -x7269 -x7271 -x7273 -x7275
1799.91/1800.58	v -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295 x7297 x7299 -x7301 -x7303 -x7305 -x7307 x7309 -x7311
1799.91/1800.58	v -x7313 -x7315 -x7317 -x7319 -x7321 x7323 -x7325 -x7327 -x7329 -x7331 -x7333 x7335 -x7337 -x7339 -x7341 -x7343 -x227 -x229
1799.91/1800.58	v -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 x269 -x271
1799.91/1800.58	v -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313
1799.91/1800.58	v -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x1
1799.91/1800.58	v -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395
1799.91/1800.58	v -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x2 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435
1799.91/1800.58	v -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477
1799.91/1800.58	v -x479 -x481 -x483 -x485 -x487 -x489 -x491 x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519
1799.91/1800.58	v -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x3 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559
1799.91/1800.58	v -x561 -x563 -x565 -x567 -x569 -x4 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599
1799.91/1800.58	v -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x5 -x633 -x635 -x637 -x639
1799.91/1800.58	v -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x6 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679
1799.91/1800.58	v -x681 -x683 -x685 -x687 -x689 -x691 -x7 -x693 -x695 -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719
1799.91/1800.58	v -x721 -x8 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x9 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757
1799.91/1800.58	v -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x10
1799.91/1800.58	v -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x11 -x829 -x831 -x833 -x835 -x837
1799.91/1800.58	v -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x12 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877
1799.91/1800.58	v -x879 -x881 -x883 -x885 -x887 -x13 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917
1799.91/1800.58	v -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959
1799.91/1800.58	v -x961 -x963 x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001
1799.91/1800.58	v -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035
1799.91/1800.58	v -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069
1799.91/1800.58	v -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103
1799.91/1800.58	v -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137
1799.91/1800.58	v -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x14 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171
1799.91/1800.58	v -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x1203 -x1205
1799.91/1800.58	v -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239
1799.91/1800.58	v -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273
1799.91/1800.58	v -x1275 -x1277 -x1279 -x1281 -x15 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307
1799.91/1800.58	v -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341
1799.91/1800.58	v -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375
1799.91/1800.58	v -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x16 -x1409
1799.91/1800.58	v -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443
1799.91/1800.58	v -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x17 -x1471 -x1473 -x1475 -x1477
1799.91/1800.58	v -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511
1799.91/1800.58	v -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545
1799.91/1800.58	v -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579
1799.91/1800.58	v -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x18 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613
1799.91/1800.58	v -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647
1799.91/1800.58	v -x1649 -x1651 -x1653 -x1655 -x1657 -x19 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681
1799.91/1800.58	v -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715
1799.91/1800.58	v -x1717 -x20 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x21
1799.91/1800.58	v -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781
1799.91/1800.58	v -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815
1799.91/1800.58	v -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849
1799.91/1800.58	v -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x22 -x1875 -x1877 -x1879 -x1881 -x1883
1799.91/1800.58	v -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917
1799.91/1800.58	v -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x23 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951
1799.91/1800.58	v -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985
1799.91/1800.58	v -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x24 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019
1799.91/1800.58	v -x2021 -x2023 -x2025 -x2027 -x25 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053
1799.91/1800.58	v -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087
1799.91/1800.58	v -x2089 -x26 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x27
1799.91/1800.58	v -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x28 -x2151 -x2153
1799.91/1800.58	v -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187
1799.91/1800.58	v -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221
1799.91/1800.58	v -x2223 -x2225 x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255
1799.91/1800.58	v -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289
1799.91/1800.58	v -x29 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323
1799.91/1800.58	v -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x30 -x2353 -x2355 -x2357
1799.91/1800.58	v -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391
1799.91/1800.58	v -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x31 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425
1799.91/1800.58	v -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x32 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459
1799.91/1800.58	v -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493
1799.91/1800.58	v -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x33 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527
1799.91/1800.58	v -x2529 -x2531 -x2533 -x2535 -x34 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561
1799.91/1800.58	v -x2563 -x2565 -x35 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x36 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593
1799.91/1800.58	v -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627
1799.91/1800.58	v -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x37 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661
1799.91/1800.58	v -x2663 -x2665 -x2667 -x2669 -x2671 -x38 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695
1799.91/1800.58	v -x2697 -x2699 -x2701 -x39 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x40 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727
1799.91/1800.58	v -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x41 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x42
1799.91/1800.58	v -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x43 -x2775 -x2777 -x2779 -x44 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791
1799.91/1800.58	v -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2824 -x2826
1799.91/1800.58	v -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x45 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858 -x2860
1799.91/1800.58	v -x2862 -x2864 -x2866 -x2868 -x2870 -x46 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894
1799.91/1800.58	v -x2896 -x2898 -x2900 -x47 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928
1799.91/1800.58	v -x2930 -x48 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x49 -x2960
1799.91/1800.58	v -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x50 -x2990 -x2992 -x2994
1799.91/1800.58	v -x2996 -x2998 -x3000 -x3002 -x51 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x52 -x3018 -x3020 -x3022 -x3024 -x3026
1799.91/1800.58	v -x3028 -x3030 -x53 -x3032 -x3034 -x3036 -x54 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052 -x3054 -x3056 -x3058
1799.91/1800.58	v -x3060 -x3062 -x3064 -x3066 -x55 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x56 -x3082 -x3084 -x3086 -x3088 -x3090
1799.91/1800.58	v -x3092 -x3094 -x57 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x58 -x3110 -x3112 -x3114 -x59 -x3116 -x3118 -x3120
1799.91/1800.58	v -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154
1799.91/1800.58	v -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188
1799.91/1800.58	v -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x3220 -x3222
1799.91/1800.58	v -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x60 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256
1799.91/1800.58	v -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290
1799.91/1800.58	v -x3292 -x3294 -x3296 -x3298 -x3300 -x3302 -x61 -x3304 -x3306 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324
1799.91/1800.58	v -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x3358
1799.91/1800.58	v -x3360 -x3362 -x3364 -x62 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392
1799.91/1800.58	v -x3394 -x63 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418 -x3420 -x3422 -x3424 -x3426
1799.91/1800.58	v -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x64 -x3458 -x3460
1799.91/1800.58	v -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486 -x65 -x3488 -x3490 -x3492 -x3494
1799.91/1800.58	v -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x66 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528
1799.91/1800.58	v -x3530 -x67 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562
1799.91/1800.58	v -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x68 -x3594 -x3596
1799.91/1800.58	v -x3598 -x3600 -x3602 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x69 -x3624 -x3626 -x3628 -x3630
1799.91/1800.58	v -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x70 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664
1799.91/1800.58	v -x3666 -x71 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x72
1799.91/1800.58	v -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x73 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 -x3724 -x74 -x3726 -x3728
1799.91/1800.58	v -x3730 -x75 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762
1799.91/1800.58	v -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x76 -x3794 -x3796
1799.91/1800.58	v -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x77 -x3824 -x3826 -x3828 -x3830
1799.91/1800.58	v -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x78 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864
1799.91/1800.58	v -x3866 -x79 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x3894 -x3896 -x80
1799.91/1800.58	v -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x81 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x82 -x3926 -x3928
1799.91/1800.58	v -x3930 -x83 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958 -x3960 -x84
1799.91/1800.58	v -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x85 -x3976 -x3978 -x3980 -x3982 -x3984 -x3986 -x3988 -x86 -x3990 -x3992
1799.91/1800.58	v -x3994 -x87 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x88 -x4010 -x4012 -x4014 -x89 -x4016 -x4018 -x4020 -x90 -x4022
1799.91/1800.58	v -x91 -x4024 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x92 -x4054
1799.91/1800.58	v -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086 -x4088
1799.91/1800.58	v -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x93 -x4116 -x4118 -x4120 -x4122
1799.91/1800.58	v -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x94 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156
1799.91/1800.58	v -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x95 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190
1799.91/1800.58	v -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x96 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x97 -x4220 -x4222
1799.91/1800.58	v -x4224 -x4226 -x4228 -x4230 -x4232 -x98 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256
1799.91/1800.58	v -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290
1799.91/1800.58	v -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4321 -x4323 -x4325
1799.91/1800.58	v -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x99 -x4359
1799.91/1800.58	v -x4361 -x4363 -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393
1799.91/1800.58	v -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x100 -x4421 -x4423 -x4425
1799.91/1800.58	v -x4427 -x4429 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459
1799.91/1800.58	v -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x101 -x4483 -x4485 -x4487 -x4489 -x4491
1799.91/1800.58	v -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x102 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523
1799.91/1800.58	v -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557
1799.91/1800.58	v -x4559 -x4561 -x4563 -x4565 -x4567 -x4569 -x4571 -x4573 -x103 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589
1799.91/1800.58	v -x4591 -x4593 -x4595 -x4597 -x4599 -x4601 -x4603 -x104 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621
1799.91/1800.58	v -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x105 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x106 -x4649 -x4651 -x4653
1799.91/1800.58	v -x4655 -x4657 -x4659 -x4661 -x4663 -x4665 -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x4685 -x4687
1799.91/1800.58	v -x4689 -x4691 -x4693 -x4695 -x4697 -x4699 -x4701 -x4703 -x4705 -x4707 -x4709 -x107 -x4711 -x4713 -x4715 -x4717 -x4719
1799.91/1800.58	v -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x108 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751
1799.91/1800.58	v -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769 -x109 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783
1799.91/1800.58	v -x110 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x111 -x4815
1799.91/1800.58	v -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x112 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x4841 -x113 -x4843 -x4845 -x4847
1799.91/1800.58	v -x4849 -x4851 -x4853 -x4855 x4857 -x4859 -x4861 -x114 -x4863 -x4865 -x4867 -x4869 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881
1799.91/1800.58	v -x4883 -x4885 -x4887 x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915
1799.91/1800.58	v -x4917 -x115 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x116 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x117
1799.91/1800.58	v -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 x118 x4961 -x4963 -x4965 -x119 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977
1799.91/1800.58	v -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011
1799.91/1800.58	v -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045
1799.91/1800.58	v -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x5073 -x5075 -x5077 -x5079
1799.91/1800.58	v -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x120 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111
1799.91/1800.58	v -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145
1799.91/1800.58	v -x5147 -x5149 -x5151 -x5153 -x121 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177
1799.91/1800.58	v -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211
1799.91/1800.58	v -x5213 -x5215 -x122 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243
1799.91/1800.58	v -x5245 -x123 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275
1799.91/1800.58	v -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x124
1799.91/1800.58	v -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x125 -x5339
1799.91/1800.58	v -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x126 -x5369 -x5371
1799.91/1800.58	v -x5373 -x5375 -x5377 -x5379 -x5381 -x127 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403
1799.91/1800.58	v -x5405 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437
1799.91/1800.58	v -x5439 -x5441 -x5443 -x128 -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469
1799.91/1800.58	v -x5471 -x5473 -x129 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501
1799.91/1800.58	v -x5503 -x130 -x5505 -x5507 -x5509 -x5511 -x5513 -x5515 -x5517 -x131 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533
1799.91/1800.58	v -x5535 -x5537 -x5539 -x5541 -x5543 -x5545 -x5547 -x132 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x133 -x5563 -x5565
1799.91/1800.58	v -x5567 -x5569 -x5571 -x5573 -x5575 -x134 -x5577 -x5579 -x5581 -x135 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597
1799.91/1800.58	v -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631
1799.91/1800.58	v -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x136 -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663
1799.91/1800.58	v -x5665 -x5667 -x5669 -x5671 -x5673 -x137 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695
1799.91/1800.58	v -x5697 -x5699 -x5701 x5703 -x5705 -x5707 -x5709 -x5711 -x5713 -x5715 -x5717 -x138 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729
1799.91/1800.58	v -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x5743 -x5745 x5747 x139 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x140
1799.91/1800.58	v -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775 -x141 -x5777 -x5779 -x142 -x5781 -x5783 -x5785 -x5787 -x5789 -x5791 -x5793
1799.91/1800.58	v -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x143 -x5811 -x5813 -x5815 -x5817 -x5819 -x5821 -x5823 -x144 -x5825
1799.91/1800.58	v -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x145 -x5839 -x5841 -x5843 -x146 -x5845 -x5847 -x5849 -x5851 -x5853 -x5855 -x5857
1799.91/1800.58	v x147 -x5859 x5861 -x5863 -x148 -x5865 -x5867 -x5869 -x149 -x5871 -x150 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885
1799.91/1800.58	v -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919
1799.91/1800.58	v -x5921 -x5924 -x5926 -x5928 -x5930 -x5932 -x151 -x5934 -x5936 -x5938 -x5940 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952
1799.91/1800.58	v -x5954 -x5956 -x5958 -x5960 -x5962 -x152 -x5964 -x5966 -x5968 -x5970 -x5972 -x5974 -x5976 -x5978 -x5980 -x5982 -x5984
1799.91/1800.58	v -x5986 -x5988 -x5990 -x5992 -x153 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x154 -x6008 -x6010 -x6012 -x6014 -x6016
1799.91/1800.58	v -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 x155 -x6038 -x6040 -x6042 -x6044 x6046 -x6048 -x6050
1799.91/1800.58	v -x156 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x6080 -x6082
1799.91/1800.58	v -x6084 -x6086 -x6088 -x6090 -x6092 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x6108 -x6110 -x6112 -x157 -x6114
1799.91/1800.58	v -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x158 -x6144 -x6146
1799.91/1800.58	v -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x159 -x6174 -x6176 -x6178
1799.91/1800.58	v -x6180 -x6182 -x6184 -x6186 -x160 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x6208 -x6210
1799.91/1800.58	v -x6212 -x6214 -x6216 -x161 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x162 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242
1799.91/1800.58	v -x6244 -x163 -x6246 -x6248 -x6250 -x164 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274
1799.91/1800.58	v -x6276 -x6278 -x6280 -x165 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x166 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306
1799.91/1800.58	v -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 x6320 -x6322 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340
1799.91/1800.58	v x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x167 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x168 -x6368 -x6370 -x6372
1799.91/1800.58	v -x169 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404
1799.91/1800.58	v -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x170 -x6436
1799.91/1800.58	v -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x171 -x6466 -x6468
1799.91/1800.58	v -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x172 -x6496 -x6498 -x6500
1799.91/1800.58	v -x6502 -x6504 -x6506 -x6508 -x173 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532
1799.91/1800.58	v -x6534 -x6536 -x6538 -x174 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x175 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564
1799.91/1800.58	v x6566 -x6568 -x6570 -x6572 -x176 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598
1799.91/1800.58	v -x6600 -x6602 -x177 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x178 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630
1799.91/1800.58	v -x179 -x6632 -x6634 -x6636 -x180 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x181 -x6652 -x6654 -x6656 -x182 -x6658
1799.91/1800.58	v -x6660 -x6662 -x183 -x6664 -x184 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690
1799.91/1800.58	v -x6692 -x6694 -x185 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722
1799.91/1800.58	v -x6724 -x6726 x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x186 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x187 -x6754
1799.91/1800.58	v -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x188 -x6784 -x6786
1799.91/1800.58	v -x6788 -x6790 -x6792 -x6794 -x6796 -x189 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x190 -x6812 -x6814 -x6816 -x191
1799.91/1800.58	v -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x192 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x193 -x6844 -x6846 -x6848
1799.91/1800.58	v -x194 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 x6878 -x6880 -x6882
1799.91/1800.58	v -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 -x6898 -x6900 x6902 -x6904 -x6906 -x195 -x6908 -x6910 -x196 -x6912 -x6914
1799.91/1800.58	v -x6916 -x6918 -x6920 -x6922 -x6924 -x197 -x6926 -x6928 -x6930 -x198 -x6932 -x6934 x6936 x199 -x6938 -x200 -x6940 -x6942
1799.91/1800.58	v -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976
1799.91/1800.58	v -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x201 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008
1799.91/1800.58	v -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x202 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040
1799.91/1800.58	v -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x203 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 x7068 -x7070 -x7072 -x7074
1799.91/1800.58	v -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090 -x7092 -x7094 -x7096 -x7098 -x204 -x7100 -x7102 -x7104 -x7106
1799.91/1800.58	v -x7108 -x7110 -x7112 -x205 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128 x7130 -x7132 -x206 -x7134 -x7136 -x7138
1799.91/1800.58	v -x7140 -x7142 -x7144 -x7146 -x7148 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x207 -x7164 -x7166 -x7168 -x7170
1799.91/1800.58	v -x7172 -x7174 -x7176 -x208 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x209 -x7192 -x7194 -x7196 -x210 -x7198 -x7200
1799.91/1800.58	v -x7202 -x7204 -x7206 -x7208 x7210 x211 -x7212 -x7214 -x7216 -x212 -x7218 -x7220 -x7222 -x213 -x7224 -x7226 -x7228 x7230
1799.91/1800.58	v -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x214 -x7252 -x7254 -x7256 -x7258 -x7260 -x7262
1799.91/1800.58	v -x7264 x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x7278 -x215 -x7280 -x7282 -x7284 -x7286 -x7288 -x7290 -x7292 -x7294 x7296
1799.91/1800.58	v x7298 x216 -x7300 -x7302 -x217 -x7304 -x7306 x7308 x218 -x7310 -x219 -x7312 -x7314 -x7316 -x7318 -x7320 x7322 x220 -x7324
1799.91/1800.58	v -x7326 -x7328 -x221 -x7330 -x7332 x7334 x222 -x7336 -x223 -x7338 -x7340 -x224 -x7342 -x225 x226
1799.91/1800.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.58	c   55   791956 478880  2786085    33492  1217607  14552    439 1800.00
1799.91/1800.58	c Objective: 29
1799.91/1800.58	s SATISFIABLE
1799.91/1800.58	c Total time: 1800 s

Verifier Data (download as text)

OK	29

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-372680-1177120418 -o ROOT/results/node15/solver-372680-1177120418 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/372680-1177120418/instance-372680-1177120418.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.00 1.00 1.00 3/77 7295
/proc/meminfo: memFree=1738464/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=12396 CPUtime=0
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 159959381 12693504 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 3099 336 281 324 0 2003 0

[startup+0.0330191 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7295
/proc/meminfo: memFree=1738464/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=5508 CPUtime=0.02
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 624 0 0 0 2 0 0 0 18 0 1 0 159959381 5640192 592 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 1377 592 319 324 0 281 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5508

[startup+0.101025 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7295
/proc/meminfo: memFree=1738464/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=6880 CPUtime=0.09
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 1052 0 0 0 9 0 0 0 18 0 1 0 159959381 7045120 1020 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 1720 1020 409 324 0 624 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6880

[startup+0.301042 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7295
/proc/meminfo: memFree=1738464/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=8592 CPUtime=0.29
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 1746 0 0 0 27 2 0 0 19 0 1 0 159959381 8798208 1518 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 2148 1518 307 324 0 1217 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8592

[startup+0.70108 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7295
/proc/meminfo: memFree=1738464/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=8716 CPUtime=0.69
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 1761 0 0 0 66 3 0 0 22 0 1 0 159959381 8925184 1533 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 2179 1533 313 324 0 1248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8716

[startup+1.50215 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1733464/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=8968 CPUtime=1.49
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 1828 0 0 0 145 4 0 0 25 0 1 0 159959381 9183232 1600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572177 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 2242 1600 313 324 0 1311 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8968

[startup+3.1013 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 7296
/proc/meminfo: memFree=1732504/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=9712 CPUtime=3.09
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 2015 0 0 0 304 5 0 0 25 0 1 0 159959381 9945088 1787 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 2428 1787 313 324 0 1497 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9712

[startup+6.30159 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1731928/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=10164 CPUtime=6.29
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 2148 0 0 0 624 5 0 0 25 0 1 0 159959381 10407936 1920 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 2541 1920 313 324 0 1610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10164

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1728224/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=14308 CPUtime=12.69
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 3172 0 0 0 1261 8 0 0 25 0 1 0 159959381 14651392 2944 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7945965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 3577 2944 313 324 0 2646 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14308

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1724960/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=17020 CPUtime=25.48
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 3844 0 0 0 2536 12 0 0 25 0 1 0 159959381 17428480 3616 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 4255 3616 313 324 0 3324 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17020

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1720032/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=21944 CPUtime=51.07
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 5082 0 0 0 5086 21 0 0 25 0 1 0 159959381 22470656 4854 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7946390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 5486 4854 313 324 0 4555 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21944

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1718048/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=23876 CPUtime=102.26
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 5571 0 0 0 10197 29 0 0 25 0 1 0 159959381 24449024 5343 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 5969 5343 313 324 0 5038 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23876

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 7296
/proc/meminfo: memFree=1717344/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=24620 CPUtime=162.24
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 5754 0 0 0 16188 36 0 0 25 0 1 0 159959381 25210880 5526 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091749 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 6155 5526 313 324 0 5224 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24620

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1713120/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=28960 CPUtime=222.23
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 6828 0 0 0 22173 50 0 0 25 0 1 0 159959381 29655040 6600 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134575305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 7240 6600 313 324 0 6309 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28960

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1708192/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=34244 CPUtime=282.22
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 8169 0 0 0 28162 60 0 0 25 0 1 0 159959381 35065856 7941 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 8561 7941 313 324 0 7630 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34244

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1703840/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=37964 CPUtime=342.2
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 9097 0 0 0 34149 71 0 0 25 0 1 0 159959381 38875136 8869 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 9491 8869 313 324 0 8560 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 37964

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7296
/proc/meminfo: memFree=1701024/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=40808 CPUtime=402.19
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 9808 0 0 0 40137 82 0 0 25 0 1 0 159959381 41787392 9580 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 10202 9580 313 324 0 9271 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 40808

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/84 7412
/proc/meminfo: memFree=1699760/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=40792 CPUtime=462.12
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 9810 0 0 0 46118 94 0 0 25 0 1 0 159959381 41771008 9580 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 10198 9580 313 324 0 9267 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 40792

[startup+522.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 7970
/proc/meminfo: memFree=1700512/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=40732 CPUtime=522.02
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 9810 0 0 0 52102 100 0 0 25 0 1 0 159959381 41709568 9565 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 10183 9565 313 324 0 9252 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 40732

[startup+582.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 7970
/proc/meminfo: memFree=1700832/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=40732 CPUtime=582.01
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 9810 0 0 0 58094 107 0 0 25 0 1 0 159959381 41709568 9565 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 10183 9565 313 324 0 9252 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 40732

[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 7970
/proc/meminfo: memFree=1700896/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=40732 CPUtime=642
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 9810 0 0 0 64087 113 0 0 25 0 1 0 159959381 41709568 9565 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 10183 9565 313 324 0 9252 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 40732


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

/proc/meminfo: memFree=1701024/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=40692 CPUtime=1061.89
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 9813 0 0 0 106015 174 0 0 25 0 1 0 159959381 41668608 9555 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 10173 9555 313 324 0 9242 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 40692

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 7970
/proc/meminfo: memFree=1699424/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=42632 CPUtime=1121.88
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 10283 0 0 0 112005 183 0 0 25 0 1 0 159959381 43655168 10021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 10658 10021 313 324 0 9727 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 42632

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7970
/proc/meminfo: memFree=1696416/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=45356 CPUtime=1181.86
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 10981 0 0 0 117996 190 0 0 25 0 1 0 159959381 46444544 10719 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134552144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 11339 10719 313 324 0 10408 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 45356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7970
/proc/meminfo: memFree=1696352/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=45352 CPUtime=1241.85
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 10981 0 0 0 123987 198 0 0 25 0 1 0 159959381 46440448 10719 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 11338 10719 313 324 0 10407 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 45352

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7970
/proc/meminfo: memFree=1696352/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=45352 CPUtime=1301.83
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 10981 0 0 0 129974 209 0 0 25 0 1 0 159959381 46440448 10719 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134571990 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 11338 10719 313 324 0 10407 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 45352

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7970
/proc/meminfo: memFree=1696352/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=45352 CPUtime=1361.82
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 10981 0 0 0 135966 216 0 0 25 0 1 0 159959381 46440448 10719 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7946072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 11338 10719 313 324 0 10407 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 45352

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7970
/proc/meminfo: memFree=1694368/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=47256 CPUtime=1421.8
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 11477 0 0 0 141958 222 0 0 25 0 1 0 159959381 48390144 11182 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7946591 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 11814 11182 313 324 0 10883 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 47256

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7970
/proc/meminfo: memFree=1691808/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=50440 CPUtime=1481.78
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 12287 0 0 0 147947 231 0 0 25 0 1 0 159959381 51650560 11992 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 12610 11992 313 324 0 11679 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 50440

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 7970
/proc/meminfo: memFree=1689696/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=52244 CPUtime=1541.77
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 12765 0 0 0 153937 240 0 0 25 0 1 0 159959381 53497856 12437 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 13061 12437 313 324 0 12130 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 52244

[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 7970
/proc/meminfo: memFree=1687136/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=54536 CPUtime=1601.76
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13346 0 0 0 159928 248 0 0 25 0 1 0 159959381 55844864 12985 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 13634 12985 313 324 0 12703 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 54536

[startup+1662.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56436 CPUtime=1661.74
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13906 0 0 0 165917 257 0 0 25 0 1 0 159959381 57790464 13479 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134574458 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14109 13479 313 324 0 13178 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 56436

[startup+1722.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1721.73
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 171900 273 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7946081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 56448

[startup+1782.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1781.71
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 177887 284 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 56448

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

[startup+1791.91 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1791.31
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 178846 285 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 56448

[startup+1795.1 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1794.51
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 179166 285 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 56448

[startup+1798.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1797.72
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 179486 286 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 7946532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 56448

[startup+1799.9 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1799.31
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 179645 286 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1799.31
Current children cumulated vsize (KiB) 56448

[startup+1800.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1799.71
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 179685 286 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1799.71
Current children cumulated vsize (KiB) 56448

[startup+1800.5 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 7970
/proc/meminfo: memFree=1685216/2055920 swapFree=4169120/4192956
[pid=7295] ppid=7293 vsize=56448 CPUtime=1799.91
/proc/7295/stat : 7295 (bsolo3.0.16) R 7293 7295 5962 0 -1 4194304 13945 0 0 0 179705 286 0 0 25 0 1 0 159959381 57802752 13482 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7295/statm: 14112 13482 313 324 0 13181 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 56448

Child status: 0
Real time (s): 1800.6
CPU time (s): 1800.01
CPU user time (s): 1797.14
CPU system time (s): 2.87456
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 56448

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

runsolver used 2.21366 second user time and 4.20836 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Apr 21 01:53:38 UTC 2007

IDJOB= 372680
IDBENCH= 24989
IDSOLVER= 163
FILE ID= node15/372680-1177120418

PBS_JOBID= 4640460

Free space on /tmp= 66479 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  66cf2657d020eb0982c7cab0e5ad93c1

RANDOM SEED= 525468820

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1738936 kB
Buffers:         55832 kB
Cached:         187288 kB
SwapCached:       2292 kB
Active:         161996 kB
Inactive:       105364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1738936 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            5060 kB
Writeback:           0 kB
Mapped:          30332 kB
Slab:            35024 kB
Committed_AS:  7010340 kB
PageTables:       1868 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= 66483 MiB

End job on node15 on Sat Apr 21 02:23:39 UTC 2007