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-2693415-1277902937.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.06 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.10 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.08/0.11 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.08/0.12 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.08/0.13 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.08/0.19 c (0.1s) probing: 101/2001 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.08/0.19 c presolving (6 rounds):
0.08/0.19 c 138 deleted vars, 174 deleted constraints, 1861 tightened bounds, 0 added holes, 91 changed sides, 0 changed coefficients
0.08/0.19 c 1965 implications, 9 cliques
0.08/0.19 c presolved problem has 3771 variables (2001 bin, 0 int, 0 impl, 1770 cont) and 4373 constraints
0.08/0.19 c 1770 constraints of type <indicator>
0.08/0.19 c 9 constraints of type <setppc>
0.08/0.19 c 1770 constraints of type <linear>
0.08/0.19 c 824 constraints of type <logicor>
0.08/0.19 c transformed objective value is always integral (scale: 1)
0.08/0.19 c Presolving Time: 0.14
0.08/0.19 c - non default parameters ----------------------------------------------------------------------
0.08/0.19 c # SCIP version 1.2.1.2
0.08/0.19 c
0.08/0.19 c # frequency for displaying node information lines
0.08/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.08/0.19 c display/freq = 10000
0.08/0.19 c
0.08/0.19 c # maximal time in seconds to run
0.08/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19 c limits/time = 1799.98
0.08/0.19 c
0.08/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.08/0.19 c limits/memory = 3420
0.08/0.19 c
0.08/0.19 c # should presolving try to simplify inequalities
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c constraints/linear/simplifyinequalities = TRUE
0.08/0.19 c
0.08/0.19 c # should presolving try to simplify knapsacks
0.08/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.08/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.08/0.19 c
0.08/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.08/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.08/0.19 c separating/rapidlearning/freq = 0
0.08/0.19 c
0.08/0.19 c -----------------------------------------------------------------------------------------------
0.08/0.19 c start solving
0.08/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.2s| 1 | 0 | 10 | - | 13M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 o 88064
0.19/0.22 c y 0.2s| 1 | 0 | 10 | - | 14M| 0 | 6 |3771 |4373 |3771 | 833 | 0 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 68 | - | 14M| 0 | 26 |3771 |4373 |3771 | 849 | 16 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 129 | - | 14M| 0 | 33 |3771 |4373 |3771 | 872 | 39 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 176 | - | 14M| 0 | 42 |3771 |4373 |3771 | 882 | 49 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.39/0.40 c 0.4s| 1 | 0 | 477 | - | 14M| 0 | 47 |3771 |4373 |3771 | 896 | 63 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.50 c 0.5s| 1 | 0 | 779 | - | 15M| 0 | 64 |3771 |4373 |3771 | 926 | 93 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 832 | - | 15M| 0 | 64 |3771 |4373 |3771 | 940 | 107 | 0 | 0 | 0.000000e+00 | 8.806400e+04 | Inf
1.59/1.63 c 1.6s| 1 | 2 | 832 | - | 15M| 0 | 64 |3771 |4373 |3771 | 940 | 107 | 0 | 33 | 0.000000e+00 | 8.806400e+04 | Inf
25.19/25.30 c 24.9s| 10000 | 9977 | 23816 | 2.3 | 36M| 705 | 0 |3771 |4439 |3771 | 984 |1673 | 66 | 791 | 0.000000e+00 | 8.806400e+04 | Inf
27.39/27.45 o 702
27.39/27.45 c *27.0s| 11986 | 5180 | 24176 | 1.9 | 30M| 713 | - |3771 |4439 |3771 | 989 |1720 | 66 | 791 | 0.000000e+00 | 7.020000e+02 | Inf
27.50/27.50 o 684
27.50/27.50 c *27.1s| 12006 | 5004 | 24251 | 2.0 | 29M| 713 | - |3771 |4445 |3771 | 999 |1731 | 72 | 791 | 0.000000e+00 | 6.840000e+02 | Inf
28.29/28.33 o 658
28.29/28.33 c *27.9s| 12442 | 5044 | 25175 | 2.0 | 30M| 713 | - |3771 |4521 |3771 | 978 |1905 | 148 | 798 | 0.000000e+00 | 6.580000e+02 | Inf
28.69/28.75 o 595
28.69/28.75 c *28.3s| 12719 | 4484 | 25571 | 1.9 | 29M| 713 | - |3771 |4546 |3771 | 972 |1937 | 173 | 798 | 0.000000e+00 | 5.950000e+02 | Inf
29.29/29.31 o 590
29.29/29.31 c *28.8s| 12991 | 4622 | 26944 | 2.0 | 30M| 713 | - |3771 |4642 |3771 | 980 |2094 | 269 | 803 | 0.000000e+00 | 5.900000e+02 | Inf
29.89/29.96 o 536
29.89/29.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.89/29.96 c *29.5s| 13299 | 3902 | 28470 | 2.1 | 29M| 713 | - |3771 |4696 |3771 | 973 |2228 | 323 | 817 | 0.000000e+00 | 5.360000e+02 | Inf
32.79/32.89 o 521
32.79/32.89 c *32.3s| 14779 | 4783 | 33915 | 2.2 | 32M| 713 | - |3771 |5041 |3771 |1010 |2880 | 751 | 846 | 0.000000e+00 | 5.210000e+02 | Inf
33.89/33.93 o 467
33.89/33.93 c *33.4s| 15329 | 4296 | 35117 | 2.2 | 30M| 713 | - |3771 |5198 |3771 | 991 |3113 | 981 | 846 | 0.000000e+00 | 4.670000e+02 | Inf
34.10/34.11 o 435
34.10/34.11 c *33.5s| 15394 | 3950 | 35609 | 2.3 | 30M| 713 | - |3771 |5217 |3771 | 969 |3164 |1013 | 846 | 0.000000e+00 | 4.350000e+02 | Inf
34.39/34.41 o 432
34.39/34.41 c *33.8s| 15507 | 4009 | 36269 | 2.3 | 30M| 713 | - |3771 |5253 |3771 | 974 |3254 |1080 | 847 | 0.000000e+00 | 4.320000e+02 | Inf
34.89/34.92 o 410
34.89/34.92 c *34.3s| 15675 | 3904 | 38300 | 2.4 | 30M| 713 | - |3771 |5271 |3771 | 979 |3513 |1151 | 854 | 0.000000e+00 | 4.100000e+02 | Inf
34.99/35.00 o 405
34.99/35.00 c *34.4s| 15709 | 3891 | 38502 | 2.4 | 30M| 713 | - |3771 |5273 |3771 | 973 |3526 |1161 | 855 | 0.000000e+00 | 4.050000e+02 | Inf
34.99/35.00 o 392
34.99/35.00 c *34.4s| 15710 | 3748 | 38503 | 2.4 | 29M| 713 | - |3771 |5273 |3771 | 973 |3526 |1161 | 855 | 0.000000e+00 | 3.920000e+02 | Inf
35.59/35.64 o 389
35.59/35.64 c *35.0s| 15985 | 3929 | 40181 | 2.5 | 30M| 713 | - |3771 |5308 |3771 | 979 |3674 |1285 | 859 | 0.000000e+00 | 3.890000e+02 | Inf
36.30/36.38 o 367
36.30/36.38 c *35.7s| 16349 | 3835 | 42357 | 2.5 | 30M| 713 | - |3771 |5361 |3771 | 973 |3844 |1439 | 860 | 0.000000e+00 | 3.670000e+02 | Inf
36.30/36.39 o 324
36.30/36.39 c *35.7s| 16350 | 3055 | 42357 | 2.5 | 29M| 713 | - |3771 |5361 |3771 | 973 |3844 |1439 | 860 | 0.000000e+00 | 3.240000e+02 | Inf
38.00/38.02 o 323
38.00/38.02 c *37.3s| 16874 | 3345 | 48137 | 2.8 | 30M| 713 | - |3771 |5508 |3771 | 985 |4617 |1843 | 865 | 0.000000e+00 | 3.230000e+02 | Inf
38.00/38.07 o 285
38.00/38.07 c *37.4s| 16900 | 2560 | 48264 | 2.8 | 28M| 713 | - |3771 |5502 |3771 | 968 |4619 |1843 | 865 | 0.000000e+00 | 2.850000e+02 | Inf
38.00/38.09 o 282
38.00/38.09 c *37.4s| 16903 | 2510 | 48280 | 2.8 | 28M| 713 | - |3771 |5502 |3771 | 968 |4619 |1843 | 865 | 0.000000e+00 | 2.820000e+02 | Inf
40.49/40.52 o 270
40.49/40.52 c *39.8s| 17751 | 2796 | 56190 | 3.1 | 30M| 713 | - |3771 |5441 |3771 | 989 |5421 |2435 | 868 | 0.000000e+00 | 2.700000e+02 | Inf
41.39/41.47 o 269
41.39/41.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.39/41.47 c *40.7s| 18157 | 2891 | 57032 | 3.1 | 30M| 713 | - |3771 |5609 |3771 | 975 |5480 |2827 | 869 | 0.000000e+00 | 2.690000e+02 | Inf
42.29/42.37 o 227
42.29/42.37 c *41.6s| 18659 | 2514 | 57770 | 3.1 | 30M| 713 | - |3771 |5687 |3771 | 986 |5614 |3026 | 869 | 0.000000e+00 | 2.270000e+02 | Inf
43.90/43.92 o 221
43.90/43.92 c *43.1s| 19334 | 2587 | 60193 | 3.1 | 31M| 713 | - |3771 |6113 |3771 | 973 |5821 |3711 | 869 | 0.000000e+00 | 2.210000e+02 | Inf
45.79/45.87 c 45.0s| 20000 | 2844 | 64218 | 3.2 | 32M| 713 | 0 |3771 |6180 |3771 | 968 |6310 |4305 | 888 | 0.000000e+00 | 2.210000e+02 | Inf
45.89/46.00 o 190
45.89/46.00 c *45.1s| 20062 | 2437 | 64405 | 3.2 | 31M| 713 | - |3771 |6186 |3771 | 967 |6340 |4320 | 888 | 0.000000e+00 | 1.900000e+02 | Inf
46.10/46.16 o 175
46.10/46.16 c *45.2s| 20115 | 2264 | 64729 | 3.2 | 30M| 713 | - |3771 |6188 |3771 | 972 |6396 |4364 | 892 | 0.000000e+00 | 1.750000e+02 | Inf
46.29/46.38 o 162
46.29/46.38 c *45.5s| 20167 | 2003 | 65260 | 3.2 | 29M| 713 | - |3771 |6128 |3771 | 980 |6451 |4415 | 897 | 0.000000e+00 | 1.620000e+02 | Inf
47.30/47.36 o 160
47.30/47.36 c *46.4s| 20506 | 2040 | 66645 | 3.2 | 30M| 713 | - |3771 |6258 |3771 | 986 |6587 |4858 | 904 | 0.000000e+00 | 1.600000e+02 | Inf
47.39/47.40 o 138
47.39/47.40 c *46.5s| 20545 | 1721 | 66647 | 3.2 | 28M| 713 | - |3771 |6258 |3771 | 986 |6587 |4858 | 904 | 0.000000e+00 | 1.380000e+02 | Inf
47.99/48.05 o 136
47.99/48.05 c *47.1s| 20763 | 1818 | 67692 | 3.2 | 29M| 713 | - |3771 |6323 |3771 | 972 |6719 |5061 | 906 | 0.000000e+00 | 1.360000e+02 | Inf
47.99/48.05 o 133
47.99/48.05 c *47.1s| 20764 | 1796 | 67694 | 3.2 | 29M| 713 | - |3771 |6323 |3771 | 972 |6719 |5061 | 906 | 0.000000e+00 | 1.330000e+02 | Inf
48.59/48.63 o 115
48.59/48.63 c *47.6s| 20830 | 1609 | 71611 | 3.4 | 28M| 713 | - |3771 |6140 |3771 | 984 |6854 |5135 | 929 | 0.000000e+00 | 1.150000e+02 | Inf
49.30/49.37 o 99
49.30/49.37 c *48.4s| 20942 | 1343 | 76620 | 3.6 | 28M| 713 | - |3771 |5821 |3771 | 984 |6980 |5272 | 934 | 0.000000e+00 | 9.900000e+01 | Inf
49.50/49.58 o 95
49.50/49.58 c *48.6s| 20963 | 1314 | 77946 | 3.7 | 28M| 713 | - |3771 |5689 |3771 | 944 |6997 |5279 | 935 | 0.000000e+00 | 9.500000e+01 | Inf
49.50/49.58 o 89
49.50/49.58 c *48.6s| 20964 | 1231 | 77946 | 3.7 | 27M| 713 | - |3771 |5689 |3771 | 944 |6997 |5279 | 935 | 0.000000e+00 | 8.900000e+01 | Inf
50.50/50.59 o 85
50.50/50.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.50/50.59 c *49.6s| 21147 | 1214 | 82702 | 3.9 | 27M| 713 | - |3771 |5161 |3771 | 968 |7399 |5479 | 938 | 0.000000e+00 | 8.500000e+01 | Inf
50.69/50.74 o 76
50.69/50.74 c *49.7s| 21214 | 1149 | 82980 | 3.9 | 27M| 713 | - |3771 |5086 |3771 | 933 |7425 |5496 | 938 | 0.000000e+00 | 7.600000e+01 | Inf
52.70/52.74 o 64
52.70/52.74 c *51.7s| 21731 | 1047 | 90193 | 4.1 | 27M| 713 | - |3771 |4910 |3771 | 984 |8138 |6034 | 940 | 0.000000e+00 | 6.400000e+01 | Inf
52.70/52.77 o 48
52.70/52.77 c *51.7s| 21740 | 773 | 90225 | 4.1 | 25M| 713 | - |3771 |4677 |3771 | 985 |8139 |6034 | 940 | 0.000000e+00 | 4.800000e+01 | Inf
52.70/52.78 o 45
52.70/52.78 c *51.7s| 21741 | 524 | 90226 | 4.1 | 24M| 713 | - |3771 |4677 |3771 | 985 |8139 |6034 | 940 | 0.000000e+00 | 4.500000e+01 | Inf
56.99/57.03 o 43
56.99/57.03 c *55.8s| 23489 | 606 |104603 | 4.4 | 26M| 713 | - |3771 |5126 |3771 | 949 |8792 |8158 | 990 | 0.000000e+00 | 4.300000e+01 | Inf
64.09/64.16 o 39
64.09/64.16 c *62.8s| 26663 | 676 |124843 | 4.7 | 27M| 713 | - |3771 |6421 |3771 | 955 |9973 | 12k|1017 | 0.000000e+00 | 3.900000e+01 | Inf
64.80/64.81 o 32
64.80/64.81 c *63.4s| 26962 | 638 |126427 | 4.7 | 27M| 713 | - |3771 |6208 |3771 | 963 | 10k| 12k|1017 | 0.000000e+00 | 3.200000e+01 | Inf
70.79/70.86 c 69.3s| 30000 | 704 |140318 | 4.6 | 29M| 713 | 17 |3771 |6968 |3771 | 926 | 11k| 16k|1055 | 0.000000e+00 | 3.200000e+01 | Inf
72.39/72.50 o 20
72.39/72.50 c *70.9s| 30790 | 630 |144020 | 4.7 | 28M| 713 | - |3771 |7443 |3771 | 966 | 11k| 17k|1060 | 0.000000e+00 | 2.000000e+01 | Inf
74.19/74.24 o 18
74.19/74.24 c *72.6s| 31577 | 597 |149007 | 4.7 | 28M| 713 | - |3771 |5767 |3771 | 926 | 11k| 18k|1077 | 0.000000e+00 | 1.800000e+01 | Inf
74.19/74.26 o 13
74.19/74.26 c *72.6s| 31582 | 537 |149045 | 4.7 | 27M| 713 | - |3771 |5643 |3771 | 931 | 11k| 18k|1077 | 0.000000e+00 | 1.300000e+01 | Inf
84.60/84.65 o 7
84.60/84.65 c *82.6s| 37436 | 548 |186459 | 5.0 | 28M| 713 | - |3771 |7099 |3771 | 936 | 13k| 26k|1140 | 0.000000e+00 | 7.000000e+00 | Inf
88.69/88.76 c 86.6s| 40000 | 581 |199923 | 5.0 | 29M| 713 | 9 |3771 |8446 |3771 | 940 | 14k| 29k|1140 | 0.000000e+00 | 7.000000e+00 | Inf
106.79/106.83 c 104s| 50000 | 708 |261309 | 5.2 | 32M| 713 | - |3771 | 12k| 0 | 0 | 16k| 43k|1188 | 0.000000e+00 | 7.000000e+00 | Inf
125.79/125.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.79/125.80 c 123s| 60000 | 677 |323643 | 5.4 | 33M| 713 | - |3771 | 13k| 0 | 0 | 19k| 56k|1196 | 0.000000e+00 | 7.000000e+00 | Inf
144.90/144.96 c 141s| 70000 | 694 |384442 | 5.5 | 34M| 713 | 27 |3771 | 15k|3771 | 946 | 22k| 69k|1199 | 0.000000e+00 | 7.000000e+00 | Inf
160.29/160.35 o 6
160.29/160.35 c * 156s| 78047 | 787 |427855 | 5.5 | 36M| 713 | - |3771 | 18k|3771 | 930 | 24k| 80k|1199 | 0.000000e+00 | 6.000000e+00 | Inf
164.19/164.29 c 160s| 80000 | 787 |438520 | 5.5 | 36M| 713 | 14 |3771 | 17k|3771 | 937 | 24k| 83k|1199 | 0.000000e+00 | 6.000000e+00 | Inf
175.90/175.98 o 5
175.90/175.98 c * 171s| 85988 | 907 |469141 | 5.4 | 37M| 713 | - |3771 | 16k|3771 | 946 | 26k| 91k|1204 | 0.000000e+00 | 5.000000e+00 | Inf
183.71/183.77 c 179s| 90000 | 1014 |489183 | 5.4 | 37M| 713 | - |3771 | 16k| 0 | 0 | 27k| 96k|1225 | 0.000000e+00 | 5.000000e+00 | Inf
202.79/202.82 c 198s|100000 | 1100 |537728 | 5.4 | 39M| 713 | 1 |3771 | 18k|3771 | 933 | 29k| 109k|1258 | 0.000000e+00 | 5.000000e+00 | Inf
223.40/223.45 c 218s|110000 | 1088 |592371 | 5.4 | 40M| 713 | - |3771 | 18k| 0 | 0 | 31k| 123k|1328 | 0.000000e+00 | 5.000000e+00 | Inf
243.70/243.79 c 237s|120000 | 1218 |649864 | 5.4 | 42M| 713 | 13 |3771 | 20k|3771 | 962 | 33k| 137k|1381 | 0.000000e+00 | 5.000000e+00 | Inf
265.19/265.24 c 258s|130000 | 1425 |708220 | 5.4 | 45M| 713 | - |3771 | 23k| 0 | 0 | 35k| 150k|1459 | 0.000000e+00 | 5.000000e+00 | Inf
287.59/287.66 c 280s|140000 | 1617 |773246 | 5.5 | 46M| 713 | 9 |3771 | 21k|3771 | 956 | 37k| 164k|1548 | 0.000000e+00 | 5.000000e+00 | Inf
309.10/309.13 c 301s|150000 | 1669 |829081 | 5.5 | 47M| 713 | - |3771 | 22k| 0 | 0 | 39k| 178k|1662 | 0.000000e+00 | 5.000000e+00 | Inf
330.40/330.46 c 322s|160000 | 1756 |884355 | 5.5 | 48M| 713 | 13 |3771 | 22k|3771 | 936 | 41k| 191k|1736 | 0.000000e+00 | 5.000000e+00 | Inf
351.70/351.74 c 343s|170000 | 1957 |937884 | 5.5 | 49M| 713 | - |3771 | 19k|3771 | 960 | 43k| 205k|1812 | 0.000000e+00 | 5.000000e+00 | Inf
372.80/372.85 c 363s|180000 | 1960 |998044 | 5.5 | 50M| 713 | 8 |3771 | 19k|3771 | 954 | 45k| 219k|1924 | 0.000000e+00 | 5.000000e+00 | Inf
392.90/392.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.90/392.92 c 383s|190000 | 2006 | 1052k| 5.5 | 52M| 713 | - |3771 | 21k| 0 | 0 | 47k| 233k|2018 | 0.000000e+00 | 5.000000e+00 | Inf
414.51/414.55 c 404s|200000 | 2052 | 1106k| 5.5 | 53M| 713 | 21 |3771 | 23k|3771 | 946 | 49k| 247k|2064 | 0.000000e+00 | 5.000000e+00 | Inf
436.10/436.19 c 425s|210000 | 2012 | 1161k| 5.5 | 53M| 713 | - |3771 | 22k| 0 | 0 | 51k| 260k|2163 | 0.000000e+00 | 5.000000e+00 | Inf
457.31/457.30 c 446s|220000 | 2090 | 1218k| 5.5 | 54M| 713 | - |3771 | 19k| 0 | 0 | 54k| 274k|2280 | 0.000000e+00 | 5.000000e+00 | Inf
478.30/478.36 c 466s|230000 | 2087 | 1276k| 5.5 | 54M| 713 | 1 |3771 | 20k|3771 | 944 | 56k| 287k|2363 | 0.000000e+00 | 5.000000e+00 | Inf
501.00/501.01 c 488s|240000 | 2151 | 1337k| 5.6 | 56M| 713 | - |3771 | 22k| 0 | 0 | 59k| 300k|2425 | 0.000000e+00 | 5.000000e+00 | Inf
525.31/525.34 c 512s|250000 | 2246 | 1406k| 5.6 | 57M| 713 | 16 |3771 | 24k|3771 | 944 | 61k| 313k|2534 | 0.000000e+00 | 5.000000e+00 | Inf
548.81/548.85 c 535s|260000 | 2340 | 1472k| 5.7 | 59M| 713 | - |3771 | 25k| 0 | 0 | 63k| 326k|2610 | 0.000000e+00 | 5.000000e+00 | Inf
572.71/572.77 c 558s|270000 | 2428 | 1539k| 5.7 | 59M| 713 | - |3771 | 25k| 0 | 0 | 65k| 339k|2704 | 0.000000e+00 | 5.000000e+00 | Inf
595.70/595.77 c 581s|280000 | 2497 | 1599k| 5.7 | 61M| 713 | 14 |3771 | 26k|3771 | 945 | 67k| 352k|2760 | 0.000000e+00 | 5.000000e+00 | Inf
619.50/619.50 c 604s|290000 | 2530 | 1660k| 5.7 | 62M| 713 | 21 |3771 | 26k|3771 | 937 | 70k| 366k|2811 | 0.000000e+00 | 5.000000e+00 | Inf
643.71/643.78 c 628s|300000 | 2588 | 1725k| 5.7 | 63M| 713 | 1 |3771 | 27k|3771 | 926 | 72k| 379k|2915 | 0.000000e+00 | 5.000000e+00 | Inf
646.91/646.99 o 3
646.91/646.99 c * 631s|301437 | 2047 | 1733k| 5.7 | 56M| 713 | - |3771 | 27k|3771 | 940 | 73k| 381k|2918 | 0.000000e+00 | 3.000000e+00 | Inf
668.41/668.43 c 652s|310000 | 2135 | 1794k| 5.8 | 57M| 713 | 6 |3771 | 28k|3771 | 926 | 74k| 393k|2978 | 0.000000e+00 | 3.000000e+00 | Inf
692.21/692.21 c 675s|320000 | 2126 | 1854k| 5.8 | 57M| 713 | - |3771 | 27k| 0 | 0 | 77k| 407k|3044 | 0.000000e+00 | 3.000000e+00 | Inf
717.41/717.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.41/717.41 c 700s|330000 | 2167 | 1918k| 5.8 | 58M| 713 | 9 |3771 | 27k|3771 | 936 | 79k| 421k|3125 | 0.000000e+00 | 3.000000e+00 | Inf
741.11/741.19 c 723s|340000 | 2273 | 1981k| 5.8 | 58M| 713 | 21 |3771 | 26k|3771 | 944 | 81k| 435k|3184 | 0.000000e+00 | 3.000000e+00 | Inf
764.11/764.18 c 745s|350000 | 2381 | 2038k| 5.8 | 60M| 713 | - |3771 | 28k| 0 | 0 | 83k| 448k|3252 | 0.000000e+00 | 3.000000e+00 | Inf
787.41/787.45 c 768s|360000 | 2436 | 2100k| 5.8 | 61M| 713 | - |3771 | 29k| 0 | 0 | 86k| 462k|3301 | 0.000000e+00 | 3.000000e+00 | Inf
810.91/810.98 c 791s|370000 | 2476 | 2161k| 5.8 | 63M| 713 | - |3771 | 30k|3771 | 952 | 88k| 476k|3361 | 0.000000e+00 | 3.000000e+00 | Inf
835.22/835.21 c 815s|380000 | 2546 | 2220k| 5.8 | 64M| 713 | 1 |3771 | 31k|3771 | 937 | 90k| 490k|3418 | 0.000000e+00 | 3.000000e+00 | Inf
860.22/860.22 c 839s|390000 | 2596 | 2278k| 5.8 | 66M| 713 | 14 |3771 | 35k|3771 | 956 | 93k| 504k|3480 | 0.000000e+00 | 3.000000e+00 | Inf
887.01/887.01 c 866s|400000 | 2646 | 2339k| 5.8 | 68M| 713 | - |3771 | 37k| 0 | 0 | 95k| 519k|3533 | 0.000000e+00 | 3.000000e+00 | Inf
913.41/913.44 c 891s|410000 | 2704 | 2396k| 5.8 | 66M| 713 | - |3771 | 30k| 0 | 0 | 97k| 533k|3588 | 0.000000e+00 | 3.000000e+00 | Inf
938.42/938.43 c 916s|420000 | 2777 | 2462k| 5.9 | 68M| 713 | 20 |3771 | 31k|3771 | 945 | 99k| 546k|3643 | 0.000000e+00 | 3.000000e+00 | Inf
963.41/963.45 c 940s|430000 | 2893 | 2521k| 5.9 | 69M| 713 | - |3771 | 32k| 0 | 0 | 102k| 560k|3703 | 0.000000e+00 | 3.000000e+00 | Inf
989.42/989.44 c 966s|440000 | 2922 | 2587k| 5.9 | 69M| 713 | 1 |3771 | 29k|3771 | 937 | 104k| 574k|3750 | 0.000000e+00 | 3.000000e+00 | Inf
1014.13/1014.12 c 990s|450000 | 3192 | 2661k| 5.9 | 72M| 713 | - |3771 | 32k| 0 | 0 | 106k| 588k|3809 | 0.000000e+00 | 3.000000e+00 | Inf
1039.53/1039.51 c 1015s|460000 | 3245 | 2733k| 5.9 | 73M| 713 | - |3771 | 32k| 0 | 0 | 108k| 602k|3861 | 0.000000e+00 | 3.000000e+00 | Inf
1065.22/1065.24 c 1040s|470000 | 3289 | 2810k| 6.0 | 73M| 713 | 16 |3771 | 31k|3771 | 957 | 110k| 617k|3934 | 0.000000e+00 | 3.000000e+00 | Inf
1090.52/1090.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1090.52/1090.58 c 1065s|480000 | 3311 | 2886k| 6.0 | 74M| 713 | - |3771 | 31k| 0 | 0 | 112k| 631k|4006 | 0.000000e+00 | 3.000000e+00 | Inf
1110.02/1110.05 o 2
1110.02/1110.05 c *1084s|487742 | 3268 | 2942k| 6.0 | 74M| 713 | - |3771 | 31k|3771 | 963 | 113k| 642k|4042 | 0.000000e+00 | 2.000000e+00 | Inf
1115.82/1115.84 c 1089s|490000 | 3238 | 2959k| 6.0 | 72M| 713 | - |3771 | 27k| 0 | 0 | 114k| 645k|4081 | 0.000000e+00 | 2.000000e+00 | Inf
1139.42/1139.45 c 1112s|500000 | 3217 | 3028k| 6.1 | 72M| 713 | - |3771 | 27k| 0 | 0 | 116k| 659k|4133 | 0.000000e+00 | 2.000000e+00 | Inf
1163.32/1163.35 c 1136s|510000 | 3252 | 3091k| 6.1 | 73M| 713 | - |3771 | 28k|3771 | 971 | 119k| 674k|4177 | 0.000000e+00 | 2.000000e+00 | Inf
1187.82/1187.83 c 1160s|520000 | 3286 | 3161k| 6.1 | 74M| 713 | 11 |3771 | 27k|3771 | 964 | 121k| 688k|4230 | 0.000000e+00 | 2.000000e+00 | Inf
1211.73/1211.71 c 1183s|530000 | 3341 | 3227k| 6.1 | 75M| 713 | 13 |3771 | 28k|3771 | 948 | 124k| 702k|4272 | 0.000000e+00 | 2.000000e+00 | Inf
1236.12/1236.17 c 1207s|540000 | 3294 | 3297k| 6.1 | 74M| 713 | 1 |3771 | 26k|3771 | 950 | 127k| 716k|4342 | 0.000000e+00 | 2.000000e+00 | Inf
1260.42/1260.42 c 1231s|550000 | 3400 | 3367k| 6.1 | 77M| 713 | 1 |3771 | 29k|3771 | 963 | 130k| 730k|4392 | 0.000000e+00 | 2.000000e+00 | Inf
1286.03/1286.02 c 1256s|560000 | 3477 | 3432k| 6.1 | 78M| 713 | 19 |3771 | 29k|3771 | 957 | 133k| 745k|4457 | 0.000000e+00 | 2.000000e+00 | Inf
1311.53/1311.51 c 1280s|570000 | 3483 | 3503k| 6.1 | 79M| 713 | 1 |3771 | 31k|3771 | 937 | 135k| 759k|4519 | 0.000000e+00 | 2.000000e+00 | Inf
1338.23/1338.23 c 1307s|580000 | 3223 | 3566k| 6.1 | 74M| 713 | - |3771 | 24k| 0 | 0 | 137k| 773k|4582 | 0.000000e+00 | 2.000000e+00 | Inf
1361.63/1361.65 c 1330s|590000 | 3203 | 3630k| 6.2 | 75M| 713 | 23 |3771 | 26k|3771 | 935 | 140k| 787k|4638 | 0.000000e+00 | 2.000000e+00 | Inf
1385.83/1385.85 c 1353s|600000 | 2949 | 3698k| 6.2 | 71M| 713 | - |3771 | 21k|3771 | 948 | 143k| 801k|4707 | 0.000000e+00 | 2.000000e+00 | Inf
1409.03/1409.04 c 1376s|610000 | 2836 | 3768k| 6.2 | 71M| 713 | 12 |3771 | 22k|3771 | 954 | 146k| 815k|4778 | 0.000000e+00 | 2.000000e+00 | Inf
1432.73/1432.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.73/1432.71 c 1399s|620000 | 2806 | 3834k| 6.2 | 70M| 713 | 21 |3771 | 22k|3771 | 946 | 149k| 829k|5011 | 0.000000e+00 | 2.000000e+00 | Inf
1454.24/1454.27 c 1420s|630000 | 2914 | 3889k| 6.2 | 72M| 713 | 12 |3771 | 26k|3771 | 926 | 151k| 842k|5020 | 0.000000e+00 | 2.000000e+00 | Inf
1479.44/1479.40 c 1445s|640000 | 3009 | 3950k| 6.2 | 73M| 713 | - |3771 | 24k| 0 | 0 | 154k| 855k|5175 | 0.000000e+00 | 2.000000e+00 | Inf
1504.23/1504.28 c 1469s|650000 | 3115 | 4019k| 6.2 | 76M| 713 | - |3771 | 29k| 0 | 0 | 156k| 869k|5204 | 0.000000e+00 | 2.000000e+00 | Inf
1530.53/1530.59 c 1495s|660000 | 3272 | 4087k| 6.2 | 77M| 713 | 20 |3771 | 27k|3771 | 955 | 158k| 882k|5302 | 0.000000e+00 | 2.000000e+00 | Inf
1557.93/1557.95 c 1521s|670000 | 3318 | 4155k| 6.2 | 78M| 713 | 9 |3771 | 27k|3771 | 955 | 159k| 896k|5365 | 0.000000e+00 | 2.000000e+00 | Inf
1583.83/1583.89 c 1547s|680000 | 3358 | 4224k| 6.2 | 79M| 713 | - |3771 | 27k| 0 | 0 | 161k| 909k|5455 | 0.000000e+00 | 2.000000e+00 | Inf
1609.63/1609.68 c 1572s|690000 | 3390 | 4287k| 6.2 | 80M| 713 | 8 |3771 | 29k|3771 | 926 | 163k| 922k|5479 | 0.000000e+00 | 2.000000e+00 | Inf
1634.03/1634.03 c 1596s|700000 | 3543 | 4346k| 6.2 | 83M| 713 | 30 |3771 | 31k|3771 | 955 | 166k| 935k|5527 | 0.000000e+00 | 2.000000e+00 | Inf
1659.84/1659.88 c 1621s|710000 | 3554 | 4405k| 6.2 | 83M| 713 | 1 |3771 | 29k|3771 | 926 | 169k| 948k|5594 | 0.000000e+00 | 2.000000e+00 | Inf
1684.14/1684.17 c 1645s|720000 | 3638 | 4457k| 6.2 | 86M| 713 | 18 |3771 | 36k|3771 | 939 | 171k| 962k|5606 | 0.000000e+00 | 2.000000e+00 | Inf
1712.04/1712.01 c 1672s|730000 | 3773 | 4514k| 6.2 | 88M| 713 | 15 |3771 | 38k|3771 | 926 | 174k| 975k|5667 | 0.000000e+00 | 2.000000e+00 | Inf
1739.33/1739.31 c 1699s|740000 | 3923 | 4574k| 6.2 | 90M| 713 | 5 |3771 | 39k|3771 | 937 | 177k| 989k|5719 | 0.000000e+00 | 2.000000e+00 | Inf
1765.04/1765.03 c 1724s|750000 | 3990 | 4628k| 6.2 | 91M| 713 | 1 |3771 | 42k|3771 | 926 | 179k|1003k|5726 | 0.000000e+00 | 2.000000e+00 | Inf
1791.44/1791.48 c 1750s|760000 | 4035 | 4692k| 6.2 | 92M| 713 | 20 |3771 | 43k|3771 | 948 | 182k|1017k|5796 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time (sec) : 1758.37
1800.05/1800.01 c Solving Nodes : 763097
1800.05/1800.01 c Primal Bound : +2.00000000000000e+00 (183 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210
1800.05/1800.05 v -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.05/1800.05 v -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168
1800.05/1800.05 v -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.05/1800.05 v -x146 -x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126
1800.05/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 -x104
1800.05/1800.05 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.05/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.05/1800.05 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
1800.05/1800.05 v -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2
1800.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1758.37
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693415-1277902937.wbo
1800.05/1800.05 c Variables : 3909 (2070 binary, 0 integer, 0 implicit integer, 1839 continuous)
1800.05/1800.05 c Constraints : 4547 initial, 4547 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693415-1277902937.wbo
1800.05/1800.05 c Variables : 3771 (2001 binary, 0 integer, 0 implicit integer, 1770 continuous)
1800.05/1800.05 c Constraints : 4373 initial, 44382 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 69 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.05 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 69 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.04 0 0 0 1861 0 105 91 0
1800.05/1800.05 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1754 - - 3508 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 448395 0 64 620 0 0 812388
1800.05/1800.05 c indicator : 1770 0 3663420 41005 0 112 1191101 0 0 0
1800.05/1800.05 c setppc : 9 6 3743622 35607 0 11532 1045648 0 0 0
1800.05/1800.05 c linear : 1770 6 3741724 41631 0 217443 16271939 183541 0 0
1800.05/1800.05 c logicor : 824+ 6 1403832 17408 0 130227 3430252 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 18456 0 0 0 0 0 0 0
1800.05/1800.05 c countsols : 0 0 0 17408 0 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 25.03 0.00 0.00 25.03 0.00
1800.05/1800.05 c indicator : 8.39 0.01 6.36 2.02 0.00
1800.05/1800.05 c setppc : 9.61 0.00 9.56 0.05 0.00
1800.05/1800.05 c linear : 143.61 0.00 141.69 1.92 0.00
1800.05/1800.05 c logicor : 315.50 0.00 315.23 0.27 0.00
1800.05/1800.05 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.05/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 1.03 2 0 0
1800.05/1800.05 c rootredcost : 0.84 51 0 1754
1800.05/1800.05 c pseudoobj : 131.12 3755220 1903 666711
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 17.77 361105 360744 2137912 27.1 11859 24.1 -
1800.05/1800.05 c infeasible LP : 11.35 36153 36153 277931 47.5 433 18.7 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.03 87 87 464 16.1 74 5.6 -
1800.05/1800.05 c applied globally : - - - 1021736 23.3 - - -
1800.05/1800.05 c applied locally : - - - 0 0.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 5 - - 16 - (maximal pool size: 269)
1800.05/1800.05 c redcost : 23.57 453272 0 489246 0 0
1800.05/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.11 6 0 0 1243 0
1800.05/1800.05 c strongcg : 0.04 6 0 0 67 0
1800.05/1800.05 c cmir : 0.03 6 0 0 0 0
1800.05/1800.05 c flowcover : 0.08 6 0 0 0 0
1800.05/1800.05 c clique : 0.00 6 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 1 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 24.64 406748 64 620 0 0 812388
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 2.13 17358 0 0 0 0 34716
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.04 - 50
1800.05/1800.05 c pseudo solutions : 0.00 - 0
1800.05/1800.05 c feaspump : 0.01 1 0
1800.05/1800.05 c oneopt : 0.58 46 0
1800.05/1800.05 c intshifting : 0.00 8 0
1800.05/1800.05 c veclendiving : 0.16 89 0
1800.05/1800.05 c coefdiving : 0.19 90 0
1800.05/1800.05 c pscostdiving : 0.06 90 0
1800.05/1800.05 c fracdiving : 0.12 90 0
1800.05/1800.05 c linesearchdiving : 0.13 90 0
1800.05/1800.05 c guideddiving : 0.10 90 0
1800.05/1800.05 c crossover : 1.35 47 0
1800.05/1800.05 c objpscostdiving : 0.14 77 0
1800.05/1800.05 c rootsoldiving : 0.15 77 0
1800.05/1800.05 c trivial : 0.01 2 0
1800.05/1800.05 c simplerounding : 0.89 407308 0
1800.05/1800.05 c zirounding : 0.39 1000 0
1800.05/1800.05 c rounding : 1.48 8915 0
1800.05/1800.05 c shifting : 0.89 2793 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.02 1 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.21 0 0
1800.05/1800.05 c trysol : 2.02 5521 133
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 578.02 467697 4708527 10.07 8145.96
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.29 159 3160 19.87 10896.55
1800.05/1800.05 c strong branching : 21.20 5796 203564 35.12 9602.08
1800.05/1800.05 c (at root node) : - 33 10207 309.30 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 763097
1800.05/1800.05 c nodes (total) : 763097
1800.05/1800.05 c nodes left : 4089
1800.05/1800.05 c max depth : 713
1800.05/1800.05 c max depth (total): 713
1800.05/1800.05 c backtracks : 78325 (10.3%)
1800.05/1800.05 c delayed cutoffs : 61446
1800.05/1800.05 c repropagations : 1750406 (4041095 domain reductions, 57764 cutoffs)
1800.05/1800.05 c avg switch length: 6.07
1800.05/1800.05 c switching time : 273.39
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 183 (51 improvements)
1800.05/1800.05 c First Solution : +8.80640000000000e+04 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <trysol>)
1800.05/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 487742 nodes, 1083.83 seconds, depth 45, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 832
1800.14/1800.18 c Time complete: 1800.22.