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-2664778-1276593368.opb>
0.00/0.02 c original problem has 240 variables (240 bin, 0 int, 0 impl, 0 cont) and 91 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.03 o 240
0.00/0.03 c feasible solution found by trivial heuristic, objective value 2.400000e+02
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 41 del conss, 0 chg bounds, 41 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (round 2) 0 del vars, 41 del conss, 0 chg bounds, 41 chg sides, 0 chg coeffs, 50 upgd conss, 0 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 101/240 (42.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 0 deleted vars, 41 deleted constraints, 0 tightened bounds, 0 added holes, 41 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 0 cliques
0.00/0.05 c presolved problem has 240 variables (240 bin, 0 int, 0 impl, 0 cont) and 50 constraints
0.00/0.05 c 50 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.02
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c conflict/interconss = 0
0.00/0.05 c
0.00/0.05 c # should binary conflicts be preferred?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c conflict/preferbinary = TRUE
0.00/0.05 c
0.00/0.05 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c constraints/agelimit = 1
0.00/0.05 c
0.00/0.05 c # should enforcement of pseudo solution be disabled?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/disableenfops = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1799.98
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c lp/solvefreq = -1
0.00/0.05 c
0.00/0.05 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.00/0.05 c # [type: char, range: {lafpsqd}, default: l]
0.00/0.05 c lp/pricing = a
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # priority of node selection rule <dfs> in standard mode
0.00/0.05 c # [type: int, range: [-536870912,536870911], default: 0]
0.00/0.05 c nodeselection/dfs/stdpriority = 1000000
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c t 0.0s| 1 | 2 | 0 | - |1024k| 0 | - | 240 | 50 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.400000e+02 | Inf
0.00/0.07 o 6
0.00/0.07 c * 0.0s| 235 | 227 | 0 | 0.0 |1122k| 234 | - | 240 | 50 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 6.000000e+00 | 500.00%
0.39/0.41 o 5
0.39/0.41 c * 0.3s| 2757 | 206 | 0 | 0.0 |1167k| 234 | - | 240 | 50 | 0 | 0 | 0 | 745 | 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
1.39/1.49 c 1.3s| 10000 | 177 | 0 | 0.0 |1188k| 234 | - | 240 | 54 | 0 | 0 | 0 |2930 | 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
2.99/3.06 c 2.7s| 20000 | 180 | 0 | 0.0 |1197k| 234 | - | 240 | 52 | 0 | 0 | 0 |6189 | 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
4.89/4.91 c 4.3s| 30000 | 179 | 0 | 0.0 |1203k| 234 | - | 240 | 51 | 0 | 0 | 0 | 10k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
6.60/6.62 c 5.9s| 40000 | 163 | 0 | 0.0 |1201k| 234 | - | 240 | 50 | 0 | 0 | 0 | 13k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
8.49/8.58 c 7.6s| 50000 | 171 | 0 | 0.0 |1211k| 234 | - | 240 | 50 | 0 | 0 | 0 | 18k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
10.49/10.53 c 9.3s| 60000 | 165 | 0 | 0.0 |1218k| 234 | - | 240 | 52 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
12.28/12.31 c 11.0s| 70000 | 155 | 0 | 0.0 |1214k| 234 | - | 240 | 50 | 0 | 0 | 0 | 25k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
14.30/14.33 c 12.7s| 80000 | 159 | 0 | 0.0 |1219k| 234 | - | 240 | 50 | 0 | 0 | 0 | 29k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
16.29/16.39 c 14.6s| 90000 | 169 | 0 | 0.0 |1223k| 234 | - | 240 | 50 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
18.49/18.50 c 16.4s|100000 | 156 | 0 | 0.0 |1223k| 234 | - | 240 | 51 | 0 | 0 | 0 | 37k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
20.68/20.73 c 18.4s|110000 | 144 | 0 | 0.0 |1223k| 234 | - | 240 | 50 | 0 | 0 | 0 | 42k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
22.79/22.84 c 20.3s|120000 | 150 | 0 | 0.0 |1233k| 234 | - | 240 | 56 | 0 | 0 | 0 | 46k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
24.89/24.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.89/24.95 c 22.1s|130000 | 156 | 0 | 0.0 |1240k| 234 | - | 240 | 57 | 0 | 0 | 0 | 49k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
26.59/26.69 c 23.7s|140000 | 171 | 0 | 0.0 |1238k| 234 | - | 240 | 50 | 0 | 0 | 0 | 52k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
28.69/28.70 c 25.5s|150000 | 145 | 0 | 0.0 |1240k| 234 | - | 240 | 59 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
30.88/30.94 c 27.4s|160000 | 139 | 0 | 0.0 |1241k| 234 | - | 240 | 56 | 0 | 0 | 0 | 61k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
32.78/32.87 c 29.1s|170000 | 143 | 0 | 0.0 |1242k| 234 | - | 240 | 51 | 0 | 0 | 0 | 64k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
34.88/34.97 c 31.1s|180000 | 138 | 0 | 0.0 |1239k| 234 | - | 240 | 50 | 0 | 0 | 0 | 68k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
36.98/37.08 c 33.0s|190000 | 134 | 0 | 0.0 |1249k| 234 | - | 240 | 54 | 0 | 0 | 0 | 71k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
39.18/39.22 c 35.0s|200000 | 122 | 0 | 0.0 |1243k| 234 | - | 240 | 52 | 0 | 0 | 0 | 75k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
41.18/41.28 c 36.8s|210000 | 133 | 0 | 0.0 |1247k| 234 | - | 240 | 50 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
43.28/43.35 c 38.7s|220000 | 127 | 0 | 0.0 |1254k| 234 | - | 240 | 53 | 0 | 0 | 0 | 82k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
45.38/45.48 c 40.6s|230000 | 123 | 0 | 0.0 |1249k| 234 | - | 240 | 53 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
47.67/47.71 c 42.7s|240000 | 132 | 0 | 0.0 |1253k| 234 | - | 240 | 50 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
49.88/49.90 c 44.7s|250000 | 126 | 0 | 0.0 |1255k| 234 | - | 240 | 50 | 0 | 0 | 0 | 94k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
51.98/52.07 c 46.6s|260000 | 106 | 0 | 0.0 |1259k| 234 | - | 240 | 52 | 0 | 0 | 0 | 98k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
54.17/54.24 c 48.6s|270000 | 129 | 0 | 0.0 |1262k| 234 | - | 240 | 53 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
56.27/56.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.27/56.33 c 50.5s|280000 | 124 | 0 | 0.0 |1263k| 234 | - | 240 | 54 | 0 | 0 | 0 | 105k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
58.28/58.33 c 52.3s|290000 | 159 | 0 | 0.0 |1272k| 234 | - | 240 | 51 | 0 | 0 | 0 | 108k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
60.17/60.21 c 54.1s|300000 | 107 | 0 | 0.0 |1267k| 234 | - | 240 | 56 | 0 | 0 | 0 | 110k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
61.97/62.08 c 55.8s|310000 | 116 | 0 | 0.0 |1262k| 234 | - | 240 | 50 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
63.97/64.05 c 57.6s|320000 | 130 | 0 | 0.0 |1267k| 234 | - | 240 | 51 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
66.07/66.19 c 59.5s|330000 | 95 | 0 | 0.0 |1266k| 234 | - | 240 | 52 | 0 | 0 | 0 | 119k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
67.97/68.07 c 61.3s|340000 | 125 | 0 | 0.0 |1267k| 234 | - | 240 | 50 | 0 | 0 | 0 | 122k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
70.07/70.17 c 63.2s|350000 | 122 | 0 | 0.0 |1267k| 234 | - | 240 | 50 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
72.17/72.30 c 65.1s|360000 | 128 | 0 | 0.0 |1277k| 234 | - | 240 | 52 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
74.16/74.25 c 66.9s|370000 | 146 | 0 | 0.0 |1276k| 234 | - | 240 | 50 | 0 | 0 | 0 | 132k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
76.26/76.35 c 68.8s|380000 | 105 | 0 | 0.0 |1267k| 234 | - | 240 | 51 | 0 | 0 | 0 | 135k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
78.36/78.41 c 70.7s|390000 | 111 | 0 | 0.0 |1270k| 234 | - | 240 | 51 | 0 | 0 | 0 | 138k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
80.37/80.43 c 72.5s|400000 | 105 | 0 | 0.0 |1271k| 234 | - | 240 | 52 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
82.48/82.52 c 74.4s|410000 | 98 | 0 | 0.0 |1270k| 234 | - | 240 | 51 | 0 | 0 | 0 | 144k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
84.57/84.70 c 76.4s|420000 | 106 | 0 | 0.0 |1281k| 234 | - | 240 | 54 | 0 | 0 | 0 | 148k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
86.77/86.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.77/86.86 c 78.4s|430000 | 82 | 0 | 0.0 |1276k| 234 | - | 240 | 53 | 0 | 0 | 0 | 151k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
89.07/89.13 c 80.5s|440000 | 98 | 0 | 0.0 |1281k| 234 | - | 240 | 52 | 0 | 0 | 0 | 154k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
91.36/91.47 c 82.7s|450000 | 92 | 0 | 0.0 |1276k| 234 | - | 240 | 51 | 0 | 0 | 0 | 158k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
93.47/93.58 c 84.6s|460000 | 100 | 0 | 0.0 |1286k| 234 | - | 240 | 60 | 0 | 0 | 0 | 160k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
95.67/95.78 c 86.6s|470000 | 92 | 0 | 0.0 |1279k| 234 | - | 240 | 50 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
97.95/98.07 c 88.7s|480000 | 79 | 0 | 0.0 |1287k| 234 | - | 240 | 53 | 0 | 0 | 0 | 167k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
100.26/100.38 c 90.8s|490000 | 86 | 0 | 0.0 |1281k| 234 | - | 240 | 50 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
102.55/102.66 c 92.9s|500000 | 76 | 0 | 0.0 |1290k| 234 | - | 240 | 55 | 0 | 0 | 0 | 173k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
104.96/105.01 c 95.1s|510000 | 85 | 0 | 0.0 |1290k| 234 | - | 240 | 57 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
107.05/107.15 c 97.1s|520000 | 74 | 0 | 0.0 |1293k| 234 | - | 240 | 53 | 0 | 0 | 0 | 179k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
109.25/109.38 c 99.1s|530000 | 81 | 0 | 0.0 |1289k| 234 | - | 240 | 53 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
111.46/111.58 c 101s|540000 | 74 | 0 | 0.0 |1289k| 234 | - | 240 | 55 | 0 | 0 | 0 | 184k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
113.75/113.82 c 103s|550000 | 94 | 0 | 0.0 |1294k| 234 | - | 240 | 51 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
116.05/116.11 c 105s|560000 | 64 | 0 | 0.0 |1294k| 234 | - | 240 | 55 | 0 | 0 | 0 | 189k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
118.25/118.34 c 107s|570000 | 80 | 0 | 0.0 |1296k| 234 | - | 240 | 52 | 0 | 0 | 0 | 192k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
120.55/120.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.55/120.69 c 110s|580000 | 53 | 0 | 0.0 |1290k| 234 | - | 240 | 52 | 0 | 0 | 0 | 194k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
122.85/122.93 c 112s|590000 | 62 | 0 | 0.0 |1295k| 234 | - | 240 | 50 | 0 | 0 | 0 | 197k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
125.26/125.32 c 114s|600000 | 62 | 0 | 0.0 |1297k| 234 | - | 240 | 51 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
127.64/127.78 c 116s|610000 | 59 | 0 | 0.0 |1307k| 234 | - | 240 | 67 | 0 | 0 | 0 | 203k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
130.15/130.20 c 118s|620000 | 74 | 0 | 0.0 |1311k| 234 | - | 240 | 51 | 0 | 0 | 0 | 206k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
132.55/132.66 c 121s|630000 | 59 | 0 | 0.0 |1310k| 234 | - | 240 | 55 | 0 | 0 | 0 | 210k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
135.15/135.28 c 123s|640000 | 62 | 0 | 0.0 |1303k| 234 | - | 240 | 51 | 0 | 0 | 0 | 213k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
137.75/137.82 c 125s|650000 | 48 | 0 | 0.0 |1311k| 234 | - | 240 | 56 | 0 | 0 | 0 | 217k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
140.24/140.36 c 128s|660000 | 40 | 0 | 0.0 |1311k| 234 | - | 240 | 57 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
142.55/142.63 c 130s|670000 | 62 | 0 | 0.0 |1316k| 234 | - | 240 | 54 | 0 | 0 | 0 | 223k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
144.85/144.95 c 132s|680000 | 115 | 0 | 0.0 |1321k| 234 | - | 240 | 50 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
147.25/147.39 c 134s|690000 | 55 | 0 | 0.0 |1318k| 234 | - | 240 | 53 | 0 | 0 | 0 | 229k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
149.95/150.06 c 137s|700000 | 49 | 0 | 0.0 |1315k| 234 | - | 240 | 51 | 0 | 0 | 0 | 233k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
152.64/152.72 c 139s|710000 | 45 | 0 | 0.0 |1319k| 234 | - | 240 | 56 | 0 | 0 | 0 | 237k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
154.84/154.92 c 141s|720000 | 72 | 0 | 0.0 |1318k| 234 | - | 240 | 55 | 0 | 0 | 0 | 239k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
156.74/156.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.74/156.87 c 143s|730000 | 132 | 0 | 0.0 |1340k| 234 | - | 240 | 57 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
159.04/159.12 c 145s|740000 | 70 | 0 | 0.0 |1319k| 234 | - | 240 | 55 | 0 | 0 | 0 | 244k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
161.04/161.15 c 147s|750000 | 145 | 0 | 0.0 |1339k| 234 | - | 240 | 55 | 0 | 0 | 0 | 246k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
163.13/163.29 c 149s|760000 | 155 | 0 | 0.0 |1348k| 234 | - | 240 | 55 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
165.34/165.45 c 151s|770000 | 101 | 0 | 0.0 |1336k| 234 | - | 240 | 59 | 0 | 0 | 0 | 251k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
167.44/167.51 c 152s|780000 | 80 | 0 | 0.0 |1332k| 234 | - | 240 | 61 | 0 | 0 | 0 | 253k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
169.64/169.78 c 155s|790000 | 87 | 0 | 0.0 |1325k| 234 | - | 240 | 55 | 0 | 0 | 0 | 256k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
171.64/171.79 c 156s|800000 | 108 | 0 | 0.0 |1337k| 234 | - | 240 | 57 | 0 | 0 | 0 | 258k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
173.74/173.88 c 158s|810000 | 118 | 0 | 0.0 |1339k| 234 | - | 240 | 58 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
175.84/175.99 c 160s|820000 | 100 | 0 | 0.0 |1329k| 234 | - | 240 | 56 | 0 | 0 | 0 | 262k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
178.24/178.34 c 162s|830000 | 149 | 0 | 0.0 |1342k| 234 | - | 240 | 59 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
180.53/180.62 c 164s|840000 | 51 | 0 | 0.0 |1329k| 234 | - | 240 | 64 | 0 | 0 | 0 | 267k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
182.63/182.77 c 166s|850000 | 191 | 0 | 0.0 |1354k| 234 | - | 240 | 56 | 0 | 0 | 0 | 269k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
184.83/184.98 c 168s|860000 | 131 | 0 | 0.0 |1338k| 234 | - | 240 | 51 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
186.83/187.00 c 170s|870000 | 124 | 0 | 0.0 |1344k| 234 | - | 240 | 55 | 0 | 0 | 0 | 274k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
188.93/189.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.93/189.08 c 172s|880000 | 120 | 0 | 0.0 |1335k| 234 | - | 240 | 51 | 0 | 0 | 0 | 276k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
191.12/191.25 c 174s|890000 | 182 | 0 | 0.0 |1352k| 234 | - | 240 | 51 | 0 | 0 | 0 | 279k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
193.13/193.27 c 176s|900000 | 126 | 0 | 0.0 |1337k| 234 | - | 240 | 51 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
195.53/195.61 c 178s|910000 | 120 | 0 | 0.0 |1344k| 234 | - | 240 | 51 | 0 | 0 | 0 | 284k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
197.52/197.68 c 180s|920000 | 92 | 0 | 0.0 |1337k| 234 | - | 240 | 52 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
199.73/199.85 c 182s|930000 | 89 | 0 | 0.0 |1338k| 234 | - | 240 | 53 | 0 | 0 | 0 | 288k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
201.93/202.07 c 184s|940000 | 141 | 0 | 0.0 |1348k| 234 | - | 240 | 51 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
204.12/204.26 c 186s|950000 | 140 | 0 | 0.0 |1343k| 234 | - | 240 | 51 | 0 | 0 | 0 | 292k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
206.32/206.44 c 188s|960000 | 82 | 0 | 0.0 |1329k| 234 | - | 240 | 52 | 0 | 0 | 0 | 294k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
208.53/208.69 c 190s|970000 | 108 | 0 | 0.0 |1337k| 234 | - | 240 | 50 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
210.82/210.93 c 192s|980000 | 69 | 0 | 0.0 |1328k| 234 | - | 240 | 54 | 0 | 0 | 0 | 299k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
213.02/213.17 c 194s|990000 | 47 | 0 | 0.0 |1321k| 234 | - | 240 | 50 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
215.42/215.59 c 197s| 1000k| 48 | 0 | 0.0 |1322k| 234 | - | 240 | 51 | 0 | 0 | 0 | 304k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
217.72/217.83 c 199s| 1010k| 60 | 0 | 0.0 |1326k| 234 | - | 240 | 50 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
219.93/220.08 c 201s| 1020k| 71 | 0 | 0.0 |1337k| 234 | - | 240 | 55 | 0 | 0 | 0 | 309k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
222.13/222.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.13/222.30 c 203s| 1030k| 52 | 0 | 0.0 |1327k| 234 | - | 240 | 55 | 0 | 0 | 0 | 311k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
224.41/224.54 c 205s| 1040k| 46 | 0 | 0.0 |1325k| 234 | - | 240 | 54 | 0 | 0 | 0 | 313k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
226.71/226.80 c 207s| 1050k| 56 | 0 | 0.0 |1342k| 234 | - | 240 | 70 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
228.92/229.06 c 209s| 1060k| 128 | 0 | 0.0 |1347k| 234 | - | 240 | 51 | 0 | 0 | 0 | 317k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
231.31/231.40 c 211s| 1070k| 34 | 0 | 0.0 |1335k| 234 | - | 240 | 60 | 0 | 0 | 0 | 320k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
233.71/233.83 c 213s| 1080k| 159 | 0 | 0.0 |1360k| 234 | - | 240 | 51 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
235.81/235.92 c 215s| 1090k| 118 | 0 | 0.0 |1346k| 234 | - | 240 | 51 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
237.81/237.90 c 217s| 1100k| 176 | 0 | 0.0 |1360k| 234 | - | 240 | 51 | 0 | 0 | 0 | 326k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
239.62/239.79 c 219s| 1110k| 164 | 0 | 0.0 |1360k| 234 | - | 240 | 51 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
242.01/242.19 c 221s| 1120k| 156 | 0 | 0.0 |1359k| 234 | - | 240 | 54 | 0 | 0 | 0 | 330k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
244.12/244.20 c 223s| 1130k| 141 | 0 | 0.0 |1352k| 234 | - | 240 | 54 | 0 | 0 | 0 | 332k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
246.10/246.21 c 225s| 1140k| 133 | 0 | 0.0 |1351k| 234 | - | 240 | 53 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
248.11/248.21 c 226s| 1150k| 171 | 0 | 0.0 |1362k| 234 | - | 240 | 51 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
250.00/250.17 c 228s| 1160k| 92 | 0 | 0.0 |1348k| 234 | - | 240 | 51 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
252.00/252.19 c 230s| 1170k| 111 | 0 | 0.0 |1345k| 234 | - | 240 | 51 | 0 | 0 | 0 | 338k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
254.50/254.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.50/254.64 c 232s| 1180k| 149 | 0 | 0.0 |1359k| 234 | - | 240 | 52 | 0 | 0 | 0 | 340k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
256.61/256.75 c 234s| 1190k| 49 | 0 | 0.0 |1329k| 234 | - | 240 | 53 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
258.91/259.01 c 236s| 1200k| 159 | 0 | 0.0 |1357k| 234 | - | 240 | 51 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
260.90/261.08 c 238s| 1210k| 104 | 0 | 0.0 |1349k| 234 | - | 240 | 51 | 0 | 0 | 0 | 344k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
263.01/263.15 c 240s| 1220k| 110 | 0 | 0.0 |1345k| 234 | - | 240 | 50 | 0 | 0 | 0 | 345k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
265.01/265.14 c 242s| 1230k| 146 | 0 | 0.0 |1360k| 234 | - | 240 | 53 | 0 | 0 | 0 | 348k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
267.00/267.10 c 244s| 1240k| 109 | 0 | 0.0 |1352k| 234 | - | 240 | 53 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
269.00/269.11 c 245s| 1250k| 80 | 0 | 0.0 |1339k| 234 | - | 240 | 50 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
271.00/271.14 c 247s| 1260k| 145 | 0 | 0.0 |1355k| 234 | - | 240 | 50 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
273.00/273.19 c 249s| 1270k| 107 | 0 | 0.0 |1353k| 234 | - | 240 | 52 | 0 | 0 | 0 | 356k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
275.10/275.28 c 251s| 1280k| 139 | 0 | 0.0 |1363k| 234 | - | 240 | 50 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
277.20/277.36 c 253s| 1290k| 93 | 0 | 0.0 |1345k| 234 | - | 240 | 50 | 0 | 0 | 0 | 360k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
279.30/279.41 c 255s| 1300k| 73 | 0 | 0.0 |1347k| 234 | - | 240 | 53 | 0 | 0 | 0 | 362k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
281.19/281.39 c 257s| 1310k| 90 | 0 | 0.0 |1344k| 234 | - | 240 | 50 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
283.29/283.44 c 258s| 1320k| 120 | 0 | 0.0 |1359k| 234 | - | 240 | 53 | 0 | 0 | 0 | 365k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
285.50/285.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.50/285.60 c 260s| 1330k| 79 | 0 | 0.0 |1342k| 234 | - | 240 | 50 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
287.59/287.74 c 262s| 1340k| 86 | 0 | 0.0 |1352k| 234 | - | 240 | 53 | 0 | 0 | 0 | 368k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
289.49/289.68 c 264s| 1350k| 93 | 0 | 0.0 |1356k| 234 | - | 240 | 59 | 0 | 0 | 0 | 369k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
291.59/291.71 c 266s| 1360k| 57 | 0 | 0.0 |1336k| 234 | - | 240 | 51 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
293.60/293.74 c 268s| 1370k| 125 | 0 | 0.0 |1356k| 234 | - | 240 | 50 | 0 | 0 | 0 | 373k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
295.70/295.89 c 270s| 1380k| 76 | 0 | 0.0 |1344k| 234 | - | 240 | 51 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
298.00/298.11 c 272s| 1390k| 112 | 0 | 0.0 |1359k| 234 | - | 240 | 52 | 0 | 0 | 0 | 378k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
300.20/300.38 c 274s| 1400k| 64 | 0 | 0.0 |1350k| 234 | - | 240 | 55 | 0 | 0 | 0 | 380k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
302.49/302.66 c 276s| 1410k| 44 | 0 | 0.0 |1345k| 234 | - | 240 | 57 | 0 | 0 | 0 | 382k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
304.79/304.92 c 278s| 1420k| 115 | 0 | 0.0 |1360k| 234 | - | 240 | 51 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
307.09/307.21 c 280s| 1430k| 52 | 0 | 0.0 |1349k| 234 | - | 240 | 55 | 0 | 0 | 0 | 386k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
309.38/309.56 c 282s| 1440k| 57 | 0 | 0.0 |1340k| 234 | - | 240 | 51 | 0 | 0 | 0 | 389k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
311.79/311.93 c 285s| 1450k| 64 | 0 | 0.0 |1354k| 234 | - | 240 | 59 | 0 | 0 | 0 | 391k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
314.09/314.20 c 287s| 1460k| 73 | 0 | 0.0 |1353k| 234 | - | 240 | 51 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
316.19/316.30 c 289s| 1470k| 101 | 0 | 0.0 |1359k| 234 | - | 240 | 51 | 0 | 0 | 0 | 395k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
318.39/318.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.39/318.50 c 291s| 1480k| 98 | 0 | 0.0 |1351k| 234 | - | 240 | 50 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
320.69/320.82 c 293s| 1490k| 41 | 0 | 0.0 |1338k| 234 | - | 240 | 51 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
322.88/323.08 c 295s| 1500k| 49 | 0 | 0.0 |1352k| 234 | - | 240 | 69 | 0 | 0 | 0 | 402k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
325.18/325.35 c 297s| 1510k| 83 | 0 | 0.0 |1350k| 234 | - | 240 | 51 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
327.39/327.59 c 299s| 1520k| 79 | 0 | 0.0 |1349k| 234 | - | 240 | 51 | 0 | 0 | 0 | 406k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
329.79/329.97 c 301s| 1530k| 54 | 0 | 0.0 |1351k| 234 | - | 240 | 53 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
331.98/332.19 c 303s| 1540k| 48 | 0 | 0.0 |1341k| 234 | - | 240 | 52 | 0 | 0 | 0 | 411k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
334.38/334.51 c 305s| 1550k| 150 | 0 | 0.0 |1371k| 234 | - | 240 | 51 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
336.88/337.04 c 308s| 1560k| 70 | 0 | 0.0 |1357k| 234 | - | 240 | 58 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
339.38/339.56 c 310s| 1570k| 76 | 0 | 0.0 |1349k| 234 | - | 240 | 50 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
342.17/342.38 c 313s| 1580k| 67 | 0 | 0.0 |1348k| 234 | - | 240 | 52 | 0 | 0 | 0 | 423k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
344.78/344.90 c 315s| 1590k| 99 | 0 | 0.0 |1364k| 234 | - | 240 | 50 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
347.38/347.53 c 317s| 1600k| 66 | 0 | 0.0 |1350k| 234 | - | 240 | 51 | 0 | 0 | 0 | 430k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
349.88/350.00 c 319s| 1610k| 90 | 0 | 0.0 |1368k| 234 | - | 240 | 62 | 0 | 0 | 0 | 434k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
352.58/352.71 c 322s| 1620k| 39 | 0 | 0.0 |1343k| 234 | - | 240 | 50 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
354.97/355.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.97/355.18 c 324s| 1630k| 87 | 0 | 0.0 |1365k| 234 | - | 240 | 57 | 0 | 0 | 0 | 441k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
357.47/357.69 c 326s| 1640k| 86 | 0 | 0.0 |1365k| 234 | - | 240 | 51 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
359.98/360.14 c 329s| 1650k| 36 | 0 | 0.0 |1344k| 234 | - | 240 | 50 | 0 | 0 | 0 | 447k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
362.37/362.52 c 331s| 1660k| 23 | 0 | 0.0 |1341k| 234 | - | 240 | 52 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
364.77/364.96 c 333s| 1670k| 34 | 0 | 0.0 |1345k| 234 | - | 240 | 51 | 0 | 0 | 0 | 454k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
367.17/367.36 c 335s| 1680k| 51 | 0 | 0.0 |1357k| 234 | - | 240 | 52 | 0 | 0 | 0 | 457k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
369.67/369.80 c 338s| 1690k| 55 | 0 | 0.0 |1352k| 234 | - | 240 | 52 | 0 | 0 | 0 | 460k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
372.07/372.23 c 340s| 1700k| 45 | 0 | 0.0 |1360k| 234 | - | 240 | 52 | 0 | 0 | 0 | 464k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
374.46/374.64 c 342s| 1710k| 57 | 0 | 0.0 |1353k| 234 | - | 240 | 50 | 0 | 0 | 0 | 467k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
376.77/376.99 c 344s| 1720k| 84 | 0 | 0.0 |1362k| 234 | - | 240 | 53 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
379.17/379.33 c 346s| 1730k| 48 | 0 | 0.0 |1352k| 234 | - | 240 | 52 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
381.57/381.79 c 349s| 1740k| 32 | 0 | 0.0 |1358k| 234 | - | 240 | 59 | 0 | 0 | 0 | 477k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
384.06/384.25 c 351s| 1750k| 100 | 0 | 0.0 |1373k| 234 | - | 240 | 51 | 0 | 0 | 0 | 480k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
386.36/386.54 c 353s| 1760k| 35 | 0 | 0.0 |1361k| 234 | - | 240 | 57 | 0 | 0 | 0 | 484k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
388.76/388.96 c 355s| 1770k| 21 | 0 | 0.0 |1345k| 234 | - | 240 | 50 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
391.16/391.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.16/391.33 c 357s| 1780k| 69 | 0 | 0.0 |1359k| 234 | - | 240 | 50 | 0 | 0 | 0 | 490k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
393.46/393.68 c 360s| 1790k| 32 | 0 | 0.0 |1350k| 234 | - | 240 | 53 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
395.96/396.15 c 362s| 1800k| 43 | 0 | 0.0 |1362k| 234 | - | 240 | 52 | 0 | 0 | 0 | 496k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
398.36/398.56 c 364s| 1810k| 85 | 0 | 0.0 |1364k| 234 | - | 240 | 50 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
400.86/401.00 c 366s| 1820k| 37 | 0 | 0.0 |1361k| 234 | - | 240 | 55 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
403.36/403.52 c 369s| 1830k| 69 | 0 | 0.0 |1365k| 234 | - | 240 | 54 | 0 | 0 | 0 | 506k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
405.86/406.02 c 371s| 1840k| 63 | 0 | 0.0 |1364k| 234 | - | 240 | 52 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
408.36/408.59 c 373s| 1850k| 71 | 0 | 0.0 |1370k| 234 | - | 240 | 56 | 0 | 0 | 0 | 514k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
410.95/411.13 c 376s| 1860k| 79 | 0 | 0.0 |1365k| 234 | - | 240 | 54 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
413.36/413.52 c 378s| 1870k| 32 | 0 | 0.0 |1353k| 234 | - | 240 | 50 | 0 | 0 | 0 | 520k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
415.75/415.99 c 380s| 1880k| 19 | 0 | 0.0 |1363k| 234 | - | 240 | 55 | 0 | 0 | 0 | 524k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
418.25/418.47 c 382s| 1890k| 61 | 0 | 0.0 |1360k| 234 | - | 240 | 50 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
420.75/420.91 c 385s| 1900k| 36 | 0 | 0.0 |1360k| 234 | - | 240 | 53 | 0 | 0 | 0 | 530k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
423.26/423.40 c 387s| 1910k| 63 | 0 | 0.0 |1363k| 234 | - | 240 | 54 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
426.05/426.22 c 390s| 1920k| 64 | 0 | 0.0 |1362k| 234 | - | 240 | 50 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
428.55/428.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.55/428.71 c 392s| 1930k| 46 | 0 | 0.0 |1359k| 234 | - | 240 | 51 | 0 | 0 | 0 | 541k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
430.96/431.13 c 394s| 1940k| 21 | 0 | 0.0 |1353k| 234 | - | 240 | 52 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
433.35/433.59 c 396s| 1950k| 68 | 0 | 0.0 |1364k| 234 | - | 240 | 50 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
435.84/436.05 c 399s| 1960k| 94 | 0 | 0.0 |1373k| 234 | - | 240 | 53 | 0 | 0 | 0 | 551k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
438.35/438.54 c 401s| 1970k| 26 | 0 | 0.0 |1356k| 234 | - | 240 | 52 | 0 | 0 | 0 | 554k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
440.95/441.16 c 403s| 1980k| 67 | 0 | 0.0 |1367k| 234 | - | 240 | 50 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
443.44/443.66 c 406s| 1990k| 52 | 0 | 0.0 |1375k| 234 | - | 240 | 57 | 0 | 0 | 0 | 561k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
445.95/446.14 c 408s| 2000k| 95 | 0 | 0.0 |1379k| 234 | - | 240 | 52 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
448.65/448.84 c 410s| 2010k| 56 | 0 | 0.0 |1366k| 234 | - | 240 | 51 | 0 | 0 | 0 | 568k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
452.04/452.20 c 413s| 2020k| 31 | 0 | 0.0 |1373k| 234 | - | 240 | 62 | 0 | 0 | 0 | 573k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
454.74/454.91 c 416s| 2030k| 10 | 0 | 0.0 |1356k| 234 | - | 240 | 51 | 0 | 0 | 0 | 576k| 0 | 1.000000e+00 | 5.000000e+00 | 400.00%
457.13/457.32 c 418s| 2040k| 90 | 0 | 0.0 |1383k| 234 | - | 240 | 50 | 0 | 0 | 0 | 579k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
459.74/459.93 c 421s| 2050k| 30 | 0 | 0.0 |1370k| 234 | - | 240 | 53 | 0 | 0 | 0 | 583k| 0 | 2.000000e+00 | 5.000000e+00 | 150.00%
462.24/462.41 c 423s| 2060k| 46 | 0 | 0.0 |1365k| 234 | - | 240 | 50 | 0 | 0 | 0 | 586k| 0 | 3.000000e+00 | 5.000000e+00 | 66.67%
462.84/463.05 c
462.84/463.05 c SCIP Status : problem is solved [optimal solution found]
462.84/463.05 c Solving Time (sec) : 423.43
462.84/463.05 c Solving Nodes : 2062288
462.84/463.05 c Primal Bound : +5.00000000000000e+00 (5 solutions)
462.84/463.05 c Dual Bound : +5.00000000000000e+00
462.84/463.05 c Gap : 0.00 %
462.84/463.05 s OPTIMUM FOUND
462.84/463.05 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
462.84/463.05 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
462.84/463.05 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
462.84/463.05 v -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
462.84/463.05 v -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
462.84/463.05 v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
462.84/463.05 v -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
462.84/463.05 v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68
462.84/463.05 v x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43
462.84/463.05 v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18
462.84/463.05 v -x17 -x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
462.84/463.05 c SCIP Status : problem is solved [optimal solution found]
462.84/463.05 c Solving Time : 423.43
462.84/463.05 c Original Problem :
462.84/463.05 c Problem name : HOME/instance-2664778-1276593368.opb
462.84/463.05 c Variables : 240 (240 binary, 0 integer, 0 implicit integer, 0 continuous)
462.84/463.05 c Constraints : 91 initial, 91 maximal
462.84/463.05 c Presolved Problem :
462.84/463.05 c Problem name : t_HOME/instance-2664778-1276593368.opb
462.84/463.05 c Variables : 240 (240 binary, 0 integer, 0 implicit integer, 0 continuous)
462.84/463.05 c Constraints : 50 initial, 166 maximal
462.84/463.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
462.84/463.05 c trivial : 0.00 0 0 0 0 0 0 0 0
462.84/463.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
462.84/463.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
462.84/463.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
462.84/463.05 c implics : 0.00 0 0 0 0 0 0 0 0
462.84/463.05 c probing : 0.01 0 0 0 0 0 0 0 0
462.84/463.05 c linear : 0.01 0 0 0 0 0 41 41 0
462.84/463.05 c logicor : 0.00 0 0 0 0 0 0 0 0
462.84/463.05 c root node : - 240 - - 240 - - - -
462.84/463.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
462.84/463.05 c integral : 0 0 0 0 0 0 0 0 0 0
462.84/463.05 c logicor : 50+ 0 3388483 0 0 940124 790611 0 0 0
462.84/463.05 c countsols : 0 0 0 0 2 0 0 0 0 0
462.84/463.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
462.84/463.05 c integral : 0.00 0.00 0.00 0.00 0.00
462.84/463.05 c logicor : 72.89 0.00 72.89 0.00 0.00
462.84/463.05 c countsols : 0.00 0.00 0.00 0.00 0.00
462.84/463.05 c Propagators : Time Calls Cutoffs DomReds
462.84/463.05 c vbounds : 2.51 2 0 0
462.84/463.05 c rootredcost : 2.59 0 0 0
462.84/463.05 c pseudoobj : 184.37 6076472 119481 128047767
462.84/463.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
462.84/463.05 c propagation : 46.61 587283 587282 587282 25.6 1538 44.9 -
462.84/463.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
462.84/463.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
462.84/463.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
462.84/463.05 c pseudo solution : 0.00 38 38 38 5.1 0 0.0 -
462.84/463.05 c applied globally : - - - 425726 18.0 - - -
462.84/463.05 c applied locally : - - - 162008 45.5 - - -
462.84/463.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
462.84/463.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
462.84/463.05 c redcost : 0.00 0 0 0 0 0
462.84/463.05 c impliedbounds : 0.00 0 0 0 0 0
462.84/463.05 c intobj : 0.00 0 0 0 0 0
462.84/463.05 c cgmip : 0.00 0 0 0 0 0
462.84/463.05 c gomory : 0.00 0 0 0 0 0
462.84/463.05 c strongcg : 0.00 0 0 0 0 0
462.84/463.05 c cmir : 0.00 0 0 0 0 0
462.84/463.05 c flowcover : 0.00 0 0 0 0 0
462.84/463.05 c clique : 0.00 0 0 0 0 0
462.84/463.05 c zerohalf : 0.00 0 0 0 0 0
462.84/463.05 c mcf : 0.00 0 0 0 0 0
462.84/463.05 c rapidlearning : 0.00 0 0 0 0 0
462.84/463.05 c Pricers : Time Calls Vars
462.84/463.05 c problem variables: 0.00 0 0
462.84/463.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
462.84/463.05 c relpscost : 0.00 0 0 0 0 0 0
462.84/463.05 c pscost : 0.00 0 0 0 0 0 0
462.84/463.05 c inference : 30.72 1092916 0 0 0 0 2185832
462.84/463.05 c mostinf : 0.00 0 0 0 0 0 0
462.84/463.05 c leastinf : 0.00 0 0 0 0 0 0
462.84/463.06 c fullstrong : 0.00 0 0 0 0 0 0
462.84/463.06 c allfullstrong : 0.00 0 0 0 0 0 0
462.84/463.06 c random : 0.00 0 0 0 0 0 0
462.84/463.06 c Primal Heuristics : Time Calls Found
462.84/463.06 c LP solutions : 0.00 - 0
462.84/463.06 c pseudo solutions : 0.00 - 2
462.84/463.06 c oneopt : 1.59 0 0
462.84/463.06 c trivial : 0.00 2 3
462.84/463.06 c simplerounding : 0.00 0 0
462.84/463.06 c zirounding : 0.00 0 0
462.84/463.06 c rounding : 0.00 0 0
462.84/463.06 c shifting : 0.00 0 0
462.84/463.06 c intshifting : 0.00 0 0
462.84/463.06 c twoopt : 0.00 0 0
462.84/463.06 c fixandinfer : 0.00 0 0
462.84/463.06 c feaspump : 0.00 0 0
462.84/463.06 c coefdiving : 0.00 0 0
462.84/463.06 c pscostdiving : 0.00 0 0
462.84/463.06 c fracdiving : 0.00 0 0
462.84/463.06 c veclendiving : 0.00 0 0
462.84/463.06 c intdiving : 0.00 0 0
462.84/463.06 c actconsdiving : 0.00 0 0
462.84/463.06 c objpscostdiving : 0.00 0 0
462.84/463.06 c rootsoldiving : 0.00 0 0
462.84/463.06 c linesearchdiving : 0.00 0 0
462.84/463.06 c guideddiving : 0.00 0 0
462.84/463.06 c octane : 0.00 0 0
462.84/463.06 c rens : 0.00 0 0
462.84/463.06 c rins : 0.00 0 0
462.84/463.06 c localbranching : 0.00 0 0
462.84/463.06 c mutation : 0.00 0 0
462.84/463.06 c crossover : 0.00 0 0
462.84/463.06 c dins : 0.00 0 0
462.84/463.06 c undercover : 0.00 0 0
462.84/463.06 c nlp : 0.78 0 0
462.84/463.06 c trysol : 0.72 0 0
462.84/463.06 c LP : Time Calls Iterations Iter/call Iter/sec
462.84/463.06 c primal LP : 0.00 0 0 0.00 -
462.84/463.06 c dual LP : 0.00 0 0 0.00 -
462.84/463.06 c lex dual LP : 0.00 0 0 0.00 -
462.84/463.06 c barrier LP : 0.00 0 0 0.00 -
462.84/463.06 c diving/probing LP: 0.00 0 0 0.00 -
462.84/463.06 c strong branching : 0.00 0 0 0.00 -
462.84/463.06 c (at root node) : - 0 0 0.00 -
462.84/463.06 c conflict analysis: 0.00 0 0 0.00 -
462.84/463.06 c B&B Tree :
462.84/463.06 c number of runs : 1
462.84/463.06 c nodes : 2062288
462.84/463.06 c nodes (total) : 2062288
462.84/463.06 c nodes left : 0
462.84/463.06 c max depth : 234
462.84/463.06 c max depth (total): 234
462.84/463.06 c backtracks : 1000800 (48.5%)
462.84/463.06 c delayed cutoffs : 123532
462.84/463.06 c repropagations : 1951673 (9767602 domain reductions, 90273 cutoffs)
462.84/463.06 c avg switch length: 3.49
462.84/463.06 c switching time : 65.13
462.84/463.06 c Solution :
462.84/463.06 c Solutions found : 5 (3 improvements)
462.84/463.06 c First Solution : +2.40000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
462.84/463.06 c Primal Bound : +5.00000000000000e+00 (in run 1, after 2757 nodes, 0.33 seconds, depth 216, found by <relaxation>)
462.84/463.06 c Dual Bound : +5.00000000000000e+00
462.84/463.06 c Gap : 0.00 %
462.84/463.06 c Root Dual Bound : +0.00000000000000e+00
462.84/463.06 c Root Iterations : 0
462.84/463.06 c Time complete: 462.9.