0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705501-1278572954.wbo>
0.01/0.03 c original problem has 3967 variables (2099 bin, 0 int, 1868 impl, 0 cont) and 4576 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.01/0.08 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.01/0.09 c (round 3) 49 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 4) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 138 impls, 5 clqs
0.09/0.10 c (round 5) 114 del vars, 151 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 138 impls, 5 clqs
0.09/0.15 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 114 deleted vars, 151 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.15 c 3742 implications, 5 cliques
0.09/0.15 c presolved problem has 3853 variables (2042 bin, 0 int, 1811 impl, 0 cont) and 4425 constraints
0.09/0.15 c 55 constraints of type <setppc>
0.09/0.15 c 1811 constraints of type <linear>
0.09/0.15 c 1811 constraints of type <indicator>
0.09/0.15 c 748 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.15 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.15 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4425 |3853 | 803 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 58 | - | 14M| 0 | 36 |3853 |4425 |3853 | 820 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 96 | - | 14M| 0 | 39 |3853 |4425 |3853 | 840 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 126 | - | 15M| 0 | 44 |3853 |4425 |3853 | 854 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 171 | - | 15M| 0 | 44 |3853 |4425 |3853 | 871 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.4s| 1 | 0 | 239 | - | 15M| 0 | 50 |3853 |4425 |3853 | 876 | 73 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.55 c 0.5s| 1 | 0 | 360 | - | 15M| 0 | 73 |3853 |4425 |3853 | 888 | 85 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.99 c 1.0s| 1 | 2 | 360 | - | 15M| 0 | 73 |3853 |4425 |3853 | 888 | 85 | 0 | 17 | 0.000000e+00 | -- | Inf
3.29/3.37 o 92548
3.29/3.37 c y 3.3s| 60 | 59 | 2237 | 31.8 | 16M| 22 | - |3853 |4425 | 0 | 0 | 158 | 0 | 552 | 0.000000e+00 | 9.254800e+04 | Inf
19.99/20.03 c 20.0s| 10000 | 10001 | 15442 | 1.5 | 39M| 251 | 0 |3853 |4425 |3853 | 936 |2842 | 0 |1325 | 0.000000e+00 | 9.254800e+04 | Inf
22.10/22.11 o 462
22.10/22.11 c *22.1s| 11780 | 10661 | 16171 | 1.3 | 40M|1160 | - |3853 |4425 |3853 | 928 |2958 | 0 |1338 | 0.000000e+00 | 4.620000e+02 | Inf
31.19/31.28 c 31.3s| 20000 | 18865 | 17081 | 0.8 | 54M|1187 | 0 |3853 |4442 |3853 | 920 |3153 | 17 |1367 | 0.000000e+00 | 4.620000e+02 | Inf
34.10/34.13 o 244
34.10/34.13 c *34.1s| 22570 | 17161 | 17483 | 0.8 | 52M|1192 | - |3853 |4462 |3853 | 932 |3248 | 37 |1379 | 0.000000e+00 | 2.440000e+02 | Inf
35.49/35.58 o 227
35.49/35.58 c *35.6s| 23391 | 16866 | 18765 | 0.8 | 52M|1192 | - |3853 |4618 |3853 | 938 |3537 | 193 |1397 | 0.000000e+00 | 2.270000e+02 | Inf
35.69/35.73 o 222
35.69/35.73 c *35.7s| 23453 | 16572 | 18925 | 0.8 | 52M|1192 | - |3853 |4657 |3853 | 928 |3603 | 232 |1400 | 0.000000e+00 | 2.220000e+02 | Inf
39.60/39.67 o 220
39.60/39.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.60/39.67 c *39.6s| 25091 | 17461 | 25702 | 1.0 | 57M|1192 | - |3853 |5583 |3853 | 908 |4642 |1275 |1512 | 0.000000e+00 | 2.200000e+02 | Inf
41.09/41.16 o 198
41.09/41.16 c *41.1s| 25808 | 16485 | 27273 | 1.0 | 56M|1192 | - |3853 |5842 |3853 | 936 |4937 |1574 |1545 | 0.000000e+00 | 1.980000e+02 | Inf
42.09/42.19 o 189
42.09/42.19 c *42.2s| 26248 | 16111 | 28673 | 1.1 | 57M|1192 | - |3853 |6036 |3853 | 908 |5144 |1820 |1555 | 0.000000e+00 | 1.890000e+02 | Inf
42.19/42.22 o 186
42.19/42.22 c *42.2s| 26263 | 15915 | 28708 | 1.1 | 56M|1192 | - |3853 |6039 |3853 | 913 |5149 |1823 |1556 | 0.000000e+00 | 1.860000e+02 | Inf
42.19/42.22 o 184
42.19/42.22 c *42.2s| 26264 | 15779 | 28708 | 1.1 | 56M|1192 | - |3853 |6039 |3853 | 913 |5149 |1823 |1556 | 0.000000e+00 | 1.840000e+02 | Inf
43.80/43.85 o 167
43.80/43.85 c *43.8s| 26911 | 14615 | 31996 | 1.2 | 55M|1192 | - |3853 |6423 |3853 | 935 |5607 |2303 |1584 | 0.000000e+00 | 1.670000e+02 | Inf
44.00/44.05 o 163
44.00/44.05 c *44.0s| 26977 | 14246 | 32260 | 1.2 | 55M|1192 | - |3853 |6494 |3853 | 910 |5651 |2380 |1586 | 0.000000e+00 | 1.630000e+02 | Inf
44.79/44.82 o 162
44.79/44.82 c *44.8s| 27295 | 14329 | 33509 | 1.2 | 56M|1192 | - |3853 |6682 |3853 | 922 |5950 |2607 |1590 | 0.000000e+00 | 1.620000e+02 | Inf
44.79/44.83 o 161
44.79/44.83 c *44.8s| 27296 | 14231 | 33514 | 1.2 | 56M|1192 | - |3853 |6682 |3853 | 922 |5950 |2607 |1590 | 0.000000e+00 | 1.610000e+02 | Inf
49.29/49.30 o 159
49.29/49.30 c *49.3s| 29273 | 15210 | 41110 | 1.4 | 61M|1192 | - |3853 |7422 |3853 | 914 |7109 |3793 |1627 | 0.000000e+00 | 1.590000e+02 | Inf
49.29/49.36 o 133
49.29/49.36 c *49.3s| 29288 | 12866 | 41467 | 1.4 | 54M|1192 | - |3853 |7422 |3853 | 937 |7165 |3797 |1627 | 0.000000e+00 | 1.330000e+02 | Inf
50.09/50.14 o 131
50.09/50.14 c *50.1s| 29543 | 12840 | 44051 | 1.5 | 55M|1192 | - |3853 |7482 |3853 | 964 |7647 |3941 |1632 | 0.000000e+00 | 1.310000e+02 | Inf
50.19/50.20 o 130
50.19/50.20 c *50.2s| 29555 | 12760 | 44202 | 1.5 | 54M|1192 | - |3853 |7478 |3853 | 954 |7662 |3946 |1633 | 0.000000e+00 | 1.300000e+02 | Inf
50.19/50.21 o 118
50.19/50.21 c *50.2s| 29557 | 11914 | 44227 | 1.5 | 52M|1192 | - |3853 |7478 |3853 | 958 |7666 |3946 |1633 | 0.000000e+00 | 1.180000e+02 | Inf
50.60/50.62 o 117
50.60/50.62 c *50.6s| 29678 | 11924 | 45839 | 1.5 | 52M|1192 | - |3853 |7499 |3853 | 933 |8004 |4004 |1643 | 0.000000e+00 | 1.170000e+02 | Inf
50.90/50.97 o 107
50.90/50.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.90/50.97 c *50.9s| 29802 | 11215 | 46929 | 1.6 | 51M|1192 | - |3853 |7521 |3853 | 935 |8194 |4064 |1648 | 0.000000e+00 | 1.070000e+02 | Inf
51.49/51.52 c 51.5s| 30000 | 11307 | 48111 | 1.6 | 52M|1192 | 33 |3853 |7548 |3853 | 982 |8376 |4193 |1660 | 0.000000e+00 | 1.070000e+02 | Inf
51.49/51.57 o 92
51.49/51.57 c *51.5s| 30009 | 9592 | 48176 | 1.6 | 48M|1192 | - |3853 |7548 |3853 | 988 |8382 |4193 |1661 | 0.000000e+00 | 9.200000e+01 | Inf
52.19/52.23 o 91
52.19/52.23 c *52.2s| 30222 | 9496 | 49823 | 1.6 | 48M|1192 | - |3853 |7352 |3853 | 944 |8631 |4364 |1665 | 0.000000e+00 | 9.100000e+01 | Inf
52.19/52.26 o 89
52.19/52.26 c *52.2s| 30229 | 9298 | 49863 | 1.6 | 48M|1192 | - |3853 |7314 |3853 | 944 |8631 |4367 |1665 | 0.000000e+00 | 8.900000e+01 | Inf
52.39/52.48 o 86
52.39/52.48 c *52.5s| 30301 | 9033 | 50467 | 1.7 | 47M|1192 | - |3853 |7283 |3853 | 976 |8696 |4426 |1670 | 0.000000e+00 | 8.600000e+01 | Inf
53.10/53.12 o 66
53.10/53.12 c *53.1s| 30521 | 6838 | 51925 | 1.7 | 42M|1192 | - |3853 |7321 |3853 | 957 |8973 |4654 |1674 | 0.000000e+00 | 6.600000e+01 | Inf
53.39/53.43 o 65
53.39/53.43 c *53.4s| 30611 | 6770 | 53255 | 1.7 | 42M|1192 | - |3853 |6862 |3853 | 948 |9102 |4731 |1678 | 0.000000e+00 | 6.500000e+01 | Inf
53.79/53.88 o 61
53.79/53.88 c *53.9s| 30741 | 6408 | 55301 | 1.8 | 42M|1192 | - |3853 |6644 |3853 | 926 |9304 |4839 |1686 | 0.000000e+00 | 6.100000e+01 | Inf
54.29/54.34 o 60
54.29/54.34 c *54.3s| 30876 | 6397 | 57213 | 1.8 | 42M|1192 | - |3853 |6590 |3853 | 923 |9597 |4962 |1688 | 0.000000e+00 | 6.000000e+01 | Inf
54.39/54.44 o 53
54.39/54.44 c *54.4s| 30909 | 5736 | 57548 | 1.9 | 40M|1192 | - |3853 |6545 |3853 | 907 |9635 |4980 |1688 | 0.000000e+00 | 5.300000e+01 | Inf
55.09/55.15 o 50
55.09/55.15 c *55.1s| 31285 | 5735 | 59997 | 1.9 | 41M|1192 | - |3853 |6395 |3853 | 922 |9888 |5113 |1689 | 0.000000e+00 | 5.000000e+01 | Inf
55.09/55.18 o 42
55.09/55.18 c *55.2s| 31294 | 5005 | 60048 | 1.9 | 39M|1192 | - |3853 |6299 |3853 | 923 |9889 |5125 |1689 | 0.000000e+00 | 4.200000e+01 | Inf
55.29/55.33 o 40
55.29/55.33 c *55.3s| 31346 | 4889 | 60699 | 1.9 | 39M|1192 | - |3853 |6122 |3853 | 917 |9987 |5146 |1690 | 0.000000e+00 | 4.000000e+01 | Inf
55.29/55.37 o 20
55.29/55.37 c *55.3s| 31364 | 3106 | 60811 | 1.9 | 34M|1192 | - |3853 |6011 |3853 | 930 | 10k|5158 |1690 | 0.000000e+00 | 2.000000e+01 | Inf
55.39/55.46 o 9
55.39/55.46 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.46 c *55.4s| 31384 | 1193 | 61400 | 1.9 | 29M|1192 | - |3853 |5532 |3853 | 904 | 10k|5172 |1690 | 0.000000e+00 | 9.000000e+00 | Inf
65.00/65.08 o 8
65.00/65.08 c *65.1s| 37541 | 1332 |100046 | 2.7 | 31M|1192 | - |3853 |7196 |3853 | 914 | 11k| 12k|1723 | 0.000000e+00 | 8.000000e+00 | Inf
68.89/68.92 c 68.9s| 40000 | 1356 |115520 | 2.9 | 32M|1192 | 21 |3853 |7338 |3853 | 898 | 12k| 15k|1724 | 0.000000e+00 | 8.000000e+00 | Inf
84.30/84.38 c 84.4s| 50000 | 1528 |176627 | 3.5 | 35M|1192 | - |3853 |8798 | 0 | 0 | 15k| 28k|1724 | 0.000000e+00 | 8.000000e+00 | Inf
92.09/92.15 o 7
92.09/92.15 c *92.1s| 55001 | 1429 |205802 | 3.7 | 34M|1192 | - |3853 |8520 |3853 | 888 | 16k| 35k|1743 | 0.000000e+00 | 7.000000e+00 | Inf
99.79/99.88 c 99.9s| 60000 | 1412 |234076 | 3.9 | 34M|1192 | 1 |3853 |6677 |3853 | 922 | 17k| 41k|1808 | 0.000000e+00 | 7.000000e+00 | Inf
111.19/111.22 o 6
111.19/111.22 c * 111s| 67728 | 1342 |275249 | 4.1 | 35M|1192 | - |3853 |7834 |3853 | 902 | 19k| 51k|1913 | 0.000000e+00 | 6.000000e+00 | Inf
114.49/114.53 c 115s| 70000 | 1339 |285916 | 4.1 | 35M|1192 | 1 |3853 |7622 |3853 | 914 | 20k| 54k|1936 | 0.000000e+00 | 6.000000e+00 | Inf
130.10/130.13 c 130s| 80000 | 1411 |350842 | 4.4 | 36M|1192 | - |3853 |7341 | 0 | 0 | 23k| 67k|2126 | 0.000000e+00 | 6.000000e+00 | Inf
145.20/145.27 c 145s| 90000 | 1467 |407683 | 4.5 | 38M|1192 | 1 |3853 |9261 |3853 | 904 | 26k| 80k|2318 | 0.000000e+00 | 6.000000e+00 | Inf
160.89/160.95 c 161s|100000 | 1514 |463766 | 4.6 | 39M|1192 | 19 |3853 |8655 |3853 | 881 | 29k| 94k|2477 | 0.000000e+00 | 6.000000e+00 | Inf
176.00/176.07 c 176s|110000 | 1533 |518341 | 4.7 | 40M|1192 | - |3853 | 10k| 0 | 0 | 32k| 107k|2637 | 0.000000e+00 | 6.000000e+00 | Inf
191.80/191.87 c 192s|120000 | 1559 |576292 | 4.8 | 41M|1192 | 8 |3853 | 10k|3853 | 912 | 34k| 120k|2805 | 0.000000e+00 | 6.000000e+00 | Inf
207.00/207.05 c 207s|130000 | 1633 |627443 | 4.8 | 42M|1192 | 8 |3853 | 11k|3853 | 881 | 37k| 134k|2909 | 0.000000e+00 | 6.000000e+00 | Inf
222.11/222.17 c 222s|140000 | 1754 |674544 | 4.8 | 44M|1192 | - |3853 | 12k| 0 | 0 | 39k| 147k|3042 | 0.000000e+00 | 6.000000e+00 | Inf
237.90/237.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.90/237.90 c 238s|150000 | 1735 |725215 | 4.8 | 43M|1192 | 1 |3853 | 10k|3853 | 914 | 42k| 161k|3138 | 0.000000e+00 | 6.000000e+00 | Inf
253.60/253.60 c 254s|160000 | 1774 |778136 | 4.9 | 44M|1192 | - |3853 | 11k|3853 | 909 | 45k| 175k|3269 | 0.000000e+00 | 6.000000e+00 | Inf
269.10/269.13 c 269s|170000 | 1815 |832759 | 4.9 | 44M|1192 | 12 |3853 |9152 |3853 | 935 | 47k| 187k|3397 | 0.000000e+00 | 6.000000e+00 | Inf
284.50/284.54 c 285s|180000 | 1876 |886855 | 4.9 | 45M|1192 | - |3853 |8471 | 0 | 0 | 50k| 200k|3511 | 0.000000e+00 | 6.000000e+00 | Inf
299.40/299.42 c 299s|190000 | 1920 |935172 | 4.9 | 46M|1192 | 1 |3853 |9485 |3853 | 900 | 53k| 214k|3581 | 0.000000e+00 | 6.000000e+00 | Inf
314.51/314.59 c 315s|200000 | 2083 |985798 | 4.9 | 47M|1192 | 1 |3853 |9160 |3853 | 914 | 56k| 228k|3716 | 0.000000e+00 | 6.000000e+00 | Inf
330.30/330.34 c 330s|210000 | 2255 | 1034k| 4.9 | 50M|1192 | - |3853 | 11k| 0 | 0 | 58k| 241k|3791 | 0.000000e+00 | 6.000000e+00 | Inf
346.00/346.01 c 346s|220000 | 2303 | 1080k| 4.9 | 51M|1192 | - |3853 | 12k| 0 | 0 | 60k| 255k|3855 | 0.000000e+00 | 6.000000e+00 | Inf
362.20/362.21 c 362s|230000 | 2321 | 1126k| 4.9 | 52M|1192 | 7 |3853 | 13k|3853 | 919 | 63k| 269k|3956 | 0.000000e+00 | 6.000000e+00 | Inf
378.90/378.93 c 379s|240000 | 2282 | 1177k| 4.9 | 51M|1192 | - |3853 | 10k| 0 | 0 | 66k| 283k|4062 | 0.000000e+00 | 6.000000e+00 | Inf
395.30/395.38 c 395s|250000 | 2420 | 1230k| 4.9 | 53M|1192 | 11 |3853 | 12k|3853 | 927 | 68k| 296k|4124 | 0.000000e+00 | 6.000000e+00 | Inf
411.80/411.87 c 412s|260000 | 2316 | 1282k| 4.9 | 52M|1192 | 7 |3853 | 10k|3853 | 893 | 71k| 310k|4236 | 0.000000e+00 | 6.000000e+00 | Inf
428.31/428.31 c 428s|270000 | 2328 | 1336k| 4.9 | 53M|1192 | 15 |3853 | 12k|3853 | 897 | 74k| 325k|4345 | 0.000000e+00 | 6.000000e+00 | Inf
445.20/445.20 c 445s|280000 | 2339 | 1391k| 5.0 | 53M|1192 | - |3853 | 13k| 0 | 0 | 76k| 339k|4437 | 0.000000e+00 | 6.000000e+00 | Inf
455.31/455.39 o 5
455.31/455.39 c * 455s|286201 | 2052 | 1421k| 5.0 | 49M|1192 | - |3853 | 12k|3853 | 931 | 78k| 348k|4486 | 0.000000e+00 | 5.000000e+00 | Inf
461.50/461.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.50/461.52 c 461s|290000 | 2056 | 1442k| 5.0 | 48M|1192 | - |3853 | 10k| 0 | 0 | 79k| 354k|4533 | 0.000000e+00 | 5.000000e+00 | Inf
477.10/477.17 c 477s|300000 | 2053 | 1496k| 5.0 | 48M|1192 | 12 |3853 | 10k|3853 | 911 | 82k| 368k|4633 | 0.000000e+00 | 5.000000e+00 | Inf
493.11/493.14 c 493s|310000 | 2038 | 1549k| 5.0 | 49M|1192 | 1 |3853 | 11k|3853 | 920 | 84k| 381k|4712 | 0.000000e+00 | 5.000000e+00 | Inf
509.61/509.65 c 510s|320000 | 2054 | 1606k| 5.0 | 50M|1192 | - |3853 | 11k| 0 | 0 | 87k| 395k|4790 | 0.000000e+00 | 5.000000e+00 | Inf
526.10/526.18 c 526s|330000 | 2090 | 1662k| 5.0 | 51M|1192 | 1 |3853 | 13k|3853 | 881 | 90k| 408k|4864 | 0.000000e+00 | 5.000000e+00 | Inf
542.90/542.91 c 543s|340000 | 2177 | 1710k| 5.0 | 52M|1192 | 14 |3853 | 14k|3853 | 895 | 93k| 421k|4932 | 0.000000e+00 | 5.000000e+00 | Inf
560.01/560.01 c 560s|350000 | 2229 | 1760k| 5.0 | 53M|1192 | - |3853 | 15k|3853 | 893 | 96k| 433k|5008 | 0.000000e+00 | 5.000000e+00 | Inf
577.11/577.16 c 577s|360000 | 2286 | 1806k| 5.0 | 54M|1192 | - |3853 | 15k|3853 | 917 | 98k| 446k|5072 | 0.000000e+00 | 5.000000e+00 | Inf
594.90/594.91 c 595s|370000 | 2349 | 1858k| 5.0 | 55M|1192 | - |3853 | 16k| 0 | 0 | 101k| 460k|5144 | 0.000000e+00 | 5.000000e+00 | Inf
612.31/612.33 c 612s|380000 | 2336 | 1903k| 5.0 | 55M|1192 | 18 |3853 | 17k|3853 | 903 | 104k| 474k|5217 | 0.000000e+00 | 5.000000e+00 | Inf
630.22/630.24 c 630s|390000 | 2347 | 1952k| 5.0 | 56M|1192 | 1 |3853 | 20k|3853 | 904 | 106k| 487k|5285 | 0.000000e+00 | 5.000000e+00 | Inf
648.91/648.92 c 649s|400000 | 2342 | 2003k| 5.0 | 56M|1192 | - |3853 | 18k| 0 | 0 | 109k| 501k|5363 | 0.000000e+00 | 5.000000e+00 | Inf
667.62/667.68 c 668s|410000 | 2338 | 2059k| 5.0 | 57M|1192 | 24 |3853 | 19k|3853 | 924 | 112k| 514k|5443 | 0.000000e+00 | 5.000000e+00 | Inf
686.42/686.50 c 686s|420000 | 2359 | 2113k| 5.0 | 57M|1192 | - |3853 | 19k| 0 | 0 | 115k| 528k|5523 | 0.000000e+00 | 5.000000e+00 | Inf
705.02/705.04 c 705s|430000 | 2358 | 2161k| 5.0 | 58M|1192 | - |3853 | 21k| 0 | 0 | 118k| 542k|5596 | 0.000000e+00 | 5.000000e+00 | Inf
725.21/725.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
725.21/725.21 c 725s|440000 | 2379 | 2223k| 5.1 | 57M|1192 | - |3853 | 18k| 0 | 0 | 121k| 556k|5688 | 0.000000e+00 | 5.000000e+00 | Inf
743.31/743.37 c 743s|450000 | 2433 | 2274k| 5.1 | 58M|1192 | - |3853 | 20k| 0 | 0 | 123k| 570k|5748 | 0.000000e+00 | 5.000000e+00 | Inf
749.61/749.68 o 3
749.61/749.68 c * 750s|453656 | 1943 | 2292k| 5.1 | 53M|1192 | - |3853 | 20k|3853 | 934 | 124k| 575k|5758 | 0.000000e+00 | 3.000000e+00 | Inf
761.01/761.04 c 761s|460000 | 1945 | 2324k| 5.1 | 52M|1192 | 9 |3853 | 17k|3853 | 906 | 126k| 584k|5806 | 0.000000e+00 | 3.000000e+00 | Inf
780.11/780.11 c 780s|470000 | 2079 | 2385k| 5.1 | 54M|1192 | - |3853 | 19k| 0 | 0 | 130k| 598k|5879 | 0.000000e+00 | 3.000000e+00 | Inf
799.72/799.79 c 800s|480000 | 2154 | 2446k| 5.1 | 55M|1192 | 23 |3853 | 20k|3853 | 921 | 133k| 612k|5956 | 0.000000e+00 | 3.000000e+00 | Inf
818.42/818.45 c 818s|490000 | 2239 | 2500k| 5.1 | 56M|1192 | - |3853 | 20k| 0 | 0 | 136k| 626k|6012 | 0.000000e+00 | 3.000000e+00 | Inf
836.82/836.87 c 837s|500000 | 2269 | 2547k| 5.1 | 56M|1192 | - |3853 | 19k| 0 | 0 | 138k| 641k|6055 | 0.000000e+00 | 3.000000e+00 | Inf
856.01/856.03 c 856s|510000 | 2228 | 2603k| 5.1 | 56M|1192 | - |3853 | 19k| 0 | 0 | 141k| 655k|6110 | 0.000000e+00 | 3.000000e+00 | Inf
874.82/874.88 c 875s|520000 | 2265 | 2658k| 5.1 | 58M|1192 | 24 |3853 | 22k|3853 | 910 | 144k| 669k|6168 | 0.000000e+00 | 3.000000e+00 | Inf
894.42/894.44 c 894s|530000 | 2296 | 2709k| 5.1 | 60M|1192 | - |3853 | 26k| 0 | 0 | 147k| 683k|6218 | 0.000000e+00 | 3.000000e+00 | Inf
915.13/915.16 c 915s|540000 | 2254 | 2761k| 5.1 | 59M|1192 | 14 |3853 | 24k|3853 | 899 | 150k| 697k|6310 | 0.000000e+00 | 3.000000e+00 | Inf
936.12/936.11 c 936s|550000 | 2351 | 2821k| 5.1 | 59M|1192 | 8 |3853 | 23k|3853 | 908 | 153k| 711k|6387 | 0.000000e+00 | 3.000000e+00 | Inf
957.52/957.59 c 958s|560000 | 2516 | 2883k| 5.1 | 61M|1192 | 21 |3853 | 23k|3853 | 922 | 157k| 726k|6452 | 0.000000e+00 | 3.000000e+00 | Inf
978.82/978.85 c 979s|570000 | 2446 | 2947k| 5.2 | 60M|1192 | 1 |3853 | 22k|3853 | 937 | 160k| 741k|6529 | 0.000000e+00 | 3.000000e+00 | Inf
998.92/998.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.92/998.96 c 999s|580000 | 2418 | 3007k| 5.2 | 61M|1192 | 14 |3853 | 23k|3853 | 944 | 164k| 756k|6596 | 0.000000e+00 | 3.000000e+00 | Inf
1019.32/1019.31 c 1019s|590000 | 2434 | 3069k| 5.2 | 60M|1192 | 1 |3853 | 19k|3853 | 912 | 167k| 771k|6666 | 0.000000e+00 | 3.000000e+00 | Inf
1038.43/1038.46 c 1038s|600000 | 2463 | 3123k| 5.2 | 62M|1192 | 1 |3853 | 23k|3853 | 930 | 170k| 785k|6710 | 0.000000e+00 | 3.000000e+00 | Inf
1058.63/1058.61 c 1059s|610000 | 2471 | 3182k| 5.2 | 62M|1192 | 21 |3853 | 23k|3853 | 926 | 174k| 799k|6761 | 0.000000e+00 | 3.000000e+00 | Inf
1080.23/1080.28 c 1080s|620000 | 2437 | 3241k| 5.2 | 62M|1192 | - |3853 | 23k| 0 | 0 | 177k| 813k|6835 | 0.000000e+00 | 3.000000e+00 | Inf
1101.23/1101.28 c 1101s|630000 | 2478 | 3299k| 5.2 | 63M|1192 | 1 |3853 | 24k|3853 | 913 | 180k| 827k|6914 | 0.000000e+00 | 3.000000e+00 | Inf
1121.73/1121.75 c 1122s|640000 | 2478 | 3361k| 5.3 | 62M|1192 | - |3853 | 22k|3853 | 923 | 183k| 841k|6978 | 0.000000e+00 | 3.000000e+00 | Inf
1131.52/1131.51 o 1
1131.52/1131.51 c *1131s|644856 | 1790 | 3391k| 5.3 | 53M|1192 | - |3853 | 22k|3853 | 931 | 184k| 848k|7012 | 0.000000e+00 | 1.000000e+00 | Inf
1141.53/1141.56 c 1142s|650000 | 1762 | 3423k| 5.3 | 52M|1192 | 8 |3853 | 17k|3853 | 906 | 185k| 855k|7059 | 0.000000e+00 | 1.000000e+00 | Inf
1158.93/1158.92 c 1159s|660000 | 1655 | 3484k| 5.3 | 50M|1192 | - |3853 | 15k| 0 | 0 | 188k| 870k|7127 | 0.000000e+00 | 1.000000e+00 | Inf
1175.23/1175.27 c 1175s|670000 | 1589 | 3545k| 5.3 | 49M|1192 | - |3853 | 14k| 0 | 0 | 191k| 884k|7172 | 0.000000e+00 | 1.000000e+00 | Inf
1192.44/1192.45 c 1192s|680000 | 1551 | 3607k| 5.3 | 49M|1192 | - |3853 | 15k| 0 | 0 | 193k| 898k|7222 | 0.000000e+00 | 1.000000e+00 | Inf
1210.82/1210.85 c 1211s|690000 | 1574 | 3664k| 5.3 | 50M|1192 | 1 |3853 | 17k|3853 | 929 | 196k| 912k|7278 | 0.000000e+00 | 1.000000e+00 | Inf
1230.63/1230.61 c 1231s|700000 | 1487 | 3734k| 5.3 | 49M|1192 | - |3853 | 16k| 0 | 0 | 199k| 925k|7352 | 0.000000e+00 | 1.000000e+00 | Inf
1248.44/1248.41 c 1248s|710000 | 1486 | 3790k| 5.3 | 50M|1192 | 23 |3853 | 19k|3853 | 905 | 202k| 939k|7419 | 0.000000e+00 | 1.000000e+00 | Inf
1267.63/1267.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.63/1267.65 c 1268s|720000 | 1552 | 3853k| 5.4 | 51M|1192 | - |3853 | 20k| 0 | 0 | 205k| 953k|7487 | 0.000000e+00 | 1.000000e+00 | Inf
1287.04/1287.01 c 1287s|730000 | 1613 | 3914k| 5.4 | 52M|1192 | - |3853 | 22k| 0 | 0 | 208k| 967k|7548 | 0.000000e+00 | 1.000000e+00 | Inf
1307.33/1307.33 c 1307s|740000 | 1637 | 3974k| 5.4 | 54M|1192 | 9 |3853 | 28k|3853 | 922 | 211k| 981k|7588 | 0.000000e+00 | 1.000000e+00 | Inf
1330.13/1330.16 c 1330s|750000 | 1615 | 4037k| 5.4 | 53M|1192 | - |3853 | 24k| 0 | 0 | 214k| 995k|7634 | 0.000000e+00 | 1.000000e+00 | Inf
1350.73/1350.80 c 1351s|760000 | 1581 | 4098k| 5.4 | 53M|1192 | - |3853 | 23k| 0 | 0 | 217k|1010k|7684 | 0.000000e+00 | 1.000000e+00 | Inf
1370.13/1370.14 c 1370s|770000 | 1588 | 4153k| 5.4 | 53M|1192 | - |3853 | 24k| 0 | 0 | 220k|1025k|7735 | 0.000000e+00 | 1.000000e+00 | Inf
1390.73/1390.73 c 1391s|780000 | 1620 | 4212k| 5.4 | 54M|1192 | - |3853 | 27k| 0 | 0 | 222k|1039k|7793 | 0.000000e+00 | 1.000000e+00 | Inf
1412.53/1412.54 c 1413s|790000 | 1556 | 4276k| 5.4 | 54M|1192 | 17 |3853 | 26k|3853 | 910 | 224k|1053k|7856 | 0.000000e+00 | 1.000000e+00 | Inf
1433.43/1433.42 c 1433s|800000 | 1548 | 4335k| 5.4 | 55M|1192 | 19 |3853 | 28k|3853 | 930 | 227k|1068k|7888 | 0.000000e+00 | 1.000000e+00 | Inf
1455.63/1455.66 c 1456s|810000 | 1550 | 4401k| 5.4 | 55M|1192 | 26 |3853 | 29k|3853 | 934 | 230k|1082k|7937 | 0.000000e+00 | 1.000000e+00 | Inf
1478.23/1478.20 c 1478s|820000 | 1584 | 4462k| 5.4 | 56M|1192 | - |3853 | 31k| 0 | 0 | 233k|1098k|7994 | 0.000000e+00 | 1.000000e+00 | Inf
1501.44/1501.47 c 1501s|830000 | 1559 | 4522k| 5.4 | 57M|1192 | 13 |3853 | 33k|3853 | 906 | 235k|1113k|8055 | 0.000000e+00 | 1.000000e+00 | Inf
1524.83/1524.87 c 1525s|840000 | 1555 | 4583k| 5.5 | 58M|1192 | 21 |3853 | 35k|3853 | 915 | 238k|1127k|8113 | 0.000000e+00 | 1.000000e+00 | Inf
1549.84/1549.88 c 1550s|850000 | 1523 | 4652k| 5.5 | 57M|1192 | - |3853 | 35k| 0 | 0 | 241k|1143k|8168 | 0.000000e+00 | 1.000000e+00 | Inf
1573.73/1573.79 c 1574s|860000 | 1498 | 4716k| 5.5 | 55M|1192 | - |3853 | 28k| 0 | 0 | 244k|1157k|8207 | 0.000000e+00 | 1.000000e+00 | Inf
1594.94/1594.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.94/1594.95 c 1595s|870000 | 1426 | 4777k| 5.5 | 51M|1192 | 20 |3853 | 18k|3853 | 908 | 247k|1171k|8346 | 0.000000e+00 | 1.000000e+00 | Inf
1613.34/1613.39 c 1613s|880000 | 1472 | 4833k| 5.5 | 52M|1192 | 1 |3853 | 21k|3853 | 904 | 250k|1185k|8359 | 0.000000e+00 | 1.000000e+00 | Inf
1632.64/1632.69 c 1633s|890000 | 1452 | 4885k| 5.5 | 52M|1192 | 21 |3853 | 23k|3853 | 922 | 253k|1199k|8412 | 0.000000e+00 | 1.000000e+00 | Inf
1652.84/1652.88 c 1653s|900000 | 1435 | 4936k| 5.5 | 54M|1192 | - |3853 | 27k| 0 | 0 | 255k|1213k|8443 | 0.000000e+00 | 1.000000e+00 | Inf
1674.44/1674.46 c 1674s|910000 | 1433 | 4989k| 5.5 | 55M|1192 | 1 |3853 | 29k|3853 | 935 | 258k|1227k|8467 | 0.000000e+00 | 1.000000e+00 | Inf
1696.64/1696.69 c 1697s|920000 | 1433 | 5042k| 5.5 | 55M|1192 | 26 |3853 | 30k|3853 | 942 | 261k|1242k|8520 | 0.000000e+00 | 1.000000e+00 | Inf
1718.15/1718.14 c 1718s|930000 | 1364 | 5097k| 5.5 | 52M|1192 | 11 |3853 | 24k|3853 | 891 | 264k|1255k|8572 | 0.000000e+00 | 1.000000e+00 | Inf
1739.25/1739.26 c 1739s|940000 | 1391 | 5161k| 5.5 | 53M|1192 | - |3853 | 26k| 0 | 0 | 267k|1268k|8606 | 0.000000e+00 | 1.000000e+00 | Inf
1761.35/1761.38 c 1761s|950000 | 1374 | 5224k| 5.5 | 54M|1192 | - |3853 | 28k| 0 | 0 | 270k|1282k|8660 | 0.000000e+00 | 1.000000e+00 | Inf
1783.05/1783.09 c 1783s|960000 | 1379 | 5280k| 5.5 | 54M|1192 | 12 |3853 | 27k|3853 | 888 | 273k|1296k|8731 | 0.000000e+00 | 1.000000e+00 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 963014
1790.04/1790.01 c Primal Bound : +1.00000000000000e+00 (145 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.04 s SATISFIABLE
1790.04/1790.04 v -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 -x213 -x212 -x211 -x210
1790.04/1790.04 v -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.04/1790.04 v -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.04/1790.04 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.04/1790.04 v -x146 x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125
1790.04/1790.04 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.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
1790.04/1790.04 v -x1
1790.04/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.04 c Solving Time : 1789.98
1790.04/1790.04 c Original Problem :
1790.04/1790.04 c Problem name : HOME/instance-2705501-1278572954.wbo
1790.04/1790.04 c Variables : 3967 (2099 binary, 0 integer, 1868 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4576 initial, 4576 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705501-1278572954.wbo
1790.04/1790.04 c Variables : 3853 (2042 binary, 0 integer, 1811 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4425 initial, 38258 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 57 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 57 0 0 0 0 0 0 0
1790.04/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.04 c setppc : 0.00 0 0 0 0 0 9 0 0
1790.04/1790.04 c linear : 0.05 0 0 0 1876 0 85 67 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 57 0 0
1790.04/1790.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c root node : - 3622 - - 3622 - - - -
1790.04/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c integral : 0 0 0 568686 0 73 825 0 0 1008688
1790.04/1790.04 c setppc : 55 6 5146623 63004 1 10010 824558 0 0 0
1790.04/1790.04 c linear : 1811 6 5144546 63387 1 274819 23181261 273952 0 0
1790.04/1790.04 c indicator : 1811 0 3216193 51792 0 202 1048622 0 0 0
1790.04/1790.04 c logicor : 748+ 6 1739780 26614 1 178453 4047989 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 437556 0 0 309 3488 0 0 0
1790.04/1790.04 c countsols : 0 0 0 26614 1 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 20.23 0.00 0.00 20.23 0.00
1790.04/1790.04 c setppc : 7.64 0.00 7.60 0.05 0.00
1790.04/1790.04 c linear : 167.33 0.00 163.67 3.66 0.00
1790.04/1790.04 c indicator : 15.62 0.01 12.26 3.35 0.00
1790.04/1790.04 c logicor : 281.67 0.00 281.37 0.30 0.00
1790.04/1790.04 c bounddisjunction : 1.83 0.00 1.83 0.00 0.00
1790.04/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 0.92 61749 0 4342
1790.04/1790.04 c rootredcost : 0.73 41 0 1811
1790.04/1790.04 c pseudoobj : 130.67 5158476 3663 891411
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 23.07 467254 466927 2861123 29.0 13407 25.3 -
1790.04/1790.04 c infeasible LP : 8.28 32210 32210 261614 43.7 332 18.6 0
1790.04/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c pseudo solution : 0.00 2 2 9 12.1 0 0.0 -
1790.04/1790.04 c applied globally : - - - 1300644 23.4 - - -
1790.04/1790.04 c applied locally : - - - 0 0.0 - - -
1790.04/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.04 c cut pool : 0.00 5 - - 22 - (maximal pool size: 396)
1790.04/1790.04 c redcost : 36.98 573886 0 135218 0 0
1790.04/1790.04 c impliedbounds : 0.00 6 0 0 0 0
1790.04/1790.04 c intobj : 0.00 0 0 0 0 0
1790.04/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.04 c gomory : 0.10 6 0 0 1153 0
1790.04/1790.04 c strongcg : 0.10 6 0 0 1805 0
1790.04/1790.04 c cmir : 0.03 6 0 0 0 0
1790.04/1790.04 c flowcover : 0.05 6 0 0 0 0
1790.04/1790.04 c clique : 0.00 6 0 0 0 0
1790.04/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.04 c mcf : 0.00 1 0 0 0 0
1790.04/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.04 c Pricers : Time Calls Vars
1790.04/1790.04 c problem variables: 0.00 0 0
1790.04/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c relpscost : 19.77 505066 73 825 0 0 1008688
1790.04/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.04 c inference : 6.09 26575 0 0 0 0 53373
1790.04/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c random : 0.00 0 0 0 0 0 0
1790.04/1790.04 c Primal Heuristics : Time Calls Found
1790.04/1790.04 c LP solutions : 0.06 - 40
1790.04/1790.04 c pseudo solutions : 0.00 - 0
1790.04/1790.04 c intshifting : 0.01 0 0
1790.04/1790.04 c feaspump : 0.02 1 0
1790.04/1790.04 c oneopt : 0.43 39 0
1790.04/1790.04 c crossover : 1.43 40 0
1790.04/1790.04 c coefdiving : 0.24 192 0
1790.04/1790.04 c pscostdiving : 0.25 192 0
1790.04/1790.04 c fracdiving : 0.24 192 0
1790.04/1790.04 c veclendiving : 0.25 192 0
1790.04/1790.04 c linesearchdiving : 0.25 192 0
1790.04/1790.04 c guideddiving : 0.30 192 0
1790.04/1790.04 c objpscostdiving : 0.26 176 0
1790.04/1790.04 c rootsoldiving : 0.30 176 0
1790.04/1790.04 c trivial : 0.00 2 0
1790.04/1790.04 c simplerounding : 0.89 506715 0
1790.04/1790.04 c zirounding : 0.29 1000 0
1790.04/1790.04 c rounding : 1.08 10045 0
1790.04/1790.04 c shifting : 0.69 3074 0
1790.04/1790.04 c twoopt : 0.00 0 0
1790.04/1790.04 c fixandinfer : 0.00 0 0
1790.04/1790.04 c intdiving : 0.00 0 0
1790.04/1790.04 c actconsdiving : 0.00 0 0
1790.04/1790.04 c octane : 0.00 0 0
1790.04/1790.04 c rens : 0.03 1 0
1790.04/1790.04 c rins : 0.00 0 0
1790.04/1790.04 c localbranching : 0.00 0 0
1790.04/1790.04 c mutation : 0.00 0 0
1790.04/1790.04 c dins : 0.00 0 0
1790.04/1790.04 c undercover : 0.00 0 0
1790.04/1790.04 c nlp : 0.15 0 0
1790.04/1790.04 c trysol : 0.33 303 105
1790.04/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.04 c dual LP : 595.90 575774 5291775 9.19 8880.31
1790.04/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.04 c diving/probing LP: 0.31 184 2634 14.32 8454.15
1790.04/1790.04 c strong branching : 15.71 8734 166530 19.07 10603.43
1790.04/1790.04 c (at root node) : - 17 4251 250.06 -
1790.04/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.04 c B&B Tree :
1790.04/1790.04 c number of runs : 1
1790.04/1790.04 c nodes : 963014
1790.04/1790.04 c nodes (total) : 963014
1790.04/1790.04 c nodes left : 1390
1790.04/1790.04 c max depth : 1192
1790.04/1790.04 c max depth (total): 1192
1790.04/1790.04 c backtracks : 86438 (9.0%)
1790.04/1790.04 c delayed cutoffs : 69321
1790.04/1790.04 c repropagations : 2639076 (4786155 domain reductions, 67394 cutoffs)
1790.04/1790.04 c avg switch length: 6.90
1790.04/1790.04 c switching time : 270.28
1790.04/1790.04 c Solution :
1790.04/1790.04 c Solutions found : 145 (41 improvements)
1790.04/1790.04 c First Solution : +9.25480000000000e+04 (in run 1, after 59 nodes, 3.34 seconds, depth 23, found by <trysol>)
1790.04/1790.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 644856 nodes, 1131.47 seconds, depth 48, found by <relaxation>)
1790.04/1790.04 c Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Gap : infinite
1790.04/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Root Iterations : 360
1790.14/1790.12 c Time complete: 1790.17.