0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3452699-1307081679.opb>
0.00/0.01 c original problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 1022 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 607
0.00/0.02 o 542
0.00/0.02 c feasible solution found by trivial heuristic, objective value 5.420000e+02
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 2) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 924 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (round 3) 0 del vars, 64 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 958 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/607 (16.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (4 rounds):
0.00/0.05 c 0 deleted vars, 64 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 0 cliques
0.00/0.05 c presolved problem has 607 variables (607 bin, 0 int, 0 impl, 0 cont) and 958 constraints
0.00/0.05 c 958 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.4
0.00/0.05 c
0.00/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c conflict/interconss = 0
0.00/0.05 c
0.00/0.05 c # should binary conflicts be preferred?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c conflict/preferbinary = TRUE
0.00/0.05 c
0.00/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c constraints/agelimit = 1
0.00/0.05 c
0.00/0.05 c # should enforcement of pseudo solution be disabled?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/disableenfops = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = 0
0.00/0.05 c
0.00/0.05 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.00/0.05 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.05 c lp/pricing = a
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # priority of node selection rule <dfs> in standard mode
0.00/0.05 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.05 c nodeselection/dfs/stdpriority = 1000000
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 o 425
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.0s| 1 | 0 | 0 | - |2406k| 0 | - | 607 | 958 | 0 | 0 | 0 | 0 | 0 | -- | 4.250000e+02 | Inf
0.00/0.05 o 67
0.00/0.05 c b 0.1s| 1 | 0 | 0 | - |3280k| 0 | - | 607 | 958 | 607 | 958 | 0 | 0 | 0 | -- | 6.700000e+01 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 731 | - |3272k| 0 | 173 | 607 | 958 | 607 | 958 | 0 | 0 | 0 | 3.635417e+01 | 6.700000e+01 | 84.30%
0.09/0.19 c 0.2s| 1 | 0 | 894 | - |3698k| 0 | 199 | 607 | 958 | 607 | 968 | 10 | 0 | 0 | 3.751883e+01 | 6.700000e+01 | 78.58%
0.29/0.32 c 0.3s| 1 | 0 | 1089 | - |3958k| 0 | 190 | 607 | 958 | 607 | 978 | 20 | 0 | 0 | 3.881812e+01 | 6.700000e+01 | 72.60%
0.39/0.43 c 0.4s| 1 | 0 | 1287 | - |4103k| 0 | 189 | 607 | 958 | 607 | 987 | 29 | 0 | 0 | 3.995938e+01 | 6.700000e+01 | 67.67%
0.49/0.57 c 0.6s| 1 | 0 | 1551 | - |4485k| 0 | 182 | 607 | 958 | 607 | 997 | 39 | 0 | 0 | 4.069884e+01 | 6.700000e+01 | 64.62%
0.69/0.70 c 0.7s| 1 | 0 | 2087 | - |4791k| 0 | 190 | 607 | 958 | 607 |1008 | 50 | 0 | 0 | 4.130442e+01 | 6.700000e+01 | 62.21%
0.79/0.84 c 0.8s| 1 | 0 | 2408 | - |5424k| 0 | 191 | 607 | 958 | 607 |1016 | 58 | 0 | 0 | 4.252323e+01 | 6.700000e+01 | 57.56%
0.89/0.97 c 1.0s| 1 | 0 | 2618 | - |5876k| 0 | 204 | 607 | 958 | 607 |1025 | 67 | 0 | 0 | 4.270397e+01 | 6.700000e+01 | 56.89%
1.00/1.11 c 1.1s| 1 | 0 | 2809 | - |6355k| 0 | 183 | 607 | 958 | 607 |1033 | 75 | 0 | 0 | 4.298992e+01 | 6.700000e+01 | 55.85%
1.18/1.24 c 1.2s| 1 | 0 | 3132 | - |6853k| 0 | 197 | 607 | 958 | 607 |1040 | 82 | 0 | 0 | 4.344552e+01 | 6.700000e+01 | 54.22%
1.29/1.37 c 1.4s| 1 | 0 | 3275 | - |7353k| 0 | 188 | 607 | 958 | 607 |1049 | 91 | 0 | 0 | 4.367570e+01 | 6.700000e+01 | 53.40%
1.39/1.49 c 1.5s| 1 | 0 | 3641 | - |7665k| 0 | 194 | 607 | 958 | 607 |1061 | 103 | 0 | 0 | 4.408859e+01 | 6.700000e+01 | 51.97%
1.59/1.60 c 1.6s| 1 | 0 | 4006 | - |7986k| 0 | 202 | 607 | 958 | 607 |1070 | 112 | 0 | 0 | 4.476320e+01 | 6.700000e+01 | 49.68%
1.69/1.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.72 c 1.7s| 1 | 0 | 4410 | - |8621k| 0 | 192 | 607 | 958 | 607 |1079 | 121 | 0 | 0 | 4.575204e+01 | 6.700000e+01 | 46.44%
1.79/1.85 c 1.8s| 1 | 0 | 4614 | - |9005k| 0 | 185 | 607 | 958 | 607 |1088 | 130 | 0 | 0 | 4.583137e+01 | 6.700000e+01 | 46.19%
1.89/1.98 c 2.0s| 1 | 0 | 4703 | - |9313k| 0 | 185 | 607 | 958 | 607 |1095 | 137 | 0 | 0 | 4.589393e+01 | 6.700000e+01 | 45.99%
2.10/2.16 c 2.2s| 1 | 0 | 4730 | - |9355k| 0 | 186 | 607 | 958 | 607 |1097 | 139 | 0 | 0 | 4.589393e+01 | 6.700000e+01 | 45.99%
2.29/2.32 c 2.3s| 1 | 0 | 4787 | - |9397k| 0 | 183 | 607 | 958 | 607 |1071 | 143 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.39/2.47 c 2.5s| 1 | 0 | 4883 | - |9471k| 0 | 182 | 607 | 958 | 607 |1079 | 151 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.49/2.58 c 2.6s| 1 | 0 | 4920 | - |9510k| 0 | 183 | 607 | 958 | 607 |1081 | 153 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.69/2.70 c 2.7s| 1 | 0 | 4944 | - |9529k| 0 | 180 | 607 | 958 | 607 |1083 | 155 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.69/2.76 c 2.8s| 1 | 0 | 4961 | - |9552k| 0 | 181 | 607 | 958 | 607 |1084 | 156 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
2.79/2.82 c 2.8s| 1 | 0 | 4977 | - |9594k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 6.700000e+01 | 45.65%
3.49/3.56 o 55
3.49/3.56 c E 3.6s| 1 | 0 | 4977 | - |9602k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
3.49/3.57 c 3.6s| 1 | 0 | 4977 | - |9602k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 5.500000e+01 | 19.57%
3.49/3.57 o 54
3.49/3.57 c b 3.6s| 1 | 0 | 4977 | - |9618k| 0 | 182 | 607 | 958 | 607 |1085 | 157 | 0 | 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
3.59/3.63 c 3.6s| 1 | 0 | 4986 | - |9611k| 0 | 181 | 607 | 958 | 607 |1050 | 158 | 0 | 0 | 4.600000e+01 | 5.400000e+01 | 17.39%
3.79/3.86 c 3.9s| 1 | 2 | 4986 | - |9612k| 0 | 181 | 607 | 958 | 607 |1050 | 158 | 0 | 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
5.89/5.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.89/5.95 c 5.9s| 10000 | 54 | 4986 | 0.0 |9935k| 113 | - | 607 |1051 | 0 | 0 | 158 |5166 | 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
8.09/8.16 c 8.2s| 20000 | 54 | 4986 | 0.0 | 10M| 122 | - | 607 |1132 | 0 | 0 | 158 | 10k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
10.39/10.42 c 10.4s| 30000 | 53 | 4986 | 0.0 | 10M| 124 | - | 607 |1396 | 0 | 0 | 158 | 15k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
12.79/12.89 c 12.9s| 40000 | 54 | 4986 | 0.0 | 10M| 178 | - | 607 |1549 | 0 | 0 | 158 | 20k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
15.49/15.56 c 15.6s| 50000 | 54 | 4986 | 0.0 | 10M| 178 | - | 607 |1453 | 0 | 0 | 158 | 25k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
17.69/17.75 c 17.8s| 60000 | 53 | 4986 | 0.0 | 10M| 180 | - | 607 |1099 | 0 | 0 | 158 | 31k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
20.59/20.68 c 20.7s| 70000 | 54 | 4986 | 0.0 | 10M| 252 | - | 607 |1622 | 0 | 0 | 158 | 36k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
23.49/23.51 c 23.5s| 80000 | 52 | 4986 | 0.0 | 10M| 252 | - | 607 |1376 | 0 | 0 | 158 | 41k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
25.99/26.05 c 26.0s| 90000 | 52 | 4986 | 0.0 | 10M| 252 | - | 607 |1512 | 0 | 0 | 158 | 46k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
28.69/28.78 c 28.8s|100000 | 52 | 4986 | 0.0 | 10M| 294 | - | 607 |1187 | 0 | 0 | 158 | 51k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
31.29/31.37 c 31.4s|110000 | 51 | 4986 | 0.0 | 10M| 294 | - | 607 |1218 | 0 | 0 | 158 | 56k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
34.29/34.35 c 34.4s|120000 | 53 | 4986 | 0.0 | 10M| 294 | - | 607 |1064 | 0 | 0 | 158 | 61k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
37.30/37.39 c 37.4s|130000 | 53 | 4986 | 0.0 | 10M| 294 | - | 607 |1841 | 0 | 0 | 158 | 67k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
40.49/40.53 c 40.5s|140000 | 54 | 4986 | 0.0 | 10M| 294 | - | 607 |1626 | 0 | 0 | 158 | 72k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
43.49/43.57 c 43.6s|150000 | 52 | 4986 | 0.0 | 10M| 294 | - | 607 |1618 | 0 | 0 | 158 | 77k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
46.69/46.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.69/46.76 c 46.8s|160000 | 54 | 4986 | 0.0 | 10M| 294 | - | 607 |1425 | 0 | 0 | 158 | 82k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
49.69/49.78 c 49.8s|170000 | 53 | 4986 | 0.0 | 10M| 294 | - | 607 |1277 | 0 | 0 | 158 | 87k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
52.49/52.52 c 52.5s|180000 | 54 | 4986 | 0.0 | 10M| 294 | - | 607 |1471 | 0 | 0 | 158 | 92k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
55.49/55.59 c 55.6s|190000 | 53 | 4986 | 0.0 | 10M| 294 | - | 607 |1716 | 0 | 0 | 158 | 97k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
58.39/58.42 c 58.4s|200000 | 54 | 4986 | 0.0 | 11M| 294 | - | 607 |2551 | 0 | 0 | 158 | 103k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
61.19/61.28 c 61.3s|210000 | 54 | 4986 | 0.0 | 10M| 294 | - | 607 |1151 | 0 | 0 | 158 | 108k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
64.69/64.75 c 64.8s|220000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1379 | 0 | 0 | 158 | 113k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
67.89/67.94 c 67.9s|230000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1665 | 0 | 0 | 158 | 118k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
70.79/70.82 c 70.8s|240000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1475 | 0 | 0 | 158 | 123k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
73.99/74.03 c 74.0s|250000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1787 | 0 | 0 | 158 | 128k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
76.69/76.73 c 76.7s|260000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1244 | 0 | 0 | 158 | 133k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
79.49/79.53 c 79.5s|270000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1341 | 0 | 0 | 158 | 139k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
82.29/82.32 c 82.3s|280000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1743 | 0 | 0 | 158 | 144k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
85.29/85.37 c 85.4s|290000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1940 | 0 | 0 | 158 | 149k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
88.39/88.42 c 88.4s|300000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2121 | 0 | 0 | 158 | 154k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
91.59/91.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.59/91.60 c 91.6s|310000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1799 | 0 | 0 | 158 | 159k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
94.69/94.71 c 94.7s|320000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2039 | 0 | 0 | 158 | 164k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
97.39/97.49 c 97.5s|330000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2161 | 0 | 0 | 158 | 169k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
100.11/100.20 c 100s|340000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1290 | 0 | 0 | 158 | 174k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
102.79/102.87 c 103s|350000 | 52 | 4986 | 0.0 | 10M| 301 | - | 607 |1149 | 0 | 0 | 158 | 179k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
105.61/105.67 c 106s|360000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1346 | 0 | 0 | 158 | 185k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
108.09/108.15 c 108s|370000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1198 | 0 | 0 | 158 | 190k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
111.00/111.09 c 111s|380000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1379 | 0 | 0 | 158 | 195k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
113.89/113.96 c 114s|390000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1439 | 0 | 0 | 158 | 200k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
116.39/116.47 c 116s|400000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1182 | 0 | 0 | 158 | 205k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
119.49/119.50 c 119s|410000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1785 | 0 | 0 | 158 | 210k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
122.29/122.40 c 122s|420000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1713 | 0 | 0 | 158 | 215k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
124.99/125.08 c 125s|430000 | 52 | 4986 | 0.0 | 10M| 301 | - | 607 |1623 | 0 | 0 | 158 | 220k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
127.79/127.80 c 128s|440000 | 52 | 4986 | 0.0 | 10M| 301 | - | 607 |1704 | 0 | 0 | 158 | 226k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
130.29/130.32 c 130s|450000 | 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1583 | 0 | 0 | 158 | 231k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
133.00/133.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.00/133.07 c 133s|460000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1611 | 0 | 0 | 158 | 236k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
135.99/136.04 c 136s|470000 | 52 | 4986 | 0.0 | 10M| 301 | - | 607 |1616 | 0 | 0 | 158 | 241k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
138.99/139.10 c 139s|480000 | 53 | 4986 | 0.0 | 12M| 301 | - | 607 |3816 | 0 | 0 | 158 | 247k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
142.39/142.40 c 142s|490000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2453 | 0 | 0 | 158 | 252k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
144.99/145.05 c 145s|500000 | 54 | 4986 | 0.0 | 12M| 301 | - | 607 |3394 | 0 | 0 | 158 | 257k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
147.89/147.98 c 148s|510000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2098 | 0 | 0 | 158 | 262k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
150.60/150.67 c 151s|520000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2446 | 0 | 0 | 158 | 268k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
153.39/153.43 c 153s|530000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1777 | 0 | 0 | 158 | 273k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
156.39/156.45 c 156s|540000 | 52 | 4986 | 0.0 | 12M| 301 | - | 607 |3444 | 0 | 0 | 158 | 278k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
159.89/159.99 c 160s|550000 | 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2695 | 0 | 0 | 158 | 283k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
163.39/163.43 c 163s|560000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1977 | 0 | 0 | 158 | 288k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
167.21/167.29 c 167s|570000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2668 | 0 | 0 | 158 | 293k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
170.69/170.78 c 171s|580000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1803 | 0 | 0 | 158 | 298k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
173.39/173.41 c 173s|590000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1744 | 0 | 0 | 158 | 303k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
176.19/176.23 c 176s|600000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1895 | 0 | 0 | 158 | 308k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
178.49/178.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.49/178.56 c 179s|610000 | 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1553 | 0 | 0 | 158 | 314k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
181.89/181.92 c 182s|620000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1727 | 0 | 0 | 158 | 319k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
185.09/185.15 c 185s|630000 | 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2785 | 0 | 0 | 158 | 325k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
188.11/188.13 c 188s|640000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2638 | 0 | 0 | 158 | 330k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
190.80/190.88 c 191s|650000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2605 | 0 | 0 | 158 | 335k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
194.09/194.10 c 194s|660000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |3165 | 0 | 0 | 158 | 340k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
197.10/197.12 c 197s|670000 | 53 | 4986 | 0.0 | 12M| 301 | - | 607 |3745 | 0 | 0 | 158 | 345k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
199.99/200.10 c 200s|680000 | 53 | 4986 | 0.0 | 12M| 301 | - | 607 |3855 | 0 | 0 | 158 | 350k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
203.00/203.06 c 203s|690000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2640 | 0 | 0 | 158 | 355k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
206.49/206.54 c 207s|700000 | 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2994 | 0 | 0 | 158 | 360k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
209.10/209.15 c 209s|710000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2427 | 0 | 0 | 158 | 365k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
211.99/212.01 c 212s|720000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2372 | 0 | 0 | 158 | 370k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
215.20/215.28 c 215s|730000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2543 | 0 | 0 | 158 | 376k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
218.70/218.78 c 219s|740000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2505 | 0 | 0 | 158 | 381k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
222.30/222.36 c 222s|750000 | 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2519 | 0 | 0 | 158 | 386k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
225.40/225.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.40/225.48 c 225s|760000 | 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2343 | 0 | 0 | 158 | 391k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
228.60/228.70 c 229s|770000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2572 | 0 | 0 | 158 | 396k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
231.70/231.76 c 232s|780000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2441 | 0 | 0 | 158 | 401k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
235.00/235.09 c 235s|790000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2396 | 0 | 0 | 158 | 406k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
238.20/238.26 c 238s|800000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2516 | 0 | 0 | 158 | 411k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
240.91/240.97 c 241s|810000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2785 | 0 | 0 | 158 | 417k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
243.60/243.65 c 244s|820000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2606 | 0 | 0 | 158 | 422k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
246.50/246.54 c 247s|830000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |3064 | 0 | 0 | 158 | 427k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
249.10/249.16 c 249s|840000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2536 | 0 | 0 | 158 | 432k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
251.59/251.63 c 252s|850000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2558 | 0 | 0 | 158 | 437k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
254.60/254.61 c 255s|860000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2518 | 0 | 0 | 158 | 442k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
257.90/257.92 c 258s|870000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2976 | 0 | 0 | 158 | 447k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
261.50/261.57 c 262s|880000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2949 | 0 | 0 | 158 | 452k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
264.60/264.67 c 265s|890000 | 54 | 4986 | 0.0 | 12M| 301 | - | 607 |4045 | 0 | 0 | 158 | 457k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
268.20/268.21 c 268s|900000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2812 | 0 | 0 | 158 | 462k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
271.30/271.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.30/271.30 c 271s|910000 | 54 | 4986 | 0.0 | 12M| 301 | - | 607 |3247 | 0 | 0 | 158 | 468k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
273.91/273.92 c 274s|920000 | 54 | 4986 | 0.0 | 12M| 301 | - | 607 |3367 | 0 | 0 | 158 | 473k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
277.21/277.26 c 277s|930000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2620 | 0 | 0 | 158 | 478k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
280.00/280.09 c 280s|940000 | 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2789 | 0 | 0 | 158 | 483k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
282.61/282.70 c 283s|950000 | 53 | 4986 | 0.0 | 12M| 301 | - | 607 |3392 | 0 | 0 | 158 | 488k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
285.70/285.79 c 286s|960000 | 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2758 | 0 | 0 | 158 | 493k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
288.21/288.28 c 288s|970000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2601 | 0 | 0 | 158 | 498k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
290.60/290.69 c 291s|980000 | 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2675 | 0 | 0 | 158 | 504k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
293.10/293.19 c 293s|990000 | 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2637 | 0 | 0 | 158 | 509k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
295.40/295.44 c 295s| 1000k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2640 | 0 | 0 | 158 | 514k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
298.11/298.14 c 298s| 1010k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2785 | 0 | 0 | 158 | 519k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
300.40/300.40 c 300s| 1020k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1787 | 0 | 0 | 158 | 525k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
303.51/303.54 c 304s| 1030k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2288 | 0 | 0 | 158 | 531k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
306.10/306.18 c 306s| 1040k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1909 | 0 | 0 | 158 | 536k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
309.60/309.68 c 310s| 1050k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2684 | 0 | 0 | 158 | 541k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
313.20/313.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.20/313.24 c 313s| 1060k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2344 | 0 | 0 | 158 | 546k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
316.50/316.59 c 317s| 1070k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1928 | 0 | 0 | 158 | 551k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
320.01/320.06 c 320s| 1080k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2367 | 0 | 0 | 158 | 556k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
322.80/322.83 c 323s| 1090k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1771 | 0 | 0 | 158 | 561k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
325.40/325.50 c 326s| 1100k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1745 | 0 | 0 | 158 | 566k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
328.60/328.67 c 329s| 1110k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2142 | 0 | 0 | 158 | 571k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
332.11/332.21 c 332s| 1120k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2197 | 0 | 0 | 158 | 576k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
334.70/334.76 c 335s| 1130k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1958 | 0 | 0 | 158 | 582k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
338.00/338.00 c 338s| 1140k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2820 | 0 | 0 | 158 | 587k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
340.91/341.00 c 341s| 1150k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2185 | 0 | 0 | 158 | 592k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
344.60/344.65 c 345s| 1160k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2081 | 0 | 0 | 158 | 597k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
347.20/347.23 c 347s| 1170k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2680 | 0 | 0 | 158 | 602k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
349.90/349.92 c 350s| 1180k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2467 | 0 | 0 | 158 | 607k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
352.50/352.53 c 353s| 1190k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1948 | 0 | 0 | 158 | 612k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
355.21/355.25 c 355s| 1200k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2809 | 0 | 0 | 158 | 617k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
358.00/358.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
358.00/358.01 c 358s| 1210k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1807 | 0 | 0 | 158 | 623k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
360.71/360.73 c 361s| 1220k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1858 | 0 | 0 | 158 | 628k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
363.40/363.48 c 363s| 1230k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1907 | 0 | 0 | 158 | 633k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
366.70/366.72 c 367s| 1240k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1799 | 0 | 0 | 158 | 638k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
369.61/369.63 c 370s| 1250k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2508 | 0 | 0 | 158 | 643k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
373.10/373.18 c 373s| 1260k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2565 | 0 | 0 | 158 | 648k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
376.60/376.66 c 377s| 1270k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2024 | 0 | 0 | 158 | 653k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
379.52/379.58 c 380s| 1280k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2279 | 0 | 0 | 158 | 658k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
382.20/382.24 c 382s| 1290k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1948 | 0 | 0 | 158 | 663k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
385.10/385.12 c 385s| 1300k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2261 | 0 | 0 | 158 | 668k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
388.00/388.04 c 388s| 1310k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2789 | 0 | 0 | 158 | 674k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
390.80/390.89 c 391s| 1320k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2448 | 0 | 0 | 158 | 679k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
393.71/393.80 c 394s| 1330k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2949 | 0 | 0 | 158 | 684k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
396.50/396.52 c 397s| 1340k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2545 | 0 | 0 | 158 | 689k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
399.40/399.43 c 399s| 1350k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2540 | 0 | 0 | 158 | 694k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
402.40/402.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.40/402.40 c 402s| 1360k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2125 | 0 | 0 | 158 | 699k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
405.60/405.63 c 406s| 1370k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2118 | 0 | 0 | 158 | 704k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
408.90/408.93 c 409s| 1380k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2081 | 0 | 0 | 158 | 709k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
411.90/411.94 c 412s| 1390k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1879 | 0 | 0 | 158 | 714k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
414.72/414.79 c 415s| 1400k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2272 | 0 | 0 | 158 | 719k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
417.91/417.98 c 418s| 1410k| 54 | 4986 | 0.0 | 12M| 301 | - | 607 |3938 | 0 | 0 | 158 | 725k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
421.00/421.05 c 421s| 1420k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2413 | 0 | 0 | 158 | 730k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
423.90/423.93 c 424s| 1430k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1856 | 0 | 0 | 158 | 735k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
426.60/426.65 c 427s| 1440k| 54 | 4986 | 0.0 | 12M| 301 | - | 607 |3591 | 0 | 0 | 158 | 740k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
429.90/430.01 c 430s| 1450k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2461 | 0 | 0 | 158 | 745k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
432.90/432.95 c 433s| 1460k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2771 | 0 | 0 | 158 | 750k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
436.20/436.20 c 436s| 1470k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2620 | 0 | 0 | 158 | 755k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
439.20/439.23 c 439s| 1480k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2366 | 0 | 0 | 158 | 760k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
442.40/442.48 c 442s| 1490k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2251 | 0 | 0 | 158 | 765k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
445.20/445.29 c 445s| 1500k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2143 | 0 | 0 | 158 | 770k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
448.40/448.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.40/448.47 c 448s| 1510k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2851 | 0 | 0 | 158 | 776k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
451.70/451.76 c 452s| 1520k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2469 | 0 | 0 | 158 | 781k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
454.90/454.96 c 455s| 1530k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2130 | 0 | 0 | 158 | 786k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
457.80/457.87 c 458s| 1540k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1988 | 0 | 0 | 158 | 791k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
460.20/460.26 c 460s| 1550k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1943 | 0 | 0 | 158 | 796k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
463.20/463.23 c 463s| 1560k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1974 | 0 | 0 | 158 | 801k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
465.80/465.81 c 466s| 1570k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1951 | 0 | 0 | 158 | 806k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
468.51/468.54 c 469s| 1580k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2333 | 0 | 0 | 158 | 812k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
471.40/471.45 c 471s| 1590k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2296 | 0 | 0 | 158 | 817k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
474.60/474.63 c 475s| 1600k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2165 | 0 | 0 | 158 | 822k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
477.50/477.59 c 478s| 1610k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2313 | 0 | 0 | 158 | 827k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
480.72/480.73 c 481s| 1620k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1956 | 0 | 0 | 158 | 832k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
483.40/483.43 c 483s| 1630k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1916 | 0 | 0 | 158 | 837k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
486.30/486.30 c 486s| 1640k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2098 | 0 | 0 | 158 | 842k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
489.30/489.37 c 489s| 1650k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2134 | 0 | 0 | 158 | 847k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
492.00/492.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.00/492.06 c 492s| 1660k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2075 | 0 | 0 | 158 | 852k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
495.30/495.31 c 495s| 1670k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2559 | 0 | 0 | 158 | 857k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
498.10/498.12 c 498s| 1680k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2592 | 0 | 0 | 158 | 863k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
501.00/501.05 c 501s| 1690k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1935 | 0 | 0 | 158 | 868k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
504.00/504.05 c 504s| 1700k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2728 | 0 | 0 | 158 | 873k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
507.01/507.06 c 507s| 1710k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2829 | 0 | 0 | 158 | 878k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
509.70/509.76 c 510s| 1720k| 54 | 4986 | 0.0 | 12M| 301 | - | 607 |4116 | 0 | 0 | 158 | 883k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
512.51/512.53 c 513s| 1730k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2283 | 0 | 0 | 158 | 888k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
515.30/515.36 c 515s| 1740k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2097 | 0 | 0 | 158 | 893k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
517.90/517.98 c 518s| 1750k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2743 | 0 | 0 | 158 | 898k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
520.60/520.68 c 521s| 1760k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1917 | 0 | 0 | 158 | 903k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
523.30/523.35 c 523s| 1770k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2422 | 0 | 0 | 158 | 908k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
526.20/526.23 c 526s| 1780k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2000 | 0 | 0 | 158 | 914k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
528.70/528.75 c 529s| 1790k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2180 | 0 | 0 | 158 | 919k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
531.21/531.26 c 531s| 1800k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2708 | 0 | 0 | 158 | 924k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
534.40/534.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
534.40/534.46 c 534s| 1810k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1915 | 0 | 0 | 158 | 929k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
537.00/537.09 c 537s| 1820k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2641 | 0 | 0 | 158 | 934k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
540.01/540.09 c 540s| 1830k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2013 | 0 | 0 | 158 | 939k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
542.80/542.82 c 543s| 1840k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2525 | 0 | 0 | 158 | 944k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
546.10/546.11 c 546s| 1850k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2033 | 0 | 0 | 158 | 949k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
549.00/549.07 c 549s| 1860k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2215 | 0 | 0 | 158 | 954k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
552.22/552.27 c 552s| 1870k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2601 | 0 | 0 | 158 | 960k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
555.20/555.27 c 555s| 1880k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2484 | 0 | 0 | 158 | 965k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
558.10/558.12 c 558s| 1890k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2272 | 0 | 0 | 158 | 970k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
561.10/561.17 c 561s| 1900k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2106 | 0 | 0 | 158 | 975k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
563.70/563.77 c 564s| 1910k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2136 | 0 | 0 | 158 | 980k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
566.20/566.22 c 566s| 1920k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2081 | 0 | 0 | 158 | 985k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
569.00/569.05 c 569s| 1930k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2038 | 0 | 0 | 158 | 990k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
572.30/572.32 c 572s| 1940k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2018 | 0 | 0 | 158 | 996k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
575.00/575.09 c 575s| 1950k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2162 | 0 | 0 | 158 |1001k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
577.90/577.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.90/577.95 c 578s| 1960k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2018 | 0 | 0 | 158 |1006k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
580.50/580.57 c 581s| 1970k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1938 | 0 | 0 | 158 |1011k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
583.40/583.42 c 583s| 1980k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1953 | 0 | 0 | 158 |1016k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
586.00/586.07 c 586s| 1990k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2034 | 0 | 0 | 158 |1021k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
588.80/588.83 c 589s| 2000k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1220 | 0 | 0 | 158 |1027k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
591.40/591.46 c 591s| 2010k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1449 | 0 | 0 | 158 |1032k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
594.20/594.23 c 594s| 2020k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1204 | 0 | 0 | 158 |1037k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
597.21/597.24 c 597s| 2030k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1767 | 0 | 0 | 158 |1042k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
600.10/600.12 c 600s| 2040k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1393 | 0 | 0 | 158 |1047k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
602.71/602.74 c 603s| 2050k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1661 | 0 | 0 | 158 |1052k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
605.80/605.87 c 606s| 2060k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2499 | 0 | 0 | 158 |1057k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
608.40/608.45 c 608s| 2070k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1241 | 0 | 0 | 158 |1062k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
611.00/611.01 c 611s| 2080k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1343 | 0 | 0 | 158 |1068k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
613.30/613.31 c 613s| 2090k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1213 | 0 | 0 | 158 |1073k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
615.80/615.85 c 616s| 2100k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1757 | 0 | 0 | 158 |1078k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
618.50/618.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
618.50/618.51 c 619s| 2110k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1437 | 0 | 0 | 158 |1083k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
621.10/621.17 c 621s| 2120k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1532 | 0 | 0 | 158 |1088k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
624.10/624.17 c 624s| 2130k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1552 | 0 | 0 | 158 |1093k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
626.70/626.78 c 627s| 2140k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1509 | 0 | 0 | 158 |1098k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
629.60/629.64 c 630s| 2150k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1418 | 0 | 0 | 158 |1104k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
632.00/632.08 c 632s| 2160k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1108 | 0 | 0 | 158 |1109k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
634.50/634.52 c 635s| 2170k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2098 | 0 | 0 | 158 |1114k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
637.20/637.29 c 637s| 2180k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1181 | 0 | 0 | 158 |1119k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
640.22/640.28 c 640s| 2190k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1577 | 0 | 0 | 158 |1124k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
643.00/643.05 c 643s| 2200k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1440 | 0 | 0 | 158 |1129k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
645.90/645.96 c 646s| 2210k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1292 | 0 | 0 | 158 |1134k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
648.60/648.65 c 649s| 2220k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1183 | 0 | 0 | 158 |1140k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
651.80/651.84 c 652s| 2230k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1396 | 0 | 0 | 158 |1145k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
654.20/654.28 c 654s| 2240k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1411 | 0 | 0 | 158 |1150k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
656.72/656.72 c 657s| 2250k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1470 | 0 | 0 | 158 |1155k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
659.80/659.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.80/659.82 c 660s| 2260k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2088 | 0 | 0 | 158 |1160k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
662.31/662.31 c 662s| 2270k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1504 | 0 | 0 | 158 |1165k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
665.20/665.26 c 665s| 2280k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2303 | 0 | 0 | 158 |1170k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
667.81/667.82 c 668s| 2290k| 51 | 4986 | 0.0 | 10M| 301 | - | 607 |1106 | 0 | 0 | 158 |1176k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
670.21/670.27 c 670s| 2300k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1322 | 0 | 0 | 158 |1181k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
672.81/672.84 c 673s| 2310k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1487 | 0 | 0 | 158 |1186k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
675.31/675.31 c 675s| 2320k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2300 | 0 | 0 | 158 |1191k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
677.80/677.80 c 678s| 2330k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1335 | 0 | 0 | 158 |1196k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
680.61/680.67 c 681s| 2340k| 52 | 4986 | 0.0 | 10M| 301 | - | 607 |1303 | 0 | 0 | 158 |1201k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
683.21/683.29 c 683s| 2350k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1548 | 0 | 0 | 158 |1206k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
686.21/686.24 c 686s| 2360k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1244 | 0 | 0 | 158 |1212k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
689.11/689.10 c 689s| 2370k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1665 | 0 | 0 | 158 |1217k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
692.01/692.05 c 692s| 2380k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1733 | 0 | 0 | 158 |1222k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
694.61/694.66 c 695s| 2390k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1438 | 0 | 0 | 158 |1227k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
697.21/697.30 c 697s| 2400k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1787 | 0 | 0 | 158 |1232k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
700.21/700.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.21/700.28 c 700s| 2410k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1598 | 0 | 0 | 158 |1237k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
703.31/703.33 c 703s| 2420k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1636 | 0 | 0 | 158 |1242k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
706.11/706.20 c 706s| 2430k| 54 | 4986 | 0.0 | 12M| 301 | - | 607 |3025 | 0 | 0 | 158 |1247k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
709.01/709.06 c 709s| 2440k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1543 | 0 | 0 | 158 |1252k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
712.01/712.09 c 712s| 2450k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1506 | 0 | 0 | 158 |1257k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
714.81/714.83 c 715s| 2460k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1499 | 0 | 0 | 158 |1263k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
717.71/717.77 c 718s| 2470k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1334 | 0 | 0 | 158 |1268k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
720.42/720.43 c 720s| 2480k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2089 | 0 | 0 | 158 |1273k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
722.91/722.90 c 723s| 2490k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1467 | 0 | 0 | 158 |1278k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
725.71/725.73 c 726s| 2500k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1404 | 0 | 0 | 158 |1283k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
728.41/728.43 c 728s| 2510k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2057 | 0 | 0 | 158 |1288k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
731.31/731.38 c 731s| 2520k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1500 | 0 | 0 | 158 |1293k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
734.01/734.02 c 734s| 2530k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1350 | 0 | 0 | 158 |1298k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
737.21/737.20 c 737s| 2540k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1476 | 0 | 0 | 158 |1303k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
740.11/740.17 c 740s| 2550k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2900 | 0 | 0 | 158 |1309k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
743.01/743.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.01/743.05 c 743s| 2560k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1779 | 0 | 0 | 158 |1314k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
745.82/745.85 c 746s| 2570k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1432 | 0 | 0 | 158 |1319k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
748.81/748.82 c 749s| 2580k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1747 | 0 | 0 | 158 |1324k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
751.81/751.83 c 752s| 2590k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1643 | 0 | 0 | 158 |1329k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
754.63/754.65 c 755s| 2600k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1377 | 0 | 0 | 158 |1334k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
756.91/756.92 c 757s| 2610k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1351 | 0 | 0 | 158 |1339k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
759.71/759.73 c 760s| 2620k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1281 | 0 | 0 | 158 |1344k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
762.22/762.23 c 762s| 2630k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1212 | 0 | 0 | 158 |1350k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
764.81/764.80 c 765s| 2640k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1477 | 0 | 0 | 158 |1355k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
767.72/767.77 c 768s| 2650k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2289 | 0 | 0 | 158 |1360k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
770.81/770.84 c 771s| 2660k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2221 | 0 | 0 | 158 |1365k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
773.81/773.85 c 774s| 2670k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1387 | 0 | 0 | 158 |1370k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
776.52/776.58 c 777s| 2680k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1448 | 0 | 0 | 158 |1375k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
779.21/779.20 c 779s| 2690k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2469 | 0 | 0 | 158 |1380k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
782.13/782.11 c 782s| 2700k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1250 | 0 | 0 | 158 |1385k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
784.51/784.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.51/784.55 c 785s| 2710k| 52 | 4986 | 0.0 | 10M| 301 | - | 607 |1260 | 0 | 0 | 158 |1391k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
786.71/786.77 c 787s| 2720k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1237 | 0 | 0 | 158 |1396k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
789.41/789.44 c 789s| 2730k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1244 | 0 | 0 | 158 |1401k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
792.03/792.04 c 792s| 2740k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1916 | 0 | 0 | 158 |1406k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
794.91/794.95 c 795s| 2750k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1318 | 0 | 0 | 158 |1411k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
797.31/797.31 c 797s| 2760k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1276 | 0 | 0 | 158 |1416k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
799.73/799.76 c 800s| 2770k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1681 | 0 | 0 | 158 |1422k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
802.41/802.43 c 802s| 2780k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1437 | 0 | 0 | 158 |1427k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
805.12/805.12 c 805s| 2790k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1390 | 0 | 0 | 158 |1432k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
807.61/807.65 c 808s| 2800k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1299 | 0 | 0 | 158 |1437k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
810.31/810.30 c 810s| 2810k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1959 | 0 | 0 | 158 |1442k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
813.01/813.05 c 813s| 2820k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1858 | 0 | 0 | 158 |1447k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
815.41/815.43 c 815s| 2830k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1314 | 0 | 0 | 158 |1453k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
817.71/817.72 c 818s| 2840k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1372 | 0 | 0 | 158 |1458k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
820.63/820.62 c 821s| 2850k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2571 | 0 | 0 | 158 |1463k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
823.41/823.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
823.41/823.47 c 823s| 2860k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1674 | 0 | 0 | 158 |1468k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
826.13/826.11 c 826s| 2870k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1857 | 0 | 0 | 158 |1473k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
828.61/828.65 c 829s| 2880k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1400 | 0 | 0 | 158 |1478k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
831.52/831.59 c 832s| 2890k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1639 | 0 | 0 | 158 |1484k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
834.41/834.44 c 834s| 2900k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2668 | 0 | 0 | 158 |1489k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
837.31/837.31 c 837s| 2910k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2929 | 0 | 0 | 158 |1494k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
840.01/840.08 c 840s| 2920k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1689 | 0 | 0 | 158 |1499k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
842.91/842.99 c 843s| 2930k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1690 | 0 | 0 | 158 |1504k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
845.93/845.91 c 846s| 2940k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2493 | 0 | 0 | 158 |1509k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
848.81/848.83 c 849s| 2950k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1756 | 0 | 0 | 158 |1514k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
851.51/851.51 c 852s| 2960k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2368 | 0 | 0 | 158 |1519k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
854.41/854.44 c 854s| 2970k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2638 | 0 | 0 | 158 |1524k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
857.01/857.02 c 857s| 2980k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2177 | 0 | 0 | 158 |1529k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
859.61/859.60 c 860s| 2990k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1870 | 0 | 0 | 158 |1535k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
861.91/861.97 c 862s| 3000k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1671 | 0 | 0 | 158 |1540k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
864.91/864.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.91/864.95 c 865s| 3010k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2418 | 0 | 0 | 158 |1545k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
867.93/867.95 c 868s| 3020k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1166 | 0 | 0 | 158 |1550k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
870.21/870.27 c 870s| 3030k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1149 | 0 | 0 | 158 |1555k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
872.91/872.98 c 873s| 3040k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2143 | 0 | 0 | 158 |1560k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
875.71/875.70 c 876s| 3050k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2054 | 0 | 0 | 158 |1565k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
878.61/878.64 c 879s| 3060k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1987 | 0 | 0 | 158 |1570k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
881.71/881.71 c 882s| 3070k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1748 | 0 | 0 | 158 |1575k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
884.21/884.25 c 884s| 3080k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1997 | 0 | 0 | 158 |1581k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
887.21/887.20 c 887s| 3090k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2596 | 0 | 0 | 158 |1586k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
890.01/890.07 c 890s| 3100k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1147 | 0 | 0 | 158 |1591k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
892.81/892.84 c 893s| 3110k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1654 | 0 | 0 | 158 |1596k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
895.61/895.66 c 896s| 3120k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1517 | 0 | 0 | 158 |1601k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
898.41/898.44 c 898s| 3130k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1611 | 0 | 0 | 158 |1606k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
901.31/901.33 c 901s| 3140k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1466 | 0 | 0 | 158 |1611k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
904.31/904.31 c 904s| 3150k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1903 | 0 | 0 | 158 |1616k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
907.61/907.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.61/907.62 c 908s| 3160k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1440 | 0 | 0 | 158 |1621k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
910.11/910.10 c 910s| 3170k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1491 | 0 | 0 | 158 |1627k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
912.51/912.50 c 912s| 3180k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1663 | 0 | 0 | 158 |1632k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
915.51/915.51 c 916s| 3190k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1763 | 0 | 0 | 158 |1637k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
918.31/918.39 c 918s| 3200k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1916 | 0 | 0 | 158 |1642k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
921.41/921.49 c 921s| 3210k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1528 | 0 | 0 | 158 |1647k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
924.03/924.09 c 924s| 3220k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1506 | 0 | 0 | 158 |1652k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
927.01/927.00 c 927s| 3230k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1420 | 0 | 0 | 158 |1657k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
929.61/929.69 c 930s| 3240k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1372 | 0 | 0 | 158 |1662k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
932.41/932.47 c 932s| 3250k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1432 | 0 | 0 | 158 |1667k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
935.51/935.56 c 936s| 3260k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2111 | 0 | 0 | 158 |1672k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
938.22/938.27 c 938s| 3270k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1430 | 0 | 0 | 158 |1678k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
941.01/941.05 c 941s| 3280k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1681 | 0 | 0 | 158 |1683k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
943.61/943.69 c 944s| 3290k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1729 | 0 | 0 | 158 |1688k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
946.42/946.44 c 946s| 3300k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1462 | 0 | 0 | 158 |1693k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
949.33/949.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.33/949.39 c 949s| 3310k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1604 | 0 | 0 | 158 |1698k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
952.32/952.36 c 952s| 3320k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1836 | 0 | 0 | 158 |1703k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
954.91/954.99 c 955s| 3330k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1653 | 0 | 0 | 158 |1708k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
957.72/957.74 c 958s| 3340k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2576 | 0 | 0 | 158 |1713k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
960.22/960.21 c 960s| 3350k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1990 | 0 | 0 | 158 |1718k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
962.82/962.83 c 963s| 3360k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1593 | 0 | 0 | 158 |1724k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
965.22/965.25 c 965s| 3370k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1507 | 0 | 0 | 158 |1729k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
967.51/967.55 c 968s| 3380k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1683 | 0 | 0 | 158 |1734k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
970.02/970.01 c 970s| 3390k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1262 | 0 | 0 | 158 |1739k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
972.91/972.93 c 973s| 3400k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2408 | 0 | 0 | 158 |1744k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
976.01/976.09 c 976s| 3410k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1458 | 0 | 0 | 158 |1749k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
978.72/978.77 c 979s| 3420k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1510 | 0 | 0 | 158 |1754k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
981.42/981.47 c 981s| 3430k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1623 | 0 | 0 | 158 |1760k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
984.32/984.35 c 984s| 3440k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1877 | 0 | 0 | 158 |1765k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
987.32/987.35 c 987s| 3450k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1502 | 0 | 0 | 158 |1770k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
990.12/990.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.12/990.18 c 990s| 3460k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1821 | 0 | 0 | 158 |1775k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
993.12/993.19 c 993s| 3470k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1728 | 0 | 0 | 158 |1780k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
995.91/995.92 c 996s| 3480k| 53 | 4986 | 0.0 | 12M| 301 | - | 607 |3008 | 0 | 0 | 158 |1785k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
999.22/999.20 c 999s| 3490k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2422 | 0 | 0 | 158 |1790k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1002.03/1002.06 c 1002s| 3500k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1423 | 0 | 0 | 158 |1795k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1004.62/1004.64 c 1005s| 3510k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1481 | 0 | 0 | 158 |1800k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1007.53/1007.59 c 1008s| 3520k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2013 | 0 | 0 | 158 |1805k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1010.32/1010.38 c 1010s| 3530k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2172 | 0 | 0 | 158 |1810k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1012.82/1012.87 c 1013s| 3540k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1811 | 0 | 0 | 158 |1816k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1015.62/1015.66 c 1016s| 3550k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2174 | 0 | 0 | 158 |1821k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1018.22/1018.29 c 1018s| 3560k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1500 | 0 | 0 | 158 |1826k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1021.22/1021.25 c 1021s| 3570k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1335 | 0 | 0 | 158 |1831k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1024.13/1024.13 c 1024s| 3580k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1419 | 0 | 0 | 158 |1836k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1027.12/1027.14 c 1027s| 3590k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1452 | 0 | 0 | 158 |1841k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1030.12/1030.14 c 1030s| 3600k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1576 | 0 | 0 | 158 |1846k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1033.02/1033.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.02/1033.01 c 1033s| 3610k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1356 | 0 | 0 | 158 |1851k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1035.62/1035.63 c 1036s| 3620k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1552 | 0 | 0 | 158 |1856k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1038.33/1038.39 c 1038s| 3630k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1555 | 0 | 0 | 158 |1861k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1041.22/1041.25 c 1041s| 3640k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2170 | 0 | 0 | 158 |1866k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1044.12/1044.18 c 1044s| 3650k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2154 | 0 | 0 | 158 |1872k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1047.23/1047.25 c 1047s| 3660k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1882 | 0 | 0 | 158 |1877k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1050.12/1050.14 c 1050s| 3670k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1500 | 0 | 0 | 158 |1882k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1053.02/1053.07 c 1053s| 3680k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2471 | 0 | 0 | 158 |1887k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1055.82/1055.83 c 1056s| 3690k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1685 | 0 | 0 | 158 |1892k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1058.72/1058.73 c 1059s| 3700k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1414 | 0 | 0 | 158 |1897k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1061.43/1061.45 c 1061s| 3710k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1511 | 0 | 0 | 158 |1902k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1064.32/1064.37 c 1064s| 3720k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1453 | 0 | 0 | 158 |1907k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1067.42/1067.44 c 1067s| 3730k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1714 | 0 | 0 | 158 |1912k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1070.23/1070.22 c 1070s| 3740k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1921 | 0 | 0 | 158 |1917k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1073.02/1073.06 c 1073s| 3750k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1693 | 0 | 0 | 158 |1923k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1075.73/1075.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.73/1075.72 c 1076s| 3760k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1710 | 0 | 0 | 158 |1928k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1078.42/1078.46 c 1078s| 3770k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1580 | 0 | 0 | 158 |1933k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1081.12/1081.12 c 1081s| 3780k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2465 | 0 | 0 | 158 |1938k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1084.02/1084.08 c 1084s| 3790k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1695 | 0 | 0 | 158 |1943k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1086.42/1086.48 c 1086s| 3800k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1458 | 0 | 0 | 158 |1948k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1088.72/1088.73 c 1089s| 3810k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1664 | 0 | 0 | 158 |1953k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1091.82/1091.89 c 1092s| 3820k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2177 | 0 | 0 | 158 |1958k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1094.92/1094.99 c 1095s| 3830k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2327 | 0 | 0 | 158 |1963k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1098.32/1098.36 c 1098s| 3840k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1757 | 0 | 0 | 158 |1968k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1101.32/1101.37 c 1101s| 3850k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1358 | 0 | 0 | 158 |1973k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1104.43/1104.42 c 1104s| 3860k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2258 | 0 | 0 | 158 |1979k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1107.32/1107.39 c 1107s| 3870k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1360 | 0 | 0 | 158 |1984k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1110.32/1110.31 c 1110s| 3880k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1570 | 0 | 0 | 158 |1989k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1113.32/1113.35 c 1113s| 3890k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2004 | 0 | 0 | 158 |1994k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1116.22/1116.25 c 1116s| 3900k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1709 | 0 | 0 | 158 |1999k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1119.22/1119.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1119.22/1119.20 c 1119s| 3910k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1839 | 0 | 0 | 158 |2004k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1122.12/1122.13 c 1122s| 3920k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1477 | 0 | 0 | 158 |2009k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1124.82/1124.82 c 1125s| 3930k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1879 | 0 | 0 | 158 |2014k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1127.72/1127.78 c 1128s| 3940k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1894 | 0 | 0 | 158 |2019k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1130.62/1130.69 c 1131s| 3950k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1837 | 0 | 0 | 158 |2024k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1133.22/1133.27 c 1133s| 3960k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1844 | 0 | 0 | 158 |2029k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1136.23/1136.27 c 1136s| 3970k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1963 | 0 | 0 | 158 |2035k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1139.32/1139.38 c 1139s| 3980k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1885 | 0 | 0 | 158 |2040k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1142.32/1142.35 c 1142s| 3990k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2130 | 0 | 0 | 158 |2045k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1145.14/1145.11 c 1145s| 4000k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1848 | 0 | 0 | 158 |2050k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1148.02/1148.07 c 1148s| 4010k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1614 | 0 | 0 | 158 |2055k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1151.22/1151.30 c 1151s| 4020k| 51 | 4986 | 0.0 | 12M| 301 | - | 607 |3053 | 0 | 0 | 158 |2060k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1154.12/1154.15 c 1154s| 4030k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1729 | 0 | 0 | 158 |2065k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1157.02/1157.06 c 1157s| 4040k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1801 | 0 | 0 | 158 |2070k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1159.92/1159.93 c 1160s| 4050k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1853 | 0 | 0 | 158 |2075k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1163.12/1163.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.12/1163.14 c 1163s| 4060k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2696 | 0 | 0 | 158 |2080k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1166.22/1166.24 c 1166s| 4070k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2068 | 0 | 0 | 158 |2085k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1169.42/1169.41 c 1169s| 4080k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1255 | 0 | 0 | 158 |2091k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1172.22/1172.24 c 1172s| 4090k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2043 | 0 | 0 | 158 |2096k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1175.12/1175.12 c 1175s| 4100k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1968 | 0 | 0 | 158 |2101k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1178.14/1178.16 c 1178s| 4110k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1851 | 0 | 0 | 158 |2106k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1181.12/1181.18 c 1181s| 4120k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1648 | 0 | 0 | 158 |2111k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1184.42/1184.41 c 1184s| 4130k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2108 | 0 | 0 | 158 |2116k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1187.02/1187.08 c 1187s| 4140k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1561 | 0 | 0 | 158 |2121k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1190.13/1190.20 c 1190s| 4150k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2055 | 0 | 0 | 158 |2126k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1192.72/1192.77 c 1193s| 4160k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2149 | 0 | 0 | 158 |2131k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1195.63/1195.68 c 1196s| 4170k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1489 | 0 | 0 | 158 |2136k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1198.42/1198.41 c 1198s| 4180k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1623 | 0 | 0 | 158 |2141k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1201.02/1201.05 c 1201s| 4190k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2011 | 0 | 0 | 158 |2147k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1203.82/1203.86 c 1204s| 4200k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1794 | 0 | 0 | 158 |2152k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1206.52/1206.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1206.52/1206.50 c 1207s| 4210k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1999 | 0 | 0 | 158 |2157k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1209.42/1209.40 c 1209s| 4220k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2776 | 0 | 0 | 158 |2162k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1212.24/1212.24 c 1212s| 4230k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1678 | 0 | 0 | 158 |2167k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1214.82/1214.80 c 1215s| 4240k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2038 | 0 | 0 | 158 |2172k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1217.52/1217.51 c 1218s| 4250k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1714 | 0 | 0 | 158 |2177k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1220.22/1220.20 c 1220s| 4260k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1911 | 0 | 0 | 158 |2182k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1223.42/1223.46 c 1223s| 4270k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1850 | 0 | 0 | 158 |2187k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1226.02/1226.04 c 1226s| 4280k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2134 | 0 | 0 | 158 |2193k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1228.92/1228.96 c 1229s| 4290k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1860 | 0 | 0 | 158 |2198k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1231.72/1231.76 c 1232s| 4300k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2131 | 0 | 0 | 158 |2203k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1234.82/1234.89 c 1235s| 4310k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2530 | 0 | 0 | 158 |2208k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1237.72/1237.77 c 1238s| 4320k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2406 | 0 | 0 | 158 |2213k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1240.52/1240.58 c 1241s| 4330k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2097 | 0 | 0 | 158 |2218k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1243.22/1243.25 c 1243s| 4340k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1533 | 0 | 0 | 158 |2223k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1246.12/1246.21 c 1246s| 4350k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2012 | 0 | 0 | 158 |2228k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1249.12/1249.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.12/1249.13 c 1249s| 4360k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1485 | 0 | 0 | 158 |2233k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1252.02/1252.05 c 1252s| 4370k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2084 | 0 | 0 | 158 |2238k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1254.92/1254.93 c 1255s| 4380k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1780 | 0 | 0 | 158 |2243k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1257.62/1257.66 c 1258s| 4390k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1446 | 0 | 0 | 158 |2249k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1260.42/1260.46 c 1260s| 4400k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1414 | 0 | 0 | 158 |2254k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1263.12/1263.16 c 1263s| 4410k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2213 | 0 | 0 | 158 |2259k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1265.82/1265.81 c 1266s| 4420k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2146 | 0 | 0 | 158 |2264k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1268.23/1268.29 c 1268s| 4430k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2131 | 0 | 0 | 158 |2269k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1270.82/1270.84 c 1271s| 4440k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1918 | 0 | 0 | 158 |2274k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1273.92/1273.94 c 1274s| 4450k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2264 | 0 | 0 | 158 |2279k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1276.92/1276.93 c 1277s| 4460k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1747 | 0 | 0 | 158 |2284k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1280.02/1280.00 c 1280s| 4470k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |2379 | 0 | 0 | 158 |2289k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1283.32/1283.31 c 1283s| 4480k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1601 | 0 | 0 | 158 |2295k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1286.22/1286.20 c 1286s| 4490k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2221 | 0 | 0 | 158 |2300k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1289.52/1289.55 c 1290s| 4500k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1450 | 0 | 0 | 158 |2305k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1292.62/1292.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.62/1292.67 c 1293s| 4510k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1607 | 0 | 0 | 158 |2310k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1295.73/1295.71 c 1296s| 4520k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2004 | 0 | 0 | 158 |2315k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1298.62/1298.60 c 1299s| 4530k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2714 | 0 | 0 | 158 |2320k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1301.42/1301.47 c 1301s| 4540k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2051 | 0 | 0 | 158 |2325k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1304.22/1304.21 c 1304s| 4550k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1455 | 0 | 0 | 158 |2330k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1306.52/1306.58 c 1307s| 4560k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2012 | 0 | 0 | 158 |2335k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1309.32/1309.39 c 1309s| 4570k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1837 | 0 | 0 | 158 |2341k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1312.12/1312.16 c 1312s| 4580k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2333 | 0 | 0 | 158 |2346k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1314.92/1314.92 c 1315s| 4590k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1563 | 0 | 0 | 158 |2351k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1318.02/1318.05 c 1318s| 4600k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2420 | 0 | 0 | 158 |2356k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1320.92/1320.93 c 1321s| 4610k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2140 | 0 | 0 | 158 |2361k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1323.82/1323.83 c 1324s| 4620k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1729 | 0 | 0 | 158 |2366k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1326.64/1326.61 c 1327s| 4630k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1503 | 0 | 0 | 158 |2371k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1329.32/1329.34 c 1329s| 4640k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1873 | 0 | 0 | 158 |2376k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1332.52/1332.57 c 1333s| 4650k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1858 | 0 | 0 | 158 |2381k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1335.62/1335.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.62/1335.65 c 1336s| 4660k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1819 | 0 | 0 | 158 |2386k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1338.32/1338.38 c 1338s| 4670k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1691 | 0 | 0 | 158 |2392k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1341.82/1341.80 c 1342s| 4680k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1209 | 0 | 0 | 158 |2397k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1344.62/1344.63 c 1345s| 4690k| 53 | 4986 | 0.0 | 10M| 301 | - | 607 |1267 | 0 | 0 | 158 |2402k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1347.32/1347.41 c 1347s| 4700k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1382 | 0 | 0 | 158 |2407k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1350.73/1350.78 c 1351s| 4710k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1383 | 0 | 0 | 158 |2412k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1353.82/1353.86 c 1354s| 4720k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1398 | 0 | 0 | 158 |2417k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1356.42/1356.42 c 1356s| 4730k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1380 | 0 | 0 | 158 |2422k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1359.82/1359.85 c 1360s| 4740k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1299 | 0 | 0 | 158 |2427k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1363.22/1363.27 c 1363s| 4750k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1638 | 0 | 0 | 158 |2432k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1366.62/1366.62 c 1367s| 4760k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1298 | 0 | 0 | 158 |2437k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1369.72/1369.74 c 1370s| 4770k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1272 | 0 | 0 | 158 |2442k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1372.52/1372.50 c 1373s| 4780k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1500 | 0 | 0 | 158 |2448k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1375.42/1375.47 c 1375s| 4790k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1403 | 0 | 0 | 158 |2453k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1378.12/1378.20 c 1378s| 4800k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1563 | 0 | 0 | 158 |2458k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1381.12/1381.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.12/1381.11 c 1381s| 4810k| 53 | 4986 | 0.0 | 12M| 301 | - | 607 |3223 | 0 | 0 | 158 |2463k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1384.32/1384.39 c 1384s| 4820k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1663 | 0 | 0 | 158 |2468k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1387.32/1387.39 c 1387s| 4830k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2612 | 0 | 0 | 158 |2473k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1390.22/1390.27 c 1390s| 4840k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1241 | 0 | 0 | 158 |2478k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1393.42/1393.43 c 1393s| 4850k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1459 | 0 | 0 | 158 |2483k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1396.42/1396.47 c 1396s| 4860k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1246 | 0 | 0 | 158 |2488k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1399.42/1399.44 c 1399s| 4870k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1369 | 0 | 0 | 158 |2493k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1402.43/1402.44 c 1402s| 4880k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1773 | 0 | 0 | 158 |2499k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1405.62/1405.60 c 1406s| 4890k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1538 | 0 | 0 | 158 |2504k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1408.52/1408.58 c 1409s| 4900k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1556 | 0 | 0 | 158 |2509k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1411.72/1411.78 c 1412s| 4910k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1481 | 0 | 0 | 158 |2514k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1414.72/1414.77 c 1415s| 4920k| 54 | 4986 | 0.0 | 10M| 301 | - | 607 |1243 | 0 | 0 | 158 |2519k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1417.83/1417.85 c 1418s| 4930k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1625 | 0 | 0 | 158 |2524k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1420.82/1420.86 c 1421s| 4940k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1425 | 0 | 0 | 158 |2529k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1423.72/1423.70 c 1424s| 4950k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1744 | 0 | 0 | 158 |2534k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1426.52/1426.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1426.52/1426.60 c 1427s| 4960k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1548 | 0 | 0 | 158 |2539k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1428.83/1428.87 c 1429s| 4970k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1324 | 0 | 0 | 158 |2545k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1431.22/1431.26 c 1431s| 4980k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1470 | 0 | 0 | 158 |2550k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1433.92/1433.94 c 1434s| 4990k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1280 | 0 | 0 | 158 |2555k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1436.82/1436.89 c 1437s| 5000k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1927 | 0 | 0 | 158 |2560k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1439.83/1439.85 c 1440s| 5010k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1816 | 0 | 0 | 158 |2565k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1442.72/1442.73 c 1443s| 5020k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1612 | 0 | 0 | 158 |2570k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1445.52/1445.57 c 1446s| 5030k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2287 | 0 | 0 | 158 |2575k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1448.12/1448.11 c 1448s| 5040k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1439 | 0 | 0 | 158 |2581k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1451.12/1451.19 c 1451s| 5050k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1469 | 0 | 0 | 158 |2586k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1454.13/1454.14 c 1454s| 5060k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1599 | 0 | 0 | 158 |2591k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1456.92/1456.91 c 1457s| 5070k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1642 | 0 | 0 | 158 |2596k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1460.22/1460.23 c 1460s| 5080k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |2265 | 0 | 0 | 158 |2601k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1463.12/1463.18 c 1463s| 5090k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2178 | 0 | 0 | 158 |2606k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1466.52/1466.56 c 1467s| 5100k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1709 | 0 | 0 | 158 |2611k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1468.92/1468.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.92/1468.90 c 1469s| 5110k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1514 | 0 | 0 | 158 |2616k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1471.12/1471.14 c 1471s| 5120k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1495 | 0 | 0 | 158 |2621k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1473.93/1473.93 c 1474s| 5130k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1550 | 0 | 0 | 158 |2626k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1476.52/1476.53 c 1477s| 5140k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1984 | 0 | 0 | 158 |2632k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1479.32/1479.36 c 1479s| 5150k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1362 | 0 | 0 | 158 |2637k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1481.82/1481.80 c 1482s| 5160k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1672 | 0 | 0 | 158 |2642k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1484.62/1484.66 c 1485s| 5170k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1551 | 0 | 0 | 158 |2647k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1487.62/1487.65 c 1488s| 5180k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1577 | 0 | 0 | 158 |2652k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1490.54/1490.54 c 1491s| 5190k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1609 | 0 | 0 | 158 |2657k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1493.73/1493.74 c 1494s| 5200k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1476 | 0 | 0 | 158 |2662k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1496.42/1496.42 c 1496s| 5210k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1809 | 0 | 0 | 158 |2667k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1499.62/1499.69 c 1500s| 5220k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2235 | 0 | 0 | 158 |2673k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1502.53/1502.57 c 1503s| 5230k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1550 | 0 | 0 | 158 |2678k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1505.72/1505.72 c 1506s| 5240k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1702 | 0 | 0 | 158 |2683k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1508.42/1508.46 c 1508s| 5250k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1875 | 0 | 0 | 158 |2688k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1511.52/1511.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.52/1511.54 c 1512s| 5260k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1300 | 0 | 0 | 158 |2693k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1514.52/1514.50 c 1514s| 5270k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2044 | 0 | 0 | 158 |2698k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1517.72/1517.72 c 1518s| 5280k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1507 | 0 | 0 | 158 |2703k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1520.62/1520.60 c 1521s| 5290k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1493 | 0 | 0 | 158 |2708k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1523.32/1523.36 c 1523s| 5300k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1487 | 0 | 0 | 158 |2713k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1526.02/1526.07 c 1526s| 5310k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1417 | 0 | 0 | 158 |2718k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1528.82/1528.84 c 1529s| 5320k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2507 | 0 | 0 | 158 |2724k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1531.82/1531.87 c 1532s| 5330k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2044 | 0 | 0 | 158 |2729k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1534.62/1534.60 c 1535s| 5340k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1941 | 0 | 0 | 158 |2734k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1537.52/1537.55 c 1538s| 5350k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2296 | 0 | 0 | 158 |2739k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1540.32/1540.37 c 1540s| 5360k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1780 | 0 | 0 | 158 |2744k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1542.62/1542.64 c 1543s| 5370k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1512 | 0 | 0 | 158 |2749k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1545.32/1545.41 c 1545s| 5380k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1397 | 0 | 0 | 158 |2754k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1548.22/1548.20 c 1548s| 5390k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1300 | 0 | 0 | 158 |2759k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1550.93/1550.99 c 1551s| 5400k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1309 | 0 | 0 | 158 |2765k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1553.62/1553.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1553.62/1553.60 c 1554s| 5410k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1571 | 0 | 0 | 158 |2770k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1556.43/1556.42 c 1556s| 5420k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1723 | 0 | 0 | 158 |2775k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1558.92/1558.95 c 1559s| 5430k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1790 | 0 | 0 | 158 |2780k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1561.42/1561.47 c 1561s| 5440k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1719 | 0 | 0 | 158 |2785k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1564.24/1564.22 c 1564s| 5450k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1589 | 0 | 0 | 158 |2790k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1566.72/1566.73 c 1567s| 5460k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1779 | 0 | 0 | 158 |2795k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1569.63/1569.68 c 1570s| 5470k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2305 | 0 | 0 | 158 |2800k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1572.52/1572.55 c 1573s| 5480k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1732 | 0 | 0 | 158 |2805k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1575.24/1575.26 c 1575s| 5490k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2292 | 0 | 0 | 158 |2811k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1578.22/1578.20 c 1578s| 5500k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1769 | 0 | 0 | 158 |2816k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1580.63/1580.64 c 1581s| 5510k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1428 | 0 | 0 | 158 |2821k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1583.12/1583.11 c 1583s| 5520k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1521 | 0 | 0 | 158 |2826k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1585.62/1585.63 c 1586s| 5530k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1442 | 0 | 0 | 158 |2831k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1588.33/1588.41 c 1588s| 5540k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2152 | 0 | 0 | 158 |2836k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1591.22/1591.27 c 1591s| 5550k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1519 | 0 | 0 | 158 |2841k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1593.62/1593.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.62/1593.70 c 1594s| 5560k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1911 | 0 | 0 | 158 |2846k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1596.32/1596.32 c 1596s| 5570k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1576 | 0 | 0 | 158 |2851k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1598.82/1598.87 c 1599s| 5580k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1940 | 0 | 0 | 158 |2857k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1601.53/1601.52 c 1602s| 5590k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2062 | 0 | 0 | 158 |2862k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1604.12/1604.10 c 1604s| 5600k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1581 | 0 | 0 | 158 |2867k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1606.52/1606.53 c 1607s| 5610k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1856 | 0 | 0 | 158 |2872k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1609.34/1609.39 c 1609s| 5620k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1515 | 0 | 0 | 158 |2877k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1612.02/1612.01 c 1612s| 5630k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1674 | 0 | 0 | 158 |2882k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1614.73/1614.81 c 1615s| 5640k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1648 | 0 | 0 | 158 |2887k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1617.22/1617.23 c 1617s| 5650k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1326 | 0 | 0 | 158 |2892k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1619.72/1619.79 c 1620s| 5660k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1617 | 0 | 0 | 158 |2898k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1622.62/1622.61 c 1623s| 5670k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1567 | 0 | 0 | 158 |2903k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1625.42/1625.44 c 1625s| 5680k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1466 | 0 | 0 | 158 |2908k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1628.32/1628.34 c 1628s| 5690k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2372 | 0 | 0 | 158 |2913k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1630.72/1630.74 c 1631s| 5700k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1422 | 0 | 0 | 158 |2918k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1633.22/1633.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.22/1633.21 c 1633s| 5710k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1465 | 0 | 0 | 158 |2923k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1636.02/1636.00 c 1636s| 5720k| 54 | 4986 | 0.0 | 12M| 301 | - | 607 |3135 | 0 | 0 | 158 |2928k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1638.42/1638.47 c 1638s| 5730k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1771 | 0 | 0 | 158 |2933k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1641.02/1641.08 c 1641s| 5740k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1830 | 0 | 0 | 158 |2938k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1644.23/1644.29 c 1644s| 5750k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2556 | 0 | 0 | 158 |2944k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1647.52/1647.50 c 1648s| 5760k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1744 | 0 | 0 | 158 |2949k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1650.43/1650.44 c 1650s| 5770k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1706 | 0 | 0 | 158 |2954k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1653.72/1653.74 c 1654s| 5780k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2289 | 0 | 0 | 158 |2959k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1656.53/1656.60 c 1657s| 5790k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1568 | 0 | 0 | 158 |2964k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1659.42/1659.46 c 1659s| 5800k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1399 | 0 | 0 | 158 |2969k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1662.43/1662.42 c 1662s| 5810k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1999 | 0 | 0 | 158 |2974k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1665.12/1665.14 c 1665s| 5820k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1428 | 0 | 0 | 158 |2979k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1667.93/1667.93 c 1668s| 5830k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2601 | 0 | 0 | 158 |2984k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1670.63/1670.65 c 1671s| 5840k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1900 | 0 | 0 | 158 |2989k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1673.53/1673.58 c 1674s| 5850k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1857 | 0 | 0 | 158 |2994k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1676.63/1676.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.63/1676.66 c 1677s| 5860k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1635 | 0 | 0 | 158 |2999k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1679.33/1679.32 c 1679s| 5870k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1514 | 0 | 0 | 158 |3005k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1681.83/1681.84 c 1682s| 5880k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1501 | 0 | 0 | 158 |3010k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1684.42/1684.45 c 1684s| 5890k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1487 | 0 | 0 | 158 |3015k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1687.13/1687.15 c 1687s| 5900k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1824 | 0 | 0 | 158 |3020k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1689.83/1689.87 c 1690s| 5910k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2836 | 0 | 0 | 158 |3025k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1692.63/1692.69 c 1693s| 5920k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1611 | 0 | 0 | 158 |3030k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1695.53/1695.54 c 1696s| 5930k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2267 | 0 | 0 | 158 |3035k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1698.23/1698.20 c 1698s| 5940k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1731 | 0 | 0 | 158 |3040k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1701.03/1701.04 c 1701s| 5950k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2405 | 0 | 0 | 158 |3045k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1704.02/1704.06 c 1704s| 5960k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1640 | 0 | 0 | 158 |3051k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1706.83/1706.84 c 1707s| 5970k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1406 | 0 | 0 | 158 |3056k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1709.73/1709.71 c 1710s| 5980k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1578 | 0 | 0 | 158 |3061k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1712.43/1712.46 c 1712s| 5990k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1518 | 0 | 0 | 158 |3066k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1715.03/1715.06 c 1715s| 6000k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1538 | 0 | 0 | 158 |3071k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1717.73/1717.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.73/1717.80 c 1718s| 6010k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1631 | 0 | 0 | 158 |3076k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1720.83/1720.81 c 1721s| 6020k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2115 | 0 | 0 | 158 |3081k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1723.53/1723.58 c 1724s| 6030k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1406 | 0 | 0 | 158 |3086k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1726.23/1726.23 c 1726s| 6040k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1496 | 0 | 0 | 158 |3091k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1728.73/1728.78 c 1729s| 6050k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1397 | 0 | 0 | 158 |3097k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1731.13/1731.17 c 1731s| 6060k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1556 | 0 | 0 | 158 |3102k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1733.54/1733.60 c 1734s| 6070k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1705 | 0 | 0 | 158 |3107k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1736.33/1736.31 c 1736s| 6080k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1602 | 0 | 0 | 158 |3112k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1739.04/1739.11 c 1739s| 6090k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1994 | 0 | 0 | 158 |3117k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1741.93/1741.97 c 1742s| 6100k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1429 | 0 | 0 | 158 |3122k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1744.33/1744.39 c 1744s| 6110k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1643 | 0 | 0 | 158 |3127k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1746.63/1746.70 c 1747s| 6120k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1505 | 0 | 0 | 158 |3133k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1749.23/1749.28 c 1749s| 6130k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2129 | 0 | 0 | 158 |3138k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1752.24/1752.25 c 1752s| 6140k| 52 | 4986 | 0.0 | 11M| 301 | - | 607 |1431 | 0 | 0 | 158 |3143k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1754.73/1754.70 c 1755s| 6150k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1829 | 0 | 0 | 158 |3148k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1757.13/1757.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.13/1757.16 c 1757s| 6160k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1775 | 0 | 0 | 158 |3154k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1759.53/1759.53 c 1760s| 6170k| 51 | 4986 | 0.0 | 11M| 301 | - | 607 |1747 | 0 | 0 | 158 |3159k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1762.43/1762.47 c 1762s| 6180k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1522 | 0 | 0 | 158 |3164k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1765.23/1765.26 c 1765s| 6190k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |2132 | 0 | 0 | 158 |3169k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1767.74/1767.78 c 1768s| 6200k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1612 | 0 | 0 | 158 |3174k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1770.63/1770.65 c 1771s| 6210k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |2375 | 0 | 0 | 158 |3179k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1773.53/1773.50 c 1773s| 6220k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1939 | 0 | 0 | 158 |3184k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1776.23/1776.23 c 1776s| 6230k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1691 | 0 | 0 | 158 |3189k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1778.83/1778.85 c 1779s| 6240k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1561 | 0 | 0 | 158 |3195k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1781.53/1781.53 c 1782s| 6250k| 54 | 4986 | 0.0 | 11M| 301 | - | 607 |1274 | 0 | 0 | 158 |3200k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1784.24/1784.26 c 1784s| 6260k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1409 | 0 | 0 | 158 |3205k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1787.63/1787.65 c 1788s| 6270k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1671 | 0 | 0 | 158 |3210k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1790.33/1790.38 c 1790s| 6280k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1494 | 0 | 0 | 158 |3215k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1793.23/1793.29 c 1793s| 6290k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1296 | 0 | 0 | 158 |3220k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1795.83/1795.83 c 1796s| 6300k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1351 | 0 | 0 | 158 |3225k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1798.63/1798.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.63/1798.62 c 1799s| 6310k| 53 | 4986 | 0.0 | 11M| 301 | - | 607 |1487 | 0 | 0 | 158 |3231k| 20 | 4.600000e+01 | 5.400000e+01 | 17.39%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 6315060
1800.03/1800.00 c Primal Bound : +5.40000000000000e+01 (6 solutions)
1800.03/1800.00 c Dual Bound : +4.60000000000001e+01
1800.03/1800.00 c Gap : 17.39 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x607 -x606 -x605 -x604 x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586
1800.03/1800.00 v -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565
1800.03/1800.00 v -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544
1800.03/1800.00 v -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523
1800.03/1800.00 v -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 x505 -x504 -x503 -x502
1800.03/1800.00 v -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481
1800.03/1800.00 v -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460
1800.03/1800.00 v -x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439
1800.03/1800.00 v -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 x420 -x419 -x418
1800.03/1800.00 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397
1800.03/1800.00 v -x396 -x395 -x394 -x393 -x392 x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376
1800.03/1800.00 v -x375 -x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354
1800.03/1800.00 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 x338 x337 -x336 -x335 -x334 -x333
1800.03/1800.00 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 x314 -x313 -x312
1800.03/1800.00 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291
1800.03/1800.00 v -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274 -x273 x272 -x271 -x270
1800.03/1800.00 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248
1800.03/1800.00 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227
1800.03/1800.00 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
1800.03/1800.00 v -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 -x187 -x186 -x185
1800.03/1800.00 v -x184 -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164
1800.03/1800.00 v -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.03/1800.00 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1800.03/1800.00 v -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1800.03/1800.00 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.03/1800.00 v -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49
1800.03/1800.00 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 x27 -x26 -x25 -x24
1800.03/1800.00 v -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.03 (included in solving)
1800.03/1800.00 c reading : 0.01 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452699-1307081679.opb
1800.03/1800.00 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 1022 initial, 1022 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452699-1307081679.opb
1800.03/1800.00 c Variables : 607 (607 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 958 initial, 6038 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.01 0 0 0 0 0 64 0 0 0
1800.03/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 1 0 10 0 0 0 0 0 2
1800.03/1800.00 c logicor : 958+ 23 7050622 0 0 5 16024102 2986180 9580497 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 0 8 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 0.23 0.00 0.00 0.23 0.00 0.00 0.00
1800.03/1800.00 c logicor : 450.53 0.00 412.85 0.00 0.00 0.00 37.68
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 1 0 0 0
1800.03/1800.00 c pseudoobj : 80491068 30064333 244255 298173050
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 7.99 7.99 0.00
1800.03/1800.00 c rootredcost : 8.63 8.63 0.00
1800.03/1800.00 c pseudoobj : 1104.61 852.55 252.05
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 324.54 3230435 3230376 3230376 53.2 3266 55.5 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 3223977 53.2 - - -
1800.03/1800.00 c applied locally : - - - 9665 61.0 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.02 22 - - 216 - (maximal pool size: 2116)
1800.03/1800.00 c redcost : 0.00 23 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 23 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 1.26 23 0 0 6150 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.85 20 0 0 6930 0
1800.03/1800.00 c cmir : 0.06 10 0 0 3 0
1800.03/1800.00 c flowcover : 0.15 10 0 0 9 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 0.23 1 0 0 0 0 2
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 132.88 3230487 0 0 0 0 6460974
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c oneopt : 1.21 4 2
1800.03/1800.00 c trivial : 0.00 2 3
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 1 0
1800.03/1800.00 c rounding : 0.01 24 0
1800.03/1800.00 c shifting : 0.01 24 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.75 1 1
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 1.05 0 0
1800.03/1800.00 c trysol : 0.61 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 0.42 24 4986 207.75 11892.41
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 0.23 20 2396 119.80 10532.84
1800.03/1800.00 c (at root node) : - 20 2396 119.80 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 6315060
1800.03/1800.00 c nodes (total) : 6315060
1800.03/1800.00 c nodes left : 54
1800.03/1800.00 c max depth : 301
1800.03/1800.00 c max depth (total): 301
1800.03/1800.00 c backtracks : 145863 (2.3%)
1800.03/1800.00 c delayed cutoffs : 145863
1800.03/1800.00 c repropagations : 70262526 (17672170 domain reductions, 145863 cutoffs)
1800.03/1800.00 c avg switch length: 23.23
1800.03/1800.00 c switching time : 203.73
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 6 (6 improvements)
1800.03/1800.00 c First Solution : +6.07000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.03/1800.00 c Primal Bound : +5.40000000000000e+01 (in run 1, after 1 nodes, 3.57 seconds, depth 0, found by <oneopt>)
1800.03/1800.00 c Dual Bound : +4.60000000000001e+01
1800.03/1800.00 c Gap : 17.39 %
1800.03/1800.00 c Root Dual Bound : +4.60000000000001e+01
1800.03/1800.00 c Root Iterations : 4986
1800.03/1800.01 c Time complete: 1800.05.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452699-1307081679/watcher-3452699-1307081679 -o /tmp/evaluation-result-3452699-1307081679/solver-3452699-1307081679 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452699-1307081679.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.34 1.12 1.37 3/446 8938
/proc/meminfo: memFree=31350428/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=10724 CPUtime=0 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 1696 0 0 0 0 0 0 0 25 0 1 0 819766676 10981376 1649 33554432000 4194304 9128323 140736756357216 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8938/statm: 2681 1649 400 1205 0 1472 0
[startup+0.0815519 s]
/proc/loadavg: 1.34 1.12 1.37 3/446 8938
/proc/meminfo: memFree=31350428/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=23716 CPUtime=0.07 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 5132 0 0 0 7 0 0 0 25 0 1 0 819766676 24285184 4807 33554432000 4194304 9128323 140736756357216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 5929 4807 622 1205 0 4720 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23716
[startup+0.100561 s]
/proc/loadavg: 1.34 1.12 1.37 3/446 8938
/proc/meminfo: memFree=31350428/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=23716 CPUtime=0.09 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 5152 0 0 0 9 0 0 0 25 0 1 0 819766676 24285184 4827 33554432000 4194304 9128323 140736756357216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 5929 4827 622 1205 0 4720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23716
[startup+0.300521 s]
/proc/loadavg: 1.34 1.12 1.37 3/446 8938
/proc/meminfo: memFree=31350428/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=33120 CPUtime=0.29 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 7380 0 0 0 29 0 0 0 25 0 1 0 819766676 33914880 7017 33554432000 4194304 9128323 140736756357216 18446744073709551615 5160429 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 8280 7017 694 1205 0 7071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33120
[startup+0.700449 s]
/proc/loadavg: 1.34 1.12 1.37 3/446 8938
/proc/meminfo: memFree=31350428/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=37680 CPUtime=0.69 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 8682 0 0 0 68 1 0 0 25 0 1 0 819766676 38584320 8248 33554432000 4194304 9128323 140736756357216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 9420 8248 661 1205 0 8211 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37680
[startup+1.5003 s]
/proc/loadavg: 1.34 1.12 1.37 3/447 8939
/proc/meminfo: memFree=31315824/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=45072 CPUtime=1.49 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 10594 0 0 0 147 2 0 0 25 0 1 0 819766676 46153728 10146 33554432000 4194304 9128323 140736756357216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 11268 10146 666 1205 0 10059 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45072
[startup+3.10098 s]
/proc/loadavg: 1.34 1.12 1.37 3/447 8939
/proc/meminfo: memFree=31310368/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=60532 CPUtime=3.09 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 14197 0 0 0 304 5 0 0 25 0 1 0 819766676 61984768 13709 33554432000 4194304 9128323 140736756357216 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 15133 13709 704 1205 0 13924 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60532
[startup+6.30046 s]
/proc/loadavg: 1.40 1.14 1.38 3/447 8939
/proc/meminfo: memFree=31307512/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=45992 CPUtime=6.29 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 14262 0 0 0 621 8 0 0 25 0 1 0 819766676 47095808 10434 33554432000 4194304 9128323 140736756357216 18446744073709551615 5333004 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 11498 10434 725 1205 0 10289 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45992
[startup+12.7003 s]
/proc/loadavg: 1.44 1.15 1.38 3/447 8939
/proc/meminfo: memFree=31305836/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=46320 CPUtime=12.69 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 14318 0 0 0 1261 8 0 0 25 0 1 0 819766676 47431680 10490 33554432000 4194304 9128323 140736756357216 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 11580 10490 725 1205 0 10371 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46320
[startup+25.5011 s]
/proc/loadavg: 1.57 1.19 1.39 3/447 8939
/proc/meminfo: memFree=31304084/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=47544 CPUtime=25.49 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 14628 0 0 0 2541 8 0 0 25 0 1 0 819766676 48685056 10800 33554432000 4194304 9128323 140736756357216 18446744073709551615 4929670 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 11886 10800 725 1205 0 10677 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47544
[startup+51.1005 s]
/proc/loadavg: 1.71 1.26 1.40 3/447 8940
/proc/meminfo: memFree=31297640/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=50524 CPUtime=51.09 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 15363 0 0 0 5101 8 0 0 25 0 1 0 819766676 51736576 11535 33554432000 4194304 9128323 140736756357216 18446744073709551615 6890153 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 12631 11535 725 1205 0 11422 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50524
[startup+102.316 s]
/proc/loadavg: 1.87 1.37 1.43 3/447 8941
/proc/meminfo: memFree=31293356/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=51608 CPUtime=102.31 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 15641 0 0 0 10223 8 0 0 25 0 1 0 819766676 52846592 11813 33554432000 4194304 9128323 140736756357216 18446744073709551615 6582048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 12902 11813 725 1205 0 11693 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 51608
[startup+162.301 s]
/proc/loadavg: 1.95 1.48 1.46 3/447 8943
/proc/meminfo: memFree=31289192/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=53636 CPUtime=162.29 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 16149 0 0 0 16220 9 0 0 25 0 1 0 819766676 54923264 12321 33554432000 4194304 9128323 140736756357216 18446744073709551615 5984093 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 13409 12321 725 1205 0 12200 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 53636
[startup+222.3 s]
/proc/loadavg: 1.98 1.57 1.49 3/447 8945
/proc/meminfo: memFree=31285764/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=55732 CPUtime=222.3 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 16662 0 0 0 22221 9 0 0 25 0 1 0 819766676 57069568 12834 33554432000 4194304 9128323 140736756357216 18446744073709551615 6889762 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 13933 12834 725 1205 0 12724 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 55732
[startup+282.301 s]
/proc/loadavg: 2.13 1.68 1.53 3/447 8946
/proc/meminfo: memFree=31279752/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=57100 CPUtime=282.3 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17006 0 0 0 28221 9 0 0 25 0 1 0 819766676 58470400 13178 33554432000 4194304 9128323 140736756357216 18446744073709551615 4794607 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14275 13178 725 1205 0 13066 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 57100
[startup+342.3 s]
/proc/loadavg: 2.16 1.77 1.57 3/447 8948
/proc/meminfo: memFree=31276720/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=57100 CPUtime=342.3 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17006 0 0 0 34221 9 0 0 25 0 1 0 819766676 58470400 13178 33554432000 4194304 9128323 140736756357216 18446744073709551615 4336246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14275 13178 725 1205 0 13066 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 57100
[startup+402.301 s]
/proc/loadavg: 2.10 1.82 1.60 3/447 8949
/proc/meminfo: memFree=31274800/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=57100 CPUtime=402.3 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17006 0 0 0 40221 9 0 0 25 0 1 0 819766676 58470400 13178 33554432000 4194304 9128323 140736756357216 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14275 13178 725 1205 0 13066 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 57100
[startup+462.301 s]
/proc/loadavg: 2.04 1.85 1.62 3/447 8951
/proc/meminfo: memFree=31273128/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=57948 CPUtime=462.3 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17218 0 0 0 46221 9 0 0 25 0 1 0 819766676 59338752 13390 33554432000 4194304 9128323 140736756357216 18446744073709551615 4909200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14487 13390 725 1205 0 13278 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 57948
[startup+522.3 s]
/proc/loadavg: 2.01 1.88 1.64 3/447 8953
/proc/meminfo: memFree=31269712/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58124 CPUtime=522.3 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17262 0 0 0 52221 9 0 0 25 0 1 0 819766676 59518976 13434 33554432000 4194304 9128323 140736756357216 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14531 13434 725 1205 0 13322 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 58124
[startup+582.301 s]
/proc/loadavg: 2.00 1.90 1.66 3/447 8954
/proc/meminfo: memFree=31268644/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58124 CPUtime=582.3 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17262 0 0 0 58221 9 0 0 25 0 1 0 819766676 59518976 13434 33554432000 4194304 9128323 140736756357216 18446744073709551615 6650602 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14531 13434 725 1205 0 13322 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 58124
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.94 1.73 3/447 8961
/proc/meminfo: memFree=31264896/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58124 CPUtime=822.31 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17262 0 0 0 82221 10 0 0 25 0 1 0 819766676 59518976 13434 33554432000 4194304 9128323 140736756357216 18446744073709551615 5984556 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14531 13434 725 1205 0 13322 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 58124
[startup+882.3 s]
/proc/loadavg: 2.21 2.01 1.76 3/447 8962
/proc/meminfo: memFree=31261840/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58124 CPUtime=882.31 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17262 0 0 0 88221 10 0 0 25 0 1 0 819766676 59518976 13434 33554432000 4194304 9128323 140736756357216 18446744073709551615 4751567 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14531 13434 725 1205 0 13322 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 58124
[startup+942.301 s]
/proc/loadavg: 2.18 2.04 1.79 3/447 8964
/proc/meminfo: memFree=31261904/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58124 CPUtime=942.31 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17262 0 0 0 94221 10 0 0 25 0 1 0 819766676 59518976 13434 33554432000 4194304 9128323 140736756357216 18446744073709551615 5985936 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14531 13434 725 1205 0 13322 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 58124
[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 1.80 3/447 8965
/proc/meminfo: memFree=31261716/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58124 CPUtime=1002.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17262 0 0 0 100222 10 0 0 25 0 1 0 819766676 59518976 13434 33554432000 4194304 9128323 140736756357216 18446744073709551615 4786638 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14531 13434 725 1205 0 13322 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 58124
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.81 3/447 8967
/proc/meminfo: memFree=31261160/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58124 CPUtime=1062.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17262 0 0 0 106222 10 0 0 25 0 1 0 819766676 59518976 13434 33554432000 4194304 9128323 140736756357216 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14531 13434 725 1205 0 13322 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 58124
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.82 3/447 8969
/proc/meminfo: memFree=31258244/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=58532 CPUtime=1122.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17364 0 0 0 112222 10 0 0 25 0 1 0 819766676 59936768 13536 33554432000 4194304 9128323 140736756357216 18446744073709551615 5334876 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14633 13536 725 1205 0 13424 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 58532
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/447 8970
/proc/meminfo: memFree=31255688/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1182.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 118222 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 4794208 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 59556
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/447 8972
/proc/meminfo: memFree=31256500/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1242.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 124222 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 4443040 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 59556
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/447 8973
/proc/meminfo: memFree=31254824/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1302.33 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 130223 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 4241216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 59556
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/447 8975
/proc/meminfo: memFree=31254752/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1362.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 136222 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 59556
[startup+1422.32 s]
/proc/loadavg: 2.05 2.01 1.85 3/447 8977
/proc/meminfo: memFree=31254328/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1422.33 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 142223 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 6533246 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 59556
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.87 3/447 8978
/proc/meminfo: memFree=31252288/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1482.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 148222 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 5983295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 59556
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 1.88 3/447 8980
/proc/meminfo: memFree=31252344/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1542.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 154222 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 59556
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/447 8981
/proc/meminfo: memFree=31252156/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1602.32 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 160222 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 4547579 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 59556
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/447 8983
/proc/meminfo: memFree=31252220/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1662.33 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 166223 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 6890131 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 59556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/447 8985
/proc/meminfo: memFree=31251776/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1722.33 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 172223 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 6890218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 59556
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/447 9041
/proc/meminfo: memFree=31281748/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1782.33 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17620 0 0 0 178223 10 0 0 25 0 1 0 819766676 60985344 13792 33554432000 4194304 9128323 140736756357216 18446744073709551615 6650537 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13792 725 1205 0 13680 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 59556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.02 1.91 3/447 9042
/proc/meminfo: memFree=31253620/32950928 swapFree=34365992/67111528
[pid=8938] ppid=8936 vsize=59556 CPUtime=1800.04 cores=0,2,4,6
/proc/8938/stat : 8938 (scip-2.0.1.4.li) R 8936 8938 6518 0 -1 4202496 17622 0 0 0 179994 10 0 0 25 0 1 0 819766676 60985344 13794 33554432000 4194304 9128323 140736756357216 18446744073709551615 4336756 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8938/statm: 14889 13794 727 1205 0 13680 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 59556
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1799.95
CPU system time (s): 0.112982
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 60840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17624
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= 4
involuntary context switches= 6142
runsolver used 8.00478 second user time and 18.0283 second system time
The end