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-3717446-1338192865.wbo>
0.00/0.01 c original problem has 2070 variables (2070 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.01 c problem read in 0.01
0.00/0.04 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.07/0.08 c (round 2) 47 del vars, 108 del conss, 0 add conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.07/0.09 c (round 3) 128 del vars, 202 del conss, 0 add conss, 1873 chg bounds, 107 chg sides, 0 chg coeffs, 0 upgd conss, 126 impls, 9 clqs
0.08/0.10 c (round 4) 162 del vars, 202 del conss, 0 add conss, 1873 chg bounds, 107 chg sides, 0 chg coeffs, 829 upgd conss, 126 impls, 9 clqs
0.08/0.11 c (round 5) 162 del vars, 215 del conss, 0 add conss, 1873 chg bounds, 107 chg sides, 0 chg coeffs, 829 upgd conss, 126 impls, 9 clqs
0.08/0.12 c (0.1s) probing: 51/1989 (2.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.12 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.08/0.13 c presolving (6 rounds):
0.08/0.13 c 162 deleted vars, 215 deleted constraints, 0 added constraints, 1873 tightened bounds, 0 added holes, 107 changed sides, 0 changed coefficients
0.08/0.13 c 1884 implications, 9 cliques
0.08/0.13 c presolved problem has 3747 variables (1989 bin, 0 int, 1758 impl, 0 cont) and 4332 constraints
0.08/0.13 c 33 constraints of type <setppc>
0.08/0.13 c 1758 constraints of type <linear>
0.08/0.13 c 1758 constraints of type <indicator>
0.08/0.13 c 783 constraints of type <logicor>
0.08/0.13 c transformed objective value is always integral (scale: 1)
0.08/0.13 c Presolving Time: 0.10
0.08/0.13 c - non default parameters ----------------------------------------------------------------------
0.08/0.13 c # SCIP version 2.1.1.4
0.08/0.13 c
0.08/0.13 c # maximal time in seconds to run
0.08/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.13 c limits/time = 1797
0.08/0.13 c
0.08/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.13 c limits/memory = 13950
0.08/0.13 c
0.08/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.08/0.13 c # [type: int, range: [1,2], default: 1]
0.08/0.13 c timing/clocktype = 2
0.08/0.13 c
0.08/0.13 c # belongs reading time to solving time?
0.08/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.13 c timing/reading = TRUE
0.08/0.13 c
0.08/0.13 c # force restart if we have a max FS instance and gap is 1?
0.08/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.13 c constraints/indicator/forcerestart = TRUE
0.08/0.13 c
0.08/0.13 c # priority of branching rule <inference>
0.08/0.13 c # [type: int, range: [-536870912,536870911], default: 1000]
0.08/0.13 c branching/inference/priority = 1000000
0.08/0.13 c
0.08/0.13 c # frequency offset for calling primal heuristic <coefdiving>
0.08/0.13 c # [type: int, range: [0,2147483647], default: 1]
0.08/0.13 c heuristics/coefdiving/freqofs = 0
0.08/0.13 c
0.08/0.13 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.08/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.13 c heuristics/shiftandpropagate/freq = -1
0.08/0.13 c
0.08/0.13 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.08/0.13 c # [type: int, range: [-1,2147483647], default: 0]
0.08/0.13 c heuristics/undercover/freq = -1
0.08/0.13 c
0.08/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.13 c separating/rapidlearning/freq = 0
0.08/0.13 c
0.08/0.13 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
0.08/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.13 c heuristics/indrounding/freq = 1
0.08/0.13 c
0.08/0.13 c -----------------------------------------------------------------------------------------------
0.08/0.13 c start solving
0.08/0.13 c
0.08/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.18 c 0.2s| 1 | 0 | 81 | - | 14M| 0 | 32 |3747 |4332 |3747 |4332 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.64 c 0.6s| 1 | 0 | 1285 | - | 14M| 0 | 41 |3747 |4332 |3747 |4336 | 4 | 0 | 0 | 0.000000e+00 | -- | Inf
0.78/0.81 c 0.8s| 1 | 0 | 1303 | - | 15M| 0 | 44 |3747 |4332 |3747 |4339 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.78/0.82 o 1128
0.78/0.82 c s 0.8s| 1 | 0 | 1303 | - | 15M| 0 | 44 |3747 |4332 |3747 |4339 | 7 | 0 | 0 | 0.000000e+00 | 1.128000e+03 | Inf
0.78/0.82 o 822
0.78/0.82 c y 0.8s| 1 | 0 | 1303 | - | 15M| 0 | 44 |3747 |4332 |3747 |4339 | 7 | 0 | 0 | 0.000000e+00 | 8.220000e+02 | Inf
0.98/1.05 c 1.0s| 1 | 0 | 1329 | - | 15M| 0 | 46 |3747 |4332 |3747 |4341 | 9 | 0 | 0 | 0.000000e+00 | 8.220000e+02 | Inf
0.98/1.08 o 388
0.98/1.08 c 6 1.1s| 1 | 0 | 1329 | - | 15M| 0 | 46 |3747 |4332 |3747 |4341 | 9 | 0 | 0 | 0.000000e+00 | 3.880000e+02 | Inf
1.38/1.41 c 1.4s| 1 | 0 | 1345 | - | 15M| 0 | 48 |3747 |4332 |3747 |4342 | 10 | 0 | 0 | 0.000000e+00 | 3.880000e+02 | Inf
1.38/1.42 o 328
1.38/1.42 c 6 1.4s| 1 | 0 | 1345 | - | 15M| 0 | 48 |3747 |4332 |3747 |4342 | 10 | 0 | 0 | 0.000000e+00 | 3.280000e+02 | Inf
1.68/1.76 c 1.8s| 1 | 0 | 1390 | - | 15M| 0 | 45 |3747 |4332 |3747 |4343 | 11 | 0 | 0 | 0.000000e+00 | 3.280000e+02 | Inf
1.68/1.77 o 308
1.98/2.01 c 6 1.8s| 1 | 0 | 1390 | - | 15M| 0 | 45 |3747 |4332 |3747 |4343 | 11 | 0 | 0 | 0.000000e+00 | 3.080000e+02 | Inf
2.58/2.67 c 2.7s| 1 | 2 | 2678 | - | 15M| 0 | 45 |3747 |4332 |3747 |4343 | 11 | 0 | 0 | 0.000000e+00 | 3.080000e+02 | Inf
2.77/2.80 o 215
2.77/2.80 c 5 2.8s| 5 | 6 | 3514 | 531.0 | 15M| 4 | 32 |3747 |4332 |3747 |4341 | 11 | 0 | 0 | 0.000000e+00 | 2.150000e+02 | Inf
2.77/2.81 o 159
2.77/2.81 c 6 2.8s| 6 | 5 | 3514 | 424.8 | 16M| 5 | - |3747 |4332 | 0 | 0 | 11 | 0 | 0 | 0.000000e+00 | 1.590000e+02 | Inf
2.77/2.85 o 45
2.77/2.85 c r 2.8s| 9 | 8 | 3630 | 280.0 | 16M| 8 | 1 |3747 |4332 |3747 |4341 | 11 | 0 | 0 | 0.000000e+00 | 4.500000e+01 | Inf
3.98/4.08 o 44
3.98/4.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.98/4.08 c 5 4.1s| 76 | 53 | 8151 | 90.1 | 16M| 15 | 14 |3747 |3440 |3747 |4341 | 11 | 63 | 0 | 0.000000e+00 | 4.400000e+01 | Inf
4.77/4.82 o 27
4.77/4.82 c c 4.8s| 92 | 55 | 9868 | 93.2 | 16M| 15 | - |3747 |3437 |3747 |4341 | 11 | 82 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
4.97/5.06 c 5.1s| 100 | 59 | 10579 | 92.8 | 16M| 15 | 28 |3747 |3137 |3747 |4341 | 11 | 99 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
7.68/7.75 c 7.7s| 200 | 102 | 19243 | 89.7 | 17M| 19 | - |3747 |3267 | 0 | 0 | 11 | 229 | 0 | 0.000000e+00 | 2.700000e+01 | Inf
9.68/9.79 o 25
9.68/9.79 c v 9.8s| 241 | 127 | 25410 | 100.1 | 17M| 19 | - |3747 |3344 |3747 |4341 | 11 | 307 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
11.58/11.65 c 11.7s| 300 | 159 | 31198 | 99.7 | 17M| 19 | 45 |3747 |3436 |3747 |4341 | 11 | 430 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
13.09/13.13 c 13.1s| 400 | 205 | 36301 | 87.5 | 18M| 22 | - |3747 |3534 |3747 |4341 | 11 | 533 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
13.88/13.98 c 14.0s| 500 | 219 | 38928 | 75.2 | 18M| 36 | - |3747 |3591 | 0 | 0 | 11 | 617 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
14.87/14.91 c 14.9s| 600 | 233 | 41784 | 67.4 | 19M| 36 | - |3747 |3665 |3747 |4341 | 11 | 710 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
16.07/16.11 c 16.1s| 700 | 263 | 45824 | 63.6 | 19M| 36 | - |3747 |3657 | 0 | 0 | 11 | 795 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
17.07/17.11 c 17.1s| 800 | 301 | 49353 | 60.0 | 20M| 36 | - |3747 |3683 |3747 |4341 | 11 | 896 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
17.98/18.06 c 18.1s| 900 | 323 | 52817 | 57.2 | 20M| 36 | - |3747 |3707 | 0 | 0 | 11 | 986 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
18.77/18.89 c 18.9s| 1000 | 337 | 55116 | 53.8 | 21M| 36 | 24 |3747 |3740 |3747 |4341 | 11 |1061 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
19.98/20.05 c 20.0s| 1100 | 364 | 59598 | 53.0 | 21M| 36 | 30 |3747 |3759 |3747 |4341 | 11 |1116 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
21.07/21.11 c 21.1s| 1200 | 380 | 63189 | 51.5 | 21M| 36 | - |3747 |3803 | 0 | 0 | 11 |1187 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
21.88/21.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.88/21.98 c 22.0s| 1300 | 393 | 65831 | 49.6 | 22M| 36 | 16 |3747 |3829 |3747 |4341 | 11 |1257 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
22.78/22.88 c 22.9s| 1400 | 412 | 68817 | 48.2 | 22M| 36 | 38 |3747 |3826 |3747 |4341 | 11 |1338 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
23.97/24.05 c 24.0s| 1500 | 429 | 72768 | 47.6 | 22M| 36 | 28 |3747 |3819 |3747 |4341 | 11 |1401 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
24.67/24.75 c 24.7s| 1600 | 443 | 75229 | 46.2 | 23M| 36 | 27 |3747 |3849 |3747 |4341 | 11 |1483 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
25.28/25.39 c 25.4s| 1700 | 448 | 77220 | 44.6 | 23M| 36 | - |3747 |3907 | 0 | 0 | 11 |1575 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
26.17/26.24 c 26.2s| 1800 | 464 | 80207 | 43.8 | 23M| 36 | 28 |3747 |3917 |3747 |4341 | 11 |1648 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
26.88/26.96 c 27.0s| 1900 | 480 | 82756 | 42.8 | 24M| 36 | 24 |3747 |3912 |3747 |4341 | 11 |1710 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
28.27/28.39 c 28.4s| 2000 | 518 | 88093 | 43.4 | 24M| 36 | - |3747 |3948 |3747 |4341 | 11 |1784 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
29.17/29.29 c 29.3s| 2100 | 557 | 91031 | 42.7 | 25M| 36 | 30 |3747 |4012 |3747 |4341 | 11 |1875 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
29.97/30.02 c 30.0s| 2200 | 578 | 93491 | 41.9 | 25M| 36 | 28 |3747 |4093 |3747 |4341 | 11 |1977 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
30.78/30.81 c 30.8s| 2300 | 588 | 96609 | 41.4 | 25M| 36 | 43 |3747 |4093 |3747 |4341 | 11 |2028 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
31.47/31.50 c 31.5s| 2400 | 603 | 98986 | 40.7 | 26M| 36 | 26 |3747 |4119 |3747 |4341 | 11 |2094 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
32.07/32.19 c 32.2s| 2500 | 613 |101067 | 39.9 | 26M| 36 | - |3747 |4181 |3747 |4341 | 11 |2191 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
33.27/33.30 c 33.3s| 2600 | 649 |104873 | 39.8 | 26M| 36 | 22 |3747 |4228 |3747 |4341 | 11 |2301 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
34.67/34.70 c 34.7s| 2700 | 685 |110183 | 40.3 | 27M| 36 | 30 |3747 |4212 |3747 |4341 | 11 |2340 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
35.28/35.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.28/35.39 c 35.4s| 2800 | 708 |112692 | 39.8 | 27M| 36 | - |3747 |4243 |3747 |4341 | 11 |2418 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
36.37/36.44 c 36.4s| 2900 | 734 |115783 | 39.5 | 28M| 36 | 33 |3747 |4262 |3747 |4341 | 11 |2479 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
37.17/37.25 c 37.3s| 3000 | 760 |118529 | 39.1 | 28M| 36 | 29 |3747 |4294 |3747 |4341 | 11 |2535 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
38.07/38.17 c 38.2s| 3100 | 779 |121697 | 38.8 | 28M| 36 | - |3747 |4322 |3747 |4341 | 11 |2605 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
38.87/38.97 c 39.0s| 3200 | 790 |124451 | 38.5 | 29M| 36 | - |3747 |4323 | 0 | 0 | 11 |2651 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
39.77/39.82 c 39.8s| 3300 | 810 |127448 | 38.2 | 29M| 36 | - |3747 |4380 |3747 |4341 | 11 |2733 | 0 | 0.000000e+00 | 2.500000e+01 | Inf
39.97/40.02 o 23
39.97/40.02 c *40.0s| 3333 | 776 |128128 | 38.0 | 28M| 36 | - |3747 |4395 |3747 |4341 | 11 |2752 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
40.47/40.57 c 40.6s| 3400 | 785 |130061 | 37.9 | 28M| 36 | 14 |3747 |4300 |3747 |4341 | 11 |2774 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
41.27/41.39 c 41.4s| 3500 | 796 |132695 | 37.5 | 29M| 36 | 31 |3747 |4215 |3747 |4341 | 11 |2864 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
42.17/42.28 c 42.3s| 3600 | 816 |135632 | 37.3 | 29M| 36 | - |3747 |4107 |3747 |4341 | 11 |2946 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
42.87/42.98 c 43.0s| 3700 | 830 |137546 | 36.8 | 29M| 36 | 14 |3747 |4027 |3747 |4341 | 11 |3044 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
43.47/43.59 c 43.6s| 3800 | 835 |139536 | 36.4 | 29M| 36 | 28 |3747 |3975 |3747 |4341 | 11 |3115 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
44.27/44.35 c 44.3s| 3900 | 835 |141822 | 36.0 | 29M| 36 | 29 |3747 |3973 |3747 |4341 | 11 |3205 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
45.17/45.28 c 45.3s| 4000 | 839 |144353 | 35.7 | 30M| 36 | - |3747 |3945 |3747 |4341 | 11 |3259 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
45.77/45.80 c 45.8s| 4100 | 841 |145792 | 35.2 | 30M| 36 | 20 |3747 |3963 |3747 |4341 | 11 |3358 | 0 | 0.000000e+00 | 2.300000e+01 | Inf
46.07/46.11 o 20
46.07/46.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.07/46.11 c 546.1s| 4146 | 754 |146756 | 35.1 | 28M| 36 | 28 |3747 |3985 |3747 |4341 | 11 |3416 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
46.47/46.51 c 46.5s| 4200 | 751 |147774 | 34.9 | 28M| 36 | - |3747 |3821 | 0 | 0 | 11 |3461 | 0 | 0.000000e+00 | 2.000000e+01 | Inf
46.57/46.67 o 11
46.57/46.67 c 546.7s| 4228 | 423 |148202 | 34.7 | 21M| 36 | - |3747 |3806 |3747 |4341 | 11 |3491 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
46.57/46.67 c Forcing restart, since 1583 binary variables among 1758 have been fixed.
46.57/46.68 c (run 1, node 4229) performing user restart
46.57/46.68 c
46.57/46.68 c (restart) converted 1767 cuts from the global cut pool into linear constraints
46.57/46.68 c
46.57/46.69 c presolving:
46.67/46.71 c (round 1) 3172 del vars, 1766 del conss, 0 add conss, 169 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1980 impls, 21 clqs
46.67/46.77 c (round 2) 3174 del vars, 1877 del conss, 0 add conss, 171 chg bounds, 33 chg sides, 0 chg coeffs, 0 upgd conss, 1982 impls, 22 clqs
46.67/46.78 c (round 3) 3176 del vars, 1879 del conss, 0 add conss, 171 chg bounds, 33 chg sides, 0 chg coeffs, 0 upgd conss, 1982 impls, 22 clqs
46.76/46.83 c (round 4) 3176 del vars, 1886 del conss, 0 add conss, 171 chg bounds, 33 chg sides, 0 chg coeffs, 1695 upgd conss, 1982 impls, 22 clqs
46.76/46.86 c (round 5) 3176 del vars, 1931 del conss, 0 add conss, 171 chg bounds, 33 chg sides, 2 chg coeffs, 1695 upgd conss, 1982 impls, 22 clqs
46.76/46.88 c presolving (6 rounds):
46.76/46.88 c 3176 deleted vars, 1931 deleted constraints, 0 added constraints, 171 tightened bounds, 0 added holes, 33 changed sides, 4 changed coefficients
46.76/46.88 c 1982 implications, 22 cliques
46.76/46.88 c presolved problem has 571 variables (401 bin, 0 int, 170 impl, 0 cont) and 3634 constraints
46.76/46.88 c 170 constraints of type <varbound>
46.76/46.88 c 3 constraints of type <knapsack>
46.76/46.88 c 22 constraints of type <setppc>
46.76/46.88 c 176 constraints of type <linear>
46.76/46.88 c 170 constraints of type <indicator>
46.76/46.88 c 3062 constraints of type <logicor>
46.76/46.88 c 31 constraints of type <bounddisjunction>
46.76/46.88 c transformed objective value is always integral (scale: 1)
46.76/46.88 c Presolving Time: 0.29
46.76/46.88 c
46.87/46.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.87/46.90 c 46.9s| 1 | 0 |148274 | - | 14M| 0 | 34 | 571 |3634 | 571 |2812 | 0 |3491 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
46.87/46.94 c 46.9s| 1 | 0 |148289 | - | 14M| 0 | 40 | 571 |3634 | 571 |2821 | 9 |3491 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
46.87/46.94 c 46.9s| 1 | 2 |148289 | - | 14M| 0 | 40 | 571 |3634 | 571 |2821 | 9 |3491 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
47.56/47.66 c 47.7s| 100 | 47 |153835 | 35.2 | 14M| 19 | 33 | 571 |3698 | 571 |2637 | 9 |3556 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
48.07/48.10 c 48.1s| 200 | 63 |156426 | 35.0 | 14M| 22 | 25 | 571 |3773 | 571 |2637 | 9 |3643 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
48.27/48.35 c 48.4s| 300 | 58 |158103 | 34.6 | 14M| 22 | - | 571 |3806 | 571 |2637 | 9 |3721 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
48.86/48.92 c 48.9s| 400 | 73 |161907 | 34.7 | 14M| 23 | 33 | 571 |3853 | 571 |2637 | 9 |3788 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
49.17/49.22 c 49.2s| 500 | 80 |163816 | 34.3 | 14M| 29 | 25 | 571 |3901 | 571 |2637 | 9 |3864 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
49.47/49.59 c 49.6s| 600 | 85 |166167 | 34.1 | 14M| 29 | 31 | 571 |3957 | 571 |2637 | 9 |3956 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
49.87/49.90 c 49.9s| 700 | 90 |167726 | 33.7 | 15M| 29 | - | 571 |4060 | 571 |2637 | 9 |4082 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
50.16/50.20 c 50.2s| 800 | 96 |169304 | 33.4 | 15M| 29 | - | 571 |4149 | 571 |2637 | 9 |4187 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
50.36/50.49 c 50.5s| 900 | 101 |171092 | 33.1 | 15M| 33 | 35 | 571 |4196 | 571 |2637 | 9 |4262 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
50.96/51.06 c 51.1s| 1000 | 120 |174366 | 33.1 | 15M| 33 | 37 | 571 |4265 | 571 |2637 | 9 |4379 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
51.26/51.37 c 51.4s| 1100 | 130 |176519 | 32.9 | 15M| 33 | 27 | 571 |4290 | 571 |2637 | 9 |4445 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
51.66/51.75 c 51.7s| 1200 | 134 |178995 | 32.7 | 15M| 33 | - | 571 |4319 | 571 |2637 | 9 |4527 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
52.06/52.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.06/52.10 c 52.1s| 1300 | 145 |181512 | 32.6 | 15M| 33 | - | 571 |4325 | 571 |2637 | 9 |4579 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
52.36/52.44 c 52.4s| 1400 | 140 |183812 | 32.4 | 15M| 33 | - | 571 |4368 | 571 |2637 | 9 |4659 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
52.86/52.90 c 52.9s| 1500 | 153 |186829 | 32.4 | 15M| 33 | - | 571 |4420 | 0 | 0 | 9 |4751 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
53.05/53.19 c 53.2s| 1600 | 164 |188581 | 32.1 | 15M| 33 | 27 | 571 |4496 | 571 |2637 | 9 |4854 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
53.36/53.46 c 53.5s| 1700 | 161 |190276 | 31.9 | 15M| 39 | 32 | 571 |4570 | 571 |2637 | 9 |4953 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
53.76/53.81 c 53.8s| 1800 | 164 |192291 | 31.7 | 15M| 39 | 37 | 571 |4552 | 571 |2637 | 9 |5005 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
54.05/54.11 c 54.1s| 1900 | 170 |194486 | 31.5 | 15M| 39 | 29 | 571 |4574 | 571 |2637 | 9 |5075 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
54.36/54.42 c 54.4s| 2000 | 161 |196535 | 31.3 | 15M| 39 | - | 571 |4625 | 571 |2637 | 9 |5172 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
54.55/54.69 c 54.7s| 2100 | 157 |198153 | 31.1 | 15M| 39 | 28 | 571 |4663 | 571 |2637 | 9 |5250 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
54.96/55.04 c 55.0s| 2200 | 152 |200505 | 31.0 | 15M| 39 | - | 571 |4653 | 571 |2637 | 9 |5316 | 0 | 0.000000e+00 | 1.100000e+01 | Inf
55.16/55.26 o 10
55.16/55.26 c *55.3s| 2270 | 152 |201823 | 30.8 | 15M| 39 | - | 571 |4676 | 571 |2637 | 9 |5359 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
55.26/55.34 c 55.3s| 2300 | 148 |202192 | 30.7 | 15M| 39 | - | 571 |4632 | 571 |2637 | 9 |5390 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
55.55/55.68 c 55.7s| 2400 | 154 |204367 | 30.6 | 15M| 39 | 24 | 571 |4592 | 571 |2637 | 9 |5442 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
55.97/56.05 c 56.0s| 2500 | 154 |206957 | 30.5 | 15M| 39 | 30 | 571 |4581 | 571 |2637 | 9 |5512 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
56.35/56.44 c 56.4s| 2600 | 156 |209445 | 30.5 | 15M| 39 | 26 | 571 |4611 | 571 |2637 | 9 |5576 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
56.66/56.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.66/56.76 c 56.8s| 2700 | 162 |211593 | 30.3 | 15M| 39 | 39 | 571 |4634 | 571 |2637 | 9 |5652 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
57.07/57.19 c 57.2s| 2800 | 169 |214241 | 30.3 | 16M| 39 | - | 571 |4670 | 571 |2637 | 9 |5714 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
57.46/57.53 c 57.5s| 2900 | 165 |216561 | 30.2 | 16M| 39 | - | 571 |4657 | 0 | 0 | 9 |5763 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
57.75/57.82 c 57.8s| 3000 | 173 |218580 | 30.0 | 16M| 39 | - | 571 |4653 | 0 | 0 | 9 |5815 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
58.06/58.18 c 58.2s| 3100 | 182 |221089 | 30.0 | 16M| 39 | 38 | 571 |4652 | 571 |2637 | 9 |5856 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
58.56/58.61 c 58.6s| 3200 | 193 |224008 | 30.0 | 16M| 39 | - | 571 |4633 | 0 | 0 | 9 |5905 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
58.86/58.93 c 58.9s| 3300 | 200 |226189 | 29.9 | 16M| 39 | 30 | 571 |4655 | 571 |2637 | 9 |5986 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
59.16/59.24 c 59.2s| 3400 | 210 |228226 | 29.7 | 16M| 39 | 41 | 571 |4656 | 571 |2637 | 9 |6044 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
59.56/59.67 c 59.7s| 3500 | 226 |231068 | 29.7 | 16M| 39 | - | 571 |4619 | 571 |2637 | 9 |6085 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
59.85/59.94 c 59.9s| 3600 | 224 |232773 | 29.5 | 16M| 39 | - | 571 |4654 | 571 |2637 | 9 |6138 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
60.26/60.32 c 60.3s| 3700 | 236 |235191 | 29.5 | 16M| 39 | 22 | 571 |4705 | 571 |2637 | 9 |6218 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
60.55/60.67 c 60.7s| 3800 | 244 |237599 | 29.4 | 16M| 39 | - | 571 |4746 | 0 | 0 | 9 |6289 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
60.86/60.96 c 61.0s| 3900 | 251 |239519 | 29.3 | 16M| 39 | - | 571 |4739 | 571 |2637 | 9 |6357 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.25/61.35 c 61.3s| 4000 | 259 |242412 | 29.3 | 16M| 39 | 24 | 571 |4724 | 571 |2637 | 9 |6391 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.66/61.74 c 61.7s| 4100 | 264 |245003 | 29.2 | 16M| 39 | 32 | 571 |4744 | 571 |2637 | 9 |6455 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.95/62.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.95/62.09 c 62.1s| 4200 | 280 |247327 | 29.2 | 16M| 39 | 26 | 571 |4761 | 571 |2637 | 9 |6515 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
62.45/62.58 c 62.6s| 4300 | 282 |249685 | 29.1 | 16M| 39 | 25 | 571 |4817 | 571 |2637 | 9 |6615 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
62.85/62.98 c 63.0s| 4400 | 285 |252465 | 29.1 | 17M| 39 | 35 | 571 |4816 | 571 |2637 | 9 |6667 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
63.26/63.31 c 63.3s| 4500 | 291 |254604 | 29.0 | 17M| 39 | 23 | 571 |4864 | 571 |2637 | 9 |6744 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
63.55/63.65 c 63.6s| 4600 | 283 |256471 | 28.9 | 17M| 39 | - | 571 |4899 | 571 |2637 | 9 |6821 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
63.86/63.95 c 63.9s| 4700 | 290 |258578 | 28.8 | 17M| 39 | - | 571 |4903 | 0 | 0 | 9 |6863 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
64.15/64.29 c 64.3s| 4800 | 292 |260906 | 28.7 | 17M| 39 | - | 571 |4942 | 571 |2637 | 9 |6943 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
64.55/64.67 c 64.7s| 4900 | 288 |262931 | 28.6 | 17M| 39 | 34 | 571 |4977 | 571 |2637 | 9 |7014 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.05/65.15 c 65.1s| 5000 | 293 |266623 | 28.7 | 17M| 39 | 24 | 571 |5017 | 571 |2637 | 9 |7074 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.35/65.49 c 65.5s| 5100 | 295 |268827 | 28.7 | 17M| 39 | 36 | 571 |5078 | 571 |2637 | 9 |7157 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.75/65.87 c 65.9s| 5200 | 304 |271331 | 28.6 | 17M| 39 | - | 571 |5122 | 0 | 0 | 9 |7224 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
66.05/66.16 c 66.2s| 5300 | 302 |273442 | 28.5 | 17M| 39 | 33 | 571 |5212 | 571 |2637 | 9 |7319 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
66.56/66.60 c 66.6s| 5400 | 326 |276414 | 28.6 | 17M| 39 | 37 | 571 |5229 | 571 |2637 | 9 |7367 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
66.85/66.97 c 67.0s| 5500 | 331 |278768 | 28.5 | 17M| 39 | 26 | 571 |5255 | 571 |2637 | 9 |7411 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
67.25/67.32 c 67.3s| 5600 | 329 |280978 | 28.4 | 17M| 39 | 32 | 571 |5306 | 571 |2637 | 9 |7483 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
67.55/67.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.55/67.64 c 67.6s| 5700 | 333 |282434 | 28.3 | 17M| 39 | - | 571 |5388 | 571 |2637 | 9 |7589 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
67.85/67.95 c 67.9s| 5800 | 338 |284203 | 28.2 | 17M| 39 | 27 | 571 |5421 | 571 |2637 | 9 |7655 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
68.25/68.31 c 68.3s| 5900 | 337 |286480 | 28.1 | 17M| 39 | 26 | 571 |5451 | 571 |2637 | 9 |7722 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
68.45/68.59 c 68.6s| 6000 | 324 |288110 | 28.0 | 17M| 39 | 31 | 571 |5515 | 571 |2637 | 9 |7821 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
68.76/68.89 c 68.9s| 6100 | 326 |290157 | 28.0 | 17M| 39 | 33 | 571 |5512 | 571 |2637 | 9 |7863 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
69.05/69.15 c 69.1s| 6200 | 324 |291709 | 27.8 | 17M| 39 | - | 571 |5550 | 571 |2637 | 9 |7924 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
69.46/69.52 c 69.5s| 6300 | 334 |293814 | 27.8 | 17M| 39 | 26 | 571 |5632 | 571 |2637 | 9 |8031 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
69.75/69.85 c 69.8s| 6400 | 335 |295902 | 27.7 | 18M| 39 | - | 571 |5696 | 571 |2637 | 9 |8118 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.05/70.15 c 70.1s| 6500 | 344 |297768 | 27.6 | 18M| 39 | 20 | 571 |5648 | 571 |2637 | 9 |8170 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.36/70.45 c 70.4s| 6600 | 344 |299605 | 27.5 | 18M| 39 | 20 | 571 |5662 | 571 |2637 | 9 |8239 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.65/70.70 c 70.7s| 6700 | 339 |301119 | 27.4 | 18M| 39 | - | 571 |5680 | 571 |2637 | 9 |8313 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.95/71.05 c 71.1s| 6800 | 344 |303273 | 27.4 | 18M| 39 | 39 | 571 |5677 | 571 |2637 | 9 |8366 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
71.25/71.37 c 71.4s| 6900 | 353 |305464 | 27.3 | 18M| 39 | - | 571 |5668 | 571 |2637 | 9 |8421 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
71.65/71.74 c 71.7s| 7000 | 349 |307909 | 27.3 | 18M| 39 | - | 571 |5693 | 571 |2637 | 9 |8480 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
71.95/72.02 c 72.0s| 7100 | 346 |309637 | 27.2 | 18M| 39 | - | 571 |5736 | 571 |2637 | 9 |8558 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
72.35/72.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.35/72.40 c 72.4s| 7200 | 357 |312116 | 27.2 | 18M| 39 | 29 | 571 |5749 | 571 |2637 | 9 |8609 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
72.75/72.89 c 72.9s| 7300 | 376 |314562 | 27.2 | 18M| 39 | - | 571 |5775 | 571 |2637 | 9 |8695 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.05/73.19 c 73.2s| 7400 | 382 |316653 | 27.1 | 18M| 39 | 37 | 571 |5771 | 571 |2637 | 9 |8720 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.45/73.58 c 73.6s| 7500 | 382 |319386 | 27.1 | 18M| 39 | - | 571 |5794 | 571 |2637 | 9 |8756 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.85/73.97 c 74.0s| 7600 | 385 |322149 | 27.1 | 18M| 39 | - | 571 |5828 | 0 | 0 | 9 |8817 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
74.25/74.35 c 74.3s| 7700 | 389 |324553 | 27.1 | 18M| 39 | - | 571 |5850 | 0 | 0 | 9 |8894 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
74.66/74.73 c 74.7s| 7800 | 399 |327238 | 27.1 | 18M| 39 | - | 571 |5865 | 571 |2637 | 9 |8943 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
75.05/75.16 c 75.2s| 7900 | 403 |330412 | 27.1 | 18M| 40 | 33 | 571 |5923 | 571 |2637 | 9 |9017 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
75.35/75.47 c 75.5s| 8000 | 404 |332391 | 27.1 | 18M| 40 | - | 571 |5959 | 571 |2637 | 9 |9078 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
75.76/75.87 c 75.9s| 8100 | 405 |334905 | 27.0 | 18M| 40 | 25 | 571 |5959 | 571 |2637 | 9 |9142 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
76.15/76.23 c 76.2s| 8200 | 403 |337528 | 27.0 | 18M| 40 | 24 | 571 |5928 | 571 |2637 | 9 |9204 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
76.45/76.53 c 76.5s| 8300 | 403 |339400 | 27.0 | 18M| 40 | 35 | 571 |5941 | 571 |2637 | 9 |9272 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
76.75/76.89 c 76.9s| 8400 | 406 |341695 | 26.9 | 18M| 40 | - | 571 |5867 | 571 |2637 | 9 |9350 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.05/77.15 c 77.1s| 8500 | 396 |343384 | 26.9 | 18M| 40 | - | 571 |5841 | 571 |2637 | 9 |9411 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.35/77.49 c 77.5s| 8600 | 402 |345455 | 26.8 | 18M| 40 | - | 571 |5762 | 571 |2637 | 9 |9491 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.75/77.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.75/77.81 c 77.8s| 8700 | 398 |347662 | 26.8 | 18M| 40 | 37 | 571 |5675 | 571 |2637 | 9 |9544 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
77.96/78.08 c 78.1s| 8800 | 395 |349397 | 26.7 | 18M| 40 | - | 571 |5603 | 571 |2637 | 9 |9591 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.25/78.33 c 78.3s| 8900 | 389 |350704 | 26.6 | 18M| 40 | - | 571 |5599 | 571 |2637 | 9 |9668 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.55/78.66 c 78.7s| 9000 | 380 |352737 | 26.6 | 18M| 40 | - | 571 |5553 | 0 | 0 | 9 |9731 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.75/78.89 c 78.9s| 9100 | 366 |353983 | 26.4 | 18M| 40 | - | 571 |5509 | 0 | 0 | 9 |9822 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.16/79.23 c 79.2s| 9200 | 376 |356215 | 26.4 | 18M| 40 | 30 | 571 |5510 | 571 |2637 | 9 |9890 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.35/79.47 c 79.5s| 9300 | 379 |357676 | 26.3 | 18M| 40 | 24 | 571 |5558 | 571 |2637 | 9 |9994 | 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.65/79.73 c 79.7s| 9400 | 377 |359273 | 26.3 | 18M| 40 | - | 571 |5553 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
79.95/80.04 c 80.0s| 9500 | 386 |361264 | 26.2 | 18M| 40 | 25 | 571 |5526 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
80.34/80.47 c 80.5s| 9600 | 395 |364114 | 26.2 | 18M| 40 | - | 571 |5424 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
80.75/80.82 c 80.8s| 9700 | 390 |366106 | 26.2 | 18M| 40 | - | 571 |5346 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
80.94/81.09 c 81.1s| 9800 | 392 |367851 | 26.1 | 18M| 40 | - | 571 |5326 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
81.26/81.38 c 81.4s| 9900 | 391 |369707 | 26.1 | 18M| 40 | - | 571 |5356 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
81.74/81.83 c 81.8s| 10000 | 403 |372702 | 26.1 | 18M| 40 | 28 | 571 |5329 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
82.05/82.19 c 82.2s| 10100 | 407 |375259 | 26.1 | 19M| 40 | - | 571 |5371 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
82.45/82.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.45/82.53 c 82.5s| 10200 | 405 |377532 | 26.1 | 18M| 40 | 36 | 571 |5328 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
82.84/82.91 c 82.9s| 10300 | 406 |379952 | 26.1 | 19M| 40 | 40 | 571 |5303 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
83.05/83.18 c 83.2s| 10400 | 404 |381652 | 26.0 | 19M| 40 | - | 571 |5285 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
83.45/83.50 c 83.5s| 10500 | 404 |383295 | 25.9 | 19M| 40 | - | 571 |5276 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
83.74/83.85 c 83.8s| 10600 | 401 |385363 | 25.9 | 18M| 40 | 23 | 571 |5210 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
84.05/84.17 c 84.2s| 10700 | 411 |387670 | 25.9 | 19M| 40 | - | 571 |5154 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
84.55/84.60 c 84.6s| 10800 | 429 |390814 | 25.9 | 19M| 40 | 37 | 571 |5135 | 571 |2637 | 9 | 10k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
84.95/85.01 c 85.0s| 10900 | 435 |393537 | 25.9 | 19M| 40 | 23 | 571 |5157 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
85.34/85.40 c 85.4s| 11000 | 438 |395909 | 25.9 | 19M| 40 | 36 | 571 |5156 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
85.66/85.74 c 85.7s| 11100 | 442 |398496 | 25.9 | 19M| 40 | 26 | 571 |5136 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
86.04/86.12 c 86.1s| 11200 | 452 |401191 | 25.9 | 19M| 40 | - | 571 |5146 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
86.35/86.44 c 86.4s| 11300 | 454 |403543 | 25.9 | 19M| 40 | 39 | 571 |5138 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
86.65/86.79 c 86.8s| 11400 | 466 |405864 | 25.9 | 19M| 40 | - | 571 |5047 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
87.14/87.21 c 87.2s| 11500 | 475 |408743 | 25.9 | 19M| 40 | 38 | 571 |5038 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
87.54/87.60 c 87.6s| 11600 | 479 |411678 | 25.9 | 19M| 40 | 36 | 571 |4999 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
87.95/88.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.95/88.05 c 88.0s| 11700 | 486 |415020 | 26.0 | 19M| 40 | 31 | 571 |5012 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
88.34/88.48 c 88.5s| 11800 | 509 |418095 | 26.0 | 19M| 40 | 30 | 571 |4969 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
88.75/88.89 c 88.9s| 11900 | 509 |420735 | 26.0 | 19M| 40 | - | 571 |5009 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
89.14/89.28 c 89.3s| 12000 | 525 |423389 | 26.0 | 19M| 40 | 30 | 571 |4992 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
89.44/89.58 c 89.6s| 12100 | 524 |425292 | 26.0 | 19M| 40 | 37 | 571 |5036 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
89.85/89.92 c 89.9s| 12200 | 530 |427733 | 25.9 | 19M| 40 | 36 | 571 |5024 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
90.25/90.30 c 90.3s| 12300 | 532 |430455 | 26.0 | 19M| 40 | - | 571 |5046 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
90.65/90.71 c 90.7s| 12400 | 528 |433166 | 26.0 | 19M| 40 | - | 571 |5049 | 571 |2637 | 9 | 11k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
91.04/91.10 c 91.1s| 12500 | 543 |436024 | 26.0 | 19M| 40 | - | 571 |5056 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
91.45/91.54 c 91.5s| 12600 | 550 |439061 | 26.0 | 19M| 40 | 29 | 571 |5088 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
91.85/91.98 c 92.0s| 12700 | 556 |442174 | 26.0 | 20M| 40 | 28 | 571 |5123 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
92.25/92.36 c 92.4s| 12800 | 553 |444588 | 26.0 | 20M| 40 | 30 | 571 |5148 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
92.54/92.66 o 9
92.54/92.66 c 592.7s| 12898 | 538 |446602 | 26.0 | 19M| 40 | - | 571 |5181 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
92.54/92.66 c 92.7s| 12900 | 538 |446617 | 26.0 | 19M| 40 | - | 571 |5121 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
92.94/93.00 c 93.0s| 13000 | 547 |448589 | 26.0 | 19M| 40 | 23 | 571 |5047 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
93.15/93.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.15/93.28 c 93.3s| 13100 | 550 |449809 | 25.9 | 19M| 40 | - | 571 |5125 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
93.35/93.50 c 93.5s| 13200 | 545 |451092 | 25.8 | 19M| 40 | - | 571 |5168 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
93.74/93.87 c 93.9s| 13300 | 547 |453473 | 25.8 | 19M| 40 | - | 571 |5167 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
94.14/94.24 c 94.2s| 13400 | 554 |455660 | 25.8 | 20M| 40 | 18 | 571 |5133 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
94.55/94.62 c 94.6s| 13500 | 563 |457758 | 25.7 | 20M| 40 | - | 571 |5158 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
94.84/94.90 c 94.9s| 13600 | 560 |459590 | 25.7 | 20M| 40 | - | 571 |5185 | 0 | 0 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
95.14/95.28 c 95.3s| 13700 | 553 |461904 | 25.7 | 20M| 40 | - | 571 |5202 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
95.45/95.58 c 95.6s| 13800 | 554 |464050 | 25.7 | 20M| 40 | 34 | 571 |5202 | 571 |2637 | 9 | 12k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
95.84/95.93 c 95.9s| 13900 | 549 |466244 | 25.6 | 20M| 40 | 44 | 571 |5193 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
96.14/96.21 c 96.2s| 14000 | 547 |468155 | 25.6 | 20M| 40 | 32 | 571 |5164 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
96.45/96.57 c 96.6s| 14100 | 546 |470578 | 25.6 | 20M| 40 | 32 | 571 |5165 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
96.84/96.96 c 97.0s| 14200 | 557 |473150 | 25.6 | 20M| 40 | - | 571 |5131 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
97.24/97.32 c 97.3s| 14300 | 554 |475149 | 25.6 | 20M| 40 | - | 571 |5117 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
97.44/97.58 c 97.6s| 14400 | 552 |476763 | 25.5 | 20M| 40 | 32 | 571 |5108 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
97.85/97.96 c 98.0s| 14500 | 561 |479391 | 25.5 | 20M| 40 | 32 | 571 |5113 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
98.25/98.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.25/98.39 c 98.4s| 14600 | 574 |482337 | 25.5 | 20M| 40 | 28 | 571 |5131 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
98.64/98.73 c 98.7s| 14700 | 578 |484889 | 25.5 | 20M| 40 | 28 | 571 |5187 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
98.95/99.08 c 99.1s| 14800 | 576 |487274 | 25.5 | 20M| 40 | 32 | 571 |5268 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
99.24/99.38 c 99.4s| 14900 | 573 |489408 | 25.5 | 20M| 40 | 22 | 571 |5306 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
99.64/99.71 c 99.7s| 15000 | 569 |491561 | 25.5 | 20M| 40 | - | 571 |5358 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
99.85/99.99 c 100s| 15100 | 573 |493399 | 25.5 | 20M| 40 | 25 | 571 |5357 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
100.25/100.31 c 100s| 15200 | 570 |495613 | 25.4 | 20M| 40 | 28 | 571 |5348 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
100.54/100.66 c 101s| 15300 | 567 |497953 | 25.4 | 20M| 40 | 35 | 571 |5385 | 571 |2637 | 9 | 13k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
100.85/100.90 c 101s| 15400 | 564 |499369 | 25.4 | 20M| 40 | 27 | 571 |5449 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
101.15/101.25 c 101s| 15500 | 565 |501612 | 25.4 | 20M| 40 | 50 | 571 |5488 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
101.44/101.55 c 102s| 15600 | 557 |503734 | 25.3 | 20M| 40 | - | 571 |5494 | 0 | 0 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
101.74/101.84 c 102s| 15700 | 548 |505402 | 25.3 | 20M| 40 | - | 571 |5521 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
102.04/102.19 c 102s| 15800 | 550 |507513 | 25.3 | 20M| 40 | 22 | 571 |5517 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
102.44/102.54 c 103s| 15900 | 551 |509220 | 25.2 | 20M| 40 | 37 | 571 |5522 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
102.74/102.85 c 103s| 16000 | 543 |511268 | 25.2 | 20M| 40 | - | 571 |5501 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
103.05/103.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.05/103.14 c 103s| 16100 | 533 |513106 | 25.2 | 20M| 40 | 38 | 571 |5456 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
103.35/103.49 c 103s| 16200 | 535 |515371 | 25.2 | 20M| 40 | - | 571 |5491 | 0 | 0 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
103.85/103.91 c 104s| 16300 | 526 |518224 | 25.2 | 20M| 40 | 34 | 571 |5489 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
104.15/104.25 c 104s| 16400 | 526 |520421 | 25.2 | 20M| 40 | 27 | 571 |5468 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
104.45/104.59 c 105s| 16500 | 529 |522685 | 25.1 | 20M| 40 | - | 571 |5526 | 0 | 0 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
104.74/104.86 c 105s| 16600 | 524 |524428 | 25.1 | 20M| 40 | - | 571 |5548 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
105.04/105.19 c 105s| 16700 | 529 |526612 | 25.1 | 20M| 40 | - | 571 |5545 | 571 |2637 | 9 | 14k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
105.35/105.49 c 105s| 16800 | 522 |528624 | 25.1 | 20M| 40 | 23 | 571 |5544 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
105.74/105.83 c 106s| 16900 | 522 |530796 | 25.1 | 20M| 40 | - | 571 |5559 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
105.94/106.06 c 106s| 17000 | 520 |532154 | 25.0 | 20M| 40 | 33 | 571 |5624 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
106.34/106.49 c 106s| 17100 | 510 |534707 | 25.0 | 20M| 40 | - | 571 |5629 | 0 | 0 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
106.74/106.80 c 107s| 17200 | 507 |536778 | 25.0 | 20M| 40 | - | 571 |5652 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
106.94/107.07 c 107s| 17300 | 508 |538615 | 25.0 | 20M| 40 | 21 | 571 |5681 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
107.24/107.37 c 107s| 17400 | 495 |540395 | 24.9 | 20M| 40 | - | 571 |5667 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
107.54/107.62 c 108s| 17500 | 486 |541969 | 24.9 | 20M| 40 | 38 | 571 |5675 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
107.84/107.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.84/107.91 c 108s| 17600 | 487 |543704 | 24.8 | 20M| 40 | 33 | 571 |5723 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
108.15/108.20 c 108s| 17700 | 487 |545705 | 24.8 | 20M| 40 | 31 | 571 |5784 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
108.34/108.46 c 108s| 17800 | 485 |547109 | 24.8 | 20M| 40 | - | 571 |5837 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
108.64/108.76 c 109s| 17900 | 482 |548958 | 24.7 | 20M| 40 | 37 | 571 |5844 | 571 |2637 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
108.95/109.01 c 109s| 18000 | 474 |550427 | 24.7 | 20M| 40 | - | 571 |5873 | 0 | 0 | 9 | 15k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
109.35/109.40 c 109s| 18100 | 479 |553061 | 24.7 | 20M| 40 | - | 571 |5788 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
109.64/109.76 c 110s| 18200 | 479 |555309 | 24.7 | 20M| 40 | - | 571 |5825 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
109.95/110.09 c 110s| 18300 | 481 |557471 | 24.7 | 20M| 40 | - | 571 |5866 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
110.24/110.39 c 110s| 18400 | 476 |559401 | 24.7 | 20M| 40 | - | 571 |5853 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
110.55/110.62 c 111s| 18500 | 477 |560680 | 24.6 | 20M| 40 | 36 | 571 |5863 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
110.74/110.86 c 111s| 18600 | 472 |562092 | 24.6 | 20M| 40 | - | 571 |5883 | 0 | 0 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
111.05/111.13 c 111s| 18700 | 472 |563736 | 24.5 | 20M| 40 | - | 571 |5859 | 0 | 0 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
111.24/111.38 c 111s| 18800 | 469 |565288 | 24.5 | 20M| 40 | 21 | 571 |5849 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
111.65/111.70 c 112s| 18900 | 464 |567107 | 24.5 | 20M| 40 | 28 | 571 |5817 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
111.85/111.97 c 112s| 19000 | 463 |568772 | 24.4 | 20M| 40 | 37 | 571 |5786 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
112.34/112.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.34/112.40 c 112s| 19100 | 456 |570968 | 24.4 | 20M| 40 | 26 | 571 |5775 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
112.74/112.83 c 113s| 19200 | 470 |574037 | 24.4 | 20M| 40 | - | 571 |5705 | 0 | 0 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
113.05/113.17 c 113s| 19300 | 489 |576569 | 24.4 | 20M| 40 | 38 | 571 |5678 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
113.44/113.55 c 114s| 19400 | 498 |579394 | 24.5 | 20M| 40 | - | 571 |5584 | 571 |2637 | 9 | 16k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
113.94/114.00 c 114s| 19500 | 512 |582391 | 24.5 | 20M| 40 | 40 | 571 |5557 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
114.25/114.32 c 114s| 19600 | 520 |584728 | 24.5 | 20M| 40 | - | 571 |5561 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
114.54/114.67 c 115s| 19700 | 519 |587176 | 24.5 | 20M| 40 | - | 571 |5534 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
115.04/115.10 c 115s| 19800 | 529 |590499 | 24.5 | 20M| 40 | - | 571 |5583 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
115.35/115.43 c 115s| 19900 | 525 |592786 | 24.5 | 20M| 40 | - | 571 |5637 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
115.64/115.77 c 116s| 20000 | 524 |595355 | 24.5 | 20M| 40 | 33 | 571 |5613 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
116.04/116.14 c 116s| 20100 | 525 |597801 | 24.5 | 20M| 40 | 29 | 571 |5658 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
116.34/116.45 c 116s| 20200 | 519 |599983 | 24.5 | 20M| 40 | 35 | 571 |5708 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
116.84/116.90 c 117s| 20300 | 528 |603303 | 24.5 | 20M| 40 | - | 571 |5738 | 0 | 0 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
117.24/117.32 c 117s| 20400 | 538 |606144 | 24.6 | 20M| 40 | - | 571 |5740 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
117.74/117.80 c 118s| 20500 | 548 |609497 | 24.6 | 20M| 40 | 31 | 571 |5635 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
118.04/118.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.04/118.14 c 118s| 20600 | 550 |611910 | 24.6 | 20M| 40 | 34 | 571 |5637 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
118.44/118.56 c 119s| 20700 | 558 |614623 | 24.6 | 20M| 40 | - | 571 |5623 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
118.94/119.00 c 119s| 20800 | 557 |617423 | 24.6 | 20M| 40 | 35 | 571 |5654 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
119.24/119.31 c 119s| 20900 | 555 |619672 | 24.6 | 20M| 40 | - | 571 |5684 | 571 |2637 | 9 | 17k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
119.64/119.70 c 120s| 21000 | 562 |622071 | 24.6 | 20M| 40 | 36 | 571 |5709 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
119.85/119.97 c 120s| 21100 | 557 |623698 | 24.6 | 20M| 40 | - | 571 |5729 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
120.24/120.31 c 120s| 21200 | 554 |625944 | 24.6 | 20M| 40 | - | 571 |5750 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
120.64/120.79 c 121s| 21300 | 555 |629282 | 24.6 | 20M| 40 | - | 571 |5753 | 0 | 0 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
120.95/121.06 c 121s| 21400 | 557 |631112 | 24.6 | 20M| 40 | 34 | 571 |5748 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
121.34/121.40 c 121s| 21500 | 558 |633362 | 24.6 | 20M| 40 | - | 571 |5773 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
121.64/121.73 c 122s| 21600 | 561 |635719 | 24.6 | 20M| 40 | 40 | 571 |5791 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
121.94/122.05 c 122s| 21700 | 554 |637603 | 24.5 | 20M| 40 | 25 | 571 |5829 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
122.34/122.46 c 122s| 21800 | 553 |640480 | 24.6 | 20M| 40 | 31 | 571 |5855 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
122.64/122.75 c 123s| 21900 | 552 |642481 | 24.5 | 20M| 40 | - | 571 |5888 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
122.94/123.08 c 123s| 22000 | 560 |644450 | 24.5 | 20M| 40 | 20 | 571 |5885 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
123.24/123.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.24/123.36 c 123s| 22100 | 560 |646184 | 24.5 | 21M| 40 | - | 571 |5922 | 571 |2637 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
123.54/123.69 c 124s| 22200 | 565 |648502 | 24.5 | 21M| 40 | - | 571 |5946 | 0 | 0 | 9 | 18k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
124.04/124.15 c 124s| 22300 | 576 |651747 | 24.5 | 21M| 40 | 24 | 571 |5954 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
124.54/124.63 c 125s| 22400 | 581 |654747 | 24.5 | 21M| 40 | 38 | 571 |6001 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
124.84/124.96 c 125s| 22500 | 572 |657014 | 24.5 | 21M| 40 | - | 571 |6015 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
125.25/125.31 c 125s| 22600 | 572 |659131 | 24.5 | 21M| 40 | 36 | 571 |6034 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
125.54/125.66 c 126s| 22700 | 567 |661638 | 24.5 | 21M| 40 | 38 | 571 |6056 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
125.85/125.98 c 126s| 22800 | 568 |663611 | 24.5 | 21M| 40 | 26 | 571 |6107 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
126.14/126.29 c 126s| 22900 | 566 |665576 | 24.5 | 21M| 40 | - | 571 |6107 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
126.45/126.56 c 127s| 23000 | 570 |667313 | 24.5 | 21M| 40 | 20 | 571 |6127 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
126.84/126.90 c 127s| 23100 | 567 |669495 | 24.4 | 21M| 40 | - | 571 |6157 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
127.04/127.16 c 127s| 23200 | 556 |671068 | 24.4 | 21M| 40 | 29 | 571 |6133 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
127.44/127.54 c 128s| 23300 | 553 |673690 | 24.4 | 21M| 40 | - | 571 |6150 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
127.74/127.89 c 128s| 23400 | 544 |675943 | 24.4 | 21M| 40 | - | 571 |6189 | 0 | 0 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
128.04/128.18 c 128s| 23500 | 543 |677945 | 24.4 | 21M| 40 | 29 | 571 |6219 | 571 |2637 | 9 | 19k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
128.34/128.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.34/128.48 c 128s| 23600 | 531 |679736 | 24.4 | 21M| 40 | - | 571 |6232 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
128.64/128.79 c 129s| 23700 | 516 |681724 | 24.4 | 20M| 40 | - | 571 |6220 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
129.04/129.17 c 129s| 23800 | 518 |684130 | 24.4 | 21M| 40 | 34 | 571 |6231 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
129.34/129.48 c 129s| 23900 | 513 |686189 | 24.3 | 21M| 40 | 37 | 571 |6281 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
129.65/129.79 c 130s| 24000 | 505 |687861 | 24.3 | 20M| 40 | - | 571 |6303 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
129.94/130.09 c 130s| 24100 | 502 |689579 | 24.3 | 20M| 40 | - | 571 |6315 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
130.34/130.43 c 130s| 24200 | 490 |691484 | 24.3 | 20M| 40 | - | 571 |6310 | 0 | 0 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
130.54/130.69 c 131s| 24300 | 480 |693021 | 24.2 | 20M| 40 | - | 571 |6299 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
130.84/130.98 c 131s| 24400 | 475 |694888 | 24.2 | 20M| 40 | 37 | 571 |6295 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
131.14/131.27 c 131s| 24500 | 482 |696534 | 24.2 | 20M| 40 | 28 | 571 |6309 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
131.44/131.50 c 131s| 24600 | 476 |697733 | 24.2 | 20M| 40 | 35 | 571 |6389 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
131.74/131.83 c 132s| 24700 | 471 |699708 | 24.1 | 20M| 40 | 29 | 571 |6439 | 571 |2637 | 9 | 20k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
131.95/132.05 c 132s| 24800 | 457 |700948 | 24.1 | 20M| 40 | - | 571 |6486 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
132.34/132.45 c 132s| 24900 | 464 |703543 | 24.1 | 20M| 40 | - | 571 |6392 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
132.64/132.75 c 133s| 25000 | 471 |705557 | 24.1 | 20M| 40 | 26 | 571 |6328 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
132.95/133.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.95/133.10 c 133s| 25100 | 478 |707765 | 24.1 | 20M| 40 | - | 571 |6297 | 0 | 0 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
133.24/133.36 c 133s| 25200 | 481 |709683 | 24.1 | 20M| 40 | 26 | 571 |6316 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
133.64/133.75 c 134s| 25300 | 492 |712257 | 24.1 | 20M| 40 | - | 571 |6256 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
133.94/134.03 c 134s| 25400 | 500 |713819 | 24.0 | 20M| 40 | 33 | 571 |6306 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
134.34/134.48 c 134s| 25500 | 512 |716403 | 24.0 | 20M| 40 | 31 | 571 |6308 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
134.74/134.83 c 135s| 25600 | 517 |719027 | 24.1 | 21M| 40 | - | 571 |6342 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
135.14/135.23 c 135s| 25700 | 538 |721756 | 24.1 | 21M| 40 | 19 | 571 |6314 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
135.44/135.57 c 136s| 25800 | 550 |724117 | 24.1 | 21M| 40 | 28 | 571 |6338 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
135.84/135.96 c 136s| 25900 | 560 |726650 | 24.1 | 21M| 40 | 34 | 571 |6384 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
136.24/136.35 c 136s| 26000 | 564 |729496 | 24.1 | 21M| 40 | 36 | 571 |6405 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
136.64/136.79 c 137s| 26100 | 576 |732453 | 24.1 | 21M| 40 | 32 | 571 |6444 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 9.000000e+00 | Inf
136.94/137.06 o 6
136.94/137.06 c * 137s| 26170 | 427 |734262 | 24.1 | 19M| 40 | - | 571 |6449 | 571 |2637 | 9 | 21k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
137.04/137.17 c 137s| 26200 | 428 |735085 | 24.1 | 19M| 40 | - | 571 |6204 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
137.34/137.44 c 137s| 26300 | 424 |736750 | 24.1 | 19M| 40 | 26 | 571 |6099 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
137.74/137.85 c 138s| 26400 | 422 |738510 | 24.1 | 19M| 40 | 24 | 571 |6145 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
138.04/138.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.04/138.16 c 138s| 26500 | 422 |740666 | 24.1 | 19M| 40 | - | 571 |6190 | 0 | 0 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
138.45/138.52 c 139s| 26600 | 414 |743115 | 24.1 | 19M| 40 | - | 571 |6158 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
138.74/138.82 c 139s| 26700 | 419 |745069 | 24.0 | 19M| 40 | - | 571 |6197 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
139.14/139.22 c 139s| 26800 | 433 |747097 | 24.0 | 19M| 40 | 30 | 571 |6149 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
139.44/139.53 c 140s| 26900 | 447 |749016 | 24.0 | 19M| 40 | 14 | 571 |6201 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
139.74/139.85 c 140s| 27000 | 452 |751128 | 24.0 | 19M| 40 | 19 | 571 |6250 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
140.04/140.19 c 140s| 27100 | 457 |753333 | 24.0 | 19M| 40 | 18 | 571 |6296 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
140.54/140.60 c 141s| 27200 | 458 |756519 | 24.0 | 19M| 40 | - | 571 |6349 | 0 | 0 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
140.84/140.94 c 141s| 27300 | 462 |759173 | 24.0 | 19M| 40 | - | 571 |6352 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
141.23/141.31 c 141s| 27400 | 467 |761480 | 24.0 | 19M| 40 | - | 571 |6380 | 571 |2637 | 9 | 22k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
141.63/141.72 c 142s| 27500 | 461 |764410 | 24.0 | 19M| 40 | - | 571 |6396 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
141.94/142.08 c 142s| 27600 | 459 |766186 | 24.0 | 19M| 40 | 41 | 571 |6460 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
142.44/142.57 c 143s| 27700 | 465 |769187 | 24.0 | 19M| 40 | - | 571 |6388 | 0 | 0 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
142.84/142.91 c 143s| 27800 | 475 |771499 | 24.0 | 19M| 40 | - | 571 |6371 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
143.14/143.22 c 143s| 27900 | 484 |773625 | 24.0 | 19M| 40 | 39 | 571 |6380 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
143.44/143.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.44/143.56 c 144s| 28000 | 494 |776019 | 24.0 | 19M| 40 | 33 | 571 |6348 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
143.84/143.99 c 144s| 28100 | 505 |778715 | 24.0 | 19M| 40 | 33 | 571 |6367 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
144.24/144.33 c 144s| 28200 | 511 |780995 | 24.0 | 19M| 40 | - | 571 |6441 | 0 | 0 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
144.63/144.72 c 145s| 28300 | 524 |783633 | 24.0 | 19M| 40 | 32 | 571 |6451 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
144.94/145.08 c 145s| 28400 | 529 |785806 | 24.0 | 19M| 40 | 34 | 571 |6470 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
145.24/145.39 c 145s| 28500 | 533 |787948 | 24.0 | 19M| 40 | - | 571 |6543 | 0 | 0 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
145.64/145.74 c 146s| 28600 | 531 |790171 | 24.0 | 19M| 40 | - | 571 |6576 | 0 | 0 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
145.94/146.07 c 146s| 28700 | 539 |792507 | 24.0 | 20M| 40 | - | 571 |6618 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
146.24/146.36 c 146s| 28800 | 538 |794432 | 24.0 | 20M| 40 | 44 | 571 |6679 | 571 |2637 | 9 | 23k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
146.53/146.69 c 147s| 28900 | 542 |796449 | 24.0 | 20M| 40 | - | 571 |6762 | 0 | 0 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
146.93/147.02 c 147s| 29000 | 537 |798440 | 24.0 | 20M| 40 | - | 571 |6807 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
147.24/147.38 c 147s| 29100 | 540 |801083 | 24.0 | 20M| 40 | - | 571 |6827 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
147.73/147.84 c 148s| 29200 | 543 |803224 | 24.0 | 20M| 40 | - | 571 |6878 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
148.14/148.20 c 148s| 29300 | 548 |805903 | 24.0 | 20M| 40 | 31 | 571 |6958 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
148.44/148.53 c 149s| 29400 | 550 |808187 | 24.0 | 20M| 40 | 26 | 571 |7023 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
148.84/148.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.84/148.91 c 149s| 29500 | 549 |810708 | 24.0 | 20M| 40 | 20 | 571 |7072 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
149.14/149.22 c 149s| 29600 | 545 |812909 | 24.0 | 20M| 40 | - | 571 |7139 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
149.63/149.75 c 150s| 29700 | 568 |816175 | 24.0 | 20M| 40 | 39 | 571 |7082 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
150.14/150.21 c 150s| 29800 | 583 |819037 | 24.0 | 20M| 40 | - | 571 |7120 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
150.34/150.49 c 150s| 29900 | 603 |820847 | 24.0 | 20M| 40 | - | 571 |7133 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
150.73/150.80 c 151s| 30000 | 605 |823127 | 24.0 | 20M| 40 | - | 571 |7135 | 571 |2637 | 9 | 24k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
151.24/151.30 c 151s| 30100 | 610 |826537 | 24.0 | 20M| 40 | 35 | 571 |7185 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
151.53/151.67 c 152s| 30200 | 623 |829115 | 24.0 | 20M| 40 | 18 | 571 |7181 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
151.84/151.91 c 152s| 30300 | 629 |830492 | 24.0 | 20M| 40 | - | 571 |7229 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
152.03/152.17 c 152s| 30400 | 623 |832163 | 24.0 | 20M| 40 | 24 | 571 |7300 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
152.44/152.56 c 153s| 30500 | 630 |834635 | 24.0 | 20M| 40 | - | 571 |7345 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
152.74/152.85 c 153s| 30600 | 647 |836561 | 24.0 | 21M| 40 | - | 571 |7349 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
153.14/153.22 c 153s| 30700 | 662 |839315 | 24.0 | 21M| 40 | - | 571 |7350 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
153.43/153.58 c 154s| 30800 | 668 |841716 | 24.0 | 21M| 40 | 32 | 571 |7373 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
153.84/153.92 c 154s| 30900 | 670 |843923 | 24.0 | 21M| 40 | - | 571 |7421 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
154.14/154.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.14/154.25 c 154s| 31000 | 674 |846060 | 24.0 | 21M| 42 | - | 571 |7470 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
154.43/154.59 c 155s| 31100 | 690 |848396 | 24.0 | 21M| 42 | - | 571 |7498 | 0 | 0 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
154.74/154.88 c 155s| 31200 | 690 |850278 | 24.0 | 21M| 42 | 30 | 571 |7548 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
155.13/155.28 c 155s| 31300 | 704 |852909 | 24.0 | 21M| 42 | 32 | 571 |7603 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
155.64/155.75 c 156s| 31400 | 711 |856114 | 24.0 | 21M| 42 | - | 571 |7657 | 571 |2637 | 9 | 25k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
155.93/156.06 c 156s| 31500 | 709 |858112 | 24.0 | 21M| 42 | - | 571 |7684 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
156.34/156.43 c 156s| 31600 | 724 |860853 | 24.0 | 21M| 42 | 32 | 571 |7681 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
156.74/156.84 c 157s| 31700 | 719 |863532 | 24.0 | 21M| 42 | - | 571 |7734 | 0 | 0 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
157.15/157.26 c 157s| 31800 | 719 |866416 | 24.0 | 21M| 42 | - | 571 |7763 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
157.44/157.58 c 158s| 31900 | 716 |868654 | 24.0 | 21M| 42 | 35 | 571 |7725 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
157.84/157.94 c 158s| 32000 | 731 |871112 | 24.0 | 21M| 42 | - | 571 |7728 | 0 | 0 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
158.24/158.31 c 158s| 32100 | 735 |873291 | 24.0 | 21M| 42 | 33 | 571 |7801 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
158.53/158.65 c 159s| 32200 | 753 |875577 | 24.0 | 21M| 42 | 28 | 571 |7837 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
158.94/159.01 c 159s| 32300 | 755 |877806 | 24.0 | 21M| 42 | 32 | 571 |7841 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
159.34/159.50 c 159s| 32400 | 749 |880338 | 24.0 | 21M| 42 | 35 | 571 |7836 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
159.74/159.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.74/159.85 c 160s| 32500 | 748 |882829 | 24.0 | 21M| 42 | - | 571 |7846 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
160.13/160.22 c 160s| 32600 | 751 |885346 | 24.0 | 21M| 42 | - | 571 |7864 | 0 | 0 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
160.44/160.58 c 161s| 32700 | 749 |887826 | 24.0 | 21M| 42 | 32 | 571 |7873 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
160.84/160.93 c 161s| 32800 | 749 |890221 | 24.0 | 21M| 42 | - | 571 |7872 | 571 |2637 | 9 | 26k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
161.13/161.26 c 161s| 32900 | 748 |892483 | 24.0 | 21M| 42 | 22 | 571 |7895 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
161.54/161.61 c 162s| 33000 | 743 |894663 | 24.0 | 21M| 42 | - | 571 |7937 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
161.73/161.88 c 162s| 33100 | 737 |896479 | 24.0 | 21M| 42 | - | 571 |7950 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
162.14/162.24 c 162s| 33200 | 730 |898833 | 24.0 | 21M| 42 | 34 | 571 |7973 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
162.44/162.52 c 163s| 33300 | 734 |900749 | 24.0 | 21M| 42 | 27 | 571 |7996 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
162.93/163.00 c 163s| 33400 | 751 |904036 | 24.0 | 21M| 42 | 33 | 571 |8016 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
163.34/163.45 c 163s| 33500 | 761 |907214 | 24.0 | 22M| 42 | - | 571 |8063 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
163.74/163.83 c 164s| 33600 | 765 |909965 | 24.0 | 22M| 42 | 25 | 571 |8105 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
164.13/164.25 c 164s| 33700 | 781 |912715 | 24.0 | 22M| 42 | 33 | 571 |8134 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
164.54/164.65 c 165s| 33800 | 786 |915819 | 24.0 | 22M| 42 | - | 571 |8184 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
165.04/165.13 c 165s| 33900 | 792 |919127 | 24.1 | 22M| 42 | 33 | 571 |8244 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
165.43/165.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.43/165.50 c 165s| 34000 | 788 |921793 | 24.1 | 22M| 42 | 30 | 571 |8278 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
165.73/165.80 c 166s| 34100 | 789 |923876 | 24.1 | 22M| 42 | - | 571 |8299 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
166.05/166.16 c 166s| 34200 | 794 |926168 | 24.1 | 22M| 42 | - | 571 |8327 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
166.63/166.77 c 167s| 34300 | 817 |929776 | 24.1 | 22M| 42 | 37 | 571 |8345 | 571 |2637 | 9 | 27k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
167.04/167.18 c 167s| 34400 | 829 |932943 | 24.1 | 22M| 45 | - | 571 |8381 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
167.43/167.59 c 168s| 34500 | 824 |935742 | 24.1 | 22M| 45 | - | 571 |8431 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
167.73/167.89 c 168s| 34600 | 820 |937915 | 24.1 | 22M| 45 | 36 | 571 |8464 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
168.14/168.24 c 168s| 34700 | 821 |940139 | 24.1 | 22M| 45 | 34 | 571 |8485 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
168.53/168.62 c 169s| 34800 | 824 |942957 | 24.1 | 22M| 45 | 41 | 571 |8502 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
168.94/169.03 c 169s| 34900 | 819 |945668 | 24.1 | 22M| 45 | - | 571 |8566 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
169.24/169.34 c 169s| 35000 | 820 |947810 | 24.1 | 22M| 45 | 39 | 571 |8541 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
169.63/169.75 c 170s| 35100 | 820 |950473 | 24.1 | 22M| 45 | - | 571 |8531 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
169.94/170.04 c 170s| 35200 | 823 |952425 | 24.1 | 22M| 45 | 33 | 571 |8561 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
170.23/170.40 c 170s| 35300 | 821 |954651 | 24.1 | 22M| 45 | 29 | 571 |8612 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
170.63/170.70 c 171s| 35400 | 815 |956512 | 24.1 | 22M| 45 | 41 | 571 |8621 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
171.03/171.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.03/171.12 c 171s| 35500 | 813 |959269 | 24.1 | 22M| 45 | - | 571 |8586 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
171.33/171.46 c 171s| 35600 | 806 |961657 | 24.1 | 22M| 45 | 36 | 571 |8622 | 571 |2637 | 9 | 28k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
171.73/171.86 c 172s| 35700 | 805 |964335 | 24.1 | 22M| 45 | - | 571 |8612 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
172.13/172.25 c 172s| 35800 | 801 |966881 | 24.1 | 22M| 48 | 36 | 571 |8674 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
172.43/172.54 c 173s| 35900 | 793 |968818 | 24.1 | 22M| 48 | - | 571 |8694 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
172.73/172.87 c 173s| 36000 | 781 |971040 | 24.1 | 22M| 48 | - | 571 |8741 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
173.14/173.23 c 173s| 36100 | 777 |973286 | 24.1 | 22M| 48 | 29 | 571 |8728 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
173.33/173.50 c 173s| 36200 | 779 |975065 | 24.1 | 22M| 48 | 21 | 571 |8753 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
173.73/173.84 c 174s| 36300 | 772 |977089 | 24.1 | 22M| 48 | 20 | 571 |8803 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
174.03/174.18 c 174s| 36400 | 765 |979496 | 24.1 | 22M| 48 | 40 | 571 |8790 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
174.53/174.65 c 175s| 36500 | 765 |982897 | 24.1 | 22M| 48 | - | 571 |8786 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
174.94/175.03 c 175s| 36600 | 755 |985388 | 24.1 | 22M| 48 | - | 571 |8759 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
175.23/175.37 c 175s| 36700 | 760 |987807 | 24.1 | 22M| 48 | - | 571 |8574 | 0 | 0 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
175.63/175.73 c 176s| 36800 | 753 |990150 | 24.1 | 22M| 48 | 37 | 571 |8505 | 571 |2637 | 9 | 29k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
175.94/176.08 c 176s| 36900 | 752 |992655 | 24.1 | 22M| 48 | 33 | 571 |8386 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
176.33/176.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.33/176.47 c 176s| 37000 | 742 |995325 | 24.1 | 22M| 48 | 29 | 571 |8284 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
176.74/176.82 c 177s| 37100 | 738 |997446 | 24.1 | 22M| 48 | - | 571 |8311 | 0 | 0 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
177.04/177.14 c 177s| 37200 | 727 |999566 | 24.1 | 22M| 48 | - | 571 |8294 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
177.33/177.48 c 177s| 37300 | 723 | 1001k| 24.1 | 22M| 48 | 40 | 571 |8157 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
177.63/177.78 c 178s| 37400 | 720 | 1003k| 24.1 | 22M| 48 | - | 571 |8024 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
178.04/178.16 c 178s| 37500 | 728 | 1006k| 24.1 | 22M| 48 | 40 | 571 |7948 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
178.54/178.61 c 179s| 37600 | 725 | 1009k| 24.1 | 22M| 48 | 30 | 571 |7944 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
178.83/178.95 c 179s| 37700 | 733 | 1011k| 24.1 | 22M| 48 | - | 571 |7998 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
179.24/179.32 c 179s| 37800 | 731 | 1014k| 24.1 | 22M| 48 | 30 | 571 |8045 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
179.54/179.69 c 180s| 37900 | 725 | 1016k| 24.1 | 22M| 48 | 33 | 571 |8075 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
179.83/179.97 c 180s| 38000 | 709 | 1018k| 24.1 | 22M| 48 | 29 | 571 |8049 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
180.24/180.36 c 180s| 38100 | 706 | 1021k| 24.1 | 22M| 48 | - | 571 |8100 | 571 |2637 | 9 | 30k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
180.53/180.64 c 181s| 38200 | 695 | 1023k| 24.1 | 22M| 48 | - | 571 |8130 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
180.83/180.98 c 181s| 38300 | 687 | 1025k| 24.1 | 22M| 48 | 24 | 571 |8100 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
181.23/181.37 c 181s| 38400 | 690 | 1027k| 24.1 | 22M| 48 | - | 571 |8109 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
181.53/181.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.53/181.62 c 182s| 38500 | 685 | 1029k| 24.1 | 22M| 48 | 33 | 571 |8082 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
181.83/181.93 c 182s| 38600 | 695 | 1031k| 24.1 | 22M| 48 | 31 | 571 |8102 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
182.24/182.32 c 182s| 38700 | 691 | 1034k| 24.1 | 22M| 48 | - | 571 |8170 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
182.74/182.89 c 183s| 38800 | 694 | 1037k| 24.1 | 22M| 48 | - | 571 |8212 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
183.13/183.29 c 183s| 38900 | 702 | 1040k| 24.1 | 22M| 48 | - | 571 |8247 | 0 | 0 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
183.54/183.68 c 184s| 39000 | 708 | 1043k| 24.1 | 22M| 48 | 37 | 571 |8246 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
183.93/184.05 c 184s| 39100 | 695 | 1045k| 24.1 | 22M| 48 | 33 | 571 |8229 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
184.33/184.45 c 184s| 39200 | 700 | 1048k| 24.1 | 22M| 48 | - | 571 |8266 | 0 | 0 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
184.64/184.75 c 185s| 39300 | 697 | 1050k| 24.1 | 22M| 48 | - | 571 |8194 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
185.04/185.16 c 185s| 39400 | 688 | 1052k| 24.1 | 22M| 48 | 34 | 571 |8199 | 571 |2637 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
185.33/185.49 c 185s| 39500 | 685 | 1055k| 24.1 | 22M| 48 | - | 571 |8168 | 0 | 0 | 9 | 31k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
185.74/185.87 c 186s| 39600 | 693 | 1057k| 24.1 | 22M| 48 | 38 | 571 |8171 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
186.13/186.26 c 186s| 39700 | 688 | 1060k| 24.1 | 22M| 48 | - | 571 |8207 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
186.53/186.67 c 187s| 39800 | 683 | 1063k| 24.1 | 22M| 48 | - | 571 |8220 | 0 | 0 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
186.94/187.01 c 187s| 39900 | 678 | 1065k| 24.1 | 22M| 48 | 34 | 571 |8195 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
187.23/187.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.23/187.35 c 187s| 40000 | 664 | 1067k| 24.1 | 22M| 48 | - | 571 |8167 | 0 | 0 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
187.63/187.72 c 188s| 40100 | 661 | 1070k| 24.1 | 22M| 48 | - | 571 |8102 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
188.03/188.13 c 188s| 40200 | 657 | 1073k| 24.1 | 22M| 48 | 39 | 571 |8068 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
188.33/188.43 c 188s| 40300 | 651 | 1074k| 24.1 | 22M| 48 | 26 | 571 |8081 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
188.63/188.79 c 189s| 40400 | 641 | 1077k| 24.1 | 21M| 48 | - | 571 |8059 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
189.03/189.18 c 189s| 40500 | 643 | 1079k| 24.1 | 21M| 48 | 37 | 571 |8051 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
189.43/189.55 c 190s| 40600 | 643 | 1082k| 24.1 | 22M| 48 | 30 | 571 |8064 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
189.83/189.92 c 190s| 40700 | 634 | 1085k| 24.1 | 21M| 48 | - | 571 |8070 | 571 |2637 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
190.13/190.28 c 190s| 40800 | 617 | 1087k| 24.1 | 21M| 48 | - | 571 |8077 | 0 | 0 | 9 | 32k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
190.53/190.62 c 191s| 40900 | 608 | 1089k| 24.1 | 21M| 48 | 41 | 571 |8088 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
190.73/190.88 c 191s| 41000 | 576 | 1090k| 24.1 | 21M| 48 | - | 571 |8060 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
191.03/191.17 c 191s| 41100 | 583 | 1092k| 24.1 | 21M| 48 | 30 | 571 |8093 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
191.43/191.50 c 191s| 41200 | 579 | 1095k| 24.1 | 21M| 48 | - | 571 |8125 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
191.83/191.93 c 192s| 41300 | 584 | 1098k| 24.1 | 21M| 48 | 40 | 571 |8128 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
192.13/192.27 c 192s| 41400 | 582 | 1100k| 24.1 | 21M| 48 | 36 | 571 |8167 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
192.53/192.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.53/192.63 c 193s| 41500 | 582 | 1103k| 24.1 | 21M| 48 | 36 | 571 |8223 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
192.83/192.96 c 193s| 41600 | 567 | 1105k| 24.1 | 21M| 48 | - | 571 |8243 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
193.14/193.28 c 193s| 41700 | 557 | 1107k| 24.1 | 21M| 48 | - | 571 |8203 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
193.63/193.71 c 194s| 41800 | 551 | 1110k| 24.1 | 21M| 48 | 26 | 571 |8202 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
193.83/193.98 c 194s| 41900 | 539 | 1112k| 24.1 | 21M| 48 | - | 571 |8204 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
194.13/194.29 c 194s| 42000 | 536 | 1114k| 24.1 | 21M| 48 | 41 | 571 |8150 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
194.54/194.68 c 195s| 42100 | 522 | 1117k| 24.1 | 21M| 48 | - | 571 |8085 | 571 |2637 | 9 | 33k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
194.93/195.04 c 195s| 42200 | 510 | 1119k| 24.1 | 21M| 48 | - | 571 |8110 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
195.23/195.36 c 195s| 42300 | 497 | 1121k| 24.1 | 21M| 48 | 20 | 571 |8123 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
195.53/195.63 c 196s| 42400 | 477 | 1122k| 24.1 | 21M| 48 | 35 | 571 |8154 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
195.93/196.03 c 196s| 42500 | 461 | 1125k| 24.1 | 21M| 48 | - | 571 |8175 | 0 | 0 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
196.33/196.45 c 196s| 42600 | 455 | 1128k| 24.1 | 21M| 48 | 25 | 571 |8201 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
196.63/196.73 c 197s| 42700 | 457 | 1130k| 24.1 | 21M| 48 | - | 571 |8236 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
196.93/197.02 c 197s| 42800 | 452 | 1132k| 24.0 | 21M| 48 | 32 | 571 |8241 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
197.33/197.44 c 197s| 42900 | 446 | 1134k| 24.0 | 21M| 48 | - | 571 |8203 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
197.63/197.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.63/197.74 c 198s| 43000 | 431 | 1136k| 24.0 | 20M| 48 | - | 571 |8120 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
198.03/198.12 c 198s| 43100 | 424 | 1138k| 24.0 | 20M| 48 | - | 571 |8094 | 0 | 0 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
198.23/198.38 c 198s| 43200 | 400 | 1140k| 24.0 | 20M| 48 | 39 | 571 |8040 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
198.53/198.63 c 199s| 43300 | 384 | 1141k| 24.0 | 20M| 48 | - | 571 |8035 | 571 |2637 | 9 | 34k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
198.83/198.97 c 199s| 43400 | 367 | 1143k| 24.0 | 20M| 48 | - | 571 |7879 | 0 | 0 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
199.03/199.19 c 199s| 43500 | 324 | 1144k| 23.9 | 19M| 48 | 36 | 571 |7887 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
199.43/199.55 c 200s| 43600 | 298 | 1146k| 23.9 | 19M| 48 | 23 | 571 |7315 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
199.73/199.83 c 200s| 43700 | 288 | 1147k| 23.9 | 19M| 48 | 36 | 571 |7021 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
200.03/200.12 c 200s| 43800 | 268 | 1149k| 23.9 | 18M| 48 | 14 | 571 |6758 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
200.32/200.43 c 200s| 43900 | 252 | 1151k| 23.9 | 18M| 48 | - | 571 |6620 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
200.53/200.69 c 201s| 44000 | 240 | 1152k| 23.9 | 18M| 48 | 40 | 571 |6508 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
200.83/200.97 c 201s| 44100 | 214 | 1154k| 23.9 | 18M| 48 | 33 | 571 |6098 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
201.23/201.32 c 201s| 44200 | 222 | 1156k| 23.9 | 18M| 48 | 32 | 571 |6115 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
201.53/201.65 c 202s| 44300 | 223 | 1159k| 23.9 | 18M| 48 | - | 571 |6141 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
201.82/201.99 c 202s| 44400 | 212 | 1161k| 23.9 | 18M| 48 | 32 | 571 |6162 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
202.13/202.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.13/202.30 c 202s| 44500 | 202 | 1163k| 23.8 | 18M| 48 | - | 571 |6092 | 571 |2637 | 9 | 35k| 0 | 0.000000e+00 | 6.000000e+00 | Inf
202.43/202.53 c 203s| 44600 | 185 | 1164k| 23.8 | 17M| 48 | - | 571 |5902 | 0 | 0 | 9 | 35k| 0 | 1.600000e-01 | 6.000000e+00 |3650.00%
202.63/202.75 c 203s| 44700 | 146 | 1165k| 23.8 | 17M| 48 | - | 571 |5772 | 571 |2637 | 9 | 36k| 0 | 4.000000e-01 | 6.000000e+00 |1400.00%
202.83/202.95 c 203s| 44800 | 116 | 1166k| 23.8 | 17M| 48 | - | 571 |5717 | 571 |2637 | 9 | 36k| 0 | 5.789474e-01 | 6.000000e+00 | 936.36%
203.03/203.14 c 203s| 44900 | 75 | 1166k| 23.7 | 16M| 48 | 16 | 571 |5613 | 571 |2637 | 9 | 36k| 0 | 8.482143e-01 | 6.000000e+00 | 607.37%
203.23/203.32 c 203s| 45000 | 15 | 1167k| 23.7 | 16M| 48 | - | 571 |5553 | 0 | 0 | 9 | 36k| 0 | 1.407407e+00 | 6.000000e+00 | 326.32%
203.23/203.38 c
203.23/203.38 c SCIP Status : problem is solved [optimal solution found]
203.23/203.38 c Solving Time (sec) : 203.37
203.23/203.38 c Solving Nodes : 45033 (total of 49262 nodes in 2 runs)
203.23/203.38 c Primal Bound : +6.00000000000000e+00 (20 solutions)
203.23/203.38 c Dual Bound : +6.00000000000000e+00
203.23/203.38 c Gap : 0.00 %
203.23/203.38 s OPTIMUM FOUND
203.23/203.38 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
203.23/203.38 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
203.23/203.38 v -x188 -x187 -x186 -x185 -x184 -x183 x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
203.23/203.38 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
203.23/203.38 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
203.23/203.38 v -x125 x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
203.23/203.38 v -x104 -x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80
203.23/203.38 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 -x55
203.23/203.38 v -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29
203.23/203.38 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2
203.23/203.38 v -x1
203.23/203.38 c SCIP Status : problem is solved [optimal solution found]
203.23/203.38 c Total Time : 203.37
203.23/203.38 c solving : 203.37
203.23/203.38 c presolving : 0.29 (included in solving)
203.23/203.38 c reading : 0.01 (included in solving)
203.23/203.38 c copying : 0.52 (24 #copies) (minimal 0.02, maximal 0.03, average 0.02)
203.23/203.38 c Original Problem :
203.23/203.38 c Problem name : HOME/instance-3717446-1338192865.wbo
203.23/203.38 c Variables : 2070 (2070 binary, 0 integer, 0 implicit integer, 0 continuous)
203.23/203.38 c Constraints : 2708 initial, 2708 maximal
203.23/203.38 c Objective sense : minimize
203.23/203.38 c Presolved Problem :
203.23/203.38 c Problem name : t_HOME/instance-3717446-1338192865.wbo
203.23/203.38 c Variables : 571 (401 binary, 0 integer, 170 implicit integer, 0 continuous)
203.23/203.38 c Constraints : 3634 initial, 8824 maximal
203.23/203.38 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
203.23/203.38 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c trivial : 0.00 0.00 3086 0 0 0 0 0 0 0 0
203.23/203.38 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c varbound : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 4
203.23/203.38 c setppc : 0.00 0.00 0 0 0 0 0 58 0 0 0
203.23/203.38 c linear : 0.10 0.00 169 0 0 2044 0 1775 0 140 0
203.23/203.38 c indicator : 0.00 0.00 83 0 0 0 0 252 0 0 0
203.23/203.38 c logicor : 0.15 0.00 0 0 0 0 0 61 0 0 0
203.23/203.38 c bounddisjunction : 0.00 0.00 0 0 0 0 0 0 0 0 0
203.23/203.38 c root node : - - 3176 - - 3176 - - - - -
203.23/203.38 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
203.23/203.38 c integral : 0 0 0 0 26189 0 26482 0 0 0 0 0 52372
203.23/203.38 c varbound : 170 170 1 147369 0 0 0 661 0 196799 0 0 0
203.23/203.38 c knapsack : 3 3 1 147692 1 0 23601 20490 525 96542 0 0 0
203.23/203.38 c setppc : 22 22 7 167111 1 0 19851 237800 2249 275943 0 0 0
203.23/203.38 c linear : 176 176 7 164877 1 0 1192 18970 635 59915 0 0 0
203.23/203.38 c indicator : 170 170 0 163905 2 0 217 740 0 72197 0 0 0
203.23/203.38 c logicor : 3062+ 8450 7 127402 3 0 217 98324 5891 370156 2 0 0
203.23/203.38 c bounddisjunction : 31 31 0 20295 0 0 0 61 27 101 0 0 0
203.23/203.38 c countsols : 0 0 0 0 3 0 34 0 0 0 0 0 0
203.23/203.38 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
203.23/203.38 c integral : 0.65 0.00 0.00 0.00 0.18 0.00 0.47 0.00
203.23/203.38 c varbound : 0.44 0.00 0.00 0.44 0.00 0.00 0.00 0.00
203.23/203.38 c knapsack : 0.71 0.00 0.00 0.63 0.00 0.00 0.07 0.02
203.23/203.38 c setppc : 1.00 0.00 0.00 0.85 0.00 0.00 0.06 0.08
203.23/203.38 c linear : 1.34 0.00 0.00 1.23 0.00 0.00 0.09 0.02
203.23/203.38 c indicator : 0.66 0.00 0.00 0.62 0.00 0.00 0.04 0.00
203.23/203.38 c logicor : 4.44 0.00 0.00 4.36 0.00 0.00 0.01 0.07
203.23/203.38 c bounddisjunction : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00
203.23/203.38 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
203.23/203.38 c Propagators : #Propagate #ResProp Cutoffs DomReds
203.23/203.38 c rootredcost : 11 0 0 717
203.23/203.38 c pseudoobj : 194161 745 38 37588
203.23/203.38 c vbounds : 20302 1659 3 551129
203.23/203.38 c redcost : 36427 0 0 653984
203.23/203.38 c probing : 0 0 0 0
203.23/203.38 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
203.23/203.38 c rootredcost : 0.05 0.00 0.00 0.05 0.00
203.23/203.38 c pseudoobj : 0.28 0.00 0.00 0.26 0.02
203.23/203.38 c vbounds : 1.30 0.00 0.00 1.30 0.00
203.23/203.38 c redcost : 1.53 0.00 0.00 1.53 0.00
203.23/203.38 c probing : 0.00 0.00 0.00 0.00 0.00
203.23/203.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
203.23/203.38 c propagation : 0.31 9368 9178 35741 28.1 220 20.7 -
203.23/203.38 c infeasible LP : 0.87 7388 7364 39202 33.8 66 17.7 0
203.23/203.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
203.23/203.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
203.23/203.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
203.23/203.38 c applied globally : - - - 36329 26.9 - - -
203.23/203.38 c applied locally : - - - 28 62.0 - - -
203.23/203.38 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
203.23/203.38 c cut pool : 0.00 0 - - 0 - (maximal pool size: 265)
203.23/203.38 c closecuts : 0.00 0.00 0 0 0 0 0
203.23/203.38 c impliedbounds : 0.00 0.00 7 0 0 0 0
203.23/203.38 c intobj : 0.00 0.00 0 0 0 0 0
203.23/203.38 c gomory : 0.49 0.00 7 0 0 200 0
203.23/203.38 c cgmip : 0.00 0.00 0 0 0 0 0
203.23/203.38 c strongcg : 0.50 0.00 7 0 0 1851 0
203.23/203.38 c cmir : 0.26 0.00 7 0 0 0 0
203.23/203.38 c flowcover : 0.28 0.00 7 0 0 0 0
203.23/203.38 c clique : 0.00 0.00 7 0 0 0 0
203.23/203.38 c zerohalf : 0.00 0.00 0 0 0 0 0
203.23/203.38 c mcf : 0.00 0.00 2 0 0 0 0
203.23/203.38 c oddcycle : 0.00 0.00 0 0 0 0 0
203.23/203.38 c rapidlearning : 0.18 0.00 1 0 0 0 0
203.23/203.38 c Pricers : ExecTime SetupTime Calls Vars
203.23/203.38 c problem variables: 0.00 - 0 0
203.23/203.38 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
203.23/203.38 c inference : 0.15 0.00 26186 0 0 0 0 52372
203.23/203.38 c relpscost : 0.00 0.00 0 0 0 0 0 0
203.23/203.38 c pscost : 0.00 0.00 0 0 0 0 0 0
203.23/203.38 c mostinf : 0.00 0.00 0 0 0 0 0 0
203.23/203.38 c leastinf : 0.00 0.00 0 0 0 0 0 0
203.23/203.38 c fullstrong : 0.00 0.00 0 0 0 0 0 0
203.23/203.38 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
203.23/203.38 c random : 0.00 0.00 0 0 0 0 0 0
203.23/203.38 c Primal Heuristics : ExecTime SetupTime Calls Found
203.23/203.38 c LP solutions : 0.00 - - 3
203.23/203.38 c pseudo solutions : 0.00 - - 0
203.23/203.38 c oneopt : 0.02 0.00 14 0
203.23/203.38 c indoneopt : 0.18 0.00 18 4
203.23/203.38 c feaspump : 0.18 0.00 1 0
203.23/203.38 c crossover : 1.78 0.00 22 1
203.23/203.38 c veclendiving : 1.35 0.00 83 1
203.23/203.38 c linesearchdiving : 0.89 0.00 83 0
203.23/203.38 c pscostdiving : 0.91 0.00 83 0
203.23/203.38 c fracdiving : 2.07 0.00 83 0
203.23/203.38 c rootsoldiving : 1.27 0.00 42 0
203.23/203.38 c guideddiving : 2.37 0.00 84 0
203.23/203.38 c objpscostdiving : 0.94 0.00 43 0
203.23/203.38 c coefdiving : 21.49 0.00 463 1
203.23/203.38 c smallcard : 0.00 0.00 0 0
203.23/203.38 c trivial : 0.00 0.00 2 0
203.23/203.38 c shiftandpropagate: 0.00 0.00 0 0
203.23/203.38 c simplerounding : 0.21 0.00 26338 1
203.23/203.38 c zirounding : 0.59 0.00 292 0
203.23/203.38 c rounding : 0.30 0.00 2270 0
203.23/203.38 c shifting : 0.93 0.00 1914 1
203.23/203.38 c intshifting : 0.00 0.00 0 0
203.23/203.38 c twoopt : 0.00 0.00 0 0
203.23/203.38 c indtwoopt : 0.00 0.00 0 0
203.23/203.38 c fixandinfer : 0.00 0.00 0 0
203.23/203.38 c clique : 0.00 0.00 0 0
203.23/203.38 c indcoefdiving : 0.00 0.00 0 0
203.23/203.38 c indrounding : 4.78 0.00 26186 7
203.23/203.38 c nlpdiving : 0.00 0.00 0 0
203.23/203.38 c intdiving : 0.00 0.00 0 0
203.23/203.38 c actconsdiving : 0.00 0.00 0 0
203.23/203.38 c octane : 0.00 0.00 0 0
203.23/203.38 c rens : 0.07 0.00 1 0
203.23/203.38 c rins : 0.00 0.00 0 0
203.23/203.38 c localbranching : 0.00 0.00 0 0
203.23/203.38 c mutation : 0.00 0.00 0 0
203.23/203.38 c dins : 0.00 0.00 0 0
203.23/203.38 c vbounds : 0.00 0.00 0 0
203.23/203.38 c undercover : 0.00 0.00 0 0
203.23/203.38 c subnlp : 0.01 0.00 0 0
203.23/203.38 c trysol : 0.02 0.00 2 1
203.23/203.38 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
203.23/203.38 c primal LP : 0.00 2 0 0.00 - 0.00 2
203.23/203.38 c dual LP : 130.12 53411 1054494 24.56 8104.17 4.53 10479
203.23/203.38 c lex dual LP : 0.00 0 0 0.00 -
203.23/203.38 c barrier LP : 0.00 0 0 0.00 - 0.00 0
203.23/203.38 c diving/probing LP: 23.13 21538 112999 5.25 4885.03
203.23/203.38 c strong branching : 0.00 0 0 0.00 -
203.23/203.38 c (at root node) : - 0 0 0.00 -
203.23/203.38 c conflict analysis: 0.00 0 0 0.00 -
203.23/203.38 c B&B Tree :
203.23/203.38 c number of runs : 2
203.23/203.38 c nodes : 45033
203.23/203.38 c nodes (total) : 49262
203.23/203.38 c nodes left : 0
203.23/203.38 c max depth : 48
203.23/203.38 c max depth (total): 48
203.23/203.38 c backtracks : 7854 (17.4%)
203.23/203.38 c delayed cutoffs : 1922
203.23/203.38 c repropagations : 22605 (300981 domain reductions, 1826 cutoffs)
203.23/203.38 c avg switch length: 4.46
203.23/203.38 c switching time : 6.73
203.23/203.38 c Solution :
203.23/203.38 c Solutions found : 20 (17 improvements)
203.23/203.38 c First Solution : +1.12800000000000e+03 (in run 1, after 1 nodes, 0.81 seconds, depth 0, found by <shifting>)
203.23/203.38 c Primal Bound : +6.00000000000000e+00 (in run 2, after 26170 nodes, 137.06 seconds, depth 19, found by <relaxation>)
203.23/203.38 c Dual Bound : +6.00000000000000e+00
203.23/203.38 c Gap : 0.00 %
203.23/203.38 c Root Dual Bound : +0.00000000000000e+00
203.23/203.38 c Root Iterations : 1469
203.23/203.40 c Time complete: 203.33.
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-3717446-1338192865/watcher-3717446-1338192865 -o /tmp/evaluation-result-3717446-1338192865/solver-3717446-1338192865 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3717446-1338192865.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: 1.34 1.79 1.92 4/175 32718
/proc/meminfo: memFree=27916860/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/32718/stat : 32718 (runsolver) D 32713 32718 32675 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 285411967 12095488 51 33554432000 4194304 5436572 140737423134304 140737423130600 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 2953 51 31 304 0 2645 0
[startup+0.0794149 s]
/proc/loadavg: 1.34 1.79 1.92 4/175 32718
/proc/meminfo: memFree=27916860/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=31940 CPUtime=0.07 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 6704 0 0 0 6 1 0 0 20 0 1 0 285411967 32706560 6401 33554432000 4194304 10173063 140733407256352 140733407252568 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 7985 6401 562 1460 0 6516 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31940
[startup+0.100384 s]
/proc/loadavg: 1.34 1.79 1.92 4/175 32718
/proc/meminfo: memFree=27916860/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=31940 CPUtime=0.08 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 6731 0 0 0 7 1 0 0 20 0 1 0 285411967 32706560 6428 33554432000 4194304 10173063 140733407256352 140733407252568 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 7985 6428 572 1460 0 6516 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 31940
[startup+0.300232 s]
/proc/loadavg: 1.34 1.79 1.92 4/175 32718
/proc/meminfo: memFree=27916860/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=47124 CPUtime=0.29 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 10870 0 0 0 27 2 0 0 20 0 1 0 285411967 48254976 10409 33554432000 4194304 10173063 140733407256352 140733407252568 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 11781 10409 775 1460 0 10312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47124
[startup+0.700306 s]
/proc/loadavg: 1.34 1.79 1.92 4/175 32718
/proc/meminfo: memFree=27916860/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=48572 CPUtime=0.68 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 18928 0 0 0 65 3 0 0 20 0 1 0 285411967 49737728 10881 33554432000 4194304 10173063 140733407256352 140733407252568 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 12143 10881 845 1460 0 10674 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 48572
[startup+1.50021 s]
/proc/loadavg: 1.34 1.79 1.92 3/177 32720
/proc/meminfo: memFree=27817388/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=53824 CPUtime=1.48 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 20202 0 0 0 144 4 0 0 20 0 1 0 285411967 55115776 12152 33554432000 4194304 10173063 140733407256352 140733407251512 5222464 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 13456 12152 846 1460 0 11987 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53824
[startup+3.10023 s]
/proc/loadavg: 1.39 1.79 1.92 4/177 32720
/proc/meminfo: memFree=27811528/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=56576 CPUtime=3.07 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 26946 0 0 0 301 6 0 0 20 0 1 0 285411967 57933824 12789 33554432000 4194304 10173063 140733407256352 140733407253176 8886722 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 14144 12789 848 1460 0 12675 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 56576
[startup+6.30016 s]
/proc/loadavg: 1.39 1.79 1.92 4/177 32720
/proc/meminfo: memFree=27809176/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=58612 CPUtime=6.28 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 27471 0 0 0 619 9 0 0 20 0 1 0 285411967 60018688 13314 33554432000 4194304 10173063 140733407256352 140733407250024 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 14653 13314 854 1460 0 13184 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58612
[startup+12.7003 s]
/proc/loadavg: 1.49 1.80 1.92 3/177 32720
/proc/meminfo: memFree=27807248/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=59668 CPUtime=12.67 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 27765 0 0 0 1254 13 0 0 20 0 1 0 285411967 61100032 13608 33554432000 4194304 10173063 140733407256352 140733407249992 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 14917 13608 854 1460 0 13448 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 59668
[startup+25.5002 s]
/proc/loadavg: 1.57 1.80 1.92 4/177 32720
/proc/meminfo: memFree=27798540/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=68752 CPUtime=25.48 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 42021 0 0 0 2523 25 0 0 20 0 1 0 285411967 70402048 15889 33554432000 4194304 10173063 140733407256352 140733407252152 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 17188 15889 856 1460 0 15719 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68752
[startup+51.1003 s]
/proc/loadavg: 1.71 1.82 1.92 4/177 32720
/proc/meminfo: memFree=27779156/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=87500 CPUtime=51.06 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 66297 0 0 0 5056 50 0 0 20 0 1 0 285411967 89600000 20629 33554432000 4194304 10173063 140733407256352 140733407249608 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 21875 20629 884 1460 0 20406 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 87500
[startup+102.307 s]
/proc/loadavg: 1.88 1.85 1.92 4/177 32720
/proc/meminfo: memFree=27776332/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=88772 CPUtime=102.25 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 107518 0 0 0 10098 127 0 0 20 0 1 0 285411967 90902528 21361 33554432000 4194304 10173063 140733407256352 140733407251720 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22193 21361 884 1460 0 20724 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 88772
[startup+162.3 s]
/proc/loadavg: 1.95 1.87 1.92 4/177 32720
/proc/meminfo: memFree=27771588/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=90976 CPUtime=162.23 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 158686 0 0 0 16008 215 0 0 20 0 1 0 285411967 93159424 21911 33554432000 4194304 10173063 140733407256352 140733407252280 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22744 21911 884 1460 0 21275 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 90976
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (203.23 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (203.23 s) to the 'lost time'.
[startup+203.3 s]
/proc/loadavg: 1.98 1.89 1.92 4/177 32720
/proc/meminfo: memFree=27768644/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91772 CPUtime=203.23 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 167215 0 0 0 20051 272 0 0 20 0 1 0 285411967 93974528 22108 33554432000 4194304 10173063 140733407256352 140733407251720 7559664 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22943 22108 884 1460 0 21474 0
Current children cumulated CPU time (s) 203.23
Current children cumulated vsize (KiB) 91772
[startup+203.4 s]
/proc/loadavg: 1.98 1.89 1.92 4/177 32720
/proc/meminfo: memFree=27774348/32873648 swapFree=7104/7104
[pid=32718] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/32718/stat : -- couldn't open stat file --/proc/32718/statm: 22943 22088 884 1460 0 21474 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 1.96 1.88 1.92 4/177 32720
/proc/meminfo: memFree=27770248/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91568 CPUtime=179.04 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 158832 0 0 0 17667 237 0 0 20 0 1 0 285411967 93765632 22057 33554432000 4194304 10173063 140733407256352 140733407249992 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22892 22057 884 1460 0 21423 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 91568
[startup+191.9 s]
/proc/loadavg: 1.97 1.88 1.92 4/177 32720
/proc/meminfo: memFree=27768512/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91772 CPUtime=191.83 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 167194 0 0 0 18927 256 0 0 20 0 1 0 285411967 93974528 22087 33554432000 4194304 10173063 140733407256352 140733407249608 7667293 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22943 22087 884 1460 0 21474 0
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (KiB) 91772
[startup+198.3 s]
/proc/loadavg: 1.97 1.88 1.92 4/177 32720
/proc/meminfo: memFree=27768516/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91772 CPUtime=198.23 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 167196 0 0 0 19560 263 0 0 20 0 1 0 285411967 93974528 22089 33554432000 4194304 10173063 140733407256352 140733407252840 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22943 22089 884 1460 0 21474 0
Current children cumulated CPU time (s) 198.23
Current children cumulated vsize (KiB) 91772
[startup+201.5 s]
/proc/loadavg: 1.98 1.89 1.92 4/177 32720
/proc/meminfo: memFree=27768640/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91772 CPUtime=201.42 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 167212 0 0 0 19874 268 0 0 20 0 1 0 285411967 93974528 22105 33554432000 4194304 10173063 140733407256352 140733407249528 8012683 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22943 22105 884 1460 0 21474 0
Current children cumulated CPU time (s) 201.42
Current children cumulated vsize (KiB) 91772
[startup+202.3 s]
/proc/loadavg: 1.98 1.89 1.92 4/177 32720
/proc/meminfo: memFree=27768644/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91772 CPUtime=202.24 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 167213 0 0 0 19954 270 0 0 20 0 1 0 285411967 93974528 22106 33554432000 4194304 10173063 140733407256352 140733407249608 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22943 22106 884 1460 0 21474 0
Current children cumulated CPU time (s) 202.24
Current children cumulated vsize (KiB) 91772
[startup+203.1 s]
/proc/loadavg: 1.98 1.89 1.92 4/177 32720
/proc/meminfo: memFree=27768644/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91772 CPUtime=203.03 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 167215 0 0 0 20032 271 0 0 20 0 1 0 285411967 93974528 22108 33554432000 4194304 10173063 140733407256352 140733407251720 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22943 22108 884 1460 0 21474 0
Current children cumulated CPU time (s) 203.03
Current children cumulated vsize (KiB) 91772
[startup+203.3 s]
/proc/loadavg: 1.98 1.89 1.92 4/177 32720
/proc/meminfo: memFree=27768644/32873648 swapFree=7104/7104
[pid=32718] ppid=32713 vsize=91772 CPUtime=203.23 cores=0,2,4,6
/proc/32718/stat : 32718 (scip-2.1.1.4fix) R 32713 32718 32675 0 -1 4202496 167215 0 0 0 20051 272 0 0 20 0 1 0 285411967 93974528 22108 33554432000 4194304 10173063 140733407256352 140733407251720 7559664 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/32718/statm: 22943 22108 884 1460 0 21474 0
Current children cumulated CPU time (s) 203.23
Current children cumulated vsize (KiB) 91772
[startup+203.4 s]
/proc/loadavg: 1.98 1.89 1.92 4/177 32720
/proc/meminfo: memFree=27774348/32873648 swapFree=7104/7104
[pid=32718] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/32718/stat : -- couldn't open stat file --/proc/32718/statm: 22943 22088 884 1460 0 21474 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32718 and gives
# childrusage.ru_utime.tv_sec=200
# childrusage.ru_utime.tv_usec=618501
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=724585
# CPU time returned by wait4() is 203.343
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 203.23
# lost CPU user time (s): 200.51
# lost CPU system time (s): 2.72
Real time (s): 203.405
CPU time (s): 203.23
CPU user time (s): 200.51
CPU system time (s): 2.72
CPU usage (%): 99.9139
Max. virtual memory (cumulated for all children) (KiB): 121792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 200.619
system time used= 2.72458
maximum resident set size= 121396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167219
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= 24
involuntary context switches= 343
runsolver used 0.665898 second user time and 1.47677 second system time
The end