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-2692293-1277911300.wbo>
0.00/0.03 c original problem has 3909 variables (2070 bin, 0 int, 0 impl, 1839 cont) and 4547 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.03/0.09 c (round 2) 0 del vars, 61 del conss, 1839 chg bounds, 47 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.10 c (round 3) 47 del vars, 152 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 0 upgd conss, 1965 impls, 9 clqs
0.09/0.11 c (round 4) 116 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.12 c (round 5) 138 del vars, 174 del conss, 1861 chg bounds, 91 chg sides, 0 chg coeffs, 833 upgd conss, 1965 impls, 9 clqs
0.09/0.17 c (0.1s) probing: 101/2001 (5.0%) - 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 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.09/0.17 c 1965 implications, 9 cliques
0.09/0.17 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.09/0.17 c 1770 constraints of type <indicator>
0.09/0.17 c 9 constraints of type <setppc>
0.09/0.17 c 1770 constraints of type <linear>
0.09/0.17 c 824 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.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 | 13 | - | 13M| 0 | 8 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 88064
0.09/0.19 c y 0.1s| 1 | 0 | 24 | - | 14M| 0 | 8 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 60 | - | 14M| 0 | 29 |3771 |4373 |3771 | 850 | 17 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.25 c 0.2s| 1 | 0 | 113 | - | 14M| 0 | 43 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.31 c 0.2s| 1 | 0 | 138 | - | 14M| 0 | 46 |3771 |4373 |3771 | 883 | 50 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.37 c 0.3s| 1 | 0 | 147 | - | 14M| 0 | 47 |3771 |4373 |3771 | 885 | 52 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 153 | - | 14M| 0 | 50 |3771 |4373 |3771 | 891 | 58 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.89/0.90 c 0.8s| 1 | 2 | 153 | - | 14M| 0 | 50 |3771 |4373 |3771 | 891 | 58 | 0 | 33 | 0.000000e+00 | 8.806400e+04 | Inf
16.79/16.83 c 16.1s| 10000 | 9999 | 7031 | 0.7 | 34M|1127 | 0 |3771 |4376 |3771 | 916 | 530 | 3 | 914 | 0.000000e+00 | 8.806400e+04 | Inf
28.59/28.64 c 27.5s| 20000 | 19993 | 10701 | 0.5 | 52M|1153 | 0 |3771 |4395 |3771 | 907 | 956 | 22 |1047 | 0.000000e+00 | 8.806400e+04 | Inf
40.19/40.20 c 38.7s| 30000 | 29987 | 12733 | 0.4 | 69M|1163 | 0 |3771 |4408 |3771 | 906 |1388 | 35 |1134 | 0.000000e+00 | 8.806400e+04 | Inf
52.10/52.15 c 50.2s| 40000 | 39983 | 15160 | 0.4 | 86M|1165 | 0 |3771 |4428 |3771 | 911 |1763 | 55 |1234 | 0.000000e+00 | 8.806400e+04 | Inf
64.19/64.21 c 61.9s| 50000 | 49981 | 17153 | 0.3 | 102M|1165 | 0 |3771 |4437 |3771 | 918 |2218 | 64 |1282 | 0.000000e+00 | 8.806400e+04 | Inf
76.40/76.42 c 73.7s| 60000 | 59981 | 19350 | 0.3 | 118M|1165 | 0 |3771 |4434 |3771 | 927 |2719 | 64 |1323 | 0.000000e+00 | 8.806400e+04 | Inf
88.50/88.56 c 85.4s| 70000 | 69977 | 21560 | 0.3 | 135M|1165 | 0 |3771 |4433 |3771 | 900 |3074 | 71 |1378 | 0.000000e+00 | 8.806400e+04 | Inf
90.30/90.38 o 641
90.30/90.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.30/90.38 c *87.2s| 71481 | 36544 | 21741 | 0.3 | 81M|1165 | - |3771 |4433 |3771 | 897 |3089 | 71 |1386 | 0.000000e+00 | 6.410000e+02 | Inf
90.39/90.44 o 580
90.39/90.44 c *87.3s| 71494 | 32926 | 21891 | 0.3 | 76M|1165 | - |3771 |4433 |3771 | 897 |3094 | 71 |1390 | 0.000000e+00 | 5.800000e+02 | Inf
90.39/90.48 o 540
90.39/90.48 c *87.3s| 71503 | 29281 | 22007 | 0.3 | 71M|1165 | - |3771 |4443 |3771 | 894 |3096 | 81 |1391 | 0.000000e+00 | 5.400000e+02 | Inf
90.50/90.50 o 499
90.50/90.50 c *87.3s| 71504 | 25152 | 22007 | 0.3 | 64M|1165 | - |3771 |4443 |3771 | 894 |3096 | 81 |1391 | 0.000000e+00 | 4.990000e+02 | Inf
90.70/90.78 o 453
90.70/90.78 c *87.6s| 71625 | 20991 | 22385 | 0.3 | 57M|1165 | - |3771 |4631 |3771 | 893 |3110 | 270 |1398 | 0.000000e+00 | 4.530000e+02 | Inf
91.50/91.52 o 443
91.50/91.52 c *88.3s| 72131 | 20359 | 22724 | 0.3 | 56M|1165 | - |3771 |4656 |3771 | 897 |3125 | 295 |1399 | 0.000000e+00 | 4.430000e+02 | Inf
91.60/91.65 o 402
91.60/91.65 c *88.4s| 72164 | 16854 | 22967 | 0.3 | 51M|1165 | - |3771 |4714 |3771 | 899 |3135 | 353 |1402 | 0.000000e+00 | 4.020000e+02 | Inf
91.80/91.84 o 389
91.80/91.84 c *88.6s| 72234 | 15844 | 23421 | 0.3 | 49M|1165 | - |3771 |4747 |3771 | 894 |3157 | 387 |1409 | 0.000000e+00 | 3.890000e+02 | Inf
91.80/91.86 o 364
91.80/91.86 c *88.6s| 72239 | 13999 | 23424 | 0.3 | 46M|1165 | - |3771 |4747 |3771 | 894 |3157 | 387 |1409 | 0.000000e+00 | 3.640000e+02 | Inf
91.90/91.94 o 350
91.90/91.94 c *88.7s| 72255 | 12984 | 23650 | 0.3 | 44M|1165 | - |3771 |4766 |3771 | 897 |3174 | 408 |1413 | 0.000000e+00 | 3.500000e+02 | Inf
91.90/91.96 o 338
91.90/91.96 c *88.7s| 72260 | 12385 | 23665 | 0.3 | 43M|1165 | - |3771 |4770 |3771 | 900 |3177 | 412 |1414 | 0.000000e+00 | 3.380000e+02 | Inf
92.10/92.10 o 317
92.10/92.10 c *88.9s| 72317 | 11094 | 23958 | 0.3 | 41M|1165 | - |3771 |4795 |3771 | 922 |3204 | 438 |1418 | 0.000000e+00 | 3.170000e+02 | Inf
92.30/92.39 o 314
92.30/92.39 c *89.1s| 72413 | 10968 | 24756 | 0.3 | 41M|1165 | - |3771 |4860 |3771 | 923 |3353 | 506 |1431 | 0.000000e+00 | 3.140000e+02 | Inf
93.99/94.03 o 312
93.99/94.03 c *90.7s| 73088 | 11181 | 28860 | 0.4 | 42M|1165 | - |3771 |5482 |3771 | 904 |3841 |1196 |1457 | 0.000000e+00 | 3.120000e+02 | Inf
93.99/94.03 o 309
93.99/94.03 c *90.7s| 73089 | 10958 | 28860 | 0.4 | 42M|1165 | - |3771 |5482 |3771 | 904 |3841 |1196 |1457 | 0.000000e+00 | 3.090000e+02 | Inf
94.80/94.82 o 295
94.80/94.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.80/94.82 c *91.4s| 73402 | 10073 | 30860 | 0.4 | 41M|1165 | - |3771 |5686 |3771 | 924 |4184 |1516 |1486 | 0.000000e+00 | 2.950000e+02 | Inf
95.39/95.46 o 290
95.39/95.46 c *92.1s| 73680 | 9782 | 32394 | 0.4 | 41M|1165 | - |3771 |5708 |3771 | 910 |4447 |1765 |1493 | 0.000000e+00 | 2.900000e+02 | Inf
95.39/95.47 o 283
95.39/95.47 c *92.1s| 73681 | 9182 | 32410 | 0.4 | 40M|1165 | - |3771 |5708 |3771 | 910 |4447 |1765 |1493 | 0.000000e+00 | 2.830000e+02 | Inf
95.49/95.60 o 261
95.49/95.60 c *92.2s| 73771 | 7518 | 32608 | 0.4 | 38M|1165 | - |3771 |5706 |3771 | 910 |4468 |1767 |1493 | 0.000000e+00 | 2.610000e+02 | Inf
96.29/96.37 o 260
96.29/96.37 c *92.9s| 74095 | 7625 | 34489 | 0.5 | 38M|1165 | - |3771 |5694 |3771 | 908 |4814 |1948 |1495 | 0.000000e+00 | 2.600000e+02 | Inf
96.39/96.41 o 234
96.39/96.41 c *93.0s| 74112 | 6067 | 34492 | 0.5 | 35M|1165 | - |3771 |5692 |3771 | 908 |4814 |1948 |1495 | 0.000000e+00 | 2.340000e+02 | Inf
96.39/96.47 o 223
96.39/96.47 c *93.0s| 74137 | 5493 | 34539 | 0.5 | 34M|1165 | - |3771 |5693 |3771 | 907 |4829 |1959 |1495 | 0.000000e+00 | 2.230000e+02 | Inf
96.49/96.53 o 198
96.49/96.53 c *93.1s| 74162 | 4379 | 34625 | 0.5 | 31M|1165 | - |3771 |5680 |3771 | 909 |4846 |1967 |1495 | 0.000000e+00 | 1.980000e+02 | Inf
96.49/96.57 o 182
96.49/96.57 c *93.1s| 74169 | 3828 | 34695 | 0.5 | 30M|1165 | - |3771 |5680 |3771 | 929 |4883 |1969 |1495 | 0.000000e+00 | 1.820000e+02 | Inf
96.49/96.59 o 168
96.49/96.59 c *93.2s| 74172 | 3347 | 34733 | 0.5 | 29M|1165 | - |3771 |5678 |3771 | 900 |4891 |1969 |1496 | 0.000000e+00 | 1.680000e+02 | Inf
96.59/96.60 o 160
96.59/96.60 c *93.2s| 74173 | 3053 | 34738 | 0.5 | 28M|1165 | - |3771 |5677 |3771 | 900 |4891 |1969 |1496 | 0.000000e+00 | 1.600000e+02 | Inf
96.59/96.66 o 124
96.59/96.66 c *93.2s| 74200 | 2242 | 34781 | 0.5 | 26M|1165 | - |3771 |5666 |3771 | 906 |4905 |1974 |1496 | 0.000000e+00 | 1.240000e+02 | Inf
96.59/96.70 o 98
96.59/96.70 c *93.2s| 74216 | 1895 | 34865 | 0.5 | 25M|1165 | - |3771 |5661 |3771 | 897 |4910 |1978 |1496 | 0.000000e+00 | 9.800000e+01 | Inf
96.70/96.78 o 97
96.70/96.78 c *93.3s| 74243 | 1884 | 34919 | 0.5 | 25M|1165 | - |3771 |5586 |3771 | 893 |4911 |1992 |1497 | 0.000000e+00 | 9.700000e+01 | Inf
96.70/96.78 o 95
96.70/96.78 c *93.3s| 74244 | 1863 | 34920 | 0.5 | 25M|1165 | - |3771 |5586 |3771 | 893 |4911 |1992 |1497 | 0.000000e+00 | 9.500000e+01 | Inf
98.19/98.23 o 64
98.19/98.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.19/98.23 c *94.7s| 74865 | 1436 | 37563 | 0.5 | 25M|1165 | - |3771 |5253 |3771 | 904 |5066 |2390 |1525 | 0.000000e+00 | 6.400000e+01 | Inf
99.00/99.01 o 59
99.00/99.01 c *95.5s| 75116 | 1369 | 39944 | 0.5 | 25M|1165 | - |3771 |4633 |3771 | 890 |5134 |2618 |1536 | 0.000000e+00 | 5.900000e+01 | Inf
99.00/99.04 o 45
99.00/99.04 c *95.5s| 75119 | 897 | 39962 | 0.5 | 24M|1165 | - |3771 |4489 |3771 | 893 |5137 |2622 |1536 | 0.000000e+00 | 4.500000e+01 | Inf
109.29/109.39 c 105s| 80000 | 983 | 62873 | 0.8 | 28M|1165 | 1 |3771 |7422 |3771 | 889 |6134 |8606 |1772 | 0.000000e+00 | 4.500000e+01 | Inf
120.59/120.66 o 24
120.59/120.66 c * 116s| 86135 | 833 | 81373 | 0.9 | 30M|1165 | - |3771 |9579 |3771 | 889 |7025 | 16k|1773 | 0.000000e+00 | 2.400000e+01 | Inf
127.20/127.28 c 122s| 90000 | 861 | 95657 | 1.1 | 30M|1165 | - |3771 |7604 | 0 | 0 |7759 | 21k|1787 | 0.000000e+00 | 2.400000e+01 | Inf
129.70/129.78 o 23
129.70/129.78 c * 125s| 91407 | 844 |101568 | 1.1 | 31M|1165 | - |3771 |6882 |3771 | 898 |7979 | 23k|1787 | 0.000000e+00 | 2.300000e+01 | Inf
145.20/145.23 c 140s|100000 | 898 |140999 | 1.4 | 33M|1165 | 12 |3771 |9148 |3771 | 889 | 10k| 34k|1792 | 0.000000e+00 | 2.300000e+01 | Inf
162.70/162.75 c 156s|110000 | 955 |181745 | 1.7 | 36M|1165 | 9 |3771 | 10k|3771 | 889 | 12k| 47k|1792 | 0.000000e+00 | 2.300000e+01 | Inf
180.50/180.57 c 173s|120000 | 1013 |218063 | 1.8 | 39M|1165 | - |3771 | 14k| 0 | 0 | 13k| 60k|1880 | 0.000000e+00 | 2.300000e+01 | Inf
199.10/199.18 c 191s|130000 | 1014 |256359 | 2.0 | 39M|1165 | 10 |3771 |9110 |3771 | 889 | 14k| 74k|2050 | 0.000000e+00 | 2.300000e+01 | Inf
213.80/213.89 o 20
213.80/213.89 c * 205s|137850 | 971 |290379 | 2.1 | 40M|1165 | - |3771 |8890 |3771 | 901 | 15k| 84k|2222 | 0.000000e+00 | 2.000000e+01 | Inf
217.60/217.70 c 209s|140000 | 1011 |298768 | 2.1 | 41M|1165 | 7 |3771 | 10k|3771 | 886 | 17k| 86k|2285 | 0.000000e+00 | 2.000000e+01 | Inf
236.19/236.24 c 227s|150000 | 1113 |341440 | 2.3 | 43M|1165 | 1 |3771 |9220 |3771 | 914 | 21k| 99k|2476 | 0.000000e+00 | 2.000000e+01 | Inf
256.20/256.22 c 246s|160000 | 1129 |390546 | 2.4 | 46M|1165 | - |3771 | 12k| 0 | 0 | 25k| 112k|2665 | 0.000000e+00 | 2.000000e+01 | Inf
276.19/276.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.19/276.29 c 265s|170000 | 1146 |435958 | 2.6 | 48M|1165 | - |3771 | 13k| 0 | 0 | 28k| 126k|2852 | 0.000000e+00 | 2.000000e+01 | Inf
294.70/294.75 c 282s|180000 | 1211 |474032 | 2.6 | 50M|1165 | - |3771 | 12k| 0 | 0 | 31k| 139k|2954 | 0.000000e+00 | 2.000000e+01 | Inf
303.40/303.47 o 12
303.40/303.47 c * 291s|185293 | 747 |487285 | 2.6 | 38M|1165 | - |3771 | 15k|3771 | 912 | 31k| 146k|3024 | 0.000000e+00 | 1.200000e+01 | Inf
311.20/311.23 c 298s|190000 | 739 |502446 | 2.6 | 37M|1165 | 22 |3771 | 13k|3771 | 902 | 32k| 152k|3051 | 0.000000e+00 | 1.200000e+01 | Inf
328.20/328.27 c 314s|200000 | 765 |541441 | 2.7 | 38M|1165 | - |3771 | 14k| 0 | 0 | 35k| 165k|3157 | 0.000000e+00 | 1.200000e+01 | Inf
335.41/335.48 o 7
335.41/335.48 c * 321s|204244 | 602 |556434 | 2.7 | 36M|1165 | - |3771 | 16k|3771 | 902 | 35k| 171k|3215 | 0.000000e+00 | 7.000000e+00 | Inf
345.00/345.09 c 330s|210000 | 532 |576116 | 2.7 | 35M|1165 | 3 |3771 | 13k|3771 | 899 | 36k| 179k|3249 | 0.000000e+00 | 7.000000e+00 | Inf
363.50/363.54 c 348s|220000 | 520 |623305 | 2.8 | 34M|1165 | - |3771 |9022 | 0 | 0 | 38k| 191k|3455 | 0.000000e+00 | 7.000000e+00 | Inf
381.10/381.18 c 365s|230000 | 490 |671567 | 2.9 | 34M|1165 | 15 |3771 | 10k|3771 | 896 | 44k| 205k|3589 | 0.000000e+00 | 7.000000e+00 | Inf
398.00/398.04 c 381s|240000 | 491 |711824 | 3.0 | 35M|1165 | 1 |3771 | 13k|3771 | 894 | 46k| 218k|3710 | 0.000000e+00 | 7.000000e+00 | Inf
415.60/415.68 c 398s|250000 | 555 |747260 | 3.0 | 37M|1165 | 23 |3771 | 16k|3771 | 894 | 47k| 233k|3793 | 0.000000e+00 | 7.000000e+00 | Inf
433.60/433.66 c 415s|260000 | 504 |784195 | 3.0 | 36M|1165 | - |3771 | 14k| 0 | 0 | 48k| 247k|3875 | 0.000000e+00 | 7.000000e+00 | Inf
451.90/451.97 c 432s|270000 | 559 |825954 | 3.1 | 38M|1165 | 1 |3771 | 17k|3771 | 894 | 49k| 261k|4015 | 0.000000e+00 | 7.000000e+00 | Inf
470.50/470.55 c 450s|280000 | 618 |868679 | 3.1 | 38M|1165 | 13 |3771 | 15k|3771 | 894 | 50k| 274k|4169 | 0.000000e+00 | 7.000000e+00 | Inf
488.71/488.72 c 467s|290000 | 691 |908611 | 3.1 | 40M|1165 | - |3771 | 16k| 0 | 0 | 51k| 287k|4268 | 0.000000e+00 | 7.000000e+00 | Inf
506.81/506.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.81/506.85 c 485s|300000 | 759 |948516 | 3.2 | 41M|1165 | 11 |3771 | 19k|3771 | 894 | 51k| 301k|4360 | 0.000000e+00 | 7.000000e+00 | Inf
525.71/525.76 c 503s|310000 | 823 |988508 | 3.2 | 43M|1165 | 26 |3771 | 21k|3771 | 894 | 53k| 315k|4455 | 0.000000e+00 | 7.000000e+00 | Inf
545.10/545.12 c 521s|320000 | 889 | 1025k| 3.2 | 44M|1165 | - |3771 | 22k|3771 | 901 | 54k| 330k|4539 | 0.000000e+00 | 7.000000e+00 | Inf
565.10/565.17 c 540s|330000 | 1089 | 1066k| 3.2 | 47M|1165 | 1 |3771 | 24k|3771 | 894 | 55k| 344k|4620 | 0.000000e+00 | 7.000000e+00 | Inf
584.60/584.64 c 559s|340000 | 1141 | 1103k| 3.2 | 48M|1165 | 10 |3771 | 23k|3771 | 894 | 56k| 359k|4705 | 0.000000e+00 | 7.000000e+00 | Inf
604.21/604.28 c 578s|350000 | 1123 | 1141k| 3.3 | 47M|1165 | - |3771 | 21k| 0 | 0 | 57k| 373k|4800 | 0.000000e+00 | 7.000000e+00 | Inf
623.31/623.35 c 596s|360000 | 1215 | 1181k| 3.3 | 49M|1165 | 1 |3771 | 21k|3771 | 894 | 58k| 388k|4888 | 0.000000e+00 | 7.000000e+00 | Inf
641.90/641.92 c 614s|370000 | 1214 | 1217k| 3.3 | 50M|1165 | - |3771 | 23k| 0 | 0 | 60k| 403k|4956 | 0.000000e+00 | 7.000000e+00 | Inf
660.41/660.42 c 632s|380000 | 1234 | 1253k| 3.3 | 48M|1165 | 15 |3771 | 16k|3771 | 897 | 61k| 417k|5047 | 0.000000e+00 | 7.000000e+00 | Inf
678.81/678.84 c 649s|390000 | 1239 | 1292k| 3.3 | 49M|1165 | - |3771 | 20k| 0 | 0 | 62k| 430k|5128 | 0.000000e+00 | 7.000000e+00 | Inf
696.80/696.85 c 667s|400000 | 1259 | 1325k| 3.3 | 50M|1165 | 15 |3771 | 22k|3771 | 891 | 63k| 444k|5206 | 0.000000e+00 | 7.000000e+00 | Inf
717.31/717.37 c 686s|410000 | 1271 | 1363k| 3.3 | 51M|1165 | - |3771 | 24k| 0 | 0 | 64k| 458k|5284 | 0.000000e+00 | 7.000000e+00 | Inf
739.12/739.11 c 707s|420000 | 1272 | 1403k| 3.3 | 52M|1165 | 11 |3771 | 27k|3771 | 891 | 65k| 472k|5349 | 0.000000e+00 | 7.000000e+00 | Inf
760.81/760.85 c 728s|430000 | 1281 | 1441k| 3.4 | 53M|1165 | 9 |3771 | 28k|3771 | 894 | 66k| 486k|5465 | 0.000000e+00 | 7.000000e+00 | Inf
781.31/781.34 c 748s|440000 | 1307 | 1480k| 3.4 | 54M|1165 | 5 |3771 | 28k|3771 | 894 | 67k| 500k|5550 | 0.000000e+00 | 7.000000e+00 | Inf
802.71/802.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.71/802.74 c 768s|450000 | 1324 | 1519k| 3.4 | 53M|1165 | - |3771 | 25k| 0 | 0 | 69k| 515k|5626 | 0.000000e+00 | 7.000000e+00 | Inf
822.11/822.18 c 787s|460000 | 1379 | 1553k| 3.4 | 54M|1165 | 1 |3771 | 24k|3771 | 894 | 69k| 528k|5663 | 0.000000e+00 | 7.000000e+00 | Inf
841.42/841.45 c 806s|470000 | 1336 | 1588k| 3.4 | 54M|1165 | - |3771 | 22k| 0 | 0 | 70k| 543k|5736 | 0.000000e+00 | 7.000000e+00 | Inf
861.22/861.25 c 825s|480000 | 1325 | 1625k| 3.4 | 54M|1165 | - |3771 | 22k| 0 | 0 | 72k| 557k|5831 | 0.000000e+00 | 7.000000e+00 | Inf
880.21/880.25 c 843s|490000 | 1304 | 1662k| 3.4 | 52M|1165 | - |3771 | 18k| 0 | 0 | 73k| 572k|5922 | 0.000000e+00 | 7.000000e+00 | Inf
899.21/899.28 c 861s|500000 | 1387 | 1712k| 3.4 | 53M|1165 | - |3771 | 17k| 0 | 0 | 75k| 585k|6009 | 0.000000e+00 | 7.000000e+00 | Inf
918.42/918.44 c 879s|510000 | 1410 | 1759k| 3.5 | 54M|1165 | 1 |3771 | 20k|3771 | 898 | 77k| 599k|6086 | 0.000000e+00 | 7.000000e+00 | Inf
937.32/937.35 c 897s|520000 | 1444 | 1805k| 3.5 | 54M|1165 | 1 |3771 | 20k|3771 | 888 | 79k| 612k|6165 | 0.000000e+00 | 7.000000e+00 | Inf
956.62/956.69 c 916s|530000 | 1433 | 1849k| 3.5 | 55M|1165 | 22 |3771 | 20k|3771 | 891 | 82k| 625k|6250 | 0.000000e+00 | 7.000000e+00 | Inf
976.82/976.88 c 935s|540000 | 1421 | 1894k| 3.5 | 56M|1165 | - |3771 | 23k| 0 | 0 | 83k| 638k|6331 | 0.000000e+00 | 7.000000e+00 | Inf
998.02/998.09 c 956s|550000 | 1475 | 1943k| 3.5 | 56M|1165 | - |3771 | 23k| 0 | 0 | 86k| 651k|6410 | 0.000000e+00 | 7.000000e+00 | Inf
1018.52/1018.55 c 975s|560000 | 1499 | 1989k| 3.6 | 57M|1165 | - |3771 | 24k| 0 | 0 | 88k| 664k|6480 | 0.000000e+00 | 7.000000e+00 | Inf
1039.52/1039.58 c 995s|570000 | 1526 | 2036k| 3.6 | 58M|1165 | 1 |3771 | 26k|3771 | 895 | 92k| 678k|6559 | 0.000000e+00 | 7.000000e+00 | Inf
1061.02/1061.03 c 1016s|580000 | 1584 | 2082k| 3.6 | 58M|1165 | 23 |3771 | 24k|3771 | 893 | 93k| 692k|6630 | 0.000000e+00 | 7.000000e+00 | Inf
1082.72/1082.77 c 1037s|590000 | 1643 | 2134k| 3.6 | 58M|1165 | 18 |3771 | 24k|3771 | 897 | 97k| 705k|6710 | 0.000000e+00 | 7.000000e+00 | Inf
1103.32/1103.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.32/1103.39 c 1057s|600000 | 1669 | 2181k| 3.6 | 59M|1165 | - |3771 | 25k| 0 | 0 | 99k| 719k|6778 | 0.000000e+00 | 7.000000e+00 | Inf
1125.52/1125.50 c 1078s|610000 | 1815 | 2240k| 3.7 | 59M|1165 | 16 |3771 | 22k|3771 | 904 | 105k| 732k|6871 | 0.000000e+00 | 7.000000e+00 | Inf
1147.52/1147.58 c 1099s|620000 | 1895 | 2300k| 3.7 | 61M|1165 | - |3771 | 24k| 0 | 0 | 113k| 745k|6952 | 0.000000e+00 | 7.000000e+00 | Inf
1169.62/1169.69 c 1121s|630000 | 1891 | 2358k| 3.7 | 61M|1165 | - |3771 | 25k| 0 | 0 | 117k| 759k|7023 | 0.000000e+00 | 7.000000e+00 | Inf
1191.42/1191.41 c 1141s|640000 | 1915 | 2412k| 3.8 | 61M|1165 | - |3771 | 24k| 0 | 0 | 122k| 773k|7168 | 0.000000e+00 | 7.000000e+00 | Inf
1213.82/1213.81 c 1163s|650000 | 1940 | 2471k| 3.8 | 61M|1165 | - |3771 | 22k|3771 | 899 | 130k| 786k|7262 | 0.000000e+00 | 7.000000e+00 | Inf
1235.62/1235.68 c 1184s|660000 | 2019 | 2530k| 3.8 | 62M|1165 | - |3771 | 23k|3771 | 894 | 136k| 799k|7368 | 0.000000e+00 | 7.000000e+00 | Inf
1256.92/1256.90 c 1204s|670000 | 2055 | 2589k| 3.9 | 63M|1165 | - |3771 | 25k| 0 | 0 | 143k| 813k|7450 | 0.000000e+00 | 7.000000e+00 | Inf
1278.12/1278.14 c 1224s|680000 | 1979 | 2643k| 3.9 | 62M|1165 | 5 |3771 | 21k|3771 | 886 | 148k| 827k|7527 | 0.000000e+00 | 7.000000e+00 | Inf
1298.03/1298.05 c 1243s|690000 | 1933 | 2689k| 3.9 | 62M|1165 | - |3771 | 23k| 0 | 0 | 152k| 841k|7582 | 0.000000e+00 | 7.000000e+00 | Inf
1319.62/1319.60 c 1264s|700000 | 1958 | 2743k| 3.9 | 63M|1165 | - |3771 | 25k| 0 | 0 | 159k| 854k|7649 | 0.000000e+00 | 7.000000e+00 | Inf
1340.52/1340.54 c 1284s|710000 | 1997 | 2791k| 3.9 | 64M|1165 | - |3771 | 26k| 0 | 0 | 162k| 868k|7761 | 0.000000e+00 | 7.000000e+00 | Inf
1362.42/1362.49 c 1305s|720000 | 1983 | 2843k| 3.9 | 64M|1165 | - |3771 | 24k| 0 | 0 | 168k| 881k|7843 | 0.000000e+00 | 7.000000e+00 | Inf
1384.72/1384.73 c 1327s|730000 | 1991 | 2898k| 4.0 | 65M|1165 | - |3771 | 27k| 0 | 0 | 174k| 895k|7918 | 0.000000e+00 | 7.000000e+00 | Inf
1406.72/1406.80 c 1348s|740000 | 2033 | 2950k| 4.0 | 65M|1165 | - |3771 | 27k| 0 | 0 | 179k| 908k|7996 | 0.000000e+00 | 7.000000e+00 | Inf
1429.82/1429.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1429.82/1429.82 c 1370s|750000 | 2135 | 3004k| 4.0 | 67M|1165 | - |3771 | 28k| 0 | 0 | 184k| 922k|8073 | 0.000000e+00 | 7.000000e+00 | Inf
1453.63/1453.69 c 1393s|760000 | 2175 | 3062k| 4.0 | 68M|1165 | - |3771 | 29k| 0 | 0 | 191k| 936k|8155 | 0.000000e+00 | 7.000000e+00 | Inf
1476.43/1476.46 c 1415s|770000 | 2078 | 3113k| 4.0 | 66M|1165 | 17 |3771 | 25k|3771 | 896 | 194k| 950k|8234 | 0.000000e+00 | 7.000000e+00 | Inf
1497.93/1497.98 c 1436s|780000 | 1995 | 3166k| 4.1 | 65M|1165 | - |3771 | 22k| 0 | 0 | 199k| 963k|8284 | 0.000000e+00 | 7.000000e+00 | Inf
1499.03/1499.05 o 2
1499.03/1499.05 c *1437s|780530 | 691 | 3169k| 4.1 | 44M|1165 | - |3771 | 23k|3771 | 899 | 199k| 964k|8291 | 0.000000e+00 | 2.000000e+00 | Inf
1518.22/1518.23 c 1455s|790000 | 661 | 3220k| 4.1 | 43M|1165 | - |3771 | 20k| 0 | 0 | 204k| 977k|8348 | 0.000000e+00 | 2.000000e+00 | Inf
1539.23/1539.26 c 1475s|800000 | 670 | 3280k| 4.1 | 44M|1165 | 9 |3771 | 22k|3771 | 886 | 210k| 990k|8432 | 0.000000e+00 | 2.000000e+00 | Inf
1560.83/1560.83 c 1496s|810000 | 740 | 3338k| 4.1 | 43M|1165 | - |3771 | 19k| 0 | 0 | 219k|1003k|8498 | 0.000000e+00 | 2.000000e+00 | Inf
1581.53/1581.57 c 1516s|820000 | 848 | 3396k| 4.1 | 44M|1165 | - |3771 | 20k| 0 | 0 | 227k|1016k|8572 | 0.000000e+00 | 2.000000e+00 | Inf
1603.13/1603.11 c 1536s|830000 | 884 | 3456k| 4.2 | 45M|1165 | - |3771 | 19k| 0 | 0 | 235k|1030k|8643 | 0.000000e+00 | 2.000000e+00 | Inf
1623.14/1623.10 c 1555s|840000 | 778 | 3512k| 4.2 | 43M|1165 | 28 |3771 | 17k|3771 | 895 | 240k|1043k|8717 | 0.000000e+00 | 2.000000e+00 | Inf
1642.64/1642.63 c 1574s|850000 | 723 | 3561k| 4.2 | 44M|1165 | 15 |3771 | 18k|3771 | 900 | 245k|1057k|8797 | 0.000000e+00 | 2.000000e+00 | Inf
1661.33/1661.37 c 1592s|860000 | 727 | 3606k| 4.2 | 45M|1165 | - |3771 | 22k| 0 | 0 | 247k|1071k|8872 | 0.000000e+00 | 2.000000e+00 | Inf
1681.13/1681.13 c 1611s|870000 | 690 | 3651k| 4.2 | 44M|1165 | 20 |3771 | 19k|3771 | 902 | 249k|1085k|8906 | 0.000000e+00 | 2.000000e+00 | Inf
1703.13/1703.17 c 1632s|880000 | 688 | 3710k| 4.2 | 46M|1165 | 19 |3771 | 23k|3771 | 898 | 255k|1098k|8965 | 0.000000e+00 | 2.000000e+00 | Inf
1723.33/1723.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.33/1723.37 c 1651s|890000 | 696 | 3758k| 4.2 | 47M|1165 | 1 |3771 | 25k|3771 | 900 | 258k|1112k|9027 | 0.000000e+00 | 2.000000e+00 | Inf
1745.64/1745.69 c 1673s|900000 | 669 | 3810k| 4.2 | 45M|1165 | 18 |3771 | 20k|3771 | 905 | 263k|1126k|9105 | 0.000000e+00 | 2.000000e+00 | Inf
1767.44/1767.40 c 1694s|910000 | 619 | 3868k| 4.3 | 44M|1165 | 15 |3771 | 19k|3771 | 886 | 268k|1139k|9193 | 0.000000e+00 | 2.000000e+00 | Inf
1785.94/1785.99 c 1711s|920000 | 309 | 3910k| 4.3 | 35M|1165 | 7 |3771 | 11k|3771 | 895 | 272k|1152k|9611 | 0.000000e+00 | 2.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) : 1724.63
1800.04/1800.01 c Solving Nodes : 928711
1800.04/1800.01 c Primal Bound : +2.00000000000000e+00 (167 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.04 s SATISFIABLE
1800.04/1800.04 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.04 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.04 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.04 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.04 v -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.04/1800.04 v -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.04/1800.04 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.04 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.04 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.04 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.04 v -x1
1800.04/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.04 c Solving Time : 1724.63
1800.04/1800.04 c Original Problem :
1800.04/1800.04 c Problem name : HOME/instance-2692293-1277911300.wbo
1800.04/1800.04 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.04/1800.04 c Constraints : 4547 initial, 4547 maximal
1800.04/1800.04 c Presolved Problem :
1800.04/1800.04 c Problem name : t_HOME/instance-2692293-1277911300.wbo
1800.04/1800.04 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.04/1800.04 c Constraints : 4373 initial, 30464 maximal
1800.04/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.04 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.04/1800.04 c dualfix : 0.01 69 0 0 0 0 0 0 0
1800.04/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.04 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.04/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c linear : 0.05 0 0 0 1861 0 105 91 0
1800.04/1800.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.04 c root node : - 1754 - - 3508 - - - -
1800.04/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c integral : 0 0 0 574018 0 22 679 0 0 936812
1800.04/1800.04 c indicator : 1770 0 4406953 104364 0 207 1895618 0 0 0
1800.04/1800.04 c setppc : 9 6 4384808 53851 0 17029 1421305 0 0 0
1800.04/1800.04 c linear : 1770 6 4406176 84839 0 253133 21363907 273533 0 0
1800.04/1800.04 c logicor : 824+ 6 1647900 72626 0 157152 4083686 0 0 0
1800.04/1800.04 c countsols : 0 0 0 72626 0 0 0 0 0 0
1800.04/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.04 c integral : 24.59 0.00 0.00 24.59 0.00
1800.04/1800.04 c indicator : 16.24 0.00 9.00 7.24 0.00
1800.04/1800.04 c setppc : 8.39 0.00 8.39 0.00 0.00
1800.04/1800.04 c linear : 147.72 0.00 145.78 1.94 0.00
1800.04/1800.04 c logicor : 234.42 0.00 233.94 0.48 0.00
1800.04/1800.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.04 c vbounds : 0.00 2 0 0
1800.04/1800.04 c rootredcost : 0.00 40 0 1754
1800.04/1800.04 c pseudoobj : 148.77 4448310 2899 1389062
1800.04/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.04 c propagation : 20.22 430213 429872 2601024 28.0 15524 25.5 -
1800.04/1800.04 c infeasible LP : 8.65 32700 32700 256502 41.3 242 20.8 0
1800.04/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.04 c pseudo solution : 0.00 58 58 297 14.7 30 5.3 -
1800.04/1800.04 c applied globally : - - - 1164514 22.9 - - -
1800.04/1800.04 c applied locally : - - - 0 0.0 - - -
1800.04/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.04 c cut pool : 0.00 5 - - 19 - (maximal pool size: 145)
1800.04/1800.04 c redcost : 29.40 580212 0 394163 0 0
1800.04/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.04 c intobj : 0.00 0 0 0 0 0
1800.04/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.04 c gomory : 0.11 6 0 0 718 0
1800.04/1800.04 c strongcg : 0.08 6 0 0 108 0
1800.04/1800.04 c cmir : 0.02 6 0 0 0 0
1800.04/1800.04 c flowcover : 0.07 6 0 0 0 0
1800.04/1800.04 c clique : 0.00 6 0 0 0 0
1800.04/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.04 c mcf : 0.00 1 0 0 0 0
1800.04/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.04 c Pricers : Time Calls Vars
1800.04/1800.04 c problem variables: 0.00 0 0
1800.04/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.04 c relpscost : 24.56 468977 22 679 0 0 936812
1800.04/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.04 c inference : 7.22 72587 0 0 0 0 145174
1800.04/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.04 c random : 0.00 0 0 0 0 0 0
1800.04/1800.04 c Primal Heuristics : Time Calls Found
1800.04/1800.04 c LP solutions : 0.13 - 39
1800.04/1800.04 c pseudo solutions : 0.00 - 0
1800.04/1800.04 c feaspump : 0.01 1 0
1800.04/1800.04 c oneopt : 0.17 35 0
1800.04/1800.04 c intshifting : 0.00 4 0
1800.04/1800.04 c crossover : 0.62 29 1
1800.04/1800.04 c linesearchdiving : 0.16 132 0
1800.04/1800.04 c guideddiving : 0.11 132 0
1800.04/1800.04 c fracdiving : 0.09 132 0
1800.04/1800.04 c veclendiving : 0.11 132 0
1800.04/1800.04 c coefdiving : 0.08 133 0
1800.04/1800.04 c pscostdiving : 0.18 133 0
1800.04/1800.04 c rootsoldiving : 0.15 129 0
1800.04/1800.04 c objpscostdiving : 0.17 130 0
1800.04/1800.04 c trivial : 0.02 2 0
1800.04/1800.04 c simplerounding : 0.32 469758 0
1800.04/1800.04 c zirounding : 0.26 1000 0
1800.04/1800.04 c rounding : 1.88 9676 0
1800.04/1800.04 c shifting : 1.25 3050 0
1800.04/1800.04 c twoopt : 0.00 0 0
1800.04/1800.04 c fixandinfer : 0.00 0 0
1800.04/1800.04 c intdiving : 0.00 0 0
1800.04/1800.04 c actconsdiving : 0.00 0 0
1800.04/1800.04 c octane : 0.00 0 0
1800.04/1800.04 c rens : 0.02 1 0
1800.04/1800.04 c rins : 0.00 0 0
1800.04/1800.04 c localbranching : 0.00 0 0
1800.04/1800.04 c mutation : 0.00 0 0
1800.04/1800.04 c dins : 0.00 0 0
1800.04/1800.04 c undercover : 0.00 0 0
1800.04/1800.04 c nlp : 0.00 0 0
1800.04/1800.04 c trysol : 1.86 6297 127
1800.04/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.04 c primal LP : 0.01 0 0 0.00 0.00
1800.04/1800.04 c dual LP : 578.04 534612 3942144 7.37 6819.85
1800.04/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.04 c diving/probing LP: 0.13 53 1132 21.36 8707.69
1800.04/1800.04 c strong branching : 21.04 9646 143050 14.83 6798.95
1800.04/1800.04 c (at root node) : - 33 3451 104.58 -
1800.04/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.04 c B&B Tree :
1800.04/1800.04 c number of runs : 1
1800.04/1800.04 c nodes : 928711
1800.04/1800.04 c nodes (total) : 928711
1800.04/1800.04 c nodes left : 414
1800.04/1800.04 c max depth : 1165
1800.04/1800.04 c max depth (total): 1165
1800.04/1800.04 c backtracks : 93690 (10.1%)
1800.04/1800.04 c delayed cutoffs : 78097
1800.04/1800.04 c repropagations : 2006202 (5869743 domain reductions, 75465 cutoffs)
1800.04/1800.04 c avg switch length: 5.90
1800.04/1800.04 c switching time : 258.48
1800.04/1800.04 c Solution :
1800.04/1800.04 c Solutions found : 167 (40 improvements)
1800.04/1800.04 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1800.04/1800.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 780530 nodes, 1436.63 seconds, depth 47, found by <relaxation>)
1800.04/1800.04 c Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Gap : infinite
1800.04/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.04 c Root Iterations : 153
1800.04/1800.08 c Time complete: 1800.12.