Trace number 373037

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
minisat+ 1.14SAT (TO)20 1800.03 1800.63

General information on the benchmark

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

Verifier Data (download as text)

OK	20

Conversion Script Data (download as text)

/tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-373037-1177159599 -o ROOT/results/node19/solver-373037-1177159599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373037-1177159599/minisat+ /tmp/evaluation/373037-1177159599/instance-373037-1177159599.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.91 0.97 0.99 3/77 2107
/proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=1180 CPUtime=0
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 144 0 0 0 0 0 0 0 18 0 1 0 163877272 1208320 129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134628455 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 295 129 75 215 0 77 0

[startup+0.010369 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 2107
/proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=1320 CPUtime=0
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 163877272 1351680 144 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 330 144 75 215 0 112 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1320

[startup+0.101378 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 2107
/proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=2224 CPUtime=0.09
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 385 0 0 0 9 0 0 0 18 0 1 0 163877272 2277376 370 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 556 370 75 215 0 338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2224

[startup+0.3014 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 2107
/proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=4012 CPUtime=0.29
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 850 0 0 0 29 0 0 0 19 0 1 0 163877272 4108288 835 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 1003 835 75 215 0 785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4012

[startup+0.701447 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 2107
/proc/meminfo: memFree=1766960/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=8152 CPUtime=0.69
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 1892 0 0 0 67 2 0 0 18 0 1 0 163877272 8347648 1877 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 2038 1878 87 215 0 1820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8152

[startup+1.50153 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1757736/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=10264 CPUtime=1.49
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 2491 0 0 0 146 3 0 0 23 0 1 0 163877272 10510336 2401 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588807 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 2566 2401 123 215 0 2348 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10264

[startup+3.10171 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1757608/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=10396 CPUtime=3.09
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 2522 0 0 0 306 3 0 0 25 0 1 0 163877272 10645504 2432 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580405 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 2599 2432 123 215 0 2381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10396

[startup+6.30105 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1753320/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=15776 CPUtime=6.29
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 3850 0 0 0 625 4 0 0 25 0 1 0 163877272 16154624 3760 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 3944 3760 123 215 0 3726 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15776

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1745128/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=26252 CPUtime=12.69
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 6380 0 0 0 1263 6 0 0 25 0 1 0 163877272 26882048 6290 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 6563 6290 124 215 0 6345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26252

[startup+25.5011 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1737896/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=30324 CPUtime=25.49
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 7395 0 0 0 2542 7 0 0 25 0 1 0 163877272 31051776 7305 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580738 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 7581 7305 124 215 0 7363 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30324

[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1734568/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=33984 CPUtime=51.08
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 8293 0 0 0 5100 8 0 0 25 0 1 0 163877272 34799616 8198 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 8496 8198 124 215 0 8278 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33984

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1722408/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=46164 CPUtime=102.27
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11315 0 0 0 10216 11 0 0 25 0 1 0 163877272 47271936 11220 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 11541 11220 124 215 0 11323 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46164

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1721832/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=46676 CPUtime=162.25
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11435 0 0 0 16213 12 0 0 25 0 1 0 163877272 47796224 11340 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581173 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 11669 11340 124 215 0 11451 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 46676

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1721128/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=47468 CPUtime=222.23
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11604 0 0 0 22211 12 0 0 25 0 1 0 163877272 48607232 11509 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 11867 11509 124 215 0 11649 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 47468

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1721064/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=47468 CPUtime=282.22
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11605 0 0 0 28209 13 0 0 25 0 1 0 163877272 48607232 11510 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 11867 11510 124 215 0 11649 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 47468

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1720616/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=47992 CPUtime=342.2
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11715 0 0 0 34207 13 0 0 25 0 1 0 163877272 49143808 11620 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 11998 11620 124 215 0 11780 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 47992

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1720552/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=48128 CPUtime=402.19
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11725 0 0 0 40205 14 0 0 25 0 1 0 163877272 49283072 11630 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576114 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 12032 11630 124 215 0 11814 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 48128

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1720296/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=48436 CPUtime=462.17
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 11800 0 0 0 46203 14 0 0 25 0 1 0 163877272 49598464 11705 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 12109 11705 124 215 0 11891 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 48436

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1718824/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=50468 CPUtime=522.15
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 12267 0 0 0 52200 15 0 0 25 0 1 0 163877272 51679232 12172 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 12617 12172 124 215 0 12399 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 50468

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1713256/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=55732 CPUtime=582.13
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 13563 0 0 0 58197 16 0 0 25 0 1 0 163877272 57069568 13468 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 13933 13468 124 215 0 13715 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 55732

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1711656/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=57388 CPUtime=642.12
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 13964 0 0 0 64195 17 0 0 25 0 1 0 163877272 58765312 13869 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 14347 13869 124 215 0 14129 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 57388


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2114
/proc/meminfo: memFree=1711272/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=57860 CPUtime=822.08
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14072 0 0 0 82189 19 0 0 25 0 1 0 163877272 59248640 13977 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 14465 13977 124 215 0 14247 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 57860

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/84 2230
/proc/meminfo: memFree=1709872/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=57860 CPUtime=881.99
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14074 0 0 0 88179 20 0 0 25 0 1 0 163877272 59248640 13979 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 14465 13979 124 215 0 14247 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 57860

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1710760/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=58104 CPUtime=941.91
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14129 0 0 0 94171 20 0 0 25 0 1 0 163877272 59498496 14034 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 14526 14034 124 215 0 14308 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 58104

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1709928/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=59188 CPUtime=1001.9
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14369 0 0 0 100169 21 0 0 25 0 1 0 163877272 60608512 14274 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 14797 14274 124 215 0 14579 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 59188

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1709736/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=59352 CPUtime=1061.88
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 14423 0 0 0 106167 21 0 0 25 0 1 0 163877272 60776448 14328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 14838 14328 124 215 0 14620 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 59352

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1706344/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=62652 CPUtime=1121.87
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15256 0 0 0 112164 23 0 0 25 0 1 0 163877272 64155648 15161 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15663 15161 124 215 0 15445 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 62652

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1706280/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=63012 CPUtime=1181.85
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15312 0 0 0 118162 23 0 0 25 0 1 0 163877272 64524288 15217 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579560 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15753 15217 124 215 0 15535 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 63012

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1706024/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=63176 CPUtime=1241.84
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15362 0 0 0 124160 24 0 0 25 0 1 0 163877272 64692224 15267 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134568543 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15794 15267 124 215 0 15576 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 63176

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1706024/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=63176 CPUtime=1301.83
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15362 0 0 0 130159 24 0 0 25 0 1 0 163877272 64692224 15267 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15794 15267 124 215 0 15576 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 63176

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1705960/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=63332 CPUtime=1361.81
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15388 0 0 0 136156 25 0 0 25 0 1 0 163877272 64851968 15293 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15833 15293 124 215 0 15615 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 63332

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1705512/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=63552 CPUtime=1421.8
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15479 0 0 0 142155 25 0 0 25 0 1 0 163877272 65077248 15384 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15888 15384 124 215 0 15670 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 63552

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1705576/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=63552 CPUtime=1481.77
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15480 0 0 0 148152 25 0 0 25 0 1 0 163877272 65077248 15385 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15888 15385 124 215 0 15670 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 63552

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1705128/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=63984 CPUtime=1541.76
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15591 0 0 0 154150 26 0 0 25 0 1 0 163877272 65519616 15488 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 15996 15488 124 215 0 15778 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 63984

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1705064/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=64104 CPUtime=1601.75
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15600 0 0 0 160148 27 0 0 25 0 1 0 163877272 65642496 15497 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580355 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 16026 15497 124 215 0 15808 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 64104

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1705128/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=64104 CPUtime=1661.73
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15600 0 0 0 166146 27 0 0 25 0 1 0 163877272 65642496 15497 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 16026 15497 124 215 0 15808 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 64104

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1705000/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=64184 CPUtime=1721.71
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15625 0 0 0 172144 27 0 0 25 0 1 0 163877272 65724416 15522 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 16046 15522 124 215 0 15828 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 64184

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1703720/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=65868 CPUtime=1781.7
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15948 0 0 0 178142 28 0 0 25 0 1 0 163877272 67448832 15845 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581153 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 16467 15845 124 215 0 16249 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 65868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 2312
/proc/meminfo: memFree=1703720/2055920 swapFree=4159420/4192956
[pid=2107] ppid=2105 vsize=65868 CPUtime=1800
/proc/2107/stat : 2107 (minisat+) R 2105 2107 1278 0 -1 4194304 15948 0 0 0 179972 28 0 0 25 0 1 0 163877272 67448832 15845 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2107/statm: 16467 15845 124 215 0 16249 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 65868

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

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

Child status: 10
Real time (s): 1800.63
CPU time (s): 1800.03
CPU user time (s): 1799.73
CPU system time (s): 0.296954
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 65868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.296954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15951
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= 155
involuntary context switches= 2643

runsolver used 2.22266 second user time and 4.26835 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Apr 21 12:46:39 UTC 2007

IDJOB= 373037
IDBENCH= 25015
IDSOLVER= 156
FILE ID= node19/373037-1177159599

PBS_JOBID= 4648888

Free space on /tmp= 66463 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb
COMMAND LINE= /tmp/evaluation/373037-1177159599/minisat+ /tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-373037-1177159599 -o ROOT/results/node19/conversion-373037-1177159599 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-373037-1177159599 -o ROOT/results/node19/solver-373037-1177159599 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/373037-1177159599/minisat+ /tmp/evaluation/373037-1177159599/instance-373037-1177159599.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  d25f6086317f033c233c4700493f03d1

RANDOM SEED= 407116708

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:       1767304 kB
Buffers:         51376 kB
Cached:         140732 kB
SwapCached:       2236 kB
Active:         100172 kB
Inactive:       122300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767304 kB
SwapTotal:     4192956 kB
SwapFree:      4159420 kB
Dirty:            3004 kB
Writeback:           0 kB
Mapped:          37364 kB
Slab:            51660 kB
Committed_AS:  4651400 kB
PageTables:       1800 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= 66463 MiB

End job on node19 on Sat Apr 21 13:16:42 UTC 2007