0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2667079-1276457558.opb>
0.39/0.41 c original problem has 3204 variables (3204 bin, 0 int, 0 impl, 0 cont) and 24883 constraints
0.39/0.41 c problem read
0.39/0.41 c presolving settings loaded
0.49/0.51 c presolving:
0.59/0.67 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 98196 impls, 0 clqs
0.79/0.89 c (round 2) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23461 upgd conss, 98196 impls, 0 clqs
0.89/0.97 c (round 3) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24871 upgd conss, 98196 impls, 0 clqs
2.99/3.06 c (2.5s) probing: 1000/3192 (31.3%) - 0 fixings, 0 aggregations, 25570 implications, 0 bound changes
4.49/4.52 c (3.9s) probing: 1799/3192 (56.4%) - 0 fixings, 0 aggregations, 30541 implications, 0 bound changes
4.49/4.52 c (3.9s) probing aborted: 100/100 successive totally useless probings
4.49/4.52 c presolving (4 rounds):
4.49/4.52 c 12 deleted vars, 12 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.49/4.52 c 181560 implications, 0 cliques
4.49/4.52 c presolved problem has 3192 variables (3192 bin, 0 int, 0 impl, 0 cont) and 24871 constraints
4.49/4.52 c 24871 constraints of type <logicor>
4.49/4.52 c transformed objective value is always integral (scale: 1)
4.49/4.52 c Presolving Time: 3.89
4.49/4.52 c - non default parameters ----------------------------------------------------------------------
4.49/4.52 c # SCIP version 1.2.1.2
4.49/4.52 c
4.49/4.52 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.49/4.52 c # [type: int, range: [-1,2147483647], default: -1]
4.49/4.52 c conflict/interconss = 0
4.49/4.52 c
4.49/4.52 c # should binary conflicts be preferred?
4.49/4.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.52 c conflict/preferbinary = TRUE
4.49/4.52 c
4.49/4.52 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.49/4.52 c # [type: int, range: [-1,2147483647], default: 0]
4.49/4.52 c constraints/agelimit = 1
4.49/4.52 c
4.49/4.52 c # should enforcement of pseudo solution be disabled?
4.49/4.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.52 c constraints/disableenfops = TRUE
4.49/4.52 c
4.49/4.52 c # frequency for displaying node information lines
4.49/4.52 c # [type: int, range: [-1,2147483647], default: 100]
4.49/4.52 c display/freq = 10000
4.49/4.52 c
4.49/4.52 c # maximal time in seconds to run
4.49/4.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.52 c limits/time = 1799.59
4.49/4.52 c
4.49/4.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.49/4.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.49/4.52 c limits/memory = 1620
4.49/4.52 c
4.49/4.52 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.49/4.52 c # [type: int, range: [-1,2147483647], default: 1]
4.49/4.52 c lp/solvefreq = 0
4.49/4.52 c
4.49/4.52 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)
4.49/4.52 c # [type: char, range: {lafpsqd}, default: l]
4.49/4.52 c lp/pricing = a
4.49/4.52 c
4.49/4.52 c # should presolving try to simplify inequalities
4.49/4.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.52 c constraints/linear/simplifyinequalities = TRUE
4.49/4.52 c
4.49/4.52 c # should presolving try to simplify knapsacks
4.49/4.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.49/4.52 c constraints/knapsack/simplifyinequalities = TRUE
4.49/4.52 c
4.49/4.52 c # priority of node selection rule <dfs> in standard mode
4.49/4.52 c # [type: int, range: [-536870912,536870911], default: 0]
4.49/4.52 c nodeselection/dfs/stdpriority = 1000000
4.49/4.52 c
4.49/4.52 c -----------------------------------------------------------------------------------------------
4.49/4.52 c start solving
4.49/4.52 c
16.18/16.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.18/16.20 c 15.5s| 1 | 0 | 5177 | - | 39M| 0 |2252 |3192 | 24k|3192 | 24k| 0 | 0 | 0 | 5.143750e+02 | -- | Inf
53.88/53.92 c 52.7s| 1 | 0 | 16414 | - | 40M| 0 |2256 |3192 | 24k|3192 | 25k| 876 | 0 | 0 | 5.885833e+02 | -- | Inf
57.07/57.12 c 55.7s| 1 | 0 | 16789 | - | 40M| 0 |2251 |3192 | 24k|3192 | 25k| 890 | 0 | 0 | 5.919760e+02 | -- | Inf
61.47/61.54 c 59.9s| 1 | 0 | 17331 | - | 40M| 0 |2251 |3192 | 24k|3192 | 25k| 904 | 0 | 0 | 5.960194e+02 | -- | Inf
65.97/66.05 c 64.2s| 1 | 0 | 18062 | - | 40M| 0 |2251 |3192 | 24k|3192 | 25k| 917 | 0 | 0 | 5.989029e+02 | -- | Inf
73.96/74.00 c 71.4s| 1 | 0 | 18587 | - | 40M| 0 |2243 |3192 | 24k|3192 | 25k| 928 | 0 | 0 | 6.017197e+02 | -- | Inf
79.67/79.72 c 76.7s| 1 | 0 | 19274 | - | 41M| 0 |2237 |3192 | 24k|3192 | 25k| 942 | 0 | 0 | 6.048399e+02 | -- | Inf
84.86/84.98 c 81.8s| 1 | 0 | 20055 | - | 41M| 0 |2243 |3192 | 24k|3192 | 25k| 956 | 0 | 0 | 6.072113e+02 | -- | Inf
90.55/90.60 c 87.2s| 1 | 0 | 20879 | - | 41M| 0 |2243 |3192 | 24k|3192 | 25k| 967 | 0 | 0 | 6.088811e+02 | -- | Inf
96.15/96.22 c 92.6s| 1 | 0 | 21633 | - | 42M| 0 |2243 |3192 | 24k|3192 | 25k| 981 | 0 | 0 | 6.097584e+02 | -- | Inf
100.96/101.03 c 97.1s| 1 | 0 | 22202 | - | 42M| 0 |2234 |3192 | 24k|3192 | 25k| 993 | 0 | 0 | 6.105651e+02 | -- | Inf
106.95/107.00 c 103s| 1 | 0 | 23177 | - | 42M| 0 |2238 |3192 | 24k|3192 | 25k|1006 | 0 | 0 | 6.116237e+02 | -- | Inf
113.54/113.68 c 109s| 1 | 0 | 23918 | - | 43M| 0 |2236 |3192 | 24k|3192 | 25k|1017 | 0 | 0 | 6.124349e+02 | -- | Inf
121.24/121.31 c 116s| 1 | 0 | 24629 | - | 43M| 0 |2230 |3192 | 24k|3192 | 25k|1034 | 0 | 0 | 6.130895e+02 | -- | Inf
128.14/128.28 c 122s| 1 | 0 | 25098 | - | 43M| 0 |2238 |3192 | 24k|3192 | 25k|1046 | 0 | 0 | 6.135177e+02 | -- | Inf
145.53/145.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.53/145.61 c 137s| 1 | 0 | 25592 | - | 43M| 0 |2234 |3192 | 24k|3192 | 25k|1062 | 0 | 0 | 6.137624e+02 | -- | Inf
150.13/150.27 c 141s| 1 | 0 | 26066 | - | 43M| 0 |2243 |3192 | 24k|3192 | 25k|1071 | 0 | 0 | 6.142198e+02 | -- | Inf
162.02/162.13 c 151s| 1 | 0 | 26774 | - | 43M| 0 |2235 |3192 | 24k|3192 | 25k|1089 | 0 | 0 | 6.148173e+02 | -- | Inf
177.32/177.44 c 164s| 1 | 0 | 27176 | - | 44M| 0 |2232 |3192 | 24k|3192 | 25k|1101 | 0 | 0 | 6.151038e+02 | -- | Inf
192.42/192.51 c 177s| 1 | 0 | 27714 | - | 44M| 0 |2242 |3192 | 24k|3192 | 25k|1111 | 0 | 0 | 6.155555e+02 | -- | Inf
215.71/215.81 c 196s| 1 | 0 | 28260 | - | 44M| 0 |2235 |3192 | 24k|3192 | 25k|1124 | 0 | 0 | 6.158471e+02 | -- | Inf
226.90/227.06 c 206s| 1 | 0 | 28534 | - | 44M| 0 |2231 |3192 | 24k|3192 | 25k|1132 | 0 | 0 | 6.159621e+02 | -- | Inf
240.00/240.14 c 217s| 1 | 0 | 28681 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1138 | 0 | 0 | 6.161390e+02 | -- | Inf
251.80/251.93 c 226s| 1 | 0 | 28910 | - | 44M| 0 |2234 |3192 | 24k|3192 | 25k|1143 | 0 | 0 | 6.163738e+02 | -- | Inf
264.59/264.74 c 237s| 1 | 0 | 29163 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1149 | 0 | 0 | 6.166003e+02 | -- | Inf
275.79/275.90 c 246s| 1 | 0 | 29245 | - | 44M| 0 |2234 |3192 | 24k|3192 | 25k|1153 | 0 | 0 | 6.167011e+02 | -- | Inf
287.38/287.57 c 256s| 1 | 0 | 29464 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1156 | 0 | 0 | 6.169254e+02 | -- | Inf
300.19/300.36 c 266s| 1 | 0 | 29585 | - | 44M| 0 |2235 |3192 | 24k|3192 | 25k|1161 | 0 | 0 | 6.170464e+02 | -- | Inf
312.67/312.85 c 276s| 1 | 0 | 29741 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1163 | 0 | 0 | 6.172050e+02 | -- | Inf
324.27/324.48 c 286s| 1 | 0 | 29862 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1165 | 0 | 0 | 6.173789e+02 | -- | Inf
336.37/336.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
336.37/336.58 c 296s| 1 | 0 | 29952 | - | 44M| 0 |2241 |3192 | 24k|3192 | 25k|1167 | 0 | 0 | 6.174769e+02 | -- | Inf
348.46/348.67 c 306s| 1 | 0 | 30015 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1170 | 0 | 0 | 6.175270e+02 | -- | Inf
360.45/360.67 c 315s| 1 | 0 | 30104 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1173 | 0 | 0 | 6.176841e+02 | -- | Inf
373.14/373.30 c 326s| 1 | 0 | 30210 | - | 44M| 0 |2237 |3192 | 24k|3192 | 25k|1178 | 0 | 0 | 6.178458e+02 | -- | Inf
385.04/385.20 c 336s| 1 | 0 | 30283 | - | 44M| 0 |2237 |3192 | 24k|3192 | 25k|1181 | 0 | 0 | 6.180503e+02 | -- | Inf
397.33/397.53 c 346s| 1 | 0 | 30387 | - | 44M| 0 |2235 |3192 | 24k|3192 | 25k|1183 | 0 | 0 | 6.181672e+02 | -- | Inf
410.43/410.65 c 356s| 1 | 0 | 30481 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|1186 | 0 | 0 | 6.182400e+02 | -- | Inf
422.73/422.97 c 367s| 1 | 0 | 30553 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1189 | 0 | 0 | 6.183697e+02 | -- | Inf
435.02/435.21 c 377s| 1 | 0 | 30650 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1191 | 0 | 0 | 6.184933e+02 | -- | Inf
447.02/447.21 c 386s| 1 | 0 | 30741 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1196 | 0 | 0 | 6.186425e+02 | -- | Inf
459.31/459.57 c 396s| 1 | 0 | 30839 | - | 44M| 0 |2241 |3192 | 24k|3192 | 25k|1201 | 0 | 0 | 6.187215e+02 | -- | Inf
471.61/471.86 c 407s| 1 | 0 | 30961 | - | 44M| 0 |2240 |3192 | 24k|3192 | 25k|1206 | 0 | 0 | 6.188819e+02 | -- | Inf
484.81/485.01 c 417s| 1 | 0 | 31071 | - | 44M| 0 |2241 |3192 | 24k|3192 | 25k|1212 | 0 | 0 | 6.190842e+02 | -- | Inf
498.01/498.23 c 428s| 1 | 0 | 31152 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1219 | 0 | 0 | 6.193254e+02 | -- | Inf
510.70/510.98 c 439s| 1 | 0 | 31288 | - | 44M| 0 |2244 |3192 | 24k|3192 | 25k|1224 | 0 | 0 | 6.195130e+02 | -- | Inf
522.49/522.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.49/522.76 c 449s| 1 | 0 | 31354 | - | 44M| 0 |2245 |3192 | 24k|3192 | 25k|1227 | 0 | 0 | 6.197161e+02 | -- | Inf
525.89/526.14 c 452s| 1 | 0 | 31584 | - | 44M| 0 |2234 |3192 | 24k|3192 | 25k|1233 | 0 | 0 | 6.201562e+02 | -- | Inf
537.69/537.97 c 461s| 1 | 0 | 31664 | - | 44M| 0 |2240 |3192 | 24k|3192 | 25k|1241 | 0 | 0 | 6.202722e+02 | -- | Inf
550.08/550.32 c 471s| 1 | 0 | 31780 | - | 44M| 0 |2242 |3192 | 24k|3192 | 25k|1246 | 0 | 0 | 6.204668e+02 | -- | Inf
561.57/561.90 c 481s| 1 | 0 | 31953 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|1253 | 0 | 0 | 6.206970e+02 | -- | Inf
573.88/574.18 c 491s| 1 | 0 | 32085 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|1258 | 0 | 0 | 6.208256e+02 | -- | Inf
586.47/586.74 c 501s| 1 | 0 | 32282 | - | 44M| 0 |2240 |3192 | 24k|3192 | 25k|1265 | 0 | 0 | 6.211389e+02 | -- | Inf
599.27/599.58 c 512s| 1 | 0 | 32434 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|1274 | 0 | 0 | 6.213208e+02 | -- | Inf
602.36/602.64 c 515s| 1 | 0 | 32632 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|1280 | 0 | 0 | 6.216629e+02 | -- | Inf
614.56/614.80 c 525s| 1 | 0 | 32847 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1288 | 0 | 0 | 6.218588e+02 | -- | Inf
620.16/620.49 c 530s| 1 | 0 | 33384 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|1297 | 0 | 0 | 6.224306e+02 | -- | Inf
632.45/632.74 c 540s| 1 | 0 | 33585 | - | 44M| 0 |2239 |3192 | 24k|3192 | 25k|1309 | 0 | 0 | 6.226383e+02 | -- | Inf
640.14/640.49 c 547s| 1 | 0 | 33919 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|1318 | 0 | 0 | 6.230322e+02 | -- | Inf
653.44/653.77 c 558s| 1 | 0 | 34211 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|1327 | 0 | 0 | 6.233900e+02 | -- | Inf
664.04/664.32 c 567s| 1 | 0 | 34347 | - | 44M| 0 |2244 |3192 | 24k|3192 | 25k|1330 | 0 | 0 | 6.235694e+02 | -- | Inf
674.54/674.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.54/674.82 c 576s| 1 | 0 | 34439 | - | 44M| 0 |2244 |3192 | 24k|3192 | 25k|1334 | 0 | 0 | 6.236792e+02 | -- | Inf
684.73/685.02 c 584s| 1 | 0 | 34486 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1336 | 0 | 0 | 6.237032e+02 | -- | Inf
695.23/695.57 c 593s| 1 | 0 | 34575 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|1340 | 0 | 0 | 6.238071e+02 | -- | Inf
705.62/705.95 c 601s| 1 | 0 | 34663 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1345 | 0 | 0 | 6.238463e+02 | -- | Inf
716.42/716.72 c 610s| 1 | 0 | 34784 | - | 44M| 0 |2243 |3192 | 24k|3192 | 25k|1347 | 0 | 0 | 6.239568e+02 | -- | Inf
719.62/719.99 c 613s| 1 | 0 | 35107 | - | 44M| 0 |2248 |3192 | 24k|3192 | 25k|1354 | 0 | 0 | 6.245411e+02 | -- | Inf
733.42/733.73 c 625s| 1 | 0 | 35271 | - | 44M| 0 |2238 |3192 | 24k|3192 | 25k|1363 | 0 | 0 | 6.247199e+02 | -- | Inf
737.01/737.32 c 628s| 1 | 0 | 35507 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1372 | 0 | 0 | 6.250254e+02 | -- | Inf
750.41/750.74 c 639s| 1 | 0 | 35723 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1380 | 0 | 0 | 6.252286e+02 | -- | Inf
762.40/762.79 c 649s| 1 | 0 | 35863 | - | 45M| 0 |2244 |3192 | 24k|3192 | 25k|1386 | 0 | 0 | 6.254172e+02 | -- | Inf
773.80/774.11 c 658s| 1 | 0 | 35993 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1394 | 0 | 0 | 6.255604e+02 | -- | Inf
785.59/785.92 c 668s| 1 | 0 | 36114 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1399 | 0 | 0 | 6.256546e+02 | -- | Inf
797.09/797.43 c 677s| 1 | 0 | 36308 | - | 45M| 0 |2243 |3192 | 24k|3192 | 25k|1402 | 0 | 0 | 6.258876e+02 | -- | Inf
800.49/800.82 c 680s| 1 | 0 | 36577 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1410 | 0 | 0 | 6.263634e+02 | -- | Inf
812.68/813.02 c 691s| 1 | 0 | 36866 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1416 | 0 | 0 | 6.266834e+02 | -- | Inf
826.27/826.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.27/826.69 c 702s| 1 | 0 | 37121 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1426 | 0 | 0 | 6.269438e+02 | -- | Inf
832.28/832.61 c 707s| 1 | 0 | 37494 | - | 45M| 0 |2252 |3192 | 24k|3192 | 25k|1435 | 0 | 0 | 6.273859e+02 | -- | Inf
845.87/846.22 c 718s| 1 | 0 | 37757 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1442 | 0 | 0 | 6.276618e+02 | -- | Inf
858.77/859.14 c 729s| 1 | 0 | 38044 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1450 | 0 | 0 | 6.279183e+02 | -- | Inf
871.45/871.81 c 740s| 1 | 0 | 38225 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1460 | 0 | 0 | 6.282080e+02 | -- | Inf
884.35/884.78 c 751s| 1 | 0 | 38543 | - | 45M| 0 |2252 |3192 | 24k|3192 | 25k|1467 | 0 | 0 | 6.285604e+02 | -- | Inf
897.45/897.89 c 761s| 1 | 0 | 38723 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1474 | 0 | 0 | 6.288050e+02 | -- | Inf
910.25/910.64 c 772s| 1 | 0 | 38873 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1480 | 0 | 0 | 6.290293e+02 | -- | Inf
923.54/923.93 c 783s| 1 | 0 | 39154 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1487 | 0 | 0 | 6.293003e+02 | -- | Inf
936.84/937.28 c 794s| 1 | 0 | 39346 | - | 45M| 0 |2252 |3192 | 24k|3192 | 25k|1494 | 0 | 0 | 6.294498e+02 | -- | Inf
949.72/950.10 c 805s| 1 | 0 | 39504 | - | 45M| 0 |2252 |3192 | 24k|3192 | 25k|1500 | 0 | 0 | 6.296998e+02 | -- | Inf
963.23/963.63 c 816s| 1 | 0 | 39723 | - | 45M| 0 |2252 |3192 | 24k|3192 | 25k|1506 | 0 | 0 | 6.299820e+02 | -- | Inf
976.02/976.47 c 827s| 1 | 0 | 39905 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|1510 | 0 | 0 | 6.302413e+02 | -- | Inf
989.81/990.22 c 838s| 1 | 0 | 40169 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1515 | 0 | 0 | 6.305678e+02 | -- | Inf
1002.41/1002.81 c 849s| 1 | 0 | 40379 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1521 | 0 | 0 | 6.308145e+02 | -- | Inf
1015.40/1015.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.40/1015.82 c 859s| 1 | 0 | 40511 | - | 45M| 0 |2247 |3192 | 24k|3192 | 25k|1525 | 0 | 0 | 6.309981e+02 | -- | Inf
1029.21/1029.64 c 871s| 1 | 0 | 40726 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1530 | 0 | 0 | 6.311610e+02 | -- | Inf
1042.49/1042.95 c 882s| 1 | 0 | 40925 | - | 45M| 0 |2242 |3192 | 24k|3192 | 25k|1537 | 0 | 0 | 6.313865e+02 | -- | Inf
1055.69/1056.11 c 893s| 1 | 0 | 41121 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1544 | 0 | 0 | 6.316426e+02 | -- | Inf
1069.58/1070.09 c 905s| 1 | 0 | 41310 | - | 45M| 0 |2251 |3192 | 24k|3192 | 25k|1550 | 0 | 0 | 6.318952e+02 | -- | Inf
1083.37/1083.80 c 916s| 1 | 0 | 41532 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1558 | 0 | 0 | 6.320678e+02 | -- | Inf
1096.38/1096.86 c 927s| 1 | 0 | 41683 | - | 45M| 0 |2245 |3192 | 24k|3192 | 25k|1566 | 0 | 0 | 6.323432e+02 | -- | Inf
1110.07/1110.52 c 938s| 1 | 0 | 41902 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|1573 | 0 | 0 | 6.326086e+02 | -- | Inf
1123.86/1124.35 c 950s| 1 | 0 | 42114 | - | 45M| 0 |2246 |3192 | 24k|3192 | 25k|1586 | 0 | 0 | 6.330114e+02 | -- | Inf
1135.87/1136.33 c 959s| 1 | 0 | 42280 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1591 | 0 | 0 | 6.331839e+02 | -- | Inf
1149.15/1149.64 c 971s| 1 | 0 | 42431 | - | 45M| 0 |2250 |3192 | 24k|3192 | 25k|1596 | 0 | 0 | 6.333886e+02 | -- | Inf
1161.55/1162.08 c 981s| 1 | 0 | 42492 | - | 45M| 0 |2252 |3192 | 24k|3192 | 25k|1599 | 0 | 0 | 6.334838e+02 | -- | Inf
1172.85/1173.37 c 990s| 1 | 0 | 42570 | - | 45M| 0 |2248 |3192 | 24k|3192 | 25k|1602 | 0 | 0 | 6.335801e+02 | -- | Inf
1184.94/1185.50 c 1000s| 1 | 0 | 42781 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1609 | 0 | 0 | 6.337813e+02 | -- | Inf
1197.04/1197.50 c 1010s| 1 | 0 | 42981 | - | 45M| 0 |2253 |3192 | 24k|3192 | 25k|1629 | 0 | 0 | 6.339944e+02 | -- | Inf
1208.63/1209.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.63/1209.16 c 1020s| 1 | 0 | 43225 | - | 45M| 0 |2249 |3192 | 24k|3192 | 25k|1636 | 0 | 0 | 6.341219e+02 | -- | Inf
1220.63/1221.17 c 1030s| 1 | 0 | 43408 | - | 44M| 0 |2249 |3192 | 24k|3192 | 25k|1644 | 0 | 0 | 6.342208e+02 | -- | Inf
1232.42/1232.92 c 1039s| 1 | 0 | 43539 | - | 44M| 0 |2246 |3192 | 24k|3192 | 25k|1646 | 0 | 0 | 6.342611e+02 | -- | Inf
1244.63/1245.10 c 1050s| 1 | 0 | 43765 | - | 44M| 0 |2252 |3192 | 24k|3192 | 25k|1649 | 0 | 0 | 6.344326e+02 | -- | Inf
1257.12/1257.62 c 1060s| 1 | 0 | 43874 | - | 44M| 0 |2250 |3192 | 24k|3192 | 25k|1651 | 0 | 0 | 6.344788e+02 | -- | Inf
1270.31/1270.82 c 1071s| 1 | 0 | 44026 | - | 43M| 0 |2250 |3192 | 24k|3192 | 25k|1654 | 0 | 0 | 6.346234e+02 | -- | Inf
1282.71/1283.29 c 1081s| 1 | 0 | 44133 | - | 43M| 0 |2246 |3192 | 24k|3192 | 25k|1657 | 0 | 0 | 6.346527e+02 | -- | Inf
1295.21/1295.77 c 1091s| 1 | 0 | 44243 | - | 43M| 0 |2254 |3192 | 24k|3192 | 25k|1659 | 0 | 0 | 6.346838e+02 | -- | Inf
1308.00/1308.54 c 1102s| 1 | 0 | 44371 | - | 43M| 0 |2253 |3192 | 24k|3192 | 25k|1661 | 0 | 0 | 6.348143e+02 | -- | Inf
1321.29/1321.87 c 1113s| 1 | 0 | 44632 | - | 42M| 0 |2247 |3192 | 24k|3192 | 25k|1666 | 0 | 0 | 6.349537e+02 | -- | Inf
1333.29/1333.81 c 1123s| 1 | 0 | 44816 | - | 42M| 0 |2252 |3192 | 24k|3192 | 25k|1672 | 0 | 0 | 6.350436e+02 | -- | Inf
1346.28/1346.88 c 1134s| 1 | 0 | 44997 | - | 42M| 0 |2249 |3192 | 24k|3192 | 25k|1676 | 0 | 0 | 6.351774e+02 | -- | Inf
1359.48/1360.05 c 1145s| 1 | 0 | 45176 | - | 42M| 0 |2251 |3192 | 24k|3192 | 25k|1681 | 0 | 0 | 6.352685e+02 | -- | Inf
1371.97/1372.54 c 1155s| 1 | 0 | 45344 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|1686 | 0 | 0 | 6.353217e+02 | -- | Inf
1384.76/1385.36 c 1166s| 1 | 0 | 45519 | - | 42M| 0 |2253 |3192 | 24k|3192 | 25k|1689 | 0 | 0 | 6.354891e+02 | -- | Inf
1397.57/1398.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.57/1398.18 c 1177s| 1 | 0 | 45700 | - | 42M| 0 |2254 |3192 | 24k|3192 | 25k|1693 | 0 | 0 | 6.356520e+02 | -- | Inf
1409.46/1410.08 c 1187s| 1 | 0 | 45869 | - | 41M| 0 |2239 |3192 | 24k|3192 | 25k|1699 | 0 | 0 | 6.358538e+02 | -- | Inf
1412.66/1413.23 c 1189s| 1 | 0 | 46111 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1703 | 0 | 0 | 6.361318e+02 | -- | Inf
1425.35/1425.97 c 1200s| 1 | 0 | 46239 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1707 | 0 | 0 | 6.362640e+02 | -- | Inf
1438.05/1438.66 c 1210s| 1 | 0 | 46406 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1713 | 0 | 0 | 6.364686e+02 | -- | Inf
1450.54/1451.17 c 1221s| 1 | 0 | 46537 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1715 | 0 | 0 | 6.366071e+02 | -- | Inf
1463.04/1463.63 c 1231s| 1 | 0 | 46648 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1717 | 0 | 0 | 6.367679e+02 | -- | Inf
1475.33/1475.90 c 1241s| 1 | 0 | 46745 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1720 | 0 | 0 | 6.369079e+02 | -- | Inf
1488.03/1488.66 c 1252s| 1 | 0 | 46850 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1723 | 0 | 0 | 6.370327e+02 | -- | Inf
1500.73/1501.32 c 1262s| 1 | 0 | 46929 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1726 | 0 | 0 | 6.371301e+02 | -- | Inf
1512.52/1513.14 c 1272s| 1 | 0 | 46985 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1728 | 0 | 0 | 6.372619e+02 | -- | Inf
1524.81/1525.46 c 1282s| 1 | 0 | 47080 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1730 | 0 | 0 | 6.373919e+02 | -- | Inf
1537.11/1537.70 c 1292s| 1 | 0 | 47160 | - | 41M| 0 |2252 |3192 | 24k|3192 | 25k|1732 | 0 | 0 | 6.374767e+02 | -- | Inf
1549.31/1549.95 c 1302s| 1 | 0 | 47224 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1733 | 0 | 0 | 6.375406e+02 | -- | Inf
1561.60/1562.25 c 1312s| 1 | 0 | 47295 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1735 | 0 | 0 | 6.376014e+02 | -- | Inf
1574.30/1574.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.30/1574.93 c 1322s| 1 | 0 | 47379 | - | 41M| 0 |2254 |3192 | 24k|3192 | 25k|1736 | 0 | 0 | 6.376681e+02 | -- | Inf
1586.39/1587.04 c 1332s| 1 | 0 | 47448 | - | 41M| 0 |2250 |3192 | 24k|3192 | 25k|1739 | 0 | 0 | 6.377031e+02 | -- | Inf
1597.39/1598.01 c 1341s| 1 | 0 | 47502 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1741 | 0 | 0 | 6.377673e+02 | -- | Inf
1608.59/1609.22 c 1351s| 1 | 0 | 47594 | - | 41M| 0 |2251 |3192 | 24k|3192 | 25k|1743 | 0 | 0 | 6.378342e+02 | -- | Inf
1621.08/1621.74 c 1361s| 1 | 0 | 47713 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|1745 | 0 | 0 | 6.379138e+02 | -- | Inf
1633.77/1634.45 c 1371s| 1 | 0 | 47942 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1750 | 0 | 0 | 6.381112e+02 | -- | Inf
1644.37/1645.03 c 1380s| 1 | 0 | 48119 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1754 | 0 | 0 | 6.381994e+02 | -- | Inf
1656.36/1657.02 c 1390s| 1 | 0 | 48328 | - | 41M| 0 |2247 |3192 | 24k|3192 | 25k|1759 | 0 | 0 | 6.384343e+02 | -- | Inf
1670.56/1671.21 c 1402s| 1 | 0 | 48593 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1763 | 0 | 0 | 6.387228e+02 | -- | Inf
1684.75/1685.40 c 1414s| 1 | 0 | 48808 | - | 41M| 0 |2241 |3192 | 24k|3192 | 25k|1766 | 0 | 0 | 6.388689e+02 | -- | Inf
1698.05/1698.71 c 1425s| 1 | 0 | 48888 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1769 | 0 | 0 | 6.389277e+02 | -- | Inf
1711.84/1712.58 c 1436s| 1 | 0 | 49041 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1772 | 0 | 0 | 6.389955e+02 | -- | Inf
1724.24/1724.91 c 1446s| 1 | 0 | 49201 | - | 41M| 0 |2240 |3192 | 24k|3192 | 25k|1777 | 0 | 0 | 6.392127e+02 | -- | Inf
1737.63/1738.30 c 1457s| 1 | 0 | 49284 | - | 41M| 0 |2249 |3192 | 24k|3192 | 25k|1779 | 0 | 0 | 6.392648e+02 | -- | Inf
1750.82/1751.52 c 1468s| 1 | 0 | 49364 | - | 41M| 0 |2245 |3192 | 24k|3192 | 25k|1781 | 0 | 0 | 6.393556e+02 | -- | Inf
1763.52/1764.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.52/1764.21 c 1479s| 1 | 0 | 49520 | - | 41M| 0 |2237 |3192 | 24k|3192 | 25k|1786 | 0 | 0 | 6.394985e+02 | -- | Inf
1776.41/1777.15 c 1490s| 1 | 0 | 49587 | - | 41M| 0 |2242 |3192 | 24k|3192 | 25k|1789 | 0 | 0 | 6.395151e+02 | -- | Inf
1779.71/1780.40 c 1492s| 1 | 0 | 49795 | - | 41M| 0 |2242 |3192 | 24k|3192 | 25k|1800 | 0 | 0 | 6.397669e+02 | -- | Inf
1792.21/1792.96 c 1503s| 1 | 0 | 49928 | - | 41M| 0 |2244 |3192 | 24k|3192 | 25k|1803 | 0 | 0 | 6.398626e+02 | -- | Inf
1800.02/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.01/1801.71 c 1510s| 1 | 0 | 50122 | - | 41M| 0 |2238 |3192 | 24k|3192 | 25k|1806 | 0 | 0 | 6.399722e+02 | -- | Inf
1801.01/1801.72 c 1510s| 1 | 2 | 50122 | - | 41M| 0 |2238 |3192 | 24k|3192 | 25k|1806 | 0 | 0 | 6.399722e+02 | -- | Inf
1801.01/1801.72 c
1801.01/1801.72 c SCIP Status : solving was interrupted [user interrupt]
1801.01/1801.72 c Solving Time (sec) : 1510.06
1801.01/1801.72 c Solving Nodes : 1
1801.01/1801.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.01/1801.72 c Dual Bound : +6.39972196486009e+02
1801.01/1801.72 c Gap : infinite
1801.01/1801.72 s UNKNOWN
1801.01/1801.72 c SCIP Status : solving was interrupted [user interrupt]
1801.01/1801.72 c Solving Time : 1510.06
1801.01/1801.72 c Original Problem :
1801.01/1801.72 c Problem name : HOME/instance-2667079-1276457558.opb
1801.01/1801.72 c Variables : 3204 (3204 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.01/1801.72 c Constraints : 24883 initial, 24883 maximal
1801.01/1801.72 c Presolved Problem :
1801.01/1801.72 c Problem name : t_HOME/instance-2667079-1276457558.opb
1801.01/1801.72 c Variables : 3192 (3192 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.01/1801.72 c Constraints : 24871 initial, 24871 maximal
1801.01/1801.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.01/1801.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1801.01/1801.72 c dualfix : 0.00 12 0 0 0 0 0 0 0
1801.01/1801.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.01/1801.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.01/1801.72 c implics : 0.00 0 0 0 0 0 0 0 0
1801.01/1801.72 c probing : 3.45 0 0 0 0 0 0 0 0
1801.01/1801.72 c linear : 0.26 0 0 0 0 0 12 0 0
1801.01/1801.72 c logicor : 0.13 0 0 0 0 0 0 0 0
1801.01/1801.72 c root node : - 0 - - 0 - - - -
1801.01/1801.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.01/1801.72 c integral : 0 0 0 1 0 0 0 0 0 2
1801.01/1801.72 c logicor : 24871 154 5179 0 0 0 0 0 0 0
1801.01/1801.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.01/1801.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.01/1801.72 c integral : 0.01 0.00 0.00 0.01 0.00
1801.01/1801.72 c logicor : 2.37 0.93 1.44 0.00 0.00
1801.01/1801.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.01/1801.72 c Propagators : Time Calls Cutoffs DomReds
1801.01/1801.72 c vbounds : 0.01 2 0 0
1801.01/1801.72 c rootredcost : 0.00 0 0 0
1801.01/1801.72 c pseudoobj : 0.06 155 0 0
1801.01/1801.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.01/1801.72 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.01/1801.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.01/1801.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.01/1801.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.01/1801.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.01/1801.72 c applied globally : - - - 0 0.0 - - -
1801.01/1801.72 c applied locally : - - - 0 0.0 - - -
1801.01/1801.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.01/1801.72 c cut pool : 0.35 153 - - 1691 - (maximal pool size: 2912)
1801.01/1801.72 c redcost : 0.06 154 0 0 0 0
1801.01/1801.72 c impliedbounds : 1.21 154 0 0 1740 0
1801.01/1801.72 c intobj : 0.00 0 0 0 0 0
1801.01/1801.72 c cgmip : 0.00 0 0 0 0 0
1801.01/1801.72 c gomory : 1229.52 154 0 0 20265 0
1801.01/1801.72 c strongcg : 36.78 20 0 0 9933 0
1801.01/1801.72 c cmir : 4.62 10 0 0 0 0
1801.01/1801.72 c flowcover : 4.24 10 0 0 0 0
1801.01/1801.72 c clique : 2.51 153 0 0 933 0
1801.01/1801.72 c zerohalf : 0.00 0 0 0 0 0
1801.01/1801.72 c mcf : 0.05 1 0 0 0 0
1801.01/1801.72 c rapidlearning : 0.00 0 0 0 0 0
1801.01/1801.72 c Pricers : Time Calls Vars
1801.01/1801.72 c problem variables: 0.00 0 0
1801.01/1801.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.01/1801.72 c relpscost : 0.01 1 0 0 0 0 2
1801.01/1801.72 c pscost : 0.00 0 0 0 0 0 0
1801.01/1801.72 c inference : 0.00 0 0 0 0 0 0
1801.01/1801.72 c mostinf : 0.00 0 0 0 0 0 0
1801.01/1801.72 c leastinf : 0.00 0 0 0 0 0 0
1801.01/1801.72 c fullstrong : 0.00 0 0 0 0 0 0
1801.01/1801.72 c allfullstrong : 0.00 0 0 0 0 0 0
1801.01/1801.72 c random : 0.00 0 0 0 0 0 0
1801.01/1801.72 c Primal Heuristics : Time Calls Found
1801.01/1801.72 c LP solutions : 0.00 - 0
1801.01/1801.72 c pseudo solutions : 0.00 - 0
1801.01/1801.72 c oneopt : 0.00 0 0
1801.01/1801.72 c crossover : 0.00 0 0
1801.01/1801.72 c trivial : 0.03 2 0
1801.01/1801.72 c simplerounding : 0.00 0 0
1801.01/1801.72 c zirounding : 0.00 1 0
1801.01/1801.72 c rounding : 1.12 100 0
1801.01/1801.72 c shifting : 11.29 100 0
1801.01/1801.72 c intshifting : 0.00 0 0
1801.01/1801.72 c twoopt : 0.00 0 0
1801.01/1801.72 c fixandinfer : 0.00 0 0
1801.01/1801.72 c feaspump : 27.99 1 0
1801.01/1801.72 c coefdiving : 0.00 0 0
1801.01/1801.72 c pscostdiving : 0.00 0 0
1801.01/1801.72 c fracdiving : 0.00 0 0
1801.01/1801.72 c veclendiving : 0.00 0 0
1801.01/1801.72 c intdiving : 0.00 0 0
1801.01/1801.72 c actconsdiving : 0.00 0 0
1801.01/1801.72 c objpscostdiving : 0.00 0 0
1801.01/1801.72 c rootsoldiving : 0.00 0 0
1801.01/1801.72 c linesearchdiving : 0.00 0 0
1801.01/1801.72 c guideddiving : 0.00 0 0
1801.01/1801.72 c octane : 0.00 0 0
1801.01/1801.72 c rens : 0.00 0 0
1801.01/1801.72 c rins : 0.00 0 0
1801.01/1801.72 c localbranching : 0.00 0 0
1801.01/1801.72 c mutation : 0.00 0 0
1801.01/1801.72 c dins : 0.00 0 0
1801.01/1801.72 c undercover : 0.00 0 0
1801.01/1801.72 c nlp : 0.00 0 0
1801.01/1801.72 c trysol : 0.01 0 0
1801.01/1801.72 c LP : Time Calls Iterations Iter/call Iter/sec
1801.01/1801.72 c primal LP : 0.67 0 0 0.00 0.00
1801.01/1801.72 c dual LP : 182.59 155 40583 261.83 222.26
1801.01/1801.72 c lex dual LP : 0.00 0 0 0.00 -
1801.01/1801.72 c barrier LP : 0.00 0 0 0.00 -
1801.01/1801.72 c diving/probing LP: 27.01 117 9539 81.53 353.17
1801.01/1801.72 c strong branching : 0.00 0 0 0.00 -
1801.01/1801.72 c (at root node) : - 0 0 0.00 -
1801.01/1801.72 c conflict analysis: 0.00 0 0 0.00 -
1801.01/1801.72 c B&B Tree :
1801.01/1801.72 c number of runs : 1
1801.01/1801.72 c nodes : 1
1801.01/1801.72 c nodes (total) : 1
1801.01/1801.72 c nodes left : 2
1801.01/1801.72 c max depth : 0
1801.01/1801.72 c max depth (total): 0
1801.01/1801.72 c backtracks : 0 (0.0%)
1801.01/1801.72 c delayed cutoffs : 0
1801.01/1801.72 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.01/1801.72 c avg switch length: 1.00
1801.01/1801.72 c switching time : 0.00
1801.01/1801.72 c Solution :
1801.01/1801.72 c Solutions found : 0 (0 improvements)
1801.01/1801.72 c Primal Bound : -
1801.01/1801.72 c Dual Bound : +6.39972196486009e+02
1801.01/1801.72 c Gap : infinite
1801.01/1801.72 c Root Dual Bound : +6.39972196486009e+02
1801.01/1801.72 c Root Iterations : 50122
1801.11/1801.89 c Time complete: 1801.2.