Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 32 | 1800.24 | 1800.74 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_003_area_delay.opb |
| MD5SUM | 66cf2657d020eb0982c7cab0e5ad93c1 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 8.63969 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 26 |
| Optimality of the best value was proved | YES |
| Number of variables | 7343 |
| Total number of constraints | 22903 |
| Number of constraints which are clauses | 22903 |
| 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 | 3560 |
| 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 | 3560 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 3560 |
| Number of bits of the biggest sum of numbers | 12 |
| 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-2663934-1276634037.opb>
0.39/0.40 c original problem has 7343 variables (7343 bin, 0 int, 0 impl, 0 cont) and 22903 constraints
0.39/0.40 c problem read
0.39/0.40 c presolving settings loaded
0.39/0.41 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.50/0.54 c presolving:
0.69/0.76 c (round 1) 4119 del vars, 7667 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 41558 impls, 0 clqs
0.69/0.79 c (round 2) 4120 del vars, 9967 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 41558 impls, 0 clqs
0.89/0.95 c (round 3) 4120 del vars, 9971 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 12915 upgd conss, 41558 impls, 0 clqs
0.89/0.98 c (round 4) 4120 del vars, 9971 del conss, 553 chg bounds, 0 chg sides, 0 chg coeffs, 12932 upgd conss, 41558 impls, 0 clqs
1.10/1.13 c (0.6s) probing: 101/3223 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.13 c (0.6s) probing aborted: 100/100 successive totally useless probings
1.10/1.13 c presolving (5 rounds):
1.10/1.13 c 4120 deleted vars, 9971 deleted constraints, 553 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.13 c 41558 implications, 0 cliques
1.10/1.13 c presolved problem has 3223 variables (3223 bin, 0 int, 0 impl, 0 cont) and 12932 constraints
1.10/1.13 c 12932 constraints of type <logicor>
1.10/1.13 c transformed objective value is always integral (scale: 1)
1.10/1.13 c Presolving Time: 0.56
1.10/1.13 c - non default parameters ----------------------------------------------------------------------
1.10/1.13 c # SCIP version 1.2.1.2
1.10/1.13 c
1.10/1.13 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.13 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.13 c conflict/interconss = 0
1.10/1.13 c
1.10/1.13 c # should binary conflicts be preferred?
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c conflict/preferbinary = TRUE
1.10/1.13 c
1.10/1.13 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.13 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.13 c constraints/agelimit = 1
1.10/1.13 c
1.10/1.13 c # should enforcement of pseudo solution be disabled?
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c constraints/disableenfops = TRUE
1.10/1.13 c
1.10/1.13 c # frequency for displaying node information lines
1.10/1.13 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.13 c display/freq = 10000
1.10/1.13 c
1.10/1.13 c # maximal time in seconds to run
1.10/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13 c limits/time = 1799.61
1.10/1.13 c
1.10/1.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.13 c limits/memory = 1620
1.10/1.13 c
1.10/1.13 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.13 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.13 c lp/solvefreq = -1
1.10/1.13 c
1.10/1.13 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.10/1.13 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.13 c lp/pricing = a
1.10/1.13 c
1.10/1.13 c # should presolving try to simplify inequalities
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c constraints/linear/simplifyinequalities = TRUE
1.10/1.13 c
1.10/1.13 c # should presolving try to simplify knapsacks
1.10/1.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.13 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.13 c
1.10/1.13 c # priority of node selection rule <dfs> in standard mode
1.10/1.13 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.13 c nodeselection/dfs/stdpriority = 1000000
1.10/1.13 c
1.10/1.13 c -----------------------------------------------------------------------------------------------
1.10/1.13 c start solving
1.10/1.13 c
1.10/1.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.13 c 0.6s| 1 | 2 | 0 | - | 27M| 0 | - |3223 | 12k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.69 o 34
1.59/1.69 c * 1.2s| 728 | 720 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
1.69/1.70 o 33
1.69/1.70 c * 1.2s| 733 | 719 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
8.49/8.57 c 7.8s| 10000 | 695 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |7262 | 0 | 0.000000e+00 | 3.300000e+01 | Inf
16.29/16.30 c 15.3s| 20000 | 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
24.20/24.22 c 23.0s| 30000 | 700 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
31.98/32.02 c 30.6s| 40000 | 694 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
39.28/39.30 c 37.7s| 50000 | 698 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
47.58/47.64 c 45.8s| 60000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
55.17/55.28 c 53.2s| 70000 | 700 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
63.67/63.77 c 61.5s| 80000 | 698 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
71.67/71.79 c 69.2s| 90000 | 691 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
78.96/79.02 c 76.3s|100000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
86.36/86.47 c 83.5s|110000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
94.26/94.36 c 91.1s|120000 | 694 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
102.65/102.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.65/102.71 c 99.2s|130000 | 703 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
109.65/109.79 c 106s|140000 | 693 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
116.95/117.03 c 113s|150000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
124.35/124.48 c 120s|160000 | 697 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
132.65/132.74 c 128s|170000 | 696 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
139.95/140.04 c 135s|180000 | 694 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
147.35/147.45 c 143s|190000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
155.24/155.35 c 150s|200000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
162.94/163.08 c 158s|210000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
170.74/170.89 c 165s|220000 | 691 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
178.14/178.25 c 173s|230000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
185.24/185.37 c 179s|240000 | 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
192.44/192.58 c 186s|250000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
200.24/200.32 c 194s|260000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
207.93/208.03 c 201s|270000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
215.13/215.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.13/215.27 c 208s|280000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
223.02/223.14 c 216s|290000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
231.42/231.56 c 224s|300000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
239.12/239.28 c 232s|310000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
246.72/246.84 c 239s|320000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
254.61/254.71 c 247s|330000 | 693 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
262.01/262.17 c 254s|340000 | 691 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
269.32/269.48 c 261s|350000 | 698 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
277.02/277.16 c 269s|360000 | 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
284.72/284.83 c 276s|370000 | 691 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
292.01/292.14 c 283s|380000 | 691 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
299.31/299.44 c 290s|390000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
307.10/307.28 c 298s|400000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
314.70/314.89 c 305s|410000 | 694 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
322.50/322.66 c 313s|420000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
329.49/329.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.49/329.65 c 319s|430000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
337.19/337.36 c 327s|440000 | 693 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
344.79/344.98 c 334s|450000 | 694 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
352.09/352.23 c 341s|460000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
358.50/358.69 c 348s|470000 | 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
365.89/366.05 c 355s|480000 | 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
373.80/373.97 c 362s|490000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
382.29/382.44 c 371s|500000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
390.48/390.60 c 379s|510000 | 694 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
397.48/397.60 c 385s|520000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
404.88/405.08 c 393s|530000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
412.18/412.35 c 400s|540000 | 693 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
419.77/419.98 c 407s|550000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
427.47/427.63 c 415s|560000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
435.38/435.53 c 422s|570000 | 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
443.07/443.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.07/443.23 c 430s|580000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
450.87/451.08 c 437s|590000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
458.96/459.12 c 445s|600000 | 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
466.56/466.75 c 453s|610000 | 693 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
473.97/474.16 c 460s|620000 | 696 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
481.56/481.79 c 467s|630000 | 691 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
489.55/489.79 c 475s|640000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
496.96/497.10 c 482s|650000 | 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
504.85/505.00 c 490s|660000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
512.55/512.79 c 497s|670000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
520.84/521.02 c 505s|680000 | 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
528.14/528.32 c 512s|690000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
535.24/535.47 c 519s|700000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
542.74/542.90 c 526s|710000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
549.74/549.98 c 533s|720000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
556.83/557.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.83/557.09 c 540s|730000 | 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
564.05/564.25 c 547s|740000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
571.63/571.85 c 554s|750000 | 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
579.13/579.39 c 562s|760000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
586.42/586.69 c 569s|770000 | 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
594.83/595.07 c 577s|780000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
602.93/603.18 c 585s|790000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
610.92/611.18 c 593s|800000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
618.41/618.62 c 600s|810000 | 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
626.02/626.26 c 607s|820000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
633.92/634.11 c 615s|830000 | 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
641.91/642.16 c 623s|840000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
649.41/649.69 c 630s|850000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
657.01/657.21 c 637s|860000 | 689 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
664.40/664.61 c 644s|870000 | 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
671.71/671.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.71/671.95 c 652s|880000 | 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
679.80/680.03 c 659s|890000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
687.21/687.41 c 667s|900000 | 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 424k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
695.40/695.67 c 675s|910000 | 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
703.71/703.96 c 683s|920000 | 692 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
711.20/711.46 c 690s|930000 | 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
719.20/719.45 c 698s|940000 | 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
727.09/727.36 c 705s|950000 | 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
735.09/735.34 c 713s|960000 | 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
743.29/743.59 c 721s|970000 | 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
751.39/751.63 c 729s|980000 | 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
759.38/759.61 c 737s|990000 | 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
767.38/767.69 c 744s| 1000k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
775.38/775.66 c 752s| 1010k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
783.38/783.65 c 760s| 1020k| 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
791.07/791.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.07/791.35 c 767s| 1030k| 678 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
798.77/799.05 c 775s| 1040k| 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
807.08/807.31 c 783s| 1050k| 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
815.16/815.46 c 791s| 1060k| 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
823.27/823.58 c 799s| 1070k| 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
831.27/831.53 c 806s| 1080k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
839.26/839.50 c 814s| 1090k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
847.06/847.36 c 822s| 1100k| 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
855.47/855.72 c 830s| 1110k| 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
863.17/863.48 c 837s| 1120k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
871.15/871.48 c 845s| 1130k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
878.66/878.99 c 853s| 1140k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
886.15/886.45 c 860s| 1150k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
894.54/894.83 c 868s| 1160k| 690 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
902.24/902.53 c 875s| 1170k| 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
910.55/910.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.55/910.87 c 883s| 1180k| 693 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
918.34/918.67 c 891s| 1190k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
925.95/926.27 c 898s| 1200k| 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
934.13/934.49 c 906s| 1210k| 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
942.24/942.58 c 914s| 1220k| 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
950.03/950.36 c 922s| 1230k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
958.72/959.09 c 930s| 1240k| 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
966.23/966.56 c 938s| 1250k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
974.13/974.41 c 945s| 1260k| 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
982.12/982.43 c 953s| 1270k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
989.91/990.21 c 960s| 1280k| 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
998.43/998.74 c 969s| 1290k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1006.42/1006.79 c 977s| 1300k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1014.92/1015.26 c 985s| 1310k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1022.81/1023.19 c 992s| 1320k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1030.42/1030.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.42/1030.72 c 1000s| 1330k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1037.40/1037.78 c 1007s| 1340k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1046.01/1046.34 c 1015s| 1350k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 640k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
1051.31/1051.63 o 32
1051.31/1051.63 c *1020s| 1357k| 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 644k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1053.51/1053.89 c 1022s| 1360k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 645k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1060.11/1060.48 c 1029s| 1370k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 649k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1067.20/1067.54 c 1035s| 1380k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 653k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1073.79/1074.17 c 1042s| 1390k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 658k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1081.70/1082.00 c 1049s| 1400k| 679 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 663k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1089.59/1089.95 c 1057s| 1410k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1097.89/1098.25 c 1065s| 1420k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 672k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1105.79/1106.14 c 1073s| 1430k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 677k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1113.78/1114.18 c 1081s| 1440k| 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1121.59/1121.94 c 1088s| 1450k| 685 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1128.89/1129.28 c 1095s| 1460k| 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1136.88/1137.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.88/1137.24 c 1103s| 1470k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 695k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1145.08/1145.41 c 1111s| 1480k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1152.97/1153.39 c 1119s| 1490k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1160.48/1160.82 c 1126s| 1500k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1167.78/1168.18 c 1133s| 1510k| 679 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 713k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1175.37/1175.70 c 1140s| 1520k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 717k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1182.97/1183.35 c 1148s| 1530k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 722k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1191.67/1192.05 c 1156s| 1540k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 727k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1199.77/1200.16 c 1164s| 1550k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 732k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1206.57/1206.92 c 1171s| 1560k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 736k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1214.36/1214.75 c 1178s| 1570k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1222.36/1222.79 c 1186s| 1580k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1229.95/1230.36 c 1193s| 1590k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1237.55/1237.94 c 1201s| 1600k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1246.35/1246.78 c 1209s| 1610k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1254.85/1255.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.85/1255.28 c 1218s| 1620k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1262.55/1262.93 c 1225s| 1630k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 768k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1271.44/1271.88 c 1234s| 1640k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1280.14/1280.57 c 1242s| 1650k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1288.54/1288.98 c 1250s| 1660k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 783k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1296.45/1296.82 c 1258s| 1670k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 787k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1304.03/1304.44 c 1265s| 1680k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1311.33/1311.71 c 1272s| 1690k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1319.43/1319.87 c 1280s| 1700k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1326.73/1327.10 c 1287s| 1710k| 678 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1333.83/1334.22 c 1294s| 1720k| 679 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 810k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1341.23/1341.64 c 1301s| 1730k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 814k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1348.93/1349.35 c 1309s| 1740k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1356.12/1356.57 c 1316s| 1750k| 678 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 824k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1363.72/1364.14 c 1323s| 1760k| 673 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 828k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1371.42/1371.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.42/1371.86 c 1331s| 1770k| 679 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1379.31/1379.77 c 1339s| 1780k| 676 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1387.12/1387.58 c 1346s| 1790k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1395.01/1395.49 c 1354s| 1800k| 677 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 847k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1403.11/1403.57 c 1362s| 1810k| 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1411.50/1411.91 c 1370s| 1820k| 679 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 857k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1419.61/1420.04 c 1378s| 1830k| 672 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1427.70/1428.14 c 1386s| 1840k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1436.00/1436.44 c 1394s| 1850k| 687 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1444.29/1444.78 c 1402s| 1860k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 875k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1451.99/1452.44 c 1409s| 1870k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1459.89/1460.31 c 1417s| 1880k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 884k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1468.19/1468.63 c 1425s| 1890k| 679 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 889k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1476.19/1476.64 c 1433s| 1900k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1483.99/1484.47 c 1440s| 1910k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1492.19/1492.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1492.19/1492.69 c 1448s| 1920k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1499.68/1500.18 c 1456s| 1930k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 908k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1507.38/1507.80 c 1463s| 1940k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1514.98/1515.45 c 1470s| 1950k| 673 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 917k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1522.17/1522.68 c 1477s| 1960k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1530.28/1530.72 c 1485s| 1970k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 926k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1537.78/1538.25 c 1492s| 1980k| 672 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 930k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1545.77/1546.25 c 1500s| 1990k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1553.57/1554.09 c 1508s| 2000k| 677 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1561.06/1561.55 c 1515s| 2010k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1568.56/1569.01 c 1522s| 2020k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1576.26/1576.73 c 1530s| 2030k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 953k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1583.76/1584.26 c 1537s| 2040k| 671 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1591.06/1591.58 c 1544s| 2050k| 671 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 962k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1598.16/1598.65 c 1551s| 2060k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1605.95/1606.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1605.95/1606.47 c 1559s| 2070k| 677 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1613.35/1613.82 c 1566s| 2080k| 684 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 975k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1621.25/1621.74 c 1574s| 2090k| 686 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 980k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1629.54/1630.08 c 1582s| 2100k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 984k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1637.73/1638.29 c 1590s| 2110k| 673 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 989k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1646.14/1646.60 c 1598s| 2120k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 993k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1654.33/1654.80 c 1606s| 2130k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 | 998k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1662.13/1662.65 c 1613s| 2140k| 678 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1670.13/1670.60 c 1621s| 2150k| 674 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1007k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1678.13/1678.62 c 1629s| 2160k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1012k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1686.32/1686.85 c 1637s| 2170k| 675 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1694.63/1695.14 c 1645s| 2180k| 683 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1703.13/1703.65 c 1653s| 2190k| 677 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1711.62/1712.12 c 1661s| 2200k| 677 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1719.93/1720.45 c 1670s| 2210k| 673 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1727.41/1727.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.41/1727.92 c 1677s| 2220k| 676 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1735.22/1735.80 c 1684s| 2230k| 677 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1743.51/1744.06 c 1692s| 2240k| 682 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1751.90/1752.44 c 1701s| 2250k| 673 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1760.51/1761.07 c 1709s| 2260k| 678 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1768.80/1769.39 c 1717s| 2270k| 688 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1777.11/1777.68 c 1725s| 2280k| 678 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1784.90/1785.42 c 1733s| 2290k| 681 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1075k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1792.80/1793.30 c 1740s| 2300k| 680 | 0 | 0.0 | 28M| 727 | - |3223 | 12k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1747.39
1800.10/1800.61 c Solving Nodes : 2309159
1800.10/1800.61 c Primal Bound : +3.20000000000000e+01 (3 solutions)
1800.10/1800.61 c Dual Bound : +0.00000000000000e+00
1800.10/1800.61 c Gap : infinite
1800.10/1800.64 s SATISFIABLE
1800.10/1800.64 v x226 x225 x7342 x224 x7340 x7338 x223 -x7336 x222 x7334 -x7332 -x7330 -x221 -x7328 -x7326 -x7324 -x220 -x7322 -x7320 x7318 -x7316
1800.10/1800.64 v -x7314 -x7312 x219 -x7310 x218 x7308 -x7306 -x7304 -x217 -x7302 -x7300 x216 x7298 -x7296 -x7294 -x7292 -x7290 x7288 -x7286
1800.10/1800.64 v -x7284 -x7282 -x7280 -x215 -x7278 -x7276 -x7274 -x7272 x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252
1800.10/1800.64 v -x214 -x7250 -x7248 -x7246 -x7244 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x7228 -x7226 x7224 x213 x7222 -x7220 -x7218
1800.10/1800.64 v -x212 -x7216 -x7214 -x7212 -x211 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x7198 -x210 -x7196 -x7194 -x7192 -x209 -x7190
1800.10/1800.64 v -x7188 -x7186 -x7184 -x7182 -x7180 -x7178 -x208 -x7176 -x7174 -x7172 -x7170 -x7168 -x7166 -x7164 -x207 -x7162 -x7160 -x7158 -x7156
1800.10/1800.64 v -x7154 -x7152 -x7150 -x7148 -x7146 -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x206 -x7132 -x7130 -x7128 x7126 -x7124 -x7122
1800.10/1800.64 v -x7120 -x7118 -x7116 -x7114 -x205 -x7112 -x7110 -x7108 -x7106 -x7104 -x7102 -x7100 -x204 -x7098 -x7096 -x7094 -x7092 -x7090
1800.10/1800.64 v -x7088 -x7086 -x7084 -x7082 x7080 -x7078 -x7076 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x203
1800.10/1800.64 v -x7054 -x7052 -x7050 -x7048 -x7046 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x7030 -x7028 -x7026 -x202 -x7024 -x7022
1800.10/1800.64 v -x7020 -x7018 -x7016 -x7014 -x7012 -x7010 -x7008 -x7006 -x7004 -x7002 -x7000 -x6998 -x6996 -x201 -x6994 -x6992 -x6990 -x6988
1800.10/1800.64 v -x6986 -x6984 -x6982 -x6980 -x6978 -x6976 -x6974 -x6972 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952
1800.10/1800.64 v -x6950 -x6948 -x6946 -x6944 -x6942 -x6940 -x200 -x6938 x199 x6936 -x6934 x6932 x198 -x6930 -x6928 -x6926 -x197 -x6924 -x6922
1800.10/1800.64 v -x6920 -x6918 -x6916 -x6914 -x6912 -x196 -x6910 -x6908 -x195 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x6894 x6892 -x6890
1800.10/1800.64 v -x6888 -x6886 -x6884 -x6882 -x6880 x6878 -x6876 -x6874 -x6872 -x6870 -x6868 -x6866 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854
1800.10/1800.64 v -x6852 -x6850 -x194 -x6848 -x6846 -x6844 -x193 -x6842 -x6840 -x6838 -x6836 -x6834 -x6832 -x6830 -x192 -x6828 -x6826 -x6824
1800.10/1800.64 v -x6822 -x6820 -x6818 -x191 -x6816 -x6814 -x6812 -x190 -x6810 -x6808 -x6806 -x6804 -x6802 -x6800 -x6798 -x189 -x6796 -x6794 -x6792
1800.10/1800.64 v -x6790 -x6788 -x6786 -x6784 -x188 -x6782 -x6780 -x6778 -x6776 -x6774 -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758
1800.10/1800.64 v -x6756 -x6754 -x187 -x6752 -x6750 -x6748 -x6746 -x6744 -x6742 -x6740 -x186 -x6738 -x6736 -x6734 -x6732 -x6730 -x6728 -x6726
1800.10/1800.64 v -x6724 -x6722 x6720 -x6718 -x6716 -x6714 -x6712 -x6710 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x185 -x6694 -x6692
1800.10/1800.64 v -x6690 -x6688 -x6686 -x6684 -x6682 -x6680 -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x184 -x6664 -x183 -x6662 -x6660
1800.10/1800.64 v -x6658 -x182 -x6656 -x6654 -x6652 -x181 -x6650 -x6648 -x6646 -x6644 -x6642 -x6640 -x6638 -x180 -x6636 -x6634 -x6632 -x179 -x6630
1800.10/1800.64 v -x6628 -x6626 -x6624 -x6622 -x6620 -x6618 -x178 -x6616 -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x177 -x6602 -x6600 -x6598
1800.10/1800.64 v -x6596 -x6594 -x6592 -x6590 -x6588 -x6586 -x6584 -x6582 -x6580 -x6578 -x6576 -x6574 -x176 -x6572 -x6570 -x6568 x6566 -x6564
1800.10/1800.64 v -x6562 -x6560 -x6558 -x6556 -x6554 -x175 -x6552 -x6550 -x6548 -x6546 -x6544 -x6542 -x6540 -x174 -x6538 -x6536 -x6534 -x6532
1800.10/1800.64 v -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 -x6512 -x6510 -x173 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498
1800.10/1800.64 v -x6496 -x172 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478 -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x171
1800.10/1800.64 v -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x6450 -x6448 -x6446 -x6444 -x6442 -x6440 -x6438 -x6436 -x170 -x6434 -x6432
1800.10/1800.64 v -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x6416 -x6414 -x6412 -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396
1800.10/1800.64 v -x6394 -x6392 -x6390 -x6388 -x6386 -x6384 -x6382 -x6380 -x6378 -x6376 -x6374 -x169 -x6372 -x6370 -x6368 -x168 -x6366 -x6364
1800.10/1800.64 v -x6362 -x6360 -x6358 -x6356 -x6354 -x167 -x6352 -x6350 -x6348 -x6346 -x6344 -x6342 x6340 -x6338 -x6336 -x6334 -x6332 -x6330
1800.10/1800.64 v -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 x6314 -x6312 -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x166
1800.10/1800.64 v -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x165 -x6280 -x6278 -x6276 -x6274 -x6272 -x6270 -x6268 -x6266 -x6264 -x6262
1800.10/1800.64 v -x6260 -x6258 -x6256 -x6254 -x6252 -x164 -x6250 -x6248 -x6246 -x163 -x6244 -x6242 -x6240 -x6238 -x6236 -x6234 -x6232 -x162 -x6230
1800.10/1800.64 v -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x161 -x6216 -x6214 -x6212 -x6210 -x6208 -x6206 -x6204 -x6202 -x6200 -x6198 -x6196
1800.10/1800.64 v -x6194 -x6192 -x6190 -x6188 -x160 -x6186 -x6184 -x6182 -x6180 -x6178 -x6176 -x6174 -x159 -x6172 -x6170 -x6168 -x6166 -x6164
1800.10/1800.64 v -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x158 -x6142 -x6140 -x6138 -x6136 -x6134 -x6132 -x6130
1800.10/1800.64 v -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x6114 -x157 -x6112 -x6110 -x6108 -x6106 -x6104 -x6102 -x6100 -x6098 -x6096
1800.10/1800.64 v -x6094 -x6092 -x6090 -x6088 -x6086 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072 -x6070 -x6068 -x6066 -x6064 -x6062 -x6060
1800.10/1800.64 v -x6058 -x6056 -x6054 -x6052 -x156 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x155 -x6036 -x6034 -x6032 -x6030 -x6028
1800.10/1800.65 v -x6026 -x6024 -x6022 -x6020 -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x154 -x6006 -x6004 -x6002 -x6000 -x5998 -x5996 -x5994
1800.10/1800.65 v -x153 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x5964 -x152 -x5962
1800.10/1800.65 v -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x151 -x5932 -x5930 -x5928
1800.10/1800.65 v -x5926 -x5924 -x5921 -x5919 -x5917 -x5915 -x5913 -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891
1800.10/1800.65 v -x5889 -x5887 -x5885 -x5883 -x5881 -x5879 -x5877 -x5875 -x5873 -x150 -x5871 x149 x5869 -x5867 -x5865 -x148 -x5863 -x5861
1800.10/1800.65 v -x5859 -x147 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x146 -x5843 -x5841 -x5839 -x145 -x5837 -x5835 -x5833 -x5831 -x5829
1800.10/1800.65 v -x5827 -x5825 -x144 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x143 -x5809 -x5807 -x5805 -x5803 -x5801 -x5799 -x5797
1800.10/1800.65 v -x5795 -x5793 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x142 -x5779 -x5777 x141 x5775 -x5773 -x5771 -x5769 -x5767 -x5765
1800.10/1800.65 v -x5763 -x140 -x5761 -x5759 -x5757 -x5755 x5753 -x5751 -x5749 x139 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 -x5735 -x5733 -x5731
1800.10/1800.65 v -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x138 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 x5703 -x5701 -x5699 -x5697
1800.10/1800.65 v -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x137 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663
1800.10/1800.65 v -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x136 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629
1800.10/1800.65 v -x5627 -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593
1800.10/1800.65 v -x5591 -x5589 -x5587 -x5585 -x5583 -x135 -x5581 -x5579 -x5577 -x134 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x133
1800.10/1800.65 v -x5561 -x5559 -x5557 -x5555 -x5553 -x5551 -x5549 -x132 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529
1800.10/1800.65 v -x5527 -x5525 -x5523 -x5521 -x5519 -x131 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x130 -x5503 -x5501 -x5499 -x5497
1800.10/1800.65 v -x5495 -x5493 -x5491 -x5489 -x5487 -x5485 -x5483 -x5481 -x5479 -x5477 -x5475 -x129 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463
1800.10/1800.65 v -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5445 -x128 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429
1800.10/1800.65 v -x5427 -x5425 -x5423 -x5421 -x5419 -x5417 -x5415 -x5413 -x5411 -x5409 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393
1800.10/1800.65 v -x5391 -x5389 -x5387 -x5385 -x5383 -x127 -x5381 -x5379 -x5377 -x5375 -x5373 -x5371 -x5369 -x126 -x5367 -x5365 -x5363 -x5361
1800.10/1800.65 v -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x5341 -x5339 -x125 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327
1800.10/1800.65 v -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x124 -x5307 -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293
1800.10/1800.65 v -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257
1800.10/1800.65 v -x5255 -x5253 -x5251 -x5249 -x5247 -x123 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223
1800.10/1800.65 v -x5221 -x5219 -x5217 -x122 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201 -x5199 -x5197 -x5195 -x5193 -x5191 -x5189
1800.10/1800.65 v -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165 -x5163 -x5161 -x5159 -x5157 -x5155 -x121
1800.10/1800.65 v -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119
1800.10/1800.65 v -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093 -x120 -x5091 -x5089 -x5087 -x5085
1800.10/1800.65 v -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x5051 -x5049
1800.10/1800.65 v -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013
1800.10/1800.65 v -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979
1800.10/1800.65 v -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x119 -x4965 -x4963 -x4961 -x118 -x4959 -x4957 -x4955 -x4953 -x4951 -x4949 -x4947 -x117
1800.10/1800.65 v -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x116 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x115 -x4917 -x4915
1800.10/1800.65 v -x4913 -x4911 -x4909 x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879
1800.10/1800.65 v -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x114 -x4861 -x4859 -x4857 x4855 -x4853 -x4851 -x4849 -x4847 -x4845
1800.10/1800.65 v -x4843 -x113 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x112 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x111
1800.10/1800.65 v -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x110 -x4783 -x4781
1800.10/1800.65 v -x4779 -x4777 -x4775 -x4773 -x4771 -x109 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747
1800.10/1800.65 v -x4745 -x4743 -x4741 -x108 -x4739 -x4737 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713
1800.10/1800.65 v -x4711 -x107 -x4709 -x4707 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679
1800.10/1800.65 v -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x106 -x4647 -x4645
1800.10/1800.65 v -x4643 -x4641 -x4639 -x4637 -x4635 -x105 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611
1800.10/1800.65 v -x4609 -x4607 -x4605 -x104 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577
1800.10/1800.65 v -x4575 -x103 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543
1800.10/1800.65 v -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523 -x4521 -x4519 -x4517 -x4515 -x4513 -x102 -x4511 -x4509
1800.10/1800.65 v -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487 -x4485 -x4483 -x101 -x4481 -x4479 -x4477 -x4475
1800.10/1800.65 v -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441 -x4439
1800.10/1800.65 v -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x100 -x4419 -x4417 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405
1800.10/1800.65 v -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371 -x4369
1800.10/1800.65 v -x4367 -x4365 -x4363 -x4361 -x4359 -x99 -x4357 -x4355 -x4353 -x4351 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335
1800.10/1800.65 v -x4333 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298
1800.10/1800.65 v -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262
1800.10/1800.65 v -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x98 -x4232 -x4230 -x4228
1800.10/1800.65 v -x4226 -x4224 -x4222 -x4220 -x97 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x96 -x4204 -x4202 -x4200 -x4198 -x4196
1800.10/1800.65 v -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x95 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160
1800.10/1800.65 v -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x94 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126
1800.10/1800.65 v -x4124 -x4122 -x4120 -x4118 -x4116 -x93 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094 -x4092
1800.10/1800.65 v -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056
1800.10/1800.65 v -x4054 -x92 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x91
1800.10/1800.65 v -x4022 -x90 -x4020 -x4018 -x4016 -x89 -x4014 -x4012 -x4010 -x88 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x87 -x3994
1800.10/1800.65 v -x3992 -x3990 -x86 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x85 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x84
1800.10/1800.65 v -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x83 -x3930 -x3928
1800.10/1800.65 v -x3926 -x82 -x3924 -x3922 -x3920 -x3918 -x3916 -x3914 -x3912 -x81 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x80 -x3896
1800.10/1800.65 v -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x79 -x3866 -x3864 -x3862
1800.10/1800.65 v -x3860 -x3858 -x3856 -x3854 -x78 -x3852 -x3850 -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828
1800.10/1800.65 v -x3826 -x3824 -x77 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794
1800.10/1800.65 v -x76 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760
1800.10/1800.65 v -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x75 -x3730 -x3728 -x3726
1800.10/1800.65 v -x74 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x73 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x72 -x3696 -x3694
1800.10/1800.65 v -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x71 -x3666 -x3664 -x3662 -x3660
1800.10/1800.65 v -x3658 -x3656 -x3654 -x70 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626
1800.10/1800.65 v -x3624 -x69 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596 -x3594 -x68 -x3592
1800.10/1800.65 v -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556
1800.10/1800.65 v -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x67 -x3530 -x3528 -x3526 -x3524 -x3522
1800.10/1800.65 v -x3520 -x3518 -x66 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488
1800.10/1800.65 v -x65 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x64 -x3456
1800.10/1800.65 v -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420
1800.10/1800.65 v -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x63 -x3394 -x3392 -x3390 -x3388 -x3386
1800.10/1800.65 v -x3384 -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x62 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350
1800.10/1800.65 v -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316
1800.10/1800.65 v -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x61 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280
1800.10/1800.65 v -x3278 -x3276 -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246
1800.10/1800.65 v -x3244 -x3242 -x60 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210
1800.10/1800.65 v -x3208 -x3206 -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176
1800.10/1800.65 v -x3174 -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140
1800.10/1800.65 v -x3138 -x3136 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x59 -x3114 -x3112 -x3110 -x58 -x3108 -x3106
1800.10/1800.65 v -x3104 -x3102 -x3100 -x3098 -x3096 -x57 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x56 -x3080 -x3078 -x3076 -x3074
1800.10/1800.65 v -x3072 -x3070 -x3068 -x55 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040
1800.10/1800.65 v -x3038 -x54 -x3036 -x3034 -x3032 -x53 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x52 -x3016 -x3014 -x3012 -x3010 -x3008
1800.10/1800.65 v -x3006 -x3004 -x51 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x50 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976
1800.10/1800.65 v -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x49 -x2958 -x2956 -x2954 -x2952 -x2950 x2948 -x2946 -x2944 -x2942 -x2940
1800.10/1800.65 v -x2938 -x2936 -x2934 -x2932 -x48 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906
1800.10/1800.65 v -x2904 -x2902 -x47 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2874 -x2872
1800.10/1800.65 v -x46 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x45 -x2840
1800.10/1800.65 v -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803
1800.10/1800.65 v -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x44 -x2779 -x2777 -x2775 -x43 -x2773 -x2771 -x2769
1800.10/1800.65 v -x2767 -x2765 -x2763 -x2761 -x42 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x41 -x2745 -x2743 -x2741 -x2739 -x2737
1800.10/1800.65 v -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x40 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703
1800.10/1800.65 v -x39 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x38 -x2671 -x2669
1800.10/1800.65 v -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x37 -x2641 -x2639 -x2637 -x2635
1800.10/1800.65 v -x2633 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599
1800.10/1800.65 v -x2597 -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x36 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x35
1800.10/1800.65 v -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x34 -x2535 -x2533
1800.10/1800.65 v -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x33 -x2505 -x2503 -x2501 -x2499
1800.10/1800.65 v -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463
1800.10/1800.65 v -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x32 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429
1800.10/1800.65 v -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x31 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393
1800.10/1800.65 v -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359
1800.10/1800.65 v -x2357 -x2355 -x2353 -x30 -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323
1800.10/1800.65 v -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x29 -x2289
1800.10/1800.65 v -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253
1800.10/1800.65 v -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219
1800.10/1800.65 v -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183
1800.10/1800.65 v -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x28 -x2149 -x2147
1800.10/1800.65 v -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x27 -x2119 -x2117 -x2115 -x2113
1800.10/1800.65 v -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x26 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079
1800.10/1800.65 v -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043
1800.10/1800.65 v -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x25 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009
1800.10/1800.65 v -x2007 -x2005 -x2003 -x2001 -x1999 -x24 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975
1800.10/1800.65 v -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939
1800.10/1800.65 v -x1937 -x23 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905
1800.10/1800.65 v -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x22 -x1873 -x1871
1800.10/1800.65 v -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835
1800.10/1800.65 v -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799
1800.10/1800.65 v -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763
1800.10/1800.65 v -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x21 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729
1800.10/1800.65 v -x1727 -x1725 -x1723 -x1721 -x1719 -x20 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695
1800.10/1800.65 v -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659
1800.10/1800.65 v -x19 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625
1800.10/1800.65 v -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597 -x18 -x1595 -x1593 -x1591
1800.10/1800.65 v -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555
1800.10/1800.65 v -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519
1800.10/1800.65 v -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483
1800.10/1800.65 v -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x17 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449
1800.10/1800.65 v -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413
1800.10/1800.65 v -x1411 -x1409 -x16 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379
1800.10/1800.65 v -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343
1800.10/1800.65 v -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 -x1307
1800.10/1800.65 v -x1305 -x1303 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x15 -x1281 -x1279 -x1277 -x1275 -x1273
1800.10/1800.65 v -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237
1800.10/1800.65 v -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203
1800.10/1800.65 v -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167
1800.10/1800.65 v -x1165 -x1163 -x1161 -x1159 -x1157 -x14 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133
1800.10/1800.65 v -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097
1800.10/1800.65 v -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061
1800.10/1800.65 v -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025
1800.10/1800.65 v -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987
1800.10/1800.65 v -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 -x967 x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945
1800.10/1800.65 v -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903
1800.10/1800.65 v -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x13 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863
1800.10/1800.65 v -x861 -x859 -x12 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x11 -x827 -x825
1800.10/1800.65 v -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x10 -x797 -x795 -x793 -x791 -x789 -x787 -x785
1800.10/1800.65 v -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743
1800.10/1800.65 v -x741 -x739 -x737 -x9 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x8 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705
1800.10/1800.65 v -x703 -x701 -x699 -x697 -x695 -x693 -x7 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665
1800.10/1800.65 v -x663 -x6 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x5 -x631 -x629 -x627 -x625
1800.10/1800.65 v -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583
1800.10/1800.65 v -x581 -x579 -x577 -x575 -x573 -x571 -x4 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543
1800.10/1800.65 v -x541 -x3 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 x515 -x513 -x511 -x509 -x507 -x505 -x503
1800.10/1800.65 v -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461
1800.10/1800.65 v -x459 -x457 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419
1800.10/1800.65 v -x417 -x2 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379
1800.10/1800.65 v -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x1 -x353 -x351 -x349 -x347 x345 -x343 -x341 -x339
1800.10/1800.65 v -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297
1800.10/1800.65 v -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255
1800.10/1800.65 v -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 x7343 x7341 x7339 -x7337 x7335 -x7333
1800.10/1800.65 v -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 x7319 -x7317 -x7315 -x7313 -x7311 x7309 -x7307 -x7305 -x7303 -x7301 x7299 -x7297 -x7295
1800.10/1800.65 v -x7293 -x7291 x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 x7271 -x7269 -x7267 -x7265 -x7263 -x7261 -x7259
1800.10/1800.65 v -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235 -x7233 -x7231 -x7229 -x7227 x7225 x7223
1800.10/1800.65 v -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199 -x7197 -x7195 -x7193 -x7191 -x7189 -x7187
1800.10/1800.65 v -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163 -x7161 -x7159 -x7157 -x7155 -x7153 -x7151
1800.10/1800.65 v -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 x7127 -x7125 -x7123 -x7121 -x7119 -x7117 -x7115
1800.10/1800.65 v -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091 -x7089 -x7087 -x7085 -x7083 x7081 -x7079
1800.10/1800.65 v -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057 -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043
1800.10/1800.65 v -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021 -x7019 -x7017 -x7015 -x7013 -x7011 -x7009
1800.10/1800.65 v -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985 -x6983 -x6981 -x6979 -x6977 -x6975 -x6973
1800.10/1800.65 v -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949 -x6947 -x6945 -x6943 -x6941 -x6939 x6937
1800.10/1800.65 v -x6935 x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913 -x6911 -x6909 -x6907 -x6905 -x6903 -x6901
1800.10/1800.65 v -x6899 -x6897 -x6895 x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 x6879 -x6877 -x6875 -x6873 -x6871 -x6869 -x6867 -x6865
1800.10/1800.65 v -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841 -x6839 -x6837 -x6835 -x6833 -x6831 -x6829
1800.10/1800.65 v -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807 -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793
1800.10/1800.65 v -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771 -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757
1800.10/1800.65 v -x6755 -x6753 -x6751 -x6749 -x6747 -x6745 -x6743 -x6741 -x6739 -x6737 -x6735 -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 x6721
1800.10/1800.65 v -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699 -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685
1800.10/1800.65 v -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663 -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 -x6649
1800.10/1800.65 v -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 -x6629 -x6627 -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613
1800.10/1800.65 v -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591 -x6589 -x6587 -x6585 -x6583 -x6581 -x6579
1800.10/1800.65 v -x6577 -x6575 -x6573 -x6571 -x6569 x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555 -x6553 -x6551 -x6549 -x6547 -x6545 -x6543
1800.10/1800.65 v -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519 -x6517 -x6515 -x6513 -x6511 -x6509 -x6507
1800.10/1800.65 v -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483 -x6481 -x6479 -x6477 -x6475 -x6473 -x6471
1800.10/1800.65 v -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447 -x6445 -x6443 -x6441 -x6439 -x6437 -x6435
1800.10/1800.65 v -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411 -x6409 -x6407 -x6405 -x6403 -x6401 -x6399
1800.10/1800.65 v -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377 -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363
1800.10/1800.65 v -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 x6341 -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327
1800.10/1800.65 v -x6325 -x6323 -x6321 -x6319 -x6317 x6315 -x6313 -x6311 -x6309 -x6307 -x6305 -x6303 -x6301 -x6299 -x6297 -x6295 -x6293 -x6291
1800.10/1800.65 v -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269 -x6267 -x6265 -x6263 -x6261 -x6259 -x6257 -x6255
1800.10/1800.65 v -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233 -x6231 -x6229 -x6227 -x6225 -x6223 -x6221
1800.10/1800.65 v -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197 -x6195 -x6193 -x6191 -x6189 -x6187 -x6185
1800.10/1800.65 v -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161 -x6159 -x6157 -x6155 -x6153 -x6151 -x6149
1800.10/1800.65 v -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127 -x6125 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113
1800.10/1800.65 v -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091 -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077
1800.10/1800.65 v -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055 -x6053 -x6051 -x6049 -x6047 -x6045 -x6043 -x6041
1800.10/1800.65 v -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005
1800.10/1800.65 v -x6003 -x6001 -x5999 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985 -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971
1800.10/1800.65 v -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949 -x5947 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935
1800.10/1800.65 v -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900
1800.10/1800.65 v -x5898 -x5896 -x5894 -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 x5870 -x5868 -x5866 -x5864
1800.10/1800.65 v -x5862 -x5860 -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x5838 -x5836 -x5834 -x5832 -x5830 -x5828
1800.10/1800.65 v -x5826 -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792
1800.10/1800.65 v -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 x5776 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x5760 -x5758 -x5756
1800.10/1800.65 v x5754 -x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724 -x5722 -x5720
1800.10/1800.65 v -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 x5704 -x5702 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684
1800.10/1800.65 v -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654 -x5652 -x5650 -x5648
1800.10/1800.65 v -x5646 -x5644 -x5642 -x5640 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x5624 -x5622 -x5620 -x5618 -x5616 -x5614 -x5612
1800.10/1800.65 v -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x5594 -x5592 -x5590 -x5588 -x5586 -x5584 -x5582 -x5580 -x5578
1800.10/1800.65 v -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554 -x5552 -x5550 -x5548 -x5546 -x5544 -x5542
1800.10/1800.65 v -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518 -x5516 -x5514 -x5512 -x5510 -x5508 -x5506
1800.10/1800.65 v -x5504 -x5502 -x5500 -x5498 -x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484 -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470
1800.10/1800.65 v -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434
1800.10/1800.65 v -x5432 -x5430 -x5428 -x5426 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406 -x5404 -x5402 -x5400 -x5398
1800.10/1800.65 v -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362
1800.10/1800.65 v -x5360 -x5358 -x5356 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342 -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328
1800.10/1800.65 v -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308 -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292
1800.10/1800.65 v -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256
1800.10/1800.65 v -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220
1800.10/1800.65 v -x5218 -x5216 -x5214 -x5212 -x5210 -x5208 -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184
1800.10/1800.65 v -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148
1800.10/1800.65 v -x5146 -x5144 -x5142 -x5140 -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112
1800.10/1800.65 v -x5110 -x5108 -x5106 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078
1800.10/1800.65 v -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042
1800.10/1800.65 v -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 -x5006
1800.10/1800.65 v -x5004 -x5002 -x5000 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970
1800.10/1800.65 v -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934
1800.10/1800.65 v -x4932 -x4930 -x4928 -x4926 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 x4908 -x4906 -x4904 -x4902 -x4900 -x4898
1800.10/1800.65 v -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862
1800.10/1800.65 v -x4860 -x4858 x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826
1800.10/1800.65 v -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790
1800.10/1800.65 v -x4788 -x4786 -x4784 -x4782 -x4780 -x4778 -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756
1800.10/1800.65 v -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720
1800.10/1800.65 v -x4718 -x4716 -x4714 -x4712 -x4710 -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684
1800.10/1800.65 v -x4682 -x4680 -x4678 -x4676 -x4674 -x4672 -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648
1800.10/1800.65 v -x4646 -x4644 -x4642 -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612
1800.10/1800.65 v -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576
1800.10/1800.65 v -x4574 -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540
1800.10/1800.65 v -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506
1800.10/1800.65 v -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470
1800.10/1800.65 v -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434
1800.10/1800.65 v -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398
1800.10/1800.65 v -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362
1800.10/1800.65 v -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326
1800.10/1800.65 v -x4324 -x4322 -x4320 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291
1800.10/1800.65 v -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257
1800.10/1800.65 v -x4255 -x4253 -x4251 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223 -x4221
1800.10/1800.65 v -x4219 -x4217 -x4215 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x4185
1800.10/1800.65 v -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153 -x4151 -x4149
1800.10/1800.65 v -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123 -x4121 -x4119 -x4117 -x4115 -x4113
1800.10/1800.65 v -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077
1800.10/1800.65 v -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041
1800.10/1800.65 v -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007
1800.10/1800.65 v -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971
1800.10/1800.65 v -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935
1800.10/1800.65 v -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899
1800.10/1800.65 v -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863
1800.10/1800.65 v -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827
1800.10/1800.65 v -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791
1800.10/1800.65 v -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757
1800.10/1800.65 v -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721
1800.10/1800.65 v -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685
1800.10/1800.65 v -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649
1800.10/1800.65 v -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613
1800.10/1800.65 v -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577
1800.10/1800.65 v -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541
1800.10/1800.65 v -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507
1800.10/1800.65 v -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471
1800.10/1800.65 v -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435
1800.10/1800.65 v -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399
1800.10/1800.65 v -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363
1800.10/1800.65 v -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327
1800.10/1800.65 v -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291
1800.10/1800.65 v -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257
1800.10/1800.65 v -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221
1800.10/1800.65 v -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185
1800.10/1800.65 v -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149
1800.10/1800.65 v -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113
1800.10/1800.65 v -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077
1800.10/1800.65 v -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041
1800.10/1800.65 v -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007
1800.10/1800.65 v -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971
1800.10/1800.65 v -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935
1800.10/1800.65 v -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899
1800.10/1800.65 v -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863
1800.10/1800.65 v -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827
1800.10/1800.65 v -x2825 -x2823 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792
1800.10/1800.65 v -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756
1800.10/1800.65 v -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722
1800.10/1800.65 v -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686
1800.10/1800.65 v -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650
1800.10/1800.65 v -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614
1800.10/1800.65 v -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578
1800.10/1800.65 v -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542
1800.10/1800.65 v -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506
1800.10/1800.65 v -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472
1800.10/1800.65 v -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436
1800.10/1800.65 v -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400
1800.10/1800.65 v -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364
1800.10/1800.65 v -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328
1800.10/1800.65 v -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292
1800.10/1800.65 v -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256
1800.10/1800.65 v -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222
1800.10/1800.65 v -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186
1800.10/1800.65 v -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150
1800.10/1800.65 v -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114
1800.10/1800.65 v -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078
1800.10/1800.65 v -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042
1800.10/1800.65 v -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006
1800.10/1800.65 v -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970
1800.10/1800.65 v -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936
1800.10/1800.65 v -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900
1800.10/1800.65 v -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864
1800.10/1800.65 v -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828
1800.10/1800.65 v -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792
1800.10/1800.65 v -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756
1800.10/1800.65 v -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720
1800.10/1800.65 v -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686
1800.10/1800.65 v -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650
1800.10/1800.65 v -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614
1800.10/1800.65 v -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578
1800.10/1800.65 v -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542
1800.10/1800.65 v -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506
1800.10/1800.65 v -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470
1800.10/1800.65 v -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436
1800.10/1800.65 v -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400
1800.10/1800.65 v -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364
1800.10/1800.65 v -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328
1800.10/1800.65 v -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292
1800.10/1800.65 v -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256
1800.10/1800.65 v -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220
1800.10/1800.65 v -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186
1800.10/1800.65 v -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150
1800.10/1800.65 v -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114
1800.10/1800.65 v -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078
1800.10/1800.65 v -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042
1800.10/1800.65 v -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006
1800.10/1800.65 v -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 x966
1800.10/1800.65 v -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924
1800.10/1800.65 v -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882
1800.10/1800.65 v -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840
1800.10/1800.65 v -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800
1800.10/1800.65 v -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758
1800.10/1800.65 v -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716
1800.10/1800.65 v -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674
1800.10/1800.65 v -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632
1800.10/1800.65 v -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590
1800.10/1800.65 v -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550
1800.10/1800.65 v -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 x516 -x514 -x512 -x510 -x508
1800.10/1800.65 v -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466
1800.10/1800.65 v -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424
1800.10/1800.65 v -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382
1800.10/1800.65 v -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 x346 -x344 -x342 -x340
1800.10/1800.65 v -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298
1800.10/1800.65 v -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256
1800.10/1800.65 v -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228
1800.10/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.65 c Solving Time : 1747.39
1800.10/1800.65 c Original Problem :
1800.10/1800.65 c Problem name : HOME/instance-2663934-1276634037.opb
1800.10/1800.65 c Variables : 7343 (7343 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.65 c Constraints : 22903 initial, 22903 maximal
1800.10/1800.65 c Presolved Problem :
1800.10/1800.65 c Problem name : t_HOME/instance-2663934-1276634037.opb
1800.10/1800.65 c Variables : 3223 (3223 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.65 c Constraints : 12932 initial, 15554 maximal
1800.10/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.65 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.65 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.10/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.65 c implics : 0.01 0 9 0 0 0 0 0 0
1800.10/1800.65 c probing : 0.10 0 0 0 0 0 0 0 0
1800.10/1800.65 c linear : 0.29 553 3557 0 553 0 9971 0 0
1800.10/1800.65 c logicor : 0.07 0 0 0 0 0 0 0 0
1800.10/1800.65 c root node : - 0 - - 0 - - - -
1800.10/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.65 c logicor : 12932+ 0 4501073 0 3 310317 6858505 0 0 0
1800.10/1800.65 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.10/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.65 c logicor : 285.39 0.00 285.38 0.00 0.01
1800.10/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.65 c vbounds : 3.24 2 0 0
1800.10/1800.65 c rootredcost : 3.55 0 0 0
1800.10/1800.65 c pseudoobj : 1155.97 7179110 725658 6782106
1800.10/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.65 c propagation : 272.86 1035975 1035975 1035975 42.2 28070 39.7 -
1800.10/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.65 c pseudo solution : 16.75 19770 19770 19770 39.1 494 45.5 -
1800.10/1800.65 c applied globally : - - - 1084309 42.1 - - -
1800.10/1800.65 c applied locally : - - - 0 0.0 - - -
1800.10/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.65 c redcost : 0.00 0 0 0 0 0
1800.10/1800.65 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.65 c intobj : 0.00 0 0 0 0 0
1800.10/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.65 c gomory : 0.00 0 0 0 0 0
1800.10/1800.65 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.65 c cmir : 0.00 0 0 0 0 0
1800.10/1800.65 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.65 c clique : 0.00 0 0 0 0 0
1800.10/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.65 c mcf : 0.00 0 0 0 0 0
1800.10/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.65 c Pricers : Time Calls Vars
1800.10/1800.65 c problem variables: 0.00 0 0
1800.10/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.65 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.65 c inference : 48.14 1783762 0 0 0 0 3567524
1800.10/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.65 c random : 0.00 0 0 0 0 0 0
1800.10/1800.65 c Primal Heuristics : Time Calls Found
1800.10/1800.65 c LP solutions : 0.00 - 0
1800.10/1800.65 c pseudo solutions : 0.00 - 3
1800.10/1800.65 c oneopt : 1.86 0 0
1800.10/1800.65 c trivial : 0.02 2 0
1800.10/1800.65 c simplerounding : 0.00 0 0
1800.10/1800.65 c zirounding : 0.00 0 0
1800.10/1800.65 c rounding : 0.00 0 0
1800.10/1800.65 c shifting : 0.00 0 0
1800.10/1800.65 c intshifting : 0.00 0 0
1800.10/1800.65 c twoopt : 0.00 0 0
1800.10/1800.65 c fixandinfer : 0.00 0 0
1800.10/1800.65 c feaspump : 0.00 0 0
1800.10/1800.65 c coefdiving : 0.00 0 0
1800.10/1800.65 c pscostdiving : 0.00 0 0
1800.10/1800.65 c fracdiving : 0.00 0 0
1800.10/1800.65 c veclendiving : 0.00 0 0
1800.10/1800.65 c intdiving : 0.00 0 0
1800.10/1800.65 c actconsdiving : 0.00 0 0
1800.10/1800.65 c objpscostdiving : 0.00 0 0
1800.10/1800.65 c rootsoldiving : 0.00 0 0
1800.10/1800.65 c linesearchdiving : 0.00 0 0
1800.10/1800.65 c guideddiving : 0.00 0 0
1800.10/1800.65 c octane : 0.00 0 0
1800.10/1800.65 c rens : 0.00 0 0
1800.10/1800.65 c rins : 0.00 0 0
1800.10/1800.65 c localbranching : 0.00 0 0
1800.10/1800.65 c mutation : 0.00 0 0
1800.10/1800.65 c crossover : 0.00 0 0
1800.10/1800.65 c dins : 0.00 0 0
1800.10/1800.65 c undercover : 0.00 0 0
1800.10/1800.65 c nlp : 1.00 0 0
1800.10/1800.65 c trysol : 1.11 0 0
1800.10/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.65 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.65 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.65 c (at root node) : - 0 0 0.00 -
1800.10/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.65 c B&B Tree :
1800.10/1800.65 c number of runs : 1
1800.10/1800.65 c nodes : 2309159
1800.10/1800.65 c nodes (total) : 2309159
1800.10/1800.65 c nodes left : 678
1800.10/1800.65 c max depth : 727
1800.10/1800.65 c max depth (total): 727
1800.10/1800.65 c backtracks : 615914 (26.7%)
1800.10/1800.65 c delayed cutoffs : 676429
1800.10/1800.65 c repropagations : 1560059 (5868283 domain reductions, 530351 cutoffs)
1800.10/1800.65 c avg switch length: 2.62
1800.10/1800.65 c switching time : 98.09
1800.10/1800.65 c Solution :
1800.10/1800.65 c Solutions found : 3 (3 improvements)
1800.10/1800.65 c First Solution : +3.40000000000000e+01 (in run 1, after 728 nodes, 1.18 seconds, depth 727, found by <relaxation>)
1800.10/1800.65 c Primal Bound : +3.20000000000000e+01 (in run 1, after 1357254 nodes, 1020.03 seconds, depth 701, found by <relaxation>)
1800.10/1800.65 c Dual Bound : +0.00000000000000e+00
1800.10/1800.65 c Gap : infinite
1800.10/1800.65 c Root Dual Bound : +0.00000000000000e+00
1800.10/1800.65 c Root Iterations : 0
1800.21/1800.73 c Time complete: 1800.23.
OK 32
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663934-1276634037/watcher-2663934-1276634037 -o /tmp/evaluation-result-2663934-1276634037/solver-2663934-1276634037 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663934-1276634037.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 11580 /proc/meminfo: memFree=1814980/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=5556 CPUtime=0 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 886 0 0 0 0 0 0 0 20 0 1 0 4698863 5689344 808 1992294400 4194304 7136930 140734044365744 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11580/statm: 1389 809 249 719 0 668 0 [startup+0.0556309 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11580 /proc/meminfo: memFree=1814980/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=13484 CPUtime=0.04 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 2889 0 0 0 4 0 0 0 20 0 1 0 4698863 13807616 2810 1992294400 4194304 7136930 140734044365744 18446744073709551615 6178271 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11580/statm: 3371 2810 271 719 0 2650 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13484 [startup+0.101636 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11580 /proc/meminfo: memFree=1814980/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=16444 CPUtime=0.09 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 3621 0 0 0 8 1 0 0 20 0 1 0 4698863 16838656 3542 1992294400 4194304 7136930 140734044365744 18446744073709551615 6166618 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11580/statm: 4111 3542 271 719 0 3390 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16444 [startup+0.301659 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11580 /proc/meminfo: memFree=1814980/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=21596 CPUtime=0.29 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 4908 0 0 0 28 1 0 0 20 0 1 0 4698863 22114304 4829 1992294400 4194304 7136930 140734044365744 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11580/statm: 5399 4829 271 719 0 4678 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 21596 [startup+0.701706 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11580 /proc/meminfo: memFree=1814980/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=51192 CPUtime=0.69 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 12313 0 0 0 64 5 0 0 21 0 1 0 4698863 52420608 11880 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 12798 11880 347 719 0 12077 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51192 [startup+1.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11581 /proc/meminfo: memFree=1762520/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=58440 CPUtime=1.49 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16516 0 0 0 137 12 0 0 23 0 1 0 4698863 59842560 13803 1992294400 4194304 7136930 140734044365744 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14610 13803 384 719 0 13889 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58440 [startup+3.10099 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11581 /proc/meminfo: memFree=1760784/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=58572 CPUtime=3.09 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16568 0 0 0 292 17 0 0 25 0 1 0 4698863 59977728 13855 1992294400 4194304 7136930 140734044365744 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14643 13855 390 719 0 13922 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58572 [startup+6.30136 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11581 /proc/meminfo: memFree=1760164/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=58984 CPUtime=6.29 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16678 0 0 0 603 26 0 0 25 0 1 0 4698863 60399616 13965 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14746 13965 390 719 0 14025 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58984 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11581 /proc/meminfo: memFree=1759792/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59152 CPUtime=12.68 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16711 0 0 0 1219 49 0 0 25 0 1 0 4698863 60571648 13998 1992294400 4194304 7136930 140734044365744 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14788 13998 390 719 0 14067 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59152 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11581 /proc/meminfo: memFree=1759792/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59284 CPUtime=25.49 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16729 0 0 0 2464 85 0 0 25 0 1 0 4698863 60706816 14016 1992294400 4194304 7136930 140734044365744 18446744073709551615 5506849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14821 14016 390 719 0 14100 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59284 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11583 /proc/meminfo: memFree=1759668/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59284 CPUtime=51.07 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16749 0 0 0 4951 156 0 0 25 0 1 0 4698863 60706816 14036 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14821 14036 390 719 0 14100 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59284 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11583 /proc/meminfo: memFree=1759420/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59424 CPUtime=102.26 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16771 0 0 0 9923 303 0 0 25 0 1 0 4698863 60850176 14058 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14856 14058 390 719 0 14135 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 59424 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11585 /proc/meminfo: memFree=1759296/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59424 CPUtime=162.24 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16787 0 0 0 15743 481 0 0 25 0 1 0 4698863 60850176 14074 1992294400 4194304 7136930 140734044365744 18446744073709551615 6166190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14856 14074 390 719 0 14135 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 59424 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11587 /proc/meminfo: memFree=1759296/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59564 CPUtime=222.23 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16794 0 0 0 21566 657 0 0 25 0 1 0 4698863 60993536 14081 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14891 14081 390 719 0 14170 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 59564 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11589 /proc/meminfo: memFree=1759172/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59564 CPUtime=282.21 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16805 0 0 0 27394 827 0 0 25 0 1 0 4698863 60993536 14092 1992294400 4194304 7136930 140734044365744 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14891 14092 390 719 0 14170 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 59564 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11591 /proc/meminfo: memFree=1759048/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59564 CPUtime=342.19 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16817 0 0 0 33212 1007 0 0 25 0 1 0 4698863 60993536 14104 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14891 14104 390 719 0 14170 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 59564 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11591 /proc/meminfo: memFree=1758800/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59564 CPUtime=402.17 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16826 0 0 0 39033 1184 0 0 25 0 1 0 4698863 60993536 14113 1992294400 4194304 7136930 140734044365744 18446744073709551615 5913485 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14891 14113 390 719 0 14170 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 59564 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11593 /proc/meminfo: memFree=1758676/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59700 CPUtime=462.16 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16828 0 0 0 44858 1358 0 0 25 0 1 0 4698863 61132800 14115 1992294400 4194304 7136930 140734044365744 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14925 14115 390 719 0 14204 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 59700 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11595 /proc/meminfo: memFree=1758552/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59700 CPUtime=522.15 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16838 0 0 0 50684 1531 0 0 25 0 1 0 4698863 61132800 14125 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14925 14125 390 719 0 14204 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 59700 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11597 /proc/meminfo: memFree=1758428/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59700 CPUtime=582.13 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16843 0 0 0 56495 1718 0 0 25 0 1 0 4698863 61132800 14130 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14925 14130 390 719 0 14204 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 59700 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11599 /proc/meminfo: memFree=1758428/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59700 CPUtime=642.12 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16850 0 0 0 62321 1891 0 0 25 0 1 0 4698863 61132800 14137 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14925 14137 390 719 0 14204 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 59700 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11605 /proc/meminfo: memFree=1757932/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=882.05 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16862 0 0 0 85609 2596 0 0 25 0 1 0 4698863 61272064 14149 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14149 390 719 0 14238 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 59836 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11607 /proc/meminfo: memFree=1757808/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=942.03 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16868 0 0 0 91434 2769 0 0 25 0 1 0 4698863 61272064 14155 1992294400 4194304 7136930 140734044365744 18446744073709551615 5506174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14155 390 719 0 14238 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 59836 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11607 /proc/meminfo: memFree=1757684/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1002.02 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16877 0 0 0 97257 2945 0 0 25 0 1 0 4698863 61272064 14164 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14164 390 719 0 14238 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 59836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11609 /proc/meminfo: memFree=1757684/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1062 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16890 0 0 0 103074 3126 0 0 25 0 1 0 4698863 61272064 14177 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14177 390 719 0 14238 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 59836 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11611 /proc/meminfo: memFree=1757560/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1121.98 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16894 0 0 0 108895 3303 0 0 25 0 1 0 4698863 61272064 14181 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14181 390 719 0 14238 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 59836 [startup+1182.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 11613 /proc/meminfo: memFree=1757436/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1181.97 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16897 0 0 0 114719 3478 0 0 25 0 1 0 4698863 61272064 14184 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14184 390 719 0 14238 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 59836 [startup+1242.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11615 /proc/meminfo: memFree=1757188/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1241.95 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16902 0 0 0 120543 3652 0 0 25 0 1 0 4698863 61272064 14189 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14189 390 719 0 14238 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 59836 [startup+1302.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 11615 /proc/meminfo: memFree=1757064/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1301.95 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16902 0 0 0 126367 3828 0 0 25 0 1 0 4698863 61272064 14189 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14189 390 719 0 14238 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 59836 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 11617 /proc/meminfo: memFree=1757064/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1361.92 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16902 0 0 0 132191 4001 0 0 25 0 1 0 4698863 61272064 14189 1992294400 4194304 7136930 140734044365744 18446744073709551615 5506161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14189 390 719 0 14238 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 59836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11619 /proc/meminfo: memFree=1756940/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59836 CPUtime=1421.91 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16903 0 0 0 138021 4170 0 0 25 0 1 0 4698863 61272064 14190 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14959 14190 390 719 0 14238 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 59836 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11621 /proc/meminfo: memFree=1756940/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59968 CPUtime=1481.89 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16905 0 0 0 143854 4335 0 0 25 0 1 0 4698863 61407232 14192 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14992 14192 390 719 0 14271 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 59968 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11623 /proc/meminfo: memFree=1756816/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59968 CPUtime=1541.87 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16905 0 0 0 149682 4505 0 0 25 0 1 0 4698863 61407232 14192 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14992 14192 390 719 0 14271 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 59968 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11623 /proc/meminfo: memFree=1756692/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59968 CPUtime=1601.85 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16905 0 0 0 155513 4672 0 0 25 0 1 0 4698863 61407232 14192 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14992 14192 390 719 0 14271 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 59968 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11634 /proc/meminfo: memFree=1756444/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59968 CPUtime=1661.83 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16913 0 0 0 161343 4840 0 0 25 0 1 0 4698863 61407232 14200 1992294400 4194304 7136930 140734044365744 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14992 14200 390 719 0 14271 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 59968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11636 /proc/meminfo: memFree=1756444/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59968 CPUtime=1721.81 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16924 0 0 0 167168 5013 0 0 25 0 1 0 4698863 61407232 14211 1992294400 4194304 7136930 140734044365744 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14992 14211 390 719 0 14271 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 59968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11638 /proc/meminfo: memFree=1756320/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59968 CPUtime=1781.8 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16924 0 0 0 173000 5180 0 0 25 0 1 0 4698863 61407232 14211 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14992 14211 390 719 0 14271 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 59968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11638 /proc/meminfo: memFree=1756320/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=59968 CPUtime=1800.1 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16924 0 0 0 174777 5233 0 0 25 0 1 0 4698863 61407232 14211 1992294400 4194304 7136930 140734044365744 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11580/statm: 14992 14211 390 719 0 14271 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 59968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11638 /proc/meminfo: memFree=1756320/2059040 swapFree=4192956/4192956 [pid=11580] ppid=11578 vsize=32404 CPUtime=1800.21 /proc/11580/stat : 11580 (pbscip.linux.x8) R 11578 11580 11111 0 -1 4202496 16945 0 0 0 174787 5234 0 0 25 0 1 0 4698863 33181696 7547 1992294400 4194304 7136930 140734044365744 18446744073709551615 4212015 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11580/statm: 8101 7547 396 719 0 7380 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 32404 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.24 CPU user time (s): 1747.89 CPU system time (s): 52.349 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 59968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1747.89 system time used= 52.349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16952 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= 1 involuntary context switches= 5255 runsolver used 3.14152 second user time and 8.35873 second system time The end
Begin job on node033 at 2010-06-15 22:33:57 IDJOB=2663934 IDBENCH=24989 IDSOLVER=1167 FILE ID=node033/2663934-1276634037 PBS_JOBID= 11172365 Free space on /tmp= 62588 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_003_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-2663934-1276634037/watcher-2663934-1276634037 -o /tmp/evaluation-result-2663934-1276634037/solver-2663934-1276634037 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663934-1276634037.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 66cf2657d020eb0982c7cab0e5ad93c1 RANDOM SEED=1475769245 node033.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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1815384 kB Buffers: 9320 kB Cached: 109340 kB SwapCached: 0 kB Active: 75136 kB Inactive: 103616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1815384 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3936 kB Writeback: 0 kB AnonPages: 59980 kB Mapped: 15448 kB Slab: 43008 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182244 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= 62588 MiB End job on node033 at 2010-06-15 23:04:00