Trace number 433702

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17SAT (TO)29 1800.04 1800.63

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

Verifier Data (download as text)

OK	29

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 20988
/proc/meminfo: memFree=1842968/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=12396 CPUtime=0
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 244139070 12693504 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 3099 336 279 324 0 2004 0

[startup+0.096758 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 20988
/proc/meminfo: memFree=1842968/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=6744 CPUtime=0.08
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 1019 0 0 0 8 0 0 0 18 0 1 0 244139070 6905856 989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 1686 989 401 324 0 591 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6744

[startup+0.101758 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 20988
/proc/meminfo: memFree=1842968/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=6880 CPUtime=0.09
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 1051 0 0 0 9 0 0 0 18 0 1 0 244139070 7045120 1021 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 1720 1021 408 324 0 625 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6880

[startup+0.301779 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 20988
/proc/meminfo: memFree=1842968/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=8592 CPUtime=0.29
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 1742 0 0 0 27 2 0 0 19 0 1 0 244139070 8798208 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 2148 1516 305 324 0 1218 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8592

[startup+0.701823 s]
/proc/loadavg: 0.92 0.98 0.91 3/77 20988
/proc/meminfo: memFree=1842968/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=8716 CPUtime=0.69
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 1759 0 0 0 66 3 0 0 23 0 1 0 244139070 8925184 1533 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551294 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 2179 1533 311 324 0 1249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8716

[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1837968/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=8968 CPUtime=1.49
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 1826 0 0 0 146 3 0 0 25 0 1 0 244139070 9183232 1600 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 2242 1600 311 324 0 1312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8968

[startup+3.10108 s]
/proc/loadavg: 0.92 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1837136/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=9712 CPUtime=3.09
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 2013 0 0 0 306 3 0 0 25 0 1 0 244139070 9945088 1787 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7917293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 2428 1787 311 324 0 1498 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9712

[startup+6.30143 s]
/proc/loadavg: 0.93 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1836432/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=10292 CPUtime=6.29
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 2149 0 0 0 625 4 0 0 25 0 1 0 244139070 10539008 1923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 2573 1923 311 324 0 1643 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10292

[startup+12.7021 s]
/proc/loadavg: 0.93 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1832784/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=14180 CPUtime=12.69
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 3151 0 0 0 1264 5 0 0 25 0 1 0 244139070 14520320 2925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 3545 2925 311 324 0 2615 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14180

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1829520/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=17020 CPUtime=25.49
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 3840 0 0 0 2543 6 0 0 25 0 1 0 244139070 17428480 3614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 4255 3614 311 324 0 3325 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17020

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1824656/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=21944 CPUtime=51.07
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 5078 0 0 0 5100 7 0 0 25 0 1 0 244139070 22470656 4852 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7917718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 5486 4852 311 324 0 4556 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21944

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1822736/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=23876 CPUtime=102.26
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 5567 0 0 0 10219 7 0 0 25 0 1 0 244139070 24449024 5341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 5969 5341 311 324 0 5039 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23876

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1821968/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=24620 CPUtime=162.24
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 5750 0 0 0 16216 8 0 0 25 0 1 0 244139070 25210880 5524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551981 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 6155 5524 311 324 0 5225 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24620

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1818064/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=28592 CPUtime=222.23
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 6745 0 0 0 22213 10 0 0 25 0 1 0 244139070 29278208 6519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7601268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 7148 6519 311 324 0 6218 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28592

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1813200/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=33848 CPUtime=282.2
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 8044 0 0 0 28209 11 0 0 25 0 1 0 244139070 34660352 7818 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 8462 7818 311 324 0 7532 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 33848

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1808592/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=37964 CPUtime=342.19
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9093 0 0 0 34206 13 0 0 25 0 1 0 244139070 38875136 8867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 9491 8867 311 324 0 8561 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 37964

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805776/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40808 CPUtime=402.17
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9804 0 0 0 40203 14 0 0 25 0 1 0 244139070 41787392 9578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10202 9578 311 324 0 9272 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 40808

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805712/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40792 CPUtime=462.17
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9806 0 0 0 46202 15 0 0 25 0 1 0 244139070 41771008 9578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10198 9578 311 324 0 9268 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 40792

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805712/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40732 CPUtime=522.15
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9806 0 0 0 52200 15 0 0 25 0 1 0 244139070 41709568 9563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10183 9563 311 324 0 9253 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 40732

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805712/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40732 CPUtime=582.13
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9806 0 0 0 58198 15 0 0 25 0 1 0 244139070 41709568 9563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7917712 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10183 9563 311 324 0 9253 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 40732

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805712/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40732 CPUtime=642.12
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9806 0 0 0 64196 16 0 0 25 0 1 0 244139070 41709568 9563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551975 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10183 9563 311 324 0 9253 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 40732


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805648/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40696 CPUtime=822.06
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9809 0 0 0 82189 17 0 0 25 0 1 0 244139070 41672704 9554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10174 9554 311 324 0 9244 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 40696

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805648/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40696 CPUtime=882.06
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9809 0 0 0 88188 18 0 0 25 0 1 0 244139070 41672704 9554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10174 9554 311 324 0 9244 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 40696

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805648/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40696 CPUtime=942.03
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9809 0 0 0 94185 18 0 0 25 0 1 0 244139070 41672704 9554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10174 9554 311 324 0 9244 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 40696

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 20989
/proc/meminfo: memFree=1805648/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40696 CPUtime=1002.02
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9809 0 0 0 100184 18 0 0 25 0 1 0 244139070 41672704 9554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10174 9554 311 324 0 9244 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 40696

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/84 21097
/proc/meminfo: memFree=1804384/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=40692 CPUtime=1061.94
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 9809 0 0 0 106175 19 0 0 25 0 1 0 244139070 41668608 9553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7917655 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10173 9553 311 324 0 9243 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 40692

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1804688/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=41720 CPUtime=1121.88
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 10044 0 0 0 112168 20 0 0 25 0 1 0 244139070 42721280 9784 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 10430 9784 311 324 0 9500 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 41720

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1800848/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=45356 CPUtime=1181.86
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 10977 0 0 0 118165 21 0 0 25 0 1 0 244139070 46444544 10717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7918490 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 11339 10717 311 324 0 10409 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 45356

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1800848/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=45352 CPUtime=1241.85
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 10977 0 0 0 124163 22 0 0 25 0 1 0 244139070 46440448 10717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 11338 10717 311 324 0 10408 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 45352

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1800848/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=45352 CPUtime=1301.84
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 10977 0 0 0 130162 22 0 0 25 0 1 0 244139070 46440448 10717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 11338 10717 311 324 0 10408 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 45352

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1800848/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=45352 CPUtime=1361.81
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 10977 0 0 0 136159 22 0 0 25 0 1 0 244139070 46440448 10717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551981 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 11338 10717 311 324 0 10408 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 45352

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1798992/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=47256 CPUtime=1421.8
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 11473 0 0 0 142157 23 0 0 25 0 1 0 244139070 48390144 11180 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 11814 11180 311 324 0 10884 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 47256

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1797520/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=49044 CPUtime=1481.78
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 11910 0 0 0 148154 24 0 0 25 0 1 0 244139070 50221056 11617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 12261 11617 311 324 0 11331 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 49044

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1795408/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=50820 CPUtime=1541.77
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 12408 0 0 0 154152 25 0 0 25 0 1 0 244139070 52039680 12082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 12705 12082 311 324 0 11775 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 50820

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1791760/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=54536 CPUtime=1601.75
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 13342 0 0 0 160149 26 0 0 25 0 1 0 244139070 55844864 12983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 13634 12983 311 324 0 12704 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 54536

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1789776/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=56436 CPUtime=1661.74
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 13902 0 0 0 166147 27 0 0 25 0 1 0 244139070 57790464 13477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 14109 13477 311 324 0 13179 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 56436

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1789776/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=56448 CPUtime=1721.73
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 13941 0 0 0 172145 28 0 0 25 0 1 0 244139070 57802752 13480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7915424 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 14112 13480 311 324 0 13182 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 56448

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1789776/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=56448 CPUtime=1781.71
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 13941 0 0 0 178143 28 0 0 25 0 1 0 244139070 57802752 13480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 14112 13480 311 324 0 13182 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 56448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 21187
/proc/meminfo: memFree=1789776/2055920 swapFree=4153640/4192956
[pid=20988] ppid=20986 vsize=56448 CPUtime=1800.01
/proc/20988/stat : 20988 (bsolo3.0.17) R 20986 20988 20034 0 -1 4194304 13941 0 0 0 179973 28 0 0 25 0 1 0 244139070 57802752 13480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551303 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20988/statm: 14112 13480 311 324 0 13182 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 56448

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

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

Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.04
CPU user time (s): 1799.74
CPU system time (s): 0.298954
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 56568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.298954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13945
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 37811

runsolver used 1.38279 second user time and 3.9354 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Mon Apr 30 19:43:37 UTC 2007

IDJOB= 433702
IDBENCH= 24989
IDSOLVER= 199
FILE ID= node19/433702-1177962217

PBS_JOBID= 4727688

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  66cf2657d020eb0982c7cab0e5ad93c1

RANDOM SEED= 681731422

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1843376 kB
Buffers:         32052 kB
Cached:          90244 kB
SwapCached:       7856 kB
Active:          61636 kB
Inactive:        86688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843376 kB
SwapTotal:     4192956 kB
SwapFree:      4153640 kB
Dirty:            7340 kB
Writeback:           0 kB
Mapped:          33116 kB
Slab:            49700 kB
Committed_AS:  4806528 kB
PageTables:       1796 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node19 on Mon Apr 30 20:13:40 UTC 2007