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) | 31 | 1800.2 | 1800.66 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_027_area_delay.opb |
| MD5SUM | 1b0ac127de7b79f6251c1506cbcbe6c3 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 9.68653 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 8805 |
| Total number of constraints | 27496 |
| Number of constraints which are clauses | 27496 |
| 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 | 4284 |
| 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 | 4284 |
| 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 | 4284 |
| 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-2663937-1276634813.opb>
0.39/0.48 c original problem has 8805 variables (8805 bin, 0 int, 0 impl, 0 cont) and 27496 constraints
0.39/0.48 c problem read
0.39/0.48 c presolving settings loaded
0.39/0.48 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.64 c presolving:
0.89/0.91 c (round 1) 4956 del vars, 9214 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 49755 impls, 0 clqs
0.89/0.94 c (round 2) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 0 upgd conss, 49755 impls, 0 clqs
1.10/1.13 c (round 3) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 15545 upgd conss, 49755 impls, 0 clqs
1.10/1.17 c (round 4) 4958 del vars, 11909 del conss, 682 chg bounds, 2 chg sides, 2 chg coeffs, 15587 upgd conss, 49755 impls, 0 clqs
1.29/1.34 c (0.8s) probing: 101/3847 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.34 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.29/1.34 c presolving (5 rounds):
1.29/1.34 c 4958 deleted vars, 11909 deleted constraints, 682 tightened bounds, 0 added holes, 2 changed sides, 2 changed coefficients
1.29/1.34 c 49755 implications, 0 cliques
1.29/1.34 c presolved problem has 3847 variables (3847 bin, 0 int, 0 impl, 0 cont) and 15587 constraints
1.29/1.34 c 15587 constraints of type <logicor>
1.29/1.34 c transformed objective value is always integral (scale: 1)
1.29/1.34 c Presolving Time: 0.67
1.29/1.34 c - non default parameters ----------------------------------------------------------------------
1.29/1.34 c # SCIP version 1.2.1.2
1.29/1.34 c
1.29/1.34 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.29/1.34 c # [type: int, range: [-1,2147483647], default: -1]
1.29/1.34 c conflict/interconss = 0
1.29/1.34 c
1.29/1.34 c # should binary conflicts be preferred?
1.29/1.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.34 c conflict/preferbinary = TRUE
1.29/1.34 c
1.29/1.34 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.29/1.34 c # [type: int, range: [-1,2147483647], default: 0]
1.29/1.34 c constraints/agelimit = 1
1.29/1.34 c
1.29/1.34 c # should enforcement of pseudo solution be disabled?
1.29/1.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.34 c constraints/disableenfops = TRUE
1.29/1.34 c
1.29/1.34 c # frequency for displaying node information lines
1.29/1.34 c # [type: int, range: [-1,2147483647], default: 100]
1.29/1.34 c display/freq = 10000
1.29/1.34 c
1.29/1.34 c # maximal time in seconds to run
1.29/1.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.34 c limits/time = 1799.53
1.29/1.34 c
1.29/1.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.29/1.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.29/1.34 c limits/memory = 1620
1.29/1.34 c
1.29/1.34 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.29/1.34 c # [type: int, range: [-1,2147483647], default: 1]
1.29/1.34 c lp/solvefreq = -1
1.29/1.34 c
1.29/1.34 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.29/1.34 c # [type: char, range: {lafpsqd}, default: l]
1.29/1.34 c lp/pricing = a
1.29/1.34 c
1.29/1.34 c # should presolving try to simplify inequalities
1.29/1.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.34 c constraints/linear/simplifyinequalities = TRUE
1.29/1.34 c
1.29/1.34 c # should presolving try to simplify knapsacks
1.29/1.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.29/1.34 c constraints/knapsack/simplifyinequalities = TRUE
1.29/1.34 c
1.29/1.34 c # priority of node selection rule <dfs> in standard mode
1.29/1.34 c # [type: int, range: [-536870912,536870911], default: 0]
1.29/1.34 c nodeselection/dfs/stdpriority = 1000000
1.29/1.34 c
1.29/1.34 c -----------------------------------------------------------------------------------------------
1.29/1.34 c start solving
1.29/1.35 c
1.29/1.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.35 c 0.8s| 1 | 2 | 0 | - | 33M| 0 | - |3847 | 15k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1.89/1.95 o 34
1.89/1.95 c * 1.4s| 570 | 567 | 0 | 0.0 | 33M| 569 | - |3847 | 15k| 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.400000e+01 |3300.00%
1.89/1.98 o 33
1.89/1.98 c * 1.4s| 598 | 561 | 0 | 0.0 | 34M| 573 | - |3847 | 15k| 0 | 0 | 0 | 12 | 0 | 1.000000e+00 | 3.300000e+01 |3200.00%
2.10/2.17 o 32
2.10/2.17 c * 1.6s| 798 | 561 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 119 | 0 | 1.000000e+00 | 3.200000e+01 |3100.00%
3.79/3.84 o 31
3.79/3.84 c * 3.2s| 2530 | 555 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 |1062 | 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
11.19/11.24 c 10.4s| 10000 | 544 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 |5016 | 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
22.09/22.10 c 21.1s| 20000 | 547 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
31.98/32.08 c 30.8s| 30000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
42.88/42.93 c 41.5s| 40000 | 547 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
54.08/54.11 c 52.4s| 50000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
65.38/65.41 c 63.4s| 60000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
76.77/76.83 c 74.6s| 70000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
88.07/88.11 c 85.7s| 80000 | 535 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
99.17/99.24 c 96.6s| 90000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 47k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
111.07/111.17 c 108s|100000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
122.66/122.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
122.66/122.73 c 120s|110000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 58k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
134.16/134.28 c 131s|120000 | 549 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
146.56/146.68 c 143s|130000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
158.45/158.51 c 155s|140000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 74k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
170.05/170.10 c 166s|150000 | 545 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
181.14/181.27 c 177s|160000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 85k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
192.54/192.66 c 188s|170000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
204.04/204.12 c 199s|180000 | 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 95k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
215.54/215.64 c 210s|190000 | 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 100k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
227.74/227.86 c 222s|200000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
239.64/239.71 c 234s|210000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
251.53/251.64 c 246s|220000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
262.92/263.09 c 257s|230000 | 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
274.52/274.61 c 268s|240000 | 544 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 127k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
285.62/285.70 c 279s|250000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
296.32/296.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.32/296.40 c 289s|260000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
307.42/307.50 c 300s|270000 | 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
318.82/318.93 c 311s|280000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
329.82/329.92 c 322s|290000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
341.11/341.30 c 333s|300000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
353.10/353.26 c 345s|310000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
363.60/363.79 c 355s|320000 | 549 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
375.39/375.52 c 367s|330000 | 549 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
387.10/387.29 c 378s|340000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
399.29/399.47 c 390s|350000 | 532 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
410.59/410.73 c 401s|360000 | 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
421.29/421.43 c 412s|370000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
432.69/432.84 c 423s|380000 | 545 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 199k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
443.78/443.95 c 434s|390000 | 545 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
454.48/454.66 c 444s|400000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
465.57/465.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.57/465.74 c 455s|410000 | 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
476.87/477.09 c 466s|420000 | 545 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
488.97/489.10 c 478s|430000 | 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 225k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
500.77/500.95 c 489s|440000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
512.27/512.44 c 501s|450000 | 548 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
524.06/524.27 c 512s|460000 | 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
535.57/535.71 c 523s|470000 | 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
546.66/546.81 c 534s|480000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
557.96/558.15 c 545s|490000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 257k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
569.56/569.74 c 557s|500000 | 547 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
580.95/581.17 c 568s|510000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
592.94/593.19 c 579s|520000 | 549 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
604.64/604.85 c 591s|530000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
616.53/616.77 c 603s|540000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
627.84/628.05 c 614s|550000 | 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
639.43/639.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.43/639.64 c 625s|560000 | 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
650.43/650.63 c 636s|570000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
661.73/661.94 c 647s|580000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
672.42/672.63 c 657s|590000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
683.32/683.55 c 668s|600000 | 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
693.72/693.95 c 678s|610000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
704.02/704.27 c 688s|620000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 325k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
714.62/714.89 c 698s|630000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
726.42/726.68 c 710s|640000 | 547 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
737.41/737.65 c 721s|650000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
748.01/748.28 c 731s|660000 | 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
758.71/758.97 c 742s|670000 | 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
769.31/769.54 c 752s|680000 | 550 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 357k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
780.30/780.56 c 763s|690000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
791.40/791.66 c 773s|700000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
802.49/802.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.49/802.74 c 784s|710000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
813.80/814.05 c 795s|720000 | 535 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
825.19/825.43 c 807s|730000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
836.69/836.92 c 818s|740000 | 535 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
848.38/848.61 c 829s|750000 | 544 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
860.87/861.17 c 841s|760000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
872.87/873.16 c 853s|770000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
884.08/884.34 c 864s|780000 | 544 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
894.86/895.14 c 875s|790000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
905.16/905.44 c 885s|800000 | 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
916.15/916.49 c 896s|810000 | 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
927.35/927.62 c 906s|820000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
938.85/939.15 c 918s|830000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 438k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
950.05/950.38 c 929s|840000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 443k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
962.25/962.55 c 941s|850000 | 545 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
974.04/974.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
974.04/974.31 c 952s|860000 | 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
985.54/985.86 c 963s|870000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
997.23/997.54 c 975s|880000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1009.44/1009.74 c 987s|890000 | 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1020.83/1021.17 c 998s|900000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1031.73/1032.07 c 1009s|910000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1043.23/1043.58 c 1020s|920000 | 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1055.02/1055.35 c 1031s|930000 | 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1066.13/1066.47 c 1042s|940000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1077.91/1078.26 c 1054s|950000 | 545 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1088.91/1089.29 c 1065s|960000 | 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1101.12/1101.46 c 1076s|970000 | 544 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 511k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1114.11/1114.48 c 1089s|980000 | 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1126.20/1126.54 c 1101s|990000 | 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1138.00/1138.38 c 1113s| 1000k| 533 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1149.70/1150.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1149.70/1150.06 c 1124s| 1010k| 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 533k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1162.20/1162.50 c 1136s| 1020k| 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1174.59/1174.98 c 1148s| 1030k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1186.79/1187.19 c 1160s| 1040k| 533 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 549k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1198.49/1198.86 c 1172s| 1050k| 544 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1209.79/1210.13 c 1183s| 1060k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 559k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1221.58/1221.95 c 1194s| 1070k| 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 565k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1233.18/1233.58 c 1206s| 1080k| 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 570k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1244.79/1245.14 c 1217s| 1090k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 575k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1256.48/1256.85 c 1228s| 1100k| 543 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 581k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1267.27/1267.62 c 1239s| 1110k| 545 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1278.37/1278.72 c 1250s| 1120k| 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 591k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1289.57/1289.99 c 1261s| 1130k| 535 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 596k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1301.06/1301.49 c 1272s| 1140k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 602k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1312.06/1312.46 c 1283s| 1150k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1323.55/1323.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1323.55/1323.96 c 1294s| 1160k| 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1335.15/1335.59 c 1305s| 1170k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1346.45/1346.88 c 1316s| 1180k| 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 622k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1358.35/1358.79 c 1328s| 1190k| 532 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1370.04/1370.48 c 1339s| 1200k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1381.35/1381.72 c 1350s| 1210k| 533 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1392.84/1393.29 c 1362s| 1220k| 531 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 643k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1404.64/1405.02 c 1373s| 1230k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 648k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1416.04/1416.40 c 1384s| 1240k| 535 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 653k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1427.13/1427.53 c 1395s| 1250k| 532 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 659k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1439.33/1439.76 c 1407s| 1260k| 530 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 665k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1451.54/1451.99 c 1419s| 1270k| 539 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 670k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1463.03/1463.42 c 1430s| 1280k| 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 675k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1474.52/1474.95 c 1442s| 1290k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1486.12/1486.58 c 1453s| 1300k| 535 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 685k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1497.72/1498.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.72/1498.13 c 1464s| 1310k| 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 690k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1509.21/1509.68 c 1476s| 1320k| 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1521.21/1521.69 c 1487s| 1330k| 544 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1532.41/1532.88 c 1498s| 1340k| 533 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1543.81/1544.28 c 1509s| 1350k| 546 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1555.20/1555.63 c 1520s| 1360k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1565.80/1566.26 c 1531s| 1370k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 721k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1576.49/1576.98 c 1541s| 1380k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 726k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1587.29/1587.74 c 1552s| 1390k| 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 731k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1598.29/1598.75 c 1563s| 1400k| 534 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 736k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1610.09/1610.51 c 1574s| 1410k| 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 741k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1621.89/1622.36 c 1586s| 1420k| 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 746k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1633.09/1633.54 c 1597s| 1430k| 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1645.48/1645.94 c 1609s| 1440k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1656.98/1657.42 c 1620s| 1450k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 762k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1668.78/1669.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.78/1669.20 c 1632s| 1460k| 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 767k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1680.28/1680.76 c 1643s| 1470k| 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 772k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1691.28/1691.80 c 1654s| 1480k| 534 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1703.76/1704.21 c 1666s| 1490k| 542 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 782k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1715.86/1716.30 c 1678s| 1500k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 787k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1727.96/1728.47 c 1690s| 1510k| 540 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 792k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1739.66/1740.11 c 1701s| 1520k| 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 797k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1751.55/1752.04 c 1713s| 1530k| 536 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 802k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1763.25/1763.78 c 1724s| 1540k| 535 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1774.24/1774.76 c 1735s| 1550k| 541 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 812k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1784.45/1784.96 c 1745s| 1560k| 537 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1795.94/1796.49 c 1756s| 1570k| 538 | 0 | 0.0 | 34M| 576 | - |3847 | 15k| 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1760.02
1800.04/1800.50 c Solving Nodes : 1573238
1800.04/1800.50 c Primal Bound : +3.10000000000000e+01 (4 solutions)
1800.04/1800.50 c Dual Bound : +1.00000000000000e+00
1800.04/1800.50 c Gap : 3000.00 %
1800.04/1800.54 s SATISFIABLE
1800.04/1800.54 v x256 -x255 -x8804 x254 x8802 -x8800 x8798 x253 x8796 -x8794 x8792 x252 -x8790 -x8788 -x8786 -x251 -x8784 -x8782 x8780 -x8778 -x8776
1800.04/1800.54 v -x8774 x250 -x8772 -x249 -x8770 -x8768 -x8766 -x248 -x8764 -x8762 -x247 -x8760 -x8758 x8756 -x8754 -x8752 -x8750 -x8748
1800.04/1800.54 v -x8746 -x8744 x8742 -x8740 -x8738 -x8736 -x8734 -x8732 -x8730 -x8728 -x246 -x8726 -x8724 -x8722 -x8720 -x8718 -x8716 -x8714 -x245
1800.04/1800.54 v -x8712 -x8710 -x8708 -x8706 -x8704 -x8702 -x8700 -x8698 -x8696 -x8694 -x8692 -x8690 -x8688 -x244 -x8686 x243 x8684 -x8682
1800.04/1800.54 v -x8680 -x242 -x8678 -x8676 -x8674 x8672 -x8670 -x8668 -x8666 -x8664 -x8662 -x8660 -x241 -x8658 -x8656 -x8654 -x240 -x8652 -x8650
1800.04/1800.54 v -x8648 -x8646 -x8644 -x8642 -x8640 -x239 -x8638 -x8636 -x8634 -x8632 -x8630 -x8628 -x8626 -x238 -x8624 -x8622 -x8620 -x8618
1800.04/1800.54 v -x8616 -x8614 -x8612 -x8610 -x8608 -x8606 -x8604 -x8602 -x8600 -x8598 -x8596 -x237 -x8594 -x8592 -x8590 -x236 -x8588 -x8586
1800.04/1800.54 v -x8584 -x8582 -x8580 -x8578 -x8576 -x235 -x8574 -x8572 -x8570 -x8568 -x8566 -x8564 -x8562 x234 x8560 -x8558 -x8556 -x8554
1800.04/1800.54 v -x8552 -x8550 -x8548 -x8546 -x8544 -x8542 -x8540 -x8538 -x8536 -x8534 -x8532 -x233 -x8530 -x8528 -x8526 -x8524 -x8522 -x8520
1800.04/1800.54 v -x8518 -x232 -x8516 -x8514 -x8512 -x8510 -x8508 -x8506 -x8504 -x8502 -x8500 -x8498 -x8496 -x8494 -x8492 -x8490 -x8488 -x231
1800.04/1800.54 v -x8486 -x8484 -x8482 -x8480 -x8478 -x8476 -x8474 -x8472 -x8470 -x8468 -x8466 -x8464 -x8462 -x8460 -x8458 -x230 -x8456 -x8454
1800.04/1800.54 v -x8452 -x8449 -x8447 -x8445 -x8443 -x8441 -x8439 -x8437 -x8435 -x8433 -x8431 -x8429 -x8427 -x8425 -x8423 -x8421 -x8419 -x8417
1800.04/1800.54 v -x8415 -x8413 -x8411 -x8409 -x8407 -x8405 -x8403 -x229 -x8401 -x228 -x8399 -x8397 -x8395 x8393 -x8391 -x8389 -x227 -x8387 -x8385
1800.04/1800.54 v -x8383 -x8381 -x8379 -x8377 -x8375 -x226 -x8373 x8371 x225 -x8369 -x8367 -x8365 -x8363 -x8361 -x8359 -x8357 -x224 -x8355
1800.04/1800.54 v -x8353 -x8351 -x8349 -x8347 -x8345 -x8343 -x223 -x8341 -x8339 -x8337 -x222 -x8335 -x8333 -x8331 -x8329 -x8327 -x8325 -x8323
1800.04/1800.54 v -x221 -x8321 -x8319 -x8317 -x8315 -x8313 -x8311 -x220 -x8309 -x8307 -x8305 -x8303 -x8301 -x8299 -x8297 -x8295 -x8293 -x8291 -x8289
1800.04/1800.54 v -x8287 -x8285 -x8283 -x8281 -x219 -x8279 -x8277 -x8275 -x8273 -x8271 -x8269 -x8267 -x218 -x8265 -x8263 -x8261 -x8259 -x8257
1800.04/1800.54 v -x8255 -x8253 -x8251 -x8249 -x8247 -x8245 -x8243 -x8241 -x8239 -x8237 -x217 -x8235 -x8233 -x8231 -x8229 -x8227 -x8225 -x8223
1800.04/1800.54 v -x8221 -x8219 -x8217 -x8215 -x8213 -x8211 -x8209 -x216 -x8207 -x8205 -x8203 -x215 -x8201 -x8199 -x8197 -x8195 -x8193 x8191
1800.04/1800.54 v -x8189 -x8187 -x8185 -x8183 -x8181 -x8179 -x8177 -x8175 -x214 -x8173 -x8171 -x8169 -x8167 -x8165 -x8163 -x8161 -x8159 -x8157
1800.04/1800.54 v -x8155 -x8153 -x8151 -x8149 -x8147 -x8145 -x213 -x8143 -x8141 -x8139 -x8137 -x8135 -x8133 -x8131 -x212 -x8129 -x8127 -x8125
1800.04/1800.54 v -x8123 -x8121 -x8119 -x8117 -x8115 -x8113 -x8111 -x8109 -x8107 -x8105 -x8103 -x8101 -x211 -x8099 -x8097 -x8095 -x8093 -x8091
1800.04/1800.54 v -x8089 -x8087 -x8085 -x8083 -x8081 -x8079 -x8077 -x8075 -x8073 -x8071 -x210 -x8069 -x8067 -x8065 -x8063 -x8061 -x8059 x8057
1800.04/1800.54 v -x8055 -x8053 -x8051 -x8049 -x8047 -x8045 -x8043 -x8041 -x8039 -x8037 -x8035 -x8033 -x8031 -x8029 -x8027 -x209 -x8025 -x8023
1800.04/1800.54 v -x8021 -x8019 -x8017 -x8015 -x8013 -x8011 -x8009 -x8007 -x8005 -x8003 -x8001 -x7999 -x7997 -x208 -x7995 -x7993 -x7991 -x7989
1800.04/1800.54 v -x7987 -x7984 -x7982 -x7980 -x7978 -x7976 -x7974 -x7972 -x7970 -x7968 -x7966 -x7964 -x7962 -x7960 -x7958 -x7956 -x7954 -x7952
1800.04/1800.54 v -x7950 -x7948 -x7946 -x7944 -x7942 -x7940 -x7938 -x207 -x7936 -x7934 -x7932 -x7930 -x7928 -x7926 -x7924 -x7922 -x7920 -x7918
1800.04/1800.54 v -x7916 -x7914 -x7912 -x7910 -x7908 -x206 -x7906 -x7904 -x7902 -x7900 -x7898 -x7896 -x7894 -x7892 -x7890 -x7888 -x7886 -x7884
1800.04/1800.54 v -x7882 -x7879 -x7877 -x7875 -x7873 -x7871 -x7869 -x7867 -x7865 -x7863 -x7861 -x7859 -x7857 -x7855 -x7853 -x7851 -x7849 -x7847
1800.04/1800.54 v -x205 -x7845 x7843 -x7841 -x7839 -x7837 -x7835 -x7833 -x7831 -x7829 -x7827 -x7825 -x7823 -x7821 -x7819 -x7817 -x7815 -x7813
1800.04/1800.54 v -x7811 -x7809 -x7807 -x7805 -x7803 -x7801 -x7799 -x7797 -x7794 -x7792 -x7790 -x7788 -x7786 -x7784 x204 x7782 x7780 -x7778 x203
1800.04/1800.54 v -x7776 -x7774 -x7772 -x202 -x7770 -x7768 -x7766 -x7764 -x7762 -x7760 -x7758 -x201 -x7756 -x7754 -x7752 -x200 -x7750 -x7748
1800.04/1800.55 v -x7746 -x7744 -x7742 -x7740 -x7738 -x199 -x7736 -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x198 -x7722 -x7720 -x7718 -x7716
1800.04/1800.55 v -x7714 -x7712 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700 -x7698 -x7696 -x7694 -x197 -x7692 -x7690 -x7688 -x196 -x7686 -x7684
1800.04/1800.55 v -x7682 -x7680 -x7678 -x7676 -x7674 -x195 -x7672 -x7670 -x7668 -x7666 -x7664 -x7662 -x7660 -x194 -x7658 -x7656 -x7654 -x7652 -x7650
1800.04/1800.55 v -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x193 -x7628 -x7626 -x7624 -x7622 -x7620 -x7618 -x7616
1800.04/1800.55 v -x192 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592 -x7590 -x7588 -x7586 -x191 -x7584
1800.04/1800.55 v -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556 -x190 -x7554 -x7552 -x7550
1800.04/1800.55 v -x189 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 -x188 -x7534 -x7532 -x7530 -x7528 -x7526 -x7524 -x7522 -x187 -x7520
1800.04/1800.55 v -x7518 -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x7498 -x7496 -x7494 -x7492 -x186 -x7490 -x7488 -x7486
1800.04/1800.55 v -x7484 -x7482 -x7480 -x7478 -x185 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454 -x7452
1800.04/1800.55 v -x7450 -x7448 -x184 -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422 -x7420 -x7418
1800.04/1800.55 v -x183 -x7416 -x7414 -x7412 -x7410 -x7408 -x7406 -x7404 -x182 -x7402 -x7400 -x7398 -x7396 -x7394 -x7392 -x7390 -x7388 -x7386
1800.04/1800.55 v -x7384 -x7382 -x7380 -x7378 -x7376 -x7374 -x181 -x7372 -x7370 -x7368 -x7366 -x7364 -x7362 -x7360 -x7358 -x7356 -x7354 -x7352
1800.04/1800.55 v -x7350 -x7348 -x7346 -x7344 -x180 -x7342 -x7340 -x7338 -x7336 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x7320 -x7318
1800.04/1800.55 v -x7316 -x7314 -x7312 -x7310 -x7308 -x7306 -x7304 -x7302 -x7300 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x7284 -x7282
1800.04/1800.55 v -x179 -x7280 -x7278 -x7276 -x7274 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x178 -x7250
1800.04/1800.55 v -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 -x7216 -x7214
1800.04/1800.55 v -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x7196 -x7194 -x7192 -x7190 -x177 -x7188 -x7186 -x7184 -x7182 -x7180
1800.04/1800.55 v -x7178 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 -x7146 -x7144
1800.04/1800.55 v -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x176 -x7128 -x7126 -x7124 -x175 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112
1800.04/1800.55 v -x7110 -x174 -x7108 -x7106 -x7104 -x7102 -x7100 -x7098 -x7096 -x173 -x7094 -x7092 -x7090 -x7088 -x7086 -x7084 -x7082 -x7080
1800.04/1800.55 v -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x172 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x171 -x7050 -x7048
1800.04/1800.55 v -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x7024 -x7022 -x170 -x7020 -x7018 -x7016 -x7014
1800.04/1800.55 v x7012 -x7010 -x7008 x169 -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978
1800.04/1800.55 v -x168 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x167 -x6946
1800.04/1800.55 v -x6944 -x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910
1800.04/1800.55 v -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x6894 -x6892 -x6890 -x6887 -x166 -x6885 -x6883 -x6881 -x6879 -x6877 -x6875
1800.04/1800.55 v -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x165 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841
1800.04/1800.55 v -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 x6809 -x6807 -x6805
1800.04/1800.55 v -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x164 -x6779 -x6777 -x6775 -x6773 -x6771
1800.04/1800.55 v -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 -x163 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737
1800.04/1800.55 v -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x162 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6706 -x6704 -x6702
1800.04/1800.55 v -x6700 -x6698 -x6696 -x6694 -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668
1800.04/1800.55 v -x6666 -x6664 -x6662 -x161 -x6660 -x6658 -x6656 -x6654 -x6652 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634
1800.04/1800.55 v x6632 -x6630 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597
1800.04/1800.55 v -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 -x6577 -x6575 -x6573 -x6571 -x160 -x6569 -x6567 -x6565 -x6563
1800.04/1800.55 v -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x159 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529
1800.04/1800.55 v -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493
1800.04/1800.55 v -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x158 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459
1800.04/1800.55 v -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423
1800.04/1800.55 v -x6421 -x6419 -x6417 -x157 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389
1800.04/1800.55 v -x6387 -x6385 -x6383 -x6381 -x6378 -x6376 -x6374 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6351
1800.04/1800.55 v -x6349 -x6347 -x6345 -x6343 -x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315
1800.04/1800.55 v -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278
1800.04/1800.55 v -x6276 -x6274 -x6272 -x6270 -x6268 -x6266 -x6264 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241
1800.04/1800.55 v -x6239 -x6237 -x6235 -x6233 -x156 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207
1800.04/1800.55 v -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173
1800.04/1800.55 v -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137
1800.04/1800.55 v -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x155 -x6105 x154 x6103
1800.04/1800.55 v -x6101 -x6099 -x153 -x6097 -x6095 -x6093 -x152 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x151 -x6077 -x6075 -x6073
1800.04/1800.55 v -x150 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x149 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x148 -x6043
1800.04/1800.55 v -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x147 -x6013 -x6011 -x146
1800.04/1800.55 v -x6009 -x6007 -x6005 -x6003 -x6001 -x5999 -x5997 -x145 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x144 -x5981 -x5979 -x5977
1800.04/1800.55 v -x5975 -x5973 -x5971 -x5969 -x143 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943
1800.04/1800.55 v -x5941 -x5939 -x142 -x5937 -x5935 x5933 x141 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x140 -x5917 -x5915 -x5913
1800.04/1800.55 v -x5911 -x5909 -x5907 -x5905 -x139 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x138 -x5889 -x5887 -x5885 -x5883 -x5881
1800.04/1800.55 v -x5879 -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x137 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847
1800.04/1800.55 v -x136 -x5845 -x5843 -x5841 -x5839 -x5837 -x5835 -x5833 -x5831 -x5829 x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813
1800.04/1800.55 v -x5811 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x135 -x5785 -x5783 -x5781 -x5779
1800.04/1800.55 v -x5777 -x5775 -x5773 -x5771 -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x134 -x5755 -x5753 -x5751 -x5749 -x5747 -x5745
1800.04/1800.55 v -x5743 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709
1800.04/1800.55 v -x5707 -x5705 -x5703 -x5701 -x5699 -x5697 -x5695 -x133 -x5693 -x5691 -x5689 -x132 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677
1800.04/1800.55 v -x5675 -x131 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663 -x5661 -x130 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643
1800.04/1800.55 v -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x129 -x5629 -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x128 -x5615 -x5613 -x5611
1800.04/1800.55 v -x5609 -x5607 -x5605 -x5603 -x127 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591 -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577
1800.04/1800.55 v -x126 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x125 -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x5547 -x5545
1800.04/1800.55 v -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x124 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521 -x5519 -x5517 -x5515 -x5513 -x5511
1800.04/1800.55 v -x5509 -x5507 -x5505 -x5503 -x123 -x5501 -x5499 -x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477
1800.04/1800.55 v -x5475 -x5473 -x122 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x5443
1800.04/1800.55 v -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x121 -x5409
1800.04/1800.55 v -x5407 -x5405 -x120 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x119 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379 -x5377
1800.04/1800.55 v -x118 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x117 -x5345
1800.04/1800.55 v -x5343 -x5341 -x5339 -x5337 -x5335 -x5333 -x116 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311
1800.04/1800.55 v -x5309 -x5307 -x5305 -x5303 -x115 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277
1800.04/1800.55 v -x5275 -x5273 -x114 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 x5253 -x5251 -x5249 -x5247 -x5245 -x5243
1800.04/1800.55 v -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207
1800.04/1800.55 v -x5205 -x5203 -x5201 -x5199 -x5197 -x113 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173
1800.04/1800.55 v -x5171 -x5169 -x5167 -x112 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139
1800.04/1800.55 v -x5137 x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x111 -x5105
1800.04/1800.55 v -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069
1800.04/1800.55 v -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049 -x5047 -x5045 -x110 -x5043 -x5041 -x5039 -x5037 -x5035
1800.04/1800.55 v -x5033 -x5031 -x109 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001
1800.04/1800.55 v -x108 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x107 -x4969
1800.04/1800.55 v -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x106 -x4939 -x4937 -x4935
1800.04/1800.55 v -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899
1800.04/1800.55 v -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x105 -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865
1800.04/1800.55 v -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x104 -x4847 -x4845 -x4843 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831
1800.04/1800.55 v -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795
1800.04/1800.55 v -x4793 -x4791 -x4789 -x4787 -x103 -x4785 -x4783 -x4781 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760
1800.04/1800.55 v -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x102
1800.04/1800.55 v -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690
1800.04/1800.55 v -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x101 -x4662 -x4660 -x4658 -x4656
1800.04/1800.55 v -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620
1800.04/1800.55 v -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584
1800.04/1800.55 v -x4582 -x4580 -x4578 -x4576 x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548
1800.04/1800.55 v -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x100 -x4522 -x4520 -x4518 -x4516 -x4514
1800.04/1800.55 v -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x99 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480
1800.04/1800.55 v -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x98 -x4462 -x4460 -x4458 -x4456 -x4453 -x4451 -x4449 -x4447 -x4445
1800.04/1800.55 v -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409
1800.04/1800.55 v -x4407 -x4405 -x97 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375
1800.04/1800.55 v -x96 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341
1800.04/1800.55 v -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x95 -x4311 -x4309 -x4307
1800.04/1800.55 v -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x94 -x4281 -x4279 -x4277 -x4275 -x4273
1800.04/1800.55 v -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237
1800.04/1800.55 v -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221 -x93 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202
1800.04/1800.55 v -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166
1800.04/1800.55 v -x4164 -x4162 -x4160 -x92 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132
1800.04/1800.55 v -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096
1800.04/1800.55 v -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060
1800.04/1800.55 v -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x91 -x4032 -x90 -x4030 -x4028
1800.04/1800.55 v -x4026 -x89 -x4024 -x4022 -x4020 -x88 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x87 -x4004 -x4002 -x4000 -x86 -x3998
1800.04/1800.55 v -x3996 -x3994 -x3992 -x3990 -x3988 -x3986 -x85 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x84 -x3970 -x3968 -x3966 -x3964
1800.04/1800.55 v -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x83 -x3940 -x3938 -x3936 -x82 -x3934 -x3932
1800.04/1800.55 v -x3930 -x3928 -x3926 -x3924 -x3922 -x81 -x3920 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x80 -x3906 -x3904 -x3902 -x79 -x3900
1800.04/1800.55 v -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x78 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x77 -x3872 -x3870 -x3868
1800.04/1800.55 v -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848 -x3846 -x3844 -x76 -x3842 -x3840 -x3838 -x75 -x3836 -x3834
1800.04/1800.55 v -x3832 -x3830 -x3828 -x3826 -x3824 -x74 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x73 -x3808 -x3806 -x3804 -x3802
1800.04/1800.55 v -x3800 -x3798 -x3796 -x72 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768
1800.04/1800.55 v -x3766 -x71 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x70 -x3734
1800.04/1800.55 v -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x69 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700
1800.04/1800.55 v -x3698 -x3696 -x3694 -x3692 -x68 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666
1800.04/1800.55 v -x3664 -x3662 -x67 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632
1800.04/1800.55 v -x3630 -x3628 -x3626 -x3624 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x66 -x3599 -x3597
1800.04/1800.55 v -x3595 -x65 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x64 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x63 -x3565
1800.04/1800.55 v -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x62 -x3535 -x3533 -x3531
1800.04/1800.55 v -x3529 -x3527 -x3525 -x3523 -x61 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497
1800.04/1800.55 v -x3495 -x3493 -x60 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x59
1800.04/1800.55 v -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427
1800.04/1800.55 v -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x58 -x3399 -x3397 -x3395 -x3393
1800.04/1800.55 v -x3391 -x3389 -x3387 -x57 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359
1800.04/1800.55 v -x3357 -x56 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x55
1800.04/1800.55 v -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x54 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291
1800.04/1800.55 v -x3289 -x3287 -x3285 -x3283 -x53 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257
1800.04/1800.55 v -x3255 -x3253 -x52 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223
1800.04/1800.55 v -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x51 -x3191 -x3189
1800.04/1800.55 v -x3187 -x3185 -x3183 -x3181 -x3179 -x50 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155
1800.04/1800.55 v -x3153 -x3151 -x3149 -x49 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121
1800.04/1800.55 v -x3119 -x48 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x47 -x3087
1800.04/1800.55 v -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051
1800.04/1800.55 v -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015
1800.04/1800.55 v -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981
1800.04/1800.55 v -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x46 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945
1800.04/1800.55 v -x2943 -x2941 -x2939 -x2937 -x2935 -x45 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911
1800.04/1800.55 v -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875
1800.04/1800.55 v -x2873 -x44 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841
1800.04/1800.55 v -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x43 -x2809 -x2807
1800.04/1800.55 v -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771
1800.04/1800.55 v -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735
1800.04/1800.55 v -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701
1800.04/1800.55 v -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x42 -x2683 -x2681 -x2679 -x41 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667
1800.04/1800.55 v -x2665 -x40 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x39 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635
1800.04/1800.55 v -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x38 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x37 -x2605 -x2603 -x2601
1800.04/1800.55 v -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x36 -x2575 -x2573 -x2571 -x2569 -x2567
1800.04/1800.55 v -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x35 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533
1800.04/1800.55 v -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497
1800.04/1800.55 v -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x34 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x33 -x2469 -x2467 -x2465
1800.04/1800.55 v -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x32 -x2439 -x2437 -x2435 -x2433 -x2431
1800.04/1800.55 v -x2429 -x2427 -x31 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x30
1800.04/1800.55 v -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x29 -x2365 -x2363
1800.04/1800.55 v -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327
1800.04/1800.55 v -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x28 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293
1800.04/1800.55 v -x2291 -x27 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x26
1800.04/1800.55 v -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x25 -x2229 -x2227 -x2225
1800.04/1800.55 v -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191
1800.04/1800.55 v -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x24 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155
1800.04/1800.55 v -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x23 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121
1800.04/1800.55 v -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085
1800.04/1800.55 v -x2083 -x2081 -x2079 -x2077 -x22 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 x2051
1800.04/1800.55 v -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015
1800.04/1800.55 v -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979
1800.04/1800.55 v -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945
1800.04/1800.55 v -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909
1800.04/1800.55 v -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x21 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875
1800.04/1800.55 v -x20 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x19 -x1843 -x1841
1800.04/1800.55 v -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x18 -x1813 -x1810 -x1808 -x1806
1800.04/1800.55 v -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770
1800.04/1800.55 v -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x17 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736
1800.04/1800.55 v -x1734 -x1732 -x1730 -x1728 -x1726 -x16 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702
1800.04/1800.55 v -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666
1800.04/1800.55 v -x1664 -x15 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632
1800.04/1800.55 v -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x14 -x1600 -x1598
1800.04/1800.55 v -x1596 -x1594 -x1592 -x1590 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561
1800.04/1800.55 v -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525
1800.04/1800.55 v -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489
1800.04/1800.55 v -x1487 -x1485 -x1483 -x1481 -x1479 x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453
1800.04/1800.55 v -x1451 -x1449 -x1447 -x13 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419
1800.04/1800.55 v -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x12
1800.04/1800.55 v -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x11 -x1353 -x1351
1800.04/1800.55 v -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315
1800.04/1800.55 v -x1313 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x10 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280
1800.04/1800.55 v -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244
1800.04/1800.55 v -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x9 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210
1800.04/1800.55 v -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174
1800.04/1800.55 v -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138
1800.04/1800.55 v -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x8 -x1104
1800.04/1800.55 v -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x7 -x1074 -x1072 -x1070 -x1068
1800.04/1800.55 v -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032
1800.04/1800.55 v -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x6 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998
1800.04/1800.55 v -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956
1800.04/1800.55 v -x954 -x952 -x5 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916
1800.04/1800.55 v -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874
1800.04/1800.55 v -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832
1800.04/1800.55 v -x830 -x828 -x826 -x4 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792
1800.04/1800.55 v -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x3 -x762 -x760 -x758 -x756 -x754 -x752
1800.04/1800.55 v -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710
1800.04/1800.55 v -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668
1800.04/1800.55 v -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x2 -x636 -x634 -x632 -x630 -x628
1800.04/1800.55 v -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586
1800.04/1800.55 v -x584 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545
1800.04/1800.55 v -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x1 -x511 -x509 -x507 -x505 -x503
1800.04/1800.55 v -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463
1800.04/1800.55 v -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421
1800.04/1800.55 v -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 x381 -x379
1800.04/1800.55 v -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337
1800.04/1800.55 v -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295
1800.04/1800.55 v -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x8805 x8803
1800.04/1800.55 v -x8801 x8799 x8797 -x8795 x8793 -x8791 -x8789 -x8787 -x8785 -x8783 x8781 -x8779 -x8777 -x8775 -x8773 -x8771 -x8769 -x8767
1800.04/1800.55 v -x8765 -x8763 -x8761 -x8759 x8757 -x8755 -x8753 -x8751 -x8749 -x8747 -x8745 x8743 -x8741 -x8739 -x8737 -x8735 -x8733 -x8731
1800.04/1800.55 v -x8729 -x8727 -x8725 -x8723 -x8721 -x8719 -x8717 -x8715 -x8713 -x8711 -x8709 -x8707 -x8705 -x8703 -x8701 -x8699 -x8697 -x8695
1800.04/1800.55 v -x8693 -x8691 -x8689 -x8687 x8685 -x8683 -x8681 -x8679 -x8677 -x8675 x8673 -x8671 -x8669 -x8667 -x8665 -x8663 -x8661 -x8659
1800.04/1800.55 v -x8657 -x8655 -x8653 -x8651 -x8649 -x8647 -x8645 -x8643 -x8641 -x8639 -x8637 -x8635 -x8633 -x8631 -x8629 -x8627 -x8625 -x8623
1800.04/1800.55 v -x8621 -x8619 -x8617 -x8615 -x8613 -x8611 -x8609 -x8607 -x8605 -x8603 -x8601 -x8599 -x8597 -x8595 -x8593 -x8591 -x8589 -x8587
1800.04/1800.55 v -x8585 -x8583 -x8581 -x8579 -x8577 -x8575 -x8573 -x8571 -x8569 -x8567 -x8565 -x8563 x8561 -x8559 -x8557 -x8555 -x8553 -x8551
1800.04/1800.55 v -x8549 -x8547 -x8545 -x8543 -x8541 -x8539 -x8537 -x8535 -x8533 -x8531 -x8529 -x8527 -x8525 -x8523 -x8521 -x8519 -x8517 -x8515
1800.04/1800.55 v -x8513 -x8511 -x8509 -x8507 -x8505 -x8503 -x8501 -x8499 -x8497 -x8495 -x8493 -x8491 -x8489 -x8487 -x8485 -x8483 -x8481 -x8479
1800.04/1800.55 v -x8477 -x8475 -x8473 -x8471 -x8469 -x8467 -x8465 -x8463 -x8461 -x8459 -x8457 -x8455 -x8453 -x8451 -x8450 -x8448 -x8446 -x8444
1800.04/1800.55 v -x8442 -x8440 -x8438 -x8436 -x8434 -x8432 -x8430 -x8428 -x8426 -x8424 -x8422 -x8420 -x8418 -x8416 -x8414 -x8412 -x8410
1800.04/1800.55 v -x8408 -x8406 -x8404 -x8402 -x8400 -x8398 -x8396 x8394 -x8392 -x8390 -x8388 -x8386 -x8384 -x8382 -x8380 -x8378 -x8376 -x8374
1800.04/1800.55 v x8372 -x8370 -x8368 -x8366 -x8364 -x8362 -x8360 -x8358 -x8356 -x8354 -x8352 -x8350 -x8348 -x8346 -x8344 -x8342 -x8340 -x8338
1800.04/1800.55 v -x8336 -x8334 -x8332 -x8330 -x8328 -x8326 -x8324 -x8322 -x8320 -x8318 -x8316 -x8314 -x8312 -x8310 -x8308 -x8306 -x8304 -x8302
1800.04/1800.55 v -x8300 -x8298 -x8296 -x8294 -x8292 -x8290 -x8288 -x8286 -x8284 -x8282 -x8280 -x8278 -x8276 -x8274 -x8272 -x8270 -x8268 -x8266
1800.04/1800.55 v -x8264 -x8262 -x8260 -x8258 -x8256 -x8254 -x8252 -x8250 -x8248 -x8246 -x8244 -x8242 -x8240 -x8238 -x8236 -x8234 -x8232 -x8230
1800.04/1800.55 v -x8228 -x8226 -x8224 -x8222 -x8220 -x8218 -x8216 -x8214 -x8212 -x8210 -x8208 -x8206 -x8204 -x8202 -x8200 -x8198 -x8196 -x8194
1800.04/1800.55 v x8192 -x8190 -x8188 -x8186 -x8184 -x8182 -x8180 -x8178 -x8176 -x8174 -x8172 -x8170 -x8168 -x8166 -x8164 -x8162 -x8160 -x8158
1800.04/1800.55 v -x8156 -x8154 -x8152 -x8150 -x8148 -x8146 -x8144 -x8142 -x8140 -x8138 -x8136 -x8134 -x8132 -x8130 -x8128 -x8126 -x8124 -x8122
1800.04/1800.55 v -x8120 -x8118 -x8116 -x8114 -x8112 -x8110 -x8108 -x8106 -x8104 -x8102 -x8100 -x8098 -x8096 -x8094 -x8092 -x8090 -x8088 -x8086
1800.04/1800.55 v -x8084 -x8082 -x8080 -x8078 -x8076 -x8074 -x8072 -x8070 -x8068 -x8066 -x8064 -x8062 -x8060 x8058 -x8056 -x8054 -x8052 -x8050
1800.04/1800.55 v -x8048 -x8046 -x8044 -x8042 -x8040 -x8038 -x8036 -x8034 -x8032 -x8030 -x8028 -x8026 -x8024 -x8022 -x8020 -x8018 -x8016
1800.04/1800.55 v -x8014 -x8012 -x8010 -x8008 -x8006 -x8004 -x8002 -x8000 -x7998 -x7996 -x7994 -x7992 -x7990 -x7988 -x7986 -x7985 -x7983 -x7981
1800.04/1800.55 v -x7979 -x7977 -x7975 -x7973 -x7971 -x7969 -x7967 -x7965 -x7963 -x7961 -x7959 -x7957 -x7955 -x7953 -x7951 -x7949 -x7947 -x7945
1800.04/1800.55 v -x7943 -x7941 -x7939 -x7937 -x7935 -x7933 -x7931 -x7929 -x7927 -x7925 -x7923 -x7921 -x7919 -x7917 -x7915 -x7913 -x7911 -x7909
1800.04/1800.55 v -x7907 -x7905 -x7903 -x7901 -x7899 -x7897 -x7895 -x7893 -x7891 -x7889 -x7887 -x7885 -x7883 -x7881 -x7880 -x7878 -x7876 -x7874
1800.04/1800.55 v -x7872 -x7870 -x7868 -x7866 -x7864 -x7862 -x7860 -x7858 -x7856 -x7854 -x7852 -x7850 -x7848 -x7846 x7844 -x7842 -x7840 -x7838
1800.04/1800.55 v -x7836 -x7834 -x7832 -x7830 -x7828 -x7826 -x7824 -x7822 -x7820 -x7818 -x7816 -x7814 -x7812 -x7810 -x7808 -x7806 -x7804 -x7802
1800.04/1800.55 v -x7800 -x7798 -x7796 -x7795 -x7793 -x7791 -x7789 -x7787 -x7785 x7783 x7781 -x7779 -x7777 -x7775 -x7773 -x7771 -x7769 -x7767
1800.04/1800.55 v -x7765 -x7763 -x7761 -x7759 -x7757 -x7755 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 -x7739 -x7737 -x7735 -x7733 -x7731
1800.04/1800.55 v -x7729 -x7727 -x7725 -x7723 -x7721 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x7705 -x7703 -x7701 -x7699 -x7697 -x7695
1800.04/1800.55 v -x7693 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x7679 -x7677 -x7675 -x7673 -x7671 -x7669 -x7667 -x7665 -x7663 -x7661
1800.04/1800.55 v -x7659 -x7657 -x7655 -x7653 -x7651 -x7649 -x7647 -x7645 -x7643 -x7641 -x7639 -x7637 -x7635 -x7633 -x7631 -x7629 -x7627 -x7625
1800.04/1800.55 v -x7623 -x7621 -x7619 -x7617 -x7615 -x7613 -x7611 -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589
1800.04/1800.55 v -x7587 -x7585 -x7583 -x7581 -x7579 -x7577 -x7575 -x7573 -x7571 -x7569 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x7553
1800.04/1800.55 v -x7551 -x7549 -x7547 -x7545 -x7543 -x7541 -x7539 -x7537 -x7535 -x7533 -x7531 -x7529 -x7527 -x7525 -x7523 -x7521 -x7519 -x7517
1800.04/1800.55 v -x7515 -x7513 -x7511 -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481
1800.04/1800.55 v -x7479 -x7477 -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x7449 -x7447 -x7445
1800.04/1800.55 v -x7443 -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7415 -x7413 -x7411
1800.04/1800.55 v -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 -x7397 -x7395 -x7393 -x7391 -x7389 -x7387 -x7385 -x7383 -x7381 -x7379 -x7377 -x7375
1800.04/1800.55 v -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341 -x7339
1800.04/1800.55 v -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 -x7309 -x7307 -x7305 -x7303
1800.04/1800.55 v -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271 -x7269 -x7267
1800.04/1800.55 v -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231
1800.04/1800.55 v -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195
1800.04/1800.55 v -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161
1800.04/1800.55 v -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 -x7127 -x7125
1800.04/1800.55 v -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089
1800.04/1800.55 v -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053
1800.04/1800.55 v -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017
1800.04/1800.55 v -x7015 x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981
1800.04/1800.55 v -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945
1800.04/1800.55 v -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909
1800.04/1800.55 v -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876
1800.04/1800.55 v -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842 -x6840
1800.04/1800.55 v -x6838 -x6836 -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 x6810 -x6808 -x6806 -x6804
1800.04/1800.55 v -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768
1800.04/1800.55 v -x6766 -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x6738 -x6736 -x6734 -x6732
1800.04/1800.55 v -x6730 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697
1800.04/1800.55 v -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663 -x6661
1800.04/1800.55 v -x6659 -x6657 -x6655 -x6653 -x6651 -x6649 -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 x6633 -x6631 -x6629 -x6628 -x6626
1800.04/1800.55 v -x6624 -x6622 -x6620 -x6618 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590
1800.04/1800.55 v -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556
1800.04/1800.55 v -x6554 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520
1800.04/1800.55 v -x6518 -x6516 -x6514 -x6512 -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484
1800.04/1800.55 v -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448
1800.04/1800.55 v -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 -x6412
1800.04/1800.55 v -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x6386 -x6384 -x6382 -x6380 -x6379 -x6377
1800.04/1800.55 v -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6352 -x6350 -x6348 -x6346 -x6344 -x6342
1800.04/1800.55 v -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x6312 -x6310 -x6308
1800.04/1800.55 v -x6306 -x6304 -x6302 x6300 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273
1800.04/1800.55 v -x6271 -x6269 -x6267 -x6265 -x6263 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x6250 -x6248 -x6246 -x6244 -x6242 -x6240 -x6238
1800.04/1800.55 v -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 -x6202
1800.04/1800.55 v -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x6172 -x6170 -x6168 -x6166
1800.04/1800.55 v -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140 -x6138 -x6136 -x6134 -x6132 -x6130
1800.04/1800.55 v -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x6112 -x6110 -x6108 -x6106 x6104 -x6102 -x6100 -x6098 -x6096 -x6094
1800.04/1800.55 v -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058
1800.04/1800.55 v -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036 -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x6022
1800.04/1800.55 v -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994 -x5992 -x5990 -x5988
1800.04/1800.55 v -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952
1800.04/1800.55 v -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 x5934 -x5932 -x5930 -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916
1800.04/1800.55 v -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880
1800.04/1800.55 v -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844
1800.04/1800.55 v -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830 x5828 -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808
1800.04/1800.55 v -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792 -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x5774 -x5772
1800.04/1800.55 v -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756 -x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736
1800.04/1800.55 v -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x5700
1800.04/1800.55 v -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666
1800.04/1800.55 v -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630
1800.04/1800.55 v -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594
1800.04/1800.55 v -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558
1800.04/1800.55 v -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522
1800.04/1800.55 v -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486
1800.04/1800.55 v -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450
1800.04/1800.55 v -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416
1800.04/1800.55 v -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380
1800.04/1800.55 v -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344
1800.04/1800.55 v -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308
1800.04/1800.55 v -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272
1800.04/1800.55 v -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236
1800.04/1800.55 v -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200
1800.04/1800.55 v -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164
1800.04/1800.55 v -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 x5136 -x5134 -x5132 -x5130 -x5128
1800.04/1800.55 v -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094
1800.04/1800.55 v -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058
1800.04/1800.55 v -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022
1800.04/1800.55 v -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986
1800.04/1800.55 v -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950
1800.04/1800.55 v -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914
1800.04/1800.55 v -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878
1800.04/1800.55 v -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844
1800.04/1800.55 v -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808
1800.04/1800.55 v -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4779 -x4777 -x4775 -x4773
1800.04/1800.55 v -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737
1800.04/1800.55 v -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 -x4701
1800.04/1800.55 v -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665
1800.04/1800.55 v -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629
1800.04/1800.55 v -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595
1800.04/1800.55 v -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559
1800.04/1800.55 v -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523
1800.04/1800.55 v -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487
1800.04/1800.55 v -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4454 -x4452
1800.04/1800.55 v -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416
1800.04/1800.55 v -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380
1800.04/1800.55 v -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344
1800.04/1800.55 v -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310
1800.04/1800.55 v -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274
1800.04/1800.55 v -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238
1800.04/1800.55 v -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203
1800.04/1800.55 v -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167
1800.04/1800.55 v -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131
1800.04/1800.55 v -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095
1800.04/1800.55 v -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061
1800.04/1800.55 v -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025
1800.04/1800.55 v -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989
1800.04/1800.55 v -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953
1800.04/1800.55 v -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917
1800.04/1800.55 v -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881
1800.04/1800.55 v -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845
1800.04/1800.55 v -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811
1800.04/1800.55 v -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775
1800.04/1800.55 v -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739
1800.04/1800.55 v -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703
1800.04/1800.55 v -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667
1800.04/1800.55 v -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631
1800.04/1800.55 v -x3629 -x3627 -x3625 -x3623 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596
1800.04/1800.55 v -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562
1800.04/1800.55 v -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526
1800.04/1800.55 v -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490
1800.04/1800.55 v -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454
1800.04/1800.55 v -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418
1800.04/1800.55 v -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382
1800.04/1800.55 v -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346
1800.04/1800.55 v -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312
1800.04/1800.55 v -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276
1800.04/1800.55 v -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240
1800.04/1800.55 v -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204
1800.04/1800.55 v -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168
1800.04/1800.55 v -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132
1800.04/1800.55 v -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096
1800.04/1800.55 v -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062
1800.04/1800.55 v -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026
1800.04/1800.55 v -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990
1800.04/1800.55 v -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954
1800.04/1800.55 v -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918
1800.04/1800.55 v -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882
1800.04/1800.55 v -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846
1800.04/1800.55 v -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810
1800.04/1800.55 v -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776
1800.04/1800.55 v -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740
1800.04/1800.55 v -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704
1800.04/1800.55 v -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668
1800.04/1800.55 v -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632
1800.04/1800.55 v -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596
1800.04/1800.55 v -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560
1800.04/1800.55 v -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526
1800.04/1800.55 v -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490
1800.04/1800.55 v -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454
1800.04/1800.55 v -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418
1800.04/1800.55 v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382
1800.04/1800.55 v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346
1800.04/1800.55 v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310
1800.04/1800.55 v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276
1800.04/1800.55 v -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240
1800.04/1800.55 v -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204
1800.04/1800.55 v -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168
1800.04/1800.55 v -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132
1800.04/1800.55 v -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096
1800.04/1800.55 v -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060
1800.04/1800.55 v -x2058 -x2056 -x2054 x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024
1800.04/1800.55 v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990
1800.04/1800.55 v -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954
1800.04/1800.55 v -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918
1800.04/1800.55 v -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882
1800.04/1800.55 v -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846
1800.04/1800.55 v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1811
1800.04/1800.55 v -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775
1800.04/1800.55 v -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741
1800.04/1800.55 v -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705
1800.04/1800.55 v -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669
1800.04/1800.55 v -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633
1800.04/1800.55 v -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597
1800.04/1800.55 v -x1595 -x1593 -x1591 -x1589 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562
1800.04/1800.55 v -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526
1800.04/1800.55 v -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492
1800.04/1800.55 v -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456
1800.04/1800.55 v -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420
1800.04/1800.55 v -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384
1800.04/1800.55 v -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348
1800.04/1800.55 v -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312
1800.04/1800.55 v -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277
1800.04/1800.55 v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241
1800.04/1800.55 v -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207
1800.04/1800.55 v -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171
1800.04/1800.55 v -x1169 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135
1800.04/1800.55 v -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099
1800.04/1800.55 v -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063
1800.04/1800.55 v -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027
1800.04/1800.55 v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991
1800.04/1800.55 v -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949
1800.04/1800.55 v -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907
1800.04/1800.55 v -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865
1800.04/1800.55 v -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823
1800.04/1800.55 v -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783
1800.04/1800.55 v -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741
1800.04/1800.55 v -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699
1800.04/1800.55 v -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657
1800.04/1800.55 v -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615
1800.04/1800.55 v -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x582 -x580 -x578 -x576 -x574
1800.04/1800.55 v -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534
1800.04/1800.55 v -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492
1800.04/1800.55 v -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450
1800.04/1800.55 v -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408
1800.04/1800.55 v -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366
1800.04/1800.55 v -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324
1800.04/1800.55 v -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282
1800.04/1800.55 v -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258
1800.04/1800.55 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.55 c Solving Time : 1760.02
1800.04/1800.55 c Original Problem :
1800.04/1800.55 c Problem name : HOME/instance-2663937-1276634813.opb
1800.04/1800.55 c Variables : 8805 (8805 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.55 c Constraints : 27496 initial, 27496 maximal
1800.04/1800.55 c Presolved Problem :
1800.04/1800.55 c Problem name : t_HOME/instance-2663937-1276634813.opb
1800.04/1800.55 c Variables : 3847 (3847 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.55 c Constraints : 15587 initial, 15951 maximal
1800.04/1800.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.55 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.55 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.55 c implics : 0.00 0 9 0 0 0 0 0 0
1800.04/1800.55 c probing : 0.13 0 0 0 0 0 0 0 0
1800.04/1800.55 c linear : 0.32 682 4267 0 682 0 11909 2 2
1800.04/1800.55 c logicor : 0.10 0 0 0 0 0 0 0 0
1800.04/1800.55 c root node : - 0 - - 0 - - - -
1800.04/1800.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.55 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.55 c logicor : 15587+ 0 3482378 0 4 220546 4763219 0 0 0
1800.04/1800.55 c countsols : 0 0 0 0 4 0 0 0 0 0
1800.04/1800.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.55 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.55 c logicor : 265.14 0.00 265.14 0.00 0.00
1800.04/1800.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.55 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.55 c vbounds : 3.00 2 0 0
1800.04/1800.55 c rootredcost : 2.83 0 0 0
1800.04/1800.55 c pseudoobj : 1248.41 5405687 573868 2800187
1800.04/1800.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.55 c propagation : 301.25 794414 794414 794414 60.6 16709 47.1 -
1800.04/1800.55 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.55 c pseudo solution : 14.81 12935 12935 12935 54.5 402 54.2 -
1800.04/1800.55 c applied globally : - - - 824460 60.3 - - -
1800.04/1800.55 c applied locally : - - - 0 0.0 - - -
1800.04/1800.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.55 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.55 c redcost : 0.00 0 0 0 0 0
1800.04/1800.55 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.55 c intobj : 0.00 0 0 0 0 0
1800.04/1800.55 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.55 c gomory : 0.00 0 0 0 0 0
1800.04/1800.55 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.55 c cmir : 0.00 0 0 0 0 0
1800.04/1800.55 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.55 c clique : 0.00 0 0 0 0 0
1800.04/1800.55 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.55 c mcf : 0.00 0 0 0 0 0
1800.04/1800.55 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.55 c Pricers : Time Calls Vars
1800.04/1800.55 c problem variables: 0.00 0 0
1800.04/1800.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.55 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.55 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.55 c inference : 28.74 1183426 0 0 0 0 2366852
1800.04/1800.55 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.55 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.55 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.55 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.55 c random : 0.00 0 0 0 0 0 0
1800.04/1800.55 c Primal Heuristics : Time Calls Found
1800.04/1800.55 c LP solutions : 0.00 - 0
1800.04/1800.55 c pseudo solutions : 0.00 - 4
1800.04/1800.55 c oneopt : 1.66 0 0
1800.04/1800.55 c trivial : 0.03 2 0
1800.04/1800.55 c simplerounding : 0.00 0 0
1800.04/1800.55 c zirounding : 0.00 0 0
1800.04/1800.55 c rounding : 0.00 0 0
1800.04/1800.55 c shifting : 0.00 0 0
1800.04/1800.55 c intshifting : 0.00 0 0
1800.04/1800.55 c twoopt : 0.00 0 0
1800.04/1800.55 c fixandinfer : 0.00 0 0
1800.04/1800.55 c feaspump : 0.00 0 0
1800.04/1800.55 c coefdiving : 0.00 0 0
1800.04/1800.55 c pscostdiving : 0.00 0 0
1800.04/1800.55 c fracdiving : 0.00 0 0
1800.04/1800.55 c veclendiving : 0.00 0 0
1800.04/1800.55 c intdiving : 0.00 0 0
1800.04/1800.55 c actconsdiving : 0.00 0 0
1800.04/1800.55 c objpscostdiving : 0.00 0 0
1800.04/1800.55 c rootsoldiving : 0.00 0 0
1800.04/1800.55 c linesearchdiving : 0.00 0 0
1800.04/1800.55 c guideddiving : 0.00 0 0
1800.04/1800.55 c octane : 0.00 0 0
1800.04/1800.55 c rens : 0.00 0 0
1800.04/1800.55 c rins : 0.00 0 0
1800.04/1800.55 c localbranching : 0.00 0 0
1800.04/1800.55 c mutation : 0.00 0 0
1800.04/1800.55 c crossover : 0.00 0 0
1800.04/1800.55 c dins : 0.00 0 0
1800.04/1800.55 c undercover : 0.00 0 0
1800.04/1800.55 c nlp : 0.71 0 0
1800.04/1800.55 c trysol : 0.78 0 0
1800.04/1800.55 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.55 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.55 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.55 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.55 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.55 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.55 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.55 c (at root node) : - 0 0 0.00 -
1800.04/1800.55 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.55 c B&B Tree :
1800.04/1800.55 c number of runs : 1
1800.04/1800.55 c nodes : 1573238
1800.04/1800.55 c nodes (total) : 1573238
1800.04/1800.55 c nodes left : 540
1800.04/1800.55 c max depth : 576
1800.04/1800.55 c max depth (total): 576
1800.04/1800.55 c backtracks : 483120 (30.7%)
1800.04/1800.55 c delayed cutoffs : 561474
1800.04/1800.55 c repropagations : 1077716 (3481012 domain reductions, 417541 cutoffs)
1800.04/1800.55 c avg switch length: 2.53
1800.04/1800.55 c switching time : 81.94
1800.04/1800.55 c Solution :
1800.04/1800.55 c Solutions found : 4 (4 improvements)
1800.04/1800.55 c First Solution : +3.40000000000000e+01 (in run 1, after 570 nodes, 1.35 seconds, depth 569, found by <relaxation>)
1800.04/1800.55 c Primal Bound : +3.10000000000000e+01 (in run 1, after 2530 nodes, 3.19 seconds, depth 575, found by <relaxation>)
1800.04/1800.55 c Dual Bound : +1.00000000000000e+00
1800.04/1800.55 c Gap : 3000.00 %
1800.04/1800.55 c Root Dual Bound : +1.00000000000000e+00
1800.04/1800.55 c Root Iterations : 0
1800.15/1800.65 c Time complete: 1800.19.
OK 31
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663937-1276634813/watcher-2663937-1276634813 -o /tmp/evaluation-result-2663937-1276634813/solver-2663937-1276634813 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663937-1276634813.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11188 /proc/meminfo: memFree=1816140/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=5556 CPUtime=0 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 887 0 0 0 0 0 0 0 20 0 1 0 4772793 5689344 809 1992294400 4194304 7136930 140736348718720 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11188/statm: 1389 810 249 719 0 668 0 [startup+0.0379609 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11188 /proc/meminfo: memFree=1816140/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=12852 CPUtime=0.03 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 2705 0 0 0 2 1 0 0 20 0 1 0 4772793 13160448 2626 1992294400 4194304 7136930 140736348718720 18446744073709551615 6167169 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11188/statm: 3213 2626 271 719 0 2492 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12852 [startup+0.100953 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11188 /proc/meminfo: memFree=1816140/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=16544 CPUtime=0.09 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 3634 0 0 0 8 1 0 0 20 0 1 0 4772793 16941056 3555 1992294400 4194304 7136930 140736348718720 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11188/statm: 4136 3555 271 719 0 3415 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16544 [startup+0.300971 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11188 /proc/meminfo: memFree=1816140/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=21888 CPUtime=0.29 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 4966 0 0 0 27 2 0 0 20 0 1 0 4772793 22413312 4887 1992294400 4194304 7136930 140736348718720 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11188/statm: 5472 4887 271 719 0 4751 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21888 [startup+0.701007 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11188 /proc/meminfo: memFree=1816140/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=55980 CPUtime=0.69 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 13484 0 0 0 64 5 0 0 21 0 1 0 4772793 57323520 13032 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 13995 13032 343 719 0 13274 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55980 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1761448/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=66152 CPUtime=1.49 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18452 0 0 0 135 14 0 0 23 0 1 0 4772793 67739648 15725 1992294400 4194304 7136930 140736348718720 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16538 15725 384 719 0 15817 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 66152 [startup+3.10122 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1754256/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=66432 CPUtime=3.09 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18530 0 0 0 292 17 0 0 25 0 1 0 4772793 68026368 15803 1992294400 4194304 7136930 140736348718720 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16608 15803 390 719 0 15887 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66432 [startup+6.30051 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11189 /proc/meminfo: memFree=1753636/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=66844 CPUtime=6.29 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18577 0 0 0 605 24 0 0 25 0 1 0 4772793 68448256 15850 1992294400 4194304 7136930 140736348718720 18446744073709551615 4704214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16711 15850 390 719 0 15990 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66844 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11191 /proc/meminfo: memFree=1753388/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=67112 CPUtime=12.69 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18638 0 0 0 1231 38 0 0 25 0 1 0 4772793 68722688 15911 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16778 15911 390 719 0 16057 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67112 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11191 /proc/meminfo: memFree=1753140/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=67512 CPUtime=25.49 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18738 0 0 0 2485 64 0 0 25 0 1 0 4772793 69132288 16011 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16878 16011 390 719 0 16157 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67512 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11191 /proc/meminfo: memFree=1752892/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=67644 CPUtime=51.08 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18767 0 0 0 4988 120 0 0 25 0 1 0 4772793 69267456 16040 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16911 16040 390 719 0 16190 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67644 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11193 /proc/meminfo: memFree=1752644/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=67776 CPUtime=102.27 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18799 0 0 0 10002 225 0 0 25 0 1 0 4772793 69402624 16072 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16944 16072 390 719 0 16223 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 67776 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11195 /proc/meminfo: memFree=1752396/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=67912 CPUtime=162.26 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18830 0 0 0 15874 352 0 0 25 0 1 0 4772793 69541888 16103 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16978 16103 390 719 0 16257 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 67912 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11195 /proc/meminfo: memFree=1752272/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=67912 CPUtime=222.23 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18855 0 0 0 21741 482 0 0 25 0 1 0 4772793 69541888 16128 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16978 16128 390 719 0 16257 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 67912 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11197 /proc/meminfo: memFree=1752148/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=67912 CPUtime=282.22 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18860 0 0 0 27607 615 0 0 25 0 1 0 4772793 69541888 16133 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 16978 16133 390 719 0 16257 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 67912 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11199 /proc/meminfo: memFree=1752024/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68052 CPUtime=342.21 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18879 0 0 0 33468 753 0 0 25 0 1 0 4772793 69685248 16152 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17013 16152 390 719 0 16292 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 68052 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11201 /proc/meminfo: memFree=1751900/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68052 CPUtime=402.19 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18882 0 0 0 39335 884 0 0 25 0 1 0 4772793 69685248 16155 1992294400 4194304 7136930 140736348718720 18446744073709551615 5909106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17013 16155 390 719 0 16292 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 68052 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11203 /proc/meminfo: memFree=1751776/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68052 CPUtime=462.17 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18885 0 0 0 45194 1023 0 0 25 0 1 0 4772793 69685248 16158 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17013 16158 390 719 0 16292 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 68052 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11203 /proc/meminfo: memFree=1751776/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68184 CPUtime=522.16 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18906 0 0 0 51063 1153 0 0 25 0 1 0 4772793 69820416 16179 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17046 16179 390 719 0 16325 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 68184 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11205 /proc/meminfo: memFree=1751652/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68184 CPUtime=582.15 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18915 0 0 0 56925 1290 0 0 25 0 1 0 4772793 69820416 16188 1992294400 4194304 7136930 140736348718720 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17046 16188 390 719 0 16325 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 68184 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11207 /proc/meminfo: memFree=1751528/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68184 CPUtime=642.14 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18918 0 0 0 62800 1414 0 0 25 0 1 0 4772793 69820416 16191 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17046 16191 390 719 0 16325 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 68184 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11222 /proc/meminfo: memFree=1750536/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68348 CPUtime=882.06 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18947 0 0 0 86260 1946 0 0 25 0 1 0 4772793 69988352 16220 1992294400 4194304 7136930 140736348718720 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17087 16220 390 719 0 16366 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 68348 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11224 /proc/meminfo: memFree=1750536/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68508 CPUtime=942.05 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18977 0 0 0 92130 2075 0 0 25 0 1 0 4772793 70152192 16250 1992294400 4194304 7136930 140736348718720 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17127 16250 390 719 0 16406 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 68508 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11226 /proc/meminfo: memFree=1750536/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68508 CPUtime=1002.04 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18977 0 0 0 97996 2208 0 0 25 0 1 0 4772793 70152192 16250 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17127 16250 390 719 0 16406 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 68508 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11228 /proc/meminfo: memFree=1750536/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68508 CPUtime=1062.03 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 18979 0 0 0 103860 2343 0 0 25 0 1 0 4772793 70152192 16252 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17127 16252 390 719 0 16406 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 68508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11228 /proc/meminfo: memFree=1750288/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1122 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19031 0 0 0 109727 2473 0 0 25 0 1 0 4772793 70369280 16304 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16304 390 719 0 16459 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 68720 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11230 /proc/meminfo: memFree=1750288/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1181.99 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19031 0 0 0 115591 2608 0 0 25 0 1 0 4772793 70369280 16304 1992294400 4194304 7136930 140736348718720 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16304 390 719 0 16459 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 68720 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11232 /proc/meminfo: memFree=1750164/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1241.98 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19040 0 0 0 121458 2740 0 0 25 0 1 0 4772793 70369280 16313 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16313 390 719 0 16459 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 68720 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11234 /proc/meminfo: memFree=1750040/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1301.97 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19047 0 0 0 127325 2872 0 0 25 0 1 0 4772793 70369280 16320 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16320 390 719 0 16459 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 68720 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11236 /proc/meminfo: memFree=1750040/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1361.95 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19047 0 0 0 133191 3004 0 0 25 0 1 0 4772793 70369280 16320 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16320 390 719 0 16459 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 68720 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11236 /proc/meminfo: memFree=1749916/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1421.94 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19051 0 0 0 139056 3138 0 0 25 0 1 0 4772793 70369280 16324 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16324 390 719 0 16459 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 68720 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11238 /proc/meminfo: memFree=1749792/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1481.92 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19054 0 0 0 144926 3266 0 0 25 0 1 0 4772793 70369280 16327 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16327 390 719 0 16459 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 68720 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11240 /proc/meminfo: memFree=1749792/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1541.9 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19054 0 0 0 150790 3400 0 0 25 0 1 0 4772793 70369280 16327 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16327 390 719 0 16459 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 68720 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11242 /proc/meminfo: memFree=1749792/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1601.89 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19058 0 0 0 156658 3531 0 0 25 0 1 0 4772793 70369280 16331 1992294400 4194304 7136930 140736348718720 18446744073709551615 4704780 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16331 390 719 0 16459 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 68720 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11244 /proc/meminfo: memFree=1749668/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1661.88 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19059 0 0 0 162528 3660 0 0 25 0 1 0 4772793 70369280 16332 1992294400 4194304 7136930 140736348718720 18446744073709551615 5913485 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16332 390 719 0 16459 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 68720 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11244 /proc/meminfo: memFree=1749544/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68720 CPUtime=1721.86 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19059 0 0 0 168398 3788 0 0 25 0 1 0 4772793 70369280 16332 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17180 16332 390 719 0 16459 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 68720 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11246 /proc/meminfo: memFree=1749172/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68852 CPUtime=1781.85 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19072 0 0 0 174267 3918 0 0 25 0 1 0 4772793 70504448 16345 1992294400 4194304 7136930 140736348718720 18446744073709551615 5507861 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17213 16345 390 719 0 16492 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 68852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.07 1.02 1.00 2/107 11246 /proc/meminfo: memFree=1749172/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=68852 CPUtime=1800.04 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19072 0 0 0 176046 3958 0 0 25 0 1 0 4772793 70504448 16345 1992294400 4194304 7136930 140736348718720 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11188/statm: 17213 16345 390 719 0 16492 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 68852 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.07 1.02 1.00 2/108 11247 /proc/meminfo: memFree=1751024/2059040 swapFree=4164932/4192956 [pid=11188] ppid=11186 vsize=64544 CPUtime=1800.15 /proc/11188/stat : 11188 (pbscip.linux.x8) R 11186 11188 11000 0 -1 4202496 19095 0 0 0 176057 3958 0 0 18 0 1 0 4772793 66093056 15300 1992294400 4194304 7136930 140736348718720 18446744073709551615 4698824 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11188/statm: 16136 15300 396 719 0 15415 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 64544 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.2 CPU user time (s): 1760.6 CPU system time (s): 39.597 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 68852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1760.6 system time used= 39.597 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19102 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= 3 involuntary context switches= 4489 runsolver used 3.04954 second user time and 8.45371 second system time The end
Begin job on node051 at 2010-06-15 22:46:53 IDJOB=2663937 IDBENCH=24992 IDSOLVER=1167 FILE ID=node051/2663937-1276634813 PBS_JOBID= 11172380 Free space on /tmp= 62564 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_027_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-2663937-1276634813/watcher-2663937-1276634813 -o /tmp/evaluation-result-2663937-1276634813/solver-2663937-1276634813 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663937-1276634813.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1b0ac127de7b79f6251c1506cbcbe6c3 RANDOM SEED=1711740579 node051.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.255 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.51 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.255 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1816544 kB Buffers: 46248 kB Cached: 99240 kB SwapCached: 1380 kB Active: 80088 kB Inactive: 98244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1816544 kB SwapTotal: 4192956 kB SwapFree: 4164932 kB Dirty: 3924 kB Writeback: 0 kB AnonPages: 31332 kB Mapped: 14988 kB Slab: 42204 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182812 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= 62560 MiB End job on node051 at 2010-06-15 23:16:56