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_015_area_delay.opb |
| MD5SUM | 90acfb7d1c18536583ef7e2a90905f54 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 6.19506 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 7798 |
| Total number of constraints | 24318 |
| Number of constraints which are clauses | 24318 |
| 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 | 3790 |
| 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 | 3790 |
| 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 | 3790 |
| 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-2663926-1276632186.opb>
0.39/0.44 c original problem has 7798 variables (7798 bin, 0 int, 0 impl, 0 cont) and 24318 constraints
0.39/0.44 c problem read
0.39/0.44 c presolving settings loaded
0.39/0.44 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.49/0.58 c presolving:
0.79/0.82 c (round 1) 4397 del vars, 8166 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 44016 impls, 0 clqs
0.79/0.85 c (round 2) 4398 del vars, 10600 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 44016 impls, 0 clqs
1.00/1.01 c (round 3) 4398 del vars, 10604 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 13684 upgd conss, 44016 impls, 0 clqs
1.00/1.05 c (round 4) 4398 del vars, 10604 del conss, 610 chg bounds, 0 chg sides, 0 chg coeffs, 13714 upgd conss, 44016 impls, 0 clqs
1.19/1.20 c (0.6s) probing: 101/3400 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.19/1.20 c (0.6s) probing aborted: 100/100 successive totally useless probings
1.19/1.20 c presolving (5 rounds):
1.19/1.20 c 4398 deleted vars, 10604 deleted constraints, 610 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.20 c 44016 implications, 0 cliques
1.19/1.20 c presolved problem has 3400 variables (3400 bin, 0 int, 0 impl, 0 cont) and 13714 constraints
1.19/1.20 c 13714 constraints of type <logicor>
1.19/1.20 c transformed objective value is always integral (scale: 1)
1.19/1.20 c Presolving Time: 0.58
1.19/1.20 c - non default parameters ----------------------------------------------------------------------
1.19/1.20 c # SCIP version 1.2.1.2
1.19/1.20 c
1.19/1.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.20 c conflict/interconss = 0
1.19/1.20 c
1.19/1.20 c # should binary conflicts be preferred?
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c conflict/preferbinary = TRUE
1.19/1.20 c
1.19/1.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.20 c constraints/agelimit = 1
1.19/1.20 c
1.19/1.20 c # should enforcement of pseudo solution be disabled?
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/disableenfops = TRUE
1.19/1.20 c
1.19/1.20 c # frequency for displaying node information lines
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.20 c display/freq = 10000
1.19/1.20 c
1.19/1.20 c # maximal time in seconds to run
1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20 c limits/time = 1799.57
1.19/1.20 c
1.19/1.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20 c limits/memory = 1620
1.19/1.20 c
1.19/1.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20 c lp/solvefreq = -1
1.19/1.20 c
1.19/1.20 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.19/1.20 c # [type: char, range: {lafpsqd}, default: l]
1.19/1.20 c lp/pricing = a
1.19/1.20 c
1.19/1.20 c # should presolving try to simplify inequalities
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/linear/simplifyinequalities = TRUE
1.19/1.20 c
1.19/1.20 c # should presolving try to simplify knapsacks
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.20 c
1.19/1.20 c # priority of node selection rule <dfs> in standard mode
1.19/1.20 c # [type: int, range: [-536870912,536870911], default: 0]
1.19/1.20 c nodeselection/dfs/stdpriority = 1000000
1.19/1.20 c
1.19/1.20 c -----------------------------------------------------------------------------------------------
1.19/1.20 c start solving
1.19/1.21 c
1.19/1.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.21 c 0.7s| 1 | 2 | 0 | - | 29M| 0 | - |3400 | 13k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.74 o 34
1.69/1.74 c * 1.2s| 711 | 699 | 0 | 0.0 | 30M| 710 | - |3400 | 13k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
7.79/7.81 c 7.1s| 10000 | 685 | 0 | 0.0 | 30M| 710 | - |3400 | 13k| 0 | 0 | 0 |4914 | 0 | 0.000000e+00 | 3.400000e+01 | Inf
14.89/14.99 c 14.0s| 20000 | 690 | 0 | 0.0 | 30M| 710 | - |3400 | 13k| 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 3.400000e+01 | Inf
20.39/20.47 o 33
20.39/20.47 c *19.3s| 28171 | 696 | 0 | 0.0 | 30M| 710 | - |3400 | 13k| 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
21.48/21.57 c 20.3s| 30000 | 692 | 0 | 0.0 | 30M| 710 | - |3400 | 13k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
28.59/28.68 c 27.2s| 40000 | 686 | 0 | 0.0 | 30M| 710 | - |3400 | 13k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
34.58/34.63 c 33.0s| 50000 | 690 | 0 | 0.0 | 30M| 710 | - |3400 | 13k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 3.300000e+01 | Inf
38.28/38.30 o 32
38.28/38.30 c *36.6s| 55106 | 694 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
42.28/42.37 c 40.5s| 60000 | 688 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
49.39/49.41 c 47.4s| 70000 | 687 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
55.48/55.56 c 53.4s| 80000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
62.47/62.59 c 60.2s| 90000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
70.07/70.10 c 67.5s|100000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
76.98/77.04 c 74.2s|110000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
84.47/84.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.47/84.52 c 81.5s|120000 | 685 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
92.17/92.28 c 89.0s|130000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
99.86/99.90 c 96.4s|140000 | 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
106.96/107.04 c 103s|150000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
114.86/114.90 c 111s|160000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
121.96/122.09 c 118s|170000 | 685 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
129.46/129.59 c 125s|180000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
137.16/137.21 c 133s|190000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
143.56/143.69 c 139s|200000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
151.25/151.39 c 146s|210000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
158.95/159.07 c 154s|220000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
166.06/166.18 c 161s|230000 | 685 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
173.15/173.22 c 168s|240000 | 685 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
180.54/180.67 c 175s|250000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
187.74/187.88 c 182s|260000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
195.34/195.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.34/195.48 c 189s|270000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
202.44/202.52 c 196s|280000 | 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
209.74/209.85 c 203s|290000 | 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
216.83/216.98 c 210s|300000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
224.34/224.45 c 217s|310000 | 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
231.33/231.47 c 224s|320000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
238.43/238.53 c 231s|330000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
245.92/246.02 c 238s|340000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
253.12/253.23 c 245s|350000 | 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
260.42/260.50 c 252s|360000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
268.01/268.18 c 260s|370000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
275.72/275.84 c 267s|380000 | 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
282.62/282.73 c 274s|390000 | 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
290.02/290.17 c 281s|400000 | 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
297.11/297.26 c 288s|410000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
304.10/304.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.10/304.23 c 295s|420000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
311.50/311.68 c 302s|430000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
319.00/319.15 c 309s|440000 | 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
326.20/326.37 c 316s|450000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
333.80/333.95 c 324s|460000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
340.99/341.17 c 331s|470000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
348.20/348.40 c 338s|480000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
355.89/356.06 c 345s|490000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
362.69/362.84 c 352s|500000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
369.50/369.69 c 359s|510000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
377.10/377.23 c 366s|520000 | 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
384.59/384.73 c 373s|530000 | 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
391.50/391.63 c 380s|540000 | 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
398.68/398.85 c 387s|550000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
405.58/405.72 c 394s|560000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
413.08/413.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.08/413.26 c 401s|570000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
420.18/420.35 c 408s|580000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
427.58/427.72 c 415s|590000 | 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
436.17/436.32 c 423s|600000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
444.28/444.45 c 431s|610000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
452.27/452.47 c 439s|620000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
460.36/460.57 c 447s|630000 | 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
468.16/468.35 c 454s|640000 | 687 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
475.76/475.94 c 462s|650000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
483.16/483.35 c 469s|660000 | 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
491.16/491.32 c 477s|670000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
498.96/499.19 c 484s|680000 | 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
507.16/507.38 c 492s|690000 | 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
514.55/514.75 c 499s|700000 | 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
523.05/523.25 c 508s|710000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
531.45/531.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.45/531.63 c 516s|720000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 367k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
539.85/540.04 c 524s|730000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
548.34/548.52 c 532s|740000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
556.84/557.04 c 541s|750000 | 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
564.05/564.29 c 548s|760000 | 687 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
571.74/571.90 c 555s|770000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
578.93/579.19 c 562s|780000 | 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
586.23/586.47 c 569s|790000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
593.43/593.62 c 576s|800000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
601.72/601.98 c 584s|810000 | 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
609.52/609.79 c 592s|820000 | 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 417k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
617.62/617.82 c 600s|830000 | 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
625.32/625.51 c 607s|840000 | 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
633.01/633.29 c 615s|850000 | 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
639.92/640.15 c 621s|860000 | 686 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
647.61/647.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.61/647.90 c 629s|870000 | 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
655.51/655.73 c 637s|880000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
663.80/664.09 c 645s|890000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
672.00/672.24 c 653s|900000 | 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
679.00/679.23 c 659s|910000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
686.40/686.64 c 667s|920000 | 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
694.39/694.66 c 674s|930000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
702.09/702.32 c 682s|940000 | 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
708.69/708.98 c 688s|950000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
716.99/717.24 c 696s|960000 | 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
725.28/725.59 c 704s|970000 | 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
733.39/733.64 c 712s|980000 | 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
741.28/741.58 c 720s|990000 | 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
749.08/749.34 c 728s| 1000k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
757.28/757.54 c 736s| 1010k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
765.38/765.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.38/765.66 c 743s| 1020k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
773.28/773.53 c 751s| 1030k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
781.17/781.49 c 759s| 1040k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
789.36/789.63 c 767s| 1050k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
797.07/797.36 c 774s| 1060k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
804.26/804.58 c 781s| 1070k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
811.57/811.85 c 788s| 1080k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
819.17/819.40 c 796s| 1090k| 667 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
827.06/827.35 c 803s| 1100k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
835.15/835.49 c 811s| 1110k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
843.65/843.92 c 820s| 1120k| 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
851.55/851.89 c 827s| 1130k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
859.45/859.74 c 835s| 1140k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
867.56/867.86 c 843s| 1150k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
875.25/875.54 c 850s| 1160k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
882.94/883.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.94/883.23 c 858s| 1170k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 591k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
890.84/891.13 c 865s| 1180k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
898.54/898.87 c 873s| 1190k| 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 601k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
906.93/907.27 c 881s| 1200k| 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 606k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
914.74/915.05 c 889s| 1210k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 611k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
922.73/923.06 c 896s| 1220k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 616k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
930.03/930.37 c 904s| 1230k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 621k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
937.53/937.89 c 911s| 1240k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 626k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
944.83/945.18 c 918s| 1250k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
952.72/953.05 c 926s| 1260k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 635k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
960.52/960.82 c 933s| 1270k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
968.83/969.12 c 941s| 1280k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
976.61/976.98 c 949s| 1290k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
984.42/984.79 c 956s| 1300k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 656k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
992.42/992.78 c 964s| 1310k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 661k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1000.61/1000.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.61/1000.93 c 972s| 1320k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1008.42/1008.76 c 980s| 1330k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1016.01/1016.34 c 987s| 1340k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1023.71/1024.08 c 995s| 1350k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 680k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1031.10/1031.43 c 1002s| 1360k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 685k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1038.50/1038.84 c 1009s| 1370k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 689k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1046.20/1046.53 c 1016s| 1380k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1053.99/1054.36 c 1024s| 1390k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 699k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1061.80/1062.12 c 1032s| 1400k| 685 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 705k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1069.19/1069.53 c 1039s| 1410k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1077.09/1077.40 c 1046s| 1420k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 714k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1084.78/1085.18 c 1054s| 1430k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1092.00/1092.40 c 1061s| 1440k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1099.48/1099.81 c 1068s| 1450k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 729k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1106.88/1107.27 c 1075s| 1460k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 734k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1114.28/1114.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.28/1114.65 c 1083s| 1470k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1121.98/1122.30 c 1090s| 1480k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 744k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1129.08/1129.49 c 1097s| 1490k| 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1136.28/1136.63 c 1104s| 1500k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1143.88/1144.28 c 1111s| 1510k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 759k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1151.57/1151.92 c 1119s| 1520k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1159.57/1159.99 c 1127s| 1530k| 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1167.56/1167.97 c 1134s| 1540k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 774k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1174.96/1175.34 c 1142s| 1550k| 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1182.96/1183.37 c 1149s| 1560k| 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 784k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1190.56/1190.99 c 1157s| 1570k| 671 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1198.35/1198.77 c 1164s| 1580k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 794k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1205.55/1205.92 c 1171s| 1590k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 798k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1212.96/1213.35 c 1179s| 1600k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1220.45/1220.84 c 1186s| 1610k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1228.04/1228.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1228.04/1228.42 c 1193s| 1620k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1235.05/1235.48 c 1200s| 1630k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1242.14/1242.57 c 1207s| 1640k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1250.04/1250.40 c 1214s| 1650k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1257.54/1257.99 c 1222s| 1660k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1265.44/1265.80 c 1229s| 1670k| 684 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 838k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1273.14/1273.52 c 1237s| 1680k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 844k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1281.23/1281.67 c 1245s| 1690k| 682 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 849k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1289.13/1289.52 c 1252s| 1700k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 854k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1296.54/1296.99 c 1260s| 1710k| 687 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 859k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1303.93/1304.38 c 1267s| 1720k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1310.93/1311.35 c 1274s| 1730k| 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 868k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1318.43/1318.83 c 1281s| 1740k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1326.52/1326.94 c 1289s| 1750k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 878k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1333.52/1333.99 c 1296s| 1760k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 883k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1341.32/1341.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.32/1341.73 c 1303s| 1770k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 888k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1348.91/1349.33 c 1311s| 1780k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 893k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1356.31/1356.71 c 1318s| 1790k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 898k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1363.91/1364.30 c 1325s| 1800k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 903k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1372.71/1373.12 c 1334s| 1810k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 909k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1380.70/1381.14 c 1342s| 1820k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1388.61/1389.04 c 1349s| 1830k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 919k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1395.91/1396.37 c 1356s| 1840k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 924k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1403.90/1404.38 c 1364s| 1850k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 929k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1412.39/1412.88 c 1372s| 1860k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1420.20/1420.62 c 1380s| 1870k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 940k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1427.89/1428.33 c 1387s| 1880k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 946k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1435.79/1436.28 c 1395s| 1890k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1443.69/1444.15 c 1403s| 1900k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 956k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1451.08/1451.50 c 1410s| 1910k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 961k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1457.89/1458.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.89/1458.35 c 1417s| 1920k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 966k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1465.08/1465.59 c 1424s| 1930k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1472.49/1472.99 c 1431s| 1940k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1479.38/1479.82 c 1437s| 1950k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 981k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1486.58/1487.02 c 1444s| 1960k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1493.98/1494.41 c 1452s| 1970k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1501.17/1501.69 c 1459s| 1980k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 | 996k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1509.27/1509.72 c 1466s| 1990k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1517.77/1518.21 c 1475s| 2000k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1006k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1525.97/1526.47 c 1483s| 2010k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1534.56/1535.06 c 1491s| 2020k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1542.36/1542.82 c 1499s| 2030k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1021k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1549.86/1550.31 c 1506s| 2040k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1557.56/1558.08 c 1514s| 2050k| 681 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1565.26/1565.72 c 1521s| 2060k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1572.25/1572.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.25/1572.73 c 1528s| 2070k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1041k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1579.75/1580.20 c 1535s| 2080k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1046k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1587.05/1587.52 c 1542s| 2090k| 670 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1594.65/1595.17 c 1550s| 2100k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1602.55/1603.09 c 1557s| 2110k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1061k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1609.85/1610.36 c 1564s| 2120k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1066k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1617.35/1617.86 c 1572s| 2130k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1071k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1624.64/1625.17 c 1579s| 2140k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1076k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1632.04/1632.56 c 1586s| 2150k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1081k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1639.93/1640.44 c 1593s| 2160k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1647.53/1648.07 c 1601s| 2170k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1091k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1655.23/1655.72 c 1608s| 2180k| 678 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1096k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1663.23/1663.70 c 1616s| 2190k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1671.33/1671.81 c 1624s| 2200k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1679.32/1679.83 c 1632s| 2210k| 670 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1112k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1687.02/1687.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.02/1687.55 c 1639s| 2220k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1694.63/1695.16 c 1647s| 2230k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1122k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1702.62/1703.18 c 1654s| 2240k| 679 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1710.52/1711.04 c 1662s| 2250k| 683 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1132k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1718.11/1718.66 c 1669s| 2260k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1725.82/1726.32 c 1677s| 2270k| 675 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1733.41/1733.95 c 1684s| 2280k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1147k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1741.41/1741.91 c 1692s| 2290k| 673 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1153k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1749.91/1750.43 c 1700s| 2300k| 680 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1158k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1757.21/1757.77 c 1707s| 2310k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1163k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1765.10/1765.61 c 1715s| 2320k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1168k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1772.70/1773.21 c 1722s| 2330k| 674 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1780.41/1780.98 c 1730s| 2340k| 676 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1788.20/1788.74 c 1738s| 2350k| 672 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1795.49/1796.07 c 1745s| 2360k| 677 | 0 | 0.0 | 30M| 715 | - |3400 | 13k| 0 | 0 | 0 |1189k| 0 | 0.000000e+00 | 3.200000e+01 | Inf
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1749.07
1800.11/1800.61 c Solving Nodes : 2365636
1800.11/1800.61 c Primal Bound : +3.20000000000000e+01 (3 solutions)
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.65 s SATISFIABLE
1800.11/1800.65 v x230 x229 x7797 x228 x7795 -x7793 x227 x7791 -x226 -x7789 -x7787 x7785 -x7783 -x7781 x7779 -x7777 -x7775 x7773 -x7771 -x7769 -x7767
1800.11/1800.65 v x225 -x7765 x224 x7763 -x7761 -x7759 -x223 -x7757 -x7755 -x222 -x7753 -x7751 -x7749 -x7747 -x7745 -x7743 -x7741 x7739 -x7737
1800.11/1800.65 v -x7735 -x221 -x7733 -x7731 -x7729 -x7727 -x7725 -x7723 -x7721 -x220 -x7719 -x7717 -x7715 -x7713 -x7711 -x7709 -x7707 -x219
1800.11/1800.65 v -x7705 -x7703 -x7701 -x7699 -x7697 -x7695 -x7693 -x7691 -x7689 -x7687 -x7685 -x7683 -x7681 -x218 -x7679 x217 x7677 -x7675
1800.11/1800.65 v -x7673 -x216 -x7671 x7669 -x7667 x215 -x7665 -x7663 -x7661 -x7659 -x7657 -x7655 x7653 -x7651 -x7649 -x7647 -x214 -x7645 -x7643
1800.11/1800.65 v -x7641 -x7639 -x7637 -x7635 -x7633 -x213 -x7631 -x7629 -x7627 -x7625 -x7623 -x7621 -x7619 -x212 -x7617 -x7615 -x7613 -x7611
1800.11/1800.65 v -x7609 -x7607 -x7605 -x7603 -x7601 -x7599 -x7597 -x7595 -x7593 -x7591 -x7589 -x211 -x7587 -x7585 -x7583 -x210 -x7581 -x7579
1800.11/1800.65 v -x7577 -x7575 -x7573 -x7571 -x7569 -x209 -x7567 -x7565 -x7563 -x7561 -x7559 -x7557 -x7555 -x208 -x7553 -x7551 -x7549 -x7547 -x7545
1800.11/1800.65 v -x7543 -x7541 -x7539 -x7537 -x7535 x7533 -x7531 -x7529 -x7527 -x7525 -x7523 -x7521 -x7519 -x7517 -x7515 -x7513 -x7511 -x207
1800.11/1800.65 v -x7509 -x7507 -x7505 -x7503 -x7501 -x7499 -x7497 -x7495 -x7493 -x7491 -x7489 -x7487 -x7485 -x7483 -x7481 -x206 -x7479 -x7477
1800.11/1800.65 v -x7475 -x7473 -x7471 -x7469 -x7467 -x7465 -x7463 -x7461 -x7459 -x7457 -x7455 -x7453 -x7451 -x205 -x7449 -x7447 -x7445 -x7443
1800.11/1800.65 v -x7441 -x7439 -x7437 -x7435 -x7433 -x7431 -x7429 -x7427 -x7425 -x7423 -x7421 -x7419 -x7417 -x7414 -x7412 -x7410 -x7408 -x7406
1800.11/1800.65 v -x7404 -x7402 -x7400 -x7398 x7396 -x7394 x204 x7392 -x7390 -x7388 -x203 -x7386 x7384 -x7382 x202 -x7380 -x7378 -x7376 -x7374
1800.11/1800.65 v -x7372 -x7370 -x7368 -x201 -x7366 -x7364 -x200 -x7362 -x7360 -x7358 -x7356 -x7354 -x7352 -x7350 -x199 -x7348 -x7346 -x7344
1800.11/1800.65 v -x7342 -x7340 -x7338 -x7336 -x198 -x7334 -x7332 -x7330 -x7328 -x7326 -x7324 -x7322 -x7320 -x7318 -x7316 -x7314 -x7312 -x7310
1800.11/1800.65 v -x7308 -x7306 -x197 -x7304 -x7302 -x7300 -x196 -x7298 -x7296 -x7294 -x7292 -x7290 -x7288 -x7286 -x195 -x7284 -x7282 -x7280
1800.11/1800.65 v -x7278 -x7276 -x7274 -x194 -x7272 -x7270 -x7268 -x7266 -x7264 -x7262 -x7260 -x7258 -x7256 -x7254 -x7252 -x7250 -x7248 -x7246
1800.11/1800.65 v -x7244 -x193 -x7242 -x7240 -x7238 -x7236 -x7234 -x7232 -x7230 -x192 -x7228 -x7226 -x7224 -x7222 -x7220 -x7218 -x7216 -x7214
1800.11/1800.65 v -x7212 -x7210 -x7208 -x7206 -x7204 -x7202 -x7200 -x191 -x7198 -x7196 -x7194 -x7192 -x7190 -x7188 -x7186 -x7184 -x7182 -x7180
1800.11/1800.65 v -x7178 -x7176 -x7174 -x7172 -x190 -x7170 -x7168 -x7166 -x7164 -x7162 -x7160 -x7158 -x7156 -x7154 -x7152 -x7150 -x7148 -x7146
1800.11/1800.65 v -x7144 -x7142 -x7140 -x7138 -x7136 -x7134 -x7132 -x7130 -x7128 -x7126 -x7124 -x7122 -x7120 -x7118 -x7116 -x7114 -x7112 -x7110
1800.11/1800.65 v -x189 -x7108 -x7106 -x7104 -x188 -x7102 -x7100 -x7098 -x7096 -x7094 -x7092 -x7090 -x187 -x7088 -x7086 -x7084 -x7082 -x7080
1800.11/1800.65 v -x7078 -x7076 -x186 -x7074 -x7072 -x7070 -x7068 -x7066 -x7064 -x7062 -x7060 -x7058 -x7056 -x7054 -x7052 -x7050 -x7048 -x7046
1800.11/1800.65 v -x185 -x7044 -x7042 -x7040 -x7038 -x7036 -x7034 -x7032 -x184 -x7030 -x7028 -x7026 -x7024 -x7022 -x7020 -x7018 -x7016 -x7014 -x7012
1800.11/1800.65 v -x7010 -x7008 -x7006 -x7004 -x7002 -x183 -x7000 -x6998 -x6996 -x6994 -x6992 -x6990 -x6988 -x6986 -x6984 -x6982 -x6980 -x6978
1800.11/1800.65 v -x6976 -x6974 -x6972 -x182 -x6970 -x6968 -x6966 -x6964 -x6962 -x6960 -x6958 -x6956 -x6954 -x6952 -x6950 -x6948 -x6946 -x6944
1800.11/1800.65 v -x6942 -x6940 -x6938 -x6936 -x6934 -x6932 -x6930 -x6928 -x6926 -x6924 -x6922 -x6920 -x6918 -x6916 -x6914 -x6912 -x6910
1800.11/1800.65 v -x181 -x6908 -x6906 -x6904 -x6902 -x6900 -x6898 -x6896 -x180 -x6894 -x6892 -x6890 -x6888 -x6886 -x6884 -x6882 -x6880 -x6878 -x6876
1800.11/1800.65 v -x6874 -x6872 -x6870 -x6868 -x6866 -x179 -x6864 -x6862 -x6860 -x6858 -x6856 -x6854 -x6852 -x6850 -x6848 -x6846 -x6844 -x6842
1800.11/1800.65 v -x6840 -x6838 -x6836 -x178 -x6834 -x6832 -x6830 -x6828 -x6826 -x6824 -x6822 -x6820 -x6818 -x6816 -x6814 -x6812 -x6810 -x6808
1800.11/1800.65 v -x6806 -x177 -x6804 -x6802 -x6800 -x6798 -x6796 -x6794 -x6792 -x6790 -x6788 -x6786 -x6784 -x6782 -x6780 -x6778 -x6776 -x6774
1800.11/1800.65 v -x6772 -x6770 -x6768 -x6766 -x6764 -x6762 -x6760 -x6758 -x6756 -x6754 -x6752 -x6750 -x6748 -x6746 -x6744 -x176 -x6742 x175
1800.11/1800.65 v x6740 -x6738 -x6736 -x174 -x6734 -x6732 -x6730 -x173 -x6728 -x6726 -x6724 -x6722 -x6720 -x6718 -x6716 -x172 -x6714 -x6712
1800.11/1800.65 v -x6710 -x171 -x6708 -x6706 -x6704 -x6702 -x6700 -x6698 -x6696 -x170 -x6694 -x6692 -x6690 -x6688 -x6686 -x6684 -x6682 -x169 -x6680
1800.11/1800.65 v -x6678 -x6676 -x6674 -x6672 -x6670 -x6668 -x6666 -x6664 -x6662 -x6660 -x6658 -x6656 -x6654 -x6652 -x168 -x6650 x6648 -x6646
1800.11/1800.65 v x167 -x6644 -x6642 -x6640 -x6638 -x6636 -x6634 -x6632 -x166 -x6630 x6628 -x6626 -x6624 -x6622 -x6620 -x6618 x165 -x6616
1800.11/1800.65 v -x6614 -x6612 -x6610 -x6608 -x6606 -x6604 -x6602 -x6600 -x6598 -x6596 -x6594 -x6592 -x6590 -x6588 -x164 -x6586 -x6584 -x6582
1800.11/1800.65 v -x6580 -x6578 -x6576 x6574 -x6572 -x6570 -x6568 -x6566 -x6564 -x6562 -x6560 -x6558 -x6556 -x6554 -x6552 -x6550 -x6548 -x6546
1800.11/1800.65 v -x6544 -x163 -x6542 -x6540 -x6538 -x6536 -x6534 -x6532 -x6530 -x6528 -x6526 -x6524 -x6522 -x6520 -x6518 -x6516 -x6514 -x162 -x6512
1800.11/1800.65 v -x6510 -x6508 -x6506 -x6504 -x6502 -x6500 -x6498 -x6496 -x6494 -x6492 -x6490 -x6488 -x6486 -x6484 -x6482 -x6480 -x6478
1800.11/1800.65 v -x6476 -x6474 -x6472 -x6470 -x6468 -x6466 -x6464 -x6462 -x6460 -x6458 -x6456 -x6454 -x6452 -x161 -x6450 -x6448 -x6446 x160 x6444
1800.11/1800.65 v -x6442 -x6440 -x6438 -x6436 -x6434 -x6432 -x159 -x6430 -x6428 -x6426 -x6424 -x6422 -x6420 -x6418 -x158 -x6416 -x6414 -x6412
1800.11/1800.65 v -x6410 -x6408 -x6406 -x6404 -x6402 -x6400 -x6398 -x6396 -x6394 -x6392 -x6390 -x6388 -x157 -x6386 -x6384 -x6382 -x6380 -x6378
1800.11/1800.65 v -x6376 -x6374 -x156 -x6372 -x6370 -x6368 -x6366 -x6364 -x6362 -x6360 -x6358 -x6356 -x6354 -x6352 -x6350 -x6348 -x6346 -x6344
1800.11/1800.65 v -x155 -x6342 -x6340 -x6338 -x6336 -x6334 -x6332 -x6330 -x6328 -x6326 -x6324 -x6322 -x6320 -x6318 -x6316 -x6314 -x154 -x6312
1800.11/1800.65 v -x6310 -x6308 -x6306 -x6304 -x6302 -x6300 -x6298 -x6296 -x6294 -x6292 -x6290 -x6288 -x6286 -x6284 -x6282 -x6280 -x6278 -x6276
1800.11/1800.65 v -x6274 -x6272 -x6270 -x6268 -x6266 -x6264 -x6262 -x6260 -x6258 -x6256 -x6254 -x6252 -x153 -x6250 -x6248 -x6246 -x6244 -x6242
1800.11/1800.65 v -x6240 -x6238 -x152 -x6236 -x6234 -x6232 -x6230 -x6228 -x6226 -x6224 -x6222 -x6220 -x6218 -x6216 -x6214 -x6212 -x6210 -x6208
1800.11/1800.65 v -x151 -x6206 -x6204 -x6202 -x6200 -x6198 -x6196 -x6194 -x6192 -x6190 -x6188 -x6186 -x6184 -x6182 -x6180 -x6178 -x150 -x6176
1800.11/1800.65 v -x6174 -x6172 -x6170 -x6168 -x6166 -x6164 -x6162 -x6160 -x6158 -x6156 -x6154 -x6152 -x6150 -x6148 -x6146 -x6144 -x6142 -x6140
1800.11/1800.65 v -x6138 -x6136 -x6134 -x6132 -x6130 -x6128 -x6126 -x6124 -x6122 -x6120 -x6118 -x6116 -x149 -x6114 -x6112 -x6110 -x6108 -x6106
1800.11/1800.65 v -x6104 -x6102 -x6100 -x6098 -x6096 -x6094 -x6092 -x6090 -x6088 -x6086 -x148 -x6084 -x6082 -x6080 -x6078 -x6076 -x6074 -x6072
1800.11/1800.65 v -x6070 -x6068 -x6066 -x6064 -x6062 -x6060 -x6058 -x6056 -x6054 -x6052 -x6050 -x6048 -x6046 -x6044 -x6042 -x6040 -x6038 -x6036
1800.11/1800.65 v -x6034 -x6032 -x6030 -x6028 -x6026 -x6024 -x147 -x6021 -x6019 -x6017 -x6015 -x6013 -x6011 -x6009 -x6007 -x6005 -x6003 -x6001
1800.11/1800.65 v -x5999 -x5996 -x5994 -x5992 -x5990 -x5988 -x5986 -x5984 -x5982 -x5980 -x5978 -x5976 -x5974 -x5972 -x5970 -x5968 -x5966 -x146
1800.11/1800.65 v -x5964 -x5962 -x5960 -x5958 -x5956 -x5954 -x5952 -x5950 -x5948 -x5946 -x5944 -x5942 -x5940 -x5938 -x5936 -x5934 -x5932 -x5930
1800.11/1800.65 v -x5928 -x5926 -x5924 -x5922 -x5920 -x5918 -x5916 -x5914 -x5912 -x5910 -x5908 -x5906 -x5904 -x5902 -x5900 -x5898 -x5896 -x5894
1800.11/1800.65 v -x5892 -x5890 -x5888 -x5886 -x5884 -x5882 -x5880 -x5878 -x5876 -x5874 -x5872 -x5870 -x5868 -x5866 -x5864 -x5862 -x5860
1800.11/1800.65 v -x5858 -x5856 -x5854 -x5852 -x5850 -x5848 -x5846 -x5844 -x5842 -x5840 -x145 -x5838 -x5836 -x5834 -x144 -x5832 x5830 -x5828 -x5826
1800.11/1800.65 v -x5824 -x5822 -x5820 -x5818 -x5816 -x5814 -x5812 -x5810 -x5808 -x5806 -x143 -x5804 -x5802 -x5800 -x5798 -x5796 -x5794 -x5792
1800.11/1800.65 v -x5790 -x5788 -x5786 -x5784 -x5782 -x5780 -x5778 -x5776 -x142 -x5774 -x5772 -x5770 -x5768 -x5766 -x5764 -x5762 -x141 -x5760
1800.11/1800.65 v -x5758 -x5756 -x5754 x5752 -x5750 -x5748 -x5746 -x5744 -x5742 -x5740 -x5738 -x5736 -x5734 -x5732 -x5730 -x5728 -x5726 -x5724
1800.11/1800.65 v -x5722 -x5720 -x5718 -x5716 -x5714 -x5712 -x5710 -x5708 -x5706 -x5704 -x5702 -x140 -x5700 -x5698 -x5696 -x5694 -x5692 -x5690
1800.11/1800.65 v -x5688 -x5686 -x5684 -x5682 -x5680 -x5678 -x5676 -x5674 -x5672 -x5670 -x5668 -x5666 -x5664 -x5662 -x5660 -x5658 -x5656 -x5654
1800.11/1800.65 v -x5652 -x5650 -x5648 -x5646 -x5644 -x5642 -x5640 -x139 -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x5626 -x138 -x5624 -x5622
1800.11/1800.65 v -x5620 -x5618 -x5616 -x5614 -x5612 -x5610 -x5608 -x5606 -x5604 -x5602 -x5600 -x5598 -x5596 -x137 -x5594 -x5592 -x5590 -x5588
1800.11/1800.65 v -x5586 -x5584 -x5582 -x5580 -x5578 -x5576 -x5574 -x5572 -x5570 -x5568 -x5566 -x136 -x5564 -x5562 -x5560 -x5558 -x5556 -x5554
1800.11/1800.65 v -x5552 -x5550 -x5548 -x5546 -x5544 -x5542 -x5540 -x5538 -x5536 -x5534 -x5532 -x5530 -x5528 -x5526 -x5524 -x5522 -x5520 -x5518
1800.11/1800.65 v -x5516 -x5514 -x5512 -x5510 -x5508 -x5506 -x5504 -x135 -x5502 -x5500 -x5498 x5496 -x5494 -x5492 -x5490 -x5488 -x5486 -x5484
1800.11/1800.65 v -x5482 -x5480 -x5478 -x5476 -x5474 -x5472 -x5470 -x5468 -x5466 -x5464 -x5462 -x5460 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448
1800.11/1800.65 v -x5446 -x5444 -x5442 -x5440 -x5438 -x5436 -x5434 -x5432 -x5430 -x5428 -x5426 -x5423 -x5421 -x5419 -x5417 -x5415 -x134 -x5413
1800.11/1800.65 v -x5411 -x5409 -x5406 -x5404 -x5402 -x5400 -x5398 -x5396 -x5394 -x5392 -x5390 -x5388 -x5386 -x5384 -x5382 -x5380 -x5378 -x5376
1800.11/1800.65 v -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5354 -x133 -x5352 -x5350 -x5348 -x5346 -x5344 -x5342
1800.11/1800.65 v -x5340 -x5338 -x5336 -x5334 -x5332 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314 -x5312 -x5310 -x5308
1800.11/1800.65 v -x5306 -x5304 -x5302 -x5300 -x5298 -x5296 -x5294 -x5292 -x5290 -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272
1800.11/1800.65 v -x5270 -x5268 -x5266 -x5264 -x5262 -x5260 -x5258 -x5256 -x5254 -x5252 -x5250 -x5248 -x5246 -x5244 -x5242 -x5240 -x5238 -x5236
1800.11/1800.65 v -x5234 -x5232 -x5230 -x5228 -x132 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x131 -x5212 -x5210 -x5208 -x5206 -x5204
1800.11/1800.65 v -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x130 -x5182 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170
1800.11/1800.65 v -x5168 -x5166 -x5164 -x5162 -x5160 -x5158 -x5156 -x5154 -x129 -x5152 -x128 -x5150 -x5148 -x5146 -x127 -x5144 -x5142 -x5140 -x126
1800.11/1800.65 v -x5138 -x5136 -x5134 -x5132 -x5130 -x5128 -x5126 -x125 -x5124 -x5122 -x5120 -x124 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108
1800.11/1800.65 v -x5106 -x123 -x5104 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x122 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076
1800.11/1800.65 v -x5074 -x5072 -x5070 -x5068 -x5066 -x5064 -x5062 -x121 -x5060 -x5058 -x120 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044
1800.11/1800.65 v -x119 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030 -x118 -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012
1800.11/1800.65 v -x5010 -x5008 -x5006 -x5004 -x5002 -x5000 -x117 -x4998 -x4996 -x4994 -x4992 -x4990 -x4988 -x4986 -x116 -x4984 -x4982 -x4980
1800.11/1800.65 v -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958 -x4956 -x115 -x4954 -x4952 -x4950 -x4948 -x4946
1800.11/1800.65 v -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x114 -x4924 -x4922 -x4920 -x4918 -x4916 -x4914 -x4912
1800.11/1800.65 v -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886 -x4884 -x4882 -x4880 -x4878 -x4876
1800.11/1800.65 v -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x113 -x4862 -x4860 -x4858 -x112 -x4856 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844
1800.11/1800.65 v -x111 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x110 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810
1800.11/1800.65 v -x4808 -x4806 -x4804 -x4802 -x4800 -x109 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x108 -x4784 -x4782 -x4780 -x4778
1800.11/1800.65 v -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x107 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744
1800.11/1800.65 v -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x106 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710
1800.11/1800.65 v -x4708 -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674
1800.11/1800.65 v -x4672 -x4670 -x4668 -x4666 -x4664 -x105 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x104 -x4648 -x4646 -x4644 -x4642
1800.11/1800.65 v -x4640 -x4638 -x4636 -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x103 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608
1800.11/1800.65 v -x4606 -x4604 -x4602 -x4600 -x4598 -x4596 -x4594 -x4592 -x4590 -x102 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574
1800.11/1800.65 v -x4572 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538
1800.11/1800.65 v -x4536 -x4534 -x4532 -x4530 -x4528 -x101 -x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504
1800.11/1800.65 v -x4502 -x4500 -x4498 -x100 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470
1800.11/1800.65 v -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436
1800.11/1800.65 v -x99 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422 -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400
1800.11/1800.65 v -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386 -x4384 -x4382 -x4380 -x4378 -x4376 -x4374 -x98 -x4372 -x4370 -x4368 -x4366
1800.11/1800.65 v -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329
1800.11/1800.65 v -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295
1800.11/1800.65 v -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259
1800.11/1800.65 v -x4257 -x4255 -x4253 -x4251 -x4249 -x97 -x4247 -x4245 -x4243 -x96 -x4241 -x4239 -x4237 -x4235 -x4233 x4231 -x4229 -x4227 -x4225
1800.11/1800.65 v -x4223 -x4221 -x4219 -x4217 -x4215 -x95 -x4213 -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x94 -x4199 -x4197 -x4195 -x4193
1800.11/1800.65 v -x4191 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x93 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159
1800.11/1800.65 v -x4157 -x92 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x91 -x4129 -x4127 -x4125
1800.11/1800.65 v -x4123 -x4121 -x4119 -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x90 -x4099 -x4097 -x4095 -x4093 -x4091
1800.11/1800.65 v -x4089 -x4087 -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055
1800.11/1800.65 v -x4053 -x4051 -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x89 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x88 -x4023
1800.11/1800.65 v -x4021 -x4019 -x4017 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x87 -x3993 -x3991 -x3989
1800.11/1800.65 v -x3987 -x3985 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x3965 -x86 -x3963 -x3961 -x3959 -x3957 -x3955 -x3953
1800.11/1800.65 v -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x85 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919
1800.11/1800.65 v -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882
1800.11/1800.65 v -x3880 -x3878 -x3876 -x84 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848
1800.11/1800.65 v -x3846 -x83 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814
1800.11/1800.65 v -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x82 -x3782 -x3780
1800.11/1800.65 v -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744
1800.11/1800.65 v -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x81 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710
1800.11/1800.65 v -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674
1800.11/1800.65 v -x3672 -x3670 -x3668 -x3666 -x3664 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637
1800.11/1800.65 v -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601
1800.11/1800.65 v -x3599 -x3597 -x3595 -x80 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x79 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569
1800.11/1800.65 v -x3567 -x78 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x77
1800.11/1800.65 v -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x76 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501
1800.11/1800.65 v -x3499 -x3497 -x3495 -x3493 -x75 -x3491 -x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467
1800.11/1800.65 v -x3465 -x3463 -x74 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433
1800.11/1800.65 v -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x73 -x3399
1800.11/1800.65 v -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x72 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365
1800.11/1800.65 v -x3363 -x3361 -x3359 -x3357 -x71 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331
1800.11/1800.65 v -x3329 -x3327 -x70 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297
1800.11/1800.65 v -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x69 -x3263 -x3261
1800.11/1800.65 v -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x68 -x3233 -x3231 -x3229 -x3227
1800.11/1800.65 v -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191
1800.11/1800.65 v -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x67 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157
1800.11/1800.65 v -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121
1800.11/1800.65 v -x3119 -x3117 -x3115 -x3113 -x3111 -x66 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087
1800.11/1800.65 v -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051
1800.11/1800.65 v -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017
1800.11/1800.65 v -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x65 -x2983 -x2981
1800.11/1800.65 v -x2979 -x2977 -x2975 -x2973 -x2971 -x64 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947
1800.11/1800.65 v -x2945 -x2943 -x2941 -x63 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913
1800.11/1800.65 v -x2911 -x62 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 -x2879
1800.11/1800.65 v -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x61 -x2847 -x2845
1800.11/1800.65 v -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x60 -x2817 -x2815 -x2813 -x2811
1800.11/1800.65 v -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2774
1800.11/1800.65 v -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x59 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2741 -x2739
1800.11/1800.65 v -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703
1800.11/1800.65 v -x2701 -x2699 -x2697 -x58 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669
1800.11/1800.65 v -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633
1800.11/1800.65 v -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597
1800.11/1800.65 v -x2595 -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x57 -x2569 -x2567 -x2565 -x2563
1800.11/1800.65 v -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x56 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529
1800.11/1800.65 v -x2527 -x2525 -x2523 -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493
1800.11/1800.65 v -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x55 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459
1800.11/1800.65 v -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423
1800.11/1800.65 v -x2421 -x2419 -x2417 -x54 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389
1800.11/1800.65 v -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353
1800.11/1800.65 v -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317
1800.11/1800.65 v -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x53 -x2290 -x2288 -x2286 -x2284 -x2282
1800.11/1800.65 v -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246
1800.11/1800.65 v -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x52 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212
1800.11/1800.65 v -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176
1800.11/1800.65 v -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140
1800.11/1800.65 v -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104
1800.11/1800.65 v -x51 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070
1800.11/1800.65 v -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034
1800.11/1800.65 v -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998
1800.11/1800.65 v -x1996 -x1994 -x1992 -x1990 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x50 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964
1800.11/1800.65 v -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 x1934 -x1932 -x1930 -x1928
1800.11/1800.65 v -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892
1800.11/1800.65 v -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858
1800.11/1800.65 v -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821
1800.11/1800.65 v -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785
1800.11/1800.65 v -x1783 -x1781 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749
1800.11/1800.65 v -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715 -x1713
1800.11/1800.65 v -x1711 -x49 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x48
1800.11/1800.65 v -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x47 -x1649 -x1647
1800.11/1800.65 v -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x46 -x1619 -x1617 -x1615 -x1613 -x1611
1800.11/1800.65 v -x1609 -x1607 x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575
1800.11/1800.65 v -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541
1800.11/1800.65 v -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x45 -x1527 -x1525 -x1523 -x1521 -x1519 x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505
1800.11/1800.65 v -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469
1800.11/1800.65 v -x1467 -x1465 -x44 -x1463 -x1461 -x1459 -x43 -x1457 -x1455 -x1453 -x42 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439
1800.11/1800.65 v -x41 -x1437 -x1435 -x1433 -x40 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x39 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407
1800.11/1800.65 v -x1405 -x38 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x1381 -x1379 -x1377 -x1375 -x37
1800.11/1800.65 v -x1373 -x1371 -x1369 -x36 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x35 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341
1800.11/1800.65 v -x34 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x33 -x1309
1800.11/1800.65 v -x1307 -x1305 -x1303 -x1301 -x1299 -x1297 -x32 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277 -x1275
1800.11/1800.65 v -x1273 -x1271 -x1269 -x1267 -x31 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239
1800.11/1800.65 v -x1237 -x30 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205
1800.11/1800.65 v -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x29 -x1173 -x1171
1800.11/1800.65 v -x1169 -x28 -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x27 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x26 -x1139
1800.11/1800.65 v -x1137 -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x25 -x1109 -x1107 -x1105
1800.11/1800.65 v -x24 -x1103 -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x23 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x22 -x1075
1800.11/1800.65 v -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x21 -x1045 -x1043 -x1041 -x1039
1800.11/1800.65 v -x1037 -x1035 -x20 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005
1800.11/1800.65 v -x19 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x18 -x973 -x971 -x969
1800.11/1800.65 v -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927
1800.11/1800.65 v -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x17 -x911 -x909 -x907 -x905 -x903 -x901 -x899 -x16 -x897 -x895 -x893 -x891 -x889
1800.11/1800.65 v -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x15 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849
1800.11/1800.65 v -x847 -x845 -x843 -x841 -x839 -x14 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809
1800.11/1800.65 v -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 -x777 -x13 -x775 -x773 -x771 -x769
1800.11/1800.65 v -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x12 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729
1800.11/1800.65 v -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687
1800.11/1800.65 v -x685 -x11 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647
1800.11/1800.65 v -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x10 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607
1800.11/1800.65 v -x605 -x603 x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565
1800.11/1800.65 v -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523
1800.11/1800.65 v -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x9
1800.11/1800.65 v -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453 -x8 -x451 -x449 -x447 -x445 -x443
1800.11/1800.65 v -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x7 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401
1800.11/1800.65 v -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359
1800.11/1800.65 v -x357 -x355 -x6 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x5 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x4 -x325 -x323
1800.11/1800.65 v -x321 -x319 x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293 -x291 -x3 -x289 -x287 -x285 -x283 -x281
1800.11/1800.65 v -x279 -x277 -x2 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x1 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243
1800.11/1800.65 v x241 -x239 -x237 -x235 -x233 -x231 x7798 x7796 -x7794 x7792 -x7790 -x7788 x7786 -x7784 -x7782 x7780 -x7778 -x7776 x7774 -x7772
1800.11/1800.65 v -x7770 -x7768 -x7766 x7764 -x7762 -x7760 -x7758 -x7756 -x7754 -x7752 -x7750 -x7748 -x7746 -x7744 -x7742 x7740 -x7738 -x7736
1800.11/1800.65 v -x7734 -x7732 -x7730 -x7728 -x7726 -x7724 -x7722 -x7720 -x7718 -x7716 -x7714 -x7712 -x7710 -x7708 -x7706 -x7704 -x7702 -x7700
1800.11/1800.65 v -x7698 -x7696 -x7694 -x7692 -x7690 -x7688 -x7686 -x7684 -x7682 -x7680 x7678 -x7676 -x7674 -x7672 x7670 -x7668 -x7666 -x7664
1800.11/1800.65 v -x7662 -x7660 -x7658 -x7656 x7654 -x7652 -x7650 -x7648 -x7646 -x7644 -x7642 -x7640 -x7638 -x7636 -x7634 -x7632 -x7630 -x7628
1800.11/1800.65 v -x7626 -x7624 -x7622 -x7620 -x7618 -x7616 -x7614 -x7612 -x7610 -x7608 -x7606 -x7604 -x7602 -x7600 -x7598 -x7596 -x7594 -x7592
1800.11/1800.65 v -x7590 -x7588 -x7586 -x7584 -x7582 -x7580 -x7578 -x7576 -x7574 -x7572 -x7570 -x7568 -x7566 -x7564 -x7562 -x7560 -x7558 -x7556
1800.11/1800.65 v -x7554 -x7552 -x7550 -x7548 -x7546 -x7544 -x7542 -x7540 -x7538 -x7536 x7534 -x7532 -x7530 -x7528 -x7526 -x7524 -x7522 -x7520
1800.11/1800.65 v -x7518 -x7516 -x7514 -x7512 -x7510 -x7508 -x7506 -x7504 -x7502 -x7500 -x7498 -x7496 -x7494 -x7492 -x7490 -x7488 -x7486 -x7484
1800.11/1800.65 v -x7482 -x7480 -x7478 -x7476 -x7474 -x7472 -x7470 -x7468 -x7466 -x7464 -x7462 -x7460 -x7458 -x7456 -x7454 -x7452 -x7450 -x7448
1800.11/1800.65 v -x7446 -x7444 -x7442 -x7440 -x7438 -x7436 -x7434 -x7432 -x7430 -x7428 -x7426 -x7424 -x7422 -x7420 -x7418 -x7416 -x7415
1800.11/1800.65 v -x7413 -x7411 -x7409 -x7407 -x7405 -x7403 -x7401 -x7399 x7397 -x7395 x7393 -x7391 -x7389 -x7387 x7385 -x7383 -x7381 -x7379 -x7377
1800.11/1800.65 v -x7375 -x7373 -x7371 -x7369 -x7367 -x7365 -x7363 -x7361 -x7359 -x7357 -x7355 -x7353 -x7351 -x7349 -x7347 -x7345 -x7343 -x7341
1800.11/1800.65 v -x7339 -x7337 -x7335 -x7333 -x7331 -x7329 -x7327 -x7325 -x7323 -x7321 -x7319 -x7317 -x7315 -x7313 -x7311 -x7309 -x7307
1800.11/1800.65 v -x7305 -x7303 -x7301 -x7299 -x7297 -x7295 -x7293 -x7291 -x7289 -x7287 -x7285 -x7283 -x7281 -x7279 -x7277 -x7275 -x7273 -x7271
1800.11/1800.65 v -x7269 -x7267 -x7265 -x7263 -x7261 -x7259 -x7257 -x7255 -x7253 -x7251 -x7249 -x7247 -x7245 -x7243 -x7241 -x7239 -x7237 -x7235
1800.11/1800.65 v -x7233 -x7231 -x7229 -x7227 -x7225 -x7223 -x7221 -x7219 -x7217 -x7215 -x7213 -x7211 -x7209 -x7207 -x7205 -x7203 -x7201 -x7199
1800.11/1800.65 v -x7197 -x7195 -x7193 -x7191 -x7189 -x7187 -x7185 -x7183 -x7181 -x7179 -x7177 -x7175 -x7173 -x7171 -x7169 -x7167 -x7165 -x7163
1800.11/1800.65 v -x7161 -x7159 -x7157 -x7155 -x7153 -x7151 -x7149 -x7147 -x7145 -x7143 -x7141 -x7139 -x7137 -x7135 -x7133 -x7131 -x7129 -x7127
1800.11/1800.65 v -x7125 -x7123 -x7121 -x7119 -x7117 -x7115 -x7113 -x7111 -x7109 -x7107 -x7105 -x7103 -x7101 -x7099 -x7097 -x7095 -x7093 -x7091
1800.11/1800.65 v -x7089 -x7087 -x7085 -x7083 -x7081 -x7079 -x7077 -x7075 -x7073 -x7071 -x7069 -x7067 -x7065 -x7063 -x7061 -x7059 -x7057
1800.11/1800.65 v -x7055 -x7053 -x7051 -x7049 -x7047 -x7045 -x7043 -x7041 -x7039 -x7037 -x7035 -x7033 -x7031 -x7029 -x7027 -x7025 -x7023 -x7021
1800.11/1800.65 v -x7019 -x7017 -x7015 -x7013 -x7011 -x7009 -x7007 -x7005 -x7003 -x7001 -x6999 -x6997 -x6995 -x6993 -x6991 -x6989 -x6987 -x6985
1800.11/1800.65 v -x6983 -x6981 -x6979 -x6977 -x6975 -x6973 -x6971 -x6969 -x6967 -x6965 -x6963 -x6961 -x6959 -x6957 -x6955 -x6953 -x6951 -x6949
1800.11/1800.65 v -x6947 -x6945 -x6943 -x6941 -x6939 -x6937 -x6935 -x6933 -x6931 -x6929 -x6927 -x6925 -x6923 -x6921 -x6919 -x6917 -x6915 -x6913
1800.11/1800.65 v -x6911 -x6909 -x6907 -x6905 -x6903 -x6901 -x6899 -x6897 -x6895 -x6893 -x6891 -x6889 -x6887 -x6885 -x6883 -x6881 -x6879 -x6877
1800.11/1800.65 v -x6875 -x6873 -x6871 -x6869 -x6867 -x6865 -x6863 -x6861 -x6859 -x6857 -x6855 -x6853 -x6851 -x6849 -x6847 -x6845 -x6843 -x6841
1800.11/1800.65 v -x6839 -x6837 -x6835 -x6833 -x6831 -x6829 -x6827 -x6825 -x6823 -x6821 -x6819 -x6817 -x6815 -x6813 -x6811 -x6809 -x6807
1800.11/1800.65 v -x6805 -x6803 -x6801 -x6799 -x6797 -x6795 -x6793 -x6791 -x6789 -x6787 -x6785 -x6783 -x6781 -x6779 -x6777 -x6775 -x6773 -x6771
1800.11/1800.65 v -x6769 -x6767 -x6765 -x6763 -x6761 -x6759 -x6757 -x6755 -x6753 -x6751 -x6749 -x6747 -x6745 -x6743 x6741 -x6739 -x6737 -x6735
1800.11/1800.65 v -x6733 -x6731 -x6729 -x6727 -x6725 -x6723 -x6721 -x6719 -x6717 -x6715 -x6713 -x6711 -x6709 -x6707 -x6705 -x6703 -x6701 -x6699
1800.11/1800.65 v -x6697 -x6695 -x6693 -x6691 -x6689 -x6687 -x6685 -x6683 -x6681 -x6679 -x6677 -x6675 -x6673 -x6671 -x6669 -x6667 -x6665 -x6663
1800.11/1800.65 v -x6661 -x6659 -x6657 -x6655 -x6653 -x6651 x6649 -x6647 -x6645 -x6643 -x6641 -x6639 -x6637 -x6635 -x6633 -x6631 x6629 -x6627
1800.11/1800.65 v -x6625 -x6623 -x6621 -x6619 -x6617 -x6615 -x6613 -x6611 -x6609 -x6607 -x6605 -x6603 -x6601 -x6599 -x6597 -x6595 -x6593 -x6591
1800.11/1800.65 v -x6589 -x6587 -x6585 -x6583 -x6581 -x6579 -x6577 x6575 -x6573 -x6571 -x6569 -x6567 -x6565 -x6563 -x6561 -x6559 -x6557 -x6555
1800.11/1800.65 v -x6553 -x6551 -x6549 -x6547 -x6545 -x6543 -x6541 -x6539 -x6537 -x6535 -x6533 -x6531 -x6529 -x6527 -x6525 -x6523 -x6521 -x6519
1800.11/1800.65 v -x6517 -x6515 -x6513 -x6511 -x6509 -x6507 -x6505 -x6503 -x6501 -x6499 -x6497 -x6495 -x6493 -x6491 -x6489 -x6487 -x6485 -x6483
1800.11/1800.65 v -x6481 -x6479 -x6477 -x6475 -x6473 -x6471 -x6469 -x6467 -x6465 -x6463 -x6461 -x6459 -x6457 -x6455 -x6453 -x6451 -x6449 -x6447
1800.11/1800.65 v x6445 -x6443 -x6441 -x6439 -x6437 -x6435 -x6433 -x6431 -x6429 -x6427 -x6425 -x6423 -x6421 -x6419 -x6417 -x6415 -x6413 -x6411
1800.11/1800.65 v -x6409 -x6407 -x6405 -x6403 -x6401 -x6399 -x6397 -x6395 -x6393 -x6391 -x6389 -x6387 -x6385 -x6383 -x6381 -x6379 -x6377
1800.11/1800.65 v -x6375 -x6373 -x6371 -x6369 -x6367 -x6365 -x6363 -x6361 -x6359 -x6357 -x6355 -x6353 -x6351 -x6349 -x6347 -x6345 -x6343 -x6341
1800.11/1800.65 v -x6339 -x6337 -x6335 -x6333 -x6331 -x6329 -x6327 -x6325 -x6323 -x6321 -x6319 -x6317 -x6315 -x6313 -x6311 -x6309 -x6307 -x6305
1800.11/1800.65 v -x6303 -x6301 -x6299 -x6297 -x6295 -x6293 -x6291 -x6289 -x6287 -x6285 -x6283 -x6281 -x6279 -x6277 -x6275 -x6273 -x6271 -x6269
1800.11/1800.65 v -x6267 -x6265 -x6263 -x6261 -x6259 -x6257 -x6255 -x6253 -x6251 -x6249 -x6247 -x6245 -x6243 -x6241 -x6239 -x6237 -x6235 -x6233
1800.11/1800.65 v -x6231 -x6229 -x6227 -x6225 -x6223 -x6221 -x6219 -x6217 -x6215 -x6213 -x6211 -x6209 -x6207 -x6205 -x6203 -x6201 -x6199 -x6197
1800.11/1800.65 v -x6195 -x6193 -x6191 -x6189 -x6187 -x6185 -x6183 -x6181 -x6179 -x6177 -x6175 -x6173 -x6171 -x6169 -x6167 -x6165 -x6163 -x6161
1800.11/1800.65 v -x6159 -x6157 -x6155 -x6153 -x6151 -x6149 -x6147 -x6145 -x6143 -x6141 -x6139 -x6137 -x6135 -x6133 -x6131 -x6129 -x6127
1800.11/1800.65 v -x6125 -x6123 -x6121 -x6119 -x6117 -x6115 -x6113 -x6111 -x6109 -x6107 -x6105 -x6103 -x6101 -x6099 -x6097 -x6095 -x6093 -x6091
1800.11/1800.65 v -x6089 -x6087 -x6085 -x6083 -x6081 -x6079 -x6077 -x6075 -x6073 -x6071 -x6069 -x6067 -x6065 -x6063 -x6061 -x6059 -x6057 -x6055
1800.11/1800.65 v -x6053 -x6051 -x6049 -x6047 -x6045 -x6043 -x6041 -x6039 -x6037 -x6035 -x6033 -x6031 -x6029 -x6027 -x6025 -x6023 -x6022 -x6020
1800.11/1800.65 v -x6018 -x6016 -x6014 -x6012 -x6010 -x6008 -x6006 -x6004 -x6002 -x6000 -x5998 -x5997 -x5995 -x5993 -x5991 -x5989 -x5987 -x5985
1800.11/1800.65 v -x5983 -x5981 -x5979 -x5977 -x5975 -x5973 -x5971 -x5969 -x5967 -x5965 -x5963 -x5961 -x5959 -x5957 -x5955 -x5953 -x5951 -x5949
1800.11/1800.65 v -x5947 -x5945 -x5943 -x5941 -x5939 -x5937 -x5935 -x5933 -x5931 -x5929 -x5927 -x5925 -x5923 -x5921 -x5919 -x5917 -x5915 -x5913
1800.11/1800.65 v -x5911 -x5909 -x5907 -x5905 -x5903 -x5901 -x5899 -x5897 -x5895 -x5893 -x5891 -x5889 -x5887 -x5885 -x5883 -x5881 -x5879
1800.11/1800.65 v -x5877 -x5875 -x5873 -x5871 -x5869 -x5867 -x5865 -x5863 -x5861 -x5859 -x5857 -x5855 -x5853 -x5851 -x5849 -x5847 -x5845 -x5843
1800.11/1800.65 v -x5841 -x5839 -x5837 -x5835 -x5833 x5831 -x5829 -x5827 -x5825 -x5823 -x5821 -x5819 -x5817 -x5815 -x5813 -x5811 -x5809 -x5807
1800.11/1800.65 v -x5805 -x5803 -x5801 -x5799 -x5797 -x5795 -x5793 -x5791 -x5789 -x5787 -x5785 -x5783 -x5781 -x5779 -x5777 -x5775 -x5773 -x5771
1800.11/1800.65 v -x5769 -x5767 -x5765 -x5763 -x5761 -x5759 -x5757 -x5755 x5753 -x5751 -x5749 -x5747 -x5745 -x5743 -x5741 -x5739 -x5737 -x5735
1800.11/1800.65 v -x5733 -x5731 -x5729 -x5727 -x5725 -x5723 -x5721 -x5719 -x5717 -x5715 -x5713 -x5711 -x5709 -x5707 -x5705 -x5703 -x5701 -x5699
1800.11/1800.65 v -x5697 -x5695 -x5693 -x5691 -x5689 -x5687 -x5685 -x5683 -x5681 -x5679 -x5677 -x5675 -x5673 -x5671 -x5669 -x5667 -x5665 -x5663
1800.11/1800.65 v -x5661 -x5659 -x5657 -x5655 -x5653 -x5651 -x5649 -x5647 -x5645 -x5643 -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627
1800.11/1800.65 v -x5625 -x5623 -x5621 -x5619 -x5617 -x5615 -x5613 -x5611 -x5609 -x5607 -x5605 -x5603 -x5601 -x5599 -x5597 -x5595 -x5593 -x5591
1800.11/1800.65 v -x5589 -x5587 -x5585 -x5583 -x5581 -x5579 -x5577 -x5575 -x5573 -x5571 -x5569 -x5567 -x5565 -x5563 -x5561 -x5559 -x5557
1800.11/1800.65 v -x5555 -x5553 -x5551 -x5549 -x5547 -x5545 -x5543 -x5541 -x5539 -x5537 -x5535 -x5533 -x5531 -x5529 -x5527 -x5525 -x5523 -x5521
1800.11/1800.65 v -x5519 -x5517 -x5515 -x5513 -x5511 -x5509 -x5507 -x5505 -x5503 -x5501 -x5499 x5497 -x5495 -x5493 -x5491 -x5489 -x5487 -x5485
1800.11/1800.65 v -x5483 -x5481 -x5479 -x5477 -x5475 -x5473 -x5471 -x5469 -x5467 -x5465 -x5463 -x5461 -x5459 -x5457 -x5455 -x5453 -x5451 -x5449
1800.11/1800.65 v -x5447 -x5445 -x5443 -x5441 -x5439 -x5437 -x5435 -x5433 -x5431 -x5429 -x5427 -x5425 -x5424 -x5422 -x5420 -x5418 -x5416 -x5414
1800.11/1800.65 v -x5412 -x5410 -x5408 -x5407 -x5405 -x5403 -x5401 -x5399 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5385 -x5383 -x5381 -x5379
1800.11/1800.65 v -x5377 -x5375 -x5373 -x5371 -x5369 -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5355 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343
1800.11/1800.65 v -x5341 -x5339 -x5337 -x5335 -x5333 -x5331 -x5329 -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x5315 -x5313 -x5311 -x5309 -x5307
1800.11/1800.65 v -x5305 -x5303 -x5301 -x5299 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283 -x5281 -x5279 -x5277 -x5275 -x5273
1800.11/1800.65 v -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5257 -x5255 -x5253 -x5251 -x5249 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237
1800.11/1800.65 v -x5235 -x5233 -x5231 -x5229 -x5227 -x5225 -x5223 -x5221 -x5219 -x5217 -x5215 -x5213 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201
1800.11/1800.65 v -x5199 -x5197 -x5195 -x5193 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5167 -x5165
1800.11/1800.65 v -x5163 -x5161 -x5159 -x5157 -x5155 -x5153 -x5151 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139 -x5137 -x5135 -x5133 -x5131 -x5129
1800.11/1800.65 v -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x5115 -x5113 -x5111 -x5109 -x5107 -x5105 -x5103 -x5101 -x5099 -x5097 -x5095 -x5093
1800.11/1800.65 v -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075 -x5073 -x5071 -x5069 -x5067 -x5065 -x5063 -x5061 -x5059 -x5057
1800.11/1800.65 v -x5055 -x5053 -x5051 -x5049 -x5047 -x5045 -x5043 -x5041 -x5039 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023
1800.11/1800.65 v -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009 -x5007 -x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987
1800.11/1800.65 v -x4985 -x4983 -x4981 -x4979 -x4977 -x4975 -x4973 -x4971 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4957 -x4955 -x4953 -x4951
1800.11/1800.65 v -x4949 -x4947 -x4945 -x4943 -x4941 -x4939 -x4937 -x4935 -x4933 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x4917 -x4915
1800.11/1800.65 v -x4913 -x4911 -x4909 -x4907 -x4905 -x4903 -x4901 -x4899 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879
1800.11/1800.65 v -x4877 -x4875 -x4873 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843
1800.11/1800.65 v -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809 -x4807
1800.11/1800.65 v -x4805 -x4803 -x4801 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4779 -x4777 -x4775 -x4773
1800.11/1800.65 v -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737
1800.11/1800.65 v -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x4705 -x4703 -x4701
1800.11/1800.65 v -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665
1800.11/1800.65 v -x4663 -x4661 -x4659 -x4657 -x4655 -x4653 -x4651 -x4649 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629
1800.11/1800.65 v -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593
1800.11/1800.65 v -x4591 -x4589 -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557
1800.11/1800.65 v -x4555 -x4553 -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x4525 -x4523
1800.11/1800.65 v -x4521 -x4519 -x4517 -x4515 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x4497 -x4495 -x4493 -x4491 -x4489 -x4487
1800.11/1800.65 v -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457 -x4455 -x4453 -x4451
1800.11/1800.65 v -x4449 -x4447 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425 -x4423 -x4421 -x4419 -x4417 -x4415
1800.11/1800.65 v -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379
1800.11/1800.65 v -x4377 -x4375 -x4373 -x4371 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4353 -x4351 -x4349 -x4348 -x4346 -x4344
1800.11/1800.65 v -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x4310 -x4308
1800.11/1800.65 v -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278 -x4276 -x4274
1800.11/1800.65 v -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238
1800.11/1800.65 v -x4236 -x4234 x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202
1800.11/1800.65 v -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166
1800.11/1800.65 v -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134 -x4132 -x4130
1800.11/1800.65 v -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096 -x4094
1800.11/1800.65 v -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062 -x4060 -x4058
1800.11/1800.65 v -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x4022
1800.11/1800.65 v -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x3990 -x3988
1800.11/1800.65 v -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952
1800.11/1800.65 v -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916
1800.11/1800.65 v -x3914 -x3912 -x3910 -x3908 -x3906 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881
1800.11/1800.65 v -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845
1800.11/1800.65 v -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809
1800.11/1800.65 v -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773
1800.11/1800.65 v -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739
1800.11/1800.65 v -x3737 -x3735 -x3733 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703
1800.11/1800.65 v -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667
1800.11/1800.65 v -x3665 x3663 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632
1800.11/1800.65 v -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3596
1800.11/1800.65 v -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560
1800.11/1800.65 v -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524
1800.11/1800.65 v -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490 -x3488
1800.11/1800.65 v -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454
1800.11/1800.65 v -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418
1800.11/1800.65 v -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382
1800.11/1800.65 v -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346
1800.11/1800.65 v -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310
1800.11/1800.65 v -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274
1800.11/1800.65 v -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 -x3238
1800.11/1800.65 v -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204
1800.11/1800.65 v -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168
1800.11/1800.65 v -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132
1800.11/1800.65 v -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096
1800.11/1800.65 v -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060
1800.11/1800.65 v -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024
1800.11/1800.65 v -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988
1800.11/1800.65 v -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954
1800.11/1800.65 v -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918
1800.11/1800.65 v -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882
1800.11/1800.65 v -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846
1800.11/1800.65 v -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810
1800.11/1800.65 v -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2775
1800.11/1800.65 v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2742 -x2740
1800.11/1800.65 v -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706
1800.11/1800.65 v -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670
1800.11/1800.65 v -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634
1800.11/1800.65 v -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598
1800.11/1800.65 v -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562
1800.11/1800.65 v -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526
1800.11/1800.65 v -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490
1800.11/1800.65 v -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456
1800.11/1800.65 v -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420
1800.11/1800.65 v -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384
1800.11/1800.65 v -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348
1800.11/1800.65 v -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312
1800.11/1800.65 v -x2310 -x2308 -x2306 -x2304 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277
1800.11/1800.65 v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241
1800.11/1800.65 v -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207
1800.11/1800.65 v -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171
1800.11/1800.65 v -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135
1800.11/1800.65 v -x2133 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099
1800.11/1800.65 v -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063
1800.11/1800.65 v -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027
1800.11/1800.65 v -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991
1800.11/1800.65 v -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957
1800.11/1800.65 v -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921
1800.11/1800.65 v -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885
1800.11/1800.65 v -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849
1800.11/1800.65 v -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814
1800.11/1800.65 v -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778
1800.11/1800.65 v -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742
1800.11/1800.65 v -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706
1800.11/1800.65 v -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672
1800.11/1800.65 v -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636
1800.11/1800.65 v -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 x1606 -x1604 -x1602 -x1600
1800.11/1800.65 v -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564
1800.11/1800.65 v -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528
1800.11/1800.65 v -x1526 -x1524 -x1522 -x1520 x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492
1800.11/1800.65 v -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456
1800.11/1800.65 v -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420
1800.11/1800.65 v -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384
1800.11/1800.65 v -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350
1800.11/1800.65 v -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314
1800.11/1800.65 v -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278
1800.11/1800.65 v -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242
1800.11/1800.65 v -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206
1800.11/1800.65 v -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170
1800.11/1800.65 v -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134
1800.11/1800.65 v -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100
1800.11/1800.65 v -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064
1800.11/1800.65 v -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028
1800.11/1800.65 v -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990
1800.11/1800.65 v -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950
1800.11/1800.65 v -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908
1800.11/1800.65 v -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866
1800.11/1800.65 v -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824
1800.11/1800.65 v -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782
1800.11/1800.65 v -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740
1800.11/1800.65 v -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700
1800.11/1800.65 v -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658
1800.11/1800.65 v -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616
1800.11/1800.65 v -x614 -x612 -x610 -x608 -x606 -x604 x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574
1800.11/1800.65 v -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532
1800.11/1800.65 v -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490
1800.11/1800.65 v -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448
1800.11/1800.65 v -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408
1800.11/1800.65 v -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 x374 -x372 -x370 -x368 -x366
1800.11/1800.65 v -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324
1800.11/1800.65 v -x322 -x320 x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282
1800.11/1800.65 v -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 x242 -x240
1800.11/1800.65 v -x238 -x236 -x234 -x232
1800.11/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.65 c Solving Time : 1749.07
1800.11/1800.65 c Original Problem :
1800.11/1800.65 c Problem name : HOME/instance-2663926-1276632186.opb
1800.11/1800.65 c Variables : 7798 (7798 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.65 c Constraints : 24318 initial, 24318 maximal
1800.11/1800.65 c Presolved Problem :
1800.11/1800.65 c Problem name : t_HOME/instance-2663926-1276632186.opb
1800.11/1800.65 c Variables : 3400 (3400 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.65 c Constraints : 13714 initial, 13768 maximal
1800.11/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.65 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.11/1800.65 c dualfix : 0.02 1 0 0 0 0 0 0 0
1800.11/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.65 c implics : 0.02 0 9 0 0 0 0 0 0
1800.11/1800.65 c probing : 0.11 0 0 0 0 0 0 0 0
1800.11/1800.65 c linear : 0.28 610 3778 0 610 0 10604 0 0
1800.11/1800.65 c logicor : 0.07 0 0 0 0 0 0 0 0
1800.11/1800.65 c root node : - 0 - - 0 - - - -
1800.11/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.65 c integral : 0 0 0 0 0 0 0 0 0 0
1800.11/1800.65 c logicor : 13714+ 0 4030219 0 3 291496 5150113 0 0 0
1800.11/1800.65 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.11/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.65 c integral : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.65 c logicor : 259.56 0.00 259.56 0.00 0.00
1800.11/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.65 c vbounds : 4.71 2 0 0
1800.11/1800.65 c rootredcost : 4.63 0 0 0
1800.11/1800.65 c pseudoobj : 1187.11 6877829 876777 4808097
1800.11/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.65 c propagation : 325.06 1168273 1168273 1168273 66.2 7520 73.0 -
1800.11/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.65 c pseudo solution : 15.45 16058 16058 16058 59.1 242 69.5 -
1800.11/1800.65 c applied globally : - - - 1192093 66.2 - - -
1800.11/1800.65 c applied locally : - - - 0 0.0 - - -
1800.11/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.65 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.11/1800.65 c redcost : 0.00 0 0 0 0 0
1800.11/1800.65 c impliedbounds : 0.00 0 0 0 0 0
1800.11/1800.65 c intobj : 0.00 0 0 0 0 0
1800.11/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.65 c gomory : 0.00 0 0 0 0 0
1800.11/1800.65 c strongcg : 0.00 0 0 0 0 0
1800.11/1800.65 c cmir : 0.00 0 0 0 0 0
1800.11/1800.65 c flowcover : 0.00 0 0 0 0 0
1800.11/1800.65 c clique : 0.00 0 0 0 0 0
1800.11/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.65 c mcf : 0.00 0 0 0 0 0
1800.11/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.11/1800.65 c Pricers : Time Calls Vars
1800.11/1800.65 c problem variables: 0.00 0 0
1800.11/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.65 c relpscost : 0.00 0 0 0 0 0 0
1800.11/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.65 c inference : 43.30 1775356 0 0 0 0 3550712
1800.11/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.65 c random : 0.00 0 0 0 0 0 0
1800.11/1800.65 c Primal Heuristics : Time Calls Found
1800.11/1800.65 c LP solutions : 0.00 - 0
1800.11/1800.65 c pseudo solutions : 0.00 - 3
1800.11/1800.65 c oneopt : 2.21 0 0
1800.11/1800.65 c trivial : 0.02 2 0
1800.11/1800.65 c simplerounding : 0.00 0 0
1800.11/1800.65 c zirounding : 0.00 0 0
1800.11/1800.65 c rounding : 0.00 0 0
1800.11/1800.65 c shifting : 0.00 0 0
1800.11/1800.65 c intshifting : 0.00 0 0
1800.11/1800.65 c twoopt : 0.00 0 0
1800.11/1800.65 c fixandinfer : 0.00 0 0
1800.11/1800.65 c feaspump : 0.00 0 0
1800.11/1800.65 c coefdiving : 0.00 0 0
1800.11/1800.65 c pscostdiving : 0.00 0 0
1800.11/1800.65 c fracdiving : 0.00 0 0
1800.11/1800.65 c veclendiving : 0.00 0 0
1800.11/1800.65 c intdiving : 0.00 0 0
1800.11/1800.65 c actconsdiving : 0.00 0 0
1800.11/1800.65 c objpscostdiving : 0.00 0 0
1800.11/1800.65 c rootsoldiving : 0.00 0 0
1800.11/1800.65 c linesearchdiving : 0.00 0 0
1800.11/1800.65 c guideddiving : 0.00 0 0
1800.11/1800.65 c octane : 0.00 0 0
1800.11/1800.65 c rens : 0.00 0 0
1800.11/1800.65 c rins : 0.00 0 0
1800.11/1800.65 c localbranching : 0.00 0 0
1800.11/1800.65 c mutation : 0.00 0 0
1800.11/1800.65 c crossover : 0.00 0 0
1800.11/1800.65 c dins : 0.00 0 0
1800.11/1800.65 c undercover : 0.00 0 0
1800.11/1800.65 c nlp : 1.03 0 0
1800.11/1800.65 c trysol : 1.26 0 0
1800.11/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.65 c primal LP : 0.00 0 0 0.00 -
1800.11/1800.65 c dual LP : 0.00 0 0 0.00 -
1800.11/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.11/1800.65 c strong branching : 0.00 0 0 0.00 -
1800.11/1800.65 c (at root node) : - 0 0 0.00 -
1800.11/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.65 c B&B Tree :
1800.11/1800.65 c number of runs : 1
1800.11/1800.65 c nodes : 2365636
1800.11/1800.65 c nodes (total) : 2365636
1800.11/1800.65 c nodes left : 674
1800.11/1800.65 c max depth : 715
1800.11/1800.65 c max depth (total): 715
1800.11/1800.65 c backtracks : 674033 (28.5%)
1800.11/1800.65 c delayed cutoffs : 713449
1800.11/1800.65 c repropagations : 1363538 (4970604 domain reductions, 594054 cutoffs)
1800.11/1800.65 c avg switch length: 2.34
1800.11/1800.65 c switching time : 91.06
1800.11/1800.65 c Solution :
1800.11/1800.65 c Solutions found : 3 (3 improvements)
1800.11/1800.65 c First Solution : +3.40000000000000e+01 (in run 1, after 711 nodes, 1.17 seconds, depth 710, found by <relaxation>)
1800.11/1800.65 c Primal Bound : +3.20000000000000e+01 (in run 1, after 55106 nodes, 36.58 seconds, depth 715, found by <relaxation>)
1800.11/1800.65 c Dual Bound : +0.00000000000000e+00
1800.11/1800.65 c Gap : infinite
1800.11/1800.65 c Root Dual Bound : +0.00000000000000e+00
1800.11/1800.65 c Root Iterations : 0
1800.21/1800.74 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-2663926-1276632186/watcher-2663926-1276632186 -o /tmp/evaluation-result-2663926-1276632186/solver-2663926-1276632186 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663926-1276632186.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 1.00 3/106 8858 /proc/meminfo: memFree=1840404/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=5556 CPUtime=0 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 887 0 0 0 0 0 0 0 22 0 1 0 38822620 5689344 809 1992294400 4194304 7136930 140736311946128 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8858/statm: 1389 809 249 719 0 668 0 [startup+0.0810949 s] /proc/loadavg: 0.99 0.98 1.00 3/106 8858 /proc/meminfo: memFree=1840404/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=15408 CPUtime=0.07 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 3355 0 0 0 7 0 0 0 24 0 1 0 38822620 15777792 3276 1992294400 4194304 7136930 140736311946128 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8858/statm: 3852 3276 271 719 0 3131 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 15408 [startup+0.102097 s] /proc/loadavg: 0.99 0.98 1.00 3/106 8858 /proc/meminfo: memFree=1840404/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=16564 CPUtime=0.1 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 3628 0 0 0 9 1 0 0 24 0 1 0 38822620 16961536 3549 1992294400 4194304 7136930 140736311946128 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8858/statm: 4141 3549 271 719 0 3420 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16564 [startup+0.30112 s] /proc/loadavg: 0.99 0.98 1.00 3/106 8858 /proc/meminfo: memFree=1840404/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=20748 CPUtime=0.29 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 4675 0 0 0 28 1 0 0 25 0 1 0 38822620 21245952 4596 1992294400 4194304 7136930 140736311946128 18446744073709551615 6285758 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8858/statm: 5187 4596 271 719 0 4466 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20748 [startup+0.701167 s] /proc/loadavg: 0.99 0.98 1.00 3/106 8858 /proc/meminfo: memFree=1840404/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=51620 CPUtime=0.69 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 12453 0 0 0 63 6 0 0 25 0 1 0 38822620 52858880 11990 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 12905 11990 343 719 0 12184 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 51620 [startup+1.50026 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8859 /proc/meminfo: memFree=1785960/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=59192 CPUtime=1.49 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 16740 0 0 0 136 13 0 0 25 0 1 0 38822620 60612608 14025 1992294400 4194304 7136930 140736311946128 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 14798 14025 384 719 0 14077 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59192 [startup+3.10045 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8859 /proc/meminfo: memFree=1785340/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=59608 CPUtime=3.09 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 16833 0 0 0 292 17 0 0 25 0 1 0 38822620 61038592 14118 1992294400 4194304 7136930 140736311946128 18446744073709551615 5921682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 14902 14118 390 719 0 14181 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 59608 [startup+6.30083 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8861 /proc/meminfo: memFree=1784720/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=59872 CPUtime=6.29 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 16880 0 0 0 601 28 0 0 25 0 1 0 38822620 61308928 14165 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 14968 14165 390 719 0 14247 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59872 [startup+12.7006 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8861 /proc/meminfo: memFree=1784480/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60004 CPUtime=12.69 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 16932 0 0 0 1219 50 0 0 25 0 1 0 38822620 61444096 14217 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15001 14217 390 719 0 14280 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 60004 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8861 /proc/meminfo: memFree=1784356/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60136 CPUtime=25.48 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 16972 0 0 0 2459 89 0 0 25 0 1 0 38822620 61579264 14257 1992294400 4194304 7136930 140736311946128 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15034 14257 390 719 0 14313 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60136 [startup+51.1011 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8861 /proc/meminfo: memFree=1784108/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60268 CPUtime=51.07 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17024 0 0 0 4943 164 0 0 25 0 1 0 38822620 61714432 14309 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507181 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15067 14309 390 719 0 14346 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60268 [startup+102.309 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8863 /proc/meminfo: memFree=1783736/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60404 CPUtime=102.27 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17060 0 0 0 9920 307 0 0 25 0 1 0 38822620 61853696 14345 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15101 14345 390 719 0 14380 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60404 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8865 /proc/meminfo: memFree=1783612/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60536 CPUtime=162.24 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17082 0 0 0 15752 472 0 0 25 0 1 0 38822620 61988864 14367 1992294400 4194304 7136930 140736311946128 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15134 14367 390 719 0 14413 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 60536 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8865 /proc/meminfo: memFree=1783488/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60536 CPUtime=222.23 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17097 0 0 0 21577 646 0 0 25 0 1 0 38822620 61988864 14382 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15134 14382 390 719 0 14413 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 60536 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8867 /proc/meminfo: memFree=1783364/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60668 CPUtime=282.22 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17106 0 0 0 27409 813 0 0 25 0 1 0 38822620 62124032 14391 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15167 14391 390 719 0 14446 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 60668 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8869 /proc/meminfo: memFree=1783240/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60668 CPUtime=342.19 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17117 0 0 0 33237 982 0 0 25 0 1 0 38822620 62124032 14402 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15167 14402 390 719 0 14446 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 60668 [startup+402.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8871 /proc/meminfo: memFree=1783240/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60668 CPUtime=402.18 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17121 0 0 0 39064 1154 0 0 25 0 1 0 38822620 62124032 14406 1992294400 4194304 7136930 140736311946128 18446744073709551615 4704395 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15167 14406 390 719 0 14446 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 60668 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8873 /proc/meminfo: memFree=1782992/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60800 CPUtime=462.16 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17137 0 0 0 44895 1321 0 0 25 0 1 0 38822620 62259200 14422 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15200 14422 390 719 0 14479 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 60800 [startup+522.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8873 /proc/meminfo: memFree=1782868/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60800 CPUtime=522.15 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17148 0 0 0 50725 1490 0 0 25 0 1 0 38822620 62259200 14433 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15200 14433 390 719 0 14479 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 60800 [startup+582.302 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8875 /proc/meminfo: memFree=1782620/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60932 CPUtime=582.13 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17182 0 0 0 56563 1650 0 0 25 0 1 0 38822620 62394368 14467 1992294400 4194304 7136930 140736311946128 18446744073709551615 4704624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15233 14467 390 719 0 14512 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 60932 [startup+642.302 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8880 /proc/meminfo: memFree=1781380/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=60932 CPUtime=642.12 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17189 0 0 0 62391 1821 0 0 25 0 1 0 38822620 62394368 14474 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15233 14474 390 719 0 14512 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 60932 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8886 /proc/meminfo: memFree=1781380/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61072 CPUtime=882.04 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17231 0 0 0 85727 2477 0 0 25 0 1 0 38822620 62537728 14516 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15268 14516 390 719 0 14547 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 61072 [startup+942.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8888 /proc/meminfo: memFree=1781380/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61204 CPUtime=942.02 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17237 0 0 0 91560 2642 0 0 25 0 1 0 38822620 62672896 14522 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15301 14522 390 719 0 14580 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 61204 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8890 /proc/meminfo: memFree=1781380/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61204 CPUtime=1002.01 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17237 0 0 0 97389 2812 0 0 25 0 1 0 38822620 62672896 14522 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15301 14522 390 719 0 14580 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 61204 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8892 /proc/meminfo: memFree=1781380/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61204 CPUtime=1061.99 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17242 0 0 0 103217 2982 0 0 25 0 1 0 38822620 62672896 14527 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15301 14527 390 719 0 14580 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 61204 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8892 /proc/meminfo: memFree=1781380/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61204 CPUtime=1121.98 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17242 0 0 0 109044 3154 0 0 25 0 1 0 38822620 62672896 14527 1992294400 4194304 7136930 140736311946128 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15301 14527 390 719 0 14580 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 61204 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8894 /proc/meminfo: memFree=1781256/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61204 CPUtime=1181.96 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17252 0 0 0 114873 3323 0 0 25 0 1 0 38822620 62672896 14537 1992294400 4194304 7136930 140736311946128 18446744073709551615 4703882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15301 14537 390 719 0 14580 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 61204 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8896 /proc/meminfo: memFree=1781132/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61204 CPUtime=1241.94 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17256 0 0 0 120705 3489 0 0 25 0 1 0 38822620 62672896 14541 1992294400 4194304 7136930 140736311946128 18446744073709551615 5913485 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15301 14541 390 719 0 14580 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 61204 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8898 /proc/meminfo: memFree=1781008/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61204 CPUtime=1301.93 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17261 0 0 0 126531 3662 0 0 25 0 1 0 38822620 62672896 14546 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15301 14546 390 719 0 14580 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 61204 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8900 /proc/meminfo: memFree=1781008/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1361.91 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17265 0 0 0 132359 3832 0 0 25 0 1 0 38822620 62808064 14550 1992294400 4194304 7136930 140736311946128 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14550 390 719 0 14613 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 61336 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8900 /proc/meminfo: memFree=1781008/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1421.9 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17265 0 0 0 138195 3995 0 0 25 0 1 0 38822620 62808064 14550 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14550 390 719 0 14613 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 61336 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8902 /proc/meminfo: memFree=1781008/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1481.88 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17265 0 0 0 144023 4165 0 0 25 0 1 0 38822620 62808064 14550 1992294400 4194304 7136930 140736311946128 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14550 390 719 0 14613 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 61336 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8904 /proc/meminfo: memFree=1780760/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1541.86 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17272 0 0 0 149855 4331 0 0 25 0 1 0 38822620 62808064 14557 1992294400 4194304 7136930 140736311946128 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14557 390 719 0 14613 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 61336 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8906 /proc/meminfo: memFree=1780760/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1601.84 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17280 0 0 0 155685 4499 0 0 25 0 1 0 38822620 62808064 14565 1992294400 4194304 7136930 140736311946128 18446744073709551615 5506150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14565 390 719 0 14613 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 61336 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8908 /proc/meminfo: memFree=1780636/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1661.83 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17282 0 0 0 161511 4672 0 0 25 0 1 0 38822620 62808064 14567 1992294400 4194304 7136930 140736311946128 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14567 390 719 0 14613 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 61336 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 8908 /proc/meminfo: memFree=1780636/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1721.81 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17287 0 0 0 167338 4843 0 0 25 0 1 0 38822620 62808064 14572 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14572 390 719 0 14613 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 61336 [startup+1782.3 s] /proc/loadavg: 1.05 1.00 1.00 2/107 8910 /proc/meminfo: memFree=1780140/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1781.8 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17290 0 0 0 173174 5006 0 0 25 0 1 0 38822620 62808064 14575 1992294400 4194304 7136930 140736311946128 18446744073709551615 4453123 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14575 390 719 0 14613 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 61336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.04 1.00 1.00 2/107 8910 /proc/meminfo: memFree=1780140/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=61336 CPUtime=1800.11 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17292 0 0 0 174949 5062 0 0 25 0 1 0 38822620 62808064 14577 1992294400 4194304 7136930 140736311946128 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/8858/statm: 15334 14577 390 719 0 14613 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 61336 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.04 1.00 1.00 2/107 8910 /proc/meminfo: memFree=1780140/2059040 swapFree=4136500/4192956 [pid=8858] ppid=8856 vsize=49800 CPUtime=1800.21 /proc/8858/stat : 8858 (pbscip.linux.x8) R 8856 8858 8006 0 -1 4202496 17326 0 0 0 174959 5062 0 0 25 0 1 0 38822620 50995200 11889 1992294400 4194304 7136930 140736311946128 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/8858/statm: 12332 11771 396 719 0 11611 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 49800 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.24 CPU user time (s): 1749.61 CPU system time (s): 50.6303 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 61336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1749.61 system time used= 50.6303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17333 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= 2 involuntary context switches= 4790 runsolver used 2.86856 second user time and 8.63069 second system time The end
Begin job on node001 at 2010-06-15 22:03:06 IDJOB=2663926 IDBENCH=24981 IDSOLVER=1167 FILE ID=node001/2663926-1276632186 PBS_JOBID= 11172340 Free space on /tmp= 62516 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_015_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-2663926-1276632186/watcher-2663926-1276632186 -o /tmp/evaluation-result-2663926-1276632186/solver-2663926-1276632186 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663926-1276632186.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 90acfb7d1c18536583ef7e2a90905f54 RANDOM SEED=1884263190 node001.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.202 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.40 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.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840932 kB Buffers: 13816 kB Cached: 113880 kB SwapCached: 9628 kB Active: 89696 kB Inactive: 51120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840932 kB SwapTotal: 4192956 kB SwapFree: 4136500 kB Dirty: 3932 kB Writeback: 0 kB AnonPages: 11604 kB Mapped: 9448 kB Slab: 55504 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181556 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= 62512 MiB End job on node001 at 2010-06-15 22:33:09