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) | 27 | 1800.13 | 1800.69 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
| MD5SUM | b63b2d912c01ff826a63051b401330db |
| 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 | 23 |
| Best CPU time to get the best result obtained on this benchmark | 2.99154 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 23 |
| Optimality of the best value was proved | YES |
| Number of variables | 4427 |
| Total number of constraints | 12661 |
| Number of constraints which are clauses | 12661 |
| 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 | 63 |
| Number of terms in the objective function | 2136 |
| 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 | 2136 |
| 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 | 2136 |
| 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-2663928-1276632593.opb>
0.19/0.22 c original problem has 4427 variables (4427 bin, 0 int, 0 impl, 0 cont) and 12661 constraints
0.19/0.22 c problem read
0.19/0.22 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.30 c presolving:
0.39/0.42 c (round 1) 2291 del vars, 4404 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23146 impls, 0 clqs
0.39/0.43 c (round 2) 2291 del vars, 5481 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23146 impls, 0 clqs
0.49/0.52 c (round 3) 2291 del vars, 5481 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 7114 upgd conss, 23146 impls, 0 clqs
0.49/0.55 c (round 4) 2291 del vars, 5481 del conss, 167 chg bounds, 0 chg sides, 0 chg coeffs, 7180 upgd conss, 23146 impls, 0 clqs
0.59/0.62 c (0.3s) probing: 101/2136 (4.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.62 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.59/0.62 c presolving (5 rounds):
0.59/0.62 c 2291 deleted vars, 5481 deleted constraints, 167 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.62 c 23146 implications, 0 cliques
0.59/0.62 c presolved problem has 2136 variables (2136 bin, 0 int, 0 impl, 0 cont) and 7180 constraints
0.59/0.62 c 7180 constraints of type <logicor>
0.59/0.62 c transformed objective value is always integral (scale: 1)
0.59/0.62 c Presolving Time: 0.31
0.59/0.62 c - non default parameters ----------------------------------------------------------------------
0.59/0.62 c # SCIP version 1.2.1.2
0.59/0.62 c
0.59/0.62 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.62 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.62 c conflict/interconss = 0
0.59/0.62 c
0.59/0.62 c # should binary conflicts be preferred?
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c conflict/preferbinary = TRUE
0.59/0.62 c
0.59/0.62 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.62 c constraints/agelimit = 1
0.59/0.62 c
0.59/0.62 c # should enforcement of pseudo solution be disabled?
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/disableenfops = TRUE
0.59/0.62 c
0.59/0.62 c # frequency for displaying node information lines
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.62 c display/freq = 10000
0.59/0.62 c
0.59/0.62 c # maximal time in seconds to run
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/time = 1799.78
0.59/0.62 c
0.59/0.62 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.62 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.62 c limits/memory = 1620
0.59/0.62 c
0.59/0.62 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.62 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.62 c lp/solvefreq = -1
0.59/0.62 c
0.59/0.62 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.62 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.62 c lp/pricing = a
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify inequalities
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/linear/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c # should presolving try to simplify knapsacks
0.59/0.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.62 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.62 c
0.59/0.62 c # priority of node selection rule <dfs> in standard mode
0.59/0.62 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.62 c nodeselection/dfs/stdpriority = 1000000
0.59/0.62 c
0.59/0.62 c -----------------------------------------------------------------------------------------------
0.59/0.62 c start solving
0.59/0.63 c
0.59/0.63 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.63 c 0.3s| 1 | 2 | 0 | - | 16M| 0 | - |2136 |7180 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
0.89/0.92 o 31
0.89/0.92 c * 0.6s| 802 | 788 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
0.89/0.92 o 30
0.89/0.92 c * 0.6s| 815 | 787 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 3.000000e+01 |2900.00%
0.89/0.93 o 29
0.89/0.93 c * 0.6s| 834 | 786 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 | 2 | 0 | 1.000000e+00 | 2.900000e+01 |2800.00%
4.40/4.43 o 28
4.40/4.43 c * 4.0s| 8109 | 776 | 0 | 0.0 | 16M| 801 | - |2136 |7181 | 0 | 0 | 0 |4044 | 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
5.29/5.33 c 4.8s| 10000 | 773 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 |5107 | 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
10.29/10.39 c 9.7s| 20000 | 772 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
15.39/15.48 c 14.6s| 30000 | 760 | 0 | 0.0 | 16M| 801 | - |2136 |7203 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
20.48/20.57 c 19.5s| 40000 | 763 | 0 | 0.0 | 16M| 801 | - |2136 |7183 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
25.69/25.70 c 24.4s| 50000 | 761 | 0 | 0.0 | 16M| 801 | - |2136 |7182 | 0 | 0 | 0 | 27k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
31.48/31.56 c 30.0s| 60000 | 762 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
37.68/37.76 c 35.9s| 70000 | 766 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
43.78/43.82 c 41.7s| 80000 | 765 | 0 | 0.0 | 16M| 801 | - |2136 |7184 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
49.87/49.98 c 47.6s| 90000 | 764 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
55.98/56.01 c 53.4s|100000 | 764 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
61.87/61.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.87/61.98 c 59.1s|110000 | 766 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
67.97/68.06 c 64.9s|120000 | 758 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
73.67/73.73 c 70.4s|130000 | 761 | 0 | 0.0 | 16M| 801 | - |2136 |7184 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
79.67/79.73 c 76.1s|140000 | 761 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
85.46/85.56 c 81.7s|150000 | 759 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 | 87k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
91.06/91.13 c 87.0s|160000 | 761 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 93k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
97.15/97.21 c 92.8s|170000 | 760 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
103.06/103.17 c 98.5s|180000 | 758 | 0 | 0.0 | 16M| 801 | - |2136 |7208 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
109.06/109.14 c 104s|190000 | 760 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
115.15/115.29 c 110s|200000 | 755 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
121.45/121.58 c 116s|210000 | 760 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
127.35/127.43 c 122s|220000 | 762 | 0 | 0.0 | 16M| 801 | - |2136 |7184 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
133.45/133.57 c 128s|230000 | 761 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
139.25/139.32 c 133s|240000 | 757 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 142k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
145.05/145.11 c 139s|250000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
150.84/150.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.84/150.90 c 144s|260000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
156.84/156.92 c 150s|270000 | 751 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
162.83/162.95 c 156s|280000 | 759 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 166k| 0 | 1.000000e+00 | 2.800000e+01 |2700.00%
166.05/166.16 o 27
166.05/166.16 c * 159s|285448 | 768 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 | 169k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
168.84/168.95 c 161s|290000 | 758 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
174.94/175.09 c 167s|300000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
181.03/181.11 c 173s|310000 | 753 | 0 | 0.0 | 16M| 801 | - |2136 |7218 | 0 | 0 | 0 | 185k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
186.73/186.83 c 179s|320000 | 760 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 | 190k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
192.53/192.69 c 184s|330000 | 760 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 196k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
198.42/198.52 c 190s|340000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
204.23/204.39 c 195s|350000 | 752 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 208k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
210.62/210.73 c 202s|360000 | 755 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
216.93/217.05 c 208s|370000 | 754 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
222.92/223.04 c 213s|380000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
229.52/229.60 c 220s|390000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
235.62/235.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.62/235.76 c 226s|400000 | 754 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
241.71/241.87 c 231s|410000 | 751 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
248.11/248.21 c 237s|420000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
254.21/254.30 c 243s|430000 | 759 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
260.41/260.55 c 249s|440000 | 751 | 0 | 0.0 | 16M| 801 | - |2136 |7183 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
266.61/266.77 c 255s|450000 | 762 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
272.61/272.80 c 261s|460000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7182 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
278.70/278.83 c 267s|470000 | 751 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
285.00/285.17 c 273s|480000 | 751 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 285k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
291.40/291.59 c 279s|490000 | 753 | 0 | 0.0 | 16M| 801 | - |2136 |7183 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
298.00/298.12 c 285s|500000 | 757 | 0 | 0.0 | 16M| 801 | - |2136 |7188 | 0 | 0 | 0 | 298k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
304.29/304.43 c 291s|510000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 303k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
310.59/310.74 c 297s|520000 | 752 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
316.49/316.62 c 303s|530000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
322.49/322.66 c 309s|540000 | 746 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 | 322k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
328.98/329.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.98/329.13 c 315s|550000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7204 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
335.29/335.47 c 321s|560000 | 746 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
341.69/341.84 c 327s|570000 | 748 | 0 | 0.0 | 16M| 801 | - |2136 |7200 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
347.88/348.00 c 333s|580000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
354.28/354.40 c 339s|590000 | 756 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
360.48/360.65 c 345s|600000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7184 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
366.78/366.98 c 351s|610000 | 751 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
373.07/373.24 c 357s|620000 | 749 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
379.17/379.38 c 363s|630000 | 754 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 376k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
385.07/385.24 c 369s|640000 | 753 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
391.07/391.29 c 375s|650000 | 746 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
397.27/397.45 c 380s|660000 | 746 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
403.47/403.67 c 386s|670000 | 752 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 399k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
409.56/409.77 c 392s|680000 | 746 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 | 405k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
415.46/415.68 c 398s|690000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
421.46/421.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
421.46/421.64 c 404s|700000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7200 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
427.77/427.97 c 410s|710000 | 751 | 0 | 0.0 | 16M| 801 | - |2136 |7202 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
434.06/434.21 c 416s|720000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7209 | 0 | 0 | 0 | 429k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
440.35/440.56 c 422s|730000 | 757 | 0 | 0.0 | 16M| 801 | - |2136 |7209 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
446.65/446.85 c 428s|740000 | 743 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
453.15/453.31 c 434s|750000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
459.55/459.80 c 440s|760000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7210 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
465.74/465.96 c 446s|770000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
472.15/472.37 c 452s|780000 | 741 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 466k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
478.14/478.32 c 458s|790000 | 744 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 | 472k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
484.74/484.90 c 464s|800000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
491.45/491.64 c 471s|810000 | 743 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
497.84/498.09 c 477s|820000 | 750 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
503.84/504.09 c 483s|830000 | 738 | 0 | 0.0 | 16M| 801 | - |2136 |7202 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
510.13/510.37 c 489s|840000 | 743 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 | 502k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
516.53/516.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.53/516.79 c 495s|850000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
522.73/522.93 c 501s|860000 | 744 | 0 | 0.0 | 16M| 801 | - |2136 |7209 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
528.93/529.12 c 507s|870000 | 737 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
535.53/535.78 c 513s|880000 | 746 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 526k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
542.13/542.37 c 519s|890000 | 745 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
548.22/548.49 c 525s|900000 | 742 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
554.42/554.65 c 531s|910000 | 740 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
560.82/561.03 c 537s|920000 | 747 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
567.01/567.24 c 543s|930000 | 746 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 556k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
573.71/573.95 c 550s|940000 | 743 | 0 | 0.0 | 16M| 801 | - |2136 |7203 | 0 | 0 | 0 | 562k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
580.01/580.25 c 556s|950000 | 742 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
586.41/586.64 c 562s|960000 | 741 | 0 | 0.0 | 16M| 801 | - |2136 |7205 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
592.91/593.14 c 568s|970000 | 739 | 0 | 0.0 | 16M| 801 | - |2136 |7201 | 0 | 0 | 0 | 580k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
599.50/599.78 c 574s|980000 | 742 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 586k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
605.81/606.00 c 580s|990000 | 740 | 0 | 0.0 | 16M| 801 | - |2136 |7202 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
612.00/612.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
612.00/612.22 c 586s| 1000k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7205 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
618.60/618.85 c 593s| 1010k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7202 | 0 | 0 | 0 | 604k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
625.00/625.22 c 599s| 1020k| 748 | 0 | 0.0 | 16M| 801 | - |2136 |7183 | 0 | 0 | 0 | 609k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
631.50/631.75 c 605s| 1030k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7184 | 0 | 0 | 0 | 615k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
638.00/638.23 c 611s| 1040k| 743 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
644.49/644.74 c 618s| 1050k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 627k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
651.19/651.40 c 624s| 1060k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
657.59/657.86 c 630s| 1070k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7202 | 0 | 0 | 0 | 638k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
663.99/664.22 c 636s| 1080k| 746 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
670.69/670.98 c 643s| 1090k| 743 | 0 | 0.0 | 16M| 801 | - |2136 |7183 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
677.38/677.65 c 649s| 1100k| 737 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
683.68/683.99 c 655s| 1110k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 | 662k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
690.18/690.43 c 661s| 1120k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 668k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
696.58/696.82 c 668s| 1130k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 | 673k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
703.07/703.35 c 674s| 1140k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7183 | 0 | 0 | 0 | 680k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
709.87/710.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.87/710.14 c 680s| 1150k| 748 | 0 | 0.0 | 17M| 801 | - |2136 |7420 | 0 | 0 | 0 | 686k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
715.87/716.16 c 686s| 1160k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 691k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
722.17/722.46 c 692s| 1170k| 743 | 0 | 0.0 | 16M| 801 | - |2136 |7240 | 0 | 0 | 0 | 698k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
728.07/728.34 c 698s| 1180k| 739 | 0 | 0.0 | 17M| 801 | - |2136 |7518 | 0 | 0 | 0 | 704k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
734.66/734.95 c 704s| 1190k| 742 | 0 | 0.0 | 17M| 801 | - |2136 |7261 | 0 | 0 | 0 | 710k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
741.07/741.32 c 710s| 1200k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7219 | 0 | 0 | 0 | 716k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
747.56/747.82 c 717s| 1210k| 746 | 0 | 0.0 | 16M| 801 | - |2136 |7222 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
753.66/753.93 c 722s| 1220k| 740 | 0 | 0.0 | 17M| 801 | - |2136 |7227 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
760.05/760.32 c 729s| 1230k| 746 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 734k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
767.06/767.33 c 735s| 1240k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 | 740k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
774.06/774.32 c 742s| 1250k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7185 | 0 | 0 | 0 | 747k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
780.76/781.06 c 748s| 1260k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7209 | 0 | 0 | 0 | 753k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
787.26/787.56 c 755s| 1270k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7211 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
793.75/794.04 c 761s| 1280k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
800.25/800.59 c 767s| 1290k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 771k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
806.45/806.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.45/806.73 c 773s| 1300k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 | 777k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
813.24/813.51 c 780s| 1310k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7200 | 0 | 0 | 0 | 783k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
819.04/819.37 c 785s| 1320k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 | 788k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
825.03/825.38 c 791s| 1330k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 794k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
830.63/830.90 c 796s| 1340k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
837.04/837.31 c 802s| 1350k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
843.13/843.47 c 808s| 1360k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
849.33/849.62 c 814s| 1370k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
855.32/855.66 c 820s| 1380k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
861.12/861.40 c 825s| 1390k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
867.22/867.52 c 831s| 1400k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 | 832k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
873.72/874.02 c 838s| 1410k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 838k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
879.73/880.01 c 843s| 1420k| 737 | 0 | 0.0 | 16M| 801 | - |2136 |7204 | 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
885.81/886.11 c 849s| 1430k| 734 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
891.73/892.10 c 855s| 1440k| 748 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 855k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
897.82/898.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.82/898.18 c 861s| 1450k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
904.21/904.58 c 867s| 1460k| 738 | 0 | 0.0 | 17M| 801 | - |2136 |7216 | 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
910.52/910.84 c 873s| 1470k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
916.41/916.72 c 878s| 1480k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 878k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
922.81/923.15 c 885s| 1490k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 884k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
929.12/929.48 c 891s| 1500k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 890k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
935.71/936.09 c 897s| 1510k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 896k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
941.70/942.04 c 903s| 1520k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7184 | 0 | 0 | 0 | 901k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
948.10/948.45 c 909s| 1530k| 749 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
954.30/954.65 c 915s| 1540k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 | 913k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
960.29/960.61 c 921s| 1550k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7200 | 0 | 0 | 0 | 919k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
966.60/966.96 c 927s| 1560k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 | 925k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
972.99/973.38 c 933s| 1570k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 931k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
979.29/979.68 c 939s| 1580k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 937k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
985.49/985.87 c 945s| 1590k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 943k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
991.90/992.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.90/992.21 c 951s| 1600k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 | 949k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
997.79/998.18 c 957s| 1610k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 | 955k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1003.89/1004.25 c 962s| 1620k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 | 960k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1010.28/1010.63 c 969s| 1630k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1016.68/1017.06 c 975s| 1640k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1023.28/1023.64 c 981s| 1650k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7182 | 0 | 0 | 0 | 979k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1029.48/1029.87 c 987s| 1660k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 | 985k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1035.88/1036.27 c 993s| 1670k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 | 991k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1042.07/1042.44 c 999s| 1680k| 737 | 0 | 0.0 | 17M| 801 | - |2136 |7317 | 0 | 0 | 0 | 997k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1048.57/1048.98 c 1005s| 1690k| 749 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 |1003k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1054.77/1055.17 c 1011s| 1700k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 |1008k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1060.97/1061.33 c 1017s| 1710k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7201 | 0 | 0 | 0 |1014k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1067.67/1068.01 c 1024s| 1720k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1020k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1074.66/1075.00 c 1030s| 1730k| 746 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 |1025k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1080.87/1081.23 c 1036s| 1740k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1087.86/1088.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.86/1088.21 c 1043s| 1750k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1037k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1094.16/1094.57 c 1049s| 1760k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 |1043k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1100.15/1100.60 c 1055s| 1770k| 745 | 0 | 0.0 | 17M| 801 | - |2136 |7202 | 0 | 0 | 0 |1048k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1106.85/1107.22 c 1061s| 1780k| 737 | 0 | 0.0 | 16M| 801 | - |2136 |7200 | 0 | 0 | 0 |1054k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1113.25/1113.69 c 1067s| 1790k| 741 | 0 | 0.0 | 17M| 801 | - |2136 |7206 | 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1119.55/1119.91 c 1073s| 1800k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7202 | 0 | 0 | 0 |1065k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1125.74/1126.19 c 1079s| 1810k| 735 | 0 | 0.0 | 17M| 801 | - |2136 |7204 | 0 | 0 | 0 |1070k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1132.04/1132.49 c 1085s| 1820k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 |1076k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1138.44/1138.89 c 1092s| 1830k| 747 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1081k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1144.94/1145.30 c 1098s| 1840k| 741 | 0 | 0.0 | 17M| 801 | - |2136 |7202 | 0 | 0 | 0 |1087k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1151.54/1151.90 c 1104s| 1850k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 |1093k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1158.43/1158.81 c 1111s| 1860k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1165.43/1165.88 c 1118s| 1870k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1172.43/1172.81 c 1124s| 1880k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1111k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1179.13/1179.58 c 1131s| 1890k| 734 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1117k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1185.53/1185.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1185.53/1185.91 c 1137s| 1900k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1123k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1192.04/1192.47 c 1143s| 1910k| 746 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 |1128k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1198.53/1198.96 c 1149s| 1920k| 751 | 0 | 0.0 | 17M| 801 | - |2136 |7200 | 0 | 0 | 0 |1134k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1205.32/1205.76 c 1156s| 1930k| 733 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 |1140k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1211.83/1212.22 c 1162s| 1940k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 |1145k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1218.91/1219.33 c 1169s| 1950k| 733 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1151k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1224.92/1225.37 c 1175s| 1960k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 |1157k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1231.52/1231.99 c 1181s| 1970k| 735 | 0 | 0.0 | 16M| 801 | - |2136 |7204 | 0 | 0 | 0 |1163k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1238.02/1238.40 c 1187s| 1980k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1169k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1244.32/1244.74 c 1193s| 1990k| 740 | 0 | 0.0 | 17M| 801 | - |2136 |7200 | 0 | 0 | 0 |1174k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1250.61/1251.08 c 1199s| 2000k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1180k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1257.01/1257.42 c 1205s| 2010k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 |1186k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1263.51/1263.99 c 1212s| 2020k| 743 | 0 | 0.0 | 17M| 801 | - |2136 |7210 | 0 | 0 | 0 |1192k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1270.11/1270.56 c 1218s| 2030k| 745 | 0 | 0.0 | 17M| 801 | - |2136 |7202 | 0 | 0 | 0 |1197k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1276.40/1276.88 c 1224s| 2040k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 |1203k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1283.70/1284.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.70/1284.17 c 1231s| 2050k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1209k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1290.19/1290.62 c 1237s| 2060k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1214k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1296.59/1297.08 c 1243s| 2070k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1220k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1303.49/1303.96 c 1250s| 2080k| 751 | 0 | 0.0 | 17M| 801 | - |2136 |7195 | 0 | 0 | 0 |1226k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1309.99/1310.46 c 1256s| 2090k| 747 | 0 | 0.0 | 17M| 801 | - |2136 |7206 | 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1316.99/1317.42 c 1263s| 2100k| 739 | 0 | 0.0 | 17M| 801 | - |2136 |7202 | 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1324.08/1324.59 c 1270s| 2110k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 |1243k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1331.29/1331.78 c 1277s| 2120k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1249k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1338.49/1338.93 c 1284s| 2130k| 738 | 0 | 0.0 | 17M| 801 | - |2136 |7205 | 0 | 0 | 0 |1255k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1345.08/1345.53 c 1290s| 2140k| 737 | 0 | 0.0 | 16M| 801 | - |2136 |7204 | 0 | 0 | 0 |1260k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1351.38/1351.85 c 1296s| 2150k| 737 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1266k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1357.78/1358.22 c 1302s| 2160k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7200 | 0 | 0 | 0 |1271k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1364.38/1364.82 c 1308s| 2170k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1277k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1370.87/1371.38 c 1315s| 2180k| 734 | 0 | 0.0 | 17M| 801 | - |2136 |7206 | 0 | 0 | 0 |1282k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1377.27/1377.76 c 1321s| 2190k| 732 | 0 | 0.0 | 17M| 801 | - |2136 |7210 | 0 | 0 | 0 |1288k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1384.27/1384.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.27/1384.77 c 1328s| 2200k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 |1294k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1391.17/1391.65 c 1334s| 2210k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1300k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1398.06/1398.59 c 1341s| 2220k| 733 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1306k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1405.27/1405.79 c 1348s| 2230k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7190 | 0 | 0 | 0 |1312k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1412.16/1412.65 c 1354s| 2240k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7188 | 0 | 0 | 0 |1318k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1418.35/1418.89 c 1360s| 2250k| 741 | 0 | 0.0 | 17M| 801 | - |2136 |7208 | 0 | 0 | 0 |1324k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1424.86/1425.34 c 1366s| 2260k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1329k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1431.45/1431.91 c 1373s| 2270k| 738 | 0 | 0.0 | 17M| 801 | - |2136 |7207 | 0 | 0 | 0 |1335k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1438.05/1438.54 c 1379s| 2280k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7200 | 0 | 0 | 0 |1341k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1444.96/1445.49 c 1386s| 2290k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 |1347k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1451.85/1452.35 c 1392s| 2300k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 |1353k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1459.25/1459.79 c 1400s| 2310k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1359k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1465.94/1466.40 c 1406s| 2320k| 743 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1473.14/1473.69 c 1413s| 2330k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 |1371k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1480.44/1480.93 c 1420s| 2340k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7201 | 0 | 0 | 0 |1377k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1486.54/1487.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.54/1487.05 c 1426s| 2350k| 739 | 0 | 0.0 | 17M| 801 | - |2136 |7214 | 0 | 0 | 0 |1382k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1493.24/1493.70 c 1432s| 2360k| 734 | 0 | 0.0 | 16M| 801 | - |2136 |7201 | 0 | 0 | 0 |1388k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1499.43/1499.94 c 1438s| 2370k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 |1394k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1506.32/1506.82 c 1445s| 2380k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 |1400k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1513.83/1514.36 c 1452s| 2390k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7188 | 0 | 0 | 0 |1406k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1521.22/1521.74 c 1459s| 2400k| 744 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 |1412k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1527.72/1528.21 c 1465s| 2410k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1418k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1534.31/1534.88 c 1472s| 2420k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1424k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1541.02/1541.51 c 1478s| 2430k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7191 | 0 | 0 | 0 |1430k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1547.51/1548.00 c 1484s| 2440k| 732 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 |1436k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1554.41/1554.99 c 1491s| 2450k| 735 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 |1442k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1560.81/1561.39 c 1497s| 2460k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7188 | 0 | 0 | 0 |1448k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1567.61/1568.13 c 1504s| 2470k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1454k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1574.31/1574.89 c 1510s| 2480k| 735 | 0 | 0.0 | 16M| 801 | - |2136 |7202 | 0 | 0 | 0 |1460k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1580.71/1581.23 c 1516s| 2490k| 737 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 |1465k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1587.41/1587.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.41/1587.99 c 1523s| 2500k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1471k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1594.60/1595.16 c 1529s| 2510k| 733 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1478k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1601.50/1602.08 c 1536s| 2520k| 735 | 0 | 0.0 | 17M| 801 | - |2136 |7205 | 0 | 0 | 0 |1484k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1608.19/1608.78 c 1543s| 2530k| 738 | 0 | 0.0 | 17M| 801 | - |2136 |7212 | 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1615.09/1615.63 c 1549s| 2540k| 742 | 0 | 0.0 | 17M| 801 | - |2136 |7199 | 0 | 0 | 0 |1496k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1622.19/1622.78 c 1556s| 2550k| 743 | 0 | 0.0 | 16M| 801 | - |2136 |7189 | 0 | 0 | 0 |1501k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1628.60/1629.11 c 1562s| 2560k| 745 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1507k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1635.19/1635.75 c 1568s| 2570k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7196 | 0 | 0 | 0 |1513k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1642.08/1642.64 c 1575s| 2580k| 749 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1518k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1648.88/1649.47 c 1582s| 2590k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1524k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1655.38/1655.93 c 1588s| 2600k| 746 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 |1530k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1661.58/1662.16 c 1594s| 2610k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 |1536k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1667.88/1668.48 c 1600s| 2620k| 739 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 |1541k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1674.27/1674.88 c 1606s| 2630k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7195 | 0 | 0 | 0 |1547k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1680.88/1681.50 c 1612s| 2640k| 734 | 0 | 0.0 | 16M| 801 | - |2136 |7193 | 0 | 0 | 0 |1553k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1687.77/1688.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.77/1688.34 c 1619s| 2650k| 733 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 |1559k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1694.17/1694.79 c 1625s| 2660k| 742 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 |1565k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1701.27/1701.86 c 1632s| 2670k| 737 | 0 | 0.0 | 16M| 801 | - |2136 |7180 | 0 | 0 | 0 |1571k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1707.86/1708.42 c 1638s| 2680k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 |1577k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1714.47/1715.09 c 1645s| 2690k| 741 | 0 | 0.0 | 16M| 801 | - |2136 |7194 | 0 | 0 | 0 |1582k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1720.97/1721.57 c 1651s| 2700k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7186 | 0 | 0 | 0 |1588k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1727.46/1728.00 c 1657s| 2710k| 730 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 |1594k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1733.86/1734.41 c 1663s| 2720k| 738 | 0 | 0.0 | 16M| 801 | - |2136 |7198 | 0 | 0 | 0 |1600k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1740.55/1741.16 c 1670s| 2730k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7188 | 0 | 0 | 0 |1606k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1747.15/1747.73 c 1676s| 2740k| 736 | 0 | 0.0 | 16M| 801 | - |2136 |7197 | 0 | 0 | 0 |1612k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1754.05/1754.66 c 1683s| 2750k| 734 | 0 | 0.0 | 16M| 801 | - |2136 |7187 | 0 | 0 | 0 |1618k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1761.35/1761.91 c 1690s| 2760k| 739 | 0 | 0.0 | 17M| 801 | - |2136 |7351 | 0 | 0 | 0 |1625k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1768.16/1768.73 c 1696s| 2770k| 734 | 0 | 0.0 | 16M| 801 | - |2136 |7199 | 0 | 0 | 0 |1630k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1774.85/1775.45 c 1702s| 2780k| 740 | 0 | 0.0 | 17M| 801 | - |2136 |7199 | 0 | 0 | 0 |1636k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1781.24/1781.90 c 1709s| 2790k| 734 | 0 | 0.0 | 17M| 801 | - |2136 |7216 | 0 | 0 | 0 |1642k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1787.84/1788.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1787.84/1788.41 c 1715s| 2800k| 746 | 0 | 0.0 | 16M| 801 | - |2136 |7188 | 0 | 0 | 0 |1648k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1794.44/1795.03 c 1721s| 2810k| 740 | 0 | 0.0 | 16M| 801 | - |2136 |7192 | 0 | 0 | 0 |1654k| 0 | 1.000000e+00 | 2.700000e+01 |2600.00%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1726.57
1800.05/1800.61 c Solving Nodes : 2817881
1800.05/1800.61 c Primal Bound : +2.70000000000000e+01 (5 solutions)
1800.05/1800.61 c Dual Bound : +1.00000000000000e+00
1800.05/1800.61 c Gap : 2600.00 %
1800.05/1800.63 s SATISFIABLE
1800.05/1800.63 v x174 -x173 -x4426 x172 x4424 -x4422 x171 x4420 x4418 -x4416 x4414 -x4412 -x4410 -x4408 -x170 -x4406 -x4404 x4402 -x4400 -x4398
1800.05/1800.63 v -x4396 -x4394 -x169 -x4392 -x4390 -x4388 -x168 -x4386 -x4384 -x167 -x4382 -x4380 -x4378 -x4376 -x4374 -x4372 -x4370 -x166 -x4368
1800.05/1800.63 v -x4366 -x4364 -x165 -x4362 -x4359 -x4357 -x4355 -x4353 -x4351 -x164 -x4349 -x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x163
1800.05/1800.63 v -x4335 -x4333 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314 -x4312 -x162 -x4310 x161 x4308 -x4306 -x4304 x160
1800.05/1800.63 v x4302 -x4300 -x4298 x159 x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x158 -x4282 -x4280 x4278 -x4276 -x4274 -x4272 -x4270
1800.05/1800.63 v -x4268 -x4266 -x4264 -x157 -x4262 -x4260 -x4258 -x4256 -x4253 -x4251 -x156 -x4249 -x4247 -x4245 -x155 -x4243 -x4241 -x4239
1800.05/1800.63 v -x4237 -x4235 -x4233 -x4231 -x154 -x4229 -x4227 -x4225 -x4223 -x4221 -x4219 -x4217 -x153 -x4215 -x4213 -x4211 -x4209 -x4207
1800.05/1800.63 v -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189 -x4187 -x152 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173
1800.05/1800.63 v -x151 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x150 -x4142 -x4140
1800.05/1800.63 v -x4138 -x4136 -x4134 -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x149 -x4112 x148 x4110 -x4108 -x4106
1800.05/1800.63 v -x147 -x4104 -x4102 -x4100 x4098 -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x146 -x4084 -x4082 -x145 -x4080 -x4078 -x4076
1800.05/1800.63 v -x4074 -x4072 -x4070 -x4068 -x144 -x4066 -x4064 -x4062 -x4060 -x4058 -x4056 -x4054 -x143 -x4052 -x4050 -x4048 -x4046 -x4044
1800.05/1800.63 v -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028 -x4026 -x4024 -x142 -x4022 -x4020 -x4018 -x141 -x4016 -x4014 -x4012
1800.05/1800.63 v -x4010 -x4008 -x4006 -x4004 -x140 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992 -x139 -x3990 -x3988 -x3986 -x3984 -x3982 -x3980
1800.05/1800.63 v -x3978 -x3976 -x3974 -x3971 -x3969 -x3967 -x3965 -x3963 -x138 -x3961 -x3959 -x3957 -x3955 -x3953 -x3951 -x3949 -x137 -x3947 -x3945
1800.05/1800.63 v -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x136 -x3918 -x3916 -x3914 -x135 -x3912
1800.05/1800.63 v -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x134 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x133 -x3884 -x3882 -x3880
1800.05/1800.63 v -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x132 -x3854 -x3852 -x3850 -x3848 -x3846
1800.05/1800.63 v -x3844 -x3842 -x131 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812
1800.05/1800.63 v -x130 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 -x3786 -x3784 -x3782 -x129 -x3780
1800.05/1800.63 v -x3778 -x3776 -x3774 -x3772 -x3770 -x3768 -x128 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746
1800.05/1800.63 v -x3744 -x3742 -x3740 -x3738 -x127 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712
1800.05/1800.63 v -x3710 -x3708 -x126 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678
1800.05/1800.63 v -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642
1800.05/1800.63 v -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x125 -x3616 -x3614 -x3612 -x3610 -x3608
1800.05/1800.63 v -x3606 -x3604 -x3602 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3573 -x3571
1800.05/1800.63 v -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x124 -x3555 -x123 -x3553 -x3551 x3549 x122 -x3547 -x3545 -x3543 -x121 -x3541
1800.05/1800.63 v -x3539 -x3537 -x3535 -x3533 -x3531 x3529 -x3527 -x3525 -x3523 -x120 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x119
1800.05/1800.63 v -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x118 -x3493 -x3491 x3489 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475
1800.05/1800.63 v -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x117 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x116 -x3443
1800.05/1800.63 v -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x115 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 -x3413 -x3411 -x3409
1800.05/1800.63 v -x3407 -x3405 -x3403 -x3401 -x114 -x3399 -x3396 -x3394 -x3392 -x3390 -x3388 -x113 -x3386 -x3384 -x3382 -x3380 -x3378 -x3376
1800.05/1800.63 v -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3361 -x3359 -x112 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341
1800.05/1800.63 v -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x111 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307
1800.05/1800.63 v -x3305 -x3303 -x3301 x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3278 -x3276 -x3274 -x3272 -x3270
1800.05/1800.63 v -x3268 -x3266 -x3264 -x3262 -x110 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x109 -x3246 -x3244 -x3242 -x3240 -x3238
1800.05/1800.63 v -x3236 -x3234 -x108 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206 -x3204
1800.05/1800.63 v -x107 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x106 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170
1800.05/1800.63 v -x3168 -x3166 -x3164 -x3162 -x3160 -x105 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136
1800.05/1800.63 v -x3134 -x3131 -x104 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x103 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103
1800.05/1800.63 v -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x102 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069
1800.05/1800.63 v -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x101 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035
1800.05/1800.63 v -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999
1800.05/1800.63 v -x2997 -x2995 -x100 -x2993 -x2991 -x2989 -x99 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x98 -x2973 -x2971 -x2969
1800.05/1800.63 v -x2967 -x2965 -x2963 -x2961 -x97 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935
1800.05/1800.63 v -x2933 -x2931 -x96 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x95 -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901
1800.05/1800.63 v -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x94 -x2885 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873 -x93 -x2871 -x2869
1800.05/1800.63 v -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x92 -x2841 -x2839 -x2837 -x2835
1800.05/1800.63 v -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x91 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800
1800.05/1800.63 v -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764
1800.05/1800.63 v -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x90 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x89 -x2736 -x2734 -x2732 -x2730
1800.05/1800.63 v -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x88 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696
1800.05/1800.63 v -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x87 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662
1800.05/1800.63 v -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626
1800.05/1800.63 v -x2624 -x2622 -x2620 -x2618 -x86 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592
1800.05/1800.63 v -x2590 -x2588 -x85 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558
1800.05/1800.63 v -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x84 -x2524
1800.05/1800.63 v -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x83 -x2494 -x2492 -x2490
1800.05/1800.63 v -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454
1800.05/1800.63 v -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x82 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420
1800.05/1800.63 v -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384
1800.05/1800.63 v -x2381 -x2379 -x2377 -x2375 -x2373 -x81 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 x2353 -x2351 -x2349 -x2347
1800.05/1800.63 v -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313
1800.05/1800.63 v -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277
1800.05/1800.63 v -x2275 -x2273 -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x80 -x2243
1800.05/1800.63 v -x2241 -x2239 -x79 -x2237 -x2235 -x2233 -x78 -x2231 -x2229 -x2227 -x77 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x76
1800.05/1800.63 v -x2211 -x2209 -x75 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x74 -x2193 -x2191 -x2189 -x73 -x2187 -x2185 -x2183 -x2181
1800.05/1800.63 v -x2179 -x2177 -x2175 -x72 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x71 -x2159 -x2156 -x2154 -x2152 -x2150 -x2148 -x70
1800.05/1800.63 v -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x69 -x2116 -x2114
1800.05/1800.63 v -x2112 -x68 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x67 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x66 -x2082
1800.05/1800.63 v -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x65 -x2068 -x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048
1800.05/1800.63 v -x2046 -x2044 -x2042 -x2040 -x64 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x63 -x2024 -x2022 -x2020 -x2018 -x2016
1800.05/1800.63 v -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x62 -x1994 -x1992 -x1989 -x1987 -x1985 -x1983 -x1981
1800.05/1800.63 v -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x61 -x1965 -x1963 -x1961 -x60 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947
1800.05/1800.63 v -x59 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x58 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x57 -x1917 -x1915
1800.05/1800.63 v -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x56 -x1887 -x1885 -x1883 -x1881
1800.05/1800.63 v -x1879 -x1877 -x1875 -x55 -x1873 -x1871 -x1869 -x1867 -x1865 -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847
1800.05/1800.63 v -x1845 -x54 -x1843 -x1841 -x1839 -x1837 -x1835 -x1833 -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x53
1800.05/1800.63 v -x1813 -x1811 -x1809 -x1807 -x1805 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x52 -x1783 -x1781
1800.05/1800.63 v -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x1749 -x1747 -x1745
1800.05/1800.63 v -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731 -x1729 -x1727 -x1725 -x1723 -x51 -x1721 -x1719 -x1717 -x1715 -x1713 -x1711
1800.05/1800.63 v -x1709 -x50 -x1707 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x49 -x1677
1800.05/1800.63 v -x1675 -x1673 -x1671 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x48 -x1647 -x1645 -x1643
1800.05/1800.63 v -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 x1613 -x1611 -x1609 -x1607
1800.05/1800.63 v -x1605 -x1603 -x1601 -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x1587 -x1585 x47 x1583 -x1581 -x1579 -x46 -x1577 -x1575 -x1573
1800.05/1800.63 v -x45 -x1571 x1569 -x1567 x44 -x1565 -x1563 -x1561 -x1559 -x1557 -x1555 -x1553 -x43 -x1551 x1549 -x1547 -x1545 -x1543 -x1541
1800.05/1800.63 v -x1539 -x1537 -x1535 -x1533 -x42 -x1531 -x1529 -x1527 -x1525 -x1523 -x1521 -x1519 -x41 -x1517 -x1515 -x1513 -x40 -x1511 -x1509
1800.05/1800.63 v -x1507 -x1505 -x1503 -x1501 -x1499 -x39 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x38 -x1483 -x1481 -x1479 -x1477
1800.05/1800.63 v -x1475 -x1473 -x1471 -x37 -x1469 -x1467 x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 -x1447 -x1445 -x1443
1800.05/1800.63 v -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x36 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 -x1413 -x1411 -x1409
1800.05/1800.63 v -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x35 -x1395 -x1393 -x1391 -x34 -x1389 -x1386 -x1384 -x1382 -x1380 -x33 -x1378 -x1376
1800.05/1800.63 v -x1374 -x1372 -x1370 -x1368 -x1366 -x32 -x1364 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341
1800.05/1800.63 v -x1339 -x1337 -x31 -x1335 -x1333 -x1331 -x30 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x29 -x1315 -x1313 -x1311 -x1309
1800.05/1800.63 v -x1307 -x1305 -x1303 -x28 -x1301 -x1299 -x1297 -x1295 -x1293 -x1291 -x1289 -x27 -x1287 -x1285 -x1283 -x1281 -x1279 -x1277
1800.05/1800.63 v -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x26 -x1257 -x1255 -x1253 -x1251 -x1249 -x1247 -x1245 -x25 -x1243
1800.05/1800.63 v -x1241 -x1239 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217 -x1215 -x24 -x1213 -x1211 -x1209
1800.05/1800.63 v x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 -x1172
1800.05/1800.63 v -x23 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x22 -x1140
1800.05/1800.63 v -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x21 -x1110 -x1108 -x1106 -x1104
1800.05/1800.63 v -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x20 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070
1800.05/1800.63 v -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034
1800.05/1800.63 v -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x19 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000
1800.05/1800.63 v -x998 -x996 -x994 -x992 -x990 -x18 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 x966 -x964 -x962 -x960
1800.05/1800.63 v -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x17 -x920
1800.05/1800.63 v -x918 -x916 -x914 -x912 -x910 -x908 -x16 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x15 -x892 -x890 -x888 -x886 -x884 -x882
1800.05/1800.63 v -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x14 -x862 -x860 -x858 -x856 -x854 -x852 -x850 x848 -x846 -x844 -x842
1800.05/1800.63 v -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x13 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802
1800.05/1800.63 v -x800 -x798 -x796 -x794 -x792 -x790 -x12 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762
1800.05/1800.63 v -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x11 -x726 -x724 -x722
1800.05/1800.63 v -x720 -x718 -x716 -x714 -x10 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x9
1800.05/1800.63 v -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x8 -x652 -x650 -x648 -x646 -x644 -x642
1800.05/1800.63 v -x640 -x638 -x636 -x633 -x631 -x629 -x627 -x625 -x623 x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599
1800.05/1800.63 v -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x7 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559
1800.05/1800.63 v -x557 -x555 -x553 -x551 -x549 -x6 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519
1800.05/1800.63 v -x5 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479
1800.05/1800.63 v -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x4 -x455 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x439
1800.05/1800.63 v -x437 -x435 -x433 -x431 -x429 -x427 -x3 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405 -x403 -x401 -x399
1800.05/1800.63 v -x397 -x395 -x393 -x391 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x2 -x363 -x361 -x359 -x357
1800.05/1800.63 v -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317
1800.05/1800.63 v -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x1 -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275
1800.05/1800.63 v -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247 -x245 x243 -x241 -x239 -x237 -x235 -x233
1800.05/1800.63 v -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193
1800.05/1800.63 v -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x4427 x4425 -x4423 x4421 x4419 -x4417 x4415 -x4413 -x4411 -x4409 -x4407
1800.05/1800.63 v -x4405 x4403 -x4401 -x4399 -x4397 -x4395 -x4393 -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 -x4373 -x4371
1800.05/1800.63 v -x4369 -x4367 -x4365 -x4363 -x4361 -x4360 -x4358 -x4356 -x4354 -x4352 -x4350 -x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336
1800.05/1800.63 v -x4334 -x4332 -x4331 -x4329 -x4327 -x4325 -x4323 -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 x4309 -x4307 -x4305 x4303 -x4301
1800.05/1800.63 v -x4299 x4297 -x4295 -x4293 -x4291 -x4289 -x4287 -x4285 -x4283 -x4281 x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265
1800.05/1800.63 v -x4263 -x4261 -x4259 -x4257 -x4255 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242 -x4240 -x4238 -x4236 -x4234 -x4232 -x4230
1800.05/1800.63 v -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 -x4212 -x4210 -x4208 -x4206 -x4204 -x4202 -x4200 -x4198 -x4196 -x4194
1800.05/1800.63 v -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170 -x4168 -x4166 -x4164 -x4162 -x4160 -x4158
1800.05/1800.63 v -x4157 -x4155 -x4153 -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x4127 -x4125 -x4123
1800.05/1800.63 v -x4121 -x4119 -x4117 -x4115 -x4113 x4111 -x4109 -x4107 -x4105 -x4103 -x4101 x4099 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087
1800.05/1800.63 v -x4085 -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051
1800.05/1800.63 v -x4049 -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x4035 -x4033 -x4031 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017 -x4015
1800.05/1800.63 v -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985 -x3983 -x3981
1800.05/1800.63 v -x3979 -x3977 -x3975 -x3973 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956 -x3954 -x3952 -x3950 -x3948 -x3946
1800.05/1800.63 v -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911
1800.05/1800.63 v -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875
1800.05/1800.63 v -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839
1800.05/1800.63 v -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803
1800.05/1800.63 v -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767
1800.05/1800.63 v -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 -x3749 -x3747 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733
1800.05/1800.63 v -x3731 -x3729 -x3727 -x3725 -x3723 -x3721 -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697
1800.05/1800.63 v -x3695 -x3693 -x3691 -x3689 -x3687 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 x3663 -x3661
1800.05/1800.63 v -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625
1800.05/1800.63 v -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3600 -x3598 -x3596 -x3594 -x3592 -x3590
1800.05/1800.63 v -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 -x3556 -x3554
1800.05/1800.63 v -x3552 x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 x3530 -x3528 -x3526 -x3524 -x3522 -x3520 -x3518
1800.05/1800.63 v -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 x3490 -x3488 -x3486 -x3484 -x3482
1800.05/1800.63 v -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446
1800.05/1800.63 v -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x3416 -x3414 -x3412 -x3410
1800.05/1800.63 v -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375
1800.05/1800.63 v -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348 -x3346 -x3344 -x3342
1800.05/1800.63 v -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312 -x3310 -x3308 -x3306
1800.05/1800.63 v -x3304 -x3302 x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3279 -x3277 -x3275 -x3273 -x3271
1800.05/1800.63 v -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235
1800.05/1800.63 v -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199
1800.05/1800.63 v -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163
1800.05/1800.63 v -x3161 -x3159 -x3157 -x3155 -x3153 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3132 -x3130 -x3128
1800.05/1800.63 v -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 -x3092
1800.05/1800.63 v -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 -x3058
1800.05/1800.63 v -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022
1800.05/1800.63 v -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986
1800.05/1800.63 v -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950
1800.05/1800.63 v -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914
1800.05/1800.63 v -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x2880 -x2878
1800.05/1800.63 v -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842
1800.05/1800.63 v -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2813 -x2811 -x2809
1800.05/1800.63 v -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773
1800.05/1800.63 v -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737
1800.05/1800.63 v -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701
1800.05/1800.63 v -x2699 -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665
1800.05/1800.63 v -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629
1800.05/1800.63 v -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595 -x2593
1800.05/1800.63 v -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559
1800.05/1800.63 v -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523
1800.05/1800.63 v -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487
1800.05/1800.63 v -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451
1800.05/1800.63 v -x2449 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415
1800.05/1800.63 v -x2413 -x2411 -x2409 -x2407 -x2405 -x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2382 -x2380
1800.05/1800.63 v -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 x2354 -x2352 -x2350 -x2348 -x2346 -x2344
1800.05/1800.63 v -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308
1800.05/1800.63 v -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274
1800.05/1800.63 v -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238
1800.05/1800.63 v -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202
1800.05/1800.63 v -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166
1800.05/1800.63 v -x2164 -x2162 -x2160 -x2158 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131
1800.05/1800.63 v -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095
1800.05/1800.63 v -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059
1800.05/1800.63 v -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025
1800.05/1800.63 v -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1990
1800.05/1800.63 v -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954
1800.05/1800.63 v -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918
1800.05/1800.63 v -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882
1800.05/1800.63 v -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846
1800.05/1800.63 v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810
1800.05/1800.63 v -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776
1800.05/1800.63 v -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740
1800.05/1800.63 v -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704
1800.05/1800.63 v -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668
1800.05/1800.63 v -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632
1800.05/1800.63 v -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596
1800.05/1800.63 v -x1594 -x1592 -x1590 -x1588 -x1586 x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 x1570 -x1568 -x1566 -x1564 -x1562 -x1560
1800.05/1800.63 v -x1558 -x1556 -x1554 -x1552 x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524
1800.05/1800.63 v -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488
1800.05/1800.63 v -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452
1800.05/1800.63 v -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416
1800.05/1800.63 v -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1387 -x1385 -x1383 -x1381
1800.05/1800.63 v -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348
1800.05/1800.63 v -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312
1800.05/1800.63 v -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276
1800.05/1800.63 v -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240
1800.05/1800.63 v -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 x1208 -x1206 -x1204
1800.05/1800.63 v -x1202 -x1200 -x1198 -x1196 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169
1800.05/1800.63 v -x1167 -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133
1800.05/1800.63 v -x1131 -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097
1800.05/1800.63 v -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063
1800.05/1800.63 v -x1061 -x1059 -x1057 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027
1800.05/1800.63 v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 -x989
1800.05/1800.63 v -x987 -x985 -x983 -x981 -x979 -x977 -x975 -x973 -x971 -x969 x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947
1800.05/1800.63 v -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905
1800.05/1800.63 v -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871 -x869 -x867 -x865 -x863
1800.05/1800.63 v -x861 -x859 -x857 -x855 -x853 -x851 x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821
1800.05/1800.63 v -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781
1800.05/1800.63 v -x779 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739
1800.05/1800.63 v -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697
1800.05/1800.63 v -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655
1800.05/1800.63 v -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x634 -x632 -x630 -x628 -x626 -x624 x622 -x620 -x618 -x616 -x614
1800.05/1800.63 v -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572
1800.05/1800.63 v -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530
1800.05/1800.63 v -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490
1800.05/1800.63 v -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448
1800.05/1800.63 v -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406
1800.05/1800.63 v -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364
1800.05/1800.63 v -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322
1800.05/1800.63 v -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280
1800.05/1800.63 v -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 x244 -x242 -x240 -x238
1800.05/1800.63 v -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198
1800.05/1800.63 v -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176
1800.05/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.63 c Solving Time : 1726.57
1800.05/1800.63 c Original Problem :
1800.05/1800.63 c Problem name : HOME/instance-2663928-1276632593.opb
1800.05/1800.63 c Variables : 4427 (4427 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 12661 initial, 12661 maximal
1800.05/1800.63 c Presolved Problem :
1800.05/1800.63 c Problem name : t_HOME/instance-2663928-1276632593.opb
1800.05/1800.63 c Variables : 2136 (2136 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.63 c Constraints : 7180 initial, 7620 maximal
1800.05/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.63 c implics : 0.00 0 8 0 0 0 0 0 0
1800.05/1800.63 c probing : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.63 c linear : 0.15 167 2116 0 167 0 5481 0 0
1800.05/1800.63 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.05/1800.63 c root node : - 0 - - 0 - - - -
1800.05/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.63 c logicor : 7180+ 0 8500851 0 5 932168 14822526 0 0 0
1800.05/1800.63 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.05/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.63 c logicor : 401.00 0.00 401.00 0.00 0.00
1800.05/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.63 c vbounds : 5.25 2 0 0
1800.05/1800.63 c rootredcost : 4.70 0 0 0
1800.05/1800.63 c pseudoobj : 982.05 11904006 688402 17917563
1800.05/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.63 c propagation : 345.52 1620570 1620570 1620570 54.6 33278 34.5 -
1800.05/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.63 c pseudo solution : 2.97 5387 5387 5387 50.4 212 44.7 -
1800.05/1800.63 c applied globally : - - - 1659447 54.1 - - -
1800.05/1800.63 c applied locally : - - - 0 0.0 - - -
1800.05/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.63 c redcost : 0.00 0 0 0 0 0
1800.05/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.63 c intobj : 0.00 0 0 0 0 0
1800.05/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.63 c gomory : 0.00 0 0 0 0 0
1800.05/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.63 c cmir : 0.00 0 0 0 0 0
1800.05/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.63 c clique : 0.00 0 0 0 0 0
1800.05/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.63 c mcf : 0.00 0 0 0 0 0
1800.05/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.63 c Pricers : Time Calls Vars
1800.05/1800.63 c problem variables: 0.00 0 0
1800.05/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.63 c inference : 55.03 2077320 0 0 0 0 4154640
1800.05/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.63 c random : 0.00 0 0 0 0 0 0
1800.05/1800.63 c Primal Heuristics : Time Calls Found
1800.05/1800.63 c LP solutions : 0.00 - 0
1800.05/1800.63 c pseudo solutions : 0.01 - 5
1800.05/1800.63 c oneopt : 2.31 0 0
1800.05/1800.63 c trivial : 0.01 2 0
1800.05/1800.63 c simplerounding : 0.00 0 0
1800.05/1800.63 c zirounding : 0.00 0 0
1800.05/1800.63 c rounding : 0.00 0 0
1800.05/1800.63 c shifting : 0.00 0 0
1800.05/1800.63 c intshifting : 0.00 0 0
1800.05/1800.63 c twoopt : 0.00 0 0
1800.05/1800.63 c fixandinfer : 0.00 0 0
1800.05/1800.63 c feaspump : 0.00 0 0
1800.05/1800.63 c coefdiving : 0.00 0 0
1800.05/1800.63 c pscostdiving : 0.00 0 0
1800.05/1800.63 c fracdiving : 0.00 0 0
1800.05/1800.63 c veclendiving : 0.00 0 0
1800.05/1800.63 c intdiving : 0.00 0 0
1800.05/1800.63 c actconsdiving : 0.00 0 0
1800.05/1800.63 c objpscostdiving : 0.00 0 0
1800.05/1800.63 c rootsoldiving : 0.00 0 0
1800.05/1800.63 c linesearchdiving : 0.00 0 0
1800.05/1800.63 c guideddiving : 0.00 0 0
1800.05/1800.63 c octane : 0.00 0 0
1800.05/1800.63 c rens : 0.00 0 0
1800.05/1800.63 c rins : 0.00 0 0
1800.05/1800.63 c localbranching : 0.00 0 0
1800.05/1800.63 c mutation : 0.00 0 0
1800.05/1800.63 c crossover : 0.00 0 0
1800.05/1800.63 c dins : 0.00 0 0
1800.05/1800.63 c undercover : 0.00 0 0
1800.05/1800.63 c nlp : 1.48 0 0
1800.05/1800.63 c trysol : 1.40 0 0
1800.05/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.63 c (at root node) : - 0 0 0.00 -
1800.05/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.63 c B&B Tree :
1800.05/1800.63 c number of runs : 1
1800.05/1800.63 c nodes : 2817881
1800.05/1800.63 c nodes (total) : 2817881
1800.05/1800.63 c nodes left : 740
1800.05/1800.63 c max depth : 801
1800.05/1800.63 c max depth (total): 801
1800.05/1800.63 c backtracks : 1026901 (36.4%)
1800.05/1800.63 c delayed cutoffs : 1282688
1800.05/1800.63 c repropagations : 2357151 (16517575 domain reductions, 885401 cutoffs)
1800.05/1800.63 c avg switch length: 2.70
1800.05/1800.63 c switching time : 112.11
1800.05/1800.63 c Solution :
1800.05/1800.63 c Solutions found : 5 (5 improvements)
1800.05/1800.63 c First Solution : +3.10000000000000e+01 (in run 1, after 802 nodes, 0.62 seconds, depth 801, found by <relaxation>)
1800.05/1800.63 c Primal Bound : +2.70000000000000e+01 (in run 1, after 285448 nodes, 158.80 seconds, depth 775, found by <relaxation>)
1800.05/1800.63 c Dual Bound : +1.00000000000000e+00
1800.05/1800.63 c Gap : 2600.00 %
1800.05/1800.63 c Root Dual Bound : +1.00000000000000e+00
1800.05/1800.63 c Root Iterations : 0
1800.05/1800.68 c Time complete: 1800.13.
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663928-1276632593/watcher-2663928-1276632593 -o /tmp/evaluation-result-2663928-1276632593/solver-2663928-1276632593 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663928-1276632593.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 13060 /proc/meminfo: memFree=1831044/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=6584 CPUtime=0 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 1112 0 0 0 0 0 0 0 25 0 1 0 4553069 6742016 1033 1992294400 4194304 7136930 140733860015376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13060/statm: 1646 1044 254 719 0 925 0 [startup+0.0979301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13060 /proc/meminfo: memFree=1831044/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=14444 CPUtime=0.09 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 3109 0 0 0 8 1 0 0 25 0 1 0 4553069 14790656 3030 1992294400 4194304 7136930 140733860015376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13060/statm: 3611 3030 271 719 0 2890 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14444 [startup+0.100931 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13060 /proc/meminfo: memFree=1831044/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=14916 CPUtime=0.09 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 3226 0 0 0 8 1 0 0 25 0 1 0 4553069 15273984 3147 1992294400 4194304 7136930 140733860015376 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13060/statm: 3729 3147 271 719 0 3008 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14916 [startup+0.300951 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13060 /proc/meminfo: memFree=1831044/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=35192 CPUtime=0.29 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 8369 0 0 0 27 2 0 0 25 0 1 0 4553069 36036608 7936 1992294400 4194304 7136930 140733860015376 18446744073709551615 4560263 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 8798 7936 316 719 0 8077 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35192 [startup+0.700992 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13060 /proc/meminfo: memFree=1831044/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=39200 CPUtime=0.69 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11002 0 0 0 62 7 0 0 18 0 1 0 4553069 40140800 9024 1992294400 4194304 7136930 140733860015376 18446744073709551615 4740327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 9800 9024 384 719 0 9079 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39200 [startup+1.50107 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13061 /proc/meminfo: memFree=1795820/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=39848 CPUtime=1.49 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11166 0 0 0 139 10 0 0 18 0 1 0 4553069 40804352 9188 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 9962 9188 390 719 0 9241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39848 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13061 /proc/meminfo: memFree=1795324/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=39980 CPUtime=3.09 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11183 0 0 0 292 17 0 0 22 0 1 0 4553069 40939520 9205 1992294400 4194304 7136930 140733860015376 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 9995 9205 390 719 0 9274 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39980 [startup+6.30057 s] /proc/loadavg: 1.08 1.02 1.01 2/107 13061 /proc/meminfo: memFree=1795200/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=40168 CPUtime=6.29 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11235 0 0 0 599 30 0 0 25 0 1 0 4553069 41132032 9257 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10042 9257 390 719 0 9321 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40168 [startup+12.7012 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13061 /proc/meminfo: memFree=1794952/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=40300 CPUtime=12.69 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11260 0 0 0 1212 57 0 0 25 0 1 0 4553069 41267200 9282 1992294400 4194304 7136930 140733860015376 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10075 9282 390 719 0 9354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40300 [startup+25.5015 s] /proc/loadavg: 1.06 1.01 1.00 2/107 13061 /proc/meminfo: memFree=1794952/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=40432 CPUtime=25.48 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11278 0 0 0 2437 111 0 0 25 0 1 0 4553069 41402368 9300 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10108 9300 390 719 0 9387 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40432 [startup+51.1012 s] /proc/loadavg: 1.04 1.01 1.00 2/107 13063 /proc/meminfo: memFree=1794580/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=40696 CPUtime=51.07 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11360 0 0 0 4888 219 0 0 25 0 1 0 4553069 41672704 9382 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10174 9382 390 719 0 9453 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 40696 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13063 /proc/meminfo: memFree=1794456/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=40828 CPUtime=102.27 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11381 0 0 0 9789 438 0 0 25 0 1 0 4553069 41807872 9403 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10207 9403 390 719 0 9486 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 40828 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13065 /proc/meminfo: memFree=1793960/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=40960 CPUtime=162.24 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11429 0 0 0 15533 691 0 0 25 0 1 0 4553069 41943040 9451 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10240 9451 390 719 0 9519 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 40960 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13067 /proc/meminfo: memFree=1793960/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=40960 CPUtime=222.22 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11433 0 0 0 21284 938 0 0 25 0 1 0 4553069 41943040 9455 1992294400 4194304 7136930 140733860015376 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10240 9455 390 719 0 9519 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 40960 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13069 /proc/meminfo: memFree=1793960/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41092 CPUtime=282.2 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11441 0 0 0 27030 1190 0 0 25 0 1 0 4553069 42078208 9463 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10273 9463 390 719 0 9552 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 41092 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13071 /proc/meminfo: memFree=1793836/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41092 CPUtime=342.19 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11454 0 0 0 32785 1434 0 0 25 0 1 0 4553069 42078208 9476 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10273 9476 390 719 0 9552 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 41092 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13071 /proc/meminfo: memFree=1793712/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41092 CPUtime=402.16 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11470 0 0 0 38531 1685 0 0 25 0 1 0 4553069 42078208 9492 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10273 9492 390 719 0 9552 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 41092 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13073 /proc/meminfo: memFree=1793464/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41228 CPUtime=462.14 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11474 0 0 0 44286 1928 0 0 25 0 1 0 4553069 42217472 9496 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10307 9496 390 719 0 9586 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 41228 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13075 /proc/meminfo: memFree=1793340/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41228 CPUtime=522.13 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11486 0 0 0 50036 2177 0 0 25 0 1 0 4553069 42217472 9508 1992294400 4194304 7136930 140733860015376 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10307 9508 390 719 0 9586 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 41228 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13077 /proc/meminfo: memFree=1793216/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41228 CPUtime=582.11 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11496 0 0 0 55791 2420 0 0 25 0 1 0 4553069 42217472 9518 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10307 9518 390 719 0 9586 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 41228 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13079 /proc/meminfo: memFree=1792968/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41228 CPUtime=642.09 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11503 0 0 0 61550 2659 0 0 25 0 1 0 4553069 42217472 9525 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10307 9525 390 719 0 9586 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 41228 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13083 /proc/meminfo: memFree=1792596/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41492 CPUtime=822.03 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11553 0 0 0 78824 3379 0 0 25 0 1 0 4553069 42487808 9575 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10373 9575 390 719 0 9652 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 41492 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13085 /proc/meminfo: memFree=1792472/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41492 CPUtime=882.02 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11567 0 0 0 84566 3636 0 0 25 0 1 0 4553069 42487808 9589 1992294400 4194304 7136930 140733860015376 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10373 9589 390 719 0 9652 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 41492 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13087 /proc/meminfo: memFree=1792224/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41492 CPUtime=942 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11572 0 0 0 90322 3878 0 0 25 0 1 0 4553069 42487808 9594 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10373 9594 390 719 0 9652 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 41492 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13087 /proc/meminfo: memFree=1792100/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41628 CPUtime=1001.98 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11584 0 0 0 96078 4120 0 0 25 0 1 0 4553069 42627072 9606 1992294400 4194304 7136930 140733860015376 18446744073709551615 5909720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10407 9606 390 719 0 9686 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 41628 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13089 /proc/meminfo: memFree=1791976/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41628 CPUtime=1061.97 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11592 0 0 0 101838 4359 0 0 25 0 1 0 4553069 42627072 9614 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10407 9614 390 719 0 9686 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 41628 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13091 /proc/meminfo: memFree=1791976/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41628 CPUtime=1121.94 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11601 0 0 0 107593 4601 0 0 25 0 1 0 4553069 42627072 9623 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10407 9623 390 719 0 9686 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 41628 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13093 /proc/meminfo: memFree=1791604/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41772 CPUtime=1181.92 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11617 0 0 0 113356 4836 0 0 25 0 1 0 4553069 42774528 9639 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10443 9639 390 719 0 9722 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 41772 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13095 /proc/meminfo: memFree=1791356/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41772 CPUtime=1241.92 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11630 0 0 0 119106 5086 0 0 25 0 1 0 4553069 42774528 9652 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10443 9652 390 719 0 9722 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 41772 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13095 /proc/meminfo: memFree=1791232/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41908 CPUtime=1301.9 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11644 0 0 0 124861 5329 0 0 25 0 1 0 4553069 42913792 9666 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10477 9666 390 719 0 9756 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 41908 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13097 /proc/meminfo: memFree=1791108/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41908 CPUtime=1361.88 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11649 0 0 0 130620 5568 0 0 25 0 1 0 4553069 42913792 9671 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10477 9671 390 719 0 9756 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 41908 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/107 13099 /proc/meminfo: memFree=1791108/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41908 CPUtime=1421.86 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11658 0 0 0 136376 5810 0 0 25 0 1 0 4553069 42913792 9680 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10477 9680 390 719 0 9756 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 41908 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13101 /proc/meminfo: memFree=1790984/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=41908 CPUtime=1481.84 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11674 0 0 0 142138 6046 0 0 25 0 1 0 4553069 42913792 9696 1992294400 4194304 7136930 140733860015376 18446744073709551615 5507309 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10477 9696 390 719 0 9756 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 41908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13106 /proc/meminfo: memFree=1789868/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=42040 CPUtime=1541.82 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11677 0 0 0 147895 6287 0 0 25 0 1 0 4553069 43048960 9699 1992294400 4194304 7136930 140733860015376 18446744073709551615 5507155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10510 9699 390 719 0 9789 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 42040 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13106 /proc/meminfo: memFree=1789868/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=42040 CPUtime=1601.8 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11680 0 0 0 153653 6527 0 0 25 0 1 0 4553069 43048960 9702 1992294400 4194304 7136930 140733860015376 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10510 9702 390 719 0 9789 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 42040 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13108 /proc/meminfo: memFree=1789868/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=42040 CPUtime=1661.78 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11682 0 0 0 159413 6765 0 0 25 0 1 0 4553069 43048960 9704 1992294400 4194304 7136930 140733860015376 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10510 9704 390 719 0 9789 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 42040 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13110 /proc/meminfo: memFree=1789868/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=42040 CPUtime=1721.76 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11682 0 0 0 165172 7004 0 0 25 0 1 0 4553069 43048960 9704 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10510 9704 390 719 0 9789 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 42040 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13112 /proc/meminfo: memFree=1789744/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=42040 CPUtime=1781.75 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11691 0 0 0 170925 7250 0 0 25 0 1 0 4553069 43048960 9713 1992294400 4194304 7136930 140733860015376 18446744073709551615 4703854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10510 9713 390 719 0 9789 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 42040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13112 /proc/meminfo: memFree=1789744/2059040 swapFree=4175448/4192956 [pid=13060] ppid=13058 vsize=42040 CPUtime=1800.05 /proc/13060/stat : 13060 (pbscip.linux.x8) R 13058 13060 12951 0 -1 4202496 11691 0 0 0 172678 7327 0 0 25 0 1 0 4553069 43048960 9713 1992294400 4194304 7136930 140733860015376 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13060/statm: 10510 9713 390 719 0 9789 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 42040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.13 CPU user time (s): 1726.85 CPU system time (s): 73.2819 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 42040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1726.85 system time used= 73.2819 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11721 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= 3899 runsolver used 3.20351 second user time and 8.30574 second system time The end
Begin job on node083 at 2010-06-15 22:09:53 IDJOB=2663928 IDBENCH=24983 IDSOLVER=1167 FILE ID=node083/2663928-1276632593 PBS_JOBID= 11172378 Free space on /tmp= 62552 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663928-1276632593/watcher-2663928-1276632593 -o /tmp/evaluation-result-2663928-1276632593/solver-2663928-1276632593 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663928-1276632593.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED=1297920594 node083.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.262 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.52 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.262 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1831572 kB Buffers: 6560 kB Cached: 89124 kB SwapCached: 13528 kB Active: 65472 kB Inactive: 85988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1831572 kB SwapTotal: 4192956 kB SwapFree: 4175448 kB Dirty: 3524 kB Writeback: 0 kB AnonPages: 42232 kB Mapped: 14260 kB Slab: 54204 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182748 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= 62552 MiB End job on node083 at 2010-06-15 22:39:56