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-2666924-1276472898.opb>
0.09/0.16 c original problem has 2136 variables (2136 bin, 0 int, 0 impl, 0 cont) and 9282 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.20/0.21 c presolving:
0.20/0.28 c (round 1) 12 del vars, 12 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 59376 impls, 0 clqs
0.29/0.37 c (round 2) 12 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 8238 upgd conss, 59376 impls, 0 clqs
0.39/0.42 c (round 3) 12 del vars, 72 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9210 upgd conss, 59376 impls, 0 clqs
0.49/0.58 c (0.4s) probing: 101/2124 (4.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.58 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.58 c presolving (4 rounds):
0.49/0.58 c 12 deleted vars, 72 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.58 c 59376 implications, 0 cliques
0.49/0.58 c presolved problem has 2124 variables (2124 bin, 0 int, 0 impl, 0 cont) and 9210 constraints
0.49/0.58 c 9210 constraints of type <logicor>
0.49/0.58 c transformed objective value is always integral (scale: 1)
0.49/0.58 c Presolving Time: 0.33
0.49/0.58 c - non default parameters ----------------------------------------------------------------------
0.49/0.58 c # SCIP version 1.2.1.2
0.49/0.58 c
0.49/0.58 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.58 c conflict/interconss = 0
0.49/0.58 c
0.49/0.58 c # should binary conflicts be preferred?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c conflict/preferbinary = TRUE
0.49/0.58 c
0.49/0.58 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.58 c constraints/agelimit = 1
0.49/0.58 c
0.49/0.58 c # should enforcement of pseudo solution be disabled?
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/disableenfops = TRUE
0.49/0.58 c
0.49/0.58 c # frequency for displaying node information lines
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58 c display/freq = 10000
0.49/0.58 c
0.49/0.58 c # maximal time in seconds to run
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/time = 1799.84
0.49/0.58 c
0.49/0.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58 c limits/memory = 1620
0.49/0.58 c
0.49/0.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.58 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.58 c lp/solvefreq = 0
0.49/0.58 c
0.49/0.58 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.49/0.58 c # [type: char, range: {lafpsqd}, default: l]
0.49/0.58 c lp/pricing = a
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify inequalities
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/linear/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # should presolving try to simplify knapsacks
0.49/0.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.58 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.58 c
0.49/0.58 c # priority of node selection rule <dfs> in standard mode
0.49/0.58 c # [type: int, range: [-536870912,536870911], default: 0]
0.49/0.58 c nodeselection/dfs/stdpriority = 1000000
0.49/0.58 c
0.49/0.58 c -----------------------------------------------------------------------------------------------
0.49/0.58 c start solving
0.49/0.58 c
2.69/2.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.69/2.77 c 2.5s| 1 | 0 | 2709 | - | 17M| 0 |1476 |2124 |9210 |2124 |9210 | 0 | 0 | 0 | 3.780000e+02 | -- | Inf
6.69/6.72 c 6.4s| 1 | 0 | 8326 | - | 17M| 0 |1472 |2124 |9210 |2124 |9216 | 6 | 0 | 0 | 3.830000e+02 | -- | Inf
7.28/7.31 c 7.0s| 1 | 0 | 8433 | - | 17M| 0 |1470 |2124 |9210 |2124 |9223 | 13 | 0 | 0 | 3.880000e+02 | -- | Inf
7.78/7.88 c 7.5s| 1 | 0 | 8559 | - | 17M| 0 |1464 |2124 |9210 |2124 |9230 | 20 | 0 | 0 | 3.933750e+02 | -- | Inf
8.39/8.43 c 8.1s| 1 | 0 | 8695 | - | 17M| 0 |1462 |2124 |9210 |2124 |9236 | 26 | 0 | 0 | 3.982500e+02 | -- | Inf
8.99/9.01 c 8.6s| 1 | 0 | 8882 | - | 17M| 0 |1458 |2124 |9210 |2124 |9243 | 33 | 0 | 0 | 4.025000e+02 | -- | Inf
9.59/9.62 c 9.2s| 1 | 0 | 9075 | - | 17M| 0 |1459 |2124 |9210 |2124 |9251 | 41 | 0 | 0 | 4.047500e+02 | -- | Inf
10.19/10.20 c 9.8s| 1 | 0 | 9228 | - | 17M| 0 |1456 |2124 |9210 |2124 |9262 | 52 | 0 | 0 | 4.083958e+02 | -- | Inf
10.90/10.96 c 10.6s| 1 | 0 | 9457 | - | 17M| 0 |1456 |2124 |9210 |2124 |9270 | 60 | 0 | 0 | 4.120000e+02 | -- | Inf
11.58/11.67 c 11.2s| 1 | 0 | 9732 | - | 17M| 0 |1455 |2124 |9210 |2124 |9279 | 69 | 0 | 0 | 4.171250e+02 | -- | Inf
12.39/12.41 c 12.0s| 1 | 0 | 9973 | - | 17M| 0 |1450 |2124 |9210 |2124 |9288 | 78 | 0 | 0 | 4.195625e+02 | -- | Inf
13.19/13.24 c 12.8s| 1 | 0 | 10347 | - | 18M| 0 |1450 |2124 |9210 |2124 |9299 | 89 | 0 | 0 | 4.230208e+02 | -- | Inf
13.98/14.07 c 13.6s| 1 | 0 | 10755 | - | 18M| 0 |1451 |2124 |9210 |2124 |9312 | 102 | 0 | 0 | 4.273542e+02 | -- | Inf
14.69/14.72 c 14.2s| 1 | 0 | 11082 | - | 18M| 0 |1455 |2124 |9210 |2124 |9324 | 115 | 0 | 0 | 4.305042e+02 | -- | Inf
15.29/15.39 c 14.9s| 1 | 0 | 11472 | - | 18M| 0 |1451 |2124 |9210 |2124 |9335 | 126 | 0 | 0 | 4.338333e+02 | -- | Inf
16.28/16.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.28/16.37 c 15.9s| 1 | 0 | 12113 | - | 18M| 0 |1446 |2124 |9210 |2124 |9347 | 138 | 0 | 0 | 4.379804e+02 | -- | Inf
17.08/17.16 c 16.7s| 1 | 0 | 12553 | - | 18M| 0 |1454 |2124 |9210 |2124 |9361 | 152 | 0 | 0 | 4.410417e+02 | -- | Inf
17.99/18.04 c 17.5s| 1 | 0 | 13024 | - | 19M| 0 |1449 |2124 |9210 |2124 |9376 | 167 | 0 | 0 | 4.421494e+02 | -- | Inf
18.89/18.97 c 18.4s| 1 | 0 | 13483 | - | 19M| 0 |1446 |2124 |9210 |2124 |9388 | 179 | 0 | 0 | 4.433377e+02 | -- | Inf
19.89/19.92 c 19.4s| 1 | 0 | 13966 | - | 19M| 0 |1448 |2124 |9210 |2124 |9387 | 190 | 0 | 0 | 4.442066e+02 | -- | Inf
20.99/21.01 c 20.5s| 1 | 0 | 14649 | - | 19M| 0 |1447 |2124 |9210 |2124 |9403 | 206 | 0 | 0 | 4.466146e+02 | -- | Inf
21.89/21.91 c 21.4s| 1 | 0 | 15256 | - | 20M| 0 |1450 |2124 |9210 |2124 |9422 | 225 | 0 | 0 | 4.490981e+02 | -- | Inf
22.89/22.96 c 22.4s| 1 | 0 | 15978 | - | 20M| 0 |1458 |2124 |9210 |2124 |9440 | 243 | 0 | 0 | 4.518720e+02 | -- | Inf
24.29/24.34 c 23.8s| 1 | 0 | 16996 | - | 20M| 0 |1452 |2124 |9210 |2124 |9455 | 258 | 0 | 0 | 4.539998e+02 | -- | Inf
25.38/25.42 c 24.8s| 1 | 0 | 17728 | - | 20M| 0 |1453 |2124 |9210 |2124 |9465 | 268 | 0 | 0 | 4.549703e+02 | -- | Inf
26.69/26.70 c 26.1s| 1 | 0 | 18569 | - | 20M| 0 |1466 |2124 |9210 |2124 |9456 | 281 | 0 | 0 | 4.559132e+02 | -- | Inf
27.99/28.02 c 27.4s| 1 | 0 | 19313 | - | 20M| 0 |1462 |2124 |9210 |2124 |9469 | 294 | 0 | 0 | 4.568181e+02 | -- | Inf
29.38/29.46 c 28.8s| 1 | 0 | 20188 | - | 21M| 0 |1464 |2124 |9210 |2124 |9477 | 302 | 0 | 0 | 4.575319e+02 | -- | Inf
31.08/31.12 c 30.5s| 1 | 0 | 20968 | - | 21M| 0 |1459 |2124 |9210 |2124 |9486 | 311 | 0 | 0 | 4.579397e+02 | -- | Inf
32.58/32.63 c 32.0s| 1 | 0 | 21675 | - | 21M| 0 |1461 |2124 |9210 |2124 |9496 | 321 | 0 | 0 | 4.582877e+02 | -- | Inf
33.98/34.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.98/34.06 c 33.4s| 1 | 0 | 22124 | - | 21M| 0 |1459 |2124 |9210 |2124 |9506 | 331 | 0 | 0 | 4.587772e+02 | -- | Inf
34.98/35.03 c 34.3s| 1 | 0 | 22448 | - | 21M| 0 |1462 |2124 |9210 |2124 |9476 | 338 | 0 | 0 | 4.593934e+02 | -- | Inf
36.48/36.50 c 35.8s| 1 | 0 | 22777 | - | 21M| 0 |1455 |2124 |9210 |2124 |9481 | 343 | 0 | 0 | 4.598653e+02 | -- | Inf
37.47/37.57 c 36.9s| 1 | 0 | 23191 | - | 21M| 0 |1469 |2124 |9210 |2124 |9486 | 348 | 0 | 0 | 4.602951e+02 | -- | Inf
38.57/38.69 c 38.0s| 1 | 0 | 23325 | - | 21M| 0 |1468 |2124 |9210 |2124 |9490 | 352 | 0 | 0 | 4.604231e+02 | -- | Inf
40.28/40.38 c 39.6s| 1 | 0 | 23597 | - | 21M| 0 |1465 |2124 |9210 |2124 |9494 | 356 | 0 | 0 | 4.606190e+02 | -- | Inf
41.78/41.89 c 41.1s| 1 | 0 | 23639 | - | 21M| 0 |1465 |2124 |9210 |2124 |9498 | 360 | 0 | 0 | 4.606263e+02 | -- | Inf
43.57/43.66 c 42.9s| 1 | 0 | 23999 | - | 21M| 0 |1463 |2124 |9210 |2124 |9460 | 362 | 0 | 0 | 4.608526e+02 | -- | Inf
44.87/44.90 c 44.1s| 1 | 0 | 24148 | - | 21M| 0 |1465 |2124 |9210 |2124 |9462 | 364 | 0 | 0 | 4.609386e+02 | -- | Inf
46.37/46.43 c 45.6s| 1 | 0 | 24314 | - | 21M| 0 |1467 |2124 |9210 |2124 |9464 | 366 | 0 | 0 | 4.610737e+02 | -- | Inf
47.68/47.76 c 46.9s| 1 | 0 | 24339 | - | 21M| 0 |1467 |2124 |9210 |2124 |9467 | 369 | 0 | 0 | 4.610773e+02 | -- | Inf
49.07/49.17 c 48.3s| 1 | 0 | 24462 | - | 21M| 0 |1463 |2124 |9210 |2124 |9469 | 371 | 0 | 0 | 4.611180e+02 | -- | Inf
50.48/50.54 c 49.7s| 1 | 0 | 24463 | - | 21M| 0 |1463 |2124 |9210 |2124 |9470 | 372 | 0 | 0 | 4.611180e+02 | -- | Inf
51.87/51.92 c 51.0s| 1 | 0 | 24468 | - | 21M| 0 |1464 |2124 |9210 |2124 |9425 | 373 | 0 | 0 | 4.611180e+02 | -- | Inf
53.17/53.24 c 52.3s| 1 | 0 | 24481 | - | 21M| 0 |1463 |2124 |9210 |2124 |9427 | 375 | 0 | 0 | 4.611180e+02 | -- | Inf
76.36/76.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.36/76.49 c 75.2s| 1 | 2 | 24481 | - | 21M| 0 |1463 |2124 |9210 |2124 |9427 | 375 | 0 | 57 | 4.611180e+02 | -- | Inf
76.66/76.78 o 965
76.66/76.78 c *75.5s| 320 | 137 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 50 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
86.77/86.85 c 85.3s| 10000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 725 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
96.96/97.01 c 95.2s| 20000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 |1069 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
107.56/107.64 c 106s| 30000 | 133 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 |1701 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
119.95/120.06 c 118s| 40000 | 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 |2786 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
130.76/130.89 c 128s| 50000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 |3491 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
142.25/142.30 c 139s| 60000 | 134 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 |4423 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
157.04/157.19 c 154s| 70000 | 135 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 |6110 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
169.04/169.14 c 166s| 80000 | 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 |7182 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
180.74/180.86 c 177s| 90000 | 132 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 |8196 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
192.74/192.84 c 189s|100000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 |9289 | 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
204.73/204.82 c 200s|110000 | 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 10k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
216.54/216.64 c 212s|120000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 11k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
228.42/228.58 c 224s|130000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 12k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
239.12/239.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.12/239.26 c 234s|140000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 12k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
254.42/254.54 c 249s|150000 | 132 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 14k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
264.42/264.50 c 259s|160000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 14k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
274.31/274.47 c 268s|170000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 14k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
285.11/285.20 c 279s|180000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 15k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
296.21/296.34 c 290s|190000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 16k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
306.91/307.01 c 300s|200000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 17k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
318.00/318.19 c 311s|210000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 18k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
328.60/328.77 c 321s|220000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 18k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
340.09/340.25 c 332s|230000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 19k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
352.29/352.40 c 344s|240000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 20k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
365.19/365.39 c 357s|250000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 22k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
377.78/377.99 c 369s|260000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 23k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
387.78/387.90 c 379s|270000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 24k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
402.88/403.09 c 394s|280000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 26k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
416.27/416.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.27/416.45 c 407s|290000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 27k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
428.37/428.59 c 419s|300000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9224 | 0 | 0 | 375 | 28k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
439.47/439.64 c 430s|310000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 29k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
454.26/454.41 c 444s|320000 | 124 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 31k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
464.16/464.32 c 454s|330000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9225 | 0 | 0 | 375 | 31k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
476.46/476.66 c 466s|340000 | 133 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 32k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
489.26/489.44 c 478s|350000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 33k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
500.55/500.73 c 489s|360000 | 132 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 34k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
515.25/515.41 c 504s|370000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 36k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
532.15/532.35 c 520s|380000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 38k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
548.04/548.20 c 536s|390000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 40k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
564.83/565.04 c 552s|400000 | 134 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 42k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
576.14/576.32 c 563s|410000 | 123 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 43k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
588.43/588.66 c 575s|420000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 44k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
598.83/599.04 c 585s|430000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 44k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
609.13/609.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.13/609.31 c 595s|440000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 45k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
624.91/625.17 c 611s|450000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 47k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
635.82/636.07 c 622s|460000 | 124 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 48k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
651.72/651.94 c 637s|470000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 50k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
675.51/675.74 c 661s|480000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 54k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
690.20/690.44 c 675s|490000 | 132 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 56k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
701.30/701.50 c 686s|500000 | 133 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 57k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
717.80/718.00 c 702s|510000 | 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 59k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
735.29/735.58 c 719s|520000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 61k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
749.89/750.18 c 733s|530000 | 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 62k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
764.77/765.03 c 748s|540000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 64k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
785.08/785.40 c 768s|550000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 67k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
799.56/799.80 c 782s|560000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9224 | 0 | 0 | 375 | 68k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
814.66/814.96 c 797s|570000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 70k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
829.86/830.11 c 812s|580000 | 125 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 72k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
846.75/847.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.75/847.06 c 828s|590000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 74k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
860.14/860.47 c 841s|600000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 75k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
881.24/881.52 c 862s|610000 | 124 | 24481 | 0.0 | 22M| 232 | - |2124 |9225 | 0 | 0 | 375 | 78k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
892.23/892.59 c 873s|620000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 79k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
906.53/906.82 c 887s|630000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 80k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
922.73/923.08 c 903s|640000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 82k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
933.22/933.56 c 913s|650000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 83k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
941.23/941.59 c 921s|660000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 83k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
956.21/956.55 c 935s|670000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 85k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
971.81/972.10 c 951s|680000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 87k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
985.02/985.34 c 964s|690000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 89k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
996.41/996.77 c 975s|700000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 89k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1007.61/1008.00 c 986s|710000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 90k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1018.80/1019.19 c 997s|720000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 91k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1030.40/1030.78 c 1008s|730000 | 133 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 92k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1041.31/1041.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.31/1041.62 c 1019s|740000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 93k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1055.20/1055.51 c 1032s|750000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 94k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1067.19/1067.50 c 1044s|760000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 95k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1077.49/1077.88 c 1054s|770000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 96k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1089.48/1089.81 c 1066s|780000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 97k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1102.38/1102.78 c 1078s|790000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 98k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1115.48/1115.84 c 1091s|800000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 100k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1128.07/1128.44 c 1103s|810000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 101k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1141.48/1141.81 c 1116s|820000 | 133 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 102k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1154.77/1155.11 c 1129s|830000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 103k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1165.46/1165.82 c 1140s|840000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 104k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1175.47/1175.81 c 1150s|850000 | 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 105k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1186.86/1187.29 c 1161s|860000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 106k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1197.36/1197.80 c 1171s|870000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9223 | 0 | 0 | 375 | 107k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1208.35/1208.75 c 1182s|880000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 108k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1220.85/1221.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.85/1221.20 c 1194s|890000 | 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 109k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1234.35/1234.70 c 1207s|900000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 110k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1250.25/1250.64 c 1223s|910000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 112k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1262.74/1263.19 c 1235s|920000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 113k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1280.13/1280.58 c 1252s|930000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 115k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1299.92/1300.38 c 1272s|940000 | 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 118k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1316.92/1317.38 c 1288s|950000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9224 | 0 | 0 | 375 | 120k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1337.52/1337.91 c 1308s|960000 | 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9227 | 0 | 0 | 375 | 123k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1353.12/1353.51 c 1324s|970000 | 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 125k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1366.82/1367.21 c 1337s|980000 | 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 127k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1378.21/1378.64 c 1348s|990000 | 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 128k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1389.20/1389.63 c 1359s| 1000k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 129k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1402.61/1403.08 c 1372s| 1010k| 134 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 130k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1413.60/1414.07 c 1383s| 1020k| 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 131k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1429.60/1430.01 c 1399s| 1030k| 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 133k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1448.98/1449.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1448.98/1449.45 c 1418s| 1040k| 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9224 | 0 | 0 | 375 | 136k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1467.78/1468.24 c 1436s| 1050k| 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 138k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1483.58/1484.07 c 1452s| 1060k| 125 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 140k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1502.77/1503.22 c 1470s| 1070k| 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 143k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1515.77/1516.27 c 1483s| 1080k| 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 144k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1528.47/1528.90 c 1496s| 1090k| 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 146k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1543.66/1544.16 c 1510s| 1100k| 125 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 147k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1554.06/1554.56 c 1521s| 1110k| 128 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 148k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1566.65/1567.11 c 1533s| 1120k| 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 149k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1578.95/1579.48 c 1545s| 1130k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 151k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1591.35/1591.82 c 1557s| 1140k| 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 152k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1603.15/1603.65 c 1569s| 1150k| 131 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 153k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1613.85/1614.33 c 1579s| 1160k| 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 154k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1626.84/1627.35 c 1592s| 1170k| 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 155k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1637.14/1637.68 c 1602s| 1180k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 156k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1647.04/1647.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.04/1647.55 c 1611s| 1190k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 156k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1656.64/1657.11 c 1621s| 1200k| 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 156k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1669.53/1670.03 c 1633s| 1210k| 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9222 | 0 | 0 | 375 | 158k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1685.23/1685.73 c 1649s| 1220k| 129 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 160k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1697.42/1697.99 c 1661s| 1230k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 161k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1709.62/1710.15 c 1673s| 1240k| 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 162k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1722.52/1723.00 c 1685s| 1250k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 163k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1734.92/1735.42 c 1697s| 1260k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9220 | 0 | 0 | 375 | 164k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1745.01/1745.54 c 1707s| 1270k| 126 | 24481 | 0.0 | 22M| 232 | - |2124 |9219 | 0 | 0 | 375 | 165k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1758.60/1759.10 c 1720s| 1280k| 127 | 24481 | 0.0 | 22M| 232 | - |2124 |9218 | 0 | 0 | 375 | 166k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1779.11/1779.67 c 1741s| 1290k| 125 | 24481 | 0.0 | 22M| 232 | - |2124 |9226 | 0 | 0 | 375 | 169k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1796.70/1797.23 c 1758s| 1300k| 130 | 24481 | 0.0 | 22M| 232 | - |2124 |9221 | 0 | 0 | 375 | 172k| 57 | 4.614472e+02 | 9.650000e+02 | 109.12%
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1761.07
1800.11/1800.61 c Solving Nodes : 1302648
1800.11/1800.61 c Primal Bound : +9.65000000000000e+02 (1 solutions)
1800.11/1800.61 c Dual Bound : +4.61447215054408e+02
1800.11/1800.61 c Gap : 109.12 %
1800.11/1800.62 s SATISFIABLE
1800.11/1800.62 v x2136 -x2135 -x2134 x2133 -x2132 -x2131 x2130 -x2129 -x2128 -x2127 x2126 -x2125 x2124 -x2123 -x2122 x2121 -x2120 -x2119 x2118 -x2117
1800.11/1800.62 v x2116 -x2115 x2114 -x2113 x2112 -x2111 x2110 -x2109 -x2108 x2107 x2106 -x2105 x2104 -x2103 x2102 -x2101 x2100 -x2099 -x2098
1800.11/1800.62 v x2097 x2096 -x2095 x2094 -x2093 -x2092 -x2091 x2090 -x2089 x2088 -x2087 -x2086 -x2085 -x2084 x2083 x2082 -x2081 x2080 -x2079
1800.11/1800.62 v x2078 -x2077 x2076 -x2075 x2074 -x2073 -x2072 x2071 x2070 -x2069 x2068 -x2067 x2066 -x2065 x2064 -x2063 -x2062 x2061 x2060
1800.11/1800.62 v -x2059 x2058 -x2057 x2056 -x2055 x2054 -x2053 x2052 -x2051 x2050 -x2049 -x2048 x2047 x2046 -x2045 x2044 -x2043 x2042 -x2041
1800.11/1800.62 v x2040 -x2039 x2038 -x2037 -x2036 x2035 x2034 -x2033 x2032 -x2031 x2030 -x2029 x2028 -x2027 -x2026 -x2025 -x2024 x2023 x2022
1800.11/1800.62 v -x2021 x2020 -x2019 x2018 -x2017 x2016 -x2015 -x2014 x2013 x2012 -x2011 x2010 -x2009 x2008 -x2007 x2006 -x2005 x2004 -x2003
1800.11/1800.62 v x2002 -x2001 -x2000 x1999 x1998 -x1997 x1996 -x1995 x1994 -x1993 x1992 -x1991 -x1990 -x1989 -x1988 x1987 x1986 -x1985 x1984 -x1983
1800.11/1800.62 v x1982 -x1981 x1980 -x1979 -x1978 -x1977 x1976 -x1975 x1974 -x1973 -x1972 x1971 x1970 -x1969 x1968 -x1967 -x1966 x1965 -x1964
1800.11/1800.62 v -x1963 x1962 -x1961 -x1960 -x1959 x1958 -x1957 x1956 -x1955 -x1954 x1953 x1952 -x1951 x1950 -x1949 x1948 -x1947 x1946 -x1945
1800.11/1800.62 v x1944 -x1943 x1942 -x1941 -x1940 -x1939 x1938 -x1937 -x1936 x1935 x1934 -x1933 x1932 -x1931 -x1930 -x1929 -x1928 x1927
1800.11/1800.62 v x1926 -x1925 x1924 -x1923 x1922 -x1921 x1920 -x1919 x1918 -x1917 -x1916 x1915 x1914 -x1913 x1912 -x1911 x1910 -x1909 x1908 -x1907
1800.11/1800.62 v -x1906 x1905 x1904 -x1903 x1902 -x1901 x1900 -x1899 x1898 -x1897 x1896 -x1895 -x1894 x1893 x1892 -x1891 x1890 -x1889 x1888
1800.11/1800.62 v -x1887 x1886 -x1885 x1884 -x1883 x1882 -x1881 -x1880 x1879 x1878 -x1877 x1876 -x1875 x1874 -x1873 x1872 -x1871 -x1870 -x1869
1800.11/1800.62 v -x1868 x1867 x1866 -x1865 x1864 -x1863 x1862 -x1861 x1860 -x1859 -x1858 x1857 -x1856 -x1855 x1854 -x1853 x1852 -x1851 x1850
1800.11/1800.62 v -x1849 x1848 -x1847 -x1846 x1845 -x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 -x1834 -x1833 -x1832 x1831
1800.11/1800.62 v x1830 -x1829 -x1828 -x1827 x1826 -x1825 x1824 -x1823 -x1822 x1821 -x1820 -x1819 -x1818 -x1817 x1816 -x1815 x1814 -x1813 x1812
1800.11/1800.62 v -x1811 x1810 -x1809 -x1808 x1807 x1806 -x1805 x1804 -x1803 x1802 -x1801 x1800 -x1799 x1798 -x1797 -x1796 x1795 x1794 -x1793
1800.11/1800.62 v x1792 -x1791 x1790 -x1789 x1788 -x1787 -x1786 x1785 x1784 -x1783 x1782 -x1781 x1780 -x1779 x1778 -x1777 x1776 -x1775 -x1774
1800.11/1800.62 v x1773 x1772 -x1771 x1770 -x1769 x1768 -x1767 x1766 -x1765 x1764 -x1763 -x1762 x1761 -x1760 -x1759 x1758 -x1757 x1756 -x1755
1800.11/1800.62 v x1754 -x1753 x1752 -x1751 -x1750 x1749 -x1748 -x1747 x1746 -x1745 x1744 -x1743 x1742 -x1741 x1740 -x1739 x1738 -x1737 -x1736
1800.11/1800.62 v x1735 x1734 -x1733 x1732 -x1731 x1730 -x1729 x1728 -x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 x1720 -x1719 x1718 -x1717 x1716
1800.11/1800.62 v -x1715 -x1714 x1713 x1712 -x1711 x1710 -x1709 x1708 -x1707 x1706 -x1705 x1704 -x1703 -x1702 x1701 x1700 -x1699 x1698 -x1697
1800.11/1800.62 v x1696 -x1695 x1694 -x1693 x1692 -x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 x1684 -x1683 x1682 -x1681 x1680 -x1679 x1678
1800.11/1800.62 v -x1677 -x1676 x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 x1668 -x1667 x1666 -x1665 -x1664 x1663 x1662 -x1661 x1660 -x1659
1800.11/1800.62 v x1658 -x1657 x1656 -x1655 x1654 -x1653 -x1652 x1651 x1650 -x1649 x1648 -x1647 x1646 -x1645 x1644 -x1643 -x1642 x1641 x1640
1800.11/1800.62 v -x1639 x1638 -x1637 x1636 -x1635 x1634 -x1633 x1632 -x1631 -x1630 x1629 -x1628 -x1627 x1626 -x1625 x1624 -x1623 x1622 -x1621
1800.11/1800.62 v x1620 -x1619 x1618 -x1617 -x1616 x1615 x1614 -x1613 x1612 -x1611 x1610 -x1609 x1608 -x1607 -x1606 -x1605 -x1604 x1603 x1602 -x1601
1800.11/1800.62 v x1600 -x1599 x1598 -x1597 x1596 -x1595 -x1594 x1593 -x1592 -x1591 x1590 -x1589 x1588 -x1587 x1586 -x1585 x1584 -x1583 -x1582
1800.11/1800.62 v -x1581 -x1580 x1579 x1578 -x1577 x1576 -x1575 x1574 -x1573 x1572 -x1571 -x1570 x1569 x1568 -x1567 x1566 -x1565 x1564 -x1563
1800.11/1800.62 v x1562 -x1561 x1560 -x1559 x1558 -x1557 -x1556 x1555 x1554 -x1553 x1552 -x1551 x1550 -x1549 x1548 -x1547 x1546 -x1545 -x1544
1800.11/1800.62 v x1543 x1542 -x1541 x1540 -x1539 x1538 -x1537 x1536 -x1535 -x1534 x1533 x1532 -x1531 x1530 -x1529 x1528 -x1527 x1526 -x1525
1800.11/1800.62 v -x1524 -x1523 -x1522 -x1521 -x1520 x1519 x1518 -x1517 x1516 -x1515 x1514 -x1513 x1512 -x1511 -x1510 x1509 -x1508 -x1507 x1506
1800.11/1800.62 v -x1505 x1504 -x1503 x1502 -x1501 x1500 -x1499 x1498 -x1497 -x1496 x1495 x1494 -x1493 x1492 -x1491 x1490 -x1489 x1488 -x1487
1800.11/1800.62 v -x1486 -x1485 x1484 -x1483 x1482 -x1481 -x1480 x1479 x1478 -x1477 -x1476 -x1475 -x1474 x1473 -x1472 -x1471 x1470 -x1469 x1468
1800.11/1800.62 v -x1467 x1466 -x1465 x1464 -x1463 -x1462 x1461 -x1460 -x1459 x1458 -x1457 -x1456 -x1455 x1454 -x1453 x1452 -x1451 -x1450 -x1449
1800.11/1800.62 v -x1448 x1447 x1446 -x1445 x1444 -x1443 x1442 -x1441 x1440 -x1439 -x1438 -x1437 -x1436 x1435 x1434 -x1433 x1432 -x1431 x1430
1800.11/1800.62 v -x1429 x1428 -x1427 -x1426 x1425 -x1424 -x1423 x1422 -x1421 -x1420 -x1419 x1418 -x1417 x1416 -x1415 x1414 -x1413 -x1412 x1411
1800.11/1800.62 v x1410 -x1409 x1408 -x1407 x1406 -x1405 x1404 -x1403 -x1402 -x1401 -x1400 x1399 x1398 -x1397 x1396 -x1395 x1394 -x1393 x1392
1800.11/1800.62 v -x1391 -x1390 x1389 x1388 -x1387 x1386 -x1385 x1384 -x1383 x1382 -x1381 x1380 -x1379 x1378 -x1377 -x1376 x1375 x1374 -x1373
1800.11/1800.62 v x1372 -x1371 x1370 -x1369 x1368 -x1367 -x1366 x1365 x1364 -x1363 x1362 -x1361 x1360 -x1359 x1358 -x1357 x1356 -x1355 -x1354
1800.11/1800.62 v x1353 x1352 -x1351 x1350 -x1349 -x1348 -x1347 x1346 -x1345 x1344 -x1343 -x1342 x1341 -x1340 -x1339 x1338 -x1337 x1336 -x1335
1800.11/1800.62 v x1334 -x1333 x1332 -x1331 -x1330 x1329 x1328 -x1327 x1326 -x1325 x1324 -x1323 x1322 -x1321 x1320 -x1319 -x1318 -x1317 x1316
1800.11/1800.62 v -x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 x1308 -x1307 x1306 -x1305 -x1304 x1303 x1302 -x1301 x1300 -x1299 x1298 -x1297
1800.11/1800.62 v x1296 -x1295 -x1294 x1293 x1292 -x1291 x1290 -x1289 x1288 -x1287 x1286 -x1285 x1284 -x1283 -x1282 -x1281 -x1280 x1279 x1278 -x1277
1800.11/1800.62 v x1276 -x1275 x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 x1267 x1266 -x1265 -x1264 -x1263 x1262 -x1261 x1260 -x1259
1800.11/1800.62 v -x1258 -x1257 -x1256 x1255 x1254 -x1253 x1252 -x1251 x1250 -x1249 x1248 -x1247 -x1246 x1245 -x1244 -x1243 x1242 -x1241 x1240
1800.11/1800.62 v -x1239 x1238 -x1237 x1236 -x1235 x1234 -x1233 -x1232 x1231 x1230 -x1229 x1228 -x1227 x1226 -x1225 x1224 -x1223 x1222 -x1221 -x1220
1800.11/1800.62 v x1219 x1218 -x1217 x1216 -x1215 x1214 -x1213 x1212 -x1211 -x1210 x1209 x1208 -x1207 x1206 -x1205 -x1204 -x1203 x1202 -x1201
1800.11/1800.62 v x1200 -x1199 x1198 -x1197 -x1196 x1195 x1194 -x1193 x1192 -x1191 x1190 -x1189 x1188 -x1187 -x1186 x1185 -x1184 -x1183 x1182
1800.11/1800.62 v -x1181 x1180 -x1179 x1178 -x1177 x1176 -x1175 -x1174 x1173 -x1172 -x1171 x1170 -x1169 x1168 -x1167 x1166 -x1165 x1164 -x1163
1800.11/1800.62 v -x1162 x1161 x1160 -x1159 x1158 -x1157 x1156 -x1155 x1154 -x1153 x1152 -x1151 x1150 -x1149 -x1148 x1147 x1146 -x1145 x1144
1800.11/1800.62 v -x1143 x1142 -x1141 x1140 -x1139 -x1138 x1137 x1136 -x1135 x1134 -x1133 x1132 -x1131 x1130 -x1129 x1128 -x1127 x1126 -x1125
1800.11/1800.62 v -x1124 x1123 x1122 -x1121 x1120 -x1119 x1118 -x1117 x1116 -x1115 -x1114 x1113 x1112 -x1111 x1110 -x1109 x1108 -x1107 x1106 -x1105
1800.11/1800.62 v x1104 -x1103 -x1102 x1101 -x1100 -x1099 x1098 -x1097 x1096 -x1095 x1094 -x1093 x1092 -x1091 x1090 -x1089 -x1088 x1087 x1086
1800.11/1800.62 v -x1085 x1084 -x1083 x1082 -x1081 x1080 -x1079 x1078 -x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071 x1070 -x1069 x1068 -x1067
1800.11/1800.62 v -x1066 x1065 x1064 -x1063 x1062 -x1061 -x1060 -x1059 x1058 -x1057 x1056 -x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049 x1048
1800.11/1800.62 v -x1047 x1046 -x1045 x1044 -x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 x1036 -x1035 x1034 -x1033 x1032 -x1031 -x1030 x1029
1800.11/1800.62 v x1028 -x1027 x1026 -x1025 x1024 -x1023 x1022 -x1021 x1020 -x1019 -x1018 x1017 x1016 -x1015 x1014 -x1013 x1012 -x1011 x1010
1800.11/1800.62 v -x1009 x1008 -x1007 x1006 -x1005 -x1004 x1003 x1002 -x1001 x1000 -x999 x998 -x997 x996 -x995 -x994 x993 -x992 -x991 x990 -x989
1800.11/1800.62 v x988 -x987 x986 -x985 x984 -x983 x982 -x981 -x980 x979 x978 -x977 x976 -x975 x974 -x973 x972 -x971 x970 -x969 -x968 x967 x966
1800.11/1800.62 v -x965 x964 -x963 x962 -x961 x960 -x959 -x958 x957 -x956 -x955 x954 -x953 x952 -x951 x950 -x949 x948 -x947 -x946 -x945 -x944
1800.11/1800.62 v -x943 x942 -x941 x940 -x939 -x938 x937 x936 -x935 -x934 -x933 -x932 x931 x930 -x929 x928 -x927 x926 -x925 x924 -x923 -x922
1800.11/1800.62 v -x921 -x920 x919 x918 -x917 x916 -x915 x914 -x913 x912 -x911 x910 -x909 -x908 x907 x906 -x905 x904 -x903 x902 -x901 x900 -x899
1800.11/1800.62 v -x898 -x897 -x896 -x895 x894 -x893 -x892 x891 x890 -x889 x888 -x887 -x886 x885 x884 -x883 x882 -x881 x880 -x879 x878 -x877
1800.11/1800.62 v x876 -x875 -x874 x873 x872 -x871 x870 -x869 x868 -x867 x866 -x865 x864 -x863 -x862 x861 x860 -x859 x858 -x857 x856 -x855 x854
1800.11/1800.62 v -x853 x852 -x851 x850 -x849 -x848 x847 x846 -x845 x844 -x843 x842 -x841 x840 -x839 x838 -x837 -x836 x835 x834 -x833 x832 -x831
1800.11/1800.62 v x830 -x829 x828 -x827 x826 -x825 -x824 x823 x822 -x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813 -x812 x811 x810 -x809 x808
1800.11/1800.62 v -x807 x806 -x805 x804 -x803 x802 -x801 -x800 x799 x798 -x797 x796 -x795 x794 -x793 x792 -x791 -x790 x789 -x788 -x787 x786
1800.11/1800.62 v -x785 x784 -x783 x782 -x781 x780 -x779 -x778 x777 x776 -x775 x774 -x773 x772 -x771 x770 -x769 x768 -x767 -x766 x765 x764 -x763
1800.11/1800.62 v x762 -x761 x760 -x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 x750 -x749 -x748 x747 x746 -x745 x744 -x743 -x742 x741 x740
1800.11/1800.62 v -x739 x738 -x737 x736 -x735 x734 -x733 x732 -x731 x730 -x729 -x728 x727 x726 -x725 x724 -x723 x722 -x721 x720 -x719 x718
1800.11/1800.62 v -x717 -x716 x715 x714 -x713 x712 -x711 x710 -x709 x708 -x707 x706 -x705 -x704 x703 x702 -x701 x700 -x699 x698 -x697 x696 -x695
1800.11/1800.62 v x694 -x693 -x692 x691 x690 -x689 x688 -x687 x686 -x685 x684 -x683 -x682 x681 x680 -x679 x678 -x677 x676 -x675 x674 -x673 x672
1800.11/1800.62 v -x671 -x670 x669 -x668 -x667 -x666 -x665 x664 -x663 x662 -x661 x660 -x659 x658 -x657 -x656 x655 x654 -x653 x652 -x651 x650
1800.11/1800.62 v -x649 x648 -x647 -x646 x645 x644 -x643 x642 -x641 x640 -x639 x638 -x637 x636 -x635 -x634 x633 x632 -x631 x630 -x629 x628 -x627
1800.11/1800.62 v x626 -x625 x624 -x623 x622 -x621 -x620 x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611 -x610 x609 x608 -x607 x606 -x605 x604
1800.11/1800.62 v -x603 x602 -x601 x600 -x599 -x598 x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588 -x587 x586 -x585 -x584 x583 x582
1800.11/1800.62 v -x581 x580 -x579 x578 -x577 x576 -x575 -x574 x573 x572 -x571 x570 -x569 x568 -x567 x566 -x565 x564 -x563 -x562 x561 x560 -x559
1800.11/1800.62 v x558 -x557 x556 -x555 x554 -x553 x552 -x551 x550 -x549 -x548 x547 x546 -x545 x544 -x543 x542 -x541 x540 -x539 -x538 x537 -x536
1800.11/1800.62 v -x535 x534 -x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 x518 -x517 x516 -x515 -x514
1800.11/1800.62 v x513 x512 -x511 x510 -x509 -x508 -x507 x506 -x505 x504 -x503 -x502 x501 -x500 -x499 x498 -x497 x496 -x495 x494 -x493 x492 -x491
1800.11/1800.62 v -x490 x489 x488 -x487 x486 -x485 x484 -x483 x482 -x481 x480 -x479 -x478 x477 -x476 -x475 x474 -x473 x472 -x471 x470 -x469
1800.11/1800.62 v x468 -x467 -x466 x465 x464 -x463 x462 -x461 x460 -x459 x458 -x457 x456 -x455 -x454 x453 -x452 -x451 x450 -x449 x448 -x447 x446
1800.11/1800.62 v -x445 x444 -x443 x442 -x441 -x440 x439 x438 -x437 x436 -x435 x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 x426 -x425 x424
1800.11/1800.62 v -x423 x422 -x421 x420 -x419 -x418 -x417 -x416 x415 x414 -x413 x412 -x411 x410 -x409 x408 -x407 -x406 x405 x404 -x403 x402 -x401
1800.11/1800.62 v x400 -x399 x398 -x397 x396 -x395 -x394 x393 -x392 -x391 x390 -x389 x388 -x387 x386 -x385 x384 -x383 x382 -x381 -x380 -x379
1800.11/1800.62 v x378 -x377 -x376 x375 x374 -x373 x372 -x371 -x370 x369 -x368 -x367 x366 -x365 x364 -x363 x362 -x361 x360 -x359 -x358 x357 -x356
1800.11/1800.62 v -x355 x354 -x353 x352 -x351 x350 -x349 x348 -x347 -x346 -x345 -x344 x343 x342 -x341 x340 -x339 x338 -x337 x336 -x335 x334
1800.11/1800.62 v -x333 -x332 x331 x330 -x329 x328 -x327 x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 x315 x314 -x313 x312
1800.11/1800.62 v -x311 -x310 -x309 -x308 x307 x306 -x305 x304 -x303 x302 -x301 x300 -x299 -x298 x297 x296 -x295 x294 -x293 x292 -x291 x290 -x289
1800.11/1800.62 v x288 -x287 -x286 -x285 -x284 x283 x282 -x281 x280 -x279 x278 -x277 x276 -x275 -x274 x273 x272 -x271 x270 -x269 x268 -x267
1800.11/1800.62 v x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 x258 -x257 x256 -x255 x254 -x253 x252 -x251 -x250 x249 x248 -x247 x246 -x245 x244
1800.11/1800.62 v -x243 x242 -x241 x240 -x239 -x238 x237 -x236 -x235 x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 x222
1800.11/1800.62 v -x221 x220 -x219 x218 -x217 x216 -x215 -x214 x213 x212 -x211 x210 -x209 -x208 -x207 x206 -x205 x204 -x203 x202 -x201 -x200
1800.11/1800.62 v x199 x198 -x197 x196 -x195 x194 -x193 -x192 x191 x190 -x189 -x188 x187 -x186 -x185 -x184 x183 -x182 x181 -x180 -x179 -x178 x177
1800.11/1800.62 v -x176 x175 -x174 -x173 -x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 x159 -x158 x157 -x156 x155
1800.11/1800.62 v -x154 x153 -x152 x151 -x150 x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132
1800.11/1800.62 v x131 -x130 x129 -x128 x127 x126 -x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110
1800.11/1800.62 v x109 -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 -x98 x97 -x96 x95 x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85
1800.11/1800.62 v -x84 -x83 -x82 x81 -x80 x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 x63 -x62 x61 -x60 x59 -x58
1800.11/1800.62 v x57 -x56 x55 x54 -x53 -x52 x51 -x50 x49 x48 -x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 x36 -x35 -x34 x33 -x32 x31 -x30
1800.11/1800.62 v -x29 x28 -x27 -x26 x25 -x24 x23 x22 -x21 -x20 x19 -x18 -x17 -x16 x15 x14 -x13 -x12 x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 x3 x2 -x1
1800.11/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.62 c Solving Time : 1761.07
1800.11/1800.62 c Original Problem :
1800.11/1800.62 c Problem name : HOME/instance-2666924-1276472898.opb
1800.11/1800.62 c Variables : 2136 (2136 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.62 c Constraints : 9282 initial, 9282 maximal
1800.11/1800.62 c Presolved Problem :
1800.11/1800.62 c Problem name : t_HOME/instance-2666924-1276472898.opb
1800.11/1800.62 c Variables : 2124 (2124 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.11/1800.62 c Constraints : 9210 initial, 9236 maximal
1800.11/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c dualfix : 0.00 12 0 0 0 0 0 0 0
1800.11/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c probing : 0.13 0 0 0 0 0 0 0 0
1800.11/1800.62 c linear : 0.12 0 0 0 0 0 72 0 0
1800.11/1800.62 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.11/1800.62 c root node : - 0 - - 0 - - - -
1800.11/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.11/1800.62 c logicor : 9210+ 44 2145135 0 1 172648 2049522 0 0 0
1800.11/1800.62 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.11/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.62 c integral : 22.82 0.00 0.00 22.82 0.00
1800.11/1800.62 c logicor : 556.47 0.12 556.35 0.00 0.00
1800.11/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.11/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.62 c vbounds : 3.08 2 0 0
1800.11/1800.62 c rootredcost : 3.29 1 0 0
1800.11/1800.62 c pseudoobj : 810.82 7089077 429854 24043195
1800.11/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.62 c propagation : 523.29 172648 172648 172648 108.6 2 14.0 -
1800.11/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c pseudo solution : 144.60 77374 0 0 0.0 0 0.0 -
1800.11/1800.62 c applied globally : - - - 172650 108.6 - - -
1800.11/1800.62 c applied locally : - - - 0 0.0 - - -
1800.11/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.62 c cut pool : 0.03 43 - - 963 - (maximal pool size: 2248)
1800.11/1800.62 c redcost : 0.00 44 0 0 0 0
1800.11/1800.62 c impliedbounds : 0.08 44 0 0 0 0
1800.11/1800.62 c intobj : 0.00 0 0 0 0 0
1800.11/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.62 c gomory : 19.94 44 0 0 18595 0
1800.11/1800.62 c strongcg : 2.13 20 0 0 10000 0
1800.11/1800.62 c cmir : 0.71 10 0 0 0 0
1800.11/1800.62 c flowcover : 0.65 10 0 0 0 0
1800.11/1800.62 c clique : 0.05 1 0 0 0 0
1800.11/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.62 c mcf : 0.05 1 0 0 0 0
1800.11/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.11/1800.62 c Pricers : Time Calls Vars
1800.11/1800.62 c problem variables: 0.00 0 0
1800.11/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.62 c relpscost : 22.82 1 0 0 0 0 2
1800.11/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.62 c inference : 22.69 682051 0 0 0 0 1364102
1800.11/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.62 c random : 0.00 0 0 0 0 0 0
1800.11/1800.62 c Primal Heuristics : Time Calls Found
1800.11/1800.62 c LP solutions : 0.00 - 0
1800.11/1800.62 c pseudo solutions : 0.00 - 1
1800.11/1800.62 c oneopt : 1.23 0 0
1800.11/1800.62 c crossover : 0.00 0 0
1800.11/1800.62 c trivial : 0.02 2 0
1800.11/1800.62 c simplerounding : 0.00 0 0
1800.11/1800.62 c zirounding : 0.00 1 0
1800.11/1800.62 c rounding : 0.20 45 0
1800.11/1800.62 c shifting : 3.72 45 0
1800.11/1800.62 c intshifting : 0.00 0 0
1800.11/1800.62 c twoopt : 0.00 0 0
1800.11/1800.62 c fixandinfer : 0.00 0 0
1800.11/1800.62 c feaspump : 3.24 1 0
1800.11/1800.62 c coefdiving : 0.00 0 0
1800.11/1800.62 c pscostdiving : 0.00 0 0
1800.11/1800.62 c fracdiving : 0.00 0 0
1800.11/1800.62 c veclendiving : 0.00 0 0
1800.11/1800.62 c intdiving : 0.00 0 0
1800.11/1800.62 c actconsdiving : 0.00 0 0
1800.11/1800.62 c objpscostdiving : 0.00 0 0
1800.11/1800.62 c rootsoldiving : 0.00 0 0
1800.11/1800.62 c linesearchdiving : 0.00 0 0
1800.11/1800.62 c guideddiving : 0.00 0 0
1800.11/1800.62 c octane : 0.00 0 0
1800.11/1800.62 c rens : 0.01 0 0
1800.11/1800.62 c rins : 0.00 0 0
1800.11/1800.62 c localbranching : 0.00 0 0
1800.11/1800.62 c mutation : 0.00 0 0
1800.11/1800.62 c dins : 0.00 0 0
1800.11/1800.62 c undercover : 0.00 0 0
1800.11/1800.62 c nlp : 0.70 0 0
1800.11/1800.62 c trysol : 0.81 0 0
1800.11/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.62 c primal LP : 0.06 0 0 0.00 0.00
1800.11/1800.62 c dual LP : 20.69 45 18945 421.00 915.66
1800.11/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.62 c diving/probing LP: 2.97 64 5536 86.50 1863.97
1800.11/1800.62 c strong branching : 22.82 57 18354 322.00 804.29
1800.11/1800.62 c (at root node) : - 57 18354 322.00 -
1800.11/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.62 c B&B Tree :
1800.11/1800.62 c number of runs : 1
1800.11/1800.62 c nodes : 1302648
1800.11/1800.62 c nodes (total) : 1302648
1800.11/1800.62 c nodes left : 125
1800.11/1800.62 c max depth : 232
1800.11/1800.62 c max depth (total): 232
1800.11/1800.62 c backtracks : 394051 (30.2%)
1800.11/1800.62 c delayed cutoffs : 61238
1800.11/1800.62 c repropagations : 102446 (3705153 domain reductions, 59281 cutoffs)
1800.11/1800.62 c avg switch length: 2.01
1800.11/1800.62 c switching time : 67.23
1800.11/1800.62 c Solution :
1800.11/1800.62 c Solutions found : 1 (1 improvements)
1800.11/1800.62 c First Solution : +9.65000000000000e+02 (in run 1, after 320 nodes, 75.48 seconds, depth 232, found by <relaxation>)
1800.11/1800.62 c Primal Bound : +9.65000000000000e+02 (in run 1, after 320 nodes, 75.48 seconds, depth 232, found by <relaxation>)
1800.11/1800.62 c Dual Bound : +4.61447215054408e+02
1800.11/1800.62 c Gap : 109.12 %
1800.11/1800.62 c Root Dual Bound : +4.61118043768663e+02
1800.11/1800.62 c Root Iterations : 24481
1800.11/1800.69 c Time complete: 1800.19.