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-2693465-1277905624.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 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, 2001 impls, 5 clqs
0.06/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.13
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 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.18 c 0.1s| 1 | 0 | 6 | - | 14M| 0 | 0 |3825 |4418 |3825 | 824 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.1s| 1 | 0 | 54 | - | 14M| 0 | 29 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90811
0.09/0.19 c y 0.1s| 1 | 0 | 54 | - | 14M| 0 | 29 |3825 |4418 |3825 | 842 | 18 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 83 | - | 14M| 0 | 17 |3825 |4418 |3825 | 860 | 36 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 157 | - | 14M| 0 | 46 |3825 |4418 |3825 | 869 | 45 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 180 | - | 14M| 0 | 48 |3825 |4418 |3825 | 885 | 61 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 209 | - | 14M| 0 | 55 |3825 |4418 |3825 | 889 | 65 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 298 | - | 14M| 0 | 46 |3825 |4418 |3825 | 893 | 69 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.49/0.57 c 0.5s| 1 | 0 | 303 | - | 14M| 0 | 48 |3825 |4418 |3825 | 897 | 73 | 0 | 0 | 0.000000e+00 | 9.081100e+04 | Inf
0.89/0.90 c 0.8s| 1 | 2 | 303 | - | 14M| 0 | 48 |3825 |4418 |3825 | 897 | 73 | 0 | 33 | 0.000000e+00 | 9.081100e+04 | Inf
13.40/13.43 c 13.1s| 10000 | 9999 | 5868 | 0.6 | 35M|1337 | 0 |3825 |4430 |3825 | 959 |1087 | 12 | 896 | 0.000000e+00 | 9.081100e+04 | Inf
14.59/14.63 o 796
14.59/14.63 c *14.3s| 11108 | 8358 | 6328 | 0.5 | 33M|1337 | - |3825 |4430 |3825 | 953 |1176 | 12 | 920 | 0.000000e+00 | 7.960000e+02 | Inf
14.59/14.68 o 665
14.59/14.68 c *14.4s| 11154 | 7196 | 6335 | 0.5 | 31M|1337 | - |3825 |4430 |3825 | 955 |1178 | 12 | 920 | 0.000000e+00 | 6.650000e+02 | Inf
15.19/15.30 o 656
15.19/15.30 c *15.0s| 11531 | 7387 | 6874 | 0.6 | 32M|1337 | - |3825 |4470 |3825 | 928 |1283 | 52 | 948 | 0.000000e+00 | 6.560000e+02 | Inf
17.69/17.71 o 655
17.69/17.71 c *17.3s| 13123 | 8866 | 9449 | 0.7 | 37M|1337 | - |3825 |4797 |3825 | 933 |1802 | 379 |1002 | 0.000000e+00 | 6.550000e+02 | Inf
17.69/17.76 o 627
17.69/17.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.69/17.76 c *17.4s| 13173 | 7968 | 9453 | 0.7 | 36M|1337 | - |3825 |4797 |3825 | 933 |1802 | 379 |1002 | 0.000000e+00 | 6.270000e+02 | Inf
18.60/18.60 o 614
18.60/18.60 c *18.2s| 13633 | 8010 | 10149 | 0.7 | 36M|1337 | - |3825 |4883 |3825 | 914 |1897 | 467 |1087 | 0.000000e+00 | 6.140000e+02 | Inf
18.79/18.83 o 601
18.79/18.83 c *18.4s| 13763 | 7768 | 10456 | 0.7 | 35M|1337 | - |3825 |4953 |3825 | 913 |1971 | 542 |1091 | 0.000000e+00 | 6.010000e+02 | Inf
19.00/19.01 o 593
19.00/19.01 c *18.6s| 13825 | 7588 | 10884 | 0.8 | 35M|1337 | - |3825 |4961 |3825 | 922 |2033 | 552 |1112 | 0.000000e+00 | 5.930000e+02 | Inf
19.00/19.01 o 589
19.00/19.01 c *18.6s| 13826 | 7481 | 10886 | 0.8 | 35M|1337 | - |3825 |4961 |3825 | 922 |2033 | 552 |1112 | 0.000000e+00 | 5.890000e+02 | Inf
19.39/19.41 o 570
19.39/19.41 c *19.0s| 14056 | 7188 | 11527 | 0.8 | 34M|1337 | - |3825 |5071 |3825 | 928 |2153 | 671 |1121 | 0.000000e+00 | 5.700000e+02 | Inf
20.49/20.52 o 549
20.49/20.52 c *20.0s| 14829 | 7381 | 12721 | 0.8 | 35M|1337 | - |3825 |5251 |3825 | 932 |2388 | 891 |1135 | 0.000000e+00 | 5.490000e+02 | Inf
20.49/20.60 o 546
20.49/20.60 c *20.1s| 14872 | 7351 | 12832 | 0.8 | 35M|1337 | - |3825 |5243 |3825 | 927 |2410 | 891 |1136 | 0.000000e+00 | 5.460000e+02 | Inf
21.39/21.45 o 534
21.39/21.45 c *21.0s| 15495 | 7579 | 13237 | 0.8 | 35M|1337 | - |3825 |5219 |3825 | 940 |2522 | 931 |1142 | 0.000000e+00 | 5.340000e+02 | Inf
25.49/25.53 o 532
25.49/25.53 c *24.9s| 17499 | 9129 | 19323 | 1.1 | 40M|1337 | - |3825 |5641 |3825 | 924 |3820 |2147 |1283 | 0.000000e+00 | 5.320000e+02 | Inf
26.49/26.53 o 531
26.49/26.53 c *25.9s| 17981 | 9487 | 21321 | 1.2 | 41M|1337 | - |3825 |5745 |3825 | 937 |4245 |2420 |1303 | 0.000000e+00 | 5.310000e+02 | Inf
27.49/27.59 o 496
27.49/27.59 c *26.9s| 18561 | 8528 | 22691 | 1.2 | 39M|1337 | - |3825 |5863 |3825 | 956 |4575 |2742 |1313 | 0.000000e+00 | 4.960000e+02 | Inf
27.59/27.62 o 436
27.59/27.62 c *26.9s| 18579 | 6871 | 22692 | 1.2 | 35M|1337 | - |3825 |5863 |3825 | 956 |4575 |2742 |1313 | 0.000000e+00 | 4.360000e+02 | Inf
28.10/28.14 o 407
28.10/28.14 c *27.5s| 18795 | 6349 | 23485 | 1.2 | 34M|1337 | - |3825 |5824 |3825 | 935 |4761 |2919 |1317 | 0.000000e+00 | 4.070000e+02 | Inf
29.90/29.91 o 367
29.90/29.91 c *29.2s| 19579 | 5907 | 26893 | 1.4 | 34M|1337 | - |3825 |5760 |3825 | 937 |5414 |3594 |1349 | 0.000000e+00 | 3.670000e+02 | Inf
30.59/30.64 o 364
30.59/30.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.59/30.64 c *29.9s| 19899 | 5997 | 28740 | 1.4 | 35M|1337 | - |3825 |5891 |3825 | 939 |5738 |3920 |1375 | 0.000000e+00 | 3.640000e+02 | Inf
30.80/30.88 c 30.1s| 20000 | 6081 | 29535 | 1.5 | 35M|1337 | 0 |3825 |5893 |3825 | 943 |5916 |3968 |1378 | 0.000000e+00 | 3.640000e+02 | Inf
31.39/31.45 o 343
31.39/31.45 c *30.7s| 20273 | 5689 | 30859 | 1.5 | 34M|1337 | - |3825 |5914 |3825 | 948 |6254 |4107 |1385 | 0.000000e+00 | 3.430000e+02 | Inf
33.50/33.59 o 330
33.50/33.59 c *32.8s| 21249 | 6005 | 35206 | 1.6 | 36M|1337 | - |3825 |5949 |3825 | 955 |7183 |4831 |1459 | 0.000000e+00 | 3.300000e+02 | Inf
33.90/33.95 o 326
33.90/33.95 c *33.1s| 21422 | 6011 | 35784 | 1.7 | 36M|1337 | - |3825 |6019 |3825 | 931 |7326 |4996 |1463 | 0.000000e+00 | 3.260000e+02 | Inf
34.69/34.75 o 312
34.69/34.75 c *33.9s| 21750 | 5869 | 37686 | 1.7 | 36M|1337 | - |3825 |5995 |3825 | 944 |7691 |5256 |1484 | 0.000000e+00 | 3.120000e+02 | Inf
34.69/34.76 o 309
34.69/34.76 c *33.9s| 21751 | 5806 | 37686 | 1.7 | 36M|1337 | - |3825 |5995 |3825 | 944 |7691 |5256 |1484 | 0.000000e+00 | 3.090000e+02 | Inf
36.09/36.13 o 302
36.09/36.13 c *35.2s| 22415 | 6068 | 40476 | 1.8 | 37M|1337 | - |3825 |5848 |3825 | 905 |8172 |5563 |1499 | 0.000000e+00 | 3.020000e+02 | Inf
36.19/36.29 o 287
36.19/36.29 c *35.4s| 22478 | 5725 | 40891 | 1.8 | 36M|1337 | - |3825 |5830 |3825 | 931 |8244 |5581 |1507 | 0.000000e+00 | 2.870000e+02 | Inf
36.19/36.30 o 251
36.19/36.30 c *35.4s| 22479 | 5007 | 40891 | 1.8 | 34M|1337 | - |3825 |5830 |3825 | 931 |8244 |5581 |1507 | 0.000000e+00 | 2.510000e+02 | Inf
39.80/39.82 o 241
39.80/39.82 c *38.8s| 23834 | 5575 | 50811 | 2.1 | 37M|1337 | - |3825 |6040 |3825 | 944 |9969 |6639 |1584 | 0.000000e+00 | 2.410000e+02 | Inf
40.09/40.11 o 203
40.09/40.11 c *39.1s| 23982 | 4676 | 51158 | 2.1 | 34M|1337 | - |3825 |6104 |3825 | 944 | 10k|6745 |1584 | 0.000000e+00 | 2.030000e+02 | Inf
40.09/40.17 o 193
40.09/40.17 c *39.2s| 24008 | 4417 | 51217 | 2.1 | 34M|1337 | - |3825 |6116 |3825 | 945 | 10k|6762 |1584 | 0.000000e+00 | 1.930000e+02 | Inf
40.39/40.49 o 160
40.39/40.49 c *39.5s| 24145 | 3570 | 51747 | 2.1 | 31M|1337 | - |3825 |6162 |3825 | 915 | 10k|6918 |1586 | 0.000000e+00 | 1.600000e+02 | Inf
40.49/40.57 o 157
40.49/40.57 c *39.6s| 24170 | 3529 | 51943 | 2.1 | 31M|1337 | - |3825 |6140 |3825 | 940 | 10k|6930 |1587 | 0.000000e+00 | 1.570000e+02 | Inf
41.19/41.28 o 119
41.19/41.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.19/41.28 c *40.3s| 24434 | 2663 | 53792 | 2.2 | 29M|1337 | - |3825 |5708 |3825 | 930 | 10k|7086 |1606 | 0.000000e+00 | 1.190000e+02 | Inf
41.59/41.68 o 111
41.59/41.68 c *40.6s| 24561 | 2565 | 55085 | 2.2 | 29M|1337 | - |3825 |5541 |3825 | 925 | 10k|7173 |1606 | 0.000000e+00 | 1.110000e+02 | Inf
42.19/42.20 o 107
42.19/42.20 c *41.2s| 24804 | 2671 | 55992 | 2.2 | 29M|1337 | - |3825 |5520 |3825 | 937 | 10k|7269 |1606 | 0.000000e+00 | 1.070000e+02 | Inf
42.29/42.35 o 98
42.29/42.35 c *41.3s| 24867 | 2464 | 56176 | 2.2 | 29M|1337 | - |3825 |5527 |3825 | 937 | 10k|7328 |1608 | 0.000000e+00 | 9.800000e+01 | Inf
42.39/42.40 o 88
42.39/42.40 c *41.4s| 24883 | 2122 | 56224 | 2.2 | 28M|1337 | - |3825 |5459 |3825 | 932 | 10k|7335 |1608 | 0.000000e+00 | 8.800000e+01 | Inf
42.39/42.43 o 83
42.39/42.43 c *41.4s| 24887 | 1934 | 56225 | 2.2 | 27M|1337 | - |3825 |5268 |3825 | 932 | 10k|7335 |1608 | 0.000000e+00 | 8.300000e+01 | Inf
42.39/42.43 o 71
42.39/42.43 c *41.4s| 24888 | 1750 | 56225 | 2.2 | 27M|1337 | - |3825 |5268 |3825 | 932 | 10k|7335 |1608 | 0.000000e+00 | 7.100000e+01 | Inf
42.39/42.46 o 66
42.39/42.46 c *41.4s| 24892 | 1654 | 56313 | 2.3 | 27M|1337 | - |3825 |4892 |3825 | 913 | 10k|7335 |1608 | 0.000000e+00 | 6.600000e+01 | Inf
42.70/42.73 o 63
42.70/42.73 c *41.7s| 25069 | 1708 | 56766 | 2.3 | 27M|1337 | - |3825 |4754 |3825 | 914 | 10k|7372 |1614 | 0.000000e+00 | 6.300000e+01 | Inf
42.90/42.94 o 48
42.90/42.94 c *41.9s| 25125 | 1191 | 57556 | 2.3 | 26M|1337 | - |3825 |4668 |3825 | 932 | 10k|7417 |1628 | 0.000000e+00 | 4.800000e+01 | Inf
45.00/45.01 o 41
45.00/45.01 c *43.9s| 26069 | 1085 | 64620 | 2.5 | 26M|1337 | - |3825 |4685 |3825 | 927 | 11k|8525 |1675 | 0.000000e+00 | 4.100000e+01 | Inf
52.60/52.61 c 51.3s| 30000 | 1223 | 83455 | 2.8 | 29M|1337 | 1 |3825 |5627 |3825 | 893 | 12k| 13k|1719 | 0.000000e+00 | 4.100000e+01 | Inf
52.80/52.83 o 29
52.80/52.83 c *51.5s| 30098 | 1045 | 83994 | 2.8 | 28M|1337 | - |3825 |5700 |3825 | 907 | 12k| 13k|1720 | 0.000000e+00 | 2.900000e+01 | Inf
53.00/53.04 o 24
53.00/53.04 c *51.7s| 30206 | 1002 | 84418 | 2.8 | 28M|1337 | - |3825 |5464 |3825 | 920 | 12k| 13k|1720 | 0.000000e+00 | 2.400000e+01 | Inf
53.00/53.09 o 18
53.00/53.09 c *51.8s| 30229 | 906 | 84502 | 2.8 | 27M|1337 | - |3825 |5367 |3825 | 929 | 12k| 13k|1720 | 0.000000e+00 | 1.800000e+01 | Inf
55.59/55.63 o 16
55.59/55.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.59/55.63 c *54.2s| 31711 | 934 | 92787 | 2.9 | 28M|1337 | - |3825 |5554 |3825 | 913 | 13k| 15k|1726 | 0.000000e+00 | 1.600000e+01 | Inf
69.30/69.37 c 67.5s| 40000 | 1182 |140858 | 3.5 | 32M|1337 | 7 |3825 |8337 |3825 | 929 | 15k| 26k|1741 | 0.000000e+00 | 1.600000e+01 | Inf
84.29/84.32 o 13
84.29/84.32 c *82.0s| 48467 | 1142 |189268 | 3.9 | 33M|1337 | - |3825 |9183 |3825 | 929 | 18k| 37k|1947 | 0.000000e+00 | 1.300000e+01 | Inf
86.90/86.96 c 84.5s| 50000 | 1124 |198006 | 4.0 | 33M|1337 | 1 |3825 |8095 |3825 | 893 | 18k| 39k|1972 | 0.000000e+00 | 1.300000e+01 | Inf
87.90/87.97 o 2
87.90/87.97 c *85.5s| 50640 | 945 |201431 | 4.0 | 31M|1337 | - |3825 |7849 |3825 | 926 | 18k| 39k|1990 | 0.000000e+00 | 2.000000e+00 | Inf
103.60/103.69 c 101s| 60000 | 1133 |262196 | 4.4 | 34M|1337 | 1 |3825 | 12k|3825 | 901 | 22k| 52k|2221 | 0.000000e+00 | 2.000000e+00 | Inf
122.29/122.30 c 119s| 70000 | 1145 |335639 | 4.8 | 35M|1337 | - |3825 | 10k| 0 | 0 | 27k| 66k|2474 | 0.000000e+00 | 2.000000e+00 | Inf
140.90/140.99 c 137s| 80000 | 1012 |411417 | 5.1 | 35M|1337 | 1 |3825 | 11k|3825 | 899 | 30k| 80k|2808 | 0.000000e+00 | 2.000000e+00 | Inf
159.70/159.71 c 155s| 90000 | 1097 |484545 | 5.4 | 38M|1337 | 19 |3825 | 17k|3825 | 911 | 35k| 93k|2984 | 0.000000e+00 | 2.000000e+00 | Inf
180.99/181.03 c 176s|100000 | 973 |564372 | 5.6 | 36M|1337 | - |3825 | 12k| 0 | 0 | 39k| 107k|3357 | 0.000000e+00 | 2.000000e+00 | Inf
198.79/198.85 c 193s|110000 | 926 |628552 | 5.7 | 36M|1337 | 1 |3825 | 14k|3825 | 917 | 42k| 120k|3491 | 0.000000e+00 | 2.000000e+00 | Inf
217.30/217.36 c 211s|120000 | 1056 |688672 | 5.7 | 39M|1337 | - |3825 | 18k| 0 | 0 | 47k| 134k|3607 | 0.000000e+00 | 2.000000e+00 | Inf
236.90/236.94 c 230s|130000 | 1136 |746711 | 5.7 | 41M|1337 | 16 |3825 | 20k|3825 | 904 | 51k| 148k|3722 | 0.000000e+00 | 2.000000e+00 | Inf
258.20/258.22 c 251s|140000 | 1214 |809559 | 5.8 | 43M|1337 | - |3825 | 23k| 0 | 0 | 55k| 161k|3853 | 0.000000e+00 | 2.000000e+00 | Inf
279.80/279.89 c 272s|150000 | 1072 |875245 | 5.8 | 42M|1337 | 9 |3825 | 20k|3825 | 928 | 60k| 175k|3980 | 0.000000e+00 | 2.000000e+00 | Inf
300.80/300.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.80/300.85 c 292s|160000 | 1127 |936803 | 5.9 | 43M|1337 | - |3825 | 23k| 0 | 0 | 64k| 189k|4090 | 0.000000e+00 | 2.000000e+00 | Inf
323.41/323.49 c 314s|170000 | 1371 | 1002k| 5.9 | 47M|1337 | 17 |3825 | 27k|3825 | 923 | 68k| 203k|4204 | 0.000000e+00 | 2.000000e+00 | Inf
347.51/347.57 c 338s|180000 | 1417 | 1073k| 6.0 | 48M|1337 | 14 |3825 | 28k|3825 | 942 | 73k| 218k|4324 | 0.000000e+00 | 2.000000e+00 | Inf
371.00/371.06 c 361s|190000 | 1252 | 1135k| 6.0 | 47M|1337 | 10 |3825 | 25k|3825 | 920 | 76k| 232k|4435 | 0.000000e+00 | 2.000000e+00 | Inf
393.61/393.67 c 383s|200000 | 1251 | 1195k| 6.0 | 47M|1337 | 14 |3825 | 28k|3825 | 906 | 80k| 245k|4597 | 0.000000e+00 | 2.000000e+00 | Inf
418.10/418.12 c 407s|210000 | 1406 | 1259k| 6.0 | 50M|1337 | - |3825 | 30k| 0 | 0 | 85k| 259k|4694 | 0.000000e+00 | 2.000000e+00 | Inf
442.70/442.76 c 431s|220000 | 1542 | 1318k| 6.0 | 52M|1337 | 4 |3825 | 32k|3825 | 893 | 88k| 273k|4792 | 0.000000e+00 | 2.000000e+00 | Inf
468.41/468.41 c 456s|230000 | 1824 | 1375k| 6.0 | 55M|1337 | - |3825 | 34k| 0 | 0 | 92k| 286k|4857 | 0.000000e+00 | 2.000000e+00 | Inf
495.21/495.21 c 482s|240000 | 1914 | 1441k| 6.0 | 56M|1337 | 17 |3825 | 37k|3825 | 936 | 97k| 300k|4950 | 0.000000e+00 | 2.000000e+00 | Inf
522.71/522.76 c 509s|250000 | 2028 | 1502k| 6.0 | 58M|1337 | 1 |3825 | 38k|3825 | 909 | 100k| 315k|5053 | 0.000000e+00 | 2.000000e+00 | Inf
550.81/550.88 c 537s|260000 | 2122 | 1568k| 6.0 | 59M|1337 | 14 |3825 | 36k|3825 | 921 | 104k| 329k|5110 | 0.000000e+00 | 2.000000e+00 | Inf
576.61/576.69 c 562s|270000 | 2134 | 1635k| 6.1 | 59M|1337 | - |3825 | 34k| 0 | 0 | 109k| 343k|5209 | 0.000000e+00 | 2.000000e+00 | Inf
602.81/602.84 c 588s|280000 | 2163 | 1702k| 6.1 | 60M|1337 | - |3825 | 36k| 0 | 0 | 113k| 357k|5291 | 0.000000e+00 | 2.000000e+00 | Inf
629.12/629.14 c 613s|290000 | 2163 | 1765k| 6.1 | 60M|1337 | 1 |3825 | 35k|3825 | 920 | 116k| 372k|5353 | 0.000000e+00 | 2.000000e+00 | Inf
654.71/654.71 c 638s|300000 | 2052 | 1827k| 6.1 | 58M|1337 | 11 |3825 | 30k|3825 | 911 | 121k| 386k|5447 | 0.000000e+00 | 2.000000e+00 | Inf
679.21/679.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.21/679.22 c 662s|310000 | 2115 | 1891k| 6.1 | 60M|1337 | - |3825 | 32k|3825 | 927 | 125k| 400k|5492 | 0.000000e+00 | 2.000000e+00 | Inf
703.92/703.90 c 687s|320000 | 2067 | 1957k| 6.1 | 60M|1337 | - |3825 | 32k| 0 | 0 | 130k| 414k|5586 | 0.000000e+00 | 2.000000e+00 | Inf
728.31/728.37 c 710s|330000 | 2041 | 2021k| 6.1 | 61M|1337 | 10 |3825 | 33k|3825 | 913 | 134k| 428k|5641 | 0.000000e+00 | 2.000000e+00 | Inf
754.11/754.11 c 736s|340000 | 1925 | 2091k| 6.2 | 60M|1337 | - |3825 | 33k| 0 | 0 | 137k| 443k|5735 | 0.000000e+00 | 2.000000e+00 | Inf
779.01/779.08 c 760s|350000 | 1916 | 2151k| 6.1 | 61M|1337 | - |3825 | 34k|3825 | 922 | 142k| 457k|5783 | 0.000000e+00 | 2.000000e+00 | Inf
805.22/805.22 c 786s|360000 | 2071 | 2213k| 6.1 | 62M|1337 | 22 |3825 | 35k|3825 | 911 | 145k| 471k|5866 | 0.000000e+00 | 2.000000e+00 | Inf
832.51/832.55 c 812s|370000 | 2174 | 2283k| 6.2 | 64M|1337 | 6 |3825 | 37k|3825 | 920 | 149k| 485k|5935 | 0.000000e+00 | 2.000000e+00 | Inf
863.01/863.05 c 842s|380000 | 2249 | 2357k| 6.2 | 66M|1337 | 8 |3825 | 39k|3825 | 934 | 152k| 499k|6025 | 0.000000e+00 | 2.000000e+00 | Inf
894.32/894.33 c 873s|390000 | 2001 | 2431k| 6.2 | 64M|1337 | 16 |3825 | 36k|3825 | 920 | 156k| 514k|6083 | 0.000000e+00 | 2.000000e+00 | Inf
924.21/924.26 c 902s|400000 | 1935 | 2500k| 6.3 | 63M|1337 | 17 |3825 | 37k|3825 | 929 | 160k| 529k|6154 | 0.000000e+00 | 2.000000e+00 | Inf
954.42/954.43 c 932s|410000 | 1852 | 2569k| 6.3 | 63M|1337 | 1 |3825 | 38k|3825 | 912 | 164k| 543k|6214 | 0.000000e+00 | 2.000000e+00 | Inf
984.32/984.37 c 961s|420000 | 1737 | 2635k| 6.3 | 60M|1337 | - |3825 | 35k| 0 | 0 | 168k| 557k|6265 | 0.000000e+00 | 2.000000e+00 | Inf
1014.02/1014.01 c 990s|430000 | 1675 | 2699k| 6.3 | 59M|1337 | 18 |3825 | 34k|3825 | 910 | 171k| 571k|6341 | 0.000000e+00 | 2.000000e+00 | Inf
1043.52/1043.58 c 1019s|440000 | 1588 | 2768k| 6.3 | 59M|1337 | 1 |3825 | 35k|3825 | 918 | 176k| 585k|6415 | 0.000000e+00 | 2.000000e+00 | Inf
1073.12/1073.14 c 1048s|450000 | 1527 | 2841k| 6.3 | 58M|1337 | - |3825 | 35k| 0 | 0 | 180k| 599k|6464 | 0.000000e+00 | 2.000000e+00 | Inf
1102.42/1102.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.42/1102.48 c 1077s|460000 | 1609 | 2905k| 6.3 | 59M|1337 | - |3825 | 37k| 0 | 0 | 185k| 613k|6532 | 0.000000e+00 | 2.000000e+00 | Inf
1132.43/1132.48 c 1106s|470000 | 1701 | 2970k| 6.3 | 61M|1337 | - |3825 | 39k| 0 | 0 | 188k| 627k|6589 | 0.000000e+00 | 2.000000e+00 | Inf
1164.12/1164.14 c 1137s|480000 | 1586 | 3038k| 6.3 | 61M|1337 | 1 |3825 | 39k|3825 | 914 | 192k| 641k|6638 | 0.000000e+00 | 2.000000e+00 | Inf
1195.42/1195.42 c 1168s|490000 | 1530 | 3107k| 6.3 | 60M|1337 | 1 |3825 | 39k|3825 | 910 | 196k| 655k|6701 | 0.000000e+00 | 2.000000e+00 | Inf
1226.82/1226.86 c 1199s|500000 | 1620 | 3172k| 6.3 | 62M|1337 | 1 |3825 | 42k|3825 | 927 | 199k| 669k|6761 | 0.000000e+00 | 2.000000e+00 | Inf
1258.42/1258.49 c 1230s|510000 | 1523 | 3235k| 6.3 | 62M|1337 | - |3825 | 42k|3825 | 921 | 202k| 683k|6826 | 0.000000e+00 | 2.000000e+00 | Inf
1289.43/1289.43 c 1260s|520000 | 1140 | 3303k| 6.4 | 50M|1337 | - |3825 | 21k| 0 | 0 | 206k| 697k|7471 | 0.000000e+00 | 2.000000e+00 | Inf
1312.43/1312.45 c 1283s|530000 | 1194 | 3363k| 6.3 | 52M|1337 | - |3825 | 25k| 0 | 0 | 210k| 710k|7639 | 0.000000e+00 | 2.000000e+00 | Inf
1336.62/1336.67 c 1306s|540000 | 1286 | 3423k| 6.3 | 54M|1337 | 7 |3825 | 29k|3825 | 931 | 213k| 724k|7641 | 0.000000e+00 | 2.000000e+00 | Inf
1362.43/1362.47 c 1331s|550000 | 1221 | 3489k| 6.3 | 54M|1337 | 10 |3825 | 30k|3825 | 893 | 217k| 738k|7653 | 0.000000e+00 | 2.000000e+00 | Inf
1388.23/1388.28 c 1357s|560000 | 1167 | 3554k| 6.3 | 54M|1337 | 18 |3825 | 29k|3825 | 907 | 220k| 751k|7660 | 0.000000e+00 | 2.000000e+00 | Inf
1414.23/1414.23 c 1382s|570000 | 1209 | 3618k| 6.3 | 55M|1337 | - |3825 | 31k| 0 | 0 | 224k| 765k|7670 | 0.000000e+00 | 2.000000e+00 | Inf
1441.03/1441.01 c 1408s|580000 | 1180 | 3679k| 6.3 | 55M|1337 | 12 |3825 | 33k|3825 | 903 | 228k| 779k|7673 | 0.000000e+00 | 2.000000e+00 | Inf
1471.33/1471.34 c 1438s|590000 | 1209 | 3752k| 6.4 | 57M|1337 | - |3825 | 36k| 0 | 0 | 233k| 793k|7695 | 0.000000e+00 | 2.000000e+00 | Inf
1502.83/1502.89 c 1469s|600000 | 1243 | 3825k| 6.4 | 58M|1337 | - |3825 | 39k| 0 | 0 | 238k| 806k|7731 | 0.000000e+00 | 2.000000e+00 | Inf
1533.13/1533.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.13/1533.19 c 1499s|610000 | 1333 | 3886k| 6.4 | 60M|1337 | 7 |3825 | 43k|3825 | 927 | 241k| 820k|7761 | 0.000000e+00 | 2.000000e+00 | Inf
1565.43/1565.40 c 1530s|620000 | 1260 | 3953k| 6.4 | 60M|1337 | 11 |3825 | 42k|3825 | 919 | 245k| 834k|7792 | 0.000000e+00 | 2.000000e+00 | Inf
1596.23/1596.22 c 1561s|630000 | 1196 | 4018k| 6.4 | 59M|1337 | - |3825 | 42k| 0 | 0 | 249k| 848k|7825 | 0.000000e+00 | 2.000000e+00 | Inf
1627.94/1627.92 c 1592s|640000 | 1246 | 4078k| 6.4 | 60M|1337 | 10 |3825 | 44k|3825 | 913 | 253k| 862k|7867 | 0.000000e+00 | 2.000000e+00 | Inf
1660.33/1660.36 c 1623s|650000 | 1209 | 4140k| 6.4 | 61M|1337 | - |3825 | 45k| 0 | 0 | 257k| 876k|7899 | 0.000000e+00 | 2.000000e+00 | Inf
1695.05/1695.03 c 1658s|660000 | 1236 | 4220k| 6.4 | 61M|1337 | - |3825 | 45k|3825 | 926 | 261k| 891k|7945 | 0.000000e+00 | 2.000000e+00 | Inf
1725.64/1725.60 c 1688s|670000 | 1190 | 4282k| 6.4 | 60M|1337 | - |3825 | 42k| 0 | 0 | 264k| 905k|7992 | 0.000000e+00 | 2.000000e+00 | Inf
1758.33/1758.34 c 1720s|680000 | 1218 | 4354k| 6.4 | 61M|1337 | 1 |3825 | 46k|3825 | 936 | 268k| 919k|8021 | 0.000000e+00 | 2.000000e+00 | Inf
1793.44/1793.46 c 1754s|690000 | 1166 | 4424k| 6.4 | 59M|1337 | 27 |3825 | 41k|3825 | 923 | 271k| 934k|8070 | 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) : 1760.53
1800.04/1800.00 c Solving Nodes : 692149
1800.04/1800.00 c Primal Bound : +2.00000000000000e+00 (173 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 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.05 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.05 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.05 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.05 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.05 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.05 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.05 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.05 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.05 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.05 v -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1760.53
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2693465-1277905624.wbo
1800.04/1800.05 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.04/1800.05 c Constraints : 4571 initial, 4571 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2693465-1277905624.wbo
1800.04/1800.05 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.04/1800.05 c Constraints : 4418 initial, 48591 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.07 0 0 0 1878 0 87 72 0
1800.04/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1791 - - 3582 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 423590 0 45 1060 0 0 733298
1800.04/1800.05 c indicator : 1797 0 3256658 55871 0 108 896415 0 0 0
1800.04/1800.05 c setppc : 5 7 3241032 45061 0 3563 691918 0 0 0
1800.04/1800.05 c linear : 1797 7 3261919 55156 0 219087 14578107 272044 0 0
1800.04/1800.05 c logicor : 819+ 7 1362761 21449 0 98815 3393924 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 132926 0 0 0 0 0 0 0
1800.04/1800.05 c countsols : 0 0 0 21449 0 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 17.90 0.00 0.00 17.90 0.00
1800.04/1800.05 c indicator : 5.50 0.04 3.24 2.22 0.00
1800.04/1800.05 c setppc : 6.77 0.00 6.75 0.02 0.00
1800.04/1800.05 c linear : 138.46 0.00 136.23 2.23 0.00
1800.04/1800.05 c logicor : 392.42 0.00 392.23 0.19 0.00
1800.04/1800.05 c bounddisjunction : 0.18 0.00 0.18 0.00 0.00
1800.04/1800.05 c countsols : 0.02 0.00 0.00 0.02 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.86 2 0 0
1800.04/1800.05 c rootredcost : 0.67 51 0 1791
1800.04/1800.05 c pseudoobj : 115.30 3268559 2133 620163
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 16.54 323598 323069 1991390 27.5 9879 22.4 -
1800.04/1800.05 c infeasible LP : 11.41 38412 38412 299933 45.6 470 15.7 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.03 83 83 531 19.1 138 6.3 -
1800.04/1800.05 c applied globally : - - - 936977 23.8 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 5 - - 4 - (maximal pool size: 90)
1800.04/1800.05 c redcost : 20.68 424603 0 248579 0 0
1800.04/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.14 6 0 0 550 0
1800.04/1800.05 c strongcg : 0.08 6 0 0 0 0
1800.04/1800.05 c cmir : 0.03 6 0 0 0 0
1800.04/1800.05 c flowcover : 0.07 6 0 0 1 0
1800.04/1800.05 c clique : 0.00 6 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 1 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 17.50 367612 45 1060 0 0 733298
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 2.55 21399 0 0 0 0 42798
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.05 - 50
1800.04/1800.05 c pseudo solutions : 0.00 - 0
1800.04/1800.05 c feaspump : 0.01 0 0
1800.04/1800.05 c oneopt : 0.44 47 0
1800.04/1800.05 c intshifting : 0.00 8 0
1800.04/1800.05 c guideddiving : 0.06 71 0
1800.04/1800.05 c coefdiving : 0.06 71 0
1800.04/1800.05 c pscostdiving : 0.10 71 0
1800.04/1800.05 c fracdiving : 0.11 72 0
1800.04/1800.05 c veclendiving : 0.09 72 0
1800.04/1800.05 c linesearchdiving : 0.09 72 0
1800.04/1800.05 c crossover : 1.01 34 0
1800.04/1800.05 c objpscostdiving : 0.08 59 0
1800.04/1800.05 c rootsoldiving : 0.16 59 0
1800.04/1800.05 c trivial : 0.00 2 0
1800.04/1800.05 c simplerounding : 0.99 367793 0
1800.04/1800.05 c zirounding : 0.52 1000 0
1800.04/1800.05 c rounding : 1.52 8488 0
1800.04/1800.05 c shifting : 0.99 2664 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.02 1 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.27 0 0
1800.04/1800.05 c trysol : 1.74 6083 123
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 519.74 440838 4437092 10.07 8537.14
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.21 113 2215 19.60 10547.62
1800.04/1800.05 c strong branching : 14.11 8074 139292 17.25 9871.86
1800.04/1800.05 c (at root node) : - 33 3571 108.21 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 692149
1800.04/1800.05 c nodes (total) : 692149
1800.04/1800.05 c nodes left : 1187
1800.04/1800.05 c max depth : 1337
1800.04/1800.05 c max depth (total): 1337
1800.04/1800.05 c backtracks : 79737 (11.5%)
1800.04/1800.05 c delayed cutoffs : 61295
1800.04/1800.05 c repropagations : 1376010 (3981378 domain reductions, 58054 cutoffs)
1800.04/1800.05 c avg switch length: 5.40
1800.04/1800.05 c switching time : 294.32
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 173 (51 improvements)
1800.04/1800.05 c First Solution : +9.08110000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.04/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 50640 nodes, 85.51 seconds, depth 163, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 303
1800.14/1800.15 c Time complete: 1800.19.