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-2693511-1277908018.wbo>
0.00/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.04/0.05 c presolving:
0.04/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.04/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.04/0.10 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.09/0.11 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.12 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.09/0.17 c (0.1s) probing: 101/1940 (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 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.09/0.17 c 1937 implications, 11 cliques
0.09/0.17 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.09/0.17 c 1709 constraints of type <indicator>
0.09/0.17 c 11 constraints of type <setppc>
0.09/0.17 c 1709 constraints of type <linear>
0.09/0.17 c 869 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.11
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.09/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.18 c 0.1s| 1 | 0 | 9 | - | 13M| 0 | 0 |3649 |4298 |3649 | 880 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.1s| 1 | 0 | 64 | - | 13M| 0 | 32 |3649 |4298 |3649 | 896 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 83962
0.09/0.19 c y 0.1s| 1 | 0 | 64 | - | 13M| 0 | 32 |3649 |4298 |3649 | 896 | 16 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 115 | - | 14M| 0 | 29 |3649 |4298 |3649 | 929 | 49 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 518 | - | 14M| 0 | 31 |3649 |4298 |3649 | 952 | 72 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 771 | - | 14M| 0 | 37 |3649 |4298 |3649 | 970 | 90 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf
0.39/0.48 c 0.4s| 1 | 0 | 869 | - | 14M| 0 | 61 |3649 |4298 |3649 | 989 | 109 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf
0.49/0.58 c 0.5s| 1 | 0 | 949 | - | 15M| 0 | 65 |3649 |4298 |3649 | 997 | 117 | 0 | 0 | 0.000000e+00 | 8.396200e+04 | Inf
2.79/2.84 c 2.7s| 1 | 2 | 949 | - | 15M| 0 | 65 |3649 |4298 |3649 | 997 | 117 | 0 | 33 | 0.000000e+00 | 8.396200e+04 | Inf
12.89/12.95 o 516
12.89/12.95 c *12.4s| 1518 | 1055 | 15057 | 9.3 | 22M| 113 | - |3649 |4320 |3649 |1042 |1645 | 22 |1142 | 0.000000e+00 | 5.160000e+02 | Inf
12.99/13.00 o 475
12.99/13.00 c *12.4s| 1535 | 1021 | 15109 | 9.2 | 23M| 113 | - |3649 |4370 |3649 |1043 |1647 | 72 |1144 | 0.000000e+00 | 4.750000e+02 | Inf
12.99/13.01 o 465
12.99/13.01 c *12.4s| 1536 | 1004 | 15112 | 9.2 | 23M| 113 | - |3649 |4370 |3649 |1043 |1647 | 72 |1144 | 0.000000e+00 | 4.650000e+02 | Inf
13.29/13.37 o 462
13.29/13.37 c *12.8s| 1692 | 1148 | 16005 | 8.9 | 23M| 113 | - |3649 |4387 |3649 |1034 |1780 | 89 |1156 | 0.000000e+00 | 4.620000e+02 | Inf
13.49/13.53 o 453
13.49/13.53 c *12.9s| 1753 | 1181 | 16516 | 8.9 | 23M| 113 | - |3649 |4414 |3649 |1033 |1828 | 116 |1157 | 0.000000e+00 | 4.530000e+02 | Inf
13.89/13.96 o 426
13.89/13.96 c *13.4s| 1896 | 1234 | 18015 | 9.0 | 24M| 113 | - |3649 |4456 |3649 |1033 |1992 | 158 |1168 | 0.000000e+00 | 4.260000e+02 | Inf
14.09/14.18 o 423
14.09/14.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.18 c *13.6s| 1979 | 1290 | 18866 | 9.1 | 24M| 113 | - |3649 |4503 |3649 |1035 |2078 | 205 |1169 | 0.000000e+00 | 4.230000e+02 | Inf
15.30/15.33 o 413
15.30/15.33 c *14.7s| 2408 | 1599 | 22985 | 9.2 | 25M| 113 | - |3649 |4743 |3649 |1035 |2603 | 446 |1176 | 0.000000e+00 | 4.130000e+02 | Inf
15.68/15.79 o 405
15.68/15.79 c *15.1s| 2641 | 1796 | 23638 | 8.6 | 25M| 113 | - |3649 |4770 |3649 |1019 |2728 | 474 |1178 | 0.000000e+00 | 4.050000e+02 | Inf
17.28/17.32 o 376
17.28/17.32 c *16.6s| 3291 | 2095 | 27169 | 8.0 | 26M| 113 | - |3649 |5070 |3649 |1035 |3155 | 846 |1214 | 0.000000e+00 | 3.760000e+02 | Inf
17.79/17.88 o 368
17.79/17.88 c *17.1s| 3546 | 2149 | 27991 | 7.6 | 27M| 113 | - |3649 |5186 |3649 |1085 |3238 |1047 |1217 | 0.000000e+00 | 3.680000e+02 | Inf
18.60/18.60 o 363
18.60/18.60 c *17.8s| 3846 | 2282 | 29344 | 7.4 | 27M| 113 | - |3649 |5374 |3649 |1039 |3384 |1309 |1230 | 0.000000e+00 | 3.630000e+02 | Inf
18.69/18.78 o 360
18.69/18.78 c *18.0s| 3937 | 2323 | 29634 | 7.3 | 27M| 113 | - |3649 |5411 |3649 |1047 |3409 |1360 |1236 | 0.000000e+00 | 3.600000e+02 | Inf
19.29/19.38 o 348
19.29/19.38 c *18.5s| 4207 | 2407 | 30577 | 7.0 | 27M| 113 | - |3649 |5576 |3649 |1047 |3544 |1577 |1242 | 0.000000e+00 | 3.480000e+02 | Inf
19.39/19.48 o 344
19.39/19.48 c *18.6s| 4268 | 2421 | 30666 | 7.0 | 27M| 113 | - |3649 |5639 |3649 |1053 |3558 |1643 |1242 | 0.000000e+00 | 3.440000e+02 | Inf
19.59/19.63 o 329
19.59/19.63 c *18.8s| 4341 | 2415 | 30805 | 6.9 | 27M| 113 | - |3649 |5665 |3649 |1047 |3591 |1680 |1242 | 0.000000e+00 | 3.290000e+02 | Inf
20.19/20.22 o 327
20.19/20.22 c *19.4s| 4598 | 2530 | 32701 | 6.9 | 28M| 113 | - |3649 |5765 |3649 |1057 |3808 |1892 |1246 | 0.000000e+00 | 3.270000e+02 | Inf
21.89/21.91 o 306
21.89/21.91 c *21.0s| 5277 | 2696 | 38292 | 7.1 | 28M| 113 | - |3649 |5765 |3649 |1014 |4360 |2369 |1279 | 0.000000e+00 | 3.060000e+02 | Inf
21.89/21.94 o 290
21.89/21.94 c *21.0s| 5288 | 2602 | 38316 | 7.1 | 28M| 113 | - |3649 |5764 |3649 |1012 |4361 |2369 |1279 | 0.000000e+00 | 2.900000e+02 | Inf
22.19/22.22 o 273
22.19/22.22 c *21.3s| 5373 | 2552 | 39613 | 7.2 | 28M| 113 | - |3649 |5754 |3649 |1019 |4518 |2436 |1279 | 0.000000e+00 | 2.730000e+02 | Inf
22.59/22.67 o 257
22.59/22.67 c *21.7s| 5488 | 2476 | 41686 | 7.4 | 28M| 113 | - |3649 |5659 |3649 |1026 |4724 |2509 |1289 | 0.000000e+00 | 2.570000e+02 | Inf
22.79/22.82 o 252
22.79/22.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.79/22.82 c *21.8s| 5530 | 2464 | 42429 | 7.5 | 28M| 113 | - |3649 |5653 |3649 |1060 |4860 |2528 |1291 | 0.000000e+00 | 2.520000e+02 | Inf
28.89/28.99 o 225
28.89/28.99 c *27.8s| 8109 | 3348 | 59235 | 7.2 | 31M| 113 | - |3649 |5263 |3649 |1032 |6469 |4281 |1362 | 0.000000e+00 | 2.250000e+02 | Inf
29.19/29.23 o 215
29.19/29.23 c *28.0s| 8184 | 3300 | 60658 | 7.3 | 31M| 113 | - |3649 |5260 |3649 |1009 |6563 |4318 |1362 | 0.000000e+00 | 2.150000e+02 | Inf
29.98/30.06 o 205
29.98/30.06 c *28.8s| 8424 | 3347 | 64121 | 7.5 | 31M| 113 | - |3649 |5283 |3649 |1071 |7063 |4467 |1371 | 0.000000e+00 | 2.050000e+02 | Inf
33.59/33.67 c 32.2s| 10000 | 3895 | 73092 | 7.2 | 34M| 113 | 1 |3649 |5765 |3649 |1036 |7963 |5871 |1382 | 0.000000e+00 | 2.050000e+02 | Inf
34.10/34.18 o 191
34.10/34.18 c *32.7s| 10235 | 3799 | 73954 | 7.1 | 34M| 113 | - |3649 |5833 |3649 |1033 |8016 |6048 |1382 | 0.000000e+00 | 1.910000e+02 | Inf
34.69/34.77 o 171
34.69/34.77 c *33.2s| 10503 | 3487 | 75157 | 7.1 | 32M| 113 | - |3649 |5770 |3649 |1045 |8096 |6261 |1382 | 0.000000e+00 | 1.710000e+02 | Inf
35.69/35.71 o 149
35.69/35.71 c *34.1s| 10903 | 3353 | 77281 | 7.0 | 32M| 113 | - |3649 |5553 |3649 |1006 |8338 |6507 |1382 | 0.000000e+00 | 1.490000e+02 | Inf
35.79/35.86 o 143
35.79/35.86 c f34.3s| 10953 | 3305 | 77882 | 7.0 | 32M| 113 | - |3649 |5573 |3649 |1022 |8410 |6544 |1382 | 0.000000e+00 | 1.430000e+02 | Inf
36.39/36.40 o 129
36.39/36.40 c *34.8s| 11165 | 3187 | 79286 | 7.0 | 31M| 113 | - |3649 |5623 |3649 |1052 |8531 |6734 |1382 | 0.000000e+00 | 1.290000e+02 | Inf
36.39/36.40 o 128
36.39/36.40 c *34.8s| 11166 | 3177 | 79287 | 7.0 | 31M| 113 | - |3649 |5623 |3649 |1052 |8531 |6734 |1382 | 0.000000e+00 | 1.280000e+02 | Inf
38.39/38.42 o 126
38.39/38.42 c *36.7s| 11992 | 3433 | 83931 | 6.9 | 33M| 113 | - |3649 |5374 |3649 |1064 |8999 |7385 |1398 | 0.000000e+00 | 1.260000e+02 | Inf
39.29/39.39 o 110
39.29/39.39 c *37.6s| 12352 | 3204 | 86557 | 6.9 | 32M| 113 | - |3649 |5305 |3649 |1048 |9214 |7672 |1434 | 0.000000e+00 | 1.100000e+02 | Inf
39.29/39.39 o 103
39.29/39.39 c *37.6s| 12353 | 2969 | 86557 | 6.9 | 31M| 113 | - |3649 |5305 |3649 |1048 |9214 |7672 |1434 | 0.000000e+00 | 1.030000e+02 | Inf
40.19/40.27 o 91
40.19/40.27 c *38.5s| 12715 | 2666 | 88946 | 6.9 | 31M| 113 | - |3649 |5532 |3649 | 992 |9303 |8104 |1444 | 0.000000e+00 | 9.100000e+01 | Inf
40.39/40.44 o 90
40.39/40.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.39/40.44 c *38.6s| 12747 | 2624 | 89994 | 7.0 | 31M| 113 | - |3649 |5337 |3649 |1018 |9400 |8120 |1445 | 0.000000e+00 | 9.000000e+01 | Inf
40.39/40.45 o 62
40.39/40.45 c *38.6s| 12748 | 1999 | 89995 | 7.0 | 28M| 113 | - |3649 |5337 |3649 |1018 |9400 |8120 |1445 | 0.000000e+00 | 6.200000e+01 | Inf
40.48/40.50 o 31
40.48/40.50 c *38.7s| 12749 | 1385 | 90045 | 7.0 | 26M| 113 | - |3649 |4770 |3649 |1022 |9406 |8137 |1445 | 0.000000e+00 | 3.100000e+01 | Inf
40.60/40.67 o 28
40.60/40.67 c *38.9s| 12786 | 1369 | 91178 | 7.1 | 26M| 113 | - |3649 |4179 |3649 | 989 |9465 |8200 |1447 | 0.000000e+00 | 2.800000e+01 | Inf
40.60/40.68 o 15
40.60/40.68 c *38.9s| 12787 | 1091 | 91184 | 7.1 | 25M| 113 | - |3649 |4179 |3649 | 990 |9466 |8200 |1447 | 0.000000e+00 | 1.500000e+01 | Inf
40.69/40.73 o 9
40.69/40.73 c *38.9s| 12797 | 538 | 91560 | 7.1 | 24M| 113 | - |3649 |3850 |3649 |1057 |9496 |8213 |1447 | 0.000000e+00 | 9.000000e+00 | Inf
52.89/52.98 c 50.5s| 20000 | 552 |147429 | 7.3 | 26M| 113 | - |3649 |5979 | 0 | 0 | 11k| 17k|1530 | 0.000000e+00 | 9.000000e+00 | Inf
55.39/55.42 o 8
55.39/55.42 c *52.8s| 21566 | 572 |157870 | 7.3 | 26M| 113 | - |3649 |6745 |3649 | 985 | 11k| 19k|1530 | 0.000000e+00 | 8.000000e+00 | Inf
69.09/69.18 c 65.8s| 30000 | 625 |213654 | 7.1 | 28M| 113 | 17 |3649 |8647 |3649 |1004 | 13k| 31k|1532 | 0.000000e+00 | 8.000000e+00 | Inf
86.29/86.30 c 81.9s| 40000 | 732 |283659 | 7.1 | 30M| 113 | - |3649 |8147 | 0 | 0 | 15k| 44k|1532 | 0.000000e+00 | 8.000000e+00 | Inf
103.29/103.34 c 98.1s| 50000 | 1088 |353752 | 7.1 | 32M| 113 | - |3649 |8005 | 0 | 0 | 18k| 57k|1543 | 0.000000e+00 | 8.000000e+00 | Inf
119.69/119.73 c 114s| 60000 | 1404 |417611 | 6.9 | 35M| 113 | 22 |3649 |9510 |3649 |1006 | 20k| 70k|1572 | 0.000000e+00 | 8.000000e+00 | Inf
136.89/136.94 c 130s| 70000 | 1515 |483304 | 6.9 | 37M| 113 | 1 |3649 |8670 |3649 |1007 | 22k| 84k|1675 | 0.000000e+00 | 8.000000e+00 | Inf
154.70/154.70 c 147s| 80000 | 1630 |552991 | 6.9 | 39M| 113 | - |3649 |9420 | 0 | 0 | 25k| 97k|1802 | 0.000000e+00 | 8.000000e+00 | Inf
156.29/156.31 o 4
156.29/156.31 c * 148s| 80909 | 1344 |558864 | 6.9 | 36M| 113 | - |3649 |8525 |3649 |1023 | 25k| 98k|1802 | 0.000000e+00 | 4.000000e+00 | Inf
171.69/171.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.69/171.80 c 163s| 90000 | 1345 |619216 | 6.9 | 37M| 113 | 16 |3649 |8556 |3649 | 992 | 27k| 111k|1943 | 0.000000e+00 | 4.000000e+00 | Inf
188.90/188.96 c 179s|100000 | 1408 |687959 | 6.9 | 39M| 113 | 18 |3649 | 11k|3649 |1003 | 29k| 124k|2066 | 0.000000e+00 | 4.000000e+00 | Inf
206.30/206.38 c 195s|110000 | 1488 |749947 | 6.8 | 41M| 113 | 1 |3649 | 13k|3649 |1008 | 31k| 138k|2154 | 0.000000e+00 | 4.000000e+00 | Inf
224.79/224.88 c 213s|120000 | 1600 |817666 | 6.8 | 42M| 113 | 17 |3649 | 13k|3649 | 985 | 33k| 152k|2276 | 0.000000e+00 | 4.000000e+00 | Inf
242.29/242.37 c 229s|130000 | 1696 |875298 | 6.7 | 44M| 113 | 18 |3649 | 15k|3649 |1004 | 35k| 166k|2341 | 0.000000e+00 | 4.000000e+00 | Inf
261.09/261.17 c 247s|140000 | 1645 |934854 | 6.7 | 43M| 113 | - |3649 | 13k| 0 | 0 | 37k| 180k|2458 | 0.000000e+00 | 4.000000e+00 | Inf
279.09/279.15 c 264s|150000 | 1671 |999708 | 6.7 | 44M| 113 | 16 |3649 | 12k|3649 |1010 | 39k| 194k|2596 | 0.000000e+00 | 4.000000e+00 | Inf
296.79/296.81 c 281s|160000 | 1629 | 1064k| 6.6 | 44M| 113 | 18 |3649 | 12k|3649 |1011 | 41k| 208k|2680 | 0.000000e+00 | 4.000000e+00 | Inf
314.00/314.00 c 297s|170000 | 1528 | 1124k| 6.6 | 44M| 113 | 1 |3649 | 11k|3649 | 985 | 43k| 223k|2766 | 0.000000e+00 | 4.000000e+00 | Inf
331.49/331.58 c 314s|180000 | 1890 | 1189k| 6.6 | 48M| 113 | 18 |3649 | 16k|3649 |1003 | 46k| 236k|2867 | 0.000000e+00 | 4.000000e+00 | Inf
349.70/349.80 c 331s|190000 | 2125 | 1251k| 6.6 | 50M| 113 | 1 |3649 | 16k|3649 | 993 | 48k| 251k|2943 | 0.000000e+00 | 4.000000e+00 | Inf
369.50/369.59 c 350s|200000 | 2290 | 1326k| 6.6 | 51M| 113 | - |3649 | 15k| 0 | 0 | 50k| 265k|3056 | 0.000000e+00 | 4.000000e+00 | Inf
387.59/387.64 c 367s|210000 | 2352 | 1388k| 6.6 | 52M| 113 | 9 |3649 | 16k|3649 |1019 | 52k| 280k|3134 | 0.000000e+00 | 4.000000e+00 | Inf
406.30/406.38 c 385s|220000 | 2389 | 1451k| 6.6 | 53M| 113 | 1 |3649 | 16k|3649 |1012 | 54k| 295k|3189 | 0.000000e+00 | 4.000000e+00 | Inf
424.99/425.03 c 403s|230000 | 2455 | 1516k| 6.6 | 55M| 113 | - |3649 | 18k| 0 | 0 | 56k| 309k|3253 | 0.000000e+00 | 4.000000e+00 | Inf
443.80/443.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.80/443.88 c 421s|240000 | 2470 | 1579k| 6.6 | 56M| 113 | 27 |3649 | 18k|3649 |1005 | 58k| 324k|3341 | 0.000000e+00 | 4.000000e+00 | Inf
462.40/462.44 c 439s|250000 | 2414 | 1638k| 6.5 | 56M| 113 | 19 |3649 | 19k|3649 |1023 | 59k| 340k|3415 | 0.000000e+00 | 4.000000e+00 | Inf
481.10/481.17 c 456s|260000 | 2442 | 1695k| 6.5 | 57M| 113 | - |3649 | 20k| 0 | 0 | 61k| 354k|3485 | 0.000000e+00 | 4.000000e+00 | Inf
499.90/499.95 c 474s|270000 | 2408 | 1757k| 6.5 | 56M| 113 | 38 |3649 | 19k|3649 |1010 | 64k| 369k|3556 | 0.000000e+00 | 4.000000e+00 | Inf
519.11/519.19 c 492s|280000 | 2526 | 1820k| 6.5 | 57M| 113 | 18 |3649 | 20k|3649 | 997 | 66k| 383k|3619 | 0.000000e+00 | 4.000000e+00 | Inf
538.20/538.22 c 511s|290000 | 2581 | 1879k| 6.5 | 59M| 113 | - |3649 | 21k| 0 | 0 | 69k| 398k|3668 | 0.000000e+00 | 4.000000e+00 | Inf
557.90/557.93 c 529s|300000 | 2439 | 1944k| 6.5 | 56M| 113 | - |3649 | 16k| 0 | 0 | 71k| 414k|3802 | 0.000000e+00 | 4.000000e+00 | Inf
576.81/576.85 c 547s|310000 | 2309 | 2008k| 6.5 | 55M| 113 | 1 |3649 | 15k|3649 |1023 | 73k| 428k|3936 | 0.000000e+00 | 4.000000e+00 | Inf
594.60/594.64 c 564s|320000 | 2287 | 2072k| 6.5 | 55M| 113 | - |3649 | 15k| 0 | 0 | 75k| 443k|4010 | 0.000000e+00 | 4.000000e+00 | Inf
612.51/612.51 c 581s|330000 | 2415 | 2135k| 6.5 | 56M| 113 | - |3649 | 16k| 0 | 0 | 77k| 458k|4072 | 0.000000e+00 | 4.000000e+00 | Inf
630.31/630.31 c 598s|340000 | 2491 | 2193k| 6.4 | 58M| 113 | 1 |3649 | 18k|3649 |1015 | 79k| 473k|4113 | 0.000000e+00 | 4.000000e+00 | Inf
648.81/648.89 c 616s|350000 | 2112 | 2258k| 6.5 | 53M| 113 | - |3649 | 13k| 0 | 0 | 81k| 488k|4235 | 0.000000e+00 | 4.000000e+00 | Inf
659.20/659.21 o 2
659.20/659.21 c * 625s|355561 | 2032 | 2298k| 6.5 | 52M| 113 | - |3649 | 13k|3649 |1025 | 83k| 496k|4267 | 0.000000e+00 | 2.000000e+00 | Inf
667.10/667.18 c 633s|360000 | 1862 | 2325k| 6.5 | 49M| 113 | 1 |3649 |9387 |3649 | 985 | 84k| 503k|4370 | 0.000000e+00 | 2.000000e+00 | Inf
684.70/684.72 c 649s|370000 | 2001 | 2392k| 6.5 | 52M| 113 | - |3649 | 14k| 0 | 0 | 86k| 516k|4417 | 0.000000e+00 | 2.000000e+00 | Inf
703.61/703.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
703.61/703.68 c 667s|380000 | 1857 | 2465k| 6.5 | 51M| 113 | - |3649 | 13k| 0 | 0 | 89k| 531k|4485 | 0.000000e+00 | 2.000000e+00 | Inf
721.21/721.27 c 684s|390000 | 1678 | 2526k| 6.5 | 48M| 113 | - |3649 | 10k| 0 | 0 | 91k| 546k|4575 | 0.000000e+00 | 2.000000e+00 | Inf
738.91/738.98 c 701s|400000 | 1732 | 2592k| 6.5 | 49M| 113 | - |3649 | 12k| 0 | 0 | 94k| 559k|4627 | 0.000000e+00 | 2.000000e+00 | Inf
757.71/757.80 c 719s|410000 | 1935 | 2668k| 6.5 | 52M| 113 | 23 |3649 | 15k|3649 |1002 | 96k| 574k|4675 | 0.000000e+00 | 2.000000e+00 | Inf
776.71/776.71 c 737s|420000 | 1878 | 2735k| 6.5 | 52M| 113 | 16 |3649 | 15k|3649 | 985 | 98k| 588k|4728 | 0.000000e+00 | 2.000000e+00 | Inf
797.61/797.64 c 757s|430000 | 1669 | 2817k| 6.6 | 48M| 113 | 21 |3649 | 11k|3649 | 985 | 100k| 602k|5240 | 0.000000e+00 | 2.000000e+00 | Inf
818.20/818.25 c 776s|440000 | 1989 | 2910k| 6.6 | 52M| 113 | 21 |3649 | 14k|3649 | 994 | 102k| 615k|5295 | 0.000000e+00 | 2.000000e+00 | Inf
835.11/835.19 o 1
835.11/835.19 c * 793s|448524 | 2097 | 2977k| 6.6 | 54M| 113 | - |3649 | 14k|3649 |1003 | 104k| 626k|5305 | 0.000000e+00 | 1.000000e-00 | Inf
838.51/838.51 c 796s|450000 | 2101 | 2991k| 6.6 | 53M| 113 | 21 |3649 | 13k|3649 | 997 | 104k| 628k|5320 | 0.000000e+00 | 1.000000e-00 | Inf
857.31/857.40 c 814s|460000 | 2093 | 3064k| 6.7 | 54M| 113 | - |3649 | 12k| 0 | 0 | 106k| 642k|5373 | 0.000000e+00 | 1.000000e-00 | Inf
876.41/876.43 c 832s|470000 | 2149 | 3140k| 6.7 | 55M| 113 | - |3649 | 13k| 0 | 0 | 108k| 657k|5436 | 0.000000e+00 | 1.000000e-00 | Inf
895.61/895.67 c 850s|480000 | 2168 | 3217k| 6.7 | 56M| 113 | - |3649 | 15k| 0 | 0 | 110k| 671k|5504 | 0.000000e+00 | 1.000000e-00 | Inf
915.30/915.33 c 869s|490000 | 2191 | 3295k| 6.7 | 57M| 113 | - |3649 | 14k| 0 | 0 | 111k| 685k|5560 | 0.000000e+00 | 1.000000e-00 | Inf
934.51/934.54 c 887s|500000 | 2134 | 3367k| 6.7 | 57M| 113 | - |3649 | 15k| 0 | 0 | 113k| 699k|5617 | 0.000000e+00 | 1.000000e-00 | Inf
953.81/953.85 c 906s|510000 | 1946 | 3440k| 6.7 | 55M| 113 | - |3649 | 13k| 0 | 0 | 115k| 713k|5675 | 0.000000e+00 | 1.000000e-00 | Inf
971.21/971.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.21/971.23 c 922s|520000 | 1868 | 3500k| 6.7 | 54M| 113 | 10 |3649 | 15k|3649 |1006 | 117k| 728k|5733 | 0.000000e+00 | 1.000000e-00 | Inf
989.21/989.22 c 939s|530000 | 1862 | 3560k| 6.7 | 55M| 113 | - |3649 | 17k| 0 | 0 | 118k| 742k|5781 | 0.000000e+00 | 1.000000e-00 | Inf
1007.91/1007.92 c 957s|540000 | 1986 | 3618k| 6.7 | 57M| 113 | 6 |3649 | 19k|3649 |1015 | 120k| 757k|5824 | 0.000000e+00 | 1.000000e-00 | Inf
1027.62/1027.66 c 976s|550000 | 2074 | 3679k| 6.7 | 58M| 113 | 23 |3649 | 20k|3649 |1039 | 122k| 772k|5873 | 0.000000e+00 | 1.000000e-00 | Inf
1047.61/1047.64 c 995s|560000 | 2112 | 3742k| 6.7 | 59M| 113 | 17 |3649 | 21k|3649 |1015 | 123k| 786k|5891 | 0.000000e+00 | 1.000000e-00 | Inf
1067.91/1067.95 c 1014s|570000 | 2238 | 3802k| 6.7 | 62M| 113 | - |3649 | 24k| 0 | 0 | 125k| 801k|5920 | 0.000000e+00 | 1.000000e-00 | Inf
1089.02/1089.05 c 1035s|580000 | 2389 | 3870k| 6.7 | 64M| 113 | - |3649 | 25k| 0 | 0 | 126k| 816k|5971 | 0.000000e+00 | 1.000000e-00 | Inf
1109.31/1109.36 c 1054s|590000 | 2245 | 3928k| 6.7 | 61M| 113 | 1 |3649 | 20k|3649 |1021 | 127k| 832k|6015 | 0.000000e+00 | 1.000000e-00 | Inf
1129.11/1129.11 c 1073s|600000 | 1753 | 3987k| 6.6 | 53M| 113 | 1 |3649 | 11k|3649 | 985 | 129k| 847k|6207 | 0.000000e+00 | 1.000000e-00 | Inf
1146.52/1146.54 c 1090s|610000 | 1552 | 4051k| 6.6 | 49M| 113 | 1 |3649 | 10k|3649 |1017 | 131k| 861k|6286 | 0.000000e+00 | 1.000000e-00 | Inf
1163.82/1163.86 c 1106s|620000 | 1150 | 4114k| 6.6 | 44M| 113 | 11 |3649 | 10k|3649 |1012 | 133k| 875k|6331 | 0.000000e+00 | 1.000000e-00 | Inf
1180.71/1180.70 c 1122s|630000 | 964 | 4175k| 6.6 | 42M| 113 | - |3649 | 10k| 0 | 0 | 135k| 890k|6391 | 0.000000e+00 | 1.000000e-00 | Inf
1197.82/1197.90 c 1138s|640000 | 868 | 4247k| 6.6 | 40M| 113 | 16 |3649 | 10k|3649 |1014 | 137k| 903k|6441 | 0.000000e+00 | 1.000000e-00 | Inf
1215.91/1215.99 c 1155s|650000 | 829 | 4319k| 6.6 | 41M| 113 | - |3649 | 11k| 0 | 0 | 139k| 917k|6496 | 0.000000e+00 | 1.000000e-00 | Inf
1234.31/1234.31 c 1173s|660000 | 867 | 4388k| 6.6 | 41M| 113 | 14 |3649 | 11k|3649 |1002 | 141k| 929k|6604 | 0.000000e+00 | 1.000000e-00 | Inf
1252.21/1252.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1252.21/1252.25 c 1190s|670000 | 1166 | 4458k| 6.7 | 44M| 113 | - |3649 | 14k| 0 | 0 | 143k| 943k|6629 | 0.000000e+00 | 1.000000e-00 | Inf
1271.42/1271.49 c 1208s|680000 | 1363 | 4528k| 6.7 | 46M| 113 | 1 |3649 | 15k|3649 |1010 | 145k| 956k|6681 | 0.000000e+00 | 1.000000e-00 | Inf
1291.22/1291.25 c 1227s|690000 | 1518 | 4602k| 6.7 | 47M| 113 | 27 |3649 | 14k|3649 | 985 | 147k| 970k|6733 | 0.000000e+00 | 1.000000e-00 | Inf
1310.22/1310.21 c 1245s|700000 | 1575 | 4674k| 6.7 | 48M| 113 | 15 |3649 | 13k|3649 |1010 | 149k| 984k|6796 | 0.000000e+00 | 1.000000e-00 | Inf
1328.52/1328.57 c 1263s|710000 | 1492 | 4743k| 6.7 | 48M| 113 | - |3649 | 12k| 0 | 0 | 151k| 998k|6852 | 0.000000e+00 | 1.000000e-00 | Inf
1346.62/1346.61 c 1280s|720000 | 754 | 4807k| 6.7 | 40M| 113 | 5 |3649 | 11k|3649 | 998 | 154k|1013k|6924 | 0.000000e+00 | 1.000000e-00 | Inf
1363.52/1363.54 c 1296s|730000 | 739 | 4867k| 6.7 | 40M| 113 | 12 |3649 | 12k|3649 |1011 | 156k|1027k|6973 | 0.000000e+00 | 1.000000e-00 | Inf
1381.42/1381.48 c 1313s|740000 | 771 | 4929k| 6.7 | 41M| 113 | 13 |3649 | 12k|3649 | 985 | 158k|1040k|7018 | 0.000000e+00 | 1.000000e-00 | Inf
1400.62/1400.61 c 1331s|750000 | 853 | 4998k| 6.7 | 43M| 113 | - |3649 | 17k| 0 | 0 | 161k|1053k|7077 | 0.000000e+00 | 1.000000e-00 | Inf
1420.03/1420.04 c 1350s|760000 | 817 | 5067k| 6.7 | 43M| 113 | 1 |3649 | 15k|3649 |1010 | 163k|1067k|7134 | 0.000000e+00 | 1.000000e-00 | Inf
1439.42/1439.40 c 1368s|770000 | 664 | 5136k| 6.7 | 40M| 113 | - |3649 | 11k| 0 | 0 | 165k|1080k|7175 | 0.000000e+00 | 1.000000e-00 | Inf
1457.62/1457.67 c 1385s|780000 | 639 | 5205k| 6.7 | 40M| 113 | - |3649 | 13k| 0 | 0 | 167k|1093k|7220 | 0.000000e+00 | 1.000000e-00 | Inf
1475.13/1475.15 c 1402s|790000 | 521 | 5267k| 6.7 | 39M| 113 | - |3649 | 13k| 0 | 0 | 169k|1106k|7274 | 0.000000e+00 | 1.000000e-00 | Inf
1493.32/1493.35 c 1419s|800000 | 607 | 5327k| 6.7 | 41M| 113 | 14 |3649 | 17k|3649 |1005 | 171k|1120k|7310 | 0.000000e+00 | 1.000000e-00 | Inf
1512.43/1512.43 c 1437s|810000 | 675 | 5388k| 6.7 | 42M| 113 | - |3649 | 18k|3649 |1007 | 173k|1134k|7328 | 0.000000e+00 | 1.000000e-00 | Inf
1532.22/1532.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.22/1532.29 c 1456s|820000 | 608 | 5452k| 6.6 | 42M| 113 | - |3649 | 17k| 0 | 0 | 175k|1148k|7375 | 0.000000e+00 | 1.000000e-00 | Inf
1551.12/1551.18 c 1474s|830000 | 519 | 5524k| 6.7 | 38M| 113 | - |3649 | 10k| 0 | 0 | 177k|1161k|7440 | 0.000000e+00 | 1.000000e-00 | Inf
1568.73/1568.77 c 1491s|840000 | 446 | 5592k| 6.7 | 37M| 113 | - |3649 | 11k|3649 |1003 | 178k|1174k|7477 | 0.000000e+00 | 1.000000e-00 | Inf
1586.13/1586.16 c 1508s|850000 | 433 | 5650k| 6.6 | 38M| 113 | 16 |3649 | 14k|3649 | 991 | 180k|1188k|7549 | 0.000000e+00 | 1.000000e-00 | Inf
1605.03/1605.07 c 1526s|860000 | 661 | 5715k| 6.6 | 42M| 113 | 9 |3649 | 19k|3649 |1006 | 182k|1201k|7560 | 0.000000e+00 | 1.000000e-00 | Inf
1625.73/1625.79 c 1545s|870000 | 874 | 5783k| 6.6 | 45M| 113 | 13 |3649 | 23k|3649 |1005 | 184k|1216k|7593 | 0.000000e+00 | 1.000000e-00 | Inf
1647.23/1647.24 c 1566s|880000 | 790 | 5847k| 6.6 | 44M| 113 | - |3649 | 17k| 0 | 0 | 186k|1230k|7647 | 0.000000e+00 | 1.000000e-00 | Inf
1666.03/1666.04 c 1584s|890000 | 330 | 5905k| 6.6 | 36M| 113 | 9 |3649 | 11k|3649 | 985 | 188k|1244k|7727 | 0.000000e+00 | 1.000000e-00 | Inf
1684.93/1684.98 c 1602s|900000 | 459 | 5980k| 6.6 | 37M| 113 | 1 |3649 | 12k|3649 | 995 | 190k|1257k|7804 | 0.000000e+00 | 1.000000e-00 | Inf
1704.73/1704.77 c 1621s|910000 | 603 | 6067k| 6.7 | 39M| 113 | 22 |3649 | 14k|3649 | 998 | 192k|1271k|7839 | 0.000000e+00 | 1.000000e-00 | Inf
1725.94/1725.97 c 1641s|920000 | 739 | 6165k| 6.7 | 41M| 113 | 26 |3649 | 15k|3649 |1006 | 194k|1284k|7889 | 0.000000e+00 | 1.000000e-00 | Inf
1747.73/1747.70 c 1662s|930000 | 916 | 6260k| 6.7 | 45M| 113 | - |3649 | 20k| 0 | 0 | 196k|1298k|7949 | 0.000000e+00 | 1.000000e-00 | Inf
1770.03/1770.03 c 1683s|940000 | 960 | 6358k| 6.8 | 44M| 113 | - |3649 | 15k| 0 | 0 | 197k|1312k|8014 | 0.000000e+00 | 1.000000e-00 | Inf
1791.03/1791.09 c 1704s|950000 | 1316 | 6443k| 6.8 | 48M| 113 | 20 |3649 | 19k|3649 | 995 | 199k|1326k|8077 | 0.000000e+00 | 1.000000e-00 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1712.10
1800.04/1800.01 c Solving Nodes : 954149
1800.04/1800.01 c Primal Bound : +1.00000000000000e-00 (148 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.05 s SATISFIABLE
1800.04/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 x210
1800.04/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189
1800.04/1800.05 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.04/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.04/1800.05 v -x146 -x145 -x144 x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125
1800.04/1800.05 v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104
1800.04/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80
1800.04/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.04/1800.05 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.04/1800.05 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.04/1800.05 v -x1
1800.04/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.05 c Solving Time : 1712.10
1800.04/1800.05 c Original Problem :
1800.04/1800.05 c Problem name : HOME/instance-2693511-1277908018.wbo
1800.04/1800.05 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.04/1800.05 c Constraints : 4493 initial, 4493 maximal
1800.04/1800.05 c Presolved Problem :
1800.04/1800.05 c Problem name : t_HOME/instance-2693511-1277908018.wbo
1800.04/1800.05 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.04/1800.05 c Constraints : 4298 initial, 26569 maximal
1800.04/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.05 c trivial : 0.00 76 0 0 0 0 0 0 0
1800.04/1800.05 c dualfix : 0.00 76 0 0 0 0 0 0 0
1800.04/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c probing : 0.05 0 0 0 0 0 0 0 0
1800.04/1800.05 c indicator : 0.00 0 0 0 0 0 76 0 0
1800.04/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c linear : 0.05 0 0 0 1809 0 119 96 0
1800.04/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.05 c root node : - 1709 - - 3418 - - - -
1800.04/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c integral : 0 0 0 553847 0 78 844 0 0 1038214
1800.04/1800.05 c indicator : 1709 0 2229859 20750 0 95 876661 0 0 0
1800.04/1800.05 c setppc : 11 6 4850248 33418 0 39064 1674326 0 0 0
1800.04/1800.05 c linear : 1709 6 4813693 33934 0 258088 20401696 200363 0 0
1800.04/1800.05 c logicor : 869+ 6 1900088 5404 0 184632 4891545 0 0 0
1800.04/1800.05 c bounddisjunction : 0+ 0 1496 0 0 0 0 0 0 0
1800.04/1800.05 c countsols : 0 0 0 5404 0 0 0 0 0 0
1800.04/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.05 c integral : 26.07 0.00 0.00 26.07 0.00
1800.04/1800.05 c indicator : 3.30 0.00 2.40 0.90 0.00
1800.04/1800.05 c setppc : 10.82 0.00 10.81 0.01 0.00
1800.04/1800.05 c linear : 152.95 0.01 151.43 1.51 0.00
1800.04/1800.05 c logicor : 212.38 0.00 212.34 0.04 0.00
1800.04/1800.05 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.04/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.05 c vbounds : 0.00 2 0 0
1800.04/1800.05 c rootredcost : 0.01 46 0 1709
1800.04/1800.05 c pseudoobj : 145.62 4854975 2009 597295
1800.04/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.05 c propagation : 24.81 483793 483339 3031160 29.6 15266 24.8 -
1800.04/1800.05 c infeasible LP : 6.98 28340 28340 227768 45.5 293 17.4 0
1800.04/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.05 c pseudo solution : 0.03 70 70 375 15.6 48 5.3 -
1800.04/1800.05 c applied globally : - - - 1332499 24.0 - - -
1800.04/1800.05 c applied locally : - - - 0 0.0 - - -
1800.04/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.05 c cut pool : 0.00 4 - - 45 - (maximal pool size: 302)
1800.04/1800.05 c redcost : 23.92 555128 0 263662 0 0
1800.04/1800.05 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.05 c intobj : 0.00 0 0 0 0 0
1800.04/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.05 c gomory : 0.10 5 0 0 876 0
1800.04/1800.05 c strongcg : 0.06 5 0 0 0 0
1800.04/1800.05 c cmir : 0.03 5 0 0 0 0
1800.04/1800.05 c flowcover : 0.07 5 0 0 0 0
1800.04/1800.05 c clique : 0.00 5 0 0 0 0
1800.04/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.05 c mcf : 0.00 1 0 0 0 0
1800.04/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.05 c Pricers : Time Calls Vars
1800.04/1800.05 c problem variables: 0.00 0 0
1800.04/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.05 c relpscost : 26.03 519827 78 844 0 0 1038214
1800.04/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.05 c inference : 0.84 5360 0 0 0 0 10720
1800.04/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.05 c random : 0.00 0 0 0 0 0 0
1800.04/1800.05 c Primal Heuristics : Time Calls Found
1800.04/1800.05 c LP solutions : 0.07 - 44
1800.04/1800.05 c pseudo solutions : 0.00 - 0
1800.04/1800.05 c feaspump : 0.00 0 0
1800.04/1800.05 c oneopt : 0.19 40 0
1800.04/1800.05 c crossover : 0.69 29 0
1800.04/1800.05 c pscostdiving : 0.31 244 0
1800.04/1800.05 c fracdiving : 0.37 244 1
1800.04/1800.05 c veclendiving : 0.34 244 0
1800.04/1800.05 c linesearchdiving : 0.34 244 0
1800.04/1800.05 c guideddiving : 0.22 244 0
1800.04/1800.05 c coefdiving : 0.37 245 0
1800.04/1800.05 c objpscostdiving : 0.37 200 0
1800.04/1800.05 c rootsoldiving : 0.32 200 0
1800.04/1800.05 c trivial : 0.00 2 0
1800.04/1800.05 c simplerounding : 0.74 520057 0
1800.04/1800.05 c zirounding : 0.30 1000 0
1800.04/1800.05 c rounding : 1.06 10163 0
1800.04/1800.05 c shifting : 1.36 3197 0
1800.04/1800.05 c intshifting : 0.00 15 0
1800.04/1800.05 c twoopt : 0.00 0 0
1800.04/1800.05 c fixandinfer : 0.00 0 0
1800.04/1800.05 c intdiving : 0.00 0 0
1800.04/1800.05 c actconsdiving : 0.00 0 0
1800.04/1800.05 c octane : 0.00 0 0
1800.04/1800.05 c rens : 0.02 1 0
1800.04/1800.05 c rins : 0.00 0 0
1800.04/1800.05 c localbranching : 0.00 0 0
1800.04/1800.05 c mutation : 0.00 0 0
1800.04/1800.05 c dins : 0.00 0 0
1800.04/1800.05 c undercover : 0.00 0 0
1800.04/1800.05 c nlp : 0.00 0 0
1800.04/1800.05 c trysol : 0.82 4201 103
1800.04/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.05 c dual LP : 698.13 576997 6470567 11.21 9268.43
1800.04/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.05 c diving/probing LP: 0.87 650 6397 9.84 7352.87
1800.04/1800.05 c strong branching : 21.86 8078 236703 29.30 10828.13
1800.04/1800.05 c (at root node) : - 33 21647 655.97 -
1800.04/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.05 c B&B Tree :
1800.04/1800.05 c number of runs : 1
1800.04/1800.05 c nodes : 954149
1800.04/1800.05 c nodes (total) : 954149
1800.04/1800.05 c nodes left : 1392
1800.04/1800.05 c max depth : 113
1800.04/1800.05 c max depth (total): 113
1800.04/1800.05 c backtracks : 101929 (10.7%)
1800.04/1800.05 c delayed cutoffs : 86911
1800.04/1800.05 c repropagations : 2318706 (4985313 domain reductions, 82039 cutoffs)
1800.04/1800.05 c avg switch length: 6.37
1800.04/1800.05 c switching time : 230.86
1800.04/1800.05 c Solution :
1800.04/1800.05 c Solutions found : 148 (46 improvements)
1800.04/1800.05 c First Solution : +8.39620000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.05 c Primal Bound : +1.00000000000000e-00 (in run 1, after 448524 nodes, 792.54 seconds, depth 54, found by <relaxation>)
1800.04/1800.05 c Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Gap : infinite
1800.04/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.05 c Root Iterations : 949
1800.14/1800.11 c Time complete: 1800.14.