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-3453300-1307093981.opb>
0.00/0.00 c original problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 o 50
0.00/0.00 c feasible solution found by trivial heuristic, objective value 5.000000e+01
0.00/0.00 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.01 c 100 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 2.0.1.4
0.00/0.01 c
0.00/0.01 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c conflict/interconss = 0
0.00/0.01 c
0.00/0.01 c # should binary conflicts be preferred?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c conflict/preferbinary = TRUE
0.00/0.01 c
0.00/0.01 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c constraints/agelimit = 1
0.00/0.01 c
0.00/0.01 c # should enforcement of pseudo solution be disabled?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/disableenfops = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = 0
0.00/0.01 c
0.00/0.01 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.01 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.01 c lp/pricing = a
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # priority of node selection rule <dfs> in standard mode
0.00/0.01 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.01 c nodeselection/dfs/stdpriority = 1000000
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c t 0.0s| 1 | 0 | 143 | - | 398k| 0 | 50 | 50 | 100 | 50 | 100 | 0 | 0 | 0 | 5.000000e+00 | 5.000000e+01 | 900.00%
0.00/0.01 o 49
0.00/0.01 c R 0.0s| 1 | 0 | 143 | - | 400k| 0 | 50 | 50 | 100 | 50 | 100 | 0 | 0 | 0 | 5.000000e+00 | 4.900000e+01 | 880.00%
0.00/0.01 o 48
0.00/0.01 c s 0.0s| 1 | 0 | 143 | - | 402k| 0 | 50 | 50 | 100 | 50 | 100 | 0 | 0 | 0 | 5.000000e+00 | 4.800000e+01 | 860.00%
0.00/0.02 c 0.0s| 1 | 0 | 171 | - | 492k| 0 | 49 | 50 | 100 | 50 | 101 | 1 | 0 | 0 | 5.053613e+00 | 4.800000e+01 | 849.82%
0.00/0.02 o 12
0.00/0.02 c b 0.0s| 1 | 0 | 171 | - | 494k| 0 | 49 | 50 | 100 | 50 | 101 | 1 | 0 | 0 | 5.053613e+00 | 1.200000e+01 | 137.45%
0.00/0.02 c 0.0s| 1 | 0 | 208 | - | 647k| 0 | 48 | 50 | 100 | 50 | 102 | 2 | 0 | 0 | 5.078548e+00 | 1.200000e+01 | 136.29%
0.00/0.03 c 0.0s| 1 | 0 | 241 | - | 797k| 0 | 46 | 50 | 100 | 50 | 103 | 3 | 0 | 0 | 5.108211e+00 | 1.200000e+01 | 134.92%
0.00/0.04 c 0.0s| 1 | 0 | 266 | - | 936k| 0 | 46 | 50 | 100 | 50 | 104 | 4 | 0 | 0 | 5.124516e+00 | 1.200000e+01 | 134.17%
0.00/0.05 c 0.0s| 1 | 0 | 314 | - |1077k| 0 | 44 | 50 | 100 | 50 | 105 | 5 | 0 | 0 | 5.141585e+00 | 1.200000e+01 | 133.39%
0.00/0.06 c 0.1s| 1 | 0 | 363 | - |1172k| 0 | 46 | 50 | 100 | 50 | 106 | 6 | 0 | 0 | 5.155166e+00 | 1.200000e+01 | 132.78%
0.00/0.06 c 0.1s| 1 | 0 | 391 | - |1183k| 0 | 43 | 50 | 100 | 50 | 107 | 7 | 0 | 0 | 5.158887e+00 | 1.200000e+01 | 132.61%
0.00/0.07 c 0.1s| 1 | 0 | 438 | - |1186k| 0 | 45 | 50 | 100 | 50 | 108 | 8 | 0 | 0 | 5.166358e+00 | 1.200000e+01 | 132.27%
0.19/0.20 c 0.2s| 1 | 2 | 438 | - |1190k| 0 | 45 | 50 | 100 | 50 | 108 | 8 | 0 | 22 | 5.166358e+00 | 1.200000e+01 | 132.27%
0.19/0.21 o 11
0.19/0.21 c * 0.2s| 90 | 11 | 438 | 0.0 |1240k| 30 | - | 50 | 136 | 0 | 0 | 8 | 36 | 22 | 5.203444e+00 | 1.100000e+01 | 111.40%
0.59/0.65 c 0.6s| 10000 | 10 | 438 | 0.0 |1298k| 40 | - | 50 | 186 | 0 | 0 | 8 |5254 | 22 | 5.203444e+00 | 1.100000e+01 | 111.40%
0.99/1.02 o 10
0.99/1.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.02 c * 1.0s| 18063 | 10 | 438 | 0.0 |1356k| 43 | - | 50 | 362 | 0 | 0 | 8 |9548 | 22 | 5.203444e+00 | 1.000000e+01 | 92.18%
0.99/1.11 c 1.1s| 20000 | 8 | 438 | 0.0 |1283k| 43 | - | 50 | 133 | 0 | 0 | 8 | 10k| 22 | 5.203444e+00 | 1.000000e+01 | 92.18%
1.10/1.18 o 9
1.10/1.18 c * 1.2s| 21577 | 9 | 438 | 0.0 |1312k| 43 | - | 50 | 221 | 0 | 0 | 8 | 11k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
1.49/1.58 c 1.6s| 30000 | 8 | 438 | 0.0 |1359k| 43 | - | 50 | 376 | 0 | 0 | 8 | 15k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
1.99/2.05 c 2.0s| 40000 | 8 | 438 | 0.0 |1329k| 43 | - | 50 | 259 | 0 | 0 | 8 | 21k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
2.49/2.50 c 2.5s| 50000 | 8 | 438 | 0.0 |1349k| 43 | - | 50 | 319 | 0 | 0 | 8 | 26k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
2.89/2.97 c 3.0s| 60000 | 9 | 438 | 0.0 |1362k| 43 | - | 50 | 355 | 0 | 0 | 8 | 31k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
3.39/3.43 c 3.4s| 70000 | 8 | 438 | 0.0 |1339k| 43 | - | 50 | 294 | 0 | 0 | 8 | 37k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
3.79/3.89 c 3.9s| 80000 | 9 | 438 | 0.0 |1346k| 43 | - | 50 | 296 | 0 | 0 | 8 | 42k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
4.29/4.36 c 4.4s| 90000 | 9 | 438 | 0.0 |1339k| 43 | - | 50 | 278 | 0 | 0 | 8 | 47k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
4.79/4.81 c 4.8s|100000 | 9 | 438 | 0.0 |1336k| 43 | - | 50 | 265 | 0 | 0 | 8 | 53k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
5.19/5.27 c 5.3s|110000 | 8 | 438 | 0.0 |1326k| 43 | - | 50 | 239 | 0 | 0 | 8 | 58k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
5.69/5.73 c 5.7s|120000 | 9 | 438 | 0.0 |1341k| 43 | - | 50 | 278 | 0 | 0 | 8 | 63k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
6.09/6.18 c 6.2s|130000 | 8 | 438 | 0.0 |1353k| 43 | - | 50 | 297 | 0 | 0 | 8 | 69k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
6.60/6.63 c 6.6s|140000 | 8 | 438 | 0.0 |1340k| 43 | - | 50 | 267 | 0 | 0 | 8 | 74k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
6.99/7.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.99/7.08 c 7.1s|150000 | 7 | 438 | 0.0 |1348k| 43 | - | 50 | 281 | 0 | 0 | 8 | 80k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
7.49/7.53 c 7.5s|160000 | 9 | 438 | 0.0 |1332k| 43 | - | 50 | 263 | 0 | 0 | 8 | 85k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
7.99/8.00 c 8.0s|170000 | 9 | 438 | 0.0 |1316k| 43 | - | 50 | 204 | 0 | 0 | 8 | 90k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
8.39/8.47 c 8.5s|180000 | 8 | 438 | 0.0 |1331k| 43 | - | 50 | 256 | 0 | 0 | 8 | 96k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
8.89/8.93 c 8.9s|190000 | 7 | 438 | 0.0 |1355k| 43 | - | 50 | 323 | 0 | 0 | 8 | 101k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
9.29/9.39 c 9.4s|200000 | 8 | 438 | 0.0 |1318k| 43 | - | 50 | 210 | 0 | 0 | 8 | 106k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
9.79/9.85 c 9.9s|210000 | 8 | 438 | 0.0 |1331k| 43 | - | 50 | 239 | 0 | 0 | 8 | 112k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
10.29/10.32 c 10.3s|220000 | 9 | 438 | 0.0 |1350k| 43 | - | 50 | 308 | 0 | 0 | 8 | 117k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
10.69/10.78 c 10.8s|230000 | 8 | 438 | 0.0 |1327k| 43 | - | 50 | 232 | 0 | 0 | 8 | 122k| 22 | 5.203444e+00 | 9.000000e+00 | 72.96%
11.00/11.02 o 8
11.00/11.02 c *11.0s|235355 | 8 | 438 | 0.0 |1338k| 43 | - | 50 | 256 | 0 | 0 | 8 | 125k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
11.19/11.24 c 11.2s|240000 | 8 | 438 | 0.0 |1328k| 43 | - | 50 | 235 | 0 | 0 | 8 | 128k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
11.69/11.71 c 11.7s|250000 | 8 | 438 | 0.0 |1332k| 43 | - | 50 | 261 | 0 | 0 | 8 | 133k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
12.10/12.18 c 12.2s|260000 | 6 | 438 | 0.0 |1367k| 43 | - | 50 | 357 | 0 | 0 | 8 | 138k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
12.59/12.65 c 12.7s|270000 | 8 | 438 | 0.0 |1341k| 43 | - | 50 | 285 | 0 | 0 | 8 | 144k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
13.09/13.12 c 13.1s|280000 | 8 | 438 | 0.0 |1343k| 43 | - | 50 | 290 | 0 | 0 | 8 | 149k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
13.49/13.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.49/13.58 c 13.6s|290000 | 7 | 438 | 0.0 |1324k| 43 | - | 50 | 218 | 0 | 0 | 8 | 154k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
13.99/14.04 c 14.0s|300000 | 7 | 438 | 0.0 |1334k| 43 | - | 50 | 258 | 0 | 0 | 8 | 160k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
14.49/14.50 c 14.5s|310000 | 8 | 438 | 0.0 |1350k| 43 | - | 50 | 287 | 0 | 0 | 8 | 165k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
14.89/14.96 c 15.0s|320000 | 7 | 438 | 0.0 |1349k| 43 | - | 50 | 283 | 0 | 0 | 8 | 171k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
15.40/15.42 c 15.4s|330000 | 8 | 438 | 0.0 |1359k| 43 | - | 50 | 309 | 0 | 0 | 8 | 176k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
15.79/15.88 c 15.9s|340000 | 8 | 438 | 0.0 |1342k| 43 | - | 50 | 296 | 0 | 0 | 8 | 181k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
16.29/16.35 c 16.3s|350000 | 7 | 438 | 0.0 |1364k| 43 | - | 50 | 348 | 0 | 0 | 8 | 187k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
16.79/16.82 c 16.8s|360000 | 7 | 438 | 0.0 |1364k| 43 | - | 50 | 375 | 0 | 0 | 8 | 192k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
17.19/17.28 c 17.3s|370000 | 7 | 438 | 0.0 |1347k| 43 | - | 50 | 293 | 0 | 0 | 8 | 197k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
17.69/17.75 c 17.7s|380000 | 7 | 438 | 0.0 |1355k| 43 | - | 50 | 327 | 0 | 0 | 8 | 203k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
18.19/18.21 c 18.2s|390000 | 8 | 438 | 0.0 |1351k| 43 | - | 50 | 294 | 0 | 0 | 8 | 208k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
18.59/18.68 c 18.7s|400000 | 7 | 438 | 0.0 |1341k| 43 | - | 50 | 268 | 0 | 0 | 8 | 213k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
19.09/19.15 c 19.2s|410000 | 8 | 438 | 0.0 |1355k| 43 | - | 50 | 318 | 0 | 0 | 8 | 219k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
19.59/19.63 c 19.6s|420000 | 7 | 438 | 0.0 |1360k| 43 | - | 50 | 330 | 0 | 0 | 8 | 224k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
19.99/20.09 c 20.1s|430000 | 7 | 438 | 0.0 |1370k| 43 | - | 50 | 354 | 0 | 0 | 8 | 229k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
20.49/20.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.49/20.55 c 20.6s|440000 | 6 | 438 | 0.0 |1349k| 43 | - | 50 | 279 | 0 | 0 | 8 | 235k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
20.99/21.01 c 21.0s|450000 | 7 | 438 | 0.0 |1359k| 43 | - | 50 | 308 | 0 | 0 | 8 | 240k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
21.39/21.46 c 21.5s|460000 | 4 | 438 | 0.0 |1356k| 43 | - | 50 | 295 | 0 | 0 | 8 | 246k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
21.89/21.94 c 21.9s|470000 | 8 | 438 | 0.0 |1355k| 43 | - | 50 | 322 | 0 | 0 | 8 | 251k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
22.39/22.41 c 22.4s|480000 | 7 | 438 | 0.0 |1332k| 43 | - | 50 | 257 | 0 | 0 | 8 | 256k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
22.79/22.88 c 22.9s|490000 | 8 | 438 | 0.0 |1343k| 43 | - | 50 | 274 | 0 | 0 | 8 | 262k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
23.29/23.34 c 23.3s|500000 | 8 | 438 | 0.0 |1341k| 43 | - | 50 | 271 | 0 | 0 | 8 | 267k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
23.79/23.81 c 23.8s|510000 | 8 | 438 | 0.0 |1331k| 43 | - | 50 | 234 | 0 | 0 | 8 | 272k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
24.20/24.28 c 24.3s|520000 | 7 | 438 | 0.0 |1366k| 43 | - | 50 | 344 | 0 | 0 | 8 | 278k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
24.69/24.74 c 24.7s|530000 | 7 | 438 | 0.0 |1348k| 43 | - | 50 | 284 | 0 | 0 | 8 | 283k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
25.09/25.21 c 25.2s|540000 | 8 | 438 | 0.0 |1359k| 43 | - | 50 | 314 | 0 | 0 | 8 | 288k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
25.59/25.68 c 25.7s|550000 | 7 | 438 | 0.0 |1352k| 43 | - | 50 | 285 | 0 | 0 | 8 | 294k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
26.09/26.13 c 26.1s|560000 | 6 | 438 | 0.0 |1361k| 43 | - | 50 | 308 | 0 | 0 | 8 | 299k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
26.49/26.59 c 26.6s|570000 | 7 | 438 | 0.0 |1341k| 43 | - | 50 | 268 | 0 | 0 | 8 | 305k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
26.99/27.06 c 27.1s|580000 | 8 | 438 | 0.0 |1337k| 43 | - | 50 | 261 | 0 | 0 | 8 | 310k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
27.50/27.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.50/27.54 c 27.5s|590000 | 7 | 438 | 0.0 |1358k| 43 | - | 50 | 327 | 0 | 0 | 8 | 315k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
27.99/28.00 c 28.0s|600000 | 8 | 438 | 0.0 |1339k| 43 | - | 50 | 269 | 0 | 0 | 8 | 321k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
28.39/28.47 c 28.5s|610000 | 8 | 438 | 0.0 |1346k| 43 | - | 50 | 278 | 0 | 0 | 8 | 326k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
28.89/28.94 c 28.9s|620000 | 6 | 438 | 0.0 |1355k| 43 | - | 50 | 297 | 0 | 0 | 8 | 331k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
29.39/29.40 c 29.4s|630000 | 8 | 438 | 0.0 |1352k| 43 | - | 50 | 289 | 0 | 0 | 8 | 337k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
29.79/29.85 c 29.9s|640000 | 8 | 438 | 0.0 |1356k| 43 | - | 50 | 294 | 0 | 0 | 8 | 342k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
30.29/30.32 c 30.3s|650000 | 8 | 438 | 0.0 |1331k| 43 | - | 50 | 236 | 0 | 0 | 8 | 348k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
30.69/30.79 c 30.8s|660000 | 8 | 438 | 0.0 |1311k| 43 | - | 50 | 167 | 0 | 0 | 8 | 353k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
31.19/31.26 c 31.3s|670000 | 8 | 438 | 0.0 |1327k| 43 | - | 50 | 217 | 0 | 0 | 8 | 358k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
31.69/31.72 c 31.7s|680000 | 7 | 438 | 0.0 |1332k| 43 | - | 50 | 226 | 0 | 0 | 8 | 364k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
32.09/32.19 c 32.2s|690000 | 8 | 438 | 0.0 |1342k| 43 | - | 50 | 258 | 0 | 0 | 8 | 369k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
32.59/32.64 c 32.6s|700000 | 8 | 438 | 0.0 |1352k| 44 | - | 50 | 279 | 0 | 0 | 8 | 375k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
33.09/33.11 c 33.1s|710000 | 7 | 438 | 0.0 |1342k| 44 | - | 50 | 274 | 0 | 0 | 8 | 380k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
33.49/33.58 c 33.6s|720000 | 8 | 438 | 0.0 |1320k| 44 | - | 50 | 190 | 0 | 0 | 8 | 385k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
33.99/34.04 c 34.0s|730000 | 8 | 438 | 0.0 |1346k| 44 | - | 50 | 270 | 0 | 0 | 8 | 391k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
34.49/34.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.49/34.51 c 34.5s|740000 | 7 | 438 | 0.0 |1351k| 44 | - | 50 | 283 | 0 | 0 | 8 | 396k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
34.89/34.98 c 35.0s|750000 | 8 | 438 | 0.0 |1345k| 44 | - | 50 | 268 | 0 | 0 | 8 | 401k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
35.39/35.44 c 35.4s|760000 | 6 | 438 | 0.0 |1358k| 44 | - | 50 | 300 | 0 | 0 | 8 | 407k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
35.89/35.90 c 35.9s|770000 | 8 | 438 | 0.0 |1342k| 44 | - | 50 | 261 | 0 | 0 | 8 | 412k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
36.30/36.37 c 36.4s|780000 | 7 | 438 | 0.0 |1333k| 44 | - | 50 | 232 | 0 | 0 | 8 | 418k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
36.79/36.83 c 36.8s|790000 | 6 | 438 | 0.0 |1351k| 44 | - | 50 | 283 | 0 | 0 | 8 | 423k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
37.19/37.28 c 37.3s|800000 | 7 | 438 | 0.0 |1339k| 44 | - | 50 | 249 | 0 | 0 | 8 | 429k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
37.69/37.74 c 37.7s|810000 | 7 | 438 | 0.0 |1343k| 44 | - | 50 | 260 | 0 | 0 | 8 | 434k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
38.19/38.20 c 38.2s|820000 | 7 | 438 | 0.0 |1332k| 44 | - | 50 | 230 | 0 | 0 | 8 | 439k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
38.59/38.65 c 38.7s|830000 | 7 | 438 | 0.0 |1358k| 44 | - | 50 | 291 | 0 | 0 | 8 | 445k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
39.09/39.11 c 39.1s|840000 | 8 | 438 | 0.0 |1320k| 44 | - | 50 | 184 | 0 | 0 | 8 | 450k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
39.49/39.57 c 39.6s|850000 | 7 | 438 | 0.0 |1344k| 44 | - | 50 | 263 | 0 | 0 | 8 | 456k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
39.99/40.02 c 40.0s|860000 | 8 | 438 | 0.0 |1335k| 44 | - | 50 | 234 | 0 | 0 | 8 | 461k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
40.39/40.48 c 40.5s|870000 | 7 | 438 | 0.0 |1344k| 44 | - | 50 | 253 | 0 | 0 | 8 | 467k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
40.89/40.93 c 40.9s|880000 | 6 | 438 | 0.0 |1334k| 44 | - | 50 | 232 | 0 | 0 | 8 | 472k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
41.29/41.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.29/41.39 c 41.4s|890000 | 7 | 438 | 0.0 |1349k| 44 | - | 50 | 270 | 0 | 0 | 8 | 477k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
41.80/41.85 c 41.8s|900000 | 8 | 438 | 0.0 |1343k| 44 | - | 50 | 249 | 0 | 0 | 8 | 483k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
42.29/42.30 c 42.3s|910000 | 6 | 438 | 0.0 |1342k| 44 | - | 50 | 246 | 0 | 0 | 8 | 488k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
42.69/42.75 c 42.7s|920000 | 7 | 438 | 0.0 |1337k| 44 | - | 50 | 226 | 0 | 0 | 8 | 494k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
43.19/43.21 c 43.2s|930000 | 8 | 438 | 0.0 |1327k| 44 | - | 50 | 250 | 0 | 0 | 8 | 499k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
43.59/43.69 c 43.7s|940000 | 7 | 438 | 0.0 |1331k| 44 | - | 50 | 273 | 0 | 0 | 8 | 504k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
44.09/44.17 c 44.2s|950000 | 7 | 438 | 0.0 |1354k| 44 | - | 50 | 366 | 0 | 0 | 8 | 510k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
44.59/44.65 c 44.7s|960000 | 7 | 438 | 0.0 |1351k| 44 | - | 50 | 351 | 0 | 0 | 8 | 515k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
45.10/45.13 c 45.1s|970000 | 7 | 438 | 0.0 |1358k| 44 | - | 50 | 388 | 0 | 0 | 8 | 521k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
45.59/45.61 c 45.6s|980000 | 8 | 438 | 0.0 |1366k| 44 | - | 50 | 416 | 0 | 0 | 8 | 526k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
45.99/46.10 c 46.1s|990000 | 8 | 438 | 0.0 |1349k| 44 | - | 50 | 347 | 0 | 0 | 8 | 531k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
46.49/46.58 c 46.6s| 1000k| 7 | 438 | 0.0 |1340k| 44 | - | 50 | 308 | 0 | 0 | 8 | 537k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
46.99/47.07 c 47.1s| 1010k| 7 | 438 | 0.0 |1353k| 44 | - | 50 | 359 | 0 | 0 | 8 | 542k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
47.49/47.55 c 47.5s| 1020k| 7 | 438 | 0.0 |1344k| 44 | - | 50 | 325 | 0 | 0 | 8 | 548k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
47.99/48.02 c 48.0s| 1030k| 7 | 438 | 0.0 |1359k| 44 | - | 50 | 393 | 0 | 0 | 8 | 553k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
48.49/48.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.49/48.50 c 48.5s| 1040k| 7 | 438 | 0.0 |1348k| 44 | - | 50 | 350 | 0 | 0 | 8 | 558k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
48.89/48.99 c 49.0s| 1050k| 7 | 438 | 0.0 |1341k| 44 | - | 50 | 309 | 0 | 0 | 8 | 564k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
49.39/49.47 c 49.5s| 1060k| 7 | 438 | 0.0 |1335k| 44 | - | 50 | 282 | 0 | 0 | 8 | 569k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
49.89/49.94 c 49.9s| 1070k| 5 | 438 | 0.0 |1366k| 44 | - | 50 | 422 | 0 | 0 | 8 | 575k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
50.39/50.42 c 50.4s| 1080k| 8 | 438 | 0.0 |1359k| 44 | - | 50 | 388 | 0 | 0 | 8 | 580k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
50.89/50.90 c 50.9s| 1090k| 7 | 438 | 0.0 |1335k| 44 | - | 50 | 284 | 0 | 0 | 8 | 585k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
51.29/51.37 c 51.4s| 1100k| 7 | 438 | 0.0 |1351k| 44 | - | 50 | 355 | 0 | 0 | 8 | 591k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
51.79/51.86 c 51.9s| 1110k| 7 | 438 | 0.0 |1351k| 44 | - | 50 | 356 | 0 | 0 | 8 | 596k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
52.29/52.34 c 52.3s| 1120k| 8 | 438 | 0.0 |1342k| 44 | - | 50 | 323 | 0 | 0 | 8 | 601k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
52.80/52.82 c 52.8s| 1130k| 7 | 438 | 0.0 |1359k| 44 | - | 50 | 390 | 0 | 0 | 8 | 607k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
53.19/53.29 c 53.3s| 1140k| 7 | 438 | 0.0 |1354k| 44 | - | 50 | 376 | 0 | 0 | 8 | 612k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
53.69/53.77 c 53.8s| 1150k| 6 | 438 | 0.0 |1359k| 44 | - | 50 | 393 | 0 | 0 | 8 | 618k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
54.19/54.25 c 54.2s| 1160k| 8 | 438 | 0.0 |1358k| 44 | - | 50 | 397 | 0 | 0 | 8 | 623k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
54.69/54.72 c 54.7s| 1170k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 326 | 0 | 0 | 8 | 629k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
55.19/55.20 c 55.2s| 1180k| 7 | 438 | 0.0 |1351k| 44 | - | 50 | 350 | 0 | 0 | 8 | 634k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
55.59/55.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.59/55.68 c 55.7s| 1190k| 8 | 438 | 0.0 |1336k| 44 | - | 50 | 298 | 0 | 0 | 8 | 639k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
56.10/56.17 c 56.2s| 1200k| 7 | 438 | 0.0 |1352k| 44 | - | 50 | 371 | 0 | 0 | 8 | 645k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
56.59/56.65 c 56.6s| 1210k| 8 | 438 | 0.0 |1352k| 44 | - | 50 | 362 | 0 | 0 | 8 | 650k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
57.09/57.12 c 57.1s| 1220k| 8 | 438 | 0.0 |1358k| 44 | - | 50 | 393 | 0 | 0 | 8 | 656k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
57.59/57.60 c 57.6s| 1230k| 7 | 438 | 0.0 |1351k| 44 | - | 50 | 356 | 0 | 0 | 8 | 661k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
57.99/58.08 c 58.1s| 1240k| 6 | 438 | 0.0 |1354k| 44 | - | 50 | 378 | 0 | 0 | 8 | 666k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
58.49/58.55 c 58.6s| 1250k| 7 | 438 | 0.0 |1350k| 44 | - | 50 | 366 | 0 | 0 | 8 | 672k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
58.99/59.03 c 59.0s| 1260k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 302 | 0 | 0 | 8 | 677k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
59.49/59.50 c 59.5s| 1270k| 7 | 438 | 0.0 |1347k| 44 | - | 50 | 335 | 0 | 0 | 8 | 683k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
59.89/59.99 c 60.0s| 1280k| 8 | 438 | 0.0 |1333k| 44 | - | 50 | 278 | 0 | 0 | 8 | 688k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
60.39/60.47 c 60.5s| 1290k| 7 | 438 | 0.0 |1349k| 44 | - | 50 | 348 | 0 | 0 | 8 | 693k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
60.89/60.96 c 61.0s| 1300k| 7 | 438 | 0.0 |1349k| 44 | - | 50 | 348 | 0 | 0 | 8 | 699k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
61.39/61.44 c 61.4s| 1310k| 7 | 438 | 0.0 |1358k| 44 | - | 50 | 386 | 0 | 0 | 8 | 704k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
61.89/61.93 c 61.9s| 1320k| 8 | 438 | 0.0 |1362k| 44 | - | 50 | 409 | 0 | 0 | 8 | 710k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
62.39/62.41 c 62.4s| 1330k| 7 | 438 | 0.0 |1344k| 44 | - | 50 | 328 | 0 | 0 | 8 | 715k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
62.79/62.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.79/62.89 c 62.9s| 1340k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 330 | 0 | 0 | 8 | 721k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
63.29/63.37 c 63.4s| 1350k| 5 | 438 | 0.0 |1357k| 44 | - | 50 | 386 | 0 | 0 | 8 | 726k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
63.80/63.86 c 63.9s| 1360k| 6 | 438 | 0.0 |1364k| 44 | - | 50 | 422 | 0 | 0 | 8 | 731k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
64.29/64.34 c 64.3s| 1370k| 7 | 438 | 0.0 |1356k| 44 | - | 50 | 379 | 0 | 0 | 8 | 737k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
64.79/64.82 c 64.8s| 1380k| 7 | 438 | 0.0 |1355k| 44 | - | 50 | 370 | 0 | 0 | 8 | 742k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
65.29/65.30 c 65.3s| 1390k| 7 | 438 | 0.0 |1343k| 44 | - | 50 | 323 | 0 | 0 | 8 | 748k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
65.69/65.78 c 65.8s| 1400k| 7 | 438 | 0.0 |1348k| 44 | - | 50 | 354 | 0 | 0 | 8 | 753k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
66.19/66.25 c 66.2s| 1410k| 8 | 438 | 0.0 |1364k| 44 | - | 50 | 419 | 0 | 0 | 8 | 759k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
66.69/66.72 c 66.7s| 1420k| 8 | 438 | 0.0 |1358k| 44 | - | 50 | 396 | 0 | 0 | 8 | 764k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
67.19/67.20 c 67.2s| 1430k| 7 | 438 | 0.0 |1342k| 44 | - | 50 | 325 | 0 | 0 | 8 | 770k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
67.59/67.68 c 67.7s| 1440k| 7 | 438 | 0.0 |1360k| 44 | - | 50 | 396 | 0 | 0 | 8 | 775k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
68.09/68.17 c 68.2s| 1450k| 8 | 438 | 0.0 |1370k| 44 | - | 50 | 441 | 0 | 0 | 8 | 780k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
68.59/68.64 c 68.6s| 1460k| 8 | 438 | 0.0 |1364k| 44 | - | 50 | 424 | 0 | 0 | 8 | 786k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
69.09/69.12 c 69.1s| 1470k| 7 | 438 | 0.0 |1376k| 44 | - | 50 | 462 | 0 | 0 | 8 | 791k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
69.59/69.61 c 69.6s| 1480k| 8 | 438 | 0.0 |1359k| 44 | - | 50 | 399 | 0 | 0 | 8 | 797k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
69.99/70.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.99/70.09 c 70.1s| 1490k| 6 | 438 | 0.0 |1365k| 44 | - | 50 | 422 | 0 | 0 | 8 | 802k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
70.49/70.57 c 70.6s| 1500k| 7 | 438 | 0.0 |1366k| 44 | - | 50 | 424 | 0 | 0 | 8 | 808k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
70.99/71.05 c 71.1s| 1510k| 8 | 438 | 0.0 |1359k| 44 | - | 50 | 400 | 0 | 0 | 8 | 813k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
71.50/71.54 c 71.5s| 1520k| 6 | 438 | 0.0 |1364k| 44 | - | 50 | 425 | 0 | 0 | 8 | 819k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
71.99/72.01 c 72.0s| 1530k| 6 | 438 | 0.0 |1359k| 44 | - | 50 | 403 | 0 | 0 | 8 | 824k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
72.39/72.50 c 72.5s| 1540k| 7 | 438 | 0.0 |1355k| 44 | - | 50 | 383 | 0 | 0 | 8 | 830k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
72.89/72.98 c 73.0s| 1550k| 8 | 438 | 0.0 |1363k| 44 | - | 50 | 423 | 0 | 0 | 8 | 835k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
73.39/73.45 c 73.4s| 1560k| 8 | 438 | 0.0 |1361k| 44 | - | 50 | 420 | 0 | 0 | 8 | 841k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
73.89/73.92 c 73.9s| 1570k| 7 | 438 | 0.0 |1343k| 44 | - | 50 | 307 | 0 | 0 | 8 | 846k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
74.29/74.38 c 74.4s| 1580k| 8 | 438 | 0.0 |1346k| 44 | - | 50 | 331 | 0 | 0 | 8 | 852k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
74.80/74.84 c 74.8s| 1590k| 7 | 438 | 0.0 |1343k| 44 | - | 50 | 311 | 0 | 0 | 8 | 857k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
75.29/75.31 c 75.3s| 1600k| 8 | 438 | 0.0 |1340k| 44 | - | 50 | 300 | 0 | 0 | 8 | 862k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
75.69/75.78 c 75.8s| 1610k| 6 | 438 | 0.0 |1356k| 44 | - | 50 | 371 | 0 | 0 | 8 | 868k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
76.19/76.25 c 76.2s| 1620k| 7 | 438 | 0.0 |1342k| 44 | - | 50 | 307 | 0 | 0 | 8 | 873k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
76.69/76.71 c 76.7s| 1630k| 8 | 438 | 0.0 |1340k| 44 | - | 50 | 310 | 0 | 0 | 8 | 879k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
77.09/77.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.09/77.18 c 77.2s| 1640k| 7 | 438 | 0.0 |1334k| 44 | - | 50 | 290 | 0 | 0 | 8 | 884k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
77.59/77.64 c 77.6s| 1650k| 8 | 438 | 0.0 |1334k| 44 | - | 50 | 288 | 0 | 0 | 8 | 889k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
77.99/78.10 c 78.1s| 1660k| 7 | 438 | 0.0 |1352k| 44 | - | 50 | 361 | 0 | 0 | 8 | 895k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
78.49/78.57 c 78.6s| 1670k| 8 | 438 | 0.0 |1347k| 44 | - | 50 | 329 | 0 | 0 | 8 | 900k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
78.99/79.05 c 79.0s| 1680k| 7 | 438 | 0.0 |1339k| 44 | - | 50 | 300 | 0 | 0 | 8 | 906k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
79.49/79.52 c 79.5s| 1690k| 7 | 438 | 0.0 |1353k| 44 | - | 50 | 355 | 0 | 0 | 8 | 911k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
79.99/80.00 c 80.0s| 1700k| 7 | 438 | 0.0 |1336k| 44 | - | 50 | 287 | 0 | 0 | 8 | 916k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
80.39/80.47 c 80.5s| 1710k| 6 | 438 | 0.0 |1362k| 44 | - | 50 | 398 | 0 | 0 | 8 | 922k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
80.89/80.95 c 80.9s| 1720k| 8 | 438 | 0.0 |1332k| 44 | - | 50 | 276 | 0 | 0 | 8 | 927k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
81.40/81.42 c 81.4s| 1730k| 7 | 438 | 0.0 |1357k| 44 | - | 50 | 388 | 0 | 0 | 8 | 933k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
81.79/81.88 c 81.9s| 1740k| 7 | 438 | 0.0 |1349k| 44 | - | 50 | 354 | 0 | 0 | 8 | 938k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
82.29/82.35 c 82.4s| 1750k| 8 | 438 | 0.0 |1358k| 44 | - | 50 | 397 | 0 | 0 | 8 | 943k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
82.79/82.83 c 82.8s| 1760k| 8 | 438 | 0.0 |1347k| 44 | - | 50 | 339 | 0 | 0 | 8 | 949k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
83.29/83.31 c 83.3s| 1770k| 7 | 438 | 0.0 |1340k| 44 | - | 50 | 310 | 0 | 0 | 8 | 954k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
83.69/83.79 c 83.8s| 1780k| 8 | 438 | 0.0 |1341k| 44 | - | 50 | 314 | 0 | 0 | 8 | 960k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
84.19/84.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.19/84.26 c 84.3s| 1790k| 7 | 438 | 0.0 |1352k| 44 | - | 50 | 356 | 0 | 0 | 8 | 965k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
84.70/84.73 c 84.7s| 1800k| 8 | 438 | 0.0 |1353k| 44 | - | 50 | 365 | 0 | 0 | 8 | 970k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
85.19/85.20 c 85.2s| 1810k| 5 | 438 | 0.0 |1362k| 44 | - | 50 | 407 | 0 | 0 | 8 | 976k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
85.59/85.67 c 85.7s| 1820k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 308 | 0 | 0 | 8 | 981k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
86.09/86.15 c 86.1s| 1830k| 8 | 438 | 0.0 |1350k| 44 | - | 50 | 355 | 0 | 0 | 8 | 987k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
86.59/86.63 c 86.6s| 1840k| 6 | 438 | 0.0 |1356k| 44 | - | 50 | 377 | 0 | 0 | 8 | 992k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
87.09/87.11 c 87.1s| 1850k| 7 | 438 | 0.0 |1341k| 44 | - | 50 | 311 | 0 | 0 | 8 | 997k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
87.49/87.59 c 87.6s| 1860k| 8 | 438 | 0.0 |1356k| 44 | - | 50 | 374 | 0 | 0 | 8 |1003k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
88.00/88.06 c 88.1s| 1870k| 6 | 438 | 0.0 |1359k| 44 | - | 50 | 393 | 0 | 0 | 8 |1008k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
88.49/88.54 c 88.5s| 1880k| 7 | 438 | 0.0 |1352k| 44 | - | 50 | 358 | 0 | 0 | 8 |1014k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
88.99/89.02 c 89.0s| 1890k| 7 | 438 | 0.0 |1348k| 44 | - | 50 | 353 | 0 | 0 | 8 |1019k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
89.49/89.50 c 89.5s| 1900k| 7 | 438 | 0.0 |1354k| 44 | - | 50 | 383 | 0 | 0 | 8 |1025k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
89.89/89.98 c 90.0s| 1910k| 6 | 438 | 0.0 |1356k| 44 | - | 50 | 380 | 0 | 0 | 8 |1030k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
90.39/90.45 c 90.5s| 1920k| 7 | 438 | 0.0 |1343k| 44 | - | 50 | 323 | 0 | 0 | 8 |1035k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
90.89/90.93 c 90.9s| 1930k| 5 | 438 | 0.0 |1356k| 44 | - | 50 | 388 | 0 | 0 | 8 |1041k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
91.39/91.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.39/91.40 c 91.4s| 1940k| 8 | 438 | 0.0 |1341k| 44 | - | 50 | 320 | 0 | 0 | 8 |1046k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
91.79/91.88 c 91.9s| 1950k| 7 | 438 | 0.0 |1360k| 44 | - | 50 | 395 | 0 | 0 | 8 |1052k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
92.29/92.35 c 92.4s| 1960k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 346 | 0 | 0 | 8 |1057k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
92.79/92.83 c 92.8s| 1970k| 8 | 438 | 0.0 |1349k| 44 | - | 50 | 360 | 0 | 0 | 8 |1062k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
93.29/93.30 c 93.3s| 1980k| 7 | 438 | 0.0 |1353k| 44 | - | 50 | 369 | 0 | 0 | 8 |1068k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
93.69/93.78 c 93.8s| 1990k| 7 | 438 | 0.0 |1342k| 44 | - | 50 | 328 | 0 | 0 | 8 |1073k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
94.19/94.25 c 94.2s| 2000k| 8 | 438 | 0.0 |1340k| 44 | - | 50 | 327 | 0 | 0 | 8 |1079k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
94.69/94.71 c 94.7s| 2010k| 7 | 438 | 0.0 |1336k| 44 | - | 50 | 276 | 0 | 0 | 8 |1084k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
95.09/95.16 c 95.2s| 2020k| 8 | 438 | 0.0 |1341k| 44 | - | 50 | 306 | 0 | 0 | 8 |1090k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
95.49/95.61 c 95.6s| 2030k| 6 | 438 | 0.0 |1334k| 44 | - | 50 | 274 | 0 | 0 | 8 |1095k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
95.99/96.08 c 96.1s| 2040k| 6 | 438 | 0.0 |1337k| 44 | - | 50 | 296 | 0 | 0 | 8 |1100k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
96.49/96.55 c 96.5s| 2050k| 8 | 438 | 0.0 |1331k| 44 | - | 50 | 272 | 0 | 0 | 8 |1106k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
96.99/97.01 c 97.0s| 2060k| 7 | 438 | 0.0 |1344k| 44 | - | 50 | 328 | 0 | 0 | 8 |1111k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
97.39/97.48 c 97.5s| 2070k| 6 | 438 | 0.0 |1347k| 44 | - | 50 | 336 | 0 | 0 | 8 |1117k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
97.90/97.95 c 97.9s| 2080k| 8 | 438 | 0.0 |1342k| 44 | - | 50 | 323 | 0 | 0 | 8 |1122k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
98.39/98.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.39/98.41 c 98.4s| 2090k| 7 | 438 | 0.0 |1335k| 44 | - | 50 | 287 | 0 | 0 | 8 |1127k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
98.79/98.88 c 98.9s| 2100k| 7 | 438 | 0.0 |1334k| 44 | - | 50 | 279 | 0 | 0 | 8 |1133k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
99.29/99.35 c 99.4s| 2110k| 7 | 438 | 0.0 |1324k| 44 | - | 50 | 235 | 0 | 0 | 8 |1138k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
99.79/99.82 c 99.8s| 2120k| 7 | 438 | 0.0 |1339k| 44 | - | 50 | 299 | 0 | 0 | 8 |1144k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
100.19/100.29 c 100s| 2130k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 336 | 0 | 0 | 8 |1149k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
100.69/100.76 c 101s| 2140k| 5 | 438 | 0.0 |1350k| 44 | - | 50 | 353 | 0 | 0 | 8 |1154k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
101.20/101.23 c 101s| 2150k| 7 | 438 | 0.0 |1349k| 44 | - | 50 | 349 | 0 | 0 | 8 |1160k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
101.59/101.69 c 102s| 2160k| 8 | 438 | 0.0 |1332k| 44 | - | 50 | 281 | 0 | 0 | 8 |1165k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
102.09/102.16 c 102s| 2170k| 7 | 438 | 0.0 |1331k| 44 | - | 50 | 268 | 0 | 0 | 8 |1171k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
102.59/102.62 c 103s| 2180k| 8 | 438 | 0.0 |1343k| 44 | - | 50 | 323 | 0 | 0 | 8 |1176k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
102.99/103.08 c 103s| 2190k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 302 | 0 | 0 | 8 |1181k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
103.49/103.55 c 104s| 2200k| 7 | 438 | 0.0 |1350k| 44 | - | 50 | 352 | 0 | 0 | 8 |1187k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
103.99/104.02 c 104s| 2210k| 7 | 438 | 0.0 |1335k| 44 | - | 50 | 293 | 0 | 0 | 8 |1192k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
104.39/104.47 c 104s| 2220k| 7 | 438 | 0.0 |1342k| 44 | - | 50 | 327 | 0 | 0 | 8 |1198k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
104.89/104.94 c 105s| 2230k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 338 | 0 | 0 | 8 |1203k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
105.39/105.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.39/105.40 c 105s| 2240k| 8 | 438 | 0.0 |1324k| 44 | - | 50 | 245 | 0 | 0 | 8 |1209k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
105.79/105.86 c 106s| 2250k| 8 | 438 | 0.0 |1341k| 44 | - | 50 | 322 | 0 | 0 | 8 |1214k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
106.29/106.33 c 106s| 2260k| 8 | 438 | 0.0 |1352k| 44 | - | 50 | 366 | 0 | 0 | 8 |1219k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
106.79/106.80 c 107s| 2270k| 8 | 438 | 0.0 |1338k| 44 | - | 50 | 304 | 0 | 0 | 8 |1225k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
107.19/107.27 c 107s| 2280k| 8 | 438 | 0.0 |1342k| 44 | - | 50 | 320 | 0 | 0 | 8 |1230k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
107.69/107.74 c 108s| 2290k| 7 | 438 | 0.0 |1347k| 44 | - | 50 | 339 | 0 | 0 | 8 |1236k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
108.19/108.21 c 108s| 2300k| 8 | 438 | 0.0 |1350k| 44 | - | 50 | 356 | 0 | 0 | 8 |1241k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
108.59/108.68 c 109s| 2310k| 7 | 438 | 0.0 |1363k| 44 | - | 50 | 412 | 0 | 0 | 8 |1247k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
109.09/109.15 c 109s| 2320k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 345 | 0 | 0 | 8 |1252k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
109.59/109.61 c 110s| 2330k| 8 | 438 | 0.0 |1355k| 44 | - | 50 | 377 | 0 | 0 | 8 |1258k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
110.00/110.07 c 110s| 2340k| 6 | 438 | 0.0 |1343k| 44 | - | 50 | 333 | 0 | 0 | 8 |1263k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
110.49/110.54 c 111s| 2350k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 351 | 0 | 0 | 8 |1269k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
110.89/111.00 c 111s| 2360k| 7 | 438 | 0.0 |1329k| 44 | - | 50 | 250 | 0 | 0 | 8 |1274k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
111.39/111.45 c 111s| 2370k| 7 | 438 | 0.0 |1308k| 44 | - | 50 | 165 | 0 | 0 | 8 |1280k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
111.89/111.91 c 112s| 2380k| 8 | 438 | 0.0 |1318k| 44 | - | 50 | 210 | 0 | 0 | 8 |1285k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
112.29/112.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.29/112.37 c 112s| 2390k| 7 | 438 | 0.0 |1334k| 44 | - | 50 | 274 | 0 | 0 | 8 |1291k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
112.79/112.84 c 113s| 2400k| 7 | 438 | 0.0 |1333k| 44 | - | 50 | 277 | 0 | 0 | 8 |1296k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
113.19/113.30 c 113s| 2410k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 298 | 0 | 0 | 8 |1301k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
113.69/113.76 c 114s| 2420k| 7 | 438 | 0.0 |1337k| 44 | - | 50 | 286 | 0 | 0 | 8 |1307k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
114.19/114.22 c 114s| 2430k| 8 | 438 | 0.0 |1312k| 44 | - | 50 | 182 | 0 | 0 | 8 |1312k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
114.59/114.67 c 115s| 2440k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 306 | 0 | 0 | 8 |1318k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
115.09/115.13 c 115s| 2450k| 7 | 438 | 0.0 |1318k| 44 | - | 50 | 214 | 0 | 0 | 8 |1323k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
115.50/115.59 c 116s| 2460k| 7 | 438 | 0.0 |1339k| 44 | - | 50 | 304 | 0 | 0 | 8 |1329k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
115.99/116.05 c 116s| 2470k| 7 | 438 | 0.0 |1333k| 44 | - | 50 | 280 | 0 | 0 | 8 |1334k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
116.49/116.53 c 117s| 2480k| 6 | 438 | 0.0 |1342k| 44 | - | 50 | 312 | 0 | 0 | 8 |1339k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
116.89/116.99 c 117s| 2490k| 8 | 438 | 0.0 |1321k| 44 | - | 50 | 232 | 0 | 0 | 8 |1345k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
117.39/117.46 c 117s| 2500k| 7 | 438 | 0.0 |1332k| 44 | - | 50 | 273 | 0 | 0 | 8 |1350k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
117.89/117.92 c 118s| 2510k| 7 | 438 | 0.0 |1336k| 44 | - | 50 | 298 | 0 | 0 | 8 |1356k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
118.29/118.38 c 118s| 2520k| 6 | 438 | 0.0 |1345k| 44 | - | 50 | 331 | 0 | 0 | 8 |1361k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
118.80/118.83 c 119s| 2530k| 7 | 438 | 0.0 |1340k| 44 | - | 50 | 307 | 0 | 0 | 8 |1367k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
119.19/119.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.19/119.29 c 119s| 2540k| 7 | 438 | 0.0 |1342k| 44 | - | 50 | 317 | 0 | 0 | 8 |1372k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
119.69/119.75 c 120s| 2550k| 7 | 438 | 0.0 |1348k| 44 | - | 50 | 355 | 0 | 0 | 8 |1378k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
120.19/120.21 c 120s| 2560k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 335 | 0 | 0 | 8 |1383k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
120.59/120.66 c 121s| 2570k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 300 | 0 | 0 | 8 |1389k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
121.09/121.12 c 121s| 2580k| 8 | 438 | 0.0 |1334k| 44 | - | 50 | 287 | 0 | 0 | 8 |1394k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
121.49/121.59 c 122s| 2590k| 8 | 438 | 0.0 |1343k| 44 | - | 50 | 330 | 0 | 0 | 8 |1400k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
121.99/122.06 c 122s| 2600k| 7 | 438 | 0.0 |1349k| 44 | - | 50 | 351 | 0 | 0 | 8 |1405k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
122.49/122.52 c 123s| 2610k| 8 | 438 | 0.0 |1343k| 44 | - | 50 | 331 | 0 | 0 | 8 |1411k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
122.89/122.98 c 123s| 2620k| 8 | 438 | 0.0 |1344k| 44 | - | 50 | 330 | 0 | 0 | 8 |1416k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
123.39/123.44 c 123s| 2630k| 8 | 438 | 0.0 |1354k| 44 | - | 50 | 373 | 0 | 0 | 8 |1422k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
123.89/123.91 c 124s| 2640k| 7 | 438 | 0.0 |1340k| 44 | - | 50 | 315 | 0 | 0 | 8 |1427k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
124.30/124.37 c 124s| 2650k| 8 | 438 | 0.0 |1347k| 44 | - | 50 | 349 | 0 | 0 | 8 |1433k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
124.79/124.83 c 125s| 2660k| 7 | 438 | 0.0 |1331k| 44 | - | 50 | 260 | 0 | 0 | 8 |1438k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
125.19/125.29 c 125s| 2670k| 7 | 438 | 0.0 |1328k| 44 | - | 50 | 254 | 0 | 0 | 8 |1444k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
125.69/125.74 c 126s| 2680k| 8 | 438 | 0.0 |1334k| 44 | - | 50 | 276 | 0 | 0 | 8 |1449k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
126.19/126.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.19/126.20 c 126s| 2690k| 8 | 438 | 0.0 |1329k| 44 | - | 50 | 263 | 0 | 0 | 8 |1455k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
126.59/126.66 c 127s| 2700k| 7 | 438 | 0.0 |1332k| 44 | - | 50 | 275 | 0 | 0 | 8 |1460k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
127.09/127.12 c 127s| 2710k| 7 | 438 | 0.0 |1313k| 44 | - | 50 | 183 | 0 | 0 | 8 |1465k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
127.49/127.57 c 128s| 2720k| 8 | 438 | 0.0 |1332k| 44 | - | 50 | 267 | 0 | 0 | 8 |1471k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
127.99/128.03 c 128s| 2730k| 7 | 438 | 0.0 |1329k| 44 | - | 50 | 259 | 0 | 0 | 8 |1476k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
128.39/128.48 c 128s| 2740k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 292 | 0 | 0 | 8 |1482k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
128.89/128.94 c 129s| 2750k| 8 | 438 | 0.0 |1327k| 44 | - | 50 | 253 | 0 | 0 | 8 |1487k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
129.29/129.39 c 129s| 2760k| 8 | 438 | 0.0 |1322k| 44 | - | 50 | 230 | 0 | 0 | 8 |1493k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
129.80/129.86 c 130s| 2770k| 7 | 438 | 0.0 |1318k| 44 | - | 50 | 212 | 0 | 0 | 8 |1498k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
130.29/130.31 c 130s| 2780k| 8 | 438 | 0.0 |1338k| 44 | - | 50 | 301 | 0 | 0 | 8 |1504k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
130.69/130.77 c 131s| 2790k| 7 | 438 | 0.0 |1315k| 44 | - | 50 | 194 | 0 | 0 | 8 |1509k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
131.19/131.22 c 131s| 2800k| 7 | 438 | 0.0 |1329k| 44 | - | 50 | 264 | 0 | 0 | 8 |1515k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
131.59/131.67 c 132s| 2810k| 5 | 438 | 0.0 |1342k| 44 | - | 50 | 330 | 0 | 0 | 8 |1520k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
132.09/132.12 c 132s| 2820k| 7 | 438 | 0.0 |1338k| 44 | - | 50 | 300 | 0 | 0 | 8 |1526k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
132.49/132.58 c 133s| 2830k| 5 | 438 | 0.0 |1343k| 44 | - | 50 | 327 | 0 | 0 | 8 |1531k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
132.99/133.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.99/133.03 c 133s| 2840k| 7 | 438 | 0.0 |1339k| 44 | - | 50 | 308 | 0 | 0 | 8 |1537k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
133.39/133.48 c 133s| 2850k| 7 | 438 | 0.0 |1345k| 44 | - | 50 | 342 | 0 | 0 | 8 |1542k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
133.89/133.93 c 134s| 2860k| 5 | 438 | 0.0 |1341k| 44 | - | 50 | 322 | 0 | 0 | 8 |1548k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
134.29/134.38 c 134s| 2870k| 8 | 438 | 0.0 |1337k| 44 | - | 50 | 283 | 0 | 0 | 8 |1553k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
134.79/134.82 c 135s| 2880k| 7 | 438 | 0.0 |1327k| 44 | - | 50 | 248 | 0 | 0 | 8 |1559k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
135.19/135.26 c 135s| 2890k| 8 | 438 | 0.0 |1334k| 44 | - | 50 | 280 | 0 | 0 | 8 |1564k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
135.69/135.70 c 136s| 2900k| 7 | 438 | 0.0 |1331k| 44 | - | 50 | 266 | 0 | 0 | 8 |1570k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
136.09/136.14 c 136s| 2910k| 6 | 438 | 0.0 |1323k| 44 | - | 50 | 227 | 0 | 0 | 8 |1575k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
136.49/136.59 c 137s| 2920k| 7 | 438 | 0.0 |1333k| 44 | - | 50 | 269 | 0 | 0 | 8 |1581k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
136.99/137.04 c 137s| 2930k| 7 | 438 | 0.0 |1318k| 44 | - | 50 | 222 | 0 | 0 | 8 |1586k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
137.39/137.49 c 137s| 2940k| 6 | 438 | 0.0 |1338k| 44 | - | 50 | 297 | 0 | 0 | 8 |1592k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
137.89/137.94 c 138s| 2950k| 8 | 438 | 0.0 |1338k| 44 | - | 50 | 299 | 0 | 0 | 8 |1597k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
138.28/138.39 c 138s| 2960k| 6 | 438 | 0.0 |1335k| 44 | - | 50 | 286 | 0 | 0 | 8 |1602k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
138.78/138.84 c 139s| 2970k| 7 | 438 | 0.0 |1326k| 44 | - | 50 | 253 | 0 | 0 | 8 |1608k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
139.18/139.29 c 139s| 2980k| 7 | 438 | 0.0 |1323k| 44 | - | 50 | 233 | 0 | 0 | 8 |1613k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
139.70/139.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.70/139.74 c 140s| 2990k| 8 | 438 | 0.0 |1328k| 44 | - | 50 | 258 | 0 | 0 | 8 |1619k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
140.08/140.18 c 140s| 3000k| 7 | 438 | 0.0 |1341k| 44 | - | 50 | 311 | 0 | 0 | 8 |1624k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
140.58/140.63 c 141s| 3010k| 5 | 438 | 0.0 |1340k| 44 | - | 50 | 312 | 0 | 0 | 8 |1630k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
140.99/141.09 c 141s| 3020k| 7 | 438 | 0.0 |1332k| 44 | - | 50 | 281 | 0 | 0 | 8 |1635k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
141.49/141.54 c 142s| 3030k| 8 | 438 | 0.0 |1335k| 44 | - | 50 | 292 | 0 | 0 | 8 |1641k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
141.90/141.99 c 142s| 3040k| 7 | 438 | 0.0 |1340k| 44 | - | 50 | 312 | 0 | 0 | 8 |1646k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
142.39/142.44 c 142s| 3050k| 7 | 438 | 0.0 |1336k| 44 | - | 50 | 293 | 0 | 0 | 8 |1652k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
142.79/142.89 c 143s| 3060k| 7 | 438 | 0.0 |1340k| 44 | - | 50 | 315 | 0 | 0 | 8 |1658k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
143.29/143.34 c 143s| 3070k| 7 | 438 | 0.0 |1346k| 44 | - | 50 | 339 | 0 | 0 | 8 |1663k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
143.69/143.78 c 144s| 3080k| 7 | 438 | 0.0 |1317k| 44 | - | 50 | 211 | 0 | 0 | 8 |1669k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
144.19/144.22 c 144s| 3090k| 7 | 438 | 0.0 |1317k| 44 | - | 50 | 203 | 0 | 0 | 8 |1674k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
144.59/144.66 c 145s| 3100k| 7 | 438 | 0.0 |1323k| 44 | - | 50 | 235 | 0 | 0 | 8 |1680k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
144.98/145.11 c 145s| 3110k| 8 | 438 | 0.0 |1327k| 44 | - | 50 | 254 | 0 | 0 | 8 |1685k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
145.48/145.55 c 146s| 3120k| 6 | 438 | 0.0 |1323k| 44 | - | 50 | 238 | 0 | 0 | 8 |1691k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
145.88/145.99 c 146s| 3130k| 8 | 438 | 0.0 |1327k| 44 | - | 50 | 251 | 0 | 0 | 8 |1696k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
146.39/146.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.39/146.43 c 146s| 3140k| 7 | 438 | 0.0 |1325k| 44 | - | 50 | 245 | 0 | 0 | 8 |1701k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
146.79/146.87 c 147s| 3150k| 7 | 438 | 0.0 |1325k| 44 | - | 50 | 240 | 0 | 0 | 8 |1707k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
147.19/147.31 c 147s| 3160k| 7 | 438 | 0.0 |1341k| 44 | - | 50 | 308 | 0 | 0 | 8 |1712k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
147.69/147.75 c 148s| 3170k| 8 | 438 | 0.0 |1333k| 44 | - | 50 | 276 | 0 | 0 | 8 |1718k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
148.09/148.18 c 148s| 3180k| 6 | 438 | 0.0 |1334k| 44 | - | 50 | 282 | 0 | 0 | 8 |1723k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
148.59/148.62 c 149s| 3190k| 7 | 438 | 0.0 |1331k| 44 | - | 50 | 269 | 0 | 0 | 8 |1729k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
148.99/149.06 c 149s| 3200k| 7 | 438 | 0.0 |1341k| 44 | - | 50 | 320 | 0 | 0 | 8 |1734k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
149.39/149.50 c 150s| 3210k| 5 | 438 | 0.0 |1336k| 44 | - | 50 | 294 | 0 | 0 | 8 |1740k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
149.89/149.95 c 150s| 3220k| 6 | 438 | 0.0 |1333k| 44 | - | 50 | 280 | 0 | 0 | 8 |1746k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
150.29/150.39 c 150s| 3230k| 7 | 438 | 0.0 |1330k| 44 | - | 50 | 271 | 0 | 0 | 8 |1751k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
150.79/150.82 c 151s| 3240k| 8 | 438 | 0.0 |1326k| 44 | - | 50 | 239 | 0 | 0 | 8 |1757k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
151.19/151.26 c 151s| 3250k| 7 | 438 | 0.0 |1332k| 44 | - | 50 | 263 | 0 | 0 | 8 |1762k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
151.58/151.69 c 152s| 3260k| 7 | 438 | 0.0 |1329k| 44 | - | 50 | 253 | 0 | 0 | 8 |1768k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
152.09/152.12 c 152s| 3270k| 6 | 438 | 0.0 |1325k| 44 | - | 50 | 235 | 0 | 0 | 8 |1773k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
152.49/152.56 c 153s| 3280k| 7 | 438 | 0.0 |1319k| 44 | - | 50 | 210 | 0 | 0 | 8 |1779k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
152.90/152.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.90/152.99 c 153s| 3290k| 5 | 438 | 0.0 |1333k| 44 | - | 50 | 282 | 0 | 0 | 8 |1784k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
153.39/153.43 c 153s| 3300k| 8 | 438 | 0.0 |1327k| 44 | - | 50 | 249 | 0 | 0 | 8 |1790k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
153.79/153.87 c 154s| 3310k| 8 | 438 | 0.0 |1325k| 44 | - | 50 | 248 | 0 | 0 | 8 |1795k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
154.29/154.30 c 154s| 3320k| 8 | 438 | 0.0 |1331k| 44 | - | 50 | 271 | 0 | 0 | 8 |1801k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
154.69/154.74 c 155s| 3330k| 8 | 438 | 0.0 |1325k| 44 | - | 50 | 242 | 0 | 0 | 8 |1806k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
155.10/155.18 c 155s| 3340k| 6 | 438 | 0.0 |1336k| 44 | - | 50 | 289 | 0 | 0 | 8 |1812k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
155.59/155.62 c 156s| 3350k| 5 | 438 | 0.0 |1321k| 44 | - | 50 | 238 | 0 | 0 | 8 |1817k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
155.99/156.05 c 156s| 3360k| 4 | 438 | 0.0 |1324k| 44 | - | 50 | 256 | 0 | 0 | 8 |1823k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
156.39/156.48 c 156s| 3370k| 8 | 438 | 0.0 |1310k| 44 | - | 50 | 171 | 0 | 0 | 8 |1828k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
156.89/156.91 c 157s| 3380k| 7 | 438 | 0.0 |1310k| 44 | - | 50 | 184 | 0 | 0 | 8 |1834k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
157.30/157.33 c 157s| 3390k| 7 | 438 | 0.0 |1310k| 44 | - | 50 | 169 | 0 | 0 | 8 |1839k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
157.69/157.76 c 158s| 3400k| 6 | 438 | 0.0 |1321k| 44 | - | 50 | 229 | 0 | 0 | 8 |1845k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
158.09/158.19 c 158s| 3410k| 8 | 438 | 0.0 |1304k| 44 | - | 50 | 156 | 0 | 0 | 8 |1850k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
158.59/158.62 c 159s| 3420k| 7 | 438 | 0.0 |1324k| 44 | - | 50 | 245 | 0 | 0 | 8 |1856k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
158.99/159.06 c 159s| 3430k| 6 | 438 | 0.0 |1331k| 44 | - | 50 | 265 | 0 | 0 | 8 |1861k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
159.39/159.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.39/159.49 c 159s| 3440k| 7 | 438 | 0.0 |1324k| 44 | - | 50 | 243 | 0 | 0 | 8 |1867k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
159.89/159.92 c 160s| 3450k| 7 | 438 | 0.0 |1335k| 44 | - | 50 | 288 | 0 | 0 | 8 |1872k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
160.29/160.36 c 160s| 3460k| 8 | 438 | 0.0 |1305k| 44 | - | 50 | 155 | 0 | 0 | 8 |1878k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
160.69/160.77 c 161s| 3470k| 6 | 438 | 0.0 |1326k| 44 | - | 50 | 248 | 0 | 0 | 8 |1883k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
161.19/161.20 c 161s| 3480k| 8 | 438 | 0.0 |1303k| 44 | - | 50 | 151 | 0 | 0 | 8 |1889k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
161.59/161.62 c 162s| 3490k| 7 | 438 | 0.0 |1316k| 44 | - | 50 | 204 | 0 | 0 | 8 |1894k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
161.99/162.04 c 162s| 3500k| 7 | 438 | 0.0 |1321k| 44 | - | 50 | 221 | 0 | 0 | 8 |1900k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
162.39/162.47 c 162s| 3510k| 6 | 438 | 0.0 |1320k| 44 | - | 50 | 229 | 0 | 0 | 8 |1906k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
162.80/162.88 c 163s| 3520k| 7 | 438 | 0.0 |1313k| 44 | - | 50 | 189 | 0 | 0 | 8 |1911k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
163.29/163.30 c 163s| 3530k| 7 | 438 | 0.0 |1310k| 44 | - | 50 | 176 | 0 | 0 | 8 |1917k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
163.69/163.72 c 164s| 3540k| 7 | 438 | 0.0 |1316k| 44 | - | 50 | 207 | 0 | 0 | 8 |1922k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
164.09/164.14 c 164s| 3550k| 6 | 438 | 0.0 |1315k| 44 | - | 50 | 201 | 0 | 0 | 8 |1928k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
164.49/164.55 c 165s| 3560k| 7 | 438 | 0.0 |1305k| 44 | - | 50 | 163 | 0 | 0 | 8 |1933k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
164.89/164.96 c 165s| 3570k| 7 | 438 | 0.0 |1309k| 44 | - | 50 | 171 | 0 | 0 | 8 |1939k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
165.29/165.36 c 165s| 3580k| 6 | 438 | 0.0 |1323k| 44 | - | 50 | 227 | 0 | 0 | 8 |1945k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
165.69/165.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.69/165.76 c 166s| 3590k| 7 | 438 | 0.0 |1308k| 44 | - | 50 | 171 | 0 | 0 | 8 |1950k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
166.10/166.17 c 166s| 3600k| 6 | 438 | 0.0 |1317k| 44 | - | 50 | 205 | 0 | 0 | 8 |1956k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
166.49/166.56 c 167s| 3610k| 7 | 438 | 0.0 |1310k| 44 | - | 50 | 174 | 0 | 0 | 8 |1962k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
166.89/166.95 c 167s| 3620k| 5 | 438 | 0.0 |1292k| 44 | - | 50 | 100 | 0 | 0 | 8 |1967k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
167.29/167.33 c 167s| 3630k| 3 | 438 | 0.0 |1306k| 44 | - | 50 | 159 | 0 | 0 | 8 |1973k| 22 | 5.203444e+00 | 8.000000e+00 | 53.74%
167.39/167.46 c
167.39/167.46 c SCIP Status : problem is solved [optimal solution found]
167.39/167.46 c Solving Time (sec) : 167.46
167.39/167.46 c Solving Nodes : 3633285
167.39/167.46 c Primal Bound : +8.00000000000000e+00 (22 solutions)
167.39/167.46 c Dual Bound : +8.00000000000000e+00
167.39/167.46 c Gap : 0.00 %
167.39/167.46 s OPTIMUM FOUND
167.39/167.46 v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25
167.39/167.46 v -x24 x23 -x22 -x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
167.39/167.46 c SCIP Status : problem is solved [optimal solution found]
167.39/167.46 c Total Time : 167.46
167.39/167.46 c solving : 167.46
167.39/167.46 c presolving : 0.00 (included in solving)
167.39/167.46 c reading : 0.00 (included in solving)
167.39/167.46 c Original Problem :
167.39/167.46 c Problem name : HOME/instance-3453300-1307093981.opb
167.39/167.46 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
167.39/167.46 c Constraints : 100 initial, 100 maximal
167.39/167.46 c Presolved Problem :
167.39/167.46 c Problem name : t_HOME/instance-3453300-1307093981.opb
167.39/167.46 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
167.39/167.46 c Constraints : 100 initial, 525 maximal
167.39/167.46 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
167.39/167.46 c trivial : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c implics : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c probing : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c linear : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c logicor : 0.00 0 0 0 0 0 0 0 0 0
167.39/167.46 c root node : - 38 - - 38 - - - - -
167.39/167.46 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
167.39/167.46 c integral : 0 0 0 1 0 23 0 0 0 0 0 2
167.39/167.46 c logicor : 100+ 9 4518607 0 3 18 13617311 1956971 2388446 0 0 0
167.39/167.46 c countsols : 0 0 0 0 4 21 0 0 0 0 0 0
167.39/167.46 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
167.39/167.46 c integral : 0.12 0.00 0.00 0.12 0.00 0.00 0.00
167.39/167.46 c logicor : 42.39 0.00 37.41 0.00 0.00 0.00 4.98
167.39/167.46 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
167.39/167.46 c Propagators : #Propagate #Resprop Cutoffs DomReds
167.39/167.46 c vbounds : 0 0 0 0
167.39/167.46 c rootredcost : 4 0 0 0
167.39/167.46 c pseudoobj : 14044750 7224069 20926 43140221
167.39/167.46 c Propagator Timings : TotalTime Propagate Resprop
167.39/167.46 c vbounds : 1.31 1.31 0.00
167.39/167.46 c rootredcost : 1.46 1.46 0.00
167.39/167.46 c pseudoobj : 49.92 42.99 6.93
167.39/167.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
167.39/167.46 c propagation : 18.67 1977897 1975165 1975165 9.0 115 18.8 -
167.39/167.46 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
167.39/167.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
167.39/167.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
167.39/167.46 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
167.39/167.46 c applied globally : - - - 1975280 9.0 - - -
167.39/167.46 c applied locally : - - - 0 0.0 - - -
167.39/167.46 c Separators : Time Calls Cutoffs DomReds Cuts Conss
167.39/167.46 c cut pool : 0.00 8 - - 33 - (maximal pool size: 424)
167.39/167.46 c redcost : 0.00 9 0 0 0 0
167.39/167.46 c impliedbounds : 0.00 9 0 0 0 0
167.39/167.46 c intobj : 0.00 0 0 0 0 0
167.39/167.46 c gomory : 0.01 9 0 0 2 0
167.39/167.46 c cgmip : 0.00 0 0 0 0 0
167.39/167.46 c closecuts : 0.00 0 0 0 0 0
167.39/167.46 c strongcg : 0.02 9 0 0 422 0
167.39/167.46 c cmir : 0.01 9 0 0 0 0
167.39/167.46 c flowcover : 0.01 9 0 0 0 0
167.39/167.46 c clique : 0.00 1 0 0 0 0
167.39/167.46 c zerohalf : 0.00 0 0 0 0 0
167.39/167.46 c mcf : 0.00 1 0 0 0 0
167.39/167.46 c oddcycle : 0.00 0 0 0 0 0
167.39/167.46 c rapidlearning : 0.00 0 0 0 0 0
167.39/167.46 c Pricers : Time Calls Vars
167.39/167.46 c problem variables: 0.00 0 0
167.39/167.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
167.39/167.46 c relpscost : 0.12 1 0 0 0 0 2
167.39/167.46 c pscost : 0.00 0 0 0 0 0 0
167.39/167.46 c inference : 6.69 1977899 0 0 0 0 3955798
167.39/167.46 c mostinf : 0.00 0 0 0 0 0 0
167.39/167.46 c leastinf : 0.00 0 0 0 0 0 0
167.39/167.46 c fullstrong : 0.00 0 0 0 0 0 0
167.39/167.46 c allfullstrong : 0.00 0 0 0 0 0 0
167.39/167.46 c random : 0.00 0 0 0 0 0 0
167.39/167.46 c Primal Heuristics : Time Calls Found
167.39/167.46 c LP solutions : 0.00 - 0
167.39/167.46 c pseudo solutions : 0.00 - 4
167.39/167.46 c crossover : 0.00 0 0
167.39/167.46 c oneopt : 0.77 2 1
167.39/167.46 c trivial : 0.00 2 1
167.39/167.46 c shiftandpropagate: 0.00 0 0
167.39/167.46 c simplerounding : 0.00 9 8
167.39/167.46 c zirounding : 0.00 1 1
167.39/167.46 c rounding : 0.00 9 1
167.39/167.46 c shifting : 0.00 9 6
167.39/167.46 c intshifting : 0.00 0 0
167.39/167.46 c twoopt : 0.00 0 0
167.39/167.46 c fixandinfer : 0.00 0 0
167.39/167.46 c feaspump : 0.00 0 0
167.39/167.46 c clique : 0.00 0 0
167.39/167.46 c coefdiving : 0.00 0 0
167.39/167.46 c pscostdiving : 0.00 0 0
167.39/167.46 c fracdiving : 0.00 0 0
167.39/167.46 c veclendiving : 0.00 0 0
167.39/167.46 c intdiving : 0.00 0 0
167.39/167.46 c actconsdiving : 0.00 0 0
167.39/167.46 c objpscostdiving : 0.00 0 0
167.39/167.46 c rootsoldiving : 0.00 0 0
167.39/167.46 c linesearchdiving : 0.00 0 0
167.39/167.46 c guideddiving : 0.00 0 0
167.39/167.46 c octane : 0.00 0 0
167.39/167.46 c rens : 0.00 0 0
167.39/167.46 c rins : 0.00 0 0
167.39/167.46 c localbranching : 0.00 0 0
167.39/167.46 c mutation : 0.00 0 0
167.39/167.46 c dins : 0.00 0 0
167.39/167.46 c vbounds : 0.00 0 0
167.39/167.46 c undercover : 0.00 0 0
167.39/167.46 c subnlp : 0.40 0 0
167.39/167.46 c trysol : 0.33 0 0
167.39/167.46 c LP : Time Calls Iterations Iter/call Iter/sec
167.39/167.46 c primal LP : 0.00 0 0 0.00 -
167.39/167.46 c dual LP : 0.02 9 438 48.67 29130.09
167.39/167.46 c lex dual LP : 0.00 0 0 0.00 -
167.39/167.46 c barrier LP : 0.00 0 0 0.00 -
167.39/167.46 c diving/probing LP: 0.00 0 0 0.00 -
167.39/167.46 c strong branching : 0.12 22 3584 162.91 29037.64
167.39/167.46 c (at root node) : - 22 3584 162.91 -
167.39/167.46 c conflict analysis: 0.00 0 0 0.00 -
167.39/167.46 c B&B Tree :
167.39/167.46 c number of runs : 1
167.39/167.46 c nodes : 3633285
167.39/167.46 c nodes (total) : 3633285
167.39/167.46 c nodes left : 0
167.39/167.46 c max depth : 44
167.39/167.46 c max depth (total): 44
167.39/167.46 c backtracks : 322520 (8.9%)
167.39/167.46 c delayed cutoffs : 322516
167.39/167.46 c repropagations : 8175151 (8181633 domain reductions, 322516 cutoffs)
167.39/167.46 c avg switch length: 5.41
167.39/167.46 c switching time : 32.33
167.39/167.46 c Solution :
167.39/167.46 c Solutions found : 22 (8 improvements)
167.39/167.46 c First Solution : +5.00000000000000e+01 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
167.39/167.46 c Primal Bound : +8.00000000000000e+00 (in run 1, after 235355 nodes, 11.02 seconds, depth 26, found by <relaxation>)
167.39/167.46 c Dual Bound : +8.00000000000000e+00
167.39/167.46 c Gap : 0.00 %
167.39/167.46 c Root Dual Bound : +5.16635837721607e+00
167.39/167.46 c Root Iterations : 438
167.39/167.46 c Time complete: 167.45.
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-3453300-1307093981/watcher-3453300-1307093981 -o /tmp/evaluation-result-3453300-1307093981/solver-3453300-1307093981 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453300-1307093981.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.05 2.01 3/464 5998
/proc/meminfo: memFree=30058096/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=9976 CPUtime=0 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 1484 0 0 0 0 0 0 0 25 0 1 0 820997880 10215424 1438 33554432000 4194304 9128323 140734674501088 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5998/statm: 2494 1438 400 1205 0 1285 0
[startup+0.080899 s]
/proc/loadavg: 2.06 2.05 2.01 3/464 5998
/proc/meminfo: memFree=30058096/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=18400 CPUtime=0.06 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 3732 0 0 0 6 0 0 0 25 0 1 0 820997880 18841600 3425 33554432000 4194304 9128323 140734674501088 18446744073709551615 6315606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4600 3425 651 1205 0 3391 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18400
[startup+0.100898 s]
/proc/loadavg: 2.06 2.05 2.01 3/464 5998
/proc/meminfo: memFree=30058096/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=0.09 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4704 0 0 0 8 1 0 0 25 0 1 0 820997880 19939328 3825 33554432000 4194304 9128323 140734674501088 18446744073709551615 7357375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3825 677 1205 0 3659 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19472
[startup+0.30086 s]
/proc/loadavg: 2.06 2.05 2.01 3/464 5998
/proc/meminfo: memFree=30058096/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=0.29 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 27 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19472
[startup+0.700789 s]
/proc/loadavg: 2.06 2.05 2.01 3/464 5998
/proc/meminfo: memFree=30058096/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=0.69 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 67 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 18446744073699066057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19472
[startup+1.50065 s]
/proc/loadavg: 2.05 2.05 2.01 3/465 5999
/proc/meminfo: memFree=30044576/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=1.49 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 147 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19472
[startup+3.10036 s]
/proc/loadavg: 2.05 2.05 2.01 3/465 5999
/proc/meminfo: memFree=30043584/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=3.09 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 307 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 4246572 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19472
[startup+6.3008 s]
/proc/loadavg: 2.05 2.05 2.01 3/465 5999
/proc/meminfo: memFree=30043312/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=6.29 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 627 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19472
[startup+12.7007 s]
/proc/loadavg: 2.04 2.05 2.01 3/465 6000
/proc/meminfo: memFree=30042936/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=12.69 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 1267 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 6581570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19472
[startup+25.5005 s]
/proc/loadavg: 2.03 2.04 2.01 3/465 6000
/proc/meminfo: memFree=30042832/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=25.49 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 2547 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19472
[startup+51.1009 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 6001
/proc/meminfo: memFree=30042208/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=51.09 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4718 0 0 0 5107 2 0 0 25 0 1 0 820997880 19939328 3839 33554432000 4194304 9128323 140734674501088 18446744073709551615 5333608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3839 691 1205 0 3659 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19472
[startup+102.317 s]
/proc/loadavg: 2.01 2.03 2.00 3/465 6002
/proc/meminfo: memFree=30041848/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=102.3 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 10228 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 4246554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 19472
[startup+162.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/465 6004
/proc/meminfo: memFree=30041424/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=162.29 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 16227 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19472
Solver just ended. Dumping a history of the last processes samples
[startup+163.1 s]
/proc/loadavg: 2.07 2.04 2.00 3/465 6004
/proc/meminfo: memFree=30041796/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=163.09 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 16307 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 6582594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 163.09
Current children cumulated vsize (KiB) 19472
[startup+164.701 s]
/proc/loadavg: 2.07 2.04 2.00 3/465 6004
/proc/meminfo: memFree=30041300/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=164.69 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 16467 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 4792790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 164.69
Current children cumulated vsize (KiB) 19472
[startup+166.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/465 6004
/proc/meminfo: memFree=30041668/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=166.29 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 16627 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 4793973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 19472
[startup+167.1 s]
/proc/loadavg: 2.07 2.04 2.00 3/465 6004
/proc/meminfo: memFree=30041664/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=167.09 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 16707 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 18446744073699065989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 167.09
Current children cumulated vsize (KiB) 19472
[startup+167.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/465 6004
/proc/meminfo: memFree=30041664/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=167.29 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 16727 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 167.29
Current children cumulated vsize (KiB) 19472
[startup+167.4 s]
/proc/loadavg: 2.07 2.04 2.00 3/465 6004
/proc/meminfo: memFree=30041664/32950928 swapFree=45617076/67111528
[pid=5998] ppid=5996 vsize=19472 CPUtime=167.39 cores=1,3,5,7
/proc/5998/stat : 5998 (scip-2.0.1.4.li) R 5996 5998 5789 0 -1 4202496 4719 0 0 0 16737 2 0 0 25 0 1 0 820997880 19939328 3840 33554432000 4194304 9128323 140734674501088 18446744073709551615 4710308 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5998/statm: 4868 3840 692 1205 0 3659 0
Current children cumulated CPU time (s) 167.39
Current children cumulated vsize (KiB) 19472
Child status: 0
Real time (s): 167.466
CPU time (s): 167.464
CPU user time (s): 167.435
CPU system time (s): 0.028995
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 19472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.435
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4730
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= 276
runsolver used 0.71889 second user time and 1.75273 second system time
The end