0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2693481-1277906442.wbo>
0.00/0.03 c original problem has 3807 variables (2019 bin, 0 int, 0 impl, 1788 cont) and 4496 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.06/0.09 c (round 2) 0 del vars, 71 del conss, 1788 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.08/0.10 c (round 3) 54 del vars, 152 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 0 upgd conss, 1928 impls, 11 clqs
0.08/0.11 c (round 4) 126 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.08/0.12 c (round 5) 144 del vars, 170 del conss, 1806 chg bounds, 81 chg sides, 0 chg coeffs, 894 upgd conss, 1928 impls, 11 clqs
0.08/0.18 c (0.1s) probing: 101/1947 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.18 c presolving (6 rounds):
0.08/0.18 c 144 deleted vars, 170 deleted constraints, 1806 tightened bounds, 0 added holes, 81 changed sides, 0 changed coefficients
0.08/0.18 c 1928 implications, 11 cliques
0.08/0.18 c presolved problem has 3663 variables (1947 bin, 0 int, 0 impl, 1716 cont) and 4326 constraints
0.08/0.18 c 1716 constraints of type <indicator>
0.08/0.18 c 11 constraints of type <setppc>
0.08/0.18 c 1716 constraints of type <linear>
0.08/0.18 c 883 constraints of type <logicor>
0.08/0.18 c transformed objective value is always integral (scale: 1)
0.08/0.18 c Presolving Time: 0.13
0.08/0.18 c - non default parameters ----------------------------------------------------------------------
0.08/0.18 c # SCIP version 1.2.1.2
0.08/0.18 c
0.08/0.18 c # frequency for displaying node information lines
0.08/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.18 c display/freq = 10000
0.08/0.18 c
0.08/0.18 c # maximal time in seconds to run
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/time = 1799.98
0.08/0.18 c
0.08/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.18 c limits/memory = 3420
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify inequalities
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/linear/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # should presolving try to simplify knapsacks
0.08/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.18 c
0.08/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.18 c separating/rapidlearning/freq = 0
0.08/0.18 c
0.08/0.18 c -----------------------------------------------------------------------------------------------
0.08/0.18 c start solving
0.08/0.18 c
0.08/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.08/0.19 c 0.1s| 1 | 0 | 24 | - | 13M| 0 | 14 |3663 |4326 |3663 | 894 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 85182
0.19/0.20 c y 0.2s| 1 | 0 | 24 | - | 13M| 0 | 14 |3663 |4326 |3663 | 894 | 0 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 63 | - | 13M| 0 | 29 |3663 |4326 |3663 | 912 | 18 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 122 | - | 14M| 0 | 31 |3663 |4326 |3663 | 930 | 36 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 172 | - | 14M| 0 | 34 |3663 |4326 |3663 | 940 | 46 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 319 | - | 14M| 0 | 21 |3663 |4326 |3663 | 955 | 61 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.39/0.45 c 0.4s| 1 | 0 | 396 | - | 15M| 0 | 25 |3663 |4326 |3663 | 966 | 72 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.49/0.51 c 0.5s| 1 | 0 | 408 | - | 15M| 0 | 0 |3663 |4326 |3663 | 974 | 80 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.49/0.51 c 0.5s| 1 | 0 | 410 | - | 15M| 0 | 0 |3663 |4326 |3663 | 976 | 82 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.49/0.52 c 0.5s| 1 | 2 | 410 | - | 15M| 0 | 0 |3663 |4326 |3663 | 976 | 82 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
14.30/14.31 o 916
14.30/14.31 c *13.8s| 2773 | 2318 | 27138 | 9.6 | 25M| 105 | - |3663 |4330 |3663 |1060 |2972 | 4 |1296 | 0.000000e+00 | 9.160000e+02 | Inf
15.40/15.48 o 890
15.40/15.48 c *14.9s| 3169 | 2682 | 31827 | 9.9 | 27M| 105 | - |3663 |4342 |3663 |1049 |3627 | 16 |1324 | 0.000000e+00 | 8.900000e+02 | Inf
24.89/24.91 o 887
24.89/24.91 c *24.2s| 7920 | 7408 | 58972 | 7.4 | 36M| 153 | - |3663 |4383 |3663 |1057 |7501 | 89 |1400 | 0.000000e+00 | 8.870000e+02 | Inf
29.39/29.49 c 28.6s| 10000 | 9466 | 73855 | 7.3 | 40M| 153 | 0 |3663 |4423 |3663 |1058 |9419 | 154 |1436 | 0.000000e+00 | 8.870000e+02 | Inf
31.69/31.71 o 656
31.69/31.71 c *30.8s| 11026 | 9873 | 81317 | 7.3 | 41M| 153 | - |3663 |4489 |3663 |1052 | 10k| 240 |1437 | 0.000000e+00 | 6.560000e+02 | Inf
32.49/32.51 o 647
32.49/32.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.49/32.51 c *31.6s| 11310 | 10081 | 84607 | 7.4 | 42M| 153 | - |3663 |4545 |3663 | 998 | 10k| 306 |1437 | 0.000000e+00 | 6.470000e+02 | Inf
34.29/34.33 o 558
34.29/34.33 c *33.3s| 12043 | 10241 | 89750 | 7.4 | 42M| 153 | - |3663 |4666 |3663 |1034 | 11k| 458 |1481 | 0.000000e+00 | 5.580000e+02 | Inf
34.29/34.35 o 501
34.29/34.35 c *33.4s| 12052 | 9824 | 89756 | 7.4 | 41M| 153 | - |3663 |4666 |3663 |1034 | 11k| 458 |1481 | 0.000000e+00 | 5.010000e+02 | Inf
34.59/34.65 o 471
34.59/34.65 c *33.6s| 12204 | 9741 | 90006 | 7.3 | 41M| 153 | - |3663 |4708 |3663 |1039 | 11k| 503 |1481 | 0.000000e+00 | 4.710000e+02 | Inf
34.69/34.72 o 462
34.69/34.72 c *33.7s| 12228 | 9658 | 90046 | 7.3 | 41M| 153 | - |3663 |4726 |3663 |1040 | 11k| 523 |1482 | 0.000000e+00 | 4.620000e+02 | Inf
38.79/38.87 o 424
38.79/38.87 c *37.8s| 13591 | 10462 |108313 | 7.9 | 44M| 153 | - |3663 |5101 |3663 |1043 | 14k|1146 |1530 | 0.000000e+00 | 4.240000e+02 | Inf
44.39/44.42 o 386
44.39/44.42 c *43.1s| 15384 | 11537 |131582 | 8.5 | 47M| 153 | - |3663 |5321 |3663 |1044 | 17k|1989 |1604 | 0.000000e+00 | 3.860000e+02 | Inf
44.39/44.43 o 342
44.39/44.43 c *43.2s| 15386 | 11056 |131586 | 8.5 | 45M| 153 | - |3663 |5319 |3663 |1044 | 17k|1989 |1604 | 0.000000e+00 | 3.420000e+02 | Inf
44.39/44.46 o 322
44.39/44.46 c *43.2s| 15391 | 10745 |131664 | 8.5 | 45M| 153 | - |3663 |5317 |3663 |1040 | 17k|1989 |1604 | 0.000000e+00 | 3.220000e+02 | Inf
45.39/45.49 o 302
45.39/45.49 c *44.2s| 15757 | 10587 |135132 | 8.6 | 45M| 153 | - |3663 |5405 |3663 |1034 | 17k|2242 |1612 | 0.000000e+00 | 3.020000e+02 | Inf
45.49/45.58 o 295
45.49/45.58 c *44.3s| 15787 | 10484 |135291 | 8.5 | 45M| 153 | - |3663 |5402 |3663 |1040 | 17k|2248 |1612 | 0.000000e+00 | 2.950000e+02 | Inf
47.30/47.34 o 265
47.30/47.34 c *46.0s| 16357 | 10145 |143107 | 8.7 | 44M| 153 | - |3663 |5382 |3663 |1054 | 18k|2586 |1619 | 0.000000e+00 | 2.650000e+02 | Inf
48.49/48.60 o 247
48.49/48.60 c *47.2s| 16806 | 9788 |147460 | 8.8 | 44M| 153 | - |3663 |5394 |3663 |1020 | 19k|2894 |1619 | 0.000000e+00 | 2.470000e+02 | Inf
49.50/49.53 o 238
49.50/49.53 c *48.1s| 17073 | 9664 |152306 | 8.9 | 44M| 153 | - |3663 |5334 |3663 |1000 | 19k|3015 |1619 | 0.000000e+00 | 2.380000e+02 | Inf
53.69/53.78 o 224
53.69/53.78 c *52.3s| 18625 | 9873 |167413 | 9.0 | 47M| 153 | - |3663 |5991 |3663 |1044 | 21k|4255 |1619 | 0.000000e+00 | 2.240000e+02 | Inf
54.29/54.32 o 221
54.29/54.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.29/54.32 c *52.8s| 18745 | 9814 |170371 | 9.1 | 48M| 153 | - |3663 |5969 |3663 |1050 | 21k|4337 |1619 | 0.000000e+00 | 2.210000e+02 | Inf
54.29/54.32 o 218
54.29/54.32 c *52.8s| 18746 | 9662 |170376 | 9.1 | 47M| 153 | - |3663 |5969 |3663 |1049 | 21k|4337 |1619 | 0.000000e+00 | 2.180000e+02 | Inf
54.39/54.40 o 214
54.39/54.40 c *52.9s| 18761 | 9515 |170919 | 9.1 | 47M| 153 | - |3663 |5952 |3663 |1056 | 21k|4343 |1619 | 0.000000e+00 | 2.140000e+02 | Inf
56.19/56.21 o 208
56.19/56.21 c *54.6s| 19326 | 9464 |178566 | 9.2 | 48M| 153 | - |3663 |5651 |3663 |1056 | 22k|4786 |1619 | 0.000000e+00 | 2.080000e+02 | Inf
57.19/57.27 o 202
57.19/57.27 c *55.7s| 19763 | 9305 |182332 | 9.2 | 48M| 153 | - |3663 |5764 |3663 |1014 | 22k|5170 |1619 | 0.000000e+00 | 2.020000e+02 | Inf
57.19/57.27 o 191
57.19/57.27 c *55.7s| 19764 | 8723 |182336 | 9.2 | 46M| 153 | - |3663 |5764 |3663 |1014 | 22k|5170 |1619 | 0.000000e+00 | 1.910000e+02 | Inf
57.79/57.89 c 56.3s| 20000 | 8907 |184232 | 9.2 | 47M| 153 | 0 |3663 |5750 |3663 |1052 | 23k|5261 |1619 | 0.000000e+00 | 1.910000e+02 | Inf
58.09/58.14 o 184
58.09/58.14 c *56.5s| 20137 | 8724 |184719 | 9.2 | 46M| 153 | - |3663 |5735 |3663 |1014 | 23k|5271 |1619 | 0.000000e+00 | 1.840000e+02 | Inf
58.09/58.16 o 162
58.09/58.16 c *56.5s| 20139 | 7842 |184733 | 9.2 | 43M| 153 | - |3663 |5735 |3663 |1014 | 23k|5271 |1619 | 0.000000e+00 | 1.620000e+02 | Inf
58.09/58.16 o 145
58.09/58.16 c *56.5s| 20140 | 7137 |184733 | 9.2 | 41M| 153 | - |3663 |5735 |3663 |1014 | 23k|5271 |1619 | 0.000000e+00 | 1.450000e+02 | Inf
58.79/58.89 o 141
58.79/58.89 c *57.2s| 20369 | 7048 |187583 | 9.2 | 41M| 153 | - |3663 |5770 |3663 |1045 | 23k|5439 |1619 | 0.000000e+00 | 1.410000e+02 | Inf
58.89/58.90 o 140
58.89/58.90 c *57.2s| 20370 | 6997 |187584 | 9.2 | 40M| 153 | - |3663 |5770 |3663 |1045 | 23k|5439 |1619 | 0.000000e+00 | 1.400000e+02 | Inf
58.89/58.96 o 136
58.89/58.96 c *57.3s| 20380 | 6812 |188123 | 9.2 | 40M| 153 | - |3663 |5755 |3663 |1042 | 23k|5439 |1619 | 0.000000e+00 | 1.360000e+02 | Inf
58.99/59.06 o 125
58.99/59.06 c *57.4s| 20402 | 6380 |188275 | 9.2 | 39M| 153 | - |3663 |5761 |3663 |1050 | 23k|5453 |1619 | 0.000000e+00 | 1.250000e+02 | Inf
58.99/59.06 o 118
58.99/59.06 c *57.4s| 20403 | 6146 |188275 | 9.2 | 38M| 153 | - |3663 |5761 |3663 |1050 | 23k|5453 |1619 | 0.000000e+00 | 1.180000e+02 | Inf
59.09/59.11 o 105
59.09/59.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.09/59.11 c *57.5s| 20410 | 5397 |188363 | 9.2 | 37M| 153 | - |3663 |5758 |3663 |1060 | 23k|5457 |1619 | 0.000000e+00 | 1.050000e+02 | Inf
61.60/61.62 o 101
61.60/61.62 c *59.9s| 21177 | 5400 |199215 | 9.4 | 39M| 153 | - |3663 |5646 |3663 |1042 | 24k|6177 |1619 | 0.000000e+00 | 1.010000e+02 | Inf
62.79/62.82 o 88
62.79/62.82 c *61.1s| 21542 | 4665 |204551 | 9.5 | 38M| 153 | - |3663 |5801 |3663 |1036 | 24k|6505 |1619 | 0.000000e+00 | 8.800000e+01 | Inf
62.79/62.88 o 73
62.79/62.88 c *61.1s| 21553 | 4039 |204785 | 9.5 | 37M| 153 | - |3663 |5570 |3663 |1044 | 24k|6514 |1619 | 0.000000e+00 | 7.300000e+01 | Inf
62.99/63.01 o 72
62.99/63.01 c *61.3s| 21592 | 4035 |205255 | 9.5 | 37M| 153 | - |3663 |5291 |3663 |1044 | 24k|6548 |1619 | 0.000000e+00 | 7.200000e+01 | Inf
63.09/63.10 o 69
63.09/63.10 c *61.3s| 21611 | 3929 |205546 | 9.5 | 37M| 153 | - |3663 |5238 |3663 |1054 | 24k|6562 |1619 | 0.000000e+00 | 6.900000e+01 | Inf
63.09/63.15 o 57
63.09/63.15 c *61.4s| 21621 | 3450 |205655 | 9.5 | 35M| 153 | - |3663 |5146 |3663 |1043 | 24k|6562 |1619 | 0.000000e+00 | 5.700000e+01 | Inf
63.29/63.31 o 55
63.29/63.31 c *61.5s| 21661 | 3376 |206352 | 9.5 | 35M| 153 | - |3663 |4946 |3663 |1045 | 24k|6600 |1619 | 0.000000e+00 | 5.500000e+01 | Inf
63.29/63.32 o 43
63.29/63.32 c *61.6s| 21662 | 2721 |206365 | 9.5 | 32M| 153 | - |3663 |4946 |3663 |1045 | 24k|6600 |1619 | 0.000000e+00 | 4.300000e+01 | Inf
63.29/63.38 o 35
63.29/63.38 c *61.6s| 21676 | 2375 |206672 | 9.5 | 31M| 153 | - |3663 |4681 |3663 |1013 | 24k|6606 |1619 | 0.000000e+00 | 3.500000e+01 | Inf
63.39/63.42 o 24
63.39/63.42 c *61.6s| 21684 | 2035 |206777 | 9.5 | 30M| 153 | - |3663 |4533 |3663 |1003 | 24k|6613 |1619 | 0.000000e+00 | 2.400000e+01 | Inf
63.39/63.46 o 11
63.39/63.46 c *61.7s| 21692 | 1020 |207033 | 9.5 | 27M| 153 | - |3663 |4293 |3663 |1026 | 24k|6621 |1619 | 0.000000e+00 | 1.100000e+01 | Inf
78.10/78.13 c 76.0s| 30000 | 1066 |272817 | 9.1 | 30M| 153 | 17 |3663 |6446 |3663 | 970 | 26k| 17k|1625 | 0.000000e+00 | 1.100000e+01 | Inf
95.59/95.64 o 9
95.59/95.64 c *93.0s| 39806 | 1104 |341641 | 8.6 | 33M| 153 | - |3663 | 10k|3663 |1000 | 29k| 30k|1625 | 0.000000e+00 | 9.000000e+00 | Inf
95.89/95.98 c 93.3s| 40000 | 1107 |342896 | 8.6 | 33M| 153 | - |3663 | 10k| 0 | 0 | 29k| 30k|1625 | 0.000000e+00 | 9.000000e+00 | Inf
114.78/114.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.78/114.87 c 112s| 50000 | 1230 |423664 | 8.5 | 34M| 153 | - |3663 |9307 | 0 | 0 | 31k| 43k|1721 | 0.000000e+00 | 9.000000e+00 | Inf
131.99/132.01 c 128s| 60000 | 1343 |484281 | 8.1 | 37M| 153 | - |3663 | 12k| 0 | 0 | 34k| 57k|1802 | 0.000000e+00 | 9.000000e+00 | Inf
150.18/150.20 c 146s| 70000 | 1402 |551822 | 7.9 | 38M| 153 | 18 |3663 | 12k|3663 |1001 | 37k| 70k|1917 | 0.000000e+00 | 9.000000e+00 | Inf
168.19/168.23 c 163s| 80000 | 1533 |612792 | 7.7 | 39M| 153 | - |3663 | 13k| 0 | 0 | 39k| 83k|2017 | 0.000000e+00 | 9.000000e+00 | Inf
186.09/186.18 c 181s| 90000 | 1607 |666762 | 7.4 | 41M| 153 | - |3663 | 14k| 0 | 0 | 42k| 96k|2136 | 0.000000e+00 | 9.000000e+00 | Inf
205.49/205.53 c 200s|100000 | 1555 |738017 | 7.4 | 40M| 153 | 17 |3663 | 13k|3663 |1001 | 44k| 110k|2242 | 0.000000e+00 | 9.000000e+00 | Inf
225.19/225.25 c 219s|110000 | 1611 |812316 | 7.4 | 42M| 153 | 11 |3663 | 13k|3663 | 970 | 47k| 123k|2404 | 0.000000e+00 | 9.000000e+00 | Inf
226.60/226.66 o 4
226.60/226.66 c * 220s|110831 | 1271 |816213 | 7.4 | 38M| 153 | - |3663 | 14k|3663 | 999 | 47k| 124k|2407 | 0.000000e+00 | 4.000000e+00 | Inf
244.59/244.68 c 238s|120000 | 1347 |889728 | 7.4 | 39M| 153 | - |3663 | 13k| 0 | 0 | 49k| 136k|2554 | 0.000000e+00 | 4.000000e+00 | Inf
264.29/264.34 c 257s|130000 | 1357 |967364 | 7.4 | 39M| 153 | - |3663 | 12k| 0 | 0 | 52k| 150k|2648 | 0.000000e+00 | 4.000000e+00 | Inf
284.29/284.37 c 276s|140000 | 1432 | 1049k| 7.5 | 41M| 153 | 16 |3663 | 14k|3663 | 970 | 54k| 163k|2766 | 0.000000e+00 | 4.000000e+00 | Inf
304.70/304.72 c 296s|150000 | 1511 | 1125k| 7.5 | 43M| 153 | 24 |3663 | 18k|3663 | 984 | 56k| 176k|2877 | 0.000000e+00 | 4.000000e+00 | Inf
326.48/326.54 c 317s|160000 | 1553 | 1193k| 7.5 | 45M| 153 | - |3663 | 20k| 0 | 0 | 58k| 189k|2954 | 0.000000e+00 | 4.000000e+00 | Inf
337.78/337.85 o 3
337.78/337.85 c * 328s|164814 | 1459 | 1227k| 7.4 | 43M| 153 | - |3663 | 18k|3663 | 974 | 58k| 196k|3026 | 0.000000e+00 | 3.000000e+00 | Inf
348.48/348.58 c 339s|170000 | 1555 | 1266k| 7.4 | 44M| 153 | - |3663 | 19k| 0 | 0 | 60k| 203k|3055 | 0.000000e+00 | 3.000000e+00 | Inf
368.89/368.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.89/368.91 c 359s|180000 | 1627 | 1334k| 7.4 | 46M| 153 | 18 |3663 | 23k|3663 | 988 | 62k| 217k|3171 | 0.000000e+00 | 3.000000e+00 | Inf
392.09/392.16 c 381s|190000 | 1826 | 1421k| 7.5 | 48M| 153 | - |3663 | 24k| 0 | 0 | 64k| 231k|3245 | 0.000000e+00 | 3.000000e+00 | Inf
414.18/414.26 c 403s|200000 | 1861 | 1500k| 7.5 | 49M| 153 | 21 |3663 | 23k|3663 | 989 | 66k| 245k|3378 | 0.000000e+00 | 3.000000e+00 | Inf
436.29/436.39 c 424s|210000 | 1924 | 1580k| 7.5 | 50M| 153 | 29 |3663 | 24k|3663 | 999 | 68k| 260k|3443 | 0.000000e+00 | 3.000000e+00 | Inf
460.08/460.13 c 447s|220000 | 1907 | 1662k| 7.6 | 50M| 153 | - |3663 | 22k| 0 | 0 | 71k| 273k|3574 | 0.000000e+00 | 3.000000e+00 | Inf
486.68/486.74 c 473s|230000 | 1856 | 1754k| 7.6 | 50M| 153 | 17 |3663 | 22k|3663 |1012 | 73k| 287k|3697 | 0.000000e+00 | 3.000000e+00 | Inf
509.09/509.20 c 495s|240000 | 1750 | 1827k| 7.6 | 47M| 153 | 15 |3663 | 16k|3663 | 996 | 76k| 301k|3838 | 0.000000e+00 | 3.000000e+00 | Inf
530.19/530.29 c 515s|250000 | 1831 | 1896k| 7.6 | 50M| 153 | 22 |3663 | 22k|3663 | 990 | 80k| 314k|3893 | 0.000000e+00 | 3.000000e+00 | Inf
552.69/552.77 c 537s|260000 | 1869 | 1959k| 7.5 | 51M| 153 | 11 |3663 | 23k|3663 | 977 | 83k| 328k|3960 | 0.000000e+00 | 3.000000e+00 | Inf
576.49/576.56 c 559s|270000 | 1879 | 2030k| 7.5 | 52M| 153 | 18 |3663 | 24k|3663 | 970 | 86k| 342k|4010 | 0.000000e+00 | 3.000000e+00 | Inf
599.88/599.90 c 582s|280000 | 1631 | 2108k| 7.5 | 46M| 153 | 5 |3663 | 13k|3663 | 981 | 88k| 355k|4136 | 0.000000e+00 | 3.000000e+00 | Inf
621.69/621.77 c 603s|290000 | 1537 | 2196k| 7.6 | 45M| 153 | 1 |3663 | 10k|3663 | 970 | 90k| 368k|4227 | 0.000000e+00 | 3.000000e+00 | Inf
642.39/642.46 c 622s|300000 | 1561 | 2277k| 7.6 | 46M| 153 | 6 |3663 | 14k|3663 | 970 | 92k| 381k|4318 | 0.000000e+00 | 3.000000e+00 | Inf
664.09/664.16 c 643s|310000 | 1715 | 2356k| 7.6 | 49M| 153 | 7 |3663 | 19k|3663 | 993 | 95k| 395k|4405 | 0.000000e+00 | 3.000000e+00 | Inf
686.19/686.25 c 664s|320000 | 1650 | 2429k| 7.6 | 49M| 153 | - |3663 | 18k| 0 | 0 | 98k| 409k|4467 | 0.000000e+00 | 3.000000e+00 | Inf
707.89/707.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.89/707.94 c 685s|330000 | 1768 | 2500k| 7.6 | 51M| 153 | 9 |3663 | 21k|3663 | 983 | 100k| 422k|4536 | 0.000000e+00 | 3.000000e+00 | Inf
730.99/731.07 c 707s|340000 | 1838 | 2565k| 7.5 | 52M| 153 | - |3663 | 23k| 0 | 0 | 103k| 436k|4577 | 0.000000e+00 | 3.000000e+00 | Inf
755.09/755.10 c 730s|350000 | 2010 | 2635k| 7.5 | 55M| 153 | - |3663 | 26k| 0 | 0 | 105k| 450k|4661 | 0.000000e+00 | 3.000000e+00 | Inf
780.60/780.69 c 755s|360000 | 2038 | 2710k| 7.5 | 55M| 153 | - |3663 | 25k| 0 | 0 | 107k| 464k|4722 | 0.000000e+00 | 3.000000e+00 | Inf
805.29/805.34 c 778s|370000 | 2210 | 2778k| 7.5 | 58M| 153 | 18 |3663 | 30k|3663 | 989 | 109k| 478k|4775 | 0.000000e+00 | 3.000000e+00 | Inf
831.00/831.08 c 803s|380000 | 2235 | 2850k| 7.5 | 58M| 153 | - |3663 | 29k| 0 | 0 | 112k| 492k|4827 | 0.000000e+00 | 3.000000e+00 | Inf
856.19/856.24 c 827s|390000 | 2241 | 2919k| 7.5 | 59M| 153 | 25 |3663 | 29k|3663 | 983 | 114k| 506k|4877 | 0.000000e+00 | 3.000000e+00 | Inf
882.79/882.86 c 853s|400000 | 2312 | 3003k| 7.5 | 60M| 153 | 7 |3663 | 31k|3663 | 990 | 117k| 520k|4956 | 0.000000e+00 | 3.000000e+00 | Inf
909.89/909.97 c 879s|410000 | 2309 | 3080k| 7.5 | 60M| 153 | 1 |3663 | 29k|3663 | 981 | 120k| 534k|5019 | 0.000000e+00 | 3.000000e+00 | Inf
936.69/936.77 c 905s|420000 | 2315 | 3153k| 7.5 | 61M| 153 | 10 |3663 | 31k|3663 | 985 | 122k| 548k|5090 | 0.000000e+00 | 3.000000e+00 | Inf
965.50/965.52 c 933s|430000 | 2382 | 3224k| 7.5 | 62M| 153 | - |3663 | 31k| 0 | 0 | 125k| 561k|5176 | 0.000000e+00 | 3.000000e+00 | Inf
993.60/993.64 c 960s|440000 | 2536 | 3293k| 7.5 | 65M| 153 | - |3663 | 35k| 0 | 0 | 128k| 575k|5219 | 0.000000e+00 | 3.000000e+00 | Inf
1022.10/1022.10 c 987s|450000 | 2604 | 3369k| 7.5 | 66M| 153 | - |3663 | 36k| 0 | 0 | 130k| 588k|5275 | 0.000000e+00 | 3.000000e+00 | Inf
1051.50/1051.57 c 1016s|460000 | 2657 | 3433k| 7.5 | 68M| 153 | - |3663 | 38k|3663 |1005 | 133k| 602k|5330 | 0.000000e+00 | 3.000000e+00 | Inf
1082.51/1082.54 c 1046s|470000 | 2670 | 3506k| 7.5 | 67M| 153 | - |3663 | 36k| 0 | 0 | 136k| 617k|5399 | 0.000000e+00 | 3.000000e+00 | Inf
1114.60/1114.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.60/1114.62 c 1077s|480000 | 2810 | 3584k| 7.5 | 70M| 153 | - |3663 | 39k| 0 | 0 | 139k| 631k|5448 | 0.000000e+00 | 3.000000e+00 | Inf
1145.01/1145.03 c 1106s|490000 | 2862 | 3653k| 7.5 | 71M| 153 | 1 |3663 | 41k|3663 | 983 | 141k| 645k|5509 | 0.000000e+00 | 3.000000e+00 | Inf
1176.70/1176.77 c 1137s|500000 | 2906 | 3725k| 7.5 | 72M| 153 | - |3663 | 40k| 0 | 0 | 144k| 659k|5565 | 0.000000e+00 | 3.000000e+00 | Inf
1207.51/1207.53 c 1167s|510000 | 2973 | 3788k| 7.4 | 74M| 153 | - |3663 | 43k| 0 | 0 | 147k| 673k|5591 | 0.000000e+00 | 3.000000e+00 | Inf
1239.00/1239.00 c 1197s|520000 | 3061 | 3855k| 7.4 | 75M| 153 | 1 |3663 | 43k|3663 |1001 | 149k| 687k|5628 | 0.000000e+00 | 3.000000e+00 | Inf
1272.01/1272.08 c 1229s|530000 | 3246 | 3930k| 7.4 | 77M| 153 | - |3663 | 45k| 0 | 0 | 152k| 700k|5678 | 0.000000e+00 | 3.000000e+00 | Inf
1304.31/1304.38 c 1261s|540000 | 3427 | 4000k| 7.4 | 79M| 153 | - |3663 | 47k| 0 | 0 | 154k| 714k|5713 | 0.000000e+00 | 3.000000e+00 | Inf
1336.51/1336.59 c 1292s|550000 | 3514 | 4070k| 7.4 | 80M| 153 | - |3663 | 48k| 0 | 0 | 157k| 729k|5758 | 0.000000e+00 | 3.000000e+00 | Inf
1369.31/1369.33 c 1323s|560000 | 3465 | 4146k| 7.4 | 80M| 153 | 1 |3663 | 46k|3663 | 993 | 159k| 744k|5805 | 0.000000e+00 | 3.000000e+00 | Inf
1404.41/1404.44 c 1358s|570000 | 3513 | 4233k| 7.4 | 80M| 153 | 13 |3663 | 44k|3663 | 996 | 162k| 757k|5849 | 0.000000e+00 | 3.000000e+00 | Inf
1436.31/1436.31 c 1388s|580000 | 3587 | 4303k| 7.4 | 81M| 153 | 17 |3663 | 46k|3663 | 988 | 164k| 771k|5919 | 0.000000e+00 | 3.000000e+00 | Inf
1468.52/1468.54 c 1420s|590000 | 3531 | 4374k| 7.4 | 81M| 153 | - |3663 | 44k| 0 | 0 | 167k| 785k|5964 | 0.000000e+00 | 3.000000e+00 | Inf
1501.42/1501.49 c 1452s|600000 | 3535 | 4452k| 7.4 | 82M| 153 | 1 |3663 | 45k|3663 | 983 | 170k| 799k|6021 | 0.000000e+00 | 3.000000e+00 | Inf
1533.52/1533.53 c 1483s|610000 | 3523 | 4524k| 7.4 | 82M| 153 | - |3663 | 44k| 0 | 0 | 172k| 814k|6063 | 0.000000e+00 | 3.000000e+00 | Inf
1566.02/1566.04 c 1514s|620000 | 3523 | 4599k| 7.4 | 82M| 153 | - |3663 | 44k| 0 | 0 | 174k| 828k|6116 | 0.000000e+00 | 3.000000e+00 | Inf
1597.62/1597.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.62/1597.62 c 1544s|630000 | 3411 | 4678k| 7.4 | 80M| 153 | - |3663 | 42k|3663 |1002 | 178k| 842k|6163 | 0.000000e+00 | 3.000000e+00 | Inf
1630.32/1630.32 c 1576s|640000 | 3458 | 4760k| 7.4 | 82M| 153 | 16 |3663 | 44k|3663 | 997 | 180k| 856k|6219 | 0.000000e+00 | 3.000000e+00 | Inf
1638.22/1638.27 o 2
1638.22/1638.27 c *1584s|642438 | 3397 | 4779k| 7.4 | 81M| 153 | - |3663 | 45k|3663 |1017 | 181k| 859k|6220 | 0.000000e+00 | 2.000000e+00 | Inf
1663.13/1663.11 c 1608s|650000 | 3355 | 4843k| 7.5 | 80M| 153 | - |3663 | 41k|3663 |1023 | 183k| 870k|6273 | 0.000000e+00 | 2.000000e+00 | Inf
1694.03/1694.05 c 1638s|660000 | 2816 | 4924k| 7.5 | 69M| 153 | - |3663 | 28k| 0 | 0 | 186k| 884k|6324 | 0.000000e+00 | 2.000000e+00 | Inf
1718.92/1718.96 c 1662s|670000 | 2397 | 4996k| 7.5 | 64M| 153 | 3 |3663 | 25k|3663 | 989 | 189k| 899k|6360 | 0.000000e+00 | 2.000000e+00 | Inf
1742.43/1742.46 c 1684s|680000 | 2065 | 5067k| 7.5 | 59M| 153 | - |3663 | 23k| 0 | 0 | 192k| 913k|6404 | 0.000000e+00 | 2.000000e+00 | Inf
1766.23/1766.22 c 1707s|690000 | 1686 | 5141k| 7.5 | 52M| 153 | - |3663 | 16k| 0 | 0 | 195k| 928k|6585 | 0.000000e+00 | 2.000000e+00 | Inf
1788.03/1788.06 c 1728s|700000 | 1933 | 5222k| 7.5 | 55M| 153 | - |3663 | 21k| 0 | 0 | 198k| 942k|6681 | 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1739.09
1800.03/1800.00 c Solving Nodes : 705175
1800.03/1800.00 c Primal Bound : +2.00000000000000e+00 (158 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 v -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.03 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
1800.03/1800.03 v -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.03 v x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147
1800.03/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.03/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.03/1800.03 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.03/1800.03 v -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54
1800.03/1800.03 v -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.03/1800.03 v -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
1800.03/1800.03 v -x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1739.09
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2693481-1277906442.wbo
1800.03/1800.03 c Variables : 3807 (2019 binary, 0 integer, 0 implicit integer, 1788 continuous)
1800.03/1800.03 c Constraints : 4496 initial, 4496 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2693481-1277906442.wbo
1800.03/1800.03 c Variables : 3663 (1947 binary, 0 integer, 0 implicit integer, 1716 continuous)
1800.03/1800.03 c Constraints : 4326 initial, 49849 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.08 0 0 0 1806 0 98 81 0
1800.03/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c root node : - 1698 - - 3396 - - - -
1800.03/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c integral : 0 0 0 416951 0 69 816 0 0 751184
1800.03/1800.04 c indicator : 1716 0 3475135 40480 0 60 917877 0 0 0
1800.03/1800.04 c setppc : 11 8 3494358 38809 0 37872 1496491 0 0 0
1800.03/1800.04 c linear : 1716 8 3460534 40555 0 177196 13709869 199603 0 0
1800.03/1800.04 c logicor : 883+ 8 1371853 13989 0 112958 3531839 0 0 0
1800.03/1800.04 c bounddisjunction : 0+ 0 8425 0 0 0 0 0 0 0
1800.03/1800.04 c countsols : 0 0 0 13989 0 0 0 0 0 0
1800.03/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.04 c integral : 22.18 0.00 0.00 22.18 0.00
1800.03/1800.04 c indicator : 6.55 0.00 3.82 2.73 0.00
1800.03/1800.04 c setppc : 13.95 0.00 13.94 0.01 0.00
1800.03/1800.04 c linear : 128.14 0.01 125.94 2.19 0.00
1800.03/1800.04 c logicor : 363.80 0.00 363.67 0.13 0.00
1800.03/1800.04 c bounddisjunction : 0.01 0.00 0.01 0.00 0.00
1800.03/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.04 c vbounds : 0.25 2 0 0
1800.03/1800.04 c rootredcost : 0.18 50 0 1698
1800.03/1800.04 c pseudoobj : 110.38 3500054 1456 559756
1800.03/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.04 c propagation : 16.05 329482 329464 1999226 28.3 9464 23.8 -
1800.03/1800.04 c infeasible LP : 11.12 37989 37988 296018 46.9 442 16.3 0
1800.03/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.04 c pseudo solution : 0.02 88 88 509 17.4 60 6.5 -
1800.03/1800.04 c applied globally : - - - 949864 24.4 - - -
1800.03/1800.04 c applied locally : - - - 0 0.0 - - -
1800.03/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.04 c cut pool : 0.00 7 - - 79 - (maximal pool size: 413)
1800.03/1800.04 c redcost : 20.20 419029 0 328437 0 0
1800.03/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.04 c intobj : 0.00 0 0 0 0 0
1800.03/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.04 c gomory : 0.11 6 0 0 1482 0
1800.03/1800.04 c strongcg : 0.04 6 0 0 309 0
1800.03/1800.04 c cmir : 0.03 6 0 0 1 0
1800.03/1800.04 c flowcover : 0.06 6 0 0 1 0
1800.03/1800.04 c clique : 0.00 6 0 0 0 0
1800.03/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.04 c mcf : 0.00 1 0 0 0 0
1800.03/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.04 c Pricers : Time Calls Vars
1800.03/1800.04 c problem variables: 0.00 0 0
1800.03/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.04 c relpscost : 21.96 376319 69 816 0 0 751184
1800.03/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c inference : 2.16 13940 0 0 0 0 27880
1800.03/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.04 c random : 0.00 0 0 0 0 0 0
1800.03/1800.04 c Primal Heuristics : Time Calls Found
1800.03/1800.04 c LP solutions : 0.05 - 49
1800.03/1800.04 c pseudo solutions : 0.00 - 0
1800.03/1800.04 c feaspump : 0.01 1 0
1800.03/1800.04 c oneopt : 0.29 44 0
1800.03/1800.04 c intshifting : 0.00 11 0
1800.03/1800.04 c crossover : 1.01 41 0
1800.03/1800.04 c pscostdiving : 0.48 533 0
1800.03/1800.04 c guideddiving : 0.67 533 0
1800.03/1800.04 c veclendiving : 0.43 533 0
1800.03/1800.04 c linesearchdiving : 0.48 533 0
1800.03/1800.04 c fracdiving : 0.47 533 0
1800.03/1800.04 c coefdiving : 0.59 534 0
1800.03/1800.04 c objpscostdiving : 0.62 476 0
1800.03/1800.04 c rootsoldiving : 0.53 476 0
1800.03/1800.04 c trivial : 0.01 2 0
1800.03/1800.04 c simplerounding : 0.54 376696 0
1800.03/1800.04 c zirounding : 0.13 1000 0
1800.03/1800.04 c rounding : 1.34 8619 0
1800.03/1800.04 c shifting : 1.29 2699 0
1800.03/1800.04 c twoopt : 0.00 0 0
1800.03/1800.04 c fixandinfer : 0.00 0 0
1800.03/1800.04 c intdiving : 0.00 0 0
1800.03/1800.04 c actconsdiving : 0.00 0 0
1800.03/1800.04 c octane : 0.00 0 0
1800.03/1800.04 c rens : 0.00 0 0
1800.03/1800.04 c rins : 0.00 0 0
1800.03/1800.04 c localbranching : 0.00 0 0
1800.03/1800.04 c mutation : 0.00 0 0
1800.03/1800.04 c dins : 0.00 0 0
1800.03/1800.04 c undercover : 0.00 0 0
1800.03/1800.04 c nlp : 0.07 0 0
1800.03/1800.04 c trysol : 1.23 5562 109
1800.03/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.04 c dual LP : 572.62 442377 5260611 11.89 9186.91
1800.03/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.04 c diving/probing LP: 0.37 245 2597 10.60 7018.92
1800.03/1800.04 c strong branching : 18.60 6684 206043 30.83 11077.58
1800.03/1800.04 c (at root node) : - 0 0 0.00 -
1800.03/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.04 c B&B Tree :
1800.03/1800.04 c number of runs : 1
1800.03/1800.04 c nodes : 705175
1800.03/1800.04 c nodes (total) : 705175
1800.03/1800.04 c nodes left : 1996
1800.03/1800.04 c max depth : 153
1800.03/1800.04 c max depth (total): 153
1800.03/1800.04 c backtracks : 74284 (10.5%)
1800.03/1800.04 c delayed cutoffs : 54746
1800.03/1800.04 c repropagations : 1614703 (3479173 domain reductions, 51862 cutoffs)
1800.03/1800.04 c avg switch length: 5.98
1800.03/1800.04 c switching time : 274.62
1800.03/1800.04 c Solution :
1800.03/1800.04 c Solutions found : 158 (50 improvements)
1800.03/1800.04 c First Solution : +8.51820000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.03/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 642438 nodes, 1583.74 seconds, depth 80, found by <relaxation>)
1800.03/1800.04 c Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Gap : infinite
1800.03/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.04 c Root Iterations : 410
1800.13/1800.12 c Time complete: 1800.15.