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-2687678-1278455058.opb>
1.09/1.11 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 59613 constraints
1.09/1.11 c problem read
1.09/1.11 c presolving settings loaded
1.09/1.12 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
1.39/1.45 c presolving:
4.89/4.99 c (round 1) 923 del vars, 2264 del conss, 579 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4095272 impls, 0 clqs
5.99/6.04 c (round 2) 2365 del vars, 6906 del conss, 1871 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4101957 impls, 0 clqs
6.28/6.33 c (round 3) 2824 del vars, 9093 del conss, 2077 chg bounds, 43 chg sides, 54 chg coeffs, 0 upgd conss, 4105889 impls, 0 clqs
6.49/6.52 c (round 4) 2986 del vars, 9786 del conss, 2175 chg bounds, 69 chg sides, 80 chg coeffs, 0 upgd conss, 4107110 impls, 0 clqs
6.60/6.62 c (round 5) 3039 del vars, 10075 del conss, 2193 chg bounds, 69 chg sides, 80 chg coeffs, 0 upgd conss, 4107419 impls, 0 clqs
6.69/6.70 c (round 6) 3049 del vars, 10141 del conss, 2193 chg bounds, 69 chg sides, 80 chg coeffs, 0 upgd conss, 4107489 impls, 0 clqs
6.69/6.77 c (round 7) 3049 del vars, 10146 del conss, 2193 chg bounds, 69 chg sides, 80 chg coeffs, 0 upgd conss, 4107489 impls, 0 clqs
7.29/7.36 c (round 8) 3049 del vars, 10146 del conss, 2193 chg bounds, 69 chg sides, 80 chg coeffs, 49467 upgd conss, 4107489 impls, 0 clqs
7.69/7.74 c (round 9) 3049 del vars, 10146 del conss, 2193 chg bounds, 83 chg sides, 229 chg coeffs, 49467 upgd conss, 4108119 impls, 0 clqs
176.53/176.66 c (173.8s) probing: 1000/15613 (6.4%) - 5 fixings, 1 aggregations, 3607127 implications, 0 bound changes
271.11/271.20 c (267.3s) probing: 2000/15613 (12.8%) - 7 fixings, 1 aggregations, 6194395 implications, 0 bound changes
379.88/380.00 c (375.1s) probing: 3000/15613 (19.2%) - 9 fixings, 1 aggregations, 8429272 implications, 0 bound changes
471.35/471.54 c (465.9s) probing: 4000/15613 (25.6%) - 10 fixings, 5 aggregations, 10093131 implications, 0 bound changes
551.13/551.31 c (545.0s) probing: 5000/15613 (32.0%) - 10 fixings, 6 aggregations, 11518474 implications, 0 bound changes
630.40/630.62 c (623.7s) probing: 6000/15613 (38.4%) - 10 fixings, 6 aggregations, 12813780 implications, 0 bound changes
631.90/632.19 c (625.3s) probing: 6016/15613 (38.5%) - 10 fixings, 6 aggregations, 12837023 implications, 0 bound changes
631.90/632.19 c (625.3s) probing aborted: 2000/2000 successive useless probings
631.90/632.20 c (round 10) 3065 del vars, 10148 del conss, 2193 chg bounds, 83 chg sides, 234 chg coeffs, 49467 upgd conss, 40092337 impls, 17 clqs
633.70/633.92 c (round 11) 3065 del vars, 10273 del conss, 2193 chg bounds, 83 chg sides, 307 chg coeffs, 49467 upgd conss, 40092337 impls, 17 clqs
634.10/634.32 c (round 12) 3065 del vars, 10277 del conss, 2193 chg bounds, 100 chg sides, 364 chg coeffs, 49467 upgd conss, 40092337 impls, 29 clqs
663.59/663.87 c (656.8s) probing: 6216/15613 (39.8%) - 10 fixings, 6 aggregations, 13105776 implications, 0 bound changes
663.59/663.87 c (656.8s) probing aborted: 2000/2000 successive useless probings
663.59/663.87 c presolving (13 rounds):
663.59/663.87 c 3065 deleted vars, 10277 deleted constraints, 2193 tightened bounds, 0 added holes, 100 changed sides, 368 changed coefficients
663.59/663.87 c 40681519 implications, 29 cliques
663.59/663.87 c presolved problem has 15597 variables (15597 bin, 0 int, 0 impl, 0 cont) and 49356 constraints
663.59/663.87 c 1129 constraints of type <knapsack>
663.59/663.87 c 20 constraints of type <setppc>
663.59/663.87 c 48207 constraints of type <logicor>
663.59/663.87 c transformed objective value is always integral (scale: 1)
663.59/663.87 c Presolving Time: 656.66
663.59/663.87 c - non default parameters ----------------------------------------------------------------------
663.59/663.87 c # SCIP version 1.2.1.2
663.59/663.87 c
663.59/663.87 c # frequency for displaying node information lines
663.59/663.87 c # [type: int, range: [-1,2147483647], default: 100]
663.59/663.87 c display/freq = 10000
663.59/663.87 c
663.59/663.87 c # maximal time in seconds to run
663.59/663.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
663.59/663.87 c limits/time = 1798.89
663.59/663.87 c
663.59/663.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
663.59/663.87 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
663.59/663.87 c limits/memory = 1620
663.59/663.87 c
663.59/663.87 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
663.59/663.87 c # [type: int, range: [-1,2147483647], default: 1]
663.59/663.87 c lp/solvefreq = -1
663.59/663.87 c
663.59/663.87 c # should presolving try to simplify inequalities
663.59/663.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
663.59/663.87 c constraints/linear/simplifyinequalities = TRUE
663.59/663.87 c
663.59/663.87 c # should presolving try to simplify knapsacks
663.59/663.87 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
663.59/663.87 c constraints/knapsack/simplifyinequalities = TRUE
663.59/663.87 c
663.59/663.87 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
663.59/663.87 c # [type: int, range: [-1,2147483647], default: -1]
663.59/663.87 c separating/rapidlearning/freq = 0
663.59/663.87 c
663.59/663.87 c -----------------------------------------------------------------------------------------------
663.59/663.87 c start solving
663.69/663.92 c
663.79/664.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.79/664.00 c 657s| 1 | 2 | 0 | - |1123M| 0 | - | 15k| 49k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
686.58/686.80 o 300
686.58/686.80 c * 680s| 1114 | 954 | 0 | 0.0 |1125M| 591 | - | 15k| 49k| 0 | 0 | 0 | 3 | 0 | 0.000000e+00 | 3.000000e+02 | Inf
758.66/758.96 o 299
758.66/758.96 c * 752s| 4498 | 4220 | 0 | 0.0 |1125M|2186 | - | 15k| 49k| 0 | 0 | 0 | 7 | 0 | 0.000000e+00 | 2.990000e+02 | Inf
803.14/803.47 o 298
803.14/803.47 c * 796s| 6783 | 5134 | 0 | 0.0 |1126M|2186 | - | 15k| 49k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | 2.980000e+02 | Inf
813.14/813.45 o 297
813.14/813.45 c * 806s| 7400 | 5693 | 0 | 0.0 |1127M|2186 | - | 15k| 49k| 0 | 0 | 0 | 10 | 0 | 0.000000e+00 | 2.970000e+02 | Inf
817.64/817.91 o 292
817.64/817.91 c * 810s| 7489 | 5756 | 0 | 0.0 |1124M|2186 | - | 15k| 49k| 0 | 0 | 0 | 11 | 0 | 0.000000e+00 | 2.920000e+02 | Inf
856.64/856.97 o 291
856.64/856.97 c * 849s| 8389 | 6599 | 0 | 0.0 |1103M|2186 | - | 15k| 48k| 0 | 0 | 0 | 17 | 0 | 0.000000e+00 | 2.910000e+02 | Inf
867.63/867.99 o 290
867.63/867.99 c * 860s| 8858 | 7028 | 0 | 0.0 |1100M|2186 | - | 15k| 48k| 0 | 0 | 0 | 18 | 0 | 0.000000e+00 | 2.900000e+02 | Inf
879.01/879.33 o 289
879.01/879.33 c * 872s| 9340 | 7475 | 0 | 0.0 |1096M|2186 | - | 15k| 47k| 0 | 0 | 0 | 19 | 0 | 0.000000e+00 | 2.890000e+02 | Inf
896.51/896.85 c 889s| 10000 | 8099 | 0 | 0.0 |1092M|2186 | - | 15k| 47k| 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | 2.890000e+02 | Inf
901.41/901.78 o 288
901.41/901.78 c * 894s| 10338 | 8084 | 0 | 0.0 |1092M|2186 | - | 15k| 47k| 0 | 0 | 0 | 20 | 0 | 0.000000e+00 | 2.880000e+02 | Inf
921.81/922.17 o 287
921.81/922.17 c * 914s| 11312 | 8793 | 0 | 0.0 |1089M|2186 | - | 15k| 47k| 0 | 0 | 0 | 25 | 0 | 0.000000e+00 | 2.870000e+02 | Inf
929.11/929.44 o 286
929.11/929.44 c * 922s| 11543 | 8972 | 0 | 0.0 |1085M|2186 | - | 15k| 47k| 0 | 0 | 0 | 26 | 0 | 0.000000e+00 | 2.860000e+02 | Inf
941.59/941.93 o 285
941.59/941.93 c * 934s| 12040 | 9238 | 0 | 0.0 |1082M|2186 | - | 15k| 47k| 0 | 0 | 0 | 28 | 0 | 0.000000e+00 | 2.850000e+02 | Inf
960.99/961.31 o 284
960.99/961.31 c * 953s| 12941 | 9827 | 0 | 0.0 |1079M|2186 | - | 15k| 47k| 0 | 0 | 0 | 31 | 0 | 0.000000e+00 | 2.840000e+02 | Inf
982.28/982.67 o 283
982.28/982.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.28/982.67 c * 975s| 14027 | 10581 | 0 | 0.0 |1076M|2186 | - | 15k| 47k| 0 | 0 | 0 | 35 | 0 | 0.000000e+00 | 2.830000e+02 | Inf
1025.27/1025.61 o 282
1025.27/1025.61 c *1018s| 16378 | 12006 | 0 | 0.0 |1075M|2186 | - | 15k| 46k| 0 | 0 | 0 | 55 | 0 | 0.000000e+00 | 2.820000e+02 | Inf
1047.46/1047.88 o 281
1047.46/1047.88 c *1040s| 17480 | 12670 | 0 | 0.0 |1072M|2186 | - | 15k| 46k| 0 | 0 | 0 | 66 | 0 | 0.000000e+00 | 2.810000e+02 | Inf
1086.35/1086.79 o 280
1086.35/1086.79 c *1079s| 19784 | 14186 | 0 | 0.0 |1070M|2186 | - | 15k| 46k| 0 | 0 | 0 | 67 | 0 | 0.000000e+00 | 2.800000e+02 | Inf
1090.45/1090.83 c 1083s| 20000 | 14402 | 0 | 0.0 |1071M|2186 | - | 15k| 46k| 0 | 0 | 0 | 67 | 0 | 0.000000e+00 | 2.800000e+02 | Inf
1097.25/1097.63 o 279
1097.25/1097.63 c *1089s| 20289 | 14502 | 0 | 0.0 |1067M|2186 | - | 15k| 46k| 0 | 0 | 0 | 68 | 0 | 0.000000e+00 | 2.790000e+02 | Inf
1118.73/1119.12 o 278
1118.73/1119.12 c *1111s| 21439 | 15153 | 0 | 0.0 |1064M|2186 | - | 15k| 46k| 0 | 0 | 0 | 69 | 0 | 0.000000e+00 | 2.780000e+02 | Inf
1183.92/1184.31 o 277
1183.92/1184.31 c *1176s| 25225 | 17411 | 0 | 0.0 |1065M|2186 | - | 15k| 46k| 0 | 0 | 0 | 71 | 0 | 0.000000e+00 | 2.770000e+02 | Inf
1192.32/1192.75 o 276
1192.32/1192.75 c *1184s| 25565 | 17649 | 0 | 0.0 |1061M|2186 | - | 15k| 46k| 0 | 0 | 0 | 72 | 0 | 0.000000e+00 | 2.760000e+02 | Inf
1210.21/1210.63 o 275
1210.21/1210.63 c *1202s| 26520 | 18298 | 0 | 0.0 |1059M|2186 | - | 15k| 45k| 0 | 0 | 0 | 73 | 0 | 0.000000e+00 | 2.750000e+02 | Inf
1214.71/1215.13 o 274
1214.71/1215.13 c *1206s| 26666 | 18385 | 0 | 0.0 |1055M|2186 | - | 15k| 45k| 0 | 0 | 0 | 74 | 0 | 0.000000e+00 | 2.740000e+02 | Inf
1223.30/1223.70 o 273
1223.30/1223.70 c *1215s| 27001 | 18615 | 0 | 0.0 |1052M|2186 | - | 15k| 45k| 0 | 0 | 0 | 75 | 0 | 0.000000e+00 | 2.730000e+02 | Inf
1246.79/1247.22 o 272
1246.79/1247.22 c *1238s| 28446 | 19517 | 0 | 0.0 |1050M|2186 | - | 15k| 45k| 0 | 0 | 0 | 81 | 0 | 0.000000e+00 | 2.720000e+02 | Inf
1262.40/1262.84 o 271
1262.40/1262.84 c *1254s| 29295 | 20219 | 0 | 0.0 |1048M|2186 | - | 15k| 45k| 0 | 0 | 0 | 100 | 0 | 0.000000e+00 | 2.710000e+02 | Inf
1271.39/1271.80 o 270
1271.39/1271.80 c *1263s| 29701 | 20433 | 0 | 0.0 |1045M|2186 | - | 15k| 45k| 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | 2.700000e+02 | Inf
1276.78/1277.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.78/1277.28 c 1268s| 30000 | 20731 | 0 | 0.0 |1045M|2186 | - | 15k| 45k| 0 | 0 | 0 | 101 | 0 | 0.000000e+00 | 2.700000e+02 | Inf
1281.68/1282.15 o 269
1281.68/1282.15 c *1273s| 30172 | 20791 | 0 | 0.0 |1042M|2186 | - | 15k| 44k| 0 | 0 | 0 | 107 | 0 | 0.000000e+00 | 2.690000e+02 | Inf
1303.38/1303.80 o 268
1303.38/1303.80 c *1295s| 31422 | 21740 | 0 | 0.0 |1040M|2186 | - | 15k| 44k| 0 | 0 | 0 | 131 | 0 | 0.000000e+00 | 2.680000e+02 | Inf
1312.88/1313.38 o 267
1312.88/1313.38 c *1304s| 31878 | 22015 | 0 | 0.0 |1037M|2186 | - | 15k| 44k| 0 | 0 | 0 | 136 | 0 | 0.000000e+00 | 2.670000e+02 | Inf
1329.38/1329.82 o 266
1329.38/1329.82 c *1321s| 32813 | 22757 | 0 | 0.0 |1035M|2186 | - | 15k| 44k| 0 | 0 | 0 | 145 | 0 | 0.000000e+00 | 2.660000e+02 | Inf
1337.97/1338.42 o 265
1337.97/1338.42 c *1329s| 33213 | 22956 | 0 | 0.0 |1032M|2186 | - | 15k| 44k| 0 | 0 | 0 | 146 | 0 | 0.000000e+00 | 2.650000e+02 | Inf
1380.85/1381.39 o 264
1380.85/1381.39 c *1372s| 35704 | 24354 | 0 | 0.0 |1032M|2186 | - | 15k| 44k| 0 | 0 | 0 | 152 | 0 | 0.000000e+00 | 2.640000e+02 | Inf
1395.25/1395.76 o 263
1395.25/1395.76 c *1386s| 36474 | 24761 | 0 | 0.0 |1030M|2186 | - | 15k| 44k| 0 | 0 | 0 | 155 | 0 | 0.000000e+00 | 2.630000e+02 | Inf
1437.84/1438.32 o 262
1437.84/1438.32 c *1429s| 38889 | 26157 | 0 | 0.0 |1029M|2186 | - | 15k| 43k| 0 | 0 | 0 | 159 | 0 | 0.000000e+00 | 2.620000e+02 | Inf
1443.04/1443.57 o 261
1443.04/1443.57 c *1434s| 39152 | 26272 | 0 | 0.0 |1025M|2186 | - | 15k| 43k| 0 | 0 | 0 | 163 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
1448.84/1449.32 o 260
1448.84/1449.32 c *1440s| 39432 | 26396 | 0 | 0.0 |1022M|2186 | - | 15k| 43k| 0 | 0 | 0 | 199 | 0 | 0.000000e+00 | 2.600000e+02 | Inf
1454.53/1455.03 o 259
1454.53/1455.03 c *1445s| 39707 | 26517 | 0 | 0.0 |1018M|2186 | - | 15k| 43k| 0 | 0 | 0 | 208 | 0 | 0.000000e+00 | 2.590000e+02 | Inf
1460.74/1461.24 c 1452s| 40000 | 26805 | 0 | 0.0 |1014M|2186 | - | 15k| 43k| 0 | 0 | 0 | 219 | 0 | 0.000000e+00 | 2.590000e+02 | Inf
1460.84/1461.31 o 258
1460.84/1461.31 c *1452s| 40007 | 26670 | 0 | 0.0 |1015M|2186 | - | 15k| 43k| 0 | 0 | 0 | 219 | 0 | 0.000000e+00 | 2.580000e+02 | Inf
1466.33/1466.90 o 257
1466.33/1466.90 c *1457s| 40280 | 26800 | 0 | 0.0 |1011M|2186 | - | 15k| 43k| 0 | 0 | 0 | 230 | 0 | 0.000000e+00 | 2.570000e+02 | Inf
1467.63/1468.17 o 235
1467.63/1468.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.63/1468.17 c *1459s| 40419 | 26777 | 0 | 0.0 |1012M|2186 | - | 15k| 43k| 0 | 0 | 0 | 230 | 0 | 0.000000e+00 | 2.350000e+02 | Inf
1476.73/1477.24 o 234
1476.73/1477.24 c *1468s| 41153 | 27316 | 0 | 0.0 |1013M|2186 | - | 15k| 43k| 0 | 0 | 0 | 253 | 0 | 0.000000e+00 | 2.340000e+02 | Inf
1480.53/1481.08 o 233
1480.53/1481.08 c *1471s| 41490 | 27473 | 0 | 0.0 |1013M|2186 | - | 15k| 43k| 0 | 0 | 0 | 263 | 0 | 0.000000e+00 | 2.330000e+02 | Inf
1541.11/1541.65 o 232
1541.11/1541.65 c *1532s| 41767 | 27570 | 0 | 0.0 | 916M|2186 | - | 15k| 39k| 0 | 0 | 0 | 265 | 0 | 0.000000e+00 | 2.320000e+02 | Inf
1546.02/1546.50 o 231
1546.02/1546.50 c *1537s| 42002 | 27651 | 0 | 0.0 | 912M|2186 | - | 15k| 38k| 0 | 0 | 0 | 266 | 0 | 0.000000e+00 | 2.310000e+02 | Inf
1551.21/1551.77 o 230
1551.21/1551.77 c *1542s| 42265 | 27730 | 0 | 0.0 | 908M|2186 | - | 15k| 38k| 0 | 0 | 0 | 268 | 0 | 0.000000e+00 | 2.300000e+02 | Inf
1556.21/1556.70 o 229
1556.21/1556.70 c *1547s| 42496 | 27826 | 0 | 0.0 | 904M|2186 | - | 15k| 38k| 0 | 0 | 0 | 269 | 0 | 0.000000e+00 | 2.290000e+02 | Inf
1561.11/1561.61 o 228
1561.11/1561.61 c *1552s| 42751 | 27915 | 0 | 0.0 | 901M|2186 | - | 15k| 38k| 0 | 0 | 0 | 270 | 0 | 0.000000e+00 | 2.280000e+02 | Inf
1565.70/1566.24 o 227
1565.70/1566.24 c *1556s| 42957 | 28005 | 0 | 0.0 | 897M|2186 | - | 15k| 38k| 0 | 0 | 0 | 271 | 0 | 0.000000e+00 | 2.270000e+02 | Inf
1570.31/1570.83 o 226
1570.31/1570.83 c *1561s| 43168 | 28091 | 0 | 0.0 | 893M|2186 | - | 15k| 38k| 0 | 0 | 0 | 292 | 0 | 0.000000e+00 | 2.260000e+02 | Inf
1575.10/1575.69 o 225
1575.10/1575.69 c *1566s| 43418 | 28180 | 0 | 0.0 | 889M|2186 | - | 15k| 37k| 0 | 0 | 0 | 293 | 0 | 0.000000e+00 | 2.250000e+02 | Inf
1580.21/1580.75 o 224
1580.21/1580.75 c *1571s| 43663 | 28282 | 0 | 0.0 | 886M|2186 | - | 15k| 37k| 0 | 0 | 0 | 294 | 0 | 0.000000e+00 | 2.240000e+02 | Inf
1584.69/1585.21 o 223
1584.69/1585.21 c *1575s| 43877 | 28394 | 0 | 0.0 | 882M|2186 | - | 15k| 37k| 0 | 0 | 0 | 295 | 0 | 0.000000e+00 | 2.230000e+02 | Inf
1589.29/1589.80 o 222
1589.29/1589.80 c *1580s| 44088 | 28500 | 0 | 0.0 | 878M|2186 | - | 15k| 37k| 0 | 0 | 0 | 305 | 0 | 0.000000e+00 | 2.220000e+02 | Inf
1593.80/1594.34 o 221
1593.80/1594.34 c *1584s| 44318 | 28592 | 0 | 0.0 | 874M|2186 | - | 15k| 37k| 0 | 0 | 0 | 306 | 0 | 0.000000e+00 | 2.210000e+02 | Inf
1598.80/1599.32 o 220
1598.80/1599.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1598.80/1599.32 c *1589s| 44566 | 28698 | 0 | 0.0 | 871M|2186 | - | 15k| 37k| 0 | 0 | 0 | 307 | 0 | 0.000000e+00 | 2.200000e+02 | Inf
1602.99/1603.58 o 219
1602.99/1603.58 c *1594s| 44771 | 28799 | 0 | 0.0 | 867M|2186 | - | 15k| 37k| 0 | 0 | 0 | 310 | 0 | 0.000000e+00 | 2.190000e+02 | Inf
1607.29/1607.85 o 218
1607.29/1607.85 c *1598s| 44961 | 28903 | 0 | 0.0 | 863M|2186 | - | 15k| 36k| 0 | 0 | 0 | 311 | 0 | 0.000000e+00 | 2.180000e+02 | Inf
1611.59/1612.14 o 217
1611.59/1612.14 c *1602s| 45180 | 28997 | 0 | 0.0 | 859M|2186 | - | 15k| 36k| 0 | 0 | 0 | 312 | 0 | 0.000000e+00 | 2.170000e+02 | Inf
1614.79/1615.34 o 215
1614.79/1615.34 c *1605s| 45298 | 28993 | 0 | 0.0 | 855M|2186 | - | 15k| 36k| 0 | 0 | 0 | 313 | 0 | 0.000000e+00 | 2.150000e+02 | Inf
1622.39/1623.00 o 214
1622.39/1623.00 c *1613s| 45640 | 29221 | 0 | 0.0 | 847M|2186 | - | 15k| 36k| 0 | 0 | 0 | 319 | 0 | 0.000000e+00 | 2.140000e+02 | Inf
1625.48/1626.06 o 212
1625.48/1626.06 c *1616s| 45745 | 29217 | 0 | 0.0 | 843M|2186 | - | 15k| 36k| 0 | 0 | 0 | 320 | 0 | 0.000000e+00 | 2.120000e+02 | Inf
1633.48/1634.02 o 211
1633.48/1634.02 c *1624s| 46130 | 29487 | 0 | 0.0 | 836M|2186 | - | 15k| 35k| 0 | 0 | 0 | 322 | 0 | 0.000000e+00 | 2.110000e+02 | Inf
1636.49/1637.07 o 209
1636.49/1637.07 c *1627s| 46243 | 29483 | 0 | 0.0 | 832M|2186 | - | 15k| 35k| 0 | 0 | 0 | 323 | 0 | 0.000000e+00 | 2.090000e+02 | Inf
1643.58/1644.18 o 208
1643.58/1644.18 c *1634s| 46581 | 29707 | 0 | 0.0 | 824M|2186 | - | 15k| 35k| 0 | 0 | 0 | 329 | 0 | 0.000000e+00 | 2.080000e+02 | Inf
1647.67/1648.21 o 207
1647.67/1648.21 c *1638s| 46773 | 29795 | 0 | 0.0 | 820M|2186 | - | 15k| 35k| 0 | 0 | 0 | 336 | 0 | 0.000000e+00 | 2.070000e+02 | Inf
1651.38/1651.96 o 206
1651.38/1651.96 c *1642s| 46962 | 29901 | 0 | 0.0 | 816M|2186 | - | 15k| 35k| 0 | 0 | 0 | 337 | 0 | 0.000000e+00 | 2.060000e+02 | Inf
1655.58/1656.13 o 205
1655.58/1656.13 c *1646s| 47177 | 29999 | 0 | 0.0 | 812M|2186 | - | 15k| 34k| 0 | 0 | 0 | 338 | 0 | 0.000000e+00 | 2.050000e+02 | Inf
1657.08/1657.66 o 175
1657.08/1657.66 c *1648s| 47337 | 30022 | 0 | 0.0 | 813M|2186 | - | 15k| 34k| 0 | 0 | 0 | 338 | 0 | 0.000000e+00 | 1.750000e+02 | Inf
1705.07/1705.64 o 174
1705.07/1705.64 c *1695s| 47743 | 30242 | 0 | 0.0 | 683M|2186 | - | 15k| 29k| 0 | 0 | 0 | 351 | 0 | 0.000000e+00 | 1.740000e+02 | Inf
1707.67/1708.28 o 173
1707.67/1708.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.67/1708.28 c *1698s| 47895 | 30285 | 0 | 0.0 | 679M|2186 | - | 15k| 29k| 0 | 0 | 0 | 352 | 0 | 0.000000e+00 | 1.730000e+02 | Inf
1711.26/1711.81 o 172
1711.26/1711.81 c *1702s| 48120 | 30339 | 0 | 0.0 | 675M|2186 | - | 15k| 29k| 0 | 0 | 0 | 353 | 0 | 0.000000e+00 | 1.720000e+02 | Inf
1714.46/1715.03 o 171
1714.46/1715.03 c *1705s| 48325 | 30292 | 0 | 0.0 | 671M|2186 | - | 15k| 29k| 0 | 0 | 0 | 354 | 0 | 0.000000e+00 | 1.710000e+02 | Inf
1717.06/1717.69 o 170
1717.06/1717.69 c *1707s| 48484 | 30343 | 0 | 0.0 | 667M|2186 | - | 15k| 29k| 0 | 0 | 0 | 355 | 0 | 0.000000e+00 | 1.700000e+02 | Inf
1719.66/1720.25 o 169
1719.66/1720.25 c *1710s| 48625 | 30374 | 0 | 0.0 | 663M|2186 | - | 15k| 28k| 0 | 0 | 0 | 356 | 0 | 0.000000e+00 | 1.690000e+02 | Inf
1722.66/1723.26 o 168
1722.66/1723.26 c *1713s| 48810 | 30383 | 0 | 0.0 | 660M|2186 | - | 15k| 28k| 0 | 0 | 0 | 357 | 0 | 0.000000e+00 | 1.680000e+02 | Inf
1724.85/1725.48 o 167
1724.85/1725.48 c *1715s| 48933 | 30381 | 0 | 0.0 | 656M|2186 | - | 15k| 28k| 0 | 0 | 0 | 358 | 0 | 0.000000e+00 | 1.670000e+02 | Inf
1727.05/1727.69 o 166
1727.05/1727.69 c *1717s| 49058 | 30422 | 0 | 0.0 | 652M|2186 | - | 15k| 28k| 0 | 0 | 0 | 362 | 0 | 0.000000e+00 | 1.660000e+02 | Inf
1729.25/1729.82 o 165
1729.25/1729.82 c *1720s| 49181 | 30442 | 0 | 0.0 | 648M|2186 | - | 15k| 28k| 0 | 0 | 0 | 367 | 0 | 0.000000e+00 | 1.650000e+02 | Inf
1731.56/1732.13 o 164
1731.56/1732.13 c *1722s| 49308 | 30469 | 0 | 0.0 | 645M|2186 | - | 15k| 28k| 0 | 0 | 0 | 371 | 0 | 0.000000e+00 | 1.640000e+02 | Inf
1733.66/1734.23 o 163
1733.66/1734.23 c *1724s| 49429 | 30493 | 0 | 0.0 | 641M|2186 | - | 15k| 28k| 0 | 0 | 0 | 372 | 0 | 0.000000e+00 | 1.630000e+02 | Inf
1735.56/1736.18 o 162
1735.56/1736.18 c *1726s| 49530 | 30524 | 0 | 0.0 | 637M|2186 | - | 15k| 27k| 0 | 0 | 0 | 381 | 0 | 0.000000e+00 | 1.620000e+02 | Inf
1736.95/1737.57 o 159
1736.95/1737.57 c *1727s| 49583 | 30520 | 0 | 0.0 | 633M|2186 | - | 15k| 27k| 0 | 0 | 0 | 382 | 0 | 0.000000e+00 | 1.590000e+02 | Inf
1741.46/1742.07 o 158
1741.46/1742.07 c *1732s| 49779 | 30602 | 0 | 0.0 | 622M|2186 | - | 15k| 27k| 0 | 0 | 0 | 395 | 0 | 0.000000e+00 | 1.580000e+02 | Inf
1743.26/1743.84 o 157
1743.26/1743.84 c *1734s| 49869 | 30635 | 0 | 0.0 | 618M|2186 | - | 15k| 27k| 0 | 0 | 0 | 405 | 0 | 0.000000e+00 | 1.570000e+02 | Inf
1745.25/1745.88 o 156
1745.25/1745.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.25/1745.88 c *1736s| 49987 | 30674 | 0 | 0.0 | 614M|2186 | - | 15k| 26k| 0 | 0 | 0 | 406 | 0 | 0.000000e+00 | 1.560000e+02 | Inf
1745.45/1746.04 c 1736s| 50000 | 30684 | 0 | 0.0 | 614M|2186 | - | 15k| 26k| 0 | 0 | 0 | 406 | 0 | 0.000000e+00 | 1.560000e+02 | Inf
1746.95/1747.58 o 155
1746.95/1747.58 c *1737s| 50084 | 30696 | 0 | 0.0 | 611M|2186 | - | 15k| 26k| 0 | 0 | 0 | 407 | 0 | 0.000000e+00 | 1.550000e+02 | Inf
1748.46/1749.07 o 154
1748.46/1749.07 c *1739s| 50147 | 30719 | 0 | 0.0 | 607M|2186 | - | 15k| 26k| 0 | 0 | 0 | 408 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
1750.05/1750.64 o 153
1750.05/1750.64 c *1740s| 50224 | 30740 | 0 | 0.0 | 603M|2186 | - | 15k| 26k| 0 | 0 | 0 | 425 | 0 | 0.000000e+00 | 1.530000e+02 | Inf
1751.95/1752.51 o 152
1751.95/1752.51 c *1742s| 50335 | 30775 | 0 | 0.0 | 599M|2186 | - | 15k| 26k| 0 | 0 | 0 | 426 | 0 | 0.000000e+00 | 1.520000e+02 | Inf
1753.45/1754.04 o 151
1753.45/1754.04 c *1744s| 50419 | 30783 | 0 | 0.0 | 595M|2186 | - | 15k| 26k| 0 | 0 | 0 | 427 | 0 | 0.000000e+00 | 1.510000e+02 | Inf
1755.25/1755.82 o 150
1755.25/1755.82 c *1745s| 50526 | 30810 | 0 | 0.0 | 592M|2186 | - | 15k| 26k| 0 | 0 | 0 | 431 | 0 | 0.000000e+00 | 1.500000e+02 | Inf
1756.75/1757.34 o 149
1756.75/1757.34 c *1747s| 50600 | 30833 | 0 | 0.0 | 588M|2186 | - | 15k| 25k| 0 | 0 | 0 | 432 | 0 | 0.000000e+00 | 1.490000e+02 | Inf
1757.16/1757.76 o 135
1757.16/1757.76 c *1747s| 50651 | 30822 | 0 | 0.0 | 588M|2186 | - | 15k| 25k| 0 | 0 | 0 | 440 | 0 | 0.000000e+00 | 1.350000e+02 | Inf
1758.65/1759.21 o 134
1758.65/1759.21 c *1749s| 50795 | 30883 | 0 | 0.0 | 588M|2186 | - | 15k| 25k| 0 | 0 | 0 | 453 | 0 | 0.000000e+00 | 1.340000e+02 | Inf
1759.24/1759.89 o 133
1759.24/1759.89 c *1749s| 50872 | 30905 | 0 | 0.0 | 589M|2186 | - | 15k| 25k| 0 | 0 | 0 | 465 | 0 | 0.000000e+00 | 1.330000e+02 | Inf
1760.05/1760.65 o 132
1760.05/1760.65 c *1750s| 50961 | 30930 | 0 | 0.0 | 589M|2186 | - | 15k| 25k| 0 | 0 | 0 | 467 | 0 | 0.000000e+00 | 1.320000e+02 | Inf
1760.64/1761.26 o 131
1760.64/1761.26 c *1751s| 51037 | 30940 | 0 | 0.0 | 590M|2186 | - | 15k| 25k| 0 | 0 | 0 | 468 | 0 | 0.000000e+00 | 1.310000e+02 | Inf
1761.45/1762.04 o 113
1761.45/1762.04 c *1752s| 51131 | 30925 | 0 | 0.0 | 590M|2186 | - | 15k| 25k| 0 | 0 | 0 | 469 | 0 | 0.000000e+00 | 1.130000e+02 | Inf
1762.55/1763.19 o 108
1762.55/1763.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.55/1763.19 c *1753s| 51238 | 30949 | 0 | 0.0 | 590M|2186 | - | 15k| 25k| 0 | 0 | 0 | 476 | 0 | 0.000000e+00 | 1.080000e+02 | Inf
1763.04/1763.69 o 107
1763.04/1763.69 c *1753s| 51286 | 30935 | 0 | 0.0 | 591M|2186 | - | 15k| 25k| 0 | 0 | 0 | 484 | 0 | 0.000000e+00 | 1.070000e+02 | Inf
1763.55/1764.19 o 106
1763.55/1764.19 c *1754s| 51337 | 30926 | 0 | 0.0 | 591M|2186 | - | 15k| 25k| 0 | 0 | 0 | 486 | 0 | 0.000000e+00 | 1.060000e+02 | Inf
1764.45/1765.00 o 105
1764.45/1765.00 c *1755s| 51416 | 30914 | 0 | 0.0 | 591M|2186 | - | 15k| 25k| 0 | 0 | 0 | 488 | 0 | 0.000000e+00 | 1.050000e+02 | Inf
1764.85/1765.45 o 104
1764.85/1765.45 c *1755s| 51472 | 30913 | 0 | 0.0 | 591M|2186 | - | 15k| 25k| 0 | 0 | 0 | 490 | 0 | 0.000000e+00 | 1.040000e+02 | Inf
1765.35/1765.97 o 103
1765.35/1765.97 c *1756s| 51535 | 30917 | 0 | 0.0 | 591M|2186 | - | 15k| 25k| 0 | 0 | 0 | 492 | 0 | 0.000000e+00 | 1.030000e+02 | Inf
1766.44/1767.03 o 102
1766.44/1767.03 c *1757s| 51650 | 30885 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 514 | 0 | 0.000000e+00 | 1.020000e+02 | Inf
1766.94/1767.51 o 101
1766.94/1767.51 c *1757s| 51708 | 30889 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 526 | 0 | 0.000000e+00 | 1.010000e+02 | Inf
1767.44/1768.05 o 100
1767.44/1768.05 c *1758s| 51777 | 30877 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 528 | 0 | 0.000000e+00 | 1.000000e+02 | Inf
1767.94/1768.54 o 99
1767.94/1768.54 c *1758s| 51832 | 30858 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 529 | 0 | 0.000000e+00 | 9.900000e+01 | Inf
1768.34/1768.99 o 98
1768.34/1768.99 c *1758s| 51897 | 30858 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 534 | 0 | 0.000000e+00 | 9.800000e+01 | Inf
1768.94/1769.59 o 97
1768.94/1769.59 c *1759s| 51959 | 30811 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 536 | 0 | 0.000000e+00 | 9.700000e+01 | Inf
1769.55/1770.11 o 96
1769.55/1770.11 c *1760s| 52022 | 30818 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 542 | 0 | 0.000000e+00 | 9.600000e+01 | Inf
1770.25/1770.80 o 95
1770.25/1770.80 c *1760s| 52097 | 30764 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 547 | 0 | 0.000000e+00 | 9.500000e+01 | Inf
1770.64/1771.20 o 94
1770.64/1771.20 c *1761s| 52155 | 30765 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 548 | 0 | 0.000000e+00 | 9.400000e+01 | Inf
1771.05/1771.65 o 93
1771.05/1771.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.05/1771.65 c *1761s| 52213 | 30739 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 549 | 0 | 0.000000e+00 | 9.300000e+01 | Inf
1771.65/1772.20 o 92
1771.65/1772.20 c *1762s| 52281 | 30739 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 550 | 0 | 0.000000e+00 | 9.200000e+01 | Inf
1772.34/1772.98 o 91
1772.34/1772.98 c *1762s| 52362 | 30644 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 558 | 0 | 0.000000e+00 | 9.100000e+01 | Inf
1773.05/1773.60 o 90
1773.05/1773.60 c *1763s| 52438 | 30603 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 575 | 0 | 0.000000e+00 | 9.000000e+01 | Inf
1773.65/1774.26 o 89
1773.65/1774.26 c *1764s| 52518 | 30548 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 576 | 0 | 0.000000e+00 | 8.900000e+01 | Inf
1774.34/1774.90 o 88
1774.34/1774.90 c *1764s| 52593 | 30476 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 577 | 0 | 0.000000e+00 | 8.800000e+01 | Inf
1774.75/1775.32 o 87
1774.75/1775.32 c *1765s| 52649 | 30449 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 578 | 0 | 0.000000e+00 | 8.700000e+01 | Inf
1775.34/1775.97 o 86
1775.34/1775.97 c *1765s| 52744 | 30440 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 599 | 0 | 0.000000e+00 | 8.600000e+01 | Inf
1775.74/1776.39 o 85
1775.74/1776.39 c *1766s| 52801 | 30414 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 600 | 0 | 0.000000e+00 | 8.500000e+01 | Inf
1776.24/1776.82 o 84
1776.24/1776.82 c *1766s| 52855 | 30379 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 601 | 0 | 0.000000e+00 | 8.400000e+01 | Inf
1776.74/1777.33 o 83
1776.74/1777.33 c *1767s| 52908 | 30260 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 602 | 0 | 0.000000e+00 | 8.300000e+01 | Inf
1777.15/1777.71 o 82
1777.15/1777.71 c *1767s| 52954 | 30218 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 603 | 0 | 0.000000e+00 | 8.200000e+01 | Inf
1777.55/1778.15 o 81
1777.55/1778.15 c *1768s| 53015 | 30133 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 604 | 0 | 0.000000e+00 | 8.100000e+01 | Inf
1777.95/1778.56 o 80
1777.95/1778.56 c *1768s| 53072 | 30092 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 605 | 0 | 0.000000e+00 | 8.000000e+01 | Inf
1778.44/1779.03 o 79
1778.44/1779.03 c *1768s| 53133 | 30072 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 609 | 0 | 0.000000e+00 | 7.900000e+01 | Inf
1778.74/1779.37 o 78
1778.74/1779.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.74/1779.37 c *1769s| 53182 | 30056 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 610 | 0 | 0.000000e+00 | 7.800000e+01 | Inf
1779.15/1779.71 o 77
1779.15/1779.71 c *1769s| 53236 | 30015 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 611 | 0 | 0.000000e+00 | 7.700000e+01 | Inf
1779.54/1780.13 o 76
1779.54/1780.13 c *1770s| 53294 | 29991 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 615 | 0 | 0.000000e+00 | 7.600000e+01 | Inf
1779.84/1780.43 o 75
1779.84/1780.43 c *1770s| 53338 | 29970 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 616 | 0 | 0.000000e+00 | 7.500000e+01 | Inf
1780.44/1781.01 o 74
1780.44/1781.01 c *1770s| 53414 | 27718 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 624 | 0 | 0.000000e+00 | 7.400000e+01 | Inf
1780.85/1781.45 o 73
1780.85/1781.45 c *1771s| 53477 | 27608 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 626 | 0 | 0.000000e+00 | 7.300000e+01 | Inf
1781.24/1781.89 o 72
1781.24/1781.89 c *1771s| 53541 | 27557 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 628 | 0 | 0.000000e+00 | 7.200000e+01 | Inf
1781.64/1782.27 o 71
1781.64/1782.27 c *1772s| 53595 | 27310 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 630 | 0 | 0.000000e+00 | 7.100000e+01 | Inf
1782.24/1782.83 o 70
1782.24/1782.83 c *1772s| 53676 | 27185 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 649 | 0 | 0.000000e+00 | 7.000000e+01 | Inf
1782.55/1783.20 o 69
1782.55/1783.20 c *1773s| 53730 | 27120 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 653 | 0 | 0.000000e+00 | 6.900000e+01 | Inf
1782.94/1783.59 o 68
1782.94/1783.59 c *1773s| 53780 | 27122 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 655 | 0 | 0.000000e+00 | 6.800000e+01 | Inf
1783.34/1783.99 o 67
1783.34/1783.99 c *1773s| 53841 | 27130 | 0 | 0.0 | 591M|2186 | - | 15k| 26k| 0 | 0 | 0 | 662 | 0 | 0.000000e+00 | 6.700000e+01 | Inf
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)