0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703464-1278557853.opb>
0.09/0.20 c original problem has 21960 variables (21960 bin, 0 int, 0 impl, 0 cont) and 750 constraints
0.09/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.39/0.42 c presolving:
0.39/0.48 c (round 1) 3740 del vars, 0 del conss, 3728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.61 c (round 2) 3740 del vars, 0 del conss, 3728 chg bounds, 0 chg sides, 0 chg coeffs, 30 upgd conss, 0 impls, 0 clqs
0.59/0.69 c (round 3) 3740 del vars, 0 del conss, 3728 chg bounds, 0 chg sides, 0 chg coeffs, 390 upgd conss, 0 impls, 360 clqs
0.69/0.74 c (round 4) 3740 del vars, 0 del conss, 3728 chg bounds, 0 chg sides, 360 chg coeffs, 390 upgd conss, 0 impls, 720 clqs
0.69/0.79 c (round 5) 3740 del vars, 0 del conss, 3728 chg bounds, 360 chg sides, 1440 chg coeffs, 390 upgd conss, 0 impls, 720 clqs
0.99/1.05 c (round 6) 3796 del vars, 0 del conss, 3728 chg bounds, 360 chg sides, 1440 chg coeffs, 390 upgd conss, 3980 impls, 720 clqs
1.49/1.56 c (1.4s) probing: 144/18220 (0.8%) - 52 fixings, 4 aggregations, 748 implications, 0 bound changes
1.49/1.56 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.49/1.56 c presolving (7 rounds):
1.49/1.56 c 3796 deleted vars, 0 deleted constraints, 3728 tightened bounds, 0 added holes, 360 changed sides, 1440 changed coefficients
1.49/1.56 c 4140 implications, 720 cliques
1.49/1.56 c presolved problem has 18164 variables (18164 bin, 0 int, 0 impl, 0 cont) and 1110 constraints
1.49/1.56 c 390 constraints of type <knapsack>
1.49/1.56 c 360 constraints of type <setppc>
1.49/1.56 c 360 constraints of type <linear>
1.49/1.56 c transformed objective value is always integral (scale: 1)
1.49/1.56 c Presolving Time: 1.28
1.49/1.56 c - non default parameters ----------------------------------------------------------------------
1.49/1.56 c # SCIP version 1.2.1.3
1.49/1.56 c
1.49/1.56 c # frequency for displaying node information lines
1.49/1.56 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.56 c display/freq = 10000
1.49/1.56 c
1.49/1.56 c # maximal time in seconds to run
1.49/1.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.56 c limits/time = 1789.81
1.49/1.56 c
1.49/1.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.56 c limits/memory = 1620
1.49/1.56 c
1.49/1.56 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/1.56 c # [type: int, range: [1,2], default: 1]
1.49/1.56 c timing/clocktype = 2
1.49/1.56 c
1.49/1.56 c # should presolving try to simplify inequalities
1.49/1.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.56 c constraints/linear/simplifyinequalities = TRUE
1.49/1.56 c
1.49/1.56 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/1.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.56 c constraints/indicator/addCouplingCons = TRUE
1.49/1.56 c
1.49/1.56 c # should presolving try to simplify knapsacks
1.49/1.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.56 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.56 c
1.49/1.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.49/1.56 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.56 c separating/rapidlearning/freq = 0
1.49/1.56 c
1.49/1.56 c -----------------------------------------------------------------------------------------------
1.49/1.56 c start solving
1.49/1.58 c
1.79/1.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.79/1.84 c 1.6s| 1 | 0 | 1392 | - | 52M| 0 |1044 | 18k|1110 | 18k|1110 | 0 | 0 | 0 | 1.455148e+07 | -- | Inf
7.69/7.75 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
12.59/12.61 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE13 Abort solving due to cycling
12.59/12.61 c (node 1) unresolved numerical troubles in LP 7
13.89/13.96 c 13.8s| 1 | 0 | 8094 | - | 55M| 0 |1153 | 18k|1110 | 18k|1311 | 201 | 0 | 0 | 1.552500e+07 | -- | Inf
15.40/15.48 c 15.3s| 1 | 0 | 8314 | - | 55M| 0 |1243 | 18k|1110 | 18k|1437 | 327 | 0 | 0 | 1.772303e+07 | -- | Inf
16.98/17.08 c 16.9s| 1 | 0 | 8540 | - | 55M| 0 |1368 | 18k|1110 | 18k|1571 | 461 | 0 | 0 | 1.956957e+07 | -- | Inf
18.79/18.83 c 18.6s| 1 | 0 | 8757 | - | 55M| 0 |1484 | 18k|1110 | 18k|1701 | 591 | 0 | 0 | 2.078880e+07 | -- | Inf
20.48/20.52 c 20.3s| 1 | 0 | 8960 | - | 55M| 0 |1583 | 18k|1110 | 18k|1829 | 719 | 0 | 0 | 2.108192e+07 | -- | Inf
22.19/22.28 c 22.1s| 1 | 0 | 9126 | - | 55M| 0 |1679 | 18k|1110 | 18k|1941 | 831 | 0 | 0 | 2.134130e+07 | -- | Inf
24.09/24.12 c 23.9s| 1 | 0 | 9299 | - | 55M| 0 |1763 | 18k|1110 | 18k|2049 | 939 | 0 | 0 | 2.151187e+07 | -- | Inf
26.08/26.18 c 26.0s| 1 | 0 | 9539 | - | 55M| 0 |1845 | 18k|1110 | 18k|2159 |1049 | 0 | 0 | 2.178109e+07 | -- | Inf
28.18/28.26 c 28.1s| 1 | 0 | 9728 | - | 55M| 0 |1907 | 18k|1110 | 18k|2254 |1144 | 0 | 0 | 2.197749e+07 | -- | Inf
30.38/30.41 c 30.2s| 1 | 0 | 9897 | - | 55M| 0 |1981 | 18k|1110 | 18k|2350 |1240 | 0 | 0 | 2.217441e+07 | -- | Inf
31.48/31.52 c 31.3s| 1 | 0 | 10159 | - | 55M| 0 |2080 | 18k|1110 | 18k|2453 |1343 | 0 | 0 | 2.238196e+07 | -- | Inf
32.48/32.59 c 32.4s| 1 | 0 | 10355 | - | 55M| 0 |2153 | 18k|1110 | 18k|2550 |1440 | 0 | 0 | 2.249789e+07 | -- | Inf
33.68/33.74 c 33.5s| 1 | 0 | 10548 | - | 56M| 0 |2211 | 18k|1110 | 18k|2639 |1529 | 0 | 0 | 2.266409e+07 | -- | Inf
34.77/34.82 c 34.6s| 1 | 0 | 10682 | - | 56M| 0 |2295 | 18k|1110 | 18k|2731 |1621 | 0 | 0 | 2.278446e+07 | -- | Inf
35.88/35.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.88/35.97 c 35.8s| 1 | 0 | 10865 | - | 56M| 0 |2361 | 18k|1110 | 18k|2818 |1708 | 0 | 0 | 2.292714e+07 | -- | Inf
37.18/37.22 c 37.0s| 1 | 0 | 11106 | - | 56M| 0 |2428 | 18k|1110 | 18k|2899 |1789 | 0 | 0 | 2.319684e+07 | -- | Inf
38.48/38.56 c 38.4s| 1 | 0 | 11286 | - | 56M| 0 |2455 | 18k|1110 | 18k|2961 |1872 | 0 | 0 | 2.352354e+07 | -- | Inf
39.77/39.80 c 39.6s| 1 | 0 | 11496 | - | 56M| 0 |2496 | 18k|1110 | 18k|3030 |1941 | 0 | 0 | 2.389162e+07 | -- | Inf
40.97/41.01 c 40.8s| 1 | 0 | 11700 | - | 56M| 0 |2524 | 18k|1110 | 18k|3102 |2013 | 0 | 0 | 2.406421e+07 | -- | Inf
42.27/42.30 c 42.1s| 1 | 0 | 11890 | - | 56M| 0 |2564 | 18k|1110 | 18k|3159 |2070 | 0 | 0 | 2.420281e+07 | -- | Inf
43.16/43.29 c 43.1s| 1 | 0 | 12043 | - | 56M| 0 |2592 | 18k|1110 | 18k|3218 |2129 | 0 | 0 | 2.437326e+07 | -- | Inf
44.27/44.35 c 44.2s| 1 | 0 | 12178 | - | 56M| 0 |2609 | 18k|1110 | 18k|3264 |2175 | 0 | 0 | 2.454016e+07 | -- | Inf
45.26/45.39 c 45.2s| 1 | 0 | 12385 | - | 56M| 0 |2633 | 18k|1110 | 18k|3306 |2226 | 0 | 0 | 2.468804e+07 | -- | Inf
46.36/46.46 c 46.3s| 1 | 0 | 12579 | - | 56M| 0 |2630 | 18k|1110 | 18k|3355 |2275 | 0 | 0 | 2.488805e+07 | -- | Inf
47.46/47.55 c 47.4s| 1 | 0 | 12729 | - | 56M| 0 |2673 | 18k|1110 | 18k|3397 |2317 | 0 | 0 | 2.499565e+07 | -- | Inf
48.46/48.55 c 48.4s| 1 | 0 | 12882 | - | 56M| 0 |2698 | 18k|1110 | 18k|3429 |2349 | 0 | 0 | 2.508253e+07 | -- | Inf
49.56/49.67 c 49.5s| 1 | 0 | 13071 | - | 56M| 0 |2701 | 18k|1110 | 18k|3463 |2383 | 0 | 0 | 2.521446e+07 | -- | Inf
50.87/50.92 c 50.7s| 1 | 0 | 13195 | - | 56M| 0 |2736 | 18k|1110 | 18k|3499 |2419 | 0 | 0 | 2.529684e+07 | -- | Inf
52.16/52.26 c 52.1s| 1 | 0 | 13367 | - | 56M| 0 |2772 | 18k|1110 | 18k|3545 |2470 | 0 | 0 | 2.547172e+07 | -- | Inf
53.46/53.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.46/53.52 c 53.3s| 1 | 0 | 13467 | - | 57M| 0 |2835 | 18k|1110 | 18k|3611 |2536 | 0 | 0 | 2.555053e+07 | -- | Inf
54.76/54.82 c 54.6s| 1 | 0 | 13644 | - | 57M| 0 |2865 | 18k|1110 | 18k|3689 |2614 | 0 | 0 | 2.570263e+07 | -- | Inf
55.86/55.96 c 55.8s| 1 | 0 | 13848 | - | 57M| 0 |2902 | 18k|1110 | 18k|3748 |2673 | 0 | 0 | 2.613068e+07 | -- | Inf
57.17/57.25 c 57.0s| 1 | 0 | 13976 | - | 57M| 0 |2918 | 18k|1110 | 18k|3803 |2728 | 0 | 0 | 2.629668e+07 | -- | Inf
58.46/58.54 c 58.3s| 1 | 0 | 14142 | - | 57M| 0 |2978 | 18k|1110 | 18k|3865 |2790 | 0 | 0 | 2.656049e+07 | -- | Inf
59.76/59.83 c 59.6s| 1 | 0 | 14271 | - | 57M| 0 |2998 | 18k|1110 | 18k|3913 |2845 | 0 | 0 | 2.670701e+07 | -- | Inf
60.95/61.09 c 60.9s| 1 | 0 | 14392 | - | 57M| 0 |3038 | 18k|1110 | 18k|3959 |2891 | 0 | 0 | 2.680247e+07 | -- | Inf
62.36/62.42 c 62.2s| 1 | 0 | 14602 | - | 57M| 0 |3045 | 18k|1110 | 18k|4013 |2945 | 0 | 0 | 2.703587e+07 | -- | Inf
63.66/63.75 c 63.6s| 1 | 0 | 14797 | - | 57M| 0 |3092 | 18k|1110 | 18k|4070 |3002 | 0 | 0 | 2.718659e+07 | -- | Inf
64.96/65.05 c 64.9s| 1 | 0 | 14954 | - | 57M| 0 |3091 | 18k|1110 | 18k|4125 |3057 | 0 | 0 | 2.732477e+07 | -- | Inf
66.36/66.42 c 66.2s| 1 | 0 | 15100 | - | 57M| 0 |3147 | 18k|1110 | 18k|4175 |3107 | 0 | 0 | 2.743432e+07 | -- | Inf
67.66/67.77 c 67.6s| 1 | 0 | 15284 | - | 57M| 0 |3156 | 18k|1110 | 18k|4219 |3154 | 0 | 0 | 2.752344e+07 | -- | Inf
69.06/69.15 c 69.0s| 1 | 0 | 15556 | - | 57M| 0 |3169 | 18k|1110 | 18k|4263 |3198 | 0 | 0 | 2.767699e+07 | -- | Inf
70.45/70.55 c 70.4s| 1 | 0 | 15812 | - | 57M| 0 |3170 | 18k|1110 | 18k|4307 |3242 | 0 | 0 | 2.785932e+07 | -- | Inf
71.86/71.96 c 71.8s| 1 | 0 | 15951 | - | 57M| 0 |3215 | 18k|1110 | 18k|4344 |3279 | 0 | 0 | 2.789252e+07 | -- | Inf
73.35/73.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.35/73.42 c 73.2s| 1 | 0 | 16146 | - | 57M| 0 |3206 | 18k|1110 | 18k|4381 |3316 | 0 | 0 | 2.810557e+07 | -- | Inf
74.85/74.97 c 74.8s| 1 | 0 | 16326 | - | 57M| 0 |3227 | 18k|1110 | 18k|4416 |3351 | 0 | 0 | 2.816191e+07 | -- | Inf
76.45/76.51 c 76.3s| 1 | 0 | 16574 | - | 57M| 0 |3243 | 18k|1110 | 18k|4448 |3385 | 0 | 0 | 2.830279e+07 | -- | Inf
77.95/78.01 c 77.8s| 1 | 0 | 16821 | - | 58M| 0 |3233 | 18k|1110 | 18k|4521 |3458 | 0 | 0 | 2.834400e+07 | -- | Inf
79.54/79.63 c 79.4s| 1 | 0 | 17063 | - | 58M| 0 |3299 | 18k|1110 | 18k|4603 |3540 | 0 | 0 | 2.847031e+07 | -- | Inf
81.14/81.27 c 81.1s| 1 | 0 | 17289 | - | 58M| 0 |3368 | 18k|1110 | 18k|4677 |3614 | 0 | 0 | 2.866129e+07 | -- | Inf
82.94/83.00 c 82.8s| 1 | 0 | 17558 | - | 58M| 0 |3396 | 18k|1110 | 18k|4730 |3667 | 0 | 0 | 2.885682e+07 | -- | Inf
84.55/84.62 c 84.4s| 1 | 0 | 17763 | - | 58M| 0 |3397 | 18k|1110 | 18k|4801 |3738 | 0 | 0 | 2.900804e+07 | -- | Inf
86.15/86.26 c 86.1s| 1 | 0 | 17970 | - | 58M| 0 |3435 | 18k|1110 | 18k|4865 |3803 | 0 | 0 | 2.919599e+07 | -- | Inf
87.95/88.08 c 87.9s| 1 | 0 | 18225 | - | 59M| 0 |3444 | 18k|1110 | 18k|4935 |3873 | 0 | 0 | 2.943217e+07 | -- | Inf
89.74/89.88 c 89.7s| 1 | 0 | 18447 | - | 59M| 0 |3502 | 18k|1110 | 18k|5011 |3949 | 0 | 0 | 2.961988e+07 | -- | Inf
91.45/91.55 c 91.4s| 1 | 0 | 18627 | - | 59M| 0 |3541 | 18k|1110 | 18k|5091 |4029 | 0 | 0 | 2.970059e+07 | -- | Inf
93.34/93.44 c 93.2s| 1 | 0 | 18913 | - | 59M| 0 |3566 | 18k|1110 | 18k|5188 |4126 | 0 | 0 | 2.996176e+07 | -- | Inf
95.24/95.31 c 95.1s| 1 | 0 | 19206 | - | 59M| 0 |3614 | 18k|1110 | 18k|5279 |4217 | 0 | 0 | 3.020817e+07 | -- | Inf
97.04/97.17 c 97.0s| 1 | 0 | 19488 | - | 59M| 0 |3640 | 18k|1110 | 18k|5374 |4313 | 0 | 0 | 3.052285e+07 | -- | Inf
98.95/99.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.95/99.05 c 98.9s| 1 | 0 | 19718 | - | 59M| 0 |3686 | 18k|1110 | 18k|5446 |4385 | 0 | 0 | 3.074746e+07 | -- | Inf
100.84/100.91 c 101s| 1 | 0 | 19906 | - | 60M| 0 |3717 | 18k|1110 | 18k|5504 |4443 | 0 | 0 | 3.084066e+07 | -- | Inf
102.74/102.85 c 103s| 1 | 0 | 20118 | - | 60M| 0 |3713 | 18k|1110 | 18k|5553 |4492 | 0 | 0 | 3.092782e+07 | -- | Inf
104.74/104.80 c 105s| 1 | 0 | 20419 | - | 60M| 0 |3750 | 18k|1110 | 18k|5610 |4549 | 0 | 0 | 3.111406e+07 | -- | Inf
106.64/106.73 c 107s| 1 | 0 | 20658 | - | 60M| 0 |3808 | 18k|1110 | 18k|5672 |4611 | 0 | 0 | 3.119763e+07 | -- | Inf
108.75/108.81 c 109s| 1 | 0 | 20963 | - | 60M| 0 |3821 | 18k|1110 | 18k|5737 |4679 | 0 | 0 | 3.134849e+07 | -- | Inf
110.83/110.92 c 111s| 1 | 0 | 21303 | - | 60M| 0 |3805 | 18k|1110 | 18k|5796 |4738 | 0 | 0 | 3.157227e+07 | -- | Inf
112.83/112.97 c 113s| 1 | 0 | 21510 | - | 60M| 0 |3838 | 18k|1110 | 18k|5854 |4796 | 0 | 0 | 3.165616e+07 | -- | Inf
115.03/115.13 c 115s| 1 | 0 | 21773 | - | 60M| 0 |3835 | 18k|1110 | 18k|5907 |4849 | 0 | 0 | 3.173367e+07 | -- | Inf
117.23/117.33 c 117s| 1 | 0 | 21945 | - | 60M| 0 |3890 | 18k|1110 | 18k|5954 |4896 | 0 | 0 | 3.176825e+07 | -- | Inf
119.53/119.63 c 119s| 1 | 0 | 22158 | - | 60M| 0 |3917 | 18k|1110 | 18k|6008 |4950 | 0 | 0 | 3.182105e+07 | -- | Inf
121.74/121.89 c 122s| 1 | 0 | 22482 | - | 60M| 0 |3931 | 18k|1110 | 18k|6057 |5006 | 0 | 0 | 3.204546e+07 | -- | Inf
124.04/124.14 c 124s| 1 | 0 | 22725 | - | 60M| 0 |3949 | 18k|1110 | 18k|6112 |5061 | 0 | 0 | 3.228670e+07 | -- | Inf
126.44/126.58 c 126s| 1 | 0 | 22969 | - | 60M| 0 |3976 | 18k|1110 | 18k|6156 |5105 | 0 | 0 | 3.238888e+07 | -- | Inf
128.73/128.87 c 129s| 1 | 0 | 23182 | - | 60M| 0 |4018 | 18k|1110 | 18k|6199 |5148 | 0 | 0 | 3.246441e+07 | -- | Inf
131.03/131.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.03/131.15 c 131s| 1 | 0 | 23408 | - | 60M| 0 |4005 | 18k|1110 | 18k|6236 |5185 | 0 | 0 | 3.254035e+07 | -- | Inf
133.43/133.51 c 133s| 1 | 0 | 23559 | - | 61M| 0 |4003 | 18k|1110 | 18k|6277 |5226 | 0 | 0 | 3.283674e+07 | -- | Inf
135.74/135.85 c 136s| 1 | 0 | 23692 | - | 61M| 0 |4030 | 18k|1110 | 18k|6306 |5263 | 0 | 0 | 3.292592e+07 | -- | Inf
138.03/138.18 c 138s| 1 | 0 | 23798 | - | 61M| 0 |4042 | 18k|1110 | 18k|6343 |5300 | 0 | 0 | 3.301102e+07 | -- | Inf
140.33/140.49 c 140s| 1 | 0 | 23959 | - | 61M| 0 |4070 | 18k|1110 | 18k|6380 |5337 | 0 | 0 | 3.308348e+07 | -- | Inf
142.73/142.81 c 143s| 1 | 0 | 24083 | - | 61M| 0 |4091 | 18k|1110 | 18k|6418 |5375 | 0 | 0 | 3.313266e+07 | -- | Inf
145.03/145.15 c 145s| 1 | 0 | 24250 | - | 61M| 0 |4123 | 18k|1110 | 18k|6459 |5416 | 0 | 0 | 3.317515e+07 | -- | Inf
147.33/147.46 c 147s| 1 | 0 | 24403 | - | 61M| 0 |4145 | 18k|1110 | 18k|6529 |5486 | 0 | 0 | 3.325799e+07 | -- | Inf
149.82/149.94 c 150s| 1 | 0 | 24564 | - | 61M| 0 |4190 | 18k|1110 | 18k|6597 |5559 | 0 | 0 | 3.345487e+07 | -- | Inf
152.42/152.57 c 152s| 1 | 0 | 24825 | - | 61M| 0 |4248 | 18k|1110 | 18k|6657 |5619 | 0 | 0 | 3.373375e+07 | -- | Inf
154.93/155.07 c 155s| 1 | 0 | 25038 | - | 62M| 0 |4291 | 18k|1110 | 18k|6720 |5682 | 0 | 0 | 3.397323e+07 | -- | Inf
157.63/157.70 c 158s| 1 | 0 | 25318 | - | 62M| 0 |4302 | 18k|1110 | 18k|6822 |5784 | 0 | 0 | 3.411666e+07 | -- | Inf
160.32/160.44 c 160s| 1 | 0 | 25592 | - | 62M| 0 |4358 | 18k|1110 | 18k|6914 |5876 | 0 | 0 | 3.497427e+07 | -- | Inf
162.92/163.07 c 163s| 1 | 0 | 25893 | - | 63M| 0 |4423 | 18k|1110 | 18k|7029 |5991 | 0 | 0 | 3.615701e+07 | -- | Inf
165.42/165.59 c 165s| 1 | 0 | 26133 | - | 63M| 0 |4496 | 18k|1110 | 18k|7137 |6104 | 0 | 0 | 3.704554e+07 | -- | Inf
167.91/168.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.91/168.07 c 168s| 1 | 0 | 26364 | - | 63M| 0 |4529 | 18k|1110 | 18k|7237 |6204 | 0 | 0 | 3.780155e+07 | -- | Inf
170.82/170.94 c 171s| 1 | 0 | 26729 | - | 63M| 0 |4571 | 18k|1110 | 18k|7361 |6328 | 0 | 0 | 3.843893e+07 | -- | Inf
173.62/173.71 c 174s| 1 | 0 | 27024 | - | 63M| 0 |4651 | 18k|1110 | 18k|7486 |6453 | 0 | 0 | 3.942741e+07 | -- | Inf
176.42/176.54 c 176s| 1 | 0 | 27308 | - | 64M| 0 |4729 | 18k|1110 | 18k|7604 |6571 | 0 | 0 | 4.000751e+07 | -- | Inf
179.31/179.45 c 179s| 1 | 0 | 27597 | - | 64M| 0 |4753 | 18k|1110 | 18k|7711 |6678 | 0 | 0 | 4.038095e+07 | -- | Inf
182.21/182.34 c 182s| 1 | 0 | 27777 | - | 64M| 0 |4839 | 18k|1110 | 18k|7794 |6765 | 0 | 0 | 4.045594e+07 | -- | Inf
185.11/185.21 c 185s| 1 | 0 | 28018 | - | 64M| 0 |4900 | 18k|1110 | 18k|7886 |6857 | 0 | 0 | 4.067670e+07 | -- | Inf
188.21/188.33 c 188s| 1 | 0 | 28321 | - | 64M| 0 |4912 | 18k|1110 | 18k|7968 |6939 | 0 | 0 | 4.090837e+07 | -- | Inf
191.41/191.50 c 191s| 1 | 0 | 28635 | - | 64M| 0 |4922 | 18k|1110 | 18k|8056 |7027 | 0 | 0 | 4.105449e+07 | -- | Inf
194.62/194.73 c 195s| 1 | 0 | 28979 | - | 64M| 0 |4952 | 18k|1110 | 18k|8137 |7108 | 0 | 0 | 4.126353e+07 | -- | Inf
197.91/198.06 c 198s| 1 | 0 | 29367 | - | 64M| 0 |4914 | 18k|1110 | 18k|8213 |7184 | 0 | 0 | 4.180264e+07 | -- | Inf
201.01/201.11 c 201s| 1 | 0 | 29669 | - | 64M| 0 |4938 | 18k|1110 | 18k|8272 |7247 | 0 | 0 | 4.199150e+07 | -- | Inf
204.01/204.19 c 204s| 1 | 0 | 30027 | - | 64M| 0 |4986 | 18k|1110 | 18k|8334 |7309 | 0 | 0 | 4.227678e+07 | -- | Inf
207.21/207.37 c 207s| 1 | 0 | 30350 | - | 65M| 0 |5025 | 18k|1110 | 18k|8412 |7387 | 0 | 0 | 4.254649e+07 | -- | Inf
210.50/210.69 c 210s| 1 | 0 | 30735 | - | 65M| 0 |5021 | 18k|1110 | 18k|8480 |7455 | 0 | 0 | 4.276704e+07 | -- | Inf
213.80/213.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.80/213.99 c 214s| 1 | 0 | 31041 | - | 65M| 0 |5056 | 18k|1110 | 18k|8541 |7516 | 0 | 0 | 4.318110e+07 | -- | Inf
217.19/217.31 c 217s| 1 | 0 | 31356 | - | 65M| 0 |5087 | 18k|1110 | 18k|8590 |7565 | 0 | 0 | 4.327314e+07 | -- | Inf
220.79/220.92 c 221s| 1 | 0 | 31804 | - | 65M| 0 |5061 | 18k|1110 | 18k|8643 |7621 | 0 | 0 | 4.342447e+07 | -- | Inf
224.20/224.31 c 224s| 1 | 0 | 32116 | - | 65M| 0 |5068 | 18k|1110 | 18k|8704 |7682 | 0 | 0 | 4.354236e+07 | -- | Inf
227.79/227.97 c 228s| 1 | 0 | 32572 | - | 65M| 0 |5050 | 18k|1110 | 18k|8753 |7731 | 0 | 0 | 4.368889e+07 | -- | Inf
231.49/231.67 c 231s| 1 | 0 | 32914 | - | 65M| 0 |5138 | 18k|1110 | 18k|8813 |7791 | 0 | 0 | 4.393949e+07 | -- | Inf
235.09/235.23 c 235s| 1 | 0 | 33171 | - | 65M| 0 |5139 | 18k|1110 | 18k|8870 |7848 | 0 | 0 | 4.415166e+07 | -- | Inf
238.68/238.83 c 239s| 1 | 0 | 33443 | - | 65M| 0 |5132 | 18k|1110 | 18k|8919 |7897 | 0 | 0 | 4.431171e+07 | -- | Inf
242.39/242.55 c 242s| 1 | 0 | 33673 | - | 65M| 0 |5148 | 18k|1110 | 18k|8966 |7945 | 0 | 0 | 4.441195e+07 | -- | Inf
246.08/246.24 c 246s| 1 | 0 | 33993 | - | 65M| 0 |5159 | 18k|1110 | 18k|9002 |7981 | 0 | 0 | 4.449131e+07 | -- | Inf
250.99/251.15 c 251s| 1 | 0 | 34688 | - | 65M| 0 |5104 | 18k|1110 | 18k|9041 |8020 | 0 | 0 | 4.475070e+07 | -- | Inf
255.28/255.43 c 255s| 1 | 0 | 35156 | - | 65M| 0 |5150 | 18k|1110 | 18k|9098 |8077 | 0 | 0 | 4.484743e+07 | -- | Inf
258.98/259.14 c 259s| 1 | 0 | 35428 | - | 65M| 0 |5154 | 18k|1110 | 18k|9149 |8128 | 0 | 0 | 4.492964e+07 | -- | Inf
263.08/263.27 c 263s| 1 | 0 | 35909 | - | 65M| 0 |5225 | 18k|1110 | 18k|9192 |8171 | 0 | 0 | 4.500232e+07 | -- | Inf
267.18/267.33 c 267s| 1 | 0 | 36127 | - | 66M| 0 |5235 | 18k|1110 | 18k|9237 |8219 | 0 | 0 | 4.516418e+07 | -- | Inf
270.78/270.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.78/270.92 c 271s| 1 | 0 | 36294 | - | 66M| 0 |5269 | 18k|1110 | 18k|9280 |8262 | 0 | 0 | 4.525503e+07 | -- | Inf
274.48/274.68 c 274s| 1 | 0 | 36478 | - | 66M| 0 |5288 | 18k|1110 | 18k|9353 |8335 | 0 | 0 | 4.540514e+07 | -- | Inf
278.67/278.84 c 279s| 1 | 0 | 36900 | - | 66M| 0 |5309 | 18k|1110 | 18k|9423 |8405 | 0 | 0 | 4.555423e+07 | -- | Inf
282.97/283.15 c 283s| 1 | 0 | 37308 | - | 66M| 0 |5311 | 18k|1110 | 18k|9481 |8472 | 0 | 0 | 4.599040e+07 | -- | Inf
287.27/287.48 c 287s| 1 | 0 | 37748 | - | 66M| 0 |5371 | 18k|1110 | 18k|9544 |8535 | 0 | 0 | 4.621541e+07 | -- | Inf
291.38/291.56 c 291s| 1 | 0 | 38175 | - | 66M| 0 |5357 | 18k|1110 | 18k|9602 |8593 | 0 | 0 | 4.633425e+07 | -- | Inf
295.28/295.48 c 295s| 1 | 0 | 38501 | - | 67M| 0 |5401 | 18k|1110 | 18k|9679 |8670 | 0 | 0 | 4.659635e+07 | -- | Inf
299.47/299.67 c 299s| 1 | 0 | 38768 | - | 67M| 0 |5474 | 18k|1110 | 18k|9754 |8745 | 0 | 0 | 4.674848e+07 | -- | Inf
303.66/303.80 c 304s| 1 | 0 | 39044 | - | 67M| 0 |5487 | 18k|1110 | 18k|9828 |8819 | 0 | 0 | 4.700436e+07 | -- | Inf
307.66/307.82 c 308s| 1 | 0 | 39315 | - | 67M| 0 |5509 | 18k|1110 | 18k|9915 |8906 | 0 | 0 | 4.719593e+07 | -- | Inf
311.86/312.05 c 312s| 1 | 0 | 39626 | - | 67M| 0 |5587 | 18k|1110 | 18k|9985 |8976 | 0 | 0 | 4.744845e+07 | -- | Inf
316.07/316.28 c 316s| 1 | 0 | 39828 | - | 67M| 0 |5642 | 18k|1110 | 18k| 10k|9048 | 0 | 0 | 4.781516e+07 | -- | Inf
320.36/320.59 c 320s| 1 | 0 | 40124 | - | 67M| 0 |5679 | 18k|1110 | 18k| 10k|9116 | 0 | 0 | 4.809694e+07 | -- | Inf
324.66/324.82 c 325s| 1 | 0 | 40312 | - | 67M| 0 |5710 | 18k|1110 | 18k| 10k|9181 | 0 | 0 | 4.823952e+07 | -- | Inf
328.77/328.98 c 329s| 1 | 0 | 40483 | - | 67M| 0 |5740 | 18k|1110 | 18k| 10k|9253 | 0 | 0 | 4.837146e+07 | -- | Inf
333.37/333.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.37/333.51 c 333s| 1 | 0 | 40669 | - | 67M| 0 |5761 | 18k|1110 | 18k| 10k|9312 | 0 | 0 | 4.845033e+07 | -- | Inf
337.76/337.95 c 338s| 1 | 0 | 40857 | - | 68M| 0 |5812 | 18k|1110 | 18k| 10k|9371 | 0 | 0 | 4.853368e+07 | -- | Inf
342.56/342.79 c 343s| 1 | 0 | 41135 | - | 68M| 0 |5834 | 18k|1110 | 18k| 10k|9431 | 0 | 0 | 4.863023e+07 | -- | Inf
347.26/347.41 c 347s| 1 | 0 | 41343 | - | 68M| 0 |5868 | 18k|1110 | 18k| 10k|9505 | 0 | 0 | 4.888715e+07 | -- | Inf
351.76/351.97 c 352s| 1 | 0 | 41528 | - | 68M| 0 |5868 | 18k|1110 | 18k| 10k|9572 | 0 | 0 | 4.904163e+07 | -- | Inf
356.36/356.52 c 356s| 1 | 0 | 41724 | - | 68M| 0 |5897 | 18k|1110 | 18k| 10k|9649 | 0 | 0 | 4.926018e+07 | -- | Inf
360.95/361.18 c 361s| 1 | 0 | 41970 | - | 68M| 0 |5915 | 18k|1110 | 18k| 10k|9723 | 0 | 0 | 4.968179e+07 | -- | Inf
365.55/365.72 c 366s| 1 | 0 | 42183 | - | 68M| 0 |5937 | 18k|1110 | 18k| 10k|9783 | 0 | 0 | 4.979366e+07 | -- | Inf
370.25/370.40 c 370s| 1 | 0 | 42353 | - | 68M| 0 |5965 | 18k|1110 | 18k| 10k|9834 | 0 | 0 | 4.988631e+07 | -- | Inf
374.96/375.15 c 375s| 1 | 0 | 42573 | - | 68M| 0 |6003 | 18k|1110 | 18k| 10k|9888 | 0 | 0 | 4.993566e+07 | -- | Inf
380.05/380.23 c 380s| 1 | 0 | 42862 | - | 68M| 0 |6014 | 18k|1110 | 18k| 10k|9943 | 0 | 0 | 5.001816e+07 | -- | Inf
384.85/385.06 c 385s| 1 | 0 | 43085 | - | 69M| 0 |6027 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.030770e+07 | -- | Inf
389.74/389.90 c 390s| 1 | 0 | 43294 | - | 69M| 0 |6050 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.064609e+07 | -- | Inf
394.44/394.65 c 394s| 1 | 0 | 43480 | - | 69M| 0 |6110 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.086968e+07 | -- | Inf
399.54/399.72 c 400s| 1 | 0 | 43702 | - | 69M| 0 |6132 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.110278e+07 | -- | Inf
404.54/404.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.54/404.79 c 405s| 1 | 0 | 43932 | - | 69M| 0 |6170 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.121753e+07 | -- | Inf
409.33/409.54 c 409s| 1 | 0 | 44081 | - | 69M| 0 |6199 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.130224e+07 | -- | Inf
414.24/414.43 c 414s| 1 | 0 | 44277 | - | 69M| 0 |6213 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.146999e+07 | -- | Inf
419.13/419.39 c 419s| 1 | 0 | 44443 | - | 69M| 0 |6247 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.171425e+07 | -- | Inf
424.13/424.30 c 424s| 1 | 0 | 44632 | - | 69M| 0 |6279 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.208165e+07 | -- | Inf
429.53/429.70 c 430s| 1 | 0 | 44910 | - | 70M| 0 |6335 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.230376e+07 | -- | Inf
434.73/434.91 c 435s| 1 | 0 | 45069 | - | 70M| 0 |6374 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.252578e+07 | -- | Inf
439.93/440.16 c 440s| 1 | 0 | 45229 | - | 70M| 0 |6397 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.268388e+07 | -- | Inf
445.42/445.61 c 445s| 1 | 0 | 45481 | - | 70M| 0 |6411 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.289158e+07 | -- | Inf
450.73/450.93 c 451s| 1 | 0 | 45666 | - | 70M| 0 |6435 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.306702e+07 | -- | Inf
456.92/457.11 c 457s| 1 | 0 | 45954 | - | 70M| 0 |6473 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.318317e+07 | -- | Inf
462.42/462.63 c 462s| 1 | 0 | 46107 | - | 70M| 0 |6491 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.332916e+07 | -- | Inf
467.72/467.91 c 468s| 1 | 0 | 46262 | - | 70M| 0 |6519 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.350961e+07 | -- | Inf
473.01/473.29 c 473s| 1 | 0 | 46414 | - | 70M| 0 |6538 | 18k|1110 | 18k| 11k| 11k| 0 | 0 | 5.369421e+07 | -- | Inf
478.41/478.66 c 478s| 1 | 0 | 46571 | - | 70M| 0 |6565 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.390291e+07 | -- | Inf
483.72/483.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
483.72/483.98 c 484s| 1 | 0 | 46708 | - | 70M| 0 |6606 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.403694e+07 | -- | Inf
490.32/490.50 c 490s| 1 | 0 | 47083 | - | 71M| 0 |6613 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.412794e+07 | -- | Inf
495.71/495.92 c 496s| 1 | 0 | 47236 | - | 71M| 0 |6655 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.444918e+07 | -- | Inf
501.11/501.31 c 501s| 1 | 0 | 47406 | - | 71M| 0 |6717 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.479511e+07 | -- | Inf
506.51/506.78 c 507s| 1 | 0 | 47568 | - | 71M| 0 |6747 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.509845e+07 | -- | Inf
512.01/512.27 c 512s| 1 | 0 | 47682 | - | 71M| 0 |6783 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.522925e+07 | -- | Inf
517.61/517.82 c 518s| 1 | 0 | 47833 | - | 71M| 0 |6811 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.530224e+07 | -- | Inf
523.10/523.35 c 523s| 1 | 0 | 47955 | - | 71M| 0 |6820 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.534385e+07 | -- | Inf
528.81/529.05 c 529s| 1 | 0 | 48110 | - | 71M| 0 |6846 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.543328e+07 | -- | Inf
534.50/534.77 c 535s| 1 | 0 | 48263 | - | 71M| 0 |6870 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.559502e+07 | -- | Inf
540.10/540.37 c 540s| 1 | 0 | 48364 | - | 71M| 0 |6890 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.563573e+07 | -- | Inf
545.70/545.95 c 546s| 1 | 0 | 48451 | - | 71M| 0 |6919 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.567001e+07 | -- | Inf
551.60/551.82 c 552s| 1 | 0 | 48665 | - | 71M| 0 |6963 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.581528e+07 | -- | Inf
557.40/557.66 c 557s| 1 | 0 | 48868 | - | 71M| 0 |6966 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.594672e+07 | -- | Inf
563.59/563.88 c 564s| 1 | 0 | 49090 | - | 72M| 0 |7001 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.607934e+07 | -- | Inf
576.19/576.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.19/576.45 c 576s| 1 | 0 | 50453 | - | 72M| 0 |7022 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.621521e+07 | -- | Inf
582.49/582.73 c 583s| 1 | 0 | 50627 | - | 72M| 0 |7032 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.630964e+07 | -- | Inf
588.48/588.71 c 589s| 1 | 0 | 50760 | - | 72M| 0 |7072 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.641744e+07 | -- | Inf
594.68/594.97 c 595s| 1 | 0 | 50981 | - | 72M| 0 |7124 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.660808e+07 | -- | Inf
601.39/601.68 c 601s| 1 | 0 | 51257 | - | 73M| 0 |7132 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.721822e+07 | -- | Inf
607.99/608.26 c 608s| 1 | 0 | 51537 | - | 73M| 0 |7164 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.784549e+07 | -- | Inf
614.78/615.06 c 615s| 1 | 0 | 51905 | - | 73M| 0 |7130 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.843222e+07 | -- | Inf
621.28/621.53 c 621s| 1 | 0 | 52182 | - | 73M| 0 |7227 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.896490e+07 | -- | Inf
628.26/628.50 c 628s| 1 | 0 | 52560 | - | 74M| 0 |7334 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.943720e+07 | -- | Inf
634.96/635.20 c 635s| 1 | 0 | 52792 | - | 74M| 0 |7393 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.973781e+07 | -- | Inf
641.47/641.78 c 642s| 1 | 0 | 52967 | - | 74M| 0 |7440 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.992494e+07 | -- | Inf
648.56/648.87 c 649s| 1 | 0 | 53253 | - | 74M| 0 |7448 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 6.020184e+07 | -- | Inf
655.46/655.78 c 656s| 1 | 0 | 53544 | - | 74M| 0 |7478 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.036882e+07 | -- | Inf
662.55/662.89 c 663s| 1 | 0 | 53798 | - | 74M| 0 |7481 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.047876e+07 | -- | Inf
669.66/669.92 c 670s| 1 | 0 | 54002 | - | 74M| 0 |7505 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.062396e+07 | -- | Inf
676.45/676.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.45/676.78 c 677s| 1 | 0 | 54175 | - | 74M| 0 |7564 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.074023e+07 | -- | Inf
683.55/683.81 c 684s| 1 | 0 | 54417 | - | 74M| 0 |7568 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.084747e+07 | -- | Inf
690.85/691.17 c 691s| 1 | 0 | 54670 | - | 74M| 0 |7586 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.099657e+07 | -- | Inf
698.26/698.58 c 698s| 1 | 0 | 54907 | - | 74M| 0 |7620 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.110950e+07 | -- | Inf
706.44/706.73 c 707s| 1 | 0 | 55253 | - | 74M| 0 |7644 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.133919e+07 | -- | Inf
717.54/717.82 c 718s| 1 | 0 | 55994 | - | 74M| 0 |7626 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.144276e+07 | -- | Inf
725.03/725.32 c 725s| 1 | 0 | 56224 | - | 75M| 0 |7666 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.154028e+07 | -- | Inf
732.84/733.13 c 733s| 1 | 0 | 56527 | - | 75M| 0 |7687 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.173674e+07 | -- | Inf
740.23/740.58 c 740s| 1 | 0 | 56718 | - | 75M| 0 |7692 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.188678e+07 | -- | Inf
747.64/747.95 c 748s| 1 | 0 | 56933 | - | 75M| 0 |7720 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.195808e+07 | -- | Inf
755.23/755.60 c 755s| 1 | 0 | 57140 | - | 75M| 0 |7753 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.199530e+07 | -- | Inf
763.03/763.36 c 763s| 1 | 0 | 57406 | - | 75M| 0 |7786 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.211880e+07 | -- | Inf
770.74/771.10 c 771s| 1 | 0 | 57626 | - | 75M| 0 |7800 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.217361e+07 | -- | Inf
779.03/779.34 c 779s| 1 | 0 | 57903 | - | 75M| 0 |7826 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.226364e+07 | -- | Inf
787.12/787.44 c 787s| 1 | 0 | 58141 | - | 75M| 0 |7870 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.236726e+07 | -- | Inf
797.92/798.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.92/798.20 c 798s| 1 | 0 | 58733 | - | 75M| 0 |7912 | 18k|1110 | 18k| 14k| 14k| 0 | 0 | 6.238907e+07 | -- | Inf
805.92/806.24 c 806s| 1 | 0 | 59037 | - | 75M| 0 |7925 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.253368e+07 | -- | Inf
813.41/813.76 c 814s| 1 | 0 | 59175 | - | 75M| 0 |7951 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.256985e+07 | -- | Inf
821.21/821.53 c 821s| 1 | 0 | 59330 | - | 75M| 0 |7956 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.261073e+07 | -- | Inf
829.01/829.36 c 829s| 1 | 0 | 59477 | - | 75M| 0 |8006 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.263019e+07 | -- | Inf
837.70/838.00 c 838s| 1 | 0 | 59776 | - | 75M| 0 |7979 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.266787e+07 | -- | Inf
851.90/852.26 c 852s| 1 | 0 | 60781 | - | 75M| 0 |8053 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.278777e+07 | -- | Inf
859.81/860.12 c 860s| 1 | 0 | 60872 | - | 75M| 0 |8061 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.281146e+07 | -- | Inf
867.70/868.09 c 868s| 1 | 0 | 61001 | - | 75M| 0 |8086 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.284266e+07 | -- | Inf
875.70/876.04 c 876s| 1 | 0 | 61124 | - | 76M| 0 |8094 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.287482e+07 | -- | Inf
883.89/884.27 c 884s| 1 | 0 | 61324 | - | 76M| 0 |8121 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.291096e+07 | -- | Inf
892.09/892.46 c 892s| 1 | 0 | 61482 | - | 76M| 0 |8134 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.294297e+07 | -- | Inf
900.19/900.55 c 900s| 1 | 0 | 61622 | - | 76M| 0 |8158 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.297122e+07 | -- | Inf
908.38/908.72 c 909s| 1 | 0 | 61728 | - | 76M| 0 |8152 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.300575e+07 | -- | Inf
916.39/916.79 c 917s| 1 | 0 | 61821 | - | 76M| 0 |8162 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.304827e+07 | -- | Inf
924.79/925.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
924.79/925.11 c 925s| 1 | 0 | 62012 | - | 76M| 0 |8152 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.310135e+07 | -- | Inf
933.18/933.52 c 933s| 1 | 0 | 62151 | - | 76M| 0 |8180 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.312729e+07 | -- | Inf
941.68/942.09 c 942s| 1 | 0 | 62232 | - | 76M| 0 |8216 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.314353e+07 | -- | Inf
949.98/950.38 c 950s| 1 | 0 | 62324 | - | 76M| 0 |8237 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.315076e+07 | -- | Inf
958.88/959.24 c 959s| 1 | 0 | 62407 | - | 76M| 0 |8264 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.315241e+07 | -- | Inf
967.37/967.75 c 968s| 1 | 0 | 62561 | - | 76M| 0 |8252 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.316351e+07 | -- | Inf
975.56/975.91 c 976s| 1 | 0 | 62618 | - | 76M| 0 |8261 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.316550e+07 | -- | Inf
983.86/984.22 c 984s| 1 | 0 | 62682 | - | 76M| 0 |8271 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.317167e+07 | -- | Inf
992.26/992.63 c 992s| 1 | 0 | 62718 | - | 76M| 0 |8285 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.317271e+07 | -- | Inf
1000.57/1000.98 c 1001s| 1 | 0 | 62812 | - | 76M| 0 |8282 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.318271e+07 | -- | Inf
1009.05/1009.42 c 1009s| 1 | 0 | 62909 | - | 76M| 0 |8305 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.318590e+07 | -- | Inf
1017.26/1017.69 c 1017s| 1 | 0 | 62965 | - | 76M| 0 |8305 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.318636e+07 | -- | Inf
1025.45/1025.89 c 1026s| 1 | 0 | 62984 | - | 76M| 0 |8310 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.318636e+07 | -- | Inf
1033.66/1034.05 c 1034s| 1 | 0 | 62997 | - | 76M| 0 |8317 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.318636e+07 | -- | Inf
1041.95/1042.31 c 1042s| 1 | 0 | 63023 | - | 76M| 0 |8316 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.318642e+07 | -- | Inf
1069.24/1069.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.24/1069.67 c 1069s| 1 | 2 | 63023 | - | 76M| 0 |8316 | 18k|1110 | 18k| 15k| 14k| 0 | 34 | 6.318642e+07 | -- | Inf
1789.41/1790.02 c
1789.41/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.41/1790.02 c Solving Time (sec) : 1789.82
1789.41/1790.02 c Solving Nodes : 10
1789.41/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.41/1790.02 c Dual Bound : +6.33814776423699e+07
1789.41/1790.02 c Gap : infinite
1789.41/1790.02 s UNKNOWN
1789.41/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.41/1790.02 c Solving Time : 1789.82
1789.41/1790.02 c Original Problem :
1789.41/1790.02 c Problem name : HOME/instance-2703464-1278557853.opb
1789.41/1790.02 c Variables : 21960 (21960 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.41/1790.02 c Constraints : 750 initial, 750 maximal
1789.41/1790.02 c Presolved Problem :
1789.41/1790.02 c Problem name : t_HOME/instance-2703464-1278557853.opb
1789.41/1790.02 c Variables : 18164 (18164 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.41/1790.02 c Constraints : 1110 initial, 1113 maximal
1789.41/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.41/1790.02 c trivial : 0.02 0 0 0 0 0 0 0 0
1789.41/1790.02 c dualfix : 0.02 0 0 0 0 0 0 0 0
1789.41/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.02 c implics : 0.01 0 0 0 0 0 0 0 0
1789.41/1790.02 c probing : 0.73 52 4 0 0 0 0 0 0
1789.41/1790.02 c knapsack : 0.14 0 0 0 0 0 0 360 1440
1789.41/1790.02 c setppc : 0.01 0 0 0 0 0 0 0 0
1789.41/1790.02 c linear : 0.19 3728 12 0 3728 0 0 0 0
1789.41/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.41/1790.02 c root node : - 1 - - 1 - - - -
1789.41/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.41/1790.02 c integral : 0 0 0 10 0 0 0 0 0 20
1789.41/1790.02 c knapsack : 390 239 3532 0 0 0 92 14693 0 0
1789.41/1790.02 c setppc : 360 239 3532 0 0 0 1 0 0 0
1789.41/1790.02 c linear : 360 239 3532 0 0 2 0 46926 0 0
1789.41/1790.02 c logicor : 0+ 0 3 0 0 0 0 0 0 0
1789.41/1790.02 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.41/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.41/1790.02 c integral : 202.61 0.00 0.00 202.61 0.00
1789.41/1790.02 c knapsack : 3.63 3.53 0.10 0.00 0.00
1789.41/1790.02 c setppc : 0.12 0.01 0.10 0.00 0.00
1789.41/1790.02 c linear : 44.94 44.69 0.26 0.00 0.00
1789.41/1790.02 c logicor : 0.00 0.00 0.00 0.00 0.00
1789.41/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.41/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.41/1790.02 c vbounds : 0.00 2 0 0
1789.41/1790.02 c rootredcost : 0.01 0 0 0
1789.41/1790.02 c pseudoobj : 6.35 3451 0 0
1789.41/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.41/1790.02 c propagation : 0.00 2 2 8 49.5 1 12.0 -
1789.41/1790.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.41/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.41/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.41/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.41/1790.02 c applied globally : - - - 3 35.7 - - -
1789.41/1790.02 c applied locally : - - - 0 0.0 - - -
1789.41/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.41/1790.02 c cut pool : 0.06 237 - - 164 - (maximal pool size: 498)
1789.41/1790.02 c redcost : 0.83 248 0 0 0 0
1789.41/1790.02 c impliedbounds : 0.65 239 0 0 116 0
1789.41/1790.02 c intobj : 0.00 0 0 0 0 0
1789.41/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.41/1790.02 c gomory : 796.90 239 0 0 2933 0
1789.41/1790.02 c strongcg : 3.78 20 0 0 264 0
1789.41/1790.02 c cmir : 2.48 10 0 0 0 0
1789.41/1790.02 c flowcover : 8.85 10 0 0 0 0
1789.41/1790.02 c clique : 6.11 239 0 0 0 0
1789.41/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.41/1790.02 c mcf : 0.00 1 0 0 0 0
1789.41/1790.02 c rapidlearning : 0.00 0 0 0 0 0
1789.41/1790.02 c Pricers : Time Calls Vars
1789.41/1790.02 c problem variables: 0.00 0 0
1789.41/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.41/1790.02 c relpscost : 202.61 10 0 0 0 0 20
1789.41/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.41/1790.02 c inference : 0.00 0 0 0 0 0 0
1789.41/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.41/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.41/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.41/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.41/1790.02 c random : 0.00 0 0 0 0 0 0
1789.41/1790.02 c Primal Heuristics : Time Calls Found
1789.41/1790.02 c LP solutions : 0.00 - 0
1789.41/1790.02 c pseudo solutions : 0.00 - 0
1789.41/1790.02 c oneopt : 0.00 0 0
1789.41/1790.02 c crossover : 0.00 0 0
1789.41/1790.02 c fracdiving : 0.00 0 0
1789.41/1790.02 c veclendiving : 0.00 0 0
1789.41/1790.02 c objpscostdiving : 0.00 0 0
1789.41/1790.02 c rootsoldiving : 0.00 0 0
1789.41/1790.02 c coefdiving : 268.42 1 0
1789.41/1790.02 c trivial : 0.06 2 0
1789.41/1790.02 c simplerounding : 0.00 0 0
1789.41/1790.02 c zirounding : 0.02 9 0
1789.41/1790.02 c rounding : 0.27 105 0
1789.41/1790.02 c shifting : 33.94 100 0
1789.41/1790.02 c intshifting : 0.00 0 0
1789.41/1790.02 c twoopt : 0.00 0 0
1789.41/1790.02 c fixandinfer : 0.00 0 0
1789.41/1790.02 c feaspump : 10.54 1 0
1789.41/1790.02 c pscostdiving : 202.41 1 0
1789.41/1790.02 c intdiving : 0.00 0 0
1789.41/1790.02 c actconsdiving : 0.00 0 0
1789.41/1790.02 c linesearchdiving : 0.00 0 0
1789.41/1790.02 c guideddiving : 0.00 0 0
1789.41/1790.02 c octane : 0.00 0 0
1789.41/1790.02 c rens : 0.74 1 0
1789.41/1790.02 c rins : 0.00 0 0
1789.41/1790.02 c localbranching : 0.00 0 0
1789.41/1790.02 c mutation : 0.00 0 0
1789.41/1790.02 c dins : 0.00 0 0
1789.41/1790.02 c undercover : 0.00 0 0
1789.41/1790.02 c nlp : 0.00 0 0
1789.41/1790.02 c trysol : 0.00 0 0
1789.41/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.41/1790.02 c primal LP : 1.75 0 0 0.00 0.00
1789.41/1790.02 c dual LP : 194.64 251 67449 268.72 346.53
1789.41/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.41/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.41/1790.02 c diving/probing LP: 431.75 3191 81508 25.54 188.78
1789.41/1790.02 c strong branching : 202.55 216 34328 158.93 169.48
1789.41/1790.02 c (at root node) : - 34 4033 118.62 -
1789.41/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.41/1790.02 c B&B Tree :
1789.41/1790.02 c number of runs : 1
1789.41/1790.02 c nodes : 10
1789.41/1790.02 c nodes (total) : 10
1789.41/1790.02 c nodes left : 11
1789.41/1790.02 c max depth : 5
1789.41/1790.02 c max depth (total): 5
1789.41/1790.02 c backtracks : 1 (10.0%)
1789.41/1790.02 c delayed cutoffs : 0
1789.41/1790.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.41/1790.02 c avg switch length: 1.50
1789.41/1790.02 c switching time : 0.11
1789.41/1790.02 c Solution :
1789.41/1790.02 c Solutions found : 0 (0 improvements)
1789.41/1790.02 c Primal Bound : -
1789.41/1790.02 c Dual Bound : +6.33814776423699e+07
1789.41/1790.02 c Gap : infinite
1789.41/1790.02 c Root Dual Bound : +6.31864154065786e+07
1789.41/1790.02 c Root Iterations : 63023
1789.61/1790.28 c Time complete: 1789.7.