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-2693507-1277907796.wbo>
0.01/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 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.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.01/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.13 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.18 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (6 rounds):
0.09/0.18 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.18 c 2006 implications, 5 cliques
0.09/0.18 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.18 c 1811 constraints of type <indicator>
0.09/0.18 c 5 constraints of type <setppc>
0.09/0.18 c 1811 constraints of type <linear>
0.09/0.18 c 807 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.11
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.97
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 92548
0.19/0.20 c y 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 53 | - | 14M| 0 | 23 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 114 | - | 14M| 0 | 30 |3853 |4434 |3853 | 851 | 39 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 135 | - | 14M| 0 | 27 |3853 |4434 |3853 | 868 | 56 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 154 | - | 14M| 0 | 29 |3853 |4434 |3853 | 876 | 64 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 180 | - | 14M| 0 | 26 |3853 |4434 |3853 | 886 | 74 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.79/0.85 c 0.8s| 1 | 2 | 253 | - | 15M| 0 | 28 |3853 |4434 |3853 | 893 | 81 | 0 | 28 | 0.000000e+00 | 9.254800e+04 | Inf
21.90/21.94 c 21.5s| 10000 | 9990 | 30172 | 3.0 | 40M| 305 | 0 |3853 |4461 |3853 | 955 |5520 | 36 |1408 | 0.000000e+00 | 9.254800e+04 | Inf
23.39/23.48 o 1007
23.39/23.48 c *23.0s| 11296 | 11241 | 30938 | 2.7 | 43M| 305 | - |3853 |4460 |3853 | 932 |5686 | 36 |1416 | 0.000000e+00 | 1.007000e+03 | Inf
25.20/25.22 o 771
25.20/25.22 c *24.7s| 12369 | 11640 | 33033 | 2.7 | 44M| 305 | - |3853 |4460 |3853 | 962 |6109 | 36 |1428 | 0.000000e+00 | 7.710000e+02 | Inf
26.09/26.10 o 511
26.09/26.10 c *25.5s| 12942 | 9722 | 33764 | 2.6 | 41M| 305 | - |3853 |4478 |3853 | 953 |6246 | 54 |1429 | 0.000000e+00 | 5.110000e+02 | Inf
27.79/27.85 o 470
27.79/27.85 c *27.2s| 13932 | 10085 | 35201 | 2.5 | 42M| 305 | - |3853 |4593 |3853 | 948 |6603 | 173 |1430 | 0.000000e+00 | 4.700000e+02 | Inf
31.69/31.78 o 443
31.69/31.78 c *31.1s| 16148 | 11616 | 38739 | 2.4 | 46M| 305 | - |3853 |5473 |3853 | 931 |7369 |1198 |1452 | 0.000000e+00 | 4.430000e+02 | Inf
36.69/36.77 o 428
36.69/36.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.69/36.77 c *36.0s| 18813 | 13736 | 44872 | 2.4 | 52M| 305 | - |3853 |5801 |3853 | 938 |8468 |2119 |1496 | 0.000000e+00 | 4.280000e+02 | Inf
36.69/36.78 o 397
36.69/36.78 c *36.0s| 18814 | 13232 | 44872 | 2.4 | 51M| 305 | - |3853 |5801 |3853 | 938 |8468 |2119 |1496 | 0.000000e+00 | 3.970000e+02 | Inf
38.09/38.19 o 347
38.09/38.19 c *37.4s| 19545 | 12780 | 46668 | 2.4 | 49M| 305 | - |3853 |5861 |3853 | 932 |8747 |2373 |1519 | 0.000000e+00 | 3.470000e+02 | Inf
38.19/38.26 o 333
38.19/38.26 c *37.4s| 19575 | 12437 | 46697 | 2.4 | 49M| 305 | - |3853 |5877 |3853 | 932 |8751 |2396 |1519 | 0.000000e+00 | 3.330000e+02 | Inf
38.29/38.37 o 330
38.29/38.37 c *37.5s| 19655 | 12411 | 46758 | 2.4 | 49M| 305 | - |3853 |5882 |3853 | 922 |8759 |2406 |1519 | 0.000000e+00 | 3.300000e+02 | Inf
38.29/38.38 o 279
38.29/38.38 c *37.5s| 19656 | 10830 | 46759 | 2.4 | 45M| 305 | - |3853 |5882 |3853 | 922 |8759 |2406 |1519 | 0.000000e+00 | 2.790000e+02 | Inf
38.59/38.66 o 260
38.59/38.66 c *37.8s| 19842 | 10379 | 46865 | 2.3 | 45M| 305 | - |3853 |5912 |3853 | 924 |8789 |2443 |1519 | 0.000000e+00 | 2.600000e+02 | Inf
38.79/38.87 o 252
38.79/38.87 c *38.0s| 19973 | 10259 | 47023 | 2.3 | 45M| 305 | - |3853 |5887 |3853 | 924 |8816 |2452 |1519 | 0.000000e+00 | 2.520000e+02 | Inf
38.89/38.93 c 38.1s| 20000 | 10276 | 47058 | 2.3 | 45M| 305 | - |3853 |5928 | 0 | 0 |8819 |2493 |1519 | 0.000000e+00 | 2.520000e+02 | Inf
38.89/38.99 o 223
38.89/38.99 c *38.1s| 20029 | 9273 | 47073 | 2.3 | 43M| 305 | - |3853 |5924 |3853 | 936 |8828 |2502 |1519 | 0.000000e+00 | 2.230000e+02 | Inf
38.89/38.99 o 206
38.89/38.99 c *38.2s| 20030 | 8634 | 47073 | 2.3 | 42M| 305 | - |3853 |5924 |3853 | 936 |8828 |2502 |1519 | 0.000000e+00 | 2.060000e+02 | Inf
43.39/43.45 o 200
43.39/43.45 c *42.5s| 22157 | 10041 | 52817 | 2.4 | 46M| 305 | - |3853 |5829 |3853 | 967 |9892 |3552 |1566 | 0.000000e+00 | 2.000000e+02 | Inf
44.19/44.22 o 196
44.19/44.22 c *43.2s| 22507 | 10133 | 53893 | 2.4 | 47M| 305 | - |3853 |5894 |3853 | 921 | 10k|3806 |1572 | 0.000000e+00 | 1.960000e+02 | Inf
44.19/44.22 o 189
44.19/44.22 c *43.3s| 22508 | 9866 | 53893 | 2.4 | 46M| 305 | - |3853 |5894 |3853 | 921 | 10k|3806 |1572 | 0.000000e+00 | 1.890000e+02 | Inf
44.19/44.28 o 181
44.19/44.28 c *43.3s| 22531 | 9559 | 53960 | 2.4 | 46M| 305 | - |3853 |5885 |3853 | 923 | 10k|3807 |1572 | 0.000000e+00 | 1.810000e+02 | Inf
44.19/44.28 o 174
44.19/44.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.19/44.28 c *43.3s| 22532 | 9252 | 53960 | 2.4 | 45M| 305 | - |3853 |5885 |3853 | 923 | 10k|3807 |1572 | 0.000000e+00 | 1.740000e+02 | Inf
44.39/44.46 o 171
44.39/44.46 c *43.5s| 22568 | 9121 | 54538 | 2.4 | 45M| 305 | - |3853 |5851 |3853 | 944 | 10k|3815 |1591 | 0.000000e+00 | 1.710000e+02 | Inf
44.39/44.47 o 154
44.39/44.47 c *43.5s| 22572 | 8331 | 54538 | 2.4 | 43M| 305 | - |3853 |5851 |3853 | 944 | 10k|3815 |1591 | 0.000000e+00 | 1.540000e+02 | Inf
44.59/44.60 o 144
44.59/44.60 c *43.6s| 22624 | 7961 | 54831 | 2.4 | 42M| 305 | - |3853 |5858 |3853 | 918 | 10k|3843 |1591 | 0.000000e+00 | 1.440000e+02 | Inf
44.59/44.61 o 123
44.59/44.61 c *43.6s| 22625 | 7133 | 54833 | 2.4 | 40M| 305 | - |3853 |5858 |3853 | 918 | 10k|3843 |1591 | 0.000000e+00 | 1.230000e+02 | Inf
45.99/46.01 o 117
45.99/46.01 c *45.0s| 23112 | 7101 | 57988 | 2.5 | 41M| 305 | - |3853 |5796 |3853 | 931 | 10k|4296 |1614 | 0.000000e+00 | 1.170000e+02 | Inf
45.99/46.03 o 108
45.99/46.03 c *45.0s| 23120 | 6605 | 57988 | 2.5 | 39M| 305 | - |3853 |5796 |3853 | 931 | 10k|4296 |1614 | 0.000000e+00 | 1.080000e+02 | Inf
45.99/46.03 o 100
45.99/46.03 c *45.0s| 23121 | 6126 | 57988 | 2.5 | 38M| 305 | - |3853 |5796 |3853 | 931 | 10k|4296 |1614 | 0.000000e+00 | 1.000000e+02 | Inf
46.09/46.11 o 97
46.09/46.11 c *45.1s| 23136 | 5817 | 58115 | 2.5 | 37M| 305 | - |3853 |5761 |3853 | 946 | 10k|4297 |1615 | 0.000000e+00 | 9.700000e+01 | Inf
46.09/46.15 o 96
46.09/46.15 c *45.1s| 23148 | 5747 | 58145 | 2.5 | 37M| 305 | - |3853 |5691 |3853 | 946 | 10k|4307 |1618 | 0.000000e+00 | 9.600000e+01 | Inf
46.09/46.15 o 93
46.09/46.15 c *45.1s| 23149 | 5551 | 58145 | 2.5 | 37M| 305 | - |3853 |5691 |3853 | 946 | 10k|4307 |1618 | 0.000000e+00 | 9.300000e+01 | Inf
46.49/46.59 o 80
46.49/46.59 c *45.5s| 23272 | 4853 | 59124 | 2.5 | 35M| 305 | - |3853 |5613 |3853 | 959 | 10k|4436 |1626 | 0.000000e+00 | 8.000000e+01 | Inf
46.90/46.92 o 70
46.90/46.92 c *45.9s| 23371 | 4440 | 59954 | 2.6 | 35M| 305 | - |3853 |5252 |3853 | 925 | 11k|4483 |1632 | 0.000000e+00 | 7.000000e+01 | Inf
46.90/46.93 o 68
46.90/46.93 c *45.9s| 23372 | 4325 | 59954 | 2.6 | 34M| 305 | - |3853 |5252 |3853 | 925 | 11k|4483 |1632 | 0.000000e+00 | 6.800000e+01 | Inf
47.59/47.69 o 67
47.59/47.69 c *46.6s| 23608 | 4375 | 62022 | 2.6 | 35M| 305 | - |3853 |4721 |3853 | 956 | 11k|4656 |1649 | 0.000000e+00 | 6.700000e+01 | Inf
47.69/47.75 o 49
47.69/47.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.69/47.75 c *46.7s| 23626 | 3343 | 62139 | 2.6 | 32M| 305 | - |3853 |4674 |3853 | 971 | 11k|4661 |1651 | 0.000000e+00 | 4.900000e+01 | Inf
47.69/47.76 o 45
47.69/47.76 c *46.7s| 23627 | 3124 | 62139 | 2.6 | 31M| 305 | - |3853 |4674 |3853 | 971 | 11k|4661 |1651 | 0.000000e+00 | 4.500000e+01 | Inf
47.69/47.79 o 44
47.69/47.79 c *46.7s| 23632 | 3103 | 62197 | 2.6 | 31M| 305 | - |3853 |4219 |3853 | 944 | 11k|4661 |1651 | 0.000000e+00 | 4.400000e+01 | Inf
47.79/47.83 o 41
47.79/47.83 c *46.8s| 23646 | 3011 | 62226 | 2.6 | 31M| 305 | - |3853 |4184 |3853 | 954 | 11k|4661 |1651 | 0.000000e+00 | 4.100000e+01 | Inf
47.79/47.84 o 39
47.79/47.84 c *46.8s| 23647 | 2931 | 62231 | 2.6 | 30M| 305 | - |3853 |4183 |3853 | 954 | 11k|4661 |1651 | 0.000000e+00 | 3.900000e+01 | Inf
47.89/47.94 o 16
47.89/47.94 c *46.9s| 23692 | 2305 | 62549 | 2.6 | 29M| 305 | - |3853 |4084 |3853 | 942 | 11k|4671 |1652 | 0.000000e+00 | 1.600000e+01 | Inf
47.89/47.98 o 14
47.89/47.98 c *46.9s| 23704 | 2143 | 62604 | 2.6 | 28M| 305 | - |3853 |3636 |3853 | 937 | 11k|4678 |1652 | 0.000000e+00 | 1.400000e+01 | Inf
47.89/47.98 o 13
47.89/47.98 c *46.9s| 23705 | 2139 | 62604 | 2.6 | 28M| 305 | - |3853 |3636 |3853 | 937 | 11k|4678 |1652 | 0.000000e+00 | 1.300000e+01 | Inf
47.99/48.05 o 9
47.99/48.05 c *47.0s| 23715 | 1567 | 62823 | 2.6 | 27M| 305 | - |3853 |3568 |3853 | 899 | 11k|4703 |1655 | 0.000000e+00 | 9.000000e+00 | Inf
59.40/59.40 c 58.0s| 30000 | 1693 |111608 | 3.7 | 30M| 305 | 11 |3853 |6690 |3853 | 944 | 14k| 12k|1789 | 0.000000e+00 | 9.000000e+00 | Inf
60.59/60.69 o 8
60.59/60.69 c *59.2s| 30702 | 1695 |117218 | 3.8 | 31M| 305 | - |3853 |7129 |3853 | 959 | 14k| 13k|1789 | 0.000000e+00 | 8.000000e+00 | Inf
60.69/60.70 o 7
60.69/60.70 c *59.2s| 30703 | 1636 |117228 | 3.8 | 31M| 305 | - |3853 |7129 |3853 | 959 | 14k| 13k|1789 | 0.000000e+00 | 7.000000e+00 | Inf
62.19/62.23 o 5
62.19/62.23 c *60.7s| 31485 | 1557 |124059 | 3.9 | 30M| 305 | - |3853 |7246 |3853 | 965 | 14k| 15k|1789 | 0.000000e+00 | 5.000000e+00 | Inf
76.39/76.41 c 74.4s| 40000 | 1718 |177585 | 4.4 | 33M| 305 | - |3853 | 10k| 0 | 0 | 17k| 26k|1789 | 0.000000e+00 | 5.000000e+00 | Inf
84.30/84.30 o 4
84.30/84.30 c *82.0s| 44609 | 1725 |204441 | 4.6 | 34M| 305 | - |3853 | 10k|3853 | 930 | 18k| 33k|1805 | 0.000000e+00 | 4.000000e+00 | Inf
88.29/88.32 o 3
88.29/88.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.29/88.32 c *85.9s| 46932 | 1639 |218529 | 4.7 | 33M| 305 | - |3853 |9092 |3853 | 928 | 19k| 36k|1832 | 0.000000e+00 | 3.000000e+00 | Inf
90.00/90.00 o 1
90.00/90.00 c *87.6s| 47883 | 1572 |225342 | 4.7 | 32M| 305 | - |3853 |9205 |3853 | 921 | 19k| 37k|1844 | 0.000000e+00 | 1.000000e-00 | Inf
93.59/93.68 c 91.1s| 50000 | 1579 |239215 | 4.8 | 33M| 305 | - |3853 |9547 | 0 | 0 | 20k| 40k|1893 | 0.000000e+00 | 1.000000e-00 | Inf
111.29/111.36 c 108s| 60000 | 1553 |307406 | 5.1 | 34M| 305 | 16 |3853 | 12k|3853 | 919 | 23k| 53k|2076 | 0.000000e+00 | 1.000000e-00 | Inf
130.99/131.01 c 127s| 70000 | 1476 |384784 | 5.5 | 34M| 305 | 14 |3853 | 11k|3853 | 907 | 26k| 67k|2357 | 0.000000e+00 | 1.000000e-00 | Inf
149.29/149.32 c 145s| 80000 | 1545 |452413 | 5.7 | 37M| 305 | - |3853 | 17k|3853 | 949 | 28k| 80k|2559 | 0.000000e+00 | 1.000000e-00 | Inf
169.19/169.21 c 164s| 90000 | 1583 |520626 | 5.8 | 39M| 305 | - |3853 | 21k| 0 | 0 | 31k| 94k|2708 | 0.000000e+00 | 1.000000e-00 | Inf
191.30/191.33 c 186s|100000 | 1571 |598854 | 6.0 | 39M| 305 | 27 |3853 | 19k|3853 | 921 | 35k| 108k|2909 | 0.000000e+00 | 1.000000e-00 | Inf
211.50/211.50 c 206s|110000 | 1655 |671137 | 6.1 | 40M| 305 | - |3853 | 18k| 0 | 0 | 38k| 121k|3163 | 0.000000e+00 | 1.000000e-00 | Inf
232.30/232.33 c 226s|120000 | 1824 |738562 | 6.2 | 43M| 305 | 7 |3853 | 23k|3853 | 919 | 42k| 135k|3323 | 0.000000e+00 | 1.000000e-00 | Inf
254.60/254.68 c 248s|130000 | 1955 |812375 | 6.2 | 46M| 305 | 1 |3853 | 27k|3853 | 918 | 45k| 149k|3465 | 0.000000e+00 | 1.000000e-00 | Inf
277.20/277.25 c 270s|140000 | 1911 |879592 | 6.3 | 45M| 305 | 1 |3853 | 24k|3853 | 902 | 49k| 162k|3594 | 0.000000e+00 | 1.000000e-00 | Inf
299.90/299.91 c 292s|150000 | 1883 |957268 | 6.4 | 45M| 305 | 18 |3853 | 23k|3853 | 922 | 53k| 176k|3727 | 0.000000e+00 | 1.000000e-00 | Inf
322.90/322.93 c 314s|160000 | 1830 | 1029k| 6.4 | 46M| 305 | - |3853 | 25k| 0 | 0 | 56k| 190k|3868 | 0.000000e+00 | 1.000000e-00 | Inf
347.10/347.17 c 338s|170000 | 1691 | 1106k| 6.5 | 43M| 305 | 7 |3853 | 18k|3853 | 928 | 60k| 203k|4312 | 0.000000e+00 | 1.000000e-00 | Inf
368.41/368.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.41/368.45 c 359s|180000 | 1647 | 1176k| 6.5 | 43M| 305 | 26 |3853 | 20k|3853 | 915 | 63k| 216k|4370 | 0.000000e+00 | 1.000000e-00 | Inf
390.01/390.09 c 380s|190000 | 1494 | 1248k| 6.6 | 40M| 305 | - |3853 | 11k| 0 | 0 | 66k| 230k|4492 | 0.000000e+00 | 1.000000e-00 | Inf
409.61/409.67 c 399s|200000 | 1569 | 1330k| 6.7 | 43M| 305 | 22 |3853 | 17k|3853 | 909 | 70k| 243k|4603 | 0.000000e+00 | 1.000000e-00 | Inf
431.21/431.23 c 420s|210000 | 1678 | 1411k| 6.7 | 45M| 305 | 1 |3853 | 20k|3853 | 891 | 74k| 257k|4705 | 0.000000e+00 | 1.000000e-00 | Inf
452.81/452.82 c 441s|220000 | 1874 | 1490k| 6.8 | 48M| 305 | 20 |3853 | 23k|3853 | 905 | 79k| 271k|4790 | 0.000000e+00 | 1.000000e-00 | Inf
474.91/474.97 c 462s|230000 | 1861 | 1570k| 6.8 | 49M| 305 | 13 |3853 | 24k|3853 | 891 | 82k| 285k|4865 | 0.000000e+00 | 1.000000e-00 | Inf
496.41/496.43 c 483s|240000 | 1875 | 1639k| 6.8 | 49M| 305 | - |3853 | 23k| 0 | 0 | 86k| 298k|5088 | 0.000000e+00 | 1.000000e-00 | Inf
517.21/517.28 c 504s|250000 | 1848 | 1700k| 6.8 | 49M| 305 | - |3853 | 20k| 0 | 0 | 89k| 312k|5245 | 0.000000e+00 | 1.000000e-00 | Inf
536.81/536.87 c 523s|260000 | 1749 | 1765k| 6.8 | 48M| 305 | - |3853 | 18k| 0 | 0 | 93k| 325k|5314 | 0.000000e+00 | 1.000000e-00 | Inf
556.81/556.86 c 542s|270000 | 1751 | 1827k| 6.8 | 49M| 305 | - |3853 | 21k| 0 | 0 | 96k| 339k|5383 | 0.000000e+00 | 1.000000e-00 | Inf
577.41/577.40 c 562s|280000 | 1844 | 1890k| 6.7 | 51M| 305 | - |3853 | 25k|3853 | 934 | 99k| 353k|5460 | 0.000000e+00 | 1.000000e-00 | Inf
599.21/599.20 c 583s|290000 | 1964 | 1955k| 6.7 | 54M| 305 | 10 |3853 | 30k|3853 | 926 | 103k| 366k|5534 | 0.000000e+00 | 1.000000e-00 | Inf
623.31/623.30 c 607s|300000 | 2060 | 2021k| 6.7 | 56M| 305 | - |3853 | 35k| 0 | 0 | 106k| 380k|5590 | 0.000000e+00 | 1.000000e-00 | Inf
647.51/647.55 c 631s|310000 | 2121 | 2091k| 6.7 | 54M| 305 | 1 |3853 | 25k|3853 | 913 | 109k| 394k|5689 | 0.000000e+00 | 1.000000e-00 | Inf
669.21/669.20 c 652s|320000 | 2204 | 2156k| 6.7 | 56M| 305 | 16 |3853 | 30k|3853 | 915 | 113k| 408k|5742 | 0.000000e+00 | 1.000000e-00 | Inf
691.82/691.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.82/691.89 c 674s|330000 | 2061 | 2218k| 6.7 | 55M| 305 | - |3853 | 28k| 0 | 0 | 116k| 422k|5800 | 0.000000e+00 | 1.000000e-00 | Inf
714.31/714.39 c 696s|340000 | 2018 | 2277k| 6.7 | 56M| 305 | 16 |3853 | 30k|3853 | 924 | 120k| 436k|5881 | 0.000000e+00 | 1.000000e-00 | Inf
738.41/738.40 c 720s|350000 | 2082 | 2339k| 6.7 | 56M| 305 | 17 |3853 | 29k|3853 | 920 | 123k| 449k|5957 | 0.000000e+00 | 1.000000e-00 | Inf
764.32/764.36 c 745s|360000 | 2143 | 2409k| 6.7 | 58M| 305 | 20 |3853 | 32k|3853 | 911 | 126k| 462k|6017 | 0.000000e+00 | 1.000000e-00 | Inf
792.92/792.98 c 773s|370000 | 2174 | 2486k| 6.7 | 58M| 305 | - |3853 | 31k| 0 | 0 | 129k| 476k|6109 | 0.000000e+00 | 1.000000e-00 | Inf
816.32/816.38 c 796s|380000 | 2309 | 2545k| 6.7 | 61M| 305 | 24 |3853 | 37k|3853 | 949 | 132k| 490k|6166 | 0.000000e+00 | 1.000000e-00 | Inf
841.42/841.47 c 821s|390000 | 2338 | 2606k| 6.7 | 62M| 305 | 20 |3853 | 38k|3853 | 916 | 135k| 504k|6212 | 0.000000e+00 | 1.000000e-00 | Inf
867.11/867.14 c 846s|400000 | 2390 | 2667k| 6.7 | 62M| 305 | - |3853 | 38k| 0 | 0 | 138k| 517k|6282 | 0.000000e+00 | 1.000000e-00 | Inf
892.51/892.53 c 871s|410000 | 2538 | 2724k| 6.6 | 66M| 305 | - |3853 | 43k| 0 | 0 | 141k| 532k|6326 | 0.000000e+00 | 1.000000e-00 | Inf
918.92/918.90 c 897s|420000 | 2640 | 2783k| 6.6 | 67M| 305 | 13 |3853 | 43k|3853 | 926 | 144k| 546k|6371 | 0.000000e+00 | 1.000000e-00 | Inf
945.72/945.77 c 923s|430000 | 2674 | 2844k| 6.6 | 68M| 305 | - |3853 | 43k| 0 | 0 | 147k| 561k|6411 | 0.000000e+00 | 1.000000e-00 | Inf
972.72/972.75 c 949s|440000 | 2683 | 2911k| 6.6 | 69M| 305 | - |3853 | 45k| 0 | 0 | 150k| 575k|6480 | 0.000000e+00 | 1.000000e-00 | Inf
999.82/999.82 c 976s|450000 | 2626 | 2973k| 6.6 | 68M| 305 | - |3853 | 43k| 0 | 0 | 153k| 589k|6539 | 0.000000e+00 | 1.000000e-00 | Inf
1026.63/1026.69 c 1002s|460000 | 2691 | 3034k| 6.6 | 69M| 305 | - |3853 | 42k| 0 | 0 | 156k| 603k|6591 | 0.000000e+00 | 1.000000e-00 | Inf
1054.72/1054.72 c 1030s|470000 | 2882 | 3098k| 6.6 | 72M| 305 | - |3853 | 47k| 0 | 0 | 159k| 616k|6633 | 0.000000e+00 | 1.000000e-00 | Inf
1085.63/1085.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.63/1085.65 c 1060s|480000 | 3143 | 3164k| 6.6 | 75M| 305 | 1 |3853 | 50k|3853 | 925 | 162k| 630k|6677 | 0.000000e+00 | 1.000000e-00 | Inf
1117.42/1117.48 c 1092s|490000 | 3299 | 3235k| 6.6 | 78M| 305 | 8 |3853 | 53k|3853 | 937 | 165k| 644k|6727 | 0.000000e+00 | 1.000000e-00 | Inf
1150.32/1150.36 c 1124s|500000 | 3452 | 3303k| 6.6 | 80M| 305 | 17 |3853 | 54k|3853 | 933 | 168k| 659k|6770 | 0.000000e+00 | 1.000000e-00 | Inf
1184.43/1184.43 c 1157s|510000 | 3546 | 3379k| 6.6 | 82M| 305 | - |3853 | 55k| 0 | 0 | 171k| 674k|6853 | 0.000000e+00 | 1.000000e-00 | Inf
1216.13/1216.18 c 1189s|520000 | 3712 | 3446k| 6.6 | 84M| 305 | 23 |3853 | 57k|3853 | 942 | 173k| 689k|6907 | 0.000000e+00 | 1.000000e-00 | Inf
1248.73/1248.75 c 1221s|530000 | 3743 | 3522k| 6.6 | 83M| 305 | - |3853 | 51k| 0 | 0 | 176k| 704k|6960 | 0.000000e+00 | 1.000000e-00 | Inf
1279.73/1279.70 c 1251s|540000 | 3808 | 3587k| 6.6 | 85M| 305 | 1 |3853 | 55k|3853 | 944 | 179k| 719k|7002 | 0.000000e+00 | 1.000000e-00 | Inf
1312.94/1312.95 c 1284s|550000 | 3822 | 3654k| 6.6 | 85M| 305 | 1 |3853 | 54k|3853 | 924 | 182k| 734k|7059 | 0.000000e+00 | 1.000000e-00 | Inf
1346.34/1346.39 c 1317s|560000 | 3913 | 3723k| 6.6 | 86M| 305 | - |3853 | 53k|3853 | 925 | 185k| 748k|7109 | 0.000000e+00 | 1.000000e-00 | Inf
1382.94/1382.97 c 1353s|570000 | 3991 | 3799k| 6.7 | 87M| 305 | 9 |3853 | 55k|3853 | 925 | 188k| 763k|7161 | 0.000000e+00 | 1.000000e-00 | Inf
1416.33/1416.30 c 1385s|580000 | 4049 | 3868k| 6.7 | 90M| 305 | 17 |3853 | 59k|3853 | 929 | 191k| 779k|7219 | 0.000000e+00 | 1.000000e-00 | Inf
1449.64/1449.67 c 1418s|590000 | 4099 | 3936k| 6.7 | 90M| 305 | - |3853 | 57k|3853 | 950 | 194k| 795k|7266 | 0.000000e+00 | 1.000000e-00 | Inf
1482.85/1482.88 c 1451s|600000 | 4156 | 4012k| 6.7 | 92M| 305 | 8 |3853 | 59k|3853 | 947 | 196k| 811k|7320 | 0.000000e+00 | 1.000000e-00 | Inf
1517.04/1517.08 c 1484s|610000 | 4207 | 4082k| 6.7 | 90M| 305 | - |3853 | 53k| 0 | 0 | 199k| 827k|7371 | 0.000000e+00 | 1.000000e-00 | Inf
1549.74/1549.78 c 1517s|620000 | 4293 | 4152k| 6.7 | 92M| 305 | - |3853 | 55k| 0 | 0 | 202k| 841k|7416 | 0.000000e+00 | 1.000000e-00 | Inf
1583.65/1583.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1583.65/1583.66 c 1550s|630000 | 4249 | 4223k| 6.7 | 90M| 305 | 1 |3853 | 49k|3853 | 925 | 205k| 856k|7456 | 0.000000e+00 | 1.000000e-00 | Inf
1615.64/1615.61 c 1581s|640000 | 4300 | 4290k| 6.7 | 92M| 305 | - |3853 | 51k| 0 | 0 | 208k| 871k|7505 | 0.000000e+00 | 1.000000e-00 | Inf
1647.04/1647.03 c 1612s|650000 | 4390 | 4358k| 6.7 | 93M| 305 | 10 |3853 | 54k|3853 | 941 | 210k| 885k|7548 | 0.000000e+00 | 1.000000e-00 | Inf
1681.25/1681.28 c 1646s|660000 | 4434 | 4428k| 6.7 | 95M| 305 | 15 |3853 | 55k|3853 | 938 | 213k| 900k|7588 | 0.000000e+00 | 1.000000e-00 | Inf
1714.14/1714.12 c 1678s|670000 | 4447 | 4496k| 6.7 | 94M| 305 | 1 |3853 | 52k|3853 | 952 | 216k| 914k|7639 | 0.000000e+00 | 1.000000e-00 | Inf
1745.25/1745.28 c 1709s|680000 | 4359 | 4565k| 6.7 | 93M| 305 | 9 |3853 | 49k|3853 | 934 | 219k| 929k|7674 | 0.000000e+00 | 1.000000e-00 | Inf
1775.65/1775.69 c 1739s|690000 | 4362 | 4635k| 6.7 | 94M| 305 | - |3853 | 51k| 0 | 0 | 222k| 944k|7720 | 0.000000e+00 | 1.000000e-00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1762.50
1800.06/1800.00 c Solving Nodes : 697397
1800.06/1800.00 c Primal Bound : +1.00000000000000e-00 (171 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.03 s SATISFIABLE
1800.06/1800.03 v -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210
1800.06/1800.03 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 -x199 -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.06/1800.03 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 x170 -x169 -x168
1800.06/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.06/1800.03 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.06/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.06/1800.03 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80
1800.06/1800.03 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.06/1800.03 v -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 x31 -x30 -x29
1800.06/1800.03 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2
1800.06/1800.03 v -x1
1800.06/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.03 c Solving Time : 1762.50
1800.06/1800.03 c Original Problem :
1800.06/1800.03 c Problem name : HOME/instance-2693507-1277907796.wbo
1800.06/1800.03 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.06/1800.03 c Constraints : 4576 initial, 4576 maximal
1800.06/1800.03 c Presolved Problem :
1800.06/1800.03 c Problem name : t_HOME/instance-2693507-1277907796.wbo
1800.06/1800.03 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.06/1800.03 c Constraints : 4434 initial, 61531 maximal
1800.06/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.03 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.06/1800.03 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.06/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c probing : 0.04 0 0 0 0 0 0 0 0
1800.06/1800.03 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.06/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.03 c linear : 0.05 0 0 0 1876 0 85 67 0
1800.06/1800.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.06/1800.03 c root node : - 1811 - - 3622 - - - -
1800.06/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.03 c integral : 0 0 0 426668 0 69 1102 0 0 745988
1800.06/1800.03 c indicator : 1811 0 163529 24837 0 43 513322 0 0 0
1800.06/1800.03 c setppc : 5 6 3242375 49178 0 7764 641140 0 0 0
1800.06/1800.03 c linear : 1811 6 3261614 52529 0 226162 13679947 224517 0 0
1800.06/1800.03 c logicor : 807+ 6 1435210 20584 0 92581 3761149 0 0 0
1800.06/1800.03 c countsols : 0 0 0 20584 0 0 0 0 0 0
1800.06/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.03 c integral : 18.90 0.00 0.00 18.90 0.00
1800.06/1800.03 c indicator : 4.47 0.00 1.62 2.85 0.00
1800.06/1800.03 c setppc : 6.08 0.00 6.05 0.03 0.00
1800.06/1800.03 c linear : 135.28 0.00 132.74 2.54 0.00
1800.06/1800.03 c logicor : 397.47 0.00 397.33 0.14 0.00
1800.06/1800.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.03 c vbounds : 0.92 2 0 0
1800.06/1800.03 c rootredcost : 0.63 50 0 1811
1800.06/1800.03 c pseudoobj : 106.47 3270545 877 298818
1800.06/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.03 c propagation : 16.51 327384 327000 2081340 29.6 10215 23.8 -
1800.06/1800.03 c infeasible LP : 11.26 38787 38786 311341 47.5 354 17.4 0
1800.06/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.03 c pseudo solution : 0.01 73 73 398 19.3 124 6.1 -
1800.06/1800.03 c applied globally : - - - 954671 25.4 - - -
1800.06/1800.03 c applied locally : - - - 0 0.0 - - -
1800.06/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.03 c cut pool : 0.00 5 - - 19 - (maximal pool size: 265)
1800.06/1800.03 c redcost : 20.80 427412 0 191236 0 0
1800.06/1800.03 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.03 c intobj : 0.00 0 0 0 0 0
1800.06/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.03 c gomory : 0.06 6 0 0 1530 0
1800.06/1800.03 c strongcg : 0.02 6 0 0 79 0
1800.06/1800.03 c cmir : 0.04 6 0 0 1 0
1800.06/1800.03 c flowcover : 0.05 6 0 0 3 0
1800.06/1800.03 c clique : 0.00 6 0 0 0 0
1800.06/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.03 c mcf : 0.00 1 0 0 0 0
1800.06/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.03 c Pricers : Time Calls Vars
1800.06/1800.03 c problem variables: 0.00 0 0
1800.06/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.03 c relpscost : 18.55 373931 69 1102 0 0 745988
1800.06/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.03 c inference : 2.94 20535 0 0 0 0 41070
1800.06/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.03 c random : 0.00 0 0 0 0 0 0
1800.06/1800.03 c Primal Heuristics : Time Calls Found
1800.06/1800.03 c LP solutions : 0.03 - 49
1800.06/1800.03 c pseudo solutions : 0.00 - 0
1800.06/1800.03 c feaspump : 0.03 1 0
1800.06/1800.03 c oneopt : 0.40 37 0
1800.06/1800.03 c intshifting : 0.00 9 0
1800.06/1800.03 c crossover : 0.95 32 0
1800.06/1800.03 c guideddiving : 0.37 416 0
1800.06/1800.03 c coefdiving : 0.44 416 0
1800.06/1800.03 c pscostdiving : 0.45 417 0
1800.06/1800.03 c fracdiving : 0.49 417 0
1800.06/1800.03 c veclendiving : 0.49 417 0
1800.06/1800.03 c linesearchdiving : 0.52 417 0
1800.06/1800.03 c rootsoldiving : 0.44 401 0
1800.06/1800.03 c objpscostdiving : 0.32 402 0
1800.06/1800.03 c trivial : 0.01 2 0
1800.06/1800.03 c simplerounding : 0.64 374126 0
1800.06/1800.03 c zirounding : 0.38 1000 0
1800.06/1800.03 c rounding : 1.16 8580 0
1800.06/1800.03 c shifting : 0.73 2679 0
1800.06/1800.03 c twoopt : 0.00 0 0
1800.06/1800.03 c fixandinfer : 0.00 0 0
1800.06/1800.03 c intdiving : 0.00 0 0
1800.06/1800.03 c actconsdiving : 0.00 0 0
1800.06/1800.03 c octane : 0.00 0 0
1800.06/1800.03 c rens : 0.02 1 0
1800.06/1800.03 c rins : 0.00 0 0
1800.06/1800.03 c localbranching : 0.00 0 0
1800.06/1800.03 c mutation : 0.00 0 0
1800.06/1800.03 c dins : 0.00 0 0
1800.06/1800.03 c undercover : 0.00 0 0
1800.06/1800.03 c nlp : 0.29 0 0
1800.06/1800.03 c trysol : 0.58 1684 122
1800.06/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.03 c dual LP : 526.40 445541 4686609 10.52 8903.13
1800.06/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.03 c diving/probing LP: 0.23 133 1750 13.16 7608.70
1800.06/1800.03 c strong branching : 14.87 7757 155634 20.06 10466.31
1800.06/1800.03 c (at root node) : - 28 4281 152.89 -
1800.06/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.03 c B&B Tree :
1800.06/1800.03 c number of runs : 1
1800.06/1800.03 c nodes : 697397
1800.06/1800.03 c nodes (total) : 697397
1800.06/1800.03 c nodes left : 4464
1800.06/1800.03 c max depth : 305
1800.06/1800.03 c max depth (total): 305
1800.06/1800.03 c backtracks : 84432 (12.1%)
1800.06/1800.03 c delayed cutoffs : 64731
1800.06/1800.03 c repropagations : 1309581 (3839531 domain reductions, 62340 cutoffs)
1800.06/1800.03 c avg switch length: 5.15
1800.06/1800.03 c switching time : 295.10
1800.06/1800.03 c Solution :
1800.06/1800.03 c Solutions found : 171 (50 improvements)
1800.06/1800.03 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.06/1800.03 c Primal Bound : +1.00000000000000e-00 (in run 1, after 47883 nodes, 87.57 seconds, depth 28, found by <relaxation>)
1800.06/1800.03 c Dual Bound : +0.00000000000000e+00
1800.06/1800.03 c Gap : infinite
1800.06/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.03 c Root Iterations : 253
1800.16/1800.17 c Time complete: 1800.22.