0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2692757-1277901687.wbo>
0.00/0.03 c original problem has 3785 variables (2008 bin, 0 int, 0 impl, 1777 cont) and 4485 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, 1913 impls, 7 clqs
0.07/0.09 c (round 2) 0 del vars, 68 del conss, 1777 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.10 c (round 3) 53 del vars, 144 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 0 upgd conss, 1913 impls, 7 clqs
0.09/0.11 c (round 4) 118 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.12 c (round 5) 130 del vars, 156 del conss, 1789 chg bounds, 76 chg sides, 0 chg coeffs, 905 upgd conss, 1913 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/1943 (5.2%) - 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 (6 rounds):
0.09/0.17 c 130 deleted vars, 156 deleted constraints, 1789 tightened bounds, 0 added holes, 76 changed sides, 0 changed coefficients
0.09/0.17 c 1913 implications, 7 cliques
0.09/0.17 c presolved problem has 3655 variables (1943 bin, 0 int, 0 impl, 1712 cont) and 4329 constraints
0.09/0.17 c 1712 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1712 constraints of type <linear>
0.09/0.17 c 898 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.12
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.98
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 | 22 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 86784
0.09/0.18 c y 0.1s| 1 | 0 | 32 | - | 13M| 0 | 8 |3655 |4329 |3655 | 905 | 0 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 71 | - | 13M| 0 | 36 |3655 |4329 |3655 | 928 | 23 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 139 | - | 14M| 0 | 42 |3655 |4329 |3655 | 949 | 44 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.29/0.33 c 0.3s| 1 | 0 | 187 | - | 14M| 0 | 48 |3655 |4329 |3655 | 960 | 55 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 244 | - | 14M| 0 | 51 |3655 |4329 |3655 | 966 | 61 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 303 | - | 14M| 0 | 48 |3655 |4329 |3655 | 970 | 65 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
0.49/0.56 c 0.5s| 1 | 0 | 336 | - | 14M| 0 | 51 |3655 |4329 |3655 | 973 | 68 | 0 | 0 | 0.000000e+00 | 8.678400e+04 | Inf
1.20/1.23 c 1.2s| 1 | 2 | 336 | - | 14M| 0 | 51 |3655 |4329 |3655 | 973 | 68 | 0 | 33 | 0.000000e+00 | 8.678400e+04 | Inf
4.79/4.83 o 975
4.79/4.83 c * 4.7s| 1444 | 1293 | 1051 | 0.5 | 17M|1443 | - |3655 |4329 |3655 | 992 | 88 | 0 | 165 | 0.000000e+00 | 9.750000e+02 | Inf
19.39/19.48 c 19.1s| 10000 | 9840 | 9122 | 0.9 | 33M|1443 | 0 |3655 |4359 |3655 |1009 | 501 | 30 |1033 | 0.000000e+00 | 9.750000e+02 | Inf
33.49/33.54 c 33.0s| 20000 | 19825 | 18848 | 0.9 | 52M|1443 | 0 |3655 |4398 |3655 | 979 |1025 | 69 |1282 | 0.000000e+00 | 9.750000e+02 | Inf
34.10/34.16 o 615
34.10/34.16 c *33.6s| 20535 | 18380 | 19088 | 0.9 | 50M|1443 | - |3655 |4398 |3655 | 980 |1075 | 69 |1289 | 0.000000e+00 | 6.150000e+02 | Inf
34.90/34.99 o 598
34.90/34.99 c *34.4s| 21012 | 18553 | 19949 | 0.9 | 51M|1443 | - |3655 |4536 |3655 | 995 |1216 | 207 |1308 | 0.000000e+00 | 5.980000e+02 | Inf
35.10/35.13 o 559
35.10/35.13 c *34.6s| 21147 | 18134 | 19995 | 0.9 | 50M|1443 | - |3655 |4536 |3655 | 994 |1223 | 207 |1308 | 0.000000e+00 | 5.590000e+02 | Inf
36.20/36.29 o 558
36.20/36.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.20/36.29 c *35.7s| 21664 | 18577 | 21484 | 1.0 | 51M|1443 | - |3655 |4734 |3655 | 996 |1443 | 405 |1455 | 0.000000e+00 | 5.580000e+02 | Inf
36.20/36.29 o 553
36.20/36.29 c *35.7s| 21665 | 18507 | 21484 | 1.0 | 51M|1443 | - |3655 |4734 |3655 | 996 |1443 | 405 |1455 | 0.000000e+00 | 5.530000e+02 | Inf
38.40/38.42 o 547
38.40/38.42 c *37.8s| 22691 | 19239 | 26004 | 1.1 | 53M|1443 | - |3655 |5025 |3655 | 987 |1818 | 744 |1517 | 0.000000e+00 | 5.470000e+02 | Inf
39.29/39.30 o 533
39.29/39.30 c *38.6s| 23156 | 19123 | 27822 | 1.2 | 54M|1443 | - |3655 |5133 |3655 | 990 |1999 | 912 |1526 | 0.000000e+00 | 5.330000e+02 | Inf
39.80/39.86 o 512
39.80/39.86 c *39.2s| 23462 | 18586 | 28720 | 1.2 | 52M|1443 | - |3655 |5199 |3655 | 989 |2084 | 993 |1536 | 0.000000e+00 | 5.120000e+02 | Inf
40.29/40.32 o 504
40.29/40.32 c *39.6s| 23688 | 18564 | 29925 | 1.2 | 52M|1443 | - |3655 |5313 |3655 | 997 |2250 |1153 |1547 | 0.000000e+00 | 5.040000e+02 | Inf
40.40/40.46 o 488
40.40/40.46 c *39.8s| 23738 | 18374 | 30315 | 1.3 | 52M|1443 | - |3655 |5341 |3655 | 999 |2333 |1195 |1549 | 0.000000e+00 | 4.880000e+02 | Inf
42.90/42.98 o 480
42.90/42.98 c *42.2s| 24804 | 18984 | 36593 | 1.5 | 55M|1443 | - |3655 |5764 |3655 |1000 |3172 |2062 |1632 | 0.000000e+00 | 4.800000e+02 | Inf
43.19/43.20 o 475
43.19/43.20 c *42.5s| 24964 | 19036 | 36703 | 1.5 | 55M|1443 | - |3655 |5760 |3655 | 992 |3187 |2062 |1632 | 0.000000e+00 | 4.750000e+02 | Inf
43.40/43.42 o 470
43.40/43.42 c *42.7s| 25111 | 19075 | 36805 | 1.5 | 55M|1443 | - |3655 |5751 |3655 | 991 |3199 |2062 |1636 | 0.000000e+00 | 4.700000e+02 | Inf
44.79/44.86 o 443
44.79/44.86 c *44.1s| 25753 | 18683 | 40228 | 1.5 | 55M|1443 | - |3655 |5915 |3655 |1001 |3940 |2546 |1679 | 0.000000e+00 | 4.430000e+02 | Inf
45.00/45.01 o 439
45.00/45.01 c *44.2s| 25810 | 18590 | 40675 | 1.6 | 55M|1443 | - |3655 |5959 |3655 | 983 |4031 |2626 |1680 | 0.000000e+00 | 4.390000e+02 | Inf
45.39/45.47 o 438
45.39/45.47 c *44.7s| 26020 | 18765 | 41903 | 1.6 | 55M|1443 | - |3655 |5932 |3655 | 984 |4052 |2626 |1680 | 0.000000e+00 | 4.380000e+02 | Inf
45.49/45.53 o 392
45.49/45.53 c *44.7s| 26054 | 17738 | 41941 | 1.6 | 53M|1443 | - |3655 |5934 |3655 | 984 |4052 |2632 |1680 | 0.000000e+00 | 3.920000e+02 | Inf
45.59/45.66 o 381
45.59/45.66 c *44.9s| 26105 | 17597 | 42370 | 1.6 | 53M|1443 | - |3655 |5919 |3655 | 979 |4059 |2632 |1680 | 0.000000e+00 | 3.810000e+02 | Inf
45.59/45.66 o 375
45.59/45.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.59/45.66 c *44.9s| 26106 | 17489 | 42370 | 1.6 | 52M|1443 | - |3655 |5919 |3655 | 979 |4059 |2632 |1680 | 0.000000e+00 | 3.750000e+02 | Inf
46.50/46.59 o 373
46.50/46.59 c *45.8s| 26558 | 17892 | 44665 | 1.7 | 53M|1443 | - |3655 |5926 |3655 | 979 |4115 |2721 |1680 | 0.000000e+00 | 3.730000e+02 | Inf
46.60/46.63 o 357
46.60/46.63 c *45.8s| 26576 | 17645 | 44724 | 1.7 | 52M|1443 | - |3655 |5934 |3655 | 981 |4117 |2731 |1680 | 0.000000e+00 | 3.570000e+02 | Inf
46.60/46.63 o 351
46.60/46.63 c *45.8s| 26577 | 17590 | 44724 | 1.7 | 52M|1443 | - |3655 |5934 |3655 | 981 |4117 |2731 |1680 | 0.000000e+00 | 3.510000e+02 | Inf
50.39/50.44 o 345
50.39/50.44 c *49.5s| 27973 | 18140 | 58776 | 2.1 | 55M|1443 | - |3655 |6112 |3655 | 990 |4996 |4220 |1700 | 0.000000e+00 | 3.450000e+02 | Inf
54.90/54.98 c 54.0s| 30000 | 18978 | 70875 | 2.4 | 59M|1443 | 1 |3655 |6384 |3655 | 977 |6053 |6434 |1720 | 0.000000e+00 | 3.450000e+02 | Inf
57.09/57.12 o 334
57.09/57.12 c *56.1s| 30909 | 19075 | 77928 | 2.5 | 60M|1443 | - |3655 |6465 |3655 | 991 |6462 |7412 |1735 | 0.000000e+00 | 3.340000e+02 | Inf
57.59/57.66 o 331
57.59/57.66 c *56.7s| 31256 | 19347 | 78468 | 2.5 | 60M|1443 | - |3655 |6410 |3655 | 995 |6575 |7455 |1737 | 0.000000e+00 | 3.310000e+02 | Inf
57.69/57.79 o 325
57.69/57.79 c *56.8s| 31311 | 19261 | 78642 | 2.5 | 60M|1443 | - |3655 |6409 |3655 | 993 |6618 |7478 |1740 | 0.000000e+00 | 3.250000e+02 | Inf
58.40/58.49 o 309
58.40/58.49 c *57.5s| 31735 | 19123 | 79127 | 2.5 | 60M|1443 | - |3655 |6408 |3655 |1004 |6744 |7542 |1740 | 0.000000e+00 | 3.090000e+02 | Inf
58.80/58.83 o 280
58.80/58.83 c *57.8s| 31970 | 17854 | 79220 | 2.5 | 57M|1443 | - |3655 |6393 |3655 | 996 |6773 |7543 |1740 | 0.000000e+00 | 2.800000e+02 | Inf
59.00/59.07 o 244
59.00/59.07 c *58.0s| 32130 | 16013 | 79462 | 2.5 | 53M|1443 | - |3655 |6392 |3655 | 995 |6819 |7566 |1740 | 0.000000e+00 | 2.440000e+02 | Inf
59.40/59.47 o 211
59.40/59.47 c *58.4s| 32343 | 13889 | 80096 | 2.5 | 49M|1443 | - |3655 |6392 |3655 | 993 |6955 |7672 |1740 | 0.000000e+00 | 2.110000e+02 | Inf
59.49/59.51 o 204
59.49/59.51 c *58.5s| 32360 | 13385 | 80118 | 2.5 | 48M|1443 | - |3655 |6384 |3655 | 990 |6973 |7672 |1740 | 0.000000e+00 | 2.040000e+02 | Inf
59.59/59.68 o 175
59.59/59.68 c *58.6s| 32471 | 10666 | 80246 | 2.5 | 43M|1443 | - |3655 |6390 |3655 | 992 |7016 |7695 |1740 | 0.000000e+00 | 1.750000e+02 | Inf
61.60/61.64 o 167
61.60/61.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.60/61.64 c *60.6s| 33335 | 9691 | 84574 | 2.5 | 43M|1443 | - |3655 |6640 |3655 | 994 |7516 |8682 |1749 | 0.000000e+00 | 1.670000e+02 | Inf
64.10/64.10 o 142
64.10/64.10 c *63.0s| 34357 | 7333 | 91479 | 2.7 | 41M|1443 | - |3655 |6683 |3655 | 997 |7997 |9835 |1753 | 0.000000e+00 | 1.420000e+02 | Inf
67.29/67.39 o 140
67.29/67.39 c *66.2s| 35676 | 7326 | 99966 | 2.8 | 42M|1443 | - |3655 |6634 |3655 | 983 |8779 | 11k|1756 | 0.000000e+00 | 1.400000e+02 | Inf
67.40/67.40 o 128
67.40/67.40 c *66.2s| 35677 | 6012 | 99967 | 2.8 | 40M|1443 | - |3655 |6634 |3655 | 983 |8779 | 11k|1756 | 0.000000e+00 | 1.280000e+02 | Inf
68.49/68.53 o 105
68.49/68.53 c *67.3s| 36165 | 4416 |102132 | 2.8 | 37M|1443 | - |3655 |6062 |3655 | 985 |8966 | 12k|1761 | 0.000000e+00 | 1.050000e+02 | Inf
76.60/76.61 c 75.2s| 40000 | 4796 |117263 | 2.9 | 41M|1443 | 1 |3655 |6426 |3655 | 977 | 10k| 16k|1764 | 0.000000e+00 | 1.050000e+02 | Inf
80.39/80.42 o 104
80.39/80.42 c *79.0s| 41931 | 4913 |122707 | 2.9 | 43M|1443 | - |3655 |6436 |3655 | 972 | 10k| 18k|1770 | 0.000000e+00 | 1.040000e+02 | Inf
80.70/80.76 o 82
80.70/80.76 c *79.3s| 42135 | 2740 |123120 | 2.9 | 35M|1443 | - |3655 |6464 |3655 | 972 | 10k| 18k|1770 | 0.000000e+00 | 8.200000e+01 | Inf
83.09/83.13 o 77
83.09/83.13 c *81.6s| 43094 | 2627 |128192 | 3.0 | 36M|1443 | - |3655 |5922 |3655 | 972 | 10k| 19k|1770 | 0.000000e+00 | 7.700000e+01 | Inf
97.20/97.25 c 95.5s| 50000 | 2753 |152181 | 3.0 | 42M|1443 | - |3655 |7312 | 0 | 0 | 11k| 28k|1770 | 0.000000e+00 | 7.700000e+01 | Inf
117.20/117.24 c 115s| 60000 | 3004 |184421 | 3.1 | 49M|1443 | 6 |3655 |7548 |3655 | 982 | 13k| 40k|1770 | 0.000000e+00 | 7.700000e+01 | Inf
121.40/121.41 o 66
121.40/121.41 c * 119s| 62345 | 2791 |190745 | 3.1 | 49M|1443 | - |3655 |8722 |3655 | 987 | 14k| 43k|1770 | 0.000000e+00 | 6.600000e+01 | Inf
121.49/121.52 o 54
121.49/121.52 c * 119s| 62371 | 2483 |190830 | 3.1 | 47M|1443 | - |3655 |8377 |3655 | 984 | 14k| 43k|1770 | 0.000000e+00 | 5.400000e+01 | Inf
125.40/125.49 o 51
125.40/125.49 c * 123s| 64532 | 2457 |196051 | 3.0 | 47M|1443 | - |3655 |8013 |3655 | 985 | 14k| 46k|1770 | 0.000000e+00 | 5.100000e+01 | Inf
129.59/129.62 o 34
129.59/129.62 c * 127s| 66402 | 2051 |204828 | 3.1 | 45M|1443 | - |3655 |6381 |3655 | 972 | 14k| 48k|1770 | 0.000000e+00 | 3.400000e+01 | Inf
136.00/136.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
136.00/136.09 c 134s| 70000 | 2031 |218531 | 3.1 | 46M|1443 | - |3655 |6191 | 0 | 0 | 15k| 53k|1770 | 0.000000e+00 | 3.400000e+01 | Inf
154.00/154.07 c 151s| 80000 | 2159 |254261 | 3.2 | 49M|1443 | - |3655 | 10k| 0 | 0 | 16k| 66k|1809 | 0.000000e+00 | 3.400000e+01 | Inf
167.70/167.74 o 20
167.70/167.74 c * 165s| 87070 | 1668 |282523 | 3.2 | 45M|1443 | - |3655 | 12k|3655 | 973 | 17k| 76k|1861 | 0.000000e+00 | 2.000000e+01 | Inf
170.29/170.38 o 16
170.29/170.38 c * 167s| 88406 | 1552 |289309 | 3.3 | 43M|1443 | - |3655 | 11k|3655 | 977 | 17k| 78k|1871 | 0.000000e+00 | 1.600000e+01 | Inf
172.90/172.99 c 170s| 90000 | 1550 |294575 | 3.3 | 44M|1443 | - |3655 | 11k| 0 | 0 | 17k| 81k|1871 | 0.000000e+00 | 1.600000e+01 | Inf
174.29/174.40 o 13
174.29/174.40 c * 171s| 90730 | 1474 |297632 | 3.3 | 43M|1443 | - |3655 | 11k|3655 | 976 | 17k| 82k|1904 | 0.000000e+00 | 1.300000e+01 | Inf
191.70/191.70 c 188s|100000 | 1386 |342464 | 3.4 | 42M|1443 | 9 |3655 |7250 |3655 | 978 | 18k| 94k|2040 | 0.000000e+00 | 1.300000e+01 | Inf
207.99/208.02 c 204s|110000 | 1385 |378897 | 3.4 | 44M|1443 | 11 |3655 | 11k|3655 | 972 | 19k| 107k|2120 | 0.000000e+00 | 1.300000e+01 | Inf
226.50/226.54 c 222s|120000 | 1194 |423517 | 3.5 | 44M|1443 | - |3655 | 10k| 0 | 0 | 20k| 121k|2285 | 0.000000e+00 | 1.300000e+01 | Inf
228.40/228.48 o 9
228.40/228.48 c * 224s|121042 | 1035 |428863 | 3.5 | 40M|1443 | - |3655 |9755 |3655 | 972 | 20k| 122k|2286 | 0.000000e+00 | 9.000000e+00 | Inf
243.30/243.30 c 239s|130000 | 1108 |462136 | 3.6 | 43M|1443 | 1 |3655 | 14k|3655 | 972 | 21k| 135k|2399 | 0.000000e+00 | 9.000000e+00 | Inf
244.20/244.24 o 2
244.20/244.24 c * 240s|130532 | 920 |463985 | 3.6 | 40M|1443 | - |3655 | 14k|3655 | 973 | 21k| 136k|2402 | 0.000000e+00 | 2.000000e+00 | Inf
260.20/260.26 c 256s|140000 | 939 |499725 | 3.6 | 41M|1443 | - |3655 | 15k| 0 | 0 | 22k| 149k|2461 | 0.000000e+00 | 2.000000e+00 | Inf
278.09/278.16 c 273s|150000 | 1018 |539315 | 3.6 | 43M|1443 | - |3655 | 16k| 0 | 0 | 23k| 164k|2579 | 0.000000e+00 | 2.000000e+00 | Inf
295.60/295.63 c 290s|160000 | 933 |576903 | 3.6 | 41M|1443 | 11 |3655 | 10k|3655 | 972 | 23k| 178k|2723 | 0.000000e+00 | 2.000000e+00 | Inf
312.30/312.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
312.30/312.31 c 307s|170000 | 1011 |614039 | 3.6 | 44M|1443 | 7 |3655 | 16k|3655 | 972 | 24k| 191k|2795 | 0.000000e+00 | 2.000000e+00 | Inf
330.70/330.70 c 325s|180000 | 1087 |647583 | 3.6 | 46M|1443 | 12 |3655 | 21k|3655 | 972 | 25k| 205k|2896 | 0.000000e+00 | 2.000000e+00 | Inf
349.81/349.83 c 344s|190000 | 962 |681693 | 3.6 | 44M|1443 | - |3655 | 17k| 0 | 0 | 26k| 219k|3058 | 0.000000e+00 | 2.000000e+00 | Inf
367.50/367.58 c 361s|200000 | 906 |720291 | 3.6 | 44M|1443 | 16 |3655 | 17k|3655 | 972 | 27k| 232k|3131 | 0.000000e+00 | 2.000000e+00 | Inf
387.70/387.76 c 381s|210000 | 901 |761327 | 3.6 | 46M|1443 | - |3655 | 22k| 0 | 0 | 28k| 246k|3247 | 0.000000e+00 | 2.000000e+00 | Inf
408.30/408.36 c 401s|220000 | 913 |806061 | 3.7 | 48M|1443 | 34 |3655 | 27k|3655 | 972 | 28k| 261k|3339 | 0.000000e+00 | 2.000000e+00 | Inf
430.80/430.89 c 423s|230000 | 825 |845538 | 3.7 | 46M|1443 | 7 |3655 | 22k|3655 | 972 | 29k| 274k|3438 | 0.000000e+00 | 2.000000e+00 | Inf
451.01/451.08 c 443s|240000 | 907 |880890 | 3.7 | 47M|1443 | 6 |3655 | 25k|3655 | 972 | 30k| 287k|3555 | 0.000000e+00 | 2.000000e+00 | Inf
472.00/472.05 c 464s|250000 | 1013 |913902 | 3.7 | 50M|1443 | - |3655 | 29k| 0 | 0 | 31k| 301k|3614 | 0.000000e+00 | 2.000000e+00 | Inf
493.80/493.88 c 486s|260000 | 1021 |947664 | 3.6 | 51M|1443 | - |3655 | 29k| 0 | 0 | 31k| 315k|3671 | 0.000000e+00 | 2.000000e+00 | Inf
515.61/515.66 c 507s|270000 | 1001 |982125 | 3.6 | 51M|1443 | 23 |3655 | 29k|3655 | 977 | 32k| 328k|3751 | 0.000000e+00 | 2.000000e+00 | Inf
538.81/538.85 c 530s|280000 | 1009 | 1019k| 3.6 | 53M|1443 | 1 |3655 | 35k|3655 | 972 | 33k| 342k|3829 | 0.000000e+00 | 2.000000e+00 | Inf
562.70/562.73 c 553s|290000 | 1047 | 1056k| 3.6 | 54M|1443 | 19 |3655 | 36k|3655 | 972 | 34k| 357k|3913 | 0.000000e+00 | 2.000000e+00 | Inf
587.80/587.80 c 578s|300000 | 1061 | 1094k| 3.6 | 54M|1443 | - |3655 | 35k| 0 | 0 | 35k| 370k|3997 | 0.000000e+00 | 2.000000e+00 | Inf
613.31/613.30 c 603s|310000 | 1177 | 1131k| 3.6 | 57M|1443 | - |3655 | 41k| 0 | 0 | 36k| 383k|4074 | 0.000000e+00 | 2.000000e+00 | Inf
639.01/639.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.01/639.01 c 629s|320000 | 1202 | 1166k| 3.6 | 59M|1443 | 12 |3655 | 43k|3655 | 972 | 36k| 397k|4139 | 0.000000e+00 | 2.000000e+00 | Inf
666.31/666.37 c 656s|330000 | 1233 | 1201k| 3.6 | 59M|1443 | - |3655 | 42k| 0 | 0 | 37k| 411k|4201 | 0.000000e+00 | 2.000000e+00 | Inf
694.81/694.81 c 684s|340000 | 1248 | 1233k| 3.6 | 59M|1443 | - |3655 | 41k| 0 | 0 | 38k| 425k|4247 | 0.000000e+00 | 2.000000e+00 | Inf
724.11/724.13 c 713s|350000 | 1318 | 1268k| 3.6 | 62M|1443 | - |3655 | 46k| 0 | 0 | 39k| 438k|4304 | 0.000000e+00 | 2.000000e+00 | Inf
752.71/752.72 c 741s|360000 | 1263 | 1301k| 3.6 | 61M|1443 | 19 |3655 | 44k|3655 | 972 | 39k| 453k|4371 | 0.000000e+00 | 2.000000e+00 | Inf
779.41/779.44 c 768s|370000 | 1343 | 1332k| 3.6 | 64M|1443 | - |3655 | 49k| 0 | 0 | 40k| 467k|4452 | 0.000000e+00 | 2.000000e+00 | Inf
808.31/808.30 c 796s|380000 | 1363 | 1365k| 3.6 | 63M|1443 | - |3655 | 44k| 0 | 0 | 41k| 480k|4513 | 0.000000e+00 | 2.000000e+00 | Inf
837.41/837.47 c 825s|390000 | 1497 | 1398k| 3.6 | 65M|1443 | 14 |3655 | 47k|3655 | 972 | 42k| 495k|4569 | 0.000000e+00 | 2.000000e+00 | Inf
866.32/866.37 c 854s|400000 | 1551 | 1433k| 3.6 | 66M|1443 | 11 |3655 | 47k|3655 | 972 | 42k| 509k|4639 | 0.000000e+00 | 2.000000e+00 | Inf
896.01/896.05 c 883s|410000 | 1539 | 1468k| 3.6 | 67M|1443 | 1 |3655 | 48k|3655 | 972 | 43k| 524k|4694 | 0.000000e+00 | 2.000000e+00 | Inf
924.92/924.97 c 911s|420000 | 1621 | 1499k| 3.6 | 69M|1443 | - |3655 | 52k| 0 | 0 | 44k| 538k|4722 | 0.000000e+00 | 2.000000e+00 | Inf
954.22/954.29 c 940s|430000 | 1736 | 1534k| 3.6 | 71M|1443 | - |3655 | 53k| 0 | 0 | 45k| 553k|4778 | 0.000000e+00 | 2.000000e+00 | Inf
984.92/984.92 c 971s|440000 | 1808 | 1568k| 3.6 | 72M|1443 | - |3655 | 53k| 0 | 0 | 46k| 568k|4829 | 0.000000e+00 | 2.000000e+00 | Inf
1014.72/1014.79 c 1000s|450000 | 1965 | 1600k| 3.6 | 74M|1443 | 8 |3655 | 56k|3655 | 972 | 46k| 583k|4886 | 0.000000e+00 | 2.000000e+00 | Inf
1045.42/1045.42 c 1031s|460000 | 1985 | 1632k| 3.5 | 75M|1443 | - |3655 | 57k| 0 | 0 | 47k| 597k|4947 | 0.000000e+00 | 2.000000e+00 | Inf
1076.83/1076.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.83/1076.87 c 1062s|470000 | 1970 | 1665k| 3.5 | 75M|1443 | 22 |3655 | 55k|3655 | 972 | 48k| 613k|5008 | 0.000000e+00 | 2.000000e+00 | Inf
1106.32/1106.33 c 1091s|480000 | 1954 | 1698k| 3.5 | 75M|1443 | - |3655 | 53k| 0 | 0 | 49k| 628k|5039 | 0.000000e+00 | 2.000000e+00 | Inf
1135.52/1135.54 c 1120s|490000 | 1999 | 1732k| 3.5 | 77M|1443 | - |3655 | 56k| 0 | 0 | 50k| 643k|5073 | 0.000000e+00 | 2.000000e+00 | Inf
1165.62/1165.61 c 1150s|500000 | 2029 | 1765k| 3.5 | 77M|1443 | - |3655 | 55k| 0 | 0 | 51k| 658k|5130 | 0.000000e+00 | 2.000000e+00 | Inf
1195.32/1195.33 c 1179s|510000 | 2049 | 1799k| 3.5 | 76M|1443 | 18 |3655 | 49k|3655 | 972 | 51k| 674k|5192 | 0.000000e+00 | 2.000000e+00 | Inf
1222.62/1222.63 c 1206s|520000 | 1981 | 1831k| 3.5 | 74M|1443 | - |3655 | 44k| 0 | 0 | 52k| 689k|5249 | 0.000000e+00 | 2.000000e+00 | Inf
1249.63/1249.63 c 1233s|530000 | 1951 | 1865k| 3.5 | 76M|1443 | 22 |3655 | 48k|3655 | 972 | 53k| 703k|5299 | 0.000000e+00 | 2.000000e+00 | Inf
1276.42/1276.42 c 1259s|540000 | 1993 | 1898k| 3.5 | 77M|1443 | 1 |3655 | 48k|3655 | 972 | 54k| 719k|5324 | 0.000000e+00 | 2.000000e+00 | Inf
1304.53/1304.54 c 1287s|550000 | 1992 | 1928k| 3.5 | 77M|1443 | - |3655 | 51k| 0 | 0 | 54k| 732k|5364 | 0.000000e+00 | 2.000000e+00 | Inf
1333.82/1333.88 c 1316s|560000 | 2013 | 1958k| 3.5 | 80M|1443 | - |3655 | 56k| 0 | 0 | 55k| 747k|5418 | 0.000000e+00 | 2.000000e+00 | Inf
1365.63/1365.67 c 1347s|570000 | 2011 | 1989k| 3.5 | 79M|1443 | 15 |3655 | 55k|3655 | 972 | 56k| 761k|5474 | 0.000000e+00 | 2.000000e+00 | Inf
1398.23/1398.26 c 1380s|580000 | 2015 | 2023k| 3.5 | 80M|1443 | 11 |3655 | 56k|3655 | 972 | 57k| 776k|5508 | 0.000000e+00 | 2.000000e+00 | Inf
1425.42/1425.41 c 1407s|590000 | 2003 | 2049k| 3.5 | 79M|1443 | 17 |3655 | 50k|3655 | 972 | 58k| 791k|5544 | 0.000000e+00 | 2.000000e+00 | Inf
1454.73/1454.73 c 1436s|600000 | 1009 | 2085k| 3.5 | 55M|1443 | - |3655 | 26k| 0 | 0 | 59k| 807k|5841 | 0.000000e+00 | 2.000000e+00 | Inf
1476.24/1476.21 c 1457s|610000 | 1017 | 2123k| 3.5 | 55M|1443 | 1 |3655 | 29k|3655 | 972 | 60k| 820k|5850 | 0.000000e+00 | 2.000000e+00 | Inf
1499.24/1499.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.24/1499.23 c 1479s|620000 | 1019 | 2160k| 3.5 | 56M|1443 | 7 |3655 | 32k|3655 | 972 | 61k| 834k|5854 | 0.000000e+00 | 2.000000e+00 | Inf
1524.04/1524.01 c 1504s|630000 | 1044 | 2194k| 3.5 | 58M|1443 | 15 |3655 | 37k|3655 | 972 | 62k| 847k|5893 | 0.000000e+00 | 2.000000e+00 | Inf
1550.33/1550.32 c 1530s|640000 | 1081 | 2230k| 3.5 | 60M|1443 | 11 |3655 | 39k|3655 | 972 | 63k| 861k|5933 | 0.000000e+00 | 2.000000e+00 | Inf
1578.33/1578.34 c 1557s|650000 | 910 | 2270k| 3.5 | 55M|1443 | 23 |3655 | 29k|3655 | 972 | 64k| 874k|6087 | 0.000000e+00 | 2.000000e+00 | Inf
1601.74/1601.79 c 1581s|660000 | 929 | 2310k| 3.5 | 57M|1443 | 14 |3655 | 34k|3655 | 972 | 64k| 888k|6133 | 0.000000e+00 | 2.000000e+00 | Inf
1627.44/1627.42 c 1606s|670000 | 973 | 2349k| 3.5 | 59M|1443 | 28 |3655 | 39k|3655 | 972 | 65k| 901k|6178 | 0.000000e+00 | 2.000000e+00 | Inf
1655.03/1655.01 c 1633s|680000 | 910 | 2391k| 3.5 | 58M|1443 | 16 |3655 | 38k|3655 | 972 | 66k| 915k|6241 | 0.000000e+00 | 2.000000e+00 | Inf
1683.23/1683.26 c 1661s|690000 | 917 | 2430k| 3.5 | 59M|1443 | - |3655 | 41k| 0 | 0 | 67k| 928k|6297 | 0.000000e+00 | 2.000000e+00 | Inf
1710.54/1710.55 c 1688s|700000 | 919 | 2470k| 3.5 | 61M|1443 | - |3655 | 44k| 0 | 0 | 68k| 942k|6346 | 0.000000e+00 | 2.000000e+00 | Inf
1737.04/1737.01 c 1714s|710000 | 833 | 2513k| 3.5 | 53M|1443 | - |3655 | 24k| 0 | 0 | 68k| 954k|6509 | 0.000000e+00 | 2.000000e+00 | Inf
1760.84/1760.81 c 1738s|720000 | 852 | 2553k| 3.5 | 55M|1443 | - |3655 | 29k| 0 | 0 | 69k| 967k|6523 | 0.000000e+00 | 2.000000e+00 | Inf
1785.74/1785.77 c 1762s|730000 | 918 | 2591k| 3.5 | 58M|1443 | 1 |3655 | 36k|3655 | 972 | 70k| 980k|6580 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1776.26
1800.05/1800.01 c Solving Nodes : 735171
1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (225 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1776.26
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2692757-1277901687.wbo
1800.05/1800.05 c Variables : 3785 (2008 binary, 0 integer, 0 implicit integer, 1777 continuous)
1800.05/1800.05 c Constraints : 4485 initial, 4485 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2692757-1277901687.wbo
1800.05/1800.05 c Variables : 3655 (1943 binary, 0 integer, 0 implicit integer, 1712 continuous)
1800.05/1800.05 c Constraints : 4329 initial, 59286 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.01 65 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 65 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 65 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.07 0 0 0 1789 0 91 76 0
1800.05/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1690 - - 3380 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 428474 0 8 416 0 0 780176
1800.05/1800.05 c indicator : 1712 0 3577600 37942 0 409 3472696 0 0 0
1800.05/1800.05 c setppc : 7 6 3567468 29653 0 24927 890993 0 0 0
1800.05/1800.05 c linear : 1712 6 3565815 34576 0 191485 16932172 70504 0 0
1800.05/1800.05 c logicor : 898+ 6 1423259 28388 0 147261 3707121 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 47045 0 0 0 108 0 0 0
1800.05/1800.05 c countsols : 0 0 0 28388 0 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 20.93 0.00 0.00 20.93 0.00
1800.05/1800.05 c indicator : 13.13 0.01 10.06 3.06 0.00
1800.05/1800.05 c setppc : 8.12 0.00 8.11 0.01 0.00
1800.05/1800.05 c linear : 136.07 0.00 134.51 1.56 0.00
1800.05/1800.05 c logicor : 429.84 0.00 429.46 0.38 0.00
1800.05/1800.05 c bounddisjunction : 0.05 0.00 0.05 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 1.10 2 0 0
1800.05/1800.05 c rootredcost : 0.93 51 0 1690
1800.05/1800.05 c pseudoobj : 117.41 3605816 10752 2484124
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 18.93 374425 373894 2327736 28.4 13837 22.7 -
1800.05/1800.05 c infeasible LP : 2.90 9785 9785 77964 41.9 72 15.6 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.03 226 226 1257 15.2 147 5.4 -
1800.05/1800.05 c applied globally : - - - 987501 22.2 - - -
1800.05/1800.05 c applied locally : - - - 0 0.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 5 - - 61 - (maximal pool size: 100)
1800.05/1800.05 c redcost : 21.98 431371 0 936785 0 0
1800.05/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.14 6 0 0 605 0
1800.05/1800.05 c strongcg : 0.09 6 0 0 120 0
1800.05/1800.05 c cmir : 0.03 6 0 0 1 0
1800.05/1800.05 c flowcover : 0.09 6 0 0 1 0
1800.05/1800.05 c clique : 0.00 6 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 1 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 20.52 390450 8 416 0 0 780176
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 3.14 28338 0 0 0 0 56676
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.03 - 50
1800.05/1800.05 c pseudo solutions : 0.00 - 0
1800.05/1800.05 c feaspump : 0.00 1 0
1800.05/1800.05 c oneopt : 0.51 47 0
1800.05/1800.05 c coefdiving : 0.10 77 0
1800.05/1800.05 c pscostdiving : 0.06 77 0
1800.05/1800.05 c fracdiving : 0.05 77 0
1800.05/1800.05 c veclendiving : 0.08 78 0
1800.05/1800.05 c linesearchdiving : 0.14 78 0
1800.05/1800.05 c guideddiving : 0.06 78 0
1800.05/1800.05 c crossover : 1.44 49 0
1800.05/1800.05 c objpscostdiving : 0.07 76 0
1800.05/1800.05 c rootsoldiving : 0.11 76 0
1800.05/1800.05 c trivial : 0.00 2 0
1800.05/1800.05 c simplerounding : 0.75 391560 0
1800.05/1800.05 c zirounding : 0.31 1000 0
1800.05/1800.05 c rounding : 2.05 8797 0
1800.05/1800.05 c shifting : 1.27 2722 0
1800.05/1800.05 c intshifting : 0.01 2 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.03 1 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.20 0 0
1800.05/1800.05 c trysol : 1.56 4993 175
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 422.43 411682 2610906 6.34 6180.68
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.12 56 1133 20.23 9441.67
1800.05/1800.05 c strong branching : 17.05 6619 117162 17.70 6871.67
1800.05/1800.05 c (at root node) : - 33 5543 167.97 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 735171
1800.05/1800.05 c nodes (total) : 735171
1800.05/1800.05 c nodes left : 836
1800.05/1800.05 c max depth : 1443
1800.05/1800.05 c max depth (total): 1443
1800.05/1800.05 c backtracks : 75810 (10.3%)
1800.05/1800.05 c delayed cutoffs : 71561
1800.05/1800.05 c repropagations : 1664982 (5263123 domain reductions, 68127 cutoffs)
1800.05/1800.05 c avg switch length: 5.93
1800.05/1800.05 c switching time : 321.63
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 225 (51 improvements)
1800.05/1800.05 c First Solution : +8.67840000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.05/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 130532 nodes, 239.86 seconds, depth 29, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 336
1800.15/1800.12 c Time complete: 1800.17.