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) | 35 | 1800.12 | 1800.6 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb |
| MD5SUM | fb30dc68ef00299e3d850b79fb8a2728 |
| 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 | 35 |
| Best CPU time to get the best result obtained on this benchmark | 0.871866 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| Optimality of the best value was proved | YES |
| Number of variables | 6033 |
| Total number of constraints | 11966 |
| Number of constraints which are clauses | 11966 |
| 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 | 3140 |
| 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 | 3140 |
| 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 | 3140 |
| 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-2663981-1276643770.opb>
0.19/0.23 c original problem has 6033 variables (6033 bin, 0 int, 0 impl, 0 cont) and 11966 constraints
0.19/0.23 c problem read
0.19/0.23 c presolving settings loaded
0.19/0.23 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.29/0.32 o 3140
0.29/0.32 c feasible solution found by trivial heuristic, objective value 3.140000e+03
0.29/0.32 c presolving:
0.39/0.43 c (round 1) 2712 del vars, 5411 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18096 impls, 0 clqs
0.39/0.44 c (round 2) 2715 del vars, 5418 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18096 impls, 0 clqs
0.49/0.53 c (round 3) 2715 del vars, 5418 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 6224 upgd conss, 18096 impls, 0 clqs
0.49/0.57 c (round 4) 2715 del vars, 5418 del conss, 4 chg bounds, 0 chg sides, 0 chg coeffs, 6548 upgd conss, 18096 impls, 0 clqs
0.59/0.65 c (0.4s) probing: 101/3318 (3.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.59/0.65 c presolving (5 rounds):
0.59/0.65 c 2715 deleted vars, 5418 deleted constraints, 4 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.65 c 18096 implications, 0 cliques
0.59/0.65 c presolved problem has 3318 variables (3318 bin, 0 int, 0 impl, 0 cont) and 6548 constraints
0.59/0.65 c 6548 constraints of type <logicor>
0.59/0.65 c transformed objective value is always integral (scale: 1)
0.59/0.65 c Presolving Time: 0.32
0.59/0.65 c - non default parameters ----------------------------------------------------------------------
0.59/0.65 c # SCIP version 1.2.1.2
0.59/0.65 c
0.59/0.65 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.65 c conflict/interconss = 0
0.59/0.65 c
0.59/0.65 c # should binary conflicts be preferred?
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c conflict/preferbinary = TRUE
0.59/0.65 c
0.59/0.65 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.65 c constraints/agelimit = 1
0.59/0.65 c
0.59/0.65 c # should enforcement of pseudo solution be disabled?
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/disableenfops = TRUE
0.59/0.65 c
0.59/0.65 c # frequency for displaying node information lines
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.65 c display/freq = 10000
0.59/0.65 c
0.59/0.65 c # maximal time in seconds to run
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/time = 1799.78
0.59/0.65 c
0.59/0.65 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.65 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.65 c limits/memory = 1620
0.59/0.65 c
0.59/0.65 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.65 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.65 c lp/solvefreq = -1
0.59/0.65 c
0.59/0.65 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)
0.59/0.65 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.65 c lp/pricing = a
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify inequalities
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/linear/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # should presolving try to simplify knapsacks
0.59/0.65 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.65 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.65 c
0.59/0.65 c # priority of node selection rule <dfs> in standard mode
0.59/0.65 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.65 c nodeselection/dfs/stdpriority = 1000000
0.59/0.65 c
0.59/0.65 c -----------------------------------------------------------------------------------------------
0.59/0.65 c start solving
0.59/0.66 c
0.59/0.66 o 3137
0.59/0.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.66 c t 0.4s| 1 | 0 | 0 | - | 19M| 0 | - |3318 |6548 | 0 | 0 | 0 | 0 | 0 | -- | 3.137000e+03 | Inf
0.59/0.66 c 0.4s| 1 | 2 | 0 | - | 19M| 0 | - |3318 |6548 | 0 | 0 | 0 | 0 | 0 | 7.000000e+00 | 3.137000e+03 | Large
3.59/3.62 o 35
3.59/3.62 c * 3.3s| 3034 | 3032 | 0 | 0.0 | 20M|3033 | - |3318 |6548 | 0 | 0 | 0 | 0 | 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
7.19/7.24 c 6.8s| 10000 | 3026 | 0 | 0.0 | 20M|3037 | - |3318 |6552 | 0 | 0 | 0 |2946 | 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
12.58/12.63 c 12.0s| 20000 | 3023 | 0 | 0.0 | 20M|3037 | - |3318 |6556 | 0 | 0 | 0 |7270 | 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
18.29/18.35 c 17.5s| 30000 | 3019 | 0 | 0.0 | 20M|3037 | - |3318 |6554 | 0 | 0 | 0 | 11k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
22.99/23.03 c 22.0s| 40000 | 3024 | 0 | 0.0 | 20M|3037 | - |3318 |6550 | 0 | 0 | 0 | 15k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
27.98/28.06 c 26.9s| 50000 | 3027 | 0 | 0.0 | 20M|3037 | - |3318 |6551 | 0 | 0 | 0 | 19k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
33.68/33.75 c 32.4s| 60000 | 3022 | 0 | 0.0 | 20M|3037 | - |3318 |6554 | 0 | 0 | 0 | 23k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
38.39/38.44 c 37.0s| 70000 | 3024 | 0 | 0.0 | 20M|3037 | - |3318 |6563 | 0 | 0 | 0 | 27k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
43.89/43.95 c 42.3s| 80000 | 3028 | 0 | 0.0 | 20M|3037 | - |3318 |6548 | 0 | 0 | 0 | 31k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
50.38/50.45 c 48.6s| 90000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 36k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
54.98/55.06 c 53.1s|100000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 40k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
59.87/59.98 c 57.9s|110000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 43k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
65.98/66.03 c 63.7s|120000 | 3027 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 48k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
71.07/71.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.07/71.17 c 68.7s|130000 | 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 52k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
75.88/75.97 c 73.3s|140000 | 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 56k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
80.67/80.77 c 78.0s|150000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6568 | 0 | 0 | 0 | 59k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
85.97/86.02 c 83.0s|160000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 63k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
90.66/90.79 c 87.6s|170000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 67k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
95.26/95.33 c 92.0s|180000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 71k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
100.26/100.35 c 96.9s|190000 | 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 75k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
105.66/105.70 c 102s|200000 | 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 79k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
110.26/110.31 c 107s|210000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6558 | 0 | 0 | 0 | 82k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
114.96/115.09 c 111s|220000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 86k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
119.56/119.67 c 116s|230000 | 3028 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 89k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
124.26/124.34 c 120s|240000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 93k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
128.67/128.79 c 124s|250000 | 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 96k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
133.16/133.26 c 129s|260000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 100k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
138.16/138.28 c 134s|270000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 104k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
142.96/143.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.96/143.02 c 138s|280000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 108k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
147.85/147.95 c 143s|290000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 111k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
152.45/152.52 c 147s|300000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 115k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
156.76/156.84 c 152s|310000 | 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 118k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
161.35/161.45 c 156s|320000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 122k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
165.75/165.89 c 160s|330000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 125k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
170.45/170.51 c 165s|340000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 129k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
175.24/175.32 c 169s|350000 | 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 133k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
180.15/180.28 c 174s|360000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 137k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
184.54/184.69 c 178s|370000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 | 140k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
188.95/189.06 c 183s|380000 | 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 143k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
193.44/193.55 c 187s|390000 | 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 147k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
197.85/197.99 c 191s|400000 | 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 150k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
202.24/202.38 c 196s|410000 | 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 154k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
206.65/206.75 c 200s|420000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 157k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
211.04/211.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
211.04/211.14 c 204s|430000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 160k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
215.73/215.89 c 209s|440000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 164k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
220.13/220.26 c 213s|450000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 168k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
224.74/224.80 c 217s|460000 | 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 171k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
229.63/229.73 c 222s|470000 | 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 175k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
234.33/234.45 c 227s|480000 | 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 179k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
238.73/238.86 c 231s|490000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 183k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
243.13/243.25 c 235s|500000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 186k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
248.03/248.10 c 240s|510000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 190k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
252.53/252.65 c 244s|520000 | 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 193k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
257.23/257.38 c 249s|530000 | 3026 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 197k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
262.22/262.30 c 253s|540000 | 3026 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 201k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
267.32/267.49 c 259s|550000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 205k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
271.92/272.05 c 263s|560000 | 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 209k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
276.72/276.86 c 268s|570000 | 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 212k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
281.42/281.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.42/281.57 c 272s|580000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 216k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
285.72/285.87 c 276s|590000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 219k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
290.23/290.37 c 281s|600000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 223k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
294.81/294.91 c 285s|610000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 226k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
300.22/300.32 c 290s|620000 | 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 230k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
305.11/305.22 c 295s|630000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 234k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
309.61/309.77 c 299s|640000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 238k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
314.71/314.84 c 304s|650000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 242k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
320.70/320.84 c 310s|660000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 247k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
326.41/326.58 c 316s|670000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 252k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
332.30/332.47 c 321s|680000 | 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6562 | 0 | 0 | 0 | 257k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
339.01/339.12 c 328s|690000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6559 | 0 | 0 | 0 | 262k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
344.61/344.77 c 333s|700000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 267k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
349.71/349.87 c 338s|710000 | 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 271k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
354.50/354.68 c 343s|720000 | 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 275k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
359.00/359.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.00/359.19 c 347s|730000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 279k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
363.50/363.61 c 351s|740000 | 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 282k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
367.90/368.01 c 356s|750000 | 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 286k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
372.20/372.39 c 360s|760000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 289k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
376.79/376.91 c 364s|770000 | 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 293k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
381.50/381.62 c 369s|780000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 296k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
387.29/387.49 c 375s|790000 | 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 301k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
391.79/391.95 c 379s|800000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 304k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
396.49/396.64 c 383s|810000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 308k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
401.78/401.97 c 389s|820000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 312k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
406.28/406.40 c 393s|830000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 316k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
410.88/411.03 c 397s|840000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 319k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
415.59/415.72 c 402s|850000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 323k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
420.09/420.24 c 406s|860000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 326k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
425.18/425.33 c 411s|870000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 330k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
429.58/429.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.58/429.77 c 415s|880000 | 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 334k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
433.78/433.99 c 419s|890000 | 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 337k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
438.48/438.64 c 424s|900000 | 3026 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 341k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
442.98/443.16 c 428s|910000 | 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 344k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
447.58/447.79 c 433s|920000 | 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 348k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
452.57/452.76 c 438s|930000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 352k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
457.38/457.58 c 442s|940000 | 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 355k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
461.97/462.14 c 447s|950000 | 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 359k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
466.37/466.55 c 451s|960000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 362k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
471.27/471.40 c 456s|970000 | 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 366k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
476.07/476.27 c 460s|980000 | 3026 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 370k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
480.48/480.65 c 465s|990000 | 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 373k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
485.46/485.69 c 469s| 1000k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 377k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
490.56/490.73 c 474s| 1010k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 381k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
495.56/495.77 c 479s| 1020k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 385k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
500.56/500.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.56/500.72 c 484s| 1030k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 389k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
505.16/505.32 c 488s| 1040k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 392k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
510.86/511.01 c 494s| 1050k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 397k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
515.67/515.83 c 499s| 1060k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 401k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
520.56/520.78 c 503s| 1070k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 404k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
525.45/525.67 c 508s| 1080k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 408k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
530.06/530.20 c 512s| 1090k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 412k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
535.46/535.69 c 518s| 1100k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6561 | 0 | 0 | 0 | 416k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
542.45/542.60 c 524s| 1110k| 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 421k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
548.45/548.62 c 530s| 1120k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 426k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
553.85/554.02 c 535s| 1130k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 431k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
558.44/558.66 c 540s| 1140k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 434k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
563.35/563.58 c 545s| 1150k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6559 | 0 | 0 | 0 | 438k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
569.15/569.35 c 550s| 1160k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 443k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
574.44/574.68 c 555s| 1170k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 447k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
578.84/579.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.84/579.05 c 560s| 1180k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 451k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
583.24/583.47 c 564s| 1190k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 454k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
588.25/588.44 c 569s| 1200k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 458k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
593.33/593.58 c 574s| 1210k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 462k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
597.84/598.08 c 578s| 1220k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 466k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
602.43/602.65 c 582s| 1230k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 469k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
607.83/608.07 c 588s| 1240k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 474k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
612.93/613.17 c 593s| 1250k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 478k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
617.93/618.13 c 597s| 1260k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 482k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
622.62/622.80 c 602s| 1270k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 485k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
627.53/627.70 c 607s| 1280k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 489k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
632.03/632.28 c 611s| 1290k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 493k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
636.52/636.78 c 616s| 1300k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 496k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
641.22/641.41 c 620s| 1310k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 500k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
645.53/645.72 c 624s| 1320k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 503k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
649.83/650.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.83/650.01 c 628s| 1330k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 507k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
654.62/654.82 c 633s| 1340k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 510k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
659.22/659.49 c 638s| 1350k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 514k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
664.13/664.36 c 642s| 1360k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 518k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
669.92/670.18 c 648s| 1370k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6559 | 0 | 0 | 0 | 522k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
675.01/675.25 c 653s| 1380k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 526k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
679.81/680.00 c 657s| 1390k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 530k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
684.71/684.95 c 662s| 1400k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 534k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
689.52/689.74 c 667s| 1410k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 538k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
694.11/694.32 c 671s| 1420k| 3026 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 541k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
698.71/698.99 c 676s| 1430k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 545k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
703.31/703.50 c 680s| 1440k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 548k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
708.90/709.14 c 685s| 1450k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 553k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
714.10/714.30 c 690s| 1460k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 557k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
718.90/719.15 c 695s| 1470k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 560k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
723.40/723.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.40/723.68 c 700s| 1480k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 564k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
728.70/728.96 c 705s| 1490k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 | 568k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
735.20/735.43 c 711s| 1500k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 573k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
741.59/741.87 c 717s| 1510k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6575 | 0 | 0 | 0 | 579k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
746.39/746.67 c 722s| 1520k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6559 | 0 | 0 | 0 | 582k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
751.90/752.18 c 727s| 1530k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 587k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
756.90/757.10 c 732s| 1540k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 591k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
761.60/761.86 c 736s| 1550k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6558 | 0 | 0 | 0 | 595k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
766.09/766.31 c 741s| 1560k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 598k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
770.99/771.20 c 745s| 1570k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 602k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
775.39/775.64 c 750s| 1580k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 605k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
780.39/780.67 c 755s| 1590k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 609k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
785.09/785.30 c 759s| 1600k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 613k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
789.69/789.95 c 764s| 1610k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 616k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
794.79/795.04 c 768s| 1620k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 620k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
799.28/799.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.28/799.54 c 773s| 1630k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 624k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
803.89/804.20 c 777s| 1640k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 627k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
808.98/809.25 c 782s| 1650k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 631k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
813.79/814.06 c 787s| 1660k| 3027 | 0 | 0.0 | 20M|3038 | - |3318 |6558 | 0 | 0 | 0 | 635k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
820.78/821.00 c 794s| 1670k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 640k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
827.77/828.03 c 800s| 1680k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6565 | 0 | 0 | 0 | 646k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
834.77/835.09 c 807s| 1690k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6575 | 0 | 0 | 0 | 651k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
840.77/841.09 c 813s| 1700k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 657k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
847.67/847.92 c 820s| 1710k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 662k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
853.28/853.56 c 825s| 1720k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 666k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
859.37/859.67 c 831s| 1730k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 671k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
864.17/864.42 c 836s| 1740k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 675k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
868.87/869.13 c 840s| 1750k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 679k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
873.67/873.95 c 845s| 1760k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 682k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
878.16/878.49 c 849s| 1770k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 686k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
882.76/883.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.76/883.03 c 854s| 1780k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 690k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
887.76/888.02 c 858s| 1790k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 693k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
892.86/893.13 c 863s| 1800k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 698k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
897.56/897.83 c 868s| 1810k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 701k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
902.06/902.35 c 872s| 1820k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 705k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
906.66/906.90 c 877s| 1830k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 709k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
911.16/911.46 c 881s| 1840k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 712k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
915.65/915.98 c 885s| 1850k| 3013 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 716k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
920.05/920.37 c 890s| 1860k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 719k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
924.86/925.17 c 894s| 1870k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 723k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
929.85/930.12 c 899s| 1880k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 727k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
934.14/934.46 c 903s| 1890k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 730k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
938.95/939.27 c 908s| 1900k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 734k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
943.56/943.85 c 912s| 1910k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 737k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
949.55/949.84 c 918s| 1920k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6558 | 0 | 0 | 0 | 742k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
954.34/954.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.34/954.64 c 923s| 1930k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 746k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
958.74/959.00 c 927s| 1940k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 749k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
963.14/963.48 c 931s| 1950k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 752k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
967.84/968.13 c 936s| 1960k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 756k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
972.54/972.85 c 940s| 1970k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 | 760k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
977.24/977.50 c 945s| 1980k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 763k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
982.54/982.80 c 950s| 1990k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 767k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
988.64/988.96 c 956s| 2000k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 772k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
994.23/994.55 c 961s| 2010k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6572 | 0 | 0 | 0 | 776k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1000.64/1000.96 c 968s| 2020k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6559 | 0 | 0 | 0 | 781k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1006.43/1006.72 c 973s| 2030k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6565 | 0 | 0 | 0 | 785k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1011.43/1011.76 c 978s| 2040k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 789k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1016.14/1016.41 c 983s| 2050k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 792k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1020.72/1021.09 c 987s| 2060k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6565 | 0 | 0 | 0 | 796k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1026.22/1026.50 c 992s| 2070k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 800k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1030.62/1030.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.62/1030.95 c 997s| 2080k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 804k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1035.02/1035.37 c 1001s| 2090k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 807k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1039.72/1040.02 c 1005s| 2100k| 3012 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 811k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1044.63/1044.95 c 1010s| 2110k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6565 | 0 | 0 | 0 | 815k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1051.72/1052.04 c 1017s| 2120k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 820k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1056.01/1056.34 c 1021s| 2130k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 823k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1060.51/1060.81 c 1025s| 2140k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 827k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1064.91/1065.22 c 1030s| 2150k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 830k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1070.11/1070.42 c 1035s| 2160k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 834k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1075.21/1075.50 c 1040s| 2170k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6559 | 0 | 0 | 0 | 838k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1079.92/1080.29 c 1044s| 2180k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 842k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1084.51/1084.89 c 1049s| 2190k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 846k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1089.20/1089.52 c 1053s| 2200k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 849k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1094.71/1095.04 c 1059s| 2210k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 853k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1099.71/1100.08 c 1063s| 2220k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 | 857k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1104.40/1104.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.40/1104.74 c 1068s| 2230k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 861k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1109.31/1109.62 c 1073s| 2240k| 3013 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 865k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1113.50/1113.89 c 1077s| 2250k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 868k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1117.90/1118.24 c 1081s| 2260k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 871k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1122.60/1122.94 c 1086s| 2270k| 3013 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 875k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1127.20/1127.58 c 1090s| 2280k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6568 | 0 | 0 | 0 | 879k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1132.19/1132.58 c 1095s| 2290k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 | 882k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1137.79/1138.19 c 1100s| 2300k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6565 | 0 | 0 | 0 | 887k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1143.39/1143.75 c 1106s| 2310k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 891k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1147.79/1148.17 c 1110s| 2320k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 894k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1152.40/1152.79 c 1114s| 2330k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 898k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1156.79/1157.15 c 1119s| 2340k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 901k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1161.59/1161.97 c 1123s| 2350k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 905k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1166.59/1166.93 c 1128s| 2360k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 909k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1170.99/1171.36 c 1132s| 2370k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 | 912k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1175.49/1175.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.49/1175.83 c 1137s| 2380k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 916k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1179.99/1180.31 c 1141s| 2390k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 919k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1184.48/1184.80 c 1145s| 2400k| 3030 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 923k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1188.89/1189.28 c 1150s| 2410k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 926k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1193.38/1193.77 c 1154s| 2420k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 930k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1197.87/1198.21 c 1158s| 2430k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 933k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1202.38/1202.73 c 1163s| 2440k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 937k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1206.97/1207.30 c 1167s| 2450k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6558 | 0 | 0 | 0 | 940k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1211.38/1211.71 c 1171s| 2460k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 944k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1215.78/1216.10 c 1175s| 2470k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 947k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1220.77/1221.19 c 1180s| 2480k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 951k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1225.27/1225.64 c 1185s| 2490k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 | 954k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1230.37/1230.76 c 1190s| 2500k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 958k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1235.17/1235.53 c 1194s| 2510k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 962k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1239.97/1240.33 c 1199s| 2520k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 966k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1244.88/1245.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.88/1245.25 c 1204s| 2530k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 | 969k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1249.47/1249.85 c 1208s| 2540k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 | 973k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1254.07/1254.43 c 1213s| 2550k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 977k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1258.37/1258.73 c 1217s| 2560k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 | 980k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1262.66/1263.03 c 1221s| 2570k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 984k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1267.07/1267.43 c 1225s| 2580k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 | 987k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1271.66/1272.07 c 1230s| 2590k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 991k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1276.06/1276.43 c 1234s| 2600k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 | 994k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1280.96/1281.34 c 1238s| 2610k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 | 998k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1285.66/1286.07 c 1243s| 2620k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1002k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1290.06/1290.41 c 1247s| 2630k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1005k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1294.65/1295.00 c 1252s| 2640k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1008k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1299.55/1299.93 c 1256s| 2650k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1012k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1304.16/1304.58 c 1261s| 2660k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1016k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1308.56/1309.00 c 1265s| 2670k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 |1019k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1313.25/1313.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.25/1313.66 c 1270s| 2680k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 |1023k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1317.85/1318.29 c 1274s| 2690k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1026k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1322.35/1322.76 c 1278s| 2700k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6574 | 0 | 0 | 0 |1030k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1326.95/1327.38 c 1283s| 2710k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1033k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1331.44/1331.89 c 1287s| 2720k| 3011 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 |1037k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1335.94/1336.30 c 1292s| 2730k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1040k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1340.55/1340.92 c 1296s| 2740k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1044k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1345.24/1345.66 c 1301s| 2750k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1047k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1349.64/1350.05 c 1305s| 2760k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1051k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1353.94/1354.38 c 1309s| 2770k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 |1054k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1358.44/1358.86 c 1313s| 2780k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1057k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1363.04/1363.43 c 1318s| 2790k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1061k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1368.84/1369.25 c 1323s| 2800k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1065k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1373.83/1374.23 c 1328s| 2810k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6561 | 0 | 0 | 0 |1070k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1378.44/1378.86 c 1333s| 2820k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1073k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1383.53/1383.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.53/1383.92 c 1338s| 2830k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 |1077k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1388.23/1388.60 c 1342s| 2840k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1081k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1392.83/1393.28 c 1347s| 2850k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1084k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1397.33/1397.74 c 1351s| 2860k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1088k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1401.72/1402.13 c 1355s| 2870k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1091k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1406.93/1407.38 c 1360s| 2880k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1095k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1411.22/1411.66 c 1364s| 2890k| 3012 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1098k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1415.82/1416.28 c 1369s| 2900k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1102k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1420.52/1420.95 c 1373s| 2910k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1105k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1425.42/1425.89 c 1378s| 2920k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1109k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1429.92/1430.35 c 1383s| 2930k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6553 | 0 | 0 | 0 |1112k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1434.72/1435.14 c 1387s| 2940k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1116k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1439.02/1439.44 c 1391s| 2950k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1119k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1443.51/1443.93 c 1396s| 2960k| 3013 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1123k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1448.22/1448.65 c 1400s| 2970k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1127k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1452.81/1453.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.81/1453.28 c 1405s| 2980k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 |1130k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1457.31/1457.71 c 1409s| 2990k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1134k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1462.21/1462.66 c 1414s| 3000k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1137k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1467.01/1467.44 c 1418s| 3010k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1141k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1472.81/1473.23 c 1424s| 3020k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6563 | 0 | 0 | 0 |1145k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1479.71/1480.11 c 1431s| 3030k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 |1151k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1486.21/1486.61 c 1437s| 3040k| 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1155k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1491.90/1492.35 c 1443s| 3050k| 3028 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 |1160k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1498.90/1499.35 c 1449s| 3060k| 3023 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 |1165k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1505.60/1506.01 c 1456s| 3070k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6563 | 0 | 0 | 0 |1170k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1511.70/1512.16 c 1462s| 3080k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 |1175k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1518.09/1518.55 c 1468s| 3090k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6560 | 0 | 0 | 0 |1180k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1524.29/1524.70 c 1474s| 3100k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1185k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1531.40/1531.84 c 1481s| 3110k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6570 | 0 | 0 | 0 |1190k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1538.29/1538.71 c 1487s| 3120k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6564 | 0 | 0 | 0 |1196k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1544.89/1545.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.89/1545.30 c 1494s| 3130k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1201k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1550.38/1550.90 c 1499s| 3140k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6559 | 0 | 0 | 0 |1205k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1556.88/1557.32 c 1506s| 3150k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 |1210k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1562.38/1562.88 c 1511s| 3160k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6564 | 0 | 0 | 0 |1215k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1568.09/1568.54 c 1516s| 3170k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1220k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1573.69/1574.13 c 1522s| 3180k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6558 | 0 | 0 | 0 |1224k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1580.38/1580.87 c 1528s| 3190k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6563 | 0 | 0 | 0 |1230k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1586.98/1587.48 c 1535s| 3200k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1235k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1593.17/1593.69 c 1541s| 3210k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6572 | 0 | 0 | 0 |1240k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1598.37/1598.85 c 1546s| 3220k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1245k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1603.87/1604.36 c 1551s| 3230k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1249k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1609.08/1609.51 c 1556s| 3240k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1253k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1614.57/1615.01 c 1561s| 3250k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1257k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1620.27/1620.76 c 1567s| 3260k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1262k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1625.17/1625.62 c 1572s| 3270k| 3021 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1266k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1630.37/1630.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.37/1630.89 c 1577s| 3280k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 |1270k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1635.66/1636.10 c 1582s| 3290k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6556 | 0 | 0 | 0 |1274k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1640.96/1641.45 c 1587s| 3300k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6554 | 0 | 0 | 0 |1279k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1645.66/1646.17 c 1592s| 3310k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1283k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1650.16/1650.68 c 1596s| 3320k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1286k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1654.96/1655.47 c 1601s| 3330k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1290k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1659.65/1660.16 c 1605s| 3340k| 3024 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1294k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1665.36/1665.89 c 1611s| 3350k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 |1298k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1670.36/1670.84 c 1615s| 3360k| 3014 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1302k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1674.86/1675.38 c 1620s| 3370k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6549 | 0 | 0 | 0 |1306k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1679.55/1680.01 c 1624s| 3380k| 3012 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1309k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1684.16/1684.69 c 1629s| 3390k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1313k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1689.06/1689.54 c 1634s| 3400k| 3025 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1317k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1693.85/1694.36 c 1638s| 3410k| 3019 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1321k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1699.05/1699.59 c 1643s| 3420k| 3022 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1325k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1704.45/1704.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.45/1704.96 c 1648s| 3430k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6548 | 0 | 0 | 0 |1329k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1708.95/1709.49 c 1653s| 3440k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6550 | 0 | 0 | 0 |1333k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1713.84/1714.37 c 1658s| 3450k| 3013 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 |1337k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1719.75/1720.28 c 1663s| 3460k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6567 | 0 | 0 | 0 |1341k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1725.94/1726.44 c 1669s| 3470k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6570 | 0 | 0 | 0 |1346k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1732.84/1733.35 c 1676s| 3480k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6557 | 0 | 0 | 0 |1351k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1737.84/1738.39 c 1681s| 3490k| 3020 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1355k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1744.53/1745.08 c 1687s| 3500k| 3018 | 0 | 0.0 | 20M|3038 | - |3318 |6558 | 0 | 0 | 0 |1360k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1750.64/1751.18 c 1693s| 3510k| 3012 | 0 | 0.0 | 20M|3038 | - |3318 |6563 | 0 | 0 | 0 |1365k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1755.94/1756.42 c 1698s| 3520k| 3011 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1370k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1761.53/1762.00 c 1704s| 3530k| 3013 | 0 | 0.0 | 20M|3038 | - |3318 |6564 | 0 | 0 | 0 |1374k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1767.53/1768.01 c 1710s| 3540k| 3013 | 0 | 0.0 | 20M|3038 | - |3318 |6552 | 0 | 0 | 0 |1378k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1772.13/1772.64 c 1714s| 3550k| 3008 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1382k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1776.73/1777.20 c 1718s| 3560k| 3017 | 0 | 0.0 | 20M|3038 | - |3318 |6561 | 0 | 0 | 0 |1385k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1781.33/1781.84 c 1723s| 3570k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1389k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1786.23/1786.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.23/1786.77 c 1728s| 3580k| 3015 | 0 | 0.0 | 20M|3038 | - |3318 |6561 | 0 | 0 | 0 |1393k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1790.82/1791.32 c 1732s| 3590k| 3016 | 0 | 0.0 | 20M|3038 | - |3318 |6551 | 0 | 0 | 0 |1396k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1795.13/1795.67 c 1736s| 3600k| 3012 | 0 | 0.0 | 20M|3038 | - |3318 |6555 | 0 | 0 | 0 |1400k| 0 | 8.000000e+00 | 3.500000e+01 | 337.50%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1740.93
1800.03/1800.50 c Solving Nodes : 3609727
1800.03/1800.50 c Primal Bound : +3.50000000000000e+01 (3 solutions)
1800.03/1800.50 c Dual Bound : +8.00000000000000e+00
1800.03/1800.50 c Gap : 337.50 %
1800.03/1800.52 s SATISFIABLE
1800.03/1800.52 v -x194 -x193 -x5993 -x5988 -x192 -x5980 -x5977 -x5973 -x5966 -x5957 -x191 -x5950 -x5944 -x5942 -x190 -x5927 -x5924 -x5919 -x189
1800.03/1800.52 v -x5917 -x5910 -x188 -x5908 -x5906 -x5898 -x5896 -x5894 -x5892 -x5890 -x5885 -x5883 -x187 -x5877 -x5875 -x5873 -x5871 -x5867 -x5864
1800.03/1800.52 v -x5861 -x5859 -x5857 -x186 -x5848 -x5846 -x5842 -x5839 -x5834 -x185 -x5830 -x184 -x5828 -x5826 -x183 -x5821 -x5819 -x5816
1800.03/1800.52 v -x5814 -x182 -x5810 -x5808 -x5804 -x5802 -x5799 -x5796 -x5794 -x5791 -x5784 -x5781 -x5779 -x5774 -x5772 -x181 -x5765 -x5763
1800.03/1800.52 v -x5760 -x5757 -x180 -x5754 -x5751 -x5749 -x5747 -x179 -x5743 -x5741 -x5739 -x5736 -x5734 -x5731 -x5726 -x5724 -x5721 -x5717
1800.03/1800.52 v -x178 -x5715 -x5712 -x5709 -x5707 -x5705 -x177 -x5703 -x5701 -x5697 -x5695 -x5693 -x176 -x5691 -x5689 -x5687 -x5685 -x5683 -x5680
1800.03/1800.52 v -x5678 -x5675 -x5673 -x5671 -x5667 -x5665 -x5663 -x5660 -x5658 -x5655 -x175 -x5653 -x5651 -x5649 -x5647 -x5644 -x5642 -x5640
1800.03/1800.52 v -x5638 -x5636 -x5634 -x5632 -x5630 -x5628 -x174 -x173 -x5623 -x5621 -x5618 -x172 -x5615 -x5613 -x5611 -x5609 -x5606 -x5604
1800.03/1800.52 v -x171 -x5601 -x170 -x5597 -x5594 -x5591 -x5589 -x169 -x5586 -x168 -x5582 -x5580 -x5576 -x167 -x5573 -x5570 -x5568 -x5565
1800.03/1800.52 v -x166 -x5562 -x5560 -x5558 -x5556 -x5553 -x5550 -x5548 -x5544 -x5542 -x165 -x5537 -x164 -x5534 -x5531 -x5529 -x5527 -x163 -x5523
1800.03/1800.52 v -x5521 -x5518 -x5516 -x5513 -x162 -x5509 -x5507 -x5504 -x5502 -x5500 -x5498 -x5496 -x5493 -x5490 -x5488 -x161 -x5486 -x5483
1800.03/1800.52 v -x5481 -x5477 -x160 -x5475 -x5473 -x5470 -x5468 -x5465 -x5463 -x5461 -x5457 -x5455 -x5453 -x5451 -x5449 -x5447 -x5443 -x5441
1800.03/1800.52 v -x5439 -x159 -x5436 -x158 -x5433 -x5431 -x5428 -x5425 -x5423 -x157 -x5421 -x5419 -x5416 -x5414 -x5412 -x5410 -x5408 -x5406
1800.03/1800.52 v -x5404 -x5402 -x5400 -x5396 -x5394 -x5392 -x5390 -x5388 -x5385 -x156 -x5382 -x5380 -x5378 -x5376 -x5373 -x5371 -x155 -x5369
1800.03/1800.52 v -x5367 -x5365 -x5363 -x5361 -x5359 -x5357 -x5353 -x5351 -x5349 -x5347 -x5345 -x5343 -x154 -x5340 -x5337 -x5335 -x5332 -x5329
1800.03/1800.52 v -x5327 -x5325 -x5323 -x5321 -x5319 -x5317 -x153 -x5315 -x5312 -x5309 -x5305 -x5303 -x5301 -x5299 -x5296 -x5294 -x5292 -x5290
1800.03/1800.53 v -x5288 -x5286 -x5284 -x5282 -x5280 -x5278 -x5276 -x5274 -x5272 -x5270 -x5268 -x5266 -x5264 -x5262 -x152 -x5260 -x151 -x5257 -x5255
1800.03/1800.53 v -x150 -x5252 -x149 -x5249 -x5246 -x148 -x5244 -x5242 -x5240 -x5238 -x5236 -x5234 -x147 -x5231 -x5229 -x5227 -x5225 -x5222
1800.03/1800.53 v -x5220 -x146 -x5218 -x5215 -x5212 -x5210 -x5208 -x5205 -x145 -x5200 -x5198 -x5196 -x144 -x5193 -x5191 -x5188 -x5186 -x5184
1800.03/1800.53 v -x143 -x5180 -x5178 -x5176 -x5174 -x5172 -x5170 -x5167 -x5165 -x5163 -x5161 -x5158 -x142 -x5155 -x5153 -x5151 -x5148 -x5146
1800.03/1800.53 v -x5144 -x5141 -x5139 -x5136 -x5133 -x141 -x5130 -x5128 -x5126 -x140 -x5122 -x5120 -x5118 -x5115 -x139 -x5113 -x5110 -x5108 -x5105
1800.03/1800.53 v -x138 -x5102 -x5100 -x5098 -x5096 -x5094 -x5092 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x137 -x5074 -x5072 -x5069
1800.03/1800.53 v -x5066 -x5064 -x136 -x5061 -x5059 -x5056 -x5054 -x5051 -x5049 -x5047 -x5045 -x5042 -x5040 -x5038 -x135 -x5035 -x5033 -x5031
1800.03/1800.53 v -x5029 -x5027 -x5022 -x5020 -x5016 -x5014 -x134 -x5012 -x5010 -x5007 -x5005 -x5003 -x5001 -x4998 -x4996 -x4994 -x4992 -x4990
1800.03/1800.53 v -x4988 -x4986 -x4984 -x4982 -x4979 -x4977 -x4975 -x4973 -x4971 -x4968 -x4966 -x4964 -x4962 -x4960 -x4957 x133 -x4955 -x4952
1800.03/1800.53 v -x132 -x4950 -x4948 -x4946 -x4944 -x4942 -x131 -x4938 -x4935 -x4932 -x4930 -x130 -x4927 -x4925 -x4923 -x4920 -x4917 -x4915
1800.03/1800.53 v -x4913 -x4911 -x4909 -x4907 -x4904 -x4902 -x4900 -x4897 -x129 -x4895 -x4893 -x4891 -x4888 -x4886 -x4884 -x128 -x4882 -x4880 -x4878
1800.03/1800.53 v -x4875 -x4873 -x4871 -x127 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4854 -x4852 -x4850 -x4848 -x4846 -x4844 -x4842
1800.03/1800.53 v -x126 -x4840 -x4837 -x4835 -x4832 -x4830 -x125 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814 -x4812 -x4810 -x4808
1800.03/1800.53 v -x4806 -x4804 -x4802 -x124 -x4799 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785 -x4783 -x4781 -x4778 -x4776 -x4774 -x4772
1800.03/1800.53 v -x123 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4755 -x4753 -x4751 -x4749 -x4747 -x4745 -x4741 -x4739 -x4737 -x4735
1800.03/1800.53 v -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721 -x4719 -x4717 -x4715 -x4713 -x122 -x4711 -x4709 -x4707 -x4705 -x4702 -x4700
1800.03/1800.53 v -x121 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4681 -x4679 -x4677 -x4675 -x4673 -x120 -x4670 -x4668 -x4666
1800.03/1800.53 v -x4663 -x4661 -x4659 -x4657 -x4654 -x4652 -x4649 -x4647 -x4645 -x119 -x4643 -x4641 -x4639 -x4637 -x4635 -x4632 -x4630 -x4628
1800.03/1800.53 v -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600 -x4598 -x4595 -x4593 -x4591
1800.03/1800.53 v -x4589 -x4587 -x4585 -x4583 -x118 -x4580 -x117 -x4577 -x4575 -x116 -x4572 -x4569 -x115 -x4567 -x4565 -x4563 -x4561 -x4559
1800.03/1800.53 v -x4556 -x114 -x4554 -x4551 -x4549 -x4547 -x4545 -x4543 -x113 -x4540 -x112 -x4537 -x4535 -x4533 -x4531 -x4529 -x4527 -x111 -x4524
1800.03/1800.53 v -x4521 -x4519 -x4517 -x4515 -x4513 -x110 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x4499 -x109 -x4497 -x4495 -x4493 -x4491
1800.03/1800.53 v -x4489 -x4487 -x4485 -x4483 -x4481 -x4479 -x4477 -x4475 -x4473 -x4471 -x4469 -x108 -x4467 -x4465 -x4463 -x4461 -x4459 -x4457
1800.03/1800.53 v -x4455 -x4453 -x4450 -x4448 -x4446 -x4444 -x4442 -x107 -x4439 -x4437 -x106 -x4434 -x4430 -x4428 -x4426 -x4424 -x105 -x4420
1800.03/1800.53 v -x4418 -x4416 -x4414 -x104 -x4411 -x4409 -x4407 -x4405 -x4403 -x4401 -x4399 -x4397 -x4394 -x4392 -x4390 -x4388 -x4386 -x103
1800.03/1800.53 v -x4383 -x4381 -x4378 -x4376 -x4374 -x4372 -x102 -x4369 -x4367 -x4365 -x4363 -x4361 -x4359 -x4357 -x4355 -x4352 -x4350 -x4348
1800.03/1800.53 v -x4346 -x101 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4325 -x4323 -x4321 -x4319 -x4317 -x100 -x4314 -x4312
1800.03/1800.53 v -x4310 -x4308 -x4306 -x4303 -x4301 -x4299 -x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275
1800.03/1800.53 v -x4273 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x99 -x4256 -x4254 -x98 -x4251 -x4248 -x4246 -x4244 -x4242 -x4240 -x97
1800.03/1800.53 v -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x96 -x4225 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204
1800.03/1800.53 v -x4202 -x4200 -x4198 -x95 -x4196 -x4194 -x4191 -x4188 -x4186 -x94 -x4184 -x4182 -x4180 -x4178 -x4176 -x4173 -x4171 -x4169
1800.03/1800.53 v -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x93 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4137 -x4135 -x4133 -x4131
1800.03/1800.53 v -x4129 -x92 -x4127 -x4125 -x4123 -x4121 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098 -x4096
1800.03/1800.53 v -x4094 -x4092 -x4090 -x4088 -x4086 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x91 -x4067 -x4065 -x90 -x4062
1800.03/1800.53 v -x4060 -x4058 -x4055 -x4053 -x4051 -x89 -x4049 -x4047 -x4044 -x4042 -x4040 -x4038 -x88 -x4036 -x4034 -x4032 -x4030 -x4027 -x4025
1800.03/1800.53 v -x87 -x4023 -x4021 -x4019 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x86 -x3994 -x3992
1800.03/1800.53 v -x3990 -x3988 -x3986 -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x3971 -x3969 -x3967 -x85 -x3965 -x3961 -x3959 -x3957 -x3955
1800.03/1800.53 v -x84 -x3953 -x3951 -x3949 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x83 -x3924 -x3922 -x3920
1800.03/1800.53 v -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3900 -x3898 -x82 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884
1800.03/1800.53 v -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x81 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850
1800.03/1800.53 v -x3848 -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814
1800.03/1800.53 v -x3812 -x3810 -x3808 -x3806 -x80 -x3804 -x3802 -x3800 -x3798 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779
1800.03/1800.53 v -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x79 -x3745 -x3743
1800.03/1800.53 v -x3741 -x3739 -x3737 -x3735 -x3733 -x78 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709
1800.03/1800.53 v -x3706 -x3704 -x77 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x76 -x3673
1800.03/1800.53 v -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639
1800.03/1800.53 v -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x75 -x3611 -x3609 -x3607 -x3605 -x3603
1800.03/1800.53 v -x3601 -x3599 -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x74 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568
1800.03/1800.53 v -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531
1800.03/1800.53 v -x3529 -x3527 -x3525 -x73 -x3523 -x3521 -x3519 -x3517 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496
1800.03/1800.53 v -x3494 -x3492 -x3490 -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x72 -x3462
1800.03/1800.53 v -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3429 -x3427 -x3425
1800.03/1800.53 v -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x3395 -x3393 -x3391 -x3389
1800.03/1800.53 v -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355
1800.03/1800.53 v -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x71 -x3337 -x3335 -x3332 -x3330 -x3328 -x3326 -x70 -x3324 -x3322 -x3320
1800.03/1800.53 v -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x69 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285
1800.03/1800.53 v -x3283 -x3281 -x3279 -x3277 -x3274 -x3272 -x3270 -x3268 -x68 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250
1800.03/1800.53 v -x3248 -x3246 -x3244 -x3242 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213
1800.03/1800.53 v -x3211 -x3209 -x3207 -x67 -x3205 -x3203 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x66
1800.03/1800.53 v -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143
1800.03/1800.53 v -x3141 -x3139 -x3137 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x65 -x3116 -x3114 -x3112 -x3110 -x3108
1800.03/1800.53 v -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072
1800.03/1800.53 v -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058 -x3056 -x64 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038
1800.03/1800.53 v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001
1800.03/1800.53 v -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965
1800.03/1800.53 v -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x63
1800.03/1800.53 v -x2929 -x62 -x2925 -x61 -x2923 -x2921 -x2919 -x60 -x2916 -x2914 -x2912 -x2909 -x2907 -x59 -x2905 -x2903 -x2901 -x58 -x2898 -x2896
1800.03/1800.53 v -x2894 -x2892 -x2890 -x2888 -x57 -x2885 -x2883 -x2881 -x2879 -x2877 -x56 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2861
1800.03/1800.53 v -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x55 -x2845 -x2843 -x54 -x2841 -x2839 -x2836 -x2834 -x2832 -x2830 -x53 -x2828
1800.03/1800.53 v -x2826 -x2823 -x2821 -x2819 -x2817 -x52 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793
1800.03/1800.53 v -x2791 -x2789 -x2787 -x51 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x50 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761
1800.03/1800.53 v -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x49 -x2741 -x2739 -x2737 -x2735 -x2733 -x2731 -x2729 -x2727
1800.03/1800.53 v -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x48 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699 -x2697 -x2695 -x2693 -x2691
1800.03/1800.53 v -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656
1800.03/1800.53 v -x2654 -x2652 -x47 -x2650 -x2648 -x46 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x45 -x2630 -x2627 -x2625 -x2623 -x2621
1800.03/1800.53 v -x44 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2596 -x2594 -x2592 -x43 -x2590 -x2587 -x2585
1800.03/1800.53 v -x2582 -x2580 -x42 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x41
1800.03/1800.53 v -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x40 -x2519 -x2517
1800.03/1800.53 v -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481
1800.03/1800.53 v -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x39 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447
1800.03/1800.53 v -x2445 -x38 -x2442 -x2440 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2422 -x2420 -x2418 -x37 -x2416 -x2414 -x2412 -x2410
1800.03/1800.53 v -x2408 -x2405 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x36 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374
1800.03/1800.53 v -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338
1800.03/1800.53 v -x2335 -x2333 -x2331 -x2329 -x35 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2304 -x2302
1800.03/1800.53 v -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266
1800.03/1800.53 v -x2263 -x2261 -x2259 -x2257 -x2255 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x34 -x2238 -x2236 -x2234 -x2232 -x2230
1800.03/1800.53 v -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2197 -x2195 -x2193
1800.03/1800.53 v -x2191 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x33 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159
1800.03/1800.53 v -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122
1800.03/1800.53 v -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088
1800.03/1800.53 v -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x32 -x2052
1800.03/1800.53 v -x2049 -x31 -x2047 -x2045 -x2042 -x2040 -x2038 -x2036 -x30 -x2034 -x2032 -x2030 -x2028 -x2025 -x2023 -x29 -x2021 -x2019
1800.03/1800.53 v -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x28 -x1992 -x1990 -x1987 -x1985 -x1983
1800.03/1800.53 v -x1981 -x27 -x1979 -x1977 -x1975 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x26 -x1950 -x1948
1800.03/1800.53 v -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x25 -x1920 -x1918 -x1916 -x1914
1800.03/1800.53 v -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878
1800.03/1800.53 v -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x24 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x23
1800.03/1800.53 v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x22 -x1815 -x1812 -x1810
1800.03/1800.53 v -x1808 -x1806 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x21 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x1773
1800.03/1800.53 v -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1740 -x1738
1800.03/1800.53 v -x1736 -x1734 -x1732 -x1730 -x1728 -x20 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702
1800.03/1800.53 v -x1700 -x1698 -x19 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668
1800.03/1800.53 v -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x18 -x1634
1800.03/1800.53 v -x1632 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x1599 -x1597
1800.03/1800.53 v -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x17 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563
1800.03/1800.53 v -x1561 -x1559 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527
1800.03/1800.53 v -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491
1800.03/1800.53 v -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x1463 -x1461 -x1459 -x1457
1800.03/1800.53 v -x1455 -x1453 -x1451 -x1449 -x16 -x1445 -x1443 -x1441 -x1439 -x1437 -x15 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421
1800.03/1800.53 v -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x14 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1385
1800.03/1800.53 v -x1383 -x1381 -x1379 -x13 -x1377 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350
1800.03/1800.53 v -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x12 -x1316
1800.03/1800.53 v -x1314 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x1296 -x1294 -x1292 -x1290 -x11 -x1288 -x1286 -x1283 -x1281 -x1279
1800.03/1800.53 v -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x1243
1800.03/1800.53 v -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x10 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209
1800.03/1800.53 v -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173
1800.03/1800.53 v -x1171 -x1169 -x1167 -x9 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137
1800.03/1800.53 v -x1135 -x1133 -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103
1800.03/1800.53 v -x1101 -x1099 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067
1800.03/1800.53 v -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x8 -x1039 -x1037 -x1035 -x1033 -x1031
1800.03/1800.53 v -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x7 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x996
1800.03/1800.53 v -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954
1800.03/1800.53 v -x952 -x950 -x6 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914
1800.03/1800.53 v -x912 -x910 -x907 -x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x5 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873
1800.03/1800.53 v -x871 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831
1800.03/1800.53 v -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789
1800.03/1800.53 v -x787 -x785 -x783 -x781 -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x4 -x761 -x759 -x757 -x755 -x753 -x751 -x749
1800.03/1800.53 v -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x714 -x712 -x710 -x708 -x706
1800.03/1800.53 v -x704 -x702 -x3 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666
1800.03/1800.53 v -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624
1800.03/1800.53 v -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582
1800.03/1800.53 v -x580 -x578 -x576 -x2 -x574 -x572 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541
1800.03/1800.53 v -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499
1800.03/1800.53 v -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457
1800.03/1800.53 v -x455 -x453 -x451 -x1 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417
1800.03/1800.53 v -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375
1800.03/1800.53 v -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333
1800.03/1800.53 v -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x293
1800.03/1800.53 v -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251
1800.03/1800.53 v -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209
1800.03/1800.53 v -x207 -x205 -x203 -x201 -x199 -x197 -x195 x6033 x6032 -x6031 x6030 x6029 -x6028 -x6027 x6026 -x6025 -x6024 x6023 x6022 -x6021
1800.03/1800.53 v -x6020 -x6019 -x6018 -x6017 x6016 -x6015 -x6014 x6013 -x6012 x6011 x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003
1800.03/1800.53 v -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 x5992 -x5991 -x5990 -x5989 -x5987 -x5986 -x5985 -x5984 -x5983
1800.03/1800.53 v x5982 -x5981 -x5979 -x5978 x5976 -x5975 -x5974 -x5972 -x5971 -x5970 -x5969 x5968 -x5967 x5965 -x5964 -x5963 -x5962 -x5961 -x5960
1800.03/1800.53 v -x5959 -x5958 -x5956 -x5955 -x5954 -x5953 x5952 -x5951 -x5949 -x5948 -x5947 -x5946 -x5945 -x5943 -x5941 -x5940 -x5939 x5938
1800.03/1800.53 v -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5926 -x5925 -x5923 -x5922 -x5921 -x5920 -x5918 -x5916
1800.03/1800.53 v -x5915 -x5914 -x5913 -x5912 -x5911 -x5909 -x5907 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5897 -x5895 -x5893 -x5891
1800.03/1800.53 v x5889 -x5888 -x5887 -x5886 -x5884 -x5882 -x5881 -x5880 -x5879 -x5878 -x5876 -x5874 -x5872 -x5870 -x5869 -x5868 -x5866 -x5865
1800.03/1800.53 v -x5863 -x5862 -x5860 -x5858 -x5856 -x5855 -x5854 x5853 -x5852 -x5851 -x5850 -x5849 -x5847 -x5845 -x5844 -x5843 -x5841 -x5840
1800.03/1800.53 v -x5838 -x5837 -x5836 -x5835 -x5833 -x5832 -x5831 -x5829 -x5827 -x5825 -x5824 x5823 -x5822 -x5820 -x5818 -x5817 -x5815 -x5813
1800.03/1800.53 v -x5812 -x5811 -x5809 -x5807 -x5806 -x5805 -x5803 x5801 -x5800 x5798 -x5797 -x5795 -x5793 -x5792 -x5790 -x5789 -x5788 -x5787
1800.03/1800.53 v -x5786 -x5785 x5783 -x5782 -x5780 -x5778 -x5777 -x5776 -x5775 -x5773 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5764 -x5762
1800.03/1800.53 v -x5761 -x5759 -x5758 -x5756 -x5755 -x5753 -x5752 -x5750 -x5748 -x5746 -x5745 -x5744 -x5742 -x5740 -x5738 -x5737 -x5735 -x5733
1800.03/1800.53 v -x5732 -x5730 -x5729 -x5728 -x5727 -x5725 x5723 -x5722 -x5720 -x5719 -x5718 -x5716 -x5714 -x5713 -x5711 -x5710 -x5708 -x5706
1800.03/1800.53 v -x5704 -x5702 -x5700 -x5699 -x5698 -x5696 -x5694 -x5692 -x5690 -x5688 -x5686 -x5684 -x5682 -x5681 -x5679 -x5677 -x5676 -x5674
1800.03/1800.53 v -x5672 x5670 -x5669 -x5668 -x5666 -x5664 -x5662 -x5661 -x5659 -x5657 -x5656 -x5654 -x5652 -x5650 -x5648 -x5646 -x5645 -x5643
1800.03/1800.53 v -x5641 -x5639 -x5637 -x5635 -x5633 -x5631 -x5629 -x5627 -x5626 -x5625 -x5624 -x5622 x5620 -x5619 -x5617 -x5616 -x5614 -x5612
1800.03/1800.53 v -x5610 -x5608 -x5607 -x5605 -x5603 -x5602 -x5600 -x5599 -x5598 -x5596 -x5595 -x5593 -x5592 -x5590 -x5588 -x5587 -x5585
1800.03/1800.53 v -x5584 -x5583 -x5581 -x5579 -x5578 -x5577 -x5575 -x5574 -x5572 -x5571 -x5569 -x5567 -x5566 -x5564 -x5563 -x5561 -x5559 -x5557
1800.03/1800.53 v -x5555 -x5554 -x5552 -x5551 -x5549 -x5547 -x5546 -x5545 -x5543 -x5541 -x5540 -x5539 -x5538 -x5536 -x5535 -x5533 -x5532 -x5530
1800.03/1800.53 v -x5528 -x5526 -x5525 -x5524 -x5522 -x5520 -x5519 -x5517 -x5515 -x5514 -x5512 -x5511 -x5510 -x5508 -x5506 -x5505 -x5503 -x5501
1800.03/1800.53 v -x5499 -x5497 -x5495 -x5494 -x5492 -x5491 -x5489 -x5487 -x5485 -x5484 -x5482 -x5480 -x5479 -x5478 -x5476 -x5474 x5472 -x5471
1800.03/1800.53 v -x5469 -x5467 -x5466 -x5464 -x5462 -x5460 -x5459 -x5458 -x5456 -x5454 -x5452 -x5450 -x5448 -x5446 -x5445 -x5444 -x5442 -x5440
1800.03/1800.53 v -x5438 -x5437 -x5435 -x5434 -x5432 -x5430 -x5429 -x5427 -x5426 -x5424 -x5422 -x5420 x5418 -x5417 -x5415 -x5413 -x5411 -x5409
1800.03/1800.53 v -x5407 -x5405 -x5403 -x5401 -x5399 -x5398 -x5397 -x5395 -x5393 -x5391 -x5389 -x5387 -x5386 -x5384 -x5383 -x5381 -x5379 -x5377
1800.03/1800.53 v -x5375 -x5374 -x5372 -x5370 -x5368 -x5366 -x5364 -x5362 -x5360 -x5358 -x5356 -x5355 -x5354 -x5352 -x5350 -x5348 -x5346 -x5344
1800.03/1800.53 v -x5342 -x5341 -x5339 -x5338 -x5336 -x5334 -x5333 -x5331 -x5330 -x5328 -x5326 -x5324 -x5322 -x5320 -x5318 -x5316 -x5314
1800.03/1800.53 v -x5313 -x5311 -x5310 -x5308 -x5307 -x5306 -x5304 -x5302 -x5300 -x5298 -x5297 -x5295 -x5293 -x5291 -x5289 -x5287 -x5285 -x5283
1800.03/1800.53 v -x5281 -x5279 -x5277 -x5275 -x5273 -x5271 -x5269 -x5267 -x5265 -x5263 -x5261 -x5259 -x5258 -x5256 -x5254 -x5253 -x5251 -x5250
1800.03/1800.53 v -x5248 -x5247 -x5245 -x5243 -x5241 -x5239 -x5237 -x5235 -x5233 -x5232 -x5230 -x5228 -x5226 -x5224 -x5223 -x5221 -x5219 x5217
1800.03/1800.53 v -x5216 -x5214 -x5213 -x5211 -x5209 -x5207 -x5206 -x5204 -x5203 -x5202 -x5201 -x5199 -x5197 -x5195 -x5194 -x5192 -x5190 -x5189
1800.03/1800.53 v -x5187 -x5185 -x5183 -x5182 -x5181 -x5179 -x5177 -x5175 -x5173 -x5171 -x5169 -x5168 -x5166 -x5164 -x5162 -x5160 -x5159 -x5157
1800.03/1800.53 v -x5156 -x5154 -x5152 -x5150 -x5149 -x5147 -x5145 -x5143 -x5142 -x5140 -x5138 -x5137 -x5135 -x5134 -x5132 -x5131 -x5129 -x5127
1800.03/1800.53 v -x5125 -x5124 -x5123 -x5121 -x5119 -x5117 -x5116 -x5114 -x5112 -x5111 -x5109 -x5107 -x5106 -x5104 -x5103 -x5101 -x5099 -x5097
1800.03/1800.53 v -x5095 -x5093 -x5091 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5075 -x5073 -x5071 -x5070 -x5068 -x5067
1800.03/1800.53 v -x5065 -x5063 -x5062 -x5060 -x5058 -x5057 -x5055 -x5053 -x5052 -x5050 -x5048 -x5046 -x5044 -x5043 -x5041 -x5039 -x5037 -x5036
1800.03/1800.53 v -x5034 -x5032 -x5030 -x5028 -x5026 -x5025 -x5024 -x5023 -x5021 -x5019 -x5018 -x5017 -x5015 -x5013 -x5011 -x5009 -x5008 -x5006
1800.03/1800.53 v -x5004 -x5002 -x5000 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4980 -x4978 -x4976 -x4974 -x4972
1800.03/1800.53 v x4970 -x4969 -x4967 -x4965 -x4963 -x4961 -x4959 -x4958 -x4956 -x4954 -x4953 -x4951 -x4949 -x4947 -x4945 -x4943 -x4941 -x4940
1800.03/1800.53 v -x4939 -x4937 -x4936 -x4934 -x4933 -x4931 -x4929 -x4928 -x4926 -x4924 x4922 -x4921 -x4919 -x4918 -x4916 -x4914 -x4912 -x4910
1800.03/1800.53 v -x4908 -x4906 -x4905 -x4903 -x4901 -x4899 -x4898 -x4896 -x4894 -x4892 -x4890 -x4889 -x4887 -x4885 -x4883 -x4881 -x4879 -x4877
1800.03/1800.53 v -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4855 -x4853 -x4851 -x4849 -x4847 -x4845 -x4843
1800.03/1800.53 v -x4841 -x4839 -x4838 -x4836 -x4834 -x4833 -x4831 -x4829 -x4827 -x4825 -x4823 -x4821 -x4819 -x4817 -x4815 -x4813 -x4811 -x4809
1800.03/1800.53 v -x4807 -x4805 -x4803 -x4801 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4779 -x4777
1800.03/1800.53 v -x4775 -x4773 -x4771 -x4769 -x4767 -x4765 -x4763 -x4761 -x4759 -x4757 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744 -x4743
1800.03/1800.53 v -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708
1800.03/1800.53 v -x4706 -x4704 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x4691 -x4689 -x4687 -x4685 -x4683 -x4682 -x4680 -x4678 -x4676 -x4674
1800.03/1800.53 v -x4672 -x4671 -x4669 -x4667 -x4665 -x4664 -x4662 -x4660 -x4658 -x4656 -x4655 -x4653 -x4651 -x4650 -x4648 -x4646 -x4644 -x4642
1800.03/1800.53 v -x4640 -x4638 -x4636 x4634 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621 -x4619 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607
1800.03/1800.53 v -x4605 -x4603 -x4601 -x4599 -x4597 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4581 -x4579 -x4578 -x4576 -x4574
1800.03/1800.53 v -x4573 -x4571 -x4570 -x4568 -x4566 -x4564 -x4562 -x4560 -x4558 -x4557 -x4555 -x4553 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542
1800.03/1800.53 v -x4541 -x4539 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528 -x4526 -x4525 -x4523 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512
1800.03/1800.53 v -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492 -x4490 -x4488 -x4486 -x4484 -x4482 -x4480 -x4478 -x4476
1800.03/1800.53 v -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456 -x4454 -x4452 -x4451 -x4449 -x4447 -x4445 -x4443 -x4441
1800.03/1800.53 v -x4440 -x4438 -x4436 -x4435 -x4433 -x4432 -x4431 -x4429 -x4427 -x4425 -x4423 -x4422 -x4421 -x4419 -x4417 -x4415 -x4413 -x4412
1800.03/1800.53 v -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4384 -x4382 -x4380 -x4379
1800.03/1800.53 v -x4377 -x4375 -x4373 -x4371 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 -x4356 -x4354 -x4353 -x4351 -x4349 -x4347 -x4345
1800.03/1800.53 v -x4344 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4315 -x4313
1800.03/1800.53 v -x4311 -x4309 -x4307 -x4305 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280
1800.03/1800.53 v -x4278 -x4276 -x4274 -x4272 -x4271 -x4269 -x4267 -x4265 -x4263 -x4261 -x4259 -x4257 -x4255 -x4253 -x4252 -x4250 -x4249 -x4247
1800.03/1800.53 v -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4226 -x4224 -x4223 -x4221 -x4219 -x4217 -x4215 -x4213
1800.03/1800.53 v -x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4192 -x4190 -x4189 -x4187 -x4185 -x4183 -x4181 -x4179
1800.03/1800.53 v -x4177 -x4175 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145
1800.03/1800.53 v -x4143 -x4141 -x4139 -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4119 -x4117 -x4115 -x4113 -x4111
1800.03/1800.53 v -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085 -x4084 -x4082 -x4080 -x4078 -x4076
1800.03/1800.53 v -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4063 -x4061 -x4059 -x4057 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4045
1800.03/1800.53 v -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4028 -x4026 -x4024 -x4022 -x4020 -x4018 -x4017 -x4015 -x4013 -x4011
1800.03/1800.53 v -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3984 -x3982 -x3980 -x3978 -x3976
1800.03/1800.53 v -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3963 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3947 -x3945 -x3943
1800.03/1800.53 v -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3918 -x3916 -x3914 -x3912 -x3910 -x3908
1800.03/1800.53 v -x3906 -x3904 -x3902 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 -x3873
1800.03/1800.53 v -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837
1800.03/1800.53 v -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803
1800.03/1800.53 v -x3801 -x3799 -x3797 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3777 -x3775 -x3773 -x3771 -x3769
1800.03/1800.53 v -x3767 -x3765 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734
1800.03/1800.53 v -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3707 -x3705 -x3703 -x3701 -x3699
1800.03/1800.53 v -x3697 -x3695 -x3693 -x3691 -x3689 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664
1800.03/1800.53 v -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628
1800.03/1800.53 v -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598 -x3597 -x3595 -x3593
1800.03/1800.53 v -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559
1800.03/1800.53 v -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526 -x3524
1800.03/1800.53 v -x3522 -x3520 -x3518 -x3516 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489
1800.03/1800.53 v -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453
1800.03/1800.53 v -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418
1800.03/1800.53 v -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384 -x3382
1800.03/1800.53 v -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346
1800.03/1800.53 v -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3318 -x3316 -x3314
1800.03/1800.53 v -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278
1800.03/1800.53 v -x3276 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243
1800.03/1800.53 v -x3241 -x3240 -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208
1800.03/1800.53 v -x3206 -x3204 -x3202 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3178 -x3176 -x3174
1800.03/1800.53 v -x3172 -x3170 -x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138
1800.03/1800.53 v -x3136 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103
1800.03/1800.53 v -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069
1800.03/1800.53 v -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3036 -x3034
1800.03/1800.53 v -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998
1800.03/1800.53 v -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962
1800.03/1800.53 v -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2927
1800.03/1800.53 v -x2926 -x2924 -x2922 -x2920 -x2918 -x2917 -x2915 -x2913 -x2911 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2899 -x2897 -x2895
1800.03/1800.53 v -x2893 -x2891 -x2889 -x2887 -x2886 -x2884 -x2882 -x2880 -x2878 -x2876 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2862
1800.03/1800.53 v -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2837 -x2835 -x2833 -x2831 -x2829
1800.03/1800.53 v -x2827 -x2825 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794
1800.03/1800.53 v -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758
1800.03/1800.53 v -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722
1800.03/1800.53 v -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686
1800.03/1800.53 v -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651
1800.03/1800.53 v -x2649 -x2647 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2631 -x2629 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618
1800.03/1800.53 v -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2597 -x2595 -x2593 -x2591 -x2589 -x2588 -x2586
1800.03/1800.53 v -x2584 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552
1800.03/1800.53 v -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516
1800.03/1800.53 v -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480
1800.03/1800.53 v -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444
1800.03/1800.53 v -x2443 -x2441 -x2439 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411
1800.03/1800.53 v -x2409 -x2407 -x2406 -x2404 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377
1800.03/1800.53 v -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x2347 -x2345 -x2343
1800.03/1800.53 v -x2341 -x2339 -x2337 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308
1800.03/1800.53 v x2306 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273
1800.03/1800.53 v -x2271 -x2269 -x2267 -x2265 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239
1800.03/1800.53 v -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203
1800.03/1800.53 v -x2201 -x2199 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168
1800.03/1800.53 v -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133
1800.03/1800.53 v -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097
1800.03/1800.53 v -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063
1800.03/1800.53 v -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2050 -x2048 -x2046 -x2044 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029
1800.03/1800.53 v -x2027 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995
1800.03/1800.53 v -x1993 -x1991 -x1989 -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961
1800.03/1800.53 v -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x1927 -x1925
1800.03/1800.53 v -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889
1800.03/1800.53 v -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853
1800.03/1800.53 v -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820
1800.03/1800.53 v -x1818 -x1816 -x1814 -x1813 -x1811 -x1809 -x1807 -x1805 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786
1800.03/1800.53 v -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750
1800.03/1800.53 v -x1748 -x1746 -x1744 -x1742 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x1715
1800.03/1800.53 v -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679
1800.03/1800.53 v -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643
1800.03/1800.53 v -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608
1800.03/1800.53 v -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574
1800.03/1800.53 v -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538
1800.03/1800.53 v -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502
1800.03/1800.53 v -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466
1800.03/1800.53 v -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1447 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432
1800.03/1800.53 v -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1405 -x1403 -x1401 -x1399 -x1397
1800.03/1800.53 v -x1395 -x1393 -x1391 -x1389 -x1387 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363
1800.03/1800.53 v -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329
1800.03/1800.53 v -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1297 -x1295
1800.03/1800.53 v -x1293 -x1291 -x1289 -x1287 -x1285 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260
1800.03/1800.53 v -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224
1800.03/1800.53 v -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188
1800.03/1800.53 v -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152
1800.03/1800.53 v -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116
1800.03/1800.53 v -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082
1800.03/1800.53 v -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046
1800.03/1800.53 v -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010
1800.03/1800.53 v -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x997 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971
1800.03/1800.53 v -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929
1800.03/1800.53 v -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888
1800.03/1800.53 v -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846
1800.03/1800.53 v -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806
1800.03/1800.53 v -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764
1800.03/1800.53 v -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722
1800.03/1800.53 v -x720 -x718 -x716 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681
1800.03/1800.53 v -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639
1800.03/1800.53 v -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597
1800.03/1800.53 v -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x570 -x568 -x566 -x564 -x562 -x560 -x558
1800.03/1800.53 v -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516
1800.03/1800.53 v -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474
1800.03/1800.53 v -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432
1800.03/1800.53 v -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 x390
1800.03/1800.53 v -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348
1800.03/1800.53 v -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306
1800.03/1800.53 v -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266
1800.03/1800.53 v -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224
1800.03/1800.53 v -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196
1800.03/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.53 c Solving Time : 1740.93
1800.03/1800.53 c Original Problem :
1800.03/1800.53 c Problem name : HOME/instance-2663981-1276643770.opb
1800.03/1800.53 c Variables : 6033 (6033 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.53 c Constraints : 11966 initial, 11966 maximal
1800.03/1800.53 c Presolved Problem :
1800.03/1800.53 c Problem name : t_HOME/instance-2663981-1276643770.opb
1800.03/1800.53 c Variables : 3318 (3318 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.53 c Constraints : 6548 initial, 6600 maximal
1800.03/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c dualfix : 0.00 3 0 0 0 0 0 0 0
1800.03/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.53 c implics : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.53 c probing : 0.06 0 0 0 0 0 0 0 0
1800.03/1800.53 c linear : 0.14 4 2708 0 4 0 5418 0 0
1800.03/1800.53 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.03/1800.53 c root node : - 0 - - 0 - - - -
1800.03/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.53 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.53 c logicor : 6548+ 0 3302842 0 1 133704 2076676 0 0 0
1800.03/1800.53 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.03/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.53 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.53 c logicor : 97.57 0.00 97.57 0.00 0.00
1800.03/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.53 c vbounds : 3.15 2 0 0
1800.03/1800.53 c rootredcost : 4.53 0 0 0
1800.03/1800.53 c pseudoobj : 1406.69 6971960 1262030 1929368
1800.03/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.53 c propagation : 353.78 1395734 1395734 1395734 65.6 1216 64.6 -
1800.03/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.53 c pseudo solution : 6.23 6483 6483 6483 60.3 392 61.7 -
1800.03/1800.53 c applied globally : - - - 1403825 65.6 - - -
1800.03/1800.53 c applied locally : - - - 0 0.0 - - -
1800.03/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.53 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.53 c redcost : 0.00 0 0 0 0 0
1800.03/1800.53 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.53 c intobj : 0.00 0 0 0 0 0
1800.03/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.53 c gomory : 0.00 0 0 0 0 0
1800.03/1800.53 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.53 c cmir : 0.00 0 0 0 0 0
1800.03/1800.53 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.53 c clique : 0.00 0 0 0 0 0
1800.03/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.53 c mcf : 0.00 0 0 0 0 0
1800.03/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.53 c Pricers : Time Calls Vars
1800.03/1800.53 c problem variables: 0.00 0 0
1800.03/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.53 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.53 c inference : 27.83 2886304 0 0 0 0 5772608
1800.03/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.53 c random : 0.00 0 0 0 0 0 0
1800.03/1800.53 c Primal Heuristics : Time Calls Found
1800.03/1800.53 c LP solutions : 0.00 - 0
1800.03/1800.53 c pseudo solutions : 0.00 - 1
1800.03/1800.53 c oneopt : 3.64 0 0
1800.03/1800.53 c trivial : 0.02 2 2
1800.03/1800.53 c simplerounding : 0.00 0 0
1800.03/1800.53 c zirounding : 0.00 0 0
1800.03/1800.53 c rounding : 0.00 0 0
1800.03/1800.53 c shifting : 0.00 0 0
1800.03/1800.53 c intshifting : 0.00 0 0
1800.03/1800.53 c twoopt : 0.00 0 0
1800.03/1800.53 c fixandinfer : 0.00 0 0
1800.03/1800.53 c feaspump : 0.00 0 0
1800.03/1800.53 c coefdiving : 0.00 0 0
1800.03/1800.53 c pscostdiving : 0.00 0 0
1800.03/1800.53 c fracdiving : 0.00 0 0
1800.03/1800.53 c veclendiving : 0.00 0 0
1800.03/1800.53 c intdiving : 0.00 0 0
1800.03/1800.53 c actconsdiving : 0.00 0 0
1800.03/1800.53 c objpscostdiving : 0.00 0 0
1800.03/1800.53 c rootsoldiving : 0.00 0 0
1800.03/1800.53 c linesearchdiving : 0.00 0 0
1800.03/1800.53 c guideddiving : 0.00 0 0
1800.03/1800.53 c octane : 0.00 0 0
1800.03/1800.53 c rens : 0.00 0 0
1800.03/1800.53 c rins : 0.00 0 0
1800.03/1800.53 c localbranching : 0.00 0 0
1800.03/1800.53 c mutation : 0.00 0 0
1800.03/1800.53 c crossover : 0.00 0 0
1800.03/1800.53 c dins : 0.00 0 0
1800.03/1800.53 c undercover : 0.00 0 0
1800.03/1800.53 c nlp : 2.14 0 0
1800.03/1800.53 c trysol : 2.02 0 0
1800.03/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.53 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.53 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.53 c (at root node) : - 0 0 0.00 -
1800.03/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.53 c B&B Tree :
1800.03/1800.53 c number of runs : 1
1800.03/1800.53 c nodes : 3609727
1800.03/1800.53 c nodes (total) : 3609727
1800.03/1800.53 c nodes left : 3009
1800.03/1800.53 c max depth : 3038
1800.03/1800.53 c max depth (total): 3038
1800.03/1800.53 c backtracks : 725234 (20.1%)
1800.03/1800.53 c delayed cutoffs : 698935
1800.03/1800.53 c repropagations : 1221391 (1509213 domain reductions, 678795 cutoffs)
1800.03/1800.53 c avg switch length: 2.16
1800.03/1800.53 c switching time : 39.49
1800.03/1800.53 c Solution :
1800.03/1800.53 c Solutions found : 3 (3 improvements)
1800.03/1800.53 c First Solution : +3.14000000000000e+03 (in run 1, after 0 nodes, 0.06 seconds, depth 0, found by <trivial>)
1800.03/1800.53 c Primal Bound : +3.50000000000000e+01 (in run 1, after 3034 nodes, 3.30 seconds, depth 3033, found by <relaxation>)
1800.03/1800.53 c Dual Bound : +8.00000000000000e+00
1800.03/1800.53 c Gap : 337.50 %
1800.03/1800.53 c Root Dual Bound : +7.00000000000000e+00
1800.03/1800.53 c Root Iterations : 0
1800.03/1800.59 c Time complete: 1800.11.
OK 35
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663981-1276643770/watcher-2663981-1276643770 -o /tmp/evaluation-result-2663981-1276643770/solver-2663981-1276643770 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663981-1276643770.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11681 /proc/meminfo: memFree=1713244/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=5556 CPUtime=0 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 887 0 0 0 0 0 0 0 18 0 1 0 5669812 5689344 809 1992294400 4194304 7136930 140736980077200 18446744073709551615 6357120 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11681/statm: 1389 809 249 719 0 668 0 [startup+0.0656871 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11681 /proc/meminfo: memFree=1713244/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=13588 CPUtime=0.06 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 2897 0 0 0 5 1 0 0 21 0 1 0 5669812 13914112 2818 1992294400 4194304 7136930 140736980077200 18446744073709551615 5648464 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11681/statm: 3397 2818 271 719 0 2676 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13588 [startup+0.10169 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11681 /proc/meminfo: memFree=1713244/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=14468 CPUtime=0.1 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 3103 0 0 0 9 1 0 0 21 0 1 0 5669812 14815232 3024 1992294400 4194304 7136930 140736980077200 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11681/statm: 3617 3024 271 719 0 2896 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 14468 [startup+0.301711 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11681 /proc/meminfo: memFree=1713244/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=33196 CPUtime=0.29 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 8180 0 0 0 27 2 0 0 21 0 1 0 5669812 33992704 7747 1992294400 4194304 7136930 140736980077200 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 8299 7747 303 719 0 7578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33196 [startup+0.701755 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11681 /proc/meminfo: memFree=1713244/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=41976 CPUtime=0.69 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 11952 0 0 0 62 7 0 0 22 0 1 0 5669812 42983424 9717 1992294400 4194304 7136930 140736980077200 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10494 9717 384 719 0 9773 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41976 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11682 /proc/meminfo: memFree=1675788/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=41976 CPUtime=1.49 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 11953 0 0 0 141 8 0 0 25 0 1 0 5669812 42983424 9718 1992294400 4194304 7136930 140736980077200 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10494 9718 384 719 0 9773 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 41976 [startup+3.10102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11682 /proc/meminfo: memFree=1675044/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=42644 CPUtime=3.09 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12094 0 0 0 300 9 0 0 25 0 1 0 5669812 43667456 9859 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10661 9859 384 719 0 9940 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 42644 [startup+6.30136 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11682 /proc/meminfo: memFree=1674300/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=43164 CPUtime=6.29 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12235 0 0 0 610 19 0 0 25 0 1 0 5669812 44199936 10000 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10791 10000 390 719 0 10070 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43164 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11682 /proc/meminfo: memFree=1674052/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=43296 CPUtime=12.69 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12263 0 0 0 1225 44 0 0 25 0 1 0 5669812 44335104 10028 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10824 10028 390 719 0 10103 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43296 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11682 /proc/meminfo: memFree=1673680/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=43568 CPUtime=25.48 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12345 0 0 0 2463 85 0 0 25 0 1 0 5669812 44613632 10110 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10892 10110 390 719 0 10171 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43568 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11682 /proc/meminfo: memFree=1673556/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=43700 CPUtime=51.07 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12384 0 0 0 4947 160 0 0 25 0 1 0 5669812 44748800 10149 1992294400 4194304 7136930 140736980077200 18446744073709551615 4349899 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10925 10149 390 719 0 10204 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43700 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11684 /proc/meminfo: memFree=1673308/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=43832 CPUtime=102.27 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12419 0 0 0 9903 324 0 0 25 0 1 0 5669812 44883968 10184 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10958 10184 390 719 0 10237 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 43832 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11686 /proc/meminfo: memFree=1672936/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=43964 CPUtime=162.25 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12458 0 0 0 15706 519 0 0 25 0 1 0 5669812 45019136 10223 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 10991 10223 390 719 0 10270 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43964 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11688 /proc/meminfo: memFree=1672936/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44104 CPUtime=222.23 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12471 0 0 0 21502 721 0 0 25 0 1 0 5669812 45162496 10236 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507391 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11026 10236 390 719 0 10305 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 44104 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11688 /proc/meminfo: memFree=1672812/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44104 CPUtime=282.22 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12476 0 0 0 27306 916 0 0 25 0 1 0 5669812 45162496 10241 1992294400 4194304 7136930 140736980077200 18446744073709551615 4349970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11026 10241 390 719 0 10305 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 44104 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11690 /proc/meminfo: memFree=1672688/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44104 CPUtime=342.2 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12485 0 0 0 33109 1111 0 0 25 0 1 0 5669812 45162496 10250 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11026 10250 390 719 0 10305 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44104 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11692 /proc/meminfo: memFree=1672564/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44104 CPUtime=402.19 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12492 0 0 0 38905 1314 0 0 25 0 1 0 5669812 45162496 10257 1992294400 4194304 7136930 140736980077200 18446744073709551615 4703869 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11026 10257 390 719 0 10305 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 44104 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11694 /proc/meminfo: memFree=1672316/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44236 CPUtime=462.17 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12507 0 0 0 44706 1511 0 0 25 0 1 0 5669812 45297664 10272 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507437 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11059 10272 390 719 0 10338 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 44236 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11696 /proc/meminfo: memFree=1672192/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44236 CPUtime=522.15 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12510 0 0 0 50498 1717 0 0 25 0 1 0 5669812 45297664 10275 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11059 10275 390 719 0 10338 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 44236 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11696 /proc/meminfo: memFree=1671944/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44520 CPUtime=582.14 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12574 0 0 0 56307 1907 0 0 25 0 1 0 5669812 45588480 10339 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11130 10339 390 719 0 10409 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 44520 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11698 /proc/meminfo: memFree=1671820/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44520 CPUtime=642.13 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12580 0 0 0 62108 2105 0 0 25 0 1 0 5669812 45588480 10345 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11130 10345 390 719 0 10409 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 44520 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11704 /proc/meminfo: memFree=1671076/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44932 CPUtime=882.06 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12669 0 0 0 85307 2899 0 0 25 0 1 0 5669812 46010368 10434 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11233 10434 390 719 0 10512 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 44932 [startup+942.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11706 /proc/meminfo: memFree=1670952/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44932 CPUtime=942.04 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12669 0 0 0 91109 3095 0 0 25 0 1 0 5669812 46010368 10434 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11233 10434 390 719 0 10512 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 44932 [startup+1002.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 11711 /proc/meminfo: memFree=1670208/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44932 CPUtime=1002.03 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12695 0 0 0 96909 3294 0 0 25 0 1 0 5669812 46010368 10460 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11233 10460 390 719 0 10512 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 44932 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 11713 /proc/meminfo: memFree=1670208/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=44932 CPUtime=1062.01 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12696 0 0 0 102710 3491 0 0 25 0 1 0 5669812 46010368 10461 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11233 10461 390 719 0 10512 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 44932 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11715 /proc/meminfo: memFree=1670208/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1122 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12704 0 0 0 108509 3691 0 0 25 0 1 0 5669812 46145536 10469 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10469 390 719 0 10545 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 45064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11715 /proc/meminfo: memFree=1670208/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1181.98 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12708 0 0 0 114306 3892 0 0 25 0 1 0 5669812 46145536 10473 1992294400 4194304 7136930 140736980077200 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10473 390 719 0 10545 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 45064 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11717 /proc/meminfo: memFree=1670084/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1241.97 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12708 0 0 0 120103 4094 0 0 25 0 1 0 5669812 46145536 10473 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10473 390 719 0 10545 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 45064 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11719 /proc/meminfo: memFree=1669960/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1301.96 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12712 0 0 0 125892 4304 0 0 25 0 1 0 5669812 46145536 10477 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10477 390 719 0 10545 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 45064 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 11721 /proc/meminfo: memFree=1669960/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1361.94 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12714 0 0 0 131688 4506 0 0 25 0 1 0 5669812 46145536 10479 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10479 390 719 0 10545 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 45064 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11723 /proc/meminfo: memFree=1669836/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1421.93 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12714 0 0 0 137499 4694 0 0 25 0 1 0 5669812 46145536 10479 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10479 390 719 0 10545 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 45064 [startup+1482.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 11723 /proc/meminfo: memFree=1669712/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1481.9 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12714 0 0 0 143300 4890 0 0 25 0 1 0 5669812 46145536 10479 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10479 390 719 0 10545 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 45064 [startup+1542.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 11725 /proc/meminfo: memFree=1669588/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1541.89 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12725 0 0 0 149116 5073 0 0 25 0 1 0 5669812 46145536 10490 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10490 390 719 0 10545 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 45064 [startup+1602.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 11727 /proc/meminfo: memFree=1669464/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1601.88 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12729 0 0 0 154928 5260 0 0 25 0 1 0 5669812 46145536 10494 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10494 390 719 0 10545 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 45064 [startup+1662.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 11729 /proc/meminfo: memFree=1669340/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1661.85 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12729 0 0 0 160739 5446 0 0 25 0 1 0 5669812 46145536 10494 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10494 390 719 0 10545 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 45064 [startup+1722.3 s] /proc/loadavg: 1.05 1.04 1.00 2/107 11731 /proc/meminfo: memFree=1669216/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1721.84 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12729 0 0 0 166546 5638 0 0 25 0 1 0 5669812 46145536 10494 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10494 390 719 0 10545 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 45064 [startup+1782.3 s] /proc/loadavg: 1.12 1.06 1.00 2/107 11731 /proc/meminfo: memFree=1668844/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1781.83 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12732 0 0 0 172357 5826 0 0 25 0 1 0 5669812 46145536 10497 1992294400 4194304 7136930 140736980077200 18446744073709551615 5507327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10497 390 719 0 10545 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 45064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.09 1.06 1.00 2/107 11733 /proc/meminfo: memFree=1668844/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1800.03 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12732 0 0 0 174114 5889 0 0 25 0 1 0 5669812 46145536 10497 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10497 390 719 0 10545 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 45064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.09 1.06 1.00 2/107 11733 /proc/meminfo: memFree=1668844/2059040 swapFree=4192956/4192956 [pid=11681] ppid=11679 vsize=45064 CPUtime=1800.03 /proc/11681/stat : 11681 (pbscip.linux.x8) R 11679 11681 10926 0 -1 4202496 12732 0 0 0 174114 5889 0 0 25 0 1 0 5669812 46145536 10497 1992294400 4194304 7136930 140736980077200 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11681/statm: 11266 10497 390 719 0 10545 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 45064 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.12 CPU user time (s): 1741.23 CPU system time (s): 58.898 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 45064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1741.23 system time used= 58.898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12873 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2644 runsolver used 2.99554 second user time and 8.5147 second system time The end
Begin job on node037 at 2010-06-16 01:16:10 IDJOB=2663981 IDBENCH=25036 IDSOLVER=1167 FILE ID=node037/2663981-1276643770 PBS_JOBID= 11172372 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.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-2663981-1276643770/watcher-2663981-1276643770 -o /tmp/evaluation-result-2663981-1276643770/solver-2663981-1276643770 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663981-1276643770.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb30dc68ef00299e3d850b79fb8a2728 RANDOM SEED=1067300147 node037.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.248 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.49 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.248 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.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1713772 kB Buffers: 60640 kB Cached: 148500 kB SwapCached: 0 kB Active: 125452 kB Inactive: 143328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1713772 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3568 kB Writeback: 0 kB AnonPages: 59576 kB Mapped: 15364 kB Slab: 54768 kB PageTables: 3940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180600 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= 62580 MiB End job on node037 at 2010-06-16 01:46:12