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) | 26 | 1800.22 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb |
| MD5SUM | 11f76d5c4a01da95c686f09380ec8e85 |
| 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 | 25 |
| Best CPU time to get the best result obtained on this benchmark | 18.2202 |
| 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 | 9709 |
| Total number of constraints | 29891 |
| Number of constraints which are clauses | 29891 |
| 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 | 4768 |
| 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 | 4768 |
| 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 | 4768 |
| 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-2665353-1276631637.opb>
0.49/0.52 c original problem has 9709 variables (9709 bin, 0 int, 0 impl, 0 cont) and 29891 constraints
0.49/0.52 c problem read
0.49/0.53 c presolving settings loaded
0.59/0.69 c presolving:
0.90/0.98 c (round 1) 5637 del vars, 10322 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 47994 impls, 0 clqs
0.99/1.01 c (round 2) 5637 del vars, 12347 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 47994 impls, 0 clqs
1.19/1.21 c (round 3) 5637 del vars, 12347 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 17501 upgd conss, 47994 impls, 0 clqs
1.19/1.26 c (round 4) 5637 del vars, 12347 del conss, 944 chg bounds, 0 chg sides, 0 chg coeffs, 17544 upgd conss, 47994 impls, 0 clqs
1.39/1.45 c (0.8s) probing: 101/4072 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.45 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.39/1.45 c presolving (5 rounds):
1.39/1.45 c 5637 deleted vars, 12347 deleted constraints, 944 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.45 c 47994 implications, 0 cliques
1.39/1.45 c presolved problem has 4072 variables (4072 bin, 0 int, 0 impl, 0 cont) and 17544 constraints
1.39/1.45 c 17544 constraints of type <logicor>
1.39/1.45 c transformed objective value is always integral (scale: 1)
1.39/1.45 c Presolving Time: 0.73
1.39/1.45 c - non default parameters ----------------------------------------------------------------------
1.39/1.45 c # SCIP version 1.2.1.2
1.39/1.45 c
1.39/1.45 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.39/1.45 c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.45 c conflict/interconss = 0
1.39/1.45 c
1.39/1.45 c # should binary conflicts be preferred?
1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.45 c conflict/preferbinary = TRUE
1.39/1.45 c
1.39/1.45 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.39/1.45 c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.45 c constraints/agelimit = 1
1.39/1.45 c
1.39/1.45 c # should enforcement of pseudo solution be disabled?
1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.45 c constraints/disableenfops = TRUE
1.39/1.45 c
1.39/1.45 c # frequency for displaying node information lines
1.39/1.45 c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.45 c display/freq = 10000
1.39/1.45 c
1.39/1.45 c # maximal time in seconds to run
1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.45 c limits/time = 1799.48
1.39/1.45 c
1.39/1.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.45 c limits/memory = 1620
1.39/1.45 c
1.39/1.45 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.39/1.45 c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.45 c lp/solvefreq = 0
1.39/1.45 c
1.39/1.45 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.39/1.45 c # [type: char, range: {lafpsqd}, default: l]
1.39/1.45 c lp/pricing = a
1.39/1.45 c
1.39/1.45 c # should presolving try to simplify inequalities
1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.45 c constraints/linear/simplifyinequalities = TRUE
1.39/1.45 c
1.39/1.45 c # should presolving try to simplify knapsacks
1.39/1.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.45 c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.45 c
1.39/1.45 c # priority of node selection rule <dfs> in standard mode
1.39/1.45 c # [type: int, range: [-536870912,536870911], default: 0]
1.39/1.45 c nodeselection/dfs/stdpriority = 1000000
1.39/1.45 c
1.39/1.45 c -----------------------------------------------------------------------------------------------
1.39/1.45 c start solving
1.39/1.46 c
1.89/1.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.95 c 1.3s| 1 | 0 | 642 | - | 44M| 0 | 252 |4072 | 17k|4072 | 17k| 0 | 0 | 0 | 2.324561e+01 | -- | Inf
1.89/1.97 o 62
1.89/1.97 c s 1.3s| 1 | 0 | 642 | - | 44M| 0 | 252 |4072 | 17k|4072 | 17k| 0 | 0 | 0 | 2.324561e+01 | 6.200000e+01 | 166.72%
2.89/2.95 c 2.2s| 1 | 0 | 790 | - | 45M| 0 | 242 |4072 | 17k|4072 | 17k| 4 | 0 | 0 | 2.342500e+01 | 6.200000e+01 | 164.67%
2.89/2.96 o 61
2.89/2.96 c b 2.3s| 1 | 0 | 790 | - | 45M| 0 | 242 |4072 | 17k|4072 | 17k| 4 | 0 | 0 | 2.342500e+01 | 6.100000e+01 | 160.41%
2.89/2.98 o 58
2.89/2.98 c s 2.3s| 1 | 0 | 790 | - | 45M| 0 | 242 |4072 | 17k|4072 | 17k| 4 | 0 | 0 | 2.342500e+01 | 5.800000e+01 | 147.60%
4.09/4.16 c 3.5s| 1 | 0 | 932 | - | 45M| 0 | 273 |4072 | 17k|4072 | 17k| 10 | 0 | 0 | 2.351549e+01 | 5.800000e+01 | 146.65%
4.09/4.18 o 57
4.09/4.18 c b 3.5s| 1 | 0 | 932 | - | 46M| 0 | 273 |4072 | 17k|4072 | 17k| 10 | 0 | 0 | 2.351549e+01 | 5.700000e+01 | 142.39%
6.89/6.95 c 6.2s| 1 | 0 | 994 | - | 46M| 0 | 220 |4072 | 17k|4072 | 17k| 14 | 0 | 0 | 2.352923e+01 | 5.700000e+01 | 142.25%
8.89/8.98 c 8.2s| 1 | 0 | 1087 | - | 47M| 0 | 283 |4072 | 17k|4072 | 17k| 20 | 0 | 0 | 2.354592e+01 | 5.700000e+01 | 142.08%
12.29/12.31 c 11.5s| 1 | 0 | 1171 | - | 47M| 0 | 231 |4072 | 17k|4072 | 17k| 23 | 0 | 0 | 2.357103e+01 | 5.700000e+01 | 141.82%
17.39/17.46 c 16.6s| 1 | 0 | 1247 | - | 47M| 0 | 213 |4072 | 17k|4072 | 17k| 27 | 0 | 0 | 2.358412e+01 | 5.700000e+01 | 141.69%
21.99/22.02 c 21.2s| 1 | 0 | 1384 | - | 47M| 0 | 255 |4072 | 17k|4072 | 17k| 31 | 0 | 0 | 2.359461e+01 | 5.700000e+01 | 141.58%
27.28/27.31 c 26.4s| 1 | 0 | 1572 | - | 47M| 0 | 294 |4072 | 17k|4072 | 17k| 34 | 0 | 0 | 2.375000e+01 | 5.700000e+01 | 140.00%
32.99/33.02 c 32.1s| 1 | 0 | 1609 | - | 47M| 0 | 291 |4072 | 17k|4072 | 17k| 38 | 0 | 0 | 2.375000e+01 | 5.700000e+01 | 140.00%
39.18/39.27 c 38.3s| 1 | 0 | 1663 | - | 47M| 0 | 273 |4072 | 17k|4072 | 17k| 43 | 0 | 0 | 2.375000e+01 | 5.700000e+01 | 140.00%
44.28/44.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.28/44.35 c 43.4s| 1 | 0 | 1674 | - | 47M| 0 | 284 |4072 | 17k|4072 | 17k| 45 | 0 | 0 | 2.375000e+01 | 5.700000e+01 | 140.00%
49.98/50.03 c 49.0s| 1 | 0 | 1726 | - | 47M| 0 | 256 |4072 | 17k|4072 | 17k| 49 | 0 | 0 | 2.375000e+01 | 5.700000e+01 | 140.00%
55.18/55.24 c 54.2s| 1 | 0 | 1739 | - | 47M| 0 | 255 |4072 | 17k|4072 | 17k| 53 | 0 | 0 | 2.375000e+01 | 5.700000e+01 | 140.00%
56.78/56.83 o 26
56.78/56.83 c E55.7s| 1 | 0 | 1739 | - | 48M| 0 | 255 |4072 | 17k|4072 | 17k| 53 | 0 | 0 | 2.375000e+01 | 2.600000e+01 | 9.47%
56.78/56.86 c 55.7s| 1 | 0 | 1739 | - | 48M| 0 | 255 |4072 | 17k|4072 | 17k| 53 | 0 | 0 | 2.375000e+01 | 2.600000e+01 | 9.47%
61.78/61.88 c 60.7s| 1 | 0 | 1763 | - | 48M| 0 | 250 |4072 | 17k|4072 | 17k| 56 | 0 | 0 | 2.375000e+01 | 2.600000e+01 | 9.47%
84.68/84.73 c 83.2s| 1 | 0 | 1867 | - | 48M| 0 | 226 |4072 | 17k|4072 | 17k| 56 | 0 | 25 | 2.375000e+01 | 2.600000e+01 | 9.47%
88.87/88.98 c 87.5s| 1 | 0 | 1961 | - | 48M| 0 | 231 |4072 | 17k|4072 | 17k| 60 | 0 | 25 | 2.375000e+01 | 2.600000e+01 | 9.47%
103.57/103.61 c 102s| 1 | 2 | 1961 | - | 48M| 0 | 231 |4072 | 17k|4072 | 17k| 60 | 0 | 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
122.87/122.99 c 121s| 10000 | 500 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 |5832 | 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
142.16/142.22 c 140s| 20000 | 506 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 11k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
161.57/161.64 c 159s| 30000 | 500 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 17k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
181.66/181.79 c 179s| 40000 | 502 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 23k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
201.16/201.28 c 198s| 50000 | 492 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 29k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
220.65/220.71 c 217s| 60000 | 495 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 35k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
239.84/239.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.84/239.90 c 236s| 70000 | 496 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 41k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
258.14/258.25 c 254s| 80000 | 496 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 46k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
276.43/276.56 c 272s| 90000 | 494 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 52k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
295.74/295.82 c 291s|100000 | 490 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 58k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
314.03/314.15 c 309s|110000 | 493 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 64k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
332.72/332.87 c 327s|120000 | 493 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 69k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
350.62/350.74 c 345s|130000 | 492 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 75k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
369.11/369.29 c 363s|140000 | 486 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 81k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
388.01/388.19 c 381s|150000 | 489 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 87k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
407.31/407.42 c 400s|160000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 92k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
425.78/425.91 c 419s|170000 | 485 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 98k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
444.39/444.52 c 437s|180000 | 486 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 104k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
463.28/463.44 c 456s|190000 | 487 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 110k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
481.18/481.33 c 473s|200000 | 488 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 116k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
499.47/499.65 c 491s|210000 | 484 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 121k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
517.97/518.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.97/518.16 c 509s|220000 | 485 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 127k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
536.67/536.81 c 528s|230000 | 481 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 133k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
554.66/554.86 c 545s|240000 | 484 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 139k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
573.66/573.86 c 564s|250000 | 488 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 144k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
592.95/593.13 c 583s|260000 | 484 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 150k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
611.35/611.58 c 601s|270000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 156k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
629.34/629.57 c 619s|280000 | 484 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 161k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
648.04/648.21 c 637s|290000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 167k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
665.94/666.13 c 655s|300000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 173k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
684.43/684.64 c 673s|310000 | 486 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 178k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
703.03/703.26 c 691s|320000 | 485 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 184k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
722.23/722.41 c 710s|330000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 190k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
741.42/741.67 c 729s|340000 | 480 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 195k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
759.83/760.05 c 747s|350000 | 475 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 201k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
778.82/779.02 c 766s|360000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 207k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
797.61/797.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.61/797.87 c 784s|370000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 212k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
816.21/816.41 c 802s|380000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 218k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
835.50/835.78 c 822s|390000 | 478 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 224k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
855.10/855.36 c 841s|400000 | 478 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 230k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
873.39/873.69 c 859s|410000 | 480 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 236k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
892.09/892.36 c 877s|420000 | 477 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 242k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
910.59/910.88 c 895s|430000 | 476 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 247k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
929.38/929.60 c 914s|440000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 253k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
948.18/948.49 c 932s|450000 | 480 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 259k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
967.57/967.82 c 951s|460000 | 478 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 264k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
988.58/988.90 c 972s|470000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 270k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1006.86/1007.10 c 990s|480000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 276k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1024.76/1025.02 c 1008s|490000 | 489 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 281k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1043.16/1043.40 c 1026s|500000 | 477 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 287k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1062.95/1063.25 c 1045s|510000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 292k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1081.35/1081.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.35/1081.65 c 1063s|520000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 298k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1099.65/1099.98 c 1081s|530000 | 481 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 303k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1118.04/1118.31 c 1099s|540000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 309k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1136.84/1137.12 c 1118s|550000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 315k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1155.63/1155.92 c 1136s|560000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 320k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1173.73/1174.05 c 1154s|570000 | 481 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 325k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1192.32/1192.64 c 1172s|580000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 331k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1210.62/1210.94 c 1190s|590000 | 474 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 337k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1229.62/1229.97 c 1209s|600000 | 477 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 342k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1248.22/1248.51 c 1227s|610000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 348k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1265.91/1266.27 c 1245s|620000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 354k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1283.91/1284.21 c 1262s|630000 | 483 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 359k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1302.10/1302.43 c 1280s|640000 | 477 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 365k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1320.40/1320.78 c 1298s|650000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 370k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1339.50/1339.82 c 1317s|660000 | 478 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 376k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1358.20/1358.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1358.20/1358.58 c 1335s|670000 | 480 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 381k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1376.59/1376.99 c 1354s|680000 | 478 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 387k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1395.18/1395.55 c 1372s|690000 | 475 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 393k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1414.68/1415.08 c 1391s|700000 | 481 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 399k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1434.37/1434.74 c 1410s|710000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 405k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1453.06/1453.46 c 1429s|720000 | 474 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 410k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1473.17/1473.58 c 1448s|730000 | 475 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 416k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1492.96/1493.35 c 1468s|740000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 421k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1513.56/1513.92 c 1488s|750000 | 474 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 427k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1534.45/1534.89 c 1509s|760000 | 480 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 433k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1553.75/1554.12 c 1528s|770000 | 474 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 438k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1573.14/1573.54 c 1547s|780000 | 471 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 444k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1591.84/1592.28 c 1565s|790000 | 484 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 449k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1612.03/1612.41 c 1585s|800000 | 482 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 455k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1631.53/1631.95 c 1604s|810000 | 480 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 460k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1650.93/1651.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.93/1651.33 c 1623s|820000 | 477 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 466k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1670.72/1671.15 c 1643s|830000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 471k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1690.52/1690.90 c 1662s|840000 | 475 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 477k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1711.22/1711.63 c 1683s|850000 | 479 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 483k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1730.71/1731.15 c 1702s|860000 | 484 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 488k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1749.51/1749.91 c 1720s|870000 | 475 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 494k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1769.80/1770.27 c 1740s|880000 | 472 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 499k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1788.00/1788.47 c 1758s|890000 | 474 | 1961 | 0.0 | 48M| 533 | - |4072 | 17k| 0 | 0 | 60 | 505k| 43 | 2.375000e+01 | 2.600000e+01 | 9.47%
1800.00/1800.40 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.40 c
1800.00/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.40 c Solving Time (sec) : 1769.84
1800.00/1800.40 c Solving Nodes : 896088
1800.00/1800.40 c Primal Bound : +2.60000000000000e+01 (5 solutions)
1800.00/1800.40 c Dual Bound : +2.37500000000000e+01
1800.00/1800.40 c Gap : 9.47 %
1800.00/1800.45 s SATISFIABLE
1800.00/1800.45 v x256 -x255 -x9705 x254 -x9702 -x9700 -x253 -x9697 -x252 -x9694 -x9692 -x9690 -x9687 -x9685 -x251 -x9683 -x250 -x9679 x249 x9677
1800.00/1800.45 v -x9675 -x248 -x9673 -x9671 -x9669 -x9667 -x9665 -x9663 -x9661 -x247 -x9659 -x9656 x246 -x9654 -x9652 -x9650 -x9648 -x9645 -x9643
1800.00/1800.45 v -x245 -x9641 -x9639 -x9637 -x9635 -x9633 -x9631 -x9629 -x244 -x9627 -x9625 -x9623 -x9621 -x9619 -x9617 -x9615 -x9613 -x9611
1800.00/1800.45 v -x9609 -x9607 -x9605 -x9603 -x243 -x9601 -x242 -x9597 -x241 -x9595 -x9593 -x9591 -x240 -x9589 -x9587 -x9585 -x9583 -x9581
1800.00/1800.45 v -x9579 -x9577 -x239 -x9575 -x9573 -x9571 -x238 -x9569 -x9567 -x9565 -x9563 -x9561 -x9559 -x9557 -x237 -x9555 -x9553 -x9551 x9549
1800.00/1800.45 v -x9547 -x9545 -x9543 x236 -x9541 -x9539 -x9537 -x9535 -x9533 -x9531 -x9529 -x9527 -x9525 -x9523 -x9521 -x9519 -x9517 -x9515
1800.00/1800.45 v -x9513 -x235 -x9511 -x9509 -x234 -x9506 -x9504 -x9502 -x9500 -x9497 -x9495 -x233 -x9493 -x9491 -x9489 -x9487 -x9485 -x9483
1800.00/1800.45 v -x9481 -x232 -x9479 -x9477 -x9475 -x9473 -x9471 -x9469 -x9467 -x9465 -x9463 -x9461 -x9459 -x9457 -x9455 -x9453 -x9451 -x231
1800.00/1800.45 v -x9449 -x9447 -x9445 -x9443 -x9441 -x9439 -x9437 -x230 -x9435 -x9433 -x9431 -x9429 -x9427 -x9425 -x9423 -x9421 -x9419 -x9417
1800.00/1800.45 v -x9415 -x9413 -x9411 -x9409 -x9407 -x229 -x9405 -x9403 -x9401 -x9399 -x9397 -x9395 -x9393 -x9391 -x9389 -x9387 -x9385 -x9383
1800.00/1800.45 v -x9381 -x9379 -x9377 -x228 -x9375 -x9373 -x9371 -x9369 -x9367 -x9365 -x9363 -x9361 -x9359 -x9357 -x9355 -x9353 -x9351 -x9349
1800.00/1800.45 v -x9347 -x9345 -x9343 -x9341 -x9339 -x9337 -x9335 -x9333 -x9331 -x9329 -x9327 -x9325 -x9323 -x9321 -x227 -x9319 x226 -x9315 -x225
1800.00/1800.45 v -x9313 x9311 -x9309 x224 -x9307 -x9305 -x9303 -x9301 -x9299 -x9297 -x9295 -x223 -x9293 -x9291 -x222 -x9289 -x9287 -x9285
1800.00/1800.45 v -x9283 -x9281 -x9279 -x9277 -x221 -x9275 -x9273 -x9271 -x9269 -x9267 -x9265 -x9263 -x220 -x9261 -x9259 -x9257 -x219 -x9255 -x9253
1800.00/1800.45 v -x9251 -x9249 -x9247 -x9245 -x9243 -x218 -x9241 -x9239 -x9237 -x9235 -x9233 -x9231 -x217 -x9229 -x9227 -x9225 -x9223 -x9221
1800.00/1800.45 v -x9219 -x9217 -x9215 -x9213 -x9211 -x9209 -x9207 -x9205 -x9203 -x9201 -x216 -x9199 -x9197 -x9195 -x9193 -x9191 -x9189 -x9187
1800.00/1800.45 v -x215 -x9185 -x9183 -x9181 -x9179 -x9177 -x9175 -x9173 -x9171 -x9169 -x9167 -x9165 -x9163 -x9161 -x9159 -x9157 -x214 -x9155
1800.00/1800.45 v -x9153 -x9151 -x9149 -x9147 -x9145 -x9143 -x9141 -x9139 -x9137 -x9135 -x9133 -x9131 -x9129 -x213 -x9127 -x9124 -x212 -x9122
1800.00/1800.45 v -x9119 -x9117 -x9115 -x9113 -x9111 -x211 -x9109 -x9107 -x9105 -x9103 -x9101 -x9099 -x9097 -x210 -x9095 -x9093 -x9091 -x9089
1800.00/1800.45 v -x9087 -x9085 -x9083 -x9081 -x9079 -x9077 -x9075 -x9073 -x9071 -x9069 -x9067 -x209 -x9065 -x9063 -x9061 -x9059 -x9057 -x9055
1800.00/1800.45 v -x9053 -x208 -x9051 -x9049 -x9047 -x9045 -x9043 -x9041 -x9039 -x9037 -x9035 -x9033 -x9031 -x9029 -x9027 -x9025 -x9023 -x207
1800.00/1800.45 v -x9021 -x9019 -x9017 -x9015 -x9013 -x9011 -x9009 -x9007 -x9005 -x9003 -x9001 -x8999 -x8997 -x8995 -x8993 -x206 -x8991 -x8989
1800.00/1800.45 v -x8987 -x8985 -x8983 -x8981 -x8979 -x205 -x8977 -x8975 -x8973 -x8971 -x8969 -x8967 -x8965 -x8963 -x8961 -x8959 -x8957 -x8955
1800.00/1800.45 v -x8953 -x8951 -x8949 -x204 -x8947 -x8945 -x8943 -x8941 -x8939 -x8937 -x8935 -x8933 -x8931 -x8929 -x8927 -x8925 -x8923 -x8921
1800.00/1800.45 v -x8919 -x203 -x8917 -x8915 -x8913 -x8911 -x8909 -x8907 -x8905 -x8903 -x8901 -x8899 -x8897 -x8895 -x8893 -x8891 -x8889 -x8887
1800.00/1800.45 v -x8885 -x8883 -x8881 -x8879 -x8877 -x8875 -x8873 -x8871 -x8869 -x8867 -x8865 -x8863 -x8861 -x8859 -x202 -x8857 -x8855 -x8853
1800.00/1800.45 v -x8851 -x8849 -x8847 -x8845 -x8843 -x8841 -x8839 -x8837 -x8835 -x8833 -x8831 -x8829 -x201 -x8827 -x8825 -x8823 -x8821 -x8819
1800.00/1800.45 v -x8817 -x8815 -x8813 -x8811 -x8809 -x8807 -x8805 -x8803 -x8801 -x8799 -x8797 -x8795 -x8793 -x8791 -x8789 -x8787 -x8785 -x8783
1800.00/1800.45 v -x8781 -x8779 -x8777 -x8775 -x8773 -x8771 -x8769 -x8767 -x200 -x8765 -x8763 -x8761 -x8759 -x8757 -x8755 -x8753 -x8751 -x8749
1800.00/1800.45 v -x8747 -x8745 -x8743 -x8741 -x8739 -x8737 -x8735 -x8733 -x8731 -x8729 -x8727 -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 -x8713
1800.00/1800.45 v -x8711 -x8709 -x8707 -x8705 -x199 -x8703 -x198 -x8700 -x8698 -x197 -x8695 -x8693 -x196 -x8691 -x8689 -x8687 -x8685 -x8683
1800.00/1800.45 v -x8681 -x8679 -x195 -x8677 -x8675 -x8673 -x194 -x8671 -x8669 -x8667 -x8665 -x8663 -x8661 -x8659 -x193 -x8657 -x8655 -x8653 -x8651
1800.00/1800.45 v -x8649 -x8647 -x8645 -x192 -x8643 -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629 -x8627 -x8625 -x8623 -x8621 -x8619 -x8617
1800.00/1800.45 v -x8615 -x191 -x8613 -x8611 -x8609 -x190 -x8607 -x8605 -x8603 -x8601 -x8599 -x8597 -x8595 -x189 -x8593 -x8591 -x8589 -x8587
1800.00/1800.45 v -x8585 -x8583 -x8581 -x188 -x8579 -x8577 -x8575 -x8573 -x8571 -x8569 -x8567 -x8565 -x8563 -x8561 -x8559 -x8557 -x8555 -x8553
1800.00/1800.45 v -x8551 -x187 -x8549 -x8547 -x8545 -x8543 -x8541 -x8539 -x8537 -x186 -x8535 -x8533 -x8531 -x8529 -x8527 -x8525 -x8523 -x8521
1800.00/1800.45 v -x8519 -x8517 -x8515 -x8513 -x8511 -x8509 -x8507 -x185 -x8505 -x8503 -x8501 -x8499 -x8497 -x8495 -x8493 -x8491 -x8489 -x8487
1800.00/1800.45 v -x8485 -x8483 -x8481 -x8479 -x8477 -x184 -x8475 -x8473 -x8471 -x183 -x8469 -x8467 -x8465 -x8463 -x8461 -x8459 -x8457 -x182
1800.00/1800.45 v -x8455 -x8453 -x8451 -x8449 -x8447 -x8445 -x8443 -x181 -x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 -x8427 -x8425 -x8423
1800.00/1800.45 v -x8421 -x8419 -x8417 -x8415 -x8413 -x180 -x8411 -x8409 -x8407 -x8405 -x8403 -x8401 -x8399 -x179 -x8397 -x8395 -x8393 -x8391 -x8389
1800.00/1800.45 v -x8387 -x8385 -x8383 -x8381 -x8379 -x8377 -x8375 -x8373 -x8371 -x8369 -x178 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 -x8355
1800.00/1800.45 v -x8353 -x8351 -x8349 -x8347 -x8345 -x8343 -x8341 -x8339 -x177 -x8337 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 -x8323 -x8321
1800.00/1800.45 v -x8319 -x8317 -x8315 -x8313 -x8311 -x8309 -x8307 -x8305 -x8303 -x8301 -x8299 x8297 -x8295 -x8293 -x8291 -x8289 -x8287 -x8285
1800.00/1800.45 v -x8283 -x8281 -x8279 -x8277 -x8275 -x8273 -x8271 -x8269 -x8267 -x8265 -x8263 -x176 -x8261 -x8259 -x8257 -x8255 -x8253 -x8251
1800.00/1800.45 v -x8249 -x8247 -x8245 -x8243 -x8241 -x8239 -x8237 x8235 -x8233 -x8231 -x8229 -x8227 -x8225 -x8223 -x8221 -x8219 -x8217 -x8215
1800.00/1800.45 v x8213 -x8211 -x8209 -x8207 -x8205 -x8203 -x8201 -x8198 -x8196 -x8194 -x8192 -x8190 -x8188 -x8186 -x8184 -x8182 -x8180 -x8178
1800.00/1800.45 v -x8176 -x8174 -x8172 -x8170 -x8168 -x8166 -x8164 -x8162 -x8160 -x8158 -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x8143
1800.00/1800.45 v -x175 -x8141 -x8139 -x8137 -x8135 -x8133 -x8131 -x8129 -x8127 -x8125 -x8123 -x8121 -x8119 -x8117 -x8115 -x8113 -x174 -x8111 -x8109
1800.00/1800.45 v -x8107 -x8105 -x8103 -x8101 -x8099 -x8097 -x8095 -x8093 -x8091 -x8089 -x8087 -x8085 -x8083 -x8081 -x8079 -x8077 -x8075
1800.00/1800.45 v -x8073 -x8071 -x8069 -x8066 -x8064 -x8062 -x8060 -x8058 -x8056 -x8054 -x8052 -x173 -x8050 -x8048 -x8046 -x8044 -x8042 -x8040
1800.00/1800.45 v -x8038 -x8036 -x8034 -x8032 -x8030 -x8028 -x8026 -x8024 -x8022 -x8020 -x8018 -x8016 -x8014 -x8012 -x8010 -x8008 -x8006 -x8004
1800.00/1800.45 v -x8002 -x8000 -x7998 -x7996 -x7994 -x7992 -x172 -x7989 -x171 -x7986 -x7984 -x7982 -x7980 -x7977 -x7975 -x170 -x7973 -x7971 -x7969
1800.00/1800.45 v -x7967 -x7965 -x7963 -x7961 -x169 -x7959 -x7957 -x7955 -x7953 -x7951 -x7949 -x7947 -x7945 -x7943 -x7941 -x7939 -x7937 -x7935
1800.00/1800.45 v -x7933 -x7931 -x168 -x7929 -x7927 -x7925 -x7923 -x7921 -x7919 -x7917 -x167 -x7915 -x7913 -x7911 -x7909 -x7907 -x7905 -x7903
1800.00/1800.45 v x7901 -x7899 -x7897 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7879 -x7877 -x7875 -x7873 -x7871 -x7869 -x7867
1800.00/1800.45 v -x7865 -x7863 -x7861 -x7859 -x7857 -x166 -x7855 -x7853 -x7851 -x7849 -x7847 -x7845 -x7843 -x165 -x7841 -x7839 -x7837 -x7835
1800.00/1800.45 v -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 -x7813 -x164 -x7811 -x7809 -x7807 -x7805 -x7803 -x7801
1800.00/1800.45 v -x7799 -x7797 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 -x7783 -x163 -x7781 -x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767
1800.00/1800.45 v -x7765 -x7763 -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 -x7735 -x7733 -x7731
1800.00/1800.45 v -x7729 -x7727 -x7725 -x7723 -x7721 -x162 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697
1800.00/1800.45 v -x7695 -x7693 -x7691 -x161 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7672 -x7670 -x7668 -x7666 -x7664 -x7662
1800.00/1800.45 v -x7660 -x7658 -x7656 -x7654 -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x160 -x7630 -x7628
1800.00/1800.45 v -x7626 -x7624 -x7622 -x7620 -x7618 -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592
1800.00/1800.45 v -x7590 -x7588 -x7586 -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x159 -x7568 -x7566 -x7564 -x7562 -x7560 -x7558
1800.00/1800.45 v -x7556 -x158 -x7554 -x7552 -x7550 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x7534 -x7532 -x7530 -x7528 -x7526 -x157
1800.00/1800.45 v -x7524 -x7522 -x7520 -x7518 -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x7498 -x7496 -x156 -x7494 -x7492
1800.00/1800.45 v -x7490 -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456
1800.00/1800.45 v -x7454 -x7452 -x7450 -x7448 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x155 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422
1800.00/1800.45 v -x7420 -x7418 -x7416 -x7414 -x7412 -x7410 -x7408 -x7406 -x154 -x7404 -x7402 -x7400 -x7398 -x7396 -x7394 -x7392 -x7389 -x7387
1800.00/1800.45 v -x7385 -x7383 -x7381 -x7379 -x7377 -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353
1800.00/1800.45 v -x7351 -x7349 -x7347 -x7345 -x153 -x7343 -x7341 -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319
1800.00/1800.45 v -x7317 -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283
1800.00/1800.45 v -x152 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x151 -x7251
1800.00/1800.45 v -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x7222 -x7220 -x7218 -x7216 -x7214
1800.00/1800.45 v -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x7192 -x150 -x7190 -x7188 -x7186 -x7184 -x7182 -x7180
1800.00/1800.45 v -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7165 -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143
1800.00/1800.45 v -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x149 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109
1800.00/1800.45 v -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073
1800.00/1800.45 v -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037
1800.00/1800.45 v -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x148 -x7003
1800.00/1800.45 v -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967
1800.00/1800.45 v -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x6943 -x147 -x6941 -x6939 -x6937 -x6935 -x6933
1800.00/1800.45 v -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897
1800.00/1800.45 v -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 -x6879 -x6877 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862
1800.00/1800.45 v -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x6840 -x6838 -x6836 -x6834 -x6832 -x6830 -x6828 -x6826
1800.00/1800.45 v -x6824 -x6822 -x6820 -x6818 -x146 -x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 -x6792
1800.00/1800.45 v -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758 -x6756
1800.00/1800.45 v -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722 -x6720
1800.00/1800.45 v -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x145 -x6690 -x144 -x6687
1800.00/1800.45 v -x6685 -x143 -x6682 -x6680 -x142 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x141 -x6664 -x6662 -x6660 -x140 -x6658 -x6656
1800.00/1800.45 v -x6654 -x6652 -x6650 -x6648 -x6646 -x139 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x138 -x6630 -x6628 -x137 -x6626
1800.00/1800.45 v -x6624 -x6622 -x6620 -x6618 -x6616 -x6614 -x136 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x135 -x6598 -x6596 -x6594
1800.00/1800.45 v -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x134 -x6568 -x6566 -x6564 -x6562 -x6560
1800.00/1800.45 v -x6558 -x6556 -x133 -x6554 -x6552 x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526
1800.00/1800.45 v -x6524 -x6522 -x6520 -x132 -x6518 -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x131 -x6504 x6502 -x6500 -x6498 -x6496 -x6494
1800.00/1800.45 v -x6492 x130 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x129 -x6460
1800.00/1800.45 v -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 -x128 -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426
1800.00/1800.45 v -x6424 -x6422 -x6420 -x6418 -x127 -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x126 -x6402 -x6400 -x6398 -x6396 -x6394
1800.00/1800.45 v -x6392 -x6390 -x6388 -x6386 -x6384 -x6382 -x6380 -x6378 -x6376 -x6374 -x125 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360
1800.00/1800.45 v -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344 -x124 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326
1800.00/1800.45 v -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 x6296 -x6294 -x6292 -x6290
1800.00/1800.45 v -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276 -x123 -x6274 -x6272 -x6270 -x6268 -x6266 x6264 -x6262 -x6260 -x6258 -x6256
1800.00/1800.45 v -x6254 -x6252 -x6250 -x6248 -x122 -x6246 -x6244 -x6242 -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222
1800.00/1800.45 v -x6220 -x121 -x6217 -x6215 -x6213 -x6211 -x6209 x6207 -x6205 -x6203 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186
1800.00/1800.45 v -x6184 -x6181 -x6179 -x6177 -x120 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x119 -x6161 -x6159 -x6157 -x6155 -x6153
1800.00/1800.45 v -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6138 -x6136 -x6134 -x118 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118
1800.00/1800.45 v -x6116 -x6114 -x6112 -x6110 -x6108 -x117 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084
1800.00/1800.45 v -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048
1800.00/1800.45 v -x6046 -x116 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x115 -x6030 -x6028 -x6026 -x6023 -x6021 -x6019 -x6017 -x6015
1800.00/1800.45 v -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x114 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981
1800.00/1800.45 v -x5979 -x5977 -x5975 -x5973 -x113 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947
1800.00/1800.45 v -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5920 -x5918 -x5916 -x5914 -x5912 -x112
1800.00/1800.45 v -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5874
1800.00/1800.45 v -x5872 -x5870 -x5868 -x5866 x5864 -x5862 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837
1800.00/1800.45 v -x5835 -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 x5807 -x5805 -x5803 -x5801
1800.00/1800.45 v -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5770 -x5768 -x5766 -x5764
1800.00/1800.45 v -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5737 -x5735 -x5733 -x111 -x5731 -x5729
1800.00/1800.45 v -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5698 -x5696 -x5694 -x5692
1800.00/1800.45 v -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x110 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658
1800.00/1800.45 v -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621
1800.00/1800.45 v -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585
1800.00/1800.45 v -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551
1800.00/1800.45 v -x5548 -x109 -x5546 -x5543 -x108 -x5541 -x5539 -x5537 -x5535 -x5533 -x5530 -x107 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516
1800.00/1800.45 v -x106 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x105 -x5484
1800.00/1800.45 v -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x104 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x103 -x5456 -x5454 -x5452
1800.00/1800.45 v -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x102 -x5426 -x5424 -x5422 -x5420 -x5418
1800.00/1800.45 v -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x101 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384
1800.00/1800.45 v -x5382 -x5380 -x5378 -x5376 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347
1800.00/1800.45 v -x5345 -x5343 -x5341 -x5339 -x5337 -x100 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x99 -x5321 -x5319 -x5317 -x5315
1800.00/1800.45 v -x5313 -x5311 -x5309 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x98 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281
1800.00/1800.45 v -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x97 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247
1800.00/1800.45 v -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211
1800.00/1800.45 v -x5209 -x5207 -x5205 -x5203 -x5201 -x96 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177
1800.00/1800.45 v -x5175 -x5173 -x5171 -x95 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141
1800.00/1800.45 v -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5118 -x5116 -x5114 -x5112 -x5110 -x94 -x5108 -x5106
1800.00/1800.45 v -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070
1800.00/1800.45 v -x5068 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x93 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035
1800.00/1800.45 v -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999
1800.00/1800.45 v -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965
1800.00/1800.45 v -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928
1800.00/1800.45 v -x4926 -x4924 -x92 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 -x91 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4895 -x4893
1800.00/1800.45 v -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x90 -x4879 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859
1800.00/1800.45 v -x4857 -x4855 -x4853 -x4851 -x89 -x4849 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825
1800.00/1800.45 v -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x88
1800.00/1800.45 v -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754
1800.00/1800.45 v -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x87 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720
1800.00/1800.45 v -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684
1800.00/1800.45 v -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x86 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650
1800.00/1800.45 v -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614
1800.00/1800.45 v -x4612 -x4610 -x4608 -x85 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580
1800.00/1800.45 v -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544
1800.00/1800.45 v -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508
1800.00/1800.45 v -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x84 -x4480 -x4478 -x4476 -x4474
1800.00/1800.45 v -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x83 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440
1800.00/1800.45 v -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404
1800.00/1800.45 v -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x82 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370
1800.00/1800.45 v -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334
1800.00/1800.45 v -x4332 -x4330 -x4328 -x81 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300
1800.00/1800.45 v -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264
1800.00/1800.45 v -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228
1800.00/1800.45 v -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x80 -x4200 -x4198 -x4196 -x4194
1800.00/1800.45 v -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158
1800.00/1800.45 v -x4156 -x4154 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x79 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123
1800.00/1800.45 v -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087
1800.00/1800.45 v -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051
1800.00/1800.45 v -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015
1800.00/1800.45 v -x78 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981
1800.00/1800.45 v -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945
1800.00/1800.45 v -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911
1800.00/1800.45 v -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x77 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875
1800.00/1800.45 v -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841
1800.00/1800.45 v -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805
1800.00/1800.45 v -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 x3779 -x3777 -x3774 -x3772 -x3770 -x3768
1800.00/1800.45 v -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732
1800.00/1800.45 v -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696
1800.00/1800.45 v -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660
1800.00/1800.45 v -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x76 -x3631 -x75 -x3628 -x3626
1800.00/1800.45 v x3624 -x3622 -x3620 -x3618 -x3615 -x3613 -x3611 -x74 -x3609 -x3607 -x3605 -x73 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591
1800.00/1800.45 v -x72 -x3589 -x3587 -x3584 -x3582 -x3580 -x3578 -x71 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558
1800.00/1800.45 v -x3556 -x3554 -x3552 -x3550 -x3548 -x70 -x3546 -x3544 -x3542 -x69 -x3540 -x3538 -x3536 -x3533 -x3531 -x3529 -x68 -x3527 -x3525
1800.00/1800.45 v -x3523 -x3521 -x3519 -x3517 -x3515 -x67 -x3513 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490
1800.00/1800.45 v -x3488 -x3486 -x66 -x3484 -x3482 -x3480 -x65 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x64 -x3464 -x3462 -x3460 -x3458
1800.00/1800.45 v -x3456 -x3454 -x63 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423
1800.00/1800.45 v -x62 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x61 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391
1800.00/1800.45 v -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x60 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355
1800.00/1800.45 v -x3353 -x3351 -x3349 -x59 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321
1800.00/1800.45 v -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x58
1800.00/1800.45 v -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x57 -x3271 -x3269 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252
1800.00/1800.45 v -x3250 -x3248 -x3246 -x3244 -x56 -x3242 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218
1800.00/1800.45 v -x3216 -x3214 -x55 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184
1800.00/1800.45 v -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x54 -x3150
1800.00/1800.45 v -x3148 -x3146 -x53 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x52 -x3130 -x3128 -x3126 -x3123 -x3121 -x3119 -x51 -x3117
1800.00/1800.45 v -x3115 -x3113 -x3111 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x50 -x3088 -x3086 -x3084 -x3082
1800.00/1800.45 v -x3080 -x3078 -x3076 -x49 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048
1800.00/1800.45 v -x3046 -x48 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x47 -x3015 -x3013
1800.00/1800.45 v -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977
1800.00/1800.45 v -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x46 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943
1800.00/1800.45 v -x2941 -x45 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x44
1800.00/1800.45 v -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x43 -x2879 -x2877
1800.00/1800.45 v -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841
1800.00/1800.45 v -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2826 -x2824 -x2822 -x42 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x41 -x2806
1800.00/1800.45 v -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x40 -x2776 -x2773 -x2771
1800.00/1800.45 v -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x39 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737
1800.00/1800.45 v -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701
1800.00/1800.45 v -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x38 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667
1800.00/1800.45 v -x2665 -x2663 -x2661 -x2659 -x2657 -x37 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633
1800.00/1800.45 v -x2631 -x2629 -x2627 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596
1800.00/1800.45 v -x36 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2569 -x2567 -x2565 -x2563 -x2561
1800.00/1800.45 v -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x35 -x2533 -x2531 -x2529 -x2527
1800.00/1800.45 v -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491
1800.00/1800.45 v -x2489 -x2487 -x2485 -x2483 -x2481 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2457 -x2455 -x2453
1800.00/1800.45 v -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417
1800.00/1800.45 v -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381
1800.00/1800.45 v -x34 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347
1800.00/1800.45 v -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x33 -x2317 -x2315 -x2313
1800.00/1800.45 v -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277
1800.00/1800.45 v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x32 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243
1800.00/1800.45 v -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207
1800.00/1800.45 v -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171
1800.00/1800.45 v -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135
1800.00/1800.45 v -x2133 -x2131 -x31 -x2129 -x2127 -x30 -x2124 -x2122 -x2120 -x2117 -x2115 -x2113 -x29 -x2111 -x2109 -x2107 -x2105 -x2103
1800.00/1800.45 v -x2101 -x2099 -x28 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x27
1800.00/1800.45 v -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x26 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035
1800.00/1800.45 v -x2033 -x2031 -x2029 -x2027 -x2025 -x25 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001
1800.00/1800.45 v -x1999 -x1997 -x1995 -x24 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967
1800.00/1800.45 v -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x23
1800.00/1800.45 v -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x22 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897
1800.00/1800.45 v -x1895 -x1893 -x1891 -x1889 -x21 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863
1800.00/1800.45 v -x1861 -x1859 -x20 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829
1800.00/1800.45 v -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x19 -x1795
1800.00/1800.45 v -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x18 -x1765 -x1763 -x1761
1800.00/1800.45 v -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725
1800.00/1800.45 v -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x17 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691
1800.00/1800.45 v -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655
1800.00/1800.45 v -x1653 -x1651 -x1649 -x1647 -x1644 -x16 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620
1800.00/1800.45 v -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584
1800.00/1800.45 v -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548
1800.00/1800.45 v -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x15 -x1516 -x1514
1800.00/1800.45 v -x1512 -x1510 -x1508 -x1506 -x1504 -x14 -x1502 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479
1800.00/1800.45 v -x1477 -x1475 -x13 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445
1800.00/1800.45 v -x12 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409
1800.00/1800.45 v -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375
1800.00/1800.45 v -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x11 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339
1800.00/1800.45 v -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307 -x1305
1800.00/1800.45 v -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x10 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269
1800.00/1800.45 v -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235
1800.00/1800.45 v -x1233 -x1231 -x1229 -x9 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199
1800.00/1800.45 v -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163
1800.00/1800.45 v -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129
1800.00/1800.45 v -x1127 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1109 -x1107 -x1105 -x8 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091
1800.00/1800.45 v -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x7 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057
1800.00/1800.45 v -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021
1800.00/1800.45 v -x1019 -x1017 -x1015 -x1013 -x6 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985
1800.00/1800.45 v -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x5 -x949 -x947 -x945
1800.00/1800.45 v -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903
1800.00/1800.45 v -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860
1800.00/1800.45 v -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x4 -x824 -x822 -x820
1800.00/1800.45 v -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778
1800.00/1800.45 v -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x3 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738
1800.00/1800.45 v -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696
1800.00/1800.45 v -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654
1800.00/1800.45 v -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x2 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614
1800.00/1800.45 v -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572
1800.00/1800.45 v -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530
1800.00/1800.45 v -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x1 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490
1800.00/1800.45 v -x488 -x486 -x484 -x482 -x480 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447
1800.00/1800.45 v -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405
1800.00/1800.45 v -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365
1800.00/1800.45 v -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323
1800.00/1800.45 v -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281
1800.00/1800.45 v -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 x9709 x9708 -x9707 -x9706 x9704 -x9703 -x9701 -x9699
1800.00/1800.45 v -x9698 -x9696 -x9695 -x9693 -x9691 -x9689 -x9688 -x9686 -x9684 -x9682 -x9681 -x9680 x9678 -x9676 -x9674 -x9672 -x9670 -x9668
1800.00/1800.45 v -x9666 -x9664 -x9662 -x9660 x9658 -x9657 -x9655 -x9653 -x9651 -x9649 -x9647 -x9646 -x9644 -x9642 -x9640 -x9638 -x9636 -x9634
1800.00/1800.45 v -x9632 -x9630 -x9628 -x9626 -x9624 -x9622 -x9620 -x9618 -x9616 -x9614 -x9612 -x9610 -x9608 -x9606 -x9604 -x9602 -x9600 -x9599
1800.00/1800.45 v -x9598 -x9596 -x9594 -x9592 -x9590 -x9588 -x9586 -x9584 -x9582 -x9580 -x9578 -x9576 -x9574 -x9572 -x9570 -x9568 -x9566 -x9564
1800.00/1800.45 v -x9562 -x9560 -x9558 -x9556 -x9554 -x9552 x9550 -x9548 -x9546 -x9544 -x9542 -x9540 -x9538 -x9536 -x9534 -x9532 -x9530 -x9528
1800.00/1800.45 v -x9526 -x9524 -x9522 -x9520 -x9518 -x9516 -x9514 -x9512 -x9510 -x9508 -x9507 -x9505 -x9503 -x9501 -x9499 -x9498 -x9496 -x9494
1800.00/1800.45 v -x9492 -x9490 -x9488 -x9486 -x9484 -x9482 -x9480 -x9478 -x9476 -x9474 -x9472 -x9470 -x9468 -x9466 -x9464 -x9462 -x9460 -x9458
1800.00/1800.45 v -x9456 -x9454 -x9452 -x9450 -x9448 -x9446 -x9444 -x9442 -x9440 -x9438 -x9436 -x9434 -x9432 -x9430 -x9428 -x9426 -x9424 -x9422
1800.00/1800.45 v -x9420 -x9418 -x9416 -x9414 -x9412 -x9410 -x9408 -x9406 -x9404 -x9402 -x9400 -x9398 -x9396 -x9394 -x9392 -x9390 -x9388
1800.00/1800.45 v -x9386 -x9384 -x9382 -x9380 -x9378 -x9376 -x9374 -x9372 -x9370 -x9368 -x9366 -x9364 -x9362 -x9360 -x9358 -x9356 -x9354 -x9352
1800.00/1800.45 v -x9350 -x9348 -x9346 -x9344 -x9342 -x9340 -x9338 -x9336 -x9334 -x9332 -x9330 -x9328 -x9326 -x9324 -x9322 -x9320 x9318 -x9317
1800.00/1800.45 v -x9316 -x9314 x9312 -x9310 -x9308 -x9306 -x9304 -x9302 -x9300 -x9298 -x9296 -x9294 -x9292 -x9290 -x9288 -x9286 -x9284 -x9282
1800.00/1800.45 v -x9280 -x9278 -x9276 -x9274 -x9272 -x9270 -x9268 -x9266 -x9264 -x9262 -x9260 -x9258 -x9256 -x9254 -x9252 -x9250 -x9248 -x9246
1800.00/1800.45 v -x9244 -x9242 -x9240 -x9238 -x9236 -x9234 -x9232 -x9230 -x9228 -x9226 -x9224 -x9222 -x9220 -x9218 -x9216 -x9214 -x9212 -x9210
1800.00/1800.45 v -x9208 -x9206 -x9204 -x9202 -x9200 -x9198 -x9196 -x9194 -x9192 -x9190 -x9188 -x9186 -x9184 -x9182 -x9180 -x9178 -x9176 -x9174
1800.00/1800.45 v -x9172 -x9170 -x9168 -x9166 -x9164 -x9162 -x9160 -x9158 -x9156 -x9154 -x9152 -x9150 -x9148 -x9146 -x9144 -x9142 -x9140 -x9138
1800.00/1800.45 v -x9136 -x9134 -x9132 -x9130 -x9128 -x9126 -x9125 -x9123 -x9121 -x9120 -x9118 -x9116 -x9114 -x9112 -x9110 -x9108 -x9106 -x9104
1800.00/1800.45 v -x9102 -x9100 -x9098 -x9096 -x9094 -x9092 -x9090 -x9088 -x9086 -x9084 -x9082 -x9080 -x9078 -x9076 -x9074 -x9072 -x9070
1800.00/1800.45 v -x9068 -x9066 -x9064 -x9062 -x9060 -x9058 -x9056 -x9054 -x9052 -x9050 -x9048 -x9046 -x9044 -x9042 -x9040 -x9038 -x9036 -x9034
1800.00/1800.45 v -x9032 -x9030 -x9028 -x9026 -x9024 -x9022 -x9020 -x9018 -x9016 -x9014 -x9012 -x9010 -x9008 -x9006 -x9004 -x9002 -x9000 -x8998
1800.00/1800.45 v -x8996 -x8994 -x8992 -x8990 -x8988 -x8986 -x8984 -x8982 -x8980 -x8978 -x8976 -x8974 -x8972 -x8970 -x8968 -x8966 -x8964 -x8962
1800.00/1800.45 v -x8960 -x8958 -x8956 -x8954 -x8952 -x8950 -x8948 -x8946 -x8944 -x8942 -x8940 -x8938 -x8936 -x8934 -x8932 -x8930 -x8928 -x8926
1800.00/1800.45 v -x8924 -x8922 -x8920 -x8918 -x8916 -x8914 -x8912 -x8910 -x8908 -x8906 -x8904 -x8902 -x8900 -x8898 -x8896 -x8894 -x8892 -x8890
1800.00/1800.45 v -x8888 -x8886 -x8884 -x8882 -x8880 -x8878 -x8876 -x8874 -x8872 -x8870 -x8868 -x8866 -x8864 -x8862 -x8860 -x8858 -x8856 -x8854
1800.00/1800.45 v -x8852 -x8850 -x8848 -x8846 -x8844 -x8842 -x8840 -x8838 -x8836 -x8834 -x8832 -x8830 -x8828 -x8826 -x8824 -x8822 -x8820
1800.00/1800.45 v -x8818 -x8816 -x8814 -x8812 -x8810 -x8808 -x8806 -x8804 -x8802 -x8800 -x8798 -x8796 -x8794 -x8792 -x8790 -x8788 -x8786 -x8784
1800.00/1800.45 v -x8782 -x8780 -x8778 -x8776 -x8774 -x8772 -x8770 -x8768 -x8766 -x8764 -x8762 -x8760 -x8758 -x8756 -x8754 -x8752 -x8750 -x8748
1800.00/1800.45 v -x8746 -x8744 -x8742 -x8740 -x8738 -x8736 -x8734 -x8732 -x8730 -x8728 -x8726 -x8724 -x8722 -x8720 -x8718 -x8716 -x8714 -x8712
1800.00/1800.45 v -x8710 -x8708 -x8706 -x8704 -x8702 -x8701 -x8699 -x8697 -x8696 -x8694 -x8692 -x8690 -x8688 -x8686 -x8684 -x8682 -x8680 -x8678
1800.00/1800.45 v -x8676 -x8674 -x8672 -x8670 -x8668 -x8666 -x8664 -x8662 -x8660 -x8658 -x8656 -x8654 -x8652 -x8650 -x8648 -x8646 -x8644 -x8642
1800.00/1800.45 v -x8640 -x8638 -x8636 -x8634 -x8632 -x8630 -x8628 -x8626 -x8624 -x8622 -x8620 -x8618 -x8616 -x8614 -x8612 -x8610 -x8608 -x8606
1800.00/1800.45 v -x8604 -x8602 -x8600 -x8598 -x8596 -x8594 -x8592 -x8590 -x8588 -x8586 -x8584 -x8582 -x8580 -x8578 -x8576 -x8574 -x8572
1800.00/1800.45 v -x8570 -x8568 -x8566 -x8564 -x8562 -x8560 -x8558 -x8556 -x8554 -x8552 -x8550 -x8548 -x8546 -x8544 -x8542 -x8540 -x8538 -x8536
1800.00/1800.45 v -x8534 -x8532 -x8530 -x8528 -x8526 -x8524 -x8522 -x8520 -x8518 -x8516 -x8514 -x8512 -x8510 -x8508 -x8506 -x8504 -x8502 -x8500
1800.00/1800.45 v -x8498 -x8496 -x8494 -x8492 -x8490 -x8488 -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 -x8472 -x8470 -x8468 -x8466 -x8464
1800.00/1800.45 v -x8462 -x8460 -x8458 -x8456 -x8454 -x8452 -x8450 -x8448 -x8446 -x8444 -x8442 -x8440 -x8438 -x8436 -x8434 -x8432 -x8430 -x8428
1800.00/1800.45 v -x8426 -x8424 -x8422 -x8420 -x8418 -x8416 -x8414 -x8412 -x8410 -x8408 -x8406 -x8404 -x8402 -x8400 -x8398 -x8396 -x8394 -x8392
1800.00/1800.45 v -x8390 -x8388 -x8386 -x8384 -x8382 -x8380 -x8378 -x8376 -x8374 -x8372 -x8370 -x8368 -x8366 -x8364 -x8362 -x8360 -x8358 -x8356
1800.00/1800.45 v -x8354 -x8352 -x8350 -x8348 -x8346 -x8344 -x8342 -x8340 -x8338 -x8336 -x8334 -x8332 -x8330 -x8328 -x8326 -x8324 -x8322
1800.00/1800.45 v -x8320 -x8318 -x8316 -x8314 -x8312 -x8310 -x8308 -x8306 -x8304 -x8302 -x8300 x8298 -x8296 -x8294 -x8292 -x8290 -x8288 -x8286
1800.00/1800.45 v -x8284 -x8282 -x8280 -x8278 -x8276 -x8274 -x8272 -x8270 -x8268 -x8266 -x8264 -x8262 -x8260 -x8258 -x8256 -x8254 -x8252 -x8250
1800.00/1800.45 v -x8248 -x8246 -x8244 -x8242 -x8240 -x8238 x8236 -x8234 -x8232 -x8230 -x8228 -x8226 -x8224 -x8222 -x8220 -x8218 -x8216 x8214
1800.00/1800.45 v -x8212 -x8210 -x8208 -x8206 -x8204 -x8202 -x8200 -x8199 -x8197 -x8195 -x8193 -x8191 -x8189 -x8187 -x8185 -x8183 -x8181 -x8179
1800.00/1800.45 v -x8177 -x8175 -x8173 -x8171 -x8169 -x8167 -x8165 -x8163 -x8161 -x8159 -x8157 -x8156 -x8154 -x8152 -x8150 -x8148 -x8146 -x8144
1800.00/1800.45 v -x8142 -x8140 -x8138 -x8136 -x8134 -x8132 -x8130 -x8128 -x8126 -x8124 -x8122 -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108
1800.00/1800.45 v -x8106 -x8104 -x8102 -x8100 -x8098 -x8096 -x8094 -x8092 -x8090 -x8088 -x8086 -x8084 -x8082 -x8080 -x8078 -x8076 -x8074 -x8072
1800.00/1800.45 v -x8070 -x8068 -x8067 -x8065 -x8063 -x8061 -x8059 -x8057 -x8055 -x8053 -x8051 -x8049 -x8047 -x8045 -x8043 -x8041 -x8039 -x8037
1800.00/1800.45 v -x8035 -x8033 -x8031 -x8029 -x8027 -x8025 -x8023 -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 -x8009 -x8007 -x8005 -x8003 -x8001
1800.00/1800.45 v -x7999 -x7997 -x7995 -x7993 -x7991 -x7990 -x7988 -x7987 -x7985 -x7983 -x7981 -x7979 -x7978 -x7976 -x7974 -x7972 -x7970
1800.00/1800.45 v -x7968 -x7966 -x7964 -x7962 -x7960 -x7958 -x7956 -x7954 -x7952 -x7950 -x7948 -x7946 -x7944 -x7942 -x7940 -x7938 -x7936 -x7934
1800.00/1800.45 v -x7932 -x7930 -x7928 -x7926 -x7924 -x7922 -x7920 -x7918 -x7916 -x7914 -x7912 -x7910 -x7908 -x7906 -x7904 x7902 -x7900 -x7898
1800.00/1800.45 v -x7896 -x7894 -x7892 -x7890 -x7888 -x7886 -x7884 -x7882 -x7880 -x7878 -x7876 -x7874 -x7872 -x7870 -x7868 -x7866 -x7864 -x7862
1800.00/1800.45 v -x7860 -x7858 -x7856 -x7854 -x7852 -x7850 -x7848 -x7846 -x7844 -x7842 -x7840 -x7838 -x7836 -x7834 -x7832 -x7830 -x7828 -x7826
1800.00/1800.45 v -x7824 -x7822 -x7820 -x7818 -x7816 -x7814 -x7812 -x7810 -x7808 -x7806 -x7804 -x7802 -x7800 -x7798 -x7796 -x7794 -x7792 -x7790
1800.00/1800.45 v -x7788 -x7786 -x7784 -x7782 -x7780 -x7778 -x7776 -x7774 -x7772 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x7756 -x7754
1800.00/1800.45 v -x7752 -x7750 -x7748 -x7746 -x7744 -x7742 -x7740 -x7738 -x7736 -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x7722 -x7720 -x7718
1800.00/1800.45 v -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x7692 -x7690 -x7688 -x7686 -x7684
1800.00/1800.45 v -x7682 -x7680 -x7678 -x7676 -x7674 -x7673 -x7671 -x7669 -x7667 -x7665 -x7663 -x7661 -x7659 -x7657 -x7655 -x7653 -x7651 -x7649
1800.00/1800.45 v -x7647 -x7645 -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x7617 -x7615 -x7613
1800.00/1800.45 v -x7611 -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x7587 -x7585 -x7583 -x7581 -x7579 -x7577
1800.00/1800.45 v -x7575 -x7573 -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x7553 -x7551 -x7549 -x7547 -x7545 -x7543 -x7541
1800.00/1800.45 v -x7539 -x7537 -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 -x7521 -x7519 -x7517 -x7515 -x7513 -x7511 -x7509 -x7507 -x7505
1800.00/1800.45 v -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481 -x7479 -x7477 -x7475 -x7473 -x7471 -x7469
1800.00/1800.45 v -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449 -x7447 -x7445 -x7443 -x7441 -x7439 -x7437 -x7435
1800.00/1800.45 v -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399
1800.00/1800.45 v -x7397 -x7395 -x7393 -x7391 -x7390 -x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376 -x7374 -x7372 -x7370 -x7368 -x7366 -x7364
1800.00/1800.45 v -x7362 -x7360 -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328
1800.00/1800.45 v -x7326 -x7324 -x7322 -x7320 -x7318 -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292
1800.00/1800.45 v -x7290 -x7288 -x7286 -x7284 -x7282 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256
1800.00/1800.45 v -x7254 -x7252 -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 -x7223 -x7221
1800.00/1800.45 v -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187
1800.00/1800.45 v -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152
1800.00/1800.45 v -x7150 -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116
1800.00/1800.45 v -x7114 -x7112 -x7110 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080
1800.00/1800.45 v -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044
1800.00/1800.45 v -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008
1800.00/1800.45 v -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978 -x6976 -x6974 -x6972
1800.00/1800.45 v -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x6938
1800.00/1800.45 v -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904 -x6902
1800.00/1800.45 v -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6875 -x6873 -x6871 -x6869 -x6867
1800.00/1800.45 v -x6865 -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831
1800.00/1800.45 v -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795
1800.00/1800.45 v -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759
1800.00/1800.45 v -x6757 -x6755 -x6753 -x6751 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723
1800.00/1800.45 v -x6721 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689
1800.00/1800.45 v -x6688 -x6686 -x6684 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655
1800.00/1800.45 v -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619
1800.00/1800.45 v -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583
1800.00/1800.45 v -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 x6551 -x6549 -x6547
1800.00/1800.45 v -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511
1800.00/1800.45 v -x6509 -x6507 -x6505 x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475
1800.00/1800.45 v -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439
1800.00/1800.45 v -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403
1800.00/1800.45 v -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369
1800.00/1800.45 v -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333
1800.00/1800.45 v -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 x6297
1800.00/1800.45 v -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 x6265 -x6263 -x6261
1800.00/1800.45 v -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225
1800.00/1800.45 v -x6223 -x6221 -x6219 -x6218 -x6216 -x6214 -x6212 -x6210 x6208 -x6206 -x6204 -x6202 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191
1800.00/1800.45 v -x6189 -x6187 -x6185 -x6183 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156
1800.00/1800.45 v -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121
1800.00/1800.45 v -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085
1800.00/1800.45 v -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049
1800.00/1800.45 v -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6024 -x6022 -x6020 -x6018 -x6016
1800.00/1800.45 v -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980
1800.00/1800.45 v -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944
1800.00/1800.45 v -x5942 -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909
1800.00/1800.45 v -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 x5891 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5875
1800.00/1800.45 v -x5873 -x5871 -x5869 -x5867 x5865 -x5863 -x5861 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840
1800.00/1800.45 v -x5838 -x5836 -x5834 -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 x5808 -x5806 -x5804
1800.00/1800.45 v -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5771 -x5769
1800.00/1800.45 v -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5738 -x5736 -x5734
1800.00/1800.45 v -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5699
1800.00/1800.45 v -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665
1800.00/1800.45 v -x5663 -x5661 -x5659 -x5657 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630
1800.00/1800.45 v -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594
1800.00/1800.45 v -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558
1800.00/1800.45 v -x5556 -x5554 -x5552 -x5550 -x5549 -x5547 -x5545 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5531 -x5529 -x5527 -x5525
1800.00/1800.45 v -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489
1800.00/1800.45 v -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453
1800.00/1800.45 v -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419
1800.00/1800.45 v -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383
1800.00/1800.45 v -x5381 -x5379 -x5377 -x5375 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348
1800.00/1800.45 v -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312
1800.00/1800.45 v -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276
1800.00/1800.45 v -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240
1800.00/1800.45 v -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204
1800.00/1800.45 v -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170
1800.00/1800.45 v -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134
1800.00/1800.45 v -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099
1800.00/1800.45 v -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5066 -x5064
1800.00/1800.45 v -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028
1800.00/1800.45 v -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992
1800.00/1800.45 v -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956
1800.00/1800.45 v -x4954 -x4952 -x4950 -x4948 -x4946 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923
1800.00/1800.45 v -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4896 -x4894 -x4892 -x4890 -x4888
1800.00/1800.45 v -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852
1800.00/1800.45 v -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816
1800.00/1800.45 v -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780
1800.00/1800.45 v x4778 -x4777 -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745
1800.00/1800.45 v -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709
1800.00/1800.45 v -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673
1800.00/1800.45 v -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639
1800.00/1800.45 v -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603
1800.00/1800.45 v -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567
1800.00/1800.45 v -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531
1800.00/1800.45 v -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495
1800.00/1800.45 v -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459
1800.00/1800.45 v -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423
1800.00/1800.45 v -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389
1800.00/1800.45 v -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353
1800.00/1800.45 v -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317
1800.00/1800.45 v -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281
1800.00/1800.45 v -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245
1800.00/1800.45 v -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209
1800.00/1800.45 v -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173
1800.00/1800.45 v -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140
1800.00/1800.45 v -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104
1800.00/1800.45 v -x4102 -x4100 -x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068
1800.00/1800.45 v -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032
1800.00/1800.45 v -x4030 -x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996
1800.00/1800.45 v -x3994 -x3992 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960
1800.00/1800.45 v -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924
1800.00/1800.45 v -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890
1800.00/1800.45 v -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854
1800.00/1800.45 v -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818
1800.00/1800.45 v -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782
1800.00/1800.45 v x3780 -x3778 -x3776 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747
1800.00/1800.45 v -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711
1800.00/1800.45 v -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675
1800.00/1800.45 v -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639
1800.00/1800.45 v -x3637 -x3635 -x3633 -x3632 -x3630 -x3629 -x3627 x3625 -x3623 -x3621 -x3619 -x3617 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606
1800.00/1800.45 v -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573
1800.00/1800.45 v -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537
1800.00/1800.45 v -x3535 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3511 -x3509 -x3507 -x3505 -x3503
1800.00/1800.45 v -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467
1800.00/1800.45 v -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432
1800.00/1800.45 v -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396
1800.00/1800.45 v -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360
1800.00/1800.45 v -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326
1800.00/1800.45 v -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290
1800.00/1800.45 v -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255
1800.00/1800.45 v -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219
1800.00/1800.45 v -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183
1800.00/1800.45 v -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147
1800.00/1800.45 v -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112
1800.00/1800.45 v -x3110 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079
1800.00/1800.45 v -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3044
1800.00/1800.45 v -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008
1800.00/1800.45 v -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972
1800.00/1800.45 v -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936
1800.00/1800.45 v -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900
1800.00/1800.45 v -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864
1800.00/1800.45 v -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830
1800.00/1800.45 v -x2828 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795
1800.00/1800.45 v -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760
1800.00/1800.45 v -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724
1800.00/1800.45 v -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688
1800.00/1800.45 v -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652
1800.00/1800.45 v -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2625 -x2623 -x2621 -x2619 -x2617
1800.00/1800.45 v -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583
1800.00/1800.45 v -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548
1800.00/1800.45 v -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512
1800.00/1800.45 v -x2510 -x2508 x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2479 -x2477
1800.00/1800.45 v -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442
1800.00/1800.45 v -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406
1800.00/1800.45 v -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370
1800.00/1800.45 v -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334
1800.00/1800.45 v -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300
1800.00/1800.45 v -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264
1800.00/1800.45 v -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228
1800.00/1800.45 v -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192
1800.00/1800.45 v -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156
1800.00/1800.45 v -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2125 -x2123 -x2121
1800.00/1800.45 v -x2119 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086
1800.00/1800.45 v -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052
1800.00/1800.45 v -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016
1800.00/1800.45 v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980
1800.00/1800.45 v -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944
1800.00/1800.45 v -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908
1800.00/1800.45 v -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872
1800.00/1800.45 v -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836
1800.00/1800.45 v -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802
1800.00/1800.45 v -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766
1800.00/1800.45 v -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730
1800.00/1800.45 v -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694
1800.00/1800.45 v -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658
1800.00/1800.45 v -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623
1800.00/1800.45 v -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587
1800.00/1800.45 v -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553
1800.00/1800.45 v -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517
1800.00/1800.45 v -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482
1800.00/1800.45 v -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446
1800.00/1800.45 v -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410
1800.00/1800.45 v -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374
1800.00/1800.45 v -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338
1800.00/1800.45 v -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302
1800.00/1800.45 v -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268
1800.00/1800.45 v -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232
1800.00/1800.45 v -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196
1800.00/1800.45 v -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160
1800.00/1800.45 v -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1125
1800.00/1800.45 v -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090
1800.00/1800.45 v -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054
1800.00/1800.45 v -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020
1800.00/1800.45 v -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980
1800.00/1800.45 v -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940
1800.00/1800.45 v -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898
1800.00/1800.45 v -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857
1800.00/1800.45 v -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815
1800.00/1800.45 v -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773
1800.00/1800.45 v -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731
1800.00/1800.45 v -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691
1800.00/1800.45 v -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649
1800.00/1800.45 v -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607
1800.00/1800.45 v -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565
1800.00/1800.45 v -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523
1800.00/1800.45 v -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481
1800.00/1800.45 v -x479 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442
1800.00/1800.45 v -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400
1800.00/1800.45 v -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358
1800.00/1800.45 v -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316
1800.00/1800.45 v -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274
1800.00/1800.45 v -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258
1800.00/1800.45 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.45 c Solving Time : 1769.84
1800.00/1800.45 c Original Problem :
1800.00/1800.45 c Problem name : HOME/instance-2665353-1276631637.opb
1800.00/1800.45 c Variables : 9709 (9709 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.45 c Constraints : 29891 initial, 29891 maximal
1800.00/1800.45 c Presolved Problem :
1800.00/1800.45 c Problem name : t_HOME/instance-2665353-1276631637.opb
1800.00/1800.45 c Variables : 4072 (4072 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.45 c Constraints : 17544 initial, 17616 maximal
1800.00/1800.45 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.45 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.45 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.45 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.45 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.45 c implics : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.45 c probing : 0.15 0 0 0 0 0 0 0 0
1800.00/1800.45 c linear : 0.35 944 4693 0 944 0 12347 0 0
1800.00/1800.45 c logicor : 0.10 0 0 0 0 0 0 0 0
1800.00/1800.45 c root node : - 1 - - 1 - - - -
1800.00/1800.45 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.45 c integral : 0 0 0 2 0 0 1 0 0 2
1800.00/1800.45 c logicor : 17544+ 15 2460041 0 0 178923 4722633 0 0 0
1800.00/1800.45 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.45 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.45 c integral : 36.79 0.00 0.00 36.79 0.00
1800.00/1800.45 c logicor : 324.63 0.03 324.60 0.00 0.00
1800.00/1800.45 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.45 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.45 c vbounds : 2.55 2 0 0
1800.00/1800.45 c rootredcost : 2.64 0 0 0
1800.00/1800.45 c pseudoobj : 1122.36 3633247 322589 3964055
1800.00/1800.45 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.45 c propagation : 280.59 501512 501512 501512 67.8 4601 66.3 -
1800.00/1800.45 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.45 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.45 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.45 c pseudo solution : 3.24 2415 2415 2415 65.1 55 82.7 -
1800.00/1800.45 c applied globally : - - - 508583 67.8 - - -
1800.00/1800.45 c applied locally : - - - 0 0.0 - - -
1800.00/1800.45 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.45 c cut pool : 0.02 14 - - 153 - (maximal pool size: 340)
1800.00/1800.45 c redcost : 0.01 15 0 0 0 0
1800.00/1800.45 c impliedbounds : 0.01 15 0 0 0 0
1800.00/1800.45 c intobj : 0.00 0 0 0 0 0
1800.00/1800.45 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.45 c gomory : 30.40 15 0 0 1682 0
1800.00/1800.45 c strongcg : 24.64 15 0 0 3429 0
1800.00/1800.45 c cmir : 2.14 10 0 0 0 0
1800.00/1800.45 c flowcover : 2.41 10 0 0 0 0
1800.00/1800.45 c clique : 0.06 15 0 0 90 0
1800.00/1800.45 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.45 c mcf : 0.04 1 0 0 0 0
1800.00/1800.45 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.45 c Pricers : Time Calls Vars
1800.00/1800.45 c problem variables: 0.00 0 0
1800.00/1800.45 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.46 c relpscost : 36.79 2 0 1 0 0 2
1800.00/1800.46 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.46 c inference : 39.27 664803 0 0 0 0 1329606
1800.00/1800.46 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.46 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.46 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.46 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.46 c random : 0.00 0 0 0 0 0 0
1800.00/1800.46 c Primal Heuristics : Time Calls Found
1800.00/1800.46 c LP solutions : 0.00 - 0
1800.00/1800.46 c pseudo solutions : 0.00 - 0
1800.00/1800.46 c crossover : 0.00 0 0
1800.00/1800.46 c oneopt : 0.76 4 2
1800.00/1800.46 c trivial : 0.02 2 0
1800.00/1800.46 c simplerounding : 0.00 0 0
1800.00/1800.46 c zirounding : 0.00 1 0
1800.00/1800.46 c rounding : 0.07 17 0
1800.00/1800.46 c shifting : 0.11 17 2
1800.00/1800.46 c intshifting : 0.00 0 0
1800.00/1800.46 c twoopt : 0.00 0 0
1800.00/1800.46 c fixandinfer : 0.00 0 0
1800.00/1800.46 c feaspump : 0.00 0 0
1800.00/1800.46 c coefdiving : 0.00 0 0
1800.00/1800.46 c pscostdiving : 0.00 0 0
1800.00/1800.46 c fracdiving : 0.00 0 0
1800.00/1800.46 c veclendiving : 0.00 0 0
1800.00/1800.46 c intdiving : 0.00 0 0
1800.00/1800.46 c actconsdiving : 0.00 0 0
1800.00/1800.46 c objpscostdiving : 0.00 0 0
1800.00/1800.46 c rootsoldiving : 0.00 0 0
1800.00/1800.46 c linesearchdiving : 0.00 0 0
1800.00/1800.46 c guideddiving : 0.00 0 0
1800.00/1800.46 c octane : 0.00 0 0
1800.00/1800.46 c rens : 1.46 1 1
1800.00/1800.46 c rins : 0.00 0 0
1800.00/1800.46 c localbranching : 0.00 0 0
1800.00/1800.46 c mutation : 0.00 0 0
1800.00/1800.46 c dins : 0.00 0 0
1800.00/1800.46 c undercover : 0.00 0 0
1800.00/1800.46 c nlp : 0.84 0 0
1800.00/1800.46 c trysol : 0.40 0 0
1800.00/1800.46 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.46 c primal LP : 0.02 0 0 0.00 0.00
1800.00/1800.46 c dual LP : 2.58 17 1961 115.35 760.08
1800.00/1800.46 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.46 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.46 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.46 c strong branching : 36.79 43 25590 595.12 695.57
1800.00/1800.46 c (at root node) : - 43 25590 595.12 -
1800.00/1800.46 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.46 c B&B Tree :
1800.00/1800.46 c number of runs : 1
1800.00/1800.46 c nodes : 896088
1800.00/1800.46 c nodes (total) : 896088
1800.00/1800.46 c nodes left : 480
1800.00/1800.46 c max depth : 533
1800.00/1800.46 c max depth (total): 533
1800.00/1800.46 c backtracks : 303585 (33.9%)
1800.00/1800.46 c delayed cutoffs : 378905
1800.00/1800.46 c repropagations : 716464 (3977224 domain reductions, 272643 cutoffs)
1800.00/1800.46 c avg switch length: 2.63
1800.00/1800.46 c switching time : 85.66
1800.00/1800.46 c Solution :
1800.00/1800.46 c Solutions found : 5 (5 improvements)
1800.00/1800.46 c First Solution : +6.19999999999996e+01 (in run 1, after 1 nodes, 1.29 seconds, depth 0, found by <shifting>)
1800.00/1800.46 c Primal Bound : +2.60000000000000e+01 (in run 1, after 1 nodes, 55.66 seconds, depth 0, found by <rens>)
1800.00/1800.46 c Dual Bound : +2.37500000000000e+01
1800.00/1800.46 c Gap : 9.47 %
1800.00/1800.46 c Root Dual Bound : +2.37500000000000e+01
1800.00/1800.46 c Root Iterations : 1961
1800.20/1800.61 c Time complete: 1800.2.
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665353-1276631637/watcher-2665353-1276631637 -o /tmp/evaluation-result-2665353-1276631637/solver-2665353-1276631637 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665353-1276631637.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11015 /proc/meminfo: memFree=1845316/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=8260 CPUtime=0 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 1007 0 0 0 0 0 0 0 18 0 1 0 4459101 8458240 927 1992294400 4194304 9819077 140737483342000 18446744073709551615 8678244 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11015/statm: 2065 928 366 1374 0 686 0 [startup+0.0892709 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11015 /proc/meminfo: memFree=1845316/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=19240 CPUtime=0.08 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 3749 0 0 0 7 1 0 0 20 0 1 0 4459101 19701760 3668 1992294400 4194304 9819077 140737483342000 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11015/statm: 4810 3668 388 1374 0 3431 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 19240 [startup+0.101271 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11015 /proc/meminfo: memFree=1845316/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=19240 CPUtime=0.09 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 3750 0 0 0 8 1 0 0 20 0 1 0 4459101 19701760 3669 1992294400 4194304 9819077 140737483342000 18446744073709551615 5650969 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11015/statm: 4810 3669 388 1374 0 3431 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19240 [startup+0.301283 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11015 /proc/meminfo: memFree=1845316/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=24424 CPUtime=0.29 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 5070 0 0 0 28 1 0 0 20 0 1 0 4459101 25010176 4989 1992294400 4194304 9819077 140737483342000 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11015/statm: 6106 4989 388 1374 0 4727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24424 [startup+0.701308 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11015 /proc/meminfo: memFree=1845316/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=60836 CPUtime=0.69 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 14161 0 0 0 64 5 0 0 21 0 1 0 4459101 62296064 13716 1992294400 4194304 9819077 140737483342000 18446744073709551615 5489894 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 15209 13716 465 1374 0 13830 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 60836 [startup+1.50036 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11016 /proc/meminfo: memFree=1788020/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=76584 CPUtime=1.49 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 20337 0 0 0 135 14 0 0 23 0 1 0 4459101 78422016 17817 1992294400 4194304 9819077 140737483342000 18446744073709551615 6032265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 19146 17817 541 1374 0 17767 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 76584 [startup+3.10046 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11016 /proc/meminfo: memFree=1761484/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=106140 CPUtime=3.09 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 29377 0 0 0 290 19 0 0 25 0 1 0 4459101 108687360 23144 1992294400 4194304 9819077 140737483342000 18446744073709551615 5755243 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 26535 23144 674 1374 0 25156 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106140 [startup+6.30165 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11016 /proc/meminfo: memFree=1747720/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=118128 CPUtime=6.29 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 33999 0 0 0 607 22 0 0 25 0 1 0 4459101 120963072 25915 1992294400 4194304 9819077 140737483342000 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 29532 25927 676 1374 0 28153 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118128 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11016 /proc/meminfo: memFree=1735940/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=124704 CPUtime=12.69 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 39600 0 0 0 1241 28 0 0 25 0 1 0 4459101 127696896 27820 1992294400 4194304 9819077 140737483342000 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 31176 27820 675 1374 0 29797 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 124704 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11016 /proc/meminfo: memFree=1730484/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=131716 CPUtime=25.48 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 43105 0 0 0 2513 35 0 0 25 0 1 0 4459101 134877184 29185 1992294400 4194304 9819077 140737483342000 18446744073709551615 6059720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 32929 29185 675 1374 0 31550 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 131716 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11018 /proc/meminfo: memFree=1728872/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=133432 CPUtime=51.08 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 48800 0 0 0 5060 48 0 0 25 0 1 0 4459101 136634368 29567 1992294400 4194304 9819077 140737483342000 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33358 29567 675 1374 0 31979 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 133432 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11020 /proc/meminfo: memFree=1726392/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=145332 CPUtime=102.27 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 155402 0 0 0 10108 119 0 0 25 0 1 0 4459101 148819968 30163 1992294400 4194304 9819077 140737483342000 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 36333 30163 720 1374 0 34954 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 145332 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11020 /proc/meminfo: memFree=1727632/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134312 CPUtime=162.26 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159155 0 0 0 16006 220 0 0 25 0 1 0 4459101 137535488 29928 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33578 29928 724 1374 0 32199 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 134312 [startup+222.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11022 /proc/meminfo: memFree=1727384/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134444 CPUtime=222.24 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159199 0 0 0 21900 324 0 0 25 0 1 0 4459101 137670656 29972 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33611 29972 724 1374 0 32232 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 134444 [startup+282.302 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11024 /proc/meminfo: memFree=1727260/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134580 CPUtime=282.24 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159220 0 0 0 27798 426 0 0 25 0 1 0 4459101 137809920 29993 1992294400 4194304 9819077 140737483342000 18446744073709551615 4999832 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33645 29993 724 1374 0 32266 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 134580 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11026 /proc/meminfo: memFree=1727012/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134720 CPUtime=342.22 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159239 0 0 0 33690 532 0 0 25 0 1 0 4459101 137953280 30012 1992294400 4194304 9819077 140737483342000 18446744073709551615 5909189 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33680 30012 724 1374 0 32301 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 134720 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11028 /proc/meminfo: memFree=1727012/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134720 CPUtime=402.21 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159252 0 0 0 39590 631 0 0 25 0 1 0 4459101 137953280 30025 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33680 30025 724 1374 0 32301 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 134720 [startup+462.302 s] /proc/loadavg: 1.06 1.02 1.00 2/107 11037 /proc/meminfo: memFree=1725896/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134852 CPUtime=462.18 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159273 0 0 0 45494 724 0 0 25 0 1 0 4459101 138088448 30046 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33713 30046 724 1374 0 32334 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 134852 [startup+522.302 s] /proc/loadavg: 1.08 1.03 1.00 2/107 11039 /proc/meminfo: memFree=1725896/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134852 CPUtime=522.17 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159277 0 0 0 51388 829 0 0 25 0 1 0 4459101 138088448 30050 1992294400 4194304 9819077 140737483342000 18446744073709551615 5506134 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33713 30050 724 1374 0 32334 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 134852 [startup+582.301 s] /proc/loadavg: 1.03 1.02 1.00 2/107 11041 /proc/meminfo: memFree=1726020/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134852 CPUtime=582.16 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159293 0 0 0 57288 928 0 0 25 0 1 0 4459101 138088448 30066 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33713 30066 724 1374 0 32334 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 134852 [startup+642.302 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11043 /proc/meminfo: memFree=1726020/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134984 CPUtime=642.15 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159303 0 0 0 63185 1030 0 0 25 0 1 0 4459101 138223616 30076 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33746 30076 724 1374 0 32367 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 134984 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11049 /proc/meminfo: memFree=1725648/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134984 CPUtime=882.09 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159326 0 0 0 86771 1438 0 0 25 0 1 0 4459101 138223616 30099 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33746 30099 724 1374 0 32367 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 134984 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11051 /proc/meminfo: memFree=1725524/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=134984 CPUtime=942.07 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159326 0 0 0 92667 1540 0 0 25 0 1 0 4459101 138223616 30099 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33746 30099 724 1374 0 32367 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 134984 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11053 /proc/meminfo: memFree=1725400/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1002.07 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159336 0 0 0 98569 1638 0 0 25 0 1 0 4459101 138362880 30109 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30109 724 1374 0 32401 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 135120 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11053 /proc/meminfo: memFree=1725400/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1062.06 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159337 0 0 0 104464 1742 0 0 25 0 1 0 4459101 138362880 30110 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30110 724 1374 0 32401 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 135120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11055 /proc/meminfo: memFree=1725276/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1122.04 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159340 0 0 0 110360 1844 0 0 25 0 1 0 4459101 138362880 30113 1992294400 4194304 9819077 140737483342000 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30113 724 1374 0 32401 0 Current children cumulated CPU time (s) 1122.04 Current children cumulated vsize (KiB) 135120 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11057 /proc/meminfo: memFree=1725152/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1182.03 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159346 0 0 0 116260 1943 0 0 25 0 1 0 4459101 138362880 30119 1992294400 4194304 9819077 140737483342000 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30119 724 1374 0 32401 0 Current children cumulated CPU time (s) 1182.03 Current children cumulated vsize (KiB) 135120 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11059 /proc/meminfo: memFree=1725028/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1242.01 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159354 0 0 0 122161 2040 0 0 25 0 1 0 4459101 138362880 30127 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30127 724 1374 0 32401 0 Current children cumulated CPU time (s) 1242.01 Current children cumulated vsize (KiB) 135120 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11061 /proc/meminfo: memFree=1724904/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1302 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159354 0 0 0 128055 2145 0 0 25 0 1 0 4459101 138362880 30127 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30127 724 1374 0 32401 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 135120 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11061 /proc/meminfo: memFree=1724904/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1361.99 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159354 0 0 0 133959 2240 0 0 25 0 1 0 4459101 138362880 30127 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30127 724 1374 0 32401 0 Current children cumulated CPU time (s) 1361.99 Current children cumulated vsize (KiB) 135120 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11063 /proc/meminfo: memFree=1724904/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1421.98 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159358 0 0 0 139851 2347 0 0 25 0 1 0 4459101 138362880 30131 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30131 724 1374 0 32401 0 Current children cumulated CPU time (s) 1421.98 Current children cumulated vsize (KiB) 135120 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11065 /proc/meminfo: memFree=1724904/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135120 CPUtime=1481.96 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159358 0 0 0 145748 2448 0 0 25 0 1 0 4459101 138362880 30131 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33780 30131 724 1374 0 32401 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 135120 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11067 /proc/meminfo: memFree=1724780/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135252 CPUtime=1541.95 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159370 0 0 0 151649 2546 0 0 25 0 1 0 4459101 138498048 30143 1992294400 4194304 9819077 140737483342000 18446744073709551615 5506998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33813 30143 724 1374 0 32434 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 135252 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11069 /proc/meminfo: memFree=1724904/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135252 CPUtime=1601.93 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159370 0 0 0 157551 2642 0 0 25 0 1 0 4459101 138498048 30143 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33813 30143 724 1374 0 32434 0 Current children cumulated CPU time (s) 1601.93 Current children cumulated vsize (KiB) 135252 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11069 /proc/meminfo: memFree=1724780/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135252 CPUtime=1661.93 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159372 0 0 0 163447 2746 0 0 25 0 1 0 4459101 138498048 30145 1992294400 4194304 9819077 140737483342000 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33813 30145 724 1374 0 32434 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 135252 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11071 /proc/meminfo: memFree=1724532/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135252 CPUtime=1721.91 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159387 0 0 0 169350 2841 0 0 25 0 1 0 4459101 138498048 30160 1992294400 4194304 9819077 140737483342000 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33813 30160 724 1374 0 32434 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 135252 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1724284/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135252 CPUtime=1781.9 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159387 0 0 0 175253 2937 0 0 25 0 1 0 4459101 138498048 30160 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33813 30160 724 1374 0 32434 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 135252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11073 /proc/meminfo: memFree=1724284/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=135252 CPUtime=1800 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159387 0 0 0 177034 2966 0 0 25 0 1 0 4459101 138498048 30160 1992294400 4194304 9819077 140737483342000 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11015/statm: 33813 30160 724 1374 0 32434 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 135252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 11074 /proc/meminfo: memFree=1803760/2059040 swapFree=4164944/4192956 [pid=11015] ppid=11013 vsize=32124 CPUtime=1800.2 /proc/11015/stat : 11015 (pbscip.linux.x8) R 11013 11015 10758 0 -1 4202496 159471 0 0 0 177053 2967 0 0 25 0 1 0 4459101 32894976 6946 1992294400 4194304 9819077 140737483342000 18446744073709551615 8875210 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11015/statm: 8031 6946 725 1374 0 6652 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 32124 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.22 CPU user time (s): 1770.54 CPU system time (s): 29.6785 CPU usage (%): 99.978 Max. virtual memory (cumulated for all children) (KiB): 170388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.54 system time used= 29.6785 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 159475 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= 4 involuntary context switches= 9953 runsolver used 3.15852 second user time and 8.33673 second system time The end
Begin job on node029 at 2010-06-15 21:53:57 IDJOB=2665353 IDBENCH=24978 IDSOLVER=1168 FILE ID=node029/2665353-1276631637 PBS_JOBID= 11172353 Free space on /tmp= 62572 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_017_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-2665353-1276631637/watcher-2665353-1276631637 -o /tmp/evaluation-result-2665353-1276631637/solver-2665353-1276631637 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665353-1276631637.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85 RANDOM SEED=308012651 node029.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1845720 kB Buffers: 20188 kB Cached: 95260 kB SwapCached: 1508 kB Active: 81320 kB Inactive: 68160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845720 kB SwapTotal: 4192956 kB SwapFree: 4164944 kB Dirty: 7120 kB Writeback: 0 kB AnonPages: 32576 kB Mapped: 15048 kB Slab: 41852 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183028 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= 62568 MiB End job on node029 at 2010-06-15 22:23:59