Trace number 2666800

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT (TO)28 1800.33 1800.86

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
MD5SUM22488dc65cdc0686edc96d304bd4d620
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark26.194
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31
Optimality of the best value was proved NO
Number of variables11334
Total number of constraints36509
Number of constraints which are clauses36509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5525
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 5525
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5525
Number of bits of the biggest sum of numbers13
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 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666800-1276635702.opb>
0.59/0.68	c original problem has 11334 variables (11334 bin, 0 int, 0 impl, 0 cont) and 36509 constraints
0.59/0.68	c problem read
0.59/0.68	c presolving settings loaded
0.79/0.88	c presolving:
1.19/1.24	c (round 1) 6590 del vars, 12097 del conss, 1065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 65136 impls, 0 clqs
1.19/1.28	c (round 2) 6591 del vars, 15897 del conss, 1065 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 65136 impls, 0 clqs
1.49/1.54	c (round 3) 6591 del vars, 15905 del conss, 1065 chg bounds, 0 chg sides, 0 chg coeffs, 20572 upgd conss, 65136 impls, 0 clqs
1.49/1.59	c (round 4) 6591 del vars, 15905 del conss, 1065 chg bounds, 0 chg sides, 0 chg coeffs, 20604 upgd conss, 65136 impls, 0 clqs
1.79/1.83	c    (1.0s) probing: 101/4743 (2.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.79/1.83	c    (1.0s) probing aborted: 100/100 successive totally useless probings
1.79/1.84	c presolving (5 rounds):
1.79/1.84	c  6591 deleted vars, 15905 deleted constraints, 1065 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.79/1.84	c  65136 implications, 0 cliques
1.79/1.84	c presolved problem has 4743 variables (4743 bin, 0 int, 0 impl, 0 cont) and 20604 constraints
1.79/1.84	c   20604 constraints of type <logicor>
1.79/1.84	c transformed objective value is always integral (scale: 1)
1.79/1.84	c Presolving Time: 0.90
1.79/1.84	c - non default parameters ----------------------------------------------------------------------
1.79/1.84	c # SCIP version 1.2.1.2
1.79/1.84	c 
1.79/1.84	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.79/1.84	c # [type: int, range: [-1,2147483647], default: -1]
1.79/1.84	c conflict/interconss = 0
1.79/1.84	c 
1.79/1.84	c # should binary conflicts be preferred?
1.79/1.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.84	c conflict/preferbinary = TRUE
1.79/1.84	c 
1.79/1.84	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.79/1.84	c # [type: int, range: [-1,2147483647], default: 0]
1.79/1.84	c constraints/agelimit = 1
1.79/1.84	c 
1.79/1.84	c # should enforcement of pseudo solution be disabled?
1.79/1.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.84	c constraints/disableenfops = TRUE
1.79/1.84	c 
1.79/1.84	c # frequency for displaying node information lines
1.79/1.84	c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.84	c display/freq = 10000
1.79/1.84	c 
1.79/1.84	c # maximal time in seconds to run
1.79/1.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.84	c limits/time = 1799.33
1.79/1.84	c 
1.79/1.84	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.84	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.84	c limits/memory = 1620
1.79/1.84	c 
1.79/1.84	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.79/1.84	c # [type: int, range: [-1,2147483647], default: 1]
1.79/1.84	c lp/solvefreq = 0
1.79/1.84	c 
1.79/1.84	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.79/1.84	c # [type: char, range: {lafpsqd}, default: l]
1.79/1.84	c lp/pricing = a
1.79/1.84	c 
1.79/1.84	c # should presolving try to simplify inequalities
1.79/1.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.84	c constraints/linear/simplifyinequalities = TRUE
1.79/1.84	c 
1.79/1.84	c # should presolving try to simplify knapsacks
1.79/1.84	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.79/1.84	c constraints/knapsack/simplifyinequalities = TRUE
1.79/1.84	c 
1.79/1.84	c # priority of node selection rule <dfs> in standard mode
1.79/1.84	c # [type: int, range: [-536870912,536870911], default: 0]
1.79/1.84	c nodeselection/dfs/stdpriority = 1000000
1.79/1.84	c 
1.79/1.84	c -----------------------------------------------------------------------------------------------
1.79/1.84	c start solving
1.79/1.84	c 
2.69/2.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
2.69/2.79	c   1.9s|     1 |     0 |  1134 |     - |  53M|   0 | 302 |4743 |  20k|4743 |  20k|   0 |   0 |   0 | 2.452486e+01 |      --      |    Inf 
2.79/2.82	o 71
2.79/2.82	c s 1.9s|     1 |     0 |  1134 |     - |  53M|   0 | 302 |4743 |  20k|4743 |  20k|   0 |   0 |   0 | 2.452486e+01 | 7.100000e+01 | 189.50%
5.40/5.48	c   4.4s|     1 |     0 |  1330 |     - |  53M|   0 | 288 |4743 |  20k|4743 |  20k|   3 |   0 |   0 | 2.468180e+01 | 7.100000e+01 | 187.66%
7.79/7.86	c   6.7s|     1 |     0 |  1470 |     - |  54M|   0 | 316 |4743 |  20k|4743 |  20k|   8 |   0 |   0 | 2.472504e+01 | 7.100000e+01 | 187.16%
10.89/10.91	c   9.8s|     1 |     0 |  1622 |     - |  54M|   0 | 255 |4743 |  20k|4743 |  20k|  11 |   0 |   0 | 2.474909e+01 | 7.100000e+01 | 186.88%
10.89/10.92	o 67
10.89/10.92	c R 9.8s|     1 |     0 |  1622 |     - |  55M|   0 | 255 |4743 |  20k|4743 |  20k|  11 |   0 |   0 | 2.474909e+01 | 6.700000e+01 | 170.72%
18.29/18.37	c  16.3s|     1 |     0 |  1675 |     - |  55M|   0 | 272 |4743 |  20k|4743 |  20k|  15 |   0 |   0 | 2.475295e+01 | 6.700000e+01 | 170.67%
28.49/28.58	c  25.1s|     1 |     0 |  1794 |     - |  55M|   0 | 316 |4743 |  20k|4743 |  20k|  20 |   0 |   0 | 2.477832e+01 | 6.700000e+01 | 170.40%
38.28/38.38	c  33.6s|     1 |     0 |  1867 |     - |  55M|   0 | 285 |4743 |  20k|4743 |  20k|  23 |   0 |   0 | 2.478357e+01 | 6.700000e+01 | 170.34%
49.87/49.99	c  43.8s|     1 |     0 |  2074 |     - |  55M|   0 | 263 |4743 |  20k|4743 |  20k|  27 |   0 |   0 | 2.480615e+01 | 6.700000e+01 | 170.09%
60.68/60.70	c  53.1s|     1 |     0 |  2108 |     - |  55M|   0 | 228 |4743 |  20k|4743 |  20k|  32 |   0 |   0 | 2.480822e+01 | 6.700000e+01 | 170.07%
60.68/60.72	o 64
60.68/60.72	c R53.2s|     1 |     0 |  2108 |     - |  55M|   0 | 228 |4743 |  20k|4743 |  20k|  32 |   0 |   0 | 2.480822e+01 | 6.400000e+01 | 157.98%
71.77/71.89	c  63.0s|     1 |     0 |  2109 |     - |  55M|   0 | 227 |4743 |  20k|4743 |  20k|  33 |   0 |   0 | 2.480822e+01 | 6.400000e+01 | 157.98%
84.47/84.54	o 28
84.47/84.54	c E73.9s|     1 |     0 |  2109 |     - |  55M|   0 | 227 |4743 |  20k|4743 |  20k|  33 |   0 |   0 | 2.480822e+01 | 2.800000e+01 |  12.87%
84.47/84.58	c  74.0s|     1 |     0 |  2109 |     - |  55M|   0 | 227 |4743 |  20k|4743 |  20k|  33 |   0 |   0 | 2.480822e+01 | 2.800000e+01 |  12.87%
129.15/129.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
129.15/129.29	c   117s|     1 |     2 |  2109 |     - |  55M|   0 | 227 |4743 |  20k|4743 |  20k|  33 |   0 |  29 | 2.480822e+01 | 2.800000e+01 |  12.87%
149.25/149.38	c   137s| 10000 |   551 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |5456 |  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
170.84/170.94	c   158s| 20000 |   546 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  11k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
192.03/192.13	c   179s| 30000 |   542 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  16k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
211.93/212.00	c   199s| 40000 |   544 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  21k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
232.52/232.69	c   219s| 50000 |   544 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  26k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
253.93/254.06	c   240s| 60000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  32k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
276.41/276.52	c   262s| 70000 |   544 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  38k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
299.41/299.53	c   285s| 80000 |   532 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  43k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
320.40/320.55	c   305s| 90000 |   534 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  49k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
342.69/342.83	c   327s|100000 |   534 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  55k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
363.29/363.41	c   348s|110000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  60k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
383.08/383.22	c   367s|120000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  65k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
403.48/403.67	c   387s|130000 |   531 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  70k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
424.66/424.87	c   408s|140000 |   533 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  75k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
445.56/445.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
445.56/445.71	c   429s|150000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  81k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
466.16/466.35	c   449s|160000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  86k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
486.84/487.05	c   469s|170000 |   534 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  91k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
507.44/507.65	c   490s|180000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 |  97k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
528.73/528.94	c   511s|190000 |   535 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 102k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
548.93/549.15	c   531s|200000 |   535 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 107k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
569.03/569.24	c   550s|210000 |   532 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 112k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
588.62/588.83	c   570s|220000 |   530 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 117k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
609.71/609.95	c   591s|230000 |   530 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 122k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
630.12/630.35	c   611s|240000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 127k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
650.10/650.36	c   630s|250000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 132k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
671.30/671.52	c   651s|260000 |   531 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 137k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
691.49/691.71	c   671s|270000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 143k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
711.98/712.30	c   691s|280000 |   526 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 148k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
732.28/732.55	c   711s|290000 |   525 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 153k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
752.08/752.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
752.08/752.40	c   731s|300000 |   523 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 158k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
772.46/772.71	c   751s|310000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 163k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
792.25/792.56	c   770s|320000 |   524 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 167k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
813.96/814.23	c   792s|330000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 172k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
833.74/834.01	c   811s|340000 |   535 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 177k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
855.04/855.38	c   832s|350000 |   546 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 182k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
875.83/876.12	c   853s|360000 |   528 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 187k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
895.93/896.21	c   872s|370000 |   539 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 193k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
916.53/916.86	c   893s|380000 |   534 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 198k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
936.41/936.74	c   912s|390000 |   525 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 203k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
956.01/956.38	c   932s|400000 |   531 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 208k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
976.20/976.52	c   952s|410000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 213k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
995.80/996.19	c   971s|420000 |   525 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 218k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1015.09/1015.46	c   990s|430000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 222k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1034.09/1034.49	c  1009s|440000 |   523 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 227k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1056.69/1057.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1056.69/1057.00	c  1031s|450000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 233k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1077.08/1077.43	c  1051s|460000 |   532 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 238k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1096.87/1097.23	c  1070s|470000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 242k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1116.86/1117.24	c  1090s|480000 |   538 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 247k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1138.96/1139.36	c  1112s|490000 |   531 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 253k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1160.45/1160.86	c  1133s|500000 |   528 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 258k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1181.44/1181.82	c  1154s|510000 |   521 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 263k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1201.03/1201.48	c  1173s|520000 |   524 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 267k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1220.93/1221.35	c  1193s|530000 |   521 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 272k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1240.23/1240.67	c  1212s|540000 |   522 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 277k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1260.72/1261.19	c  1232s|550000 |   523 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 282k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1282.41/1282.88	c  1253s|560000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 287k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1303.81/1304.20	c  1274s|570000 |   540 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 292k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1324.61/1325.09	c  1295s|580000 |   524 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 297k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1346.59/1347.10	c  1316s|590000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 302k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1368.59/1369.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1368.59/1369.02	c  1338s|600000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 308k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1388.68/1389.14	c  1358s|610000 |   525 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 313k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1409.08/1409.58	c  1378s|620000 |   539 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 318k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1430.07/1430.59	c  1399s|630000 |   524 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 323k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1450.37/1450.81	c  1419s|640000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 328k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1471.86/1472.36	c  1440s|650000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 333k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1493.56/1494.00	c  1461s|660000 |   534 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 339k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1513.85/1514.32	c  1481s|670000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 343k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1535.24/1535.75	c  1502s|680000 |   532 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 348k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1555.33/1555.80	c  1522s|690000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 353k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1574.83/1575.35	c  1541s|700000 |   524 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 358k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1594.62/1595.17	c  1561s|710000 |   535 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 363k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1614.52/1615.06	c  1580s|720000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 368k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1634.51/1635.04	c  1600s|730000 |   522 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 373k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1654.81/1655.40	c  1620s|740000 |   527 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 378k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1675.99/1676.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1675.99/1676.56	c  1641s|750000 |   529 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 383k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1694.99/1695.53	c  1660s|760000 |   525 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 387k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1714.58/1715.19	c  1679s|770000 |   524 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 392k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1735.38/1735.90	c  1699s|780000 |   536 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 397k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1756.27/1756.82	c  1720s|790000 |   537 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 402k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1778.17/1778.76	c  1742s|800000 |   523 |  2109 |   0.0 |  56M| 588 |   - |4743 |  20k|   0 |   0 |  33 | 407k|  29 | 2.495218e+01 | 2.800000e+01 |  12.21%
1800.07/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61	c 
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time (sec) : 1763.14
1800.07/1800.61	c Solving Nodes      : 809820
1800.07/1800.61	c Primal Bound       : +2.80000000000000e+01 (4 solutions)
1800.07/1800.61	c Dual Bound         : +2.49521756751778e+01
1800.07/1800.61	c Gap                : 12.21 %
1800.07/1800.67	s SATISFIABLE
1800.07/1800.67	v x293 x292 x11333 x291 x11331 x11329 x290 -x11327 x289 x11325 -x11323 -x11321 -x288 -x11319 -x11317 -x11315 -x287 -x11313 -x11311 
1800.07/1800.67	v -x11309 -x11307 -x11305 -x11303 -x286 -x11301 x285 x11299 -x11297 -x11295 -x284 -x11293 -x11291 -x283 -x11289 -x11287 -x11285 
1800.07/1800.67	v -x11283 -x11281 -x11279 -x11277 -x282 -x11275 -x11273 -x11271 -x281 -x11269 -x11267 -x11265 -x11263 -x11261 -x11259 -x11257 
1800.07/1800.67	v -x280 -x11255 -x11253 -x11251 -x11249 -x11247 -x11245 -x11243 -x279 -x11241 -x11239 -x11237 -x11235 -x11233 -x11231 -x11229 
1800.07/1800.67	v -x11227 -x11225 -x11223 -x11221 -x11219 -x11217 -x278 -x11215 x277 x11213 -x11211 -x11209 -x276 -x11207 -x11205 -x11203 -x275 
1800.07/1800.67	v -x11201 -x11199 -x11197 -x11195 -x11193 -x11191 -x11189 -x274 -x11187 -x11185 -x11183 -x273 -x11181 -x11179 -x11177 -x11175 
1800.07/1800.67	v -x11173 -x11171 x11169 -x11167 -x11165 -x11163 -x11161 -x11159 -x11157 -x11155 -x272 -x11153 -x11151 -x11149 -x11147 -x11145 
1800.07/1800.67	v -x11143 -x11141 -x11139 -x11137 -x11135 -x11133 -x11131 -x11129 -x11127 -x11125 -x271 -x11123 x11121 -x11119 -x11117 -x11115 
1800.07/1800.67	v -x11113 -x11111 -x11109 -x11107 -x11105 -x270 -x11103 -x11101 -x11099 -x11097 -x11095 -x11093 -x11091 -x269 -x11089 -x11087 
1800.07/1800.67	v -x11085 -x11083 -x11081 -x11079 -x11077 -x11075 -x11073 -x11071 -x11069 -x11067 -x11065 -x11063 -x11061 -x268 -x11059 -x11057 
1800.07/1800.67	v -x11055 -x11053 -x11051 -x11049 -x11047 -x267 -x11045 -x11043 -x11041 -x11039 -x11037 -x11035 -x11033 -x11031 -x11029 -x11027 
1800.07/1800.67	v -x11025 -x11023 -x11021 -x11019 -x11017 -x266 -x11015 -x11013 -x11011 -x11009 -x11007 -x11005 -x11003 -x11001 -x10999 -x10997 
1800.07/1800.67	v -x10995 -x10993 -x10991 -x10989 -x10987 -x265 -x10985 -x10983 -x10981 -x10979 -x10977 -x10975 -x10973 -x10971 -x10969 -x10967 
1800.07/1800.67	v -x10965 -x10963 -x10961 -x10959 -x10957 -x10955 -x10953 -x10951 -x10949 -x10947 -x10945 -x10943 -x10941 -x10939 -x10937 -x10935 
1800.07/1800.67	v -x10933 -x10931 -x264 -x10929 -x263 -x10927 -x10925 -x10923 -x262 -x10921 -x10919 -x10917 -x261 -x10915 -x10913 -x10911 
1800.07/1800.67	v -x10909 -x10907 -x10905 -x10903 -x260 -x10901 -x10899 -x259 -x10897 -x10895 -x10893 -x10891 -x10889 -x10887 -x10885 -x258 -x10883 
1800.07/1800.67	v -x10881 -x10879 -x10877 -x10875 -x10873 -x10871 -x257 -x10869 -x10867 -x10865 -x256 -x10863 x10861 -x10859 -x10857 -x10855 
1800.07/1800.67	v -x10853 -x10851 x255 -x10849 -x10847 -x10845 -x10843 -x10841 -x10839 -x254 -x10837 -x10835 -x10833 -x10831 -x10829 -x10827 
1800.07/1800.67	v -x10825 -x10823 -x10821 -x10819 -x10817 -x10815 -x10813 -x10811 -x10809 -x253 -x10807 -x10805 -x10803 -x10801 -x10799 -x10797 
1800.07/1800.67	v -x10795 -x252 -x10793 -x10791 -x10789 -x10787 -x10785 -x10783 -x10781 -x10779 -x10777 -x10775 -x10773 -x10771 -x10769 -x10767 
1800.07/1800.67	v -x10765 -x251 -x10763 -x10761 -x10759 -x10757 -x10755 -x10753 -x10751 -x10749 -x10747 -x10745 -x10743 -x10741 -x10739 -x10737 
1800.07/1800.67	v -x250 -x10735 x10733 -x10731 -x10729 -x10727 -x10725 -x10723 -x10721 -x10719 -x10717 -x249 -x10715 -x10713 -x10711 -x10709 
1800.07/1800.67	v -x10707 -x10705 -x10703 -x248 -x10701 -x10699 -x10697 -x10695 -x10693 -x10691 -x10689 -x10687 -x10685 -x10683 -x10681 -x10679 
1800.07/1800.67	v -x10677 -x10675 -x10673 -x247 -x10671 -x10669 -x10667 -x10665 -x10663 -x10661 -x10659 -x246 -x10657 -x10655 -x10653 -x10651 
1800.07/1800.67	v -x10649 -x10647 -x10645 -x10643 -x10641 -x10639 -x10637 -x10635 -x10633 -x10631 -x10629 -x245 -x10627 -x10625 -x10623 -x10621 
1800.07/1800.67	v -x10619 -x10617 -x10615 -x10613 -x10611 -x10609 -x10607 -x10605 -x10603 -x10601 -x10599 -x244 -x10597 -x10595 -x10593 -x10591 
1800.07/1800.67	v -x10589 -x10587 -x10585 -x243 -x10583 -x10581 -x10579 -x10577 -x10575 x10573 -x10571 -x10569 -x10567 -x10565 -x10563 -x10561 
1800.07/1800.67	v -x10559 -x10557 -x10555 -x10553 -x10551 -x10549 -x10547 -x10545 -x10543 -x10541 -x10539 -x10537 -x10535 -x10533 -x10531 
1800.07/1800.67	v -x10529 -x10527 -x10525 -x242 -x10523 -x10521 -x10519 -x10517 -x10515 -x10513 -x10511 -x10509 -x10507 -x10505 -x10503 -x10501 
1800.07/1800.67	v -x10499 -x10497 -x10495 -x10493 -x10491 -x10489 -x10487 -x10485 -x10483 -x10481 -x10479 -x10477 -x10475 -x10473 -x10471 -x10469 
1800.07/1800.67	v -x10467 -x10465 -x241 -x10463 -x10461 -x10459 -x10457 -x10455 -x10453 -x10451 -x10449 -x10447 -x10445 -x10443 -x10441 -x10439 
1800.07/1800.67	v -x10437 -x10435 -x240 -x10433 -x10431 -x10429 -x10427 -x10425 -x10423 -x10421 -x10419 -x10417 -x10415 -x10413 -x10411 -x10409 
1800.07/1800.67	v -x10407 -x10405 -x10403 -x10401 -x10399 -x10397 -x10395 -x10393 -x10391 -x10389 -x10387 -x10385 -x10383 -x10381 -x10379 
1800.07/1800.67	v -x10377 -x10375 -x10373 -x239 -x10371 -x10369 -x10367 -x10365 -x10363 -x10361 -x10359 -x10357 -x10355 -x10353 -x10351 -x10349 
1800.07/1800.67	v -x10347 -x10345 -x10343 -x10341 -x10339 -x10337 -x10335 -x10333 -x10331 -x10329 -x10327 -x10325 -x10323 -x10321 -x10319 -x10317 
1800.07/1800.67	v -x10315 -x10313 -x10311 -x238 -x10309 -x237 -x10307 -x10305 -x10303 -x236 -x10301 -x10299 -x10297 -x235 -x10295 -x10293 
1800.07/1800.67	v -x10291 -x10289 -x10287 -x10285 -x10283 -x234 -x10281 -x10279 -x10277 x10275 -x10273 -x10271 -x10269 -x10267 -x10265 -x10263 
1800.07/1800.67	v -x233 -x10261 -x10259 -x10257 -x10255 -x10253 -x10251 -x10249 -x232 -x10247 -x10245 -x10243 -x231 -x10241 -x10239 -x10237 -x10235 
1800.07/1800.67	v -x10233 -x10231 -x10229 -x230 -x10227 -x10225 -x10223 -x10221 -x10219 -x10217 -x10215 -x229 -x10213 -x10211 -x10209 -x10207 
1800.07/1800.67	v -x10205 -x10203 -x10201 -x10199 -x10197 -x10195 -x10193 -x10191 -x10189 -x10187 -x10185 -x228 -x10183 -x10181 -x10179 -x10177 
1800.07/1800.67	v -x10175 -x10173 -x10171 -x227 -x10169 -x10167 -x10165 -x10163 -x10161 -x10159 -x10157 -x10155 -x10153 -x10151 -x10149 -x10147 
1800.07/1800.67	v -x10145 -x10143 -x10141 -x226 -x10139 -x10137 -x10135 -x10133 -x10131 -x10129 -x10127 -x10125 -x10123 -x10121 -x10119 
1800.07/1800.67	v -x10117 -x10115 -x10113 -x10111 -x225 -x10109 -x10107 -x10105 -x224 -x10103 -x10101 -x10099 -x10097 -x10095 -x10093 -x10091 -x223 
1800.07/1800.67	v -x10089 -x10087 -x10085 -x10083 -x10081 -x10079 -x10077 -x222 -x10075 -x10073 -x10071 -x10069 -x10067 -x10065 -x10063 -x10061 
1800.07/1800.67	v -x10059 -x10057 -x10055 -x10053 -x10051 -x10049 -x10047 -x221 -x10045 -x10043 -x10041 -x10039 -x10037 -x10035 -x10033 -x220 
1800.07/1800.67	v -x10031 -x10029 -x10027 -x10025 -x10023 -x10021 -x10019 -x10017 -x10015 -x10013 -x10011 -x10009 -x10007 -x10005 -x10003 
1800.07/1800.67	v -x219 -x10001 -x9999 -x9997 -x9995 -x9993 -x9991 -x9989 -x9987 -x9985 -x9983 -x9981 -x9979 -x9977 -x9975 -x9973 -x218 -x9971 
1800.07/1800.67	v -x9969 -x9967 -x9965 -x9963 -x9961 -x9959 -x217 -x9957 -x9955 -x9953 -x9951 -x9949 -x9947 -x9945 -x9943 -x9941 -x9939 -x9937 
1800.07/1800.67	v -x9935 -x9933 -x9931 -x9929 -x216 -x9927 -x9925 -x9923 -x9921 -x9919 -x9917 -x9915 -x9913 -x9911 -x9909 -x9907 -x9905 -x9903 
1800.07/1800.67	v -x9901 -x9899 -x215 -x9897 -x9895 -x9893 -x9891 -x9889 -x9887 -x9885 -x9883 -x9881 -x9879 -x9877 -x9875 -x9873 -x9871 -x9869 
1800.07/1800.67	v -x9867 -x9865 -x9863 -x9861 -x9859 -x9857 -x9855 -x9853 -x9851 -x9849 -x9847 -x9845 -x9843 -x9841 -x9839 -x9837 -x214 -x9835 
1800.07/1800.67	v -x9833 -x9831 -x9829 -x9827 -x9825 -x9823 -x9821 -x9819 -x9817 -x9815 -x9813 -x9811 -x9809 -x9807 -x213 -x9805 -x9803 -x9801 
1800.07/1800.67	v x9799 -x9797 -x9795 -x9793 -x9791 -x9789 -x9787 -x9785 -x9783 -x9781 -x9779 -x9777 -x9775 -x9773 -x9771 -x9769 -x9767 -x9765 
1800.07/1800.67	v -x9763 -x9761 -x9759 -x9757 -x9755 -x9753 -x9751 -x9749 -x9747 -x9745 -x9743 -x9741 -x9739 -x9737 -x9735 -x9733 -x9731 -x9729 
1800.07/1800.67	v -x9727 -x9725 -x9723 -x9721 -x9719 -x9717 -x9715 -x9713 -x9711 -x9709 -x9707 -x9705 -x9703 -x9701 -x9699 -x9697 -x9695 -x9693 
1800.07/1800.67	v -x9691 -x9689 -x9687 -x9685 -x212 -x9683 -x9681 -x9679 -x211 -x9677 -x9675 -x9673 -x9671 -x9669 -x9667 -x9665 -x210 -x9663 
1800.07/1800.67	v -x9661 -x9659 -x9657 -x9655 -x9653 -x9651 -x209 -x9649 -x9647 -x9645 -x9643 -x9641 -x9639 -x9637 -x9635 -x9633 -x9631 -x9629 
1800.07/1800.67	v -x9627 -x9625 -x9623 -x9621 -x208 -x9619 -x9617 -x9615 -x9613 -x9611 -x9609 -x9607 -x207 -x9605 -x9603 -x9601 -x9599 -x9597 -x9595 
1800.07/1800.67	v -x9593 -x9591 -x9589 -x9587 -x9585 -x9583 -x9581 -x9579 -x9577 -x206 -x9575 -x9573 -x9571 -x9569 -x9567 -x9565 -x9563 -x9561 
1800.07/1800.67	v -x9559 -x9557 -x9555 -x9553 -x9551 -x9549 -x9547 -x205 -x9545 -x9543 -x9541 -x9539 -x9537 -x9535 -x9533 -x204 -x9531 -x9529 
1800.07/1800.67	v -x9527 -x9525 -x9523 -x9521 -x9519 -x9517 -x9515 -x9513 -x9511 -x9509 -x9507 -x9505 -x9503 -x203 -x9501 -x9499 -x9497 -x9495 
1800.07/1800.67	v -x9493 -x9491 -x9489 -x9487 -x9485 -x9483 -x9481 -x9479 -x9477 -x9475 -x9473 -x202 -x9471 -x9469 -x9467 -x9465 -x9463 -x9461 
1800.07/1800.67	v -x9459 -x9457 -x9455 -x9453 -x9451 -x9449 -x9447 -x9445 -x9443 -x9441 -x9439 -x9437 -x9435 -x9433 -x9431 -x9429 -x9427 -x9425 
1800.07/1800.67	v -x9423 -x9421 -x9419 -x9417 -x9415 -x9413 -x9411 -x201 -x9409 -x9407 -x9405 -x9403 -x9401 -x9399 -x9397 -x9395 -x9393 -x9391 
1800.07/1800.67	v -x9389 -x9387 -x9385 -x9383 -x9381 -x200 -x9379 -x9377 -x9375 -x9373 -x9371 -x9369 -x9367 -x9365 -x9363 -x9361 -x9359 -x9357 
1800.07/1800.67	v -x9355 -x9353 -x9351 -x9349 -x9347 -x9345 -x9343 -x9341 -x9339 -x9337 -x9335 -x9333 -x9331 -x9329 -x9327 -x9325 -x9323 
1800.07/1800.67	v -x9321 -x199 -x9319 -x9317 -x9315 -x9313 -x9311 -x9309 -x9307 -x198 -x9305 -x9303 -x9301 -x9299 -x9297 -x9295 -x9293 -x9291 -x9289 
1800.07/1800.67	v -x9287 -x9285 -x9283 -x9281 -x9279 -x9277 -x197 -x9275 -x9273 -x9271 -x9269 -x9267 -x9265 -x9263 -x9261 -x9259 -x9257 -x9255 
1800.07/1800.67	v -x9253 -x9251 -x9249 -x9247 -x196 -x9245 -x9243 -x9241 -x9239 -x9237 -x9235 -x9233 -x9231 -x9229 -x9227 -x9225 -x9223 -x9221 
1800.07/1800.67	v -x9219 -x9217 -x9215 -x9213 -x9211 -x9209 -x9207 -x9205 -x9203 -x9201 -x9199 -x9197 -x9195 -x9193 -x9191 -x9189 -x9187 
1800.07/1800.67	v -x195 -x9185 -x9183 -x9181 -x9179 -x9177 -x9175 -x9173 -x9171 -x9169 -x9167 -x9165 -x9163 -x9161 -x9159 -x9157 -x194 -x9155 -x9153 
1800.07/1800.67	v -x9151 -x9149 -x9147 -x9145 -x9143 -x9141 -x9139 -x9137 -x9135 -x9132 -x9130 -x9128 -x9126 -x9124 -x9122 -x9120 -x9118 
1800.07/1800.67	v -x9116 -x9114 -x9112 -x9110 -x9108 -x9106 -x9104 -x9102 -x9100 -x9098 -x9096 -x193 -x9094 -x9092 -x9090 -x9088 -x9086 -x9084 
1800.07/1800.67	v -x9082 -x9080 -x9078 -x9076 -x9074 -x9072 -x9070 -x9068 -x9066 -x9064 -x9062 -x9060 -x9058 -x9056 -x9054 -x9052 -x9050 -x9048 
1800.07/1800.67	v -x9046 -x9044 -x9042 -x9040 -x9038 -x9036 -x9034 -x192 -x9032 -x9030 -x9028 -x9026 -x9024 -x9022 -x9020 -x9018 -x9016 -x9014 
1800.07/1800.67	v -x9012 -x9010 -x9008 -x9006 -x9004 -x191 -x9002 -x9000 -x8998 -x8996 -x8994 -x8992 -x8990 -x8988 -x8986 -x8984 -x8982 -x8980 
1800.07/1800.67	v -x8978 -x8976 -x8974 -x8972 -x8970 -x8968 -x8966 -x8964 -x8962 -x8960 -x8958 -x8956 -x8954 -x8952 -x8949 -x8947 -x8945 -x8943 
1800.07/1800.67	v -x8941 -x8939 -x8937 -x8935 -x8933 -x8930 -x8928 -x8926 -x8924 -x8922 -x8920 -x8918 -x8916 -x8914 -x8912 -x8910 -x8908 -x8906 
1800.07/1800.67	v -x8904 -x8902 -x8900 -x8898 -x8896 -x8894 -x8892 -x8890 -x8888 -x8886 -x8884 -x8882 -x190 -x8880 -x8878 -x8876 -x8874 -x8872 
1800.07/1800.67	v -x8870 -x8868 -x8866 -x8864 -x8862 -x8860 -x8858 -x8856 -x8854 -x8852 -x8850 -x8848 -x8846 -x8844 -x8842 -x8840 -x8838 -x8836 
1800.07/1800.67	v -x8834 -x8832 -x8830 -x8828 -x8826 -x8824 -x8822 -x8820 -x8818 -x8816 -x8814 -x8812 -x8810 -x8808 -x8806 -x8804 -x8802 -x8800 
1800.07/1800.67	v -x8798 -x8796 -x8794 -x8792 -x8790 -x8788 -x8786 -x8784 -x8782 -x8780 -x8778 -x8776 -x8774 -x8772 -x8770 -x8768 -x8766 -x8764 
1800.07/1800.67	v -x8762 -x8760 -x8758 -x8756 -x189 -x8754 -x8752 -x8750 -x8748 -x8746 -x8744 -x8742 -x8740 -x8738 -x8736 -x8734 -x8732 -x8730 
1800.07/1800.67	v -x8728 -x8726 -x8724 -x8722 -x8720 -x8718 -x8716 -x8714 -x8712 -x8710 -x8708 -x8706 -x8704 -x8702 -x8700 -x8698 -x8696 
1800.07/1800.67	v -x8694 -x188 -x8692 -x8690 -x8688 -x8686 -x8684 -x8682 -x8680 -x8678 -x8676 -x8674 -x8672 -x8670 -x8668 -x8666 -x8664 -x8662 
1800.07/1800.67	v -x8660 -x8658 -x8656 -x8654 -x8652 -x8650 -x8648 -x8646 -x8644 -x8642 -x8640 -x8638 -x8636 -x8634 -x8632 -x8630 -x8628 -x8626 
1800.07/1800.67	v -x8624 -x8622 -x8620 -x8618 -x8616 -x8614 -x8612 -x8610 -x8608 -x8606 -x8604 -x8602 -x8600 -x8598 -x8596 -x8594 -x8592 -x8590 
1800.07/1800.67	v -x8588 -x8586 -x8584 -x8582 -x8580 -x8578 -x8576 -x8574 -x8572 -x8570 -x8568 -x187 -x8566 -x186 -x8564 -x8562 -x8560 -x185 
1800.07/1800.67	v -x8558 -x8556 -x8554 -x184 -x8552 -x8550 -x8548 -x8546 -x8544 -x8542 -x8540 -x183 -x8538 -x8536 -x8534 -x182 -x8532 -x8530 -x8528 
1800.07/1800.67	v -x8526 -x8524 -x8522 -x8520 -x181 -x8518 -x8516 -x8514 -x8512 -x8510 -x8508 -x8506 -x180 -x8504 -x8502 -x179 -x8500 -x8498 
1800.07/1800.67	v -x8496 -x8494 -x8492 -x8490 -x8488 -x178 -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 -x177 -x8472 -x8470 -x8468 -x8466 
1800.07/1800.67	v -x8464 -x8462 -x8460 -x8458 -x8456 -x8454 -x8452 -x8450 -x8448 -x8446 -x8444 -x176 -x8442 x8440 -x8438 -x8436 -x8434 -x8432 
1800.07/1800.67	v -x8430 x175 -x8428 -x8426 -x8424 -x8422 -x8420 -x8418 -x8416 -x8414 -x8412 -x8410 -x8408 -x8406 -x8404 -x8402 -x8400 -x174 -x8398 
1800.07/1800.67	v -x8396 -x8394 -x173 -x8392 -x8390 -x8388 -x8386 -x8384 -x8382 -x8380 -x172 -x8378 -x8376 -x8374 -x8372 -x8370 -x8368 -x8366 
1800.07/1800.67	v -x171 -x8364 -x8362 -x8360 -x8358 -x8356 -x8354 -x8352 -x170 -x8350 -x8348 -x8346 -x8344 -x8342 -x8340 -x8338 -x8336 -x8334 
1800.07/1800.67	v -x8332 -x8330 -x8328 -x8326 -x8324 -x8322 -x169 -x8320 -x8318 -x8316 -x8314 -x8312 -x8310 -x8308 -x8306 -x8304 -x8302 -x8300 
1800.07/1800.67	v -x8298 -x8296 -x8294 -x8292 -x168 -x8290 -x8288 -x8286 -x8284 -x8282 -x8280 -x8278 -x167 -x8276 -x8274 -x8272 -x8270 -x8268 
1800.07/1800.67	v -x8266 -x8264 -x8262 -x8260 -x8258 -x8256 -x8254 -x8252 -x8250 -x8248 -x166 -x8246 -x8244 -x8242 -x8240 -x8238 -x8236 -x8234 
1800.07/1800.67	v -x8232 -x8230 -x8228 -x8226 -x8224 -x8222 -x8220 -x8218 -x165 -x8216 -x8214 -x8212 -x8210 -x8208 -x8206 -x8204 -x8202 -x8200 
1800.07/1800.67	v -x8198 -x8196 -x8194 -x8192 -x8190 -x8188 -x8186 -x8184 -x8182 -x8180 -x8178 -x8176 -x8174 -x8172 -x8170 -x8168 -x8166 -x8164 
1800.07/1800.67	v -x8162 -x8160 -x8158 -x8156 -x164 -x8154 -x8152 -x8150 -x163 -x8148 -x8146 -x8144 -x8142 -x8140 -x8138 -x8136 -x162 -x8134 
1800.07/1800.67	v -x8132 -x8130 -x8128 -x8126 -x8124 -x8122 -x161 -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108 -x8106 -x8104 -x8102 x8100 
1800.07/1800.67	v -x8098 -x8096 -x8094 -x8092 -x8090 -x8088 -x8086 -x8084 -x8082 -x8080 -x8078 -x160 -x8076 -x8074 -x8072 -x8070 -x8068 -x8066 
1800.07/1800.67	v -x8064 -x8062 -x8060 -x8058 -x8056 -x8054 -x8052 -x8050 -x8048 -x159 -x8046 -x8044 -x8042 -x8040 -x8038 -x8036 -x8034 -x8032 
1800.07/1800.67	v -x8030 -x8028 -x8026 -x8024 -x8022 -x8020 -x8018 -x158 -x8016 -x8014 -x8012 -x8010 -x8008 -x8006 -x8004 -x157 -x8002 -x8000 
1800.07/1800.67	v -x7998 -x7996 -x7994 -x7992 -x7990 -x7988 -x7986 -x7984 -x7982 -x7980 -x7978 -x7976 -x7974 -x156 -x7972 -x7970 -x7968 -x7966 
1800.07/1800.67	v -x7964 -x7962 -x7960 -x7958 -x7956 -x7954 -x7952 -x7950 -x7948 -x155 -x7946 -x7944 -x7942 -x7940 -x7938 -x7936 -x7934 -x7932 
1800.07/1800.67	v -x7930 -x7928 -x7926 -x7924 -x7922 -x7920 -x7918 -x7916 -x7914 -x7912 -x7910 -x7908 -x7906 -x7904 -x7902 -x7900 -x7898 -x7896 
1800.07/1800.67	v -x7894 -x7892 -x7890 -x7888 -x7886 -x154 -x7884 -x7882 -x7880 -x7878 -x7876 -x7874 -x7872 -x7870 -x7868 -x7866 -x7864 -x7862 
1800.07/1800.67	v -x7860 -x7858 -x7856 -x153 -x7854 -x7852 -x7850 -x7848 -x7846 -x7844 -x7842 -x7840 -x7838 -x7836 -x7834 -x7832 -x7830 -x7828 
1800.07/1800.67	v -x7826 -x7824 -x7822 -x7820 -x7818 -x7816 -x7814 -x7812 -x7810 x7808 -x7806 -x7804 -x7802 -x7800 -x7798 -x7796 -x7794 -x7792 
1800.07/1800.67	v -x7790 -x7788 -x7786 -x7784 -x7782 -x7780 -x152 -x7778 -x7776 -x7774 -x7772 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 
1800.07/1800.67	v -x7756 -x7754 -x7752 -x7750 -x151 -x7748 -x7746 -x7744 -x7742 -x7740 -x7738 -x7736 -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 
1800.07/1800.67	v -x7722 -x7720 -x150 -x7718 -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x7692 -x7690 
1800.07/1800.67	v -x149 -x7688 -x7686 -x7684 -x7682 -x7680 -x7678 -x7676 -x7674 -x7672 -x7670 -x7668 -x7666 -x7664 -x7662 -x7660 -x7658 -x7656 
1800.07/1800.67	v -x7654 -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x7628 -x148 -x7626 -x7624 -x7622 
1800.07/1800.67	v -x7620 -x7618 -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 -x7588 -x7586 
1800.07/1800.67	v -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x7568 -x147 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 -x7554 -x7552 
1800.07/1800.67	v -x7550 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x146 -x7536 -x7534 -x7532 -x7530 -x7528 -x7526 -x7524 -x7522 -x7520 -x7518 
1800.07/1800.67	v -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481 
1800.07/1800.67	v -x7479 -x7477 -x145 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449 -x7447 
1800.07/1800.67	v -x7445 -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x144 -x7413 
1800.07/1800.67	v -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 x7387 -x7385 -x7383 -x7381 -x7379 -x7377 
1800.07/1800.67	v -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341 
1800.07/1800.67	v -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 
1800.07/1800.67	v -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x143 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 
1800.07/1800.67	v -x7269 -x142 -x7267 -x7265 -x7263 x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 
1800.07/1800.67	v -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x141 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x140 -x7209 -x7207 -x7205 
1800.07/1800.67	v -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x139 -x7179 -x7177 -x7175 -x7173 -x7171 
1800.07/1800.67	v -x7169 -x7167 -x138 -x7165 -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 
1800.07/1800.67	v -x137 -x7135 -x7133 -x7131 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x136 -x7105 
1800.07/1800.67	v -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 
1800.07/1800.67	v -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x135 -x7043 -x7041 -x7039 -x7037 -x7035 
1800.07/1800.67	v -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017 -x7015 -x134 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 
1800.07/1800.67	v -x133 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971 -x132 -x6969 
1800.07/1800.67	v -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x6943 -x6941 -x131 -x6939 -x6937 -x6935 
1800.07/1800.67	v -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 
1800.07/1800.67	v -x6897 -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 -x6879 -x130 -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 
1800.07/1800.67	v -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x129 -x6847 -x6845 -x6843 -x6840 -x6838 -x6836 -x6834 -x6832 -x6830 
1800.07/1800.67	v -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 
1800.07/1800.67	v -x6792 -x6790 -x6788 -x128 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x127 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 
1800.07/1800.67	v -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x126 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 -x6730 -x6728 
1800.07/1800.67	v -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x125 -x6712 -x6710 -x6708 -x6706 x6704 -x6702 -x6700 -x6698 -x6696 -x6694 
1800.07/1800.67	v -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 
1800.07/1800.67	v -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x6630 -x6628 -x6626 -x6624 -x124 
1800.07/1800.67	v -x6622 -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 
1800.07/1800.67	v -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x123 -x6560 -x6558 -x6556 -x6554 
1800.07/1800.67	v -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x122 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 
1800.07/1800.67	v -x6518 -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 
1800.07/1800.67	v -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x121 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 
1800.07/1800.67	v -x6448 -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 
1800.07/1800.67	v -x6412 -x6410 -x6408 -x120 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 x6384 -x6382 -x6380 
1800.07/1800.67	v -x6378 -x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 
1800.07/1800.67	v -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 
1800.07/1800.67	v -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x6274 
1800.07/1800.67	v -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 -x6240 -x6238 
1800.07/1800.67	v -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x119 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 
1800.07/1800.67	v -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x118 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 
1800.07/1800.67	v -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 
1800.07/1800.67	v -x6131 -x6129 -x117 -x6127 -x6125 -x6122 -x6120 -x6118 -x6116 -x6114 -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 
1800.07/1800.67	v -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x116 -x6066 -x6064 
1800.07/1800.67	v -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 
1800.07/1800.67	v -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 
1800.07/1800.67	v -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 
1800.07/1800.67	v -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x115 -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 
1800.07/1800.67	v -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 
1800.07/1800.67	v -x5886 -x5884 -x5882 -x5880 -x114 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 
1800.07/1800.67	v -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 
1800.07/1800.67	v -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 
1800.07/1800.67	v -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x113 -x5750 -x5748 
1800.07/1800.67	v -x5746 -x112 -x5744 -x5742 -x5740 -x111 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x110 -x5724 -x5722 -x5720 -x109 -x5718 
1800.07/1800.67	v -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x108 -x5704 -x5702 -x5700 -x107 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 
1800.07/1800.67	v -x106 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x105 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 
1800.07/1800.67	v -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x104 -x5640 -x5638 -x5636 -x103 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 
1800.07/1800.67	v -x102 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x101 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 
1800.07/1800.67	v -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x100 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x99 -x5562 -x5560 -x5558 -x5556 
1800.07/1800.67	v -x5554 -x5552 x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 
1800.07/1800.67	v -x98 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x97 -x5488 
1800.07/1800.67	v -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x96 -x5458 -x5456 -x5454 
1800.07/1800.67	v -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 
1800.07/1800.67	v -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x95 -x5396 -x5394 -x5392 -x94 -x5390 -x5388 -x5386 
1800.07/1800.67	v -x5384 -x5382 -x5380 -x5378 -x93 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x92 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 
1800.07/1800.67	v -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x91 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x90 -x5320 
1800.07/1800.67	v -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x89 -x5290 -x5288 -x5286 
1800.07/1800.67	v -x5284 -x5282 -x5280 -x5278 -x88 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 
1800.07/1800.67	v -x5248 -x87 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x86 
1800.07/1800.67	v -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 
1800.07/1800.67	v -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x85 -x5154 -x5152 -x5150 -x5148 
1800.07/1800.67	v -x5146 -x5144 -x5142 -x84 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 
1800.07/1800.67	v -x5112 -x83 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x82 -x5080 
1800.07/1800.67	v -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 
1800.07/1800.67	v -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x81 -x5018 -x5016 -x5014 -x5012 -x5010 
1800.07/1800.67	v -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x80 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 
1800.07/1800.67	v -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 
1800.07/1800.67	v -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x79 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 -x4908 -x4906 
1800.07/1800.67	v -x4904 -x4902 -x4900 -x4898 -x78 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 
1800.07/1800.67	v -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 
1800.07/1800.67	v -x77 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 
1800.07/1800.67	v -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x76 -x4772 -x4770 -x4768 
1800.07/1800.67	v -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 
1800.07/1800.67	v -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 
1800.07/1800.67	v -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 
1800.07/1800.67	v -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x75 -x4646 -x4644 -x4642 -x74 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 
1800.07/1800.67	v -x73 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x72 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 
1800.07/1800.67	v -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x71 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x70 -x4568 -x4566 -x4564 -x4562 
1800.07/1800.67	v -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x69 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 
1800.07/1800.67	v -x4526 -x68 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x67 
1800.07/1800.67	v -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x66 -x4464 -x4462 -x4460 
1800.07/1800.67	v -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 
1800.07/1800.67	v -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x65 -x4402 -x4400 -x4398 -x4396 x4394 -x4392 -x4390 
1800.07/1800.67	v x64 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x63 -x4358 
1800.07/1800.67	v -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x62 -x4328 -x4326 -x4324 
1800.07/1800.67	v -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 
1800.07/1800.67	v -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x61 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 
1800.07/1800.67	v -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x60 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 
1800.07/1800.67	v -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 
1800.07/1800.67	v -x4181 -x4179 -x4177 -x59 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 
1800.07/1800.67	v -x58 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 
1800.07/1800.67	v -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x57 -x4083 -x4081 -x4079 
1800.07/1800.67	v -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 
1800.07/1800.67	v -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x56 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 
1800.07/1800.67	v -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 
1800.07/1800.67	v -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 
1800.07/1800.67	v -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 
1800.07/1800.67	v -x3901 -x3899 -x55 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x54 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 
1800.07/1800.67	v -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x53 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 
1800.07/1800.67	v -x3833 -x3831 -x3829 -x3827 -x3825 -x52 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 
1800.07/1800.67	v -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 
1800.07/1800.67	v -x3763 -x51 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x50 
1800.07/1800.67	v -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 
1800.07/1800.67	v -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x49 -x3669 -x3667 -x3665 -x3663 
1800.07/1800.67	v -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x48 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 
1800.07/1800.67	v -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 
1800.07/1800.67	v -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x47 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 
1800.07/1800.67	v -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 
1800.07/1800.67	v -x3521 -x3519 -x3517 -x46 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 
1800.07/1800.67	v -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 
1800.07/1800.67	v -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 
1800.07/1800.67	v -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x45 -x3389 -x3387 -x3385 -x3383 
1800.07/1800.67	v -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x44 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 
1800.07/1800.67	v -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 
1800.07/1800.67	v -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x43 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 
1800.07/1800.67	v -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 
1800.07/1800.67	v -x3241 -x3239 -x3237 -x42 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 
1800.07/1800.67	v -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 
1800.07/1800.67	v -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 
1800.07/1800.67	v -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x41 -x3109 -x3107 -x3105 -x3103 
1800.07/1800.67	v -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 
1800.07/1800.67	v -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x40 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 
1800.07/1800.67	v -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 
1800.07/1800.67	v -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 
1800.07/1800.67	v -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 
1800.07/1800.67	v -x2923 -x39 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 
1800.07/1800.67	v -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x38 -x2859 -x2857 
1800.07/1800.67	v -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 
1800.07/1800.67	v -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 
1800.07/1800.67	v -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 
1800.07/1800.67	v -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x37 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 
1800.07/1800.67	v -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 
1800.07/1800.67	v -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 
1800.07/1800.67	v -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x36 
1800.07/1800.67	v -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 
1800.07/1800.67	v -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 
1800.07/1800.67	v -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 
1800.07/1800.67	v -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 
1800.07/1800.67	v -x2465 -x2463 x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 
1800.07/1800.67	v -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 
1800.07/1800.67	v -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 
1800.07/1800.67	v -x2357 -x2355 -x2353 -x2351 -x2349 -x35 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x34 -x2333 -x2331 -x2329 -x2327 
1800.07/1800.67	v -x2325 -x2323 -x2321 -x33 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x32 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 
1800.07/1800.67	v -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x31 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x30 -x2261 
1800.07/1800.67	v -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x29 -x2231 -x2229 -x2227 
1800.07/1800.67	v -x2225 -x2223 -x2221 -x2219 -x28 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 
1800.07/1800.67	v -x2189 -x27 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x26 
1800.07/1800.67	v -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 
1800.07/1800.67	v -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x25 -x2095 -x2093 -x2091 -x2089 
1800.07/1800.67	v -x2087 -x2085 -x2083 -x24 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 
1800.07/1800.67	v -x2053 -x23 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x22 -x2021 
1800.07/1800.67	v -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 
1800.07/1800.67	v -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x21 -x1959 -x1957 -x1955 -x1953 -x1951 
1800.07/1800.67	v -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x20 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 
1800.07/1800.67	v -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 
1800.07/1800.67	v -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x19 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 
1800.07/1800.67	v -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 
1800.07/1800.67	v -x1808 -x18 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 
1800.07/1800.67	v -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 
1800.07/1800.67	v -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 
1800.07/1800.67	v -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x17 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 
1800.07/1800.67	v -x1668 -x16 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 x1638 -x1636 
1800.07/1800.67	v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x15 -x1606 -x1604 -x1602 
1800.07/1800.67	v -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x14 -x1576 -x1574 -x1572 -x1570 -x1568 
1800.07/1800.67	v -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 
1800.07/1800.67	v -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x13 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 
1800.07/1800.67	v -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x12 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 
1800.07/1800.67	v -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 
1800.07/1800.67	v -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x11 
1800.07/1800.67	v -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 
1800.07/1800.67	v -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x10 -x1330 -x1328 -x1326 -x1324 
1800.07/1800.67	v -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 
1800.07/1800.67	v -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x9 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 
1800.07/1800.67	v -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 
1800.07/1800.67	v -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 
1800.07/1800.67	v -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 
1800.07/1800.67	v -x1144 -x8 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x7 -x1112 
1800.07/1800.67	v -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 
1800.07/1800.67	v -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x6 -x1050 -x1048 -x1046 -x1044 -x1042 
1800.07/1800.67	v -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 
1800.07/1800.67	v -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x5 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 
1800.07/1800.67	v -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 
1800.07/1800.67	v -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 
1800.07/1800.67	v -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x4 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 
1800.07/1800.67	v -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 
1800.07/1800.67	v -x3 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 
1800.07/1800.67	v -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 
1800.07/1800.67	v -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 
1800.07/1800.67	v -x676 -x2 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 
1800.07/1800.67	v -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 
1800.07/1800.67	v -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 
1800.07/1800.67	v -x552 -x550 -x1 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 
1800.07/1800.67	v -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 
1800.07/1800.67	v -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 
1800.07/1800.67	v -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 
1800.07/1800.67	v -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 
1800.07/1800.67	v -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 
1800.07/1800.67	v -x304 -x302 -x300 -x298 -x296 -x294 x11334 x11332 x11330 -x11328 x11326 -x11324 -x11322 -x11320 -x11318 -x11316 -x11314 -x11312 
1800.07/1800.67	v -x11310 -x11308 -x11306 -x11304 -x11302 x11300 -x11298 -x11296 -x11294 -x11292 -x11290 -x11288 -x11286 -x11284 -x11282 -x11280 
1800.07/1800.67	v -x11278 -x11276 -x11274 -x11272 -x11270 -x11268 -x11266 -x11264 -x11262 -x11260 -x11258 -x11256 -x11254 -x11252 -x11250 
1800.07/1800.67	v -x11248 -x11246 -x11244 -x11242 -x11240 -x11238 -x11236 -x11234 -x11232 -x11230 -x11228 -x11226 -x11224 -x11222 -x11220 -x11218 
1800.07/1800.67	v -x11216 x11214 -x11212 -x11210 -x11208 -x11206 -x11204 -x11202 -x11200 -x11198 -x11196 -x11194 -x11192 -x11190 -x11188 -x11186 
1800.07/1800.67	v -x11184 -x11182 -x11180 -x11178 -x11176 -x11174 -x11172 x11170 -x11168 -x11166 -x11164 -x11162 -x11160 -x11158 -x11156 
1800.07/1800.67	v -x11154 -x11152 -x11150 -x11148 -x11146 -x11144 -x11142 -x11140 -x11138 -x11136 -x11134 -x11132 -x11130 -x11128 -x11126 -x11124 
1800.07/1800.67	v x11122 -x11120 -x11118 -x11116 -x11114 -x11112 -x11110 -x11108 -x11106 -x11104 -x11102 -x11100 -x11098 -x11096 -x11094 -x11092 
1800.07/1800.67	v -x11090 -x11088 -x11086 -x11084 -x11082 -x11080 -x11078 -x11076 -x11074 -x11072 -x11070 -x11068 -x11066 -x11064 -x11062 
1800.07/1800.67	v -x11060 -x11058 -x11056 -x11054 -x11052 -x11050 -x11048 -x11046 -x11044 -x11042 -x11040 -x11038 -x11036 -x11034 -x11032 -x11030 
1800.07/1800.67	v -x11028 -x11026 -x11024 -x11022 -x11020 -x11018 -x11016 -x11014 -x11012 -x11010 -x11008 -x11006 -x11004 -x11002 -x11000 -x10998 
1800.07/1800.67	v -x10996 -x10994 -x10992 -x10990 -x10988 -x10986 -x10984 -x10982 -x10980 -x10978 -x10976 -x10974 -x10972 -x10970 -x10968 
1800.07/1800.67	v -x10966 -x10964 -x10962 -x10960 -x10958 -x10956 -x10954 -x10952 -x10950 -x10948 -x10946 -x10944 -x10942 -x10940 -x10938 -x10936 
1800.07/1800.67	v -x10934 -x10932 -x10930 -x10928 -x10926 -x10924 -x10922 -x10920 -x10918 -x10916 -x10914 -x10912 -x10910 -x10908 -x10906 -x10904 
1800.07/1800.67	v -x10902 -x10900 -x10898 -x10896 -x10894 -x10892 -x10890 -x10888 -x10886 -x10884 -x10882 -x10880 -x10878 -x10876 -x10874 
1800.07/1800.67	v -x10872 -x10870 -x10868 -x10866 -x10864 x10862 -x10860 -x10858 -x10856 -x10854 -x10852 -x10850 -x10848 -x10846 -x10844 -x10842 
1800.07/1800.67	v -x10840 -x10838 -x10836 -x10834 -x10832 -x10830 -x10828 -x10826 -x10824 -x10822 -x10820 -x10818 -x10816 -x10814 -x10812 -x10810 
1800.07/1800.67	v -x10808 -x10806 -x10804 -x10802 -x10800 -x10798 -x10796 -x10794 -x10792 -x10790 -x10788 -x10786 -x10784 -x10782 -x10780 
1800.07/1800.67	v -x10778 -x10776 -x10774 -x10772 -x10770 -x10768 -x10766 -x10764 -x10762 -x10760 -x10758 -x10756 -x10754 -x10752 -x10750 -x10748 
1800.07/1800.67	v -x10746 -x10744 -x10742 -x10740 -x10738 -x10736 x10734 -x10732 -x10730 -x10728 -x10726 -x10724 -x10722 -x10720 -x10718 -x10716 
1800.07/1800.67	v -x10714 -x10712 -x10710 -x10708 -x10706 -x10704 -x10702 -x10700 -x10698 -x10696 -x10694 -x10692 -x10690 -x10688 -x10686 
1800.07/1800.67	v -x10684 -x10682 -x10680 -x10678 -x10676 -x10674 -x10672 -x10670 -x10668 -x10666 -x10664 -x10662 -x10660 -x10658 -x10656 -x10654 
1800.07/1800.67	v -x10652 -x10650 -x10648 -x10646 -x10644 -x10642 -x10640 -x10638 -x10636 -x10634 -x10632 -x10630 -x10628 -x10626 -x10624 
1800.07/1800.67	v -x10622 -x10620 -x10618 -x10616 -x10614 -x10612 -x10610 -x10608 -x10606 -x10604 -x10602 -x10600 -x10598 -x10596 -x10594 -x10592 
1800.07/1800.67	v -x10590 -x10588 -x10586 -x10584 -x10582 -x10580 -x10578 -x10576 x10574 -x10572 -x10570 -x10568 -x10566 -x10564 -x10562 -x10560 
1800.07/1800.67	v -x10558 -x10556 -x10554 -x10552 -x10550 -x10548 -x10546 -x10544 -x10542 -x10540 -x10538 -x10536 -x10534 -x10532 -x10530 
1800.07/1800.67	v -x10528 -x10526 -x10524 -x10522 -x10520 -x10518 -x10516 -x10514 -x10512 -x10510 -x10508 -x10506 -x10504 -x10502 -x10500 -x10498 
1800.07/1800.67	v -x10496 -x10494 -x10492 -x10490 -x10488 -x10486 -x10484 -x10482 -x10480 -x10478 -x10476 -x10474 -x10472 -x10470 -x10468 -x10466 
1800.07/1800.67	v -x10464 -x10462 -x10460 -x10458 -x10456 -x10454 -x10452 -x10450 -x10448 -x10446 -x10444 -x10442 -x10440 -x10438 -x10436 
1800.07/1800.67	v -x10434 -x10432 -x10430 -x10428 -x10426 -x10424 -x10422 -x10420 -x10418 -x10416 -x10414 -x10412 -x10410 -x10408 -x10406 -x10404 
1800.07/1800.67	v -x10402 -x10400 -x10398 -x10396 -x10394 -x10392 -x10390 -x10388 -x10386 -x10384 -x10382 -x10380 -x10378 -x10376 -x10374 -x10372 
1800.07/1800.67	v -x10370 -x10368 -x10366 -x10364 -x10362 -x10360 -x10358 -x10356 -x10354 -x10352 -x10350 -x10348 -x10346 -x10344 -x10342 
1800.07/1800.67	v -x10340 -x10338 -x10336 -x10334 -x10332 -x10330 -x10328 -x10326 -x10324 -x10322 -x10320 -x10318 -x10316 -x10314 -x10312 -x10310 
1800.07/1800.67	v -x10308 -x10306 -x10304 -x10302 -x10300 -x10298 -x10296 -x10294 -x10292 -x10290 -x10288 -x10286 -x10284 -x10282 -x10280 
1800.07/1800.67	v -x10278 x10276 -x10274 -x10272 -x10270 -x10268 -x10266 -x10264 -x10262 -x10260 -x10258 -x10256 -x10254 -x10252 -x10250 -x10248 
1800.07/1800.67	v -x10246 -x10244 -x10242 -x10240 -x10238 -x10236 -x10234 -x10232 -x10230 -x10228 -x10226 -x10224 -x10222 -x10220 -x10218 -x10216 
1800.07/1800.67	v -x10214 -x10212 -x10210 -x10208 -x10206 -x10204 -x10202 -x10200 -x10198 -x10196 -x10194 -x10192 -x10190 -x10188 -x10186 
1800.07/1800.67	v -x10184 -x10182 -x10180 -x10178 -x10176 -x10174 -x10172 -x10170 -x10168 -x10166 -x10164 -x10162 -x10160 -x10158 -x10156 -x10154 
1800.07/1800.67	v -x10152 -x10150 -x10148 -x10146 -x10144 -x10142 -x10140 -x10138 -x10136 -x10134 -x10132 -x10130 -x10128 -x10126 -x10124 -x10122 
1800.07/1800.67	v -x10120 -x10118 -x10116 -x10114 -x10112 -x10110 -x10108 -x10106 -x10104 -x10102 -x10100 -x10098 -x10096 -x10094 -x10092 
1800.07/1800.67	v -x10090 -x10088 -x10086 -x10084 -x10082 -x10080 -x10078 -x10076 -x10074 -x10072 -x10070 -x10068 -x10066 -x10064 -x10062 -x10060 
1800.07/1800.67	v -x10058 -x10056 -x10054 -x10052 -x10050 -x10048 -x10046 -x10044 -x10042 -x10040 -x10038 -x10036 -x10034 -x10032 -x10030 -x10028 
1800.07/1800.67	v -x10026 -x10024 -x10022 -x10020 -x10018 -x10016 -x10014 -x10012 -x10010 -x10008 -x10006 -x10004 -x10002 -x10000 -x9998 
1800.07/1800.67	v -x9996 -x9994 -x9992 -x9990 -x9988 -x9986 -x9984 -x9982 -x9980 -x9978 -x9976 -x9974 -x9972 -x9970 -x9968 -x9966 -x9964 -x9962 
1800.07/1800.67	v -x9960 -x9958 -x9956 -x9954 -x9952 -x9950 -x9948 -x9946 -x9944 -x9942 -x9940 -x9938 -x9936 -x9934 -x9932 -x9930 -x9928 -x9926 
1800.07/1800.67	v -x9924 -x9922 -x9920 -x9918 -x9916 -x9914 -x9912 -x9910 -x9908 -x9906 -x9904 -x9902 -x9900 -x9898 -x9896 -x9894 -x9892 -x9890 
1800.07/1800.67	v -x9888 -x9886 -x9884 -x9882 -x9880 -x9878 -x9876 -x9874 -x9872 -x9870 -x9868 -x9866 -x9864 -x9862 -x9860 -x9858 -x9856 -x9854 
1800.07/1800.67	v -x9852 -x9850 -x9848 -x9846 -x9844 -x9842 -x9840 -x9838 -x9836 -x9834 -x9832 -x9830 -x9828 -x9826 -x9824 -x9822 -x9820 -x9818 
1800.07/1800.67	v -x9816 -x9814 -x9812 -x9810 -x9808 -x9806 -x9804 -x9802 x9800 -x9798 -x9796 -x9794 -x9792 -x9790 -x9788 -x9786 -x9784 -x9782 
1800.07/1800.67	v -x9780 -x9778 -x9776 -x9774 -x9772 -x9770 -x9768 -x9766 -x9764 -x9762 -x9760 -x9758 -x9756 -x9754 -x9752 -x9750 -x9748 
1800.07/1800.67	v -x9746 -x9744 -x9742 -x9740 -x9738 -x9736 -x9734 -x9732 -x9730 -x9728 -x9726 -x9724 -x9722 -x9720 -x9718 -x9716 -x9714 -x9712 
1800.07/1800.67	v -x9710 -x9708 -x9706 -x9704 -x9702 -x9700 -x9698 -x9696 -x9694 -x9692 -x9690 -x9688 -x9686 -x9684 -x9682 -x9680 -x9678 -x9676 
1800.07/1800.67	v -x9674 -x9672 -x9670 -x9668 -x9666 -x9664 -x9662 -x9660 -x9658 -x9656 -x9654 -x9652 -x9650 -x9648 -x9646 -x9644 -x9642 -x9640 
1800.07/1800.67	v -x9638 -x9636 -x9634 -x9632 -x9630 -x9628 -x9626 -x9624 -x9622 -x9620 -x9618 -x9616 -x9614 -x9612 -x9610 -x9608 -x9606 -x9604 
1800.07/1800.67	v -x9602 -x9600 -x9598 -x9596 -x9594 -x9592 -x9590 -x9588 -x9586 -x9584 -x9582 -x9580 -x9578 -x9576 -x9574 -x9572 -x9570 -x9568 
1800.07/1800.67	v -x9566 -x9564 -x9562 -x9560 -x9558 -x9556 -x9554 -x9552 -x9550 -x9548 -x9546 -x9544 -x9542 -x9540 -x9538 -x9536 -x9534 -x9532 
1800.07/1800.67	v -x9530 -x9528 -x9526 -x9524 -x9522 -x9520 -x9518 -x9516 -x9514 -x9512 -x9510 -x9508 -x9506 -x9504 -x9502 -x9500 -x9498 
1800.07/1800.67	v -x9496 -x9494 -x9492 -x9490 -x9488 -x9486 -x9484 -x9482 -x9480 -x9478 -x9476 -x9474 -x9472 -x9470 -x9468 -x9466 -x9464 -x9462 
1800.07/1800.67	v -x9460 -x9458 -x9456 -x9454 -x9452 -x9450 -x9448 -x9446 -x9444 -x9442 -x9440 -x9438 -x9436 -x9434 -x9432 -x9430 -x9428 -x9426 
1800.07/1800.67	v -x9424 -x9422 -x9420 -x9418 -x9416 -x9414 -x9412 -x9410 -x9408 -x9406 -x9404 -x9402 -x9400 -x9398 -x9396 -x9394 -x9392 -x9390 
1800.07/1800.67	v -x9388 -x9386 -x9384 -x9382 -x9380 -x9378 -x9376 -x9374 -x9372 -x9370 -x9368 -x9366 -x9364 -x9362 -x9360 -x9358 -x9356 -x9354 
1800.07/1800.67	v -x9352 -x9350 -x9348 -x9346 -x9344 -x9342 -x9340 -x9338 -x9336 -x9334 -x9332 -x9330 -x9328 -x9326 -x9324 -x9322 -x9320 -x9318 
1800.07/1800.67	v -x9316 -x9314 -x9312 -x9310 -x9308 -x9306 -x9304 -x9302 -x9300 -x9298 -x9296 -x9294 -x9292 -x9290 -x9288 -x9286 -x9284 -x9282 
1800.07/1800.67	v -x9280 -x9278 -x9276 -x9274 -x9272 -x9270 -x9268 -x9266 -x9264 -x9262 -x9260 -x9258 -x9256 -x9254 -x9252 -x9250 -x9248 
1800.07/1800.67	v -x9246 -x9244 -x9242 -x9240 -x9238 -x9236 -x9234 -x9232 -x9230 -x9228 -x9226 -x9224 -x9222 -x9220 -x9218 -x9216 -x9214 -x9212 
1800.07/1800.67	v -x9210 -x9208 -x9206 -x9204 -x9202 -x9200 -x9198 -x9196 -x9194 -x9192 -x9190 -x9188 -x9186 -x9184 -x9182 -x9180 -x9178 -x9176 
1800.07/1800.67	v -x9174 -x9172 -x9170 -x9168 -x9166 -x9164 -x9162 -x9160 -x9158 -x9156 -x9154 -x9152 -x9150 -x9148 -x9146 -x9144 -x9142 -x9140 
1800.07/1800.67	v -x9138 -x9136 -x9134 -x9133 -x9131 -x9129 -x9127 -x9125 -x9123 -x9121 -x9119 -x9117 -x9115 -x9113 -x9111 -x9109 -x9107 -x9105 
1800.07/1800.67	v -x9103 -x9101 -x9099 -x9097 -x9095 -x9093 -x9091 -x9089 -x9087 -x9085 -x9083 -x9081 -x9079 -x9077 -x9075 -x9073 -x9071 -x9069 
1800.07/1800.67	v -x9067 -x9065 -x9063 -x9061 -x9059 -x9057 -x9055 -x9053 -x9051 -x9049 -x9047 -x9045 -x9043 -x9041 -x9039 -x9037 -x9035 -x9033 
1800.07/1800.67	v -x9031 -x9029 -x9027 -x9025 -x9023 -x9021 -x9019 -x9017 -x9015 -x9013 -x9011 -x9009 -x9007 -x9005 -x9003 -x9001 -x8999 
1800.07/1800.67	v -x8997 -x8995 -x8993 -x8991 -x8989 -x8987 -x8985 -x8983 -x8981 -x8979 -x8977 -x8975 -x8973 -x8971 -x8969 -x8967 -x8965 -x8963 
1800.07/1800.67	v -x8961 -x8959 -x8957 -x8955 -x8953 x8951 -x8950 -x8948 -x8946 -x8944 -x8942 -x8940 -x8938 -x8936 -x8934 -x8932 -x8931 -x8929 
1800.07/1800.67	v -x8927 -x8925 -x8923 -x8921 -x8919 -x8917 -x8915 -x8913 -x8911 -x8909 -x8907 -x8905 -x8903 -x8901 -x8899 -x8897 -x8895 -x8893 
1800.07/1800.67	v -x8891 -x8889 -x8887 -x8885 -x8883 -x8881 -x8879 -x8877 -x8875 -x8873 -x8871 -x8869 -x8867 -x8865 -x8863 -x8861 -x8859 -x8857 
1800.07/1800.67	v -x8855 -x8853 -x8851 -x8849 -x8847 -x8845 -x8843 -x8841 -x8839 -x8837 -x8835 -x8833 -x8831 -x8829 -x8827 -x8825 -x8823 -x8821 
1800.07/1800.67	v -x8819 -x8817 -x8815 -x8813 -x8811 -x8809 -x8807 -x8805 -x8803 -x8801 -x8799 -x8797 -x8795 -x8793 -x8791 -x8789 -x8787 -x8785 
1800.07/1800.67	v -x8783 -x8781 -x8779 -x8777 -x8775 -x8773 -x8771 -x8769 -x8767 -x8765 -x8763 -x8761 -x8759 -x8757 -x8755 -x8753 -x8751 -x8749 
1800.07/1800.67	v -x8747 -x8745 -x8743 -x8741 -x8739 -x8737 -x8735 -x8733 -x8731 -x8729 -x8727 -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 
1800.07/1800.67	v -x8713 -x8711 -x8709 -x8707 -x8705 -x8703 -x8701 -x8699 -x8697 -x8695 -x8693 -x8691 -x8689 -x8687 -x8685 -x8683 -x8681 -x8679 
1800.07/1800.67	v -x8677 -x8675 -x8673 -x8671 -x8669 -x8667 -x8665 -x8663 -x8661 -x8659 -x8657 -x8655 -x8653 -x8651 -x8649 -x8647 -x8645 -x8643 
1800.07/1800.67	v -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629 -x8627 -x8625 -x8623 -x8621 -x8619 -x8617 -x8615 -x8613 -x8611 -x8609 -x8607 
1800.07/1800.67	v -x8605 -x8603 -x8601 -x8599 -x8597 -x8595 -x8593 -x8591 -x8589 -x8587 -x8585 -x8583 -x8581 -x8579 -x8577 -x8575 -x8573 -x8571 
1800.07/1800.67	v -x8569 -x8567 -x8565 -x8563 -x8561 -x8559 -x8557 -x8555 -x8553 -x8551 -x8549 -x8547 -x8545 -x8543 -x8541 -x8539 -x8537 -x8535 
1800.07/1800.67	v -x8533 -x8531 -x8529 -x8527 -x8525 -x8523 -x8521 -x8519 -x8517 -x8515 -x8513 -x8511 -x8509 -x8507 -x8505 -x8503 -x8501 -x8499 
1800.07/1800.67	v -x8497 -x8495 -x8493 -x8491 -x8489 -x8487 -x8485 -x8483 -x8481 -x8479 -x8477 -x8475 -x8473 -x8471 -x8469 -x8467 -x8465 
1800.07/1800.67	v -x8463 -x8461 -x8459 -x8457 -x8455 -x8453 -x8451 -x8449 -x8447 -x8445 -x8443 x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 
1800.07/1800.67	v -x8427 -x8425 -x8423 -x8421 -x8419 -x8417 -x8415 -x8413 -x8411 -x8409 -x8407 -x8405 -x8403 -x8401 -x8399 -x8397 -x8395 -x8393 
1800.07/1800.67	v -x8391 -x8389 -x8387 -x8385 -x8383 -x8381 -x8379 -x8377 -x8375 -x8373 -x8371 -x8369 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 
1800.07/1800.67	v -x8355 -x8353 -x8351 -x8349 -x8347 -x8345 -x8343 -x8341 -x8339 -x8337 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 -x8323 -x8321 
1800.07/1800.67	v -x8319 -x8317 -x8315 -x8313 -x8311 -x8309 -x8307 -x8305 -x8303 -x8301 -x8299 -x8297 -x8295 -x8293 -x8291 -x8289 -x8287 -x8285 
1800.07/1800.67	v -x8283 -x8281 -x8279 -x8277 -x8275 -x8273 -x8271 -x8269 -x8267 -x8265 -x8263 -x8261 -x8259 -x8257 -x8255 -x8253 -x8251 -x8249 
1800.07/1800.67	v -x8247 -x8245 -x8243 -x8241 -x8239 -x8237 -x8235 -x8233 -x8231 -x8229 -x8227 -x8225 -x8223 -x8221 -x8219 -x8217 -x8215 -x8213 
1800.07/1800.67	v -x8211 -x8209 -x8207 -x8205 -x8203 -x8201 -x8199 -x8197 -x8195 -x8193 -x8191 -x8189 -x8187 -x8185 -x8183 -x8181 -x8179 
1800.07/1800.67	v -x8177 -x8175 -x8173 -x8171 -x8169 -x8167 -x8165 -x8163 -x8161 -x8159 -x8157 -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x8143 
1800.07/1800.67	v -x8141 -x8139 -x8137 -x8135 -x8133 -x8131 -x8129 -x8127 -x8125 -x8123 -x8121 -x8119 -x8117 -x8115 -x8113 -x8111 -x8109 -x8107 
1800.07/1800.67	v -x8105 -x8103 x8101 -x8099 -x8097 -x8095 -x8093 -x8091 -x8089 -x8087 -x8085 -x8083 -x8081 -x8079 -x8077 -x8075 -x8073 -x8071 
1800.07/1800.67	v -x8069 -x8067 -x8065 -x8063 -x8061 -x8059 -x8057 -x8055 -x8053 -x8051 -x8049 -x8047 -x8045 -x8043 -x8041 -x8039 -x8037 -x8035 
1800.07/1800.67	v -x8033 -x8031 -x8029 -x8027 -x8025 -x8023 -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 -x8009 -x8007 -x8005 -x8003 -x8001 -x7999 
1800.07/1800.67	v -x7997 -x7995 -x7993 -x7991 -x7989 -x7987 -x7985 -x7983 -x7981 -x7979 -x7977 -x7975 -x7973 -x7971 -x7969 -x7967 -x7965 -x7963 
1800.07/1800.67	v -x7961 -x7959 -x7957 -x7955 -x7953 -x7951 -x7949 -x7947 -x7945 -x7943 -x7941 -x7939 -x7937 -x7935 -x7933 -x7931 -x7929 -x7927 
1800.07/1800.67	v -x7925 -x7923 -x7921 -x7919 -x7917 -x7915 -x7913 -x7911 -x7909 -x7907 -x7905 -x7903 -x7901 -x7899 -x7897 -x7895 -x7893 
1800.07/1800.67	v -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7879 -x7877 -x7875 -x7873 -x7871 -x7869 -x7867 -x7865 -x7863 -x7861 -x7859 -x7857 
1800.07/1800.67	v -x7855 -x7853 -x7851 -x7849 -x7847 -x7845 -x7843 -x7841 -x7839 -x7837 -x7835 -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 
1800.07/1800.67	v -x7819 -x7817 -x7815 -x7813 -x7811 x7809 -x7807 -x7805 -x7803 -x7801 -x7799 -x7797 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 
1800.07/1800.67	v -x7783 -x7781 -x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767 -x7765 -x7763 -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 
1800.07/1800.67	v -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 -x7735 -x7733 -x7731 -x7729 -x7727 -x7725 -x7723 -x7721 -x7719 -x7717 -x7715 -x7713 
1800.07/1800.67	v -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695 -x7693 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 
1800.07/1800.67	v -x7675 -x7673 -x7671 -x7669 -x7667 -x7665 -x7663 -x7661 -x7659 -x7657 -x7655 -x7653 -x7651 -x7649 -x7647 -x7645 -x7643 -x7641 
1800.07/1800.67	v -x7639 -x7637 -x7635 -x7633 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 
1800.07/1800.67	v -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x7587 -x7585 -x7583 -x7581 -x7579 -x7577 -x7575 -x7573 -x7571 
1800.07/1800.67	v -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x7553 -x7551 -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 
1800.07/1800.67	v -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 -x7521 -x7519 -x7517 -x7515 -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 -x7500 
1800.07/1800.67	v -x7498 -x7496 -x7494 -x7492 -x7490 -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 
1800.07/1800.67	v -x7462 -x7460 -x7458 -x7456 -x7454 -x7452 -x7450 -x7448 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 
1800.07/1800.67	v -x7426 -x7424 -x7422 -x7420 -x7418 -x7416 -x7414 -x7412 -x7410 -x7408 -x7406 -x7404 -x7402 -x7400 -x7398 -x7396 -x7394 -x7392 
1800.07/1800.67	v -x7390 x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376 -x7374 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 -x7358 -x7356 
1800.07/1800.67	v -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 
1800.07/1800.67	v -x7320 -x7318 -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 
1800.07/1800.67	v -x7284 -x7282 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x7250 
1800.07/1800.67	v -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 -x7216 -x7214 
1800.07/1800.67	v -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x7192 -x7190 -x7188 -x7186 -x7184 -x7182 -x7180 -x7178 
1800.07/1800.67	v -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 -x7146 -x7144 -x7142 
1800.07/1800.67	v -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112 -x7110 -x7108 -x7106 
1800.07/1800.67	v -x7104 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080 -x7078 -x7076 -x7074 -x7072 -x7070 
1800.07/1800.67	v -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 
1800.07/1800.67	v -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 -x7002 -x7000 
1800.07/1800.67	v -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 
1800.07/1800.67	v -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 
1800.07/1800.67	v -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x6894 -x6892 
1800.07/1800.67	v -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 
1800.07/1800.67	v -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 
1800.07/1800.67	v -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 
1800.07/1800.67	v -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 
1800.07/1800.67	v -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x6719 -x6717 -x6715 
1800.07/1800.67	v -x6713 -x6711 -x6709 -x6707 x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 
1800.07/1800.67	v -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 
1800.07/1800.67	v -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 
1800.07/1800.67	v -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 
1800.07/1800.67	v -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 
1800.07/1800.67	v -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 
1800.07/1800.67	v -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 
1800.07/1800.67	v -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 
1800.07/1800.67	v -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 
1800.07/1800.67	v -x6391 -x6389 -x6387 x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 
1800.07/1800.67	v -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 
1800.07/1800.67	v -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 
1800.07/1800.67	v -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 
1800.07/1800.67	v -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 
1800.07/1800.67	v -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 
1800.07/1800.67	v -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153 -x6152 -x6150 -x6148 -x6146 -x6144 
1800.07/1800.67	v -x6142 -x6140 -x6138 -x6136 -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 
1800.07/1800.67	v -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 
1800.07/1800.67	v -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 
1800.07/1800.67	v -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x6001 
1800.07/1800.67	v -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 
1800.07/1800.67	v -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 
1800.07/1800.67	v -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 
1800.07/1800.67	v -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 
1800.07/1800.67	v -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 x5831 -x5829 -x5827 -x5825 -x5823 
1800.07/1800.67	v -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 
1800.07/1800.67	v -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 
1800.07/1800.67	v -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 
1800.07/1800.67	v -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 
1800.07/1800.67	v -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 
1800.07/1800.67	v -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 
1800.07/1800.67	v -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 
1800.07/1800.67	v -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 
1800.07/1800.67	v -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 
1800.07/1800.67	v -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 
1800.07/1800.67	v -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 
1800.07/1800.67	v -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 
1800.07/1800.67	v -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 
1800.07/1800.67	v -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 
1800.07/1800.67	v -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 
1800.07/1800.67	v -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 
1800.07/1800.67	v -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 
1800.07/1800.67	v -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 
1800.07/1800.67	v -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 
1800.07/1800.67	v -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 
1800.07/1800.67	v -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 
1800.07/1800.67	v -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 
1800.07/1800.67	v -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 
1800.07/1800.67	v -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 
1800.07/1800.67	v -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 
1800.07/1800.67	v -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 
1800.07/1800.67	v -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 
1800.07/1800.67	v -x4857 -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 
1800.07/1800.67	v -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 
1800.07/1800.67	v -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 
1800.07/1800.67	v -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 
1800.07/1800.67	v -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 
1800.07/1800.67	v -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 
1800.07/1800.67	v -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 
1800.07/1800.67	v -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 
1800.07/1800.67	v -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 
1800.07/1800.67	v -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 
1800.07/1800.67	v -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 
1800.07/1800.67	v -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 
1800.07/1800.67	v -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 x4395 -x4393 
1800.07/1800.67	v -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 
1800.07/1800.67	v -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 
1800.07/1800.67	v -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 
1800.07/1800.67	v -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 
1800.07/1800.67	v -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 
1800.07/1800.67	v -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 
1800.07/1800.67	v -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 
1800.07/1800.67	v -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 
1800.07/1800.67	v -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 
1800.07/1800.67	v -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 
1800.07/1800.67	v -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 
1800.07/1800.67	v -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 
1800.07/1800.67	v -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 
1800.07/1800.67	v -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 
1800.07/1800.67	v -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 
1800.07/1800.67	v -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 
1800.07/1800.67	v -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 
1800.07/1800.67	v -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 
1800.07/1800.67	v -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 
1800.07/1800.67	v -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 
1800.07/1800.67	v -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 
1800.07/1800.67	v -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 
1800.07/1800.67	v -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 
1800.07/1800.67	v -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 
1800.07/1800.67	v -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 
1800.07/1800.67	v -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 
1800.07/1800.67	v -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 
1800.07/1800.67	v -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 
1800.07/1800.67	v -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 
1800.07/1800.67	v -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 
1800.07/1800.67	v -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 
1800.07/1800.67	v -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 
1800.07/1800.67	v -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 
1800.07/1800.67	v -x3214 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 
1800.07/1800.67	v -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 
1800.07/1800.67	v -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 
1800.07/1800.67	v -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 
1800.07/1800.67	v -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 
1800.07/1800.67	v -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 
1800.07/1800.67	v -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 
1800.07/1800.67	v -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 
1800.07/1800.67	v -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 
1800.07/1800.67	v -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 
1800.07/1800.67	v -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 
1800.07/1800.67	v -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 
1800.07/1800.67	v -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 
1800.07/1800.67	v -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 
1800.07/1800.67	v -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 
1800.07/1800.67	v -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 
1800.07/1800.67	v -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 
1800.07/1800.67	v -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 
1800.07/1800.67	v -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 
1800.07/1800.67	v -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 
1800.07/1800.67	v -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 
1800.07/1800.67	v -x2464 x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 
1800.07/1800.67	v -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 
1800.07/1800.67	v -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 
1800.07/1800.67	v -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 
1800.07/1800.67	v -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 
1800.07/1800.67	v -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 
1800.07/1800.67	v -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 
1800.07/1800.67	v -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 
1800.07/1800.67	v -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 
1800.07/1800.67	v -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 
1800.07/1800.67	v -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 
1800.07/1800.67	v -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 
1800.07/1800.67	v -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 
1800.07/1800.67	v -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 
1800.07/1800.67	v -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 
1800.07/1800.67	v -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 
1800.07/1800.67	v -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 
1800.07/1800.67	v -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 
1800.07/1800.67	v -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 
1800.07/1800.67	v -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 
1800.07/1800.67	v -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 
1800.07/1800.67	v -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 
1800.07/1800.67	v -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 
1800.07/1800.67	v -x1643 -x1641 x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 
1800.07/1800.67	v -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 
1800.07/1800.67	v -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 
1800.07/1800.67	v -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 
1800.07/1800.67	v -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 
1800.07/1800.67	v -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 
1800.07/1800.67	v -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 
1800.07/1800.67	v -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 
1800.07/1800.67	v -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 
1800.07/1800.67	v -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 
1800.07/1800.67	v -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 
1800.07/1800.67	v -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 
1800.07/1800.67	v -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 
1800.07/1800.67	v -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 
1800.07/1800.67	v -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 
1800.07/1800.67	v -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 
1800.07/1800.67	v -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 
1800.07/1800.67	v -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 
1800.07/1800.67	v -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 
1800.07/1800.67	v -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 
1800.07/1800.67	v -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 
1800.07/1800.67	v -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 
1800.07/1800.67	v -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 
1800.07/1800.67	v -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 
1800.07/1800.67	v -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 
1800.07/1800.67	v -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 
1800.07/1800.67	v -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 
1800.07/1800.67	v -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 
1800.07/1800.67	v -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 
1800.07/1800.67	v -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 
1800.07/1800.67	v -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 
1800.07/1800.67	v -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 
1800.07/1800.67	v -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 
1800.07/1800.67	v -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 
1800.07/1800.67	v -x333 -x331 -x329 x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 
1800.07/1800.67	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.67	c Solving Time       :    1763.14
1800.07/1800.67	c Original Problem   :
1800.07/1800.67	c   Problem name     : HOME/instance-2666800-1276635702.opb
1800.07/1800.67	c   Variables        : 11334 (11334 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.67	c   Constraints      : 36509 initial, 36509 maximal
1800.07/1800.67	c Presolved Problem  :
1800.07/1800.67	c   Problem name     : t_HOME/instance-2666800-1276635702.opb
1800.07/1800.67	c   Variables        : 4743 (4743 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.67	c   Constraints      : 20604 initial, 21288 maximal
1800.07/1800.67	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.67	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.67	c   dualfix          :       0.03          1          0          0          0          0          0          0          0
1800.07/1800.67	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.67	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.67	c   implics          :       0.01          0          9          0          0          0          0          0          0
1800.07/1800.67	c   probing          :       0.19          0          0          0          0          0          0          0          0
1800.07/1800.67	c   linear           :       0.43       1065       5516          0       1065          0      15905          0          0
1800.07/1800.67	c   logicor          :       0.11          0          0          0          0          0          0          0          0
1800.07/1800.67	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.67	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.67	c   integral         :          0          0          0          1          0          0          0          0          0          2
1800.07/1800.67	c   logicor          :      20604+        10    1733331          0          0     180595    3102571          0          0          0
1800.07/1800.67	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.67	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.67	c   integral         :      33.94       0.00       0.00      33.94       0.00
1800.07/1800.67	c   logicor          :     375.93       0.04     375.89       0.00       0.00
1800.07/1800.67	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.67	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.67	c   vbounds          :       1.82          2          0          0
1800.07/1800.67	c   rootredcost      :       2.09          0          0          0
1800.07/1800.67	c   pseudoobj        :    1081.75    2854879     202253    2688159
1800.07/1800.67	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.67	c   propagation      :     335.76     382848     382848     382848       43.0      23631       39.3          -
1800.07/1800.67	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.67	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.67	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.67	c   pseudo solution  :       8.27       5452       5452       5452       40.9        536       48.9          -
1800.07/1800.67	c   applied globally :          -          -          -     412467       42.8          -          -          -
1800.07/1800.67	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.67	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.67	c   cut pool         :       0.00          9          -          -         50          -    (maximal pool size: 243)
1800.07/1800.67	c   redcost          :       0.00         11          0          0          0          0
1800.07/1800.67	c   impliedbounds    :       0.02         11          0          0          0          0
1800.07/1800.67	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.67	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.67	c   gomory           :      38.28         11          0          0       1500          0
1800.07/1800.67	c   strongcg         :      33.01         11          0          0       2360          0
1800.07/1800.67	c   cmir             :       2.44         10          0          0          0          0
1800.07/1800.67	c   flowcover        :       2.86         10          0          0          0          0
1800.07/1800.67	c   clique           :       0.04         11          0          0         56          0
1800.07/1800.67	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.67	c   mcf              :       0.04          1          0          0          0          0
1800.07/1800.67	c   rapidlearning    :       0.00          0          0          0          0          0
1800.07/1800.67	c Pricers            :       Time      Calls       Vars
1800.07/1800.67	c   problem variables:       0.00          0          0
1800.07/1800.67	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.67	c   relpscost        :      33.94          1          0          0          0          0          2
1800.07/1800.67	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.67	c   inference        :      37.38     627808          0          0          0          0    1255616
1800.07/1800.67	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.67	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.67	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.67	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.67	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.67	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.67	c   LP solutions     :       0.00          -          0
1800.07/1800.67	c   pseudo solutions :       0.00          -          0
1800.07/1800.67	c   crossover        :       0.00          0          0
1800.07/1800.67	c   oneopt           :       0.93          4          0
1800.07/1800.67	c   trivial          :       0.03          2          0
1800.07/1800.67	c   simplerounding   :       0.00          0          0
1800.07/1800.67	c   zirounding       :       0.01          1          0
1800.07/1800.67	c   rounding         :       0.09         10          2
1800.07/1800.67	c   shifting         :       0.11         10          1
1800.07/1800.67	c   intshifting      :       0.00          0          0
1800.07/1800.67	c   twoopt           :       0.00          0          0
1800.07/1800.67	c   fixandinfer      :       0.00          0          0
1800.07/1800.67	c   feaspump         :       0.00          0          0
1800.07/1800.67	c   coefdiving       :       0.00          0          0
1800.07/1800.67	c   pscostdiving     :       0.00          0          0
1800.07/1800.67	c   fracdiving       :       0.00          0          0
1800.07/1800.67	c   veclendiving     :       0.00          0          0
1800.07/1800.67	c   intdiving        :       0.00          0          0
1800.07/1800.67	c   actconsdiving    :       0.00          0          0
1800.07/1800.67	c   objpscostdiving  :       0.00          0          0
1800.07/1800.67	c   rootsoldiving    :       0.00          0          0
1800.07/1800.67	c   linesearchdiving :       0.00          0          0
1800.07/1800.67	c   guideddiving     :       0.00          0          0
1800.07/1800.67	c   octane           :       0.00          0          0
1800.07/1800.67	c   rens             :       1.50          1          1
1800.07/1800.67	c   rins             :       0.00          0          0
1800.07/1800.67	c   localbranching   :       0.00          0          0
1800.07/1800.67	c   mutation         :       0.00          0          0
1800.07/1800.67	c   dins             :       0.00          0          0
1800.07/1800.67	c   undercover       :       0.00          0          0
1800.07/1800.67	c   nlp              :       0.69          0          0
1800.07/1800.67	c   trysol           :       0.31          0          0
1800.07/1800.67	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.67	c   primal LP        :       0.02          0          0       0.00       0.00
1800.07/1800.67	c   dual LP          :       3.41         10       2109     210.90     618.48
1800.07/1800.67	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.67	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.67	c   diving/probing LP:       0.00          0          0       0.00          -
1800.07/1800.67	c   strong branching :      33.94         29      12701     437.97     374.22
1800.07/1800.67	c     (at root node) :          -         29      12701     437.97          -
1800.07/1800.67	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.67	c B&B Tree           :
1800.07/1800.67	c   number of runs   :          1
1800.07/1800.68	c   nodes            :     809820
1800.07/1800.68	c   nodes (total)    :     809820
1800.07/1800.68	c   nodes left       :        526
1800.07/1800.68	c   max depth        :        588
1800.07/1800.68	c   max depth (total):        588
1800.07/1800.68	c   backtracks       :     247776 (30.6%)
1800.07/1800.68	c   delayed cutoffs  :     300930
1800.07/1800.68	c   repropagations   :     835612 (2468853 domain reductions, 206289 cutoffs)
1800.07/1800.68	c   avg switch length:       3.26
1800.07/1800.68	c   switching time   :      66.49
1800.07/1800.68	c Solution           :
1800.07/1800.68	c   Solutions found  :          4 (4 improvements)
1800.07/1800.68	c   First Solution   : +7.10000000000001e+01   (in run 1, after 1 nodes, 1.93 seconds, depth 0, found by <shifting>)
1800.07/1800.68	c   Primal Bound     : +2.80000000000000e+01   (in run 1, after 1 nodes, 73.91 seconds, depth 0, found by <rens>)
1800.07/1800.68	c   Dual Bound       : +2.49521756751778e+01
1800.07/1800.68	c   Gap              :      12.21 %
1800.07/1800.68	c   Root Dual Bound  : +2.48082236707770e+01
1800.07/1800.68	c   Root Iterations  :       2109
1800.26/1800.86	c Time complete: 1800.32.

Verifier Data 

OK	28

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666800-1276635702/watcher-2666800-1276635702 -o /tmp/evaluation-result-2666800-1276635702/solver-2666800-1276635702 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666800-1276635702.opb -t 1800 -m 1800 

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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.86 1.98 1.84 3/106 11664
/proc/meminfo: memFree=1818348/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=6696 CPUtime=0
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 986 0 0 0 0 0 0 0 18 0 1 0 4858236 6856704 906 1992294400 4194304 8223781 140737204260560 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11664/statm: 1674 906 343 984 0 687 0

[startup+0.0322781 s]
/proc/loadavg: 1.86 1.98 1.84 3/106 11664
/proc/meminfo: memFree=1818348/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=13860 CPUtime=0.02
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 2777 0 0 0 2 0 0 0 20 0 1 0 4858236 14192640 2696 1992294400 4194304 8223781 140737204260560 18446744073709551615 4664838 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11664/statm: 3465 2696 363 984 0 2478 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13860

[startup+0.101286 s]
/proc/loadavg: 1.86 1.98 1.84 3/106 11664
/proc/meminfo: memFree=1818348/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=17576 CPUtime=0.09
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3732 0 0 0 8 1 0 0 20 0 1 0 4858236 17997824 3651 1992294400 4194304 8223781 140737204260560 18446744073709551615 4680884 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11664/statm: 4394 3651 365 984 0 3407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17576

[startup+0.301313 s]
/proc/loadavg: 1.86 1.98 1.84 3/106 11664
/proc/meminfo: memFree=1818348/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=23820 CPUtime=0.3
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 5294 0 0 0 28 2 0 0 20 0 1 0 4858236 24391680 5213 1992294400 4194304 8223781 140737204260560 18446744073709551615 7247022 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11664/statm: 5955 5213 365 984 0 4968 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23820

[startup+0.700371 s]
/proc/loadavg: 1.86 1.98 1.84 3/106 11664
/proc/meminfo: memFree=1818348/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=39432 CPUtime=0.69
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 9461 0 0 0 66 3 0 0 21 0 1 0 4858236 40378368 9016 1992294400 4194304 8223781 140737204260560 18446744073709551615 4682883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 9858 9016 380 984 0 8871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39432

[startup+1.50048 s]
/proc/loadavg: 1.86 1.98 1.84 2/107 11665
/proc/meminfo: memFree=1754108/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=79880 CPUtime=1.49
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 20513 0 0 0 135 14 0 0 23 0 1 0 4858236 81797120 18737 1992294400 4194304 8223781 140737204260560 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 19970 18737 453 984 0 18983 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79880

[startup+3.10071 s]
/proc/loadavg: 1.86 1.98 1.84 2/107 11665
/proc/meminfo: memFree=1721000/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=108072 CPUtime=3.09
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 40885 0 0 0 282 27 0 0 25 0 1 0 4858236 110665728 25430 1992294400 4194304 8223781 140737204260560 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 27018 25437 544 984 0 26031 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108072

[startup+6.30116 s]
/proc/loadavg: 1.79 1.96 1.84 2/107 11665
/proc/meminfo: memFree=1706740/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=120628 CPUtime=6.28
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 94809 0 0 0 585 43 0 0 25 0 1 0 4858236 123523072 28359 1992294400 4194304 8223781 140737204260560 18446744073709551615 6035957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 30157 28359 570 984 0 29170 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 120628

[startup+12.7011 s]
/proc/loadavg: 1.73 1.94 1.83 2/107 11665
/proc/meminfo: memFree=1698804/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=128288 CPUtime=12.68
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 174207 0 0 0 1196 72 0 0 25 0 1 0 4858236 131366912 30263 1992294400 4194304 8223781 140737204260560 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32072 30275 570 984 0 31085 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 128288

[startup+25.5019 s]
/proc/loadavg: 1.57 1.90 1.82 2/107 11665
/proc/meminfo: memFree=1698680/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=128812 CPUtime=25.48
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 716193 0 0 0 2302 246 0 0 25 0 1 0 4858236 131903488 30268 1992294400 4194304 8223781 140737204260560 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32203 30268 570 984 0 31216 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 128812

[startup+51.1015 s]
/proc/loadavg: 1.37 1.82 1.79 2/107 11667
/proc/meminfo: memFree=1697564/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=130116 CPUtime=51.08
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 1717217 0 0 0 4544 564 0 0 25 0 1 0 4858236 133238784 30540 1992294400 4194304 8223781 140737204260560 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32529 30540 570 984 0 31542 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 130116

[startup+102.309 s]
/proc/loadavg: 1.16 1.69 1.75 2/107 11669
/proc/meminfo: memFree=1696696/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=130868 CPUtime=102.26
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3421206 0 0 0 9094 1132 0 0 25 0 1 0 4858236 134008832 30738 1992294400 4194304 8223781 140737204260560 18446744073709551615 6446805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32717 30738 594 984 0 31730 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 130868

[startup+162.301 s]
/proc/loadavg: 1.06 1.56 1.70 2/107 11669
/proc/meminfo: memFree=1697192/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=130816 CPUtime=162.24
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446302 0 0 0 15020 1204 0 0 25 0 1 0 4858236 133955584 30670 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32704 30670 596 984 0 31717 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 130816

[startup+222.302 s]
/proc/loadavg: 1.02 1.46 1.65 2/107 11671
/proc/meminfo: memFree=1696944/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131080 CPUtime=222.23
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446367 0 0 0 20932 1291 0 0 25 0 1 0 4858236 134225920 30735 1992294400 4194304 8223781 140737204260560 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32770 30735 596 984 0 31783 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 131080

[startup+282.301 s]
/proc/loadavg: 1.00 1.37 1.61 2/107 11673
/proc/meminfo: memFree=1696572/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131348 CPUtime=282.21
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446432 0 0 0 26839 1382 0 0 25 0 1 0 4858236 134500352 30800 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32837 30800 596 984 0 31850 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 131348

[startup+342.302 s]
/proc/loadavg: 1.00 1.30 1.57 2/107 11675
/proc/meminfo: memFree=1696448/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131348 CPUtime=342.2
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446446 0 0 0 32750 1470 0 0 25 0 1 0 4858236 134500352 30814 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507467 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32837 30814 596 984 0 31850 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 131348

[startup+402.301 s]
/proc/loadavg: 1.00 1.24 1.53 2/107 11675
/proc/meminfo: memFree=1696324/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131348 CPUtime=402.17
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446447 0 0 0 38657 1560 0 0 25 0 1 0 4858236 134500352 30815 1992294400 4194304 8223781 140737204260560 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32837 30815 596 984 0 31850 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 131348

[startup+462.302 s]
/proc/loadavg: 1.00 1.20 1.50 2/107 11677
/proc/meminfo: memFree=1696324/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131348 CPUtime=462.16
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446453 0 0 0 44572 1644 0 0 25 0 1 0 4858236 134500352 30821 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32837 30821 596 984 0 31850 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 131348

[startup+522.301 s]
/proc/loadavg: 1.00 1.16 1.46 2/107 11679
/proc/meminfo: memFree=1696200/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131484 CPUtime=522.13
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446462 0 0 0 50484 1729 0 0 25 0 1 0 4858236 134639616 30830 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32871 30830 596 984 0 31884 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 131484

[startup+582.302 s]
/proc/loadavg: 1.00 1.13 1.43 2/107 11681
/proc/meminfo: memFree=1696076/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131484 CPUtime=582.13
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446476 0 0 0 56397 1816 0 0 25 0 1 0 4858236 134639616 30844 1992294400 4194304 8223781 140737204260560 18446744073709551615 4434049 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32871 30844 596 984 0 31884 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 131484

[startup+642.301 s]
/proc/loadavg: 1.00 1.10 1.40 2/107 11683
/proc/meminfo: memFree=1695952/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131484 CPUtime=642.11
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446485 0 0 0 62307 1904 0 0 25 0 1 0 4858236 134639616 30853 1992294400 4194304 8223781 140737204260560 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32871 30853 596 984 0 31884 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 131484

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.07 1.05 1.30 2/107 11689
/proc/meminfo: memFree=1695456/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131636 CPUtime=882.03
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446504 0 0 0 85941 2262 0 0 25 0 1 0 4858236 134795264 30872 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32909 30872 596 984 0 31922 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 131636

[startup+942.301 s]
/proc/loadavg: 1.02 1.04 1.28 2/107 11691
/proc/meminfo: memFree=1695332/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131636 CPUtime=942.01
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446518 0 0 0 91848 2353 0 0 25 0 1 0 4858236 134795264 30886 1992294400 4194304 8223781 140737204260560 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32909 30886 596 984 0 31922 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 131636

[startup+1002.3 s]
/proc/loadavg: 1.01 1.03 1.26 2/107 11691
/proc/meminfo: memFree=1695208/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131636 CPUtime=1001.99
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446523 0 0 0 97751 2448 0 0 25 0 1 0 4858236 134795264 30891 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32909 30891 596 984 0 31922 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 131636

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.24 2/107 11693
/proc/meminfo: memFree=1695208/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131636 CPUtime=1061.97
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446530 0 0 0 103660 2537 0 0 25 0 1 0 4858236 134795264 30898 1992294400 4194304 8223781 140737204260560 18446744073709551615 4704207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32909 30898 596 984 0 31922 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 131636

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.23 2/107 11695
/proc/meminfo: memFree=1695084/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131636 CPUtime=1121.96
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446532 0 0 0 109571 2625 0 0 25 0 1 0 4858236 134795264 30900 1992294400 4194304 8223781 140737204260560 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32909 30900 596 984 0 31922 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 131636

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/107 11697
/proc/meminfo: memFree=1694960/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1181.94
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446534 0 0 0 115482 2712 0 0 25 0 1 0 4858236 134934528 30902 1992294400 4194304 8223781 140737204260560 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30902 596 984 0 31956 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 131772

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/107 11699
/proc/meminfo: memFree=1694712/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1241.92
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446537 0 0 0 121387 2805 0 0 25 0 1 0 4858236 134934528 30905 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30905 596 984 0 31956 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 131772

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/107 11701
/proc/meminfo: memFree=1694588/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1301.92
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446542 0 0 0 127300 2892 0 0 25 0 1 0 4858236 134934528 30910 1992294400 4194304 8223781 140737204260560 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30910 596 984 0 31956 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 131772

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/107 11701
/proc/meminfo: memFree=1694588/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1361.89
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446542 0 0 0 133204 2985 0 0 25 0 1 0 4858236 134934528 30910 1992294400 4194304 8223781 140737204260560 18446744073709551615 5506134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30910 596 984 0 31956 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 131772

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 11703
/proc/meminfo: memFree=1694464/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1421.88
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446542 0 0 0 139112 3076 0 0 25 0 1 0 4858236 134934528 30910 1992294400 4194304 8223781 140737204260560 18446744073709551615 4703855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30910 596 984 0 31956 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 131772

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/107 11705
/proc/meminfo: memFree=1694464/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1481.85
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446542 0 0 0 145019 3166 0 0 25 0 1 0 4858236 134934528 30910 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30910 596 984 0 31956 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 131772

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/107 11707
/proc/meminfo: memFree=1694340/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1541.84
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446550 0 0 0 150936 3248 0 0 25 0 1 0 4858236 134934528 30918 1992294400 4194304 8223781 140737204260560 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30918 596 984 0 31956 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 131772

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 11707
/proc/meminfo: memFree=1694340/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1601.82
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446552 0 0 0 156842 3340 0 0 25 0 1 0 4858236 134934528 30920 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507467 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30920 596 984 0 31956 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 131772

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 11709
/proc/meminfo: memFree=1694216/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1661.8
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446555 0 0 0 162750 3430 0 0 25 0 1 0 4858236 134934528 30923 1992294400 4194304 8223781 140737204260560 18446744073709551615 5506163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30923 596 984 0 31956 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 131772

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 11711
/proc/meminfo: memFree=1693968/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1721.78
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446556 0 0 0 168660 3518 0 0 25 0 1 0 4858236 134934528 30924 1992294400 4194304 8223781 140737204260560 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30924 596 984 0 31956 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 131772

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 11713
/proc/meminfo: memFree=1693720/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1781.76
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446557 0 0 0 174573 3603 0 0 25 0 1 0 4858236 134934528 30925 1992294400 4194304 8223781 140737204260560 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30925 596 984 0 31956 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 131772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 11713
/proc/meminfo: memFree=1693720/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=131772 CPUtime=1800.07
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446560 0 0 0 176379 3628 0 0 25 0 1 0 4858236 134934528 30928 1992294400 4194304 8223781 140737204260560 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11664/statm: 32943 30928 596 984 0 31956 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 131772

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 11713
/proc/meminfo: memFree=1693720/2059040 swapFree=4144492/4192956
[pid=11664] ppid=11662 vsize=122816 CPUtime=1800.26
/proc/11664/stat : 11664 (pbscip.linux.x8) R 11662 11664 11469 0 -1 4202496 3446659 0 0 0 176397 3629 0 0 25 0 1 0 4858236 125763584 28695 1992294400 4194304 8223781 140737204260560 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11664/statm: 30704 28695 598 984 0 29717 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 122816

Child status: 0
Real time (s): 1800.86
CPU time (s): 1800.33
CPU user time (s): 1764.02
CPU system time (s): 36.3075
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 168820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.02
system time used= 36.3075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3446663
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= 11
involuntary context switches= 7001

runsolver used 2.90356 second user time and 8.59169 second system time

The end

Launcher Data 

Begin job on node049 at 2010-06-15 23:01:42
IDJOB=2666800
IDBENCH=24995
IDSOLVER=1169
FILE ID=node049/2666800-1276635702
PBS_JOBID= 11172395
Free space on /tmp= 62524 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_007_area_delay.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666800-1276635702/watcher-2666800-1276635702 -o /tmp/evaluation-result-2666800-1276635702/solver-2666800-1276635702 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666800-1276635702.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 22488dc65cdc0686edc96d304bd4d620
RANDOM SEED=1582403403

node049.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
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.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1819000 kB
Buffers:         49996 kB
Cached:          96932 kB
SwapCached:       5312 kB
Active:          88200 kB
Inactive:        75196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1819000 kB
SwapTotal:     4192956 kB
SwapFree:      4144492 kB
Dirty:            5672 kB
Writeback:           0 kB
AnonPages:       14064 kB
Mapped:          13084 kB
Slab:            54756 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62520 MiB
End job on node049 at 2010-06-15 23:31:45