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-2693489-1277906786.wbo>
0.00/0.03 c original problem has 3945 variables (2088 bin, 0 int, 0 impl, 1857 cont) and 4565 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.04/0.09 c (round 2) 0 del vars, 62 del conss, 1857 chg bounds, 50 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.10 c (round 3) 50 del vars, 124 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 0 upgd conss, 1983 impls, 5 clqs
0.09/0.11 c (round 4) 107 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 131 del conss, 1864 chg bounds, 62 chg sides, 0 chg coeffs, 834 upgd conss, 1983 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2031 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 131 deleted constraints, 1864 tightened bounds, 0 added holes, 62 changed sides, 0 changed coefficients
0.09/0.16 c 1983 implications, 5 cliques
0.09/0.16 c presolved problem has 3831 variables (2031 bin, 0 int, 0 impl, 1800 cont) and 4434 constraints
0.09/0.16 c 1800 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1800 constraints of type <linear>
0.09/0.16 c 829 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1799.97
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 3420
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.09/0.17 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.17 c 0.1s| 1 | 0 | 12 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 90731
0.09/0.19 c y 0.1s| 1 | 0 | 12 | - | 14M| 0 | 3 |3831 |4434 |3831 | 834 | 0 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 59 | - | 14M| 0 | 32 |3831 |4434 |3831 | 856 | 22 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 120 | - | 14M| 0 | 33 |3831 |4434 |3831 | 878 | 44 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 170 | - | 14M| 0 | 44 |3831 |4434 |3831 | 888 | 54 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 268 | - | 14M| 0 | 38 |3831 |4434 |3831 | 906 | 72 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 292 | - | 14M| 0 | 37 |3831 |4434 |3831 | 914 | 80 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 294 | - | 14M| 0 | 37 |3831 |4434 |3831 | 916 | 82 | 0 | 0 | 0.000000e+00 | 9.073100e+04 | Inf
0.89/0.97 c 0.9s| 1 | 2 | 294 | - | 15M| 0 | 37 |3831 |4434 |3831 | 916 | 82 | 0 | 33 | 0.000000e+00 | 9.073100e+04 | Inf
14.19/14.22 o 530
14.19/14.22 c *13.7s| 9291 | 3456 | 8471 | 0.9 | 27M|1675 | - |3831 |4458 |3831 | 956 |1307 | 24 |1187 | 0.000000e+00 | 5.300000e+02 | Inf
14.79/14.85 o 450
14.79/14.85 c *14.3s| 9781 | 3432 | 8785 | 0.9 | 27M|1675 | - |3831 |4479 |3831 | 967 |1364 | 45 |1197 | 0.000000e+00 | 4.500000e+02 | Inf
15.09/15.16 c 14.6s| 10000 | 3633 | 8907 | 0.9 | 27M|1675 | 0 |3831 |4538 |3831 | 957 |1373 | 104 |1208 | 0.000000e+00 | 4.500000e+02 | Inf
15.40/15.43 o 427
15.40/15.43 c *14.8s| 10083 | 3402 | 9387 | 0.9 | 27M|1675 | - |3831 |4634 |3831 | 969 |1445 | 200 |1241 | 0.000000e+00 | 4.270000e+02 | Inf
15.49/15.54 o 425
15.49/15.54 c *14.9s| 10136 | 3383 | 9534 | 0.9 | 27M|1675 | - |3831 |4799 |3831 | 972 |1445 | 365 |1247 | 0.000000e+00 | 4.250000e+02 | Inf
15.49/15.59 o 405
15.49/15.59 c *15.0s| 10162 | 3099 | 9561 | 0.9 | 27M|1675 | - |3831 |4819 |3831 | 965 |1446 | 385 |1247 | 0.000000e+00 | 4.050000e+02 | Inf
15.79/15.80 o 378
15.79/15.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.79/15.80 c *15.2s| 10341 | 2696 | 9565 | 0.9 | 26M|1675 | - |3831 |4833 |3831 | 965 |1446 | 399 |1247 | 0.000000e+00 | 3.780000e+02 | Inf
15.89/15.99 o 353
15.89/15.99 c *15.4s| 10400 | 2457 | 9854 | 0.9 | 26M|1675 | - |3831 |4887 |3831 | 958 |1511 | 453 |1268 | 0.000000e+00 | 3.530000e+02 | Inf
17.99/18.02 o 350
17.99/18.02 c *17.3s| 11481 | 3308 | 13053 | 1.1 | 28M|1675 | - |3831 |5291 |3831 | 969 |2039 | 880 |1387 | 0.000000e+00 | 3.500000e+02 | Inf
18.09/18.10 o 343
18.09/18.10 c *17.4s| 11524 | 3182 | 13119 | 1.1 | 28M|1675 | - |3831 |5301 |3831 | 984 |2054 | 891 |1392 | 0.000000e+00 | 3.430000e+02 | Inf
18.19/18.28 o 308
18.19/18.28 c *17.6s| 11676 | 2752 | 13178 | 1.1 | 27M|1675 | - |3831 |5302 |3831 | 937 |2061 | 894 |1392 | 0.000000e+00 | 3.080000e+02 | Inf
18.39/18.48 o 304
18.39/18.48 c *17.8s| 11746 | 2756 | 13601 | 1.1 | 27M|1675 | - |3831 |5307 |3831 | 956 |2110 | 912 |1423 | 0.000000e+00 | 3.040000e+02 | Inf
19.39/19.43 o 256
19.39/19.43 c *18.7s| 12144 | 2502 | 15416 | 1.2 | 27M|1675 | - |3831 |5489 |3831 | 981 |2373 |1174 |1480 | 0.000000e+00 | 2.560000e+02 | Inf
21.19/21.28 o 236
21.19/21.28 c *20.4s| 12739 | 2596 | 20025 | 1.5 | 28M|1675 | - |3831 |5810 |3831 | 974 |3074 |1691 |1586 | 0.000000e+00 | 2.360000e+02 | Inf
22.19/22.23 o 213
22.19/22.23 c *21.4s| 13191 | 2605 | 21305 | 1.6 | 28M|1675 | - |3831 |5769 |3831 | 970 |3275 |1896 |1612 | 0.000000e+00 | 2.130000e+02 | Inf
22.29/22.33 o 209
22.29/22.33 c *21.4s| 13215 | 2571 | 21452 | 1.6 | 28M|1675 | - |3831 |5769 |3831 | 958 |3317 |1913 |1614 | 0.000000e+00 | 2.090000e+02 | Inf
25.09/25.18 o 208
25.09/25.18 c *24.2s| 14734 | 3537 | 25246 | 1.7 | 32M|1675 | - |3831 |5890 |3831 | 972 |3896 |2692 |1666 | 0.000000e+00 | 2.080000e+02 | Inf
25.09/25.20 o 184
25.09/25.20 c *24.2s| 14743 | 3029 | 25252 | 1.7 | 31M|1675 | - |3831 |5890 |3831 | 972 |3896 |2692 |1666 | 0.000000e+00 | 1.840000e+02 | Inf
25.09/25.20 o 183
25.09/25.20 c *24.2s| 14744 | 2996 | 25252 | 1.7 | 31M|1675 | - |3831 |5890 |3831 | 972 |3896 |2692 |1666 | 0.000000e+00 | 1.830000e+02 | Inf
25.69/25.73 o 181
25.69/25.73 c *24.7s| 15048 | 3213 | 25780 | 1.7 | 31M|1675 | - |3831 |5914 |3831 | 941 |3991 |2764 |1672 | 0.000000e+00 | 1.810000e+02 | Inf
26.19/26.29 o 156
26.19/26.29 c *25.2s| 15322 | 3021 | 26715 | 1.7 | 30M|1675 | - |3831 |5900 |3831 | 994 |4180 |2857 |1683 | 0.000000e+00 | 1.560000e+02 | Inf
26.19/26.29 o 152
26.19/26.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.19/26.29 c *25.2s| 15323 | 2947 | 26715 | 1.7 | 30M|1675 | - |3831 |5900 |3831 | 994 |4180 |2857 |1683 | 0.000000e+00 | 1.520000e+02 | Inf
26.69/26.78 o 146
26.69/26.78 c *25.7s| 15489 | 2876 | 27892 | 1.8 | 30M|1675 | - |3831 |5836 |3831 | 967 |4366 |3004 |1700 | 0.000000e+00 | 1.460000e+02 | Inf
27.69/27.71 o 143
27.69/27.71 c *26.6s| 15786 | 2936 | 30729 | 1.9 | 31M|1675 | - |3831 |5769 |3831 | 960 |4724 |3293 |1719 | 0.000000e+00 | 1.430000e+02 | Inf
27.69/27.71 o 142
27.69/27.71 c *26.6s| 15787 | 2928 | 30729 | 1.9 | 31M|1675 | - |3831 |5769 |3831 | 960 |4724 |3293 |1719 | 0.000000e+00 | 1.420000e+02 | Inf
28.59/28.61 o 128
28.59/28.61 c *27.4s| 16084 | 2804 | 32822 | 2.0 | 31M|1675 | - |3831 |5959 |3831 | 986 |5048 |3654 |1729 | 0.000000e+00 | 1.280000e+02 | Inf
28.59/28.62 o 127
28.59/28.62 c *27.4s| 16085 | 2781 | 32822 | 2.0 | 31M|1675 | - |3831 |5959 |3831 | 986 |5048 |3654 |1729 | 0.000000e+00 | 1.270000e+02 | Inf
28.69/28.72 o 120
28.69/28.72 c *27.5s| 16129 | 2670 | 32912 | 2.0 | 31M|1675 | - |3831 |5958 |3831 | 990 |5071 |3663 |1729 | 0.000000e+00 | 1.200000e+02 | Inf
28.69/28.72 o 119
28.69/28.72 c *27.5s| 16130 | 2659 | 32912 | 2.0 | 31M|1675 | - |3831 |5958 |3831 | 990 |5071 |3663 |1729 | 0.000000e+00 | 1.190000e+02 | Inf
29.29/29.34 o 107
29.29/29.34 c *28.1s| 16409 | 2525 | 34050 | 2.1 | 31M|1675 | - |3831 |5912 |3831 | 969 |5256 |3771 |1733 | 0.000000e+00 | 1.070000e+02 | Inf
29.29/29.34 o 105
29.29/29.34 c *28.1s| 16410 | 2493 | 34050 | 2.1 | 31M|1675 | - |3831 |5912 |3831 | 969 |5256 |3771 |1733 | 0.000000e+00 | 1.050000e+02 | Inf
29.39/29.43 o 86
29.39/29.43 c *28.2s| 16447 | 2076 | 34240 | 2.1 | 29M|1675 | - |3831 |5886 |3831 | 968 |5286 |3788 |1733 | 0.000000e+00 | 8.600000e+01 | Inf
29.39/29.44 o 84
29.39/29.44 c *28.2s| 16448 | 2006 | 34240 | 2.1 | 28M|1675 | - |3831 |5886 |3831 | 968 |5286 |3788 |1733 | 0.000000e+00 | 8.400000e+01 | Inf
29.49/29.58 o 45
29.49/29.58 c *28.4s| 16489 | 1167 | 34482 | 2.1 | 25M|1675 | - |3831 |5492 |3831 | 953 |5334 |3801 |1734 | 0.000000e+00 | 4.500000e+01 | Inf
29.49/29.58 o 44
29.49/29.58 c *28.4s| 16490 | 1153 | 34482 | 2.1 | 25M|1675 | - |3831 |5492 |3831 | 953 |5334 |3801 |1734 | 0.000000e+00 | 4.400000e+01 | Inf
29.70/29.71 o 36
29.70/29.71 c *28.5s| 16531 | 895 | 34909 | 2.1 | 25M|1675 | - |3831 |4668 |3831 | 951 |5358 |3836 |1741 | 0.000000e+00 | 3.600000e+01 | Inf
29.70/29.71 o 35
29.70/29.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.70/29.71 c *28.5s| 16532 | 669 | 34909 | 2.1 | 24M|1675 | - |3831 |4668 |3831 | 951 |5358 |3836 |1741 | 0.000000e+00 | 3.500000e+01 | Inf
34.28/34.37 o 30
34.28/34.37 c *32.9s| 18664 | 694 | 51300 | 2.7 | 25M|1675 | - |3831 |5081 |3831 | 935 |6194 |6310 |1797 | 0.000000e+00 | 3.000000e+01 | Inf
34.99/35.07 o 25
34.99/35.07 c *33.6s| 19055 | 643 | 53565 | 2.8 | 25M|1675 | - |3831 |5211 |3831 | 939 |6361 |6789 |1797 | 0.000000e+00 | 2.500000e+01 | Inf
35.48/35.52 o 14
35.48/35.52 c *34.0s| 19274 | 502 | 55095 | 2.8 | 25M|1675 | - |3831 |5136 |3831 | 953 |6521 |7054 |1797 | 0.000000e+00 | 1.400000e+01 | Inf
36.78/36.85 c 35.2s| 20000 | 497 | 60599 | 3.0 | 25M|1675 | 13 |3831 |5136 |3831 | 931 |6900 |7970 |1802 | 0.000000e+00 | 1.400000e+01 | Inf
46.59/46.69 o 12
46.59/46.69 c *44.5s| 25952 | 498 | 96114 | 3.7 | 26M|1675 | - |3831 |7080 |3831 | 946 |8488 | 15k|1805 | 0.000000e+00 | 1.200000e+01 | Inf
53.79/53.88 c 51.3s| 30000 | 575 |124014 | 4.1 | 28M|1675 | 1 |3831 |8747 |3831 | 928 | 10k| 21k|1805 | 0.000000e+00 | 1.200000e+01 | Inf
71.58/71.68 c 68.1s| 40000 | 623 |190480 | 4.8 | 29M|1675 | 1 |3831 |7467 |3831 | 937 | 13k| 34k|1805 | 0.000000e+00 | 1.200000e+01 | Inf
75.08/75.16 o 9
75.08/75.16 c *71.4s| 42064 | 558 |202823 | 4.8 | 29M|1675 | - |3831 |8141 |3831 | 951 | 13k| 37k|1805 | 0.000000e+00 | 9.000000e+00 | Inf
89.09/89.16 c 84.6s| 50000 | 588 |254788 | 5.1 | 29M|1675 | - |3831 |7521 |3831 | 941 | 16k| 47k|1908 | 0.000000e+00 | 9.000000e+00 | Inf
106.38/106.46 c 101s| 60000 | 683 |316569 | 5.3 | 31M|1675 | 24 |3831 | 11k|3831 | 952 | 19k| 61k|2070 | 0.000000e+00 | 9.000000e+00 | Inf
124.09/124.16 c 118s| 70000 | 680 |377595 | 5.4 | 33M|1675 | - |3831 | 12k| 0 | 0 | 22k| 74k|2234 | 0.000000e+00 | 9.000000e+00 | Inf
141.98/142.01 c 135s| 80000 | 781 |436078 | 5.4 | 34M|1675 | - |3831 | 13k| 0 | 0 | 24k| 87k|2407 | 0.000000e+00 | 9.000000e+00 | Inf
159.49/159.55 c 151s| 90000 | 928 |493551 | 5.5 | 35M|1675 | 23 |3831 |9594 |3831 | 965 | 27k| 100k|2681 | 0.000000e+00 | 9.000000e+00 | Inf
176.79/176.88 c 168s|100000 | 883 |550981 | 5.5 | 35M|1675 | - |3831 |9415 | 0 | 0 | 29k| 113k|2833 | 0.000000e+00 | 9.000000e+00 | Inf
195.18/195.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.18/195.23 c 185s|110000 | 840 |613863 | 5.6 | 36M|1675 | - |3831 |9182 | 0 | 0 | 32k| 126k|3082 | 0.000000e+00 | 9.000000e+00 | Inf
212.29/212.32 c 201s|120000 | 884 |667623 | 5.6 | 38M|1675 | 1 |3831 | 12k|3831 | 922 | 34k| 139k|3186 | 0.000000e+00 | 9.000000e+00 | Inf
230.78/230.82 c 219s|130000 | 1115 |731552 | 5.6 | 40M|1675 | - |3831 | 11k| 0 | 0 | 38k| 152k|3371 | 0.000000e+00 | 9.000000e+00 | Inf
250.38/250.42 c 237s|140000 | 1249 |798355 | 5.7 | 43M|1675 | - |3831 | 14k| 0 | 0 | 43k| 165k|3530 | 0.000000e+00 | 9.000000e+00 | Inf
270.39/270.50 c 256s|150000 | 1308 |862927 | 5.8 | 44M|1675 | - |3831 | 15k| 0 | 0 | 46k| 178k|3638 | 0.000000e+00 | 9.000000e+00 | Inf
291.78/291.87 c 277s|160000 | 1423 |937987 | 5.9 | 47M|1675 | 1 |3831 | 17k|3831 | 964 | 51k| 192k|3797 | 0.000000e+00 | 9.000000e+00 | Inf
312.38/312.49 c 296s|170000 | 1335 | 1002k| 5.9 | 46M|1675 | 1 |3831 | 15k|3831 | 928 | 55k| 205k|3998 | 0.000000e+00 | 9.000000e+00 | Inf
331.99/332.02 c 315s|180000 | 1540 | 1061k| 5.9 | 49M|1675 | - |3831 | 17k| 0 | 0 | 57k| 218k|4143 | 0.000000e+00 | 9.000000e+00 | Inf
352.08/352.15 c 334s|190000 | 1710 | 1123k| 5.9 | 51M|1675 | 7 |3831 | 16k|3831 | 941 | 60k| 231k|4289 | 0.000000e+00 | 9.000000e+00 | Inf
372.18/372.23 c 353s|200000 | 1827 | 1184k| 5.9 | 53M|1675 | - |3831 | 18k|3831 | 954 | 64k| 245k|4373 | 0.000000e+00 | 9.000000e+00 | Inf
392.48/392.52 c 372s|210000 | 1844 | 1248k| 5.9 | 53M|1675 | - |3831 | 15k| 0 | 0 | 67k| 258k|4483 | 0.000000e+00 | 9.000000e+00 | Inf
413.08/413.16 c 392s|220000 | 2085 | 1316k| 6.0 | 56M|1675 | 11 |3831 | 16k|3831 | 937 | 71k| 272k|4620 | 0.000000e+00 | 9.000000e+00 | Inf
432.88/432.98 c 411s|230000 | 2200 | 1377k| 6.0 | 58M|1675 | - |3831 | 18k| 0 | 0 | 74k| 287k|4745 | 0.000000e+00 | 9.000000e+00 | Inf
452.88/452.96 c 430s|240000 | 2157 | 1439k| 6.0 | 59M|1675 | - |3831 | 18k| 0 | 0 | 77k| 301k|4850 | 0.000000e+00 | 9.000000e+00 | Inf
474.09/474.19 c 450s|250000 | 2268 | 1507k| 6.0 | 60M|1675 | 11 |3831 | 18k|3831 | 935 | 81k| 315k|4937 | 0.000000e+00 | 9.000000e+00 | Inf
493.79/493.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
493.79/493.89 c 469s|260000 | 2357 | 1568k| 6.0 | 62M|1675 | 1 |3831 | 20k|3831 | 953 | 83k| 329k|5013 | 0.000000e+00 | 9.000000e+00 | Inf
514.39/514.40 c 488s|270000 | 2362 | 1631k| 6.0 | 63M|1675 | 8 |3831 | 19k|3831 | 954 | 86k| 343k|5098 | 0.000000e+00 | 9.000000e+00 | Inf
534.29/534.35 c 507s|280000 | 2341 | 1687k| 6.0 | 63M|1675 | - |3831 | 18k| 0 | 0 | 88k| 357k|5184 | 0.000000e+00 | 9.000000e+00 | Inf
555.09/555.14 c 527s|290000 | 2331 | 1752k| 6.0 | 63M|1675 | - |3831 | 17k| 0 | 0 | 91k| 370k|5273 | 0.000000e+00 | 9.000000e+00 | Inf
575.69/575.74 c 547s|300000 | 2317 | 1818k| 6.1 | 64M|1675 | - |3831 | 17k| 0 | 0 | 93k| 384k|5369 | 0.000000e+00 | 9.000000e+00 | Inf
596.39/596.41 c 566s|310000 | 2495 | 1887k| 6.1 | 66M|1675 | 1 |3831 | 19k|3831 | 943 | 96k| 398k|5477 | 0.000000e+00 | 9.000000e+00 | Inf
616.69/616.77 c 586s|320000 | 2627 | 1951k| 6.1 | 68M|1675 | 25 |3831 | 19k|3831 | 966 | 99k| 412k|5577 | 0.000000e+00 | 9.000000e+00 | Inf
636.29/636.39 c 605s|330000 | 2634 | 2006k| 6.1 | 69M|1675 | 11 |3831 | 20k|3831 | 934 | 101k| 427k|5649 | 0.000000e+00 | 9.000000e+00 | Inf
656.89/656.90 c 624s|340000 | 2622 | 2065k| 6.1 | 70M|1675 | 25 |3831 | 20k|3831 | 942 | 103k| 441k|5717 | 0.000000e+00 | 9.000000e+00 | Inf
678.59/678.66 c 645s|350000 | 2903 | 2142k| 6.1 | 72M|1675 | 26 |3831 | 19k|3831 | 968 | 109k| 455k|5830 | 0.000000e+00 | 9.000000e+00 | Inf
700.20/700.21 c 665s|360000 | 3092 | 2213k| 6.1 | 75M|1675 | 24 |3831 | 20k|3831 | 942 | 113k| 468k|5906 | 0.000000e+00 | 9.000000e+00 | Inf
721.99/722.03 c 686s|370000 | 3231 | 2286k| 6.2 | 77M|1675 | 1 |3831 | 21k|3831 | 957 | 117k| 483k|5990 | 0.000000e+00 | 9.000000e+00 | Inf
744.30/744.36 c 708s|380000 | 3358 | 2360k| 6.2 | 78M|1675 | 32 |3831 | 20k|3831 | 967 | 121k| 498k|6074 | 0.000000e+00 | 9.000000e+00 | Inf
765.90/765.93 c 728s|390000 | 3346 | 2431k| 6.2 | 80M|1675 | - |3831 | 21k| 0 | 0 | 124k| 512k|6165 | 0.000000e+00 | 9.000000e+00 | Inf
787.80/787.81 c 749s|400000 | 3467 | 2501k| 6.3 | 81M|1675 | 21 |3831 | 21k|3831 | 951 | 129k| 525k|6248 | 0.000000e+00 | 9.000000e+00 | Inf
809.20/809.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.20/809.22 c 770s|410000 | 3458 | 2567k| 6.3 | 82M|1675 | 1 |3831 | 22k|3831 | 971 | 132k| 540k|6323 | 0.000000e+00 | 9.000000e+00 | Inf
831.40/831.47 c 791s|420000 | 3557 | 2640k| 6.3 | 83M|1675 | 22 |3831 | 20k|3831 | 972 | 136k| 554k|6431 | 0.000000e+00 | 9.000000e+00 | Inf
852.20/852.26 c 811s|430000 | 3514 | 2705k| 6.3 | 83M|1675 | - |3831 | 21k| 0 | 0 | 139k| 568k|6525 | 0.000000e+00 | 9.000000e+00 | Inf
873.10/873.13 c 831s|440000 | 3434 | 2764k| 6.3 | 83M|1675 | 1 |3831 | 21k|3831 | 938 | 142k| 582k|6582 | 0.000000e+00 | 9.000000e+00 | Inf
893.70/893.73 c 850s|450000 | 3393 | 2822k| 6.3 | 83M|1675 | - |3831 | 20k|3831 | 966 | 145k| 595k|6634 | 0.000000e+00 | 9.000000e+00 | Inf
913.70/913.77 c 869s|460000 | 3411 | 2878k| 6.3 | 84M|1675 | - |3831 | 22k| 0 | 0 | 148k| 609k|6705 | 0.000000e+00 | 9.000000e+00 | Inf
934.91/934.95 c 890s|470000 | 3484 | 2937k| 6.2 | 85M|1675 | 18 |3831 | 21k|3831 | 966 | 151k| 622k|6794 | 0.000000e+00 | 9.000000e+00 | Inf
955.40/955.41 c 909s|480000 | 3571 | 2995k| 6.2 | 86M|1675 | 18 |3831 | 21k|3831 | 942 | 153k| 635k|6877 | 0.000000e+00 | 9.000000e+00 | Inf
976.30/976.32 c 929s|490000 | 3792 | 3051k| 6.2 | 88M|1675 | 1 |3831 | 22k|3831 | 938 | 157k| 648k|6937 | 0.000000e+00 | 9.000000e+00 | Inf
997.51/997.55 c 949s|500000 | 3892 | 3107k| 6.2 | 90M|1675 | - |3831 | 23k| 0 | 0 | 160k| 662k|6969 | 0.000000e+00 | 9.000000e+00 | Inf
1019.20/1019.28 c 970s|510000 | 4024 | 3171k| 6.2 | 90M|1675 | 8 |3831 | 20k|3831 | 953 | 164k| 677k|7037 | 0.000000e+00 | 9.000000e+00 | Inf
1039.51/1039.54 c 989s|520000 | 4030 | 3230k| 6.2 | 90M|1675 | - |3831 | 17k| 0 | 0 | 167k| 690k|7118 | 0.000000e+00 | 9.000000e+00 | Inf
1059.91/1059.91 c 1009s|530000 | 4076 | 3293k| 6.2 | 92M|1675 | 28 |3831 | 20k|3831 | 959 | 170k| 704k|7201 | 0.000000e+00 | 9.000000e+00 | Inf
1064.01/1064.06 o 6
1064.01/1064.06 c *1013s|532090 | 3687 | 3305k| 6.2 | 84M|1675 | - |3831 | 21k|3831 | 953 | 170k| 706k|7206 | 0.000000e+00 | 6.000000e+00 | Inf
1079.90/1079.91 c 1028s|540000 | 3668 | 3353k| 6.2 | 83M|1675 | - |3831 | 18k| 0 | 0 | 172k| 717k|7259 | 0.000000e+00 | 6.000000e+00 | Inf
1099.30/1099.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1099.30/1099.39 c 1046s|550000 | 3772 | 3416k| 6.2 | 85M|1675 | 1 |3831 | 20k|3831 | 952 | 175k| 730k|7298 | 0.000000e+00 | 6.000000e+00 | Inf
1119.31/1119.36 c 1065s|560000 | 3685 | 3477k| 6.2 | 84M|1675 | - |3831 | 18k| 0 | 0 | 177k| 744k|7396 | 0.000000e+00 | 6.000000e+00 | Inf
1139.70/1139.75 c 1085s|570000 | 3686 | 3547k| 6.2 | 85M|1675 | - |3831 | 18k| 0 | 0 | 179k| 757k|7475 | 0.000000e+00 | 6.000000e+00 | Inf
1159.21/1159.24 c 1103s|580000 | 3710 | 3599k| 6.2 | 86M|1675 | - |3831 | 21k| 0 | 0 | 182k| 771k|7527 | 0.000000e+00 | 6.000000e+00 | Inf
1181.20/1181.23 c 1124s|590000 | 3782 | 3660k| 6.2 | 88M|1675 | 19 |3831 | 21k|3831 | 943 | 184k| 784k|7565 | 0.000000e+00 | 6.000000e+00 | Inf
1201.91/1201.97 c 1144s|600000 | 3794 | 3715k| 6.2 | 88M|1675 | 7 |3831 | 20k|3831 | 945 | 186k| 798k|7620 | 0.000000e+00 | 6.000000e+00 | Inf
1220.81/1220.80 o 3
1220.81/1220.80 c *1162s|609477 | 1712 | 3766k| 6.2 | 55M|1675 | - |3831 | 21k|3831 | 986 | 189k| 810k|7681 | 0.000000e+00 | 3.000000e+00 | Inf
1221.90/1221.92 c 1163s|610000 | 1729 | 3770k| 6.2 | 55M|1675 | 1 |3831 | 20k|3831 | 947 | 189k| 811k|7681 | 0.000000e+00 | 3.000000e+00 | Inf
1241.71/1241.76 c 1182s|620000 | 1892 | 3823k| 6.2 | 58M|1675 | - |3831 | 24k| 0 | 0 | 191k| 824k|7733 | 0.000000e+00 | 3.000000e+00 | Inf
1263.01/1263.02 c 1203s|630000 | 2052 | 3880k| 6.2 | 60M|1675 | 1 |3831 | 25k|3831 | 949 | 194k| 838k|7759 | 0.000000e+00 | 3.000000e+00 | Inf
1283.31/1283.37 c 1222s|640000 | 2052 | 3939k| 6.2 | 58M|1675 | - |3831 | 17k| 0 | 0 | 197k| 853k|7838 | 0.000000e+00 | 3.000000e+00 | Inf
1302.61/1302.60 c 1241s|650000 | 2051 | 4000k| 6.2 | 59M|1675 | - |3831 | 19k| 0 | 0 | 200k| 866k|7904 | 0.000000e+00 | 3.000000e+00 | Inf
1321.81/1321.84 c 1259s|660000 | 2067 | 4057k| 6.1 | 59M|1675 | - |3831 | 18k| 0 | 0 | 203k| 880k|7943 | 0.000000e+00 | 3.000000e+00 | Inf
1341.51/1341.58 c 1278s|670000 | 2084 | 4113k| 6.1 | 59M|1675 | 19 |3831 | 18k|3831 | 965 | 205k| 894k|7978 | 0.000000e+00 | 3.000000e+00 | Inf
1362.11/1362.17 c 1298s|680000 | 2081 | 4172k| 6.1 | 61M|1675 | - |3831 | 22k| 0 | 0 | 209k| 907k|8041 | 0.000000e+00 | 3.000000e+00 | Inf
1383.62/1383.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.62/1383.60 c 1318s|690000 | 2177 | 4231k| 6.1 | 62M|1675 | - |3831 | 23k| 0 | 0 | 211k| 921k|8086 | 0.000000e+00 | 3.000000e+00 | Inf
1405.32/1405.30 c 1339s|700000 | 2126 | 4294k| 6.1 | 61M|1675 | 15 |3831 | 21k|3831 | 953 | 215k| 935k|8151 | 0.000000e+00 | 3.000000e+00 | Inf
1427.12/1427.13 c 1360s|710000 | 2241 | 4354k| 6.1 | 63M|1675 | - |3831 | 24k| 0 | 0 | 219k| 949k|8181 | 0.000000e+00 | 3.000000e+00 | Inf
1450.31/1450.35 c 1383s|720000 | 2382 | 4419k| 6.1 | 64M|1675 | - |3831 | 23k|3831 | 945 | 223k| 962k|8232 | 0.000000e+00 | 3.000000e+00 | Inf
1473.22/1473.21 c 1405s|730000 | 2492 | 4487k| 6.1 | 66M|1675 | 24 |3831 | 24k|3831 | 945 | 227k| 976k|8322 | 0.000000e+00 | 3.000000e+00 | Inf
1495.02/1495.09 c 1426s|740000 | 2537 | 4549k| 6.1 | 66M|1675 | - |3831 | 24k| 0 | 0 | 231k| 990k|8382 | 0.000000e+00 | 3.000000e+00 | Inf
1517.22/1517.27 c 1447s|750000 | 2661 | 4619k| 6.2 | 67M|1675 | - |3831 | 24k| 0 | 0 | 235k|1004k|8441 | 0.000000e+00 | 3.000000e+00 | Inf
1538.72/1538.70 c 1468s|760000 | 2625 | 4682k| 6.2 | 67M|1675 | 15 |3831 | 22k|3831 | 956 | 238k|1019k|8478 | 0.000000e+00 | 3.000000e+00 | Inf
1560.11/1560.12 c 1488s|770000 | 2586 | 4747k| 6.2 | 67M|1675 | 1 |3831 | 22k|3831 | 940 | 242k|1033k|8560 | 0.000000e+00 | 3.000000e+00 | Inf
1581.31/1581.31 c 1509s|780000 | 2633 | 4811k| 6.2 | 68M|1675 | - |3831 | 24k| 0 | 0 | 245k|1047k|8617 | 0.000000e+00 | 3.000000e+00 | Inf
1602.52/1602.57 c 1529s|790000 | 2910 | 4875k| 6.2 | 70M|1675 | 20 |3831 | 24k|3831 | 939 | 248k|1062k|8645 | 0.000000e+00 | 3.000000e+00 | Inf
1623.72/1623.78 c 1549s|800000 | 2972 | 4939k| 6.2 | 70M|1675 | - |3831 | 22k| 0 | 0 | 251k|1076k|8714 | 0.000000e+00 | 3.000000e+00 | Inf
1644.22/1644.24 c 1569s|810000 | 3014 | 5000k| 6.2 | 71M|1675 | - |3831 | 23k| 0 | 0 | 253k|1091k|8768 | 0.000000e+00 | 3.000000e+00 | Inf
1665.22/1665.30 c 1589s|820000 | 3197 | 5066k| 6.2 | 73M|1675 | - |3831 | 23k| 0 | 0 | 256k|1105k|8799 | 0.000000e+00 | 3.000000e+00 | Inf
1685.53/1685.52 c 1609s|830000 | 3119 | 5127k| 6.2 | 73M|1675 | - |3831 | 24k| 0 | 0 | 259k|1121k|8826 | 0.000000e+00 | 3.000000e+00 | Inf
1706.52/1706.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1706.52/1706.53 c 1629s|840000 | 3042 | 5189k| 6.2 | 72M|1675 | 1 |3831 | 23k|3831 | 948 | 262k|1135k|8927 | 0.000000e+00 | 3.000000e+00 | Inf
1727.92/1727.91 c 1649s|850000 | 3006 | 5255k| 6.2 | 73M|1675 | 19 |3831 | 24k|3831 | 966 | 265k|1150k|8955 | 0.000000e+00 | 3.000000e+00 | Inf
1749.82/1749.87 c 1670s|860000 | 2905 | 5319k| 6.2 | 71M|1675 | 1 |3831 | 21k|3831 | 956 | 268k|1164k|9012 | 0.000000e+00 | 3.000000e+00 | Inf
1769.94/1769.93 c 1690s|870000 | 2803 | 5377k| 6.2 | 69M|1675 | - |3831 | 19k| 0 | 0 | 272k|1179k|9094 | 0.000000e+00 | 3.000000e+00 | Inf
1790.83/1790.81 c 1710s|880000 | 2681 | 5441k| 6.2 | 68M|1675 | 12 |3831 | 18k|3831 | 951 | 275k|1192k|9113 | 0.000000e+00 | 3.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1718.70
1800.03/1800.00 c Solving Nodes : 884469
1800.03/1800.00 c Primal Bound : +3.00000000000000e+00 (153 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/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.03/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.03/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.03/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.03/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.03/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.03/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.03/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
1800.03/1800.05 v -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.03/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.03/1800.05 v -x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1718.70
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2693489-1277906786.wbo
1800.03/1800.05 c Variables : 3945 (2088 binary, 0 integer, 0 implicit integer, 1857 continuous)
1800.03/1800.05 c Constraints : 4565 initial, 4565 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2693489-1277906786.wbo
1800.03/1800.05 c Variables : 3831 (2031 binary, 0 integer, 0 implicit integer, 1800 continuous)
1800.03/1800.05 c Constraints : 4434 initial, 26721 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.04 0 0 0 1864 0 74 62 0
1800.03/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1767 - - 3534 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 523336 0 39 868 0 0 945968
1800.03/1800.05 c indicator : 1800 0 4564706 49366 0 109 1484120 0 0 0
1800.03/1800.05 c setppc : 5 6 4556171 41288 0 23488 826052 0 0 0
1800.03/1800.05 c linear : 1800 6 4576046 45486 0 209311 20241761 277453 0 0
1800.03/1800.05 c logicor : 829+ 6 1693266 13802 0 198805 4138320 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 90 0 0 0 2 0 0 0
1800.03/1800.05 c countsols : 0 0 0 13802 0 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 22.00 0.00 0.00 22.00 0.00
1800.03/1800.05 c indicator : 9.34 0.00 7.67 1.67 0.00
1800.03/1800.05 c setppc : 5.79 0.00 5.78 0.01 0.00
1800.03/1800.05 c linear : 146.56 0.00 144.04 2.52 0.00
1800.03/1800.05 c logicor : 251.22 0.00 251.07 0.15 0.00
1800.03/1800.05 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.01 2 0 0
1800.03/1800.05 c rootredcost : 0.00 44 0 1767
1800.03/1800.05 c pseudoobj : 152.76 4605396 1509 1098978
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 21.07 433113 432667 2571198 29.1 15326 24.7 -
1800.03/1800.05 c infeasible LP : 8.29 31779 31779 248889 46.0 309 15.6 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.01 51 51 265 17.9 64 4.8 -
1800.03/1800.05 c applied globally : - - - 1199060 24.0 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 5 - - 29 - (maximal pool size: 147)
1800.03/1800.05 c redcost : 26.17 527447 0 342620 0 0
1800.03/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.09 6 0 0 838 0
1800.03/1800.05 c strongcg : 0.05 6 0 0 79 0
1800.03/1800.05 c cmir : 0.03 6 0 0 0 0
1800.03/1800.05 c flowcover : 0.06 6 0 0 0 0
1800.03/1800.05 c clique : 0.00 6 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 1 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 21.90 473679 39 868 0 0 945968
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 1.56 13759 0 0 0 0 27518
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.04 - 43
1800.03/1800.05 c pseudo solutions : 0.00 - 0
1800.03/1800.05 c feaspump : 0.01 1 0
1800.03/1800.05 c oneopt : 0.18 35 0
1800.03/1800.05 c intshifting : 0.00 8 0
1800.03/1800.05 c guideddiving : 0.08 62 0
1800.03/1800.05 c veclendiving : 0.07 62 0
1800.03/1800.05 c linesearchdiving : 0.05 63 0
1800.03/1800.05 c coefdiving : 0.04 63 0
1800.03/1800.05 c pscostdiving : 0.07 63 0
1800.03/1800.05 c fracdiving : 0.10 63 0
1800.03/1800.05 c rootsoldiving : 0.12 52 0
1800.03/1800.05 c crossover : 0.81 35 0
1800.03/1800.05 c objpscostdiving : 0.03 53 0
1800.03/1800.05 c trivial : 0.01 2 0
1800.03/1800.05 c simplerounding : 0.49 474424 0
1800.03/1800.05 c zirounding : 0.26 1000 0
1800.03/1800.05 c rounding : 1.75 9668 0
1800.03/1800.05 c shifting : 1.08 3009 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.02 1 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.01 0 0
1800.03/1800.05 c trysol : 1.71 6213 110
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.01 0 0 0.00 0.00
1800.03/1800.05 c dual LP : 634.95 541653 5470338 10.10 8615.38
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.18 95 1491 15.69 8283.33
1800.03/1800.05 c strong branching : 17.86 9164 191279 20.87 10709.91
1800.03/1800.05 c (at root node) : - 33 6034 182.85 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 884469
1800.03/1800.05 c nodes (total) : 884469
1800.03/1800.05 c nodes left : 2644
1800.03/1800.05 c max depth : 1675
1800.03/1800.05 c max depth (total): 1675
1800.03/1800.05 c backtracks : 86266 (9.8%)
1800.03/1800.05 c delayed cutoffs : 69935
1800.03/1800.05 c repropagations : 2220048 (4930540 domain reductions, 67282 cutoffs)
1800.03/1800.05 c avg switch length: 6.58
1800.03/1800.05 c switching time : 245.30
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 153 (44 improvements)
1800.03/1800.05 c First Solution : +9.07310000000000e+04 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 609477 nodes, 1162.08 seconds, depth 47, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 294
1800.13/1800.14 c Time complete: 1800.16.