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-2693406-1277902512.wbo>
0.00/0.03 c original problem has 3863 variables (2047 bin, 0 int, 0 impl, 1816 cont) and 4524 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.00/0.09 c (round 2) 0 del vars, 71 del conss, 1816 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.10 c (round 3) 53 del vars, 157 del conss, 1835 chg bounds, 86 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.11 c (round 4) 125 del vars, 177 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 0 upgd conss, 1958 impls, 6 clqs
0.09/0.13 c (round 5) 145 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.14 c (round 6) 146 del vars, 178 del conss, 1836 chg bounds, 87 chg sides, 0 chg coeffs, 860 upgd conss, 1958 impls, 6 clqs
0.09/0.18 c (0.1s) probing: 101/1974 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (7 rounds):
0.09/0.18 c 146 deleted vars, 178 deleted constraints, 1836 tightened bounds, 0 added holes, 87 changed sides, 0 changed coefficients
0.09/0.18 c 1958 implications, 6 cliques
0.09/0.18 c presolved problem has 3717 variables (1974 bin, 0 int, 0 impl, 1743 cont) and 4346 constraints
0.09/0.18 c 1743 constraints of type <indicator>
0.09/0.18 c 6 constraints of type <setppc>
0.09/0.18 c 1743 constraints of type <linear>
0.09/0.18 c 854 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.98
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 3420
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/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 | 22 | - | 13M| 0 | 13 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 o 88690
0.19/0.21 c y 0.2s| 1 | 0 | 22 | - | 13M| 0 | 13 |3717 |4346 |3717 | 860 | 0 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 66 | - | 13M| 0 | 33 |3717 |4346 |3717 | 883 | 23 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 127 | - | 14M| 0 | 43 |3717 |4346 |3717 | 904 | 44 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 221 | - | 14M| 0 | 36 |3717 |4346 |3717 | 924 | 64 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 371 | - | 14M| 0 | 44 |3717 |4346 |3717 | 944 | 84 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.49/0.50 c 0.5s| 1 | 0 | 415 | - | 15M| 0 | 57 |3717 |4346 |3717 | 954 | 94 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
0.59/0.61 c 0.6s| 1 | 0 | 622 | - | 15M| 0 | 59 |3717 |4346 |3717 | 960 | 100 | 0 | 0 | 0.000000e+00 | 8.869000e+04 | Inf
2.39/2.49 c 2.4s| 1 | 2 | 622 | - | 15M| 0 | 59 |3717 |4346 |3717 | 960 | 100 | 0 | 33 | 0.000000e+00 | 8.869000e+04 | Inf
19.39/19.48 o 1513
19.39/19.48 c *19.2s| 3167 | 3160 | 37376 | 11.6 | 26M| 93 | - |3717 |4352 |3717 |1028 |5098 | 6 |1120 | 0.000000e+00 | 1.513000e+03 | Inf
29.59/29.65 o 483
29.59/29.65 c *29.1s| 8439 | 6296 | 60131 | 7.1 | 33M| 698 | - |3717 |4497 |3717 |1008 |7970 | 151 |1179 | 0.000000e+00 | 4.830000e+02 | Inf
30.69/30.73 o 464
30.69/30.73 c *30.2s| 8973 | 6561 | 61987 | 6.8 | 34M| 703 | - |3717 |4656 |3717 |1035 |8168 | 310 |1189 | 0.000000e+00 | 4.640000e+02 | Inf
31.90/31.91 o 443
31.90/31.91 c *31.3s| 9509 | 6649 | 64682 | 6.7 | 35M| 703 | - |3717 |4961 |3717 |1004 |8412 | 619 |1198 | 0.000000e+00 | 4.430000e+02 | Inf
31.90/31.93 o 441
31.90/31.93 c *31.4s| 9510 | 6617 | 64682 | 6.7 | 35M| 703 | - |3717 |4961 |3717 |1004 |8412 | 619 |1198 | 0.000000e+00 | 4.410000e+02 | Inf
32.19/32.21 o 433
32.19/32.21 c *31.6s| 9646 | 6581 | 65155 | 6.7 | 35M| 703 | - |3717 |5031 |3717 | 997 |8433 | 690 |1198 | 0.000000e+00 | 4.330000e+02 | Inf
32.19/32.24 o 417
32.19/32.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.19/32.24 c *31.7s| 9651 | 6242 | 65177 | 6.7 | 35M| 703 | - |3717 |5031 |3717 |1010 |8446 | 690 |1198 | 0.000000e+00 | 4.170000e+02 | Inf
32.19/32.26 o 382
32.19/32.26 c *31.7s| 9653 | 5469 | 65178 | 6.7 | 33M| 703 | - |3717 |5031 |3717 |1010 |8446 | 690 |1198 | 0.000000e+00 | 3.820000e+02 | Inf
33.30/33.33 c 32.7s| 10000 | 5658 | 68808 | 6.8 | 34M| 703 | 1 |3717 |5278 |3717 |1017 |8715 | 998 |1199 | 0.000000e+00 | 3.820000e+02 | Inf
34.09/34.18 o 370
34.09/34.18 c *33.5s| 10368 | 5702 | 70356 | 6.7 | 34M| 703 | - |3717 |5370 |3717 |1038 |8897 |1168 |1208 | 0.000000e+00 | 3.700000e+02 | Inf
34.29/34.35 o 356
34.29/34.35 c *33.7s| 10397 | 5423 | 71396 | 6.8 | 34M| 703 | - |3717 |5366 |3717 |1058 |8999 |1186 |1210 | 0.000000e+00 | 3.560000e+02 | Inf
36.50/36.55 o 336
36.50/36.55 c *35.9s| 11187 | 5556 | 77635 | 6.9 | 35M| 703 | - |3717 |5823 |3717 |1038 |9932 |1857 |1211 | 0.000000e+00 | 3.360000e+02 | Inf
38.70/38.74 o 319
38.70/38.74 c *38.0s| 11877 | 5728 | 87934 | 7.4 | 36M| 703 | - |3717 |5812 |3717 |1039 | 11k|2296 |1217 | 0.000000e+00 | 3.190000e+02 | Inf
41.50/41.51 o 316
41.50/41.51 c *40.7s| 12684 | 6134 | 98319 | 7.7 | 38M| 703 | - |3717 |5881 |3717 | 972 | 12k|3001 |1263 | 0.000000e+00 | 3.160000e+02 | Inf
41.70/41.70 o 295
41.70/41.70 c *40.9s| 12752 | 5825 | 98852 | 7.7 | 37M| 703 | - |3717 |5909 |3717 |1036 | 12k|3073 |1263 | 0.000000e+00 | 2.950000e+02 | Inf
42.80/42.81 o 292
42.80/42.81 c *42.0s| 13166 | 6062 |102527 | 7.7 | 38M| 703 | - |3717 |5825 |3717 |1028 | 13k|3284 |1279 | 0.000000e+00 | 2.920000e+02 | Inf
42.80/42.83 o 277
42.80/42.83 c *42.0s| 13169 | 5678 |102569 | 7.7 | 37M| 703 | - |3717 |5822 |3717 |1026 | 13k|3284 |1279 | 0.000000e+00 | 2.770000e+02 | Inf
42.89/42.96 o 269
42.89/42.96 c *42.1s| 13188 | 5531 |103470 | 7.8 | 37M| 703 | - |3717 |5813 |3717 |1009 | 13k|3304 |1279 | 0.000000e+00 | 2.690000e+02 | Inf
44.79/44.87 o 257
44.79/44.87 c *44.0s| 13727 | 5571 |111932 | 8.1 | 38M| 703 | - |3717 |5636 |3717 |1004 | 14k|3703 |1298 | 0.000000e+00 | 2.570000e+02 | Inf
45.79/45.84 o 255
45.79/45.84 c *44.9s| 14069 | 5774 |115703 | 8.2 | 39M| 703 | - |3717 |5603 |3717 |1007 | 14k|3874 |1299 | 0.000000e+00 | 2.550000e+02 | Inf
47.90/47.98 o 248
47.90/47.98 c *47.0s| 14684 | 5882 |125270 | 8.5 | 39M| 703 | - |3717 |5723 |3717 |1050 | 15k|4349 |1299 | 0.000000e+00 | 2.480000e+02 | Inf
49.09/49.17 o 236
49.09/49.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.09/49.17 c *48.2s| 15011 | 5696 |130602 | 8.7 | 39M| 703 | - |3717 |5651 |3717 |1007 | 16k|4594 |1299 | 0.000000e+00 | 2.360000e+02 | Inf
49.59/49.65 o 233
49.59/49.65 c *48.6s| 15063 | 5625 |133492 | 8.8 | 39M| 703 | - |3717 |5636 |3717 |1000 | 16k|4647 |1319 | 0.000000e+00 | 2.330000e+02 | Inf
49.79/49.89 o 221
49.79/49.89 c *48.9s| 15081 | 5319 |135109 | 8.9 | 38M| 703 | - |3717 |5610 |3717 | 955 | 16k|4656 |1328 | 0.000000e+00 | 2.210000e+02 | Inf
50.70/50.77 o 209
50.70/50.77 c *49.7s| 15290 | 5099 |139866 | 9.1 | 37M| 703 | - |3717 |5548 |3717 |1042 | 16k|4757 |1352 | 0.000000e+00 | 2.090000e+02 | Inf
50.70/50.77 o 199
50.70/50.77 c *49.7s| 15291 | 4788 |139869 | 9.1 | 36M| 703 | - |3717 |5548 |3717 |1042 | 16k|4757 |1352 | 0.000000e+00 | 1.990000e+02 | Inf
53.49/53.58 o 198
53.49/53.58 c *52.5s| 16145 | 5140 |150973 | 9.3 | 38M| 703 | - |3717 |5576 |3717 |1019 | 17k|5451 |1370 | 0.000000e+00 | 1.980000e+02 | Inf
54.29/54.31 o 178
54.29/54.31 c *53.2s| 16410 | 4703 |153017 | 9.3 | 37M| 703 | - |3717 |5656 |3717 |1024 | 18k|5659 |1371 | 0.000000e+00 | 1.780000e+02 | Inf
54.29/54.32 o 158
54.29/54.32 c *53.2s| 16411 | 4128 |153019 | 9.3 | 35M| 703 | - |3717 |5656 |3717 |1024 | 18k|5659 |1371 | 0.000000e+00 | 1.580000e+02 | Inf
57.99/58.07 o 157
57.99/58.07 c *56.9s| 17403 | 4362 |169391 | 9.7 | 37M| 703 | - |3717 |5754 |3717 |1012 | 19k|6674 |1374 | 0.000000e+00 | 1.570000e+02 | Inf
58.09/58.15 o 153
58.09/58.15 c *56.9s| 17415 | 4306 |169797 | 9.7 | 37M| 703 | - |3717 |5756 |3717 |1040 | 19k|6692 |1374 | 0.000000e+00 | 1.530000e+02 | Inf
58.09/58.16 o 146
58.09/58.16 c *57.0s| 17419 | 4060 |169833 | 9.7 | 36M| 703 | - |3717 |5760 |3717 |1040 | 19k|6697 |1374 | 0.000000e+00 | 1.460000e+02 | Inf
58.49/58.51 o 141
58.49/58.51 c *57.3s| 17472 | 3947 |172165 | 9.8 | 36M| 703 | - |3717 |5756 |3717 | 985 | 19k|6734 |1374 | 0.000000e+00 | 1.410000e+02 | Inf
58.49/58.57 o 135
58.49/58.57 c *57.4s| 17495 | 3737 |172358 | 9.8 | 35M| 703 | - |3717 |5768 |3717 |1008 | 19k|6750 |1374 | 0.000000e+00 | 1.350000e+02 | Inf
58.49/58.57 o 131
58.49/58.57 c *57.4s| 17496 | 3649 |172359 | 9.8 | 34M| 703 | - |3717 |5768 |3717 |1008 | 19k|6750 |1374 | 0.000000e+00 | 1.310000e+02 | Inf
58.69/58.73 o 119
58.69/58.73 c *57.5s| 17532 | 3432 |172925 | 9.8 | 33M| 703 | - |3717 |5769 |3717 |1026 | 20k|6775 |1374 | 0.000000e+00 | 1.190000e+02 | Inf
59.69/59.76 o 109
59.69/59.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.69/59.76 c *58.5s| 17728 | 3238 |177669 | 10.0 | 33M| 703 | - |3717 |5846 |3717 |1046 | 20k|6974 |1405 | 0.000000e+00 | 1.090000e+02 | Inf
59.99/60.00 o 80
59.99/60.00 c *58.8s| 17801 | 2568 |178952 | 10.0 | 30M| 703 | - |3717 |5874 |3717 | 964 | 20k|7009 |1412 | 0.000000e+00 | 8.000000e+01 | Inf
60.09/60.10 o 75
60.09/60.10 c *58.9s| 17812 | 2431 |179542 | 10.0 | 30M| 703 | - |3717 |5497 |3717 |1017 | 20k|7011 |1415 | 0.000000e+00 | 7.500000e+01 | Inf
60.29/60.37 o 71
60.29/60.37 c *59.1s| 17856 | 1917 |180836 | 10.1 | 28M| 703 | - |3717 |5403 |3717 |1012 | 20k|7050 |1420 | 0.000000e+00 | 7.100000e+01 | Inf
66.49/66.56 c 65.1s| 20000 | 2017 |198639 | 9.9 | 30M| 703 | - |3717 |5678 | 0 | 0 | 22k|9483 |1444 | 0.000000e+00 | 7.100000e+01 | Inf
77.00/77.03 o 69
77.00/77.03 c *75.3s| 23656 | 2199 |232624 | 9.8 | 35M| 703 | - |3717 |6304 |3717 |1007 | 24k| 14k|1451 | 0.000000e+00 | 6.900000e+01 | Inf
93.40/93.45 c 91.4s| 30000 | 2399 |274848 | 9.1 | 42M| 703 | - |3717 |5994 | 0 | 0 | 27k| 21k|1451 | 0.000000e+00 | 6.900000e+01 | Inf
109.80/109.81 o 64
109.80/109.81 c * 107s| 35954 | 2392 |319035 | 8.9 | 47M| 703 | - |3717 |6750 |3717 |1020 | 30k| 29k|1451 | 0.000000e+00 | 6.400000e+01 | Inf
110.50/110.53 o 50
110.50/110.53 c * 108s| 36233 | 2085 |320646 | 8.8 | 41M| 703 | - |3717 |6820 |3717 |1012 | 30k| 29k|1451 | 0.000000e+00 | 5.000000e+01 | Inf
111.10/111.19 o 46
111.10/111.19 c * 109s| 36481 | 2001 |322142 | 8.8 | 40M| 703 | - |3717 |6362 |3717 |1024 | 30k| 29k|1451 | 0.000000e+00 | 4.600000e+01 | Inf
113.99/114.03 o 25
113.99/114.03 c * 111s| 37766 | 1610 |328984 | 8.7 | 38M| 703 | - |3717 |6598 |3717 |1025 | 31k| 31k|1451 | 0.000000e+00 | 2.500000e+01 | Inf
114.09/114.13 o 23
114.09/114.13 c * 112s| 37798 | 1599 |329190 | 8.7 | 38M| 703 | - |3717 |6122 |3717 |1035 | 31k| 31k|1451 | 0.000000e+00 | 2.300000e+01 | Inf
115.79/115.81 o 17
115.79/115.81 c * 113s| 38630 | 1531 |335110 | 8.7 | 38M| 703 | - |3717 |5959 |3717 | 989 | 31k| 32k|1451 | 0.000000e+00 | 1.700000e+01 | Inf
116.90/116.99 o 9
116.90/116.99 c * 114s| 39229 | 1329 |338532 | 8.6 | 36M| 703 | - |3717 |5071 |3717 |1022 | 31k| 33k|1451 | 0.000000e+00 | 9.000000e+00 | Inf
118.30/118.30 c 116s| 40000 | 1335 |342860 | 8.6 | 36M| 703 | 17 |3717 |5104 |3717 | 974 | 31k| 34k|1451 | 0.000000e+00 | 9.000000e+00 | Inf
125.10/125.13 o 7
125.10/125.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.10/125.13 c * 122s| 43839 | 1300 |365226 | 8.3 | 37M| 703 | - |3717 |5945 |3717 |1011 | 33k| 39k|1451 | 0.000000e+00 | 7.000000e+00 | Inf
125.30/125.38 o 5
125.30/125.38 c * 122s| 43988 | 1263 |365940 | 8.3 | 37M| 703 | - |3717 |6052 |3717 |1008 | 33k| 39k|1451 | 0.000000e+00 | 5.000000e+00 | Inf
136.59/136.63 c 133s| 50000 | 1287 |409266 | 8.2 | 37M| 703 | 1 |3717 |6937 |3717 | 991 | 34k| 47k|1451 | 0.000000e+00 | 5.000000e+00 | Inf
151.00/151.04 o 2
151.00/151.04 c * 147s| 57625 | 1150 |463374 | 8.0 | 37M| 703 | - |3717 |6923 |3717 |1003 | 36k| 57k|1469 | 0.000000e+00 | 2.000000e+00 | Inf
155.59/155.69 c 152s| 60000 | 1197 |482063 | 8.0 | 38M| 703 | 19 |3717 |7588 |3717 | 966 | 37k| 60k|1476 | 0.000000e+00 | 2.000000e+00 | Inf
175.70/175.77 c 171s| 70000 | 1319 |559110 | 8.0 | 41M| 703 | 21 |3717 | 11k|3717 | 966 | 40k| 73k|1552 | 0.000000e+00 | 2.000000e+00 | Inf
197.10/197.15 c 192s| 80000 | 1300 |639122 | 8.0 | 41M| 703 | 1 |3717 | 11k|3717 | 973 | 43k| 86k|1666 | 0.000000e+00 | 2.000000e+00 | Inf
217.50/217.59 c 212s| 90000 | 1357 |712781 | 7.9 | 43M| 703 | 19 |3717 | 13k|3717 |1000 | 46k| 99k|1727 | 0.000000e+00 | 2.000000e+00 | Inf
239.00/239.03 c 233s|100000 | 1327 |792408 | 7.9 | 42M| 703 | - |3717 | 11k| 0 | 0 | 49k| 112k|1826 | 0.000000e+00 | 2.000000e+00 | Inf
259.90/259.94 c 253s|110000 | 1402 |858966 | 7.8 | 45M| 703 | 17 |3717 | 15k|3717 | 985 | 52k| 126k|1919 | 0.000000e+00 | 2.000000e+00 | Inf
281.00/281.02 c 274s|120000 | 1479 |920326 | 7.7 | 47M| 703 | 9 |3717 | 18k|3717 | 994 | 55k| 139k|1974 | 0.000000e+00 | 2.000000e+00 | Inf
303.10/303.19 c 295s|130000 | 1521 |987643 | 7.6 | 48M| 703 | 18 |3717 | 20k|3717 | 994 | 57k| 153k|2070 | 0.000000e+00 | 2.000000e+00 | Inf
324.90/324.98 c 317s|140000 | 1452 | 1048k| 7.5 | 48M| 703 | - |3717 | 18k|3717 | 994 | 60k| 167k|2121 | 0.000000e+00 | 2.000000e+00 | Inf
347.51/347.57 c 339s|150000 | 1387 | 1120k| 7.5 | 46M| 703 | - |3717 | 14k| 0 | 0 | 63k| 180k|2257 | 0.000000e+00 | 2.000000e+00 | Inf
370.61/370.66 c 361s|160000 | 1504 | 1200k| 7.5 | 48M| 703 | - |3717 | 15k| 0 | 0 | 65k| 192k|2542 | 0.000000e+00 | 2.000000e+00 | Inf
392.50/392.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.50/392.60 c 383s|170000 | 1600 | 1274k| 7.5 | 49M| 703 | 1 |3717 | 15k|3717 | 966 | 69k| 206k|2618 | 0.000000e+00 | 2.000000e+00 | Inf
414.20/414.28 c 404s|180000 | 1584 | 1342k| 7.5 | 50M| 703 | 18 |3717 | 17k|3717 | 980 | 72k| 220k|2707 | 0.000000e+00 | 2.000000e+00 | Inf
437.31/437.31 c 426s|190000 | 1639 | 1422k| 7.5 | 50M| 703 | - |3717 | 15k| 0 | 0 | 75k| 233k|2774 | 0.000000e+00 | 2.000000e+00 | Inf
459.81/459.81 c 448s|200000 | 1950 | 1496k| 7.5 | 54M| 703 | 16 |3717 | 18k|3717 | 996 | 78k| 246k|2881 | 0.000000e+00 | 2.000000e+00 | Inf
483.21/483.25 c 471s|210000 | 2081 | 1573k| 7.5 | 55M| 703 | - |3717 | 18k| 0 | 0 | 81k| 260k|2935 | 0.000000e+00 | 2.000000e+00 | Inf
505.31/505.33 c 492s|220000 | 2179 | 1639k| 7.5 | 57M| 703 | - |3717 | 19k| 0 | 0 | 84k| 275k|2999 | 0.000000e+00 | 2.000000e+00 | Inf
527.51/527.51 c 514s|230000 | 2271 | 1703k| 7.4 | 58M| 703 | 1 |3717 | 20k|3717 | 986 | 87k| 289k|3071 | 0.000000e+00 | 2.000000e+00 | Inf
550.21/550.25 c 536s|240000 | 2331 | 1769k| 7.4 | 60M| 703 | - |3717 | 21k| 0 | 0 | 90k| 304k|3181 | 0.000000e+00 | 2.000000e+00 | Inf
573.01/573.02 c 558s|250000 | 2324 | 1836k| 7.3 | 60M| 703 | 14 |3717 | 20k|3717 | 955 | 93k| 318k|3261 | 0.000000e+00 | 2.000000e+00 | Inf
595.31/595.31 c 580s|260000 | 2337 | 1902k| 7.3 | 61M| 703 | 10 |3717 | 21k|3717 | 970 | 96k| 333k|3328 | 0.000000e+00 | 2.000000e+00 | Inf
618.81/618.85 c 603s|270000 | 2420 | 1976k| 7.3 | 62M| 703 | - |3717 | 21k| 0 | 0 | 99k| 347k|3395 | 0.000000e+00 | 2.000000e+00 | Inf
641.91/641.99 c 626s|280000 | 2467 | 2046k| 7.3 | 62M| 703 | - |3717 | 20k| 0 | 0 | 102k| 362k|3460 | 0.000000e+00 | 2.000000e+00 | Inf
664.71/664.75 c 648s|290000 | 2489 | 2117k| 7.3 | 62M| 703 | 19 |3717 | 18k|3717 | 955 | 105k| 376k|3521 | 0.000000e+00 | 2.000000e+00 | Inf
688.82/688.86 c 671s|300000 | 2590 | 2194k| 7.3 | 63M| 703 | 1 |3717 | 18k|3717 | 955 | 108k| 390k|3633 | 0.000000e+00 | 2.000000e+00 | Inf
712.21/712.28 c 694s|310000 | 2619 | 2265k| 7.3 | 65M| 703 | 1 |3717 | 19k|3717 | 961 | 112k| 404k|3696 | 0.000000e+00 | 2.000000e+00 | Inf
734.51/734.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.51/734.55 c 716s|320000 | 2566 | 2329k| 7.3 | 63M| 703 | - |3717 | 16k| 0 | 0 | 115k| 419k|3779 | 0.000000e+00 | 2.000000e+00 | Inf
756.51/756.56 c 737s|330000 | 2597 | 2402k| 7.3 | 64M| 703 | 1 |3717 | 18k|3717 |1020 | 118k| 433k|3831 | 0.000000e+00 | 2.000000e+00 | Inf
778.82/778.84 c 759s|340000 | 2538 | 2467k| 7.3 | 64M| 703 | 1 |3717 | 18k|3717 | 972 | 122k| 448k|3897 | 0.000000e+00 | 2.000000e+00 | Inf
800.73/800.76 c 781s|350000 | 2306 | 2538k| 7.3 | 61M| 703 | - |3717 | 15k| 0 | 0 | 125k| 463k|3966 | 0.000000e+00 | 2.000000e+00 | Inf
822.32/822.32 c 802s|360000 | 2135 | 2612k| 7.3 | 61M| 703 | - |3717 | 17k| 0 | 0 | 128k| 478k|4050 | 0.000000e+00 | 2.000000e+00 | Inf
843.92/843.94 c 823s|370000 | 2209 | 2678k| 7.2 | 62M| 703 | 21 |3717 | 17k|3717 | 978 | 131k| 492k|4112 | 0.000000e+00 | 2.000000e+00 | Inf
866.42/866.48 c 845s|380000 | 2106 | 2750k| 7.2 | 61M| 703 | 19 |3717 | 16k|3717 | 971 | 133k| 507k|4194 | 0.000000e+00 | 2.000000e+00 | Inf
887.93/887.90 c 866s|390000 | 2106 | 2815k| 7.2 | 61M| 703 | - |3717 | 16k| 0 | 0 | 136k| 521k|4257 | 0.000000e+00 | 2.000000e+00 | Inf
910.12/910.16 c 887s|400000 | 1992 | 2887k| 7.2 | 60M| 703 | - |3717 | 16k| 0 | 0 | 139k| 535k|4323 | 0.000000e+00 | 2.000000e+00 | Inf
932.02/932.03 c 909s|410000 | 1820 | 2953k| 7.2 | 58M| 703 | 1 |3717 | 17k|3717 | 995 | 143k| 549k|4386 | 0.000000e+00 | 2.000000e+00 | Inf
954.92/954.92 c 931s|420000 | 1884 | 3026k| 7.2 | 59M| 703 | 1 |3717 | 21k|3717 | 970 | 146k| 562k|4452 | 0.000000e+00 | 2.000000e+00 | Inf
979.63/979.67 c 955s|430000 | 1924 | 3097k| 7.2 | 60M| 703 | 20 |3717 | 20k|3717 | 986 | 149k| 576k|4511 | 0.000000e+00 | 2.000000e+00 | Inf
1003.93/1003.91 c 979s|440000 | 1556 | 3170k| 7.2 | 53M| 703 | 8 |3717 | 15k|3717 | 991 | 153k| 590k|4590 | 0.000000e+00 | 2.000000e+00 | Inf
1025.43/1025.44 c 1000s|450000 | 1536 | 3239k| 7.2 | 53M| 703 | 14 |3717 | 17k|3717 | 981 | 156k| 603k|4815 | 0.000000e+00 | 2.000000e+00 | Inf
1047.73/1047.72 c 1022s|460000 | 1469 | 3308k| 7.2 | 53M| 703 | 1 |3717 | 16k|3717 | 963 | 159k| 616k|5084 | 0.000000e+00 | 2.000000e+00 | Inf
1069.62/1069.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.62/1069.70 c 1043s|470000 | 1539 | 3377k| 7.2 | 53M| 703 | 1 |3717 | 17k|3717 | 955 | 162k| 629k|5096 | 0.000000e+00 | 2.000000e+00 | Inf
1092.93/1092.97 c 1066s|480000 | 1625 | 3449k| 7.2 | 55M| 703 | - |3717 | 18k| 0 | 0 | 165k| 642k|5119 | 0.000000e+00 | 2.000000e+00 | Inf
1116.33/1116.31 c 1089s|490000 | 1667 | 3516k| 7.2 | 57M| 703 | - |3717 | 22k|3717 | 976 | 168k| 656k|5165 | 0.000000e+00 | 2.000000e+00 | Inf
1142.13/1142.19 c 1114s|500000 | 1671 | 3587k| 7.2 | 57M| 703 | 24 |3717 | 22k|3717 | 992 | 170k| 669k|5204 | 0.000000e+00 | 2.000000e+00 | Inf
1165.33/1165.39 c 1137s|510000 | 1535 | 3653k| 7.2 | 54M| 703 | 16 |3717 | 17k|3717 | 984 | 173k| 683k|5235 | 0.000000e+00 | 2.000000e+00 | Inf
1186.63/1186.67 c 1157s|520000 | 1541 | 3713k| 7.1 | 53M| 703 | 9 |3717 | 15k|3717 | 967 | 177k| 696k|5323 | 0.000000e+00 | 2.000000e+00 | Inf
1208.33/1208.37 c 1178s|530000 | 1571 | 3777k| 7.1 | 55M| 703 | 1 |3717 | 17k|3717 | 975 | 180k| 709k|5374 | 0.000000e+00 | 2.000000e+00 | Inf
1230.14/1230.10 c 1200s|540000 | 1460 | 3843k| 7.1 | 54M| 703 | 2 |3717 | 16k|3717 | 962 | 183k| 723k|5416 | 0.000000e+00 | 2.000000e+00 | Inf
1251.34/1251.30 c 1220s|550000 | 1455 | 3910k| 7.1 | 54M| 703 | 27 |3717 | 18k|3717 | 990 | 186k| 737k|5493 | 0.000000e+00 | 2.000000e+00 | Inf
1273.84/1273.87 c 1242s|560000 | 1278 | 3983k| 7.1 | 51M| 703 | 28 |3717 | 12k|3717 | 969 | 189k| 750k|5640 | 0.000000e+00 | 2.000000e+00 | Inf
1294.64/1294.63 c 1263s|570000 | 1324 | 4050k| 7.1 | 53M| 703 | 1 |3717 | 16k|3717 | 992 | 191k| 764k|5640 | 0.000000e+00 | 2.000000e+00 | Inf
1316.64/1316.61 c 1284s|580000 | 1327 | 4116k| 7.1 | 52M| 703 | 22 |3717 | 14k|3717 | 979 | 194k| 778k|5712 | 0.000000e+00 | 2.000000e+00 | Inf
1339.53/1339.54 c 1306s|590000 | 1530 | 4190k| 7.1 | 55M| 703 | - |3717 | 18k|3717 | 987 | 197k| 792k|5777 | 0.000000e+00 | 2.000000e+00 | Inf
1363.53/1363.52 c 1330s|600000 | 1685 | 4261k| 7.1 | 58M| 703 | 29 |3717 | 20k|3717 | 960 | 199k| 806k|5818 | 0.000000e+00 | 2.000000e+00 | Inf
1387.84/1387.86 c 1354s|610000 | 1817 | 4331k| 7.1 | 60M| 703 | 12 |3717 | 19k|3717 | 992 | 201k| 819k|5892 | 0.000000e+00 | 2.000000e+00 | Inf
1412.73/1412.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.73/1412.71 c 1378s|620000 | 1959 | 4403k| 7.1 | 62M| 703 | 1 |3717 | 20k|3717 | 978 | 204k| 833k|5953 | 0.000000e+00 | 2.000000e+00 | Inf
1436.64/1436.65 c 1401s|630000 | 2104 | 4474k| 7.1 | 65M| 703 | 16 |3717 | 22k|3717 | 998 | 206k| 847k|5977 | 0.000000e+00 | 2.000000e+00 | Inf
1461.84/1461.82 c 1426s|640000 | 2181 | 4546k| 7.1 | 67M| 703 | 1 |3717 | 23k|3717 | 989 | 208k| 862k|6017 | 0.000000e+00 | 2.000000e+00 | Inf
1487.04/1487.07 c 1451s|650000 | 2179 | 4617k| 7.1 | 67M| 703 | - |3717 | 22k| 0 | 0 | 210k| 877k|6082 | 0.000000e+00 | 2.000000e+00 | Inf
1511.35/1511.34 c 1474s|660000 | 2244 | 4687k| 7.1 | 68M| 703 | 18 |3717 | 19k|3717 | 965 | 212k| 891k|6149 | 0.000000e+00 | 2.000000e+00 | Inf
1535.34/1535.39 c 1498s|670000 | 2269 | 4760k| 7.1 | 69M| 703 | 12 |3717 | 19k|3717 | 969 | 214k| 905k|6179 | 0.000000e+00 | 2.000000e+00 | Inf
1559.44/1559.46 c 1521s|680000 | 2290 | 4829k| 7.1 | 70M| 703 | - |3717 | 19k| 0 | 0 | 217k| 918k|6214 | 0.000000e+00 | 2.000000e+00 | Inf
1583.65/1583.60 c 1545s|690000 | 2339 | 4891k| 7.1 | 72M| 703 | - |3717 | 22k| 0 | 0 | 219k| 933k|6293 | 0.000000e+00 | 2.000000e+00 | Inf
1606.94/1606.99 c 1568s|700000 | 2369 | 4958k| 7.1 | 73M| 703 | - |3717 | 20k| 0 | 0 | 221k| 947k|6309 | 0.000000e+00 | 2.000000e+00 | Inf
1630.85/1630.90 c 1591s|710000 | 2126 | 5021k| 7.1 | 69M| 703 | - |3717 | 18k| 0 | 0 | 223k| 962k|6370 | 0.000000e+00 | 2.000000e+00 | Inf
1654.54/1654.54 c 1614s|720000 | 1726 | 5092k| 7.1 | 64M| 703 | 9 |3717 | 19k|3717 | 982 | 226k| 976k|6420 | 0.000000e+00 | 2.000000e+00 | Inf
1679.54/1679.53 c 1639s|730000 | 1752 | 5167k| 7.1 | 65M| 703 | - |3717 | 21k| 0 | 0 | 227k| 990k|6449 | 0.000000e+00 | 2.000000e+00 | Inf
1705.06/1705.03 c 1664s|740000 | 1709 | 5247k| 7.1 | 64M| 703 | - |3717 | 19k| 0 | 0 | 230k|1003k|6512 | 0.000000e+00 | 2.000000e+00 | Inf
1728.15/1728.19 c 1686s|750000 | 1388 | 5313k| 7.1 | 59M| 703 | - |3717 | 20k| 0 | 0 | 232k|1017k|6582 | 0.000000e+00 | 2.000000e+00 | Inf
1750.65/1750.65 c 1708s|760000 | 1169 | 5380k| 7.1 | 54M| 703 | - |3717 | 19k| 0 | 0 | 236k|1031k|6603 | 0.000000e+00 | 2.000000e+00 | Inf
1772.85/1772.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.85/1772.88 c 1730s|770000 | 1327 | 5440k| 7.1 | 56M| 703 | 20 |3717 | 20k|3717 | 971 | 238k|1044k|6679 | 0.000000e+00 | 2.000000e+00 | Inf
1795.36/1795.37 c 1752s|780000 | 1603 | 5498k| 7.0 | 59M| 703 | - |3717 | 22k| 0 | 0 | 241k|1057k|6697 | 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.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1756.30
1800.05/1800.00 c Solving Nodes : 782127
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (246 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 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
1800.05/1800.05 v -x104 -x103 -x102 -x101 x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80
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 : 1756.30
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693406-1277902512.wbo
1800.05/1800.05 c Variables : 3863 (2047 binary, 0 integer, 0 implicit integer, 1816 continuous)
1800.05/1800.05 c Constraints : 4524 initial, 4524 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693406-1277902512.wbo
1800.05/1800.05 c Variables : 3717 (1974 binary, 0 integer, 0 implicit integer, 1743 continuous)
1800.05/1800.05 c Constraints : 4346 initial, 26642 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 73 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 73 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.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.01 0 0 0 0 0 73 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.08 0 0 0 1836 0 105 87 0
1800.05/1800.05 c logicor : 0.00 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 : - 1727 - - 3454 - - - -
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 459693 0 38 485 0 0 835750
1800.05/1800.05 c indicator : 1743 0 3884114 40076 0 268 2437851 0 0 0
1800.05/1800.05 c setppc : 6 6 4049197 39574 0 24336 796883 0 0 0
1800.05/1800.05 c linear : 1743 6 4034785 41388 0 177343 16433644 242239 0 0
1800.05/1800.05 c logicor : 854+ 6 1505760 11799 0 174583 3704866 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 25941 0 0 0 294 0 0 0
1800.05/1800.05 c countsols : 0 0 0 11799 0 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 27.23 0.00 0.00 27.23 0.00
1800.05/1800.05 c indicator : 9.72 0.01 7.56 2.15 0.00
1800.05/1800.05 c setppc : 7.60 0.00 7.60 0.00 0.00
1800.05/1800.05 c linear : 150.97 0.00 148.18 2.79 0.00
1800.05/1800.05 c logicor : 246.57 0.00 246.49 0.08 0.00
1800.05/1800.05 c bounddisjunction : 0.01 0.00 0.01 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.12 2 0 0
1800.05/1800.05 c rootredcost : 0.85 51 0 1727
1800.05/1800.05 c pseudoobj : 145.90 4063756 4449 1667599
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 21.24 380711 380331 2313766 28.7 13879 22.4 -
1800.05/1800.05 c infeasible LP : 8.68 28592 28592 228347 44.8 386 16.1 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.02 156 156 771 13.4 52 5.7 -
1800.05/1800.05 c applied globally : - - - 1060521 23.7 - - -
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 - - 1 - (maximal pool size: 353)
1800.05/1800.05 c redcost : 24.78 465058 0 727527 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.12 6 0 0 1253 0
1800.05/1800.05 c strongcg : 0.06 6 0 0 275 0
1800.05/1800.05 c cmir : 0.03 6 0 0 0 0
1800.05/1800.05 c flowcover : 0.10 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 : 26.86 418277 38 485 0 0 835750
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 1.90 11749 0 0 0 0 23498
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.06 - 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.74 47 0
1800.05/1800.05 c intshifting : 0.01 7 0
1800.05/1800.05 c crossover : 1.22 34 0
1800.05/1800.05 c linesearchdiving : 0.25 198 0
1800.05/1800.05 c guideddiving : 0.19 198 0
1800.05/1800.05 c coefdiving : 0.23 199 0
1800.05/1800.05 c pscostdiving : 0.29 199 0
1800.05/1800.05 c fracdiving : 0.30 199 0
1800.05/1800.05 c veclendiving : 0.23 199 0
1800.05/1800.05 c rootsoldiving : 0.28 182 0
1800.05/1800.05 c objpscostdiving : 0.22 183 0
1800.05/1800.05 c trivial : 0.00 2 0
1800.05/1800.05 c simplerounding : 1.05 419359 0
1800.05/1800.05 c zirounding : 0.26 1000 0
1800.05/1800.05 c rounding : 1.72 9123 0
1800.05/1800.05 c shifting : 1.21 2806 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.03 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.24 0 0
1800.05/1800.05 c trysol : 1.77 5980 196
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 : 665.46 478335 5505737 11.51 8273.58
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.46 181 3916 21.64 8513.04
1800.05/1800.05 c strong branching : 23.13 6721 232156 34.54 10037.01
1800.05/1800.05 c (at root node) : - 33 18854 571.33 -
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 : 782127
1800.05/1800.05 c nodes (total) : 782127
1800.05/1800.05 c nodes left : 1651
1800.05/1800.05 c max depth : 703
1800.05/1800.05 c max depth (total): 703
1800.05/1800.05 c backtracks : 76124 (9.7%)
1800.05/1800.05 c delayed cutoffs : 62049
1800.05/1800.05 c repropagations : 2024329 (4122047 domain reductions, 57166 cutoffs)
1800.05/1800.05 c avg switch length: 6.56
1800.05/1800.05 c switching time : 240.38
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 246 (51 improvements)
1800.05/1800.05 c First Solution : +8.86900000000000e+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 57625 nodes, 147.35 seconds, depth 39, 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 : 622
1800.15/1800.13 c Time complete: 1800.19.