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-2703512-1278560183.opb>
0.09/0.19 c original problem has 21960 variables (21960 bin, 0 int, 0 impl, 0 cont) and 750 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.39/0.41 c presolving:
0.39/0.47 c (round 1) 3333 del vars, 0 del conss, 3321 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.50/0.50 c (round 2) 3740 del vars, 0 del conss, 3728 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.50/0.53 c (round 3) 3740 del vars, 0 del conss, 3728 chg bounds, 0 chg sides, 0 chg coeffs, 360 upgd conss, 0 impls, 0 clqs
0.50/0.59 c (round 4) 3740 del vars, 0 del conss, 3728 chg bounds, 0 chg sides, 360 chg coeffs, 390 upgd conss, 0 impls, 360 clqs
0.59/0.67 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
2.10/2.17 c (round 6) 3796 del vars, 0 del conss, 3728 chg bounds, 360 chg sides, 1440 chg coeffs, 390 upgd conss, 3472 impls, 720 clqs
3.09/3.11 c (2.9s) probing: 483/18220 (2.7%) - 52 fixings, 8 aggregations, 838 implications, 0 bound changes
3.09/3.11 c (2.9s) probing aborted: 100/100 successive totally useless probings
3.09/3.11 c (round 7) 3800 del vars, 0 del conss, 3728 chg bounds, 360 chg sides, 1440 chg coeffs, 390 upgd conss, 4290 impls, 720 clqs
3.09/3.18 c (3.0s) probing: 493/18220 (2.7%) - 52 fixings, 8 aggregations, 838 implications, 0 bound changes
3.09/3.18 c (3.0s) probing aborted: 100/100 successive totally useless probings
3.09/3.19 c presolving (8 rounds):
3.09/3.19 c 3800 deleted vars, 0 deleted constraints, 3728 tightened bounds, 0 added holes, 360 changed sides, 1440 changed coefficients
3.09/3.19 c 4290 implications, 720 cliques
3.09/3.19 c presolved problem has 18160 variables (18160 bin, 0 int, 0 impl, 0 cont) and 1110 constraints
3.09/3.19 c 390 constraints of type <knapsack>
3.09/3.19 c 360 constraints of type <setppc>
3.09/3.19 c 360 constraints of type <linear>
3.09/3.19 c transformed objective value is always integral (scale: 1)
3.09/3.19 c Presolving Time: 2.91
3.09/3.19 c - non default parameters ----------------------------------------------------------------------
3.09/3.19 c # SCIP version 1.2.1.3
3.09/3.19 c
3.09/3.19 c # frequency for displaying node information lines
3.09/3.19 c # [type: int, range: [-1,2147483647], default: 100]
3.09/3.19 c display/freq = 10000
3.09/3.19 c
3.09/3.19 c # maximal time in seconds to run
3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.19 c limits/time = 1789.81
3.09/3.19 c
3.09/3.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.19 c limits/memory = 1620
3.09/3.19 c
3.09/3.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.09/3.19 c # [type: int, range: [1,2], default: 1]
3.09/3.19 c timing/clocktype = 2
3.09/3.19 c
3.09/3.19 c # should presolving try to simplify inequalities
3.09/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.19 c constraints/linear/simplifyinequalities = TRUE
3.09/3.19 c
3.09/3.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.09/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.19 c constraints/indicator/addCouplingCons = TRUE
3.09/3.19 c
3.09/3.19 c # should presolving try to simplify knapsacks
3.09/3.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.19 c constraints/knapsack/simplifyinequalities = TRUE
3.09/3.19 c
3.09/3.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.09/3.19 c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.19 c separating/rapidlearning/freq = 0
3.09/3.19 c
3.09/3.19 c -----------------------------------------------------------------------------------------------
3.09/3.19 c start solving
3.20/3.21 c
3.39/3.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.46 c 3.3s| 1 | 0 | 1392 | - | 52M| 0 |1044 | 18k|1110 | 18k|1110 | 0 | 0 | 0 | 1.455148e+07 | -- | Inf
6.79/6.84 c 6.6s| 1 | 0 | 4845 | - | 55M| 0 |1227 | 18k|1110 | 18k|1310 | 200 | 0 | 0 | 1.603199e+07 | -- | Inf
8.29/8.32 c 8.1s| 1 | 0 | 4997 | - | 55M| 0 |1323 | 18k|1110 | 18k|1434 | 324 | 0 | 0 | 1.659623e+07 | -- | Inf
9.80/9.84 c 9.6s| 1 | 0 | 5145 | - | 55M| 0 |1438 | 18k|1110 | 18k|1551 | 441 | 0 | 0 | 1.774056e+07 | -- | Inf
11.49/11.51 c 11.3s| 1 | 0 | 5347 | - | 55M| 0 |1544 | 18k|1110 | 18k|1681 | 571 | 0 | 0 | 1.982039e+07 | -- | Inf
13.20/13.25 c 13.1s| 1 | 0 | 5542 | - | 55M| 0 |1610 | 18k|1110 | 18k|1810 | 700 | 0 | 0 | 2.082918e+07 | -- | Inf
14.99/15.05 c 14.9s| 1 | 0 | 5707 | - | 55M| 0 |1701 | 18k|1110 | 18k|1926 | 816 | 0 | 0 | 2.128016e+07 | -- | Inf
16.89/16.91 c 16.7s| 1 | 0 | 5901 | - | 55M| 0 |1786 | 18k|1110 | 18k|2041 | 931 | 0 | 0 | 2.221751e+07 | -- | Inf
18.79/18.86 c 18.7s| 1 | 0 | 6089 | - | 56M| 0 |1866 | 18k|1110 | 18k|2150 |1054 | 0 | 0 | 2.301294e+07 | -- | Inf
20.68/20.80 c 20.6s| 1 | 0 | 6225 | - | 56M| 0 |1945 | 18k|1110 | 18k|2253 |1157 | 0 | 0 | 2.308688e+07 | -- | Inf
22.69/22.75 c 22.6s| 1 | 0 | 6367 | - | 56M| 0 |2009 | 18k|1110 | 18k|2336 |1240 | 0 | 0 | 2.344923e+07 | -- | Inf
23.39/23.42 c 23.2s| 1 | 0 | 6511 | - | 56M| 0 |2068 | 18k|1110 | 18k|2402 |1306 | 0 | 0 | 2.354655e+07 | -- | Inf
24.09/24.15 c 24.0s| 1 | 0 | 6691 | - | 56M| 0 |2172 | 18k|1110 | 18k|2524 |1428 | 0 | 0 | 2.378852e+07 | -- | Inf
24.99/25.07 c 24.9s| 1 | 0 | 7030 | - | 56M| 0 |2282 | 18k|1110 | 18k|2674 |1578 | 0 | 0 | 2.420641e+07 | -- | Inf
25.89/25.92 c 25.7s| 1 | 0 | 7223 | - | 56M| 0 |2354 | 18k|1110 | 18k|2803 |1707 | 0 | 0 | 2.469387e+07 | -- | Inf
26.88/26.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.88/26.94 c 26.7s| 1 | 0 | 7539 | - | 56M| 0 |2369 | 18k|1110 | 18k|2930 |1834 | 0 | 0 | 2.561951e+07 | -- | Inf
27.88/27.92 c 27.7s| 1 | 0 | 7790 | - | 56M| 0 |2456 | 18k|1110 | 18k|3022 |1926 | 0 | 0 | 2.633235e+07 | -- | Inf
28.79/28.88 c 28.7s| 1 | 0 | 7959 | - | 56M| 0 |2491 | 18k|1110 | 18k|3110 |2014 | 0 | 0 | 2.650488e+07 | -- | Inf
29.89/29.90 c 29.7s| 1 | 0 | 8172 | - | 57M| 0 |2575 | 18k|1110 | 18k|3185 |2102 | 0 | 0 | 2.665361e+07 | -- | Inf
30.99/31.01 c 30.8s| 1 | 0 | 8396 | - | 57M| 0 |2606 | 18k|1110 | 18k|3277 |2194 | 0 | 0 | 2.693894e+07 | -- | Inf
32.08/32.15 c 32.0s| 1 | 0 | 8611 | - | 57M| 0 |2643 | 18k|1110 | 18k|3358 |2275 | 0 | 0 | 2.706121e+07 | -- | Inf
32.89/32.94 c 32.7s| 1 | 0 | 8805 | - | 57M| 0 |2689 | 18k|1110 | 18k|3426 |2343 | 0 | 0 | 2.718540e+07 | -- | Inf
33.78/33.80 c 33.6s| 1 | 0 | 9058 | - | 57M| 0 |2708 | 18k|1110 | 18k|3505 |2422 | 0 | 0 | 2.731828e+07 | -- | Inf
34.58/34.64 c 34.4s| 1 | 0 | 9298 | - | 57M| 0 |2761 | 18k|1110 | 18k|3578 |2495 | 0 | 0 | 2.760896e+07 | -- | Inf
35.47/35.53 c 35.3s| 1 | 0 | 9487 | - | 57M| 0 |2767 | 18k|1110 | 18k|3624 |2550 | 0 | 0 | 2.770137e+07 | -- | Inf
36.38/36.45 c 36.3s| 1 | 0 | 9729 | - | 57M| 0 |2806 | 18k|1110 | 18k|3684 |2610 | 0 | 0 | 2.786161e+07 | -- | Inf
37.28/37.37 c 37.2s| 1 | 0 | 9954 | - | 57M| 0 |2819 | 18k|1110 | 18k|3741 |2667 | 0 | 0 | 2.797925e+07 | -- | Inf
38.18/38.29 c 38.1s| 1 | 0 | 10146 | - | 57M| 0 |2830 | 18k|1110 | 18k|3798 |2724 | 0 | 0 | 2.803732e+07 | -- | Inf
39.17/39.23 c 39.0s| 1 | 0 | 10356 | - | 57M| 0 |2872 | 18k|1110 | 18k|3847 |2773 | 0 | 0 | 2.818522e+07 | -- | Inf
40.17/40.29 c 40.1s| 1 | 0 | 10627 | - | 57M| 0 |2861 | 18k|1110 | 18k|3900 |2826 | 0 | 0 | 2.826243e+07 | -- | Inf
41.27/41.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.27/41.39 c 41.2s| 1 | 0 | 10905 | - | 57M| 0 |2874 | 18k|1110 | 18k|3948 |2882 | 0 | 0 | 2.841706e+07 | -- | Inf
42.47/42.53 c 42.3s| 1 | 0 | 11280 | - | 57M| 0 |2885 | 18k|1110 | 18k|4006 |2940 | 0 | 0 | 2.863229e+07 | -- | Inf
43.57/43.69 c 43.5s| 1 | 0 | 11615 | - | 58M| 0 |2874 | 18k|1110 | 18k|4059 |2993 | 0 | 0 | 2.877275e+07 | -- | Inf
44.77/44.81 c 44.6s| 1 | 0 | 11850 | - | 58M| 0 |2897 | 18k|1110 | 18k|4101 |3035 | 0 | 0 | 2.894213e+07 | -- | Inf
45.77/45.86 c 45.7s| 1 | 0 | 12028 | - | 58M| 0 |2920 | 18k|1110 | 18k|4135 |3069 | 0 | 0 | 2.900413e+07 | -- | Inf
46.87/46.98 c 46.8s| 1 | 0 | 12275 | - | 58M| 0 |2930 | 18k|1110 | 18k|4170 |3104 | 0 | 0 | 2.910531e+07 | -- | Inf
48.07/48.13 c 47.9s| 1 | 0 | 12501 | - | 58M| 0 |2940 | 18k|1110 | 18k|4201 |3140 | 0 | 0 | 2.931676e+07 | -- | Inf
49.17/49.26 c 49.1s| 1 | 0 | 12699 | - | 58M| 0 |2930 | 18k|1110 | 18k|4234 |3173 | 0 | 0 | 2.949619e+07 | -- | Inf
50.27/50.38 c 50.2s| 1 | 0 | 12897 | - | 58M| 0 |2969 | 18k|1110 | 18k|4267 |3206 | 0 | 0 | 2.958296e+07 | -- | Inf
51.47/51.52 c 51.3s| 1 | 0 | 13068 | - | 58M| 0 |2955 | 18k|1110 | 18k|4301 |3240 | 0 | 0 | 2.963152e+07 | -- | Inf
52.57/52.61 c 52.4s| 1 | 0 | 13189 | - | 58M| 0 |2962 | 18k|1110 | 18k|4333 |3272 | 0 | 0 | 2.972118e+07 | -- | Inf
53.67/53.71 c 53.5s| 1 | 0 | 13299 | - | 58M| 0 |2967 | 18k|1110 | 18k|4362 |3301 | 0 | 0 | 2.977220e+07 | -- | Inf
54.87/54.91 c 54.7s| 1 | 0 | 13413 | - | 58M| 0 |2976 | 18k|1110 | 18k|4395 |3334 | 0 | 0 | 2.983537e+07 | -- | Inf
55.98/56.07 c 55.9s| 1 | 0 | 13555 | - | 58M| 0 |2992 | 18k|1110 | 18k|4421 |3360 | 0 | 0 | 2.994828e+07 | -- | Inf
57.17/57.24 c 57.0s| 1 | 0 | 13636 | - | 58M| 0 |3013 | 18k|1110 | 18k|4450 |3389 | 0 | 0 | 3.001245e+07 | -- | Inf
58.37/58.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.37/58.41 c 58.2s| 1 | 0 | 13779 | - | 58M| 0 |3022 | 18k|1110 | 18k|4478 |3417 | 0 | 0 | 3.015381e+07 | -- | Inf
59.76/59.85 c 59.7s| 1 | 0 | 14069 | - | 58M| 0 |3023 | 18k|1110 | 18k|4521 |3460 | 0 | 0 | 3.028406e+07 | -- | Inf
61.07/61.13 c 60.9s| 1 | 0 | 14195 | - | 58M| 0 |3074 | 18k|1110 | 18k|4576 |3515 | 0 | 0 | 3.041942e+07 | -- | Inf
62.46/62.57 c 62.4s| 1 | 0 | 14446 | - | 58M| 0 |3095 | 18k|1110 | 18k|4620 |3559 | 0 | 0 | 3.051836e+07 | -- | Inf
63.86/63.95 c 63.8s| 1 | 0 | 14670 | - | 58M| 0 |3096 | 18k|1110 | 18k|4658 |3597 | 0 | 0 | 3.057759e+07 | -- | Inf
65.37/65.46 c 65.3s| 1 | 0 | 14932 | - | 58M| 0 |3130 | 18k|1110 | 18k|4696 |3635 | 0 | 0 | 3.069794e+07 | -- | Inf
66.67/66.75 c 66.6s| 1 | 0 | 15035 | - | 59M| 0 |3162 | 18k|1110 | 18k|4747 |3686 | 0 | 0 | 3.074462e+07 | -- | Inf
67.96/68.07 c 67.9s| 1 | 0 | 15155 | - | 59M| 0 |3170 | 18k|1110 | 18k|4806 |3745 | 0 | 0 | 3.082471e+07 | -- | Inf
69.36/69.49 c 69.3s| 1 | 0 | 15376 | - | 59M| 0 |3174 | 18k|1110 | 18k|4852 |3791 | 0 | 0 | 3.094677e+07 | -- | Inf
70.76/70.89 c 70.7s| 1 | 0 | 15523 | - | 59M| 0 |3222 | 18k|1110 | 18k|4898 |3837 | 0 | 0 | 3.101034e+07 | -- | Inf
72.26/72.39 c 72.2s| 1 | 0 | 15736 | - | 59M| 0 |3238 | 18k|1110 | 18k|4945 |3884 | 0 | 0 | 3.109794e+07 | -- | Inf
73.96/74.09 c 73.9s| 1 | 0 | 16026 | - | 59M| 0 |3244 | 18k|1110 | 18k|5002 |3941 | 0 | 0 | 3.123656e+07 | -- | Inf
75.56/75.66 c 75.5s| 1 | 0 | 16286 | - | 59M| 0 |3273 | 18k|1110 | 18k|5070 |4009 | 0 | 0 | 3.138732e+07 | -- | Inf
77.16/77.21 c 77.0s| 1 | 0 | 16500 | - | 59M| 0 |3307 | 18k|1110 | 18k|5141 |4080 | 0 | 0 | 3.157810e+07 | -- | Inf
78.66/78.76 c 78.6s| 1 | 0 | 16664 | - | 59M| 0 |3359 | 18k|1110 | 18k|5208 |4147 | 0 | 0 | 3.169804e+07 | -- | Inf
80.36/80.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.36/80.47 c 80.3s| 1 | 0 | 16907 | - | 59M| 0 |3345 | 18k|1110 | 18k|5275 |4215 | 0 | 0 | 3.185271e+07 | -- | Inf
82.06/82.18 c 82.0s| 1 | 0 | 17162 | - | 60M| 0 |3390 | 18k|1110 | 18k|5353 |4293 | 0 | 0 | 3.198484e+07 | -- | Inf
83.76/83.87 c 83.7s| 1 | 0 | 17368 | - | 60M| 0 |3414 | 18k|1110 | 18k|5432 |4372 | 0 | 0 | 3.229904e+07 | -- | Inf
85.55/85.64 c 85.4s| 1 | 0 | 17618 | - | 60M| 0 |3471 | 18k|1110 | 18k|5513 |4453 | 0 | 0 | 3.254823e+07 | -- | Inf
87.46/87.50 c 87.3s| 1 | 0 | 17879 | - | 60M| 0 |3511 | 18k|1110 | 18k|5593 |4533 | 0 | 0 | 3.287169e+07 | -- | Inf
89.15/89.26 c 89.1s| 1 | 0 | 18076 | - | 60M| 0 |3555 | 18k|1110 | 18k|5667 |4607 | 0 | 0 | 3.311616e+07 | -- | Inf
91.05/91.10 c 90.9s| 1 | 0 | 18268 | - | 60M| 0 |3591 | 18k|1110 | 18k|5734 |4676 | 0 | 0 | 3.321526e+07 | -- | Inf
92.86/92.99 c 92.8s| 1 | 0 | 18486 | - | 61M| 0 |3654 | 18k|1110 | 18k|5811 |4753 | 0 | 0 | 3.350525e+07 | -- | Inf
94.75/94.87 c 94.7s| 1 | 0 | 18687 | - | 61M| 0 |3650 | 18k|1110 | 18k|5877 |4819 | 0 | 0 | 3.368696e+07 | -- | Inf
96.66/96.79 c 96.6s| 1 | 0 | 18871 | - | 61M| 0 |3653 | 18k|1110 | 18k|5935 |4877 | 0 | 0 | 3.390925e+07 | -- | Inf
98.86/98.93 c 98.7s| 1 | 0 | 19174 | - | 61M| 0 |3701 | 18k|1110 | 18k|6000 |4942 | 0 | 0 | 3.406272e+07 | -- | Inf
100.86/100.92 c 101s| 1 | 0 | 19374 | - | 61M| 0 |3755 | 18k|1110 | 18k|6056 |4998 | 0 | 0 | 3.415577e+07 | -- | Inf
102.95/103.02 c 103s| 1 | 0 | 19582 | - | 61M| 0 |3758 | 18k|1110 | 18k|6117 |5061 | 0 | 0 | 3.427592e+07 | -- | Inf
104.85/104.96 c 105s| 1 | 0 | 19744 | - | 61M| 0 |3783 | 18k|1110 | 18k|6175 |5119 | 0 | 0 | 3.432188e+07 | -- | Inf
106.85/106.97 c 107s| 1 | 0 | 19940 | - | 61M| 0 |3800 | 18k|1110 | 18k|6250 |5194 | 0 | 0 | 3.444604e+07 | -- | Inf
108.95/109.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.95/109.05 c 109s| 1 | 0 | 20119 | - | 61M| 0 |3841 | 18k|1110 | 18k|6313 |5257 | 0 | 0 | 3.468040e+07 | -- | Inf
111.05/111.15 c 111s| 1 | 0 | 20322 | - | 61M| 0 |3872 | 18k|1110 | 18k|6380 |5324 | 0 | 0 | 3.505581e+07 | -- | Inf
113.16/113.30 c 113s| 1 | 0 | 20535 | - | 61M| 0 |3899 | 18k|1110 | 18k|6433 |5377 | 0 | 0 | 3.531681e+07 | -- | Inf
115.55/115.64 c 115s| 1 | 0 | 20723 | - | 61M| 0 |3899 | 18k|1110 | 18k|6485 |5433 | 0 | 0 | 3.540179e+07 | -- | Inf
117.75/117.82 c 118s| 1 | 0 | 20914 | - | 62M| 0 |3915 | 18k|1110 | 18k|6535 |5483 | 0 | 0 | 3.548881e+07 | -- | Inf
120.15/120.20 c 120s| 1 | 0 | 21137 | - | 62M| 0 |3923 | 18k|1110 | 18k|6601 |5549 | 0 | 0 | 3.563145e+07 | -- | Inf
122.35/122.46 c 122s| 1 | 0 | 21323 | - | 62M| 0 |3964 | 18k|1110 | 18k|6671 |5619 | 0 | 0 | 3.595811e+07 | -- | Inf
124.75/124.87 c 125s| 1 | 0 | 21578 | - | 62M| 0 |4031 | 18k|1110 | 18k|6745 |5693 | 0 | 0 | 3.654296e+07 | -- | Inf
127.56/127.70 c 128s| 1 | 0 | 21891 | - | 62M| 0 |4051 | 18k|1110 | 18k|6799 |5747 | 0 | 0 | 3.678407e+07 | -- | Inf
130.05/130.13 c 130s| 1 | 0 | 22122 | - | 62M| 0 |4054 | 18k|1110 | 18k|6850 |5802 | 0 | 0 | 3.690344e+07 | -- | Inf
132.45/132.57 c 132s| 1 | 0 | 22308 | - | 62M| 0 |4100 | 18k|1110 | 18k|6905 |5857 | 0 | 0 | 3.699730e+07 | -- | Inf
134.95/135.04 c 135s| 1 | 0 | 22532 | - | 62M| 0 |4116 | 18k|1110 | 18k|6955 |5907 | 0 | 0 | 3.712578e+07 | -- | Inf
137.85/137.94 c 138s| 1 | 0 | 22826 | - | 62M| 0 |4135 | 18k|1110 | 18k|7005 |5957 | 0 | 0 | 3.734488e+07 | -- | Inf
140.35/140.47 c 140s| 1 | 0 | 23051 | - | 63M| 0 |4138 | 18k|1110 | 18k|7085 |6037 | 0 | 0 | 3.744757e+07 | -- | Inf
143.05/143.15 c 143s| 1 | 0 | 23342 | - | 63M| 0 |4203 | 18k|1110 | 18k|7189 |6141 | 0 | 0 | 3.806930e+07 | -- | Inf
145.74/145.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.74/145.87 c 146s| 1 | 0 | 23595 | - | 63M| 0 |4303 | 18k|1110 | 18k|7272 |6226 | 0 | 0 | 3.877269e+07 | -- | Inf
148.45/148.56 c 148s| 1 | 0 | 23793 | - | 63M| 0 |4328 | 18k|1110 | 18k|7342 |6296 | 0 | 0 | 3.928333e+07 | -- | Inf
151.14/151.26 c 151s| 1 | 0 | 23923 | - | 63M| 0 |4361 | 18k|1110 | 18k|7398 |6352 | 0 | 0 | 3.942574e+07 | -- | Inf
153.85/153.92 c 154s| 1 | 0 | 24087 | - | 63M| 0 |4395 | 18k|1110 | 18k|7453 |6407 | 0 | 0 | 3.958502e+07 | -- | Inf
156.45/156.58 c 156s| 1 | 0 | 24239 | - | 63M| 0 |4424 | 18k|1110 | 18k|7501 |6455 | 0 | 0 | 3.976109e+07 | -- | Inf
159.14/159.22 c 159s| 1 | 0 | 24372 | - | 64M| 0 |4459 | 18k|1110 | 18k|7550 |6504 | 0 | 0 | 3.984795e+07 | -- | Inf
161.94/162.02 c 162s| 1 | 0 | 24528 | - | 64M| 0 |4460 | 18k|1110 | 18k|7589 |6547 | 0 | 0 | 3.993522e+07 | -- | Inf
164.54/164.68 c 164s| 1 | 0 | 24643 | - | 64M| 0 |4462 | 18k|1110 | 18k|7635 |6593 | 0 | 0 | 4.002726e+07 | -- | Inf
167.24/167.39 c 167s| 1 | 0 | 24809 | - | 64M| 0 |4483 | 18k|1110 | 18k|7679 |6637 | 0 | 0 | 4.017088e+07 | -- | Inf
170.14/170.27 c 170s| 1 | 0 | 24998 | - | 64M| 0 |4514 | 18k|1110 | 18k|7725 |6683 | 0 | 0 | 4.030364e+07 | -- | Inf
172.84/172.95 c 173s| 1 | 0 | 25100 | - | 64M| 0 |4529 | 18k|1110 | 18k|7780 |6738 | 0 | 0 | 4.041439e+07 | -- | Inf
175.53/175.60 c 175s| 1 | 0 | 25270 | - | 64M| 0 |4582 | 18k|1110 | 18k|7823 |6781 | 0 | 0 | 4.057993e+07 | -- | Inf
178.24/178.32 c 178s| 1 | 0 | 25443 | - | 64M| 0 |4622 | 18k|1110 | 18k|7876 |6835 | 0 | 0 | 4.073058e+07 | -- | Inf
180.93/181.09 c 181s| 1 | 0 | 25624 | - | 64M| 0 |4625 | 18k|1110 | 18k|7932 |6891 | 0 | 0 | 4.083267e+07 | -- | Inf
183.64/183.78 c 184s| 1 | 0 | 25782 | - | 64M| 0 |4673 | 18k|1110 | 18k|7980 |6939 | 0 | 0 | 4.097768e+07 | -- | Inf
186.43/186.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
186.43/186.58 c 186s| 1 | 0 | 25949 | - | 64M| 0 |4692 | 18k|1110 | 18k|8029 |6988 | 0 | 0 | 4.111451e+07 | -- | Inf
189.24/189.38 c 189s| 1 | 0 | 26089 | - | 65M| 0 |4702 | 18k|1110 | 18k|8096 |7055 | 0 | 0 | 4.118847e+07 | -- | Inf
192.13/192.29 c 192s| 1 | 0 | 26311 | - | 65M| 0 |4761 | 18k|1110 | 18k|8164 |7123 | 0 | 0 | 4.146517e+07 | -- | Inf
195.13/195.23 c 195s| 1 | 0 | 26497 | - | 65M| 0 |4771 | 18k|1110 | 18k|8222 |7188 | 0 | 0 | 4.168386e+07 | -- | Inf
198.03/198.13 c 198s| 1 | 0 | 26672 | - | 65M| 0 |4803 | 18k|1110 | 18k|8271 |7237 | 0 | 0 | 4.188021e+07 | -- | Inf
200.93/201.09 c 201s| 1 | 0 | 26829 | - | 65M| 0 |4826 | 18k|1110 | 18k|8312 |7278 | 0 | 0 | 4.194555e+07 | -- | Inf
203.93/204.00 c 204s| 1 | 0 | 26986 | - | 65M| 0 |4872 | 18k|1110 | 18k|8360 |7326 | 0 | 0 | 4.210057e+07 | -- | Inf
207.03/207.18 c 207s| 1 | 0 | 27234 | - | 65M| 0 |4880 | 18k|1110 | 18k|8407 |7373 | 0 | 0 | 4.223499e+07 | -- | Inf
210.13/210.27 c 210s| 1 | 0 | 27417 | - | 65M| 0 |4915 | 18k|1110 | 18k|8473 |7439 | 0 | 0 | 4.240547e+07 | -- | Inf
213.42/213.51 c 213s| 1 | 0 | 27660 | - | 65M| 0 |4931 | 18k|1110 | 18k|8558 |7525 | 0 | 0 | 4.277222e+07 | -- | Inf
216.42/216.54 c 216s| 1 | 0 | 27844 | - | 65M| 0 |5004 | 18k|1110 | 18k|8636 |7603 | 0 | 0 | 4.297960e+07 | -- | Inf
219.42/219.53 c 219s| 1 | 0 | 27971 | - | 65M| 0 |5043 | 18k|1110 | 18k|8708 |7675 | 0 | 0 | 4.330018e+07 | -- | Inf
222.42/222.58 c 222s| 1 | 0 | 28110 | - | 66M| 0 |5099 | 18k|1110 | 18k|8774 |7741 | 0 | 0 | 4.351329e+07 | -- | Inf
225.73/225.82 c 226s| 1 | 0 | 28318 | - | 66M| 0 |5127 | 18k|1110 | 18k|8853 |7820 | 0 | 0 | 4.370142e+07 | -- | Inf
228.93/229.04 c 229s| 1 | 0 | 28548 | - | 66M| 0 |5163 | 18k|1110 | 18k|8945 |7912 | 0 | 0 | 4.414570e+07 | -- | Inf
232.63/232.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
232.63/232.78 c 233s| 1 | 0 | 28855 | - | 66M| 0 |5201 | 18k|1110 | 18k|9030 |8000 | 0 | 0 | 4.476026e+07 | -- | Inf
235.93/236.08 c 236s| 1 | 0 | 29059 | - | 66M| 0 |5252 | 18k|1110 | 18k|9122 |8092 | 0 | 0 | 4.502162e+07 | -- | Inf
239.42/239.53 c 239s| 1 | 0 | 29288 | - | 66M| 0 |5312 | 18k|1110 | 18k|9215 |8185 | 0 | 0 | 4.541478e+07 | -- | Inf
242.82/242.95 c 243s| 1 | 0 | 29487 | - | 66M| 0 |5357 | 18k|1110 | 18k|9301 |8271 | 0 | 0 | 4.605678e+07 | -- | Inf
246.42/246.53 c 246s| 1 | 0 | 29715 | - | 66M| 0 |5389 | 18k|1110 | 18k|9376 |8346 | 0 | 0 | 4.661864e+07 | -- | Inf
249.92/250.01 c 250s| 1 | 0 | 29904 | - | 67M| 0 |5440 | 18k|1110 | 18k|9454 |8424 | 0 | 0 | 4.675824e+07 | -- | Inf
253.52/253.68 c 253s| 1 | 0 | 30084 | - | 67M| 0 |5476 | 18k|1110 | 18k|9511 |8485 | 0 | 0 | 4.699575e+07 | -- | Inf
257.23/257.31 c 257s| 1 | 0 | 30267 | - | 67M| 0 |5499 | 18k|1110 | 18k|9562 |8536 | 0 | 0 | 4.712523e+07 | -- | Inf
260.82/260.98 c 261s| 1 | 0 | 30490 | - | 67M| 0 |5502 | 18k|1110 | 18k|9605 |8579 | 0 | 0 | 4.725877e+07 | -- | Inf
264.61/264.76 c 265s| 1 | 0 | 30728 | - | 67M| 0 |5520 | 18k|1110 | 18k|9653 |8627 | 0 | 0 | 4.740514e+07 | -- | Inf
268.22/268.37 c 268s| 1 | 0 | 30890 | - | 67M| 0 |5539 | 18k|1110 | 18k|9698 |8672 | 0 | 0 | 4.747642e+07 | -- | Inf
271.82/271.99 c 272s| 1 | 0 | 31066 | - | 67M| 0 |5546 | 18k|1110 | 18k|9750 |8724 | 0 | 0 | 4.757154e+07 | -- | Inf
275.62/275.70 c 276s| 1 | 0 | 31217 | - | 67M| 0 |5570 | 18k|1110 | 18k|9794 |8770 | 0 | 0 | 4.765544e+07 | -- | Inf
279.22/279.33 c 279s| 1 | 0 | 31323 | - | 67M| 0 |5598 | 18k|1110 | 18k|9841 |8817 | 0 | 0 | 4.772523e+07 | -- | Inf
283.01/283.11 c 283s| 1 | 0 | 31517 | - | 67M| 0 |5600 | 18k|1110 | 18k|9887 |8863 | 0 | 0 | 4.787417e+07 | -- | Inf
286.81/286.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.81/286.97 c 287s| 1 | 0 | 31721 | - | 67M| 0 |5611 | 18k|1110 | 18k|9933 |8909 | 0 | 0 | 4.794603e+07 | -- | Inf
291.32/291.44 c 291s| 1 | 0 | 31989 | - | 67M| 0 |5634 | 18k|1110 | 18k|9976 |8952 | 0 | 0 | 4.810406e+07 | -- | Inf
295.11/295.29 c 295s| 1 | 0 | 32186 | - | 67M| 0 |5626 | 18k|1110 | 18k| 10k|8997 | 0 | 0 | 4.813267e+07 | -- | Inf
299.30/299.45 c 299s| 1 | 0 | 32493 | - | 67M| 0 |5638 | 18k|1110 | 18k| 10k|9042 | 0 | 0 | 4.823688e+07 | -- | Inf
303.21/303.37 c 303s| 1 | 0 | 32672 | - | 67M| 0 |5666 | 18k|1110 | 18k| 10k|9088 | 0 | 0 | 4.826596e+07 | -- | Inf
307.31/307.45 c 307s| 1 | 0 | 32944 | - | 68M| 0 |5689 | 18k|1110 | 18k| 10k|9149 | 0 | 0 | 4.831230e+07 | -- | Inf
311.30/311.50 c 311s| 1 | 0 | 33172 | - | 68M| 0 |5724 | 18k|1110 | 18k| 10k|9199 | 0 | 0 | 4.835987e+07 | -- | Inf
315.41/315.54 c 315s| 1 | 0 | 33374 | - | 68M| 0 |5766 | 18k|1110 | 18k| 10k|9263 | 0 | 0 | 4.854245e+07 | -- | Inf
319.70/319.87 c 320s| 1 | 0 | 33629 | - | 68M| 0 |5801 | 18k|1110 | 18k| 10k|9313 | 0 | 0 | 4.865477e+07 | -- | Inf
323.91/324.02 c 324s| 1 | 0 | 33778 | - | 68M| 0 |5802 | 18k|1110 | 18k| 10k|9364 | 0 | 0 | 4.874586e+07 | -- | Inf
327.90/328.06 c 328s| 1 | 0 | 33936 | - | 68M| 0 |5831 | 18k|1110 | 18k| 10k|9416 | 0 | 0 | 4.884439e+07 | -- | Inf
332.00/332.19 c 332s| 1 | 0 | 34115 | - | 68M| 0 |5855 | 18k|1110 | 18k| 10k|9474 | 0 | 0 | 4.890427e+07 | -- | Inf
336.20/336.35 c 336s| 1 | 0 | 34290 | - | 68M| 0 |5886 | 18k|1110 | 18k| 10k|9531 | 0 | 0 | 4.898929e+07 | -- | Inf
340.50/340.65 c 340s| 1 | 0 | 34500 | - | 68M| 0 |5917 | 18k|1110 | 18k| 10k|9578 | 0 | 0 | 4.903608e+07 | -- | Inf
344.70/344.80 c 345s| 1 | 0 | 34642 | - | 68M| 0 |5930 | 18k|1110 | 18k| 10k|9623 | 0 | 0 | 4.913175e+07 | -- | Inf
349.00/349.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.00/349.11 c 349s| 1 | 0 | 34833 | - | 68M| 0 |5948 | 18k|1110 | 18k| 10k|9663 | 0 | 0 | 4.920372e+07 | -- | Inf
353.10/353.27 c 353s| 1 | 0 | 35001 | - | 68M| 0 |5970 | 18k|1110 | 18k| 10k|9702 | 0 | 0 | 4.927185e+07 | -- | Inf
357.60/357.76 c 358s| 1 | 0 | 35252 | - | 69M| 0 |5986 | 18k|1110 | 18k| 10k|9740 | 0 | 0 | 4.934403e+07 | -- | Inf
361.89/362.00 c 362s| 1 | 0 | 35385 | - | 69M| 0 |6007 | 18k|1110 | 18k| 10k|9791 | 0 | 0 | 4.939588e+07 | -- | Inf
366.20/366.40 c 366s| 1 | 0 | 35539 | - | 69M| 0 |6035 | 18k|1110 | 18k| 10k|9845 | 0 | 0 | 4.947243e+07 | -- | Inf
370.69/370.83 c 371s| 1 | 0 | 35732 | - | 69M| 0 |6047 | 18k|1110 | 18k| 10k|9892 | 0 | 0 | 4.957967e+07 | -- | Inf
375.09/375.29 c 375s| 1 | 0 | 35884 | - | 69M| 0 |6058 | 18k|1110 | 18k| 10k|9932 | 0 | 0 | 4.965554e+07 | -- | Inf
379.49/379.69 c 379s| 1 | 0 | 36007 | - | 69M| 0 |6087 | 18k|1110 | 18k| 10k|9971 | 0 | 0 | 4.969806e+07 | -- | Inf
383.88/384.07 c 384s| 1 | 0 | 36090 | - | 69M| 0 |6105 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 4.973741e+07 | -- | Inf
388.59/388.70 c 389s| 1 | 0 | 36205 | - | 69M| 0 |6141 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 4.977842e+07 | -- | Inf
393.19/393.36 c 393s| 1 | 0 | 36374 | - | 69M| 0 |6154 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 4.982561e+07 | -- | Inf
397.79/397.95 c 398s| 1 | 0 | 36561 | - | 69M| 0 |6169 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 4.990278e+07 | -- | Inf
402.58/402.77 c 403s| 1 | 0 | 36679 | - | 69M| 0 |6197 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 4.994638e+07 | -- | Inf
407.39/407.52 c 407s| 1 | 0 | 36861 | - | 69M| 0 |6191 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.005175e+07 | -- | Inf
412.98/413.19 c 413s| 1 | 0 | 37104 | - | 70M| 0 |6225 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.014834e+07 | -- | Inf
417.79/417.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.79/417.96 c 418s| 1 | 0 | 37225 | - | 70M| 0 |6246 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.026177e+07 | -- | Inf
423.28/423.50 c 423s| 1 | 0 | 37496 | - | 70M| 0 |6257 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.039415e+07 | -- | Inf
428.27/428.48 c 428s| 1 | 0 | 37654 | - | 70M| 0 |6268 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.052684e+07 | -- | Inf
433.48/433.63 c 433s| 1 | 0 | 37840 | - | 70M| 0 |6346 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.096789e+07 | -- | Inf
438.88/439.07 c 439s| 1 | 0 | 38167 | - | 70M| 0 |6376 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.120241e+07 | -- | Inf
444.07/444.26 c 444s| 1 | 0 | 38419 | - | 71M| 0 |6433 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.156996e+07 | -- | Inf
449.37/449.56 c 449s| 1 | 0 | 38610 | - | 71M| 0 |6464 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.186496e+07 | -- | Inf
454.77/454.95 c 455s| 1 | 0 | 38843 | - | 71M| 0 |6499 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.203367e+07 | -- | Inf
460.27/460.44 c 460s| 1 | 0 | 39052 | - | 71M| 0 |6533 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.228352e+07 | -- | Inf
465.67/465.86 c 466s| 1 | 0 | 39222 | - | 71M| 0 |6569 | 18k|1110 | 18k| 11k| 10k| 0 | 0 | 5.253385e+07 | -- | Inf
470.97/471.12 c 471s| 1 | 0 | 39439 | - | 71M| 0 |6617 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.266894e+07 | -- | Inf
476.18/476.39 c 476s| 1 | 0 | 39651 | - | 71M| 0 |6628 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.287774e+07 | -- | Inf
481.68/481.90 c 482s| 1 | 0 | 39910 | - | 71M| 0 |6628 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.315551e+07 | -- | Inf
487.17/487.34 c 487s| 1 | 0 | 40089 | - | 71M| 0 |6643 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.337974e+07 | -- | Inf
492.76/492.90 c 493s| 1 | 0 | 40339 | - | 71M| 0 |6654 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.358215e+07 | -- | Inf
498.46/498.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
498.46/498.63 c 498s| 1 | 0 | 40607 | - | 71M| 0 |6727 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.401251e+07 | -- | Inf
505.16/505.36 c 505s| 1 | 0 | 41053 | - | 71M| 0 |6714 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.426135e+07 | -- | Inf
510.76/510.91 c 511s| 1 | 0 | 41249 | - | 71M| 0 |6769 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.445698e+07 | -- | Inf
516.46/516.65 c 516s| 1 | 0 | 41453 | - | 72M| 0 |6802 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.478326e+07 | -- | Inf
522.26/522.46 c 522s| 1 | 0 | 41618 | - | 72M| 0 |6846 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.502801e+07 | -- | Inf
528.05/528.20 c 528s| 1 | 0 | 41751 | - | 72M| 0 |6882 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.506897e+07 | -- | Inf
534.26/534.42 c 534s| 1 | 0 | 41987 | - | 72M| 0 |6906 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.535559e+07 | -- | Inf
540.15/540.36 c 540s| 1 | 0 | 42157 | - | 72M| 0 |6927 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.570090e+07 | -- | Inf
545.95/546.14 c 546s| 1 | 0 | 42272 | - | 72M| 0 |6946 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.578232e+07 | -- | Inf
551.85/552.02 c 552s| 1 | 0 | 42484 | - | 72M| 0 |6986 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.592791e+07 | -- | Inf
557.75/557.99 c 558s| 1 | 0 | 42664 | - | 72M| 0 |7014 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.610113e+07 | -- | Inf
563.85/564.05 c 564s| 1 | 0 | 42820 | - | 72M| 0 |7027 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.625230e+07 | -- | Inf
570.15/570.30 c 570s| 1 | 0 | 42968 | - | 72M| 0 |7038 | 18k|1110 | 18k| 12k| 11k| 0 | 0 | 5.636255e+07 | -- | Inf
576.74/576.90 c 577s| 1 | 0 | 43245 | - | 72M| 0 |7037 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.648721e+07 | -- | Inf
582.74/582.92 c 583s| 1 | 0 | 43387 | - | 72M| 0 |7099 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.666819e+07 | -- | Inf
589.45/589.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.45/589.66 c 589s| 1 | 0 | 43691 | - | 73M| 0 |7136 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.680412e+07 | -- | Inf
595.84/596.09 c 596s| 1 | 0 | 43950 | - | 73M| 0 |7240 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.725194e+07 | -- | Inf
602.43/602.67 c 602s| 1 | 0 | 44275 | - | 73M| 0 |7252 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.762845e+07 | -- | Inf
609.54/609.71 c 610s| 1 | 0 | 44623 | - | 74M| 0 |7340 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.803335e+07 | -- | Inf
616.33/616.50 c 616s| 1 | 0 | 44980 | - | 74M| 0 |7426 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.869266e+07 | -- | Inf
624.33/624.59 c 624s| 1 | 0 | 45446 | - | 74M| 0 |7454 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.918973e+07 | -- | Inf
631.33/631.58 c 631s| 1 | 0 | 45774 | - | 74M| 0 |7481 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.956286e+07 | -- | Inf
638.43/638.66 c 638s| 1 | 0 | 46104 | - | 74M| 0 |7549 | 18k|1110 | 18k| 13k| 12k| 0 | 0 | 5.997109e+07 | -- | Inf
646.13/646.35 c 646s| 1 | 0 | 46560 | - | 74M| 0 |7602 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.047688e+07 | -- | Inf
655.43/655.69 c 655s| 1 | 0 | 47156 | - | 74M| 0 |7629 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.064292e+07 | -- | Inf
663.52/663.78 c 664s| 1 | 0 | 47516 | - | 74M| 0 |7715 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.087386e+07 | -- | Inf
670.92/671.13 c 671s| 1 | 0 | 47792 | - | 75M| 0 |7749 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.105487e+07 | -- | Inf
678.32/678.58 c 678s| 1 | 0 | 48012 | - | 75M| 0 |7783 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.116488e+07 | -- | Inf
685.71/685.90 c 686s| 1 | 0 | 48258 | - | 75M| 0 |7826 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.123846e+07 | -- | Inf
693.02/693.27 c 693s| 1 | 0 | 48526 | - | 75M| 0 |7822 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.136005e+07 | -- | Inf
700.72/700.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.72/700.90 c 701s| 1 | 0 | 48776 | - | 75M| 0 |7851 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.142482e+07 | -- | Inf
708.22/708.49 c 708s| 1 | 0 | 48993 | - | 75M| 0 |7890 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.148745e+07 | -- | Inf
716.41/716.64 c 716s| 1 | 0 | 49320 | - | 75M| 0 |7920 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.161121e+07 | -- | Inf
724.00/724.29 c 724s| 1 | 0 | 49545 | - | 75M| 0 |7956 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.166021e+07 | -- | Inf
732.32/732.57 c 732s| 1 | 0 | 49923 | - | 75M| 0 |7943 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.181743e+07 | -- | Inf
740.41/740.68 c 740s| 1 | 0 | 50306 | - | 75M| 0 |7950 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.191880e+07 | -- | Inf
748.60/748.90 c 749s| 1 | 0 | 50625 | - | 75M| 0 |7972 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.200953e+07 | -- | Inf
757.71/757.97 c 758s| 1 | 0 | 51056 | - | 75M| 0 |7974 | 18k|1110 | 18k| 14k| 13k| 0 | 0 | 6.208715e+07 | -- | Inf
765.50/765.74 c 766s| 1 | 0 | 51298 | - | 75M| 0 |7999 | 18k|1110 | 18k| 14k| 14k| 0 | 0 | 6.213020e+07 | -- | Inf
773.50/773.74 c 774s| 1 | 0 | 51574 | - | 76M| 0 |7993 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.220459e+07 | -- | Inf
781.20/781.49 c 781s| 1 | 0 | 51781 | - | 76M| 0 |8037 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.225953e+07 | -- | Inf
789.19/789.49 c 789s| 1 | 0 | 52034 | - | 76M| 0 |8054 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.241727e+07 | -- | Inf
797.39/797.67 c 797s| 1 | 0 | 52256 | - | 76M| 0 |8084 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.246545e+07 | -- | Inf
805.69/805.94 c 806s| 1 | 0 | 52574 | - | 76M| 0 |8119 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.256304e+07 | -- | Inf
813.80/814.08 c 814s| 1 | 0 | 52813 | - | 76M| 0 |8125 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.266966e+07 | -- | Inf
821.88/822.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
821.88/822.11 c 822s| 1 | 0 | 52969 | - | 76M| 0 |8137 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.275606e+07 | -- | Inf
829.89/830.19 c 830s| 1 | 0 | 53113 | - | 76M| 0 |8162 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.282139e+07 | -- | Inf
838.48/838.71 c 839s| 1 | 0 | 53292 | - | 76M| 0 |8178 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.290301e+07 | -- | Inf
846.98/847.22 c 847s| 1 | 0 | 53617 | - | 76M| 0 |8170 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.298204e+07 | -- | Inf
855.78/856.09 c 856s| 1 | 0 | 53891 | - | 76M| 0 |8201 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.303348e+07 | -- | Inf
865.38/865.63 c 865s| 1 | 0 | 54212 | - | 76M| 0 |8252 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.311355e+07 | -- | Inf
874.78/875.04 c 875s| 1 | 0 | 54444 | - | 76M| 0 |8285 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.313289e+07 | -- | Inf
883.97/884.29 c 884s| 1 | 0 | 54723 | - | 76M| 0 |8298 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.318444e+07 | -- | Inf
892.56/892.85 c 893s| 1 | 0 | 54856 | - | 77M| 0 |8335 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.320251e+07 | -- | Inf
901.57/901.81 c 902s| 1 | 0 | 55039 | - | 77M| 0 |8332 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.322978e+07 | -- | Inf
911.07/911.31 c 911s| 1 | 0 | 55246 | - | 77M| 0 |8346 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.326791e+07 | -- | Inf
920.56/920.85 c 921s| 1 | 0 | 55474 | - | 77M| 0 |8368 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.331778e+07 | -- | Inf
930.06/930.38 c 930s| 1 | 0 | 55654 | - | 77M| 0 |8375 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.334038e+07 | -- | Inf
939.56/939.83 c 940s| 1 | 0 | 55837 | - | 77M| 0 |8431 | 18k|1110 | 18k| 15k| 14k| 0 | 0 | 6.338672e+07 | -- | Inf
949.26/949.54 c 949s| 1 | 0 | 56025 | - | 77M| 0 |8436 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.340451e+07 | -- | Inf
958.45/958.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.45/958.70 c 959s| 1 | 0 | 56160 | - | 77M| 0 |8448 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.341679e+07 | -- | Inf
967.65/967.90 c 968s| 1 | 0 | 56268 | - | 77M| 0 |8474 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.343654e+07 | -- | Inf
976.95/977.21 c 977s| 1 | 0 | 56359 | - | 77M| 0 |8479 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.346813e+07 | -- | Inf
986.84/987.14 c 987s| 1 | 0 | 56397 | - | 77M| 0 |8494 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.347157e+07 | -- | Inf
996.35/996.62 c 996s| 1 | 0 | 56552 | - | 77M| 0 |8462 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.348633e+07 | -- | Inf
1005.94/1006.22 c 1006s| 1 | 0 | 56656 | - | 77M| 0 |8463 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.348849e+07 | -- | Inf
1015.64/1015.93 c 1016s| 1 | 0 | 56809 | - | 77M| 0 |8474 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.349674e+07 | -- | Inf
1025.34/1025.67 c 1025s| 1 | 0 | 56908 | - | 77M| 0 |8493 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.350065e+07 | -- | Inf
1035.34/1035.67 c 1035s| 1 | 0 | 57057 | - | 77M| 0 |8494 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.350801e+07 | -- | Inf
1045.04/1045.34 c 1045s| 1 | 0 | 57089 | - | 77M| 0 |8504 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.350839e+07 | -- | Inf
1054.83/1055.18 c 1055s| 1 | 0 | 57155 | - | 77M| 0 |8517 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.351262e+07 | -- | Inf
1064.83/1065.15 c 1065s| 1 | 0 | 57280 | - | 77M| 0 |8527 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.351673e+07 | -- | Inf
1074.53/1074.82 c 1075s| 1 | 0 | 57329 | - | 77M| 0 |8533 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.351732e+07 | -- | Inf
1084.12/1084.48 c 1084s| 1 | 0 | 57360 | - | 77M| 0 |8547 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.351771e+07 | -- | Inf
1093.82/1094.15 c 1094s| 1 | 0 | 57386 | - | 77M| 0 |8543 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.351844e+07 | -- | Inf
1103.42/1103.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.42/1103.79 c 1104s| 1 | 0 | 57410 | - | 77M| 0 |8553 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.351847e+07 | -- | Inf
1113.12/1113.47 c 1113s| 1 | 0 | 57435 | - | 77M| 0 |8552 | 18k|1110 | 18k| 16k| 15k| 0 | 0 | 6.351848e+07 | -- | Inf
1361.17/1361.55 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1408.05/1408.43 c 1408s| 1 | 0 | 57450 | - | 77M| 0 |8551 | 18k|1110 | 18k| 16k| 15k| 0 | 19 | 6.354054e+07 | -- | Inf
1417.35/1417.75 c 1418s| 1 | 0 | 57483 | - | 77M| 0 |8560 | 18k|1110 | 18k| 16k| 15k| 0 | 19 | 6.354055e+07 | -- | Inf
1490.32/1490.74 c 1491s| 1 | 2 | 57483 | - | 77M| 0 |8560 | 18k|1110 | 18k| 16k| 15k| 0 | 46 | 6.354055e+07 | -- | Inf
1789.55/1790.09 c
1789.55/1790.09 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.09 c Solving Time (sec) : 1789.89
1789.55/1790.09 c Solving Nodes : 6
1789.55/1790.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.55/1790.09 c Dual Bound : +6.38601885737268e+07
1789.55/1790.09 c Gap : infinite
1789.55/1790.09 s UNKNOWN
1789.55/1790.09 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.09 c Solving Time : 1789.89
1789.55/1790.09 c Original Problem :
1789.55/1790.09 c Problem name : HOME/instance-2703512-1278560183.opb
1789.55/1790.09 c Variables : 21960 (21960 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.09 c Constraints : 750 initial, 750 maximal
1789.55/1790.09 c Presolved Problem :
1789.55/1790.09 c Problem name : t_HOME/instance-2703512-1278560183.opb
1789.55/1790.09 c Variables : 18160 (18160 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.09 c Constraints : 1110 initial, 1110 maximal
1789.55/1790.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.55/1790.09 c trivial : 0.03 0 0 0 0 0 0 0 0
1789.55/1790.09 c dualfix : 0.03 0 0 0 0 0 0 0 0
1789.55/1790.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.09 c implics : 0.01 0 0 0 0 0 0 0 0
1789.55/1790.09 c probing : 2.43 52 8 0 0 0 0 0 0
1789.55/1790.09 c knapsack : 0.13 0 0 0 0 0 0 360 1440
1789.55/1790.09 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.09 c linear : 0.13 3728 12 0 3728 0 0 0 0
1789.55/1790.09 c root node : - 2 - - 2 - - - -
1789.55/1790.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.55/1790.09 c integral : 0 0 0 7 0 0 1 0 0 12
1789.55/1790.09 c knapsack : 390 257 2245 0 0 0 0 14513 0 0
1789.55/1790.09 c setppc : 360 257 2245 0 0 0 0 0 0 0
1789.55/1790.09 c linear : 360 257 2245 0 0 0 0 49460 0 0
1789.55/1790.09 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.55/1790.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.55/1790.09 c integral : 194.83 0.00 0.00 194.83 0.00
1789.55/1790.09 c knapsack : 3.70 3.59 0.11 0.00 0.00
1789.55/1790.09 c setppc : 0.08 0.02 0.07 0.00 0.00
1789.55/1790.09 c linear : 49.41 49.07 0.35 0.00 0.00
1789.55/1790.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.09 c Propagators : Time Calls Cutoffs DomReds
1789.55/1790.09 c vbounds : 0.00 2 0 0
1789.55/1790.09 c rootredcost : 0.00 0 0 0
1789.55/1790.09 c pseudoobj : 2.58 1414 0 0
1789.55/1790.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.55/1790.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.09 c applied globally : - - - 0 0.0 - - -
1789.55/1790.09 c applied locally : - - - 0 0.0 - - -
1789.55/1790.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.55/1790.09 c cut pool : 0.05 254 - - 155 - (maximal pool size: 340)
1789.55/1790.09 c redcost : 0.87 262 0 0 0 0
1789.55/1790.09 c impliedbounds : 0.71 257 0 0 70 0
1789.55/1790.09 c intobj : 0.00 0 0 0 0 0
1789.55/1790.09 c cgmip : 0.00 0 0 0 0 0
1789.55/1790.09 c gomory : 903.43 257 0 0 1883 0
1789.55/1790.09 c strongcg : 3.86 20 0 0 239 0
1789.55/1790.09 c cmir : 2.50 10 0 0 0 0
1789.55/1790.09 c flowcover : 9.83 10 0 0 0 0
1789.55/1790.09 c clique : 4.34 257 0 0 0 0
1789.55/1790.09 c zerohalf : 0.00 0 0 0 0 0
1789.55/1790.09 c mcf : 0.00 1 0 0 0 0
1789.55/1790.09 c rapidlearning : 0.00 0 0 0 0 0
1789.55/1790.09 c Pricers : Time Calls Vars
1789.55/1790.09 c problem variables: 0.00 0 0
1789.55/1790.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.55/1790.09 c relpscost : 194.83 7 0 1 0 0 12
1789.55/1790.09 c pscost : 0.00 0 0 0 0 0 0
1789.55/1790.09 c inference : 0.00 0 0 0 0 0 0
1789.55/1790.09 c mostinf : 0.00 0 0 0 0 0 0
1789.55/1790.09 c leastinf : 0.00 0 0 0 0 0 0
1789.55/1790.09 c fullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.09 c allfullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.09 c random : 0.00 0 0 0 0 0 0
1789.55/1790.09 c Primal Heuristics : Time Calls Found
1789.55/1790.09 c LP solutions : 0.00 - 0
1789.55/1790.09 c pseudo solutions : 0.00 - 0
1789.55/1790.09 c oneopt : 0.00 0 0
1789.55/1790.09 c crossover : 0.00 0 0
1789.55/1790.09 c pscostdiving : 0.00 0 0
1789.55/1790.09 c fracdiving : 0.00 0 0
1789.55/1790.09 c veclendiving : 0.00 0 0
1789.55/1790.09 c objpscostdiving : 0.00 0 0
1789.55/1790.09 c trivial : 0.06 2 0
1789.55/1790.09 c simplerounding : 0.00 0 0
1789.55/1790.09 c zirounding : 0.01 5 0
1789.55/1790.09 c rounding : 0.23 103 0
1789.55/1790.09 c shifting : 14.29 100 0
1789.55/1790.09 c intshifting : 0.00 0 0
1789.55/1790.09 c twoopt : 0.00 0 0
1789.55/1790.09 c fixandinfer : 0.00 0 0
1789.55/1790.09 c feaspump : 1.92 1 0
1789.55/1790.09 c coefdiving : 183.26 1 0
1789.55/1790.09 c intdiving : 0.00 0 0
1789.55/1790.09 c actconsdiving : 0.00 0 0
1789.55/1790.09 c rootsoldiving : 0.00 0 0
1789.55/1790.09 c linesearchdiving : 0.00 0 0
1789.55/1790.09 c guideddiving : 0.00 0 0
1789.55/1790.09 c octane : 0.00 0 0
1789.55/1790.09 c rens : 283.85 1 0
1789.55/1790.09 c rins : 0.00 0 0
1789.55/1790.09 c localbranching : 0.00 0 0
1789.55/1790.09 c mutation : 0.00 0 0
1789.55/1790.09 c dins : 0.00 0 0
1789.55/1790.09 c undercover : 0.00 0 0
1789.55/1790.09 c nlp : 0.00 0 0
1789.55/1790.09 c trysol : 0.00 0 0
1789.55/1790.09 c LP : Time Calls Iterations Iter/call Iter/sec
1789.55/1790.09 c primal LP : 1.85 0 0 0.00 0.00
1789.55/1790.09 c dual LP : 122.95 265 54968 207.43 447.06
1789.55/1790.09 c lex dual LP : 0.00 0 0 0.00 -
1789.55/1790.09 c barrier LP : 0.00 0 0 0.00 -
1789.55/1790.09 c diving/probing LP: 167.54 1147 35825 31.23 213.83
1789.55/1790.09 c strong branching : 194.78 163 24633 151.12 126.47
1789.55/1790.09 c (at root node) : - 46 10419 226.50 -
1789.55/1790.09 c conflict analysis: 0.00 0 0 0.00 -
1789.55/1790.09 c B&B Tree :
1789.55/1790.09 c number of runs : 1
1789.55/1790.09 c nodes : 6
1789.55/1790.09 c nodes (total) : 6
1789.55/1790.09 c nodes left : 7
1789.55/1790.09 c max depth : 5
1789.55/1790.09 c max depth (total): 5
1789.55/1790.09 c backtracks : 0 (0.0%)
1789.55/1790.09 c delayed cutoffs : 0
1789.55/1790.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.55/1790.09 c avg switch length: 1.00
1789.55/1790.09 c switching time : 0.11
1789.55/1790.09 c Solution :
1789.55/1790.09 c Solutions found : 0 (0 improvements)
1789.55/1790.09 c Primal Bound : -
1789.55/1790.09 c Dual Bound : +6.38601885737268e+07
1789.55/1790.09 c Gap : infinite
1789.55/1790.09 c Root Dual Bound : +6.35405501303559e+07
1789.55/1790.09 c Root Iterations : 57483
1789.85/1790.34 c Time complete: 1789.89.