Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | SAT (TO) | 122 | 1800.07 | 1800.03 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
| MD5SUM | df1c0055bf82833faa95d352e28c6731 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 121 |
| Best CPU time to get the best result obtained on this benchmark | 5.20921 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 121 |
| Optimality of the best value was proved | YES |
| Number of variables | 4676 |
| Total number of constraints | 398 |
| Number of constraints which are clauses | 398 |
| 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 | 2 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 4676 |
| 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 | 4676 |
| Number of bits of the sum of numbers in the objective function | 13 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 4676 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3453136-1307081663.opb>
0.00/0.02 c original problem has 4676 variables (4676 bin, 0 int, 0 impl, 0 cont) and 398 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.02/0.03 o 4676
0.02/0.03 c feasible solution found by trivial heuristic, objective value 4.676000e+03
0.02/0.03 c presolving:
0.02/0.03 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.02/0.04 c (round 2) 1556 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 397 upgd conss, 2 impls, 0 clqs
0.02/0.05 c (0.0s) probing: 101/3120 (3.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.05 c presolving (3 rounds):
0.02/0.05 c 1556 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.05 c 4 implications, 0 cliques
0.02/0.05 c presolved problem has 3120 variables (3120 bin, 0 int, 0 impl, 0 cont) and 397 constraints
0.02/0.05 c 397 constraints of type <logicor>
0.02/0.05 c transformed objective value is always integral (scale: 1)
0.02/0.05 c Presolving Time: 0.03
0.02/0.05 c - non default parameters ----------------------------------------------------------------------
0.02/0.05 c # SCIP version 2.0.1.4
0.02/0.05 c
0.02/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.05 c conflict/interconss = 0
0.02/0.05 c
0.02/0.05 c # should binary conflicts be preferred?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c conflict/preferbinary = TRUE
0.02/0.05 c
0.02/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.05 c constraints/agelimit = 1
0.02/0.05 c
0.02/0.05 c # should enforcement of pseudo solution be disabled?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/disableenfops = TRUE
0.02/0.05 c
0.02/0.05 c # frequency for displaying node information lines
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.05 c display/freq = 10000
0.02/0.05 c
0.02/0.05 c # maximal time in seconds to run
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/time = 1800
0.02/0.05 c
0.02/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.05 c limits/memory = 13950
0.02/0.05 c
0.02/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.05 c lp/solvefreq = 0
0.02/0.05 c
0.02/0.05 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.02/0.05 c # [type: char, range: {lafpsqd}, default: l]
0.02/0.05 c lp/pricing = a
0.02/0.05 c
0.02/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.05 c # [type: int, range: [1,2], default: 1]
0.02/0.05 c timing/clocktype = 2
0.02/0.05 c
0.02/0.05 c # belongs reading time to solving time?
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c timing/reading = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify inequalities
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/linear/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/indicator/addCouplingCons = TRUE
0.02/0.05 c
0.02/0.05 c # should presolving try to simplify knapsacks
0.02/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.05 c
0.02/0.05 c # priority of node selection rule <dfs> in standard mode
0.02/0.05 c # [type: int, range: [-536870912,536870911], default: 0]
0.02/0.05 c nodeselection/dfs/stdpriority = 1000000
0.02/0.05 c
0.02/0.05 c -----------------------------------------------------------------------------------------------
0.02/0.05 c start solving
0.02/0.05 c
0.02/0.05 o 3121
0.02/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.05 c t 0.1s| 1 | 0 | 0 | - |8220k| 0 | - |3120 | 397 | 0 | 0 | 0 | 0 | 0 | -- | 3.121000e+03 | Inf
0.02/0.06 o 201
0.02/0.06 c b 0.1s| 1 | 0 | 0 | - |9621k| 0 | - |3120 | 397 |3120 | 397 | 0 | 0 | 0 | -- | 2.010000e+02 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 1801 | - |9560k| 0 | 189 |3120 | 397 |3120 | 397 | 0 | 0 | 0 | 1.198598e+02 | 2.010000e+02 | 67.70%
0.39/0.44 c 0.4s| 1 | 0 | 1852 | - | 14M| 0 | 218 |3120 | 397 |3120 | 398 | 1 | 0 | 0 | 1.199041e+02 | 2.010000e+02 | 67.63%
0.39/0.47 c 0.5s| 1 | 0 | 1886 | - | 14M| 0 | 210 |3120 | 397 |3120 | 399 | 2 | 0 | 0 | 1.199084e+02 | 2.010000e+02 | 67.63%
0.49/0.51 c 0.5s| 1 | 0 | 1917 | - | 15M| 0 | 214 |3120 | 397 |3120 | 400 | 3 | 0 | 0 | 1.199158e+02 | 2.010000e+02 | 67.62%
0.49/0.55 c 0.6s| 1 | 0 | 1998 | - | 15M| 0 | 226 |3120 | 397 |3120 | 401 | 4 | 0 | 0 | 1.199738e+02 | 2.010000e+02 | 67.54%
0.49/0.59 c 0.6s| 1 | 0 | 2078 | - | 15M| 0 | 224 |3120 | 397 |3120 | 402 | 5 | 0 | 0 | 1.200136e+02 | 2.010000e+02 | 67.48%
0.59/0.62 o 185
0.59/0.62 c z 0.6s| 1 | 0 | 2078 | - | 15M| 0 | 224 |3120 | 397 |3120 | 402 | 5 | 0 | 0 | 1.200136e+02 | 1.850000e+02 | 54.15%
0.69/0.73 o 122
0.69/0.73 c E 0.7s| 1 | 0 | 2078 | - | 15M| 0 | 224 |3120 | 397 |3120 | 402 | 5 | 0 | 0 | 1.200136e+02 | 1.220000e+02 | 1.66%
0.69/0.73 c 0.7s| 1 | 0 | 2078 | - | 15M| 0 | 224 |3120 | 397 |3120 | 402 | 5 | 0 | 0 | 1.200136e+02 | 1.220000e+02 | 1.66%
0.69/0.76 c 0.8s| 1 | 0 | 2078 | - | 15M| 0 | 224 |3120 | 397 |3120 | 402 | 5 | 0 | 0 | 1.200136e+02 | 1.220000e+02 | 1.66%
1.19/1.20 c 1.2s| 1 | 2 | 2078 | - | 15M| 0 | 224 |3120 | 397 |3120 | 402 | 5 | 0 | 24 | 1.200136e+02 | 1.220000e+02 | 1.66%
1.19/1.20 c (run 1, node 1) restarting after 293 global fixings of integer variables
1.19/1.20 c
1.19/1.20 c (restart) converted 4 cuts from the global cut pool into linear constraints
1.19/1.20 c
1.19/1.21 c presolving:
1.19/1.22 c (round 1) 293 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4 upgd conss, 6 impls, 0 clqs
1.19/1.24 c (round 2) 298 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 4 upgd conss, 6 impls, 0 clqs
1.19/1.24 c presolving (3 rounds):
1.19/1.24 c 298 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.19/1.24 c 6 implications, 0 cliques
1.19/1.24 c presolved problem has 2822 variables (2822 bin, 0 int, 0 impl, 0 cont) and 400 constraints
1.19/1.24 c 4 constraints of type <knapsack>
1.19/1.24 c 396 constraints of type <logicor>
1.19/1.24 c transformed objective value is always integral (scale: 1)
1.19/1.24 c Presolving Time: 0.06
1.19/1.24 c
1.59/1.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.64 c 1.6s| 1 | 0 | 6675 | - | 12M| 0 | 244 |2822 | 400 |2822 | 400 | 0 | 0 | 24 | 1.200136e+02 | 1.220000e+02 | 1.66%
1.89/1.95 c 2.0s| 1 | 0 | 6675 | - | 12M| 0 | 244 |2822 | 400 |2822 | 400 | 0 | 0 | 24 | 1.200136e+02 | 1.220000e+02 | 1.66%
2.29/2.30 c 2.3s| 1 | 2 | 6675 | - | 12M| 0 | 244 |2822 | 400 |2822 | 400 | 0 | 0 | 41 | 1.200136e+02 | 1.220000e+02 | 1.66%
6.99/7.07 c 7.1s| 10000 | 2300 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 |4873 | 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
12.69/12.71 c 12.7s| 20000 | 2283 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 11k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
17.69/17.79 c 17.8s| 30000 | 2279 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 17k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
22.89/22.93 c 22.9s| 40000 | 2283 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 23k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
27.99/28.05 c 28.1s| 50000 | 2278 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 29k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
33.19/33.22 c 33.2s| 60000 | 2277 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 35k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
38.40/38.47 c 38.5s| 70000 | 2279 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 42k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
43.69/43.76 c 43.8s| 80000 | 2274 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 48k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
48.69/48.76 c 48.8s| 90000 | 2275 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 54k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
53.80/53.83 c 53.8s|100000 | 2270 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 60k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
59.19/59.28 c 59.3s|110000 | 2270 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 66k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
64.69/64.75 c 64.7s|120000 | 2268 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 73k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
70.19/70.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.19/70.30 c 70.3s|130000 | 2264 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 79k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
75.69/75.80 c 75.8s|140000 | 2267 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 85k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
81.09/81.11 c 81.1s|150000 | 2268 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 91k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
86.69/86.73 c 86.7s|160000 | 2266 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 98k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
92.41/92.42 c 92.4s|170000 | 2264 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 104k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
97.80/97.91 c 97.9s|180000 | 2263 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 111k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
103.41/103.46 c 103s|190000 | 2265 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 117k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
108.91/108.92 c 109s|200000 | 2262 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 123k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
114.19/114.25 c 114s|210000 | 2263 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 130k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
119.39/119.45 c 119s|220000 | 2262 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 136k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
124.39/124.42 c 124s|230000 | 2262 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 | 142k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
129.39/129.40 c 129s|240000 | 2263 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 148k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
134.29/134.36 c 134s|250000 | 2258 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 | 154k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
139.29/139.32 c 139s|260000 | 2262 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 160k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
144.59/144.69 c 145s|270000 | 2263 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 166k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
149.99/150.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.99/150.04 c 150s|280000 | 2260 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 172k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
155.29/155.36 c 155s|290000 | 2261 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 179k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
160.89/160.93 c 161s|300000 | 2258 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 185k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
166.69/166.78 c 167s|310000 | 2257 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 192k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
172.09/172.14 c 172s|320000 | 2255 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 198k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
177.49/177.56 c 178s|330000 | 2256 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 204k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
182.69/182.74 c 183s|340000 | 2255 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 | 210k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
187.79/187.81 c 188s|350000 | 2256 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 216k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
192.89/192.94 c 193s|360000 | 2259 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 222k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
197.79/197.87 c 198s|370000 | 2254 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 229k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
202.69/202.77 c 203s|380000 | 2255 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 235k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
207.69/207.75 c 208s|390000 | 2254 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 | 241k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
212.59/212.63 c 213s|400000 | 2260 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 247k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
217.49/217.50 c 218s|410000 | 2256 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 253k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
222.39/222.45 c 222s|420000 | 2256 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 259k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
227.39/227.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
227.39/227.42 c 227s|430000 | 2255 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 | 265k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
232.59/232.64 c 233s|440000 | 2250 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 271k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
237.61/237.65 c 238s|450000 | 2256 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 277k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
242.49/242.55 c 243s|460000 | 2253 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 283k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
247.51/247.53 c 248s|470000 | 2251 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 290k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
252.59/252.65 c 253s|480000 | 2253 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 296k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
257.69/257.76 c 258s|490000 | 2253 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 302k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
262.91/262.99 c 263s|500000 | 2249 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 308k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
267.79/267.80 c 268s|510000 | 2253 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 314k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
272.49/272.52 c 273s|520000 | 2251 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 | 320k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
277.21/277.28 c 277s|530000 | 2253 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 | 326k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
282.09/282.10 c 282s|540000 | 2251 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 332k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
286.89/287.01 c 287s|550000 | 2250 | 6675 | 0.0 | 13M|2419 | - |2822 | 420 | 0 | 0 | 0 | 339k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
291.89/291.93 c 292s|560000 | 2250 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 345k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
296.91/296.94 c 297s|570000 | 2249 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 | 351k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
301.79/301.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.79/301.86 c 302s|580000 | 2252 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 357k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
306.69/306.78 c 307s|590000 | 2252 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 363k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
312.09/312.10 c 312s|600000 | 2252 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 369k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
317.29/317.35 c 317s|610000 | 2249 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 375k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
322.49/322.56 c 323s|620000 | 2250 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 | 381k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
327.39/327.45 c 327s|630000 | 2249 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 387k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
332.29/332.32 c 332s|640000 | 2247 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 | 394k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
337.19/337.21 c 337s|650000 | 2246 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 | 400k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
342.01/342.06 c 342s|660000 | 2249 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 406k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
346.89/346.90 c 347s|670000 | 2247 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 | 412k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
351.59/351.69 c 352s|680000 | 2250 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 | 418k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
356.49/356.58 c 357s|690000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 | 424k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
361.49/361.52 c 362s|700000 | 2247 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 430k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
366.39/366.48 c 366s|710000 | 2245 | 6675 | 0.0 | 13M|2419 | - |2822 | 419 | 0 | 0 | 0 | 436k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
371.29/371.37 c 371s|720000 | 2246 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 442k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
376.21/376.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.21/376.22 c 376s|730000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 | 448k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
380.99/381.01 c 381s|740000 | 2248 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 455k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
385.69/385.78 c 386s|750000 | 2247 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 461k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
390.51/390.56 c 391s|760000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 | 467k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
395.29/395.36 c 395s|770000 | 2247 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 473k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
400.09/400.14 c 400s|780000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 | 479k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
404.89/404.92 c 405s|790000 | 2248 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 485k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
409.69/409.71 c 410s|800000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 | 491k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
414.61/414.66 c 415s|810000 | 2245 | 6675 | 0.0 | 13M|2419 | - |2822 | 419 | 0 | 0 | 0 | 498k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
419.59/419.64 c 420s|820000 | 2249 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 504k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
424.69/424.71 c 425s|830000 | 2242 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 | 510k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
429.49/429.53 c 430s|840000 | 2245 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 | 516k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
434.20/434.29 c 434s|850000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 | 522k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
439.10/439.12 c 439s|860000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 | 528k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
443.90/443.92 c 444s|870000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 | 534k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
448.71/448.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.71/448.79 c 449s|880000 | 2243 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 | 540k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
453.60/453.65 c 454s|890000 | 2243 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 547k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
458.50/458.50 c 458s|900000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 553k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
463.50/463.50 c 464s|910000 | 2242 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 559k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
469.00/469.03 c 469s|920000 | 2242 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 565k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
474.30/474.35 c 474s|930000 | 2244 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 | 572k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
479.30/479.32 c 479s|940000 | 2241 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 578k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
484.30/484.32 c 484s|950000 | 2242 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 584k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
489.60/489.62 c 490s|960000 | 2242 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 590k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
494.91/494.93 c 495s|970000 | 2240 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 | 596k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
500.00/500.03 c 500s|980000 | 2238 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 602k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
505.10/505.19 c 505s|990000 | 2238 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 | 609k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
510.31/510.37 c 510s| 1000k| 2237 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 615k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
515.70/515.81 c 516s| 1010k| 2242 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 | 621k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
521.31/521.32 c 521s| 1020k| 2240 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 628k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
526.50/526.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.50/526.58 c 527s| 1030k| 2236 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 | 634k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
532.00/532.02 c 532s| 1040k| 2238 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 640k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
537.40/537.48 c 537s| 1050k| 2240 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 646k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
542.32/542.37 c 542s| 1060k| 2239 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 | 653k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
547.50/547.56 c 548s| 1070k| 2235 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 659k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
552.60/552.60 c 553s| 1080k| 2235 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 665k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
557.50/557.54 c 558s| 1090k| 2238 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 671k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
562.40/562.47 c 562s| 1100k| 2238 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 677k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
567.40/567.51 c 568s| 1110k| 2235 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 683k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
572.50/572.51 c 573s| 1120k| 2234 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 | 689k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
577.30/577.40 c 577s| 1130k| 2236 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 | 695k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
582.40/582.43 c 582s| 1140k| 2236 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 | 701k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
587.42/587.45 c 587s| 1150k| 2237 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 707k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
592.40/592.42 c 592s| 1160k| 2234 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 | 714k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
597.32/597.35 c 597s| 1170k| 2235 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 | 720k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
602.20/602.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
602.20/602.20 c 602s| 1180k| 2234 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 726k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
607.22/607.23 c 607s| 1190k| 2233 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 732k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
612.10/612.18 c 612s| 1200k| 2233 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 738k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
617.12/617.19 c 617s| 1210k| 2231 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 | 744k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
622.20/622.28 c 622s| 1220k| 2232 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 750k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
627.40/627.49 c 627s| 1230k| 2233 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 | 757k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
632.60/632.69 c 633s| 1240k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 763k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
637.92/637.97 c 638s| 1250k| 2231 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 769k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
642.90/642.99 c 643s| 1260k| 2235 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 | 775k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
647.92/647.93 c 648s| 1270k| 2232 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 | 781k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
652.70/652.78 c 653s| 1280k| 2233 | 6675 | 0.0 | 13M|2419 | - |2822 | 419 | 0 | 0 | 0 | 787k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
657.72/657.74 c 658s| 1290k| 2233 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 | 793k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
662.60/662.67 c 663s| 1300k| 2231 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 | 800k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
667.50/667.57 c 668s| 1310k| 2232 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 | 806k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
672.40/672.48 c 672s| 1320k| 2230 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 812k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
677.30/677.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
677.30/677.36 c 677s| 1330k| 2230 | 6675 | 0.0 | 13M|2419 | - |2822 | 420 | 0 | 0 | 0 | 818k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
682.10/682.13 c 682s| 1340k| 2233 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 | 824k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
686.90/686.98 c 687s| 1350k| 2231 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 | 830k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
691.92/691.93 c 692s| 1360k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 | 836k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
696.80/696.83 c 697s| 1370k| 2230 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 | 842k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
701.72/701.76 c 702s| 1380k| 2227 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 | 848k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
706.90/706.93 c 707s| 1390k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 | 854k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
712.20/712.23 c 712s| 1400k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 | 860k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
717.00/717.06 c 717s| 1410k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 | 866k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
722.00/722.04 c 722s| 1420k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 | 872k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
726.70/726.76 c 727s| 1430k| 2234 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 878k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
731.52/731.52 c 732s| 1440k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 | 884k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
736.20/736.23 c 736s| 1450k| 2230 | 6675 | 0.0 | 13M|2419 | - |2822 | 420 | 0 | 0 | 0 | 889k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
740.70/740.78 c 741s| 1460k| 2228 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 895k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
745.30/745.35 c 745s| 1470k| 2230 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 | 901k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
749.80/749.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.80/749.86 c 750s| 1480k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 429 | 0 | 0 | 0 | 907k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
754.52/754.59 c 755s| 1490k| 2226 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 | 913k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
759.40/759.41 c 759s| 1500k| 2228 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 | 919k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
764.52/764.53 c 765s| 1510k| 2228 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 | 925k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
769.20/769.20 c 769s| 1520k| 2228 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 | 930k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
773.90/773.90 c 774s| 1530k| 2231 | 6675 | 0.0 | 13M|2419 | - |2822 | 419 | 0 | 0 | 0 | 936k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
778.50/778.59 c 779s| 1540k| 2230 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 942k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
783.40/783.48 c 783s| 1550k| 2227 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 | 948k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
788.31/788.31 c 788s| 1560k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 | 954k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
792.90/792.93 c 793s| 1570k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 | 960k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
797.60/797.63 c 798s| 1580k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 | 966k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
802.60/802.66 c 803s| 1590k| 2227 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 | 972k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
807.32/807.37 c 807s| 1600k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 | 978k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
812.01/812.04 c 812s| 1610k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 | 983k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
816.81/816.83 c 817s| 1620k| 2228 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 | 989k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
821.73/821.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.73/821.75 c 822s| 1630k| 2227 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 | 995k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
826.41/826.40 c 826s| 1640k| 2226 | 6675 | 0.0 | 13M|2419 | - |2822 | 427 | 0 | 0 | 0 |1001k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
831.01/831.03 c 831s| 1650k| 2226 | 6675 | 0.0 | 13M|2419 | - |2822 | 425 | 0 | 0 | 0 |1007k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
835.51/835.55 c 836s| 1660k| 2225 | 6675 | 0.0 | 13M|2419 | - |2822 | 442 | 0 | 0 | 0 |1013k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
840.51/840.56 c 841s| 1670k| 2231 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1019k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
845.61/845.63 c 846s| 1680k| 2229 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 |1025k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
851.01/851.00 c 851s| 1690k| 2228 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 |1031k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
856.41/856.49 c 856s| 1700k| 2225 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1037k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
861.51/861.53 c 862s| 1710k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 |1043k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
866.31/866.36 c 866s| 1720k| 2226 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1049k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
871.12/871.16 c 871s| 1730k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 |1055k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
876.01/876.03 c 876s| 1740k| 2225 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1061k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
880.71/880.75 c 881s| 1750k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1067k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
885.42/885.48 c 885s| 1760k| 2225 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |1073k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
890.31/890.34 c 890s| 1770k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 |1079k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
895.01/895.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.01/895.08 c 895s| 1780k| 2225 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 |1085k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
899.72/899.81 c 900s| 1790k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 |1091k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
904.61/904.62 c 905s| 1800k| 2225 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 |1096k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
909.51/909.57 c 910s| 1810k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1102k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
914.51/914.51 c 915s| 1820k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1109k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
919.63/919.66 c 920s| 1830k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 419 | 0 | 0 | 0 |1114k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
924.81/924.82 c 925s| 1840k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1120k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
929.61/929.62 c 930s| 1850k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 |1126k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
934.61/934.68 c 935s| 1860k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 |1132k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
939.81/939.86 c 940s| 1870k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 |1138k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
945.11/945.15 c 945s| 1880k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 |1144k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
950.21/950.22 c 950s| 1890k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1150k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
955.21/955.29 c 955s| 1900k| 2225 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 |1156k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
959.91/959.96 c 960s| 1910k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1162k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
964.81/964.84 c 965s| 1920k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1168k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
969.81/969.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.81/969.82 c 970s| 1930k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 426 | 0 | 0 | 0 |1174k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
974.71/974.75 c 975s| 1940k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |1180k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
979.51/979.50 c 979s| 1950k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1186k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
984.31/984.31 c 984s| 1960k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 |1192k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
989.01/989.02 c 989s| 1970k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1198k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
993.91/993.94 c 994s| 1980k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1204k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
998.91/998.92 c 999s| 1990k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1210k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1004.11/1004.12 c 1004s| 2000k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 404 | 0 | 0 | 0 |1216k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1009.11/1009.11 c 1009s| 2010k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1222k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1013.91/1013.97 c 1014s| 2020k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1228k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1018.91/1018.94 c 1019s| 2030k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 |1233k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1023.91/1024.00 c 1024s| 2040k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 |1239k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1028.91/1028.90 c 1029s| 2050k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 428 | 0 | 0 | 0 |1245k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1033.81/1033.80 c 1034s| 2060k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1251k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1038.81/1038.83 c 1039s| 2070k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 425 | 0 | 0 | 0 |1257k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1043.51/1043.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.51/1043.52 c 1044s| 2080k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1263k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1048.23/1048.28 c 1048s| 2090k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1269k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1053.11/1053.18 c 1053s| 2100k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |1275k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1057.81/1057.81 c 1058s| 2110k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1281k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1062.53/1062.54 c 1063s| 2120k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1287k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1067.31/1067.32 c 1067s| 2130k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 428 | 0 | 0 | 0 |1292k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1072.11/1072.14 c 1072s| 2140k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 430 | 0 | 0 | 0 |1298k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1076.93/1076.95 c 1077s| 2150k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 437 | 0 | 0 | 0 |1304k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1081.61/1081.65 c 1082s| 2160k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 433 | 0 | 0 | 0 |1310k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1086.51/1086.56 c 1087s| 2170k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 427 | 0 | 0 | 0 |1316k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1091.61/1091.67 c 1092s| 2180k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1322k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1096.51/1096.58 c 1097s| 2190k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1328k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1101.51/1101.59 c 1102s| 2200k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1334k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1106.63/1106.65 c 1107s| 2210k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 |1340k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1111.71/1111.70 c 1112s| 2220k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1346k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1116.53/1116.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.53/1116.56 c 1117s| 2230k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 427 | 0 | 0 | 0 |1352k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1121.21/1121.29 c 1121s| 2240k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1358k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1126.33/1126.37 c 1126s| 2250k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1364k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1131.31/1131.37 c 1131s| 2260k| 2224 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |1369k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1136.91/1136.93 c 1137s| 2270k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1375k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1142.61/1142.64 c 1143s| 2280k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1382k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1147.91/1147.98 c 1148s| 2290k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1388k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1152.91/1152.93 c 1153s| 2300k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1394k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1157.81/1157.83 c 1158s| 2310k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 420 | 0 | 0 | 0 |1400k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1162.91/1162.90 c 1163s| 2320k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 406 | 0 | 0 | 0 |1406k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1167.91/1167.94 c 1168s| 2330k| 2221 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1412k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1172.71/1172.77 c 1173s| 2340k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1418k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1177.61/1177.62 c 1178s| 2350k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 435 | 0 | 0 | 0 |1424k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1182.53/1182.55 c 1183s| 2360k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1430k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1187.41/1187.40 c 1187s| 2370k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 426 | 0 | 0 | 0 |1436k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1192.11/1192.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.11/1192.13 c 1192s| 2380k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1441k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1197.02/1197.00 c 1197s| 2390k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1447k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1201.72/1201.74 c 1202s| 2400k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 |1453k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1206.42/1206.42 c 1206s| 2410k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1459k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1211.22/1211.28 c 1211s| 2420k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1465k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1216.02/1216.06 c 1216s| 2430k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 431 | 0 | 0 | 0 |1471k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1220.72/1220.70 c 1221s| 2440k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 419 | 0 | 0 | 0 |1476k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1225.33/1225.38 c 1225s| 2450k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 429 | 0 | 0 | 0 |1482k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1230.32/1230.31 c 1230s| 2460k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 425 | 0 | 0 | 0 |1488k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1235.12/1235.11 c 1235s| 2470k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 428 | 0 | 0 | 0 |1494k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1239.92/1239.92 c 1240s| 2480k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 429 | 0 | 0 | 0 |1500k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1245.02/1245.07 c 1245s| 2490k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 |1506k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1249.92/1249.92 c 1250s| 2500k| 2223 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 |1512k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1255.14/1255.15 c 1255s| 2510k| 2222 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1518k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1260.02/1260.09 c 1260s| 2520k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 431 | 0 | 0 | 0 |1524k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1264.82/1264.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.82/1264.81 c 1265s| 2530k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1530k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1269.62/1269.60 c 1270s| 2540k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 439 | 0 | 0 | 0 |1536k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1274.42/1274.45 c 1274s| 2550k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 449 | 0 | 0 | 0 |1542k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1279.12/1279.20 c 1279s| 2560k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 425 | 0 | 0 | 0 |1548k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1284.12/1284.15 c 1284s| 2570k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1554k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1289.13/1289.16 c 1289s| 2580k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 424 | 0 | 0 | 0 |1560k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1294.02/1294.07 c 1294s| 2590k| 2220 | 6675 | 0.0 | 13M|2419 | - |2822 | 433 | 0 | 0 | 0 |1566k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1298.62/1298.68 c 1299s| 2600k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 425 | 0 | 0 | 0 |1571k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1303.54/1303.54 c 1304s| 2610k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1577k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1308.62/1308.60 c 1309s| 2620k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1583k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1313.22/1313.26 c 1313s| 2630k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 430 | 0 | 0 | 0 |1589k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1317.92/1317.93 c 1318s| 2640k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 427 | 0 | 0 | 0 |1595k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1322.82/1322.87 c 1323s| 2650k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1601k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1327.74/1327.77 c 1328s| 2660k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1607k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1332.72/1332.76 c 1333s| 2670k| 2219 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 |1612k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1337.82/1337.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.82/1337.86 c 1338s| 2680k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 |1618k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1343.22/1343.25 c 1343s| 2690k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 401 | 0 | 0 | 0 |1625k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1348.64/1348.68 c 1349s| 2700k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1631k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1353.82/1353.80 c 1354s| 2710k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 |1637k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1358.82/1358.82 c 1359s| 2720k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 |1643k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1363.72/1363.72 c 1364s| 2730k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1649k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1368.33/1368.41 c 1368s| 2740k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 430 | 0 | 0 | 0 |1655k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1373.02/1373.03 c 1373s| 2750k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 431 | 0 | 0 | 0 |1661k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1377.62/1377.69 c 1378s| 2760k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 429 | 0 | 0 | 0 |1666k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1382.32/1382.37 c 1382s| 2770k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 427 | 0 | 0 | 0 |1672k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1387.04/1387.02 c 1387s| 2780k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 447 | 0 | 0 | 0 |1678k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1391.72/1391.75 c 1392s| 2790k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 441 | 0 | 0 | 0 |1684k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1396.42/1396.46 c 1396s| 2800k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |1690k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1401.22/1401.31 c 1401s| 2810k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1696k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1406.02/1406.09 c 1406s| 2820k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |1702k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1411.02/1411.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.02/1411.09 c 1411s| 2830k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1708k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1415.92/1415.97 c 1416s| 2840k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1714k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1420.82/1420.83 c 1421s| 2850k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 |1720k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1425.72/1425.73 c 1426s| 2860k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 |1726k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1430.52/1430.55 c 1431s| 2870k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1732k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1435.44/1435.47 c 1435s| 2880k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1738k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1440.32/1440.36 c 1440s| 2890k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 422 | 0 | 0 | 0 |1744k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1445.02/1445.03 c 1445s| 2900k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1750k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1449.74/1449.76 c 1450s| 2910k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 |1756k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1454.62/1454.61 c 1455s| 2920k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 420 | 0 | 0 | 0 |1762k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1459.32/1459.32 c 1459s| 2930k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 431 | 0 | 0 | 0 |1768k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1464.14/1464.15 c 1464s| 2940k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1773k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1468.82/1468.88 c 1469s| 2950k| 2211 | 6675 | 0.0 | 13M|2419 | - |2822 | 432 | 0 | 0 | 0 |1779k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1473.62/1473.64 c 1474s| 2960k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 419 | 0 | 0 | 0 |1785k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1478.34/1478.35 c 1478s| 2970k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1791k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1483.02/1483.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.02/1483.04 c 1483s| 2980k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 420 | 0 | 0 | 0 |1797k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1487.82/1487.88 c 1488s| 2990k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 431 | 0 | 0 | 0 |1803k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1492.52/1492.61 c 1493s| 3000k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1809k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1497.14/1497.19 c 1497s| 3010k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 432 | 0 | 0 | 0 |1815k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1501.92/1502.00 c 1502s| 3020k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 |1821k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1507.04/1507.06 c 1507s| 3030k| 2211 | 6675 | 0.0 | 13M|2419 | - |2822 | 425 | 0 | 0 | 0 |1827k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1512.12/1512.16 c 1512s| 3040k| 2216 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1832k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1517.12/1517.15 c 1517s| 3050k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1838k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1522.12/1522.19 c 1522s| 3060k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1844k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1527.32/1527.32 c 1527s| 3070k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 |1850k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1532.62/1532.66 c 1533s| 3080k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1857k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1537.62/1537.60 c 1538s| 3090k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 427 | 0 | 0 | 0 |1862k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1542.42/1542.47 c 1542s| 3100k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 420 | 0 | 0 | 0 |1868k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1547.12/1547.19 c 1547s| 3110k| 2218 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1874k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1551.93/1551.96 c 1552s| 3120k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 |1880k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1557.03/1557.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.03/1557.02 c 1557s| 3130k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1886k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1562.32/1562.34 c 1562s| 3140k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |1892k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1567.32/1567.35 c 1567s| 3150k| 2217 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |1897k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1572.32/1572.34 c 1572s| 3160k| 2211 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 |1903k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1577.73/1577.70 c 1578s| 3170k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1910k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1583.13/1583.12 c 1583s| 3180k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 |1916k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1588.53/1588.54 c 1589s| 3190k| 2211 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1922k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1593.43/1593.48 c 1593s| 3200k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1928k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1598.35/1598.38 c 1598s| 3210k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 |1934k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1603.23/1603.20 c 1603s| 3220k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |1940k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1607.93/1607.99 c 1608s| 3230k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 418 | 0 | 0 | 0 |1946k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1613.03/1613.00 c 1613s| 3240k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 427 | 0 | 0 | 0 |1951k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1617.93/1617.99 c 1618s| 3250k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |1957k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1623.13/1623.10 c 1623s| 3260k| 2215 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 |1963k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1628.05/1628.05 c 1628s| 3270k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |1969k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1632.93/1632.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.93/1632.98 c 1633s| 3280k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |1975k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1638.13/1638.19 c 1638s| 3290k| 2214 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1981k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1643.23/1643.28 c 1643s| 3300k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |1988k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1648.33/1648.31 c 1648s| 3310k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 |1994k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1653.24/1653.25 c 1653s| 3320k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 |2000k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1658.33/1658.36 c 1658s| 3330k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 400 | 0 | 0 | 0 |2006k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1663.43/1663.42 c 1663s| 3340k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |2012k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1668.43/1668.44 c 1668s| 3350k| 2211 | 6675 | 0.0 | 13M|2419 | - |2822 | 411 | 0 | 0 | 0 |2018k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1673.33/1673.35 c 1673s| 3360k| 2207 | 6675 | 0.0 | 13M|2419 | - |2822 | 416 | 0 | 0 | 0 |2024k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1678.23/1678.28 c 1678s| 3370k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 402 | 0 | 0 | 0 |2030k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1683.13/1683.18 c 1683s| 3380k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 |2036k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1688.03/1688.06 c 1688s| 3390k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |2042k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1693.03/1693.05 c 1693s| 3400k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 407 | 0 | 0 | 0 |2048k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1697.93/1697.92 c 1698s| 3410k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 405 | 0 | 0 | 0 |2055k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1702.74/1702.80 c 1703s| 3420k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 414 | 0 | 0 | 0 |2061k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1707.73/1707.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.73/1707.78 c 1708s| 3430k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 434 | 0 | 0 | 0 |2066k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1712.53/1712.50 c 1712s| 3440k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 |2072k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1717.53/1717.51 c 1718s| 3450k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 421 | 0 | 0 | 0 |2078k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1722.83/1722.88 c 1723s| 3460k| 2211 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 |2084k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1728.04/1728.10 c 1728s| 3470k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 403 | 0 | 0 | 0 |2091k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1733.23/1733.21 c 1733s| 3480k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |2097k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1738.13/1738.16 c 1738s| 3490k| 2208 | 6675 | 0.0 | 13M|2419 | - |2822 | 417 | 0 | 0 | 0 |2103k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1742.83/1742.88 c 1743s| 3500k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 413 | 0 | 0 | 0 |2109k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1747.53/1747.54 c 1748s| 3510k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 408 | 0 | 0 | 0 |2114k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1752.13/1752.21 c 1752s| 3520k| 2213 | 6675 | 0.0 | 13M|2419 | - |2822 | 437 | 0 | 0 | 0 |2120k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1756.83/1756.81 c 1757s| 3530k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 409 | 0 | 0 | 0 |2126k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1761.53/1761.55 c 1762s| 3540k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 429 | 0 | 0 | 0 |2132k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1766.33/1766.30 c 1766s| 3550k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 415 | 0 | 0 | 0 |2138k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1771.13/1771.14 c 1771s| 3560k| 2209 | 6675 | 0.0 | 13M|2419 | - |2822 | 428 | 0 | 0 | 0 |2144k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1775.93/1775.92 c 1776s| 3570k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 431 | 0 | 0 | 0 |2150k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1780.63/1780.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.63/1780.65 c 1781s| 3580k| 2208 | 6675 | 0.0 | 13M|2419 | - |2822 | 450 | 0 | 0 | 0 |2156k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1785.43/1785.43 c 1785s| 3590k| 2212 | 6675 | 0.0 | 13M|2419 | - |2822 | 410 | 0 | 0 | 0 |2162k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1790.13/1790.13 c 1790s| 3600k| 2208 | 6675 | 0.0 | 13M|2419 | - |2822 | 423 | 0 | 0 | 0 |2168k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1794.93/1794.95 c 1795s| 3610k| 2210 | 6675 | 0.0 | 13M|2419 | - |2822 | 412 | 0 | 0 | 0 |2173k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1799.73/1799.76 c 1800s| 3620k| 2211 | 6675 | 0.0 | 13M|2419 | - |2822 | 424 | 0 | 0 | 0 |2179k| 41 | 1.201128e+02 | 1.220000e+02 | 1.57%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 3620484 (total of 3620485 nodes in 2 runs)
1800.03/1800.00 c Primal Bound : +1.22000000000000e+02 (13 solutions)
1800.03/1800.00 c Dual Bound : +1.20112799618667e+02
1800.03/1800.00 c Gap : 1.57 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658
1800.03/1800.00 v -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641
1800.03/1800.00 v -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 -x4623
1800.03/1800.00 v -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605
1800.03/1800.00 v -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587
1800.03/1800.00 v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569
1800.03/1800.00 v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551
1800.03/1800.00 v -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533
1800.03/1800.00 v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515
1800.03/1800.00 v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497
1800.03/1800.00 v -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479
1800.03/1800.00 v -x4478 -x4477 x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461
1800.03/1800.00 v -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443
1800.03/1800.00 v -x4442 x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425
1800.03/1800.00 v -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 x4408 -x4407
1800.03/1800.00 v -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390
1800.03/1800.00 v -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372
1800.03/1800.00 v -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354
1800.03/1800.00 v -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336
1800.03/1800.00 v -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 x4326 -x4325 -x4324 -x4323 -x4322 -x4321 x4320 -x4319 -x4318
1800.03/1800.00 v -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300
1800.03/1800.00 v -x4299 -x4298 -x4297 x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 x4283 -x4282
1800.03/1800.00 v -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264
1800.03/1800.00 v -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246
1800.03/1800.00 v -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228
1800.03/1800.00 v -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210
1800.03/1800.00 v -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193
1800.03/1800.00 v -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175
1800.03/1800.00 v -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157
1800.03/1800.00 v x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139
1800.03/1800.00 v -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121
1800.03/1800.00 v -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103
1800.03/1800.00 v -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085
1800.03/1800.00 v -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067
1800.03/1800.00 v -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050
1800.03/1800.00 v -x4049 -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 x4037 -x4036 -x4035 -x4034 -x4033 -x4032
1800.03/1800.00 v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1800.03/1800.00 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996
1800.03/1800.00 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 x3982 -x3981 -x3980 -x3979 -x3978
1800.03/1800.00 v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960
1800.03/1800.00 v -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 x3947 -x3946 -x3945 -x3944 -x3943 -x3942
1800.03/1800.00 v -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 x3928 -x3927 -x3926 -x3925 -x3924
1800.03/1800.00 v -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906
1800.03/1800.00 v -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888
1800.03/1800.00 v -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 x3873 -x3872 -x3871 -x3870
1800.03/1800.00 v -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852
1800.03/1800.00 v -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835
1800.03/1800.00 v -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817
1800.03/1800.00 v -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799
1800.03/1800.00 v -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781
1800.03/1800.00 v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763
1800.03/1800.00 v -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745
1800.03/1800.00 v -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727
1800.03/1800.00 v -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710
1800.03/1800.00 v -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692
1800.03/1800.00 v -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674
1800.03/1800.00 v -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656
1800.03/1800.00 v -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638
1800.03/1800.00 v -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 x3625 -x3624 -x3623 -x3622 -x3621 -x3620
1800.03/1800.00 v -x3619 -x3618 -x3617 -x3616 -x3615 x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602
1800.03/1800.00 v -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584
1800.03/1800.00 v -x3583 -x3582 -x3581 -x3580 -x3579 x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566
1800.03/1800.00 v -x3565 -x3564 -x3563 -x3562 -x3561 x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548
1800.03/1800.00 v -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530
1800.03/1800.00 v -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512
1800.03/1800.00 v -x3511 -x3510 x3509 -x3508 -x3507 -x3506 x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494
1800.03/1800.00 v -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476
1800.03/1800.00 v -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458
1800.03/1800.00 v -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441
1800.03/1800.00 v x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423
1800.03/1800.00 v -x3422 x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 x3412 -x3411 -x3410 -x3409 -x3408 -x3407 x3406 -x3405 -x3404
1800.03/1800.00 v -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386
1800.03/1800.00 v -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369
1800.03/1800.00 v -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351
1800.03/1800.00 v -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333
1800.03/1800.00 v -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 x3320 -x3319 -x3318 -x3317 -x3316 -x3315
1800.03/1800.00 v -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 -x3299 -x3298 -x3297
1800.03/1800.00 v -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279
1800.03/1800.00 v -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261
1800.03/1800.00 v -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243
1800.03/1800.00 v -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225
1800.03/1800.00 v -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207
1800.03/1800.00 v -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189
1800.03/1800.00 v -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172
1800.03/1800.00 v -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154
1800.03/1800.00 v -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 x3141 -x3140 -x3139 -x3138 -x3137 -x3136
1800.03/1800.00 v -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118
1800.03/1800.00 v -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100
1800.03/1800.00 v -x3099 -x3098 -x3097 x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082
1800.03/1800.00 v -x3081 -x3080 -x3079 -x3078 x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064
1800.03/1800.00 v -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046
1800.03/1800.00 v -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028
1800.03/1800.00 v -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 x3010
1800.03/1800.00 v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 x2993 -x2992
1800.03/1800.00 v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974
1800.03/1800.00 v -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956
1800.03/1800.00 v -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938
1800.03/1800.00 v -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921
1800.03/1800.00 v x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903
1800.03/1800.00 v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885
1800.03/1800.00 v -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 x2872 -x2871 -x2870 -x2869 -x2868 -x2867
1800.03/1800.00 v -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849
1800.03/1800.00 v -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831
1800.03/1800.00 v -x2830 x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813
1800.03/1800.00 v -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795
1800.03/1800.00 v -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
1800.03/1800.00 v x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759
1800.03/1800.00 v -x2758 -x2757 -x2756 -x2755 x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741
1800.03/1800.00 v -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723
1800.03/1800.00 v -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705
1800.03/1800.00 v -x2704 -x2703 -x2702 x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 x2691 -x2690 -x2689 -x2688 -x2687
1800.03/1800.00 v -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669
1800.03/1800.00 v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651
1800.03/1800.00 v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634
1800.03/1800.00 v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616
1800.03/1800.00 v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598
1800.03/1800.00 v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580
1800.03/1800.00 v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 x2571 -x2570 -x2569 x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562
1800.03/1800.00 v -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544
1800.03/1800.00 v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 x2537 -x2536 x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526
1800.03/1800.00 v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508
1800.03/1800.00 v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490
1800.03/1800.00 v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472
1800.03/1800.00 v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454
1800.03/1800.00 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437
1800.03/1800.00 v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419
1800.03/1800.00 v -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401
1800.03/1800.00 v -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 x2388 -x2387 -x2386 -x2385 -x2384 -x2383
1800.03/1800.00 v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365
1800.03/1800.00 v -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347
1800.03/1800.00 v -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329
1800.03/1800.00 v -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311
1800.03/1800.00 v -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
1800.03/1800.00 v x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276
1800.03/1800.00 v -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 x2260 -x2259 -x2258
1800.03/1800.00 v -x2257 -x2256 -x2255 -x2254 x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
1800.03/1800.00 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
1800.03/1800.00 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204
1800.03/1800.00 v x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186
1800.03/1800.00 v -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168
1800.03/1800.00 v -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 x2150
1800.03/1800.00 v -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132
1800.03/1800.00 v -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114
1800.03/1800.00 v -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096
1800.03/1800.00 v x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078
1800.03/1800.00 v -x2077 -x2076 x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060
1800.03/1800.00 v -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042
1800.03/1800.00 v -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025
1800.03/1800.00 v -x2024 -x2023 x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
1800.03/1800.00 v -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 x1993 -x1992 -x1991 -x1990 -x1989
1800.03/1800.00 v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971
1800.03/1800.00 v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953
1800.03/1800.00 v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935
1800.03/1800.00 v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917
1800.03/1800.00 v -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899
1800.03/1800.00 v -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881
1800.03/1800.00 v -x1880 x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863
1800.03/1800.00 v -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846
1800.03/1800.00 v -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 x1833 -x1832 -x1831 -x1830 -x1829 -x1828
1800.03/1800.00 v -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810
1800.03/1800.00 v -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 x1797 -x1796 -x1795 -x1794 -x1793 -x1792
1800.03/1800.00 v -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774
1800.03/1800.00 v -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 x1757 -x1756
1800.03/1800.00 v x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738
1800.03/1800.00 v -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720
1800.03/1800.00 v -x1719 x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702
1800.03/1800.00 v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684
1800.03/1800.00 v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666
1800.03/1800.00 v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648
1800.03/1800.00 v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630
1800.03/1800.00 v -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612
1800.03/1800.00 v -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595
1800.03/1800.00 v -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577
1800.03/1800.00 v -x1576 x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559
1800.03/1800.00 v -x1558 -x1557 x1556 -x1555 -x1554 -x1553 -x1552 -x1551 x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540
1800.03/1800.00 v -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 x1525 -x1524 -x1523 -x1522
1800.03/1800.00 v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
1800.03/1800.00 v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487
1800.03/1800.00 v -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469
1800.03/1800.00 v -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451
1800.03/1800.00 v -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433
1800.03/1800.00 v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415
1800.03/1800.00 v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397
1800.03/1800.00 v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379
1800.03/1800.00 v -x1378 -x1377 x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361
1800.03/1800.00 v -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344
1800.03/1800.00 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326
1800.03/1800.00 v -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308
1800.03/1800.00 v -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290
1800.03/1800.00 v -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272
1800.03/1800.00 v -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254
1800.03/1800.00 v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236
1800.03/1800.00 v -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218
1800.03/1800.00 v -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201
1800.03/1800.00 v -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183
1800.03/1800.00 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
1800.03/1800.00 v -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147
1800.03/1800.00 v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129
1800.03/1800.00 v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 x1115 -x1114 -x1113 -x1112 -x1111
1800.03/1800.00 v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093
1800.03/1800.00 v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075
1800.03/1800.00 v -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057
1800.03/1800.00 v -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039
1800.03/1800.00 v -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021
1800.03/1800.00 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003
1800.03/1800.00 v -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983
1800.03/1800.00 v -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962
1800.03/1800.00 v -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941
1800.03/1800.00 v -x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 x920
1800.03/1800.00 v -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899
1800.03/1800.00 v -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879
1800.03/1800.00 v -x878 -x877 -x876 -x875 -x874 x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858
1800.03/1800.00 v -x857 -x856 -x855 -x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837
1800.03/1800.00 v -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816
1800.03/1800.00 v -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795
1800.03/1800.00 v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774
1800.03/1800.00 v -x773 -x772 -x771 -x770 x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 -x752
1800.03/1800.00 v -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731
1800.03/1800.00 v -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711
1800.03/1800.00 v -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 -x694 -x693 -x692 -x691 -x690
1800.03/1800.00 v -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669
1800.03/1800.00 v -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648
1800.03/1800.00 v -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627
1800.03/1800.00 v -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606
1800.03/1800.00 v -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585
1800.03/1800.00 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564
1800.03/1800.00 v -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543
1800.03/1800.00 v -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522
1800.03/1800.00 v -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501
1800.03/1800.00 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
1800.03/1800.00 v -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
1800.03/1800.00 v -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
1800.03/1800.00 v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418
1800.03/1800.00 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
1800.03/1800.00 v -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376
1800.03/1800.00 v x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355
1800.03/1800.00 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334
1800.03/1800.00 v -x333 -x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313
1800.03/1800.00 v -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292
1800.03/1800.00 v -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271
1800.03/1800.00 v -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250
1800.03/1800.00 v x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229
1800.03/1800.00 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208
1800.03/1800.00 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187
1800.03/1800.00 v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 -x168 -x167 -x166
1800.03/1800.00 v -x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145
1800.03/1800.00 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
1800.03/1800.00 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103
1800.03/1800.00 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78
1800.03/1800.00 v -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53
1800.03/1800.00 v -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 x28
1800.03/1800.00 v -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.06 (included in solving)
1800.03/1800.00 c reading : 0.02 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3453136-1307081663.opb
1800.03/1800.00 c Variables : 4676 (4676 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 398 initial, 398 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3453136-1307081663.opb
1800.03/1800.00 c Variables : 2822 (2822 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 400 initial, 477 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 293 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 2 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.02 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.01 0 1 0 0 0 1 0 0 0
1800.03/1800.00 c logicor : 0.01 1558 0 0 0 0 1 0 0 0
1800.03/1800.00 c root node : - 304 - - 304 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 2 0 19 0 0 0 0 0 4
1800.03/1800.00 c knapsack : 4 1 4063 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 396+ 8 5296445 0 0 13 243845408 1034279 4294598 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 0 16 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 0.79 0.00 0.00 0.79 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 0.33 0.29 0.05 0.00 0.00 0.00 0.00
1800.03/1800.00 c logicor : 812.74 0.00 527.90 0.00 0.00 0.00 284.84
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 12721061 4854350 823398 57347839
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 1.57 1.57 0.00
1800.03/1800.00 c rootredcost : 1.74 1.74 0.00
1800.03/1800.00 c pseudoobj : 1126.83 914.93 211.89
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 848.44 1857652 1857652 1857652 309.8 5890 339.5 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 141.11 321203 321203 321203 273.5 1305 343.6 -
1800.03/1800.00 c applied globally : - - - 1107020 229.8 - - -
1800.03/1800.00 c applied locally : - - - 1073042 381.4 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 0.00 8 0 304 0 0
1800.03/1800.00 c impliedbounds : 0.00 8 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.03 8 0 0 33 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.18 8 0 0 234 0
1800.03/1800.00 c cmir : 0.09 8 0 0 0 0
1800.03/1800.00 c flowcover : 0.07 8 0 0 0 0
1800.03/1800.00 c clique : 0.00 2 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 2 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.79 2 0 0 0 0 4
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 85.80 2274703 0 0 0 0 4549406
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c oneopt : 0.82 3 1
1800.03/1800.00 c trivial : 0.00 2 2
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 0.00 7 7
1800.03/1800.00 c zirounding : 0.00 2 2
1800.03/1800.00 c rounding : 0.01 7 0
1800.03/1800.00 c shifting : 0.01 7 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.11 1 1
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.48 0 0
1800.03/1800.00 c trysol : 0.35 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.59 7 6675 953.57 11220.81
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.79 41 5965 145.49 7587.43
1800.03/1800.00 c (at root node) : - 41 5965 145.49 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 2
1800.03/1800.00 c nodes : 3620484
1800.03/1800.00 c nodes (total) : 3620485
1800.03/1800.00 c nodes left : 2210
1800.03/1800.00 c max depth : 2419
1800.03/1800.00 c max depth (total): 2419
1800.03/1800.00 c backtracks : 966582 (26.7%)
1800.03/1800.00 c delayed cutoffs : 880922
1800.03/1800.00 c repropagations : 2651189 (24539388 domain reductions, 833100 cutoffs)
1800.03/1800.00 c avg switch length: 2.46
1800.03/1800.00 c switching time : 45.08
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 13 (5 improvements)
1800.03/1800.00 c First Solution : +4.67600000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.03/1800.00 c Primal Bound : +1.22000000000000e+02 (in run 1, after 1 nodes, 0.73 seconds, depth 0, found by <rens>)
1800.03/1800.00 c Dual Bound : +1.20112799618667e+02
1800.03/1800.00 c Gap : 1.57 %
1800.03/1800.00 c Root Dual Bound : +1.20013642564802e+02
1800.03/1800.00 c Root Iterations : 6675
OK 122
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453136-1307081663/watcher-3453136-1307081663 -o /tmp/evaluation-result-3453136-1307081663/solver-3453136-1307081663 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453136-1307081663.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 2/526 22211 /proc/meminfo: memFree=23017908/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=14820 CPUtime=0.01 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 2734 0 0 0 1 0 0 0 23 0 1 0 800582196 15175680 2686 33554432000 4194304 9128323 140736922238272 18446744073709551615 7998166 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22211/statm: 3705 2686 400 1205 0 2496 0 [startup+0.0336681 s] /proc/loadavg: 2.00 2.02 2.00 2/526 22211 /proc/meminfo: memFree=23017908/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=25680 CPUtime=0.02 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 5144 0 0 0 2 0 0 0 23 0 1 0 800582196 26296320 5095 33554432000 4194304 9128323 140736922238272 18446744073709551615 4578836 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 6420 5095 478 1205 0 5211 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 25680 [startup+0.100665 s] /proc/loadavg: 2.00 2.02 2.00 2/526 22211 /proc/meminfo: memFree=23017908/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=30480 CPUtime=0.09 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 6850 0 0 0 8 1 0 0 18 0 1 0 800582196 31211520 6530 33554432000 4194304 9128323 140736922238272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 7620 6530 637 1205 0 6411 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30480 [startup+0.300619 s] /proc/loadavg: 2.00 2.02 2.00 2/526 22211 /proc/meminfo: memFree=23017908/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=36508 CPUtime=0.29 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 8187 0 0 0 28 1 0 0 18 0 1 0 800582196 37384192 7788 33554432000 4194304 9128323 140736922238272 18446744073709551615 6705230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 9127 7792 652 1205 0 7918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 36508 [startup+0.700543 s] /proc/loadavg: 2.00 2.02 2.00 2/526 22211 /proc/meminfo: memFree=23017908/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=70096 CPUtime=0.69 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 15885 0 0 0 66 3 0 0 18 0 1 0 800582196 71778304 15420 33554432000 4194304 9128323 140736922238272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 17524 15420 704 1205 0 16315 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 70096 [startup+1.5004 s] /proc/loadavg: 2.00 2.02 2.00 3/527 22212 /proc/meminfo: memFree=22976360/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=52452 CPUtime=1.49 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 17043 0 0 0 142 7 0 0 19 0 1 0 800582196 53710848 11579 33554432000 4194304 9128323 140736922238272 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 13113 11579 750 1205 0 11904 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 52452 [startup+3.10011 s] /proc/loadavg: 2.08 2.03 2.01 3/527 22212 /proc/meminfo: memFree=22957528/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=68700 CPUtime=3.09 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 21275 0 0 0 300 9 0 0 25 0 1 0 800582196 70348800 15785 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 17175 15785 736 1205 0 15966 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68700 [startup+6.30054 s] /proc/loadavg: 2.08 2.03 2.01 3/527 22212 /proc/meminfo: memFree=22950460/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=73320 CPUtime=6.29 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 22356 0 0 0 619 10 0 0 25 0 1 0 800582196 75079680 16866 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699066043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 18330 16866 736 1205 0 17121 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 73320 [startup+12.7004 s] /proc/loadavg: 2.07 2.03 2.00 3/527 22320 /proc/meminfo: memFree=22939716/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=74956 CPUtime=12.69 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 22772 0 0 0 1259 10 0 0 25 0 1 0 800582196 76754944 17282 33554432000 4194304 9128323 140736922238272 18446744073709551615 5983317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 18739 17282 736 1205 0 17530 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 74956 [startup+25.5011 s] /proc/loadavg: 2.06 2.03 2.00 3/527 22321 /proc/meminfo: memFree=22949284/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=76596 CPUtime=25.49 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23175 0 0 0 2539 10 0 0 25 0 1 0 800582196 78434304 17685 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19149 17685 736 1205 0 17940 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76596 [startup+51.1005 s] /proc/loadavg: 2.04 2.03 2.00 3/527 22375 /proc/meminfo: memFree=22929920/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=78256 CPUtime=51.09 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23568 0 0 0 5099 10 0 0 25 0 1 0 800582196 80134144 18078 33554432000 4194304 9128323 140736922238272 18446744073709551615 6523920 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19564 18078 736 1205 0 18355 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 78256 [startup+102.32 s] /proc/loadavg: 2.05 2.03 2.00 3/527 22404 /proc/meminfo: memFree=22932504/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=78668 CPUtime=102.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23696 0 0 0 10221 10 0 0 25 0 1 0 800582196 80556032 18206 33554432000 4194304 9128323 140736922238272 18446744073709551615 4336256 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19667 18206 736 1205 0 18458 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 78668 [startup+162.301 s] /proc/loadavg: 2.02 2.02 2.00 3/527 22405 /proc/meminfo: memFree=22922292/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79076 CPUtime=162.29 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23780 0 0 0 16219 10 0 0 25 0 1 0 800582196 80973824 18290 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19769 18290 736 1205 0 18560 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 79076 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/527 22407 /proc/meminfo: memFree=22921464/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79208 CPUtime=222.29 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23825 0 0 0 22219 10 0 0 25 0 1 0 800582196 81108992 18335 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984116 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19802 18335 736 1205 0 18593 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 79208 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/527 22408 /proc/meminfo: memFree=22921892/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79208 CPUtime=282.29 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23833 0 0 0 28219 10 0 0 25 0 1 0 800582196 81108992 18343 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19802 18343 736 1205 0 18593 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 79208 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/527 22410 /proc/meminfo: memFree=22921960/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79208 CPUtime=342.29 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23848 0 0 0 34219 10 0 0 25 0 1 0 800582196 81108992 18358 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19802 18358 736 1205 0 18593 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 79208 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/527 22412 /proc/meminfo: memFree=22917952/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79344 CPUtime=402.29 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23865 0 0 0 40219 10 0 0 25 0 1 0 800582196 81248256 18375 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19836 18375 736 1205 0 18627 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 79344 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/527 22413 /proc/meminfo: memFree=22914420/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79344 CPUtime=462.3 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23871 0 0 0 46220 10 0 0 25 0 1 0 800582196 81248256 18381 33554432000 4194304 9128323 140736922238272 18446744073709551615 4336255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19836 18381 736 1205 0 18627 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 79344 [startup+522.301 s] /proc/loadavg: 2.09 2.03 2.01 3/527 22415 /proc/meminfo: memFree=22910284/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79344 CPUtime=522.3 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23880 0 0 0 52220 10 0 0 25 0 1 0 800582196 81248256 18390 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19836 18390 736 1205 0 18627 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 79344 [startup+582.301 s] /proc/loadavg: 2.19 2.07 2.02 3/527 22416 /proc/meminfo: memFree=22907108/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79480 CPUtime=582.3 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23892 0 0 0 58220 10 0 0 25 0 1 0 800582196 81387520 18402 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19870 18402 736 1205 0 18661 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 79480 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.03 2.00 3/527 22426 /proc/meminfo: memFree=22900488/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79760 CPUtime=822.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23987 0 0 0 82221 10 0 0 25 0 1 0 800582196 81674240 18497 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19940 18497 736 1205 0 18731 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 79760 [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/527 22427 /proc/meminfo: memFree=22898072/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79900 CPUtime=882.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 23993 0 0 0 88221 10 0 0 25 0 1 0 800582196 81817600 18503 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19975 18503 736 1205 0 18766 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 79900 [startup+942.3 s] /proc/loadavg: 2.00 2.02 2.00 3/527 22429 /proc/meminfo: memFree=22896748/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79900 CPUtime=942.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24024 0 0 0 94221 10 0 0 25 0 1 0 800582196 81817600 18534 33554432000 4194304 9128323 140736922238272 18446744073709551615 5985936 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19975 18534 736 1205 0 18766 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 79900 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/527 22431 /proc/meminfo: memFree=22895952/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=79900 CPUtime=1002.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24024 0 0 0 100221 10 0 0 25 0 1 0 800582196 81817600 18534 33554432000 4194304 9128323 140736922238272 18446744073709551615 4911498 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 19975 18534 736 1205 0 18766 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 79900 [startup+1062.3 s] /proc/loadavg: 2.12 2.04 2.01 3/527 22432 /proc/meminfo: memFree=22893156/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80040 CPUtime=1062.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24036 0 0 0 106221 10 0 0 25 0 1 0 800582196 81960960 18546 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20010 18546 736 1205 0 18801 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 80040 [startup+1122.3 s] /proc/loadavg: 2.18 2.06 2.01 3/527 22434 /proc/meminfo: memFree=22889032/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80176 CPUtime=1122.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24062 0 0 0 112221 10 0 0 25 0 1 0 800582196 82100224 18572 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065918 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20044 18572 736 1205 0 18835 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 80176 [startup+1182.3 s] /proc/loadavg: 2.14 2.06 2.01 3/527 22435 /proc/meminfo: memFree=22887488/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80456 CPUtime=1182.31 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24155 0 0 0 118221 10 0 0 25 0 1 0 800582196 82386944 18665 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20114 18665 736 1205 0 18905 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 80456 [startup+1242.3 s] /proc/loadavg: 2.05 2.05 2.01 3/527 22437 /proc/meminfo: memFree=22887084/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80600 CPUtime=1242.32 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24167 0 0 0 124222 10 0 0 25 0 1 0 800582196 82534400 18677 33554432000 4194304 9128323 140736922238272 18446744073709551615 4794016 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20150 18677 736 1205 0 18941 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 80600 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.00 3/527 22439 /proc/meminfo: memFree=22886376/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80600 CPUtime=1302.33 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24189 0 0 0 130223 10 0 0 25 0 1 0 800582196 82534400 18699 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20150 18699 736 1205 0 18941 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 80600 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/527 22440 /proc/meminfo: memFree=22882100/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80740 CPUtime=1362.32 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24204 0 0 0 136222 10 0 0 25 0 1 0 800582196 82677760 18714 33554432000 4194304 9128323 140736922238272 18446744073709551615 4912480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20185 18714 736 1205 0 18976 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 80740 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/527 22442 /proc/meminfo: memFree=22881672/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80740 CPUtime=1422.34 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24207 0 0 0 142224 10 0 0 25 0 1 0 800582196 82677760 18717 33554432000 4194304 9128323 140736922238272 18446744073709551615 6545900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20185 18717 736 1205 0 18976 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 80740 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/527 22443 /proc/meminfo: memFree=22881452/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80740 CPUtime=1482.32 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24223 0 0 0 148222 10 0 0 25 0 1 0 800582196 82677760 18733 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20185 18733 736 1205 0 18976 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 80740 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/527 22445 /proc/meminfo: memFree=22881656/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80876 CPUtime=1542.32 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24242 0 0 0 154222 10 0 0 25 0 1 0 800582196 82817024 18752 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20219 18752 736 1205 0 19010 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 80876 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/527 22447 /proc/meminfo: memFree=22879852/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80876 CPUtime=1602.33 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24257 0 0 0 160223 10 0 0 25 0 1 0 800582196 82817024 18767 33554432000 4194304 9128323 140736922238272 18446744073709551615 5984431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20219 18767 736 1205 0 19010 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 80876 [startup+1662.3 s] /proc/loadavg: 2.14 2.04 2.01 3/527 22448 /proc/meminfo: memFree=22877672/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80876 CPUtime=1662.33 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24260 0 0 0 166223 10 0 0 25 0 1 0 800582196 82817024 18770 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20219 18770 736 1205 0 19010 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 80876 [startup+1722.3 s] /proc/loadavg: 2.09 2.05 2.01 3/527 22450 /proc/meminfo: memFree=22876840/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=80876 CPUtime=1722.33 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24261 0 0 0 172223 10 0 0 25 0 1 0 800582196 82817024 18771 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20219 18771 736 1205 0 19010 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 80876 [startup+1782.3 s] /proc/loadavg: 2.03 2.04 2.00 3/527 22451 /proc/meminfo: memFree=22874896/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=81016 CPUtime=1782.33 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24269 0 0 0 178223 10 0 0 25 0 1 0 800582196 82960384 18779 33554432000 4194304 9128323 140736922238272 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22211/statm: 20254 18779 736 1205 0 19045 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 81016 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.03 2.00 3/527 22452 /proc/meminfo: memFree=22874512/32951124 swapFree=64303760/67111528 [pid=22211] ppid=22209 vsize=77924 CPUtime=1800.05 cores=1,3,5,7 /proc/22211/stat : 22211 (scip-2.0.1.4.li) R 22209 22211 18861 0 -1 4202496 24376 0 0 0 179995 10 0 0 25 0 1 0 800582196 79794176 18018 33554432000 4194304 9128323 140736922238272 18446744073709551615 8062775 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22211/statm: 19481 18018 738 1205 0 18272 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 77924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.07 CPU user time (s): 1799.96 CPU system time (s): 0.111982 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 81016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.111982 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24376 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= 6 involuntary context switches= 3204 runsolver used 8.89265 second user time and 22.2076 second system time The end
Begin job on node145 at 2011-06-03 08:14:23 IDJOB=3453136 IDBENCH=2048 IDSOLVER=1949 FILE ID=node145/3453136-1307081663 RUNJOBID= node145-1307079856-22025 PBS_JOBID= 13497841 Free space on /tmp= 73944 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453136-1307081663/watcher-3453136-1307081663 -o /tmp/evaluation-result-3453136-1307081663/solver-3453136-1307081663 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453136-1307081663.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED=865999896 node145.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23018188 kB Buffers: 214752 kB Cached: 404400 kB SwapCached: 944 kB Active: 9377828 kB Inactive: 285928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23018188 kB SwapTotal: 67111528 kB SwapFree: 64303760 kB Dirty: 24872 kB Writeback: 0 kB AnonPages: 9043244 kB Mapped: 37444 kB Slab: 133732 kB PageTables: 65756 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 153285336 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73932 MiB End job on node145 at 2011-06-03 08:44:25