0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2663671-1276649646.opb>
0.00/0.01 c original problem has 756 variables (756 bin, 0 int, 0 impl, 0 cont) and 582 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.09/0.16 c (round 1) 7 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 56 chg coeffs, 0 upgd conss, 3108 impls, 0 clqs
0.09/0.17 c (round 2) 25 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 72 chg coeffs, 8 upgd conss, 4836 impls, 0 clqs
0.09/0.17 c (round 3) 43 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 88 chg coeffs, 8 upgd conss, 6276 impls, 0 clqs
0.09/0.18 c (round 4) 61 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 104 chg coeffs, 8 upgd conss, 7428 impls, 0 clqs
0.09/0.18 c (round 5) 79 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 120 chg coeffs, 8 upgd conss, 8292 impls, 0 clqs
0.09/0.19 c (round 6) 97 del vars, 80 del conss, 0 chg bounds, 0 chg sides, 136 chg coeffs, 8 upgd conss, 8868 impls, 0 clqs
0.09/0.19 c (round 7) 115 del vars, 96 del conss, 0 chg bounds, 0 chg sides, 152 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.20 c (round 8) 133 del vars, 112 del conss, 0 chg bounds, 0 chg sides, 168 chg coeffs, 8 upgd conss, 9156 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 206/623 (33.1%) - 0 fixings, 0 aggregations, 14 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (9 rounds):
0.19/0.23 c 133 deleted vars, 112 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 168 changed coefficients
0.19/0.23 c 9184 implications, 0 cliques
0.19/0.23 c presolved problem has 623 variables (623 bin, 0 int, 0 impl, 0 cont) and 463 constraints
0.19/0.23 c 448 constraints of type <and>
0.19/0.23 c 7 constraints of type <linear>
0.19/0.23 c 8 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 2)
0.19/0.23 c Presolving Time: 0.12
0.19/0.23 c - non default parameters ----------------------------------------------------------------------
0.19/0.23 c # SCIP version 1.2.1.2
0.19/0.23 c
0.19/0.23 c # frequency for displaying node information lines
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.23 c display/freq = 10000
0.19/0.23 c
0.19/0.23 c # maximal time in seconds to run
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/time = 1799.99
0.19/0.23 c
0.19/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.23 c limits/memory = 1620
0.19/0.23 c
0.19/0.23 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.23 c lp/solvefreq = -1
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify inequalities
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/linear/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # should presolving try to simplify knapsacks
0.19/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.23 c
0.19/0.23 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c heuristics/undercover/freq = 0
0.19/0.23 c
0.19/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.23 c separating/rapidlearning/freq = 0
0.19/0.23 c
0.19/0.23 c -----------------------------------------------------------------------------------------------
0.19/0.23 c start solving
0.19/0.23 c
0.19/0.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.23 c 0.1s| 1 | 2 | 0 | - |1985k| 0 | - | 623 | 463 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
2.99/3.00 c 2.6s| 10000 | 8511 | 0 | 0.0 |8315k| 405 | - | 623 | 632 | 0 | 0 | 0 |1043 | 0 | 1.000000e+00 | -- | Inf
5.99/6.08 c 5.5s| 20000 | 16565 | 0 | 0.0 | 14M| 405 | - | 623 | 575 | 0 | 0 | 0 |2339 | 0 | 1.000000e+00 | -- | Inf
8.99/9.06 c 8.2s| 30000 | 24673 | 0 | 0.0 | 19M| 405 | - | 623 | 622 | 0 | 0 | 0 |3613 | 0 | 1.000000e+00 | -- | Inf
11.99/12.06 c 11.0s| 40000 | 32812 | 0 | 0.0 | 25M| 405 | - | 623 | 608 | 0 | 0 | 0 |4941 | 0 | 1.000000e+00 | -- | Inf
15.09/15.14 c 13.8s| 50000 | 40752 | 0 | 0.0 | 31M| 405 | - | 623 | 649 | 0 | 0 | 0 |6565 | 0 | 1.000000e+00 | -- | Inf
18.39/18.41 c 16.8s| 60000 | 48455 | 0 | 0.0 | 37M| 405 | - | 623 | 652 | 0 | 0 | 0 |8094 | 0 | 1.000000e+00 | -- | Inf
21.69/21.71 c 19.9s| 70000 | 56129 | 0 | 0.0 | 42M| 405 | - | 623 | 653 | 0 | 0 | 0 |9660 | 0 | 1.000000e+00 | -- | Inf
24.88/24.95 c 22.8s| 80000 | 63566 | 0 | 0.0 | 48M| 405 | - | 623 | 705 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | -- | Inf
28.08/28.15 c 25.8s| 90000 | 70765 | 0 | 0.0 | 53M| 405 | - | 623 | 733 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | -- | Inf
31.38/31.45 c 28.9s|100000 | 77606 | 0 | 0.0 | 57M| 405 | - | 623 | 711 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | -- | Inf
34.48/34.57 c 31.7s|110000 | 85440 | 0 | 0.0 | 63M| 405 | - | 623 | 649 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | -- | Inf
37.48/37.58 c 34.5s|120000 | 93563 | 0 | 0.0 | 69M| 405 | - | 623 | 744 | 0 | 0 | 0 | 17k| 0 | 1.000000e+00 | -- | Inf
40.58/40.64 c 37.3s|130000 |101639 | 0 | 0.0 | 75M| 405 | - | 623 | 709 | 0 | 0 | 0 | 19k| 0 | 1.000000e+00 | -- | Inf
43.68/43.78 c 40.2s|140000 |109513 | 0 | 0.0 | 80M| 405 | - | 623 | 727 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | -- | Inf
46.97/47.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.97/47.06 c 43.3s|150000 |117272 | 0 | 0.0 | 86M| 405 | - | 623 | 645 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | -- | Inf
50.37/50.40 c 46.4s|160000 |124780 | 0 | 0.0 | 91M| 405 | - | 623 | 835 | 0 | 0 | 0 | 23k| 0 | 1.000000e+00 | -- | Inf
53.68/53.71 c 49.4s|170000 |132381 | 0 | 0.0 | 96M| 405 | - | 623 | 737 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | -- | Inf
56.87/56.97 c 52.5s|180000 |139970 | 0 | 0.0 | 101M| 405 | - | 623 | 893 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | -- | Inf
60.17/60.23 c 55.5s|190000 |147571 | 0 | 0.0 | 107M| 405 | - | 623 | 699 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | -- | Inf
63.47/63.60 c 58.6s|200000 |155009 | 0 | 0.0 | 112M| 405 | - | 623 | 674 | 0 | 0 | 0 | 30k| 0 | 1.000000e+00 | -- | Inf
66.87/66.93 c 61.7s|210000 |162438 | 0 | 0.0 | 117M| 405 | - | 623 | 937 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | -- | Inf
70.17/70.26 c 64.8s|220000 |169950 | 0 | 0.0 | 122M| 405 | - | 623 | 819 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | -- | Inf
73.47/73.58 c 67.8s|230000 |177551 | 0 | 0.0 | 128M| 405 | - | 623 | 664 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | -- | Inf
76.98/77.05 c 71.1s|240000 |184848 | 0 | 0.0 | 133M| 405 | - | 623 | 727 | 0 | 0 | 0 | 36k| 0 | 1.000000e+00 | -- | Inf
80.46/80.50 c 74.3s|250000 |192087 | 0 | 0.0 | 138M| 405 | - | 623 |1047 | 0 | 0 | 0 | 38k| 0 | 1.000000e+00 | -- | Inf
83.76/83.88 c 77.4s|260000 |199618 | 0 | 0.0 | 143M| 405 | - | 623 | 795 | 0 | 0 | 0 | 40k| 0 | 1.000000e+00 | -- | Inf
87.27/87.36 c 80.7s|270000 |207016 | 0 | 0.0 | 148M| 405 | - | 623 | 767 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | -- | Inf
90.66/90.73 c 83.8s|280000 |214600 | 0 | 0.0 | 154M| 405 | - | 623 | 645 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | -- | Inf
94.07/94.17 c 87.0s|290000 |221953 | 0 | 0.0 | 159M| 405 | - | 623 | 721 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | -- | Inf
97.66/97.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.66/97.72 c 90.3s|300000 |229262 | 0 | 0.0 | 164M| 405 | - | 623 | 852 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | -- | Inf
101.06/101.17 c 93.5s|310000 |236685 | 0 | 0.0 | 169M| 405 | - | 623 | 848 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | -- | Inf
104.56/104.61 c 96.7s|320000 |244055 | 0 | 0.0 | 175M| 405 | - | 623 | 890 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | -- | Inf
107.85/107.98 c 99.8s|330000 |251533 | 0 | 0.0 | 180M| 405 | - | 623 | 843 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | -- | Inf
111.35/111.40 c 103s|340000 |259031 | 0 | 0.0 | 185M| 405 | - | 623 | 859 | 0 | 0 | 0 | 53k| 0 | 1.000000e+00 | -- | Inf
114.76/114.83 c 106s|350000 |266454 | 0 | 0.0 | 190M| 405 | - | 623 | 739 | 0 | 0 | 0 | 55k| 0 | 1.000000e+00 | -- | Inf
118.16/118.25 c 109s|360000 |273895 | 0 | 0.0 | 196M| 405 | - | 623 | 719 | 0 | 0 | 0 | 57k| 0 | 1.000000e+00 | -- | Inf
121.66/121.76 c 113s|370000 |281035 | 0 | 0.0 | 201M| 405 | - | 623 | 938 | 0 | 0 | 0 | 59k| 0 | 1.000000e+00 | -- | Inf
125.16/125.26 c 116s|380000 |288346 | 0 | 0.0 | 206M| 405 | - | 623 | 878 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | -- | Inf
128.85/128.90 c 119s|390000 |295519 | 0 | 0.0 | 211M| 405 | - | 623 | 872 | 0 | 0 | 0 | 63k| 0 | 1.000000e+00 | -- | Inf
132.36/132.49 c 123s|400000 |302772 | 0 | 0.0 | 216M| 405 | - | 623 | 879 | 0 | 0 | 0 | 65k| 0 | 1.000000e+00 | -- | Inf
136.05/136.15 c 126s|410000 |309990 | 0 | 0.0 | 221M| 405 | - | 623 | 997 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | -- | Inf
139.75/139.81 c 129s|420000 |317265 | 0 | 0.0 | 226M| 405 | - | 623 | 862 | 0 | 0 | 0 | 69k| 0 | 1.000000e+00 | -- | Inf
143.35/143.45 c 133s|430000 |324710 | 0 | 0.0 | 232M| 405 | - | 623 | 748 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | -- | Inf
146.95/147.06 c 136s|440000 |332143 | 0 | 0.0 | 237M| 405 | - | 623 | 767 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | -- | Inf
150.56/150.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
150.56/150.62 c 140s|450000 |339568 | 0 | 0.0 | 242M| 405 | - | 623 | 793 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | -- | Inf
154.25/154.31 c 143s|460000 |346911 | 0 | 0.0 | 248M| 405 | - | 623 | 847 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | -- | Inf
157.95/158.03 c 146s|470000 |354087 | 0 | 0.0 | 253M| 405 | - | 623 | 845 | 0 | 0 | 0 | 78k| 0 | 1.000000e+00 | -- | Inf
160.14/160.25 o 31
160.14/160.25 c * 149s|475244 |226887 | 0 | 0.0 | 192M| 405 | - | 623 | 920 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
162.04/162.18 c 150s|480000 |230057 | 0 | 0.0 | 195M| 405 | - | 623 | 910 | 0 | 0 | 0 | 80k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
166.25/166.33 c 154s|490000 |236944 | 0 | 0.0 | 200M| 405 | - | 623 | 979 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
170.24/170.32 c 158s|500000 |244084 | 0 | 0.0 | 206M| 405 | - | 623 |1085 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
174.14/174.29 c 162s|510000 |251297 | 0 | 0.0 | 212M| 405 | - | 623 |1281 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
178.24/178.39 c 166s|520000 |258298 | 0 | 0.0 | 217M| 405 | - | 623 |1266 | 0 | 0 | 0 | 88k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
182.34/182.47 c 169s|530000 |265212 | 0 | 0.0 | 223M| 405 | - | 623 |1304 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
186.44/186.56 c 173s|540000 |272027 | 0 | 0.0 | 229M| 405 | - | 623 |1245 | 0 | 0 | 0 | 92k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
190.44/190.50 c 177s|550000 |278764 | 0 | 0.0 | 234M| 405 | - | 623 |1393 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
194.54/194.67 c 181s|560000 |285141 | 0 | 0.0 | 240M| 405 | - | 623 |1676 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
198.74/198.80 c 185s|570000 |291715 | 0 | 0.0 | 245M| 405 | - | 623 |1542 | 0 | 0 | 0 | 99k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
202.84/202.97 c 189s|580000 |298233 | 0 | 0.0 | 251M| 405 | - | 623 |1381 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
207.03/207.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.03/207.17 c 193s|590000 |304449 | 0 | 0.0 | 256M| 405 | - | 623 |1327 | 0 | 0 | 0 | 103k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
211.43/211.52 c 197s|600000 |310381 | 0 | 0.0 | 261M| 405 | - | 623 |1368 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
216.03/216.17 c 201s|610000 |315731 | 0 | 0.0 | 266M| 405 | - | 623 |1530 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
220.73/220.85 c 206s|620000 |321034 | 0 | 0.0 | 271M| 405 | - | 623 |1214 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
226.73/226.83 c 211s|630000 |326795 | 0 | 0.0 | 276M| 405 | - | 623 | 981 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
230.83/230.91 c 215s|640000 |334084 | 0 | 0.0 | 282M| 405 | - | 623 |1252 | 0 | 0 | 0 | 115k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
235.12/235.24 c 219s|650000 |340966 | 0 | 0.0 | 287M| 405 | - | 623 |1299 | 0 | 0 | 0 | 117k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
239.42/239.58 c 223s|660000 |347720 | 0 | 0.0 | 292M| 405 | - | 623 |1124 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
243.33/243.45 c 227s|670000 |354889 | 0 | 0.0 | 298M| 405 | - | 623 | 943 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
246.93/247.06 c 230s|680000 |361993 | 0 | 0.0 | 303M| 405 | - | 623 | 894 | 0 | 0 | 0 | 123k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
250.02/250.13 c 233s|690000 |369346 | 0 | 0.0 | 308M| 405 | - | 623 | 762 | 0 | 0 | 0 | 125k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
253.12/253.24 c 236s|700000 |376863 | 0 | 0.0 | 314M| 405 | - | 623 | 811 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
257.33/257.44 c 240s|710000 |383604 | 0 | 0.0 | 319M| 405 | - | 623 |1219 | 0 | 0 | 0 | 129k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
263.22/263.34 c 245s|720000 |389759 | 0 | 0.0 | 325M| 405 | - | 623 |1476 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
267.13/267.23 c 249s|730000 |396877 | 0 | 0.0 | 330M| 405 | - | 623 | 713 | 0 | 0 | 0 | 134k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
270.52/270.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
270.52/270.68 c 252s|740000 |404121 | 0 | 0.0 | 335M| 405 | - | 623 | 752 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
274.02/274.13 c 255s|750000 |411313 | 0 | 0.0 | 340M| 405 | - | 623 | 783 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
277.42/277.55 c 259s|760000 |418587 | 0 | 0.0 | 346M| 405 | - | 623 | 795 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
280.91/281.00 c 262s|770000 |425856 | 0 | 0.0 | 351M| 405 | - | 623 | 852 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
284.42/284.57 c 265s|780000 |432829 | 0 | 0.0 | 357M| 405 | - | 623 | 949 | 0 | 0 | 0 | 143k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
287.92/288.07 c 268s|790000 |439856 | 0 | 0.0 | 362M| 405 | - | 623 | 995 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
291.42/291.55 c 272s|800000 |446924 | 0 | 0.0 | 367M| 405 | - | 623 | 944 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
294.72/294.90 c 275s|810000 |454414 | 0 | 0.0 | 373M| 405 | - | 623 | 791 | 0 | 0 | 0 | 149k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
298.31/298.42 c 278s|820000 |461616 | 0 | 0.0 | 379M| 405 | - | 623 | 913 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
301.72/301.89 c 281s|830000 |468708 | 0 | 0.0 | 384M| 405 | - | 623 |1015 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
305.21/305.35 c 284s|840000 |476001 | 0 | 0.0 | 390M| 405 | - | 623 | 881 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
308.81/308.99 c 288s|850000 |483134 | 0 | 0.0 | 395M| 405 | - | 623 | 806 | 0 | 0 | 0 | 157k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
312.41/312.55 c 291s|860000 |490129 | 0 | 0.0 | 401M| 405 | - | 623 | 928 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
316.01/316.11 c 294s|870000 |497122 | 0 | 0.0 | 406M| 405 | - | 623 | 972 | 0 | 0 | 0 | 161k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
319.71/319.86 c 298s|880000 |504011 | 0 | 0.0 | 412M| 405 | - | 623 | 977 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
323.50/323.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.50/323.63 c 301s|890000 |510762 | 0 | 0.0 | 417M| 405 | - | 623 |1241 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
327.20/327.37 c 305s|900000 |517613 | 0 | 0.0 | 422M| 405 | - | 623 | 777 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
331.01/331.15 c 308s|910000 |524292 | 0 | 0.0 | 427M| 405 | - | 623 |1070 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
334.60/334.79 c 312s|920000 |531224 | 0 | 0.0 | 433M| 405 | - | 623 | 732 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
338.50/338.62 c 315s|930000 |538177 | 0 | 0.0 | 438M| 405 | - | 623 |1136 | 0 | 0 | 0 | 174k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
342.10/342.28 c 319s|940000 |545137 | 0 | 0.0 | 443M| 405 | - | 623 | 650 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
346.00/346.12 c 322s|950000 |551819 | 0 | 0.0 | 448M| 405 | - | 623 |1190 | 0 | 0 | 0 | 178k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
349.70/349.84 c 326s|960000 |558757 | 0 | 0.0 | 453M| 405 | - | 623 | 658 | 0 | 0 | 0 | 180k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
353.50/353.69 c 329s|970000 |565370 | 0 | 0.0 | 459M| 405 | - | 623 |1320 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
357.31/357.47 c 333s|980000 |572279 | 0 | 0.0 | 464M| 405 | - | 623 | 821 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
361.20/361.39 c 337s|990000 |578631 | 0 | 0.0 | 469M| 405 | - | 623 |1307 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
365.19/365.30 c 340s| 1000k|585564 | 0 | 0.0 | 474M| 405 | - | 623 |1164 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
368.89/369.09 c 344s| 1010k|592343 | 0 | 0.0 | 479M| 405 | - | 623 | 751 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
372.80/372.96 c 347s| 1020k|599128 | 0 | 0.0 | 484M| 405 | - | 623 |1161 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
376.59/376.72 c 351s| 1030k|606058 | 0 | 0.0 | 490M| 405 | - | 623 | 772 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
380.50/380.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.50/380.68 c 354s| 1040k|612343 | 0 | 0.0 | 495M| 405 | - | 623 |1355 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
384.39/384.50 c 358s| 1050k|619552 | 0 | 0.0 | 500M| 405 | - | 623 |1170 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
388.20/388.38 c 362s| 1060k|626250 | 0 | 0.0 | 505M| 405 | - | 623 | 643 | 0 | 0 | 0 | 202k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
392.29/392.45 c 365s| 1070k|632676 | 0 | 0.0 | 510M| 405 | - | 623 |1437 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
396.19/396.39 c 369s| 1080k|639547 | 0 | 0.0 | 515M| 405 | - | 623 |1000 | 0 | 0 | 0 | 207k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
400.09/400.29 c 373s| 1090k|645970 | 0 | 0.0 | 520M| 405 | - | 623 |1183 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
404.09/404.23 c 376s| 1100k|652934 | 0 | 0.0 | 525M| 405 | - | 623 |1315 | 0 | 0 | 0 | 211k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
407.89/408.09 c 380s| 1110k|659608 | 0 | 0.0 | 530M| 405 | - | 623 | 850 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
411.98/412.13 c 384s| 1120k|666144 | 0 | 0.0 | 535M| 405 | - | 623 |1435 | 0 | 0 | 0 | 216k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
415.97/416.10 c 388s| 1130k|673165 | 0 | 0.0 | 540M| 405 | - | 623 |1078 | 0 | 0 | 0 | 218k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
419.77/419.95 c 391s| 1140k|679671 | 0 | 0.0 | 545M| 405 | - | 623 |1041 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
423.77/423.93 c 395s| 1150k|686709 | 0 | 0.0 | 550M| 405 | - | 623 |1211 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
427.68/427.83 c 399s| 1160k|693466 | 0 | 0.0 | 555M| 405 | - | 623 | 985 | 0 | 0 | 0 | 224k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
431.76/431.97 c 402s| 1170k|699735 | 0 | 0.0 | 560M| 405 | - | 623 |1390 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
435.86/436.04 c 406s| 1180k|706462 | 0 | 0.0 | 566M| 405 | - | 623 |1062 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
439.78/439.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.78/439.92 c 410s| 1190k|713252 | 0 | 0.0 | 571M| 405 | - | 623 | 977 | 0 | 0 | 0 | 231k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
443.86/444.08 c 414s| 1200k|719952 | 0 | 0.0 | 576M| 405 | - | 623 |1190 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
447.77/447.98 c 417s| 1210k|726869 | 0 | 0.0 | 581M| 405 | - | 623 | 865 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
451.87/452.10 c 421s| 1220k|733190 | 0 | 0.0 | 586M| 405 | - | 623 |1341 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
455.87/456.03 c 425s| 1230k|740174 | 0 | 0.0 | 591M| 405 | - | 623 |1042 | 0 | 0 | 0 | 240k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
459.67/459.84 c 428s| 1240k|747036 | 0 | 0.0 | 596M| 405 | - | 623 | 629 | 0 | 0 | 0 | 242k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
463.96/464.13 c 432s| 1250k|753411 | 0 | 0.0 | 601M| 405 | - | 623 |1381 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
467.86/468.05 c 436s| 1260k|760130 | 0 | 0.0 | 606M| 405 | - | 623 | 833 | 0 | 0 | 0 | 247k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
472.06/472.24 c 440s| 1270k|766215 | 0 | 0.0 | 611M| 405 | - | 623 |1451 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
476.07/476.27 c 444s| 1280k|773207 | 0 | 0.0 | 616M| 405 | - | 623 | 999 | 0 | 0 | 0 | 252k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
480.05/480.26 c 448s| 1290k|779550 | 0 | 0.0 | 621M| 405 | - | 623 | 893 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
484.26/484.41 c 451s| 1300k|786211 | 0 | 0.0 | 626M| 405 | - | 623 |1113 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
488.16/488.32 c 455s| 1310k|793049 | 0 | 0.0 | 631M| 405 | - | 623 | 987 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
492.16/492.39 c 459s| 1320k|799489 | 0 | 0.0 | 636M| 405 | - | 623 |1204 | 0 | 0 | 0 | 261k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
496.26/496.42 c 463s| 1330k|806010 | 0 | 0.0 | 641M| 405 | - | 623 |1176 | 0 | 0 | 0 | 263k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
500.36/500.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.36/500.55 c 467s| 1340k|812280 | 0 | 0.0 | 646M| 405 | - | 623 |1247 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
504.25/504.45 c 470s| 1350k|819360 | 0 | 0.0 | 651M| 405 | - | 623 |1031 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
508.15/508.38 c 474s| 1360k|826027 | 0 | 0.0 | 656M| 405 | - | 623 | 759 | 0 | 0 | 0 | 270k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
512.46/512.66 c 478s| 1370k|832359 | 0 | 0.0 | 661M| 405 | - | 623 |1150 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
516.45/516.62 c 482s| 1380k|839044 | 0 | 0.0 | 666M| 405 | - | 623 | 713 | 0 | 0 | 0 | 275k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
520.65/520.81 c 486s| 1390k|845531 | 0 | 0.0 | 671M| 405 | - | 623 |1209 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
524.56/524.79 c 489s| 1400k|852190 | 0 | 0.0 | 676M| 405 | - | 623 | 863 | 0 | 0 | 0 | 280k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
528.74/528.93 c 493s| 1410k|858548 | 0 | 0.0 | 681M| 405 | - | 623 |1253 | 0 | 0 | 0 | 282k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
532.74/532.91 c 497s| 1420k|865502 | 0 | 0.0 | 686M| 405 | - | 623 |1012 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
536.74/536.95 c 501s| 1430k|871877 | 0 | 0.0 | 691M| 405 | - | 623 |1147 | 0 | 0 | 0 | 287k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
540.84/541.08 c 504s| 1440k|878600 | 0 | 0.0 | 696M| 405 | - | 623 |1099 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
544.74/544.96 c 508s| 1450k|885311 | 0 | 0.0 | 701M| 405 | - | 623 | 701 | 0 | 0 | 0 | 291k| 0 | 1.000000e+00 | 3.100000e+01 |3000.00%
545.94/546.12 o 13
545.94/546.12 c * 509s| 1450k|687011 | 0 | 0.0 | 561M| 405 | - | 623 | 946 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
550.64/550.88 c 514s| 1460k|691999 | 0 | 0.0 | 565M| 405 | - | 623 | 617 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
555.34/555.59 c 518s| 1470k|697794 | 0 | 0.0 | 570M| 405 | - | 623 | 780 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
559.74/559.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.74/559.93 c 522s| 1480k|704276 | 0 | 0.0 | 575M| 405 | - | 623 | 813 | 0 | 0 | 0 | 300k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
564.34/564.56 c 526s| 1490k|710301 | 0 | 0.0 | 580M| 405 | - | 623 |1021 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
568.74/568.97 c 531s| 1500k|716619 | 0 | 0.0 | 585M| 405 | - | 623 | 709 | 0 | 0 | 0 | 305k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
573.43/573.66 c 535s| 1510k|722604 | 0 | 0.0 | 590M| 405 | - | 623 |1145 | 0 | 0 | 0 | 308k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
577.93/578.11 c 539s| 1520k|728720 | 0 | 0.0 | 595M| 405 | - | 623 | 964 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
582.54/582.79 c 544s| 1530k|734939 | 0 | 0.0 | 600M| 405 | - | 623 |1035 | 0 | 0 | 0 | 313k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
587.03/587.26 c 548s| 1540k|740935 | 0 | 0.0 | 605M| 405 | - | 623 |1136 | 0 | 0 | 0 | 316k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
591.43/591.67 c 552s| 1550k|747494 | 0 | 0.0 | 610M| 405 | - | 623 | 728 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
596.03/596.22 c 556s| 1560k|753592 | 0 | 0.0 | 615M| 405 | - | 623 |1244 | 0 | 0 | 0 | 321k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
600.33/600.58 c 560s| 1570k|759954 | 0 | 0.0 | 620M| 405 | - | 623 |1018 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
605.03/605.29 c 565s| 1580k|766154 | 0 | 0.0 | 625M| 405 | - | 623 |1015 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
609.52/609.75 c 569s| 1590k|772248 | 0 | 0.0 | 630M| 405 | - | 623 |1144 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
614.02/614.20 c 573s| 1600k|778499 | 0 | 0.0 | 635M| 405 | - | 623 | 900 | 0 | 0 | 0 | 331k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
618.42/618.64 c 577s| 1610k|784720 | 0 | 0.0 | 640M| 405 | - | 623 |1065 | 0 | 0 | 0 | 334k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
622.82/623.04 c 581s| 1620k|790698 | 0 | 0.0 | 645M| 405 | - | 623 |1089 | 0 | 0 | 0 | 336k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
627.22/627.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.22/627.45 c 586s| 1630k|797110 | 0 | 0.0 | 650M| 405 | - | 623 | 776 | 0 | 0 | 0 | 339k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
631.82/632.01 c 590s| 1640k|803173 | 0 | 0.0 | 655M| 405 | - | 623 |1073 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
636.02/636.29 c 594s| 1650k|809265 | 0 | 0.0 | 660M| 405 | - | 623 | 934 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
640.52/640.71 c 598s| 1660k|815505 | 0 | 0.0 | 665M| 405 | - | 623 | 663 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
644.81/645.05 c 602s| 1670k|821438 | 0 | 0.0 | 670M| 405 | - | 623 |1023 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
649.01/649.23 c 606s| 1680k|827477 | 0 | 0.0 | 675M| 405 | - | 623 |1111 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
653.31/653.50 c 610s| 1690k|833754 | 0 | 0.0 | 680M| 405 | - | 623 | 851 | 0 | 0 | 0 | 355k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
657.61/657.87 c 614s| 1700k|839771 | 0 | 0.0 | 685M| 405 | - | 623 | 918 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
661.92/662.12 c 618s| 1710k|845897 | 0 | 0.0 | 690M| 405 | - | 623 |1148 | 0 | 0 | 0 | 361k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
666.31/666.51 c 622s| 1720k|851824 | 0 | 0.0 | 695M| 405 | - | 623 |1051 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
670.82/671.01 c 626s| 1730k|857857 | 0 | 0.0 | 700M| 405 | - | 623 | 819 | 0 | 0 | 0 | 366k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
675.40/675.68 c 631s| 1740k|863626 | 0 | 0.0 | 705M| 405 | - | 623 |1226 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
680.10/680.31 c 635s| 1750k|869180 | 0 | 0.0 | 709M| 405 | - | 623 |1286 | 0 | 0 | 0 | 372k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
684.71/684.95 c 640s| 1760k|875136 | 0 | 0.0 | 714M| 405 | - | 623 |1228 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
689.41/689.61 c 644s| 1770k|881299 | 0 | 0.0 | 719M| 405 | - | 623 |1160 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
693.91/694.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.91/694.18 c 648s| 1780k|887543 | 0 | 0.0 | 724M| 405 | - | 623 |1016 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
698.70/698.92 c 653s| 1790k|893702 | 0 | 0.0 | 729M| 405 | - | 623 |1053 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
703.40/703.68 c 657s| 1800k|899610 | 0 | 0.0 | 733M| 405 | - | 623 |1231 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
708.30/708.50 c 662s| 1810k|904974 | 0 | 0.0 | 737M| 405 | - | 623 | 968 | 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
713.10/713.32 c 666s| 1820k|910261 | 0 | 0.0 | 742M| 405 | - | 623 |1113 | 0 | 0 | 0 | 394k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
717.80/718.05 c 671s| 1830k|915736 | 0 | 0.0 | 746M| 405 | - | 623 |1246 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
722.40/722.66 c 675s| 1840k|921439 | 0 | 0.0 | 751M| 405 | - | 623 |1015 | 0 | 0 | 0 | 401k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
727.30/727.52 c 680s| 1850k|926897 | 0 | 0.0 | 755M| 405 | - | 623 |1269 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
731.89/732.12 c 684s| 1860k|932420 | 0 | 0.0 | 759M| 405 | - | 623 |1041 | 0 | 0 | 0 | 407k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
736.39/736.60 c 688s| 1870k|938282 | 0 | 0.0 | 764M| 405 | - | 623 |1039 | 0 | 0 | 0 | 410k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
740.79/741.04 c 692s| 1880k|944171 | 0 | 0.0 | 769M| 405 | - | 623 |1077 | 0 | 0 | 0 | 412k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
744.89/745.19 c 696s| 1890k|950461 | 0 | 0.0 | 774M| 405 | - | 623 |1008 | 0 | 0 | 0 | 415k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
749.09/749.30 c 700s| 1900k|956757 | 0 | 0.0 | 779M| 405 | - | 623 | 979 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
753.19/753.49 c 704s| 1910k|962616 | 0 | 0.0 | 784M| 405 | - | 623 | 958 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
757.29/757.57 c 708s| 1920k|968850 | 0 | 0.0 | 789M| 405 | - | 623 |1012 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
761.39/761.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.39/761.65 c 712s| 1930k|974925 | 0 | 0.0 | 794M| 405 | - | 623 | 772 | 0 | 0 | 0 | 424k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
765.59/765.85 c 716s| 1940k|980705 | 0 | 0.0 | 799M| 405 | - | 623 | 900 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
769.89/770.10 c 720s| 1950k|986362 | 0 | 0.0 | 804M| 405 | - | 623 | 988 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
773.88/774.19 c 723s| 1960k|992261 | 0 | 0.0 | 809M| 405 | - | 623 | 845 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
778.18/778.48 c 727s| 1970k|997927 | 0 | 0.0 | 814M| 405 | - | 623 | 870 | 0 | 0 | 0 | 435k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
782.48/782.71 c 731s| 1980k| 1003k| 0 | 0.0 | 819M| 405 | - | 623 | 933 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
786.88/787.10 c 735s| 1990k| 1009k| 0 | 0.0 | 824M| 405 | - | 623 |1065 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
790.98/791.27 c 739s| 2000k| 1015k| 0 | 0.0 | 830M| 405 | - | 623 | 970 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
795.38/795.61 c 743s| 2010k| 1021k| 0 | 0.0 | 835M| 405 | - | 623 |1004 | 0 | 0 | 0 | 445k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
799.78/800.00 c 747s| 2020k| 1027k| 0 | 0.0 | 840M| 405 | - | 623 |1154 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
804.08/804.38 c 752s| 2030k| 1032k| 0 | 0.0 | 844M| 405 | - | 623 | 942 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
808.28/808.59 c 756s| 2040k| 1038k| 0 | 0.0 | 849M| 405 | - | 623 |1127 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
812.68/812.95 c 760s| 2050k| 1044k| 0 | 0.0 | 855M| 405 | - | 623 |1002 | 0 | 0 | 0 | 456k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
817.18/817.43 c 764s| 2060k| 1049k| 0 | 0.0 | 859M| 405 | - | 623 |1135 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
821.77/822.05 c 768s| 2070k| 1053k| 0 | 0.0 | 864M| 405 | - | 623 |1267 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
826.37/826.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.37/826.66 c 773s| 2080k| 1058k| 0 | 0.0 | 869M| 405 | - | 623 |1231 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
830.67/830.91 c 776s| 2090k| 1063k| 0 | 0.0 | 873M| 405 | - | 623 |1166 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
835.17/835.40 c 781s| 2100k| 1067k| 0 | 0.0 | 877M| 405 | - | 623 |1452 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
839.36/839.61 c 785s| 2110k| 1072k| 0 | 0.0 | 882M| 405 | - | 623 |1167 | 0 | 0 | 0 | 473k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
843.47/843.77 c 789s| 2120k| 1077k| 0 | 0.0 | 887M| 405 | - | 623 |1248 | 0 | 0 | 0 | 475k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
847.57/847.89 c 792s| 2130k| 1083k| 0 | 0.0 | 892M| 405 | - | 623 |1648 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
852.06/852.37 c 797s| 2140k| 1088k| 0 | 0.0 | 897M| 405 | - | 623 |1916 | 0 | 0 | 0 | 481k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
856.87/857.12 c 801s| 2150k| 1093k| 0 | 0.0 | 902M| 405 | - | 623 |1887 | 0 | 0 | 0 | 485k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
861.46/861.77 c 805s| 2160k| 1098k| 0 | 0.0 | 907M| 405 | - | 623 |1734 | 0 | 0 | 0 | 488k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
866.16/866.48 c 810s| 2170k| 1103k| 0 | 0.0 | 912M| 405 | - | 623 |1690 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
870.76/871.05 c 814s| 2180k| 1108k| 0 | 0.0 | 917M| 405 | - | 623 |1602 | 0 | 0 | 0 | 494k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
875.56/875.85 c 819s| 2190k| 1112k| 0 | 0.0 | 921M| 405 | - | 623 |1608 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
880.36/880.68 c 823s| 2200k| 1116k| 0 | 0.0 | 925M| 405 | - | 623 |1433 | 0 | 0 | 0 | 501k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
885.76/886.02 c 828s| 2210k| 1120k| 0 | 0.0 | 930M| 405 | - | 623 |1666 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
892.76/893.04 c 835s| 2220k| 1123k| 0 | 0.0 | 935M| 405 | - | 623 |1127 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
900.76/901.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.76/901.09 c 843s| 2230k| 1126k| 0 | 0.0 | 942M| 405 | - | 623 | 963 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
908.75/909.09 c 851s| 2240k| 1128k| 0 | 0.0 | 948M| 405 | - | 623 | 909 | 0 | 0 | 0 | 518k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
916.45/916.71 c 858s| 2250k| 1130k| 0 | 0.0 | 954M| 405 | - | 623 |1219 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 1.300000e+01 |1200.00%
917.75/918.02 o 9
917.75/918.02 c * 859s| 2250k|926891 | 0 | 0.0 | 795M| 405 | - | 623 |1218 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 9.000000e+00 | 800.00%
920.15/920.46 o 3
920.15/920.46 c * 862s| 2250k|558283 | 0 | 0.0 | 487M| 405 | - | 623 |1229 | 0 | 0 | 0 | 522k| 0 | 1.000000e+00 | 3.000000e+00 | 200.00%
929.04/929.36 c
929.04/929.36 c SCIP Status : problem is solved [optimal solution found]
929.04/929.36 c Solving Time (sec) : 869.76
929.04/929.36 c Solving Nodes : 2250326
929.04/929.36 c Primal Bound : +3.00000000000000e+00 (4 solutions)
929.04/929.36 c Dual Bound : +3.00000000000000e+00
929.04/929.36 c Gap : 0.00 %
929.04/929.36 s OPTIMUM FOUND
929.04/929.36 v -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 -x173 x172 -x126 -x125 -x124 -x123
929.04/929.36 v -x122 -x121 -x120 -x119 x118 -x171 -x170 x169 -x168 -x167 -x166 -x165 -x164 -x163 x117 x116 -x115 -x114 -x113 -x112 -x111 -x110
929.04/929.36 v x109 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x153 -x152
929.04/929.36 v -x151 -x150 -x149 -x148 -x147 -x146 x145 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x144 -x143 -x142 -x141 -x140 -x139 -x138
929.04/929.36 v -x137 -x136 -x90 x89 -x88 x87 -x86 x85 -x84 x83 x82 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x81 -x80 -x79
929.04/929.36 v -x78 x77 -x76 -x75 x74 x73 x72 -x71 -x70 -x69 -x68 x67 x66 x65 x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51
929.04/929.36 v -x50 -x49 -x48 -x47 x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 -x25
929.04/929.36 v -x24 -x23 x22 -x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
929.04/929.36 c SCIP Status : problem is solved [optimal solution found]
929.04/929.36 c Solving Time : 869.76
929.04/929.36 c Original Problem :
929.04/929.36 c Problem name : HOME/instance-2663671-1276649646.opb
929.04/929.36 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
929.04/929.36 c Constraints : 582 initial, 582 maximal
929.04/929.36 c Presolved Problem :
929.04/929.36 c Problem name : t_HOME/instance-2663671-1276649646.opb
929.04/929.36 c Variables : 623 (623 binary, 0 integer, 0 implicit integer, 0 continuous)
929.04/929.36 c Constraints : 463 initial, 2079 maximal
929.04/929.36 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
929.04/929.36 c trivial : 0.00 0 0 0 0 0 0 0 0
929.04/929.36 c dualfix : 0.00 0 0 0 0 0 0 0 0
929.04/929.36 c boundshift : 0.00 0 0 0 0 0 0 0 0
929.04/929.36 c inttobinary : 0.00 0 0 0 0 0 0 0 0
929.04/929.36 c implics : 0.00 0 0 0 0 0 0 0 0
929.04/929.36 c probing : 0.03 0 0 0 0 0 0 0 0
929.04/929.36 c and : 0.08 14 112 0 0 0 112 0 112
929.04/929.36 c linear : 0.01 1 6 0 0 0 0 0 56
929.04/929.36 c logicor : 0.00 0 0 0 0 0 0 0 0
929.04/929.36 c root node : - 81 - - 81 - - - -
929.04/929.36 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
929.04/929.36 c integral : 0 0 0 0 0 0 0 0 0 0
929.04/929.36 c and : 448 0 5519247 0 1981060 47160 12185534 0 0 0
929.04/929.36 c linear : 7 0 5472087 0 1981060 381692 4013228 0 0 0
929.04/929.36 c logicor : 8+ 0 2337686 0 1980902 16809 642337 0 0 0
929.04/929.36 c countsols : 0 0 0 0 1981064 0 0 0 0 0
929.04/929.36 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
929.04/929.36 c integral : 0.00 0.00 0.00 0.00 0.00
929.04/929.36 c and : 129.53 0.00 84.51 0.00 45.02
929.04/929.36 c linear : 274.56 0.00 273.07 0.00 1.49
929.04/929.36 c logicor : 53.92 0.00 50.06 0.00 3.86
929.04/929.36 c countsols : 0.66 0.00 0.00 0.00 0.66
929.04/929.36 c Propagators : Time Calls Cutoffs DomReds
929.04/929.36 c vbounds : 2.82 2 0 0
929.04/929.36 c rootredcost : 2.92 0 0 0
929.04/929.36 c pseudoobj : 7.81 5519283 452 34824
929.04/929.36 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
929.04/929.36 c propagation : 160.93 446113 444049 5856330 71.3 57216 67.5 -
929.04/929.36 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
929.04/929.36 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
929.04/929.36 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
929.04/929.36 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
929.04/929.36 c applied globally : - - - 497749 28.0 - - -
929.04/929.36 c applied locally : - - - 25222 88.8 - - -
929.04/929.36 c Separators : Time Calls Cutoffs DomReds Cuts Conss
929.04/929.36 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
929.04/929.36 c redcost : 0.00 0 0 0 0 0
929.04/929.36 c impliedbounds : 0.00 0 0 0 0 0
929.04/929.36 c intobj : 0.00 0 0 0 0 0
929.04/929.36 c cgmip : 0.00 0 0 0 0 0
929.04/929.36 c gomory : 0.00 0 0 0 0 0
929.04/929.36 c strongcg : 0.00 0 0 0 0 0
929.04/929.36 c cmir : 0.00 0 0 0 0 0
929.04/929.36 c flowcover : 0.00 0 0 0 0 0
929.04/929.36 c clique : 0.00 0 0 0 0 0
929.04/929.36 c zerohalf : 0.00 0 0 0 0 0
929.04/929.36 c mcf : 0.00 0 0 0 0 0
929.04/929.36 c rapidlearning : 0.00 0 0 0 0 0
929.04/929.36 c Pricers : Time Calls Vars
929.04/929.36 c problem variables: 0.00 0 0
929.04/929.36 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
929.04/929.36 c relpscost : 0.00 0 0 0 0 0 0
929.04/929.36 c pscost : 0.00 0 0 0 0 0 0
929.04/929.36 c inference : 129.20 1981060 0 0 0 0 3962120
929.04/929.36 c mostinf : 0.00 0 0 0 0 0 0
929.04/929.36 c leastinf : 0.00 0 0 0 0 0 0
929.04/929.36 c fullstrong : 0.00 0 0 0 0 0 0
929.04/929.36 c allfullstrong : 0.00 0 0 0 0 0 0
929.04/929.36 c random : 0.00 0 0 0 0 0 0
929.04/929.36 c Primal Heuristics : Time Calls Found
929.04/929.36 c LP solutions : 0.00 - 0
929.04/929.36 c pseudo solutions : 4.63 - 4
929.04/929.36 c oneopt : 1.67 0 0
929.04/929.36 c trivial : 0.00 2 0
929.04/929.36 c simplerounding : 0.00 0 0
929.04/929.36 c zirounding : 0.00 0 0
929.04/929.36 c rounding : 0.00 0 0
929.04/929.36 c shifting : 0.00 0 0
929.04/929.36 c intshifting : 0.00 0 0
929.04/929.36 c twoopt : 0.00 0 0
929.04/929.36 c fixandinfer : 0.00 0 0
929.04/929.36 c feaspump : 0.00 0 0
929.04/929.36 c coefdiving : 0.00 0 0
929.04/929.36 c pscostdiving : 0.00 0 0
929.04/929.36 c fracdiving : 0.00 0 0
929.04/929.36 c veclendiving : 0.00 0 0
929.04/929.36 c intdiving : 0.00 0 0
929.04/929.36 c actconsdiving : 0.00 0 0
929.04/929.36 c objpscostdiving : 0.00 0 0
929.04/929.36 c rootsoldiving : 0.00 0 0
929.04/929.36 c linesearchdiving : 0.00 0 0
929.04/929.36 c guideddiving : 0.00 0 0
929.04/929.36 c octane : 0.00 0 0
929.04/929.36 c rens : 0.00 0 0
929.04/929.36 c rins : 0.00 0 0
929.04/929.36 c localbranching : 0.00 0 0
929.04/929.36 c mutation : 0.00 0 0
929.04/929.36 c crossover : 0.00 0 0
929.04/929.36 c dins : 0.00 0 0
929.04/929.36 c undercover : 0.00 0 0
929.04/929.36 c nlp : 0.82 0 0
929.04/929.36 c trysol : 0.97 0 0
929.04/929.36 c LP : Time Calls Iterations Iter/call Iter/sec
929.04/929.36 c primal LP : 0.00 0 0 0.00 -
929.04/929.36 c dual LP : 0.00 0 0 0.00 -
929.04/929.36 c lex dual LP : 0.00 0 0 0.00 -
929.04/929.36 c barrier LP : 0.00 0 0 0.00 -
929.04/929.36 c diving/probing LP: 0.00 0 0 0.00 -
929.04/929.36 c strong branching : 0.00 0 0 0.00 -
929.04/929.36 c (at root node) : - 0 0 0.00 -
929.04/929.36 c conflict analysis: 0.00 0 0 0.00 -
929.04/929.36 c B&B Tree :
929.04/929.36 c number of runs : 1
929.04/929.36 c nodes : 2250326
929.04/929.36 c nodes (total) : 2250326
929.04/929.36 c nodes left : 0
929.04/929.36 c max depth : 405
929.04/929.36 c max depth (total): 405
929.04/929.36 c backtracks : 207468 (9.2%)
929.04/929.36 c delayed cutoffs : 809517
929.04/929.36 c repropagations : 575646 (2565751 domain reductions, 176851 cutoffs)
929.04/929.36 c avg switch length: 7.36
929.04/929.36 c switching time : 166.03
929.04/929.36 c Solution :
929.04/929.36 c Solutions found : 4 (4 improvements)
929.04/929.36 c First Solution : +3.10000000000000e+01 (in run 1, after 475244 nodes, 148.23 seconds, depth 126, found by <relaxation>)
929.04/929.36 c Primal Bound : +3.00000000000000e+00 (in run 1, after 2250326 nodes, 859.16 seconds, depth 351, found by <relaxation>)
929.04/929.36 c Dual Bound : +3.00000000000000e+00
929.04/929.36 c Gap : 0.00 %
929.04/929.36 c Root Dual Bound : +1.00000000000000e+00
929.04/929.36 c Root Iterations : 0
929.15/929.45 c Time complete: 929.2.