Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 32 | 1800.71 | 1801.25 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_021_area_delay.opb |
| MD5SUM | 5c1765191809ee7ecd7781ce5c7fb9aa |
| 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 | 24 |
| Best CPU time to get the best result obtained on this benchmark | 10.4714 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24 |
| Optimality of the best value was proved | YES |
| Number of variables | 9333 |
| Total number of constraints | 28773 |
| Number of constraints which are clauses | 28773 |
| 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 | 4585 |
| 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 | 4585 |
| 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 | 4585 |
| 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: NONE] [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-2663920-1276630709.opb>
0.49/0.51 c original problem has 9333 variables (9333 bin, 0 int, 0 impl, 0 cont) and 28773 constraints
0.49/0.51 c problem read
0.49/0.51 c presolving settings loaded
0.49/0.51 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.59/0.67 c presolving:
0.89/0.95 c (round 1) 5397 del vars, 9894 del conss, 891 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 46222 impls, 0 clqs
0.89/0.98 c (round 2) 5397 del vars, 11896 del conss, 891 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 46222 impls, 0 clqs
1.10/1.18 c (round 3) 5397 del vars, 11910 del conss, 891 chg bounds, 0 chg sides, 0 chg coeffs, 16841 upgd conss, 46222 impls, 0 clqs
1.19/1.22 c (round 4) 5397 del vars, 11910 del conss, 891 chg bounds, 0 chg sides, 0 chg coeffs, 16863 upgd conss, 46222 impls, 0 clqs
1.39/1.41 c (0.8s) probing: 101/3936 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.39/1.41 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.39/1.41 c presolving (5 rounds):
1.39/1.41 c 5397 deleted vars, 11910 deleted constraints, 891 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.41 c 46222 implications, 0 cliques
1.39/1.41 c presolved problem has 3936 variables (3936 bin, 0 int, 0 impl, 0 cont) and 16863 constraints
1.39/1.41 c 16863 constraints of type <logicor>
1.39/1.41 c transformed objective value is always integral (scale: 1)
1.39/1.41 c Presolving Time: 0.71
1.39/1.41 c - non default parameters ----------------------------------------------------------------------
1.39/1.41 c # SCIP version 1.2.1.2
1.39/1.41 c
1.39/1.41 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.39/1.41 c # [type: int, range: [-1,2147483647], default: -1]
1.39/1.41 c conflict/interconss = 0
1.39/1.41 c
1.39/1.41 c # should binary conflicts be preferred?
1.39/1.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.41 c conflict/preferbinary = TRUE
1.39/1.41 c
1.39/1.41 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.39/1.41 c # [type: int, range: [-1,2147483647], default: 0]
1.39/1.41 c constraints/agelimit = 1
1.39/1.41 c
1.39/1.41 c # should enforcement of pseudo solution be disabled?
1.39/1.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.41 c constraints/disableenfops = TRUE
1.39/1.41 c
1.39/1.41 c # frequency for displaying node information lines
1.39/1.41 c # [type: int, range: [-1,2147483647], default: 100]
1.39/1.41 c display/freq = 10000
1.39/1.41 c
1.39/1.41 c # maximal time in seconds to run
1.39/1.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.41 c limits/time = 1799.5
1.39/1.41 c
1.39/1.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.39/1.41 c limits/memory = 1620
1.39/1.41 c
1.39/1.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.39/1.41 c # [type: int, range: [-1,2147483647], default: 1]
1.39/1.41 c lp/solvefreq = -1
1.39/1.41 c
1.39/1.41 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.41 c # [type: char, range: {lafpsqd}, default: l]
1.39/1.41 c lp/pricing = a
1.39/1.41 c
1.39/1.41 c # should presolving try to simplify inequalities
1.39/1.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.41 c constraints/linear/simplifyinequalities = TRUE
1.39/1.41 c
1.39/1.41 c # should presolving try to simplify knapsacks
1.39/1.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.39/1.41 c constraints/knapsack/simplifyinequalities = TRUE
1.39/1.41 c
1.39/1.41 c # priority of node selection rule <dfs> in standard mode
1.39/1.41 c # [type: int, range: [-536870912,536870911], default: 0]
1.39/1.41 c nodeselection/dfs/stdpriority = 1000000
1.39/1.41 c
1.39/1.41 c -----------------------------------------------------------------------------------------------
1.39/1.41 c start solving
1.39/1.42 c
1.39/1.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.39/1.42 c 0.8s| 1 | 2 | 0 | - | 35M| 0 | - |3936 | 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.96 o 34
1.89/1.96 c * 1.3s| 498 | 488 | 0 | 0.0 | 35M| 497 | - |3936 | 16k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
2.10/2.11 o 33
2.10/2.11 c * 1.5s| 649 | 485 | 0 | 0.0 | 35M| 502 | - |3936 | 16k| 0 | 0 | 0 | 168 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
10.79/10.87 c 10.0s| 10000 | 467 | 0 | 0.0 | 37M| 502 | - |3936 | 20k| 0 | 0 | 0 |8179 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
20.89/20.94 c 19.9s| 20000 | 467 | 0 | 0.0 | 37M| 502 | - |3936 | 22k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
29.28/29.38 c 28.1s| 30000 | 465 | 0 | 0.0 | 38M| 502 | - |3936 | 25k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
38.08/38.19 c 36.8s| 40000 | 460 | 0 | 0.0 | 40M| 502 | - |3936 | 28k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
46.58/46.65 c 45.0s| 50000 | 460 | 0 | 0.0 | 41M| 502 | - |3936 | 31k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
55.68/55.75 c 54.0s| 60000 | 465 | 0 | 0.0 | 43M| 502 | - |3936 | 35k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
66.27/66.37 c 64.3s| 70000 | 461 | 0 | 0.0 | 43M| 502 | - |3936 | 36k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
76.37/76.49 c 74.2s| 80000 | 463 | 0 | 0.0 | 44M| 502 | - |3936 | 38k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
86.57/86.69 c 84.2s| 90000 | 461 | 0 | 0.0 | 45M| 502 | - |3936 | 41k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
96.67/96.71 c 94.0s|100000 | 461 | 0 | 0.0 | 46M| 502 | - |3936 | 44k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
106.16/106.27 c 103s|110000 | 467 | 0 | 0.0 | 48M| 502 | - |3936 | 47k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
115.06/115.13 c 112s|120000 | 461 | 0 | 0.0 | 49M| 502 | - |3936 | 51k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
125.27/125.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.27/125.37 c 122s|130000 | 467 | 0 | 0.0 | 50M| 502 | - |3936 | 54k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
135.05/135.20 c 132s|140000 | 465 | 0 | 0.0 | 51M| 502 | - |3936 | 57k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
144.75/144.85 c 141s|150000 | 462 | 0 | 0.0 | 53M| 502 | - |3936 | 60k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
154.74/154.82 c 151s|160000 | 462 | 0 | 0.0 | 54M| 502 | - |3936 | 63k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
164.54/164.61 c 160s|170000 | 452 | 0 | 0.0 | 55M| 502 | - |3936 | 66k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
174.04/174.18 c 170s|180000 | 462 | 0 | 0.0 | 56M| 502 | - |3936 | 68k| 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
183.64/183.79 c 179s|190000 | 461 | 0 | 0.0 | 57M| 502 | - |3936 | 70k| 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
193.34/193.46 c 189s|200000 | 458 | 0 | 0.0 | 58M| 502 | - |3936 | 73k| 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
202.53/202.61 c 198s|210000 | 455 | 0 | 0.0 | 59M| 502 | - |3936 | 77k| 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
211.83/211.99 c 207s|220000 | 461 | 0 | 0.0 | 61M| 502 | - |3936 | 80k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
221.53/221.66 c 216s|230000 | 457 | 0 | 0.0 | 62M| 502 | - |3936 | 83k| 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
231.42/231.54 c 226s|240000 | 453 | 0 | 0.0 | 63M| 502 | - |3936 | 87k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
241.52/241.60 c 236s|250000 | 459 | 0 | 0.0 | 65M| 502 | - |3936 | 90k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
252.12/252.22 c 246s|260000 | 458 | 0 | 0.0 | 65M| 502 | - |3936 | 91k| 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
262.61/262.74 c 257s|270000 | 454 | 0 | 0.0 | 66M| 502 | - |3936 | 92k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
271.81/271.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.81/271.92 c 266s|280000 | 456 | 0 | 0.0 | 67M| 502 | - |3936 | 95k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
281.52/281.67 c 275s|290000 | 455 | 0 | 0.0 | 68M| 502 | - |3936 | 97k| 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
292.00/292.11 c 285s|300000 | 459 | 0 | 0.0 | 68M| 502 | - |3936 | 99k| 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
301.40/301.52 c 295s|310000 | 461 | 0 | 0.0 | 70M| 502 | - |3936 | 102k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
311.50/311.69 c 304s|320000 | 462 | 0 | 0.0 | 71M| 502 | - |3936 | 105k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
321.49/321.67 c 314s|330000 | 456 | 0 | 0.0 | 72M| 502 | - |3936 | 108k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
331.39/331.52 c 324s|340000 | 457 | 0 | 0.0 | 73M| 502 | - |3936 | 110k| 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
341.79/341.98 c 334s|350000 | 456 | 0 | 0.0 | 74M| 502 | - |3936 | 113k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
351.59/351.77 c 344s|360000 | 452 | 0 | 0.0 | 75M| 502 | - |3936 | 115k| 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
361.58/361.74 c 354s|370000 | 461 | 0 | 0.0 | 76M| 502 | - |3936 | 118k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
371.48/371.66 c 363s|380000 | 460 | 0 | 0.0 | 77M| 502 | - |3936 | 121k| 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
381.08/381.23 c 373s|390000 | 460 | 0 | 0.0 | 78M| 502 | - |3936 | 124k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
390.57/390.74 c 382s|400000 | 456 | 0 | 0.0 | 79M| 502 | - |3936 | 126k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
400.18/400.30 c 391s|410000 | 457 | 0 | 0.0 | 80M| 502 | - |3936 | 129k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
410.27/410.40 c 401s|420000 | 455 | 0 | 0.0 | 82M| 502 | - |3936 | 132k| 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
420.47/420.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.47/420.63 c 411s|430000 | 459 | 0 | 0.0 | 83M| 502 | - |3936 | 134k| 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
431.37/431.54 c 422s|440000 | 461 | 0 | 0.0 | 84M| 502 | - |3936 | 136k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
442.17/442.35 c 432s|450000 | 451 | 0 | 0.0 | 84M| 502 | - |3936 | 139k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
452.56/452.78 c 443s|460000 | 452 | 0 | 0.0 | 86M| 502 | - |3936 | 142k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
463.35/463.56 c 453s|470000 | 449 | 0 | 0.0 | 87M| 502 | - |3936 | 144k| 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
473.46/473.68 c 463s|480000 | 455 | 0 | 0.0 | 88M| 502 | - |3936 | 148k| 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
483.25/483.48 c 473s|490000 | 458 | 0 | 0.0 | 89M| 502 | - |3936 | 150k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
492.85/493.02 c 482s|500000 | 456 | 0 | 0.0 | 91M| 502 | - |3936 | 153k| 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
502.45/502.63 c 491s|510000 | 467 | 0 | 0.0 | 92M| 502 | - |3936 | 156k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
507.54/507.75 o 32
507.54/507.75 c * 496s|515068 | 470 | 0 | 0.0 | 92M| 502 | - |3936 | 157k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
512.64/512.85 c 501s|520000 | 461 | 0 | 0.0 | 92M| 502 | - |3936 | 158k| 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
523.45/523.61 c 512s|530000 | 461 | 0 | 0.0 | 93M| 502 | - |3936 | 160k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
533.94/534.17 c 522s|540000 | 457 | 0 | 0.0 | 94M| 502 | - |3936 | 161k| 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
544.63/544.85 c 533s|550000 | 457 | 0 | 0.0 | 94M| 502 | - |3936 | 163k| 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
555.93/556.13 c 544s|560000 | 459 | 0 | 0.0 | 95M| 502 | - |3936 | 164k| 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
566.72/566.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.72/566.93 c 554s|570000 | 461 | 0 | 0.0 | 96M| 502 | - |3936 | 166k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
576.82/577.01 c 564s|580000 | 462 | 0 | 0.0 | 96M| 502 | - |3936 | 168k| 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
587.61/587.81 c 575s|590000 | 462 | 0 | 0.0 | 97M| 502 | - |3936 | 170k| 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
597.62/597.85 c 585s|600000 | 460 | 0 | 0.0 | 98M| 502 | - |3936 | 172k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
607.81/608.07 c 595s|610000 | 458 | 0 | 0.0 | 98M| 502 | - |3936 | 174k| 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
618.11/618.34 c 605s|620000 | 458 | 0 | 0.0 | 99M| 502 | - |3936 | 176k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
628.70/628.95 c 615s|630000 | 452 | 0 | 0.0 | 100M| 502 | - |3936 | 178k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
639.31/639.58 c 626s|640000 | 459 | 0 | 0.0 | 101M| 502 | - |3936 | 180k| 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
649.40/649.65 c 635s|650000 | 458 | 0 | 0.0 | 102M| 502 | - |3936 | 182k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
659.60/659.87 c 645s|660000 | 455 | 0 | 0.0 | 103M| 502 | - |3936 | 184k| 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
670.10/670.34 c 656s|670000 | 461 | 0 | 0.0 | 103M| 502 | - |3936 | 185k| 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
679.69/679.90 c 665s|680000 | 457 | 0 | 0.0 | 104M| 502 | - |3936 | 188k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
689.50/689.72 c 675s|690000 | 456 | 0 | 0.0 | 105M| 502 | - |3936 | 190k| 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
699.79/700.08 c 685s|700000 | 458 | 0 | 0.0 | 106M| 502 | - |3936 | 192k| 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
710.09/710.34 c 695s|710000 | 457 | 0 | 0.0 | 106M| 502 | - |3936 | 193k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
719.98/720.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
719.98/720.26 c 705s|720000 | 456 | 0 | 0.0 | 107M| 502 | - |3936 | 196k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
729.98/730.22 c 714s|730000 | 459 | 0 | 0.0 | 108M| 502 | - |3936 | 197k| 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
740.17/740.47 c 724s|740000 | 456 | 0 | 0.0 | 109M| 502 | - |3936 | 199k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
749.67/749.92 c 734s|750000 | 459 | 0 | 0.0 | 109M| 502 | - |3936 | 201k| 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
759.97/760.25 c 744s|760000 | 453 | 0 | 0.0 | 110M| 502 | - |3936 | 204k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
770.17/770.41 c 754s|770000 | 454 | 0 | 0.0 | 111M| 502 | - |3936 | 206k| 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
780.56/780.84 c 764s|780000 | 455 | 0 | 0.0 | 112M| 502 | - |3936 | 208k| 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
790.46/790.78 c 774s|790000 | 452 | 0 | 0.0 | 113M| 502 | - |3936 | 211k| 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
800.16/800.48 c 783s|800000 | 451 | 0 | 0.0 | 115M| 502 | - |3936 | 213k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
809.95/810.24 c 793s|810000 | 450 | 0 | 0.0 | 116M| 502 | - |3936 | 215k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
820.95/821.20 c 803s|820000 | 451 | 0 | 0.0 | 116M| 502 | - |3936 | 218k| 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
831.55/831.86 c 814s|830000 | 450 | 0 | 0.0 | 117M| 502 | - |3936 | 220k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
841.94/842.28 c 824s|840000 | 454 | 0 | 0.0 | 118M| 502 | - |3936 | 222k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
853.14/853.44 c 835s|850000 | 448 | 0 | 0.0 | 119M| 502 | - |3936 | 225k| 0 | 0 | 0 | 600k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
864.64/864.94 c 846s|860000 | 459 | 0 | 0.0 | 120M| 502 | - |3936 | 227k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
876.93/877.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.93/877.27 c 858s|870000 | 460 | 0 | 0.0 | 121M| 502 | - |3936 | 229k| 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
888.63/888.95 c 870s|880000 | 464 | 0 | 0.0 | 121M| 502 | - |3936 | 230k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
900.64/900.93 c 882s|890000 | 453 | 0 | 0.0 | 122M| 502 | - |3936 | 232k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
912.43/912.77 c 893s|900000 | 454 | 0 | 0.0 | 123M| 502 | - |3936 | 234k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
924.02/924.39 c 905s|910000 | 459 | 0 | 0.0 | 123M| 502 | - |3936 | 236k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
934.41/934.72 c 915s|920000 | 456 | 0 | 0.0 | 124M| 502 | - |3936 | 238k| 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
945.21/945.54 c 925s|930000 | 457 | 0 | 0.0 | 125M| 502 | - |3936 | 240k| 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
955.71/956.03 c 936s|940000 | 463 | 0 | 0.0 | 126M| 502 | - |3936 | 243k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
966.41/966.72 c 946s|950000 | 454 | 0 | 0.0 | 127M| 502 | - |3936 | 245k| 0 | 0 | 0 | 668k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
977.80/978.11 c 957s|960000 | 448 | 0 | 0.0 | 127M| 502 | - |3936 | 247k| 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
988.80/989.12 c 968s|970000 | 458 | 0 | 0.0 | 128M| 502 | - |3936 | 249k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1000.80/1001.18 c 980s|980000 | 460 | 0 | 0.0 | 130M| 502 | - |3936 | 251k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1012.39/1012.78 c 991s|990000 | 454 | 0 | 0.0 | 131M| 502 | - |3936 | 253k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1023.99/1024.33 c 1003s| 1000k| 453 | 0 | 0.0 | 132M| 502 | - |3936 | 255k| 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1035.59/1035.98 c 1014s| 1010k| 453 | 0 | 0.0 | 132M| 502 | - |3936 | 257k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1046.29/1046.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.29/1046.60 c 1024s| 1020k| 454 | 0 | 0.0 | 133M| 502 | - |3936 | 259k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1057.08/1057.47 c 1035s| 1030k| 454 | 0 | 0.0 | 134M| 502 | - |3936 | 261k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1067.69/1068.07 c 1045s| 1040k| 449 | 0 | 0.0 | 135M| 502 | - |3936 | 264k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1079.17/1079.59 c 1057s| 1050k| 452 | 0 | 0.0 | 136M| 502 | - |3936 | 266k| 0 | 0 | 0 | 737k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1089.97/1090.38 c 1067s| 1060k| 452 | 0 | 0.0 | 137M| 502 | - |3936 | 269k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1101.57/1101.92 c 1079s| 1070k| 454 | 0 | 0.0 | 138M| 502 | - |3936 | 271k| 0 | 0 | 0 | 752k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1112.77/1113.20 c 1090s| 1080k| 453 | 0 | 0.0 | 138M| 502 | - |3936 | 273k| 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1123.87/1124.27 c 1101s| 1090k| 459 | 0 | 0.0 | 139M| 502 | - |3936 | 275k| 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1134.26/1134.67 c 1111s| 1100k| 452 | 0 | 0.0 | 140M| 502 | - |3936 | 277k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1145.65/1146.06 c 1122s| 1110k| 452 | 0 | 0.0 | 141M| 502 | - |3936 | 280k| 0 | 0 | 0 | 780k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1156.95/1157.36 c 1133s| 1120k| 450 | 0 | 0.0 | 142M| 502 | - |3936 | 283k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1168.15/1168.54 c 1144s| 1130k| 448 | 0 | 0.0 | 143M| 502 | - |3936 | 286k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1179.45/1179.88 c 1155s| 1140k| 445 | 0 | 0.0 | 144M| 502 | - |3936 | 287k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1190.74/1191.16 c 1166s| 1150k| 456 | 0 | 0.0 | 145M| 502 | - |3936 | 289k| 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1202.34/1202.79 c 1177s| 1160k| 456 | 0 | 0.0 | 145M| 502 | - |3936 | 291k| 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1213.14/1213.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.14/1213.51 c 1188s| 1170k| 454 | 0 | 0.0 | 146M| 502 | - |3936 | 293k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1223.84/1224.27 c 1199s| 1180k| 456 | 0 | 0.0 | 147M| 502 | - |3936 | 295k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1234.73/1235.10 c 1209s| 1190k| 458 | 0 | 0.0 | 149M| 502 | - |3936 | 297k| 0 | 0 | 0 | 836k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1245.93/1246.38 c 1220s| 1200k| 455 | 0 | 0.0 | 150M| 502 | - |3936 | 299k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1257.22/1257.68 c 1231s| 1210k| 456 | 0 | 0.0 | 150M| 502 | - |3936 | 301k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1269.22/1269.62 c 1243s| 1220k| 452 | 0 | 0.0 | 151M| 502 | - |3936 | 303k| 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1280.32/1280.74 c 1254s| 1230k| 454 | 0 | 0.0 | 152M| 502 | - |3936 | 305k| 0 | 0 | 0 | 862k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1292.02/1292.41 c 1265s| 1240k| 458 | 0 | 0.0 | 152M| 502 | - |3936 | 306k| 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1303.02/1303.49 c 1276s| 1250k| 454 | 0 | 0.0 | 153M| 502 | - |3936 | 309k| 0 | 0 | 0 | 876k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1313.31/1313.77 c 1286s| 1260k| 455 | 0 | 0.0 | 154M| 502 | - |3936 | 311k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1324.10/1324.56 c 1297s| 1270k| 453 | 0 | 0.0 | 155M| 502 | - |3936 | 312k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1335.60/1336.03 c 1308s| 1280k| 461 | 0 | 0.0 | 155M| 502 | - |3936 | 314k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1346.00/1346.45 c 1318s| 1290k| 457 | 0 | 0.0 | 156M| 502 | - |3936 | 316k| 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1357.18/1357.61 c 1329s| 1300k| 458 | 0 | 0.0 | 157M| 502 | - |3936 | 318k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1367.38/1367.87 c 1339s| 1310k| 455 | 0 | 0.0 | 158M| 502 | - |3936 | 320k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1377.97/1378.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.97/1378.41 c 1350s| 1320k| 456 | 0 | 0.0 | 158M| 502 | - |3936 | 322k| 0 | 0 | 0 | 920k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1388.88/1389.36 c 1360s| 1330k| 451 | 0 | 0.0 | 159M| 502 | - |3936 | 324k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1399.77/1400.22 c 1371s| 1340k| 458 | 0 | 0.0 | 160M| 502 | - |3936 | 326k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1410.87/1411.38 c 1382s| 1350k| 454 | 0 | 0.0 | 160M| 502 | - |3936 | 328k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1421.46/1421.99 c 1392s| 1360k| 456 | 0 | 0.0 | 161M| 502 | - |3936 | 330k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1432.76/1433.23 c 1403s| 1370k| 453 | 0 | 0.0 | 162M| 502 | - |3936 | 332k| 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1444.15/1444.67 c 1414s| 1380k| 456 | 0 | 0.0 | 163M| 502 | - |3936 | 335k| 0 | 0 | 0 | 959k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1454.55/1455.05 c 1425s| 1390k| 452 | 0 | 0.0 | 164M| 502 | - |3936 | 337k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1465.75/1466.23 c 1436s| 1400k| 454 | 0 | 0.0 | 165M| 502 | - |3936 | 340k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1477.24/1477.70 c 1447s| 1410k| 449 | 0 | 0.0 | 165M| 502 | - |3936 | 341k| 0 | 0 | 0 | 978k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1488.24/1488.72 c 1458s| 1420k| 449 | 0 | 0.0 | 166M| 502 | - |3936 | 343k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1498.75/1499.29 c 1468s| 1430k| 455 | 0 | 0.0 | 167M| 502 | - |3936 | 345k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1509.03/1509.58 c 1478s| 1440k| 463 | 0 | 0.0 | 168M| 502 | - |3936 | 348k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1520.23/1520.75 c 1489s| 1450k| 449 | 0 | 0.0 | 169M| 502 | - |3936 | 350k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1530.53/1531.09 c 1499s| 1460k| 457 | 0 | 0.0 | 170M| 502 | - |3936 | 352k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1540.72/1541.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1540.72/1541.27 c 1509s| 1470k| 451 | 0 | 0.0 | 172M| 502 | - |3936 | 355k| 0 | 0 | 0 |1019k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1551.63/1552.11 c 1520s| 1480k| 452 | 0 | 0.0 | 173M| 502 | - |3936 | 356k| 0 | 0 | 0 |1025k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1562.92/1563.46 c 1531s| 1490k| 453 | 0 | 0.0 | 173M| 502 | - |3936 | 358k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1574.02/1574.51 c 1542s| 1500k| 454 | 0 | 0.0 | 174M| 502 | - |3936 | 360k| 0 | 0 | 0 |1038k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1585.01/1585.59 c 1553s| 1510k| 454 | 0 | 0.0 | 175M| 502 | - |3936 | 363k| 0 | 0 | 0 |1044k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1596.31/1596.86 c 1564s| 1520k| 451 | 0 | 0.0 | 176M| 502 | - |3936 | 365k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1606.80/1607.39 c 1574s| 1530k| 459 | 0 | 0.0 | 177M| 502 | - |3936 | 367k| 0 | 0 | 0 |1058k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1618.61/1619.13 c 1585s| 1540k| 455 | 0 | 0.0 | 178M| 502 | - |3936 | 369k| 0 | 0 | 0 |1065k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1630.00/1630.57 c 1597s| 1550k| 451 | 0 | 0.0 | 178M| 502 | - |3936 | 371k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1641.29/1641.89 c 1608s| 1560k| 452 | 0 | 0.0 | 179M| 502 | - |3936 | 373k| 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1652.69/1653.28 c 1619s| 1570k| 450 | 0 | 0.0 | 180M| 502 | - |3936 | 375k| 0 | 0 | 0 |1084k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1663.69/1664.24 c 1630s| 1580k| 454 | 0 | 0.0 | 180M| 502 | - |3936 | 377k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1675.28/1675.80 c 1641s| 1590k| 450 | 0 | 0.0 | 181M| 502 | - |3936 | 379k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1686.48/1687.06 c 1652s| 1600k| 454 | 0 | 0.0 | 182M| 502 | - |3936 | 380k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1697.58/1698.17 c 1663s| 1610k| 449 | 0 | 0.0 | 182M| 502 | - |3936 | 382k| 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1708.47/1709.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.47/1709.02 c 1674s| 1620k| 460 | 0 | 0.0 | 183M| 502 | - |3936 | 384k| 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1719.57/1720.12 c 1684s| 1630k| 459 | 0 | 0.0 | 184M| 502 | - |3936 | 386k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1730.16/1730.77 c 1695s| 1640k| 457 | 0 | 0.0 | 185M| 502 | - |3936 | 388k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1740.86/1741.46 c 1705s| 1650k| 464 | 0 | 0.0 | 186M| 502 | - |3936 | 391k| 0 | 0 | 0 |1135k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1751.96/1752.56 c 1716s| 1660k| 459 | 0 | 0.0 | 187M| 502 | - |3936 | 393k| 0 | 0 | 0 |1143k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1763.77/1764.40 c 1728s| 1670k| 454 | 0 | 0.0 | 187M| 502 | - |3936 | 395k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1775.16/1775.73 c 1739s| 1680k| 454 | 0 | 0.0 | 188M| 502 | - |3936 | 397k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1787.45/1788.03 c 1751s| 1690k| 449 | 0 | 0.0 | 189M| 502 | - |3936 | 399k| 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1798.65/1799.29 c 1762s| 1700k| 454 | 0 | 0.0 | 190M| 502 | - |3936 | 401k| 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1800.06/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.61 c
1800.06/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.61 c Solving Time (sec) : 1763.31
1800.06/1800.61 c Solving Nodes : 1701304
1800.06/1800.61 c Primal Bound : +3.20000000000000e+01 (3 solutions)
1800.06/1800.61 c Dual Bound : +0.00000000000000e+00
1800.06/1800.61 c Gap : infinite
1800.06/1800.65 s SATISFIABLE
1800.06/1800.65 v x251 x250 x9330 x249 -x9328 x248 -x9325 -x9323 -x247 -x9321 -x9319 -x9317 -x246 -x9315 -x9313 x9311 -x9309 -x9307 -x9305 x245 -x9303
1800.06/1800.65 v x244 -x9300 x9298 x243 -x9296 -x9294 -x242 -x9292 -x9290 -x9288 x9286 -x9284 -x9282 -x9280 -x9278 -x9276 x9274 x241 -x9272
1800.06/1800.65 v -x9270 -x9268 -x9266 -x9264 x9262 -x9260 -x9258 -x9256 -x9254 -x9252 -x9250 -x9248 -x9246 -x240 -x9244 -x9242 -x9240 -x9237
1800.06/1800.65 v -x9235 -x9232 -x9230 -x9228 -x9226 -x9224 -x9222 -x239 -x9220 -x238 -x9217 -x9215 -x237 -x9213 -x9211 -x9209 -x236 -x9207
1800.06/1800.65 v -x9205 -x9203 -x9201 -x9199 -x9197 -x9195 -x235 -x9193 -x9191 -x9189 x9187 -x9185 -x9183 -x9181 -x9179 -x9176 x9174 -x9172 -x9170
1800.06/1800.65 v -x9168 -x9166 -x9164 -x9162 -x234 -x9159 -x9157 -x9154 -x9152 -x9150 -x9148 -x9146 -x9144 -x9142 -x9139 -x9137 -x9135 -x233
1800.06/1800.65 v -x9133 -x9131 -x9129 -x232 -x9127 -x9125 -x9123 -x9121 -x9119 -x9117 -x9115 -x231 -x9113 -x9111 -x9109 -x9107 -x9105 -x9103
1800.06/1800.65 v -x9101 -x230 -x9099 -x9097 -x9095 -x9092 -x9090 -x9088 -x9086 -x9083 -x9081 -x9079 -x9077 -x9075 -x9073 -x229 -x9071 -x9069
1800.06/1800.66 v -x9067 -x9065 -x9063 -x9061 -x228 -x9058 -x9055 -x9053 -x9051 -x9049 -x9047 -x9045 -x9043 -x9041 -x9039 -x9036 -x9034 -x9032
1800.06/1800.66 v -x227 -x9030 -x9028 -x9026 -x9024 -x9022 -x9020 -x9018 -x9016 -x9014 -x9012 -x9010 -x9008 -x9006 -x9004 -x9002 -x226 -x9000
1800.06/1800.66 v -x8998 -x8996 -x8994 -x8992 -x8990 -x8988 -x8986 -x8984 -x8982 -x8980 -x8978 -x8976 -x8974 -x8972 -x8970 -x8968 -x8966 -x8964
1800.06/1800.66 v -x8962 -x8960 -x8958 -x8956 -x8954 -x8952 -x8950 -x8948 -x8946 -x225 -x8944 x224 x8941 -x8939 x223 -x8937 -x8935 -x8933 x222
1800.06/1800.66 v x8931 -x8929 x8927 -x8925 -x8923 -x8921 -x8919 -x8917 -x8915 -x221 -x8913 -x8911 -x8909 -x8907 -x8905 -x8903 -x8901 -x220 -x8899
1800.06/1800.66 v -x8897 -x8895 -x8893 -x8891 -x8889 -x8887 -x219 -x8885 -x8883 -x8881 -x8879 -x8877 -x8875 -x8873 -x8871 -x8869 -x8867 -x8865
1800.06/1800.66 v -x8863 -x8861 -x8858 -x218 -x8856 -x8854 -x8852 -x217 -x8850 -x8848 -x8846 -x8844 -x8842 -x8840 -x216 -x8837 -x8835 -x8833
1800.06/1800.66 v -x8831 -x8829 -x8827 -x215 -x8825 -x8822 -x8820 -x8818 -x8816 -x8813 -x8811 -x8809 -x8807 -x8805 -x8802 -x8800 -x214 -x8798
1800.06/1800.66 v -x8796 -x8794 -x8792 -x8790 -x8788 -x8786 -x213 -x8784 -x8782 -x8780 -x8778 -x8776 -x8774 -x8772 -x8770 -x8768 -x8766 -x8764
1800.06/1800.66 v -x8761 -x8759 -x8757 -x212 -x8755 -x8753 -x8751 -x8749 -x8747 -x8745 -x8743 -x8741 -x8739 -x8737 -x8735 -x8732 -x8730 -x211
1800.06/1800.66 v -x8728 -x8726 -x8724 -x8722 -x8720 -x8718 -x8716 -x8714 -x8712 -x8710 -x8708 -x8706 -x8704 -x8702 -x8700 -x8698 -x8696 -x8694
1800.06/1800.66 v -x8692 -x8690 -x8688 -x8686 -x8684 -x8682 -x8680 -x8678 -x8676 -x8674 -x8672 -x8670 -x8668 -x210 -x8666 -x8664 -x8662 -x209
1800.06/1800.66 v -x8660 -x8658 -x8656 -x8654 -x8652 -x8650 -x8648 -x208 -x8646 -x8644 -x8642 -x8640 -x8638 -x8636 -x8634 -x207 -x8632 -x8630
1800.06/1800.66 v -x8628 -x8626 -x8624 -x8622 -x8620 -x8618 -x8616 -x8614 -x8612 -x8610 -x8607 -x8605 -x206 -x8603 -x8601 -x8599 -x8597 -x8595
1800.06/1800.66 v -x8593 -x205 -x8590 -x8588 -x8586 -x8584 -x8582 -x8580 -x8578 -x8576 -x8574 -x8572 -x8569 -x8567 -x8565 -x8563 -x204 -x8561
1800.06/1800.66 v -x8559 -x8557 -x8555 -x8553 -x8551 -x8549 -x8547 -x8545 -x8542 -x8540 -x8538 -x8536 -x8534 -x203 -x8532 -x8530 -x8528 -x8526
1800.06/1800.66 v -x8524 -x8522 -x8520 -x8518 -x8516 -x8514 -x8512 -x8510 -x8508 -x8506 -x8504 -x8502 -x8500 -x8498 -x8496 -x8494 -x8492 -x8490
1800.06/1800.66 v -x8488 -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 -x8472 -x202 -x8470 -x8468 -x8466 -x8464 -x8462 -x8460 -x8458 -x201
1800.06/1800.66 v -x8456 -x8454 -x8452 -x8450 -x8448 -x8446 -x8444 -x8442 -x8440 -x8438 -x8436 -x8434 -x8432 -x8430 -x8428 -x200 -x8426 -x8424
1800.06/1800.66 v -x8422 -x8420 -x8418 -x8416 -x8414 -x8412 -x8410 -x8408 -x8406 -x8404 -x8402 -x8400 -x8398 -x199 -x8396 -x8394 -x8392 -x8390
1800.06/1800.66 v -x8388 -x8386 -x8384 -x8382 -x8380 -x8378 -x8376 -x8374 -x8372 -x8370 -x8368 -x8366 -x8364 -x8362 -x8360 -x8358 -x8356 -x8354
1800.06/1800.66 v -x8352 -x8350 -x8348 -x8346 x8344 -x8342 -x8340 -x8338 -x8336 -x8334 -x8332 -x8330 -x8328 -x8326 -x8324 -x8322 -x8320 -x8318
1800.06/1800.66 v -x8316 -x8314 -x8312 -x8310 -x8308 -x198 -x8306 -x8304 -x8302 -x8300 -x8298 -x8296 -x8294 -x8292 -x8289 -x8287 -x8285 -x8283
1800.06/1800.66 v -x8281 -x8279 -x8277 -x8275 -x8273 -x8271 -x8269 -x8267 -x8265 -x8263 -x8261 -x8259 -x8257 -x8255 -x8253 -x8251 -x8249 -x8247
1800.06/1800.66 v -x197 -x8245 -x8243 -x8241 -x8239 -x8237 -x8235 -x8233 -x8231 -x8229 -x8227 -x8225 -x8223 -x8221 -x8219 -x8217 -x8215 -x8213
1800.06/1800.66 v -x8211 -x8209 -x8207 -x8205 -x8203 -x8201 -x8199 -x8197 -x8195 -x8193 -x8191 -x8189 -x8187 -x8185 -x196 -x8183 -x8181 -x8179
1800.06/1800.66 v -x8177 -x8175 -x8173 -x8171 -x8168 -x8166 -x8164 -x8162 -x8160 -x8158 -x8156 -x8154 -x8152 -x8150 -x8148 -x8146 -x8144 -x8142
1800.06/1800.66 v -x8140 -x8138 -x8136 -x8134 -x8132 -x8130 -x8128 -x8126 -x8124 -x8122 -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108 -x8106
1800.06/1800.66 v -x8104 -x8102 -x8100 -x8098 -x8096 -x8094 -x8091 -x8089 -x8087 -x8085 -x8083 -x8081 -x8079 -x8077 -x8075 -x8073 -x8071 -x8069
1800.06/1800.66 v -x8067 -x195 -x8065 x194 -x8062 -x8060 -x193 -x8058 -x8056 -x8054 -x192 -x8052 -x8050 -x8048 -x8046 -x8044 -x8042 -x8040
1800.06/1800.66 v -x191 -x8038 -x8036 -x8034 -x190 -x8032 -x8030 -x8028 -x8026 -x8024 -x8022 -x8020 -x189 -x8018 -x8016 -x8014 -x8012 -x8010 -x8008
1800.06/1800.66 v -x8006 -x188 -x8004 -x8002 -x8000 -x7998 -x7996 -x7994 -x7992 -x7990 -x7987 -x7985 -x7983 -x7981 -x7979 -x7977 -x187 -x7975
1800.06/1800.66 v -x7973 -x7971 -x186 -x7969 -x7967 -x7965 -x7963 -x7961 -x7959 -x7957 x185 x7955 -x7953 -x7951 -x7949 -x7947 -x7945 -x7943
1800.06/1800.66 v -x184 -x7941 -x7939 -x7937 -x7935 -x7933 -x7931 -x7929 -x7927 -x7925 -x7923 -x7921 -x7919 -x7917 -x7915 -x183 -x7912 -x7910
1800.06/1800.66 v -x7908 -x7906 -x7904 -x7902 -x7900 -x182 -x7898 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7879 -x7877 -x7875
1800.06/1800.66 v -x7873 -x7871 -x181 -x7869 -x7867 -x7865 -x7863 -x7861 -x7859 -x7857 -x7855 -x7853 -x7851 -x7849 -x7847 -x7845 -x7843 -x7841
1800.06/1800.66 v -x180 -x7839 -x7837 -x7835 -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 -x7813 -x7811 -x7809 -x7807
1800.06/1800.66 v -x7805 -x7803 -x7801 -x7799 -x7797 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 -x7783 x7781 -x7779 -x7777 x7775 -x7773 x179 -x7771
1800.06/1800.66 v -x7769 -x7767 -x7765 -x7763 -x7761 -x7759 -x178 -x7757 -x7755 x7753 -x7751 -x7749 -x7747 -x7745 -x7742 -x7740 -x7738 x7736
1800.06/1800.66 v -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x7721 -x7719 -x7717 -x7715 -x7712 -x7710 -x7708 -x7706 -x7704 -x177 -x7702 -x7700
1800.06/1800.66 v -x7698 -x7696 -x7694 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x176 -x7673 -x7671 -x7669 -x7667 -x7665
1800.06/1800.66 v -x7663 -x7660 -x7658 -x7656 -x7654 -x7652 -x7649 -x7647 -x175 -x7645 -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x7631 -x7629
1800.06/1800.66 v -x7627 -x7625 -x7623 -x7621 -x7619 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593
1800.06/1800.66 v -x7591 -x7588 -x7586 -x174 -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x173 -x7570 -x7568 -x7566 -x7564 -x7562 -x7560
1800.06/1800.66 v -x7558 -x7556 -x7554 -x7552 -x7550 -x7548 -x7546 -x7544 -x7542 -x172 -x7540 -x7538 -x7536 -x7534 -x7532 -x7530 -x7528 -x7526
1800.06/1800.66 v -x7524 -x7522 -x7520 -x7518 -x7516 -x7514 -x7512 -x171 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491
1800.06/1800.66 v -x7489 -x7487 -x7485 -x7483 -x7481 -x7479 -x7477 -x7475 -x7473 -x7471 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454
1800.06/1800.66 v -x7452 -x170 -x7450 -x7448 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7427 -x7425 -x7423 -x169 -x7421
1800.06/1800.66 v -x7419 -x7417 -x7415 -x7413 -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385
1800.06/1800.66 v -x7383 -x7381 -x7379 -x7377 -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x168 -x7359 -x7357 -x7355 -x7353 -x7351
1800.06/1800.66 v -x7349 -x7347 -x7345 -x7343 -x7341 -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315
1800.06/1800.66 v -x7313 -x7311 -x7309 -x7307 -x7305 -x7303 -x7301 -x167 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281
1800.06/1800.66 v -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x7250 -x7248 -x7246 -x7244
1800.06/1800.66 v -x7242 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209
1800.06/1800.66 v -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x166 -x7175
1800.06/1800.66 v -x7173 -x7171 -x165 -x7169 -x7167 -x7165 -x7163 -x7161 -x7159 -x7157 -x164 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x163
1800.06/1800.66 v -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x162 -x7112 -x7110 -x7108
1800.06/1800.66 v -x7106 -x7104 -x7102 -x7100 -x161 -x7098 -x7096 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080 -x7078 -x7076 -x7074
1800.06/1800.66 v -x7072 -x7070 -x160 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x7040
1800.06/1800.66 v -x159 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006
1800.06/1800.66 v -x7004 -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978 -x158 -x6976 -x6974 -x6972
1800.06/1800.66 v -x6970 -x6968 -x6966 -x6964 -x157 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x6938
1800.06/1800.66 v -x6936 -x6934 -x156 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910 -x6908 -x6906 -x6904
1800.06/1800.66 v -x155 -x6902 -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876 -x6874 -x6872 -x6870
1800.06/1800.66 v -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x154 -x6840 -x6838 -x6836
1800.06/1800.66 v -x6834 -x6832 -x6830 -x6828 -x6826 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x153 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801
1800.06/1800.66 v -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765
1800.06/1800.66 v -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x152 -x6751 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731
1800.06/1800.66 v -x6729 -x6727 -x6725 -x6723 -x6721 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697
1800.06/1800.66 v -x6695 -x6693 -x6691 -x151 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663
1800.06/1800.66 v -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627
1800.06/1800.66 v -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590
1800.06/1800.66 v -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x150 -x6564 -x6562 -x6560 -x6558 -x6556
1800.06/1800.66 v -x6554 -x6552 -x149 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522
1800.06/1800.66 v -x148 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6493 -x147 -x6491 -x6489
1800.06/1800.66 v -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453
1800.06/1800.66 v -x6451 -x6449 -x6447 -x6445 -x6443 -x6440 -x6438 -x6436 -x6434 -x146 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418
1800.06/1800.66 v -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x145 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x6384
1800.06/1800.66 v -x6382 -x6380 -x6378 -x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348
1800.06/1800.66 v -x6346 -x6344 -x6342 -x144 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314
1800.06/1800.66 v -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x143
1800.06/1800.66 v -x6278 -x6276 -x6274 -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6245 -x6243
1800.06/1800.66 v -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207
1800.06/1800.66 v -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171
1800.06/1800.66 v -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x142 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137
1800.06/1800.66 v -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x141 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103
1800.06/1800.66 v -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069
1800.06/1800.66 v -x6067 -x6065 -x6063 -x140 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035
1800.06/1800.66 v -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x6001 -x139
1800.06/1800.66 v -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5968 -x5966 -x5964
1800.06/1800.66 v -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x5932 -x5930 -x5928
1800.06/1800.66 v -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891
1800.06/1800.66 v -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x138 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857
1800.06/1800.66 v -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 -x5827 -x5825 -x5823 -x5821
1800.06/1800.66 v -x5819 -x5817 -x5815 -x137 -x5813 -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787
1800.06/1800.66 v -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 -x5753 -x5751
1800.06/1800.66 v -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715
1800.06/1800.66 v -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x5693 -x5691 -x5689 -x136 -x5687 -x5685 -x5683 -x5681
1800.06/1800.66 v -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647
1800.06/1800.66 v -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611
1800.06/1800.66 v -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575
1800.06/1800.66 v -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x135 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541
1800.06/1800.66 v -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505
1800.06/1800.66 v -x5503 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 x5471 -x5469
1800.06/1800.66 v -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433
1800.06/1800.66 v -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397
1800.06/1800.66 v -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361
1800.06/1800.66 v -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x5330 -x5328 -x5326
1800.06/1800.66 v -x5324 -x5322 -x5320 -x5318 -x5316 -x134 -x5313 -x5311 -x133 -x5309 -x5307 -x5305 -x132 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293
1800.06/1800.66 v -x5291 -x131 -x5289 -x5287 -x5285 -x130 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x129 -x5269 -x5267 -x5265 -x5263
1800.06/1800.66 v -x5261 -x5259 -x5257 -x128 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229
1800.06/1800.66 v -x5227 -x127 -x5225 -x5223 -x126 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x125 -x5207 -x5205 -x5203 -x5201 -x5199
1800.06/1800.66 v -x5197 -x5195 -x124 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x123 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167
1800.06/1800.66 v -x5165 -x5163 -x5160 -x5158 -x5156 -x5154 -x5152 -x122 -x5150 -x5148 -x5146 x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x121
1800.06/1800.66 v -x5129 -x5127 -x5124 -x5122 -x5120 -x120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096
1800.06/1800.66 v -x5094 -x5092 -x5090 -x119 -x5088 -x5086 -x5084 -x5081 -x5079 -x118 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062
1800.06/1800.66 v -x5060 -x5058 -x5055 -x5053 -x5051 -x5049 -x117 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027
1800.06/1800.66 v -x5025 -x5023 -x5021 -x5019 -x116 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993
1800.06/1800.66 v -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957
1800.06/1800.66 v -x115 -x4955 -x4953 -x4951 -x4948 -x4946 -x4944 -x114 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924
1800.06/1800.66 v -x4922 -x4920 -x4918 -x4916 -x4914 -x113 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890
1800.06/1800.66 v -x4888 -x4886 -x4884 -x112 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856
1800.06/1800.66 v x4854 -x4852 -x4850 -x4848 -x111 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x110 -x4832 -x4830 -x4828 -x4826 -x4824
1800.06/1800.66 v -x4822 -x4820 -x109 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x108
1800.06/1800.66 v -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x107 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4761 -x4759 -x4757 -x4755
1800.06/1800.66 v -x4753 -x4751 -x4749 -x106 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721
1800.06/1800.66 v -x4719 -x105 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686
1800.06/1800.66 v -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x104 -x4656 -x4654 -x4652
1800.06/1800.66 v -x4650 -x4648 -x4646 -x4644 -x103 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618
1800.06/1800.66 v -x4616 -x4614 -x102 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x101 -x4586
1800.06/1800.66 v -x4584 -x4582 -x4580 -x4578 -x4576 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x100 -x4557 -x4555 -x4553 -x4551
1800.06/1800.66 v -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515
1800.06/1800.66 v -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x99 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x98 -x4480
1800.06/1800.66 v -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x97 -x4452 -x4450 -x4448 -x4446
1800.06/1800.66 v -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x96 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412
1800.06/1800.66 v -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376
1800.06/1800.66 v -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x95 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342
1800.06/1800.66 v -x4340 -x4338 -x4336 -x4334 -x4332 -x94 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308
1800.06/1800.66 v -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272
1800.06/1800.66 v -x4270 -x93 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238
1800.06/1800.66 v -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x92 -x4208 -x4206 -x4204
1800.06/1800.66 v -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168
1800.06/1800.66 v -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132
1800.06/1800.66 v -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096
1800.06/1800.66 v -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x91 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062
1800.06/1800.66 v -x4060 -x4058 -x4055 -x90 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026
1800.06/1800.66 v -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990
1800.06/1800.66 v -x3988 -x89 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x88 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x87 -x3958
1800.06/1800.66 v -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x86 -x3928 -x3926 -x3924
1800.06/1800.66 v -x3922 -x3920 -x3918 -x85 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3894 -x3892 -x3890 -x3888
1800.06/1800.66 v -x84 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3867 -x3865 -x3863 -x3861 -x3859 -x83 -x3857 -x3855 -x3853
1800.06/1800.66 v -x3851 -x3849 x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817
1800.06/1800.66 v -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783
1800.06/1800.66 v -x82 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x81 -x3751 -x3749
1800.06/1800.66 v -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x80 -x3721 -x3719 -x3717 x3715
1800.06/1800.66 v -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679
1800.06/1800.66 v -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x79 -x3656 -x3654 -x78 -x3652 -x3650 -x3648 -x77 -x3646
1800.06/1800.66 v -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x76 -x3632 -x3630 -x3628 -x75 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614
1800.06/1800.66 v -x74 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x73 -x3598 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580
1800.06/1800.66 v -x3578 -x3576 -x3574 -x3572 -x3570 -x72 -x3568 -x3566 -x3564 -x71 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x70
1800.06/1800.66 v -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x69 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x3516
1800.06/1800.66 v -x3513 -x3511 -x3509 -x3507 -x68 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x67 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481
1800.06/1800.66 v -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3466 -x3464 -x66 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446
1800.06/1800.66 v -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x65 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412
1800.06/1800.66 v -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376
1800.06/1800.66 v -x3374 -x3372 -x64 -x3370 -x3368 -x3366 -x63 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x62 -x3350 -x3348 -x3346 -x3344
1800.06/1800.66 v -x3342 -x3340 -x3338 -x61 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310
1800.06/1800.66 v -x3308 -x60 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x59 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278
1800.06/1800.66 v -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x58 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244
1800.06/1800.66 v -x3242 -x3240 -x3238 -x3236 -x3234 -x57 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208
1800.06/1800.66 v -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174
1800.06/1800.66 v -x3172 -x56 -x3170 -x3168 -x3166 -x55 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x54 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141
1800.06/1800.66 v -x3139 -x53 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3110 -x52 -x3108 -x3106
1800.06/1800.66 v -x3104 -x3102 -x3100 -x3098 -x51 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072
1800.06/1800.66 v -x3070 -x3068 -x50 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038
1800.06/1800.66 v -x49 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004
1800.06/1800.66 v -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x48 -x2974 -x2972 -x2970
1800.06/1800.66 v -x2968 -x2966 -x2964 -x2962 -x47 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936
1800.06/1800.66 v -x2934 -x2932 -x46 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902
1800.06/1800.66 v -x45 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866
1800.06/1800.66 v -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x44 -x2838 -x2836 -x2834 -x2832
1800.06/1800.66 v -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x43 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798
1800.06/1800.66 v -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762
1800.06/1800.66 v -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x42 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728
1800.06/1800.66 v -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692
1800.06/1800.66 v -x2690 -x2688 -x2686 -x41 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658
1800.06/1800.66 v -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622
1800.06/1800.66 v -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586
1800.06/1800.66 v -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x40 -x2558 -x2556 -x2554 -x39
1800.06/1800.66 v -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x38 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x37 -x2524 -x2522
1800.06/1800.66 v -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x36 -x2494 -x2492 -x2490 -x2488 -x2486
1800.06/1800.66 v -x2484 -x2482 -x35 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452
1800.06/1800.66 v -x34 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x33 -x2420
1800.06/1800.66 v -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384
1800.06/1800.66 v -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x32 -x2358 -x2356 -x2354 -x2352 -x2349
1800.06/1800.66 v -x2347 -x31 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x30 -x2315
1800.06/1800.66 v -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x29 -x2286 -x2284 -x2282 -x2280
1800.06/1800.66 v -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244
1800.06/1800.66 v -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x28 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210
1800.06/1800.66 v -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x27 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176
1800.06/1800.66 v -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140
1800.06/1800.66 v -x2138 -x2136 -x2134 -x26 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2113 -x2111 -x2109 -x2107 -x2105
1800.06/1800.66 v -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x25 -x2071
1800.06/1800.66 v -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035
1800.06/1800.66 v -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999
1800.06/1800.66 v -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962
1800.06/1800.66 v -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x24 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x23 -x1932 -x1930
1800.06/1800.66 v -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x22 -x1902 -x1900 -x1898 -x1896
1800.06/1800.66 v -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1875 -x21 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1860
1800.06/1800.66 v -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824
1800.06/1800.66 v -x1822 -x1820 -x1818 -x1816 -x1814 -x20 -x1812 -x1810 -x1808 -x1806 -x1804 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789
1800.06/1800.66 v -x1787 -x1785 -x19 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755
1800.06/1800.66 v -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x18 -x1721 -x1719
1800.06/1800.66 v -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685
1800.06/1800.66 v -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x17 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649
1800.06/1800.66 v x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613
1800.06/1800.66 v -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579
1800.06/1800.66 v -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543
1800.06/1800.66 v -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x16 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509
1800.06/1800.66 v -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x15 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473
1800.06/1800.66 v -x1471 -x1469 -x1467 -x1465 -x1463 -x14 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439
1800.06/1800.66 v -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403
1800.06/1800.66 v -x1401 -x13 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x12
1800.06/1800.66 v -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335
1800.06/1800.66 v -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x11 -x1307 -x1305 -x1303 -x1301
1800.06/1800.66 v -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265
1800.06/1800.66 v -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x10 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231
1800.06/1800.66 v -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195
1800.06/1800.66 v -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x1161 -x1159
1800.06/1800.66 v -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123
1800.06/1800.66 v -x1121 -x9 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x8
1800.06/1800.66 v -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055
1800.06/1800.66 v -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x7 -x1027 -x1025 -x1023 -x1021
1800.06/1800.66 v -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981
1800.06/1800.66 v -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x6 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941
1800.06/1800.66 v -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899
1800.06/1800.66 v -x897 -x895 -x893 -x891 -x889 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858
1800.06/1800.66 v -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x5 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816
1800.06/1800.66 v -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x4 -x778 -x776
1800.06/1800.66 v -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734
1800.06/1800.66 v -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694
1800.06/1800.66 v -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x3 -x652
1800.06/1800.66 v -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612
1800.06/1800.66 v -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570
1800.06/1800.66 v -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528
1800.06/1800.66 v -x2 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488
1800.06/1800.66 v -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 x456 -x454 -x452 -x450 -x448 -x446
1800.06/1800.66 v -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404
1800.06/1800.66 v -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362
1800.06/1800.66 v -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320
1800.06/1800.66 v -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278
1800.06/1800.66 v -x276 -x274 -x272 -x270 -x268 -x1 -x266 -x264 x262 -x260 -x258 -x256 -x254 -x252 x9333 x9332 x9331 -x9329 x9327 -x9326 -x9324
1800.06/1800.66 v -x9322 -x9320 -x9318 -x9316 -x9314 x9312 -x9310 -x9308 -x9306 -x9304 x9302 -x9301 x9299 -x9297 -x9295 -x9293 -x9291 -x9289
1800.06/1800.66 v x9287 -x9285 -x9283 -x9281 -x9279 -x9277 x9275 -x9273 -x9271 -x9269 -x9267 -x9265 x9263 -x9261 -x9259 -x9257 -x9255 -x9253
1800.06/1800.66 v -x9251 -x9249 -x9247 -x9245 -x9243 -x9241 -x9239 -x9238 -x9236 -x9234 -x9233 -x9231 -x9229 -x9227 -x9225 -x9223 -x9221 -x9219
1800.06/1800.66 v -x9218 -x9216 -x9214 -x9212 -x9210 -x9208 -x9206 -x9204 -x9202 -x9200 -x9198 -x9196 -x9194 -x9192 -x9190 x9188 -x9186 -x9184
1800.06/1800.66 v -x9182 -x9180 -x9178 -x9177 x9175 -x9173 -x9171 -x9169 -x9167 -x9165 -x9163 -x9161 -x9160 -x9158 -x9156 -x9155 -x9153 -x9151
1800.06/1800.66 v -x9149 -x9147 -x9145 -x9143 -x9141 -x9140 -x9138 -x9136 -x9134 -x9132 -x9130 -x9128 -x9126 -x9124 -x9122 -x9120 -x9118 -x9116
1800.06/1800.66 v -x9114 -x9112 -x9110 -x9108 -x9106 -x9104 -x9102 -x9100 -x9098 -x9096 -x9094 -x9093 -x9091 -x9089 -x9087 -x9085 -x9084 -x9082
1800.06/1800.66 v -x9080 -x9078 -x9076 -x9074 -x9072 -x9070 -x9068 -x9066 -x9064 -x9062 -x9060 -x9059 -x9057 -x9056 -x9054 -x9052 -x9050 -x9048
1800.06/1800.66 v -x9046 -x9044 -x9042 -x9040 -x9038 -x9037 -x9035 -x9033 -x9031 -x9029 -x9027 -x9025 -x9023 -x9021 -x9019 -x9017 -x9015
1800.06/1800.66 v -x9013 -x9011 -x9009 -x9007 -x9005 -x9003 -x9001 -x8999 -x8997 -x8995 -x8993 -x8991 -x8989 -x8987 -x8985 -x8983 -x8981 -x8979
1800.06/1800.66 v -x8977 -x8975 -x8973 -x8971 -x8969 -x8967 -x8965 -x8963 -x8961 -x8959 -x8957 -x8955 -x8953 -x8951 -x8949 -x8947 -x8945 x8943
1800.06/1800.66 v x8942 -x8940 -x8938 -x8936 -x8934 x8932 -x8930 x8928 -x8926 -x8924 -x8922 -x8920 -x8918 -x8916 -x8914 -x8912 -x8910 -x8908 -x8906
1800.06/1800.66 v -x8904 -x8902 -x8900 -x8898 -x8896 -x8894 -x8892 -x8890 -x8888 -x8886 -x8884 -x8882 -x8880 -x8878 -x8876 -x8874 -x8872
1800.06/1800.66 v -x8870 -x8868 -x8866 -x8864 -x8862 -x8860 -x8859 -x8857 -x8855 -x8853 -x8851 -x8849 -x8847 -x8845 -x8843 -x8841 -x8839 -x8838
1800.06/1800.66 v -x8836 -x8834 -x8832 -x8830 -x8828 -x8826 -x8824 -x8823 -x8821 -x8819 -x8817 -x8815 -x8814 -x8812 -x8810 -x8808 -x8806 -x8804
1800.06/1800.66 v -x8803 -x8801 -x8799 -x8797 -x8795 -x8793 -x8791 -x8789 -x8787 -x8785 -x8783 -x8781 -x8779 -x8777 -x8775 -x8773 -x8771 -x8769
1800.06/1800.66 v -x8767 -x8765 -x8763 -x8762 -x8760 -x8758 -x8756 -x8754 -x8752 -x8750 -x8748 -x8746 -x8744 -x8742 -x8740 -x8738 -x8736 -x8734
1800.06/1800.66 v -x8733 -x8731 -x8729 -x8727 -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 -x8713 -x8711 -x8709 -x8707 -x8705 -x8703 -x8701 -x8699
1800.06/1800.66 v -x8697 -x8695 -x8693 -x8691 -x8689 -x8687 -x8685 -x8683 -x8681 -x8679 -x8677 -x8675 -x8673 -x8671 -x8669 -x8667 -x8665 -x8663
1800.06/1800.66 v -x8661 -x8659 -x8657 -x8655 -x8653 -x8651 -x8649 -x8647 -x8645 -x8643 -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629
1800.06/1800.66 v -x8627 -x8625 -x8623 -x8621 -x8619 -x8617 -x8615 -x8613 -x8611 -x8609 -x8608 -x8606 -x8604 -x8602 -x8600 -x8598 -x8596 -x8594
1800.06/1800.66 v -x8592 -x8591 -x8589 -x8587 -x8585 -x8583 -x8581 -x8579 -x8577 -x8575 -x8573 -x8571 -x8570 -x8568 -x8566 -x8564 -x8562 -x8560
1800.06/1800.66 v -x8558 -x8556 -x8554 -x8552 -x8550 -x8548 -x8546 -x8544 -x8543 -x8541 -x8539 -x8537 -x8535 -x8533 -x8531 -x8529 -x8527 -x8525
1800.06/1800.66 v -x8523 -x8521 -x8519 -x8517 -x8515 -x8513 -x8511 -x8509 -x8507 -x8505 -x8503 -x8501 -x8499 -x8497 -x8495 -x8493 -x8491 -x8489
1800.06/1800.66 v -x8487 -x8485 -x8483 -x8481 -x8479 -x8477 -x8475 -x8473 -x8471 -x8469 -x8467 -x8465 -x8463 -x8461 -x8459 -x8457 -x8455 -x8453
1800.06/1800.66 v -x8451 -x8449 -x8447 -x8445 -x8443 -x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 -x8427 -x8425 -x8423 -x8421 -x8419 -x8417
1800.06/1800.66 v -x8415 -x8413 -x8411 -x8409 -x8407 -x8405 -x8403 -x8401 -x8399 -x8397 -x8395 -x8393 -x8391 -x8389 -x8387 -x8385 -x8383
1800.06/1800.66 v -x8381 -x8379 -x8377 -x8375 -x8373 -x8371 -x8369 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 -x8355 -x8353 -x8351 -x8349 -x8347
1800.06/1800.66 v x8345 -x8343 -x8341 -x8339 -x8337 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 -x8323 -x8321 -x8319 -x8317 -x8315 -x8313 -x8311
1800.06/1800.66 v -x8309 -x8307 -x8305 -x8303 -x8301 -x8299 -x8297 -x8295 -x8293 -x8291 -x8290 -x8288 -x8286 -x8284 -x8282 -x8280 -x8278 -x8276
1800.06/1800.66 v -x8274 -x8272 -x8270 -x8268 -x8266 -x8264 -x8262 -x8260 -x8258 -x8256 -x8254 -x8252 -x8250 -x8248 -x8246 -x8244 -x8242 -x8240
1800.06/1800.66 v -x8238 -x8236 -x8234 -x8232 -x8230 -x8228 -x8226 -x8224 -x8222 -x8220 -x8218 -x8216 -x8214 -x8212 -x8210 -x8208 -x8206 -x8204
1800.06/1800.66 v -x8202 -x8200 -x8198 -x8196 -x8194 -x8192 -x8190 -x8188 -x8186 -x8184 -x8182 -x8180 -x8178 -x8176 -x8174 -x8172 -x8170 -x8169
1800.06/1800.66 v -x8167 -x8165 -x8163 -x8161 -x8159 -x8157 -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x8143 -x8141 -x8139 -x8137 -x8135 -x8133
1800.06/1800.66 v -x8131 -x8129 -x8127 -x8125 -x8123 -x8121 -x8119 -x8117 -x8115 -x8113 -x8111 -x8109 -x8107 -x8105 -x8103 -x8101 -x8099
1800.06/1800.66 v -x8097 -x8095 -x8093 -x8092 -x8090 -x8088 -x8086 -x8084 -x8082 -x8080 -x8078 -x8076 -x8074 -x8072 -x8070 -x8068 -x8066 x8064
1800.06/1800.66 v -x8063 -x8061 -x8059 -x8057 -x8055 -x8053 -x8051 -x8049 -x8047 -x8045 -x8043 -x8041 -x8039 -x8037 -x8035 -x8033 -x8031 -x8029
1800.06/1800.66 v -x8027 -x8025 -x8023 -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 -x8009 -x8007 -x8005 -x8003 -x8001 -x7999 -x7997 -x7995 -x7993
1800.06/1800.66 v -x7991 -x7989 -x7988 -x7986 -x7984 -x7982 -x7980 -x7978 -x7976 -x7974 -x7972 -x7970 -x7968 -x7966 -x7964 -x7962 -x7960 -x7958
1800.06/1800.66 v x7956 -x7954 -x7952 -x7950 -x7948 -x7946 -x7944 -x7942 -x7940 -x7938 -x7936 -x7934 -x7932 -x7930 -x7928 -x7926 -x7924 -x7922
1800.06/1800.66 v -x7920 -x7918 -x7916 -x7914 -x7913 -x7911 -x7909 -x7907 -x7905 -x7903 -x7901 -x7899 -x7897 -x7896 -x7894 -x7892 -x7890 -x7888
1800.06/1800.66 v -x7886 -x7884 -x7882 -x7880 -x7878 -x7876 -x7874 -x7872 -x7870 -x7868 -x7866 -x7864 -x7862 -x7860 -x7858 -x7856 -x7854 -x7852
1800.06/1800.66 v -x7850 -x7848 -x7846 -x7844 -x7842 -x7840 -x7838 -x7836 -x7834 -x7832 -x7830 -x7828 -x7826 -x7824 -x7822 -x7820 -x7818 -x7816
1800.06/1800.66 v -x7814 -x7812 -x7810 -x7808 -x7806 -x7804 -x7802 -x7800 -x7798 -x7796 -x7794 -x7792 -x7790 -x7788 -x7786 -x7784 x7782 -x7780
1800.06/1800.66 v -x7778 x7776 -x7774 -x7772 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x7756 x7754 -x7752 -x7750 -x7748 -x7746 -x7744
1800.06/1800.66 v -x7743 -x7741 -x7739 x7737 -x7735 -x7733 -x7731 -x7729 -x7727 -x7725 -x7723 -x7722 -x7720 -x7718 -x7716 -x7714 -x7713 -x7711
1800.06/1800.66 v -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695 -x7693 -x7692 -x7690 -x7688 -x7686 -x7684 -x7682 -x7680 -x7678 -x7676
1800.06/1800.66 v -x7674 -x7672 -x7670 -x7668 -x7666 -x7664 -x7662 -x7661 -x7659 -x7657 -x7655 -x7653 -x7651 -x7650 -x7648 -x7646 -x7644
1800.06/1800.66 v -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x7628 -x7626 -x7624 -x7622 -x7620 -x7618 -x7616 -x7614 -x7612 -x7610 -x7608
1800.06/1800.66 v -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 -x7589 -x7587 -x7585 -x7583 -x7581 -x7579 -x7577 -x7575 -x7573
1800.06/1800.66 v -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x7553 -x7551 -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537
1800.06/1800.66 v -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 -x7521 -x7519 -x7517 -x7515 -x7513 -x7511 -x7510 -x7508 -x7506 -x7504 -x7502
1800.06/1800.66 v -x7500 -x7498 -x7496 -x7494 -x7492 -x7490 -x7488 -x7486 -x7484 -x7482 -x7480 -x7478 -x7476 -x7474 -x7472 -x7470 -x7469 -x7467
1800.06/1800.66 v -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449 -x7447 -x7445 -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431
1800.06/1800.66 v -x7429 -x7428 -x7426 -x7424 -x7422 -x7420 -x7418 -x7416 -x7414 -x7412 -x7410 -x7408 -x7406 -x7404 -x7402 -x7400 -x7398
1800.06/1800.66 v -x7396 -x7394 -x7392 -x7390 -x7388 -x7386 -x7384 -x7382 -x7380 -x7378 -x7376 -x7374 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362
1800.06/1800.66 v -x7360 -x7358 -x7356 -x7354 -x7352 -x7350 -x7348 -x7346 -x7344 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326
1800.06/1800.66 v -x7324 -x7322 -x7320 -x7318 -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290
1800.06/1800.66 v -x7288 -x7286 -x7284 -x7282 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255
1800.06/1800.66 v -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 -x7222 -x7220
1800.06/1800.66 v -x7218 -x7216 -x7214 -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x7192 -x7190 -x7188 -x7186 -x7184
1800.06/1800.66 v -x7182 -x7180 -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150
1800.06/1800.66 v -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7129 -x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115
1800.06/1800.66 v -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 -x7081 -x7079
1800.06/1800.66 v -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043
1800.06/1800.66 v -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007
1800.06/1800.66 v -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971
1800.06/1800.66 v -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x6943 -x6941 -x6939 -x6937 -x6935
1800.06/1800.66 v -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901
1800.06/1800.66 v -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 -x6879 -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865
1800.06/1800.66 v -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829
1800.06/1800.66 v -x6827 -x6825 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794
1800.06/1800.66 v -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758
1800.06/1800.66 v -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732 -x6730 -x6728 -x6726 -x6724 -x6722
1800.06/1800.66 v -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x6694 -x6692 -x6690 -x6688 -x6686
1800.06/1800.66 v -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 -x6656 -x6654 -x6652
1800.06/1800.66 v -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x6630 -x6628 -x6626 -x6624 -x6622 -x6620 -x6618 -x6616
1800.06/1800.66 v -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581
1800.06/1800.66 v -x6579 -x6577 -x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545
1800.06/1800.66 v -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509
1800.06/1800.66 v -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474
1800.06/1800.66 v -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 -x6446 -x6444 -x6442 -x6441 -x6439
1800.06/1800.66 v -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405
1800.06/1800.66 v -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369
1800.06/1800.66 v -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333
1800.06/1800.66 v -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297
1800.06/1800.66 v -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261
1800.06/1800.66 v -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6246 -x6244 -x6242 -x6240 -x6238 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226
1800.06/1800.66 v -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190
1800.06/1800.66 v -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156
1800.06/1800.66 v -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6138 -x6136 -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120
1800.06/1800.66 v -x6118 -x6116 -x6114 -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x6084
1800.06/1800.66 v -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048
1800.06/1800.66 v -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012
1800.06/1800.66 v -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976
1800.06/1800.66 v -x5974 -x5972 -x5970 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941
1800.06/1800.66 v -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5908
1800.06/1800.66 v -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872
1800.06/1800.66 v -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836
1800.06/1800.66 v -x5834 -x5832 -x5830 -x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800
1800.06/1800.66 v -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764
1800.06/1800.66 v -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728
1800.06/1800.66 v -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692
1800.06/1800.66 v -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658
1800.06/1800.66 v -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622
1800.06/1800.66 v -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586
1800.06/1800.66 v -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550
1800.06/1800.66 v -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514
1800.06/1800.66 v -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478
1800.06/1800.66 v -x5476 -x5474 x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442
1800.06/1800.66 v -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406
1800.06/1800.66 v -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372
1800.06/1800.66 v -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336
1800.06/1800.66 v -x5334 -x5332 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302
1800.06/1800.66 v -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266
1800.06/1800.66 v -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230
1800.06/1800.66 v -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194
1800.06/1800.66 v -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5161 -x5159
1800.06/1800.66 v -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5130 -x5128 -x5126 -x5125
1800.06/1800.66 v -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091
1800.06/1800.66 v -x5089 -x5087 -x5085 -x5083 -x5082 -x5080 -x5078 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057
1800.06/1800.66 v -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022
1800.06/1800.66 v -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986
1800.06/1800.66 v -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950
1800.06/1800.66 v -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915
1800.06/1800.66 v -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879
1800.06/1800.66 v -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843
1800.06/1800.66 v -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809
1800.06/1800.66 v -x4807 -x4805 -x4803 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4777 -x4775
1800.06/1800.66 v -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740
1800.06/1800.66 v -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704
1800.06/1800.66 v -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669
1800.06/1800.66 v -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633
1800.06/1800.66 v -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597
1800.06/1800.66 v -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564
1800.06/1800.66 v -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528
1800.06/1800.66 v -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492
1800.06/1800.66 v -x4490 -x4488 -x4486 -x4484 -x4482 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457
1800.06/1800.66 v -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421
1800.06/1800.66 v -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385
1800.06/1800.66 v -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349
1800.06/1800.66 v -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315
1800.06/1800.66 v -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279
1800.06/1800.66 v -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243
1800.06/1800.66 v -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207
1800.06/1800.66 v -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171
1800.06/1800.66 v -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135
1800.06/1800.66 v -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099
1800.06/1800.66 v -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065
1800.06/1800.66 v -x4063 -x4061 -x4059 -x4057 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4037 -x4035 -x4033 -x4031
1800.06/1800.66 v -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995
1800.06/1800.66 v -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959
1800.06/1800.66 v -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923
1800.06/1800.66 v -x3921 -x3919 -x3917 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3895 -x3893 -x3891 -x3889
1800.06/1800.66 v -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854
1800.06/1800.66 v -x3852 -x3850 x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818
1800.06/1800.66 v -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782
1800.06/1800.66 v -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748
1800.06/1800.66 v -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 x3716 -x3714 -x3712
1800.06/1800.66 v -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676
1800.06/1800.66 v -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641
1800.06/1800.66 v -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605
1800.06/1800.66 v -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569
1800.06/1800.66 v -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533
1800.06/1800.66 v -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498
1800.06/1800.66 v -x3496 -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3467 -x3465
1800.06/1800.66 v -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429
1800.06/1800.66 v -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393
1800.06/1800.66 v -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357
1800.06/1800.66 v -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321
1800.06/1800.66 v -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285
1800.06/1800.66 v -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249
1800.06/1800.66 v -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215
1800.06/1800.66 v -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179
1800.06/1800.66 v -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3152 -x3150 -x3148 -x3146 -x3144
1800.06/1800.66 v -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3111 -x3109
1800.06/1800.66 v -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073
1800.06/1800.66 v -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037
1800.06/1800.66 v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001
1800.06/1800.66 v -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967
1800.06/1800.66 v -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931
1800.06/1800.66 v -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895
1800.06/1800.66 v -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859
1800.06/1800.66 v -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823
1800.06/1800.66 v -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787
1800.06/1800.66 v -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751
1800.06/1800.66 v -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717
1800.06/1800.66 v -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681
1800.06/1800.66 v -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645
1800.06/1800.66 v -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609
1800.06/1800.66 v -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573
1800.06/1800.66 v -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537
1800.06/1800.66 v -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501
1800.06/1800.66 v -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467
1800.06/1800.66 v -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431
1800.06/1800.66 v -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395
1800.06/1800.66 v -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359
1800.06/1800.66 v -x2357 -x2355 -x2353 -x2351 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324
1800.06/1800.66 v -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289
1800.06/1800.66 v -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253
1800.06/1800.66 v -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219
1800.06/1800.66 v -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183
1800.06/1800.66 v -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147
1800.06/1800.66 v -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2114 -x2112
1800.06/1800.66 v -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076
1800.06/1800.66 v -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040
1800.06/1800.66 v -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004
1800.06/1800.66 v -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1979 -x1977 -x1975 -x1973 -x1971
1800.06/1800.66 v -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935
1800.06/1800.66 v -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899
1800.06/1800.66 v -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864
1800.06/1800.66 v -x1862 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829
1800.06/1800.66 v -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1802 -x1800 -x1798 -x1796 -x1794
1800.06/1800.66 v -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758
1800.06/1800.66 v -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724
1800.06/1800.66 v -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688
1800.06/1800.66 v -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652
1800.06/1800.66 v -x1650 x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616
1800.06/1800.66 v -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580
1800.06/1800.66 v -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544
1800.06/1800.66 v -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508
1800.06/1800.66 v -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472
1800.06/1800.66 v -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438
1800.06/1800.66 v -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402
1800.06/1800.66 v -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366
1800.06/1800.66 v -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330
1800.06/1800.66 v -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294
1800.06/1800.66 v -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258
1800.06/1800.66 v -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222
1800.06/1800.66 v -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188
1800.06/1800.66 v -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152
1800.06/1800.66 v -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116
1800.06/1800.66 v -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080
1800.06/1800.66 v -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044
1800.06/1800.66 v -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008
1800.06/1800.66 v -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968
1800.06/1800.66 v -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926
1800.06/1800.66 v -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x887
1800.06/1800.66 v -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845
1800.06/1800.66 v -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803
1800.06/1800.66 v -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761
1800.06/1800.66 v -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719
1800.06/1800.66 v -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677
1800.06/1800.66 v -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637
1800.06/1800.66 v -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595
1800.06/1800.66 v -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553
1800.06/1800.66 v -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511
1800.06/1800.66 v -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469
1800.06/1800.66 v -x467 -x465 -x463 -x461 -x459 x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427
1800.06/1800.66 v -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385
1800.06/1800.66 v -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345
1800.06/1800.66 v -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303
1800.06/1800.66 v -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 x263 -x261
1800.06/1800.66 v -x259 -x257 -x255 -x253
1800.06/1800.66 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.66 c Solving Time : 1763.31
1800.06/1800.66 c Original Problem :
1800.06/1800.66 c Problem name : HOME/instance-2663920-1276630709.opb
1800.06/1800.66 c Variables : 9333 (9333 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.66 c Constraints : 28773 initial, 28773 maximal
1800.06/1800.66 c Presolved Problem :
1800.06/1800.66 c Problem name : t_HOME/instance-2663920-1276630709.opb
1800.06/1800.66 c Variables : 3936 (3936 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.66 c Constraints : 16863 initial, 402013 maximal
1800.06/1800.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.66 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.66 c probing : 0.15 0 0 0 0 0 0 0 0
1800.06/1800.66 c linear : 0.35 891 4506 0 891 0 11910 0 0
1800.06/1800.66 c logicor : 0.11 0 0 0 0 0 0 0 0
1800.06/1800.66 c root node : - 0 - - 0 - - - -
1800.06/1800.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.66 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.66 c logicor : 16863+ 0 2554188 0 3 178039 3291149 0 0 0
1800.06/1800.66 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.06/1800.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.66 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.66 c logicor : 280.75 0.00 280.74 0.00 0.01
1800.06/1800.66 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.66 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.66 c vbounds : 2.18 2 0 0
1800.06/1800.66 c rootredcost : 3.33 0 0 0
1800.06/1800.66 c pseudoobj : 1215.96 4579113 579614 3654482
1800.06/1800.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.66 c propagation : 283.92 757653 757653 757653 55.8 385575 24.8 -
1800.06/1800.66 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.66 c pseudo solution : 20.96 17089 17089 17089 51.3 9994 26.1 -
1800.06/1800.66 c applied globally : - - - 1170311 45.3 - - -
1800.06/1800.66 c applied locally : - - - 0 0.0 - - -
1800.06/1800.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.66 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.66 c redcost : 0.00 0 0 0 0 0
1800.06/1800.66 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.66 c intobj : 0.00 0 0 0 0 0
1800.06/1800.66 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.66 c gomory : 0.00 0 0 0 0 0
1800.06/1800.66 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.66 c cmir : 0.00 0 0 0 0 0
1800.06/1800.66 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.66 c clique : 0.00 0 0 0 0 0
1800.06/1800.66 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.66 c mcf : 0.00 0 0 0 0 0
1800.06/1800.66 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.66 c Pricers : Time Calls Vars
1800.06/1800.66 c problem variables: 0.00 0 0
1800.06/1800.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.66 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.66 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.66 c inference : 39.32 1300658 0 0 0 0 2601316
1800.06/1800.66 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.66 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.66 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.66 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.66 c random : 0.00 0 0 0 0 0 0
1800.06/1800.66 c Primal Heuristics : Time Calls Found
1800.06/1800.66 c LP solutions : 0.00 - 0
1800.06/1800.66 c pseudo solutions : 0.01 - 3
1800.06/1800.66 c oneopt : 1.85 0 0
1800.06/1800.66 c trivial : 0.02 2 0
1800.06/1800.66 c simplerounding : 0.00 0 0
1800.06/1800.66 c zirounding : 0.00 0 0
1800.06/1800.66 c rounding : 0.00 0 0
1800.06/1800.66 c shifting : 0.00 0 0
1800.06/1800.66 c intshifting : 0.00 0 0
1800.06/1800.66 c twoopt : 0.00 0 0
1800.06/1800.66 c fixandinfer : 0.00 0 0
1800.06/1800.66 c feaspump : 0.00 0 0
1800.06/1800.66 c coefdiving : 0.00 0 0
1800.06/1800.66 c pscostdiving : 0.00 0 0
1800.06/1800.66 c fracdiving : 0.00 0 0
1800.06/1800.66 c veclendiving : 0.00 0 0
1800.06/1800.66 c intdiving : 0.00 0 0
1800.06/1800.66 c actconsdiving : 0.00 0 0
1800.06/1800.66 c objpscostdiving : 0.00 0 0
1800.06/1800.66 c rootsoldiving : 0.00 0 0
1800.06/1800.66 c linesearchdiving : 0.00 0 0
1800.06/1800.66 c guideddiving : 0.00 0 0
1800.06/1800.66 c octane : 0.00 0 0
1800.06/1800.66 c rens : 0.00 0 0
1800.06/1800.66 c rins : 0.00 0 0
1800.06/1800.66 c localbranching : 0.00 0 0
1800.06/1800.66 c mutation : 0.00 0 0
1800.06/1800.66 c crossover : 0.00 0 0
1800.06/1800.66 c dins : 0.00 0 0
1800.06/1800.66 c undercover : 0.00 0 0
1800.06/1800.66 c nlp : 0.83 0 0
1800.06/1800.66 c trysol : 0.93 0 0
1800.06/1800.66 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.66 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.66 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.66 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.66 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.66 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.66 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.66 c (at root node) : - 0 0 0.00 -
1800.06/1800.66 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.66 c B&B Tree :
1800.06/1800.66 c number of runs : 1
1800.06/1800.66 c nodes : 1701304
1800.06/1800.66 c nodes (total) : 1701304
1800.06/1800.66 c nodes left : 461
1800.06/1800.66 c max depth : 502
1800.06/1800.66 c max depth (total): 502
1800.06/1800.66 c backtracks : 446885 (26.3%)
1800.06/1800.66 c delayed cutoffs : 445224
1800.06/1800.66 c repropagations : 933651 (2904785 domain reductions, 374099 cutoffs)
1800.06/1800.66 c avg switch length: 2.41
1800.06/1800.66 c switching time : 88.20
1800.06/1800.66 c Solution :
1800.06/1800.66 c Solutions found : 3 (3 improvements)
1800.06/1800.66 c First Solution : +3.40000000000000e+01 (in run 1, after 498 nodes, 1.32 seconds, depth 497, found by <relaxation>)
1800.06/1800.66 c Primal Bound : +3.20000000000000e+01 (in run 1, after 515068 nodes, 496.47 seconds, depth 490, found by <relaxation>)
1800.06/1800.66 c Dual Bound : +0.00000000000000e+00
1800.06/1800.66 c Gap : infinite
1800.06/1800.66 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.66 c Root Iterations : 0
1800.64/1801.25 c Time complete: 1800.7.
OK 32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663920-1276630709/watcher-2663920-1276630709 -o /tmp/evaluation-result-2663920-1276630709/solver-2663920-1276630709 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663920-1276630709.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11153 /proc/meminfo: memFree=1570032/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=5556 CPUtime=0 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 888 0 0 0 0 0 0 0 21 0 1 0 4363650 5689344 810 1992294400 4194304 7136930 140734024478768 18446744073709551615 6349764 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11153/statm: 1389 810 249 719 0 668 0 [startup+0.0865841 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11153 /proc/meminfo: memFree=1570032/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=16532 CPUtime=0.08 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 3624 0 0 0 7 1 0 0 24 0 1 0 4363650 16928768 3545 1992294400 4194304 7136930 140734024478768 18446744073709551615 6350099 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11153/statm: 4133 3545 271 719 0 3412 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16532 [startup+0.101586 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11153 /proc/meminfo: memFree=1570032/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=16532 CPUtime=0.09 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 3633 0 0 0 8 1 0 0 24 0 1 0 4363650 16928768 3554 1992294400 4194304 7136930 140734024478768 18446744073709551615 5648331 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11153/statm: 4133 3554 271 719 0 3412 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16532 [startup+0.301615 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11153 /proc/meminfo: memFree=1570032/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=21856 CPUtime=0.29 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 4941 0 0 0 28 1 0 0 25 0 1 0 4363650 22380544 4863 1992294400 4194304 7136930 140734024478768 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11153/statm: 5464 4875 271 719 0 4743 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21856 [startup+0.701672 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11153 /proc/meminfo: memFree=1570032/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=56420 CPUtime=0.69 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 13623 0 0 0 65 4 0 0 25 0 1 0 4363650 57774080 13180 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 14105 13180 343 719 0 13384 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 56420 [startup+1.50078 s] /proc/loadavg: 0.85 0.97 0.99 2/107 11154 /proc/meminfo: memFree=1514740/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=66344 CPUtime=1.49 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 18261 0 0 0 136 13 0 0 25 0 1 0 4363650 67936256 15762 1992294400 4194304 7136930 140734024478768 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 16586 15762 384 719 0 15865 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 66344 [startup+3.10101 s] /proc/loadavg: 0.86 0.97 0.99 2/107 11154 /proc/meminfo: memFree=1508148/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=66344 CPUtime=3.09 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 18267 0 0 0 291 18 0 0 25 0 1 0 4363650 67936256 15768 1992294400 4194304 7136930 140734024478768 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 16586 15768 390 719 0 15865 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66344 [startup+6.30147 s] /proc/loadavg: 0.86 0.97 0.99 2/107 11154 /proc/meminfo: memFree=1507404/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=66904 CPUtime=6.29 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 18407 0 0 0 604 25 0 0 25 0 1 0 4363650 68509696 15908 1992294400 4194304 7136930 140734024478768 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 16726 15908 390 719 0 16005 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66904 [startup+12.7004 s] /proc/loadavg: 0.88 0.97 0.99 2/107 11154 /proc/meminfo: memFree=1506288/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=67932 CPUtime=12.68 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 18668 0 0 0 1231 37 0 0 25 0 1 0 4363650 69562368 16169 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 16983 16169 390 719 0 16262 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67932 [startup+25.5012 s] /proc/loadavg: 0.90 0.97 0.99 2/107 11154 /proc/meminfo: memFree=1505916/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=68392 CPUtime=25.49 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 18756 0 0 0 2484 65 0 0 25 0 1 0 4363650 70033408 16257 1992294400 4194304 7136930 140734024478768 18446744073709551615 5918640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 17098 16257 390 719 0 16377 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68392 [startup+51.1018 s] /proc/loadavg: 0.93 0.97 0.99 2/107 11156 /proc/meminfo: memFree=1504428/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=70556 CPUtime=51.08 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 19159 0 0 0 4989 119 0 0 25 0 1 0 4363650 72249344 16660 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 17639 16660 390 719 0 16918 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 70556 [startup+102.309 s] /proc/loadavg: 1.05 0.99 0.99 2/107 11156 /proc/meminfo: memFree=1499592/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=76464 CPUtime=102.27 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 20370 0 0 0 9998 229 0 0 25 0 1 0 4363650 78299136 17871 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 19116 17871 390 719 0 18395 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 76464 [startup+162.302 s] /proc/loadavg: 1.09 1.00 1.00 2/107 11158 /proc/meminfo: memFree=1489300/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=88320 CPUtime=162.24 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 22893 0 0 0 15870 354 0 0 25 0 1 0 4363650 90439680 20394 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 22080 20394 390 719 0 21359 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 88320 [startup+222.301 s] /proc/loadavg: 1.10 1.02 1.00 2/107 11160 /proc/meminfo: memFree=1479132/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=99460 CPUtime=222.22 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 25408 0 0 0 21744 478 0 0 25 0 1 0 4363650 101847040 22909 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 24865 22909 390 719 0 24144 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 99460 [startup+282.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 11162 /proc/meminfo: memFree=1471072/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=107996 CPUtime=282.21 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 27395 0 0 0 27613 608 0 0 25 0 1 0 4363650 110587904 24896 1992294400 4194304 7136930 140734024478768 18446744073709551615 5000294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 26999 24896 390 719 0 26278 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 107996 [startup+342.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11164 /proc/meminfo: memFree=1462144/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=117488 CPUtime=342.19 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 29635 0 0 0 33493 726 0 0 25 0 1 0 4363650 120307712 27136 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 29372 27136 390 719 0 28651 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 117488 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11164 /proc/meminfo: memFree=1452596/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=126716 CPUtime=402.17 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 31968 0 0 0 39367 850 0 0 25 0 1 0 4363650 129757184 29469 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 31679 29469 390 719 0 30958 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 126716 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11166 /proc/meminfo: memFree=1447760/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=131336 CPUtime=462.15 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 33168 0 0 0 45244 971 0 0 25 0 1 0 4363650 134488064 30669 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 32834 30669 390 719 0 32113 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 131336 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11168 /proc/meminfo: memFree=1437716/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=141336 CPUtime=522.14 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 35657 0 0 0 51118 1096 0 0 25 0 1 0 4363650 144728064 33158 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 35334 33158 390 719 0 34613 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 141336 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11170 /proc/meminfo: memFree=1433624/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=145524 CPUtime=582.12 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 36652 0 0 0 56991 1221 0 0 25 0 1 0 4363650 149016576 34153 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 36381 34153 390 719 0 35660 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 145524 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11172 /proc/meminfo: memFree=1424820/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=154612 CPUtime=642.11 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 38849 0 0 0 62870 1341 0 0 25 0 1 0 4363650 158322688 36350 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 38653 36350 390 719 0 37932 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 154612 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11180 /proc/meminfo: memFree=1395184/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=183680 CPUtime=942.01 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 46139 0 0 0 92268 1933 0 0 25 0 1 0 4363650 188088320 43640 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 45920 43640 390 719 0 45199 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 183680 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11180 /proc/meminfo: memFree=1384520/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=194768 CPUtime=1001.99 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 48755 0 0 0 98152 2047 0 0 25 0 1 0 4363650 199442432 46256 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 48692 46256 390 719 0 47971 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 194768 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11182 /proc/meminfo: memFree=1380428/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=198444 CPUtime=1061.98 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 49780 0 0 0 104029 2169 0 0 25 0 1 0 4363650 203206656 47281 1992294400 4194304 7136930 140734024478768 18446744073709551615 4703854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 49611 47281 390 719 0 48890 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 198444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11184 /proc/meminfo: memFree=1375716/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=202508 CPUtime=1121.96 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 50918 0 0 0 109914 2282 0 0 25 0 1 0 4363650 207368192 48419 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 50627 48419 390 719 0 49906 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 202508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11186 /proc/meminfo: memFree=1369640/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=209064 CPUtime=1181.94 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 52454 0 0 0 115790 2404 0 0 25 0 1 0 4363650 214081536 49955 1992294400 4194304 7136930 140734024478768 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 52266 49955 390 719 0 51545 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 209064 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11188 /proc/meminfo: memFree=1358232/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=221016 CPUtime=1241.92 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 55222 0 0 0 121667 2525 0 0 25 0 1 0 4363650 226320384 52723 1992294400 4194304 7136930 140734024478768 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 55254 52723 390 719 0 54533 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 221016 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11188 /proc/meminfo: memFree=1354264/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=224560 CPUtime=1301.91 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 56210 0 0 0 127551 2640 0 0 25 0 1 0 4363650 229949440 53711 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 56140 53711 390 719 0 55419 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 224560 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11199 /proc/meminfo: memFree=1349180/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=229072 CPUtime=1361.88 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 57445 0 0 0 133432 2756 0 0 25 0 1 0 4363650 234569728 54946 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 57268 54946 390 719 0 56547 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 229072 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11201 /proc/meminfo: memFree=1344840/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=233004 CPUtime=1421.86 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 58534 0 0 0 139306 2880 0 0 25 0 1 0 4363650 238596096 56035 1992294400 4194304 7136930 140734024478768 18446744073709551615 4350009 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 58251 56035 390 719 0 57530 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 233004 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11203 /proc/meminfo: memFree=1339756/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=238572 CPUtime=1481.84 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 59782 0 0 0 145187 2997 0 0 25 0 1 0 4363650 244297728 57283 1992294400 4194304 7136930 140734024478768 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 59643 57283 390 719 0 58922 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 238572 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11205 /proc/meminfo: memFree=1327356/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=252108 CPUtime=1541.83 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 62895 0 0 0 151062 3121 0 0 25 0 1 0 4363650 258158592 60396 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 63027 60396 390 719 0 62306 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 252108 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11205 /proc/meminfo: memFree=1322396/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=256620 CPUtime=1601.8 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 64133 0 0 0 156939 3241 0 0 25 0 1 0 4363650 262778880 61634 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 64155 61634 390 719 0 63434 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 256620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11207 /proc/meminfo: memFree=1318056/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=260296 CPUtime=1661.78 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 65152 0 0 0 162824 3354 0 0 25 0 1 0 4363650 266543104 62653 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 65074 62653 390 719 0 64353 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 260296 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11209 /proc/meminfo: memFree=1313716/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=264228 CPUtime=1721.77 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 66237 0 0 0 168704 3473 0 0 25 0 1 0 4363650 270569472 63738 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 66057 63738 390 719 0 65336 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 264228 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11211 /proc/meminfo: memFree=1309252/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=267904 CPUtime=1781.75 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 67272 0 0 0 174583 3592 0 0 25 0 1 0 4363650 274333696 64773 1992294400 4194304 7136930 140734024478768 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 66976 64773 390 719 0 66255 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 267904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11211 /proc/meminfo: memFree=1307144/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=269900 CPUtime=1800.06 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 67807 0 0 0 176378 3628 0 0 25 0 1 0 4363650 276377600 65308 1992294400 4194304 7136930 140734024478768 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11153/statm: 67475 65308 390 719 0 66754 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 269900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11211 /proc/meminfo: memFree=1307144/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=212980 CPUtime=1800.44 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 69404 0 0 0 176415 3629 0 0 25 0 1 0 4363650 218091520 51066 1992294400 4194304 7136930 140734024478768 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11153/statm: 53245 51066 396 719 0 52524 0 Current children cumulated CPU time (s) 1800.44 Current children cumulated vsize (KiB) 212980 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11211 /proc/meminfo: memFree=1307144/2059040 swapFree=4192956/4192956 [pid=11153] ppid=11151 vsize=132464 CPUtime=1800.64 /proc/11153/stat : 11153 (pbscip.linux.x8) R 11151 11153 11128 0 -1 4202496 69404 0 0 0 176434 3630 0 0 25 0 1 0 4363650 135643136 30941 1992294400 4194304 7136930 140734024478768 18446744073709551615 6165700 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11153/statm: 33116 30941 396 719 0 32395 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 132464 Child status: 0 Real time (s): 1801.25 CPU time (s): 1800.71 CPU user time (s): 1764.38 CPU system time (s): 36.3225 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 276344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.38 system time used= 36.3225 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69411 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= 4404 runsolver used 3.06253 second user time and 8.43272 second system time The end
Begin job on node039 at 2010-06-15 21:38:29 IDJOB=2663920 IDBENCH=24975 IDSOLVER=1167 FILE ID=node039/2663920-1276630709 PBS_JOBID= 11172376 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663920-1276630709/watcher-2663920-1276630709 -o /tmp/evaluation-result-2663920-1276630709/solver-2663920-1276630709 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663920-1276630709.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5c1765191809ee7ecd7781ce5c7fb9aa RANDOM SEED=824582098 node039.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.267 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.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1570684 kB Buffers: 75780 kB Cached: 285432 kB SwapCached: 0 kB Active: 133048 kB Inactive: 287360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1570684 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4224 kB Writeback: 8 kB AnonPages: 59272 kB Mapped: 15308 kB Slab: 46300 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181748 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node039 at 2010-06-15 22:08:31