0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705635-1278572960.wbo>
0.00/0.02 c original problem has 2085 variables (1158 bin, 0 int, 927 impl, 0 cont) and 3635 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.02/0.03 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs
0.02/0.07 c (round 2) 0 del vars, 112 del conss, 927 chg bounds, 54 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs
0.02/0.07 c (round 3) 54 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 0 upgd conss, 214 impls, 14 clqs
0.02/0.08 c (round 4) 112 del vars, 170 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 214 impls, 14 clqs
0.02/0.09 c (round 5) 112 del vars, 219 del conss, 929 chg bounds, 56 chg sides, 0 chg coeffs, 1723 upgd conss, 214 impls, 14 clqs
0.09/0.13 c (0.1s) probing: 101/1102 (9.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.13 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.13 c presolving (6 rounds):
0.09/0.13 c 112 deleted vars, 219 deleted constraints, 929 tightened bounds, 0 added holes, 56 changed sides, 0 changed coefficients
0.09/0.13 c 1948 implications, 14 cliques
0.09/0.13 c presolved problem has 1973 variables (1102 bin, 0 int, 871 impl, 0 cont) and 3416 constraints
0.09/0.13 c 1 constraints of type <knapsack>
0.09/0.13 c 72 constraints of type <setppc>
0.09/0.13 c 871 constraints of type <linear>
0.09/0.13 c 871 constraints of type <indicator>
0.09/0.13 c 1601 constraints of type <logicor>
0.09/0.13 c transformed objective value is always integral (scale: 1)
0.09/0.13 c Presolving Time: 0.10
0.09/0.13 c - non default parameters ----------------------------------------------------------------------
0.09/0.13 c # SCIP version 1.2.1.3
0.09/0.13 c
0.09/0.13 c # frequency for displaying node information lines
0.09/0.13 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.13 c display/freq = 10000
0.09/0.13 c
0.09/0.13 c # maximal time in seconds to run
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/time = 1789.98
0.09/0.13 c
0.09/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.13 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.13 c limits/memory = 3420
0.09/0.13 c
0.09/0.13 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.13 c # [type: int, range: [1,2], default: 1]
0.09/0.13 c timing/clocktype = 2
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify inequalities
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/linear/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/indicator/addCouplingCons = TRUE
0.09/0.13 c
0.09/0.13 c # should presolving try to simplify knapsacks
0.09/0.13 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.13 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.13 c
0.09/0.13 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.13 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.13 c separating/rapidlearning/freq = 0
0.09/0.13 c
0.09/0.13 c -----------------------------------------------------------------------------------------------
0.09/0.13 c start solving
0.09/0.13 c
0.09/0.14 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.14 c 0.1s| 1 | 0 | 28 | - |8991k| 0 | 16 |1973 |3416 |1973 |1674 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 53 | - |9039k| 0 | 24 |1973 |3416 |1973 |1688 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 76 | - |9290k| 0 | 27 |1973 |3416 |1973 |1690 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 151 | - |9579k| 0 | 46 |1973 |3416 |1973 |1697 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 371 | - |9669k| 0 | 33 |1973 |3416 |1973 |1702 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.52 c 0.5s| 1 | 0 | 691 | - |9759k| 0 | 87 |1973 |3416 |1973 |1715 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.6s| 1 | 0 | 833 | - | 10M| 0 | 82 |1973 |3416 |1973 |1736 | 62 | 0 | 0 | 0.000000e+00 | -- | Inf
2.69/2.71 c 2.7s| 1 | 2 | 833 | - | 10M| 0 | 82 |1973 |3416 |1973 |1736 | 62 | 0 | 16 | 0.000000e+00 | -- | Inf
16.50/16.56 o 42962
16.50/16.56 c y16.5s| 43 | 36 | 6912 | 144.7 | 10M| 16 | - |1973 |3423 | 0 | 0 | 73 | 7 | 447 | 0.000000e+00 | 4.296200e+04 | Inf
16.59/16.62 o 679
16.59/16.62 c *16.6s| 70 | 59 | 7231 | 92.7 | 11M| 27 | - |1973 |3427 |1973 |1727 | 94 | 11 | 447 | 0.000000e+00 | 6.790000e+02 | Inf
16.69/16.72 o 637
16.69/16.72 c *16.7s| 118 | 94 | 7698 | 58.7 | 11M| 28 | - |1973 |3433 |1973 |1737 | 133 | 17 | 447 | 0.000000e+00 | 6.370000e+02 | Inf
16.69/16.75 o 604
16.69/16.75 c *16.7s| 132 | 95 | 7741 | 52.7 | 11M| 28 | - |1973 |3438 |1973 |1740 | 148 | 22 | 447 | 0.000000e+00 | 6.040000e+02 | Inf
16.69/16.76 o 562
16.69/16.76 c *16.7s| 133 | 80 | 7741 | 52.3 | 11M| 28 | - |1973 |3438 |1973 |1740 | 148 | 22 | 447 | 0.000000e+00 | 5.620000e+02 | Inf
16.79/16.85 o 527
16.79/16.85 c *16.8s| 183 | 102 | 8198 | 40.5 | 11M| 28 | - |1973 |3472 |1973 |1733 | 181 | 56 | 447 | 0.000000e+00 | 5.270000e+02 | Inf
16.89/16.98 o 495
16.89/16.98 c *17.0s| 265 | 130 | 8640 | 29.6 | 12M| 33 | - |1973 |3595 |1973 |1729 | 243 | 179 | 447 | 0.000000e+00 | 4.950000e+02 | Inf
17.09/17.11 o 487
17.09/17.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.09/17.11 c *17.1s| 340 | 151 | 9137 | 24.5 | 12M| 34 | - |1973 |3678 |1973 |1731 | 272 | 262 | 447 | 0.000000e+00 | 4.870000e+02 | Inf
17.29/17.30 o 479
17.29/17.30 c *17.3s| 464 | 209 | 9755 | 19.3 | 12M| 34 | - |1973 |3734 |1973 |1729 | 352 | 335 | 447 | 0.000000e+00 | 4.790000e+02 | Inf
17.29/17.30 o 455
17.29/17.30 c *17.3s| 465 | 202 | 9755 | 19.2 | 12M| 34 | - |1973 |3734 |1973 |1729 | 352 | 335 | 447 | 0.000000e+00 | 4.550000e+02 | Inf
17.29/17.36 o 412
17.29/17.36 c *17.3s| 504 | 213 | 9852 | 17.9 | 12M| 34 | - |1973 |3747 |1973 |1737 | 376 | 349 | 447 | 0.000000e+00 | 4.120000e+02 | Inf
17.49/17.56 o 405
17.49/17.56 c *17.5s| 635 | 257 | 10556 | 15.3 | 12M| 34 | - |1973 |3818 |1973 |1728 | 433 | 460 | 447 | 0.000000e+00 | 4.050000e+02 | Inf
17.49/17.57 o 363
17.49/17.57 c *17.6s| 643 | 246 | 10564 | 15.2 | 12M| 34 | - |1973 |3821 |1973 |1728 | 433 | 463 | 447 | 0.000000e+00 | 3.630000e+02 | Inf
17.69/17.75 o 356
17.69/17.75 c *17.7s| 753 | 332 | 11015 | 13.5 | 13M| 37 | - |1973 |3834 |1973 |1741 | 493 | 486 | 447 | 0.000000e+00 | 3.560000e+02 | Inf
17.79/17.84 o 351
17.79/17.84 c *17.8s| 813 | 370 | 11231 | 12.8 | 13M| 37 | - |1973 |3844 |1973 |1737 | 512 | 505 | 447 | 0.000000e+00 | 3.510000e+02 | Inf
18.00/18.01 o 337
18.00/18.01 c *18.0s| 908 | 401 | 11915 | 12.2 | 13M| 37 | - |1973 |3880 |1973 |1745 | 577 | 564 | 447 | 0.000000e+00 | 3.370000e+02 | Inf
18.00/18.02 o 292
18.00/18.02 c *18.0s| 911 | 385 | 11923 | 12.2 | 13M| 37 | - |1973 |3880 |1973 |1747 | 579 | 564 | 447 | 0.000000e+00 | 2.920000e+02 | Inf
18.00/18.05 o 279
18.00/18.05 c *18.0s| 936 | 398 | 11970 | 11.9 | 13M| 37 | - |1973 |3884 |1973 |1742 | 582 | 570 | 447 | 0.000000e+00 | 2.790000e+02 | Inf
19.30/19.32 o 271
19.30/19.32 c *19.3s| 1557 | 720 | 16070 | 9.8 | 15M| 49 | - |1973 |4042 |1973 |1729 | 833 | 907 | 498 | 0.000000e+00 | 2.710000e+02 | Inf
19.30/19.35 o 233
19.30/19.35 c *19.3s| 1580 | 698 | 16108 | 9.7 | 15M| 49 | - |1973 |4041 |1973 |1738 | 846 | 907 | 498 | 0.000000e+00 | 2.330000e+02 | Inf
19.40/19.43 o 205
19.40/19.43 c *19.4s| 1608 | 663 | 16325 | 9.6 | 15M| 49 | - |1973 |4061 |1973 |1738 | 864 | 931 | 505 | 0.000000e+00 | 2.050000e+02 | Inf
20.09/20.19 o 197
20.09/20.19 c *20.2s| 1894 | 759 | 19467 | 9.8 | 15M| 49 | - |1973 |4088 |1973 |1734 | 918 |1140 | 553 | 0.000000e+00 | 1.970000e+02 | Inf
21.90/21.92 o 193
21.90/21.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.90/21.92 c *21.9s| 2857 | 998 | 25695 | 8.7 | 17M| 49 | - |1973 |4692 |1973 |1726 |1338 |2044 | 589 | 0.000000e+00 | 1.930000e+02 | Inf
21.90/21.94 o 180
21.90/21.94 c *21.9s| 2868 | 970 | 25720 | 8.7 | 17M| 49 | - |1973 |4702 |1973 |1729 |1342 |2054 | 589 | 0.000000e+00 | 1.800000e+02 | Inf
21.90/21.94 o 164
21.90/21.94 c *21.9s| 2869 | 902 | 25720 | 8.7 | 16M| 49 | - |1973 |4702 |1973 |1729 |1342 |2054 | 589 | 0.000000e+00 | 1.640000e+02 | Inf
28.19/28.29 o 149
28.19/28.29 c *28.3s| 6734 | 1959 | 45049 | 6.6 | 23M| 66 | - |1973 |6460 |1973 |1737 |2886 |5449 | 616 | 0.000000e+00 | 1.490000e+02 | Inf
29.70/29.72 o 145
29.70/29.72 c *29.7s| 7604 | 2224 | 48988 | 6.3 | 25M| 66 | - |1973 |6487 |1973 |1731 |3219 |6145 | 620 | 0.000000e+00 | 1.450000e+02 | Inf
33.59/33.65 c 33.6s| 10000 | 3015 | 58485 | 5.8 | 29M| 66 | 16 |1973 |7403 |1973 |1725 |4292 |7948 | 640 | 0.000000e+00 | 1.450000e+02 | Inf
40.89/40.91 o 137
40.89/40.91 c *40.9s| 13973 | 4208 | 74569 | 5.3 | 35M| 66 | - |1973 |8135 |1973 |1736 |6073 | 11k| 715 | 0.000000e+00 | 1.370000e+02 | Inf
43.30/43.37 o 121
43.30/43.37 c *43.4s| 15270 | 4457 | 80544 | 5.2 | 37M| 66 | - |1973 |7751 |1973 |1732 |6547 | 12k| 725 | 0.000000e+00 | 1.210000e+02 | Inf
43.39/43.47 o 117
43.39/43.47 c *43.4s| 15326 | 4451 | 80804 | 5.2 | 37M| 66 | - |1973 |7785 |1973 |1735 |6557 | 12k| 725 | 0.000000e+00 | 1.170000e+02 | Inf
43.39/43.48 o 101
43.39/43.48 c *43.5s| 15329 | 4359 | 80812 | 5.2 | 36M| 66 | - |1973 |7790 |1973 |1735 |6557 | 12k| 725 | 0.000000e+00 | 1.010000e+02 | Inf
46.39/46.41 o 86
46.39/46.41 c *46.4s| 16985 | 4455 | 88277 | 5.1 | 37M| 67 | - |1973 |7914 |1973 |1735 |7037 | 14k| 734 | 0.000000e+00 | 8.600000e+01 | Inf
46.39/46.43 o 55
46.39/46.43 c *46.4s| 16987 | 3701 | 88278 | 5.1 | 32M| 67 | - |1973 |7666 |1973 |1735 |7037 | 14k| 734 | 0.000000e+00 | 5.500000e+01 | Inf
47.79/47.86 o 52
47.79/47.86 c *47.8s| 17644 | 3229 | 94667 | 5.3 | 30M| 67 | - |1973 |5888 |1973 |1744 |7142 | 14k| 741 | 0.000000e+00 | 5.200000e+01 | Inf
52.49/52.59 c 52.6s| 20000 | 3204 |120085 | 6.0 | 32M| 67 | - |1973 |5825 | 0 | 0 |7533 | 17k| 819 | 0.000000e+00 | 5.200000e+01 | Inf
72.19/72.27 c 72.3s| 30000 | 3280 |227868 | 7.6 | 36M| 67 | - |1973 | 11k| 0 | 0 |9486 | 30k|1063 | 0.000000e+00 | 5.200000e+01 | Inf
78.59/78.68 o 44
78.59/78.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.59/78.68 c *78.7s| 33030 | 2176 |260697 | 7.9 | 32M| 67 | - |1973 | 11k|1973 |1738 | 10k| 34k|1189 | 0.000000e+00 | 4.400000e+01 | Inf
80.80/80.80 o 43
80.80/80.80 c *80.8s| 34064 | 2159 |271438 | 7.9 | 31M| 67 | - |1973 | 10k|1973 |1725 | 10k| 36k|1191 | 0.000000e+00 | 4.300000e+01 | Inf
93.19/93.21 c 93.2s| 40000 | 2309 |339408 | 8.5 | 33M| 67 | 11 |1973 | 10k|1973 |1725 | 11k| 44k|1360 | 0.000000e+00 | 4.300000e+01 | Inf
113.30/113.37 c 113s| 50000 | 2465 |451952 | 9.0 | 37M| 67 | 17 |1973 | 13k|1973 |1725 | 13k| 57k|1366 | 0.000000e+00 | 4.300000e+01 | Inf
127.49/127.52 o 40
127.49/127.52 c * 127s| 56672 | 2452 |534502 | 9.4 | 38M| 67 | - |1973 | 14k|1973 |1733 | 14k| 66k|1366 | 0.000000e+00 | 4.000000e+01 | Inf
134.50/134.54 c 135s| 60000 | 2506 |573368 | 9.5 | 39M| 67 | 25 |1973 | 12k|1973 |1725 | 14k| 71k|1447 | 0.000000e+00 | 4.000000e+01 | Inf
155.60/155.63 c 156s| 70000 | 2488 |690491 | 9.9 | 40M| 67 | - |1973 | 11k| 0 | 0 | 16k| 84k|1762 | 0.000000e+00 | 4.000000e+01 | Inf
168.30/168.39 o 33
168.30/168.39 c * 168s| 76032 | 2007 |754104 | 9.9 | 36M| 67 | - |1973 |9887 |1973 |1734 | 17k| 92k|1976 | 0.000000e+00 | 3.300000e+01 | Inf
176.39/176.46 c 176s| 80000 | 1904 |799906 | 10.0 | 35M| 67 | - |1973 |8344 |1973 |1725 | 18k| 97k|2040 | 0.000000e+00 | 3.300000e+01 | Inf
195.89/195.94 c 196s| 90000 | 1832 |905695 | 10.1 | 37M| 67 | 27 |1973 | 11k|1973 |1725 | 19k| 110k|2321 | 0.000000e+00 | 3.300000e+01 | Inf
217.10/217.12 c 217s|100000 | 1954 | 1032k| 10.3 | 40M| 67 | 15 |1973 | 14k|1973 |1725 | 21k| 124k|2646 | 0.000000e+00 | 3.300000e+01 | Inf
237.20/237.27 c 237s|110000 | 2080 | 1141k| 10.4 | 43M| 67 | 7 |1973 | 18k|1973 |1725 | 23k| 137k|2826 | 0.000000e+00 | 3.300000e+01 | Inf
258.69/258.76 o 28
258.69/258.76 c * 259s|119799 | 1943 | 1258k| 10.5 | 41M| 67 | - |1973 | 19k|1973 |1729 | 24k| 149k|3136 | 0.000000e+00 | 2.800000e+01 | Inf
259.19/259.24 c 259s|120000 | 1945 | 1261k| 10.5 | 40M| 67 | 20 |1973 | 18k|1973 |1725 | 24k| 150k|3143 | 0.000000e+00 | 2.800000e+01 | Inf
280.19/280.25 c 280s|130000 | 2022 | 1378k| 10.6 | 41M| 67 | - |1973 | 17k| 0 | 0 | 26k| 162k|3345 | 0.000000e+00 | 2.800000e+01 | Inf
300.99/301.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.99/301.04 c 301s|140000 | 1966 | 1488k| 10.6 | 41M| 67 | - |1973 | 18k| 0 | 0 | 27k| 176k|3613 | 0.000000e+00 | 2.800000e+01 | Inf
321.80/321.85 c 322s|150000 | 2081 | 1582k| 10.5 | 44M| 67 | 8 |1973 | 19k|1973 |1725 | 29k| 189k|3788 | 0.000000e+00 | 2.800000e+01 | Inf
342.29/342.35 c 342s|160000 | 2013 | 1688k| 10.5 | 44M| 67 | - |1973 | 19k| 0 | 0 | 31k| 202k|3991 | 0.000000e+00 | 2.800000e+01 | Inf
362.79/362.89 o 27
362.79/362.89 c * 363s|169929 | 2125 | 1793k| 10.6 | 46M| 67 | - |1973 | 23k|1973 |1735 | 33k| 215k|4154 | 0.000000e+00 | 2.700000e+01 | Inf
363.00/363.03 c 363s|170000 | 2130 | 1794k| 10.6 | 46M| 67 | 0 |1973 | 22k|1973 |1735 | 33k| 215k|4154 | 0.000000e+00 | 2.700000e+01 | Inf
384.90/384.92 c 385s|180000 | 2128 | 1903k| 10.6 | 47M| 67 | - |1973 | 24k| 0 | 0 | 35k| 228k|4314 | 0.000000e+00 | 2.700000e+01 | Inf
405.40/405.40 o 19
405.40/405.40 c * 405s|189560 | 2102 | 2010k| 10.6 | 44M| 67 | - |1973 | 24k|1973 |1729 | 37k| 241k|4491 | 0.000000e+00 | 1.900000e+01 | Inf
406.20/406.29 c 406s|190000 | 2133 | 2014k| 10.6 | 44M| 67 | 16 |1973 | 24k|1973 |1725 | 37k| 241k|4491 | 0.000000e+00 | 1.900000e+01 | Inf
428.50/428.50 c 428s|200000 | 2311 | 2129k| 10.6 | 47M| 67 | - |1973 | 26k| 0 | 0 | 39k| 255k|4708 | 0.000000e+00 | 1.900000e+01 | Inf
450.69/450.79 c 451s|210000 | 2468 | 2243k| 10.7 | 49M| 67 | 16 |1973 | 29k|1973 |1725 | 40k| 268k|4891 | 0.000000e+00 | 1.900000e+01 | Inf
473.80/473.87 c 474s|220000 | 2562 | 2358k| 10.7 | 51M| 67 | - |1973 | 31k| 0 | 0 | 43k| 282k|5032 | 0.000000e+00 | 1.900000e+01 | Inf
497.30/497.32 c 497s|230000 | 2370 | 2470k| 10.7 | 51M| 67 | - |1973 | 32k| 0 | 0 | 44k| 296k|5168 | 0.000000e+00 | 1.900000e+01 | Inf
519.50/519.50 c 519s|240000 | 2693 | 2566k| 10.7 | 54M| 67 | - |1973 | 34k| 0 | 0 | 46k| 310k|5298 | 0.000000e+00 | 1.900000e+01 | Inf
542.10/542.12 c 542s|250000 | 3087 | 2665k| 10.7 | 57M| 67 | 20 |1973 | 35k|1973 |1725 | 48k| 323k|5430 | 0.000000e+00 | 1.900000e+01 | Inf
565.60/565.64 c 566s|260000 | 3555 | 2772k| 10.7 | 60M| 67 | - |1973 | 32k|1973 |1730 | 49k| 337k|5550 | 0.000000e+00 | 1.900000e+01 | Inf
587.50/587.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
587.50/587.57 c 588s|270000 | 3744 | 2868k| 10.6 | 62M| 67 | 16 |1973 | 34k|1973 |1740 | 51k| 351k|5667 | 0.000000e+00 | 1.900000e+01 | Inf
611.50/611.51 c 611s|280000 | 3732 | 2972k| 10.6 | 64M| 67 | - |1973 | 35k| 0 | 0 | 53k| 365k|5824 | 0.000000e+00 | 1.900000e+01 | Inf
635.30/635.39 c 635s|290000 | 3832 | 3072k| 10.6 | 66M| 67 | 18 |1973 | 38k|1973 |1725 | 55k| 379k|5957 | 0.000000e+00 | 1.900000e+01 | Inf
660.60/660.62 c 661s|300000 | 4154 | 3178k| 10.6 | 67M| 67 | - |1973 | 35k|1973 |1738 | 56k| 392k|6102 | 0.000000e+00 | 1.900000e+01 | Inf
686.41/686.45 c 686s|310000 | 4199 | 3294k| 10.6 | 68M| 67 | 18 |1973 | 34k|1973 |1725 | 58k| 406k|6229 | 0.000000e+00 | 1.900000e+01 | Inf
711.11/711.17 c 711s|320000 | 3384 | 3399k| 10.6 | 61M| 67 | - |1973 | 27k| 0 | 0 | 60k| 421k|6317 | 0.000000e+00 | 1.900000e+01 | Inf
733.71/733.75 c 734s|330000 | 3135 | 3510k| 10.6 | 60M| 67 | 25 |1973 | 29k|1973 |1725 | 62k| 435k|6434 | 0.000000e+00 | 1.900000e+01 | Inf
757.11/757.12 c 757s|340000 | 2969 | 3626k| 10.7 | 59M| 67 | - |1973 | 28k|1973 |1728 | 63k| 449k|6727 | 0.000000e+00 | 1.900000e+01 | Inf
779.31/779.30 c 779s|350000 | 2829 | 3737k| 10.7 | 57M| 67 | 22 |1973 | 26k|1973 |1725 | 64k| 462k|6856 | 0.000000e+00 | 1.900000e+01 | Inf
802.30/802.31 c 802s|360000 | 2943 | 3851k| 10.7 | 59M| 67 | - |1973 | 27k|1973 |1725 | 65k| 475k|6952 | 0.000000e+00 | 1.900000e+01 | Inf
825.01/825.02 c 825s|370000 | 3046 | 3961k| 10.7 | 60M| 67 | - |1973 | 26k|1973 |1725 | 66k| 488k|7066 | 0.000000e+00 | 1.900000e+01 | Inf
848.70/848.70 c 849s|380000 | 3260 | 4091k| 10.8 | 61M| 67 | 23 |1973 | 25k|1973 |1725 | 67k| 501k|7239 | 0.000000e+00 | 1.900000e+01 | Inf
871.21/871.28 c 871s|390000 | 3341 | 4207k| 10.8 | 62M| 67 | - |1973 | 24k| 0 | 0 | 68k| 514k|7402 | 0.000000e+00 | 1.900000e+01 | Inf
893.41/893.47 c 893s|400000 | 3348 | 4327k| 10.8 | 63M| 67 | - |1973 | 24k|1973 |1725 | 70k| 527k|7529 | 0.000000e+00 | 1.900000e+01 | Inf
914.90/914.94 c 915s|410000 | 3401 | 4445k| 10.8 | 64M| 67 | 22 |1973 | 25k|1973 |1725 | 71k| 541k|7655 | 0.000000e+00 | 1.900000e+01 | Inf
936.31/936.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.31/936.38 c 936s|420000 | 3493 | 4556k| 10.8 | 65M| 67 | 18 |1973 | 25k|1973 |1725 | 73k| 555k|7739 | 0.000000e+00 | 1.900000e+01 | Inf
957.61/957.60 c 958s|430000 | 3523 | 4662k| 10.8 | 67M| 67 | - |1973 | 27k|1973 |1725 | 75k| 568k|7854 | 0.000000e+00 | 1.900000e+01 | Inf
978.30/978.35 c 978s|440000 | 3679 | 4755k| 10.8 | 69M| 67 | - |1973 | 30k| 0 | 0 | 77k| 581k|7989 | 0.000000e+00 | 1.900000e+01 | Inf
1000.41/1000.42 c 1000s|450000 | 3860 | 4852k| 10.8 | 71M| 67 | 30 |1973 | 30k|1973 |1725 | 79k| 595k|8085 | 0.000000e+00 | 1.900000e+01 | Inf
1022.10/1022.19 c 1022s|460000 | 4038 | 4952k| 10.8 | 73M| 67 | - |1973 | 31k|1973 |1732 | 81k| 608k|8136 | 0.000000e+00 | 1.900000e+01 | Inf
1046.21/1046.29 c 1046s|470000 | 4273 | 5063k| 10.8 | 75M| 67 | - |1973 | 32k| 0 | 0 | 82k| 621k|8256 | 0.000000e+00 | 1.900000e+01 | Inf
1068.91/1068.92 c 1069s|480000 | 4329 | 5162k| 10.8 | 76M| 67 | 1 |1973 | 31k|1973 |1725 | 84k| 635k|8390 | 0.000000e+00 | 1.900000e+01 | Inf
1091.31/1091.30 c 1091s|490000 | 4339 | 5266k| 10.7 | 76M| 67 | 11 |1973 | 29k|1973 |1725 | 86k| 649k|8437 | 0.000000e+00 | 1.900000e+01 | Inf
1112.81/1112.89 c 1113s|500000 | 4473 | 5367k| 10.7 | 78M| 67 | 13 |1973 | 31k|1973 |1725 | 87k| 663k|8549 | 0.000000e+00 | 1.900000e+01 | Inf
1135.11/1135.12 c 1135s|510000 | 4613 | 5470k| 10.7 | 80M| 67 | 18 |1973 | 32k|1973 |1725 | 89k| 676k|8653 | 0.000000e+00 | 1.900000e+01 | Inf
1157.11/1157.11 c 1157s|520000 | 4620 | 5574k| 10.7 | 81M| 67 | 9 |1973 | 32k|1973 |1725 | 91k| 690k|8749 | 0.000000e+00 | 1.900000e+01 | Inf
1178.12/1178.15 c 1178s|530000 | 4603 | 5665k| 10.7 | 81M| 67 | 19 |1973 | 32k|1973 |1725 | 93k| 704k|8765 | 0.000000e+00 | 1.900000e+01 | Inf
1199.41/1199.43 c 1199s|540000 | 4698 | 5756k| 10.7 | 82M| 67 | 16 |1973 | 33k|1973 |1725 | 95k| 717k|8902 | 0.000000e+00 | 1.900000e+01 | Inf
1220.81/1220.88 c 1221s|550000 | 4793 | 5850k| 10.6 | 83M| 67 | 23 |1973 | 32k|1973 |1725 | 97k| 731k|8977 | 0.000000e+00 | 1.900000e+01 | Inf
1242.51/1242.59 c 1243s|560000 | 4794 | 5945k| 10.6 | 83M| 67 | - |1973 | 29k| 0 | 0 | 98k| 745k|9094 | 0.000000e+00 | 1.900000e+01 | Inf
1264.81/1264.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1264.81/1264.80 c 1265s|570000 | 4932 | 6047k| 10.6 | 85M| 67 | 1 |1973 | 32k|1973 |1725 | 99k| 759k|9184 | 0.000000e+00 | 1.900000e+01 | Inf
1286.21/1286.22 c 1286s|580000 | 4979 | 6146k| 10.6 | 86M| 67 | 7 |1973 | 33k|1973 |1725 | 101k| 773k|9231 | 0.000000e+00 | 1.900000e+01 | Inf
1293.21/1293.21 o 15
1293.21/1293.21 c *1293s|583149 | 4323 | 6178k| 10.6 | 75M| 67 | - |1973 | 31k|1973 |1728 | 101k| 778k|9302 | 0.000000e+00 | 1.500000e+01 | Inf
1307.92/1307.92 c 1308s|590000 | 4500 | 6250k| 10.6 | 77M| 67 | - |1973 | 33k| 0 | 0 | 102k| 787k|9342 | 0.000000e+00 | 1.500000e+01 | Inf
1328.82/1328.83 c 1329s|600000 | 4510 | 6345k| 10.6 | 79M| 67 | 16 |1973 | 36k|1973 |1725 | 102k| 801k|9449 | 0.000000e+00 | 1.500000e+01 | Inf
1352.52/1352.55 c 1353s|610000 | 4382 | 6456k| 10.6 | 73M| 67 | - |1973 | 22k| 0 | 0 | 103k| 814k|9533 | 0.000000e+00 | 1.500000e+01 | Inf
1373.62/1373.61 c 1374s|620000 | 4572 | 6570k| 10.6 | 76M| 67 | 25 |1973 | 26k|1973 |1725 | 105k| 827k|9674 | 0.000000e+00 | 1.500000e+01 | Inf
1395.01/1395.03 c 1395s|630000 | 4663 | 6680k| 10.6 | 77M| 67 | 19 |1973 | 28k|1973 |1725 | 106k| 841k|9756 | 0.000000e+00 | 1.500000e+01 | Inf
1417.92/1417.94 c 1418s|640000 | 4696 | 6802k| 10.6 | 78M| 67 | - |1973 | 30k| 0 | 0 | 106k| 854k|9806 | 0.000000e+00 | 1.500000e+01 | Inf
1441.22/1441.20 c 1441s|650000 | 4792 | 6910k| 10.6 | 79M| 67 | 18 |1973 | 31k|1973 |1725 | 108k| 867k|9938 | 0.000000e+00 | 1.500000e+01 | Inf
1464.02/1464.03 c 1464s|660000 | 4937 | 7020k| 10.6 | 81M| 67 | 19 |1973 | 33k|1973 |1725 | 109k| 881k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1486.42/1486.43 c 1486s|670000 | 4973 | 7125k| 10.6 | 83M| 67 | 8 |1973 | 35k|1973 |1725 | 110k| 894k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1510.72/1510.71 c 1511s|680000 | 5084 | 7242k| 10.6 | 84M| 67 | - |1973 | 35k| 0 | 0 | 111k| 909k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1535.32/1535.38 c 1535s|690000 | 5189 | 7358k| 10.7 | 84M| 67 | 1 |1973 | 32k|1973 |1725 | 112k| 922k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1558.82/1558.84 c 1559s|700000 | 5246 | 7472k| 10.7 | 84M| 67 | 12 |1973 | 33k|1973 |1725 | 113k| 936k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1581.92/1581.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.92/1581.97 c 1582s|710000 | 5309 | 7581k| 10.7 | 85M| 67 | 11 |1973 | 33k|1973 |1725 | 114k| 950k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1605.42/1605.48 c 1605s|720000 | 5397 | 7702k| 10.7 | 86M| 67 | 13 |1973 | 35k|1973 |1725 | 115k| 963k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1628.82/1628.88 c 1629s|730000 | 5691 | 7811k| 10.7 | 87M| 67 | 20 |1973 | 34k|1973 |1725 | 116k| 976k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1651.82/1651.87 c 1652s|740000 | 5826 | 7916k| 10.7 | 88M| 70 | - |1973 | 33k| 0 | 0 | 117k| 990k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1675.62/1675.60 c 1676s|750000 | 5959 | 8031k| 10.7 | 89M| 70 | 27 |1973 | 32k|1973 |1725 | 118k|1003k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1698.02/1698.06 c 1698s|760000 | 5986 | 8140k| 10.7 | 90M| 70 | 18 |1973 | 35k|1973 |1725 | 119k|1016k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1721.22/1721.20 c 1721s|770000 | 5976 | 8244k| 10.7 | 91M| 73 | 26 |1973 | 34k|1973 |1735 | 120k|1030k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1744.22/1744.21 c 1744s|780000 | 6011 | 8353k| 10.7 | 92M| 73 | 19 |1973 | 35k|1973 |1725 | 122k|1043k| 10k| 0.000000e+00 | 1.500000e+01 | Inf
1767.73/1767.71 c 1768s|790000 | 6130 | 8457k| 10.7 | 93M| 73 | 21 |1973 | 37k|1973 |1725 | 123k|1057k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
1790.02/1790.00 c
1790.02/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.00 c Solving Time (sec) : 1789.98
1790.02/1790.00 c Solving Nodes : 799448
1790.02/1790.00 c Primal Bound : +1.50000000000000e+01 (131 solutions)
1790.02/1790.00 c Dual Bound : +0.00000000000000e+00
1790.02/1790.00 c Gap : infinite
1790.02/1790.01 s SATISFIABLE
1790.02/1790.01 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.02/1790.01 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1790.02/1790.01 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.02/1790.01 v -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147
1790.02/1790.01 v -x146 -x145 -x144 x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1790.02/1790.01 v x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1790.02/1790.01 v -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1790.02/1790.01 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
1790.02/1790.01 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
1790.02/1790.01 v -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1790.02/1790.01 v -x1
1790.02/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.02/1790.01 c Solving Time : 1789.98
1790.02/1790.01 c Original Problem :
1790.02/1790.01 c Problem name : HOME/instance-2705635-1278572960.wbo
1790.02/1790.01 c Variables : 2085 (1158 binary, 0 integer, 927 implicit integer, 0 continuous)
1790.02/1790.01 c Constraints : 3635 initial, 3635 maximal
1790.02/1790.01 c Presolved Problem :
1790.02/1790.01 c Problem name : t_HOME/instance-2705635-1278572960.wbo
1790.02/1790.01 c Variables : 1973 (1102 binary, 0 integer, 871 implicit integer, 0 continuous)
1790.02/1790.01 c Constraints : 3416 initial, 40197 maximal
1790.02/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.02/1790.01 c trivial : 0.00 56 0 0 0 0 0 0 0
1790.02/1790.01 c dualfix : 0.00 56 0 0 0 0 0 0 0
1790.02/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0
1790.02/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c setppc : 0.00 0 0 0 0 0 49 0 0
1790.02/1790.01 c linear : 0.05 0 0 0 929 0 114 56 0
1790.02/1790.01 c indicator : 0.00 0 0 0 0 0 56 0 0
1790.02/1790.01 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.02/1790.01 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.02/1790.01 c root node : - 1494 - - 1494 - - - -
1790.02/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.02/1790.01 c integral : 0 0 0 460997 0 467 4401 0 0 855548
1790.02/1790.01 c knapsack : 1 6 3615237 29015 1 42784 9609378 2 0 0
1790.02/1790.01 c setppc : 72 6 3578438 28905 1 51253 2464115 0 0 0
1790.02/1790.01 c linear : 871 6 3528831 29077 1 66844 3746037 125123 0 0
1790.02/1790.01 c indicator : 871 0 3454960 29099 1 1506 3719431 0 0 0
1790.02/1790.01 c logicor : 1601+ 6 1888371 6854 1 120021 6545039 0 0 0
1790.02/1790.01 c bounddisjunction : 0+ 0 455028 0 0 218 698 0 0 0
1790.02/1790.01 c countsols : 0 0 0 6854 1 0 0 0 0 0
1790.02/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.02/1790.01 c integral : 43.81 0.00 0.00 43.81 0.00
1790.02/1790.01 c knapsack : 34.98 0.00 34.97 0.01 0.00
1790.02/1790.01 c setppc : 15.79 0.00 15.76 0.03 0.00
1790.02/1790.01 c linear : 45.18 0.00 44.47 0.71 0.00
1790.02/1790.01 c indicator : 25.24 0.02 24.25 0.97 0.00
1790.02/1790.01 c logicor : 264.50 0.00 264.44 0.06 0.00
1790.02/1790.01 c bounddisjunction : 2.09 0.00 2.09 0.00 0.00
1790.02/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.02/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.02/1790.01 c vbounds : 0.65 45792 1 1308
1790.02/1790.01 c rootredcost : 0.57 42 0 747
1790.02/1790.01 c pseudoobj : 58.28 3634369 11439 4070438
1790.02/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.02/1790.01 c propagation : 10.91 292559 291939 1779270 26.0 9418 23.8 -
1790.02/1790.01 c infeasible LP : 22.09 126238 126235 1007948 41.5 1100 18.1 0
1790.02/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.02/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.02/1790.01 c applied globally : - - - 1070135 26.5 - - -
1790.02/1790.01 c applied locally : - - - 0 0.0 - - -
1790.02/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.02/1790.01 c cut pool : 0.00 5 - - 9 - (maximal pool size: 548)
1790.02/1790.01 c redcost : 18.57 464905 0 72333 0 0
1790.02/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1790.02/1790.01 c intobj : 0.00 0 0 0 0 0
1790.02/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.02/1790.01 c gomory : 0.15 6 0 0 1583 0
1790.02/1790.01 c strongcg : 0.13 6 0 0 2110 0
1790.02/1790.01 c cmir : 0.03 6 0 0 1 0
1790.02/1790.01 c flowcover : 0.04 6 0 0 1 0
1790.02/1790.01 c clique : 0.00 6 0 0 0 0
1790.02/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.02/1790.01 c mcf : 0.00 1 0 0 0 0
1790.02/1790.01 c rapidlearning : 0.05 1 0 0 0 0
1790.02/1790.01 c Pricers : Time Calls Vars
1790.02/1790.01 c problem variables: 0.00 0 0
1790.02/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.02/1790.01 c relpscost : 43.43 431854 467 4401 0 0 855548
1790.02/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.02/1790.01 c inference : 0.93 6814 0 0 0 0 13640
1790.02/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.02/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.02/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.02/1790.01 c random : 0.00 0 0 0 0 0 0
1790.02/1790.01 c Primal Heuristics : Time Calls Found
1790.02/1790.01 c LP solutions : 0.03 - 41
1790.02/1790.01 c pseudo solutions : 0.00 - 0
1790.02/1790.01 c intshifting : 0.02 0 0
1790.02/1790.01 c feaspump : 0.03 1 0
1790.02/1790.01 c oneopt : 0.31 38 0
1790.02/1790.01 c crossover : 1.02 37 0
1790.02/1790.01 c coefdiving : 0.52 267 0
1790.02/1790.01 c pscostdiving : 0.47 267 0
1790.02/1790.01 c linesearchdiving : 0.49 268 0
1790.02/1790.01 c guideddiving : 0.63 268 0
1790.02/1790.01 c fracdiving : 0.58 268 0
1790.02/1790.01 c veclendiving : 0.55 268 0
1790.02/1790.01 c objpscostdiving : 0.35 145 0
1790.02/1790.01 c rootsoldiving : 0.45 145 0
1790.02/1790.01 c trivial : 0.00 2 0
1790.02/1790.01 c simplerounding : 0.64 432399 0
1790.02/1790.01 c zirounding : 0.21 1000 0
1790.02/1790.01 c rounding : 0.80 9283 0
1790.02/1790.01 c shifting : 0.82 2873 0
1790.02/1790.01 c twoopt : 0.00 0 0
1790.02/1790.01 c fixandinfer : 0.00 0 0
1790.02/1790.01 c intdiving : 0.00 0 0
1790.02/1790.01 c actconsdiving : 0.00 0 0
1790.02/1790.01 c octane : 0.00 0 0
1790.02/1790.01 c rens : 0.04 1 0
1790.02/1790.01 c rins : 0.00 0 0
1790.02/1790.01 c localbranching : 0.00 0 0
1790.02/1790.01 c mutation : 0.00 0 0
1790.02/1790.01 c dins : 0.00 0 0
1790.02/1790.01 c undercover : 0.00 0 0
1790.02/1790.01 c nlp : 0.12 0 0
1790.02/1790.01 c trysol : 0.24 190 90
1790.02/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.02/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.02/1790.01 c dual LP : 839.38 580103 8549124 14.74 10185.04
1790.02/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.02/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.02/1790.01 c diving/probing LP: 2.08 1475 12239 8.30 5882.64
1790.02/1790.01 c strong branching : 39.27 11053 379036 34.29 9652.70
1790.02/1790.01 c (at root node) : - 16 13615 850.94 -
1790.02/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.02/1790.01 c B&B Tree :
1790.02/1790.01 c number of runs : 1
1790.02/1790.01 c nodes : 799448
1790.02/1790.01 c nodes (total) : 799448
1790.02/1790.01 c nodes left : 6161
1790.02/1790.01 c max depth : 73
1790.02/1790.01 c max depth (total): 73
1790.02/1790.01 c backtracks : 116843 (14.6%)
1790.02/1790.01 c delayed cutoffs : 58902
1790.02/1790.01 c repropagations : 1228788 (6173521 domain reductions, 54040 cutoffs)
1790.02/1790.01 c avg switch length: 4.92
1790.02/1790.01 c switching time : 228.34
1790.02/1790.01 c Solution :
1790.02/1790.01 c Solutions found : 131 (42 improvements)
1790.02/1790.01 c First Solution : +4.29620000000000e+04 (in run 1, after 42 nodes, 16.53 seconds, depth 17, found by <trysol>)
1790.02/1790.01 c Primal Bound : +1.50000000000000e+01 (in run 1, after 583149 nodes, 1293.18 seconds, depth 24, found by <relaxation>)
1790.02/1790.01 c Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Gap : infinite
1790.02/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.02/1790.01 c Root Iterations : 833
1790.12/1790.13 c Time complete: 1790.15.