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-2693459-1277905260.wbo>
0.00/0.03 c original problem has 3927 variables (2079 bin, 0 int, 0 impl, 1848 cont) and 4556 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, 1972 impls, 8 clqs
0.00/0.09 c (round 2) 0 del vars, 60 del conss, 1848 chg bounds, 46 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.10 c (round 3) 46 del vars, 159 del conss, 1880 chg bounds, 99 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.11 c (round 4) 124 del vars, 193 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 0 upgd conss, 1972 impls, 8 clqs
0.09/0.12 c (round 5) 158 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.13 c (round 6) 160 del vars, 195 del conss, 1882 chg bounds, 101 chg sides, 0 chg coeffs, 825 upgd conss, 1972 impls, 8 clqs
0.09/0.18 c (0.1s) probing: 101/1999 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 160 deleted vars, 195 deleted constraints, 1882 tightened bounds, 0 added holes, 101 changed sides, 0 changed coefficients
0.09/0.18 c 1972 implications, 8 cliques
0.09/0.18 c presolved problem has 3767 variables (1999 bin, 0 int, 0 impl, 1768 cont) and 4361 constraints
0.09/0.18 c 1768 constraints of type <indicator>
0.09/0.18 c 8 constraints of type <setppc>
0.09/0.18 c 1768 constraints of type <linear>
0.09/0.18 c 817 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/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.09/0.19 c 0.1s| 1 | 0 | 29 | - | 14M| 0 | 16 |3767 |4361 |3767 | 825 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 91089
0.19/0.20 c y 0.2s| 1 | 0 | 29 | - | 14M| 0 | 16 |3767 |4361 |3767 | 825 | 0 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 81 | - | 14M| 0 | 18 |3767 |4361 |3767 | 855 | 30 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 118 | - | 14M| 0 | 24 |3767 |4361 |3767 | 867 | 42 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.30 c 0.3s| 1 | 0 | 134 | - | 14M| 0 | 26 |3767 |4361 |3767 | 881 | 56 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 162 | - | 14M| 0 | 32 |3767 |4361 |3767 | 895 | 70 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.39/0.40 c 0.4s| 1 | 0 | 217 | - | 15M| 0 | 49 |3767 |4361 |3767 | 907 | 82 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 234 | - | 15M| 0 | 52 |3767 |4361 |3767 | 912 | 87 | 0 | 0 | 0.000000e+00 | 9.108900e+04 | Inf
1.19/1.22 c 1.2s| 1 | 2 | 234 | - | 15M| 0 | 52 |3767 |4361 |3767 | 912 | 87 | 0 | 33 | 0.000000e+00 | 9.108900e+04 | Inf
10.79/10.82 o 822
10.79/10.82 c *10.6s| 4353 | 4147 | 9454 | 2.1 | 28M| 127 | - |3767 |4361 |3767 | 958 |1887 | 0 |1107 | 0.000000e+00 | 8.220000e+02 | Inf
10.79/10.90 o 820
10.79/10.90 c *10.7s| 4388 | 4175 | 9571 | 2.1 | 29M| 127 | - |3767 |4361 |3767 | 948 |1913 | 0 |1108 | 0.000000e+00 | 8.200000e+02 | Inf
15.79/15.86 o 806
15.79/15.86 c *15.5s| 7744 | 7376 | 12948 | 1.6 | 35M| 618 | - |3767 |4597 |3767 | 965 |2514 | 236 |1352 | 0.000000e+00 | 8.060000e+02 | Inf
17.69/17.76 o 799
17.69/17.76 c *17.3s| 8799 | 8302 | 15216 | 1.7 | 37M| 618 | - |3767 |4759 |3767 | 944 |3113 | 423 |1398 | 0.000000e+00 | 7.990000e+02 | Inf
17.69/17.76 o 796
17.69/17.76 c *17.3s| 8800 | 8270 | 15216 | 1.7 | 37M| 618 | - |3767 |4759 |3767 | 944 |3113 | 423 |1398 | 0.000000e+00 | 7.960000e+02 | Inf
17.79/17.85 o 788
17.79/17.85 c *17.4s| 8816 | 8208 | 15513 | 1.7 | 37M| 618 | - |3767 |4752 |3767 | 938 |3147 | 423 |1410 | 0.000000e+00 | 7.880000e+02 | Inf
17.79/17.85 o 779
17.79/17.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.79/17.85 c *17.4s| 8817 | 8137 | 15516 | 1.7 | 37M| 618 | - |3767 |4752 |3767 | 938 |3147 | 423 |1410 | 0.000000e+00 | 7.790000e+02 | Inf
18.19/18.25 o 753
18.19/18.25 c *17.8s| 9083 | 8041 | 15767 | 1.7 | 37M| 618 | - |3767 |4766 |3767 | 942 |3217 | 441 |1412 | 0.000000e+00 | 7.530000e+02 | Inf
18.29/18.31 o 744
18.29/18.31 c *17.9s| 9113 | 7960 | 15830 | 1.7 | 37M| 618 | - |3767 |4766 |3767 | 937 |3231 | 441 |1412 | 0.000000e+00 | 7.440000e+02 | Inf
18.29/18.31 o 741
18.29/18.31 c *17.9s| 9114 | 7915 | 15830 | 1.7 | 36M| 618 | - |3767 |4766 |3767 | 937 |3231 | 441 |1412 | 0.000000e+00 | 7.410000e+02 | Inf
18.29/18.39 o 726
18.29/18.39 c *17.9s| 9174 | 7820 | 15903 | 1.7 | 36M| 618 | - |3767 |4765 |3767 | 943 |3251 | 441 |1412 | 0.000000e+00 | 7.260000e+02 | Inf
19.49/19.59 c 19.1s| 10000 | 8644 | 16720 | 1.6 | 38M| 618 | 0 |3767 |4760 |3767 | 924 |3527 | 444 |1427 | 0.000000e+00 | 7.260000e+02 | Inf
19.59/19.70 o 682
19.59/19.70 c *19.2s| 10070 | 8024 | 16770 | 1.6 | 36M| 618 | - |3767 |4766 |3767 | 948 |3535 | 451 |1429 | 0.000000e+00 | 6.820000e+02 | Inf
19.89/19.97 o 678
19.89/19.97 c *19.5s| 10263 | 8176 | 16911 | 1.6 | 37M| 618 | - |3767 |4763 |3767 | 926 |3593 | 451 |1433 | 0.000000e+00 | 6.780000e+02 | Inf
20.90/20.96 o 571
20.90/20.96 c *20.4s| 11020 | 7884 | 17185 | 1.5 | 36M| 618 | - |3767 |4753 |3767 | 924 |3702 | 451 |1442 | 0.000000e+00 | 5.710000e+02 | Inf
21.19/21.26 o 535
21.19/21.26 c *20.7s| 11204 | 7581 | 17558 | 1.5 | 35M| 618 | - |3767 |4792 |3767 | 947 |3761 | 493 |1449 | 0.000000e+00 | 5.350000e+02 | Inf
21.49/21.54 o 476
21.49/21.54 c *21.0s| 11412 | 6974 | 17688 | 1.5 | 34M| 618 | - |3767 |4812 |3767 | 957 |3808 | 517 |1449 | 0.000000e+00 | 4.760000e+02 | Inf
21.69/21.71 o 458
21.69/21.71 c *21.2s| 11547 | 6826 | 17761 | 1.5 | 34M| 618 | - |3767 |4850 |3767 | 954 |3824 | 555 |1449 | 0.000000e+00 | 4.580000e+02 | Inf
21.69/21.76 o 452
21.69/21.76 c *21.2s| 11568 | 6764 | 17778 | 1.5 | 34M| 618 | - |3767 |4850 |3767 | 959 |3829 | 555 |1449 | 0.000000e+00 | 4.520000e+02 | Inf
22.09/22.18 o 451
22.09/22.18 c *21.6s| 11799 | 6961 | 18139 | 1.5 | 35M| 618 | - |3767 |4864 |3767 | 938 |3939 | 584 |1453 | 0.000000e+00 | 4.510000e+02 | Inf
22.29/22.37 o 448
22.29/22.37 c *21.8s| 11877 | 6996 | 18372 | 1.5 | 35M| 618 | - |3767 |4888 |3767 | 937 |4026 | 615 |1456 | 0.000000e+00 | 4.480000e+02 | Inf
22.39/22.49 o 440
22.39/22.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.39/22.49 c *21.9s| 11932 | 6901 | 18550 | 1.5 | 35M| 618 | - |3767 |4919 |3767 | 947 |4069 | 650 |1459 | 0.000000e+00 | 4.400000e+02 | Inf
22.49/22.57 o 437
22.49/22.57 c *22.0s| 11969 | 6882 | 18632 | 1.5 | 35M| 618 | - |3767 |4923 |3767 | 930 |4095 | 656 |1459 | 0.000000e+00 | 4.370000e+02 | Inf
22.79/22.82 o 436
22.79/22.82 c *22.3s| 12096 | 6970 | 18872 | 1.5 | 35M| 618 | - |3767 |4971 |3767 | 942 |4169 | 707 |1463 | 0.000000e+00 | 4.360000e+02 | Inf
22.99/23.01 o 433
22.99/23.01 c *22.4s| 12205 | 6978 | 19114 | 1.5 | 35M| 618 | - |3767 |4977 |3767 | 924 |4222 | 722 |1466 | 0.000000e+00 | 4.330000e+02 | Inf
22.99/23.03 o 417
22.99/23.03 c *22.5s| 12221 | 6701 | 19115 | 1.5 | 35M| 618 | - |3767 |4977 |3767 | 924 |4222 | 722 |1466 | 0.000000e+00 | 4.170000e+02 | Inf
23.09/23.17 o 416
23.09/23.17 c *22.6s| 12278 | 6726 | 19317 | 1.6 | 35M| 618 | - |3767 |4995 |3767 | 926 |4274 | 746 |1467 | 0.000000e+00 | 4.160000e+02 | Inf
23.59/23.65 o 409
23.59/23.65 c *23.1s| 12560 | 6832 | 19756 | 1.6 | 36M| 618 | - |3767 |5063 |3767 | 959 |4379 | 825 |1474 | 0.000000e+00 | 4.090000e+02 | Inf
23.79/23.88 o 394
23.79/23.88 c *23.3s| 12701 | 6617 | 19883 | 1.5 | 35M| 618 | - |3767 |5161 |3767 | 955 |4414 | 926 |1476 | 0.000000e+00 | 3.940000e+02 | Inf
23.89/23.99 o 378
23.89/23.99 c *23.4s| 12772 | 6371 | 20004 | 1.5 | 34M| 618 | - |3767 |5160 |3767 | 971 |4462 | 926 |1477 | 0.000000e+00 | 3.780000e+02 | Inf
24.09/24.16 o 374
24.09/24.16 c *23.6s| 12855 | 6382 | 20166 | 1.6 | 34M| 618 | - |3767 |5179 |3767 | 949 |4539 | 950 |1478 | 0.000000e+00 | 3.740000e+02 | Inf
24.29/24.31 o 373
24.29/24.31 c *23.7s| 12925 | 6430 | 20324 | 1.6 | 35M| 618 | - |3767 |5202 |3767 | 932 |4604 | 976 |1480 | 0.000000e+00 | 3.730000e+02 | Inf
24.29/24.32 o 364
24.29/24.32 c *23.7s| 12928 | 6252 | 20328 | 1.6 | 34M| 618 | - |3767 |5202 |3767 | 932 |4604 | 976 |1480 | 0.000000e+00 | 3.640000e+02 | Inf
24.29/24.36 o 357
24.29/24.36 c *23.8s| 12951 | 6161 | 20329 | 1.6 | 34M| 618 | - |3767 |5202 |3767 | 932 |4604 | 976 |1480 | 0.000000e+00 | 3.570000e+02 | Inf
24.39/24.48 o 353
24.39/24.48 c *23.9s| 13005 | 6128 | 20395 | 1.6 | 34M| 618 | - |3767 |5220 |3767 | 953 |4639 | 995 |1482 | 0.000000e+00 | 3.530000e+02 | Inf
24.49/24.57 o 294
24.49/24.57 c *24.0s| 13068 | 5030 | 20417 | 1.5 | 31M| 618 | - |3767 |5234 |3767 | 948 |4641 |1010 |1482 | 0.000000e+00 | 2.940000e+02 | Inf
24.79/24.87 o 293
24.79/24.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.79/24.87 c *24.3s| 13153 | 5049 | 21201 | 1.6 | 32M| 618 | - |3767 |5269 |3767 | 914 |4730 |1073 |1509 | 0.000000e+00 | 2.930000e+02 | Inf
25.29/25.37 o 273
25.29/25.37 c *24.8s| 13353 | 4772 | 22033 | 1.6 | 31M| 618 | - |3767 |5358 |3767 | 932 |4899 |1203 |1525 | 0.000000e+00 | 2.730000e+02 | Inf
25.39/25.45 o 252
25.39/25.45 c *24.8s| 13372 | 4423 | 22278 | 1.6 | 31M| 618 | - |3767 |5354 |3767 | 933 |4928 |1209 |1529 | 0.000000e+00 | 2.520000e+02 | Inf
25.39/25.45 o 249
25.39/25.45 c *24.8s| 13373 | 4362 | 22278 | 1.6 | 31M| 618 | - |3767 |5354 |3767 | 933 |4928 |1209 |1529 | 0.000000e+00 | 2.490000e+02 | Inf
25.59/25.67 o 246
25.59/25.67 c *25.1s| 13463 | 4313 | 22767 | 1.7 | 31M| 618 | - |3767 |5434 |3767 | 936 |5052 |1312 |1534 | 0.000000e+00 | 2.460000e+02 | Inf
25.59/25.69 o 236
25.59/25.69 c *25.1s| 13470 | 4135 | 22769 | 1.7 | 31M| 618 | - |3767 |5434 |3767 | 936 |5052 |1312 |1534 | 0.000000e+00 | 2.360000e+02 | Inf
25.59/25.69 o 230
25.59/25.69 c *25.1s| 13471 | 3969 | 22769 | 1.7 | 30M| 618 | - |3767 |5434 |3767 | 936 |5052 |1312 |1534 | 0.000000e+00 | 2.300000e+02 | Inf
25.80/25.81 o 227
25.80/25.81 c *25.2s| 13511 | 3904 | 23125 | 1.7 | 30M| 618 | - |3767 |5455 |3767 | 938 |5129 |1365 |1538 | 0.000000e+00 | 2.270000e+02 | Inf
25.80/25.81 o 224
25.80/25.81 c *25.2s| 13512 | 3840 | 23125 | 1.7 | 30M| 618 | - |3767 |5455 |3767 | 938 |5129 |1365 |1538 | 0.000000e+00 | 2.240000e+02 | Inf
26.49/26.53 o 214
26.49/26.53 c *25.9s| 13730 | 3638 | 24920 | 1.8 | 30M| 618 | - |3767 |5514 |3767 | 954 |5747 |1571 |1554 | 0.000000e+00 | 2.140000e+02 | Inf
26.49/26.55 o 205
26.49/26.55 c *25.9s| 13737 | 3417 | 24926 | 1.8 | 29M| 618 | - |3767 |5514 |3767 | 955 |5748 |1571 |1554 | 0.000000e+00 | 2.050000e+02 | Inf
26.49/26.55 o 202
26.49/26.55 c *25.9s| 13738 | 3353 | 24926 | 1.8 | 29M| 618 | - |3767 |5514 |3767 | 955 |5748 |1571 |1554 | 0.000000e+00 | 2.020000e+02 | Inf
26.59/26.62 o 200
26.59/26.62 c *26.0s| 13764 | 3339 | 25051 | 1.8 | 29M| 618 | - |3767 |5523 |3767 | 921 |5765 |1584 |1555 | 0.000000e+00 | 2.000000e+02 | Inf
26.59/26.63 o 184
26.59/26.63 c *26.0s| 13766 | 3033 | 25063 | 1.8 | 29M| 618 | - |3767 |5522 |3767 | 921 |5765 |1584 |1555 | 0.000000e+00 | 1.840000e+02 | Inf
26.59/26.64 o 165
26.59/26.64 c *26.0s| 13767 | 2565 | 25067 | 1.8 | 28M| 618 | - |3767 |5522 |3767 | 921 |5765 |1584 |1555 | 0.000000e+00 | 1.650000e+02 | Inf
26.69/26.73 o 164
26.69/26.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.69/26.73 c *26.1s| 13790 | 2540 | 25310 | 1.8 | 28M| 618 | - |3767 |5527 |3767 | 930 |5799 |1606 |1559 | 0.000000e+00 | 1.640000e+02 | Inf
26.79/26.84 o 154
26.79/26.84 c *26.2s| 13819 | 2369 | 25525 | 1.8 | 28M| 618 | - |3767 |5545 |3767 | 935 |5860 |1629 |1559 | 0.000000e+00 | 1.540000e+02 | Inf
26.79/26.85 o 132
26.79/26.85 c *26.2s| 13823 | 1876 | 25527 | 1.8 | 26M| 618 | - |3767 |5545 |3767 | 935 |5860 |1629 |1559 | 0.000000e+00 | 1.320000e+02 | Inf
26.89/26.93 o 129
26.89/26.93 c *26.3s| 13849 | 1845 | 25756 | 1.8 | 26M| 618 | - |3767 |5553 |3767 | 905 |5888 |1662 |1559 | 0.000000e+00 | 1.290000e+02 | Inf
26.89/26.94 o 126
26.89/26.94 c *26.3s| 13850 | 1787 | 25756 | 1.8 | 26M| 618 | - |3767 |5553 |3767 | 905 |5888 |1662 |1559 | 0.000000e+00 | 1.260000e+02 | Inf
28.09/28.19 o 122
28.09/28.19 c *27.5s| 14318 | 1901 | 27749 | 1.9 | 27M| 618 | - |3767 |5458 |3767 | 925 |6330 |2014 |1581 | 0.000000e+00 | 1.220000e+02 | Inf
28.99/29.02 o 120
28.99/29.02 c *28.3s| 14574 | 1929 | 29985 | 2.0 | 28M| 618 | - |3767 |5429 |3767 | 922 |6614 |2213 |1595 | 0.000000e+00 | 1.200000e+02 | Inf
28.99/29.03 o 109
28.99/29.03 c *28.3s| 14577 | 1793 | 30005 | 2.0 | 28M| 618 | - |3767 |5429 |3767 | 922 |6614 |2213 |1597 | 0.000000e+00 | 1.090000e+02 | Inf
29.09/29.13 o 105
29.09/29.13 c *28.4s| 14599 | 1755 | 30348 | 2.1 | 28M| 618 | - |3767 |5436 |3767 | 925 |6635 |2226 |1598 | 0.000000e+00 | 1.050000e+02 | Inf
29.39/29.45 o 97
29.39/29.45 c *28.7s| 14700 | 1666 | 30967 | 2.1 | 28M| 618 | - |3767 |5431 |3767 | 927 |6717 |2293 |1618 | 0.000000e+00 | 9.700000e+01 | Inf
29.39/29.45 o 94
29.39/29.45 c *28.7s| 14701 | 1413 | 30967 | 2.1 | 27M| 618 | - |3767 |5431 |3767 | 927 |6717 |2293 |1618 | 0.000000e+00 | 9.400000e+01 | Inf
38.40/38.44 o 91
38.40/38.44 c *37.5s| 18262 | 2158 | 50561 | 2.8 | 36M| 618 | - |3767 |5469 |3767 | 934 |9212 |5294 |1762 | 0.000000e+00 | 9.100000e+01 | Inf
42.79/42.87 c 41.8s| 20000 | 2616 | 60399 | 3.0 | 39M| 618 | 0 |3767 |5815 |3767 | 948 | 10k|6834 |1779 | 0.000000e+00 | 9.100000e+01 | Inf
50.79/50.88 o 82
50.79/50.88 c *49.6s| 23343 | 3154 | 75676 | 3.2 | 44M| 618 | - |3767 |5773 |3767 | 943 | 12k|9687 |1782 | 0.000000e+00 | 8.200000e+01 | Inf
50.79/50.88 o 73
50.79/50.88 c *49.6s| 23344 | 2967 | 75676 | 3.2 | 43M| 618 | - |3767 |5773 |3767 | 943 | 12k|9687 |1782 | 0.000000e+00 | 7.300000e+01 | Inf
56.40/56.47 o 71
56.40/56.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.40/56.47 c *55.1s| 25629 | 3318 | 89647 | 3.5 | 48M| 618 | - |3767 |5489 |3767 | 904 | 14k| 12k|1785 | 0.000000e+00 | 7.100000e+01 | Inf
57.60/57.65 o 66
57.60/57.65 c *56.2s| 26183 | 3344 | 91952 | 3.5 | 48M| 618 | - |3767 |5539 |3767 | 954 | 14k| 12k|1785 | 0.000000e+00 | 6.600000e+01 | Inf
58.30/58.39 o 55
58.30/58.39 c *57.0s| 26546 | 3148 | 93808 | 3.5 | 45M| 618 | - |3767 |5339 |3767 | 927 | 14k| 12k|1785 | 0.000000e+00 | 5.500000e+01 | Inf
60.00/60.04 o 45
60.00/60.04 c *58.6s| 27243 | 2827 | 97927 | 3.6 | 44M| 618 | - |3767 |5079 |3767 | 955 | 15k| 13k|1785 | 0.000000e+00 | 4.500000e+01 | Inf
60.00/60.05 o 43
60.00/60.05 c *58.6s| 27244 | 2811 | 97927 | 3.6 | 44M| 618 | - |3767 |5079 |3767 | 955 | 15k| 13k|1785 | 0.000000e+00 | 4.300000e+01 | Inf
60.19/60.26 o 33
60.19/60.26 c *58.8s| 27325 | 2657 | 98466 | 3.6 | 43M| 618 | - |3767 |4690 |3767 | 960 | 15k| 13k|1785 | 0.000000e+00 | 3.300000e+01 | Inf
60.49/60.53 o 31
60.49/60.53 c *59.0s| 27449 | 2612 | 99176 | 3.6 | 43M| 618 | - |3767 |4420 |3767 | 932 | 15k| 14k|1785 | 0.000000e+00 | 3.100000e+01 | Inf
61.19/61.29 o 27
61.19/61.29 c *59.8s| 27819 | 2520 |100936 | 3.6 | 43M| 618 | - |3767 |4324 |3767 | 920 | 15k| 14k|1785 | 0.000000e+00 | 2.700000e+01 | Inf
61.89/61.93 o 26
61.89/61.93 c *60.4s| 28179 | 2533 |102324 | 3.6 | 43M| 618 | - |3767 |4534 |3767 | 929 | 15k| 15k|1785 | 0.000000e+00 | 2.600000e+01 | Inf
63.09/63.16 o 19
63.09/63.16 c *61.6s| 28777 | 2461 |106035 | 3.7 | 43M| 618 | - |3767 |4342 |3767 | 960 | 15k| 15k|1785 | 0.000000e+00 | 1.900000e+01 | Inf
65.30/65.36 c 63.8s| 30000 | 2461 |113214 | 3.8 | 44M| 618 | 8 |3767 |4648 |3767 | 956 | 16k| 17k|1785 | 0.000000e+00 | 1.900000e+01 | Inf
69.20/69.26 o 11
69.20/69.26 c *67.5s| 32318 | 2343 |126269 | 3.9 | 42M| 618 | - |3767 |6168 |3767 | 924 | 17k| 20k|1785 | 0.000000e+00 | 1.100000e+01 | Inf
74.89/74.95 o 8
74.89/74.95 c *73.0s| 35669 | 2284 |146112 | 4.1 | 42M| 618 | - |3767 |6815 |3767 | 923 | 18k| 25k|1785 | 0.000000e+00 | 8.000000e+00 | Inf
82.20/82.20 c 80.0s| 40000 | 2199 |173399 | 4.3 | 42M| 618 | 10 |3767 |6588 |3767 | 928 | 19k| 31k|1785 | 0.000000e+00 | 8.000000e+00 | Inf
99.59/99.66 c 97.0s| 50000 | 2238 |237395 | 4.7 | 45M| 618 | - |3767 |9900 | 0 | 0 | 24k| 44k|1873 | 0.000000e+00 | 8.000000e+00 | Inf
111.99/112.02 o 3
111.99/112.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.99/112.02 c * 109s| 56807 | 2081 |281402 | 4.9 | 45M| 618 | - |3767 | 13k|3767 | 950 | 27k| 54k|1959 | 0.000000e+00 | 3.000000e+00 | Inf
118.59/118.61 c 115s| 60000 | 2179 |306433 | 5.1 | 46M| 618 | 13 |3767 | 14k|3767 | 944 | 29k| 59k|2059 | 0.000000e+00 | 3.000000e+00 | Inf
138.60/138.62 c 135s| 70000 | 2236 |382951 | 5.5 | 48M| 618 | - |3767 | 16k| 0 | 0 | 32k| 73k|2264 | 0.000000e+00 | 3.000000e+00 | Inf
159.29/159.34 c 155s| 80000 | 2099 |456977 | 5.7 | 46M| 618 | - |3767 | 11k| 0 | 0 | 36k| 88k|2554 | 0.000000e+00 | 3.000000e+00 | Inf
176.49/176.52 o 2
176.49/176.52 c * 172s| 89085 | 2069 |514311 | 5.8 | 47M| 618 | - |3767 | 12k|3767 | 926 | 41k| 101k|2770 | 0.000000e+00 | 2.000000e+00 | Inf
178.20/178.21 c 173s| 90000 | 2032 |519661 | 5.8 | 45M| 618 | 1 |3767 |8907 |3767 | 914 | 42k| 102k|2798 | 0.000000e+00 | 2.000000e+00 | Inf
196.30/196.35 c 191s|100000 | 2121 |586622 | 5.9 | 48M| 618 | - |3767 | 14k| 0 | 0 | 46k| 115k|2977 | 0.000000e+00 | 2.000000e+00 | Inf
216.30/216.32 c 210s|110000 | 2140 |656510 | 6.0 | 50M| 618 | - |3767 | 17k| 0 | 0 | 50k| 129k|3156 | 0.000000e+00 | 2.000000e+00 | Inf
237.50/237.57 c 231s|120000 | 2191 |730253 | 6.1 | 52M| 618 | - |3767 | 20k| 0 | 0 | 56k| 142k|3316 | 0.000000e+00 | 2.000000e+00 | Inf
259.99/260.09 c 253s|130000 | 2242 |798307 | 6.1 | 54M| 618 | - |3767 | 25k| 0 | 0 | 62k| 156k|3451 | 0.000000e+00 | 2.000000e+00 | Inf
273.29/273.36 o 1
273.29/273.36 c * 266s|135610 | 2226 |839288 | 6.2 | 56M| 618 | - |3767 | 29k|3767 | 956 | 64k| 164k|3533 | 0.000000e+00 | 1.000000e-00 | Inf
284.39/284.46 c 277s|140000 | 2249 |866165 | 6.2 | 57M| 618 | - |3767 | 30k| 0 | 0 | 65k| 170k|3580 | 0.000000e+00 | 1.000000e-00 | Inf
310.10/310.16 c 302s|150000 | 2267 |930802 | 6.2 | 58M| 618 | - |3767 | 31k|3767 | 942 | 68k| 184k|3703 | 0.000000e+00 | 1.000000e-00 | Inf
335.80/335.84 c 327s|160000 | 2410 |990988 | 6.2 | 61M| 618 | 5 |3767 | 36k|3767 | 941 | 73k| 198k|3812 | 0.000000e+00 | 1.000000e-00 | Inf
362.90/363.00 c 354s|170000 | 2443 | 1049k| 6.2 | 62M| 618 | 15 |3767 | 36k|3767 | 941 | 76k| 213k|3919 | 0.000000e+00 | 1.000000e-00 | Inf
388.90/388.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
388.90/388.98 c 379s|180000 | 2276 | 1114k| 6.2 | 58M| 618 | 15 |3767 | 27k|3767 | 945 | 80k| 226k|4050 | 0.000000e+00 | 1.000000e-00 | Inf
414.10/414.14 c 404s|190000 | 2386 | 1183k| 6.2 | 59M| 618 | - |3767 | 28k| 0 | 0 | 83k| 240k|4199 | 0.000000e+00 | 1.000000e-00 | Inf
438.50/438.55 c 427s|200000 | 2405 | 1247k| 6.2 | 60M| 618 | 12 |3767 | 29k|3767 | 960 | 86k| 255k|4281 | 0.000000e+00 | 1.000000e-00 | Inf
463.50/463.59 c 452s|210000 | 2444 | 1306k| 6.2 | 61M| 618 | 14 |3767 | 30k|3767 | 954 | 89k| 269k|4399 | 0.000000e+00 | 1.000000e-00 | Inf
489.00/489.04 c 477s|220000 | 2449 | 1357k| 6.2 | 63M| 618 | 1 |3767 | 33k|3767 | 940 | 92k| 283k|4467 | 0.000000e+00 | 1.000000e-00 | Inf
517.90/517.95 c 505s|230000 | 2526 | 1419k| 6.2 | 66M| 618 | 15 |3767 | 39k|3767 | 948 | 95k| 297k|4527 | 0.000000e+00 | 1.000000e-00 | Inf
547.81/547.83 c 535s|240000 | 2593 | 1477k| 6.2 | 68M| 618 | - |3767 | 42k| 0 | 0 | 98k| 311k|4620 | 0.000000e+00 | 1.000000e-00 | Inf
578.90/578.93 c 565s|250000 | 2640 | 1535k| 6.1 | 70M| 618 | 1 |3767 | 45k|3767 | 978 | 101k| 326k|4674 | 0.000000e+00 | 1.000000e-00 | Inf
610.21/610.29 c 596s|260000 | 2619 | 1591k| 6.1 | 68M| 618 | - |3767 | 37k| 0 | 0 | 104k| 340k|4806 | 0.000000e+00 | 1.000000e-00 | Inf
638.90/639.00 c 624s|270000 | 2616 | 1651k| 6.1 | 66M| 618 | 21 |3767 | 33k|3767 | 949 | 106k| 354k|4872 | 0.000000e+00 | 1.000000e-00 | Inf
669.01/669.00 c 654s|280000 | 2502 | 1716k| 6.1 | 63M| 618 | 16 |3767 | 28k|3767 | 925 | 110k| 368k|4977 | 0.000000e+00 | 1.000000e-00 | Inf
695.51/695.53 c 680s|290000 | 2499 | 1776k| 6.1 | 64M| 618 | - |3767 | 30k| 0 | 0 | 112k| 382k|5037 | 0.000000e+00 | 1.000000e-00 | Inf
722.71/722.77 c 706s|300000 | 2534 | 1835k| 6.1 | 65M| 618 | - |3767 | 31k| 0 | 0 | 115k| 396k|5103 | 0.000000e+00 | 1.000000e-00 | Inf
751.11/751.10 c 734s|310000 | 2573 | 1900k| 6.1 | 67M| 618 | 7 |3767 | 36k|3767 | 955 | 118k| 410k|5189 | 0.000000e+00 | 1.000000e-00 | Inf
781.81/781.80 c 764s|320000 | 2677 | 1959k| 6.1 | 70M| 618 | - |3767 | 42k| 0 | 0 | 122k| 424k|5243 | 0.000000e+00 | 1.000000e-00 | Inf
815.71/815.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
815.71/815.73 c 798s|330000 | 2652 | 2021k| 6.1 | 70M| 618 | 1 |3767 | 42k|3767 | 946 | 125k| 439k|5320 | 0.000000e+00 | 1.000000e-00 | Inf
846.21/846.29 c 828s|340000 | 2636 | 2081k| 6.1 | 69M| 618 | - |3767 | 39k| 0 | 0 | 128k| 453k|5404 | 0.000000e+00 | 1.000000e-00 | Inf
878.11/878.19 c 859s|350000 | 2669 | 2147k| 6.1 | 70M| 618 | 1 |3767 | 42k|3767 | 952 | 130k| 468k|5489 | 0.000000e+00 | 1.000000e-00 | Inf
911.62/911.64 c 892s|360000 | 2670 | 2206k| 6.1 | 73M| 618 | 1 |3767 | 47k|3767 | 970 | 133k| 482k|5532 | 0.000000e+00 | 1.000000e-00 | Inf
948.71/948.78 c 928s|370000 | 2699 | 2273k| 6.1 | 73M| 618 | - |3767 | 48k|3767 | 953 | 136k| 497k|5618 | 0.000000e+00 | 1.000000e-00 | Inf
986.21/986.26 c 965s|380000 | 2758 | 2339k| 6.2 | 76M| 618 | 8 |3767 | 52k|3767 | 965 | 139k| 511k|5698 | 0.000000e+00 | 1.000000e-00 | Inf
1024.62/1024.67 c 1003s|390000 | 2735 | 2402k| 6.2 | 76M| 618 | - |3767 | 53k| 0 | 0 | 142k| 526k|5746 | 0.000000e+00 | 1.000000e-00 | Inf
1064.01/1064.09 c 1042s|400000 | 2801 | 2465k| 6.2 | 78M| 618 | - |3767 | 55k| 0 | 0 | 145k| 540k|5810 | 0.000000e+00 | 1.000000e-00 | Inf
1105.52/1105.59 c 1083s|410000 | 2820 | 2533k| 6.2 | 79M| 618 | - |3767 | 58k| 0 | 0 | 148k| 554k|5881 | 0.000000e+00 | 1.000000e-00 | Inf
1147.12/1147.10 c 1124s|420000 | 2806 | 2598k| 6.2 | 80M| 618 | - |3767 | 60k| 0 | 0 | 152k| 569k|5972 | 0.000000e+00 | 1.000000e-00 | Inf
1190.82/1190.82 c 1167s|430000 | 2835 | 2653k| 6.2 | 82M| 618 | 16 |3767 | 63k|3767 | 957 | 154k| 585k|6019 | 0.000000e+00 | 1.000000e-00 | Inf
1237.32/1237.33 c 1213s|440000 | 2889 | 2722k| 6.2 | 83M| 618 | 1 |3767 | 66k|3767 | 950 | 158k| 599k|6075 | 0.000000e+00 | 1.000000e-00 | Inf
1288.92/1288.92 c 1263s|450000 | 2838 | 2788k| 6.2 | 83M| 618 | - |3767 | 66k| 0 | 0 | 161k| 614k|6141 | 0.000000e+00 | 1.000000e-00 | Inf
1345.23/1345.29 c 1319s|460000 | 3002 | 2851k| 6.2 | 85M| 618 | 28 |3767 | 67k|3767 | 947 | 164k| 629k|6198 | 0.000000e+00 | 1.000000e-00 | Inf
1401.12/1401.12 c 1374s|470000 | 3006 | 2917k| 6.2 | 85M| 618 | - |3767 | 67k| 0 | 0 | 168k| 644k|6275 | 0.000000e+00 | 1.000000e-00 | Inf
1453.22/1453.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.22/1453.29 c 1425s|480000 | 3093 | 2985k| 6.2 | 87M| 618 | - |3767 | 70k| 0 | 0 | 171k| 660k|6324 | 0.000000e+00 | 1.000000e-00 | Inf
1506.12/1506.11 c 1477s|490000 | 3037 | 3052k| 6.2 | 87M| 618 | 23 |3767 | 68k|3767 | 961 | 175k| 675k|6381 | 0.000000e+00 | 1.000000e-00 | Inf
1559.73/1559.71 c 1529s|500000 | 2933 | 3118k| 6.2 | 86M| 618 | 1 |3767 | 68k|3767 | 980 | 178k| 691k|6429 | 0.000000e+00 | 1.000000e-00 | Inf
1612.83/1612.88 c 1582s|510000 | 2884 | 3185k| 6.2 | 85M| 618 | - |3767 | 67k| 0 | 0 | 181k| 706k|6482 | 0.000000e+00 | 1.000000e-00 | Inf
1654.53/1654.52 c 1622s|520000 | 2534 | 3254k| 6.3 | 63M| 618 | - |3767 | 13k| 0 | 0 | 185k| 720k|7397 | 0.000000e+00 | 1.000000e-00 | Inf
1675.43/1675.40 c 1642s|530000 | 2549 | 3316k| 6.3 | 64M| 618 | - |3767 | 16k| 0 | 0 | 189k| 733k|7512 | 0.000000e+00 | 1.000000e-00 | Inf
1697.43/1697.45 c 1663s|540000 | 2652 | 3381k| 6.3 | 66M| 618 | 16 |3767 | 19k|3767 | 949 | 193k| 747k|7564 | 0.000000e+00 | 1.000000e-00 | Inf
1720.63/1720.62 c 1686s|550000 | 2580 | 3448k| 6.3 | 66M| 618 | 8 |3767 | 19k|3767 | 938 | 197k| 762k|7575 | 0.000000e+00 | 1.000000e-00 | Inf
1743.93/1743.93 c 1708s|560000 | 2543 | 3515k| 6.3 | 65M| 618 | 1 |3767 | 18k|3767 | 936 | 200k| 776k|7583 | 0.000000e+00 | 1.000000e-00 | Inf
1767.43/1767.40 c 1731s|570000 | 2533 | 3579k| 6.3 | 65M| 618 | - |3767 | 18k| 0 | 0 | 203k| 789k|7589 | 0.000000e+00 | 1.000000e-00 | Inf
1791.13/1791.11 c 1753s|580000 | 2593 | 3644k| 6.3 | 68M| 618 | - |3767 | 24k| 0 | 0 | 207k| 804k|7601 | 0.000000e+00 | 1.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) : 1761.95
1800.03/1800.00 c Solving Nodes : 583273
1800.03/1800.00 c Primal Bound : +1.00000000000000e-00 (298 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.04 s SATISFIABLE
1800.03/1800.04 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.04 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.04 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.04 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.04 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.04 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.04 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.04 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.04 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.04 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.04 v -x1
1800.03/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.04 c Solving Time : 1761.95
1800.03/1800.04 c Original Problem :
1800.03/1800.04 c Problem name : HOME/instance-2693459-1277905260.wbo
1800.03/1800.04 c Variables : 3927 (2079 binary, 0 integer, 0 implicit integer, 1848 continuous)
1800.03/1800.04 c Constraints : 4556 initial, 4556 maximal
1800.03/1800.04 c Presolved Problem :
1800.03/1800.04 c Problem name : t_HOME/instance-2693459-1277905260.wbo
1800.03/1800.04 c Variables : 3767 (1999 binary, 0 integer, 0 implicit integer, 1768 continuous)
1800.03/1800.04 c Constraints : 4361 initial, 70221 maximal
1800.03/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.04 c trivial : 0.00 80 0 0 0 0 0 0 0
1800.03/1800.04 c dualfix : 0.00 80 0 0 0 0 0 0 0
1800.03/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.03/1800.04 c indicator : 0.00 0 0 0 0 0 80 0 0
1800.03/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.04 c linear : 0.08 0 0 0 1882 0 115 101 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 : - 1768 - - 3536 - - - -
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 360817 0 51 773 0 0 626516
1800.03/1800.04 c indicator : 1768 0 600523 25690 0 164 1735372 0 0 0
1800.03/1800.04 c setppc : 8 6 2737077 42768 0 21267 845906 0 0 0
1800.03/1800.04 c linear : 1768 6 2727733 46696 0 147528 11988693 208587 0 0
1800.03/1800.04 c logicor : 817+ 6 1212588 15266 0 110912 3066322 0 0 0
1800.03/1800.04 c bounddisjunction : 0+ 0 71853 0 0 0 66 0 0 0
1800.03/1800.04 c countsols : 0 0 0 15266 0 0 0 0 0 0
1800.03/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.04 c integral : 18.46 0.00 0.00 18.46 0.00
1800.03/1800.04 c indicator : 5.69 0.00 3.59 2.10 0.00
1800.03/1800.04 c setppc : 10.37 0.00 10.34 0.03 0.00
1800.03/1800.04 c linear : 122.14 0.00 119.93 2.21 0.00
1800.03/1800.04 c logicor : 486.51 0.00 486.38 0.13 0.00
1800.03/1800.04 c bounddisjunction : 0.09 0.00 0.09 0.00 0.00
1800.03/1800.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1800.03/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.04 c vbounds : 0.44 2 0 0
1800.03/1800.04 c rootredcost : 0.47 80 0 1768
1800.03/1800.04 c pseudoobj : 92.60 2752483 3171 1200114
1800.03/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.04 c propagation : 16.91 282878 282609 1791027 30.6 8728 23.3 -
1800.03/1800.04 c infeasible LP : 8.34 26258 26258 210421 46.1 233 18.8 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 95 95 446 13.6 76 5.6 -
1800.03/1800.04 c applied globally : - - - 809579 25.2 - - -
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 5 - - 38 - (maximal pool size: 294)
1800.03/1800.04 c redcost : 18.16 361989 0 513656 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.09 6 0 0 1377 0
1800.03/1800.04 c strongcg : 0.06 6 0 0 484 0
1800.03/1800.04 c cmir : 0.01 6 0 0 1 0
1800.03/1800.04 c flowcover : 0.07 6 0 0 2 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 : 18.19 313930 51 773 0 0 626516
1800.03/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.04 c inference : 2.24 15187 0 0 0 0 30374
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.04 - 79
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 intshifting : 0.00 5 0
1800.03/1800.04 c oneopt : 0.42 68 0
1800.03/1800.04 c linesearchdiving : 0.22 164 0
1800.03/1800.04 c guideddiving : 0.14 164 0
1800.03/1800.04 c coefdiving : 0.19 164 0
1800.03/1800.04 c fracdiving : 0.19 164 0
1800.03/1800.04 c veclendiving : 0.16 164 0
1800.03/1800.04 c pscostdiving : 0.25 164 0
1800.03/1800.04 c crossover : 1.33 62 0
1800.03/1800.04 c rootsoldiving : 0.22 154 0
1800.03/1800.04 c objpscostdiving : 0.20 155 0
1800.03/1800.04 c trivial : 0.01 2 0
1800.03/1800.04 c simplerounding : 0.60 314321 0
1800.03/1800.04 c zirounding : 0.38 1000 0
1800.03/1800.04 c rounding : 1.20 7925 0
1800.03/1800.04 c shifting : 0.97 2432 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.03 1 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.09 0 0
1800.03/1800.04 c trysol : 0.81 2422 219
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 : 448.87 372531 3667209 9.84 8169.87
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.23 128 1779 13.90 7734.78
1800.03/1800.04 c strong branching : 14.87 7601 147706 19.43 9933.15
1800.03/1800.04 c (at root node) : - 33 8633 261.61 -
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 : 583273
1800.03/1800.04 c nodes (total) : 583273
1800.03/1800.04 c nodes left : 2540
1800.03/1800.04 c max depth : 618
1800.03/1800.04 c max depth (total): 618
1800.03/1800.04 c backtracks : 71037 (12.2%)
1800.03/1800.04 c delayed cutoffs : 56811
1800.03/1800.04 c repropagations : 1146385 (3712231 domain reductions, 54516 cutoffs)
1800.03/1800.04 c avg switch length: 5.27
1800.03/1800.04 c switching time : 318.04
1800.03/1800.04 c Solution :
1800.03/1800.04 c Solutions found : 298 (80 improvements)
1800.03/1800.04 c First Solution : +9.10890000000000e+04 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.03/1800.04 c Primal Bound : +1.00000000000000e-00 (in run 1, after 135610 nodes, 265.82 seconds, depth 26, 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 : 234
1800.14/1800.14 c Time complete: 1800.18.