0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3717605-1338205719.wbo>
0.00/0.00 c original problem has 354 variables (354 bin, 0 int, 0 impl, 0 cont) and 275 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 234 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 40 clqs
0.00/0.01 c (round 2) 0 del vars, 0 del conss, 0 add conss, 234 chg bounds, 0 chg sides, 0 chg coeffs, 41 upgd conss, 0 impls, 40 clqs
0.00/0.01 c (round 3) 3 del vars, 1 del conss, 0 add conss, 234 chg bounds, 0 chg sides, 0 chg coeffs, 41 upgd conss, 0 impls, 39 clqs
0.00/0.03 c (0.0s) probing: 285/351 (81.2%) - 0 fixings, 0 aggregations, 234 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (4 rounds):
0.00/0.03 c 3 deleted vars, 1 deleted constraints, 0 added constraints, 234 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 234 implications, 39 cliques
0.00/0.03 c presolved problem has 585 variables (351 bin, 0 int, 234 impl, 0 cont) and 508 constraints
0.00/0.03 c 1 constraints of type <knapsack>
0.00/0.03 c 39 constraints of type <setppc>
0.00/0.03 c 234 constraints of type <linear>
0.00/0.03 c 234 constraints of type <indicator>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # force restart if we have a max FS instance and gap is 1?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/forcerestart = TRUE
0.00/0.03 c
0.00/0.03 c # priority of branching rule <inference>
0.00/0.03 c # [type: int, range: [-536870912,536870911], default: 1000]
0.00/0.03 c branching/inference/priority = 1000000
0.00/0.03 c
0.00/0.03 c # frequency offset for calling primal heuristic <coefdiving>
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1]
0.00/0.03 c heuristics/coefdiving/freqofs = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/shiftandpropagate/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/undercover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c heuristics/indrounding/freq = 1
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 80 | - |2244k| 0 | 78 | 585 | 508 | 585 | 507 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.09 c 0.1s| 1 | 0 | 342 | - |2302k| 0 | 84 | 585 | 508 | 585 | 513 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 376 | - |2354k| 0 | 86 | 585 | 508 | 585 | 521 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 407 | - |2418k| 0 | 82 | 585 | 508 | 585 | 528 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 17
0.09/0.11 c s 0.1s| 1 | 0 | 407 | - |2441k| 0 | 82 | 585 | 508 | 585 | 528 | 21 | 0 | 0 | 0.000000e+00 | 1.700000e+01 | Inf
0.09/0.11 o 15
0.09/0.11 c y 0.1s| 1 | 0 | 407 | - |2441k| 0 | 82 | 585 | 508 | 585 | 528 | 21 | 0 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 447 | - |2564k| 0 | 90 | 585 | 508 | 585 | 536 | 29 | 0 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 472 | - |2722k| 0 | 88 | 585 | 508 | 585 | 542 | 35 | 0 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 531 | - |2886k| 0 | 92 | 585 | 508 | 585 | 548 | 41 | 0 | 0 | 0.000000e+00 | 1.500000e+01 | Inf
0.09/0.18 o 9
0.09/0.18 c c 0.2s| 1 | 0 | 818 | - |2946k| 0 | - | 585 | 508 | 585 | 548 | 41 | 0 | 0 | 0.000000e+00 | 9.000000e+00 | Inf
0.19/0.20 c 0.2s| 1 | 0 | 818 | - |2914k| 0 | 92 | 585 | 508 | 585 | 548 | 41 | 0 | 0 | 0.000000e+00 | 9.000000e+00 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 863 | - |3077k| 0 | 96 | 585 | 508 | 585 | 555 | 48 | 0 | 0 | 0.000000e+00 | 9.000000e+00 | Inf
0.19/0.23 c 0.2s| 1 | 2 | 863 | - |3077k| 0 | 96 | 585 | 508 | 585 | 555 | 48 | 0 | 0 | 0.000000e+00 | 9.000000e+00 | Inf
0.19/0.28 o 8
0.19/0.28 c v 0.3s| 15 | 16 | 1606 | 73.6 |3136k| 5 | - | 585 | 508 | 585 | 531 | 48 | 0 | 0 | 0.000000e+00 | 8.000000e+00 | Inf
0.39/0.42 o 7
0.39/0.42 c v 0.4s| 26 | 27 | 4776 | 168.0 |3201k| 6 | - | 585 | 508 | 585 | 531 | 48 | 0 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
0.79/0.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.79/0.81 c 0.8s| 100 | 101 | 11583 | 111.2 |3307k| 12 | 73 | 585 | 510 | 585 | 531 | 48 | 2 | 0 | 0.000000e+00 | 7.000000e+00 | Inf
1.00/1.08 c 1.1s| 200 | 201 | 15072 | 72.8 |3386k| 14 | 81 | 585 | 518 | 585 | 531 | 48 | 10 | 0 | 1.111111e-01 | 7.000000e+00 |6200.00%
1.29/1.38 c 1.4s| 300 | 301 | 18556 | 60.1 |3495k| 14 | 78 | 585 | 518 | 585 | 531 | 48 | 10 | 0 | 3.611111e-01 | 7.000000e+00 |1838.46%
1.49/1.59 c 1.6s| 400 | 401 | 21437 | 52.3 |3564k| 15 | 87 | 585 | 518 | 585 | 531 | 48 | 10 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
1.69/1.75 c 1.7s| 500 | 501 | 23686 | 46.3 |3658k| 16 | 75 | 585 | 518 | 585 | 531 | 48 | 10 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
1.79/1.87 c 1.9s| 600 | 601 | 25390 | 41.4 |3727k| 16 | 73 | 585 | 518 | 585 | 531 | 48 | 10 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
1.99/2.01 c 2.0s| 700 | 701 | 27330 | 38.3 |3813k| 16 | 79 | 585 | 519 | 585 | 531 | 48 | 11 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
2.09/2.16 c 2.2s| 800 | 784 | 29379 | 36.0 |3956k| 21 | - | 585 | 529 | 585 | 531 | 48 | 21 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
2.29/2.30 c 2.3s| 900 | 828 | 31148 | 34.0 |4065k| 21 | 49 | 585 | 545 | 585 | 531 | 48 | 37 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
2.38/2.44 c 2.4s| 1000 | 890 | 32876 | 32.3 |4167k| 21 | 78 | 585 | 553 | 585 | 531 | 48 | 45 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
2.49/2.57 c 2.6s| 1100 | 955 | 34805 | 31.1 |4238k| 21 | 66 | 585 | 561 | 585 | 531 | 48 | 53 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
2.69/2.73 c 2.7s| 1200 | 1027 | 36756 | 30.2 |4432k| 21 | - | 585 | 568 | 585 | 531 | 48 | 60 | 0 | 5.000000e-01 | 7.000000e+00 |1300.00%
2.79/2.89 c 2.9s| 1300 | 1089 | 38953 | 29.5 |4565k| 21 | - | 585 | 579 | 0 | 0 | 48 | 71 | 0 | 6.111111e-01 | 7.000000e+00 |1045.45%
2.99/3.00 c 3.0s| 1400 | 1130 | 40356 | 28.4 |4722k| 21 | 74 | 585 | 597 | 585 | 531 | 48 | 89 | 0 | 6.111111e-01 | 7.000000e+00 |1045.45%
3.09/3.16 c 3.2s| 1500 | 1185 | 42375 | 27.9 |4802k| 21 | 55 | 585 | 609 | 585 | 531 | 48 | 101 | 0 | 6.250000e-01 | 7.000000e+00 |1020.00%
3.20/3.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.20/3.26 c 3.3s| 1600 | 1208 | 43683 | 27.0 |4820k| 21 | 43 | 585 | 644 | 585 | 531 | 48 | 136 | 0 | 6.666667e-01 | 7.000000e+00 | 950.00%
3.39/3.41 c 3.4s| 1700 | 1238 | 45538 | 26.5 |4900k| 21 | 74 | 585 | 657 | 585 | 531 | 48 | 149 | 0 | 7.500000e-01 | 7.000000e+00 | 833.33%
3.49/3.51 c 3.5s| 1800 | 1263 | 46746 | 25.7 |4932k| 21 | 67 | 585 | 661 | 585 | 531 | 48 | 153 | 0 | 7.500000e-01 | 7.000000e+00 | 833.33%
3.58/3.61 c 3.6s| 1900 | 1292 | 47998 | 25.0 |5028k| 21 | - | 585 | 669 | 0 | 0 | 48 | 161 | 0 | 7.500000e-01 | 7.000000e+00 | 833.33%
3.68/3.72 c 3.7s| 2000 | 1311 | 49228 | 24.3 |5065k| 21 | 37 | 585 | 678 | 585 | 531 | 48 | 170 | 0 | 7.500000e-01 | 7.000000e+00 | 833.33%
3.79/3.86 c 3.9s| 2100 | 1344 | 50946 | 24.0 |5164k| 21 | - | 585 | 691 | 585 | 531 | 48 | 183 | 0 | 8.750000e-01 | 7.000000e+00 | 700.00%
3.89/3.97 c 4.0s| 2200 | 1391 | 52432 | 23.6 |5213k| 21 | 63 | 585 | 694 | 585 | 531 | 48 | 186 | 0 | 9.166667e-01 | 7.000000e+00 | 663.64%
4.09/4.10 c 4.1s| 2300 | 1442 | 54022 | 23.2 |5295k| 21 | 69 | 585 | 704 | 585 | 531 | 48 | 200 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.19/4.21 c 4.2s| 2400 | 1478 | 55464 | 22.9 |5413k| 21 | 57 | 585 | 714 | 585 | 531 | 48 | 211 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.29/4.34 c 4.3s| 2500 | 1510 | 56917 | 22.5 |5513k| 21 | - | 585 | 729 | 585 | 531 | 48 | 226 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.40/4.44 c 4.4s| 2600 | 1546 | 58125 | 22.1 |5638k| 21 | 53 | 585 | 738 | 585 | 531 | 48 | 236 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.49/4.57 c 4.6s| 2700 | 1571 | 59638 | 21.9 |5740k| 21 | - | 585 | 765 | 0 | 0 | 48 | 265 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.59/4.67 c 4.7s| 2800 | 1592 | 60949 | 21.6 |5806k| 21 | - | 585 | 767 | 585 | 531 | 48 | 269 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.69/4.79 c 4.8s| 2900 | 1641 | 62373 | 21.3 |5960k| 21 | 44 | 585 | 771 | 585 | 531 | 48 | 276 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.89/4.91 c 4.9s| 3000 | 1677 | 63768 | 21.1 |5999k| 21 | - | 585 | 774 | 585 | 531 | 48 | 285 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
4.99/5.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.99/5.03 c 5.0s| 3100 | 1714 | 65236 | 20.9 |6072k| 21 | 56 | 585 | 777 | 585 | 531 | 48 | 291 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.08/5.16 c 5.2s| 3200 | 1741 | 66727 | 20.7 |6115k| 21 | 61 | 585 | 788 | 585 | 531 | 48 | 304 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.19/5.28 c 5.3s| 3300 | 1781 | 68230 | 20.5 |6217k| 21 | - | 585 | 794 | 0 | 0 | 48 | 312 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.29/5.39 c 5.4s| 3400 | 1822 | 69518 | 20.3 |6254k| 21 | 54 | 585 | 795 | 585 | 531 | 48 | 317 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.50/5.52 c 5.5s| 3500 | 1873 | 71140 | 20.2 |6323k| 21 | 74 | 585 | 794 | 585 | 531 | 48 | 320 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.59/5.64 c 5.6s| 3600 | 1926 | 72538 | 20.0 |6439k| 21 | 62 | 585 | 797 | 585 | 531 | 48 | 328 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.69/5.77 c 5.8s| 3700 | 1980 | 74139 | 19.9 |6577k| 21 | 69 | 585 | 799 | 585 | 531 | 48 | 333 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.88/5.90 c 5.9s| 3800 | 2042 | 75672 | 19.8 |6769k| 21 | 64 | 585 | 800 | 585 | 531 | 48 | 339 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
5.98/6.01 c 6.0s| 3900 | 2096 | 77085 | 19.6 |6872k| 21 | - | 585 | 799 | 585 | 531 | 48 | 344 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
6.09/6.14 c 6.1s| 4000 | 2132 | 78509 | 19.5 |6954k| 21 | 30 | 585 | 804 | 585 | 531 | 48 | 352 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
6.19/6.26 c 6.3s| 4100 | 2181 | 80048 | 19.4 |7079k| 21 | 33 | 585 | 804 | 585 | 531 | 48 | 362 | 0 | 1.000000e+00 | 7.000000e+00 | 600.00%
6.29/6.37 c 6.4s| 4200 | 2229 | 81496 | 19.3 |7194k| 21 | 38 | 585 | 801 | 585 | 531 | 48 | 365 | 0 | 1.027778e+00 | 7.000000e+00 | 581.08%
6.38/6.49 c 6.5s| 4300 | 2262 | 82880 | 19.1 |7299k| 21 | 50 | 585 | 798 | 585 | 531 | 48 | 369 | 0 | 1.111111e+00 | 7.000000e+00 | 530.00%
6.59/6.61 c 6.6s| 4400 | 2297 | 84230 | 19.0 |7349k| 21 | - | 585 | 799 | 585 | 531 | 48 | 375 | 0 | 1.111111e+00 | 7.000000e+00 | 530.00%
6.69/6.75 c 6.8s| 4500 | 2340 | 86038 | 19.0 |7435k| 21 | 79 | 585 | 800 | 585 | 531 | 48 | 382 | 0 | 1.125000e+00 | 7.000000e+00 | 522.22%
6.79/6.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.79/6.86 c 6.9s| 4600 | 2393 | 87323 | 18.9 |7617k| 21 | 63 | 585 | 797 | 585 | 531 | 48 | 388 | 0 | 1.166667e+00 | 7.000000e+00 | 500.00%
6.88/6.97 c 7.0s| 4700 | 2440 | 88520 | 18.7 |7760k| 21 | - | 585 | 783 | 585 | 531 | 48 | 391 | 0 | 1.166667e+00 | 7.000000e+00 | 500.00%
7.09/7.11 c 7.1s| 4800 | 2481 | 90007 | 18.6 |7912k| 21 | 42 | 585 | 786 | 585 | 531 | 48 | 401 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.19/7.24 c 7.2s| 4900 | 2519 | 91336 | 18.5 |7998k| 21 | 79 | 585 | 786 | 585 | 531 | 48 | 415 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.29/7.34 c 7.3s| 5000 | 2563 | 92471 | 18.4 |8036k| 21 | 75 | 585 | 784 | 585 | 531 | 48 | 419 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.39/7.46 c 7.5s| 5100 | 2590 | 93669 | 18.3 |8119k| 21 | - | 585 | 780 | 0 | 0 | 48 | 425 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.49/7.57 c 7.6s| 5200 | 2621 | 94980 | 18.2 |8141k| 21 | 69 | 585 | 778 | 585 | 531 | 48 | 431 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.60/7.68 c 7.7s| 5300 | 2674 | 96418 | 18.1 |8260k| 21 | 66 | 585 | 778 | 585 | 531 | 48 | 444 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.70/7.78 c 7.8s| 5400 | 2700 | 97521 | 18.0 |8336k| 21 | - | 585 | 773 | 0 | 0 | 48 | 447 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.79/7.88 c 7.9s| 5500 | 2715 | 98602 | 17.8 |8342k| 21 | 76 | 585 | 764 | 585 | 531 | 48 | 450 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.89/7.98 c 8.0s| 5600 | 2730 | 99780 | 17.7 |8359k| 21 | 59 | 585 | 758 | 585 | 531 | 48 | 453 | 0 | 1.250000e+00 | 7.000000e+00 | 460.00%
7.99/8.09 c 8.1s| 5700 | 2766 |100955 | 17.6 |8453k| 21 | - | 585 | 755 | 585 | 531 | 48 | 456 | 0 | 1.333333e+00 | 7.000000e+00 | 425.00%
8.19/8.20 c 8.2s| 5800 | 2812 |102225 | 17.5 |8453k| 21 | 64 | 585 | 756 | 585 | 531 | 48 | 465 | 0 | 1.333333e+00 | 7.000000e+00 | 425.00%
8.28/8.32 c 8.3s| 5900 | 2837 |103606 | 17.5 |8490k| 21 | 43 | 585 | 758 | 585 | 531 | 48 | 470 | 0 | 1.366667e+00 | 7.000000e+00 | 412.20%
8.39/8.41 c 8.4s| 6000 | 2863 |104422 | 17.3 |8579k| 21 | 55 | 585 | 759 | 585 | 531 | 48 | 478 | 0 | 1.375000e+00 | 7.000000e+00 | 409.09%
8.49/8.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.49/8.51 c 8.5s| 6100 | 2888 |105471 | 17.2 |8682k| 21 | 64 | 585 | 765 | 585 | 531 | 48 | 490 | 0 | 1.375000e+00 | 7.000000e+00 | 409.09%
8.59/8.62 c 8.6s| 6200 | 2914 |106623 | 17.1 |8765k| 21 | - | 585 | 762 | 585 | 531 | 48 | 501 | 0 | 1.416667e+00 | 7.000000e+00 | 394.12%
8.69/8.74 c 8.7s| 6300 | 2939 |107683 | 17.0 |8875k| 21 | 49 | 585 | 772 | 585 | 531 | 48 | 520 | 0 | 1.416667e+00 | 7.000000e+00 | 394.12%
8.79/8.84 c 8.8s| 6400 | 2969 |108640 | 16.9 |9032k| 21 | 63 | 585 | 781 | 585 | 531 | 48 | 540 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
8.88/8.94 c 8.9s| 6500 | 3005 |109712 | 16.8 |9127k| 21 | 45 | 585 | 788 | 585 | 531 | 48 | 552 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
8.99/9.04 c 9.0s| 6600 | 3018 |110661 | 16.7 |9147k| 21 | 58 | 585 | 784 | 585 | 531 | 48 | 558 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.09/9.15 c 9.1s| 6700 | 3032 |111626 | 16.6 |9216k| 21 | - | 585 | 783 | 585 | 531 | 48 | 560 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.19/9.26 c 9.3s| 6800 | 3064 |112833 | 16.5 |9215k| 21 | 72 | 585 | 772 | 585 | 531 | 48 | 566 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.28/9.36 c 9.4s| 6900 | 3093 |114007 | 16.4 |9292k| 21 | 48 | 585 | 772 | 585 | 531 | 48 | 577 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.39/9.47 c 9.5s| 7000 | 3108 |115177 | 16.4 |9350k| 21 | - | 585 | 763 | 585 | 531 | 48 | 590 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.49/9.58 c 9.6s| 7100 | 3129 |116456 | 16.3 |9358k| 21 | - | 585 | 759 | 585 | 531 | 48 | 596 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.58/9.68 c 9.7s| 7200 | 3153 |117436 | 16.2 |9475k| 21 | 72 | 585 | 744 | 585 | 531 | 48 | 602 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.68/9.77 c 9.8s| 7300 | 3163 |118255 | 16.1 |9514k| 21 | 52 | 585 | 738 | 585 | 531 | 48 | 604 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.80/9.87 c 9.9s| 7400 | 3183 |119204 | 16.0 |9595k| 21 | 38 | 585 | 731 | 585 | 531 | 48 | 614 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.89/9.97 c 10.0s| 7500 | 3195 |120246 | 16.0 |9611k| 21 | 66 | 585 | 729 | 585 | 531 | 48 | 624 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
9.99/10.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.99/10.08 c 10.1s| 7600 | 3221 |121332 | 15.9 |9672k| 21 | 72 | 585 | 723 | 585 | 531 | 48 | 632 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.08/10.19 c 10.2s| 7700 | 3250 |122580 | 15.8 |9769k| 21 | 74 | 585 | 722 | 585 | 531 | 48 | 638 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.19/10.29 c 10.3s| 7800 | 3281 |123462 | 15.8 |9894k| 21 | 44 | 585 | 715 | 585 | 531 | 48 | 646 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.29/10.39 c 10.4s| 7900 | 3302 |124471 | 15.7 | 10M| 21 | 64 | 585 | 703 | 585 | 531 | 48 | 655 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.48/10.51 c 10.5s| 8000 | 3325 |125760 | 15.6 | 10M| 21 | 55 | 585 | 697 | 585 | 531 | 48 | 663 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.59/10.62 c 10.6s| 8100 | 3340 |126837 | 15.6 | 10M| 21 | 61 | 585 | 694 | 585 | 531 | 48 | 671 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.69/10.70 c 10.7s| 8200 | 3368 |127753 | 15.5 | 10M| 21 | 69 | 585 | 684 | 585 | 531 | 48 | 676 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.79/10.82 c 10.8s| 8300 | 3388 |128904 | 15.5 | 10M| 21 | - | 585 | 686 | 585 | 531 | 48 | 686 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
10.89/10.91 c 10.9s| 8400 | 3418 |129972 | 15.4 | 10M| 21 | - | 585 | 679 | 585 | 531 | 48 | 699 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.00/11.01 c 11.0s| 8500 | 3429 |130814 | 15.3 | 10M| 21 | - | 585 | 681 | 0 | 0 | 48 | 711 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.09/11.11 c 11.1s| 8600 | 3453 |131932 | 15.3 | 10M| 21 | - | 585 | 677 | 585 | 531 | 48 | 720 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.18/11.23 c 11.2s| 8700 | 3484 |133178 | 15.2 | 10M| 21 | 58 | 585 | 666 | 585 | 531 | 48 | 726 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.29/11.35 c 11.4s| 8800 | 3509 |134530 | 15.2 | 10M| 21 | 60 | 585 | 672 | 585 | 531 | 48 | 743 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.38/11.44 c 11.4s| 8900 | 3530 |135425 | 15.2 | 10M| 21 | 49 | 585 | 672 | 585 | 531 | 48 | 754 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.48/11.55 c 11.6s| 9000 | 3559 |136770 | 15.1 | 10M| 21 | 50 | 585 | 664 | 585 | 531 | 48 | 762 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.59/11.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.64 c 11.6s| 9100 | 3569 |137448 | 15.0 | 10M| 21 | 61 | 585 | 659 | 585 | 531 | 48 | 778 | 0 | 1.500000e+00 | 7.000000e+00 | 366.67%
11.69/11.75 c 11.7s| 9200 | 3605 |138712 | 15.0 | 10M| 21 | 50 | 585 | 659 | 585 | 531 | 48 | 787 | 0 | 1.533333e+00 | 7.000000e+00 | 356.52%
11.79/11.84 c 11.8s| 9300 | 3627 |139793 | 15.0 | 10M| 21 | 62 | 585 | 663 | 585 | 531 | 48 | 798 | 0 | 1.611111e+00 | 7.000000e+00 | 334.48%
11.88/11.95 c 12.0s| 9400 | 3650 |141030 | 14.9 | 10M| 21 | - | 585 | 653 | 0 | 0 | 48 | 806 | 0 | 1.611111e+00 | 7.000000e+00 | 334.48%
11.99/12.05 c 12.1s| 9500 | 3666 |141959 | 14.9 | 11M| 21 | - | 585 | 650 | 0 | 0 | 48 | 817 | 0 | 1.625000e+00 | 7.000000e+00 | 330.77%
12.10/12.15 c 12.2s| 9600 | 3669 |143010 | 14.8 | 10M| 21 | - | 585 | 657 | 585 | 531 | 48 | 832 | 0 | 1.625000e+00 | 7.000000e+00 | 330.77%
12.19/12.24 c 12.2s| 9700 | 3674 |143902 | 14.8 | 11M| 21 | 73 | 585 | 650 | 585 | 531 | 48 | 842 | 0 | 1.666667e+00 | 7.000000e+00 | 320.00%
12.28/12.35 c 12.4s| 9800 | 3693 |144895 | 14.7 | 11M| 21 | - | 585 | 634 | 585 | 531 | 48 | 853 | 0 | 1.666667e+00 | 7.000000e+00 | 320.00%
12.39/12.44 c 12.4s| 9900 | 3706 |145690 | 14.7 | 11M| 21 | - | 585 | 631 | 585 | 531 | 48 | 866 | 0 | 1.666667e+00 | 7.000000e+00 | 320.00%
12.48/12.52 c 12.5s| 10000 | 3704 |146544 | 14.6 | 11M| 21 | - | 585 | 625 | 585 | 531 | 48 | 873 | 0 | 1.666667e+00 | 7.000000e+00 | 320.00%
12.59/12.62 c 12.6s| 10100 | 3729 |147526 | 14.6 | 11M| 21 | - | 585 | 612 | 0 | 0 | 48 | 880 | 0 | 1.700000e+00 | 7.000000e+00 | 311.76%
12.69/12.74 c 12.7s| 10200 | 3749 |148738 | 14.5 | 11M| 21 | 72 | 585 | 606 | 585 | 531 | 48 | 887 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
12.78/12.85 c 12.8s| 10300 | 3764 |149723 | 14.5 | 11M| 21 | 72 | 585 | 612 | 585 | 531 | 48 | 897 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
12.89/12.95 c 13.0s| 10400 | 3790 |150672 | 14.4 | 11M| 22 | 60 | 585 | 612 | 585 | 531 | 48 | 908 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
12.99/13.04 c 13.0s| 10500 | 3817 |151511 | 14.4 | 11M| 22 | 44 | 585 | 619 | 585 | 531 | 48 | 922 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
13.09/13.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.09/13.14 c 13.1s| 10600 | 3829 |152515 | 14.3 | 11M| 22 | - | 585 | 614 | 585 | 531 | 48 | 933 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
13.19/13.24 c 13.2s| 10700 | 3845 |153515 | 14.3 | 11M| 22 | - | 585 | 617 | 0 | 0 | 48 | 951 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
13.29/13.35 c 13.3s| 10800 | 3866 |154653 | 14.3 | 11M| 22 | 81 | 585 | 618 | 585 | 531 | 48 | 964 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
13.39/13.45 c 13.5s| 10900 | 3885 |155735 | 14.2 | 11M| 22 | 38 | 585 | 624 | 585 | 531 | 48 | 983 | 0 | 1.750000e+00 | 7.000000e+00 | 300.00%
13.48/13.55 c 13.6s| 11000 | 3907 |156768 | 14.2 | 12M| 22 | 50 | 585 | 640 | 585 | 531 | 48 |1004 | 0 | 1.833333e+00 | 7.000000e+00 | 281.82%
13.58/13.65 c 13.6s| 11100 | 3906 |157595 | 14.1 | 12M| 22 | - | 585 | 638 | 0 | 0 | 48 |1013 | 0 | 1.833333e+00 | 7.000000e+00 | 281.82%
13.69/13.74 c 13.7s| 11200 | 3912 |158358 | 14.1 | 12M| 22 | 73 | 585 | 644 | 585 | 531 | 48 |1031 | 0 | 1.833333e+00 | 7.000000e+00 | 281.82%
13.79/13.85 c 13.9s| 11300 | 3930 |159529 | 14.1 | 12M| 22 | - | 585 | 645 | 0 | 0 | 48 |1041 | 0 | 1.866667e+00 | 7.000000e+00 | 275.00%
13.88/13.96 c 14.0s| 11400 | 3943 |160522 | 14.0 | 12M| 22 | - | 585 | 667 | 585 | 531 | 48 |1082 | 0 | 1.900000e+00 | 7.000000e+00 | 268.42%
13.99/14.05 c 14.1s| 11500 | 3959 |161460 | 14.0 | 12M| 22 | - | 585 | 661 | 0 | 0 | 48 |1087 | 0 | 1.916667e+00 | 7.000000e+00 | 265.22%
14.09/14.17 c 14.2s| 11600 | 3987 |162689 | 14.0 | 12M| 22 | - | 585 | 643 | 585 | 531 | 48 |1100 | 0 | 1.950000e+00 | 7.000000e+00 | 258.97%
14.19/14.27 c 14.3s| 11700 | 3993 |163604 | 13.9 | 12M| 22 | - | 585 | 655 | 585 | 531 | 48 |1123 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.29/14.38 c 14.4s| 11800 | 4018 |164807 | 13.9 | 12M| 22 | - | 585 | 633 | 0 | 0 | 48 |1133 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.38/14.48 c 14.5s| 11900 | 4018 |165797 | 13.9 | 12M| 22 | - | 585 | 636 | 0 | 0 | 48 |1146 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.48/14.56 c 14.6s| 12000 | 4017 |166472 | 13.8 | 12M| 22 | - | 585 | 635 | 0 | 0 | 48 |1160 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.59/14.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.59/14.66 c 14.7s| 12100 | 4025 |167435 | 13.8 | 12M| 22 | - | 585 | 635 | 585 | 531 | 48 |1168 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.69/14.76 c 14.8s| 12200 | 4055 |168329 | 13.8 | 12M| 22 | - | 585 | 640 | 0 | 0 | 48 |1183 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.79/14.86 c 14.9s| 12300 | 4069 |169366 | 13.7 | 12M| 22 | - | 585 | 624 | 585 | 531 | 48 |1191 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.88/14.94 c 14.9s| 12400 | 4083 |170262 | 13.7 | 12M| 22 | - | 585 | 624 | 0 | 0 | 48 |1200 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
14.98/15.04 c 15.0s| 12500 | 4091 |171309 | 13.7 | 12M| 22 | - | 585 | 627 | 585 | 531 | 48 |1216 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.09/15.13 c 15.1s| 12600 | 4101 |172199 | 13.6 | 12M| 22 | - | 585 | 627 | 0 | 0 | 48 |1219 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.19/15.23 c 15.2s| 12700 | 4119 |173224 | 13.6 | 12M| 22 | - | 585 | 620 | 585 | 531 | 48 |1227 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.29/15.32 c 15.3s| 12800 | 4126 |174082 | 13.6 | 12M| 22 | - | 585 | 634 | 0 | 0 | 48 |1249 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.39/15.42 c 15.4s| 12900 | 4145 |175088 | 13.5 | 12M| 22 | - | 585 | 644 | 585 | 531 | 48 |1267 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.49/15.54 c 15.5s| 13000 | 4183 |176362 | 13.5 | 12M| 22 | - | 585 | 642 | 0 | 0 | 48 |1287 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.58/15.64 c 15.6s| 13100 | 4204 |177406 | 13.5 | 13M| 22 | - | 585 | 644 | 0 | 0 | 48 |1302 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.68/15.73 c 15.7s| 13200 | 4223 |178445 | 13.5 | 13M| 22 | - | 585 | 638 | 585 | 531 | 48 |1308 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.78/15.83 c 15.8s| 13300 | 4220 |179397 | 13.4 | 12M| 22 | 58 | 585 | 645 | 585 | 531 | 48 |1327 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.89/15.93 c 15.9s| 13400 | 4224 |180338 | 13.4 | 13M| 22 | - | 585 | 642 | 585 | 531 | 48 |1344 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
15.99/16.04 c 16.0s| 13500 | 4231 |181472 | 13.4 | 13M| 22 | 51 | 585 | 651 | 585 | 531 | 48 |1364 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.09/16.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.09/16.15 c 16.2s| 13600 | 4245 |182661 | 13.4 | 13M| 22 | 58 | 585 | 648 | 585 | 531 | 48 |1375 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.18/16.25 c 16.3s| 13700 | 4257 |183715 | 13.4 | 13M| 22 | 80 | 585 | 636 | 585 | 531 | 48 |1389 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.29/16.35 c 16.3s| 13800 | 4273 |184723 | 13.3 | 13M| 22 | - | 585 | 627 | 0 | 0 | 48 |1402 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.39/16.45 c 16.5s| 13900 | 4288 |185678 | 13.3 | 13M| 22 | 47 | 585 | 635 | 585 | 531 | 48 |1420 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.49/16.53 c 16.5s| 14000 | 4283 |186389 | 13.3 | 13M| 22 | - | 585 | 634 | 585 | 531 | 48 |1429 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.58/16.63 c 16.6s| 14100 | 4292 |187317 | 13.2 | 13M| 22 | 62 | 585 | 640 | 585 | 531 | 48 |1449 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.68/16.72 c 16.7s| 14200 | 4297 |188279 | 13.2 | 13M| 22 | 52 | 585 | 634 | 585 | 531 | 48 |1462 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.79/16.82 c 16.8s| 14300 | 4295 |189161 | 13.2 | 13M| 22 | - | 585 | 629 | 585 | 531 | 48 |1467 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.89/16.90 c 16.9s| 14400 | 4296 |189964 | 13.2 | 13M| 22 | 54 | 585 | 637 | 585 | 531 | 48 |1485 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.89/16.98 c 17.0s| 14500 | 4299 |190718 | 13.1 | 13M| 22 | - | 585 | 635 | 585 | 531 | 48 |1491 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
16.99/17.09 c 17.1s| 14600 | 4309 |191674 | 13.1 | 13M| 22 | - | 585 | 640 | 0 | 0 | 48 |1504 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.09/17.19 c 17.2s| 14700 | 4320 |192501 | 13.1 | 13M| 22 | 54 | 585 | 665 | 585 | 531 | 48 |1533 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.19/17.29 c 17.3s| 14800 | 4342 |193389 | 13.0 | 13M| 22 | 53 | 585 | 682 | 585 | 531 | 48 |1558 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.28/17.39 c 17.4s| 14900 | 4352 |194332 | 13.0 | 13M| 22 | - | 585 | 696 | 0 | 0 | 48 |1586 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.38/17.49 c 17.5s| 15000 | 4367 |195312 | 13.0 | 13M| 22 | - | 585 | 693 | 585 | 531 | 48 |1604 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.49/17.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.49/17.58 c 17.6s| 15100 | 4359 |196014 | 12.9 | 13M| 22 | 55 | 585 | 690 | 585 | 531 | 48 |1606 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.59/17.66 c 17.7s| 15200 | 4355 |196879 | 12.9 | 13M| 22 | - | 585 | 684 | 585 | 531 | 48 |1619 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.69/17.76 c 17.8s| 15300 | 4348 |197712 | 12.9 | 13M| 22 | - | 585 | 698 | 585 | 531 | 48 |1644 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.79/17.87 c 17.9s| 15400 | 4361 |198788 | 12.9 | 13M| 22 | - | 585 | 697 | 585 | 531 | 48 |1657 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.88/17.97 c 18.0s| 15500 | 4372 |199666 | 12.8 | 13M| 22 | - | 585 | 702 | 585 | 531 | 48 |1677 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
17.99/18.06 c 18.1s| 15600 | 4378 |200462 | 12.8 | 13M| 22 | - | 585 | 695 | 585 | 531 | 48 |1685 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.08/18.17 c 18.2s| 15700 | 4393 |201652 | 12.8 | 13M| 22 | - | 585 | 689 | 585 | 531 | 48 |1696 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.18/18.27 c 18.3s| 15800 | 4386 |202545 | 12.8 | 13M| 22 | - | 585 | 684 | 585 | 531 | 48 |1701 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.29/18.35 c 18.4s| 15900 | 4389 |203359 | 12.8 | 13M| 22 | - | 585 | 682 | 585 | 531 | 48 |1715 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.38/18.45 c 18.5s| 16000 | 4397 |204240 | 12.7 | 13M| 22 | 58 | 585 | 678 | 585 | 531 | 48 |1727 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.48/18.55 c 18.6s| 16100 | 4406 |205175 | 12.7 | 14M| 22 | - | 585 | 676 | 0 | 0 | 48 |1739 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.60/18.67 c 18.7s| 16200 | 4422 |206391 | 12.7 | 14M| 22 | 76 | 585 | 675 | 585 | 531 | 48 |1762 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.69/18.78 c 18.8s| 16300 | 4414 |207355 | 12.7 | 14M| 22 | 41 | 585 | 683 | 585 | 531 | 48 |1794 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.79/18.87 c 18.9s| 16400 | 4413 |208191 | 12.7 | 14M| 22 | - | 585 | 688 | 0 | 0 | 48 |1809 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.88/18.97 c 19.0s| 16500 | 4413 |209165 | 12.6 | 14M| 22 | 45 | 585 | 668 | 585 | 531 | 48 |1825 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
18.99/19.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.99/19.06 c 19.1s| 16600 | 4406 |209946 | 12.6 | 14M| 22 | - | 585 | 663 | 0 | 0 | 48 |1836 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.09/19.16 c 19.2s| 16700 | 4410 |210962 | 12.6 | 14M| 22 | - | 585 | 654 | 585 | 531 | 48 |1843 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.19/19.26 c 19.3s| 16800 | 4410 |211942 | 12.6 | 14M| 22 | 54 | 585 | 656 | 585 | 531 | 48 |1856 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.28/19.35 c 19.4s| 16900 | 4409 |212739 | 12.6 | 14M| 22 | 64 | 585 | 658 | 585 | 531 | 48 |1866 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.38/19.45 c 19.5s| 17000 | 4425 |213704 | 12.5 | 14M| 22 | 57 | 585 | 665 | 585 | 531 | 48 |1880 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.49/19.54 c 19.5s| 17100 | 4418 |214497 | 12.5 | 14M| 22 | - | 585 | 680 | 585 | 531 | 48 |1903 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.59/19.64 c 19.6s| 17200 | 4420 |215623 | 12.5 | 14M| 22 | 54 | 585 | 682 | 585 | 531 | 48 |1918 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.69/19.72 c 19.7s| 17300 | 4415 |216289 | 12.5 | 14M| 22 | - | 585 | 687 | 585 | 531 | 48 |1932 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.79/19.85 c 19.8s| 17400 | 4435 |217542 | 12.5 | 14M| 22 | - | 585 | 672 | 0 | 0 | 48 |1938 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.88/19.93 c 19.9s| 17500 | 4428 |218238 | 12.4 | 14M| 22 | - | 585 | 667 | 0 | 0 | 48 |1949 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
19.99/20.02 c 20.0s| 17600 | 4417 |219166 | 12.4 | 14M| 22 | 49 | 585 | 652 | 585 | 531 | 48 |1956 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
20.09/20.11 c 20.1s| 17700 | 4412 |219999 | 12.4 | 14M| 22 | - | 585 | 657 | 585 | 531 | 48 |1978 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
20.19/20.20 c 20.2s| 17800 | 4427 |220921 | 12.4 | 14M| 22 | 37 | 585 | 673 | 585 | 531 | 48 |2002 | 0 | 2.000000e+00 | 7.000000e+00 | 250.00%
20.19/20.29 c 20.3s| 17900 | 4419 |221669 | 12.4 | 14M| 22 | - | 585 | 680 | 585 | 531 | 48 |2023 | 0 | 2.083333e+00 | 7.000000e+00 | 236.00%
20.39/20.40 c 20.4s| 18000 | 4430 |222754 | 12.3 | 14M| 22 | 57 | 585 | 666 | 585 | 531 | 48 |2033 | 0 | 2.083333e+00 | 7.000000e+00 | 236.00%
20.49/20.50 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.50 c 20.5s| 18100 | 4423 |223605 | 12.3 | 14M| 22 | - | 585 | 662 | 0 | 0 | 48 |2042 | 0 | 2.125000e+00 | 7.000000e+00 | 229.41%
20.49/20.58 c 20.6s| 18200 | 4419 |224350 | 12.3 | 14M| 22 | 61 | 585 | 658 | 585 | 531 | 48 |2053 | 0 | 2.125000e+00 | 7.000000e+00 | 229.41%
20.58/20.68 c 20.7s| 18300 | 4436 |225277 | 12.3 | 14M| 22 | - | 585 | 666 | 585 | 531 | 48 |2078 | 0 | 2.125000e+00 | 7.000000e+00 | 229.41%
20.68/20.79 c 20.8s| 18400 | 4433 |226051 | 12.3 | 14M| 22 | 70 | 585 | 674 | 585 | 531 | 48 |2100 | 0 | 2.125000e+00 | 7.000000e+00 | 229.41%
20.79/20.90 c 20.9s| 18500 | 4451 |227203 | 12.3 | 14M| 22 | 30 | 585 | 683 | 585 | 531 | 48 |2123 | 0 | 2.125000e+00 | 7.000000e+00 | 229.41%
20.89/20.99 c 21.0s| 18600 | 4459 |228045 | 12.2 | 14M| 22 | - | 585 | 690 | 0 | 0 | 48 |2144 | 0 | 2.125000e+00 | 7.000000e+00 | 229.41%
20.99/21.08 c 21.1s| 18700 | 4464 |228737 | 12.2 | 14M| 22 | - | 585 | 695 | 585 | 531 | 48 |2156 | 0 | 2.150000e+00 | 7.000000e+00 | 225.58%
21.09/21.18 c 21.2s| 18800 | 4466 |229605 | 12.2 | 14M| 22 | 58 | 585 | 696 | 585 | 531 | 48 |2172 | 0 | 2.166667e+00 | 7.000000e+00 | 223.08%
21.19/21.28 c 21.3s| 18900 | 4456 |230565 | 12.2 | 14M| 22 | - | 585 | 700 | 0 | 0 | 48 |2193 | 0 | 2.166667e+00 | 7.000000e+00 | 223.08%
21.29/21.39 c 21.4s| 19000 | 4459 |231420 | 12.2 | 14M| 22 | 42 | 585 | 709 | 585 | 531 | 48 |2217 | 0 | 2.200000e+00 | 7.000000e+00 | 218.18%
21.38/21.47 c 21.5s| 19100 | 4452 |232198 | 12.1 | 14M| 22 | 73 | 585 | 703 | 585 | 531 | 48 |2226 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
21.49/21.56 c 21.6s| 19200 | 4444 |232920 | 12.1 | 14M| 22 | - | 585 | 702 | 585 | 531 | 48 |2241 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
21.59/21.65 c 21.7s| 19300 | 4453 |233752 | 12.1 | 14M| 22 | - | 585 | 707 | 585 | 531 | 48 |2263 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
21.68/21.75 c 21.7s| 19400 | 4464 |234692 | 12.1 | 14M| 22 | 39 | 585 | 700 | 585 | 531 | 48 |2270 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
21.78/21.83 c 21.8s| 19500 | 4456 |235356 | 12.0 | 14M| 22 | - | 585 | 694 | 0 | 0 | 48 |2278 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
21.90/21.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.90/21.94 c 21.9s| 19600 | 4461 |236418 | 12.0 | 14M| 22 | - | 585 | 691 | 585 | 531 | 48 |2290 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
21.99/22.03 c 22.0s| 19700 | 4469 |237165 | 12.0 | 14M| 22 | - | 585 | 693 | 0 | 0 | 48 |2302 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
22.09/22.12 c 22.1s| 19800 | 4478 |238047 | 12.0 | 14M| 22 | - | 585 | 681 | 0 | 0 | 48 |2312 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
22.19/22.22 c 22.2s| 19900 | 4482 |238923 | 12.0 | 14M| 22 | - | 585 | 671 | 0 | 0 | 48 |2320 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
22.28/22.32 c 22.3s| 20000 | 4490 |239766 | 12.0 | 14M| 22 | - | 585 | 687 | 0 | 0 | 48 |2349 | 0 | 2.250000e+00 | 7.000000e+00 | 211.11%
22.38/22.41 c 22.4s| 20100 | 4488 |240512 | 11.9 | 14M| 22 | 56 | 585 | 689 | 585 | 531 | 48 |2369 | 0 | 2.291667e+00 | 7.000000e+00 | 205.45%
22.49/22.51 c 22.5s| 20200 | 4492 |241620 | 11.9 | 14M| 22 | 43 | 585 | 688 | 585 | 531 | 48 |2378 | 0 | 2.333333e+00 | 7.000000e+00 | 200.00%
22.58/22.60 c 22.6s| 20300 | 4501 |242444 | 11.9 | 14M| 22 | - | 585 | 687 | 585 | 531 | 48 |2394 | 0 | 2.333333e+00 | 7.000000e+00 | 200.00%
22.58/22.67 c 22.7s| 20400 | 4503 |243084 | 11.9 | 14M| 22 | - | 585 | 676 | 585 | 531 | 48 |2396 | 0 | 2.333333e+00 | 7.000000e+00 | 200.00%
22.68/22.76 c 22.8s| 20500 | 4495 |243727 | 11.9 | 14M| 22 | - | 585 | 681 | 585 | 531 | 48 |2415 | 0 | 2.333333e+00 | 7.000000e+00 | 200.00%
22.79/22.86 c 22.9s| 20600 | 4497 |244483 | 11.8 | 14M| 22 | 63 | 585 | 679 | 585 | 531 | 48 |2426 | 0 | 2.333333e+00 | 7.000000e+00 | 200.00%
22.89/22.96 c 23.0s| 20700 | 4508 |245390 | 11.8 | 14M| 22 | - | 585 | 676 | 0 | 0 | 48 |2443 | 0 | 2.333333e+00 | 7.000000e+00 | 200.00%
22.99/23.06 c 23.1s| 20800 | 4516 |246623 | 11.8 | 14M| 22 | 65 | 585 | 675 | 585 | 531 | 48 |2451 | 0 | 2.333333e+00 | 7.000000e+00 | 200.00%
23.09/23.17 c 23.2s| 20900 | 4536 |247667 | 11.8 | 14M| 22 | 68 | 585 | 668 | 585 | 531 | 48 |2468 | 0 | 2.375000e+00 | 7.000000e+00 | 194.74%
23.19/23.25 c 23.3s| 21000 | 4541 |248395 | 11.8 | 14M| 22 | 71 | 585 | 670 | 585 | 531 | 48 |2476 | 0 | 2.416667e+00 | 7.000000e+00 | 189.66%
23.28/23.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.28/23.37 c 23.4s| 21100 | 4546 |249410 | 11.8 | 14M| 22 | 66 | 585 | 666 | 585 | 531 | 48 |2487 | 0 | 2.444444e+00 | 7.000000e+00 | 186.36%
23.39/23.48 c 23.5s| 21200 | 4561 |250354 | 11.8 | 14M| 22 | 60 | 585 | 670 | 585 | 531 | 48 |2499 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
23.48/23.56 c 23.6s| 21300 | 4575 |251059 | 11.8 | 15M| 22 | - | 585 | 677 | 585 | 531 | 48 |2521 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
23.59/23.68 c 23.7s| 21400 | 4579 |252021 | 11.8 | 15M| 22 | - | 585 | 692 | 585 | 531 | 48 |2546 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
23.69/23.78 c 23.8s| 21500 | 4595 |252958 | 11.7 | 15M| 22 | - | 585 | 692 | 585 | 531 | 48 |2561 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
23.78/23.86 c 23.9s| 21600 | 4593 |253500 | 11.7 | 15M| 22 | 68 | 585 | 710 | 585 | 531 | 48 |2588 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
23.88/23.94 c 23.9s| 21700 | 4595 |254197 | 11.7 | 15M| 22 | 59 | 585 | 702 | 585 | 531 | 48 |2597 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
23.99/24.05 c 24.0s| 21800 | 4612 |255151 | 11.7 | 15M| 22 | 47 | 585 | 697 | 585 | 531 | 48 |2609 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.09/24.14 c 24.1s| 21900 | 4624 |255928 | 11.7 | 15M| 22 | - | 585 | 698 | 585 | 531 | 48 |2619 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.19/24.23 c 24.2s| 22000 | 4620 |256613 | 11.6 | 15M| 22 | 71 | 585 | 692 | 585 | 531 | 48 |2646 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.28/24.30 c 24.3s| 22100 | 4616 |257143 | 11.6 | 15M| 22 | 72 | 585 | 692 | 585 | 531 | 48 |2660 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.38/24.42 c 24.4s| 22200 | 4619 |258125 | 11.6 | 15M| 22 | - | 585 | 707 | 0 | 0 | 48 |2689 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.49/24.52 c 24.5s| 22300 | 4632 |259025 | 11.6 | 15M| 22 | 49 | 585 | 709 | 585 | 531 | 48 |2710 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.58/24.61 c 24.6s| 22400 | 4637 |259805 | 11.6 | 15M| 22 | 65 | 585 | 699 | 585 | 531 | 48 |2725 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.69/24.71 c 24.7s| 22500 | 4635 |260686 | 11.6 | 15M| 22 | 39 | 585 | 700 | 585 | 531 | 48 |2743 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.79/24.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.79/24.80 c 24.8s| 22600 | 4633 |261433 | 11.5 | 15M| 22 | - | 585 | 720 | 585 | 531 | 48 |2778 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.79/24.87 c 24.9s| 22700 | 4623 |262093 | 11.5 | 15M| 22 | - | 585 | 712 | 0 | 0 | 48 |2791 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.88/24.99 c 25.0s| 22800 | 4640 |263152 | 11.5 | 15M| 22 | - | 585 | 710 | 0 | 0 | 48 |2805 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
24.98/25.07 c 25.1s| 22900 | 4631 |263908 | 11.5 | 15M| 22 | - | 585 | 708 | 585 | 531 | 48 |2823 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.09/25.15 c 25.1s| 23000 | 4633 |264705 | 11.5 | 15M| 22 | - | 585 | 700 | 0 | 0 | 48 |2831 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.19/25.22 c 25.2s| 23100 | 4626 |265391 | 11.5 | 15M| 22 | - | 585 | 692 | 585 | 531 | 48 |2843 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.29/25.31 c 25.3s| 23200 | 4632 |266130 | 11.4 | 15M| 22 | - | 585 | 681 | 585 | 531 | 48 |2855 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.38/25.41 c 25.4s| 23300 | 4635 |266930 | 11.4 | 15M| 22 | 70 | 585 | 690 | 585 | 531 | 48 |2881 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.38/25.49 c 25.5s| 23400 | 4643 |267542 | 11.4 | 15M| 22 | - | 585 | 686 | 585 | 531 | 48 |2894 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.48/25.58 c 25.6s| 23500 | 4651 |268375 | 11.4 | 15M| 22 | 73 | 585 | 689 | 585 | 531 | 48 |2917 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.59/25.68 c 25.7s| 23600 | 4647 |269202 | 11.4 | 15M| 22 | - | 585 | 685 | 585 | 531 | 48 |2938 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.68/25.78 c 25.8s| 23700 | 4656 |270159 | 11.4 | 15M| 22 | 66 | 585 | 699 | 585 | 531 | 48 |2959 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.79/25.86 c 25.9s| 23800 | 4658 |270934 | 11.4 | 15M| 22 | - | 585 | 693 | 585 | 531 | 48 |2972 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.89/25.96 c 26.0s| 23900 | 4674 |272004 | 11.4 | 15M| 22 | 50 | 585 | 688 | 585 | 531 | 48 |2980 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
25.98/26.07 c 26.1s| 24000 | 4677 |272995 | 11.4 | 15M| 22 | - | 585 | 686 | 0 | 0 | 48 |2995 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.08/26.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.08/26.14 c 26.1s| 24100 | 4667 |273651 | 11.3 | 15M| 22 | - | 585 | 677 | 585 | 531 | 48 |3009 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.18/26.25 c 26.2s| 24200 | 4675 |274516 | 11.3 | 15M| 22 | - | 585 | 688 | 0 | 0 | 48 |3038 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.29/26.33 c 26.3s| 24300 | 4677 |275315 | 11.3 | 15M| 22 | 53 | 585 | 686 | 585 | 531 | 48 |3048 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.39/26.41 c 26.4s| 24400 | 4672 |275984 | 11.3 | 15M| 22 | - | 585 | 700 | 585 | 531 | 48 |3073 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.49/26.52 c 26.5s| 24500 | 4685 |277093 | 11.3 | 15M| 22 | 41 | 585 | 695 | 585 | 531 | 48 |3082 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.58/26.62 c 26.6s| 24600 | 4698 |277939 | 11.3 | 15M| 22 | - | 585 | 688 | 0 | 0 | 48 |3095 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.68/26.70 c 26.7s| 24700 | 4697 |278641 | 11.3 | 15M| 22 | - | 585 | 688 | 0 | 0 | 48 |3114 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.79/26.80 c 26.8s| 24800 | 4702 |279493 | 11.2 | 15M| 22 | 70 | 585 | 685 | 585 | 531 | 48 |3131 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.79/26.89 c 26.9s| 24900 | 4714 |280325 | 11.2 | 15M| 22 | - | 585 | 693 | 585 | 531 | 48 |3147 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.89/26.98 c 27.0s| 25000 | 4701 |281254 | 11.2 | 15M| 22 | - | 585 | 699 | 585 | 531 | 48 |3169 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
26.98/27.07 c 27.1s| 25100 | 4707 |282235 | 11.2 | 15M| 22 | - | 585 | 691 | 0 | 0 | 48 |3180 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.08/27.17 c 27.2s| 25200 | 4695 |283048 | 11.2 | 15M| 22 | 39 | 585 | 688 | 585 | 531 | 48 |3194 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.19/27.24 c 27.2s| 25300 | 4685 |283797 | 11.2 | 15M| 22 | - | 585 | 684 | 0 | 0 | 48 |3215 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.29/27.35 c 27.3s| 25400 | 4698 |284806 | 11.2 | 15M| 22 | 73 | 585 | 691 | 585 | 531 | 48 |3237 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.39/27.43 c 27.4s| 25500 | 4695 |285541 | 11.2 | 15M| 22 | 47 | 585 | 697 | 585 | 531 | 48 |3253 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.49/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.49/27.54 c 27.5s| 25600 | 4696 |286572 | 11.2 | 15M| 22 | - | 585 | 689 | 585 | 531 | 48 |3273 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.58/27.63 c 27.6s| 25700 | 4698 |287407 | 11.2 | 15M| 22 | 40 | 585 | 685 | 585 | 531 | 48 |3297 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.69/27.75 c 27.8s| 25800 | 4700 |288429 | 11.2 | 16M| 22 | - | 585 | 673 | 585 | 531 | 48 |3313 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.78/27.87 c 27.9s| 25900 | 4711 |289494 | 11.2 | 16M| 22 | 37 | 585 | 676 | 585 | 531 | 48 |3334 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.88/27.97 c 28.0s| 26000 | 4721 |290472 | 11.2 | 16M| 22 | 54 | 585 | 685 | 585 | 531 | 48 |3362 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
27.99/28.07 c 28.1s| 26100 | 4726 |291447 | 11.1 | 16M| 22 | - | 585 | 683 | 585 | 531 | 48 |3376 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.08/28.15 c 28.2s| 26200 | 4731 |292234 | 11.1 | 16M| 22 | 50 | 585 | 690 | 585 | 531 | 48 |3400 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.19/28.27 c 28.3s| 26300 | 4735 |293219 | 11.1 | 16M| 22 | - | 585 | 689 | 0 | 0 | 48 |3415 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.29/28.38 c 28.4s| 26400 | 4746 |294210 | 11.1 | 16M| 22 | - | 585 | 694 | 585 | 531 | 48 |3430 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.38/28.48 c 28.5s| 26500 | 4743 |295201 | 11.1 | 16M| 22 | - | 585 | 681 | 585 | 531 | 48 |3440 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.49/28.58 c 28.6s| 26600 | 4755 |296292 | 11.1 | 16M| 23 | 64 | 585 | 690 | 585 | 531 | 48 |3458 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.59/28.68 c 28.7s| 26700 | 4769 |297153 | 11.1 | 16M| 23 | - | 585 | 706 | 585 | 531 | 48 |3488 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.68/28.77 c 28.8s| 26800 | 4759 |297858 | 11.1 | 16M| 23 | - | 585 | 710 | 0 | 0 | 48 |3509 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.78/28.87 c 28.9s| 26900 | 4774 |298855 | 11.1 | 16M| 23 | - | 585 | 705 | 0 | 0 | 48 |3527 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.89/28.97 c 29.0s| 27000 | 4785 |299876 | 11.1 | 16M| 23 | 46 | 585 | 690 | 585 | 531 | 48 |3533 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
28.99/29.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.99/29.06 c 29.1s| 27100 | 4791 |300754 | 11.1 | 16M| 23 | - | 585 | 681 | 585 | 531 | 48 |3541 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.08/29.16 c 29.2s| 27200 | 4803 |301518 | 11.1 | 16M| 23 | 52 | 585 | 671 | 585 | 531 | 48 |3549 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.19/29.24 c 29.2s| 27300 | 4808 |302247 | 11.1 | 16M| 23 | - | 585 | 666 | 0 | 0 | 48 |3564 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.29/29.34 c 29.3s| 27400 | 4822 |303045 | 11.0 | 16M| 23 | 62 | 585 | 668 | 585 | 531 | 48 |3575 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.38/29.42 c 29.4s| 27500 | 4823 |303782 | 11.0 | 16M| 23 | - | 585 | 664 | 585 | 531 | 48 |3580 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.48/29.52 c 29.5s| 27600 | 4835 |304827 | 11.0 | 16M| 23 | 62 | 585 | 663 | 585 | 531 | 48 |3589 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.59/29.62 c 29.6s| 27700 | 4833 |305685 | 11.0 | 16M| 23 | 63 | 585 | 653 | 585 | 531 | 48 |3595 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.59/29.69 c 29.7s| 27800 | 4826 |306419 | 11.0 | 16M| 23 | 45 | 585 | 660 | 585 | 531 | 48 |3607 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.69/29.77 c 29.8s| 27900 | 4824 |307128 | 11.0 | 16M| 23 | 61 | 585 | 659 | 585 | 531 | 48 |3621 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.78/29.87 c 29.9s| 28000 | 4832 |308100 | 11.0 | 16M| 23 | - | 585 | 666 | 585 | 531 | 48 |3637 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.89/29.97 c 30.0s| 28100 | 4832 |308920 | 11.0 | 16M| 23 | - | 585 | 672 | 0 | 0 | 48 |3658 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
29.98/30.06 c 30.1s| 28200 | 4836 |309712 | 11.0 | 16M| 23 | - | 585 | 677 | 0 | 0 | 48 |3673 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.08/30.16 c 30.2s| 28300 | 4841 |310638 | 11.0 | 16M| 23 | 71 | 585 | 670 | 585 | 531 | 48 |3683 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.19/30.24 c 30.2s| 28400 | 4848 |311652 | 11.0 | 16M| 23 | - | 585 | 671 | 585 | 531 | 48 |3694 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.28/30.34 c 30.3s| 28500 | 4854 |312672 | 11.0 | 16M| 23 | 72 | 585 | 677 | 585 | 531 | 48 |3715 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.38/30.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.38/30.43 c 30.4s| 28600 | 4861 |313298 | 10.9 | 16M| 23 | - | 585 | 671 | 0 | 0 | 48 |3722 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.49/30.51 c 30.5s| 28700 | 4872 |313844 | 10.9 | 16M| 23 | 54 | 585 | 659 | 585 | 531 | 48 |3736 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.58/30.61 c 30.6s| 28800 | 4870 |314707 | 10.9 | 16M| 23 | - | 585 | 642 | 585 | 531 | 48 |3745 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.58/30.69 c 30.7s| 28900 | 4860 |315359 | 10.9 | 16M| 23 | 61 | 585 | 661 | 585 | 531 | 48 |3773 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.69/30.78 c 30.8s| 29000 | 4869 |316188 | 10.9 | 16M| 23 | - | 585 | 678 | 0 | 0 | 48 |3797 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.79/30.88 c 30.9s| 29100 | 4883 |317129 | 10.9 | 16M| 23 | 61 | 585 | 690 | 585 | 531 | 48 |3819 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.89/30.97 c 31.0s| 29200 | 4876 |317889 | 10.9 | 16M| 23 | - | 585 | 692 | 585 | 531 | 48 |3832 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
30.98/31.06 c 31.1s| 29300 | 4875 |318626 | 10.9 | 16M| 23 | - | 585 | 693 | 585 | 531 | 48 |3856 | 0 | 2.500000e+00 | 7.000000e+00 | 180.00%
31.08/31.15 c 31.2s| 29400 | 4882 |319696 | 10.9 | 17M| 23 | - | 585 | 691 | 0 | 0 | 48 |3865 | 0 | 2.583333e+00 | 7.000000e+00 | 170.97%
31.18/31.26 c 31.3s| 29500 | 4901 |320735 | 10.9 | 17M| 23 | - | 585 | 686 | 585 | 531 | 48 |3882 | 0 | 2.611111e+00 | 7.000000e+00 | 168.09%
31.28/31.37 c 31.4s| 29600 | 4907 |321549 | 10.8 | 17M| 23 | - | 585 | 689 | 585 | 531 | 48 |3908 | 0 | 2.611111e+00 | 7.000000e+00 | 168.09%
31.39/31.46 c 31.5s| 29700 | 4910 |322306 | 10.8 | 17M| 23 | - | 585 | 702 | 585 | 531 | 48 |3929 | 0 | 2.625000e+00 | 7.000000e+00 | 166.67%
31.48/31.55 c 31.6s| 29800 | 4917 |323149 | 10.8 | 17M| 23 | - | 585 | 721 | 0 | 0 | 48 |3963 | 0 | 2.625000e+00 | 7.000000e+00 | 166.67%
31.58/31.67 c 31.7s| 29900 | 4923 |324237 | 10.8 | 17M| 23 | 63 | 585 | 723 | 585 | 531 | 48 |3975 | 0 | 2.625000e+00 | 7.000000e+00 | 166.67%
31.68/31.75 c 31.8s| 30000 | 4930 |324946 | 10.8 | 17M| 23 | 47 | 585 | 716 | 585 | 531 | 48 |3991 | 0 | 2.625000e+00 | 7.000000e+00 | 166.67%
31.79/31.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.79/31.84 c 31.8s| 30100 | 4930 |325648 | 10.8 | 17M| 23 | 69 | 585 | 730 | 585 | 531 | 48 |4023 | 0 | 2.650000e+00 | 7.000000e+00 | 164.15%
31.89/31.94 c 31.9s| 30200 | 4935 |326465 | 10.8 | 17M| 23 | - | 585 | 703 | 585 | 531 | 48 |4030 | 0 | 2.666667e+00 | 7.000000e+00 | 162.50%
31.99/32.03 c 32.0s| 30300 | 4951 |327406 | 10.8 | 17M| 23 | - | 585 | 693 | 585 | 531 | 48 |4043 | 0 | 2.666667e+00 | 7.000000e+00 | 162.50%
32.08/32.13 c 32.1s| 30400 | 4954 |328226 | 10.8 | 17M| 23 | 50 | 585 | 679 | 585 | 531 | 48 |4054 | 0 | 2.666667e+00 | 7.000000e+00 | 162.50%
32.19/32.21 c 32.2s| 30500 | 4951 |328849 | 10.8 | 17M| 23 | - | 585 | 690 | 0 | 0 | 48 |4079 | 0 | 2.666667e+00 | 7.000000e+00 | 162.50%
32.29/32.30 c 32.3s| 30600 | 4956 |329700 | 10.8 | 17M| 23 | - | 585 | 684 | 585 | 531 | 48 |4092 | 0 | 2.666667e+00 | 7.000000e+00 | 162.50%
32.39/32.41 c 32.4s| 30700 | 4961 |330802 | 10.8 | 17M| 23 | - | 585 | 691 | 585 | 531 | 48 |4108 | 0 | 2.666667e+00 | 7.000000e+00 | 162.50%
32.39/32.49 c 32.5s| 30800 | 4968 |331591 | 10.7 | 17M| 23 | - | 585 | 703 | 585 | 531 | 48 |4126 | 0 | 2.700000e+00 | 7.000000e+00 | 159.26%
32.59/32.63 c 32.6s| 30900 | 4958 |332586 | 10.7 | 17M| 23 | - | 585 | 714 | 0 | 0 | 48 |4155 | 0 | 2.700000e+00 | 7.000000e+00 | 159.26%
32.68/32.71 c 32.7s| 31000 | 4952 |333258 | 10.7 | 17M| 23 | 73 | 585 | 717 | 585 | 531 | 48 |4174 | 0 | 2.700000e+00 | 7.000000e+00 | 159.26%
32.78/32.82 c 32.8s| 31100 | 4958 |334212 | 10.7 | 17M| 23 | 76 | 585 | 713 | 585 | 531 | 48 |4194 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
32.89/32.90 c 32.9s| 31200 | 4957 |334939 | 10.7 | 17M| 23 | - | 585 | 705 | 585 | 531 | 48 |4201 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
32.89/32.99 c 33.0s| 31300 | 4961 |335670 | 10.7 | 17M| 23 | 61 | 585 | 707 | 585 | 531 | 48 |4228 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.09/33.10 c 33.1s| 31400 | 4977 |336554 | 10.7 | 17M| 23 | - | 585 | 703 | 0 | 0 | 48 |4243 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.09/33.19 c 33.2s| 31500 | 4981 |337167 | 10.7 | 17M| 23 | - | 585 | 700 | 0 | 0 | 48 |4250 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.19/33.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.19/33.29 c 33.3s| 31600 | 4990 |338049 | 10.7 | 17M| 23 | - | 585 | 713 | 0 | 0 | 48 |4281 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.28/33.39 c 33.4s| 31700 | 5005 |338977 | 10.7 | 17M| 23 | - | 585 | 720 | 0 | 0 | 48 |4302 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.38/33.47 c 33.5s| 31800 | 5015 |339623 | 10.7 | 17M| 23 | 45 | 585 | 709 | 585 | 531 | 48 |4321 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.48/33.57 c 33.6s| 31900 | 5021 |340455 | 10.7 | 17M| 23 | 58 | 585 | 705 | 585 | 531 | 48 |4346 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.59/33.66 c 33.7s| 32000 | 5029 |341225 | 10.6 | 18M| 23 | - | 585 | 709 | 585 | 531 | 48 |4369 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.68/33.75 c 33.8s| 32100 | 5023 |341931 | 10.6 | 18M| 23 | 72 | 585 | 729 | 585 | 531 | 48 |4406 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.78/33.84 c 33.8s| 32200 | 5011 |342705 | 10.6 | 18M| 23 | - | 585 | 721 | 585 | 531 | 48 |4423 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.88/33.93 c 33.9s| 32300 | 5020 |343518 | 10.6 | 18M| 23 | 44 | 585 | 723 | 585 | 531 | 48 |4448 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
33.99/34.03 c 34.0s| 32400 | 5020 |344424 | 10.6 | 18M| 23 | 49 | 585 | 726 | 585 | 531 | 48 |4480 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
34.09/34.12 c 34.1s| 32500 | 5022 |345127 | 10.6 | 18M| 23 | 75 | 585 | 704 | 585 | 531 | 48 |4485 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
34.18/34.21 c 34.2s| 32600 | 5034 |345927 | 10.6 | 18M| 23 | 55 | 585 | 696 | 585 | 531 | 48 |4500 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
34.29/34.30 c 34.3s| 32700 | 5042 |346699 | 10.6 | 18M| 23 | 63 | 585 | 686 | 585 | 531 | 48 |4517 | 0 | 2.750000e+00 | 7.000000e+00 | 154.55%
34.29/34.38 c 34.4s| 32800 | 5038 |347298 | 10.6 | 18M| 23 | - | 585 | 683 | 0 | 0 | 48 |4530 | 0 | 2.785714e+00 | 7.000000e+00 | 151.28%
34.39/34.48 c 34.5s| 32900 | 5036 |348086 | 10.6 | 18M| 23 | 38 | 585 | 686 | 585 | 531 | 48 |4552 | 0 | 2.833333e+00 | 7.000000e+00 | 147.06%
34.48/34.57 c 34.6s| 33000 | 5038 |348919 | 10.6 | 18M| 23 | - | 585 | 684 | 0 | 0 | 48 |4566 | 0 | 2.833333e+00 | 7.000000e+00 | 147.06%
34.58/34.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.58/34.65 c 34.7s| 33100 | 5046 |349477 | 10.5 | 18M| 23 | - | 585 | 688 | 0 | 0 | 48 |4587 | 0 | 2.833333e+00 | 7.000000e+00 | 147.06%
34.69/34.76 c 34.8s| 33200 | 5053 |350342 | 10.5 | 18M| 23 | - | 585 | 679 | 585 | 531 | 48 |4603 | 0 | 2.833333e+00 | 7.000000e+00 | 147.06%
34.78/34.83 c 34.8s| 33300 | 5054 |350974 | 10.5 | 18M| 23 | 46 | 585 | 680 | 585 | 531 | 48 |4622 | 0 | 2.833333e+00 | 7.000000e+00 | 147.06%
34.88/34.93 c 34.9s| 33400 | 5045 |351755 | 10.5 | 18M| 23 | 68 | 585 | 682 | 585 | 531 | 48 |4642 | 0 | 2.833333e+00 | 7.000000e+00 | 147.06%
34.98/35.01 c 35.0s| 33500 | 5049 |352466 | 10.5 | 18M| 23 | - | 585 | 695 | 585 | 531 | 48 |4668 | 0 | 2.833333e+00 | 7.000000e+00 | 147.06%
35.09/35.11 c 35.1s| 33600 | 5057 |353173 | 10.5 | 18M| 23 | 70 | 585 | 699 | 585 | 531 | 48 |4691 | 0 | 2.875000e+00 | 7.000000e+00 | 143.48%
35.19/35.21 c 35.2s| 33700 | 5072 |354057 | 10.5 | 18M| 23 | 44 | 585 | 691 | 585 | 531 | 48 |4709 | 0 | 2.900000e+00 | 7.000000e+00 | 141.38%
35.28/35.30 c 35.3s| 33800 | 5077 |354842 | 10.5 | 18M| 23 | - | 585 | 675 | 585 | 531 | 48 |4719 | 0 | 2.916667e+00 | 7.000000e+00 | 140.00%
35.38/35.40 c 35.4s| 33900 | 5086 |355573 | 10.5 | 18M| 23 | - | 585 | 668 | 0 | 0 | 48 |4734 | 0 | 2.944444e+00 | 7.000000e+00 | 137.74%
35.48/35.50 c 35.5s| 34000 | 5096 |356528 | 10.5 | 18M| 23 | 53 | 585 | 678 | 585 | 531 | 48 |4760 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
35.48/35.59 c 35.6s| 34100 | 5110 |357207 | 10.5 | 18M| 23 | - | 585 | 683 | 585 | 531 | 48 |4794 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
35.59/35.69 c 35.7s| 34200 | 5123 |358213 | 10.5 | 18M| 23 | - | 585 | 693 | 0 | 0 | 48 |4814 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
35.68/35.78 c 35.8s| 34300 | 5123 |358878 | 10.4 | 18M| 23 | - | 585 | 716 | 0 | 0 | 48 |4851 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
35.78/35.88 c 35.9s| 34400 | 5123 |359792 | 10.4 | 18M| 23 | - | 585 | 712 | 585 | 531 | 48 |4863 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
35.88/35.96 c 36.0s| 34500 | 5122 |360516 | 10.4 | 18M| 23 | 57 | 585 | 711 | 585 | 531 | 48 |4884 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
35.99/36.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.99/36.05 c 36.0s| 34600 | 5117 |361263 | 10.4 | 18M| 23 | 52 | 585 | 718 | 585 | 531 | 48 |4901 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.08/36.14 c 36.1s| 34700 | 5118 |362031 | 10.4 | 18M| 23 | - | 585 | 720 | 0 | 0 | 48 |4922 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.19/36.23 c 36.2s| 34800 | 5114 |362711 | 10.4 | 18M| 23 | - | 585 | 737 | 0 | 0 | 48 |4966 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.29/36.31 c 36.3s| 34900 | 5108 |363423 | 10.4 | 18M| 23 | 55 | 585 | 738 | 585 | 531 | 48 |4991 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.38/36.40 c 36.4s| 35000 | 5104 |364179 | 10.4 | 18M| 23 | - | 585 | 736 | 0 | 0 | 48 |5007 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.48/36.50 c 36.5s| 35100 | 5108 |365048 | 10.4 | 18M| 23 | 54 | 585 | 727 | 585 | 531 | 48 |5022 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.48/36.59 c 36.6s| 35200 | 5108 |365708 | 10.4 | 18M| 23 | 42 | 585 | 739 | 585 | 531 | 48 |5047 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.58/36.68 c 36.7s| 35300 | 5113 |366425 | 10.4 | 18M| 23 | 65 | 585 | 722 | 585 | 531 | 48 |5060 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.69/36.76 c 36.8s| 35400 | 5113 |367053 | 10.4 | 18M| 23 | - | 585 | 724 | 0 | 0 | 48 |5079 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.78/36.86 c 36.9s| 35500 | 5107 |367847 | 10.3 | 18M| 23 | 77 | 585 | 723 | 585 | 531 | 48 |5100 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.89/36.94 c 36.9s| 35600 | 5102 |368647 | 10.3 | 18M| 23 | 72 | 585 | 725 | 585 | 531 | 48 |5129 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
36.99/37.04 c 37.0s| 35700 | 5106 |369515 | 10.3 | 18M| 23 | 64 | 585 | 745 | 585 | 531 | 48 |5167 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.08/37.14 c 37.1s| 35800 | 5124 |370454 | 10.3 | 18M| 23 | 61 | 585 | 748 | 585 | 531 | 48 |5191 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.18/37.23 c 37.2s| 35900 | 5119 |371069 | 10.3 | 18M| 23 | 39 | 585 | 742 | 585 | 531 | 48 |5220 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.29/37.31 c 37.3s| 36000 | 5121 |371694 | 10.3 | 18M| 23 | 40 | 585 | 731 | 585 | 531 | 48 |5233 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.39/37.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.39/37.40 c 37.4s| 36100 | 5120 |372531 | 10.3 | 18M| 23 | 72 | 585 | 731 | 585 | 531 | 48 |5246 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.39/37.48 c 37.5s| 36200 | 5126 |373231 | 10.3 | 18M| 23 | - | 585 | 725 | 0 | 0 | 48 |5265 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.49/37.57 c 37.6s| 36300 | 5141 |373919 | 10.3 | 19M| 24 | 50 | 585 | 720 | 585 | 531 | 48 |5286 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.58/37.64 c 37.6s| 36400 | 5128 |374482 | 10.3 | 18M| 24 | - | 585 | 723 | 585 | 531 | 48 |5303 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.68/37.74 c 37.7s| 36500 | 5125 |375113 | 10.3 | 18M| 24 | 67 | 585 | 725 | 585 | 531 | 48 |5323 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.79/37.83 c 37.8s| 36600 | 5122 |375822 | 10.3 | 19M| 24 | 34 | 585 | 715 | 585 | 531 | 48 |5337 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.88/37.92 c 37.9s| 36700 | 5118 |376574 | 10.2 | 19M| 24 | - | 585 | 716 | 585 | 531 | 48 |5352 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.98/38.00 c 38.0s| 36800 | 5125 |377237 | 10.2 | 19M| 24 | - | 585 | 726 | 585 | 531 | 48 |5375 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
37.98/38.09 c 38.1s| 36900 | 5127 |377871 | 10.2 | 19M| 24 | 60 | 585 | 722 | 585 | 531 | 48 |5380 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.08/38.17 c 38.2s| 37000 | 5128 |378506 | 10.2 | 19M| 24 | - | 585 | 709 | 585 | 531 | 48 |5385 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.18/38.26 c 38.3s| 37100 | 5129 |379194 | 10.2 | 19M| 24 | 41 | 585 | 708 | 585 | 531 | 48 |5402 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.28/38.34 c 38.3s| 37200 | 5125 |379753 | 10.2 | 19M| 24 | - | 585 | 731 | 585 | 531 | 48 |5441 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.39/38.42 c 38.4s| 37300 | 5114 |380467 | 10.2 | 19M| 24 | - | 585 | 748 | 585 | 531 | 48 |5472 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.49/38.52 c 38.5s| 37400 | 5126 |381378 | 10.2 | 19M| 24 | 58 | 585 | 748 | 585 | 531 | 48 |5485 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.58/38.60 c 38.6s| 37500 | 5127 |381928 | 10.2 | 19M| 24 | 55 | 585 | 748 | 585 | 531 | 48 |5504 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.58/38.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.58/38.68 c 38.7s| 37600 | 5112 |382636 | 10.2 | 19M| 24 | - | 585 | 719 | 585 | 531 | 48 |5517 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.68/38.78 c 38.8s| 37700 | 5112 |383635 | 10.2 | 19M| 24 | 73 | 585 | 722 | 585 | 531 | 48 |5541 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.79/38.87 c 38.9s| 37800 | 5112 |384384 | 10.2 | 19M| 24 | - | 585 | 726 | 0 | 0 | 48 |5555 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.88/38.95 c 39.0s| 37900 | 5115 |385077 | 10.1 | 19M| 24 | - | 585 | 726 | 585 | 531 | 48 |5567 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
38.98/39.04 c 39.0s| 38000 | 5112 |386011 | 10.1 | 19M| 24 | - | 585 | 727 | 0 | 0 | 48 |5579 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.08/39.13 c 39.1s| 38100 | 5103 |386721 | 10.1 | 19M| 24 | - | 585 | 734 | 0 | 0 | 48 |5604 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.18/39.25 c 39.2s| 38200 | 5110 |387659 | 10.1 | 19M| 24 | 54 | 585 | 740 | 585 | 531 | 48 |5622 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.28/39.33 c 39.3s| 38300 | 5114 |388258 | 10.1 | 19M| 24 | 46 | 585 | 737 | 585 | 531 | 48 |5642 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.38/39.41 c 39.4s| 38400 | 5109 |388957 | 10.1 | 19M| 24 | - | 585 | 746 | 585 | 531 | 48 |5672 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.38/39.49 c 39.5s| 38500 | 5101 |389466 | 10.1 | 19M| 24 | - | 585 | 737 | 0 | 0 | 48 |5688 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.49/39.59 c 39.6s| 38600 | 5113 |390193 | 10.1 | 19M| 24 | - | 585 | 755 | 0 | 0 | 48 |5728 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.59/39.68 c 39.7s| 38700 | 5124 |391076 | 10.1 | 19M| 24 | - | 585 | 740 | 0 | 0 | 48 |5747 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.68/39.77 c 39.8s| 38800 | 5113 |391824 | 10.1 | 19M| 24 | 73 | 585 | 723 | 585 | 531 | 48 |5759 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.78/39.86 c 39.9s| 38900 | 5114 |392699 | 10.1 | 19M| 24 | 57 | 585 | 718 | 585 | 531 | 48 |5767 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.88/39.95 c 39.9s| 39000 | 5114 |393446 | 10.1 | 19M| 24 | - | 585 | 708 | 585 | 531 | 48 |5780 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
39.98/40.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.98/40.04 c 40.0s| 39100 | 5102 |394261 | 10.1 | 19M| 24 | - | 585 | 702 | 585 | 531 | 48 |5797 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.09/40.13 c 40.1s| 39200 | 5100 |394992 | 10.1 | 19M| 24 | 49 | 585 | 697 | 585 | 531 | 48 |5809 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.19/40.21 c 40.2s| 39300 | 5092 |395639 | 10.1 | 19M| 24 | 66 | 585 | 711 | 585 | 531 | 48 |5833 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.19/40.29 c 40.3s| 39400 | 5092 |396298 | 10.0 | 19M| 24 | - | 585 | 708 | 0 | 0 | 48 |5851 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.28/40.37 c 40.4s| 39500 | 5089 |397000 | 10.0 | 19M| 24 | 62 | 585 | 699 | 585 | 531 | 48 |5854 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.38/40.46 c 40.5s| 39600 | 5091 |397639 | 10.0 | 19M| 24 | - | 585 | 704 | 0 | 0 | 48 |5873 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.48/40.55 c 40.5s| 39700 | 5093 |398371 | 10.0 | 19M| 24 | 65 | 585 | 702 | 585 | 531 | 48 |5893 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.59/40.64 c 40.6s| 39800 | 5084 |399178 | 10.0 | 19M| 24 | - | 585 | 714 | 0 | 0 | 48 |5913 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.69/40.73 c 40.7s| 39900 | 5086 |400024 | 10.0 | 19M| 24 | - | 585 | 712 | 585 | 531 | 48 |5932 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.78/40.83 c 40.8s| 40000 | 5085 |400751 | 10.0 | 19M| 24 | - | 585 | 717 | 585 | 531 | 48 |5951 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.88/40.90 c 40.9s| 40100 | 5077 |401431 | 10.0 | 19M| 24 | - | 585 | 716 | 585 | 531 | 48 |5971 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.88/40.99 c 41.0s| 40200 | 5073 |402255 | 10.0 | 19M| 24 | - | 585 | 714 | 585 | 531 | 48 |5988 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
40.98/41.07 c 41.1s| 40300 | 5063 |402951 | 10.0 | 19M| 24 | - | 585 | 711 | 585 | 531 | 48 |6002 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.09/41.16 c 41.2s| 40400 | 5065 |403804 | 10.0 | 19M| 24 | 75 | 585 | 710 | 585 | 531 | 48 |6024 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.18/41.25 c 41.3s| 40500 | 5065 |404666 | 10.0 | 19M| 24 | 67 | 585 | 714 | 585 | 531 | 48 |6050 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.28/41.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.28/41.32 c 41.3s| 40600 | 5066 |405167 | 10.0 | 19M| 24 | - | 585 | 703 | 585 | 531 | 48 |6060 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.38/41.40 c 41.4s| 40700 | 5057 |405822 | 10.0 | 19M| 24 | 52 | 585 | 707 | 585 | 531 | 48 |6072 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.38/41.49 c 41.5s| 40800 | 5048 |406569 | 10.0 | 19M| 24 | - | 585 | 721 | 585 | 531 | 48 |6093 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.48/41.59 c 41.6s| 40900 | 5053 |407667 | 10.0 | 19M| 24 | - | 585 | 706 | 0 | 0 | 48 |6104 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.58/41.68 c 41.7s| 41000 | 5048 |408312 | 9.9 | 19M| 24 | 31 | 585 | 703 | 585 | 531 | 48 |6129 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.68/41.76 c 41.8s| 41100 | 5047 |408944 | 9.9 | 19M| 24 | 41 | 585 | 718 | 585 | 531 | 48 |6160 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.79/41.85 c 41.9s| 41200 | 5055 |409708 | 9.9 | 19M| 24 | - | 585 | 722 | 0 | 0 | 48 |6180 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.88/41.94 c 41.9s| 41300 | 5058 |410461 | 9.9 | 19M| 24 | 51 | 585 | 730 | 585 | 531 | 48 |6196 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
41.98/42.03 c 42.0s| 41400 | 5057 |411133 | 9.9 | 19M| 24 | 56 | 585 | 744 | 585 | 531 | 48 |6235 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.09/42.11 c 42.1s| 41500 | 5042 |411639 | 9.9 | 19M| 24 | - | 585 | 741 | 0 | 0 | 48 |6259 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.09/42.19 c 42.2s| 41600 | 5049 |412260 | 9.9 | 19M| 24 | - | 585 | 735 | 585 | 531 | 48 |6273 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.18/42.28 c 42.3s| 41700 | 5044 |412791 | 9.9 | 19M| 24 | 46 | 585 | 727 | 585 | 531 | 48 |6289 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.29/42.37 c 42.4s| 41800 | 5059 |413598 | 9.9 | 19M| 24 | 74 | 585 | 729 | 585 | 531 | 48 |6312 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.38/42.46 c 42.5s| 41900 | 5056 |414128 | 9.9 | 20M| 24 | - | 585 | 734 | 585 | 531 | 48 |6329 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.48/42.56 c 42.6s| 42000 | 5064 |414921 | 9.9 | 20M| 24 | 43 | 585 | 722 | 585 | 531 | 48 |6341 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.58/42.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.58/42.63 c 42.6s| 42100 | 5066 |415430 | 9.9 | 20M| 24 | - | 585 | 723 | 585 | 531 | 48 |6343 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.69/42.70 c 42.7s| 42200 | 5058 |415924 | 9.8 | 20M| 24 | 64 | 585 | 709 | 585 | 531 | 48 |6354 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.69/42.79 c 42.8s| 42300 | 5064 |416649 | 9.8 | 20M| 24 | 54 | 585 | 710 | 585 | 531 | 48 |6378 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.79/42.88 c 42.9s| 42400 | 5068 |417404 | 9.8 | 20M| 24 | 39 | 585 | 722 | 585 | 531 | 48 |6409 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.88/42.97 c 43.0s| 42500 | 5062 |418112 | 9.8 | 20M| 24 | 50 | 585 | 727 | 585 | 531 | 48 |6422 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
42.99/43.05 c 43.1s| 42600 | 5057 |418822 | 9.8 | 20M| 24 | - | 585 | 724 | 585 | 531 | 48 |6442 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.08/43.14 c 43.1s| 42700 | 5064 |419529 | 9.8 | 20M| 24 | - | 585 | 738 | 0 | 0 | 48 |6463 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.18/43.24 c 43.2s| 42800 | 5068 |420307 | 9.8 | 20M| 24 | - | 585 | 734 | 0 | 0 | 48 |6482 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.29/43.32 c 43.3s| 42900 | 5071 |421119 | 9.8 | 20M| 24 | - | 585 | 735 | 585 | 531 | 48 |6493 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.38/43.41 c 43.4s| 43000 | 5072 |421866 | 9.8 | 20M| 24 | - | 585 | 733 | 585 | 531 | 48 |6503 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.38/43.49 c 43.5s| 43100 | 5060 |422523 | 9.8 | 20M| 24 | 73 | 585 | 737 | 585 | 531 | 48 |6522 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.48/43.57 c 43.6s| 43200 | 5065 |423251 | 9.8 | 20M| 24 | 52 | 585 | 726 | 585 | 531 | 48 |6540 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.58/43.65 c 43.7s| 43300 | 5060 |423830 | 9.8 | 20M| 24 | 33 | 585 | 720 | 585 | 531 | 48 |6568 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.68/43.74 c 43.7s| 43400 | 5056 |424467 | 9.8 | 20M| 24 | 36 | 585 | 719 | 585 | 531 | 48 |6580 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.78/43.83 c 43.8s| 43500 | 5060 |425293 | 9.8 | 20M| 24 | - | 585 | 708 | 0 | 0 | 48 |6586 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.88/43.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.88/43.94 c 43.9s| 43600 | 5074 |426291 | 9.8 | 20M| 24 | - | 585 | 709 | 0 | 0 | 48 |6604 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
43.99/44.03 c 44.0s| 43700 | 5074 |427100 | 9.8 | 20M| 24 | - | 585 | 716 | 585 | 531 | 48 |6619 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
44.08/44.12 c 44.1s| 43800 | 5084 |427923 | 9.8 | 20M| 24 | - | 585 | 712 | 585 | 531 | 48 |6639 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
44.08/44.19 c 44.2s| 43900 | 5079 |428397 | 9.7 | 20M| 24 | 49 | 585 | 714 | 585 | 531 | 48 |6658 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
44.18/44.29 c 44.3s| 44000 | 5077 |429221 | 9.7 | 20M| 24 | - | 585 | 719 | 0 | 0 | 48 |6687 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
44.28/44.37 c 44.4s| 44100 | 5077 |429794 | 9.7 | 20M| 24 | - | 585 | 723 | 0 | 0 | 48 |6706 | 0 | 3.000000e+00 | 7.000000e+00 | 133.33%
44.38/44.45 c 44.5s| 44200 | 5070 |430432 | 9.7 | 20M| 24 | - | 585 | 721 | 0 | 0 | 48 |6716 | 0 | 3.035714e+00 | 7.000000e+00 | 130.59%
44.48/44.53 c 44.5s| 44300 | 5065 |431057 | 9.7 | 20M| 24 | - | 585 | 718 | 0 | 0 | 48 |6732 | 0 | 3.083333e+00 | 7.000000e+00 | 127.03%
44.58/44.62 c 44.6s| 44400 | 5059 |431729 | 9.7 | 20M| 24 | - | 585 | 723 | 0 | 0 | 48 |6760 | 0 | 3.111111e+00 | 7.000000e+00 | 125.00%
44.68/44.72 c 44.7s| 44500 | 5061 |432670 | 9.7 | 20M| 24 | - | 585 | 735 | 585 | 531 | 48 |6788 | 0 | 3.111111e+00 | 7.000000e+00 | 125.00%
44.79/44.83 c 44.8s| 44600 | 5059 |433589 | 9.7 | 20M| 24 | 60 | 585 | 729 | 585 | 531 | 48 |6800 | 0 | 3.111111e+00 | 7.000000e+00 | 125.00%
44.88/44.94 c 44.9s| 44700 | 5069 |434445 | 9.7 | 20M| 24 | 52 | 585 | 756 | 585 | 531 | 48 |6849 | 0 | 3.111111e+00 | 7.000000e+00 | 125.00%
44.99/45.02 c 45.0s| 44800 | 5069 |435176 | 9.7 | 20M| 24 | 52 | 585 | 766 | 585 | 531 | 48 |6874 | 0 | 3.125000e+00 | 7.000000e+00 | 124.00%
45.09/45.12 c 45.1s| 44900 | 5075 |435939 | 9.7 | 20M| 24 | - | 585 | 769 | 0 | 0 | 48 |6907 | 0 | 3.125000e+00 | 7.000000e+00 | 124.00%
45.18/45.21 c 45.2s| 45000 | 5076 |436745 | 9.7 | 20M| 24 | - | 585 | 760 | 0 | 0 | 48 |6926 | 0 | 3.125000e+00 | 7.000000e+00 | 124.00%
45.28/45.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.28/45.30 c 45.3s| 45100 | 5066 |437470 | 9.7 | 20M| 24 | - | 585 | 744 | 0 | 0 | 48 |6940 | 0 | 3.125000e+00 | 7.000000e+00 | 124.00%
45.38/45.42 c 45.4s| 45200 | 5075 |438422 | 9.7 | 20M| 24 | - | 585 | 719 | 585 | 531 | 48 |6946 | 0 | 3.125000e+00 | 7.000000e+00 | 124.00%
45.48/45.51 c 45.5s| 45300 | 5082 |439258 | 9.7 | 20M| 24 | - | 585 | 716 | 0 | 0 | 48 |6966 | 0 | 3.125000e+00 | 7.000000e+00 | 124.00%
45.48/45.59 c 45.6s| 45400 | 5084 |439891 | 9.7 | 20M| 24 | 71 | 585 | 716 | 585 | 531 | 48 |6983 | 0 | 3.125000e+00 | 7.000000e+00 | 124.00%
45.58/45.68 c 45.7s| 45500 | 5094 |440683 | 9.7 | 20M| 24 | 69 | 585 | 703 | 585 | 531 | 48 |6992 | 0 | 3.150000e+00 | 7.000000e+00 | 122.22%
45.68/45.77 c 45.8s| 45600 | 5092 |441302 | 9.7 | 20M| 24 | 59 | 585 | 698 | 585 | 531 | 48 |7003 | 0 | 3.166667e+00 | 7.000000e+00 | 121.05%
45.79/45.85 c 45.9s| 45700 | 5088 |441977 | 9.7 | 20M| 24 | 74 | 585 | 703 | 585 | 531 | 48 |7027 | 0 | 3.166667e+00 | 7.000000e+00 | 121.05%
45.88/45.93 c 45.9s| 45800 | 5085 |442513 | 9.6 | 20M| 24 | - | 585 | 705 | 585 | 531 | 48 |7035 | 0 | 3.166667e+00 | 7.000000e+00 | 121.05%
45.98/46.04 c 46.0s| 45900 | 5085 |443402 | 9.6 | 21M| 24 | 73 | 585 | 731 | 585 | 531 | 48 |7063 | 0 | 3.166667e+00 | 7.000000e+00 | 121.05%
46.09/46.12 c 46.1s| 46000 | 5081 |444068 | 9.6 | 21M| 24 | - | 585 | 729 | 585 | 531 | 48 |7072 | 0 | 3.166667e+00 | 7.000000e+00 | 121.05%
46.09/46.20 c 46.2s| 46100 | 5070 |444580 | 9.6 | 20M| 24 | - | 585 | 744 | 585 | 531 | 48 |7095 | 0 | 3.166667e+00 | 7.000000e+00 | 121.05%
46.18/46.28 c 46.3s| 46200 | 5058 |445152 | 9.6 | 20M| 24 | - | 585 | 754 | 0 | 0 | 48 |7117 | 0 | 3.200000e+00 | 7.000000e+00 | 118.75%
46.28/46.36 c 46.4s| 46300 | 5055 |445740 | 9.6 | 20M| 24 | - | 585 | 757 | 585 | 531 | 48 |7134 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.38/46.44 c 46.4s| 46400 | 5049 |446349 | 9.6 | 21M| 24 | - | 585 | 742 | 0 | 0 | 48 |7156 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.48/46.53 c 46.5s| 46500 | 5050 |447158 | 9.6 | 21M| 24 | 73 | 585 | 738 | 585 | 531 | 48 |7164 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.58/46.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.58/46.63 c 46.6s| 46600 | 5052 |447879 | 9.6 | 21M| 24 | 70 | 585 | 731 | 585 | 531 | 48 |7175 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.68/46.71 c 46.7s| 46700 | 5064 |448582 | 9.6 | 21M| 24 | 50 | 585 | 727 | 585 | 531 | 48 |7192 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.78/46.81 c 46.8s| 46800 | 5066 |449391 | 9.6 | 21M| 24 | - | 585 | 716 | 0 | 0 | 48 |7199 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.88/46.90 c 46.9s| 46900 | 5062 |450145 | 9.6 | 21M| 24 | 59 | 585 | 717 | 585 | 531 | 48 |7215 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.88/46.98 c 47.0s| 47000 | 5053 |450736 | 9.6 | 21M| 24 | - | 585 | 725 | 585 | 531 | 48 |7236 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
46.99/47.06 c 47.1s| 47100 | 5046 |451460 | 9.6 | 21M| 24 | - | 585 | 730 | 585 | 531 | 48 |7253 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.09/47.14 c 47.1s| 47200 | 5031 |452168 | 9.6 | 21M| 24 | 60 | 585 | 724 | 585 | 531 | 48 |7267 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.19/47.24 c 47.2s| 47300 | 5035 |453104 | 9.6 | 21M| 24 | - | 585 | 726 | 585 | 531 | 48 |7279 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.29/47.32 c 47.3s| 47400 | 5023 |453745 | 9.6 | 21M| 24 | - | 585 | 722 | 0 | 0 | 48 |7293 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.38/47.40 c 47.4s| 47500 | 5022 |454300 | 9.6 | 21M| 24 | 55 | 585 | 718 | 585 | 531 | 48 |7308 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.38/47.48 c 47.5s| 47600 | 5022 |454947 | 9.5 | 21M| 24 | 68 | 585 | 711 | 585 | 531 | 48 |7323 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.48/47.57 c 47.6s| 47700 | 5018 |455597 | 9.5 | 21M| 24 | 64 | 585 | 726 | 585 | 531 | 48 |7357 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.58/47.65 c 47.6s| 47800 | 5002 |456205 | 9.5 | 21M| 24 | - | 585 | 738 | 585 | 531 | 48 |7383 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.68/47.74 c 47.7s| 47900 | 4986 |456838 | 9.5 | 21M| 24 | 55 | 585 | 736 | 585 | 531 | 48 |7398 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.78/47.81 c 47.8s| 48000 | 4979 |457363 | 9.5 | 21M| 24 | - | 585 | 740 | 0 | 0 | 48 |7427 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.88/47.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.88/47.90 c 47.9s| 48100 | 4981 |458077 | 9.5 | 21M| 24 | 48 | 585 | 733 | 585 | 531 | 48 |7442 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.88/47.99 c 48.0s| 48200 | 4984 |458811 | 9.5 | 21M| 24 | 51 | 585 | 727 | 585 | 531 | 48 |7451 | 0 | 3.250000e+00 | 7.000000e+00 | 115.38%
47.98/48.08 c 48.1s| 48300 | 4974 |459493 | 9.5 | 21M| 24 | 63 | 585 | 742 | 585 | 531 | 48 |7485 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.08/48.18 c 48.2s| 48400 | 4975 |460226 | 9.5 | 21M| 24 | - | 585 | 772 | 0 | 0 | 48 |7524 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.18/48.28 c 48.3s| 48500 | 4980 |460903 | 9.5 | 21M| 24 | 33 | 585 | 769 | 585 | 531 | 48 |7540 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.28/48.36 c 48.4s| 48600 | 4974 |461420 | 9.5 | 21M| 24 | 46 | 585 | 766 | 585 | 531 | 48 |7550 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.39/48.46 c 48.5s| 48700 | 4990 |462244 | 9.5 | 21M| 24 | - | 585 | 767 | 585 | 531 | 48 |7575 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.48/48.55 c 48.5s| 48800 | 4992 |462926 | 9.5 | 21M| 24 | 65 | 585 | 776 | 585 | 531 | 48 |7603 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.58/48.64 c 48.6s| 48900 | 4995 |463548 | 9.5 | 21M| 24 | 40 | 585 | 789 | 585 | 531 | 48 |7651 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.68/48.72 c 48.7s| 49000 | 4992 |464206 | 9.5 | 21M| 24 | 46 | 585 | 788 | 585 | 531 | 48 |7674 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.78/48.80 c 48.8s| 49100 | 4982 |464667 | 9.5 | 21M| 24 | - | 585 | 800 | 0 | 0 | 48 |7707 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.78/48.89 c 48.9s| 49200 | 4978 |465355 | 9.4 | 21M| 24 | 43 | 585 | 795 | 585 | 531 | 48 |7727 | 0 | 3.333333e+00 | 7.000000e+00 | 110.00%
48.88/48.97 c 49.0s| 49300 | 4961 |465974 | 9.4 | 21M| 24 | - | 585 | 768 | 585 | 531 | 48 |7739 | 0 | 3.375000e+00 | 7.000000e+00 | 107.41%
48.98/49.04 c 49.0s| 49400 | 4949 |466541 | 9.4 | 21M| 24 | - | 585 | 766 | 585 | 531 | 48 |7756 | 0 | 3.400000e+00 | 7.000000e+00 | 105.88%
49.08/49.13 c 49.1s| 49500 | 4940 |467381 | 9.4 | 21M| 24 | - | 585 | 755 | 0 | 0 | 48 |7765 | 0 | 3.400000e+00 | 7.000000e+00 | 105.88%
49.18/49.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.18/49.22 c 49.2s| 49600 | 4939 |468058 | 9.4 | 21M| 24 | 77 | 585 | 764 | 585 | 531 | 48 |7789 | 0 | 3.416667e+00 | 7.000000e+00 | 104.88%
49.29/49.30 c 49.3s| 49700 | 4924 |468557 | 9.4 | 21M| 24 | - | 585 | 783 | 0 | 0 | 48 |7830 | 0 | 3.444444e+00 | 7.000000e+00 | 103.23%
49.39/49.42 c 49.4s| 49800 | 4928 |469616 | 9.4 | 21M| 24 | 54 | 585 | 785 | 585 | 531 | 48 |7863 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
49.39/49.50 c 49.5s| 49900 | 4928 |470281 | 9.4 | 21M| 24 | 42 | 585 | 770 | 585 | 531 | 48 |7874 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
49.49/49.58 c 49.6s| 50000 | 4924 |470933 | 9.4 | 21M| 24 | 64 | 585 | 768 | 585 | 531 | 48 |7896 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
49.58/49.67 c 49.7s| 50100 | 4916 |471543 | 9.4 | 21M| 24 | - | 585 | 766 | 585 | 531 | 48 |7920 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
49.68/49.76 c 49.8s| 50200 | 4916 |472134 | 9.4 | 21M| 24 | 47 | 585 | 750 | 585 | 531 | 48 |7935 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
49.79/49.85 c 49.8s| 50300 | 4910 |472856 | 9.4 | 21M| 24 | - | 585 | 755 | 0 | 0 | 48 |7970 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
49.88/49.93 c 49.9s| 50400 | 4912 |473609 | 9.4 | 21M| 24 | - | 585 | 748 | 0 | 0 | 48 |7979 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
49.98/50.02 c 50.0s| 50500 | 4901 |474278 | 9.4 | 21M| 24 | - | 585 | 747 | 0 | 0 | 48 |7998 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.08/50.11 c 50.1s| 50600 | 4895 |474934 | 9.4 | 21M| 24 | 55 | 585 | 767 | 585 | 531 | 48 |8033 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.08/50.19 c 50.2s| 50700 | 4897 |475506 | 9.4 | 21M| 24 | 53 | 585 | 759 | 585 | 531 | 48 |8066 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.19/50.28 c 50.3s| 50800 | 4894 |476213 | 9.4 | 21M| 24 | 61 | 585 | 754 | 585 | 531 | 48 |8089 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.28/50.38 c 50.4s| 50900 | 4900 |476976 | 9.4 | 21M| 24 | 47 | 585 | 754 | 585 | 531 | 48 |8112 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.38/50.46 c 50.5s| 51000 | 4886 |477669 | 9.4 | 21M| 24 | - | 585 | 765 | 585 | 531 | 48 |8142 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.48/50.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.48/50.54 c 50.5s| 51100 | 4880 |478270 | 9.3 | 21M| 24 | - | 585 | 757 | 0 | 0 | 48 |8164 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.59/50.62 c 50.6s| 51200 | 4878 |478898 | 9.3 | 21M| 24 | - | 585 | 748 | 585 | 531 | 48 |8189 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.68/50.70 c 50.7s| 51300 | 4868 |479476 | 9.3 | 21M| 24 | 66 | 585 | 743 | 585 | 531 | 48 |8206 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.78/50.81 c 50.8s| 51400 | 4868 |480235 | 9.3 | 21M| 24 | 53 | 585 | 743 | 585 | 531 | 48 |8231 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.78/50.89 c 50.9s| 51500 | 4851 |480900 | 9.3 | 21M| 24 | 76 | 585 | 738 | 585 | 531 | 48 |8249 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.88/50.97 c 51.0s| 51600 | 4839 |481468 | 9.3 | 21M| 24 | 50 | 585 | 727 | 585 | 531 | 48 |8268 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
50.98/51.06 c 51.1s| 51700 | 4832 |482131 | 9.3 | 21M| 24 | 78 | 585 | 740 | 585 | 531 | 48 |8299 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.08/51.15 c 51.1s| 51800 | 4826 |482851 | 9.3 | 21M| 24 | - | 585 | 740 | 585 | 531 | 48 |8310 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.18/51.24 c 51.2s| 51900 | 4822 |483507 | 9.3 | 21M| 24 | - | 585 | 733 | 585 | 531 | 48 |8335 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.29/51.32 c 51.3s| 52000 | 4822 |484155 | 9.3 | 21M| 24 | 68 | 585 | 734 | 585 | 531 | 48 |8352 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.38/51.42 c 51.4s| 52100 | 4817 |484766 | 9.3 | 21M| 24 | - | 585 | 738 | 0 | 0 | 48 |8372 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.38/51.49 c 51.5s| 52200 | 4812 |485279 | 9.3 | 21M| 24 | - | 585 | 759 | 0 | 0 | 48 |8410 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.48/51.58 c 51.6s| 52300 | 4816 |485846 | 9.3 | 21M| 24 | 43 | 585 | 759 | 585 | 531 | 48 |8425 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.58/51.67 c 51.7s| 52400 | 4808 |486501 | 9.3 | 21M| 24 | 72 | 585 | 751 | 585 | 531 | 48 |8443 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.69/51.75 c 51.7s| 52500 | 4800 |487018 | 9.3 | 21M| 24 | - | 585 | 742 | 585 | 531 | 48 |8455 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.78/51.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.78/51.84 c 51.8s| 52600 | 4793 |487724 | 9.3 | 21M| 24 | 71 | 585 | 731 | 585 | 531 | 48 |8475 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.88/51.92 c 51.9s| 52700 | 4780 |488316 | 9.3 | 21M| 24 | 73 | 585 | 730 | 585 | 531 | 48 |8492 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.99/52.00 c 52.0s| 52800 | 4780 |488977 | 9.3 | 21M| 24 | 43 | 585 | 738 | 585 | 531 | 48 |8516 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
51.99/52.08 c 52.1s| 52900 | 4771 |489643 | 9.2 | 21M| 24 | - | 585 | 737 | 585 | 531 | 48 |8531 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.08/52.17 c 52.2s| 53000 | 4763 |490396 | 9.2 | 21M| 24 | - | 585 | 738 | 585 | 531 | 48 |8542 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.18/52.25 c 52.2s| 53100 | 4762 |491206 | 9.2 | 21M| 24 | - | 585 | 721 | 0 | 0 | 48 |8549 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.28/52.33 c 52.3s| 53200 | 4746 |491891 | 9.2 | 21M| 24 | - | 585 | 708 | 585 | 531 | 48 |8553 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.39/52.41 c 52.4s| 53300 | 4737 |492446 | 9.2 | 21M| 24 | - | 585 | 703 | 0 | 0 | 48 |8574 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.48/52.50 c 52.5s| 53400 | 4730 |493149 | 9.2 | 21M| 24 | 70 | 585 | 702 | 585 | 531 | 48 |8592 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.48/52.58 c 52.6s| 53500 | 4719 |493638 | 9.2 | 21M| 24 | - | 585 | 697 | 0 | 0 | 48 |8607 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.58/52.66 c 52.7s| 53600 | 4709 |494255 | 9.2 | 21M| 24 | 73 | 585 | 716 | 585 | 531 | 48 |8640 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.68/52.75 c 52.8s| 53700 | 4692 |494931 | 9.2 | 21M| 24 | 63 | 585 | 733 | 585 | 531 | 48 |8671 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.78/52.83 c 52.8s| 53800 | 4686 |495487 | 9.2 | 21M| 24 | - | 585 | 733 | 585 | 531 | 48 |8681 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.88/52.92 c 52.9s| 53900 | 4683 |496127 | 9.2 | 21M| 24 | - | 585 | 737 | 585 | 531 | 48 |8701 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.98/53.01 c 53.0s| 54000 | 4684 |496746 | 9.2 | 21M| 24 | 50 | 585 | 756 | 585 | 531 | 48 |8732 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
52.98/53.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.98/53.08 c 53.1s| 54100 | 4668 |497334 | 9.2 | 21M| 24 | - | 585 | 747 | 585 | 531 | 48 |8737 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.08/53.17 c 53.2s| 54200 | 4669 |498150 | 9.2 | 21M| 24 | 51 | 585 | 753 | 585 | 531 | 48 |8763 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.18/53.27 c 53.3s| 54300 | 4666 |498882 | 9.2 | 21M| 24 | 57 | 585 | 751 | 585 | 531 | 48 |8782 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.28/53.35 c 53.3s| 54400 | 4656 |499635 | 9.2 | 21M| 24 | - | 585 | 726 | 585 | 531 | 48 |8792 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.38/53.43 c 53.4s| 54500 | 4652 |500237 | 9.2 | 21M| 24 | - | 585 | 736 | 585 | 531 | 48 |8814 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.48/53.50 c 53.5s| 54600 | 4647 |500880 | 9.2 | 21M| 24 | 55 | 585 | 726 | 585 | 531 | 48 |8819 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.48/53.59 c 53.6s| 54700 | 4632 |501606 | 9.2 | 21M| 24 | 55 | 585 | 711 | 585 | 531 | 48 |8832 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.58/53.67 c 53.7s| 54800 | 4633 |502329 | 9.2 | 21M| 24 | 73 | 585 | 710 | 585 | 531 | 48 |8838 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.68/53.76 c 53.8s| 54900 | 4624 |503170 | 9.2 | 21M| 24 | 65 | 585 | 716 | 585 | 531 | 48 |8856 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.79/53.85 c 53.8s| 55000 | 4611 |503729 | 9.1 | 21M| 24 | - | 585 | 715 | 585 | 531 | 48 |8871 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.89/53.93 c 53.9s| 55100 | 4607 |504372 | 9.1 | 21M| 24 | 66 | 585 | 710 | 585 | 531 | 48 |8889 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.98/54.02 c 54.0s| 55200 | 4601 |505193 | 9.1 | 21M| 24 | 53 | 585 | 716 | 585 | 531 | 48 |8910 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
53.98/54.09 c 54.1s| 55300 | 4591 |505747 | 9.1 | 21M| 24 | - | 585 | 722 | 585 | 531 | 48 |8924 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.08/54.18 c 54.2s| 55400 | 4586 |506509 | 9.1 | 21M| 24 | - | 585 | 723 | 0 | 0 | 48 |8935 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.18/54.26 c 54.3s| 55500 | 4579 |507115 | 9.1 | 21M| 24 | 64 | 585 | 719 | 585 | 531 | 48 |8945 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.28/54.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.28/54.34 c 54.3s| 55600 | 4571 |507699 | 9.1 | 21M| 24 | 47 | 585 | 728 | 585 | 531 | 48 |8969 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.38/54.42 c 54.4s| 55700 | 4562 |508260 | 9.1 | 21M| 24 | - | 585 | 729 | 0 | 0 | 48 |8983 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.48/54.50 c 54.5s| 55800 | 4555 |508826 | 9.1 | 21M| 24 | 58 | 585 | 723 | 585 | 531 | 48 |8995 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.48/54.58 c 54.6s| 55900 | 4540 |509453 | 9.1 | 21M| 24 | - | 585 | 735 | 585 | 531 | 48 |9015 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.58/54.65 c 54.7s| 56000 | 4530 |510031 | 9.1 | 21M| 24 | 76 | 585 | 724 | 585 | 531 | 48 |9023 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.68/54.74 c 54.7s| 56100 | 4516 |510703 | 9.1 | 21M| 24 | 67 | 585 | 722 | 585 | 531 | 48 |9044 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.78/54.82 c 54.8s| 56200 | 4519 |511374 | 9.1 | 21M| 24 | 61 | 585 | 726 | 585 | 531 | 48 |9063 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.89/54.92 c 54.9s| 56300 | 4505 |512114 | 9.1 | 21M| 24 | - | 585 | 711 | 585 | 531 | 48 |9087 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.89/55.00 c 55.0s| 56400 | 4500 |512683 | 9.1 | 21M| 24 | 60 | 585 | 718 | 585 | 531 | 48 |9119 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
54.98/55.08 c 55.1s| 56500 | 4486 |513299 | 9.1 | 21M| 24 | 78 | 585 | 714 | 585 | 531 | 48 |9131 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.08/55.17 c 55.2s| 56600 | 4486 |513923 | 9.1 | 21M| 24 | 60 | 585 | 729 | 585 | 531 | 48 |9162 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.18/55.26 c 55.3s| 56700 | 4487 |514470 | 9.1 | 21M| 24 | 50 | 585 | 735 | 585 | 531 | 48 |9194 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.28/55.35 c 55.3s| 56800 | 4482 |515219 | 9.1 | 21M| 24 | - | 585 | 738 | 585 | 531 | 48 |9224 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.38/55.43 c 55.4s| 56900 | 4486 |515865 | 9.1 | 21M| 24 | - | 585 | 770 | 585 | 531 | 48 |9268 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.48/55.51 c 55.5s| 57000 | 4475 |516453 | 9.1 | 21M| 24 | 54 | 585 | 763 | 585 | 531 | 48 |9296 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.58/55.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.58/55.60 c 55.6s| 57100 | 4469 |517164 | 9.0 | 21M| 24 | 67 | 585 | 761 | 585 | 531 | 48 |9320 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.58/55.68 c 55.7s| 57200 | 4466 |517804 | 9.0 | 21M| 24 | - | 585 | 773 | 585 | 531 | 48 |9350 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.68/55.77 c 55.8s| 57300 | 4450 |518431 | 9.0 | 21M| 24 | 70 | 585 | 786 | 585 | 531 | 48 |9388 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.78/55.85 c 55.9s| 57400 | 4445 |518968 | 9.0 | 21M| 24 | - | 585 | 778 | 0 | 0 | 48 |9409 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.88/55.93 c 55.9s| 57500 | 4429 |519519 | 9.0 | 21M| 24 | 67 | 585 | 746 | 585 | 531 | 48 |9423 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.99/56.00 c 56.0s| 57600 | 4427 |520149 | 9.0 | 21M| 24 | - | 585 | 738 | 0 | 0 | 48 |9437 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
55.99/56.09 c 56.1s| 57700 | 4430 |520733 | 9.0 | 21M| 24 | 73 | 585 | 731 | 585 | 531 | 48 |9449 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.09/56.19 c 56.2s| 57800 | 4421 |521456 | 9.0 | 21M| 24 | 40 | 585 | 730 | 585 | 531 | 48 |9470 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.18/56.26 c 56.3s| 57900 | 4410 |521992 | 9.0 | 21M| 24 | - | 585 | 718 | 585 | 531 | 48 |9483 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.28/56.35 c 56.3s| 58000 | 4401 |522572 | 9.0 | 21M| 24 | - | 585 | 702 | 0 | 0 | 48 |9496 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.38/56.44 c 56.4s| 58100 | 4393 |523363 | 9.0 | 21M| 24 | - | 585 | 683 | 0 | 0 | 48 |9506 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.48/56.53 c 56.5s| 58200 | 4382 |524208 | 9.0 | 21M| 24 | 73 | 585 | 675 | 585 | 531 | 48 |9522 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.58/56.60 c 56.6s| 58300 | 4379 |524761 | 9.0 | 21M| 24 | 42 | 585 | 673 | 585 | 531 | 48 |9531 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.58/56.67 c 56.7s| 58400 | 4364 |525284 | 9.0 | 21M| 24 | 71 | 585 | 679 | 585 | 531 | 48 |9551 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.68/56.76 c 56.8s| 58500 | 4357 |526051 | 9.0 | 21M| 24 | - | 585 | 676 | 0 | 0 | 48 |9558 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.78/56.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.78/56.84 c 56.8s| 58600 | 4356 |526728 | 9.0 | 21M| 24 | 60 | 585 | 672 | 585 | 531 | 48 |9571 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.88/56.92 c 56.9s| 58700 | 4351 |527333 | 9.0 | 21M| 24 | - | 585 | 659 | 0 | 0 | 48 |9582 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.98/57.00 c 57.0s| 58800 | 4337 |528063 | 9.0 | 21M| 24 | 70 | 585 | 654 | 585 | 531 | 48 |9589 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
56.98/57.08 c 57.1s| 58900 | 4328 |528635 | 9.0 | 21M| 24 | - | 585 | 660 | 0 | 0 | 48 |9604 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.09/57.17 c 57.2s| 59000 | 4318 |529295 | 9.0 | 21M| 24 | 66 | 585 | 667 | 585 | 531 | 48 |9622 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.18/57.25 c 57.3s| 59100 | 4313 |529907 | 9.0 | 21M| 24 | - | 585 | 685 | 585 | 531 | 48 |9648 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.28/57.34 c 57.3s| 59200 | 4300 |530605 | 9.0 | 21M| 24 | 59 | 585 | 694 | 585 | 531 | 48 |9665 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.38/57.42 c 57.4s| 59300 | 4283 |531234 | 8.9 | 21M| 24 | - | 585 | 704 | 585 | 531 | 48 |9684 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.48/57.50 c 57.5s| 59400 | 4270 |531874 | 8.9 | 21M| 24 | 40 | 585 | 719 | 585 | 531 | 48 |9714 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.48/57.57 c 57.6s| 59500 | 4269 |532522 | 8.9 | 21M| 24 | - | 585 | 716 | 585 | 531 | 48 |9725 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.58/57.67 c 57.7s| 59600 | 4260 |533413 | 8.9 | 21M| 24 | - | 585 | 716 | 0 | 0 | 48 |9738 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.68/57.75 c 57.8s| 59700 | 4247 |534008 | 8.9 | 21M| 24 | - | 585 | 718 | 0 | 0 | 48 |9761 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.78/57.83 c 57.8s| 59800 | 4231 |534439 | 8.9 | 21M| 24 | - | 585 | 738 | 0 | 0 | 48 |9790 | 0 | 3.500000e+00 | 7.000000e+00 | 100.00%
57.88/57.93 c 57.9s| 59900 | 4218 |535035 | 8.9 | 21M| 24 | 64 | 585 | 760 | 585 | 531 | 48 |9822 | 0 | 3.583333e+00 | 7.000000e+00 | 95.35%
57.98/58.01 c 58.0s| 60000 | 4213 |535710 | 8.9 | 21M| 24 | - | 585 | 762 | 585 | 531 | 48 |9840 | 0 | 3.583333e+00 | 7.000000e+00 | 95.35%
58.08/58.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.08/58.10 c 58.1s| 60100 | 4200 |536480 | 8.9 | 21M| 24 | 81 | 585 | 775 | 585 | 531 | 48 |9881 | 0 | 3.611111e+00 | 7.000000e+00 | 93.85%
58.08/58.18 c 58.2s| 60200 | 4182 |537050 | 8.9 | 21M| 24 | - | 585 | 761 | 0 | 0 | 48 |9901 | 0 | 3.611111e+00 | 7.000000e+00 | 93.85%
58.19/58.27 c 58.3s| 60300 | 4168 |537806 | 8.9 | 21M| 24 | - | 585 | 753 | 0 | 0 | 48 |9918 | 0 | 3.625000e+00 | 7.000000e+00 | 93.10%
58.29/58.35 c 58.4s| 60400 | 4151 |538382 | 8.9 | 21M| 24 | 68 | 585 | 744 | 585 | 531 | 48 |9944 | 0 | 3.625000e+00 | 7.000000e+00 | 93.10%
58.38/58.44 c 58.4s| 60500 | 4143 |538962 | 8.9 | 21M| 24 | 45 | 585 | 740 | 585 | 531 | 48 |9960 | 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
58.48/58.52 c 58.5s| 60600 | 4133 |539549 | 8.9 | 21M| 24 | - | 585 | 732 | 585 | 531 | 48 |9978 | 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
58.58/58.61 c 58.6s| 60700 | 4123 |540143 | 8.9 | 21M| 24 | - | 585 | 733 | 585 | 531 | 48 | 10k| 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
58.58/58.69 c 58.7s| 60800 | 4110 |540632 | 8.9 | 21M| 24 | - | 585 | 731 | 0 | 0 | 48 | 10k| 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
58.68/58.77 c 58.8s| 60900 | 4109 |541268 | 8.9 | 21M| 24 | 48 | 585 | 739 | 585 | 531 | 48 | 10k| 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
58.78/58.86 c 58.9s| 61000 | 4096 |541917 | 8.9 | 21M| 24 | - | 585 | 739 | 0 | 0 | 48 | 10k| 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
58.88/58.94 c 58.9s| 61100 | 4075 |542466 | 8.9 | 21M| 24 | - | 585 | 749 | 0 | 0 | 48 | 10k| 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
58.98/59.03 c 59.0s| 61200 | 4054 |543087 | 8.9 | 20M| 24 | 37 | 585 | 747 | 585 | 531 | 48 | 10k| 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
59.08/59.10 c 59.1s| 61300 | 4032 |543609 | 8.9 | 20M| 24 | - | 585 | 748 | 0 | 0 | 48 | 10k| 0 | 3.666667e+00 | 7.000000e+00 | 90.91%
59.08/59.19 c 59.2s| 61400 | 4012 |544193 | 8.9 | 20M| 24 | - | 585 | 751 | 0 | 0 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.18/59.26 c 59.3s| 61500 | 3988 |544672 | 8.8 | 20M| 24 | - | 585 | 748 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.28/59.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.28/59.34 c 59.3s| 61600 | 3969 |545257 | 8.8 | 20M| 24 | 73 | 585 | 742 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.39/59.42 c 59.4s| 61700 | 3955 |545794 | 8.8 | 20M| 24 | - | 585 | 734 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.48/59.51 c 59.5s| 61800 | 3943 |546476 | 8.8 | 20M| 24 | - | 585 | 756 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.48/59.59 c 59.6s| 61900 | 3939 |547182 | 8.8 | 20M| 24 | 60 | 585 | 767 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.58/59.67 c 59.7s| 62000 | 3926 |547660 | 8.8 | 20M| 24 | 80 | 585 | 765 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.68/59.77 c 59.8s| 62100 | 3923 |548412 | 8.8 | 20M| 24 | 52 | 585 | 778 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.78/59.85 c 59.8s| 62200 | 3920 |548930 | 8.8 | 20M| 24 | 50 | 585 | 785 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.88/59.93 c 59.9s| 62300 | 3909 |549465 | 8.8 | 20M| 24 | 68 | 585 | 792 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.98/60.01 c 60.0s| 62400 | 3899 |549935 | 8.8 | 20M| 24 | - | 585 | 791 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
59.98/60.09 c 60.1s| 62500 | 3883 |550463 | 8.8 | 20M| 24 | - | 585 | 790 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
60.08/60.17 c 60.2s| 62600 | 3865 |550980 | 8.8 | 20M| 24 | - | 585 | 784 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
60.18/60.25 c 60.2s| 62700 | 3842 |551532 | 8.8 | 20M| 24 | - | 585 | 776 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
60.28/60.33 c 60.3s| 62800 | 3833 |552197 | 8.8 | 20M| 24 | - | 585 | 770 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
60.39/60.42 c 60.4s| 62900 | 3828 |552716 | 8.8 | 20M| 24 | 51 | 585 | 775 | 585 | 531 | 48 | 10k| 0 | 3.750000e+00 | 7.000000e+00 | 86.67%
60.48/60.50 c 60.5s| 63000 | 3811 |553290 | 8.8 | 20M| 24 | 48 | 585 | 770 | 585 | 531 | 48 | 10k| 0 | 3.833333e+00 | 7.000000e+00 | 82.61%
60.48/60.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.48/60.58 c 60.6s| 63100 | 3799 |553793 | 8.8 | 20M| 24 | - | 585 | 771 | 585 | 531 | 48 | 10k| 0 | 3.833333e+00 | 7.000000e+00 | 82.61%
60.58/60.65 c 60.7s| 63200 | 3791 |554182 | 8.8 | 20M| 24 | - | 585 | 761 | 0 | 0 | 48 | 10k| 0 | 3.833333e+00 | 7.000000e+00 | 82.61%
60.68/60.73 c 60.7s| 63300 | 3775 |554660 | 8.8 | 20M| 24 | - | 585 | 773 | 585 | 531 | 48 | 10k| 0 | 3.833333e+00 | 7.000000e+00 | 82.61%
60.78/60.82 c 60.8s| 63400 | 3765 |555335 | 8.8 | 20M| 24 | 75 | 585 | 779 | 585 | 531 | 48 | 10k| 0 | 3.833333e+00 | 7.000000e+00 | 82.61%
60.88/60.90 c 60.9s| 63500 | 3755 |555869 | 8.7 | 20M| 24 | 62 | 585 | 777 | 585 | 531 | 48 | 10k| 0 | 3.833333e+00 | 7.000000e+00 | 82.61%
60.88/60.98 c 61.0s| 63600 | 3742 |556476 | 8.7 | 20M| 24 | 32 | 585 | 767 | 585 | 531 | 48 | 10k| 0 | 3.833333e+00 | 7.000000e+00 | 82.61%
60.98/61.05 c 61.1s| 63700 | 3731 |557085 | 8.7 | 20M| 24 | 31 | 585 | 743 | 585 | 531 | 48 | 10k| 0 | 3.875000e+00 | 7.000000e+00 | 80.65%
61.08/61.13 c 61.1s| 63800 | 3723 |557758 | 8.7 | 20M| 24 | - | 585 | 741 | 585 | 531 | 48 | 10k| 0 | 3.900000e+00 | 7.000000e+00 | 79.49%
61.18/61.21 c 61.2s| 63900 | 3706 |558341 | 8.7 | 20M| 24 | - | 585 | 725 | 0 | 0 | 48 | 10k| 0 | 3.944444e+00 | 7.000000e+00 | 77.46%
61.28/61.30 c 61.3s| 64000 | 3698 |558938 | 8.7 | 20M| 24 | 79 | 585 | 728 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.28/61.38 c 61.4s| 64100 | 3680 |559553 | 8.7 | 20M| 24 | - | 585 | 724 | 0 | 0 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.37/61.45 c 61.5s| 64200 | 3664 |560054 | 8.7 | 20M| 24 | 74 | 585 | 738 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.49/61.54 c 61.5s| 64300 | 3648 |560697 | 8.7 | 20M| 24 | - | 585 | 746 | 0 | 0 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.59/61.61 c 61.6s| 64400 | 3642 |561145 | 8.7 | 20M| 24 | 67 | 585 | 756 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.59/61.68 c 61.7s| 64500 | 3622 |561591 | 8.7 | 20M| 24 | - | 585 | 756 | 0 | 0 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.68/61.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.68/61.76 c 61.8s| 64600 | 3602 |562108 | 8.7 | 20M| 24 | - | 585 | 753 | 0 | 0 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.78/61.85 c 61.9s| 64700 | 3590 |562593 | 8.7 | 20M| 24 | 41 | 585 | 769 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.88/61.93 c 61.9s| 64800 | 3574 |563053 | 8.7 | 20M| 25 | 57 | 585 | 774 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
61.98/62.01 c 62.0s| 64900 | 3553 |563672 | 8.7 | 20M| 25 | - | 585 | 768 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.08/62.11 c 62.1s| 65000 | 3544 |564459 | 8.7 | 20M| 25 | - | 585 | 753 | 0 | 0 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.08/62.18 c 62.2s| 65100 | 3518 |564899 | 8.7 | 20M| 25 | - | 585 | 747 | 0 | 0 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.17/62.26 c 62.3s| 65200 | 3497 |565638 | 8.7 | 20M| 25 | - | 585 | 748 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.28/62.34 c 62.3s| 65300 | 3460 |566133 | 8.7 | 20M| 25 | - | 585 | 750 | 585 | 531 | 48 | 10k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.38/62.42 c 62.4s| 65400 | 3440 |566741 | 8.7 | 19M| 25 | 70 | 585 | 744 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.48/62.51 c 62.5s| 65500 | 3408 |567267 | 8.7 | 19M| 25 | - | 585 | 743 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.48/62.59 c 62.6s| 65600 | 3382 |567822 | 8.6 | 19M| 25 | - | 585 | 736 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.59/62.67 c 62.7s| 65700 | 3351 |568441 | 8.6 | 19M| 25 | - | 585 | 736 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.69/62.75 c 62.7s| 65800 | 3329 |568982 | 8.6 | 19M| 25 | - | 585 | 725 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.78/62.84 c 62.8s| 65900 | 3309 |569662 | 8.6 | 19M| 25 | 66 | 585 | 722 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.88/62.92 c 62.9s| 66000 | 3290 |570092 | 8.6 | 19M| 25 | - | 585 | 747 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.97/63.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.97/63.00 c 63.0s| 66100 | 3272 |570685 | 8.6 | 19M| 25 | 52 | 585 | 755 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
62.97/63.07 c 63.1s| 66200 | 3251 |571215 | 8.6 | 19M| 25 | - | 585 | 751 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.08/63.15 c 63.2s| 66300 | 3239 |571785 | 8.6 | 19M| 25 | - | 585 | 749 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.18/63.23 c 63.2s| 66400 | 3221 |572369 | 8.6 | 19M| 25 | 75 | 585 | 744 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.28/63.32 c 63.3s| 66500 | 3210 |573078 | 8.6 | 19M| 25 | 65 | 585 | 762 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.38/63.40 c 63.4s| 66600 | 3208 |573643 | 8.6 | 19M| 25 | 64 | 585 | 753 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.38/63.48 c 63.5s| 66700 | 3184 |574224 | 8.6 | 19M| 25 | 64 | 585 | 741 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.47/63.56 c 63.6s| 66800 | 3165 |574722 | 8.6 | 19M| 25 | - | 585 | 736 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.58/63.63 c 63.6s| 66900 | 3148 |575230 | 8.6 | 19M| 25 | - | 585 | 733 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.68/63.71 c 63.7s| 67000 | 3139 |575796 | 8.6 | 19M| 25 | 37 | 585 | 722 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.68/63.79 c 63.8s| 67100 | 3115 |576276 | 8.6 | 19M| 25 | - | 585 | 715 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.79/63.87 c 63.9s| 67200 | 3100 |576937 | 8.6 | 19M| 25 | 66 | 585 | 715 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.88/63.95 c 64.0s| 67300 | 3088 |577472 | 8.6 | 19M| 25 | - | 585 | 723 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
63.98/64.03 c 64.0s| 67400 | 3070 |578096 | 8.6 | 19M| 25 | - | 585 | 728 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.08/64.11 c 64.1s| 67500 | 3061 |578581 | 8.6 | 19M| 25 | - | 585 | 735 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.08/64.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.08/64.18 c 64.2s| 67600 | 3042 |579186 | 8.6 | 19M| 25 | 63 | 585 | 732 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.18/64.27 c 64.3s| 67700 | 3017 |579732 | 8.6 | 19M| 25 | 57 | 585 | 730 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.28/64.34 c 64.3s| 67800 | 3000 |580122 | 8.5 | 18M| 25 | - | 585 | 719 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.38/64.42 c 64.4s| 67900 | 2969 |580707 | 8.5 | 18M| 25 | 64 | 585 | 716 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.48/64.51 c 64.5s| 68000 | 2958 |581350 | 8.5 | 18M| 25 | 57 | 585 | 727 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.48/64.58 c 64.6s| 68100 | 2939 |581885 | 8.5 | 18M| 25 | 44 | 585 | 716 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.58/64.66 c 64.7s| 68200 | 2915 |582372 | 8.5 | 18M| 25 | - | 585 | 715 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.68/64.73 c 64.7s| 68300 | 2893 |582857 | 8.5 | 18M| 25 | - | 585 | 721 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.79/64.82 c 64.8s| 68400 | 2869 |583475 | 8.5 | 18M| 25 | - | 585 | 733 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.79/64.90 c 64.9s| 68500 | 2853 |584072 | 8.5 | 18M| 25 | 66 | 585 | 724 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.89/64.99 c 65.0s| 68600 | 2837 |584711 | 8.5 | 18M| 25 | 58 | 585 | 735 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
64.98/65.07 c 65.1s| 68700 | 2816 |585301 | 8.5 | 18M| 25 | - | 585 | 730 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.08/65.15 c 65.1s| 68800 | 2797 |585896 | 8.5 | 18M| 25 | 60 | 585 | 731 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.18/65.23 c 65.2s| 68900 | 2774 |586443 | 8.5 | 18M| 25 | 72 | 585 | 736 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.28/65.31 c 65.3s| 69000 | 2749 |586966 | 8.5 | 18M| 25 | 51 | 585 | 741 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.28/65.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.28/65.39 c 65.4s| 69100 | 2734 |587656 | 8.5 | 18M| 25 | - | 585 | 741 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.38/65.48 c 65.5s| 69200 | 2711 |588271 | 8.5 | 18M| 25 | - | 585 | 759 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.48/65.56 c 65.6s| 69300 | 2698 |588808 | 8.5 | 18M| 25 | - | 585 | 746 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.58/65.64 c 65.6s| 69400 | 2664 |589351 | 8.5 | 17M| 25 | 66 | 585 | 742 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.68/65.72 c 65.7s| 69500 | 2643 |589845 | 8.5 | 17M| 25 | - | 585 | 744 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.78/65.81 c 65.8s| 69600 | 2625 |590389 | 8.5 | 17M| 25 | - | 585 | 749 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.78/65.89 c 65.9s| 69700 | 2611 |591003 | 8.5 | 17M| 25 | - | 585 | 745 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.88/65.97 c 66.0s| 69800 | 2582 |591545 | 8.5 | 17M| 25 | - | 585 | 753 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
65.99/66.05 c 66.0s| 69900 | 2558 |592100 | 8.5 | 17M| 25 | - | 585 | 747 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.08/66.13 c 66.1s| 70000 | 2533 |592708 | 8.5 | 17M| 25 | - | 585 | 740 | 0 | 0 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.17/66.22 c 66.2s| 70100 | 2511 |593435 | 8.5 | 17M| 25 | - | 585 | 737 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.28/66.30 c 66.3s| 70200 | 2497 |593980 | 8.5 | 17M| 25 | 54 | 585 | 733 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.28/66.38 c 66.4s| 70300 | 2475 |594529 | 8.4 | 17M| 25 | - | 585 | 741 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.38/66.45 c 66.5s| 70400 | 2447 |594978 | 8.4 | 17M| 25 | - | 585 | 752 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.48/66.54 c 66.5s| 70500 | 2419 |595534 | 8.4 | 17M| 25 | 66 | 585 | 758 | 585 | 531 | 48 | 11k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.58/66.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.58/66.62 c 66.6s| 70600 | 2388 |596044 | 8.4 | 16M| 25 | 67 | 585 | 760 | 585 | 531 | 48 | 12k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.58/66.69 c 66.7s| 70700 | 2356 |596628 | 8.4 | 16M| 25 | - | 585 | 761 | 585 | 531 | 48 | 12k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.68/66.78 c 66.8s| 70800 | 2340 |597297 | 8.4 | 16M| 25 | 77 | 585 | 752 | 585 | 531 | 48 | 12k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.78/66.86 c 66.9s| 70900 | 2314 |597823 | 8.4 | 16M| 25 | - | 585 | 757 | 0 | 0 | 48 | 12k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.88/66.95 c 67.0s| 71000 | 2289 |598442 | 8.4 | 16M| 25 | - | 585 | 761 | 0 | 0 | 48 | 12k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
66.99/67.03 c 67.0s| 71100 | 2259 |598911 | 8.4 | 16M| 25 | - | 585 | 768 | 585 | 531 | 48 | 12k| 0 | 4.000000e+00 | 7.000000e+00 | 75.00%
67.08/67.11 c 67.1s| 71200 | 2241 |599491 | 8.4 | 16M| 25 | - | 585 | 761 | 585 | 531 | 48 | 12k| 0 | 4.083333e+00 | 7.000000e+00 | 71.43%
67.08/67.19 c 67.2s| 71300 | 2209 |599988 | 8.4 | 16M| 25 | - | 585 | 783 | 0 | 0 | 48 | 12k| 0 | 4.111111e+00 | 7.000000e+00 | 70.27%
67.17/67.27 c 67.3s| 71400 | 2178 |600527 | 8.4 | 16M| 25 | - | 585 | 772 | 585 | 531 | 48 | 12k| 0 | 4.111111e+00 | 7.000000e+00 | 70.27%
67.28/67.36 c 67.4s| 71500 | 2152 |601272 | 8.4 | 16M| 25 | - | 585 | 781 | 0 | 0 | 48 | 12k| 0 | 4.125000e+00 | 7.000000e+00 | 69.70%
67.38/67.43 c 67.4s| 71600 | 2125 |601685 | 8.4 | 15M| 25 | - | 585 | 773 | 0 | 0 | 48 | 12k| 0 | 4.125000e+00 | 7.000000e+00 | 69.70%
67.48/67.51 c 67.5s| 71700 | 2109 |602209 | 8.4 | 15M| 25 | - | 585 | 761 | 0 | 0 | 48 | 12k| 0 | 4.166667e+00 | 7.000000e+00 | 68.00%
67.48/67.58 c 67.6s| 71800 | 2083 |602608 | 8.4 | 15M| 25 | - | 585 | 779 | 0 | 0 | 48 | 12k| 0 | 4.166667e+00 | 7.000000e+00 | 68.00%
67.58/67.66 c 67.7s| 71900 | 2055 |603113 | 8.4 | 15M| 25 | - | 585 | 783 | 0 | 0 | 48 | 12k| 0 | 4.166667e+00 | 7.000000e+00 | 68.00%
67.68/67.74 c 67.7s| 72000 | 2039 |603675 | 8.4 | 15M| 25 | - | 585 | 783 | 585 | 531 | 48 | 12k| 0 | 4.166667e+00 | 7.000000e+00 | 68.00%
67.78/67.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.78/67.82 c 67.8s| 72100 | 2012 |604067 | 8.4 | 15M| 25 | - | 585 | 792 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
67.88/67.90 c 67.9s| 72200 | 1996 |604680 | 8.4 | 15M| 25 | 48 | 585 | 785 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
67.88/67.97 c 68.0s| 72300 | 1967 |605078 | 8.4 | 15M| 25 | 61 | 585 | 793 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
67.98/68.05 c 68.1s| 72400 | 1939 |605496 | 8.4 | 15M| 25 | - | 585 | 795 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.09/68.13 c 68.1s| 72500 | 1914 |605987 | 8.4 | 15M| 25 | - | 585 | 793 | 0 | 0 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.18/68.21 c 68.2s| 72600 | 1874 |606479 | 8.3 | 14M| 25 | - | 585 | 793 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.18/68.29 c 68.3s| 72700 | 1849 |607046 | 8.3 | 14M| 25 | - | 585 | 792 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.28/68.37 c 68.4s| 72800 | 1827 |607577 | 8.3 | 14M| 25 | 65 | 585 | 794 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.37/68.45 c 68.5s| 72900 | 1814 |608132 | 8.3 | 14M| 25 | - | 585 | 785 | 0 | 0 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.48/68.54 c 68.5s| 73000 | 1778 |608669 | 8.3 | 14M| 25 | 69 | 585 | 768 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.57/68.61 c 68.6s| 73100 | 1749 |609146 | 8.3 | 14M| 25 | - | 585 | 760 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.57/68.69 c 68.7s| 73200 | 1725 |609677 | 8.3 | 14M| 25 | 69 | 585 | 745 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.68/68.77 c 68.8s| 73300 | 1703 |610107 | 8.3 | 14M| 25 | 43 | 585 | 755 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.78/68.84 c 68.8s| 73400 | 1667 |610400 | 8.3 | 14M| 25 | 74 | 585 | 771 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.88/68.91 c 68.9s| 73500 | 1643 |610777 | 8.3 | 14M| 25 | - | 585 | 775 | 585 | 531 | 48 | 12k| 0 | 4.250000e+00 | 7.000000e+00 | 64.71%
68.98/69.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.98/69.00 c 69.0s| 73600 | 1621 |611407 | 8.3 | 13M| 25 | - | 585 | 770 | 585 | 531 | 48 | 12k| 0 | 4.333333e+00 | 7.000000e+00 | 61.54%
68.98/69.08 c 69.1s| 73700 | 1591 |611922 | 8.3 | 13M| 25 | 62 | 585 | 778 | 585 | 531 | 48 | 12k| 0 | 4.416667e+00 | 7.000000e+00 | 58.49%
69.07/69.16 c 69.2s| 73800 | 1556 |612368 | 8.3 | 13M| 25 | - | 585 | 783 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.19/69.24 c 69.2s| 73900 | 1525 |612864 | 8.3 | 13M| 25 | - | 585 | 793 | 0 | 0 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.28/69.31 c 69.3s| 74000 | 1511 |613304 | 8.3 | 13M| 25 | - | 585 | 777 | 0 | 0 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.37/69.40 c 69.4s| 74100 | 1484 |613841 | 8.3 | 13M| 25 | 52 | 585 | 782 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.37/69.48 c 69.5s| 74200 | 1456 |614295 | 8.3 | 13M| 25 | - | 585 | 783 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.47/69.55 c 69.5s| 74300 | 1419 |614637 | 8.3 | 12M| 25 | - | 585 | 779 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.58/69.63 c 69.6s| 74400 | 1391 |615104 | 8.3 | 12M| 25 | 72 | 585 | 781 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.68/69.71 c 69.7s| 74500 | 1351 |615641 | 8.3 | 12M| 25 | 55 | 585 | 790 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.68/69.79 c 69.8s| 74600 | 1314 |616165 | 8.3 | 12M| 25 | 57 | 585 | 782 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.78/69.87 c 69.9s| 74700 | 1281 |616628 | 8.2 | 12M| 25 | - | 585 | 791 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.88/69.94 c 69.9s| 74800 | 1251 |616968 | 8.2 | 12M| 25 | 81 | 585 | 788 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
69.98/70.02 c 70.0s| 74900 | 1227 |617478 | 8.2 | 12M| 25 | - | 585 | 789 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.08/70.10 c 70.1s| 75000 | 1193 |617913 | 8.2 | 12M| 25 | - | 585 | 802 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.08/70.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.08/70.18 c 70.2s| 75100 | 1152 |618402 | 8.2 | 11M| 25 | - | 585 | 815 | 0 | 0 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.18/70.26 c 70.3s| 75200 | 1120 |618833 | 8.2 | 11M| 25 | 71 | 585 | 809 | 585 | 531 | 48 | 12k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.29/70.34 c 70.3s| 75300 | 1091 |619283 | 8.2 | 11M| 25 | - | 585 | 813 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.39/70.41 c 70.4s| 75400 | 1047 |619646 | 8.2 | 11M| 25 | 72 | 585 | 817 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.48/70.50 c 70.5s| 75500 | 1014 |620228 | 8.2 | 10M| 25 | - | 585 | 816 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.48/70.57 c 70.6s| 75600 | 989 |620612 | 8.2 | 10M| 25 | 57 | 585 | 809 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.58/70.64 c 70.6s| 75700 | 956 |620978 | 8.2 | 10M| 25 | - | 585 | 791 | 0 | 0 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.68/70.73 c 70.7s| 75800 | 919 |621520 | 8.2 | 10M| 25 | - | 585 | 794 | 0 | 0 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.78/70.80 c 70.8s| 75900 | 881 |621961 | 8.2 | 10M| 25 | 46 | 585 | 801 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.78/70.88 c 70.9s| 76000 | 844 |622413 | 8.2 | 10M| 25 | 61 | 585 | 807 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.88/70.95 c 71.0s| 76100 | 819 |622768 | 8.2 |9934k| 25 | - | 585 | 817 | 0 | 0 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
70.97/71.03 c 71.0s| 76200 | 790 |623211 | 8.2 |9739k| 25 | 73 | 585 | 812 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.08/71.11 c 71.1s| 76300 | 751 |623711 | 8.2 |9531k| 25 | - | 585 | 792 | 0 | 0 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.08/71.19 c 71.2s| 76400 | 710 |624124 | 8.2 |9234k| 25 | 66 | 585 | 809 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.18/71.27 c 71.3s| 76500 | 674 |624561 | 8.2 |9027k| 25 | 83 | 585 | 806 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.28/71.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.28/71.34 c 71.3s| 76600 | 643 |624948 | 8.2 |8903k| 25 | - | 585 | 800 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.39/71.42 c 71.4s| 76700 | 606 |625332 | 8.1 |8621k| 25 | 65 | 585 | 789 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.39/71.49 c 71.5s| 76800 | 568 |625712 | 8.1 |8475k| 25 | - | 585 | 792 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.48/71.56 c 71.6s| 76900 | 536 |626056 | 8.1 |8252k| 25 | 38 | 585 | 800 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.58/71.63 c 71.6s| 77000 | 511 |626425 | 8.1 |8129k| 25 | - | 585 | 811 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.68/71.71 c 71.7s| 77100 | 463 |626787 | 8.1 |7730k| 25 | 68 | 585 | 810 | 585 | 531 | 48 | 13k| 0 | 4.500000e+00 | 7.000000e+00 | 55.56%
71.68/71.78 c 71.8s| 77200 | 412 |627160 | 8.1 |7368k| 25 | 76 | 585 | 811 | 585 | 531 | 48 | 13k| 0 | 4.666667e+00 | 7.000000e+00 | 50.00%
71.78/71.86 c 71.9s| 77300 | 366 |627647 | 8.1 |7104k| 25 | - | 585 | 810 | 0 | 0 | 48 | 13k| 0 | 4.750000e+00 | 7.000000e+00 | 47.37%
71.88/71.94 c 71.9s| 77400 | 326 |628053 | 8.1 |6893k| 25 | - | 585 | 808 | 0 | 0 | 48 | 13k| 0 | 4.833333e+00 | 7.000000e+00 | 44.83%
71.98/72.01 c 72.0s| 77500 | 282 |628349 | 8.1 |6606k| 25 | - | 585 | 815 | 585 | 531 | 48 | 13k| 0 | 4.833333e+00 | 7.000000e+00 | 44.83%
71.98/72.08 c 72.1s| 77600 | 239 |628695 | 8.1 |6219k| 25 | - | 585 | 822 | 0 | 0 | 48 | 13k| 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
72.07/72.16 c 72.2s| 77700 | 188 |629091 | 8.1 |5878k| 25 | - | 585 | 811 | 585 | 531 | 48 | 13k| 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
72.18/72.23 c 72.2s| 77800 | 162 |629468 | 8.1 |5711k| 25 | - | 585 | 823 | 585 | 531 | 48 | 13k| 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
72.28/72.31 c 72.3s| 77900 | 113 |629776 | 8.1 |5412k| 25 | 60 | 585 | 812 | 585 | 531 | 48 | 13k| 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
72.28/72.38 c 72.4s| 78000 | 50 |630091 | 8.1 |4764k| 25 | - | 585 | 810 | 585 | 531 | 48 | 13k| 0 | 5.000000e+00 | 7.000000e+00 | 40.00%
72.37/72.44 c
72.37/72.44 c SCIP Status : problem is solved [optimal solution found]
72.37/72.44 c Solving Time (sec) : 72.44
72.37/72.44 c Solving Nodes : 78071
72.37/72.44 c Primal Bound : +7.00000000000000e+00 (71 solutions)
72.37/72.44 c Dual Bound : +7.00000000000000e+00
72.37/72.44 c Gap : 0.00 %
72.37/72.44 s OPTIMUM FOUND
72.37/72.44 v -x120 -x119 x118 -x117 -x116 x115 x114 -x113 -x112 -x111 -x110 x109 -x108 x107 -x106 -x105 -x104 x103 -x102 x101 -x100 -x99 -x98
72.37/72.44 v x97 -x96 x95 -x94 -x93 x92 -x91 x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 -x81 x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 x71
72.37/72.44 v -x70 x69 -x68 -x67 -x66 x65 -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 x55 -x54 x53 -x52 x51 -x50 -x49 x48 -x47 -x46 -x45 x44
72.37/72.44 v -x43 x42 -x41 -x40 -x39 -x38 x37 x36 -x35 -x34 -x33 -x32 x31 -x30 -x29 x28 -x27 x26 -x25 -x24 x23 -x22 -x21 -x20 x19 x18 -x17
72.37/72.44 v -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 x8 -x7 -x6 -x5 x4 x3 -x2 -x1
72.37/72.44 c SCIP Status : problem is solved [optimal solution found]
72.37/72.44 c Total Time : 72.44
72.37/72.44 c solving : 72.44
72.37/72.44 c presolving : 0.03 (included in solving)
72.37/72.44 c reading : 0.00 (included in solving)
72.37/72.44 c copying : 0.02 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
72.37/72.44 c Original Problem :
72.37/72.44 c Problem name : HOME/instance-3717605-1338205719.wbo
72.37/72.44 c Variables : 354 (354 binary, 0 integer, 0 implicit integer, 0 continuous)
72.37/72.44 c Constraints : 275 initial, 275 maximal
72.37/72.44 c Objective sense : minimize
72.37/72.44 c Presolved Problem :
72.37/72.44 c Problem name : t_HOME/instance-3717605-1338205719.wbo
72.37/72.44 c Variables : 585 (351 binary, 0 integer, 234 implicit integer, 0 continuous)
72.37/72.44 c Constraints : 508 initial, 827 maximal
72.37/72.44 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
72.37/72.44 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c setppc : 0.00 0.00 3 0 0 0 0 1 0 0 0
72.37/72.44 c linear : 0.00 0.00 0 0 0 234 0 0 0 0 0
72.37/72.44 c indicator : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
72.37/72.44 c root node : - - 3 - - 3 - - - - -
72.37/72.44 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
72.37/72.44 c integral : 0 0 0 0 40936 0 41087 0 0 0 0 0 81872
72.37/72.44 c knapsack : 1 1 0 148609 0 0 41084 0 0 0 0 0 0
72.37/72.44 c setppc : 39 39 7 231909 0 0 39076 18876 895 155735 0 0 0
72.37/72.44 c linear : 234 234 7 231014 0 0 71 25059 1774 431851 0 0 0
72.37/72.44 c indicator : 234 234 0 229202 0 0 71 16432 0 1694280 0 0 0
72.37/72.44 c logicor : 0+ 319 0 111642 0 0 0 9515 21073 74363 0 0 0
72.37/72.44 c countsols : 0 0 0 0 0 0 73 0 0 0 0 0 0
72.37/72.44 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
72.37/72.44 c integral : 0.85 0.00 0.00 0.00 0.34 0.00 0.51 0.00
72.37/72.44 c knapsack : 0.38 0.00 0.00 0.14 0.00 0.00 0.24 0.00
72.37/72.44 c setppc : 0.58 0.00 0.00 0.54 0.00 0.00 0.03 0.01
72.37/72.44 c linear : 2.07 0.00 0.00 2.05 0.00 0.00 0.00 0.02
72.37/72.44 c indicator : 2.29 0.00 0.00 2.28 0.00 0.00 0.01 0.01
72.37/72.44 c logicor : 1.19 0.00 0.00 1.18 0.00 0.00 0.00 0.01
72.37/72.44 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
72.37/72.44 c Propagators : #Propagate #ResProp Cutoffs DomReds
72.37/72.44 c rootredcost : 2 0 0 0
72.37/72.44 c pseudoobj : 272544 4516 252 31174
72.37/72.44 c vbounds : 52857 26613 14 4407466
72.37/72.44 c redcost : 59788 0 0 3053525
72.37/72.44 c probing : 0 0 0 0
72.37/72.44 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
72.37/72.44 c rootredcost : 0.07 0.00 0.00 0.07 0.00
72.37/72.44 c pseudoobj : 0.35 0.00 0.00 0.29 0.06
72.37/72.44 c vbounds : 3.23 0.00 0.00 3.23 0.01
72.37/72.44 c redcost : 2.42 0.00 0.00 2.42 0.00
72.37/72.44 c probing : 0.02 0.00 0.02 0.00 0.00
72.37/72.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
72.37/72.44 c propagation : 0.25 24008 10986 14299 19.7 61 8.2 -
72.37/72.44 c infeasible LP : 0.00 44 44 76 25.5 0 0.0 0
72.37/72.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
72.37/72.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
72.37/72.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
72.37/72.44 c applied globally : - - - 13568 18.6 - - -
72.37/72.44 c applied locally : - - - 32 63.3 - - -
72.37/72.44 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
72.37/72.44 c cut pool : 0.00 6 - - 52 - (maximal pool size: 746)
72.37/72.44 c closecuts : 0.00 0.00 0 0 0 0 0
72.37/72.44 c impliedbounds : 0.00 0.00 7 0 0 0 0
72.37/72.44 c intobj : 0.00 0.00 0 0 0 0 0
72.37/72.44 c gomory : 0.01 0.00 7 0 0 350 0
72.37/72.44 c cgmip : 0.00 0.00 0 0 0 0 0
72.37/72.44 c strongcg : 0.03 0.00 7 0 0 1429 0
72.37/72.44 c cmir : 0.04 0.00 7 0 0 0 0
72.37/72.44 c flowcover : 0.02 0.00 7 0 0 2 0
72.37/72.44 c clique : 0.00 0.00 7 0 0 0 0
72.37/72.44 c zerohalf : 0.00 0.00 0 0 0 0 0
72.37/72.44 c mcf : 0.00 0.00 1 0 0 0 0
72.37/72.44 c oddcycle : 0.00 0.00 0 0 0 0 0
72.37/72.44 c rapidlearning : 0.03 0.00 1 0 0 0 0
72.37/72.44 c Pricers : ExecTime SetupTime Calls Vars
72.37/72.44 c problem variables: 0.00 - 0 0
72.37/72.44 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
72.37/72.44 c inference : 0.31 0.00 40936 0 0 0 0 81872
72.37/72.44 c relpscost : 0.00 0.00 0 0 0 0 0 0
72.37/72.44 c pscost : 0.00 0.00 0 0 0 0 0 0
72.37/72.44 c mostinf : 0.00 0.00 0 0 0 0 0 0
72.37/72.44 c leastinf : 0.00 0.00 0 0 0 0 0 0
72.37/72.44 c fullstrong : 0.00 0.00 0 0 0 0 0 0
72.37/72.44 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
72.37/72.44 c random : 0.00 0.00 0 0 0 0 0 0
72.37/72.44 c Primal Heuristics : ExecTime SetupTime Calls Found
72.37/72.44 c LP solutions : 0.00 - - 0
72.37/72.44 c pseudo solutions : 0.00 - - 0
72.37/72.44 c oneopt : 0.02 0.00 4 0
72.37/72.44 c indoneopt : 0.09 0.00 5 0
72.37/72.44 c feaspump : 0.02 0.00 1 0
72.37/72.44 c objpscostdiving : 0.11 0.00 20 14
72.37/72.44 c pscostdiving : 1.30 0.00 685 0
72.37/72.44 c guideddiving : 1.87 0.00 686 0
72.37/72.44 c linesearchdiving : 1.44 0.00 686 0
72.37/72.44 c fracdiving : 1.96 0.00 686 0
72.37/72.44 c veclendiving : 1.08 0.00 686 2
72.37/72.44 c smallcard : 0.00 0.00 0 0
72.37/72.44 c trivial : 0.00 0.00 2 0
72.37/72.44 c shiftandpropagate: 0.00 0.00 0 0
72.37/72.44 c simplerounding : 0.02 0.00 0 0
72.37/72.44 c zirounding : 0.37 0.00 0 0
72.37/72.44 c rounding : 0.11 0.00 2786 0
72.37/72.44 c shifting : 0.17 0.00 1863 25
72.37/72.44 c intshifting : 0.00 0.00 0 0
72.37/72.44 c twoopt : 0.00 0.00 0 0
72.37/72.44 c indtwoopt : 0.00 0.00 0 0
72.37/72.44 c fixandinfer : 0.00 0.00 0 0
72.37/72.44 c clique : 0.00 0.00 0 0
72.37/72.44 c coefdiving : 3.04 0.00 661 1
72.37/72.44 c indrounding : 5.77 0.00 40936 0
72.37/72.44 c indcoefdiving : 0.00 0.00 0 0
72.37/72.44 c nlpdiving : 0.00 0.00 0 0
72.37/72.44 c intdiving : 0.00 0.00 0 0
72.37/72.44 c actconsdiving : 0.00 0.00 0 0
72.37/72.44 c rootsoldiving : 0.05 0.00 6 6
72.37/72.44 c octane : 0.00 0.00 0 0
72.37/72.44 c rens : 0.02 0.00 1 0
72.37/72.44 c rins : 0.00 0.00 0 0
72.37/72.44 c localbranching : 0.00 0.00 0 0
72.37/72.44 c mutation : 0.00 0.00 0 0
72.37/72.44 c crossover : 0.03 0.00 1 1
72.37/72.44 c dins : 0.00 0.00 0 0
72.37/72.44 c vbounds : 0.00 0.00 0 0
72.37/72.44 c undercover : 0.00 0.00 0 0
72.37/72.44 c subnlp : 0.02 0.00 0 0
72.37/72.44 c trysol : 0.04 0.00 22 22
72.37/72.44 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
72.37/72.44 c primal LP : 0.00 1 0 0.00 - 0.00 1
72.37/72.44 c dual LP : 26.80 80118 513189 8.46 19146.82 3.08 19426
72.37/72.44 c lex dual LP : 0.00 0 0 0.00 -
72.37/72.44 c barrier LP : 0.00 0 0 0.00 - 0.00 0
72.37/72.44 c diving/probing LP: 6.87 21950 117075 5.33 17049.53
72.37/72.44 c strong branching : 0.00 0 0 0.00 -
72.37/72.44 c (at root node) : - 0 0 0.00 -
72.37/72.44 c conflict analysis: 0.00 0 0 0.00 -
72.37/72.44 c B&B Tree :
72.37/72.44 c number of runs : 1
72.37/72.44 c nodes : 78071
72.37/72.44 c nodes (total) : 78071
72.37/72.44 c nodes left : 0
72.37/72.44 c max depth : 25
72.37/72.44 c max depth (total): 25
72.37/72.44 c backtracks : 26717 (34.2%)
72.37/72.44 c delayed cutoffs : 3800
72.37/72.44 c repropagations : 4850 (767858 domain reductions, 3423 cutoffs)
72.37/72.44 c avg switch length: 8.45
72.37/72.44 c switching time : 7.13
72.37/72.44 c Solution :
72.37/72.44 c Solutions found : 71 (5 improvements)
72.37/72.44 c First Solution : +1.70000000000000e+01 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <shifting>)
72.37/72.44 c Primal Bound : +7.00000000000000e+00 (in run 1, after 26 nodes, 0.42 seconds, depth 17, found by <veclendiving>)
72.37/72.44 c Dual Bound : +7.00000000000000e+00
72.37/72.44 c Gap : 0.00 %
72.37/72.44 c Root Dual Bound : +0.00000000000000e+00
72.37/72.44 c Root Iterations : 576
72.37/72.45 c Time complete: 72.43.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3717605-1338205719/watcher-3717605-1338205719 -o /tmp/evaluation-result-3717605-1338205719/solver-3717605-1338205719 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717605-1338205719.wbo -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: 2.00 2.00 2.00 3/176 25452
/proc/meminfo: memFree=30084012/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=11544 CPUtime=0 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 1380 0 0 0 0 0 0 0 20 0 1 0 286700478 11821056 1335 33554432000 4194304 10173063 140735129619216 140736528448648 8846909 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 2886 1335 466 1460 0 1417 0
[startup+0.0189821 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25452
/proc/meminfo: memFree=30084012/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=18972 CPUtime=0 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 3585 0 0 0 0 0 0 0 20 0 1 0 286700478 19427328 3282 33554432000 4194304 10173063 140735129619216 140736528448648 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 4743 3282 595 1460 0 3274 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18972
[startup+0.100297 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25452
/proc/meminfo: memFree=30084012/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=20312 CPUtime=0.09 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 6543 0 0 0 8 1 0 0 20 0 1 0 286700478 20799488 3933 33554432000 4194304 10173063 140735129619216 140736528448648 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 5078 3933 854 1460 0 3609 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20312
[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25452
/proc/meminfo: memFree=30084012/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=21640 CPUtime=0.29 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 8951 0 0 0 27 2 0 0 20 0 1 0 286700478 22159360 4256 33554432000 4194304 10173063 140735129619216 140735129612472 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 5410 4256 858 1460 0 3941 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21640
[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25452
/proc/meminfo: memFree=30084012/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=21832 CPUtime=0.68 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 8991 0 0 0 66 2 0 0 20 0 1 0 286700478 22355968 4296 33554432000 4194304 10173063 140735129619216 140735129612472 5758752 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 5458 4296 860 1460 0 3989 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21832
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30069984/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=22188 CPUtime=1.49 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 11297 0 0 0 143 6 0 0 20 0 1 0 286700478 22720512 4387 33554432000 4194304 10173063 140735129619216 140735129612312 7910544 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 5547 4387 867 1460 0 4078 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22188
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30068992/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=24728 CPUtime=3.09 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 11957 0 0 0 299 10 0 0 20 0 1 0 286700478 25321472 5042 33554432000 4194304 10173063 140735129619216 140735129616584 5287944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 6182 5042 867 1460 0 4713 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24728
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30064032/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=29436 CPUtime=6.29 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 13050 0 0 0 611 18 0 0 20 0 1 0 286700478 30142464 6130 33554432000 4194304 10173063 140735129619216 140735129616040 7966688 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 7359 6130 867 1460 0 5890 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29436
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30056004/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=36624 CPUtime=12.69 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 14823 0 0 0 1234 35 0 0 20 0 1 0 286700478 37502976 7873 33554432000 4194304 10173063 140735129619216 140735129615448 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 9156 7873 867 1460 0 7687 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36624
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30047076/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=45192 CPUtime=25.48 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 16937 0 0 0 2477 71 0 0 20 0 1 0 286700478 46276608 9951 33554432000 4194304 10173063 140735129619216 140735129614184 5749616 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 11298 9951 867 1460 0 9829 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45192
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30036536/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=54256 CPUtime=51.08 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19145 0 0 0 4962 146 0 0 20 0 1 0 286700478 55558144 12121 33554432000 4194304 10173063 140735129619216 140735129616584 7911672 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 13564 12121 867 1460 0 12095 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 54256
Solver just ended. Dumping a history of the last processes samples
[startup+63.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30031452/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=56044 CPUtime=63.88 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19625 0 0 0 6208 180 0 0 20 0 1 0 286700478 57389056 12600 33554432000 4194304 10173063 140735129619216 140735129612472 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 14011 12600 867 1460 0 12542 0
Current children cumulated CPU time (s) 63.88
Current children cumulated vsize (KiB) 56044
[startup+67.1065 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30030956/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=56308 CPUtime=67.08 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19694 0 0 0 6519 189 0 0 20 0 1 0 286700478 57659392 12669 33554432000 4194304 10173063 140735129619216 140735129614856 5122366 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 14077 12669 867 1460 0 12608 0
Current children cumulated CPU time (s) 67.08
Current children cumulated vsize (KiB) 56308
[startup+70.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30030460/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=56444 CPUtime=70.29 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19740 0 0 0 6832 197 0 0 20 0 1 0 286700478 57798656 12715 33554432000 4194304 10173063 140735129619216 140735129616584 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 14111 12715 867 1460 0 12642 0
Current children cumulated CPU time (s) 70.29
Current children cumulated vsize (KiB) 56444
[startup+71.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30030460/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=56584 CPUtime=71.08 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19746 0 0 0 6909 199 0 0 20 0 1 0 286700478 57942016 12721 33554432000 4194304 10173063 140735129619216 140735129615704 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 14146 12721 867 1460 0 12677 0
Current children cumulated CPU time (s) 71.08
Current children cumulated vsize (KiB) 56584
[startup+71.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30030336/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=56584 CPUtime=71.88 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19752 0 0 0 6987 201 0 0 20 0 1 0 286700478 57942016 12727 33554432000 4194304 10173063 140735129619216 140735129612840 8012455 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 14146 12727 867 1460 0 12677 0
Current children cumulated CPU time (s) 71.88
Current children cumulated vsize (KiB) 56584
[startup+72.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30030336/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=56584 CPUtime=72.28 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19756 0 0 0 7026 202 0 0 20 0 1 0 286700478 57942016 12731 33554432000 4194304 10173063 140735129619216 140735129612152 4940685 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 14146 12731 867 1460 0 12677 0
Current children cumulated CPU time (s) 72.28
Current children cumulated vsize (KiB) 56584
[startup+72.4002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25453
/proc/meminfo: memFree=30030336/32873844 swapFree=7108/7108
[pid=25452] ppid=25450 vsize=56584 CPUtime=72.37 cores=0,2,4,6
/proc/25452/stat : 25452 (scip-2.1.1.4fix) R 25450 25452 23491 0 -1 4202496 19756 0 0 0 7035 202 0 0 20 0 1 0 286700478 57942016 12731 33554432000 4194304 10173063 140735129619216 140735129612152 5905430 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25452/statm: 14146 12731 867 1460 0 12677 0
Current children cumulated CPU time (s) 72.37
Current children cumulated vsize (KiB) 56584
Child status: 0
Real time (s): 72.4515
CPU time (s): 72.439
CPU user time (s): 70.4043
CPU system time (s): 2.03469
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 56584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.4043
system time used= 2.03469
maximum resident set size= 50936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19761
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 125
runsolver used 0.107983 second user time and 0.397939 second system time
The end