Trace number 372995

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)23 1800.06 1800.52

General information on the benchmark

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

Verifier Data (download as text)

OK	23

Conversion Script Data (download as text)

/tmp/evaluation/372995-1177153891/instance-372995-1177153891.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/node70/watcher-372995-1177153891 -o ROOT/results/node70/solver-372995-1177153891 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372995-1177153891/minisat+ /tmp/evaluation/372995-1177153891/instance-372995-1177153891.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.94 1.08 1.04 3/64 27973
/proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=1048 CPUtime=0
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 154926448 1073152 88 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 262 89 67 215 0 44 0

[startup+0.105231 s]
/proc/loadavg: 0.94 1.08 1.04 3/64 27973
/proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=2160 CPUtime=0.1
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 387 0 0 0 10 0 0 0 20 0 1 0 154926448 2211840 372 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 540 372 75 215 0 322 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2160

[startup+0.202239 s]
/proc/loadavg: 0.94 1.08 1.04 3/64 27973
/proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=3156 CPUtime=0.19
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 629 0 0 0 19 0 0 0 20 0 1 0 154926448 3231744 614 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 789 614 75 215 0 571 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3156

[startup+0.30225 s]
/proc/loadavg: 0.94 1.08 1.04 3/64 27973
/proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=4156 CPUtime=0.29
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 874 0 0 0 29 0 0 0 20 0 1 0 154926448 4255744 859 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 1039 859 75 215 0 821 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4156

[startup+0.70229 s]
/proc/loadavg: 0.94 1.08 1.04 3/64 27973
/proc/meminfo: memFree=1637048/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=8284 CPUtime=0.69
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 1939 0 0 0 66 3 0 0 18 0 1 0 154926448 8482816 1888 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 2071 1888 87 215 0 1853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8284

[startup+1.50137 s]
/proc/loadavg: 0.94 1.08 1.04 2/65 27974
/proc/meminfo: memFree=1627760/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=10348 CPUtime=1.49
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 2553 0 0 0 146 3 0 0 24 0 1 0 154926448 10596352 2418 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 2587 2418 123 215 0 2369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10348

[startup+3.10153 s]
/proc/loadavg: 0.94 1.08 1.04 2/65 27974
/proc/meminfo: memFree=1627504/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=11268 CPUtime=3.09
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 2770 0 0 0 306 3 0 0 25 0 1 0 154926448 11538432 2635 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 2817 2635 123 215 0 2599 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11268

[startup+6.30185 s]
/proc/loadavg: 0.95 1.08 1.04 2/65 27974
/proc/meminfo: memFree=1621808/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=17528 CPUtime=6.29
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 4349 0 0 0 625 4 0 0 25 0 1 0 154926448 17948672 4214 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 4382 4214 123 215 0 4164 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17528

[startup+12.7015 s]
/proc/loadavg: 0.95 1.08 1.04 2/65 27974
/proc/meminfo: memFree=1613104/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=25348 CPUtime=12.68
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 6282 0 0 0 1263 5 0 0 25 0 1 0 154926448 25956352 6147 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 6337 6147 123 215 0 6119 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25348

[startup+25.5018 s]
/proc/loadavg: 0.96 1.08 1.04 2/65 27974
/proc/meminfo: memFree=1602544/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=35648 CPUtime=25.48
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 8781 0 0 0 2541 7 0 0 25 0 1 0 154926448 36503552 8641 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 8912 8641 124 215 0 8694 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35648

[startup+51.1013 s]
/proc/loadavg: 0.97 1.07 1.03 2/65 27974
/proc/meminfo: memFree=1602416/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=35876 CPUtime=51.07
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 8828 0 0 0 5100 7 0 0 25 0 1 0 154926448 36737024 8688 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581293 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 8969 8688 124 215 0 8751 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35876

[startup+102.301 s]
/proc/loadavg: 0.99 1.06 1.03 2/65 27974
/proc/meminfo: memFree=1588592/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=49728 CPUtime=102.26
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 12285 0 0 0 10215 11 0 0 25 0 1 0 154926448 50921472 12145 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 12432 12145 124 215 0 12214 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49728

[startup+162.301 s]
/proc/loadavg: 0.99 1.04 1.02 2/65 27974
/proc/meminfo: memFree=1587952/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=50400 CPUtime=162.24
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 12458 0 0 0 16213 11 0 0 25 0 1 0 154926448 51609600 12318 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 12600 12318 124 215 0 12382 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 50400

[startup+222.306 s]
/proc/loadavg: 0.99 1.03 1.02 2/65 27974
/proc/meminfo: memFree=1582512/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=55904 CPUtime=222.23
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13789 0 0 0 22211 12 0 0 25 0 1 0 154926448 57245696 13649 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 13976 13649 124 215 0 13758 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 55904

[startup+282.301 s]
/proc/loadavg: 0.99 1.03 1.01 2/65 27974
/proc/meminfo: memFree=1582448/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=56088 CPUtime=282.21
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13817 0 0 0 28209 12 0 0 25 0 1 0 154926448 57434112 13677 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572696 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 14022 13677 124 215 0 13804 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 56088

[startup+342.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/65 27974
/proc/meminfo: memFree=1582256/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=56232 CPUtime=342.2
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13862 0 0 0 34207 13 0 0 25 0 1 0 154926448 57581568 13722 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 14058 13722 124 215 0 13840 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 56232

[startup+402.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 27974
/proc/meminfo: memFree=1581872/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=56608 CPUtime=402.18
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13956 0 0 0 40205 13 0 0 25 0 1 0 154926448 57966592 13816 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 14152 13816 124 215 0 13934 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 56608

[startup+462.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/65 27974
/proc/meminfo: memFree=1581872/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=56608 CPUtime=462.17
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13956 0 0 0 46204 13 0 0 25 0 1 0 154926448 57966592 13816 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 14152 13816 124 215 0 13934 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56608

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1581808/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=56824 CPUtime=522.15
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 13976 0 0 0 52202 13 0 0 25 0 1 0 154926448 58187776 13836 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 14206 13836 124 215 0 13988 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 56824

[startup+582.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1573424/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=65184 CPUtime=582.14
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16079 0 0 0 58198 16 0 0 25 0 1 0 154926448 66748416 15939 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 16296 15939 124 215 0 16078 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 65184

[startup+642.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1572848/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=65712 CPUtime=642.12
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16207 0 0 0 64196 16 0 0 25 0 1 0 154926448 67289088 16067 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 16428 16067 124 215 0 16210 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 65712


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

[startup+822.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1571824/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=66824 CPUtime=822.08
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16454 0 0 0 82192 16 0 0 25 0 1 0 154926448 68427776 16314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 16706 16314 124 215 0 16488 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 66824

[startup+882.305 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 27974
/proc/meminfo: memFree=1571824/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=66824 CPUtime=882.07
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16468 0 0 0 88190 17 0 0 25 0 1 0 154926448 68427776 16328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 16706 16328 124 215 0 16488 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 66824

[startup+942.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 27974
/proc/meminfo: memFree=1571824/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=66824 CPUtime=942.05
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 16469 0 0 0 94188 17 0 0 25 0 1 0 154926448 68427776 16329 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581104 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 16706 16329 124 215 0 16488 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 66824

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1569456/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=69144 CPUtime=1002.03
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17055 0 0 0 100186 17 0 0 25 0 1 0 154926448 70803456 16915 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17286 16915 124 215 0 17068 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 69144

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1569264/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=69276 CPUtime=1062.02
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17093 0 0 0 106184 18 0 0 25 0 1 0 154926448 70938624 16953 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17319 16953 124 215 0 17101 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 69276

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1569008/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=69600 CPUtime=1122
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17165 0 0 0 112182 18 0 0 25 0 1 0 154926448 71270400 17025 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17400 17025 124 215 0 17182 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 69600

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1568496/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=70172 CPUtime=1181.99
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17299 0 0 0 118181 18 0 0 25 0 1 0 154926448 71856128 17159 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17543 17159 124 215 0 17325 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 70172

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1568432/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=70172 CPUtime=1241.97
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17300 0 0 0 124179 18 0 0 25 0 1 0 154926448 71856128 17160 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17543 17160 124 215 0 17325 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 70172

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1567984/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=70728 CPUtime=1301.96
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17417 0 0 0 130177 19 0 0 25 0 1 0 154926448 72425472 17277 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17682 17277 124 215 0 17464 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 70728

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1567792/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=70972 CPUtime=1361.94
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17470 0 0 0 136175 19 0 0 25 0 1 0 154926448 72675328 17330 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17743 17330 124 215 0 17525 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 70972

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1567664/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=71136 CPUtime=1421.93
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17505 0 0 0 142174 19 0 0 25 0 1 0 154926448 72843264 17365 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17784 17365 124 215 0 17566 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 71136

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1567344/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=71380 CPUtime=1481.91
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17579 0 0 0 148172 19 0 0 25 0 1 0 154926448 73093120 17439 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17845 17439 124 215 0 17627 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 71380

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1567088/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=71940 CPUtime=1541.9
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17641 0 0 0 154170 20 0 0 25 0 1 0 154926448 73666560 17501 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17985 17501 124 215 0 17767 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 71940

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1567088/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=71940 CPUtime=1601.88
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17641 0 0 0 160168 20 0 0 25 0 1 0 154926448 73666560 17501 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 17985 17501 124 215 0 17767 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 71940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1566768/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=72256 CPUtime=1661.87
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17723 0 0 0 166167 20 0 0 25 0 1 0 154926448 73990144 17583 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 18064 17583 124 215 0 17846 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 72256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1566704/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=72504 CPUtime=1721.85
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17741 0 0 0 172165 20 0 0 25 0 1 0 154926448 74244096 17601 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 18126 17601 124 215 0 17908 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 72504

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1566704/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=72504 CPUtime=1781.84
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17742 0 0 0 178164 20 0 0 25 0 1 0 154926448 74244096 17602 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 18126 17602 124 215 0 17908 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 72504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27974
/proc/meminfo: memFree=1566640/2055920 swapFree=4183764/4192956
[pid=27973] ppid=27971 vsize=72504 CPUtime=1800.04
/proc/27973/stat : 27973 (minisat+) R 27971 27973 26970 0 -1 4194304 17751 0 0 0 179984 20 0 0 25 0 1 0 154926448 74244096 17611 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/27973/statm: 18126 17611 124 215 0 17908 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 72504

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.52
CPU time (s): 1800.06
CPU user time (s): 1799.84
CPU system time (s): 0.217966
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 72504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17753
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= 137
involuntary context switches= 2664

runsolver used 1.2828 second user time and 3.69544 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Sat Apr 21 11:11:31 UTC 2007

IDJOB= 372995
IDBENCH= 25012
IDSOLVER= 156
FILE ID= node70/372995-1177153891

PBS_JOBID= 4648869

Free space on /tmp= 66474 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  82a3d84200b069df277c7f14e0e883d0

RANDOM SEED= 741700916

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1637456 kB
Buffers:         38784 kB
Cached:         316948 kB
SwapCached:       3172 kB
Active:         181820 kB
Inactive:       184836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1637456 kB
SwapTotal:     4192956 kB
SwapFree:      4183764 kB
Dirty:            2928 kB
Writeback:           0 kB
Mapped:          16704 kB
Slab:            37932 kB
Committed_AS:  3398800 kB
PageTables:       1400 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= 66474 MiB

End job on node70 on Sat Apr 21 11:41:34 UTC 2007