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-2692805-1277904539.wbo>
0.00/0.03 c original problem has 3891 variables (2061 bin, 0 int, 0 impl, 1830 cont) and 4538 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, 1960 impls, 7 clqs
0.04/0.09 c (round 2) 0 del vars, 63 del conss, 1830 chg bounds, 48 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.04/0.10 c (round 3) 48 del vars, 129 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 0 upgd conss, 1960 impls, 7 clqs
0.09/0.11 c (round 4) 107 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.12 c (round 5) 118 del vars, 140 del conss, 1841 chg bounds, 66 chg sides, 0 chg coeffs, 856 upgd conss, 1960 impls, 7 clqs
0.09/0.17 c (0.1s) probing: 101/2002 (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 118 deleted vars, 140 deleted constraints, 1841 tightened bounds, 0 added holes, 66 changed sides, 0 changed coefficients
0.09/0.17 c 1960 implications, 7 cliques
0.09/0.17 c presolved problem has 3773 variables (2002 bin, 0 int, 0 impl, 1771 cont) and 4398 constraints
0.09/0.17 c 1771 constraints of type <indicator>
0.09/0.17 c 7 constraints of type <setppc>
0.09/0.17 c 1771 constraints of type <linear>
0.09/0.17 c 849 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.10
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 | 8 | - | 13M| 0 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 89215
0.09/0.18 c y 0.1s| 1 | 0 | 13 | - | 14M| 0 | 7 |3773 |4398 |3773 | 856 | 0 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 58 | - | 14M| 0 | 11 |3773 |4398 |3773 | 877 | 21 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 119 | - | 14M| 0 | 31 |3773 |4398 |3773 | 895 | 39 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.19/0.28 c 0.2s| 1 | 0 | 153 | - | 14M| 0 | 41 |3773 |4398 |3773 | 912 | 56 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 165 | - | 14M| 0 | 39 |3773 |4398 |3773 | 917 | 61 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.39/0.40 c 0.3s| 1 | 0 | 212 | - | 14M| 0 | 42 |3773 |4398 |3773 | 920 | 64 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.39/0.47 c 0.4s| 1 | 0 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 0 | 0.000000e+00 | 8.921500e+04 | Inf
0.79/0.87 c 0.8s| 1 | 2 | 274 | - | 14M| 0 | 48 |3773 |4398 |3773 | 927 | 71 | 0 | 33 | 0.000000e+00 | 8.921500e+04 | Inf
3.49/3.54 o 1299
3.49/3.54 c * 3.3s| 1344 | 1343 | 802 | 0.4 | 17M|1343 | - |3773 |4398 |3773 | 955 | 103 | 0 | 200 | 0.000000e+00 | 1.299000e+03 | Inf
17.99/18.04 c 17.4s| 10000 | 9971 | 13116 | 1.3 | 37M|1343 | 0 |3773 |4459 |3773 | 951 |1356 | 61 |1301 | 0.000000e+00 | 1.299000e+03 | Inf
27.90/27.96 o 602
27.90/27.96 c *27.0s| 17512 | 8982 | 17667 | 1.0 | 36M|1343 | - |3773 |4457 |3773 | 953 |1949 | 62 |1476 | 0.000000e+00 | 6.020000e+02 | Inf
28.70/28.76 o 529
28.70/28.76 c *27.7s| 18056 | 8885 | 18551 | 1.0 | 36M|1343 | - |3773 |4467 |3773 | 955 |2020 | 72 |1481 | 0.000000e+00 | 5.290000e+02 | Inf
30.79/30.85 o 506
30.79/30.85 c *29.8s| 19462 | 10087 | 20633 | 1.0 | 38M|1343 | - |3773 |4479 |3773 | 943 |2150 | 90 |1493 | 0.000000e+00 | 5.060000e+02 | Inf
30.99/31.01 o 423
30.99/31.01 c *29.9s| 19520 | 8725 | 21253 | 1.1 | 36M|1343 | - |3773 |4497 |3773 | 949 |2199 | 108 |1493 | 0.000000e+00 | 4.230000e+02 | Inf
31.29/31.37 o 399
31.29/31.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.29/31.37 c *30.3s| 19678 | 8434 | 22052 | 1.1 | 36M|1343 | - |3773 |4617 |3773 | 939 |2256 | 230 |1507 | 0.000000e+00 | 3.990000e+02 | Inf
31.40/31.46 o 317
31.40/31.46 c *30.4s| 19727 | 6573 | 22175 | 1.1 | 33M|1343 | - |3773 |4622 |3773 | 946 |2269 | 235 |1507 | 0.000000e+00 | 3.170000e+02 | Inf
32.00/32.02 c 30.9s| 20000 | 6810 | 23171 | 1.1 | 33M|1343 | 13 |3773 |4720 |3773 | 933 |2393 | 334 |1526 | 0.000000e+00 | 3.170000e+02 | Inf
32.39/32.47 o 312
32.39/32.47 c *31.3s| 20244 | 6800 | 23912 | 1.2 | 34M|1343 | - |3773 |4796 |3773 | 944 |2514 | 412 |1532 | 0.000000e+00 | 3.120000e+02 | Inf
33.09/33.10 o 298
33.09/33.10 c *31.9s| 20556 | 6457 | 25103 | 1.2 | 34M|1343 | - |3773 |4873 |3773 | 941 |2624 | 492 |1543 | 0.000000e+00 | 2.980000e+02 | Inf
33.09/33.18 o 263
33.09/33.18 c *32.0s| 20590 | 5194 | 25277 | 1.2 | 31M|1343 | - |3773 |4877 |3773 | 960 |2652 | 496 |1543 | 0.000000e+00 | 2.630000e+02 | Inf
33.19/33.29 o 255
33.19/33.29 c *32.1s| 20617 | 4881 | 25708 | 1.2 | 31M|1343 | - |3773 |4888 |3773 | 937 |2679 | 510 |1543 | 0.000000e+00 | 2.550000e+02 | Inf
33.19/33.29 o 251
33.19/33.29 c *32.1s| 20618 | 4768 | 25708 | 1.2 | 30M|1343 | - |3773 |4888 |3773 | 937 |2679 | 510 |1543 | 0.000000e+00 | 2.510000e+02 | Inf
33.29/33.39 o 250
33.29/33.39 c *32.2s| 20654 | 4777 | 26038 | 1.2 | 31M|1343 | - |3773 |4888 |3773 | 939 |2690 | 513 |1543 | 0.000000e+00 | 2.500000e+02 | Inf
33.29/33.39 o 246
33.29/33.39 c *32.2s| 20655 | 4674 | 26038 | 1.2 | 30M|1343 | - |3773 |4888 |3773 | 939 |2690 | 513 |1543 | 0.000000e+00 | 2.460000e+02 | Inf
33.49/33.52 o 238
33.49/33.52 c *32.3s| 20691 | 4504 | 26483 | 1.3 | 30M|1343 | - |3773 |4902 |3773 | 946 |2708 | 536 |1546 | 0.000000e+00 | 2.380000e+02 | Inf
33.60/33.61 o 237
33.60/33.61 c *32.4s| 20707 | 4479 | 26841 | 1.3 | 30M|1343 | - |3773 |4918 |3773 | 943 |2723 | 555 |1548 | 0.000000e+00 | 2.370000e+02 | Inf
33.60/33.70 o 231
33.60/33.70 c *32.5s| 20731 | 4384 | 27097 | 1.3 | 30M|1343 | - |3773 |4931 |3773 | 948 |2743 | 569 |1548 | 0.000000e+00 | 2.310000e+02 | Inf
33.69/33.71 o 201
33.69/33.71 c *32.5s| 20732 | 3781 | 27100 | 1.3 | 29M|1343 | - |3773 |4931 |3773 | 948 |2743 | 569 |1548 | 0.000000e+00 | 2.010000e+02 | Inf
33.79/33.88 o 167
33.79/33.88 c *32.7s| 20786 | 3167 | 27747 | 1.3 | 27M|1343 | - |3773 |4956 |3773 | 936 |2761 | 595 |1550 | 0.000000e+00 | 1.670000e+02 | Inf
34.09/34.16 o 154
34.09/34.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.09/34.16 c *33.0s| 20946 | 2984 | 27910 | 1.3 | 27M|1343 | - |3773 |4955 |3773 | 929 |2775 | 600 |1555 | 0.000000e+00 | 1.540000e+02 | Inf
34.20/34.20 o 149
34.20/34.20 c *33.0s| 20950 | 2894 | 28000 | 1.3 | 27M|1343 | - |3773 |4953 |3773 | 944 |2791 | 600 |1556 | 0.000000e+00 | 1.490000e+02 | Inf
34.20/34.23 o 125
34.20/34.23 c *33.0s| 20973 | 2398 | 28011 | 1.3 | 26M|1343 | - |3773 |4953 |3773 | 944 |2791 | 600 |1556 | 0.000000e+00 | 1.250000e+02 | Inf
34.49/34.53 o 99
34.49/34.53 c *33.3s| 21114 | 1961 | 28527 | 1.3 | 25M|1343 | - |3773 |4954 |3773 | 948 |2826 | 603 |1562 | 0.000000e+00 | 9.900000e+01 | Inf
34.60/34.63 o 89
34.60/34.63 c *33.4s| 21128 | 1661 | 28639 | 1.3 | 25M|1343 | - |3773 |4937 |3773 | 934 |2833 | 641 |1562 | 0.000000e+00 | 8.900000e+01 | Inf
34.60/34.68 o 86
34.60/34.68 c *33.5s| 21135 | 1591 | 28738 | 1.3 | 25M|1343 | - |3773 |4758 |3773 | 940 |2849 | 652 |1562 | 0.000000e+00 | 8.600000e+01 | Inf
34.99/35.07 o 77
34.99/35.07 c *33.8s| 21309 | 1422 | 29281 | 1.4 | 25M|1343 | - |3773 |4740 |3773 | 938 |2897 | 714 |1570 | 0.000000e+00 | 7.700000e+01 | Inf
34.99/35.08 o 71
34.99/35.08 c *33.8s| 21310 | 1105 | 29281 | 1.4 | 24M|1343 | - |3773 |4740 |3773 | 938 |2897 | 714 |1570 | 0.000000e+00 | 7.100000e+01 | Inf
49.09/49.11 o 60
49.09/49.11 c *47.4s| 26846 | 1202 | 63101 | 2.3 | 29M|1343 | - |3773 |6368 |3773 | 928 |4366 |7402 |1779 | 0.000000e+00 | 6.000000e+01 | Inf
52.09/52.12 o 59
52.09/52.12 c *50.2s| 28315 | 1283 | 68346 | 2.4 | 30M|1343 | - |3773 |7166 |3773 | 935 |4647 |9400 |1780 | 0.000000e+00 | 5.900000e+01 | Inf
52.09/52.18 o 56
52.09/52.18 c *50.3s| 28342 | 1246 | 68381 | 2.4 | 30M|1343 | - |3773 |7130 |3773 | 928 |4647 |9426 |1780 | 0.000000e+00 | 5.600000e+01 | Inf
54.19/54.22 o 51
54.19/54.22 c *52.2s| 29300 | 1199 | 71752 | 2.4 | 31M|1343 | - |3773 |6673 |3773 | 933 |4811 | 10k|1781 | 0.000000e+00 | 5.100000e+01 | Inf
55.79/55.89 c 53.8s| 30000 | 1255 | 76428 | 2.5 | 31M|1343 | - |3773 |6105 | 0 | 0 |5073 | 11k|1781 | 0.000000e+00 | 5.100000e+01 | Inf
66.00/66.08 o 42
66.00/66.08 c *63.6s| 34619 | 1499 | 99764 | 2.9 | 35M|1343 | - |3773 |7616 |3773 | 937 |7444 | 17k|1781 | 0.000000e+00 | 4.200000e+01 | Inf
75.99/76.01 o 23
75.99/76.01 c *73.1s| 39198 | 1291 |122702 | 3.1 | 35M|1343 | - |3773 |7499 |3773 | 947 | 10k| 23k|1781 | 0.000000e+00 | 2.300000e+01 | Inf
77.59/77.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.59/77.62 c 74.6s| 40000 | 1271 |126524 | 3.2 | 34M|1343 | - |3773 |6067 | 0 | 0 | 10k| 24k|1781 | 0.000000e+00 | 2.300000e+01 | Inf
87.69/87.75 o 20
87.69/87.75 c *84.3s| 45160 | 1230 |154208 | 3.4 | 35M|1343 | - |3773 |7037 |3773 | 937 | 13k| 31k|1781 | 0.000000e+00 | 2.000000e+01 | Inf
97.49/97.50 c 93.6s| 50000 | 1290 |183435 | 3.7 | 37M|1343 | - |3773 |6520 | 0 | 0 | 16k| 38k|1806 | 0.000000e+00 | 2.000000e+01 | Inf
99.30/99.37 o 15
99.30/99.37 c *95.4s| 51031 | 1117 |188239 | 3.7 | 35M|1343 | - |3773 |6597 |3773 | 934 | 16k| 39k|1815 | 0.000000e+00 | 1.500000e+01 | Inf
115.59/115.69 c 111s| 60000 | 1079 |232430 | 3.9 | 36M|1343 | 11 |3773 |7627 |3773 | 923 | 19k| 51k|1999 | 0.000000e+00 | 1.500000e+01 | Inf
122.69/122.75 o 13
122.69/122.75 c * 118s| 63471 | 1098 |254113 | 4.0 | 37M|1343 | - |3773 |9169 |3773 | 923 | 22k| 55k|2131 | 0.000000e+00 | 1.300000e+01 | Inf
136.00/136.05 c 130s| 70000 | 1337 |295203 | 4.2 | 40M|1343 | 12 |3773 | 11k|3773 | 931 | 27k| 64k|2310 | 0.000000e+00 | 1.300000e+01 | Inf
136.09/136.19 o 12
136.09/136.19 c * 130s| 70075 | 1329 |295644 | 4.2 | 40M|1343 | - |3773 | 11k|3773 | 933 | 27k| 65k|2311 | 0.000000e+00 | 1.200000e+01 | Inf
138.40/138.44 o 6
138.40/138.44 c * 133s| 71205 | 1017 |302264 | 4.2 | 36M|1343 | - |3773 | 12k|3773 | 934 | 28k| 66k|2315 | 0.000000e+00 | 6.000000e+00 | Inf
138.50/138.54 o 2
138.50/138.54 c * 133s| 71243 | 849 |302531 | 4.2 | 34M|1343 | - |3773 | 11k|3773 | 937 | 28k| 66k|2315 | 0.000000e+00 | 2.000000e+00 | Inf
155.40/155.43 c 149s| 80000 | 853 |358851 | 4.5 | 35M|1343 | - |3773 | 11k| 0 | 0 | 33k| 79k|2578 | 0.000000e+00 | 2.000000e+00 | Inf
174.10/174.17 c 166s| 90000 | 817 |415008 | 4.6 | 35M|1343 | 16 |3773 | 13k|3773 | 938 | 40k| 92k|2858 | 0.000000e+00 | 2.000000e+00 | Inf
193.50/193.58 c 185s|100000 | 804 |470532 | 4.7 | 36M|1343 | 1 |3773 | 14k|3773 | 934 | 44k| 106k|3056 | 0.000000e+00 | 2.000000e+00 | Inf
212.40/212.46 c 203s|110000 | 770 |522447 | 4.7 | 37M|1343 | - |3773 | 15k| 0 | 0 | 50k| 119k|3251 | 0.000000e+00 | 2.000000e+00 | Inf
231.40/231.44 c 221s|120000 | 752 |574433 | 4.8 | 37M|1343 | 24 |3773 | 17k|3773 | 935 | 54k| 132k|3427 | 0.000000e+00 | 2.000000e+00 | Inf
251.81/251.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.81/251.90 c 241s|130000 | 654 |634875 | 4.9 | 36M|1343 | - |3773 | 16k| 0 | 0 | 59k| 146k|3626 | 0.000000e+00 | 2.000000e+00 | Inf
271.81/271.85 c 260s|140000 | 823 |698525 | 5.0 | 38M|1343 | 23 |3773 | 18k|3773 | 932 | 65k| 158k|3821 | 0.000000e+00 | 2.000000e+00 | Inf
292.21/292.20 c 279s|150000 | 862 |755978 | 5.0 | 39M|1343 | 11 |3773 | 18k|3773 | 923 | 72k| 171k|4044 | 0.000000e+00 | 2.000000e+00 | Inf
311.30/311.35 c 297s|160000 | 830 |806617 | 5.0 | 38M|1343 | 22 |3773 | 17k|3773 | 930 | 77k| 185k|4187 | 0.000000e+00 | 2.000000e+00 | Inf
330.10/330.11 c 315s|170000 | 907 |856981 | 5.0 | 40M|1343 | 17 |3773 | 18k|3773 | 936 | 81k| 198k|4328 | 0.000000e+00 | 2.000000e+00 | Inf
348.50/348.56 c 333s|180000 | 895 |902821 | 5.0 | 41M|1343 | - |3773 | 21k| 0 | 0 | 82k| 211k|4443 | 0.000000e+00 | 2.000000e+00 | Inf
368.20/368.25 c 352s|190000 | 878 |953440 | 5.0 | 42M|1343 | 13 |3773 | 25k|3773 | 930 | 85k| 224k|4589 | 0.000000e+00 | 2.000000e+00 | Inf
389.50/389.53 c 372s|200000 | 817 | 1002k| 5.0 | 42M|1343 | - |3773 | 25k| 0 | 0 | 87k| 237k|4733 | 0.000000e+00 | 2.000000e+00 | Inf
409.11/409.16 c 391s|210000 | 876 | 1038k| 4.9 | 45M|1343 | - |3773 | 31k| 0 | 0 | 88k| 250k|4801 | 0.000000e+00 | 2.000000e+00 | Inf
431.01/431.03 c 412s|220000 | 928 | 1077k| 4.9 | 47M|1343 | 7 |3773 | 36k|3773 | 931 | 90k| 264k|4884 | 0.000000e+00 | 2.000000e+00 | Inf
453.21/453.27 c 434s|230000 | 874 | 1115k| 4.8 | 46M|1343 | - |3773 | 34k| 0 | 0 | 91k| 278k|4969 | 0.000000e+00 | 2.000000e+00 | Inf
476.71/476.76 c 456s|240000 | 932 | 1166k| 4.9 | 46M|1343 | - |3773 | 30k| 0 | 0 | 95k| 291k|5087 | 0.000000e+00 | 2.000000e+00 | Inf
501.21/501.25 c 480s|250000 | 1195 | 1228k| 4.9 | 48M|1343 | 14 |3773 | 34k|3773 | 939 | 102k| 305k|5243 | 0.000000e+00 | 2.000000e+00 | Inf
525.82/525.81 c 504s|260000 | 1122 | 1284k| 4.9 | 48M|1343 | 1 |3773 | 33k|3773 | 938 | 108k| 319k|5347 | 0.000000e+00 | 2.000000e+00 | Inf
551.11/551.11 c 528s|270000 | 1108 | 1348k| 5.0 | 49M|1343 | - |3773 | 35k| 0 | 0 | 114k| 334k|5506 | 0.000000e+00 | 2.000000e+00 | Inf
576.42/576.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.42/576.43 c 552s|280000 | 1020 | 1409k| 5.0 | 48M|1343 | - |3773 | 32k| 0 | 0 | 118k| 348k|5623 | 0.000000e+00 | 2.000000e+00 | Inf
597.22/597.28 c 572s|290000 | 1000 | 1460k| 5.0 | 45M|1343 | 1 |3773 | 24k|3773 | 934 | 121k| 361k|5753 | 0.000000e+00 | 2.000000e+00 | Inf
617.32/617.36 c 592s|300000 | 1079 | 1503k| 5.0 | 46M|1343 | 1 |3773 | 25k|3773 | 931 | 124k| 373k|5840 | 0.000000e+00 | 2.000000e+00 | Inf
637.71/637.72 c 611s|310000 | 1178 | 1548k| 5.0 | 47M|1343 | 1 |3773 | 27k|3773 | 931 | 126k| 387k|5929 | 0.000000e+00 | 2.000000e+00 | Inf
658.01/658.07 c 631s|320000 | 1189 | 1591k| 5.0 | 49M|1343 | 7 |3773 | 31k|3773 | 931 | 128k| 400k|6007 | 0.000000e+00 | 2.000000e+00 | Inf
679.42/679.41 c 651s|330000 | 1222 | 1634k| 5.0 | 51M|1343 | 10 |3773 | 34k|3773 | 931 | 129k| 414k|6090 | 0.000000e+00 | 2.000000e+00 | Inf
701.82/701.89 c 673s|340000 | 1208 | 1675k| 4.9 | 50M|1343 | - |3773 | 32k| 0 | 0 | 130k| 428k|6170 | 0.000000e+00 | 2.000000e+00 | Inf
724.01/724.01 c 694s|350000 | 1238 | 1720k| 4.9 | 51M|1343 | - |3773 | 33k| 0 | 0 | 131k| 441k|6234 | 0.000000e+00 | 2.000000e+00 | Inf
746.52/746.53 c 716s|360000 | 1239 | 1764k| 4.9 | 52M|1343 | 1 |3773 | 38k|3773 | 943 | 132k| 455k|6301 | 0.000000e+00 | 2.000000e+00 | Inf
770.22/770.22 c 739s|370000 | 1215 | 1808k| 4.9 | 51M|1343 | - |3773 | 35k| 0 | 0 | 133k| 469k|6376 | 0.000000e+00 | 2.000000e+00 | Inf
792.73/792.76 c 761s|380000 | 1225 | 1852k| 4.9 | 52M|1343 | 23 |3773 | 37k|3773 | 931 | 134k| 483k|6454 | 0.000000e+00 | 2.000000e+00 | Inf
814.82/814.83 c 782s|390000 | 1248 | 1894k| 4.9 | 53M|1343 | 1 |3773 | 37k|3773 | 933 | 135k| 497k|6567 | 0.000000e+00 | 2.000000e+00 | Inf
840.02/840.09 c 806s|400000 | 1253 | 1942k| 4.9 | 54M|1343 | - |3773 | 39k| 0 | 0 | 141k| 511k|6663 | 0.000000e+00 | 2.000000e+00 | Inf
862.62/862.68 c 828s|410000 | 1213 | 1985k| 4.8 | 53M|1343 | 10 |3773 | 39k|3773 | 931 | 142k| 524k|6738 | 0.000000e+00 | 2.000000e+00 | Inf
885.92/885.95 c 850s|420000 | 1298 | 2025k| 4.8 | 54M|1343 | - |3773 | 40k| 0 | 0 | 143k| 538k|6788 | 0.000000e+00 | 2.000000e+00 | Inf
908.83/908.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.83/908.87 c 873s|430000 | 1346 | 2063k| 4.8 | 57M|1343 | 9 |3773 | 45k|3773 | 931 | 144k| 552k|6835 | 0.000000e+00 | 2.000000e+00 | Inf
932.92/932.93 c 896s|440000 | 1350 | 2101k| 4.8 | 57M|1343 | - |3773 | 45k| 0 | 0 | 145k| 567k|6908 | 0.000000e+00 | 2.000000e+00 | Inf
957.83/957.89 c 920s|450000 | 1401 | 2141k| 4.8 | 59M|1343 | 10 |3773 | 50k|3773 | 947 | 147k| 581k|6987 | 0.000000e+00 | 2.000000e+00 | Inf
983.83/983.89 c 945s|460000 | 1456 | 2184k| 4.7 | 60M|1343 | 1 |3773 | 49k|3773 | 931 | 148k| 596k|7055 | 0.000000e+00 | 2.000000e+00 | Inf
1008.93/1008.97 c 969s|470000 | 1390 | 2223k| 4.7 | 60M|1343 | 21 |3773 | 49k|3773 | 946 | 149k| 611k|7110 | 0.000000e+00 | 2.000000e+00 | Inf
1035.23/1035.27 c 995s|480000 | 1478 | 2262k| 4.7 | 62M|1343 | 14 |3773 | 54k|3773 | 931 | 151k| 625k|7151 | 0.000000e+00 | 2.000000e+00 | Inf
1063.03/1063.02 c 1022s|490000 | 1643 | 2306k| 4.7 | 63M|1343 | 18 |3773 | 54k|3773 | 931 | 152k| 640k|7199 | 0.000000e+00 | 2.000000e+00 | Inf
1090.53/1090.55 c 1049s|500000 | 1908 | 2350k| 4.7 | 63M|1343 | 1 |3773 | 49k|3773 | 931 | 153k| 655k|7264 | 0.000000e+00 | 2.000000e+00 | Inf
1115.34/1115.36 c 1073s|510000 | 1917 | 2390k| 4.7 | 62M|1343 | - |3773 | 45k| 0 | 0 | 155k| 671k|7359 | 0.000000e+00 | 2.000000e+00 | Inf
1138.83/1138.86 c 1095s|520000 | 1934 | 2430k| 4.7 | 63M|1343 | - |3773 | 46k| 0 | 0 | 156k| 686k|7412 | 0.000000e+00 | 2.000000e+00 | Inf
1162.83/1162.84 c 1119s|530000 | 1966 | 2470k| 4.7 | 62M|1343 | - |3773 | 43k| 0 | 0 | 158k| 701k|7474 | 0.000000e+00 | 2.000000e+00 | Inf
1184.04/1184.04 c 1139s|540000 | 1994 | 2509k| 4.6 | 62M|1343 | 9 |3773 | 41k|3773 | 931 | 159k| 717k|7511 | 0.000000e+00 | 2.000000e+00 | Inf
1187.74/1187.74 o 1
1187.74/1187.74 c *1143s|541806 | 1600 | 2516k| 4.6 | 58M|1343 | - |3773 | 41k|3773 | 931 | 159k| 720k|7515 | 0.000000e+00 | 1.000000e+00 | Inf
1204.54/1204.56 c 1159s|550000 | 1606 | 2550k| 4.6 | 57M|1343 | - |3773 | 40k| 0 | 0 | 160k| 733k|7570 | 0.000000e+00 | 1.000000e+00 | Inf
1225.44/1225.49 c 1179s|560000 | 1572 | 2589k| 4.6 | 56M|1343 | 1 |3773 | 36k|3773 | 931 | 162k| 748k|7641 | 0.000000e+00 | 1.000000e+00 | Inf
1246.13/1246.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1246.13/1246.12 c 1199s|570000 | 1572 | 2631k| 4.6 | 57M|1343 | 20 |3773 | 39k|3773 | 931 | 164k| 763k|7702 | 0.000000e+00 | 1.000000e+00 | Inf
1268.35/1268.32 c 1220s|580000 | 1608 | 2667k| 4.6 | 58M|1343 | - |3773 | 42k| 0 | 0 | 165k| 776k|7716 | 0.000000e+00 | 1.000000e+00 | Inf
1290.74/1290.79 c 1242s|590000 | 1613 | 2703k| 4.6 | 59M|1343 | - |3773 | 44k| 0 | 0 | 166k| 791k|7769 | 0.000000e+00 | 1.000000e+00 | Inf
1313.54/1313.53 c 1264s|600000 | 1569 | 2739k| 4.6 | 59M|1343 | 1 |3773 | 43k|3773 | 931 | 167k| 805k|7854 | 0.000000e+00 | 1.000000e+00 | Inf
1336.64/1336.67 c 1287s|610000 | 1536 | 2777k| 4.6 | 57M|1343 | 15 |3773 | 39k|3773 | 931 | 169k| 819k|7883 | 0.000000e+00 | 1.000000e+00 | Inf
1358.94/1358.98 c 1308s|620000 | 1473 | 2817k| 4.5 | 58M|1343 | - |3773 | 42k| 0 | 0 | 170k| 834k|7917 | 0.000000e+00 | 1.000000e+00 | Inf
1382.14/1382.16 c 1331s|630000 | 1388 | 2857k| 4.5 | 56M|1343 | 15 |3773 | 38k|3773 | 931 | 171k| 849k|7986 | 0.000000e+00 | 1.000000e+00 | Inf
1405.54/1405.51 c 1353s|640000 | 1339 | 2897k| 4.5 | 56M|1343 | 10 |3773 | 38k|3773 | 931 | 172k| 863k|8058 | 0.000000e+00 | 1.000000e+00 | Inf
1430.84/1430.85 c 1378s|650000 | 1463 | 2944k| 4.5 | 57M|1343 | 1 |3773 | 41k|3773 | 931 | 174k| 877k|8091 | 0.000000e+00 | 1.000000e+00 | Inf
1457.24/1457.20 c 1403s|660000 | 1611 | 2993k| 4.5 | 60M|1343 | - |3773 | 46k| 0 | 0 | 175k| 891k|8155 | 0.000000e+00 | 1.000000e+00 | Inf
1483.54/1483.50 c 1429s|670000 | 1836 | 3040k| 4.5 | 62M|1343 | 17 |3773 | 47k|3773 | 931 | 176k| 905k|8221 | 0.000000e+00 | 1.000000e+00 | Inf
1509.65/1509.68 c 1454s|680000 | 1934 | 3087k| 4.5 | 63M|1343 | - |3773 | 48k| 0 | 0 | 177k| 920k|8285 | 0.000000e+00 | 1.000000e+00 | Inf
1535.85/1535.83 c 1480s|690000 | 1952 | 3132k| 4.5 | 64M|1343 | 14 |3773 | 50k|3773 | 931 | 178k| 935k|8345 | 0.000000e+00 | 1.000000e+00 | Inf
1562.85/1562.84 c 1506s|700000 | 1914 | 3179k| 4.5 | 65M|1343 | 14 |3773 | 52k|3773 | 931 | 179k| 950k|8395 | 0.000000e+00 | 1.000000e+00 | Inf
1590.25/1590.22 c 1533s|710000 | 1883 | 3221k| 4.5 | 63M|1343 | 17 |3773 | 48k|3773 | 931 | 180k| 965k|8421 | 0.000000e+00 | 1.000000e+00 | Inf
1615.55/1615.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.55/1615.59 c 1557s|720000 | 1848 | 3268k| 4.5 | 63M|1343 | 6 |3773 | 48k|3773 | 931 | 182k| 980k|8490 | 0.000000e+00 | 1.000000e+00 | Inf
1641.95/1641.93 c 1583s|730000 | 1824 | 3313k| 4.5 | 63M|1343 | 1 |3773 | 48k|3773 | 931 | 183k| 994k|8558 | 0.000000e+00 | 1.000000e+00 | Inf
1666.85/1666.86 c 1607s|740000 | 1833 | 3354k| 4.5 | 62M|1343 | - |3773 | 46k| 0 | 0 | 184k|1009k|8601 | 0.000000e+00 | 1.000000e+00 | Inf
1692.16/1692.11 c 1632s|750000 | 1758 | 3398k| 4.5 | 62M|1343 | 12 |3773 | 47k|3773 | 931 | 186k|1024k|8629 | 0.000000e+00 | 1.000000e+00 | Inf
1717.96/1717.99 c 1657s|760000 | 1785 | 3442k| 4.5 | 63M|1343 | 14 |3773 | 48k|3773 | 931 | 187k|1038k|8694 | 0.000000e+00 | 1.000000e+00 | Inf
1744.26/1744.20 c 1682s|770000 | 1779 | 3484k| 4.5 | 63M|1343 | 13 |3773 | 49k|3773 | 940 | 188k|1052k|8761 | 0.000000e+00 | 1.000000e+00 | Inf
1770.55/1770.53 c 1708s|780000 | 1711 | 3530k| 4.5 | 64M|1343 | - |3773 | 50k| 0 | 0 | 189k|1066k|8796 | 0.000000e+00 | 1.000000e+00 | Inf
1796.85/1796.83 c 1733s|790000 | 1604 | 3576k| 4.5 | 62M|1343 | - |3773 | 48k| 0 | 0 | 191k|1081k|8834 | 0.000000e+00 | 1.000000e+00 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1736.56
1800.06/1800.00 c Solving Nodes : 791249
1800.06/1800.00 c Primal Bound : +1.00000000000000e+00 (223 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.05 s SATISFIABLE
1800.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/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.06/1800.05 v -x1
1800.06/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.05 c Solving Time : 1736.56
1800.06/1800.05 c Original Problem :
1800.06/1800.05 c Problem name : HOME/instance-2692805-1277904539.wbo
1800.06/1800.05 c Variables : 3891 (2061 binary, 0 integer, 0 implicit integer, 1830 continuous)
1800.06/1800.05 c Constraints : 4538 initial, 4538 maximal
1800.06/1800.05 c Presolved Problem :
1800.06/1800.05 c Problem name : t_HOME/instance-2692805-1277904539.wbo
1800.06/1800.05 c Variables : 3773 (2002 binary, 0 integer, 0 implicit integer, 1771 continuous)
1800.06/1800.05 c Constraints : 4398 initial, 55133 maximal
1800.06/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.05 c trivial : 0.00 59 0 0 0 0 0 0 0
1800.06/1800.05 c dualfix : 0.00 59 0 0 0 0 0 0 0
1800.06/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.06/1800.05 c indicator : 0.00 0 0 0 0 0 59 0 0
1800.06/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c linear : 0.06 0 0 0 1841 0 81 66 0
1800.06/1800.05 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.05 c root node : - 1771 - - 3542 - - - -
1800.06/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.05 c integral : 0 0 0 475891 0 26 661 0 0 858054
1800.06/1800.05 c indicator : 1771 0 2522698 41321 0 147 1177386 0 0 0
1800.06/1800.05 c setppc : 7 6 3745296 34461 0 7779 1015363 0 0 0
1800.06/1800.05 c linear : 1771 6 3769687 42234 0 266885 18498117 191317 0 0
1800.06/1800.05 c logicor : 849+ 6 1599616 20564 0 127500 3983690 0 0 0
1800.06/1800.05 c bounddisjunction : 0+ 0 1972 0 0 0 2 0 0 0
1800.06/1800.05 c countsols : 0 0 0 20564 0 0 0 0 0 0
1800.06/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.05 c integral : 23.79 0.00 0.00 23.79 0.00
1800.06/1800.05 c indicator : 5.15 0.00 3.10 2.05 0.00
1800.06/1800.05 c setppc : 7.43 0.00 7.43 0.00 0.00
1800.06/1800.05 c linear : 146.10 0.00 144.70 1.40 0.00
1800.06/1800.05 c logicor : 349.36 0.00 349.17 0.19 0.00
1800.06/1800.05 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.06/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.05 c vbounds : 0.00 2 0 0
1800.06/1800.05 c rootredcost : 0.01 41 0 1771
1800.06/1800.05 c pseudoobj : 121.38 3784968 2766 866314
1800.06/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.05 c propagation : 21.73 404930 404538 2614416 30.1 11838 26.0 -
1800.06/1800.05 c infeasible LP : 5.51 19464 19464 159187 43.9 130 23.9 0
1800.06/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.05 c pseudo solution : 0.00 36 36 163 13.9 18 5.2 -
1800.06/1800.05 c applied globally : - - - 1083289 23.8 - - -
1800.06/1800.05 c applied locally : - - - 0 0.0 - - -
1800.06/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.05 c cut pool : 0.00 5 - - 24 - (maximal pool size: 124)
1800.06/1800.05 c redcost : 21.89 478220 0 276002 0 0
1800.06/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.05 c intobj : 0.00 0 0 0 0 0
1800.06/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.05 c gomory : 0.09 6 0 0 747 0
1800.06/1800.05 c strongcg : 0.06 6 0 0 87 0
1800.06/1800.05 c cmir : 0.00 6 0 0 0 0
1800.06/1800.05 c flowcover : 0.08 6 0 0 0 0
1800.06/1800.05 c clique : 0.00 6 0 0 0 0
1800.06/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.05 c mcf : 0.00 1 0 0 0 0
1800.06/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.05 c Pricers : Time Calls Vars
1800.06/1800.05 c problem variables: 0.00 0 0
1800.06/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.05 c relpscost : 23.62 429587 26 661 0 0 858054
1800.06/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.05 c inference : 2.11 20524 0 0 0 0 41048
1800.06/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.05 c random : 0.00 0 0 0 0 0 0
1800.06/1800.05 c Primal Heuristics : Time Calls Found
1800.06/1800.05 c LP solutions : 0.00 - 40
1800.06/1800.05 c pseudo solutions : 0.00 - 0
1800.06/1800.05 c feaspump : 0.01 1 0
1800.06/1800.05 c intshifting : 0.00 3 0
1800.06/1800.05 c oneopt : 0.19 37 0
1800.06/1800.05 c crossover : 0.66 29 0
1800.06/1800.05 c veclendiving : 0.13 102 0
1800.06/1800.05 c guideddiving : 0.03 102 0
1800.06/1800.05 c coefdiving : 0.16 102 0
1800.06/1800.05 c pscostdiving : 0.12 102 0
1800.06/1800.05 c fracdiving : 0.09 102 0
1800.06/1800.05 c linesearchdiving : 0.14 103 0
1800.06/1800.05 c objpscostdiving : 0.07 100 0
1800.06/1800.05 c rootsoldiving : 0.09 100 0
1800.06/1800.05 c trivial : 0.02 2 0
1800.06/1800.05 c simplerounding : 0.38 430065 0
1800.06/1800.05 c zirounding : 0.22 1000 0
1800.06/1800.05 c rounding : 1.53 9250 0
1800.06/1800.05 c shifting : 1.07 2893 0
1800.06/1800.05 c twoopt : 0.00 0 0
1800.06/1800.05 c fixandinfer : 0.00 0 0
1800.06/1800.05 c intdiving : 0.00 0 0
1800.06/1800.05 c actconsdiving : 0.00 0 0
1800.06/1800.05 c octane : 0.00 0 0
1800.06/1800.05 c rens : 0.03 1 0
1800.06/1800.05 c rins : 0.00 0 0
1800.06/1800.05 c localbranching : 0.00 0 0
1800.06/1800.05 c mutation : 0.00 0 0
1800.06/1800.05 c dins : 0.00 0 0
1800.06/1800.05 c undercover : 0.00 0 0
1800.06/1800.05 c nlp : 0.00 0 0
1800.06/1800.05 c trysol : 1.48 4558 183
1800.06/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.05 c dual LP : 492.61 474907 3579929 7.54 7267.27
1800.06/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.05 c diving/probing LP: 0.14 52 1159 22.29 8278.57
1800.06/1800.05 c strong branching : 19.64 8839 131919 14.92 6716.85
1800.06/1800.05 c (at root node) : - 33 3644 110.42 -
1800.06/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.05 c B&B Tree :
1800.06/1800.05 c number of runs : 1
1800.06/1800.05 c nodes : 791249
1800.06/1800.05 c nodes (total) : 791249
1800.06/1800.05 c nodes left : 1612
1800.06/1800.05 c max depth : 1343
1800.06/1800.05 c max depth (total): 1343
1800.06/1800.05 c backtracks : 94684 (12.0%)
1800.06/1800.05 c delayed cutoffs : 84476
1800.06/1800.05 c repropagations : 1573338 (5423766 domain reductions, 82903 cutoffs)
1800.06/1800.05 c avg switch length: 5.62
1800.06/1800.05 c switching time : 299.84
1800.06/1800.05 c Solution :
1800.06/1800.05 c Solutions found : 223 (41 improvements)
1800.06/1800.05 c First Solution : +8.92150000000000e+04 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.06/1800.05 c Primal Bound : +1.00000000000000e+00 (in run 1, after 541806 nodes, 1142.68 seconds, depth 71, found by <relaxation>)
1800.06/1800.05 c Dual Bound : +0.00000000000000e+00
1800.06/1800.05 c Gap : infinite
1800.06/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.06/1800.05 c Root Iterations : 274
1800.17/1800.14 c Time complete: 1800.21.