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-2693519-1277908399.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.08/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.09/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.09/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.09/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.09/0.18 c (0.1s) probing: 101/1947 (5.2%) - 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 (6 rounds):
0.09/0.18 c 144 deleted vars, 170 deleted constraints, 1806 tightened bounds, 0 added holes, 81 changed sides, 0 changed coefficients
0.09/0.18 c 1928 implications, 11 cliques
0.09/0.18 c presolved problem has 3663 variables (1947 bin, 0 int, 0 impl, 1716 cont) and 4326 constraints
0.09/0.18 c 1716 constraints of type <indicator>
0.09/0.18 c 11 constraints of type <setppc>
0.09/0.18 c 1716 constraints of type <linear>
0.09/0.18 c 883 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 | 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.31 c 0.3s| 1 | 0 | 159 | - | 14M| 0 | 52 |3663 |4326 |3663 | 940 | 46 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.39/0.41 c 0.4s| 1 | 0 | 351 | - | 15M| 0 | 6 |3663 |4326 |3663 | 960 | 66 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.39/0.46 c 0.4s| 1 | 0 | 434 | - | 15M| 0 | 32 |3663 |4326 |3663 | 973 | 79 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.49/0.53 c 0.5s| 1 | 0 | 525 | - | 15M| 0 | 29 |3663 |4326 |3663 | 982 | 88 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 536 | - | 15M| 0 | 29 |3663 |4326 |3663 | 983 | 89 | 0 | 0 | 0.000000e+00 | 8.518200e+04 | Inf
2.39/2.40 c 2.3s| 1 | 2 | 536 | - | 15M| 0 | 29 |3663 |4326 |3663 | 983 | 89 | 0 | 29 | 0.000000e+00 | 8.518200e+04 | Inf
15.30/15.37 o 673
15.30/15.37 c *15.1s| 1089 | 1000 | 29397 | 26.5 | 22M| 65 | - |3663 |4336 |3663 |1020 |2524 | 10 | 827 | 0.000000e+00 | 6.730000e+02 | Inf
15.30/15.38 o 651
15.30/15.38 c *15.1s| 1090 | 988 | 29405 | 26.5 | 23M| 65 | - |3663 |4336 |3663 |1020 |2524 | 10 | 827 | 0.000000e+00 | 6.510000e+02 | Inf
17.09/17.13 o 622
17.09/17.13 c *16.8s| 1621 | 1466 | 38683 | 23.5 | 24M| 65 | - |3663 |4463 |3663 |1004 |3808 | 137 | 830 | 0.000000e+00 | 6.220000e+02 | Inf
17.59/17.61 o 519
17.59/17.61 c *17.3s| 1833 | 1573 | 39931 | 21.5 | 25M| 65 | - |3663 |4515 |3663 |1010 |3988 | 189 | 831 | 0.000000e+00 | 5.190000e+02 | Inf
17.59/17.66 o 503
17.59/17.66 c *17.3s| 1849 | 1546 | 39962 | 21.3 | 25M| 65 | - |3663 |4522 |3663 |1011 |3990 | 196 | 831 | 0.000000e+00 | 5.030000e+02 | Inf
17.89/17.97 o 445
17.89/17.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.89/17.97 c *17.6s| 2004 | 1504 | 40617 | 20.0 | 25M| 65 | - |3663 |4587 |3663 |1014 |4087 | 261 | 831 | 0.000000e+00 | 4.450000e+02 | Inf
20.90/20.91 o 437
20.90/20.91 c *20.5s| 2748 | 2040 | 55097 | 19.9 | 27M| 65 | - |3663 |4822 |3663 |1002 |6098 | 581 | 867 | 0.000000e+00 | 4.370000e+02 | Inf
23.79/23.82 o 431
23.79/23.82 c *23.4s| 3529 | 2639 | 67316 | 18.9 | 29M| 65 | - |3663 |4919 |3663 | 999 |8217 | 840 | 930 | 0.000000e+00 | 4.310000e+02 | Inf
23.99/24.00 o 427
23.99/24.00 c *23.5s| 3600 | 2688 | 67672 | 18.7 | 29M| 65 | - |3663 |4915 |3663 |1005 |8328 | 844 | 930 | 0.000000e+00 | 4.270000e+02 | Inf
31.69/31.77 o 291
31.69/31.77 c *31.1s| 5465 | 3695 |109864 | 20.0 | 30M| 65 | - |3663 |4614 |3663 |1026 | 13k|1046 |1032 | 0.000000e+00 | 2.910000e+02 | Inf
40.49/40.59 o 287
40.49/40.59 c *39.7s| 7082 | 4979 |163467 | 23.0 | 35M| 65 | - |3663 |4802 |3663 |1012 | 19k|1611 |1132 | 0.000000e+00 | 2.870000e+02 | Inf
41.09/41.11 o 281
41.09/41.11 c *40.2s| 7241 | 5030 |165606 | 22.8 | 35M| 65 | - |3663 |4806 |3663 |1008 | 19k|1640 |1132 | 0.000000e+00 | 2.810000e+02 | Inf
41.99/42.05 o 279
41.99/42.05 c *41.1s| 7463 | 5212 |171111 | 22.9 | 36M| 65 | - |3663 |4819 |3663 | 995 | 20k|1701 |1133 | 0.000000e+00 | 2.790000e+02 | Inf
45.00/45.06 o 265
45.00/45.06 c *44.0s| 8199 | 5658 |186000 | 22.6 | 37M| 65 | - |3663 |4851 |3663 |1024 | 21k|1882 |1133 | 0.000000e+00 | 2.650000e+02 | Inf
45.19/45.22 o 257
45.19/45.22 c *44.2s| 8243 | 5637 |186446 | 22.6 | 37M| 65 | - |3663 |4849 |3663 |1003 | 22k|1895 |1133 | 0.000000e+00 | 2.570000e+02 | Inf
52.39/52.40 o 253
52.39/52.40 c *51.2s| 9792 | 6711 |221819 | 22.6 | 43M| 65 | - |3663 |4920 |3663 |1022 | 27k|2509 |1218 | 0.000000e+00 | 2.530000e+02 | Inf
53.30/53.32 c 52.1s| 10000 | 6856 |226470 | 22.6 | 43M| 65 | 0 |3663 |4865 |3663 |1024 | 27k|2590 |1219 | 0.000000e+00 | 2.530000e+02 | Inf
53.80/53.83 o 251
53.80/53.83 c *52.6s| 10087 | 6907 |229785 | 22.7 | 44M| 65 | - |3663 |4835 |3663 | 987 | 27k|2595 |1219 | 0.000000e+00 | 2.510000e+02 | Inf
54.20/54.21 o 247
54.20/54.21 c *52.9s| 10169 | 6920 |231606 | 22.7 | 44M| 65 | - |3663 |4873 |3663 | 967 | 28k|2653 |1219 | 0.000000e+00 | 2.470000e+02 | Inf
55.30/55.34 o 219
55.30/55.34 c *54.0s| 10437 | 6707 |236211 | 22.6 | 41M| 65 | - |3663 |4980 |3663 |1005 | 29k|2789 |1241 | 0.000000e+00 | 2.190000e+02 | Inf
55.39/55.48 o 218
55.39/55.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.39/55.48 c *54.2s| 10473 | 6715 |236602 | 22.5 | 42M| 65 | - |3663 |4994 |3663 | 996 | 29k|2806 |1243 | 0.000000e+00 | 2.180000e+02 | Inf
55.59/55.60 o 215
55.59/55.60 c *54.3s| 10494 | 6690 |236946 | 22.5 | 42M| 65 | - |3663 |5001 |3663 |1039 | 29k|2818 |1252 | 0.000000e+00 | 2.150000e+02 | Inf
55.59/55.61 o 204
55.59/55.61 c *54.3s| 10495 | 6481 |236954 | 22.5 | 40M| 65 | - |3663 |5001 |3663 |1039 | 29k|2818 |1252 | 0.000000e+00 | 2.040000e+02 | Inf
55.79/55.81 o 201
55.79/55.81 c *54.5s| 10533 | 6440 |237887 | 22.5 | 40M| 65 | - |3663 |5008 |3663 | 977 | 29k|2834 |1259 | 0.000000e+00 | 2.010000e+02 | Inf
55.79/55.82 o 199
55.79/55.82 c *54.5s| 10534 | 6415 |237889 | 22.5 | 40M| 65 | - |3663 |5006 |3663 | 977 | 29k|2834 |1259 | 0.000000e+00 | 1.990000e+02 | Inf
57.69/57.72 o 195
57.69/57.72 c *56.4s| 11056 | 6582 |243766 | 22.0 | 41M| 65 | - |3663 |5211 |3663 |1014 | 30k|3220 |1296 | 0.000000e+00 | 1.950000e+02 | Inf
57.69/57.73 o 187
57.69/57.73 c *56.4s| 11057 | 6403 |243766 | 22.0 | 40M| 65 | - |3663 |5211 |3663 |1014 | 30k|3220 |1296 | 0.000000e+00 | 1.870000e+02 | Inf
59.99/60.02 o 186
59.99/60.02 c *58.6s| 11466 | 6666 |258819 | 22.5 | 42M| 65 | - |3663 |5175 |3663 | 982 | 32k|3444 |1300 | 0.000000e+00 | 1.860000e+02 | Inf
60.10/60.18 o 185
60.10/60.18 c f58.8s| 11493 | 6626 |259865 | 22.6 | 42M| 65 | - |3663 |5160 |3663 |1007 | 32k|3455 |1300 | 0.000000e+00 | 1.850000e+02 | Inf
60.69/60.76 o 183
60.69/60.76 c *59.3s| 11608 | 6649 |263877 | 22.7 | 42M| 65 | - |3663 |5135 |3663 |1023 | 32k|3518 |1300 | 0.000000e+00 | 1.830000e+02 | Inf
65.10/65.20 o 181
65.10/65.20 c *63.6s| 12888 | 7359 |282682 | 21.9 | 46M| 80 | - |3663 |5411 |3663 | 966 | 34k|4273 |1301 | 0.000000e+00 | 1.810000e+02 | Inf
67.89/67.97 o 179
67.89/67.97 c *66.4s| 13837 | 7933 |290733 | 21.0 | 50M| 80 | - |3663 |5452 |3663 |1023 | 35k|4677 |1301 | 0.000000e+00 | 1.790000e+02 | Inf
69.79/69.82 o 168
69.79/69.82 c *68.2s| 14242 | 7805 |301242 | 21.1 | 49M| 80 | - |3663 |5387 |3663 |1004 | 36k|4922 |1301 | 0.000000e+00 | 1.680000e+02 | Inf
69.79/69.82 o 160
69.79/69.82 c *68.2s| 14243 | 7581 |301242 | 21.1 | 48M| 80 | - |3663 |5387 |3663 |1004 | 36k|4922 |1301 | 0.000000e+00 | 1.600000e+02 | Inf
70.80/70.89 o 157
70.80/70.89 c *69.2s| 14538 | 7715 |304830 | 20.9 | 49M| 80 | - |3663 |5295 |3663 |1002 | 37k|4999 |1301 | 0.000000e+00 | 1.570000e+02 | Inf
70.99/71.08 o 153
70.99/71.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.99/71.08 c *69.4s| 14612 | 7646 |305339 | 20.9 | 49M| 80 | - |3663 |5291 |3663 |1010 | 37k|5037 |1301 | 0.000000e+00 | 1.530000e+02 | Inf
72.59/72.63 o 137
72.59/72.63 c *70.9s| 15038 | 7282 |311514 | 20.7 | 47M| 80 | - |3663 |5475 |3663 |1014 | 38k|5428 |1301 | 0.000000e+00 | 1.370000e+02 | Inf
72.69/72.74 o 121
72.69/72.74 c *71.0s| 15062 | 6724 |312165 | 20.7 | 44M| 80 | - |3663 |5465 |3663 | 995 | 38k|5444 |1301 | 0.000000e+00 | 1.210000e+02 | Inf
73.40/73.46 o 119
73.40/73.46 c *71.7s| 15258 | 6713 |315440 | 20.6 | 45M| 80 | - |3663 |5466 |3663 |1016 | 38k|5586 |1301 | 0.000000e+00 | 1.190000e+02 | Inf
73.79/73.84 o 114
73.79/73.84 c *72.1s| 15353 | 6600 |317261 | 20.6 | 44M| 80 | - |3663 |5459 |3663 |1024 | 38k|5643 |1301 | 0.000000e+00 | 1.140000e+02 | Inf
74.69/74.75 o 110
74.69/74.75 c *73.0s| 15566 | 6552 |321473 | 20.6 | 45M| 80 | - |3663 |5429 |3663 |1019 | 39k|5767 |1301 | 0.000000e+00 | 1.100000e+02 | Inf
74.69/74.77 o 104
74.69/74.77 c *73.0s| 15567 | 6131 |321495 | 20.6 | 43M| 80 | - |3663 |5429 |3663 |1020 | 39k|5767 |1301 | 0.000000e+00 | 1.040000e+02 | Inf
75.90/75.97 o 98
75.90/75.97 c *74.2s| 15959 | 5659 |327055 | 20.5 | 41M| 80 | - |3663 |5673 |3663 |1005 | 39k|6200 |1301 | 0.000000e+00 | 9.800000e+01 | Inf
76.30/76.31 o 95
76.30/76.31 c *74.5s| 16095 | 5516 |327636 | 20.3 | 41M| 80 | - |3663 |5633 |3663 | 988 | 39k|6344 |1301 | 0.000000e+00 | 9.500000e+01 | Inf
76.80/76.82 o 92
76.80/76.82 c *75.0s| 16213 | 5407 |330035 | 20.3 | 41M| 80 | - |3663 |5361 |3663 |1023 | 39k|6452 |1301 | 0.000000e+00 | 9.200000e+01 | Inf
77.59/77.63 o 89
77.59/77.63 c *75.8s| 16411 | 5273 |332913 | 20.3 | 42M| 80 | - |3663 |5075 |3663 |1025 | 40k|6556 |1301 | 0.000000e+00 | 8.900000e+01 | Inf
77.99/78.09 o 70
77.99/78.09 c *76.2s| 16548 | 4460 |334172 | 20.2 | 37M| 80 | - |3663 |4954 |3663 |1023 | 40k|6604 |1301 | 0.000000e+00 | 7.000000e+01 | Inf
78.20/78.28 o 45
78.20/78.28 c *76.4s| 16602 | 3186 |334406 | 20.1 | 33M| 80 | - |3663 |4570 |3663 |1026 | 40k|6614 |1301 | 0.000000e+00 | 4.500000e+01 | Inf
78.39/78.45 o 33
78.39/78.45 c *76.6s| 16654 | 2634 |334770 | 20.1 | 31M| 80 | - |3663 |4124 |3663 | 983 | 40k|6635 |1301 | 0.000000e+00 | 3.300000e+01 | Inf
78.49/78.56 o 29
78.49/78.56 c *76.7s| 16677 | 2582 |335229 | 20.1 | 30M| 80 | - |3663 |3831 |3663 | 987 | 40k|6652 |1301 | 0.000000e+00 | 2.900000e+01 | Inf
78.49/78.59 o 28
78.49/78.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.49/78.59 c *76.7s| 16679 | 2486 |335391 | 20.1 | 30M| 80 | - |3663 |3742 |3663 | 990 | 40k|6652 |1301 | 0.000000e+00 | 2.800000e+01 | Inf
78.59/78.64 o 21
78.59/78.64 c *76.8s| 16687 | 2301 |335536 | 20.1 | 29M| 80 | - |3663 |3678 |3663 |1004 | 40k|6666 |1301 | 0.000000e+00 | 2.100000e+01 | Inf
78.59/78.65 o 13
78.59/78.65 c *76.8s| 16688 | 2083 |335536 | 20.1 | 29M| 80 | - |3663 |3678 |3663 |1004 | 40k|6666 |1301 | 0.000000e+00 | 1.300000e+01 | Inf
78.69/78.73 o 11
78.69/78.73 c *76.9s| 16711 | 908 |336075 | 20.1 | 25M| 80 | - |3663 |3388 |3663 | 977 | 40k|6698 |1301 | 0.000000e+00 | 1.100000e+01 | Inf
84.20/84.29 c 82.3s| 20000 | 894 |359406 | 17.9 | 28M| 80 | - |3663 |5845 | 0 | 0 | 41k| 11k|1301 | 0.000000e+00 | 1.100000e+01 | Inf
101.10/101.18 c 98.6s| 30000 | 925 |420653 | 14.0 | 30M| 80 | 18 |3663 |8537 |3663 | 980 | 45k| 25k|1301 | 0.000000e+00 | 1.100000e+01 | Inf
118.59/118.64 c 116s| 40000 | 886 |482162 | 12.0 | 31M| 80 | - |3663 |9905 | 0 | 0 | 48k| 39k|1301 | 0.000000e+00 | 1.100000e+01 | Inf
137.09/137.11 c 134s| 50000 | 903 |546114 | 10.9 | 33M| 80 | 23 |3663 | 11k|3663 | 993 | 52k| 52k|1319 | 0.000000e+00 | 1.100000e+01 | Inf
155.00/155.05 c 151s| 60000 | 1022 |601132 | 10.0 | 35M| 80 | 9 |3663 | 13k|3663 | 973 | 56k| 65k|1365 | 0.000000e+00 | 1.100000e+01 | Inf
164.50/164.53 o 8
164.50/164.53 c * 160s| 64825 | 879 |633118 | 9.8 | 33M| 80 | - |3663 | 14k|3663 | 983 | 58k| 71k|1391 | 0.000000e+00 | 8.000000e+00 | Inf
174.49/174.56 c 170s| 70000 | 1041 |667087 | 9.5 | 35M| 80 | 8 |3663 | 16k|3663 | 979 | 61k| 77k|1410 | 0.000000e+00 | 8.000000e+00 | Inf
194.60/194.65 c 189s| 80000 | 1170 |727758 | 9.1 | 37M| 80 | 9 |3663 | 15k|3663 | 985 | 64k| 90k|1435 | 0.000000e+00 | 8.000000e+00 | Inf
214.79/214.86 c 209s| 90000 | 1172 |793529 | 8.8 | 38M| 80 | - |3663 | 15k| 0 | 0 | 67k| 103k|1502 | 0.000000e+00 | 8.000000e+00 | Inf
235.40/235.45 c 229s|100000 | 1069 |863705 | 8.6 | 38M| 80 | 1 |3663 | 15k|3663 | 984 | 72k| 116k|1563 | 0.000000e+00 | 8.000000e+00 | Inf
254.90/254.90 c 248s|110000 | 1035 |929430 | 8.4 | 37M| 80 | - |3663 | 15k| 0 | 0 | 75k| 129k|1644 | 0.000000e+00 | 8.000000e+00 | Inf
275.90/275.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
275.90/275.96 c 268s|120000 | 971 | 1007k| 8.4 | 37M| 80 | 1 |3663 | 16k|3663 | 976 | 80k| 142k|1767 | 0.000000e+00 | 8.000000e+00 | Inf
298.89/298.92 c 291s|130000 | 1017 | 1091k| 8.4 | 38M| 80 | 15 |3663 | 16k|3663 |1001 | 87k| 156k|1880 | 0.000000e+00 | 8.000000e+00 | Inf
313.19/313.26 o 4
313.19/313.26 c * 305s|136310 | 907 | 1141k| 8.4 | 36M| 80 | - |3663 | 15k|3663 | 995 | 91k| 165k|1933 | 0.000000e+00 | 4.000000e+00 | Inf
313.19/313.26 o 3
313.19/313.26 c * 305s|136311 | 886 | 1141k| 8.4 | 36M| 80 | - |3663 | 15k|3663 | 995 | 91k| 165k|1933 | 0.000000e+00 | 3.000000e+00 | Inf
320.19/320.25 c 312s|140000 | 890 | 1164k| 8.3 | 35M| 80 | 9 |3663 | 14k|3663 | 977 | 93k| 170k|1993 | 0.000000e+00 | 3.000000e+00 | Inf
339.91/339.93 c 331s|150000 | 946 | 1229k| 8.2 | 37M| 80 | 31 |3663 | 18k|3663 | 994 | 97k| 183k|2047 | 0.000000e+00 | 3.000000e+00 | Inf
361.09/361.11 c 351s|160000 | 981 | 1300k| 8.1 | 38M| 80 | 13 |3663 | 21k|3663 | 989 | 102k| 196k|2141 | 0.000000e+00 | 3.000000e+00 | Inf
382.50/382.57 c 372s|170000 | 958 | 1368k| 8.0 | 39M| 80 | 8 |3663 | 23k|3663 | 991 | 105k| 210k|2213 | 0.000000e+00 | 3.000000e+00 | Inf
405.30/405.32 c 394s|180000 | 1080 | 1428k| 7.9 | 41M| 80 | - |3663 | 25k| 0 | 0 | 108k| 224k|2270 | 0.000000e+00 | 3.000000e+00 | Inf
428.50/428.50 c 417s|190000 | 1110 | 1492k| 7.9 | 42M| 80 | - |3663 | 25k| 0 | 0 | 112k| 237k|2360 | 0.000000e+00 | 3.000000e+00 | Inf
453.30/453.31 c 441s|200000 | 1139 | 1557k| 7.8 | 44M| 80 | - |3663 | 29k| 0 | 0 | 115k| 251k|2434 | 0.000000e+00 | 3.000000e+00 | Inf
478.21/478.24 c 466s|210000 | 1284 | 1617k| 7.7 | 46M| 80 | - |3663 | 29k| 0 | 0 | 119k| 264k|2504 | 0.000000e+00 | 3.000000e+00 | Inf
504.00/504.02 c 491s|220000 | 1254 | 1683k| 7.7 | 45M| 80 | - |3663 | 25k| 0 | 0 | 123k| 278k|2569 | 0.000000e+00 | 3.000000e+00 | Inf
528.20/528.27 c 515s|230000 | 1426 | 1748k| 7.6 | 48M| 80 | 1 |3663 | 29k|3663 |1002 | 127k| 292k|2640 | 0.000000e+00 | 3.000000e+00 | Inf
554.41/554.47 c 540s|240000 | 1428 | 1819k| 7.6 | 48M| 80 | 6 |3663 | 28k|3663 | 966 | 132k| 307k|2725 | 0.000000e+00 | 3.000000e+00 | Inf
578.61/578.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.61/578.66 c 564s|250000 | 1547 | 1877k| 7.5 | 49M| 80 | 10 |3663 | 30k|3663 | 987 | 135k| 321k|2779 | 0.000000e+00 | 3.000000e+00 | Inf
604.81/604.87 c 590s|260000 | 1642 | 1946k| 7.5 | 51M| 80 | - |3663 | 30k|3663 | 988 | 139k| 335k|2905 | 0.000000e+00 | 3.000000e+00 | Inf
632.01/632.00 c 616s|270000 | 1765 | 2013k| 7.5 | 53M| 84 | - |3663 | 31k| 0 | 0 | 142k| 348k|2978 | 0.000000e+00 | 3.000000e+00 | Inf
659.20/659.24 c 643s|280000 | 1885 | 2079k| 7.4 | 56M| 84 | 16 |3663 | 35k|3663 |1001 | 146k| 362k|3049 | 0.000000e+00 | 3.000000e+00 | Inf
687.41/687.50 c 671s|290000 | 1959 | 2154k| 7.4 | 57M| 90 | 1 |3663 | 34k|3663 | 988 | 150k| 377k|3157 | 0.000000e+00 | 3.000000e+00 | Inf
714.81/714.81 c 697s|300000 | 1955 | 2221k| 7.4 | 56M| 90 | - |3663 | 30k| 0 | 0 | 154k| 392k|3227 | 0.000000e+00 | 3.000000e+00 | Inf
739.50/739.52 c 721s|310000 | 1656 | 2288k| 7.4 | 51M| 90 | - |3663 | 25k| 0 | 0 | 157k| 406k|3308 | 0.000000e+00 | 3.000000e+00 | Inf
763.32/763.36 c 745s|320000 | 1501 | 2359k| 7.4 | 48M| 90 | 1 |3663 | 23k|3663 | 975 | 161k| 420k|3396 | 0.000000e+00 | 3.000000e+00 | Inf
786.81/786.80 c 768s|330000 | 1600 | 2431k| 7.4 | 51M| 90 | 14 |3663 | 27k|3663 |1008 | 165k| 433k|3467 | 0.000000e+00 | 3.000000e+00 | Inf
810.01/810.08 c 790s|340000 | 1626 | 2499k| 7.3 | 50M| 90 | - |3663 | 24k|3663 | 995 | 168k| 447k|3565 | 0.000000e+00 | 3.000000e+00 | Inf
833.41/833.43 c 813s|350000 | 1662 | 2572k| 7.3 | 52M| 90 | 1 |3663 | 28k|3663 | 991 | 172k| 461k|3645 | 0.000000e+00 | 3.000000e+00 | Inf
858.30/858.33 c 837s|360000 | 1693 | 2648k| 7.4 | 53M| 90 | - |3663 | 30k| 0 | 0 | 177k| 476k|3728 | 0.000000e+00 | 3.000000e+00 | Inf
883.51/883.53 c 862s|370000 | 1760 | 2718k| 7.3 | 55M| 90 | 11 |3663 | 32k|3663 | 971 | 181k| 489k|3800 | 0.000000e+00 | 3.000000e+00 | Inf
908.51/908.55 c 887s|380000 | 1764 | 2780k| 7.3 | 55M| 90 | - |3663 | 33k| 0 | 0 | 185k| 503k|3840 | 0.000000e+00 | 3.000000e+00 | Inf
933.81/933.89 c 911s|390000 | 1847 | 2838k| 7.3 | 57M| 90 | 26 |3663 | 34k|3663 | 973 | 188k| 517k|3904 | 0.000000e+00 | 3.000000e+00 | Inf
959.91/959.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.91/959.91 c 937s|400000 | 1810 | 2901k| 7.3 | 57M| 90 | - |3663 | 34k| 0 | 0 | 192k| 532k|3957 | 0.000000e+00 | 3.000000e+00 | Inf
986.22/986.21 c 963s|410000 | 1788 | 2970k| 7.2 | 57M| 90 | 23 |3663 | 33k|3663 | 973 | 195k| 546k|4014 | 0.000000e+00 | 3.000000e+00 | Inf
1012.61/1012.65 c 989s|420000 | 1829 | 3038k| 7.2 | 58M| 90 | 14 |3663 | 36k|3663 | 984 | 198k| 560k|4067 | 0.000000e+00 | 3.000000e+00 | Inf
1040.62/1040.61 c 1016s|430000 | 1882 | 3109k| 7.2 | 59M| 90 | 13 |3663 | 37k|3663 | 983 | 201k| 574k|4120 | 0.000000e+00 | 3.000000e+00 | Inf
1069.42/1069.40 c 1044s|440000 | 1913 | 3176k| 7.2 | 60M| 90 | 6 |3663 | 38k|3663 | 966 | 205k| 589k|4184 | 0.000000e+00 | 3.000000e+00 | Inf
1097.11/1097.14 c 1071s|450000 | 1968 | 3245k| 7.2 | 63M| 90 | - |3663 | 44k| 0 | 0 | 209k| 603k|4231 | 0.000000e+00 | 3.000000e+00 | Inf
1126.62/1126.66 c 1100s|460000 | 2011 | 3311k| 7.2 | 62M| 90 | - |3663 | 41k| 0 | 0 | 212k| 618k|4294 | 0.000000e+00 | 3.000000e+00 | Inf
1155.42/1155.46 c 1129s|470000 | 2160 | 3378k| 7.2 | 65M| 90 | - |3663 | 44k| 0 | 0 | 216k| 633k|4353 | 0.000000e+00 | 3.000000e+00 | Inf
1185.32/1185.39 c 1158s|480000 | 2173 | 3444k| 7.2 | 65M| 90 | 9 |3663 | 43k|3663 | 966 | 220k| 647k|4398 | 0.000000e+00 | 3.000000e+00 | Inf
1215.32/1215.32 c 1187s|490000 | 2201 | 3510k| 7.2 | 66M| 90 | 26 |3663 | 44k|3663 | 977 | 223k| 661k|4454 | 0.000000e+00 | 3.000000e+00 | Inf
1245.82/1245.83 c 1217s|500000 | 2194 | 3575k| 7.1 | 67M| 90 | - |3663 | 44k| 0 | 0 | 226k| 676k|4503 | 0.000000e+00 | 3.000000e+00 | Inf
1276.22/1276.21 c 1247s|510000 | 2084 | 3639k| 7.1 | 65M| 90 | - |3663 | 42k| 0 | 0 | 229k| 691k|4557 | 0.000000e+00 | 3.000000e+00 | Inf
1303.02/1303.03 c 1273s|520000 | 1896 | 3699k| 7.1 | 60M| 90 | 12 |3663 | 36k|3663 | 989 | 232k| 705k|4617 | 0.000000e+00 | 3.000000e+00 | Inf
1328.62/1328.70 c 1299s|530000 | 1904 | 3762k| 7.1 | 61M| 90 | 12 |3663 | 39k|3663 | 987 | 236k| 719k|4662 | 0.000000e+00 | 3.000000e+00 | Inf
1356.42/1356.44 c 1326s|540000 | 1954 | 3825k| 7.1 | 64M| 90 | - |3663 | 43k| 0 | 0 | 240k| 733k|4689 | 0.000000e+00 | 3.000000e+00 | Inf
1384.12/1384.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.12/1384.12 c 1353s|550000 | 1457 | 3898k| 7.1 | 48M| 90 | 14 |3663 | 11k|3663 | 988 | 243k| 747k|4948 | 0.000000e+00 | 3.000000e+00 | Inf
1402.22/1402.21 c 1370s|560000 | 1490 | 3961k| 7.1 | 49M| 90 | 14 |3663 | 15k|3663 | 990 | 246k| 760k|4950 | 0.000000e+00 | 3.000000e+00 | Inf
1423.43/1423.50 c 1391s|570000 | 1489 | 4031k| 7.1 | 50M| 90 | - |3663 | 14k| 0 | 0 | 249k| 774k|5011 | 0.000000e+00 | 3.000000e+00 | Inf
1442.62/1442.67 c 1410s|580000 | 1325 | 4105k| 7.1 | 48M| 90 | 7 |3663 | 12k|3663 | 971 | 253k| 787k|5060 | 0.000000e+00 | 3.000000e+00 | Inf
1462.52/1462.50 c 1429s|590000 | 1396 | 4170k| 7.1 | 51M| 90 | 19 |3663 | 19k|3663 | 981 | 258k| 801k|5098 | 0.000000e+00 | 3.000000e+00 | Inf
1483.62/1483.67 c 1450s|600000 | 1340 | 4230k| 7.1 | 50M| 90 | - |3663 | 17k| 0 | 0 | 262k| 815k|5117 | 0.000000e+00 | 3.000000e+00 | Inf
1504.23/1504.28 c 1470s|610000 | 1474 | 4291k| 7.0 | 52M| 90 | - |3663 | 21k| 0 | 0 | 265k| 828k|5149 | 0.000000e+00 | 3.000000e+00 | Inf
1526.92/1526.98 c 1492s|620000 | 1541 | 4357k| 7.0 | 55M| 90 | 7 |3663 | 26k|3663 | 976 | 267k| 842k|5198 | 0.000000e+00 | 3.000000e+00 | Inf
1543.43/1543.42 o 2
1543.43/1543.42 c *1508s|626915 | 1323 | 4400k| 7.0 | 50M| 90 | - |3663 | 19k|3663 | 986 | 270k| 853k|5238 | 0.000000e+00 | 2.000000e+00 | Inf
1549.72/1549.74 c 1514s|630000 | 1252 | 4422k| 7.0 | 47M| 90 | - |3663 | 13k| 0 | 0 | 271k| 857k|5278 | 0.000000e+00 | 2.000000e+00 | Inf
1569.83/1569.89 c 1534s|640000 | 1418 | 4504k| 7.0 | 49M| 90 | 22 |3663 | 15k|3663 |1001 | 275k| 872k|5334 | 0.000000e+00 | 2.000000e+00 | Inf
1590.13/1590.11 c 1553s|650000 | 1491 | 4581k| 7.0 | 51M| 90 | 18 |3663 | 19k|3663 | 966 | 279k| 886k|5393 | 0.000000e+00 | 2.000000e+00 | Inf
1611.63/1611.69 c 1574s|660000 | 1585 | 4653k| 7.0 | 54M| 90 | 1 |3663 | 23k|3663 | 976 | 283k| 900k|5451 | 0.000000e+00 | 2.000000e+00 | Inf
1635.13/1635.15 c 1597s|670000 | 1715 | 4724k| 7.1 | 57M| 90 | - |3663 | 28k|3663 | 982 | 286k| 914k|5503 | 0.000000e+00 | 2.000000e+00 | Inf
1660.63/1660.69 c 1622s|680000 | 1782 | 4806k| 7.1 | 58M| 90 | 7 |3663 | 30k|3663 | 991 | 290k| 928k|5557 | 0.000000e+00 | 2.000000e+00 | Inf
1687.53/1687.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.53/1687.57 c 1648s|690000 | 1984 | 4887k| 7.1 | 60M| 90 | - |3663 | 31k| 0 | 0 | 295k| 942k|5607 | 0.000000e+00 | 2.000000e+00 | Inf
1713.63/1713.69 c 1674s|700000 | 2105 | 4965k| 7.1 | 61M| 90 | 23 |3663 | 30k|3663 | 977 | 299k| 956k|5649 | 0.000000e+00 | 2.000000e+00 | Inf
1739.53/1739.53 c 1699s|710000 | 2176 | 5042k| 7.1 | 62M| 90 | 15 |3663 | 29k|3663 | 990 | 302k| 971k|5692 | 0.000000e+00 | 2.000000e+00 | Inf
1764.34/1764.38 c 1724s|720000 | 2133 | 5126k| 7.1 | 62M| 90 | 6 |3663 | 28k|3663 | 989 | 306k| 985k|5746 | 0.000000e+00 | 2.000000e+00 | Inf
1789.93/1789.91 c 1748s|730000 | 2142 | 5209k| 7.1 | 63M| 90 | - |3663 | 30k| 0 | 0 | 310k|1000k|5790 | 0.000000e+00 | 2.000000e+00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1758.25
1800.04/1800.00 c Solving Nodes : 733962
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (187 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.03 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/1800.03 v -x146 x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.03 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/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.04/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.04/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.04/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.04/1800.03 v -x1
1800.04/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.03 c Solving Time : 1758.25
1800.04/1800.03 c Original Problem :
1800.04/1800.03 c Problem name : HOME/instance-2693519-1277908399.wbo
1800.04/1800.03 c Variables : 3807 (2019 binary, 0 integer, 0 implicit integer, 1788 continuous)
1800.04/1800.03 c Constraints : 4496 initial, 4496 maximal
1800.04/1800.03 c Presolved Problem :
1800.04/1800.03 c Problem name : t_HOME/instance-2693519-1277908399.wbo
1800.04/1800.03 c Variables : 3663 (1947 binary, 0 integer, 0 implicit integer, 1716 continuous)
1800.04/1800.03 c Constraints : 4326 initial, 47476 maximal
1800.04/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.03 c trivial : 0.00 72 0 0 0 0 0 0 0
1800.04/1800.03 c dualfix : 0.00 72 0 0 0 0 0 0 0
1800.04/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c probing : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.03 c indicator : 0.00 0 0 0 0 0 72 0 0
1800.04/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c linear : 0.05 0 0 0 1806 0 98 81 0
1800.04/1800.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.03 c root node : - 1698 - - 3396 - - - -
1800.04/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c integral : 0 0 0 448265 0 33 700 0 0 798828
1800.04/1800.03 c indicator : 1716 0 3531714 47925 0 122 1464468 0 0 0
1800.04/1800.03 c setppc : 11 8 3557777 47903 0 41244 1574638 0 0 0
1800.04/1800.03 c linear : 1716 8 3518462 48240 0 179850 15642129 312221 0 0
1800.04/1800.03 c logicor : 883+ 8 1510092 6729 0 121044 3658042 0 0 0
1800.04/1800.03 c bounddisjunction : 0+ 0 57561 0 0 0 4 0 0 0
1800.04/1800.03 c countsols : 0 0 0 6729 0 0 0 0 0 0
1800.04/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.03 c integral : 23.32 0.00 0.00 23.32 0.00
1800.04/1800.03 c indicator : 8.46 0.01 6.22 2.23 0.00
1800.04/1800.03 c setppc : 14.39 0.00 14.36 0.03 0.00
1800.04/1800.03 c linear : 133.04 0.00 130.32 2.72 0.00
1800.04/1800.03 c logicor : 339.41 0.00 339.34 0.07 0.00
1800.04/1800.03 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.03 c vbounds : 0.80 2 0 0
1800.04/1800.03 c rootredcost : 0.69 58 0 1698
1800.04/1800.03 c pseudoobj : 114.27 3561825 2090 969613
1800.04/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.03 c propagation : 15.79 344228 343625 1953392 27.0 11278 23.4 -
1800.04/1800.03 c infeasible LP : 11.43 44086 44086 325672 43.6 538 16.5 0
1800.04/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.03 c pseudo solution : 0.02 72 72 360 13.3 40 4.2 -
1800.04/1800.03 c applied globally : - - - 1005875 23.2 - - -
1800.04/1800.03 c applied locally : - - - 0 0.0 - - -
1800.04/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.03 c cut pool : 0.00 7 - - 11 - (maximal pool size: 334)
1800.04/1800.03 c redcost : 20.81 451073 0 469187 0 0
1800.04/1800.03 c impliedbounds : 0.00 8 0 0 0 0
1800.04/1800.03 c intobj : 0.00 0 0 0 0 0
1800.04/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.03 c gomory : 0.11 8 0 0 1397 0
1800.04/1800.03 c strongcg : 0.09 8 0 0 280 0
1800.04/1800.03 c cmir : 0.01 8 0 0 4 0
1800.04/1800.03 c flowcover : 0.13 8 0 0 4 0
1800.04/1800.03 c clique : 0.00 8 0 0 0 0
1800.04/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.03 c mcf : 0.00 1 0 0 0 0
1800.04/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.03 c Pricers : Time Calls Vars
1800.04/1800.03 c problem variables: 0.00 0 0
1800.04/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.03 c relpscost : 22.97 400012 33 700 0 0 798828
1800.04/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.03 c inference : 1.08 6673 0 0 0 0 13346
1800.04/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.03 c random : 0.00 0 0 0 0 0 0
1800.04/1800.03 c Primal Heuristics : Time Calls Found
1800.04/1800.03 c LP solutions : 0.08 - 56
1800.04/1800.03 c pseudo solutions : 0.00 - 0
1800.04/1800.03 c feaspump : 0.01 1 0
1800.04/1800.03 c oneopt : 0.48 50 0
1800.04/1800.03 c intshifting : 0.01 25 0
1800.04/1800.03 c crossover : 1.11 36 0
1800.04/1800.03 c guideddiving : 1.30 661 0
1800.04/1800.03 c coefdiving : 1.15 661 0
1800.04/1800.03 c pscostdiving : 1.19 661 0
1800.04/1800.03 c fracdiving : 1.01 661 1
1800.04/1800.03 c veclendiving : 0.98 661 0
1800.04/1800.03 c linesearchdiving : 0.99 661 0
1800.04/1800.03 c objpscostdiving : 0.47 428 0
1800.04/1800.03 c rootsoldiving : 0.82 428 0
1800.04/1800.03 c trivial : 0.01 2 0
1800.04/1800.03 c simplerounding : 0.72 400541 0
1800.04/1800.03 c zirounding : 0.26 1000 0
1800.04/1800.03 c rounding : 1.61 8901 0
1800.04/1800.03 c shifting : 1.25 2795 0
1800.04/1800.03 c twoopt : 0.00 0 0
1800.04/1800.03 c fixandinfer : 0.00 0 0
1800.04/1800.03 c intdiving : 0.00 0 0
1800.04/1800.03 c actconsdiving : 0.00 0 0
1800.04/1800.03 c octane : 0.00 0 0
1800.04/1800.03 c rens : 0.02 1 0
1800.04/1800.03 c rins : 0.00 0 0
1800.04/1800.03 c localbranching : 0.00 0 0
1800.04/1800.03 c mutation : 0.00 0 0
1800.04/1800.03 c dins : 0.00 0 0
1800.04/1800.03 c undercover : 0.00 0 0
1800.04/1800.03 c nlp : 0.20 0 0
1800.04/1800.03 c trysol : 1.46 6720 130
1800.04/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.03 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.03 c dual LP : 583.43 486392 5228279 10.75 8961.28
1800.04/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.03 c diving/probing LP: 2.40 1843 14756 8.01 6148.33
1800.04/1800.03 c strong branching : 19.92 5821 209596 36.01 10521.89
1800.04/1800.03 c (at root node) : - 29 17169 592.03 -
1800.04/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.03 c B&B Tree :
1800.04/1800.03 c number of runs : 1
1800.04/1800.03 c nodes : 733962
1800.04/1800.03 c nodes (total) : 733962
1800.04/1800.03 c nodes left : 2085
1800.04/1800.03 c max depth : 90
1800.04/1800.03 c max depth (total): 90
1800.04/1800.03 c backtracks : 86977 (11.9%)
1800.04/1800.03 c delayed cutoffs : 64537
1800.04/1800.03 c repropagations : 1507028 (4330900 domain reductions, 59944 cutoffs)
1800.04/1800.03 c avg switch length: 5.51
1800.04/1800.03 c switching time : 274.10
1800.04/1800.03 c Solution :
1800.04/1800.03 c Solutions found : 187 (58 improvements)
1800.04/1800.03 c First Solution : +8.51820000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 626915 nodes, 1507.97 seconds, depth 35, found by <relaxation>)
1800.04/1800.03 c Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Gap : infinite
1800.04/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.03 c Root Iterations : 536
1800.14/1800.11 c Time complete: 1800.14.