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