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-2693048-1277914823.wbo>
0.00/0.01 c original problem has 1127 variables (923 bin, 0 int, 0 impl, 204 cont) and 798 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 3 del vars, 2 del conss, 1 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 2) 4 del vars, 8 del conss, 2 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 3) 6 del vars, 11 del conss, 4 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 4) 8 del vars, 16 del conss, 6 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.02 c (round 5) 11 del vars, 22 del conss, 8 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.03 c (round 6) 12 del vars, 22 del conss, 211 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 860 impls, 0 clqs
0.00/0.03 c (round 7) 12 del vars, 22 del conss, 211 chg bounds, 115 chg sides, 230 chg coeffs, 373 upgd conss, 860 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/912 (11.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (8 rounds):
0.00/0.04 c 12 deleted vars, 22 deleted constraints, 211 tightened bounds, 0 added holes, 115 changed sides, 230 changed coefficients
0.00/0.04 c 881 implications, 0 cliques
0.00/0.04 c presolved problem has 1115 variables (912 bin, 0 int, 0 impl, 203 cont) and 776 constraints
0.00/0.04 c 203 constraints of type <indicator>
0.00/0.04 c 3 constraints of type <varbound>
0.00/0.04 c 145 constraints of type <knapsack>
0.00/0.04 c 200 constraints of type <linear>
0.00/0.04 c 225 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.02
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1799.99
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 3420
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 0 | 65 | - |4288k| 0 | 64 |1115 | 776 |1115 | 370 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.07 c 0.0s| 1 | 0 | 175 | - |4447k| 0 | 139 |1115 | 776 |1115 | 473 | 103 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 279 | - |4622k| 0 | 166 |1115 | 776 |1115 | 560 | 190 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 396 | - |4811k| 0 | 223 |1115 | 776 |1115 | 636 | 266 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 522 | - |4997k| 0 | 226 |1115 | 776 |1115 | 720 | 350 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 648 | - |5155k| 0 | 274 |1115 | 776 |1115 | 785 | 415 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 786 | - |5291k| 0 | 294 |1115 | 776 |1115 | 850 | 480 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.67 c 0.6s| 1 | 2 | 786 | - |5318k| 0 | 294 |1115 | 776 |1115 | 850 | 480 | 0 | 22 | 0.000000e+00 | -- | Inf
1.99/2.04 o 10182
1.99/2.04 c y 1.9s| 17 | 16 | 2265 | 92.4 |5463k| 15 | - |1115 | 803 | 0 | 0 | 480 | 27 | 279 | 0.000000e+00 | 1.018200e+04 | Inf
14.49/14.58 o 10134
14.49/14.58 c y13.4s| 8628 | 8607 | 27923 | 3.1 | 14M| 253 | 33 |1115 | 839 |1115 | 689 | 841 | 63 |3952 | 0.000000e+00 | 1.013400e+04 | Inf
15.69/15.79 c 14.5s| 10000 | 9981 | 31714 | 3.1 | 15M| 253 | 108 |1115 | 839 |1115 | 689 | 868 | 63 |3996 | 0.000000e+00 | 1.013400e+04 | Inf
24.69/24.77 c 22.8s| 20000 | 19953 | 65322 | 3.2 | 24M| 317 | 23 |1115 | 841 |1115 | 689 |1082 | 77 |4505 | 0.000000e+00 | 1.013400e+04 | Inf
31.19/31.26 c 28.8s| 30000 | 29947 | 77419 | 2.6 | 32M| 319 | 18 |1115 | 843 |1115 | 689 |1450 | 80 |4520 | 0.000000e+00 | 1.013400e+04 | Inf
37.59/37.67 c 34.7s| 40000 | 39937 | 90683 | 2.2 | 41M| 319 | 0 |1115 | 844 |1115 | 694 |1748 | 85 |4529 | 0.000000e+00 | 1.013400e+04 | Inf
43.60/43.67 c 40.2s| 50000 | 49935 |100397 | 2.0 | 50M| 319 | 0 |1115 | 842 |1115 | 694 |2062 | 86 |4530 | 0.000000e+00 | 1.013400e+04 | Inf
49.79/49.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.79/49.82 c 45.9s| 60000 | 59935 |111246 | 1.8 | 59M| 319 | 8 |1115 | 841 |1115 | 689 |2369 | 86 |4531 | 0.000000e+00 | 1.013400e+04 | Inf
55.60/55.67 c 51.2s| 70000 | 69935 |119814 | 1.7 | 67M| 319 | 0 |1115 | 839 |1115 | 694 |2680 | 86 |4531 | 0.000000e+00 | 1.013400e+04 | Inf
61.50/61.55 c 56.6s| 80000 | 79935 |128911 | 1.6 | 76M| 319 | 22 |1115 | 839 |1115 | 689 |2988 | 86 |4531 | 0.000000e+00 | 1.013400e+04 | Inf
67.50/67.51 c 62.1s| 90000 | 89931 |138238 | 1.5 | 85M| 319 | 15 |1115 | 841 |1115 | 689 |3297 | 89 |4531 | 0.000000e+00 | 1.013400e+04 | Inf
73.10/73.15 c 67.3s|100000 | 99925 |144965 | 1.4 | 94M| 391 | 0 |1115 | 842 |1115 | 696 |3575 | 92 |4532 | 0.000000e+00 | 1.013400e+04 | Inf
73.90/73.92 o 545
73.90/73.92 c *68.0s|101412 | 47791 |145364 | 1.4 | 47M| 391 | - |1115 | 841 |1115 | 695 |3600 | 92 |4532 | 0.000000e+00 | 5.450000e+02 | Inf
73.90/73.96 o 537
73.90/73.96 c *68.1s|101452 | 47443 |145443 | 1.4 | 47M| 391 | - |1115 | 841 |1115 | 695 |3606 | 92 |4537 | 0.000000e+00 | 5.370000e+02 | Inf
73.90/73.99 o 501
73.90/73.99 c *68.1s|101487 | 45790 |145505 | 1.4 | 45M| 391 | - |1115 | 841 |1115 | 695 |3606 | 92 |4539 | 0.000000e+00 | 5.010000e+02 | Inf
73.90/73.99 o 489
73.90/73.99 c *68.1s|101488 | 45328 |145507 | 1.4 | 45M| 391 | - |1115 | 841 |1115 | 695 |3606 | 92 |4539 | 0.000000e+00 | 4.890000e+02 | Inf
73.99/74.02 o 450
73.99/74.02 c *68.1s|101525 | 43165 |145565 | 1.4 | 43M| 391 | - |1115 | 841 |1115 | 696 |3606 | 92 |4539 | 0.000000e+00 | 4.500000e+02 | Inf
74.20/74.26 o 416
74.20/74.26 c *68.3s|101823 | 41488 |146002 | 1.4 | 42M| 391 | - |1115 | 853 |1115 | 695 |3639 | 104 |4539 | 0.000000e+00 | 4.160000e+02 | Inf
74.20/74.27 o 401
74.20/74.27 c *68.4s|101824 | 33907 |146004 | 1.4 | 35M| 391 | - |1115 | 853 |1115 | 695 |3639 | 104 |4539 | 0.000000e+00 | 4.010000e+02 | Inf
74.20/74.29 o 389
74.20/74.29 c *68.4s|101842 | 33391 |146091 | 1.4 | 35M| 391 | - |1115 | 853 |1115 | 696 |3639 | 104 |4539 | 0.000000e+00 | 3.890000e+02 | Inf
74.39/74.40 o 377
74.39/74.40 c *68.5s|101990 | 33218 |146348 | 1.4 | 35M| 391 | - |1115 | 853 |1115 | 697 |3661 | 104 |4539 | 0.000000e+00 | 3.770000e+02 | Inf
74.49/74.50 o 352
74.49/74.50 c *68.6s|102111 | 32502 |146644 | 1.4 | 34M| 391 | - |1115 | 853 |1115 | 697 |3668 | 104 |4539 | 0.000000e+00 | 3.520000e+02 | Inf
74.49/74.50 o 337
74.49/74.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.49/74.50 c *68.6s|102112 | 31983 |146646 | 1.4 | 34M| 391 | - |1115 | 853 |1115 | 697 |3668 | 104 |4539 | 0.000000e+00 | 3.370000e+02 | Inf
74.49/74.51 o 325
74.49/74.51 c *68.6s|102122 | 31543 |146744 | 1.4 | 33M| 391 | - |1115 | 853 |1115 | 697 |3669 | 104 |4539 | 0.000000e+00 | 3.250000e+02 | Inf
74.49/74.54 o 311
74.49/74.54 c *68.6s|102154 | 31028 |146879 | 1.4 | 33M| 391 | - |1115 | 853 |1115 | 695 |3675 | 104 |4539 | 0.000000e+00 | 3.110000e+02 | Inf
74.49/74.54 o 299
74.49/74.54 c *68.6s|102155 | 30303 |146881 | 1.4 | 32M| 391 | - |1115 | 853 |1115 | 695 |3675 | 104 |4539 | 0.000000e+00 | 2.990000e+02 | Inf
74.49/74.57 o 294
74.49/74.57 c *68.6s|102185 | 28908 |147039 | 1.4 | 31M| 391 | - |1115 | 854 |1115 | 695 |3681 | 105 |4539 | 0.000000e+00 | 2.940000e+02 | Inf
74.49/74.57 o 282
74.49/74.57 c *68.6s|102186 | 28109 |147041 | 1.4 | 30M| 391 | - |1115 | 854 |1115 | 695 |3681 | 105 |4539 | 0.000000e+00 | 2.820000e+02 | Inf
74.59/74.62 o 272
74.59/74.62 c *68.7s|102219 | 26949 |147209 | 1.4 | 29M| 391 | - |1115 | 859 |1115 | 696 |3694 | 111 |4539 | 0.000000e+00 | 2.720000e+02 | Inf
74.59/74.62 o 257
74.59/74.62 c *68.7s|102220 | 26600 |147210 | 1.4 | 29M| 391 | - |1115 | 859 |1115 | 696 |3694 | 111 |4539 | 0.000000e+00 | 2.570000e+02 | Inf
74.80/74.84 o 253
74.80/74.84 c *68.9s|102380 | 26758 |147949 | 1.4 | 29M| 391 | - |1115 | 865 |1115 | 693 |3704 | 117 |4555 | 0.000000e+00 | 2.530000e+02 | Inf
74.99/75.04 o 249
74.99/75.04 c *69.1s|102591 | 26933 |148619 | 1.4 | 30M| 391 | - |1115 | 869 |1115 | 690 |3725 | 121 |4555 | 0.000000e+00 | 2.490000e+02 | Inf
74.99/75.07 o 240
74.99/75.07 c *69.1s|102616 | 25450 |148708 | 1.4 | 28M| 391 | - |1115 | 870 |1115 | 695 |3731 | 122 |4555 | 0.000000e+00 | 2.400000e+02 | Inf
74.99/75.07 o 228
74.99/75.07 c *69.1s|102617 | 24827 |148710 | 1.4 | 28M| 391 | - |1115 | 870 |1115 | 695 |3731 | 122 |4555 | 0.000000e+00 | 2.280000e+02 | Inf
75.09/75.10 o 222
75.09/75.10 c *69.1s|102654 | 24668 |148809 | 1.4 | 28M| 391 | - |1115 | 874 |1115 | 695 |3737 | 126 |4555 | 0.000000e+00 | 2.220000e+02 | Inf
75.09/75.10 o 207
75.09/75.10 c *69.1s|102655 | 22959 |148810 | 1.4 | 26M| 391 | - |1115 | 874 |1115 | 695 |3737 | 126 |4555 | 0.000000e+00 | 2.070000e+02 | Inf
75.09/75.14 o 195
75.09/75.14 c *69.2s|102673 | 10743 |148875 | 1.4 | 16M| 391 | - |1115 | 874 |1115 | 696 |3737 | 126 |4567 | 0.000000e+00 | 1.950000e+02 | Inf
76.19/76.28 o 186
76.19/76.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.19/76.28 c l70.2s|103636 | 10433 |153007 | 1.5 | 16M| 391 | - |1115 | 885 |1115 | 689 |3742 | 137 |4598 | 0.000000e+00 | 1.860000e+02 | Inf
77.40/77.42 o 179
77.40/77.42 c c71.2s|104437 | 11004 |158181 | 1.5 | 17M| 391 | - |1115 | 883 |1115 | 689 |3742 | 139 |4601 | 0.000000e+00 | 1.790000e+02 | Inf
77.89/77.90 o 175
77.89/77.90 c p71.7s|104717 | 10909 |160521 | 1.5 | 16M| 391 | - |1115 | 890 |1115 | 689 |3742 | 146 |4623 | 0.000000e+00 | 1.750000e+02 | Inf
77.89/78.00 o 168
77.89/78.00 c f71.8s|104761 | 10571 |161138 | 1.5 | 16M| 391 | - |1115 | 892 |1115 | 689 |3742 | 148 |4623 | 0.000000e+00 | 1.680000e+02 | Inf
78.79/78.82 o 165
78.79/78.82 c g72.5s|105122 | 10635 |165946 | 1.6 | 16M| 391 | - |1115 | 893 |1115 | 689 |3742 | 150 |4657 | 0.000000e+00 | 1.650000e+02 | Inf
78.99/79.06 o 163
78.99/79.06 c p72.8s|105206 | 10567 |167485 | 1.6 | 16M| 391 | - |1115 | 901 |1115 | 689 |3742 | 159 |4673 | 0.000000e+00 | 1.630000e+02 | Inf
79.89/79.98 o 160
79.89/79.98 c f73.6s|105504 | 10243 |172578 | 1.6 | 16M| 391 | - |1115 | 923 |1115 | 689 |3742 | 183 |4699 | 0.000000e+00 | 1.600000e+02 | Inf
80.30/80.36 o 152
80.30/80.36 c g74.0s|105624 | 8577 |174913 | 1.6 | 15M| 391 | - |1115 | 922 |1115 | 689 |3742 | 183 |4699 | 0.000000e+00 | 1.520000e+02 | Inf
80.49/80.54 o 148
80.49/80.54 c c74.1s|105664 | 8427 |176203 | 1.7 | 14M| 391 | - |1115 | 922 |1115 | 689 |3742 | 185 |4700 | 0.000000e+00 | 1.480000e+02 | Inf
80.79/80.81 o 145
80.79/80.81 c f74.4s|105744 | 8449 |177891 | 1.7 | 14M| 391 | - |1115 | 922 |1115 | 689 |3742 | 185 |4701 | 0.000000e+00 | 1.450000e+02 | Inf
81.30/81.37 o 137
81.30/81.37 c c74.9s|105932 | 8235 |181487 | 1.7 | 14M| 391 | - |1115 | 938 |1115 | 689 |3742 | 203 |4708 | 0.000000e+00 | 1.370000e+02 | Inf
82.19/82.29 o 133
82.19/82.29 c c75.8s|106196 | 8087 |186754 | 1.8 | 14M| 391 | - |1115 | 950 |1115 | 689 |3742 | 226 |4708 | 0.000000e+00 | 1.330000e+02 | Inf
82.40/82.43 o 125
82.40/82.43 c p75.9s|106250 | 6898 |187584 | 1.8 | 13M| 391 | - |1115 | 954 |1115 | 689 |3742 | 230 |4710 | 0.000000e+00 | 1.250000e+02 | Inf
82.79/82.85 o 113
82.79/82.85 c l76.3s|106420 | 6079 |190113 | 1.8 | 13M| 391 | - |1115 | 961 |1115 | 689 |3742 | 242 |4727 | 0.000000e+00 | 1.130000e+02 | Inf
82.99/83.00 o 98
82.99/83.00 c g76.4s|106460 | 4880 |191021 | 1.8 | 11M| 391 | - |1115 | 961 |1115 | 689 |3742 | 242 |4727 | 0.000000e+00 | 9.800000e+01 | Inf
83.09/83.19 o 89
83.09/83.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.09/83.19 c p76.6s|106540 | 4521 |192400 | 1.8 | 11M| 391 | - |1115 | 957 |1115 | 689 |3742 | 242 |4727 | 0.000000e+00 | 8.900000e+01 | Inf
83.30/83.33 o 80
83.30/83.33 c f76.7s|106580 | 4363 |193271 | 1.8 | 11M| 391 | - |1115 | 934 |1115 | 689 |3742 | 242 |4727 | 0.000000e+00 | 8.000000e+01 | Inf
83.60/83.64 o 72
83.60/83.64 c g77.0s|106700 | 4379 |195211 | 1.8 | 11M| 391 | - |1115 | 908 |1115 | 689 |3742 | 242 |4727 | 0.000000e+00 | 7.200000e+01 | Inf
83.70/83.75 o 68
83.70/83.75 c c77.1s|106740 | 3588 |195939 | 1.8 | 10M| 391 | - |1115 | 892 |1115 | 689 |3742 | 242 |4729 | 0.000000e+00 | 6.800000e+01 | Inf
83.90/83.93 o 67
83.90/83.93 c p77.3s|106802 | 3600 |197395 | 1.8 | 10M| 391 | - |1115 | 894 |1115 | 689 |3742 | 254 |4729 | 0.000000e+00 | 6.700000e+01 | Inf
84.20/84.21 o 62
84.20/84.21 c f77.5s|106940 | 3586 |199843 | 1.9 | 10M| 391 | - |1115 | 897 |1115 | 689 |3742 | 269 |4732 | 0.000000e+00 | 6.200000e+01 | Inf
84.60/84.61 o 58
84.60/84.61 c l77.9s|107119 | 3417 |203014 | 1.9 | 10M| 391 | - |1115 | 894 |1115 | 689 |3742 | 291 |4732 | 0.000000e+00 | 5.800000e+01 | Inf
84.89/84.97 o 55
84.89/84.97 c c78.2s|107211 | 3364 |205480 | 1.9 | 10M| 391 | - |1115 | 886 |1115 | 689 |3742 | 294 |4740 | 0.000000e+00 | 5.500000e+01 | Inf
85.09/85.10 o 53
85.09/85.10 c p78.3s|107251 | 3122 |206373 | 1.9 | 10M| 391 | - |1115 | 880 |1115 | 689 |3742 | 294 |4744 | 0.000000e+00 | 5.300000e+01 | Inf
85.29/85.30 o 47
85.29/85.30 c f78.5s|107330 | 2935 |207838 | 1.9 | 10M| 391 | - |1115 | 873 |1115 | 689 |3742 | 297 |4744 | 0.000000e+00 | 4.700000e+01 | Inf
85.59/85.60 o 43
85.59/85.60 c l78.8s|107410 | 2001 |210004 | 1.9 |9437k| 391 | - |1115 | 795 |1115 | 689 |3742 | 297 |4744 | 0.000000e+00 | 4.300000e+01 | Inf
85.69/85.80 o 39
85.69/85.80 c g79.0s|107451 | 1914 |211209 | 2.0 |9410k| 391 | - |1115 | 786 |1115 | 689 |3742 | 298 |4745 | 0.000000e+00 | 3.900000e+01 | Inf
85.90/85.90 o 31
85.90/85.90 c c79.1s|107491 | 1765 |211898 | 2.0 |9166k| 391 | - |1115 | 760 |1115 | 689 |3742 | 298 |4745 | 0.000000e+00 | 3.100000e+01 | Inf
85.99/86.01 o 26
85.99/86.01 c p79.2s|107531 | 1666 |212653 | 2.0 |9070k| 391 | - |1115 | 746 |1115 | 689 |3742 | 300 |4748 | 0.000000e+00 | 2.600000e+01 | Inf
86.09/86.13 o 25
86.09/86.13 c f79.3s|107571 | 1706 |213397 | 2.0 |9126k| 391 | - |1115 | 738 |1115 | 689 |3742 | 300 |4750 | 0.000000e+00 | 2.500000e+01 | Inf
86.39/86.43 o 19
86.39/86.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.39/86.43 c l79.6s|107651 | 1784 |215838 | 2.0 |9228k| 391 | - |1115 | 730 |1115 | 689 |3742 | 300 |4750 | 0.000000e+00 | 1.900000e+01 | Inf
86.59/86.63 o 13
86.59/86.63 c g79.8s|107691 | 1371 |217152 | 2.0 |8880k| 391 | - |1115 | 717 |1115 | 689 |3742 | 300 |4750 | 0.000000e+00 | 1.300000e+01 | Inf
91.30/91.31 c 84.2s|110000 | 3120 |246170 | 2.2 | 10M| 391 | 128 |1115 | 652 |1115 | 689 |3742 | 343 |4879 | 0.000000e+00 | 1.300000e+01 | Inf
92.30/92.33 o 12
92.30/92.33 c f85.2s|110436 | 2968 |251350 | 2.3 | 10M| 391 | - |1115 | 653 |1115 | 689 |3742 | 345 |4917 | 0.000000e+00 | 1.200000e+01 | Inf
97.00/97.04 o 9
97.00/97.04 c *89.6s|112671 | 1141 |277668 | 2.5 |8601k| 391 | - |1115 | 653 |1115 | 690 |3743 | 366 |5198 | 0.000000e+00 | 9.000000e+00 | Inf
108.99/109.00 c 101s|120000 | 7935 |332173 | 2.8 | 15M| 391 | 74 |1115 | 581 |1115 | 689 |3743 | 407 |5607 | 0.000000e+00 | 9.000000e+00 | Inf
119.99/120.00 o 8
119.99/120.00 c p 111s|127375 | 12604 |378356 | 3.0 | 19M| 391 | - |1115 | 579 |1115 | 689 |3743 | 418 |6022 | 0.000000e+00 | 8.000000e+00 | Inf
124.39/124.47 c 115s|130000 | 15221 |396106 | 3.0 | 22M| 391 | 73 |1115 | 564 |1115 | 689 |3743 | 422 |6085 | 0.000000e+00 | 8.000000e+00 | Inf
140.39/140.41 c 130s|140000 | 25207 |456684 | 3.3 | 31M| 391 | 10 |1115 | 563 |1115 | 689 |3743 | 429 |6622 | 0.000000e+00 | 8.000000e+00 | Inf
145.49/145.51 o 6
145.49/145.51 c * 134s|143485 | 27418 |475216 | 3.3 | 33M| 391 | - |1115 | 564 |1115 | 694 |3753 | 433 |6717 | 0.000000e+00 | 6.000000e+00 | Inf
145.49/145.52 o 5
145.49/145.52 c c 134s|143488 | 25011 |475234 | 3.3 | 31M| 391 | - |1115 | 551 |1115 | 694 |3753 | 433 |6717 | 0.000000e+00 | 5.000000e+00 | Inf
152.90/152.95 o 3
152.90/152.95 c l 141s|148412 | 23753 |503697 | 3.4 | 30M| 391 | - |1115 | 559 |1115 | 689 |3755 | 448 |7075 | 0.000000e+00 | 3.000000e+00 | Inf
153.39/153.47 o 2
153.39/153.47 c g 142s|148772 | 1004 |505982 | 3.4 |8775k| 391 | - |1115 | 547 |1115 | 689 |3755 | 448 |7105 | 0.000000e+00 | 2.000000e+00 | Inf
153.50/153.58 o 1
153.50/153.58 c v 142s|148821 | 865 |506407 | 3.4 |8555k| 391 | - |1115 | 349 |1115 | 689 |3755 | 452 |7135 | 0.000000e+00 | 1.000000e-00 | Inf
154.59/154.66 c
154.59/154.66 c SCIP Status : problem is solved [optimal solution found]
154.59/154.66 c Solving Time (sec) : 142.80
154.59/154.66 c Solving Nodes : 149595
154.59/154.66 c Primal Bound : +1.00000000000000e-00 (588 solutions)
154.59/154.66 c Dual Bound : +1.00000000000000e-00
154.59/154.66 c Gap : 0.00 %
154.59/154.66 s OPTIMUM FOUND
154.59/154.66 v -x719 -x718 x717 x716 x715 x714 -x713 x712 -x711 -x710 -x709 x708 x707 x706 x705 x704 x703 -x702 -x701 -x700 -x699 -x698 -x697
154.59/154.66 v -x696 x695 -x694 -x693 -x692 x691 x690 x689 x688 x687 x686 x685 -x684 -x683 x682 x681 x680 x679 x678 x677 x676 -x675 -x674 x673
154.59/154.66 v x672 x671 x670 x669 x668 x667 x666 -x665 x664 x663 x662 x661 x660 x659 x658 x657 -x656 -x655 x654 -x653 -x652 -x651 -x650
154.59/154.66 v -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 x638 x637 x636 x635 x634 x633 x632 x631 x630 -x629 x628 x627
154.59/154.66 v x626 x625 x624 x623 x622 x621 -x620 -x619 x618 x617 x616 x615 x614 x613 x612 -x611 -x610 -x609 x608 x607 x606 x605 x604 x603
154.59/154.66 v -x602 -x601 -x600 x599 -x598 x597 x596 x595 x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581
154.59/154.66 v -x580 x579 -x578 -x577 -x576 x575 -x574 -x573 x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 x563 x562 x561 x560 x559 -x558
154.59/154.66 v -x557 x556 -x555 -x554 -x553 -x552 x551 -x550 x549 x548 -x547 x546 x545 x544 x543 x542 x541 -x540 -x539 -x538 x537 x536
154.59/154.66 v x535 x534 x533 x532 -x531 -x530 -x529 -x528 x527 -x526 -x525 -x524 -x523 x522 -x521 x520 -x519 x518 -x517 -x516 -x515 -x514 x513
154.59/154.66 v -x512 x511 -x510 x509 -x508 -x507 -x506 -x505 x504 -x503 x502 -x501 x500 -x499 -x498 -x497 -x496 x495 -x494 x493 x492 -x491
154.59/154.66 v x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 x474 x473 -x472 -x471 -x470 -x469
154.59/154.66 v -x468 -x467 -x466 x465 x464 -x463 -x462 -x461 x460 x459 x458 x457 x456 x455 x454 x453 x452 -x451 x450 x449 x448 x447 x446
154.59/154.66 v x445 x444 -x443 x442 -x441 -x440 x439 -x438 -x437 -x436 x435 x434 x433 x432 x431 x430 -x429 -x428 -x427 x426 x425 x424 x423
154.59/154.66 v x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401
154.59/154.66 v x400 x399 x398 x397 x396 x395 x394 -x393 x392 x391 x390 x389 x388 x387 x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 x378
154.59/154.66 v x377 x376 x375 x374 x373 x372 x371 -x370 x369 x368 x367 x366 x365 x364 x363 x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354
154.59/154.66 v x353 x352 x351 -x350 x349 x348 -x347 x346 x345 x344 x343 x342 x341 -x340 -x339 -x338 x337 x336 x335 x334 x333 x332 -x331
154.59/154.66 v -x330 -x329 x328 x327 x326 x325 x324 x323 -x322 -x321 -x320 x319 x318 x317 x316 x315 x314 -x313 -x312 -x311 x310 x309 x308 x307
154.59/154.66 v x306 x305 -x304 -x303 -x302 x301 x300 -x299 x298 x297 x296 -x295 -x294 -x293 x292 x291 x290 x289 x288 x287 -x286 -x285 -x284
154.59/154.66 v x283 x282 x281 x280 x279 x278 -x277 -x276 -x275 x274 x273 x272 x271 x270 x269 -x268 -x267 -x266 x265 x264 x263 x262 x261 x260
154.59/154.66 v -x259 -x258 -x257 -x256 x255 x254 x253 x252 x251 -x250 -x249 -x248 x247 x246 x245 x244 x243 x242 -x241 -x240 -x239 x238 x237
154.59/154.66 v x236 x235 x234 x233 x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212
154.59/154.66 v x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187
154.59/154.66 v x186 x185 x184 x183 -x182 -x181 x180 -x179 -x178 x177 -x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 x165 x164 x163
154.59/154.66 v x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 -x152 -x151 x150 x149 -x148 -x147 x146 x145 x144 x143 x142 -x141 x140 -x139
154.59/154.66 v -x138 -x137 x136 -x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 x126 x125 x124 x123 x122 x121 x120 -x119 x118 -x117
154.59/154.66 v x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 -x106 x105 x104 -x103 -x102 x101 x100 x99 x98 x97 x96 x95 x94 -x93 -x92 x91
154.59/154.66 v -x90 x89 -x88 x87 x86 x85 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
154.59/154.66 v x59 x58 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
154.59/154.66 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
154.59/154.66 c SCIP Status : problem is solved [optimal solution found]
154.59/154.66 c Solving Time : 142.80
154.59/154.66 c Original Problem :
154.59/154.66 c Problem name : HOME/instance-2693048-1277914823.wbo
154.59/154.66 c Variables : 1127 (923 binary, 0 integer, 0 implicit integer, 204 continuous)
154.59/154.66 c Constraints : 798 initial, 798 maximal
154.59/154.66 c Presolved Problem :
154.59/154.66 c Problem name : t_HOME/instance-2693048-1277914823.wbo
154.59/154.66 c Variables : 1115 (912 binary, 0 integer, 0 implicit integer, 203 continuous)
154.59/154.66 c Constraints : 776 initial, 961 maximal
154.59/154.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
154.59/154.66 c trivial : 0.00 0 0 0 0 0 0 0 0
154.59/154.66 c dualfix : 0.00 2 0 0 0 0 0 0 0
154.59/154.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
154.59/154.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
154.59/154.66 c implics : 0.00 0 2 0 0 0 0 0 0
154.59/154.66 c probing : 0.01 0 0 0 0 0 0 0 0
154.59/154.66 c indicator : 0.00 0 0 0 0 0 1 0 0
154.59/154.66 c varbound : 0.00 0 0 0 0 0 0 0 0
154.59/154.66 c knapsack : 0.00 0 0 0 0 0 0 0 0
154.59/154.66 c linear : 0.01 8 0 0 211 0 21 115 230
154.59/154.66 c logicor : 0.00 0 0 0 0 0 0 0 0
154.59/154.66 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
154.59/154.66 c root node : - 420 - - 623 - - - -
154.59/154.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
154.59/154.66 c integral : 0 0 0 150533 0 0 601 0 0 176400
154.59/154.66 c indicator : 203 0 354512 61748 0 4 80224 0 0 0
154.59/154.66 c varbound : 3 6 117832 25863 0 0 626 3 0 0
154.59/154.66 c knapsack : 145 6 371103 61748 0 438 78541 493 0 0
154.59/154.66 c linear : 200 6 370665 61748 0 142 84108 3319 0 0
154.59/154.66 c logicor : 225+ 6 86689 61012 0 53 56378 0 0 0
154.59/154.66 c bounddisjunction : 0+ 0 170 0 0 0 0 0 0 0
154.59/154.66 c countsols : 0 0 0 61012 0 0 0 0 0 0
154.59/154.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
154.59/154.66 c integral : 10.26 0.00 0.00 10.26 0.00
154.59/154.66 c indicator : 0.90 0.00 0.36 0.54 0.00
154.59/154.66 c varbound : 0.00 0.00 0.00 0.00 0.00
154.59/154.66 c knapsack : 1.68 0.01 1.59 0.08 0.00
154.59/154.66 c linear : 1.02 0.00 0.67 0.35 0.00
154.59/154.66 c logicor : 0.19 0.00 0.12 0.07 0.00
154.59/154.66 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
154.59/154.66 c countsols : 0.00 0.00 0.00 0.00 0.00
154.59/154.66 c Propagators : Time Calls Cutoffs DomReds
154.59/154.66 c vbounds : 0.00 3036 0 407
154.59/154.66 c rootredcost : 0.00 67 0 203
154.59/154.67 c pseudoobj : 1.88 370917 10 24942
154.59/154.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
154.59/154.67 c propagation : 0.01 643 638 2508 13.3 39 5.0 -
154.59/154.67 c infeasible LP : 0.01 50 50 51 3.1 4 5.0 0
154.59/154.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
154.59/154.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
154.59/154.67 c pseudo solution : 0.00 5 5 15 10.0 2 2.0 -
154.59/154.67 c applied globally : - - - 1089 10.2 - - -
154.59/154.67 c applied locally : - - - 0 0.0 - - -
154.59/154.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
154.59/154.67 c cut pool : 0.00 5 - - 284 - (maximal pool size: 1191)
154.59/154.67 c redcost : 3.49 151023 0 4574 0 0
154.59/154.67 c impliedbounds : 0.00 6 0 0 6 0
154.59/154.67 c intobj : 0.00 0 0 0 0 0
154.59/154.67 c cgmip : 0.00 0 0 0 0 0
154.59/154.67 c gomory : 0.03 6 0 0 143 0
154.59/154.67 c strongcg : 0.02 6 0 0 47 0
154.59/154.67 c cmir : 0.07 6 0 0 532 0
154.59/154.67 c flowcover : 0.16 6 0 0 782 0
154.59/154.67 c clique : 0.00 1 0 0 0 0
154.59/154.67 c zerohalf : 0.00 0 0 0 0 0
154.59/154.67 c mcf : 0.00 1 0 0 0 0
154.59/154.67 c rapidlearning : 0.00 0 0 0 0 0
154.59/154.67 c Pricers : Time Calls Vars
154.59/154.67 c problem variables: 0.00 0 0
154.59/154.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
154.59/154.67 c relpscost : 10.25 88785 0 601 0 0 176400
154.59/154.67 c pscost : 0.00 0 0 0 0 0 0
154.59/154.67 c inference : 2.29 60985 0 0 0 0 121970
154.59/154.67 c mostinf : 0.00 0 0 0 0 0 0
154.59/154.67 c leastinf : 0.00 0 0 0 0 0 0
154.59/154.67 c fullstrong : 0.00 0 0 0 0 0 0
154.59/154.67 c allfullstrong : 0.00 0 0 0 0 0 0
154.59/154.67 c random : 0.00 0 0 0 0 0 0
154.59/154.67 c Primal Heuristics : Time Calls Found
154.59/154.67 c LP solutions : 0.11 - 27
154.59/154.67 c pseudo solutions : 0.00 - 0
154.59/154.67 c feaspump : 0.01 1 0
154.59/154.67 c oneopt : 0.16 59 0
154.59/154.67 c intshifting : 0.03 39 0
154.59/154.67 c veclendiving : 4.83 731 1
154.59/154.67 c linesearchdiving : 5.71 780 6
154.59/154.67 c coefdiving : 6.51 780 8
154.59/154.67 c pscostdiving : 5.43 780 8
154.59/154.67 c fracdiving : 6.68 780 8
154.59/154.67 c guideddiving : 6.57 781 7
154.59/154.67 c objpscostdiving : 0.09 572 0
154.59/154.67 c rootsoldiving : 0.11 572 0
154.59/154.67 c trivial : 0.00 2 0
154.59/154.67 c simplerounding : 0.03 86909 0
154.59/154.67 c zirounding : 0.04 1000 0
154.59/154.67 c rounding : 0.09 4145 0
154.59/154.67 c shifting : 0.74 1228 0
154.59/154.67 c twoopt : 0.00 0 0
154.59/154.67 c fixandinfer : 0.00 0 0
154.59/154.67 c intdiving : 0.00 0 0
154.59/154.67 c actconsdiving : 0.00 0 0
154.59/154.67 c octane : 0.00 0 0
154.59/154.67 c rens : 0.03 1 0
154.59/154.67 c rins : 0.00 0 0
154.59/154.67 c localbranching : 0.00 0 0
154.59/154.67 c mutation : 0.00 0 0
154.59/154.67 c crossover : 0.47 26 0
154.59/154.67 c dins : 0.00 0 0
154.59/154.67 c undercover : 0.00 0 0
154.59/154.67 c nlp : 0.00 0 0
154.59/154.67 c trysol : 0.24 2763 523
154.59/154.67 c LP : Time Calls Iterations Iter/call Iter/sec
154.59/154.67 c primal LP : 0.00 0 0 0.00 -
154.59/154.67 c dual LP : 65.95 90248 386289 4.28 5857.30
154.59/154.67 c lex dual LP : 0.00 0 0 0.00 -
154.59/154.67 c barrier LP : 0.00 0 0 0.00 -
154.59/154.67 c diving/probing LP: 28.18 58744 127823 2.18 4535.95
154.59/154.67 c strong branching : 9.08 7365 64385 8.74 7090.86
154.59/154.67 c (at root node) : - 22 1691 76.86 -
154.59/154.67 c conflict analysis: 0.00 0 0 0.00 -
154.59/154.67 c B&B Tree :
154.59/154.67 c number of runs : 1
154.59/154.67 c nodes : 149595
154.59/154.67 c nodes (total) : 149595
154.59/154.67 c nodes left : 0
154.59/154.67 c max depth : 391
154.59/154.67 c max depth (total): 391
154.59/154.67 c backtracks : 2074 (1.4%)
154.59/154.67 c delayed cutoffs : 2715
154.59/154.67 c repropagations : 6710 (18587 domain reductions, 213 cutoffs)
154.59/154.67 c avg switch length: 2.23
154.59/154.67 c switching time : 3.07
154.59/154.67 c Solution :
154.59/154.67 c Solutions found : 588 (67 improvements)
154.59/154.67 c First Solution : +1.01820000000000e+04 (in run 1, after 16 nodes, 1.90 seconds, depth 284, found by <trysol>)
154.59/154.67 c Primal Bound : +1.00000000000000e-00 (in run 1, after 148821 nodes, 141.82 seconds, depth 108, found by <veclendiving>)
154.59/154.67 c Dual Bound : +1.00000000000000e-00
154.59/154.67 c Gap : 0.00 %
154.59/154.67 c Root Dual Bound : +0.00000000000000e+00
154.59/154.67 c Root Iterations : 786
154.59/154.67 c Time complete: 154.68.