Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 22 | 1800.02 | 1800.52 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_10.r.opb |
| MD5SUM | 7594cbd1c9783d8ed9b0ac9dcb03739f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 21 |
| Best CPU time to get the best result obtained on this benchmark | 0.695893 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 21 |
| Optimality of the best value was proved | YES |
| Number of variables | 293 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| 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 | 10 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 293 |
| 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 | 293 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 293 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666217-1276594640.opb>
0.00/0.01 c original problem has 293 variables (293 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 293
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.930000e+02
0.00/0.02 c presolving:
0.01/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.01/0.03 c (0.0s) probing: 101/293 (34.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (2 rounds):
0.01/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.03 c 0 implications, 0 cliques
0.01/0.03 c presolved problem has 293 variables (293 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.01/0.03 c 100 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.00
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 1.2.1.2
0.01/0.03 c
0.01/0.03 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c conflict/interconss = 0
0.01/0.03 c
0.01/0.03 c # should binary conflicts be preferred?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c conflict/preferbinary = TRUE
0.01/0.03 c
0.01/0.03 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c constraints/agelimit = 1
0.01/0.03 c
0.01/0.03 c # should enforcement of pseudo solution be disabled?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/disableenfops = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1800
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 1620
0.01/0.03 c
0.01/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c lp/solvefreq = 0
0.01/0.03 c
0.01/0.03 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.01/0.03 c # [type: char, range: {lafpsqd}, default: l]
0.01/0.03 c lp/pricing = a
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # priority of node selection rule <dfs> in standard mode
0.01/0.03 c # [type: int, range: [-536870912,536870911], default: 0]
0.01/0.03 c nodeselection/dfs/stdpriority = 1000000
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c t 0.0s| 1 | 0 | 182 | - | 860k| 0 | 86 | 293 | 100 | 293 | 100 | 0 | 0 | 0 | 1.925462e+01 | 2.930000e+02 |1421.71%
0.01/0.04 o 86
0.01/0.04 c r 0.0s| 1 | 0 | 182 | - | 868k| 0 | 86 | 293 | 100 | 293 | 100 | 0 | 0 | 0 | 1.925462e+01 | 8.600000e+01 | 346.65%
0.01/0.04 o 85
0.01/0.04 c R 0.0s| 1 | 0 | 182 | - | 875k| 0 | 86 | 293 | 100 | 293 | 100 | 0 | 0 | 0 | 1.925462e+01 | 8.500000e+01 | 341.45%
0.01/0.04 o 84
0.01/0.04 c s 0.0s| 1 | 0 | 182 | - | 883k| 0 | 86 | 293 | 100 | 293 | 100 | 0 | 0 | 0 | 1.925462e+01 | 8.400000e+01 | 336.26%
0.01/0.09 c 0.1s| 1 | 0 | 205 | - |1603k| 0 | 84 | 293 | 100 | 293 | 101 | 1 | 0 | 0 | 1.931663e+01 | 8.400000e+01 | 334.86%
0.01/0.09 o 30
0.01/0.09 c b 0.1s| 1 | 0 | 205 | - |1611k| 0 | 84 | 293 | 100 | 293 | 101 | 1 | 0 | 0 | 1.931663e+01 | 3.000000e+01 | 55.31%
0.09/0.14 c 0.1s| 1 | 0 | 248 | - |2294k| 0 | 84 | 293 | 100 | 293 | 102 | 2 | 0 | 0 | 1.933981e+01 | 3.000000e+01 | 55.12%
0.09/0.19 c 0.2s| 1 | 0 | 277 | - |2983k| 0 | 82 | 293 | 100 | 293 | 103 | 3 | 0 | 0 | 1.935090e+01 | 3.000000e+01 | 55.03%
0.19/0.24 c 0.2s| 1 | 0 | 324 | - |3344k| 0 | 82 | 293 | 100 | 293 | 104 | 4 | 0 | 0 | 1.936954e+01 | 3.000000e+01 | 54.88%
0.19/0.29 c 0.3s| 1 | 0 | 361 | - |3494k| 0 | 81 | 293 | 100 | 293 | 105 | 5 | 0 | 0 | 1.938500e+01 | 3.000000e+01 | 54.76%
0.29/0.34 c 0.3s| 1 | 0 | 377 | - |3504k| 0 | 82 | 293 | 100 | 293 | 106 | 6 | 0 | 0 | 1.938754e+01 | 3.000000e+01 | 54.74%
0.29/0.39 c 0.4s| 1 | 0 | 418 | - |3532k| 0 | 83 | 293 | 100 | 293 | 107 | 7 | 0 | 0 | 1.940083e+01 | 3.000000e+01 | 54.63%
0.39/0.44 c 0.4s| 1 | 0 | 435 | - |3541k| 0 | 84 | 293 | 100 | 293 | 108 | 8 | 0 | 0 | 1.940251e+01 | 3.000000e+01 | 54.62%
1.19/1.27 o 22
1.19/1.27 c E 1.2s| 1 | 0 | 435 | - |3556k| 0 | 84 | 293 | 100 | 293 | 108 | 8 | 0 | 0 | 1.940251e+01 | 2.200000e+01 | 13.39%
1.19/1.28 c 1.2s| 1 | 0 | 435 | - |3556k| 0 | 84 | 293 | 100 | 293 | 108 | 8 | 0 | 0 | 1.940251e+01 | 2.200000e+01 | 13.39%
1.49/1.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.58 c 1.5s| 1 | 2 | 435 | - |3557k| 0 | 84 | 293 | 100 | 293 | 108 | 8 | 0 | 17 | 1.940251e+01 | 2.200000e+01 | 13.39%
3.99/4.03 c 3.7s| 10000 | 239 | 435 | 0.0 |3729k| 251 | - | 293 | 100 | 0 | 0 | 8 |5525 | 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
6.39/6.43 c 5.9s| 20000 | 226 | 435 | 0.0 |3734k| 251 | - | 293 | 100 | 0 | 0 | 8 | 10k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
8.88/8.95 c 8.2s| 30000 | 227 | 435 | 0.0 |3733k| 251 | - | 293 | 100 | 0 | 0 | 8 | 16k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
11.38/11.48 c 10.6s| 40000 | 228 | 435 | 0.0 |3735k| 251 | - | 293 | 100 | 0 | 0 | 8 | 22k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
13.89/13.97 c 12.8s| 50000 | 226 | 435 | 0.0 |3742k| 251 | - | 293 | 100 | 0 | 0 | 8 | 28k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
16.59/16.65 c 15.3s| 60000 | 224 | 435 | 0.0 |3742k| 251 | - | 293 | 100 | 0 | 0 | 8 | 33k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
19.08/19.11 c 17.6s| 70000 | 223 | 435 | 0.0 |3744k| 251 | - | 293 | 100 | 0 | 0 | 8 | 39k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
21.39/21.49 c 19.8s| 80000 | 224 | 435 | 0.0 |3738k| 251 | - | 293 | 100 | 0 | 0 | 8 | 45k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
23.88/23.96 c 22.0s| 90000 | 223 | 435 | 0.0 |3742k| 251 | - | 293 | 100 | 0 | 0 | 8 | 51k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
26.39/26.48 c 24.3s|100000 | 228 | 435 | 0.0 |3747k| 251 | - | 293 | 100 | 0 | 0 | 8 | 57k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
28.78/28.83 c 26.4s|110000 | 226 | 435 | 0.0 |3746k| 251 | - | 293 | 100 | 0 | 0 | 8 | 63k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
31.49/31.59 c 29.0s|120000 | 224 | 435 | 0.0 |3746k| 251 | - | 293 | 100 | 0 | 0 | 8 | 69k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
34.18/34.20 c 31.4s|130000 | 228 | 435 | 0.0 |3744k| 251 | - | 293 | 100 | 0 | 0 | 8 | 75k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
36.78/36.80 c 33.8s|140000 | 226 | 435 | 0.0 |3748k| 251 | - | 293 | 100 | 0 | 0 | 8 | 80k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
39.28/39.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.28/39.35 c 36.1s|150000 | 221 | 435 | 0.0 |3747k| 251 | - | 293 | 100 | 0 | 0 | 8 | 86k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
41.69/41.75 c 38.3s|160000 | 227 | 435 | 0.0 |3743k| 251 | - | 293 | 100 | 0 | 0 | 8 | 91k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
44.08/44.16 c 40.5s|170000 | 220 | 435 | 0.0 |3746k| 251 | - | 293 | 100 | 0 | 0 | 8 | 97k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
46.58/46.65 c 42.8s|180000 | 223 | 435 | 0.0 |3745k| 251 | - | 293 | 100 | 0 | 0 | 8 | 102k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
48.98/49.05 c 45.0s|190000 | 221 | 435 | 0.0 |3744k| 251 | - | 293 | 100 | 0 | 0 | 8 | 108k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
51.48/51.60 c 47.4s|200000 | 221 | 435 | 0.0 |3754k| 251 | - | 293 | 100 | 0 | 0 | 8 | 114k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
54.08/54.16 c 49.7s|210000 | 222 | 435 | 0.0 |3747k| 251 | - | 293 | 100 | 0 | 0 | 8 | 120k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
56.67/56.76 c 52.1s|220000 | 219 | 435 | 0.0 |3747k| 251 | - | 293 | 100 | 0 | 0 | 8 | 126k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
59.38/59.44 c 54.6s|230000 | 222 | 435 | 0.0 |3744k| 251 | - | 293 | 100 | 0 | 0 | 8 | 132k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
61.98/62.00 c 57.0s|240000 | 220 | 435 | 0.0 |3750k| 251 | - | 293 | 100 | 0 | 0 | 8 | 138k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
64.48/64.52 c 59.3s|250000 | 222 | 435 | 0.0 |3746k| 251 | - | 293 | 100 | 0 | 0 | 8 | 143k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
66.87/66.99 c 61.5s|260000 | 221 | 435 | 0.0 |3751k| 251 | - | 293 | 100 | 0 | 0 | 8 | 149k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
69.48/69.59 c 64.0s|270000 | 218 | 435 | 0.0 |3748k| 251 | - | 293 | 100 | 0 | 0 | 8 | 155k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
71.87/71.98 c 66.2s|280000 | 221 | 435 | 0.0 |3748k| 251 | - | 293 | 100 | 0 | 0 | 8 | 160k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
74.47/74.60 c 68.6s|290000 | 217 | 435 | 0.0 |3753k| 251 | - | 293 | 100 | 0 | 0 | 8 | 166k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
77.07/77.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.07/77.13 c 70.9s|300000 | 224 | 435 | 0.0 |3747k| 251 | - | 293 | 100 | 0 | 0 | 8 | 172k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
79.67/79.70 c 73.2s|310000 | 219 | 435 | 0.0 |3751k| 251 | - | 293 | 100 | 0 | 0 | 8 | 178k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
82.17/82.29 c 75.6s|320000 | 216 | 435 | 0.0 |3752k| 251 | - | 293 | 100 | 0 | 0 | 8 | 184k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
84.87/84.91 c 78.0s|330000 | 217 | 435 | 0.0 |3748k| 251 | - | 293 | 100 | 0 | 0 | 8 | 190k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
87.46/87.58 c 80.5s|340000 | 215 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 196k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
89.96/90.02 c 82.7s|350000 | 217 | 435 | 0.0 |3753k| 251 | - | 293 | 100 | 0 | 0 | 8 | 202k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
92.57/92.66 c 85.1s|360000 | 218 | 435 | 0.0 |3753k| 251 | - | 293 | 100 | 0 | 0 | 8 | 208k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
95.06/95.10 c 87.4s|370000 | 216 | 435 | 0.0 |3753k| 251 | - | 293 | 100 | 0 | 0 | 8 | 213k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
97.67/97.78 c 89.8s|380000 | 214 | 435 | 0.0 |3754k| 251 | - | 293 | 100 | 0 | 0 | 8 | 219k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
100.36/100.44 c 92.3s|390000 | 213 | 435 | 0.0 |3746k| 251 | - | 293 | 100 | 0 | 0 | 8 | 225k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
102.87/102.95 c 94.6s|400000 | 211 | 435 | 0.0 |3754k| 251 | - | 293 | 100 | 0 | 0 | 8 | 231k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
105.57/105.64 c 97.1s|410000 | 216 | 435 | 0.0 |3750k| 251 | - | 293 | 100 | 0 | 0 | 8 | 237k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
108.06/108.13 c 99.3s|420000 | 212 | 435 | 0.0 |3750k| 251 | - | 293 | 100 | 0 | 0 | 8 | 243k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
110.66/110.77 c 102s|430000 | 213 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 249k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
113.27/113.39 c 104s|440000 | 217 | 435 | 0.0 |3754k| 251 | - | 293 | 100 | 0 | 0 | 8 | 255k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
115.76/115.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.76/115.89 c 106s|450000 | 213 | 435 | 0.0 |3754k| 251 | - | 293 | 100 | 0 | 0 | 8 | 261k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
118.36/118.44 c 109s|460000 | 215 | 435 | 0.0 |3752k| 251 | - | 293 | 100 | 0 | 0 | 8 | 267k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
120.87/120.98 c 111s|470000 | 212 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 273k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
123.45/123.57 c 114s|480000 | 212 | 435 | 0.0 |3755k| 251 | - | 293 | 100 | 0 | 0 | 8 | 278k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
126.16/126.28 c 116s|490000 | 213 | 435 | 0.0 |3748k| 251 | - | 293 | 100 | 0 | 0 | 8 | 284k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
128.56/128.68 c 118s|500000 | 223 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 290k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
131.26/131.30 c 121s|510000 | 214 | 435 | 0.0 |3753k| 251 | - | 293 | 100 | 0 | 0 | 8 | 296k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
133.95/134.09 c 123s|520000 | 214 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 302k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
136.65/136.75 c 126s|530000 | 216 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 308k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
139.36/139.40 c 128s|540000 | 210 | 435 | 0.0 |3752k| 251 | - | 293 | 100 | 0 | 0 | 8 | 314k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
142.06/142.15 c 131s|550000 | 218 | 435 | 0.0 |3752k| 251 | - | 293 | 100 | 0 | 0 | 8 | 320k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
144.45/144.53 c 133s|560000 | 213 | 435 | 0.0 |3756k| 251 | - | 293 | 100 | 0 | 0 | 8 | 326k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
147.05/147.12 c 135s|570000 | 211 | 435 | 0.0 |3755k| 251 | - | 293 | 100 | 0 | 0 | 8 | 331k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
149.66/149.80 c 138s|580000 | 211 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 338k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
152.35/152.48 c 140s|590000 | 213 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 344k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
155.06/155.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.06/155.18 c 143s|600000 | 213 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 349k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
157.75/157.84 c 145s|610000 | 215 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 355k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
160.34/160.41 c 147s|620000 | 218 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 361k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
162.85/162.96 c 150s|630000 | 213 | 435 | 0.0 |3756k| 251 | - | 293 | 100 | 0 | 0 | 8 | 367k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
165.44/165.55 c 152s|640000 | 213 | 435 | 0.0 |3756k| 251 | - | 293 | 100 | 0 | 0 | 8 | 373k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
168.05/168.11 c 155s|650000 | 215 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 378k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
170.75/170.81 c 157s|660000 | 211 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 384k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
173.14/173.26 c 159s|670000 | 211 | 435 | 0.0 |3755k| 251 | - | 293 | 100 | 0 | 0 | 8 | 390k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
175.54/175.67 c 161s|680000 | 210 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 396k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
178.25/178.38 c 164s|690000 | 214 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 402k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
180.84/180.99 c 166s|700000 | 212 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 407k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
183.44/183.52 c 169s|710000 | 209 | 435 | 0.0 |3752k| 251 | - | 293 | 100 | 0 | 0 | 8 | 413k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
185.94/186.07 c 171s|720000 | 211 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 419k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
188.64/188.78 c 173s|730000 | 206 | 435 | 0.0 |3753k| 251 | - | 293 | 100 | 0 | 0 | 8 | 425k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
191.35/191.45 c 176s|740000 | 210 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 431k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
194.14/194.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.14/194.23 c 179s|750000 | 210 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 437k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
196.93/197.05 c 181s|760000 | 212 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 443k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
199.64/199.75 c 184s|770000 | 210 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 449k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
202.34/202.42 c 186s|780000 | 212 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 455k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
204.93/205.08 c 189s|790000 | 212 | 435 | 0.0 |3756k| 251 | - | 293 | 100 | 0 | 0 | 8 | 461k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
207.43/207.57 c 191s|800000 | 209 | 435 | 0.0 |3756k| 251 | - | 293 | 100 | 0 | 0 | 8 | 466k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
209.94/210.07 c 193s|810000 | 211 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 471k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
212.43/212.57 c 195s|820000 | 208 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 477k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
215.03/215.10 c 198s|830000 | 210 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 483k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
217.74/217.83 c 200s|840000 | 210 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 489k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
220.53/220.65 c 203s|850000 | 206 | 435 | 0.0 |3752k| 251 | - | 293 | 100 | 0 | 0 | 8 | 495k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
222.93/223.06 c 205s|860000 | 216 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 501k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
225.44/225.58 c 207s|870000 | 213 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 506k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
228.03/228.11 c 210s|880000 | 209 | 435 | 0.0 |3754k| 251 | - | 293 | 100 | 0 | 0 | 8 | 512k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
230.53/230.60 c 212s|890000 | 208 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 518k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
233.14/233.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.14/233.22 c 214s|900000 | 213 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 524k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
235.73/235.88 c 217s|910000 | 214 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 530k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
238.53/238.61 c 219s|920000 | 214 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 536k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
241.13/241.28 c 222s|930000 | 210 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 542k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
243.73/243.86 c 224s|940000 | 210 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 547k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
246.33/246.46 c 226s|950000 | 209 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 553k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
248.92/249.01 c 229s|960000 | 213 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 559k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
251.53/251.68 c 231s|970000 | 213 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 565k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
254.22/254.33 c 234s|980000 | 212 | 435 | 0.0 |3756k| 251 | - | 293 | 100 | 0 | 0 | 8 | 571k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
256.82/256.95 c 236s|990000 | 214 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 577k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
259.22/259.31 c 238s| 1000k| 205 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 582k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
261.72/261.85 c 241s| 1010k| 207 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 588k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
264.12/264.25 c 243s| 1020k| 211 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 593k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
266.62/266.80 c 245s| 1030k| 212 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 599k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
269.52/269.63 c 248s| 1040k| 210 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 605k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
272.32/272.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.32/272.41 c 250s| 1050k| 210 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 611k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
275.02/275.19 c 253s| 1060k| 206 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 617k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
277.71/277.85 c 255s| 1070k| 219 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 | 623k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
280.32/280.48 c 258s| 1080k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 | 629k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
283.31/283.41 c 260s| 1090k| 207 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 635k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
285.93/286.07 c 263s| 1100k| 210 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 641k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
288.52/288.67 c 265s| 1110k| 205 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 646k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
290.91/291.05 c 267s| 1120k| 207 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 652k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
293.41/293.51 c 270s| 1130k| 210 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 658k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
296.02/296.13 c 272s| 1140k| 208 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 664k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
298.71/298.81 c 275s| 1150k| 214 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 | 669k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
301.51/301.63 c 277s| 1160k| 206 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 675k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
304.11/304.29 c 280s| 1170k| 205 | 435 | 0.0 |3756k| 251 | - | 293 | 100 | 0 | 0 | 8 | 681k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
306.60/306.74 c 282s| 1180k| 206 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 687k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
309.20/309.35 c 284s| 1190k| 204 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 | 693k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
312.00/312.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.00/312.12 c 287s| 1200k| 207 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 | 699k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
314.81/314.93 c 289s| 1210k| 204 | 435 | 0.0 |3755k| 251 | - | 293 | 100 | 0 | 0 | 8 | 705k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
317.51/317.60 c 292s| 1220k| 208 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 711k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
320.10/320.28 c 294s| 1230k| 210 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 | 717k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
322.81/322.90 c 297s| 1240k| 207 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 723k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
325.30/325.47 c 299s| 1250k| 209 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 729k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
327.80/327.93 c 301s| 1260k| 205 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 735k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
330.10/330.27 c 303s| 1270k| 210 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 740k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
332.60/332.76 c 306s| 1280k| 208 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 746k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
335.00/335.14 c 308s| 1290k| 211 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 751k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
337.40/337.58 c 310s| 1300k| 209 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 757k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
339.71/339.87 c 312s| 1310k| 213 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 762k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
342.20/342.34 c 314s| 1320k| 212 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 | 768k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
344.69/344.88 c 317s| 1330k| 210 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 | 774k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
347.20/347.34 c 319s| 1340k| 207 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 779k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
349.70/349.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.70/349.83 c 321s| 1350k| 209 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 | 785k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
352.09/352.20 c 323s| 1360k| 211 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 791k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
354.59/354.70 c 326s| 1370k| 208 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 796k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
357.09/357.29 c 328s| 1380k| 206 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 802k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
359.60/359.75 c 330s| 1390k| 209 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 808k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
362.29/362.48 c 333s| 1400k| 207 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 814k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
365.10/365.21 c 335s| 1410k| 206 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 820k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
367.49/367.63 c 338s| 1420k| 208 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 825k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
369.79/369.96 c 340s| 1430k| 210 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 831k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
372.09/372.26 c 342s| 1440k| 209 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 836k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
374.49/374.62 c 344s| 1450k| 207 | 435 | 0.0 |3758k| 251 | - | 293 | 100 | 0 | 0 | 8 | 842k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
376.79/376.95 c 346s| 1460k| 204 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 847k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
379.29/379.48 c 348s| 1470k| 208 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 853k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
381.69/381.82 c 351s| 1480k| 207 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 859k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
384.19/384.33 c 353s| 1490k| 206 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 865k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
386.58/386.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
386.58/386.79 c 355s| 1500k| 205 | 435 | 0.0 |3757k| 251 | - | 293 | 100 | 0 | 0 | 8 | 870k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
389.20/389.39 c 358s| 1510k| 207 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 | 876k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
391.78/391.95 c 360s| 1520k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 | 882k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
394.28/394.44 c 362s| 1530k| 210 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 | 887k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
396.69/396.85 c 364s| 1540k| 203 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 | 893k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
399.28/399.42 c 367s| 1550k| 211 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 | 899k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
402.08/402.24 c 369s| 1560k| 209 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 | 905k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
404.59/404.74 c 372s| 1570k| 206 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 910k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
406.88/407.02 c 374s| 1580k| 207 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 915k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
409.28/409.46 c 376s| 1590k| 212 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 | 921k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
411.68/411.86 c 378s| 1600k| 210 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 927k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
413.98/414.17 c 380s| 1610k| 211 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 932k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
416.69/416.83 c 383s| 1620k| 206 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 | 938k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
419.18/419.33 c 385s| 1630k| 210 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 944k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
421.58/421.75 c 387s| 1640k| 207 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 | 950k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
423.97/424.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.97/424.11 c 389s| 1650k| 211 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 955k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
426.08/426.27 c 391s| 1660k| 206 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 | 960k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
428.47/428.67 c 393s| 1670k| 210 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 | 966k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
430.87/431.08 c 396s| 1680k| 207 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 972k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
433.38/433.53 c 398s| 1690k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 | 977k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
435.67/435.83 c 400s| 1700k| 208 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 | 982k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
437.97/438.13 c 402s| 1710k| 212 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 | 988k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
440.77/440.95 c 405s| 1720k| 208 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 | 994k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
443.47/443.67 c 407s| 1730k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1000k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
446.27/446.40 c 410s| 1740k| 209 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 |1006k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
448.77/448.96 c 412s| 1750k| 210 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 |1012k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
451.27/451.49 c 414s| 1760k| 204 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1017k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
453.66/453.80 c 416s| 1770k| 212 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1023k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
456.07/456.20 c 419s| 1780k| 207 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1028k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
458.27/458.42 c 421s| 1790k| 204 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1033k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
460.56/460.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.56/460.78 c 423s| 1800k| 207 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1039k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
463.27/463.46 c 425s| 1810k| 206 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1045k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
465.86/466.06 c 428s| 1820k| 203 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |1050k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
468.37/468.57 c 430s| 1830k| 210 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1056k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
471.06/471.29 c 432s| 1840k| 208 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1062k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
473.66/473.89 c 435s| 1850k| 210 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1068k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
476.27/476.44 c 437s| 1860k| 207 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1074k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
478.66/478.86 c 439s| 1870k| 207 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1079k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
481.26/481.47 c 442s| 1880k| 208 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1085k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
483.77/483.96 c 444s| 1890k| 210 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1091k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
486.36/486.59 c 446s| 1900k| 209 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1097k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
488.86/489.09 c 449s| 1910k| 208 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1103k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
491.57/491.74 c 451s| 1920k| 210 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1109k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
494.26/494.44 c 454s| 1930k| 210 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1115k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
496.96/497.16 c 456s| 1940k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1121k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
499.45/499.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
499.45/499.69 c 459s| 1950k| 208 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1127k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
502.16/502.32 c 461s| 1960k| 209 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |1132k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
504.77/504.96 c 463s| 1970k| 207 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |1138k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
507.36/507.57 c 466s| 1980k| 206 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1144k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
510.16/510.34 c 468s| 1990k| 207 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1150k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
512.66/512.83 c 471s| 2000k| 207 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |1156k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
515.16/515.38 c 473s| 2010k| 209 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |1161k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
517.66/517.90 c 475s| 2020k| 208 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1167k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
520.45/520.66 c 478s| 2030k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1173k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
523.05/523.24 c 480s| 2040k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1179k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
525.65/525.89 c 483s| 2050k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1185k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
528.35/528.53 c 485s| 2060k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |1191k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
530.95/531.17 c 488s| 2070k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1197k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
533.75/533.90 c 490s| 2080k| 204 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1203k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
536.24/536.43 c 492s| 2090k| 208 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1209k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
538.76/538.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
538.76/538.94 c 495s| 2100k| 207 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1215k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
541.14/541.35 c 497s| 2110k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1220k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
543.64/543.89 c 499s| 2120k| 202 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 |1226k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
546.14/546.37 c 501s| 2130k| 208 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1232k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
548.54/548.74 c 504s| 2140k| 209 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1237k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
551.04/551.26 c 506s| 2150k| 204 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 |1243k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
553.54/553.74 c 508s| 2160k| 207 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1249k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
555.95/556.15 c 510s| 2170k| 208 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1254k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
558.74/558.94 c 513s| 2180k| 208 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 |1260k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
561.44/561.63 c 515s| 2190k| 208 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1266k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
564.04/564.26 c 518s| 2200k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1272k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
566.64/566.88 c 520s| 2210k| 213 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1278k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
569.14/569.33 c 522s| 2220k| 204 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1284k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
571.75/571.91 c 525s| 2230k| 209 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1290k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
574.14/574.33 c 527s| 2240k| 205 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1295k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
576.74/576.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.74/576.90 c 529s| 2250k| 204 | 435 | 0.0 |3759k| 251 | - | 293 | 100 | 0 | 0 | 8 |1301k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
578.93/579.18 c 531s| 2260k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1307k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
581.33/581.53 c 534s| 2270k| 211 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1312k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
583.94/584.15 c 536s| 2280k| 207 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1318k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
586.43/586.67 c 538s| 2290k| 207 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 |1324k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
588.94/589.15 c 541s| 2300k| 207 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1330k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
591.33/591.54 c 543s| 2310k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1335k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
593.74/593.91 c 545s| 2320k| 208 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |1341k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
596.23/596.42 c 547s| 2330k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |1346k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
598.83/599.02 c 550s| 2340k| 204 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1352k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
601.23/601.48 c 552s| 2350k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1358k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
603.73/603.99 c 554s| 2360k| 208 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 |1363k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
606.43/606.61 c 557s| 2370k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1369k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
608.82/609.05 c 559s| 2380k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1374k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
611.52/611.73 c 561s| 2390k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1380k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
614.13/614.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.13/614.35 c 564s| 2400k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1386k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
616.53/616.75 c 566s| 2410k| 213 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1391k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
618.93/619.14 c 568s| 2420k| 208 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1397k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
621.23/621.46 c 570s| 2430k| 207 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1402k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
623.72/623.90 c 572s| 2440k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1408k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
625.92/626.13 c 574s| 2450k| 208 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1413k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
628.32/628.52 c 577s| 2460k| 207 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1419k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
630.52/630.72 c 579s| 2470k| 205 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1424k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
632.92/633.19 c 581s| 2480k| 203 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1429k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
635.42/635.65 c 583s| 2490k| 206 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1435k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
638.02/638.23 c 585s| 2500k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1441k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
640.52/640.78 c 588s| 2510k| 207 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1447k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
642.92/643.11 c 590s| 2520k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1452k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
645.22/645.48 c 592s| 2530k| 209 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1458k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
647.73/647.95 c 594s| 2540k| 207 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 |1463k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
649.93/650.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
649.93/650.14 c 596s| 2550k| 204 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1469k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
652.31/652.50 c 599s| 2560k| 209 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1474k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
654.81/655.03 c 601s| 2570k| 211 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1480k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
657.22/657.47 c 603s| 2580k| 207 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |1485k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
659.91/660.14 c 606s| 2590k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1491k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
662.31/662.55 c 608s| 2600k| 209 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1497k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
664.82/665.01 c 610s| 2610k| 212 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1502k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
667.11/667.37 c 612s| 2620k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1508k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
669.62/669.88 c 614s| 2630k| 204 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |1514k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
672.11/672.36 c 617s| 2640k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1519k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
674.61/674.83 c 619s| 2650k| 206 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1525k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
677.10/677.30 c 621s| 2660k| 209 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1531k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
679.52/679.72 c 623s| 2670k| 213 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1537k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
681.71/681.98 c 625s| 2680k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1542k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
684.11/684.39 c 628s| 2690k| 204 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1548k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
686.50/686.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.50/686.75 c 630s| 2700k| 201 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1553k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
689.00/689.25 c 632s| 2710k| 201 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1559k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
691.80/692.02 c 635s| 2720k| 207 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1565k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
694.60/694.84 c 637s| 2730k| 206 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1571k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
697.21/697.45 c 640s| 2740k| 210 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 |1577k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
699.80/700.04 c 642s| 2750k| 202 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1583k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
702.20/702.47 c 644s| 2760k| 211 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1589k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
704.50/704.75 c 646s| 2770k| 205 | 435 | 0.0 |3762k| 251 | - | 293 | 100 | 0 | 0 | 8 |1594k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
706.80/707.07 c 648s| 2780k| 214 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1599k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
709.21/709.43 c 651s| 2790k| 206 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1605k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
711.60/711.80 c 653s| 2800k| 212 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1610k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
714.20/714.40 c 655s| 2810k| 210 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |1616k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
716.69/716.90 c 657s| 2820k| 206 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |1622k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
719.20/719.46 c 660s| 2830k| 201 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 |1628k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
721.80/722.08 c 662s| 2840k| 204 | 435 | 0.0 |3761k| 251 | - | 293 | 100 | 0 | 0 | 8 |1633k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
724.19/724.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.19/724.49 c 664s| 2850k| 207 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1639k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
726.69/726.96 c 667s| 2860k| 204 | 435 | 0.0 |3763k| 251 | - | 293 | 101 | 0 | 0 | 8 |1645k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
729.11/729.36 c 669s| 2870k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |1650k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
731.30/731.55 c 671s| 2880k| 208 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1655k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
733.60/733.82 c 673s| 2890k| 206 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1660k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
735.89/736.16 c 675s| 2900k| 206 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1666k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
738.29/738.50 c 677s| 2910k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1671k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
740.39/740.65 c 679s| 2920k| 205 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1676k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
742.90/743.11 c 681s| 2930k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1682k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
745.29/745.51 c 684s| 2940k| 206 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1687k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
747.59/747.84 c 686s| 2950k| 204 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |1693k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
750.09/750.30 c 688s| 2960k| 208 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1698k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
752.58/752.80 c 690s| 2970k| 208 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1704k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
754.98/755.27 c 692s| 2980k| 212 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1710k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
757.38/757.66 c 695s| 2990k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1715k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
759.79/760.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.79/760.02 c 697s| 3000k| 203 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1721k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
762.19/762.41 c 699s| 3010k| 207 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1727k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
764.48/764.79 c 701s| 3020k| 207 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1732k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
766.58/766.84 c 703s| 3030k| 204 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1737k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
768.79/769.07 c 705s| 3040k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1743k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
771.19/771.49 c 707s| 3050k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1748k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
773.98/774.26 c 710s| 3060k| 205 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1754k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
776.49/776.71 c 712s| 3070k| 206 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |1760k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
779.18/779.40 c 715s| 3080k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1766k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
781.68/781.96 c 717s| 3090k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1772k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
784.48/784.70 c 719s| 3100k| 204 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |1778k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
787.08/787.37 c 722s| 3110k| 204 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1784k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
789.59/789.86 c 724s| 3120k| 205 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1790k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
792.18/792.42 c 726s| 3130k| 205 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1796k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
794.77/795.02 c 729s| 3140k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1802k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
797.28/797.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.28/797.51 c 731s| 3150k| 210 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |1808k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
799.78/800.07 c 734s| 3160k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1813k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
802.28/802.53 c 736s| 3170k| 204 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1819k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
804.78/805.00 c 738s| 3180k| 204 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1824k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
807.08/807.34 c 740s| 3190k| 209 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1830k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
809.38/809.60 c 742s| 3200k| 203 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1835k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
811.88/812.12 c 745s| 3210k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1841k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
814.37/814.61 c 747s| 3220k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1846k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
816.87/817.15 c 749s| 3230k| 207 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1852k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
819.37/819.61 c 751s| 3240k| 205 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1858k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
821.87/822.10 c 754s| 3250k| 207 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1864k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
824.37/824.64 c 756s| 3260k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1870k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
827.07/827.32 c 758s| 3270k| 206 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1876k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
829.37/829.68 c 761s| 3280k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |1881k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
831.77/832.06 c 763s| 3290k| 202 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1887k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
834.26/834.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.26/834.58 c 765s| 3300k| 204 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1892k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
837.07/837.32 c 768s| 3310k| 201 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1898k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
839.67/839.90 c 770s| 3320k| 204 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1904k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
842.07/842.39 c 772s| 3330k| 203 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |1909k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
844.77/845.10 c 775s| 3340k| 203 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1915k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
847.26/847.52 c 777s| 3350k| 203 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1921k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
849.87/850.10 c 779s| 3360k| 203 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |1927k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
852.17/852.42 c 781s| 3370k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1932k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
854.56/854.80 c 784s| 3380k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |1937k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
856.86/857.11 c 786s| 3390k| 203 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1943k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
859.16/859.45 c 788s| 3400k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |1948k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
861.56/861.81 c 790s| 3410k| 210 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |1954k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
863.95/864.28 c 792s| 3420k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1960k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
866.46/866.72 c 795s| 3430k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1965k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
868.67/869.00 c 797s| 3440k| 206 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |1970k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
871.16/871.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.16/871.45 c 799s| 3450k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1976k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
873.56/873.88 c 801s| 3460k| 209 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |1982k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
876.26/876.50 c 803s| 3470k| 209 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |1987k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
878.76/879.09 c 806s| 3480k| 216 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |1993k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
881.26/881.59 c 808s| 3490k| 209 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |1999k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
883.76/884.07 c 810s| 3500k| 203 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2004k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
886.36/886.66 c 813s| 3510k| 203 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |2010k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
888.85/889.14 c 815s| 3520k| 209 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |2016k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
891.15/891.49 c 817s| 3530k| 209 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2021k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
893.45/893.79 c 819s| 3540k| 207 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2027k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
895.95/896.25 c 822s| 3550k| 209 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2032k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
898.36/898.68 c 824s| 3560k| 211 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2038k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
900.66/900.95 c 826s| 3570k| 207 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2043k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
903.05/903.32 c 828s| 3580k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2048k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
905.45/905.79 c 830s| 3590k| 211 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2054k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
907.85/908.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.85/908.18 c 832s| 3600k| 205 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |2059k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
910.25/910.53 c 835s| 3610k| 218 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2065k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
912.65/912.91 c 837s| 3620k| 204 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2070k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
915.15/915.40 c 839s| 3630k| 209 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2076k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
917.75/918.01 c 841s| 3640k| 207 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2082k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
920.36/920.66 c 844s| 3650k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2088k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
922.84/923.11 c 846s| 3660k| 206 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2093k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
925.14/925.48 c 848s| 3670k| 199 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2099k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
927.55/927.80 c 850s| 3680k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2104k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
929.84/930.12 c 852s| 3690k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2110k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
932.24/932.51 c 855s| 3700k| 207 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |2116k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
934.65/935.00 c 857s| 3710k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2121k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
937.34/937.60 c 859s| 3720k| 206 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2127k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
939.75/940.07 c 862s| 3730k| 201 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2133k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
942.35/942.64 c 864s| 3740k| 210 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2139k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
944.74/945.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.74/945.01 c 866s| 3750k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2144k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
947.24/947.50 c 868s| 3760k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2150k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
949.54/949.88 c 871s| 3770k| 209 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2155k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
951.94/952.23 c 873s| 3780k| 202 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2161k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
954.23/954.52 c 875s| 3790k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2166k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
956.54/956.85 c 877s| 3800k| 201 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2172k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
958.73/959.07 c 879s| 3810k| 205 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |2177k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
961.04/961.31 c 881s| 3820k| 214 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2182k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
963.24/963.52 c 883s| 3830k| 212 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2188k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
965.63/965.93 c 885s| 3840k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2193k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
968.04/968.33 c 887s| 3850k| 205 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2199k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
970.33/970.60 c 889s| 3860k| 204 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2204k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
972.63/972.94 c 892s| 3870k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2210k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
975.03/975.36 c 894s| 3880k| 207 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2215k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
977.54/977.89 c 896s| 3890k| 206 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2221k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
980.03/980.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
980.03/980.33 c 898s| 3900k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2227k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
982.43/982.71 c 901s| 3910k| 208 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2232k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
984.93/985.24 c 903s| 3920k| 210 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2238k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
987.32/987.67 c 905s| 3930k| 207 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2244k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
989.73/990.08 c 907s| 3940k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2250k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
992.22/992.56 c 910s| 3950k| 205 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |2256k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
994.82/995.17 c 912s| 3960k| 203 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2262k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
997.43/997.79 c 914s| 3970k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2268k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1000.13/1000.41 c 917s| 3980k| 201 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2274k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1002.62/1002.90 c 919s| 3990k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2280k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1005.03/1005.36 c 921s| 4000k| 202 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2286k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1007.53/1007.86 c 924s| 4010k| 207 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2291k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1010.02/1010.35 c 926s| 4020k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2297k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1012.62/1012.92 c 928s| 4030k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2303k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1015.03/1015.36 c 931s| 4040k| 200 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2309k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1017.52/1017.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.52/1017.85 c 933s| 4050k| 201 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2314k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1019.82/1020.12 c 935s| 4060k| 204 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2320k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1022.32/1022.63 c 937s| 4070k| 203 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2325k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1024.61/1024.97 c 939s| 4080k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2331k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1026.92/1027.26 c 941s| 4090k| 203 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2336k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1029.41/1029.74 c 944s| 4100k| 202 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2342k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1031.92/1032.27 c 946s| 4110k| 203 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2348k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1034.51/1034.86 c 948s| 4120k| 203 | 435 | 0.0 |3765k| 251 | - | 293 | 101 | 0 | 0 | 8 |2354k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1037.21/1037.52 c 951s| 4130k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2360k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1039.61/1039.99 c 953s| 4140k| 202 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2365k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1042.21/1042.50 c 955s| 4150k| 204 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |2371k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1044.62/1044.96 c 958s| 4160k| 202 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2377k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1047.01/1047.35 c 960s| 4170k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2383k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1049.41/1049.70 c 962s| 4180k| 204 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2388k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1052.01/1052.30 c 964s| 4190k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2394k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1054.62/1054.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1054.62/1054.92 c 967s| 4200k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2400k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1057.21/1057.54 c 969s| 4210k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2406k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1059.81/1060.14 c 972s| 4220k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2412k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1062.41/1062.76 c 974s| 4230k| 201 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |2418k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1064.91/1065.29 c 976s| 4240k| 201 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2424k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1067.51/1067.83 c 979s| 4250k| 199 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |2430k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1069.91/1070.29 c 981s| 4260k| 203 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2435k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1072.51/1072.87 c 983s| 4270k| 200 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2441k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1075.31/1075.61 c 986s| 4280k| 207 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2447k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1078.00/1078.31 c 988s| 4290k| 200 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2453k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1080.30/1080.69 c 990s| 4300k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2459k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1082.70/1083.00 c 992s| 4310k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2464k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1085.30/1085.60 c 995s| 4320k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2471k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1087.70/1088.06 c 997s| 4330k| 202 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2476k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1090.10/1090.44 c 999s| 4340k| 196 | 435 | 0.0 |3760k| 251 | - | 293 | 100 | 0 | 0 | 8 |2482k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1092.70/1093.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.70/1093.00 c 1002s| 4350k| 206 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |2488k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1095.40/1095.72 c 1004s| 4360k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2493k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1097.90/1098.21 c 1006s| 4370k| 210 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2499k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1100.40/1100.77 c 1009s| 4380k| 203 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2504k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1103.01/1103.33 c 1011s| 4390k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2510k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1105.69/1106.02 c 1014s| 4400k| 209 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2516k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1108.29/1108.62 c 1016s| 4410k| 204 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2522k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1110.80/1111.20 c 1018s| 4420k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2528k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1113.40/1113.76 c 1021s| 4430k| 204 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |2534k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1115.90/1116.25 c 1023s| 4440k| 202 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2540k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1118.49/1118.87 c 1025s| 4450k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2546k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1121.09/1121.43 c 1028s| 4460k| 203 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2551k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1123.59/1123.95 c 1030s| 4470k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2557k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1126.10/1126.45 c 1032s| 4480k| 205 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2563k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1128.59/1128.99 c 1035s| 4490k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2569k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1131.19/1131.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.19/1131.59 c 1037s| 4500k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2574k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1133.70/1134.00 c 1039s| 4510k| 206 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2580k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1136.09/1136.47 c 1041s| 4520k| 208 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2586k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1138.59/1138.97 c 1044s| 4530k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2592k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1141.19/1141.59 c 1046s| 4540k| 202 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |2598k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1143.88/1144.26 c 1049s| 4550k| 206 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2604k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1146.49/1146.80 c 1051s| 4560k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2610k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1148.98/1149.33 c 1053s| 4570k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2615k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1151.29/1151.67 c 1055s| 4580k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2621k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1153.59/1153.95 c 1058s| 4590k| 216 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2627k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1155.79/1156.13 c 1060s| 4600k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 101 | 0 | 0 | 8 |2632k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1158.08/1158.48 c 1062s| 4610k| 205 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2637k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1160.68/1161.02 c 1064s| 4620k| 204 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2643k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1163.18/1163.59 c 1066s| 4630k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2649k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1165.88/1166.29 c 1069s| 4640k| 206 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2655k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1168.58/1168.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.58/1168.97 c 1071s| 4650k| 207 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2660k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1171.09/1171.48 c 1074s| 4660k| 206 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |2666k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1173.68/1174.02 c 1076s| 4670k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2672k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1176.28/1176.70 c 1078s| 4680k| 202 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |2678k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1178.88/1179.27 c 1081s| 4690k| 202 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2684k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1181.48/1181.83 c 1083s| 4700k| 202 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |2690k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1183.98/1184.36 c 1085s| 4710k| 207 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |2696k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1186.58/1186.99 c 1088s| 4720k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2702k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1189.08/1189.47 c 1090s| 4730k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2708k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1191.77/1192.13 c 1093s| 4740k| 202 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2714k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1194.37/1194.75 c 1095s| 4750k| 207 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2720k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1196.87/1197.21 c 1097s| 4760k| 207 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2725k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1199.27/1199.64 c 1099s| 4770k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2731k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1201.87/1202.21 c 1102s| 4780k| 200 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2737k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1204.37/1204.71 c 1104s| 4790k| 203 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |2743k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1207.07/1207.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.07/1207.40 c 1107s| 4800k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2749k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1209.67/1210.08 c 1109s| 4810k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2755k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1212.37/1212.70 c 1111s| 4820k| 203 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2761k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1214.97/1215.39 c 1114s| 4830k| 206 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2767k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1217.37/1217.72 c 1116s| 4840k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2772k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1219.97/1220.39 c 1118s| 4850k| 202 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |2778k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1222.47/1222.84 c 1121s| 4860k| 200 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2784k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1224.97/1225.36 c 1123s| 4870k| 201 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |2789k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1227.36/1227.78 c 1125s| 4880k| 206 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2795k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1229.76/1230.18 c 1127s| 4890k| 203 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2800k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1232.36/1232.70 c 1130s| 4900k| 208 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2806k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1234.66/1235.00 c 1132s| 4910k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2811k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1237.17/1237.51 c 1134s| 4920k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2816k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1239.46/1239.86 c 1136s| 4930k| 202 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2822k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1241.86/1242.24 c 1138s| 4940k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |2827k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1244.16/1244.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1244.16/1244.54 c 1141s| 4950k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2833k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1246.66/1247.10 c 1143s| 4960k| 205 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2838k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1249.06/1249.48 c 1145s| 4970k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2844k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1251.76/1252.11 c 1148s| 4980k| 203 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |2850k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1254.25/1254.66 c 1150s| 4990k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2856k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1256.66/1257.05 c 1152s| 5000k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |2861k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1259.06/1259.42 c 1154s| 5010k| 206 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2867k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1261.36/1261.78 c 1156s| 5020k| 203 | 435 | 0.0 |3767k| 251 | - | 293 | 102 | 0 | 0 | 8 |2873k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1263.85/1264.29 c 1159s| 5030k| 200 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2878k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1266.45/1266.83 c 1161s| 5040k| 208 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2884k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1268.85/1269.25 c 1163s| 5050k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2890k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1271.45/1271.85 c 1166s| 5060k| 203 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2896k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1273.95/1274.38 c 1168s| 5070k| 202 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2901k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1276.45/1276.83 c 1170s| 5080k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2907k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1278.86/1279.24 c 1172s| 5090k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2913k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1281.25/1281.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.25/1281.65 c 1175s| 5100k| 207 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2918k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1284.05/1284.41 c 1177s| 5110k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2925k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1286.35/1286.78 c 1179s| 5120k| 208 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2930k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1288.85/1289.20 c 1181s| 5130k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2936k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1291.24/1291.64 c 1184s| 5140k| 204 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2942k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1293.85/1294.24 c 1186s| 5150k| 203 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2948k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1296.45/1296.88 c 1188s| 5160k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |2954k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1299.04/1299.42 c 1191s| 5170k| 205 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |2960k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1301.44/1301.80 c 1193s| 5180k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2966k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1303.84/1304.29 c 1195s| 5190k| 204 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |2972k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1306.24/1306.60 c 1197s| 5200k| 203 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |2977k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1308.55/1308.99 c 1200s| 5210k| 207 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |2982k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1311.04/1311.42 c 1202s| 5220k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |2988k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1313.74/1314.10 c 1204s| 5230k| 204 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |2994k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1316.14/1316.58 c 1206s| 5240k| 210 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3000k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1318.74/1319.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.74/1319.11 c 1209s| 5250k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3005k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1321.14/1321.53 c 1211s| 5260k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3011k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1323.74/1324.12 c 1213s| 5270k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3017k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1326.44/1326.82 c 1216s| 5280k| 200 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3023k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1329.03/1329.47 c 1218s| 5290k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3029k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1331.54/1331.98 c 1221s| 5300k| 203 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3035k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1334.24/1334.61 c 1223s| 5310k| 203 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3041k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1336.73/1337.15 c 1225s| 5320k| 202 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3047k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1339.24/1339.62 c 1228s| 5330k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3053k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1341.74/1342.13 c 1230s| 5340k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3058k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1344.23/1344.68 c 1232s| 5350k| 212 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3064k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1346.83/1347.29 c 1235s| 5360k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3070k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1349.43/1349.80 c 1237s| 5370k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3076k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1351.92/1352.37 c 1239s| 5380k| 203 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |3082k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1354.43/1354.86 c 1242s| 5390k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3088k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1356.83/1357.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1356.83/1357.26 c 1244s| 5400k| 210 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3093k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1359.32/1359.75 c 1246s| 5410k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3099k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1361.93/1362.39 c 1248s| 5420k| 199 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3105k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1364.42/1364.87 c 1251s| 5430k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3111k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1366.94/1367.38 c 1253s| 5440k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3117k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1369.53/1369.92 c 1255s| 5450k| 202 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3123k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1372.02/1372.45 c 1258s| 5460k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3129k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1374.53/1375.00 c 1260s| 5470k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3134k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1377.12/1377.53 c 1262s| 5480k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3140k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1379.52/1379.96 c 1265s| 5490k| 208 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3146k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1381.82/1382.24 c 1267s| 5500k| 202 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3151k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1384.22/1384.65 c 1269s| 5510k| 201 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3157k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1386.82/1387.26 c 1271s| 5520k| 199 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |3163k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1389.42/1389.82 c 1274s| 5530k| 203 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3169k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1392.12/1392.58 c 1276s| 5540k| 201 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3175k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1394.72/1395.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1394.72/1395.15 c 1278s| 5550k| 203 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3181k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1397.02/1397.49 c 1281s| 5560k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3186k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1399.52/1399.93 c 1283s| 5570k| 204 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3192k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1402.12/1402.53 c 1285s| 5580k| 208 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |3198k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1404.81/1405.21 c 1288s| 5590k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3203k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1407.31/1407.76 c 1290s| 5600k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3209k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1409.82/1410.29 c 1292s| 5610k| 202 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |3215k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1412.31/1412.75 c 1295s| 5620k| 201 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |3221k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1414.91/1415.30 c 1297s| 5630k| 201 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3227k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1417.41/1417.83 c 1299s| 5640k| 204 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |3233k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1419.82/1420.28 c 1301s| 5650k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3238k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1422.20/1422.60 c 1304s| 5660k| 203 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3244k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1424.59/1425.06 c 1306s| 5670k| 201 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3249k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1426.99/1427.41 c 1308s| 5680k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3255k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1429.39/1429.86 c 1310s| 5690k| 203 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3261k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1431.80/1432.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.80/1432.22 c 1312s| 5700k| 200 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3266k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1434.10/1434.50 c 1314s| 5710k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3272k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1436.49/1436.98 c 1317s| 5720k| 198 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3277k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1439.09/1439.52 c 1319s| 5730k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3283k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1441.79/1442.20 c 1322s| 5740k| 198 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3289k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1444.09/1444.56 c 1324s| 5750k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3295k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1446.59/1447.00 c 1326s| 5760k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3301k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1448.89/1449.31 c 1328s| 5770k| 200 | 435 | 0.0 |3763k| 251 | - | 293 | 100 | 0 | 0 | 8 |3307k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1451.50/1451.97 c 1330s| 5780k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3312k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1454.18/1454.63 c 1333s| 5790k| 202 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |3318k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1456.68/1457.13 c 1335s| 5800k| 202 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3324k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1458.99/1459.49 c 1337s| 5810k| 205 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |3329k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1461.49/1462.00 c 1340s| 5820k| 203 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3335k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1464.08/1464.52 c 1342s| 5830k| 207 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3340k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1466.19/1466.64 c 1344s| 5840k| 203 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3345k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1468.58/1469.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.58/1469.00 c 1346s| 5850k| 209 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3351k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1471.08/1471.53 c 1348s| 5860k| 208 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3357k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1473.59/1474.01 c 1351s| 5870k| 206 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3363k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1476.08/1476.51 c 1353s| 5880k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3369k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1478.68/1479.13 c 1355s| 5890k| 204 | 435 | 0.0 |3768k| 251 | - | 293 | 101 | 0 | 0 | 8 |3375k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1481.29/1481.76 c 1358s| 5900k| 205 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |3381k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1483.78/1484.21 c 1360s| 5910k| 204 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3386k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1486.38/1486.82 c 1362s| 5920k| 205 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3392k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1488.88/1489.39 c 1365s| 5930k| 202 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3397k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1491.57/1492.01 c 1367s| 5940k| 208 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3403k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1494.18/1494.60 c 1370s| 5950k| 207 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3409k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1496.59/1497.01 c 1372s| 5960k| 204 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3415k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1498.89/1499.37 c 1374s| 5970k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3420k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1501.37/1501.85 c 1376s| 5980k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3426k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1503.78/1504.22 c 1378s| 5990k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3431k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1506.07/1506.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1506.07/1506.57 c 1380s| 6000k| 204 | 435 | 0.0 |3780k| 251 | - | 293 | 100 | 0 | 0 | 8 |3437k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1508.57/1509.02 c 1383s| 6010k| 204 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3442k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1511.07/1511.57 c 1385s| 6020k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3448k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1513.77/1514.25 c 1388s| 6030k| 205 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3454k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1516.48/1516.90 c 1390s| 6040k| 199 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3460k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1519.07/1519.52 c 1392s| 6050k| 205 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3466k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1521.77/1522.25 c 1395s| 6060k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3472k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1524.36/1524.80 c 1397s| 6070k| 200 | 435 | 0.0 |3764k| 251 | - | 293 | 100 | 0 | 0 | 8 |3477k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1527.17/1527.63 c 1400s| 6080k| 202 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3484k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1529.86/1530.35 c 1402s| 6090k| 198 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3490k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1532.36/1532.87 c 1405s| 6100k| 201 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3495k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1534.86/1535.35 c 1407s| 6110k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3501k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1537.47/1537.96 c 1409s| 6120k| 202 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3507k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1539.97/1540.49 c 1412s| 6130k| 205 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3512k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1542.56/1543.01 c 1414s| 6140k| 201 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3518k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1545.07/1545.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.07/1545.53 c 1416s| 6150k| 202 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3523k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1547.67/1548.17 c 1419s| 6160k| 202 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |3529k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1550.26/1550.78 c 1421s| 6170k| 203 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3535k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1552.77/1553.27 c 1423s| 6180k| 202 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3541k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1555.26/1555.78 c 1426s| 6190k| 204 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3546k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1557.66/1558.14 c 1428s| 6200k| 201 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |3552k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1560.16/1560.66 c 1430s| 6210k| 197 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3557k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1562.57/1563.03 c 1432s| 6220k| 200 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |3563k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1564.96/1565.46 c 1434s| 6230k| 200 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3569k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1567.36/1567.86 c 1437s| 6240k| 201 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3574k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1569.86/1570.35 c 1439s| 6250k| 200 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3580k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1572.35/1572.80 c 1441s| 6260k| 199 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3586k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1574.76/1575.25 c 1443s| 6270k| 203 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3591k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1577.05/1577.54 c 1446s| 6280k| 200 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3597k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1579.86/1580.34 c 1448s| 6290k| 202 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |3603k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1582.76/1583.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.76/1583.20 c 1451s| 6300k| 203 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |3609k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1585.56/1586.01 c 1453s| 6310k| 203 | 435 | 0.0 |3777k| 251 | - | 293 | 100 | 0 | 0 | 8 |3615k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1588.35/1588.89 c 1456s| 6320k| 205 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3621k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1591.05/1591.50 c 1458s| 6330k| 212 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |3627k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1593.85/1594.32 c 1461s| 6340k| 204 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3633k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1596.76/1597.27 c 1464s| 6350k| 198 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3639k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1599.54/1600.09 c 1466s| 6360k| 207 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3645k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1602.25/1602.76 c 1469s| 6370k| 202 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3651k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1604.84/1605.31 c 1471s| 6380k| 202 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3656k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1607.35/1607.84 c 1473s| 6390k| 206 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3662k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1609.85/1610.39 c 1476s| 6400k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3668k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1612.44/1612.93 c 1478s| 6410k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3674k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1614.64/1615.17 c 1480s| 6420k| 201 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |3679k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1617.14/1617.60 c 1482s| 6430k| 202 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3684k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1619.55/1620.03 c 1485s| 6440k| 202 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3690k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1622.15/1622.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.15/1622.61 c 1487s| 6450k| 207 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3696k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1624.54/1625.10 c 1489s| 6460k| 201 | 435 | 0.0 |3765k| 251 | - | 293 | 100 | 0 | 0 | 8 |3701k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1626.94/1627.49 c 1491s| 6470k| 199 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3707k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1629.34/1629.84 c 1494s| 6480k| 206 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3712k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1631.64/1632.17 c 1496s| 6490k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3718k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1634.15/1634.61 c 1498s| 6500k| 202 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3723k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1636.63/1637.12 c 1500s| 6510k| 202 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3729k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1639.13/1639.62 c 1503s| 6520k| 205 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3735k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1641.63/1642.17 c 1505s| 6530k| 202 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3741k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1644.24/1644.75 c 1507s| 6540k| 201 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3747k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1646.94/1647.42 c 1510s| 6550k| 210 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |3752k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1649.44/1649.93 c 1512s| 6560k| 200 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3758k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1651.74/1652.26 c 1514s| 6570k| 217 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3763k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1654.13/1654.62 c 1516s| 6580k| 207 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3769k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1656.43/1656.95 c 1518s| 6590k| 205 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3774k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1658.83/1659.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.83/1659.30 c 1521s| 6600k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3780k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1661.23/1661.71 c 1523s| 6610k| 207 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3785k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1663.63/1664.11 c 1525s| 6620k| 207 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |3791k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1665.94/1666.49 c 1527s| 6630k| 204 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3797k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1668.13/1668.68 c 1529s| 6640k| 210 | 435 | 0.0 |3773k| 251 | - | 293 | 100 | 0 | 0 | 8 |3802k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1670.44/1670.92 c 1531s| 6650k| 201 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3807k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1672.83/1673.33 c 1533s| 6660k| 203 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3813k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1675.23/1675.74 c 1536s| 6670k| 206 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |3818k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1677.63/1678.16 c 1538s| 6680k| 204 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3824k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1680.02/1680.51 c 1540s| 6690k| 201 | 435 | 0.0 |3774k| 251 | - | 293 | 100 | 0 | 0 | 8 |3829k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1682.44/1682.94 c 1542s| 6700k| 209 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3834k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1684.83/1685.38 c 1544s| 6710k| 205 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3840k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1687.12/1687.67 c 1546s| 6720k| 199 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3845k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1689.53/1690.02 c 1549s| 6730k| 209 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3850k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1692.02/1692.50 c 1551s| 6740k| 209 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |3856k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1694.22/1694.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.22/1694.77 c 1553s| 6750k| 207 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3862k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1696.52/1697.09 c 1555s| 6760k| 207 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3867k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1698.82/1699.39 c 1557s| 6770k| 201 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3872k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1701.13/1701.69 c 1559s| 6780k| 205 | 435 | 0.0 |3767k| 251 | - | 293 | 100 | 0 | 0 | 8 |3878k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1703.32/1703.90 c 1561s| 6790k| 204 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3883k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1705.92/1706.41 c 1564s| 6800k| 202 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3889k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1708.12/1708.68 c 1566s| 6810k| 200 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3894k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1710.51/1711.02 c 1568s| 6820k| 200 | 435 | 0.0 |3766k| 251 | - | 293 | 100 | 0 | 0 | 8 |3900k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1712.72/1713.22 c 1570s| 6830k| 198 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3905k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1715.12/1715.62 c 1572s| 6840k| 198 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3910k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1717.52/1718.01 c 1574s| 6850k| 202 | 435 | 0.0 |3772k| 251 | - | 293 | 101 | 0 | 0 | 8 |3916k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1720.11/1720.65 c 1576s| 6860k| 203 | 435 | 0.0 |3773k| 251 | - | 293 | 101 | 0 | 0 | 8 |3922k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1722.71/1723.22 c 1579s| 6870k| 201 | 435 | 0.0 |3775k| 251 | - | 293 | 101 | 0 | 0 | 8 |3928k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1725.32/1725.87 c 1581s| 6880k| 198 | 435 | 0.0 |3768k| 251 | - | 293 | 101 | 0 | 0 | 8 |3934k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1727.62/1728.15 c 1583s| 6890k| 203 | 435 | 0.0 |3767k| 251 | - | 293 | 101 | 0 | 0 | 8 |3940k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1730.11/1730.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.11/1730.64 c 1586s| 6900k| 199 | 435 | 0.0 |3770k| 251 | - | 293 | 101 | 0 | 0 | 8 |3945k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1732.81/1733.30 c 1588s| 6910k| 195 | 435 | 0.0 |3774k| 251 | - | 293 | 101 | 0 | 0 | 8 |3951k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1735.11/1735.69 c 1590s| 6920k| 200 | 435 | 0.0 |3770k| 251 | - | 293 | 101 | 0 | 0 | 8 |3957k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1737.42/1737.94 c 1592s| 6930k| 206 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |3962k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1739.62/1740.16 c 1594s| 6940k| 207 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3968k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1742.01/1742.54 c 1597s| 6950k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |3973k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1744.40/1744.98 c 1599s| 6960k| 205 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |3979k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1747.01/1747.52 c 1601s| 6970k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |3985k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1749.30/1749.87 c 1603s| 6980k| 211 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |3990k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1751.71/1752.28 c 1605s| 6990k| 205 | 435 | 0.0 |3776k| 251 | - | 293 | 100 | 0 | 0 | 8 |3996k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1754.41/1754.91 c 1608s| 7000k| 201 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |4002k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1756.71/1757.22 c 1610s| 7010k| 206 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |4007k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1758.90/1759.44 c 1612s| 7020k| 205 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |4012k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1761.21/1761.79 c 1614s| 7030k| 208 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |4018k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1763.70/1764.29 c 1616s| 7040k| 205 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |4024k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1766.40/1766.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.40/1766.97 c 1619s| 7050k| 205 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |4029k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1769.11/1769.64 c 1621s| 7060k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |4035k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1771.61/1772.18 c 1624s| 7070k| 209 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |4041k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1774.20/1774.77 c 1626s| 7080k| 205 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |4047k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1776.70/1777.28 c 1628s| 7090k| 215 | 435 | 0.0 |3777k| 251 | - | 293 | 100 | 0 | 0 | 8 |4053k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1779.21/1779.70 c 1631s| 7100k| 203 | 435 | 0.0 |3777k| 251 | - | 293 | 100 | 0 | 0 | 8 |4058k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1781.60/1782.11 c 1633s| 7110k| 210 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |4064k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1783.90/1784.41 c 1635s| 7120k| 206 | 435 | 0.0 |3769k| 251 | - | 293 | 100 | 0 | 0 | 8 |4069k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1786.50/1787.04 c 1637s| 7130k| 203 | 435 | 0.0 |3775k| 251 | - | 293 | 100 | 0 | 0 | 8 |4075k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1789.20/1789.71 c 1640s| 7140k| 208 | 435 | 0.0 |3768k| 251 | - | 293 | 100 | 0 | 0 | 8 |4081k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1791.69/1792.21 c 1642s| 7150k| 205 | 435 | 0.0 |3772k| 251 | - | 293 | 100 | 0 | 0 | 8 |4087k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1794.09/1794.60 c 1644s| 7160k| 212 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |4093k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1796.29/1796.84 c 1646s| 7170k| 202 | 435 | 0.0 |3770k| 251 | - | 293 | 100 | 0 | 0 | 8 |4098k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1798.79/1799.35 c 1649s| 7180k| 204 | 435 | 0.0 |3771k| 251 | - | 293 | 100 | 0 | 0 | 8 |4104k| 17 | 1.952036e+01 | 2.200000e+01 | 12.70%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1649.63
1800.01/1800.50 c Solving Nodes : 7184673
1800.01/1800.50 c Primal Bound : +2.20000000000000e+01 (17 solutions)
1800.01/1800.50 c Dual Bound : +1.95203630023951e+01
1800.01/1800.50 c Gap : 12.70 %
1800.01/1800.50 s SATISFIABLE
1800.01/1800.50 v -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272
1800.01/1800.50 v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252
1800.01/1800.50 v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231
1800.01/1800.50 v -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209
1800.01/1800.50 v -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.01/1800.50 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167
1800.01/1800.50 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 x147 -x146
1800.01/1800.50 v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125
1800.01/1800.50 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.01/1800.50 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.01/1800.50 v -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 x58 -x57 -x56 -x55 -x54
1800.01/1800.50 v -x53 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.01/1800.50 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.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1649.63
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2666217-1276594640.opb
1800.01/1800.50 c Variables : 293 (293 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 100 initial, 100 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2666217-1276594640.opb
1800.01/1800.51 c Variables : 293 (293 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 100 initial, 108 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.51 c logicor : 100+ 9 12602240 0 0 2532071 16644933 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 0.24 0.00 0.00 0.24 0.00
1800.01/1800.51 c logicor : 504.44 0.00 504.44 0.00 0.00
1800.01/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 11.30 2 0 0
1800.01/1800.51 c rootredcost : 10.73 0 0 0
1800.01/1800.51 c pseudoobj : 656.60 22894506 1575342 106732393
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 674.02 4107314 4107314 4107314 138.7 16309 119.1 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 38 38 38 117.3 0 0.0 -
1800.01/1800.51 c applied globally : - - - 26435 26.6 - - -
1800.01/1800.51 c applied locally : - - - 4080945 139.4 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.01 8 - - 42 - (maximal pool size: 331)
1800.01/1800.51 c redcost : 0.00 10 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 10 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.18 10 0 0 0 0
1800.01/1800.51 c strongcg : 0.14 10 0 0 331 0
1800.01/1800.51 c cmir : 0.04 10 0 0 0 0
1800.01/1800.51 c flowcover : 0.08 10 0 0 0 0
1800.01/1800.51 c clique : 0.00 1 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 1 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.24 1 0 0 0 0 2
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 80.62 5175637 0 0 0 0 10351274
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c oneopt : 4.14 3 1
1800.01/1800.51 c trivial : 0.00 2 3
1800.01/1800.51 c simplerounding : 0.00 9 9
1800.01/1800.51 c zirounding : 0.00 1 1
1800.01/1800.51 c rounding : 0.00 9 1
1800.01/1800.51 c shifting : 0.00 9 1
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.71 1 1
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 3.75 0 0
1800.01/1800.51 c trysol : 2.91 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.05 9 435 48.33 8700.00
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.24 17 2540 149.41 10583.33
1800.01/1800.51 c (at root node) : - 17 2540 149.41 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 7184673
1800.01/1800.51 c nodes (total) : 7184673
1800.01/1800.51 c nodes left : 203
1800.01/1800.51 c max depth : 251
1800.01/1800.51 c max depth (total): 251
1800.01/1800.51 c backtracks : 2183716 (30.4%)
1800.01/1800.51 c delayed cutoffs : 3166401
1800.01/1800.51 c repropagations : 6082882 (68106708 domain reductions, 2098416 cutoffs)
1800.01/1800.51 c avg switch length: 2.58
1800.01/1800.51 c switching time : 110.71
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 17 (6 improvements)
1800.01/1800.51 c First Solution : +2.93000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.51 c Primal Bound : +2.20000000000000e+01 (in run 1, after 1 nodes, 1.18 seconds, depth 0, found by <rens>)
1800.01/1800.51 c Dual Bound : +1.95203630023951e+01
1800.01/1800.51 c Gap : 12.70 %
1800.01/1800.51 c Root Dual Bound : +1.94025089857701e+01
1800.01/1800.51 c Root Iterations : 435
1800.01/1800.51 c Time complete: 1800.01.
OK 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666217-1276594640/watcher-2666217-1276594640 -o /tmp/evaluation-result-2666217-1276594640/solver-2666217-1276594640 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666217-1276594640.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10748 /proc/meminfo: memFree=1437788/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=9288 CPUtime=0 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 1028 0 0 0 0 0 0 0 18 0 1 0 754684 9510912 948 1992294400 4194304 9819077 140735236964320 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10748/statm: 2322 959 371 1374 0 943 0 [startup+0.0237679 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10748 /proc/meminfo: memFree=1437788/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=13220 CPUtime=0.01 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 2705 0 0 0 1 0 0 0 20 0 1 0 754684 13537280 2015 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 3305 2015 488 1374 0 1926 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13220 [startup+0.100777 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10748 /proc/meminfo: memFree=1437788/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=17008 CPUtime=0.09 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 3884 0 0 0 8 1 0 0 20 0 1 0 754684 17416192 2852 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 4252 2852 660 1374 0 2873 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17008 [startup+0.300801 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10748 /proc/meminfo: memFree=1437788/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=20204 CPUtime=0.29 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 4795 0 0 0 28 1 0 0 20 0 1 0 754684 20688896 3633 1992294400 4194304 9819077 140735236964320 18446744073709551615 6051991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5051 3633 662 1374 0 3672 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20204 [startup+0.700848 s] /proc/loadavg: 0.92 0.98 0.99 3/106 10748 /proc/meminfo: memFree=1437788/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=30404 CPUtime=0.69 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 9759 0 0 0 65 4 0 0 20 0 1 0 754684 31133696 5691 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 7601 5691 695 1374 0 6222 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30404 [startup+1.50094 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10749 /proc/meminfo: memFree=1417196/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=21612 CPUtime=1.49 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 16103 0 0 0 139 10 0 0 23 0 1 0 754684 22130688 3765 1992294400 4194304 9819077 140735236964320 18446744073709551615 6394556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5403 3765 712 1374 0 4024 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21612 [startup+3.10113 s] /proc/loadavg: 0.92 0.98 0.99 2/107 10749 /proc/meminfo: memFree=1424388/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=21340 CPUtime=3.09 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 16957 0 0 0 286 23 0 0 25 0 1 0 754684 21852160 3975 1992294400 4194304 9819077 140735236964320 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5335 3975 715 1374 0 3956 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21340 [startup+6.3015 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10749 /proc/meminfo: memFree=1423892/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=21492 CPUtime=6.29 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17008 0 0 0 578 51 0 0 25 0 1 0 754684 22007808 4026 1992294400 4194304 9819077 140735236964320 18446744073709551615 5909708 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5373 4026 715 1374 0 3994 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21492 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/107 10749 /proc/meminfo: memFree=1423768/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=21624 CPUtime=12.69 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17053 0 0 0 1168 101 0 0 25 0 1 0 754684 22142976 4071 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5406 4071 715 1374 0 4027 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21624 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/107 10751 /proc/meminfo: memFree=1423520/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=21892 CPUtime=25.49 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17121 0 0 0 2343 206 0 0 25 0 1 0 754684 22417408 4139 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5473 4139 715 1374 0 4094 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 21892 [startup+51.1007 s] /proc/loadavg: 0.96 0.98 0.99 2/107 10751 /proc/meminfo: memFree=1423396/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22156 CPUtime=51.08 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17168 0 0 0 4690 418 0 0 25 0 1 0 754684 22687744 4186 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5539 4186 715 1374 0 4160 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22156 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 10753 /proc/meminfo: memFree=1423148/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22288 CPUtime=102.27 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17195 0 0 0 9403 824 0 0 25 0 1 0 754684 22822912 4213 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5572 4213 715 1374 0 4193 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22288 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10753 /proc/meminfo: memFree=1422776/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22424 CPUtime=162.25 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17245 0 0 0 14914 1311 0 0 25 0 1 0 754684 22962176 4263 1992294400 4194304 9819077 140735236964320 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5606 4263 715 1374 0 4227 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22424 [startup+222.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10755 /proc/meminfo: memFree=1422652/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22556 CPUtime=222.23 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17263 0 0 0 20429 1794 0 0 25 0 1 0 754684 23097344 4281 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5639 4281 715 1374 0 4260 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22556 [startup+282.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10757 /proc/meminfo: memFree=1422528/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22556 CPUtime=282.22 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17271 0 0 0 25939 2283 0 0 25 0 1 0 754684 23097344 4289 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5639 4289 715 1374 0 4260 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 22556 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10759 /proc/meminfo: memFree=1422280/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22556 CPUtime=342.2 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17286 0 0 0 31437 2783 0 0 25 0 1 0 754684 23097344 4304 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5639 4304 715 1374 0 4260 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 22556 [startup+402.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10761 /proc/meminfo: memFree=1422280/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22688 CPUtime=402.18 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17293 0 0 0 36938 3280 0 0 25 0 1 0 754684 23232512 4311 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5672 4311 715 1374 0 4293 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 22688 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10761 /proc/meminfo: memFree=1422032/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22688 CPUtime=462.17 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17305 0 0 0 42414 3803 0 0 25 0 1 0 754684 23232512 4323 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5672 4323 716 1374 0 4293 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 22688 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10763 /proc/meminfo: memFree=1421908/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22688 CPUtime=522.15 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17311 0 0 0 47937 4278 0 0 25 0 1 0 754684 23232512 4329 1992294400 4194304 9819077 140735236964320 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5672 4329 716 1374 0 4293 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 22688 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10765 /proc/meminfo: memFree=1421908/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22688 CPUtime=582.13 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17316 0 0 0 53429 4784 0 0 25 0 1 0 754684 23232512 4334 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5672 4334 716 1374 0 4293 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 22688 [startup+642.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10767 /proc/meminfo: memFree=1421660/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22824 CPUtime=642.13 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17326 0 0 0 58922 5291 0 0 25 0 1 0 754684 23371776 4344 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5706 4344 716 1374 0 4327 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 22824 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10773 /proc/meminfo: memFree=1421164/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=882.05 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17357 0 0 0 80879 7326 0 0 25 0 1 0 754684 23506944 4375 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4375 716 1374 0 4360 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 22956 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10775 /proc/meminfo: memFree=1421040/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=942.04 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17357 0 0 0 86367 7837 0 0 25 0 1 0 754684 23506944 4375 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4375 716 1374 0 4360 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 22956 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10777 /proc/meminfo: memFree=1420916/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1002.02 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17359 0 0 0 91863 8339 0 0 25 0 1 0 754684 23506944 4377 1992294400 4194304 9819077 140735236964320 18446744073709551615 4620027 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4377 716 1374 0 4360 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 22956 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10777 /proc/meminfo: memFree=1420792/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1062.01 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17362 0 0 0 97347 8854 0 0 25 0 1 0 754684 23506944 4380 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4380 716 1374 0 4360 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 22956 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10779 /proc/meminfo: memFree=1420668/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1121.99 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17365 0 0 0 102849 9350 0 0 25 0 1 0 754684 23506944 4383 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4383 716 1374 0 4360 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 22956 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10781 /proc/meminfo: memFree=1420544/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1181.98 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17365 0 0 0 108350 9848 0 0 25 0 1 0 754684 23506944 4383 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4383 716 1374 0 4360 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 22956 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10783 /proc/meminfo: memFree=1420420/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1241.96 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17365 0 0 0 113851 10345 0 0 25 0 1 0 754684 23506944 4383 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4383 716 1374 0 4360 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 22956 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10785 /proc/meminfo: memFree=1420172/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1301.95 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17369 0 0 0 119345 10850 0 0 25 0 1 0 754684 23506944 4387 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4387 716 1374 0 4360 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 22956 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10785 /proc/meminfo: memFree=1420172/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1361.93 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17369 0 0 0 124840 11353 0 0 25 0 1 0 754684 23506944 4387 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4387 716 1374 0 4360 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 22956 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10796 /proc/meminfo: memFree=1419428/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1421.9 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17372 0 0 0 130331 11859 0 0 25 0 1 0 754684 23506944 4390 1992294400 4194304 9819077 140735236964320 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4390 716 1374 0 4360 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 22956 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10798 /proc/meminfo: memFree=1419428/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1481.88 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17375 0 0 0 135824 12364 0 0 25 0 1 0 754684 23506944 4393 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4393 716 1374 0 4360 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 22956 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10800 /proc/meminfo: memFree=1419304/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1541.86 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17377 0 0 0 141327 12859 0 0 25 0 1 0 754684 23506944 4395 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4395 716 1374 0 4360 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 22956 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10802 /proc/meminfo: memFree=1419304/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1601.85 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17379 0 0 0 146840 13345 0 0 25 0 1 0 754684 23506944 4397 1992294400 4194304 9819077 140735236964320 18446744073709551615 4434047 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4397 716 1374 0 4360 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 22956 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10802 /proc/meminfo: memFree=1419180/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1661.83 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17381 0 0 0 152332 13851 0 0 25 0 1 0 754684 23506944 4399 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4399 716 1374 0 4360 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 22956 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10804 /proc/meminfo: memFree=1419056/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1721.82 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17382 0 0 0 157796 14386 0 0 25 0 1 0 754684 23506944 4400 1992294400 4194304 9819077 140735236964320 18446744073709551615 5506192 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4400 716 1374 0 4360 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 22956 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10806 /proc/meminfo: memFree=1418808/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1781.8 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17387 0 0 0 163290 14890 0 0 25 0 1 0 754684 23506944 4405 1992294400 4194304 9819077 140735236964320 18446744073709551615 5917610 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4405 716 1374 0 4360 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 22956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10806 /proc/meminfo: memFree=1418808/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1800.01 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17387 0 0 0 164963 15038 0 0 25 0 1 0 754684 23506944 4405 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4405 716 1374 0 4360 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 22956 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 10806 /proc/meminfo: memFree=1418808/2059040 swapFree=4192956/4192956 [pid=10748] ppid=10746 vsize=22956 CPUtime=1800.01 /proc/10748/stat : 10748 (pbscip.linux.x8) R 10746 10748 2334 0 -1 4202496 17387 0 0 0 164963 15038 0 0 25 0 1 0 754684 23506944 4405 1992294400 4194304 9819077 140735236964320 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10748/statm: 5739 4405 716 1374 0 4360 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 22956 Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.02 CPU user time (s): 1649.64 CPU system time (s): 150.383 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 30408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1649.64 system time used= 150.383 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17392 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3100 runsolver used 2.94155 second user time and 8.57969 second system time The end
Begin job on node059 at 2010-06-15 11:37:20 IDJOB=2666217 IDBENCH=2875 IDSOLVER=1168 FILE ID=node059/2666217-1276594640 PBS_JOBID= 11173555 Free space on /tmp= 62556 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_10.r.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666217-1276594640/watcher-2666217-1276594640 -o /tmp/evaluation-result-2666217-1276594640/solver-2666217-1276594640 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666217-1276594640.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7594cbd1c9783d8ed9b0ac9dcb03739f RANDOM SEED=1110289273 node059.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1438192 kB Buffers: 45868 kB Cached: 435240 kB SwapCached: 0 kB Active: 208120 kB Inactive: 332196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1438192 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6240 kB Writeback: 0 kB AnonPages: 59132 kB Mapped: 15444 kB Slab: 58856 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182304 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node059 at 2010-06-15 12:07:23