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