0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3717592-1338203118.wbo>
0.09/0.14 c original problem has 41899 variables (41899 bin, 0 int, 0 impl, 0 cont) and 40844 constraints
0.09/0.14 c problem read in 0.14
0.59/0.62 c presolving:
0.89/0.90 c (round 1) 81620 del vars, 40811 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 33 clqs
1.09/1.14 c (round 2) 81620 del vars, 41537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 80168 impls, 33 clqs
2.39/2.40 c (round 3) 81645 del vars, 41537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 114022 impls, 33 clqs
2.39/2.41 c (round 4) 81645 del vars, 43095 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 114022 impls, 33 clqs
2.59/2.62 c (round 5) 81670 del vars, 43095 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 119640 impls, 33 clqs
2.59/2.65 c (round 6) 81670 del vars, 43895 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 119640 impls, 33 clqs
2.59/2.67 c (round 7) 81670 del vars, 43903 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 119640 impls, 33 clqs
2.78/2.88 c (round 8) 81695 del vars, 43903 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 124888 impls, 33 clqs
2.89/2.90 c (round 9) 81695 del vars, 44703 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 124888 impls, 33 clqs
3.09/3.11 c (round 10) 81720 del vars, 44706 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 129904 impls, 33 clqs
3.09/3.13 c (round 11) 81720 del vars, 45506 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 129904 impls, 33 clqs
3.09/3.15 c (round 12) 81720 del vars, 45511 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 129904 impls, 33 clqs
3.29/3.35 c (round 13) 81745 del vars, 45511 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 134132 impls, 33 clqs
3.29/3.37 c (round 14) 81745 del vars, 46311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 134132 impls, 33 clqs
3.29/3.39 c (round 15) 81745 del vars, 46324 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 134132 impls, 33 clqs
3.49/3.57 c (round 16) 81770 del vars, 46324 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 138476 impls, 33 clqs
3.49/3.59 c (round 17) 81770 del vars, 46842 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 138476 impls, 33 clqs
3.69/3.78 c (round 18) 81795 del vars, 46842 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 142806 impls, 33 clqs
3.78/3.80 c (round 19) 81795 del vars, 47642 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 142806 impls, 33 clqs
3.89/3.96 c (round 20) 81820 del vars, 47642 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 146922 impls, 33 clqs
3.89/3.99 c (round 21) 81820 del vars, 48171 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 146922 impls, 33 clqs
4.09/4.14 c (round 22) 81845 del vars, 48171 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 150996 impls, 33 clqs
4.09/4.16 c (round 23) 81845 del vars, 48548 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 150996 impls, 33 clqs
4.29/4.32 c (round 24) 81870 del vars, 48548 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 155260 impls, 33 clqs
4.29/4.34 c (round 25) 81870 del vars, 48811 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 155260 impls, 33 clqs
4.49/4.50 c (round 26) 81895 del vars, 48811 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 159258 impls, 33 clqs
4.49/4.52 c (round 27) 81895 del vars, 49201 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 159258 impls, 33 clqs
4.59/4.67 c (round 28) 81920 del vars, 49201 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 162786 impls, 33 clqs
4.59/4.68 c (round 29) 81920 del vars, 49380 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 162786 impls, 33 clqs
4.69/4.70 c (round 30) 81920 del vars, 49675 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 162786 impls, 33 clqs
4.89/4.90 c (round 31) 81945 del vars, 49675 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 167874 impls, 33 clqs
4.89/4.91 c (round 32) 81945 del vars, 51039 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 167874 impls, 33 clqs
4.89/4.93 c (round 33) 81945 del vars, 51050 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 167874 impls, 33 clqs
4.99/5.07 c (round 34) 81970 del vars, 51050 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 172066 impls, 33 clqs
4.99/5.08 c (round 35) 81970 del vars, 51388 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 172066 impls, 33 clqs
5.09/5.10 c (round 36) 81970 del vars, 51996 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 172066 impls, 33 clqs
5.18/5.29 c (round 37) 81995 del vars, 51996 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 176956 impls, 33 clqs
5.29/5.30 c (round 38) 81995 del vars, 52627 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 176956 impls, 33 clqs
5.29/5.32 c (round 39) 81995 del vars, 52803 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 176956 impls, 33 clqs
5.40/5.43 c (round 40) 82020 del vars, 52803 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.40/5.44 c (round 41) 82020 del vars, 54289 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.40/5.47 c (round 42) 82020 del vars, 54402 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.55 c (round 43) 82045 del vars, 54402 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.56 c (round 44) 82045 del vars, 55882 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.58 c (round 45) 82045 del vars, 55885 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.50/5.59 c (round 46) 82045 del vars, 55888 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.59/5.61 c (round 47) 82045 del vars, 55891 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 179114 impls, 33 clqs
5.69/5.73 c (round 48) 82070 del vars, 55892 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.69/5.74 c (round 49) 82070 del vars, 56225 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.69/5.76 c (round 50) 82070 del vars, 56812 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.69/5.78 c (round 51) 82070 del vars, 56831 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.79/5.80 c (round 52) 82070 del vars, 56837 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.79/5.82 c (round 53) 82070 del vars, 56841 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.79/5.83 c (round 54) 82070 del vars, 56845 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 182424 impls, 33 clqs
5.88/5.95 c (round 55) 82095 del vars, 56847 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 185002 impls, 33 clqs
5.88/5.96 c (round 56) 82095 del vars, 57990 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 185002 impls, 33 clqs
5.88/5.98 c (round 57) 82095 del vars, 58136 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 185002 impls, 33 clqs
5.88/5.99 c (6.0s) probing cycle finished: starting next cycle
5.98/6.08 c (round 58) 82120 del vars, 58138 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
5.98/6.09 c (round 59) 82120 del vars, 58648 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.11 c (round 60) 82120 del vars, 58999 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.14 c (round 61) 82120 del vars, 59021 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.16 c (round 62) 82120 del vars, 59037 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.09/6.18 c (round 63) 82120 del vars, 59048 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.20 c (round 64) 82120 del vars, 59057 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.22 c (round 65) 82120 del vars, 59066 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.24 c (round 66) 82120 del vars, 59073 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 187392 impls, 33 clqs
6.19/6.29 c (round 67) 82145 del vars, 59073 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 33 clqs
6.29/6.30 c (round 68) 82145 del vars, 60133 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 33 clqs
6.29/6.32 c (round 69) 82156 del vars, 60196 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 31 clqs
6.29/6.33 c (round 70) 82156 del vars, 60762 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 31 clqs
6.29/6.35 c (round 71) 82156 del vars, 60772 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 31 clqs
6.29/6.37 c (round 72) 82181 del vars, 60772 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 28 clqs
6.29/6.38 c (round 73) 82181 del vars, 62053 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 28 clqs
6.39/6.41 c (round 74) 82184 del vars, 62085 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 27 clqs
6.39/6.41 c (round 75) 82184 del vars, 62228 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 27 clqs
6.39/6.43 c (round 76) 82184 del vars, 62236 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 27 clqs
6.39/6.45 c (round 77) 82209 del vars, 62236 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 25 clqs
6.39/6.46 c (round 78) 82209 del vars, 63483 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 25 clqs
6.39/6.49 c (round 79) 82212 del vars, 63540 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.39/6.49 c (round 80) 82212 del vars, 63661 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.49/6.56 c (round 81) 82212 del vars, 63851 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.49/6.58 c (round 82) 82212 del vars, 63869 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.49/6.59 c (round 83) 82212 del vars, 63882 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.61 c (round 84) 82212 del vars, 63890 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.62 c (round 85) 82212 del vars, 63894 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.63 c (round 86) 82212 del vars, 63898 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.64 c (round 87) 82212 del vars, 63902 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.66 c (round 88) 82212 del vars, 63906 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.67 c (round 89) 82212 del vars, 63910 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.59/6.68 c (round 90) 82212 del vars, 63913 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 188172 impls, 23 clqs
6.68/6.75 c (round 91) 82237 del vars, 63913 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.68/6.76 c (round 92) 82237 del vars, 65138 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.79/6.82 c (round 93) 82237 del vars, 65352 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.79/6.83 c (round 94) 82237 del vars, 65358 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190304 impls, 21 clqs
6.79/6.86 c (round 95) 82262 del vars, 65358 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.79/6.87 c (round 96) 82262 del vars, 66499 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.79/6.88 c (round 97) 82262 del vars, 66526 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.79/6.89 c (round 98) 82262 del vars, 66537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 190572 impls, 21 clqs
6.88/6.94 c (round 99) 82287 del vars, 66537 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.88/6.94 c (round 100) 82287 del vars, 67311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.88/6.98 c (round 101) 82287 del vars, 67484 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.88/6.99 c (round 102) 82287 del vars, 67490 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 191790 impls, 21 clqs
6.99/7.03 c (round 103) 82312 del vars, 67490 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 192806 impls, 21 clqs
6.99/7.04 c (round 104) 82312 del vars, 68245 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 192806 impls, 21 clqs
6.99/7.05 c (round 105) 82312 del vars, 68311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 192806 impls, 21 clqs
6.99/7.09 c (round 106) 82337 del vars, 68311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.08/7.10 c (round 107) 82337 del vars, 68735 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.29/7.38 c (round 108) 82337 del vars, 70284 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.29/7.39 c (round 109) 82337 del vars, 70309 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.39/7.40 c (round 110) 82337 del vars, 70311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 194354 impls, 21 clqs
7.39/7.45 c (round 111) 82362 del vars, 70311 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.39/7.46 c (round 112) 82362 del vars, 70470 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.51 c (round 113) 82362 del vars, 70858 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.52 c (round 114) 82362 del vars, 70860 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.53 c (round 115) 82362 del vars, 70876 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196364 impls, 21 clqs
7.49/7.56 c (round 116) 82387 del vars, 70876 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.49/7.56 c (round 117) 82387 del vars, 71731 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.49/7.59 c (round 118) 82387 del vars, 71780 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.49/7.60 c (round 119) 82387 del vars, 71782 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196650 impls, 21 clqs
7.59/7.62 c (round 120) 82412 del vars, 71782 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.59/7.62 c (round 121) 82412 del vars, 72781 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.59/7.64 c (round 122) 82412 del vars, 72824 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.69/7.73 c (round 123) 82412 del vars, 73021 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 196754 impls, 21 clqs
7.69/7.74 c (7.7s) probing cycle finished: starting next cycle
7.69/7.76 c (round 124) 82437 del vars, 73021 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 21 clqs
7.69/7.77 c (round 125) 82437 del vars, 73575 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 21 clqs
7.79/7.80 c (round 126) 82440 del vars, 73657 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.80 c (round 127) 82440 del vars, 73774 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.82 c (round 128) 82440 del vars, 73788 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.84 c (round 129) 82440 del vars, 73793 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197348 impls, 19 clqs
7.79/7.85 c (round 130) 82465 del vars, 73793 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 19 clqs
7.79/7.86 c (round 131) 82465 del vars, 74637 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 19 clqs
7.79/7.87 c (round 132) 82477 del vars, 74653 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.87 c (round 133) 82477 del vars, 75059 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.88 c (round 134) 82477 del vars, 75068 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.89 c (round 135) 82477 del vars, 75070 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.79/7.89 c (round 136) 82477 del vars, 75071 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197424 impls, 15 clqs
7.88/7.98 c (8.0s) probing: 173/297 (58.2%) - 430 fixings, 418 aggregations, 53733 implications, 0 bound changes
7.88/7.98 c (8.0s) probing aborted: 50/50 successive totally useless probings
7.88/7.98 c (round 137) 82500 del vars, 75071 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197552 impls, 11 clqs
7.88/7.98 c (round 138) 82500 del vars, 75715 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197552 impls, 11 clqs
7.99/8.06 c (round 139) 82500 del vars, 75856 del conss, 0 add conss, 40810 chg bounds, 0 chg sides, 0 chg coeffs, 40117 upgd conss, 197552 impls, 11 clqs
7.99/8.07 c (8.1s) probing: 178/297 (59.9%) - 430 fixings, 418 aggregations, 53733 implications, 0 bound changes
7.99/8.07 c (8.1s) probing aborted: 50/50 successive totally useless probings
7.99/8.07 c presolving (140 rounds):
7.99/8.07 c 82500 deleted vars, 75856 deleted constraints, 0 added constraints, 40810 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
7.99/8.07 c 197552 implications, 11 cliques
7.99/8.07 c presolved problem has 209 variables (209 bin, 0 int, 0 impl, 0 cont) and 5798 constraints
7.99/8.07 c 5798 constraints of type <setppc>
7.99/8.07 c transformed objective value is always integral (scale: 1)
7.99/8.07 c Presolving Time: 7.85
7.99/8.07 c - non default parameters ----------------------------------------------------------------------
7.99/8.07 c # SCIP version 2.1.1.4
7.99/8.07 c
7.99/8.07 c # maximal time in seconds to run
7.99/8.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.07 c limits/time = 1797
7.99/8.07 c
7.99/8.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.99/8.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.99/8.07 c limits/memory = 13950
7.99/8.07 c
7.99/8.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
7.99/8.07 c # [type: int, range: [1,2], default: 1]
7.99/8.07 c timing/clocktype = 2
7.99/8.07 c
7.99/8.07 c # belongs reading time to solving time?
7.99/8.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.07 c timing/reading = TRUE
7.99/8.07 c
7.99/8.07 c # force restart if we have a max FS instance and gap is 1?
7.99/8.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.99/8.07 c constraints/indicator/forcerestart = TRUE
7.99/8.07 c
7.99/8.07 c # priority of branching rule <inference>
7.99/8.07 c # [type: int, range: [-536870912,536870911], default: 1000]
7.99/8.07 c branching/inference/priority = 1000000
7.99/8.07 c
7.99/8.07 c # frequency offset for calling primal heuristic <coefdiving>
7.99/8.07 c # [type: int, range: [0,2147483647], default: 1]
7.99/8.07 c heuristics/coefdiving/freqofs = 0
7.99/8.07 c
7.99/8.07 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
7.99/8.07 c # [type: int, range: [-1,2147483647], default: 0]
7.99/8.07 c heuristics/shiftandpropagate/freq = -1
7.99/8.07 c
7.99/8.07 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
7.99/8.07 c # [type: int, range: [-1,2147483647], default: 0]
7.99/8.07 c heuristics/undercover/freq = -1
7.99/8.07 c
7.99/8.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.99/8.07 c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.07 c separating/rapidlearning/freq = 0
7.99/8.07 c
7.99/8.07 c # frequency for calling primal heuristic <indrounding> (-1: never, 0: only at depth freqofs)
7.99/8.07 c # [type: int, range: [-1,2147483647], default: -1]
7.99/8.07 c heuristics/indrounding/freq = 1
7.99/8.07 c
7.99/8.07 c -----------------------------------------------------------------------------------------------
7.99/8.07 c start solving
7.99/8.07 c
7.99/8.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.99/8.09 c 8.1s| 1 | 0 | 40 | - | 166M| 0 | 33 | 209 |5798 | 209 |5798 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.98/9.04 c 9.0s| 1 | 0 | 2828 | - | 166M| 0 | 33 | 209 |6177 | 209 |5810 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
9.08/9.10 c 9.1s| 1 | 0 | 2889 | - | 166M| 0 | 44 | 209 |6177 | 209 |5819 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
9.08/9.18 c 9.2s| 1 | 0 | 2923 | - | 167M| 0 | 48 | 209 |6177 | 209 |5828 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
9.39/9.42 c 9.4s| 1 | 0 | 2988 | - | 167M| 0 | 50 | 209 |6177 | 209 |5838 | 40 | 0 | 0 | 0.000000e+00 | -- | Inf
9.58/9.69 c 9.7s| 1 | 0 | 3159 | - | 167M| 0 | 37 | 209 |6177 | 209 |5847 | 49 | 0 | 0 | 0.000000e+00 | -- | Inf
9.80/9.88 c 9.9s| 1 | 0 | 3518 | - | 167M| 0 | 44 | 209 |6177 | 209 |5853 | 55 | 0 | 0 | 0.000000e+00 | -- | Inf
10.19/10.20 c 10.2s| 1 | 2 | 3815 | - | 167M| 0 | 44 | 209 |6177 | 209 |5853 | 55 | 2 | 0 | 0.000000e+00 | -- | Inf
11.69/11.79 c 11.8s| 100 | 33 | 7909 | 44.4 | 168M| 21 | 31 | 209 |6297 | 209 |5821 | 55 | 126 | 0 | 0.000000e+00 | -- | Inf
12.19/12.23 c 12.2s| 200 | 37 | 9054 | 27.8 | 168M| 22 | 19 | 209 |6360 | 209 |5821 | 55 | 189 | 0 | 0.000000e+00 | -- | Inf
12.78/12.82 c 12.8s| 300 | 43 | 10759 | 24.2 | 168M| 22 | 19 | 209 |6440 | 209 |5821 | 55 | 269 | 0 | 0.000000e+00 | -- | Inf
13.38/13.42 c 13.4s| 400 | 44 | 12158 | 21.7 | 168M| 22 | 18 | 209 |6526 | 209 |5821 | 55 | 355 | 0 | 0.000000e+00 | -- | Inf
13.79/13.81 c 13.8s| 500 | 46 | 13280 | 19.6 | 168M| 22 | - | 209 |6594 | 0 | 0 | 55 | 423 | 0 | 0.000000e+00 | -- | Inf
14.19/14.24 c 14.2s| 600 | 48 | 14741 | 18.7 | 168M| 22 | 25 | 209 |6658 | 209 |5821 | 55 | 487 | 0 | 0.000000e+00 | -- | Inf
14.48/14.54 c 14.5s| 700 | 45 | 15635 | 17.3 | 168M| 22 | - | 209 |6720 | 209 |5821 | 55 | 549 | 0 | 0.000000e+00 | -- | Inf
14.79/14.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.79/14.89 c 14.9s| 800 | 47 | 16672 | 16.5 | 168M| 22 | 22 | 209 |6779 | 209 |5821 | 55 | 608 | 0 | 0.000000e+00 | -- | Inf
15.08/15.19 c 15.2s| 900 | 47 | 17568 | 15.6 | 169M| 24 | 25 | 209 |6841 | 209 |5821 | 55 | 670 | 0 | 0.000000e+00 | -- | Inf
15.49/15.50 c 15.5s| 1000 | 46 | 18525 | 15.0 | 169M| 24 | 28 | 209 |6895 | 209 |5821 | 55 | 724 | 0 | 0.000000e+00 | -- | Inf
15.69/15.77 c 15.8s| 1100 | 45 | 19368 | 14.4 | 169M| 24 | - | 209 |6939 | 209 |5821 | 55 | 768 | 0 | 0.000000e+00 | -- | Inf
15.99/16.08 c 16.1s| 1200 | 44 | 20291 | 14.0 | 169M| 24 | - | 209 |6993 | 209 |5821 | 55 | 822 | 0 | 0.000000e+00 | -- | Inf
16.39/16.44 c 16.4s| 1300 | 42 | 21357 | 13.7 | 169M| 24 | 20 | 209 |7033 | 209 |5821 | 55 | 862 | 0 | 0.000000e+00 | -- | Inf
16.79/16.82 c 16.8s| 1400 | 43 | 22414 | 13.5 | 169M| 24 | 25 | 209 |7086 | 209 |5821 | 55 | 915 | 0 | 0.000000e+00 | -- | Inf
17.09/17.12 c 17.1s| 1500 | 38 | 23401 | 13.3 | 169M| 24 | 22 | 209 |7129 | 209 |5821 | 55 | 958 | 0 | 0.000000e+00 | -- | Inf
17.38/17.45 c 17.4s| 1600 | 40 | 24446 | 13.1 | 169M| 24 | - | 209 |7183 | 0 | 0 | 55 |1012 | 0 | 0.000000e+00 | -- | Inf
17.79/17.83 c 17.8s| 1700 | 42 | 25674 | 13.0 | 169M| 24 | - | 209 |7238 | 209 |5821 | 55 |1067 | 0 | 0.000000e+00 | -- | Inf
18.08/18.12 c 18.1s| 1800 | 38 | 26567 | 12.8 | 169M| 24 | 14 | 209 |7283 | 209 |5821 | 55 |1112 | 0 | 0.000000e+00 | -- | Inf
18.39/18.41 c 18.4s| 1900 | 38 | 27467 | 12.6 | 169M| 24 | - | 209 |7330 | 209 |5821 | 55 |1161 | 0 | 0.000000e+00 | -- | Inf
18.59/18.68 c 18.7s| 2000 | 41 | 28233 | 12.4 | 169M| 24 | 14 | 209 |7393 | 209 |5821 | 55 |1224 | 0 | 0.000000e+00 | -- | Inf
18.88/18.99 c 19.0s| 2100 | 45 | 29112 | 12.2 | 169M| 24 | 24 | 209 |7483 | 209 |5821 | 55 |1315 | 0 | 0.000000e+00 | -- | Inf
19.49/19.51 c 19.5s| 2200 | 46 | 31271 | 12.6 | 169M| 24 | - | 209 |7533 | 209 |5821 | 55 |1367 | 0 | 0.000000e+00 | -- | Inf
19.88/19.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.88/19.90 c 19.9s| 2300 | 43 | 32503 | 12.6 | 169M| 24 | - | 209 |7573 | 209 |5821 | 55 |1408 | 0 | 0.000000e+00 | -- | Inf
20.19/20.24 c 20.2s| 2400 | 45 | 33568 | 12.5 | 169M| 24 | 22 | 209 |7597 | 209 |5821 | 55 |1432 | 0 | 0.000000e+00 | -- | Inf
20.59/20.61 c 20.6s| 2500 | 45 | 34702 | 12.5 | 169M| 24 | - | 209 |7653 | 209 |5821 | 55 |1489 | 0 | 0.000000e+00 | -- | Inf
20.89/20.96 c 21.0s| 2600 | 46 | 35912 | 12.5 | 169M| 24 | 21 | 209 |7694 | 209 |5821 | 55 |1530 | 0 | 0.000000e+00 | -- | Inf
21.28/21.35 c 21.4s| 2700 | 45 | 37079 | 12.4 | 169M| 25 | 23 | 209 |7739 | 209 |5821 | 55 |1580 | 0 | 0.000000e+00 | -- | Inf
21.59/21.64 c 21.6s| 2800 | 45 | 37995 | 12.3 | 169M| 25 | - | 209 |7776 | 209 |5821 | 55 |1619 | 0 | 0.000000e+00 | -- | Inf
21.89/21.96 c 22.0s| 2900 | 45 | 38826 | 12.2 | 169M| 25 | 27 | 209 |7815 | 209 |5821 | 55 |1666 | 0 | 0.000000e+00 | -- | Inf
22.18/22.23 c 22.2s| 3000 | 45 | 39678 | 12.1 | 169M| 25 | - | 209 |7853 | 0 | 0 | 55 |1710 | 0 | 0.000000e+00 | -- | Inf
22.48/22.57 c 22.6s| 3100 | 46 | 40821 | 12.0 | 169M| 29 | - | 209 |7889 | 209 |5821 | 55 |1749 | 0 | 0.000000e+00 | -- | Inf
22.88/23.00 c 23.0s| 3200 | 41 | 42053 | 12.0 | 169M| 29 | - | 209 |7919 | 209 |5821 | 55 |1785 | 0 | 0.000000e+00 | -- | Inf
23.28/23.35 c 23.3s| 3300 | 43 | 43238 | 12.0 | 169M| 29 | 27 | 209 |7931 | 209 |5821 | 55 |1804 | 0 | 0.000000e+00 | -- | Inf
23.59/23.64 c 23.6s| 3400 | 43 | 44169 | 12.0 | 169M| 29 | - | 209 |7970 | 0 | 0 | 55 |1851 | 0 | 0.000000e+00 | -- | Inf
23.89/23.99 c 24.0s| 3500 | 44 | 45132 | 11.9 | 169M| 29 | - | 209 |8028 | 0 | 0 | 55 |1920 | 0 | 0.000000e+00 | -- | Inf
24.28/24.34 c 24.3s| 3600 | 42 | 46256 | 11.9 | 169M| 29 | 23 | 209 |8063 | 209 |5821 | 55 |1961 | 0 | 0.000000e+00 | -- | Inf
24.68/24.71 c 24.7s| 3700 | 37 | 47398 | 11.9 | 169M| 29 | - | 209 |8085 | 209 |5821 | 55 |2002 | 0 | 0.000000e+00 | -- | Inf
24.99/25.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.99/25.08 c 25.1s| 3800 | 36 | 48642 | 11.9 | 169M| 29 | - | 209 |8126 | 209 |5821 | 55 |2056 | 0 | 0.000000e+00 | -- | Inf
25.29/25.38 c 25.4s| 3900 | 37 | 49640 | 11.8 | 169M| 29 | 21 | 209 |8157 | 209 |5821 | 55 |2098 | 0 | 0.000000e+00 | -- | Inf
25.68/25.71 c 25.7s| 4000 | 35 | 50539 | 11.8 | 169M| 29 | 22 | 209 |8214 | 209 |5821 | 55 |2164 | 0 | 0.000000e+00 | -- | Inf
25.98/26.02 c 26.0s| 4100 | 32 | 51618 | 11.7 | 169M| 29 | 31 | 209 |8251 | 209 |5821 | 55 |2214 | 0 | 0.000000e+00 | -- | Inf
26.29/26.38 c 26.4s| 4200 | 32 | 52634 | 11.7 | 169M| 29 | - | 209 |8289 | 209 |5821 | 55 |2268 | 0 | 0.000000e+00 | -- | Inf
26.58/26.68 c 26.7s| 4300 | 29 | 53627 | 11.7 | 169M| 29 | - | 209 |8303 | 0 | 0 | 55 |2306 | 0 | 0.000000e+00 | -- | Inf
26.89/26.99 c 27.0s| 4400 | 30 | 54619 | 11.6 | 169M| 29 | 25 | 209 |8326 | 209 |5821 | 55 |2361 | 0 | 0.000000e+00 | -- | Inf
27.28/27.34 c 27.3s| 4500 | 30 | 55694 | 11.6 | 169M| 29 | 27 | 209 |8353 | 209 |5821 | 55 |2411 | 0 | 0.000000e+00 | -- | Inf
27.78/27.84 c 27.8s| 4600 | 29 | 57079 | 11.6 | 169M| 30 | - | 209 |8365 | 0 | 0 | 55 |2460 | 0 | 0.000000e+00 | -- | Inf
28.08/28.16 c 28.2s| 4700 | 26 | 58129 | 11.6 | 169M| 31 | 29 | 209 |8377 | 209 |5821 | 55 |2502 | 0 | 0.000000e+00 | -- | Inf
28.38/28.45 c 28.5s| 4800 | 22 | 59191 | 11.6 | 169M| 31 | - | 209 |8390 | 209 |5821 | 55 |2531 | 0 | 0.000000e+00 | -- | Inf
28.68/28.79 c 28.8s| 4900 | 22 | 60322 | 11.6 | 169M| 31 | - | 209 |8399 | 209 |5821 | 55 |2570 | 0 | 0.000000e+00 | -- | Inf
29.09/29.10 c 29.1s| 5000 | 23 | 61316 | 11.6 | 169M| 31 | 32 | 209 |8432 | 209 |5821 | 55 |2630 | 0 | 0.000000e+00 | -- | Inf
29.48/29.52 c 29.5s| 5100 | 24 | 62636 | 11.6 | 169M| 31 | 19 | 209 |8447 | 209 |5821 | 55 |2671 | 0 | 0.000000e+00 | -- | Inf
29.79/29.84 c 29.8s| 5200 | 25 | 63747 | 11.6 | 169M| 36 | 27 | 209 |8453 | 209 |5821 | 55 |2711 | 0 | 0.000000e+00 | -- | Inf
30.18/30.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.18/30.20 c 30.2s| 5300 | 21 | 64891 | 11.6 | 169M| 36 | - | 209 |8480 | 209 |5821 | 55 |2756 | 0 | 0.000000e+00 | -- | Inf
30.48/30.50 c 30.5s| 5400 | 21 | 65769 | 11.5 | 169M| 36 | - | 209 |8479 | 209 |5821 | 55 |2806 | 0 | 0.000000e+00 | -- | Inf
30.79/30.81 c 30.8s| 5500 | 22 | 66716 | 11.5 | 169M| 36 | 30 | 209 |8504 | 209 |5821 | 55 |2855 | 0 | 0.000000e+00 | -- | Inf
31.08/31.14 c 31.1s| 5600 | 21 | 67782 | 11.5 | 169M| 36 | - | 209 |8544 | 0 | 0 | 55 |2917 | 0 | 0.000000e+00 | -- | Inf
31.48/31.50 c 31.5s| 5700 | 22 | 68872 | 11.5 | 169M| 36 | - | 209 |8545 | 209 |5821 | 55 |2957 | 0 | 0.000000e+00 | -- | Inf
31.79/31.81 c 31.8s| 5800 | 20 | 69851 | 11.4 | 169M| 36 | - | 209 |8561 | 209 |5821 | 55 |3006 | 0 | 0.000000e+00 | -- | Inf
32.08/32.17 c 32.2s| 5900 | 20 | 70964 | 11.4 | 169M| 36 | - | 209 |8587 | 0 | 0 | 55 |3064 | 0 | 0.000000e+00 | -- | Inf
32.47/32.51 c 32.5s| 6000 | 22 | 72019 | 11.4 | 169M| 36 | 16 | 209 |8602 | 209 |5821 | 55 |3103 | 0 | 0.000000e+00 | -- | Inf
32.78/32.85 c 32.9s| 6100 | 17 | 73125 | 11.4 | 169M| 36 | 28 | 209 |8612 | 209 |5821 | 55 |3154 | 0 | 0.000000e+00 | -- | Inf
33.08/33.18 c 33.2s| 6200 | 17 | 74195 | 11.4 | 169M| 36 | 25 | 209 |8609 | 209 |5821 | 55 |3207 | 0 | 0.000000e+00 | -- | Inf
33.38/33.49 c 33.5s| 6300 | 18 | 75200 | 11.4 | 169M| 36 | 23 | 209 |8627 | 209 |5821 | 55 |3261 | 0 | 0.000000e+00 | -- | Inf
33.77/33.84 c 33.8s| 6400 | 16 | 76314 | 11.4 | 169M| 36 | 26 | 209 |8635 | 209 |5821 | 55 |3309 | 0 | 0.000000e+00 | -- | Inf
34.09/34.16 c 34.2s| 6500 | 17 | 77385 | 11.4 | 169M| 36 | 21 | 209 |8630 | 209 |5821 | 55 |3338 | 0 | 0.000000e+00 | -- | Inf
34.38/34.46 c 34.5s| 6600 | 18 | 78302 | 11.3 | 169M| 36 | 27 | 209 |8624 | 209 |5821 | 55 |3375 | 0 | 0.000000e+00 | -- | Inf
34.78/34.81 c 34.8s| 6700 | 19 | 79484 | 11.3 | 169M| 36 | - | 209 |8630 | 209 |5821 | 55 |3414 | 0 | 0.000000e+00 | -- | Inf
35.08/35.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.08/35.12 c 35.1s| 6800 | 18 | 80549 | 11.3 | 169M| 36 | - | 209 |8655 | 209 |5821 | 55 |3452 | 0 | 0.000000e+00 | -- | Inf
35.38/35.45 c 35.5s| 6900 | 21 | 81574 | 11.3 | 169M| 36 | 20 | 209 |8670 | 209 |5821 | 55 |3511 | 0 | 0.000000e+00 | -- | Inf
35.77/35.80 c 35.8s| 7000 | 20 | 82795 | 11.3 | 169M| 36 | 31 | 209 |8676 | 209 |5821 | 55 |3543 | 0 | 0.000000e+00 | -- | Inf
36.08/36.18 c 36.2s| 7100 | 18 | 84079 | 11.3 | 169M| 36 | 27 | 209 |8651 | 209 |5821 | 55 |3573 | 0 | 0.000000e+00 | -- | Inf
36.38/36.47 c 36.5s| 7200 | 18 | 85055 | 11.3 | 169M| 36 | - | 209 |8637 | 0 | 0 | 55 |3616 | 0 | 0.000000e+00 | -- | Inf
36.78/36.85 c 36.9s| 7300 | 12 | 86312 | 11.3 | 169M| 36 | 36 | 209 |8570 | 209 |5821 | 55 |3650 | 0 | 0.000000e+00 | -- | Inf
37.07/37.16 c 37.2s| 7400 | 16 | 87323 | 11.3 | 169M| 36 | 28 | 209 |8567 | 209 |5821 | 55 |3690 | 0 | 0.000000e+00 | -- | Inf
37.39/37.47 c 37.5s| 7500 | 16 | 88259 | 11.3 | 169M| 36 | - | 209 |8572 | 0 | 0 | 55 |3735 | 0 | 0.000000e+00 | -- | Inf
37.78/37.85 c 37.9s| 7600 | 17 | 89408 | 11.3 | 169M| 36 | 22 | 209 |8568 | 209 |5821 | 55 |3772 | 0 | 0.000000e+00 | -- | Inf
38.18/38.21 c 38.2s| 7700 | 17 | 90450 | 11.3 | 169M| 36 | 16 | 209 |8602 | 209 |5821 | 55 |3824 | 0 | 0.000000e+00 | -- | Inf
38.48/38.51 c 38.5s| 7800 | 16 | 91481 | 11.3 | 169M| 36 | 25 | 209 |8625 | 209 |5821 | 55 |3870 | 0 | 0.000000e+00 | -- | Inf
38.78/38.83 c 38.8s| 7900 | 14 | 92571 | 11.3 | 169M| 36 | - | 209 |8648 | 209 |5821 | 55 |3921 | 0 | 0.000000e+00 | -- | Inf
39.17/39.21 c 39.2s| 8000 | 16 | 93794 | 11.3 | 169M| 36 | 25 | 209 |8651 | 209 |5821 | 55 |3957 | 0 | 0.000000e+00 | -- | Inf
39.49/39.52 c 39.5s| 8100 | 17 | 94874 | 11.3 | 169M| 36 | - | 209 |8663 | 0 | 0 | 55 |3987 | 0 | 0.000000e+00 | -- | Inf
39.78/39.82 c 39.8s| 8200 | 15 | 95772 | 11.3 | 169M| 36 | - | 209 |8667 | 209 |5821 | 55 |4024 | 0 | 0.000000e+00 | -- | Inf
40.18/40.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.18/40.25 c 40.3s| 8300 | 18 | 97184 | 11.3 | 169M| 37 | 12 | 209 |8637 | 209 |5821 | 55 |4066 | 0 | 0.000000e+00 | -- | Inf
40.48/40.58 c 40.6s| 8400 | 15 | 98300 | 11.3 | 169M| 39 | - | 209 |8660 | 209 |5821 | 55 |4111 | 0 | 0.000000e+00 | -- | Inf
40.98/41.04 c 41.0s| 8500 | 16 | 99543 | 11.3 | 169M| 39 | - | 209 |8641 | 0 | 0 | 55 |4145 | 0 | 0.000000e+00 | -- | Inf
41.27/41.31 c 41.3s| 8600 | 14 |100418 | 11.3 | 169M| 39 | - | 209 |8654 | 209 |5821 | 55 |4186 | 0 | 0.000000e+00 | -- | Inf
41.58/41.66 c 41.7s| 8700 | 17 |101682 | 11.3 | 169M| 39 | 30 | 209 |8650 | 209 |5821 | 55 |4232 | 0 | 0.000000e+00 | -- | Inf
41.98/42.04 c 42.0s| 8800 | 17 |102833 | 11.3 | 169M| 39 | 25 | 209 |8637 | 209 |5821 | 55 |4252 | 0 | 0.000000e+00 | -- | Inf
42.38/42.40 c 42.4s| 8900 | 17 |103972 | 11.3 | 169M| 39 | 17 | 209 |8640 | 209 |5821 | 55 |4306 | 0 | 0.000000e+00 | -- | Inf
42.78/42.81 c 42.8s| 9000 | 14 |105226 | 11.3 | 169M| 39 | 30 | 209 |8626 | 209 |5821 | 55 |4361 | 0 | 0.000000e+00 | -- | Inf
43.07/43.13 c 43.1s| 9100 | 13 |106377 | 11.3 | 169M| 39 | - | 209 |8598 | 209 |5821 | 55 |4390 | 0 | 0.000000e+00 | -- | Inf
43.38/43.46 c 43.5s| 9200 | 13 |107512 | 11.3 | 169M| 41 | - | 209 |8539 | 0 | 0 | 55 |4434 | 0 | 0.000000e+00 | -- | Inf
43.77/43.80 c 43.8s| 9300 | 15 |108727 | 11.3 | 169M| 41 | - | 209 |8546 | 0 | 0 | 55 |4481 | 0 | 0.000000e+00 | -- | Inf
44.08/44.11 c 44.1s| 9400 | 16 |109736 | 11.3 | 169M| 41 | - | 209 |8568 | 209 |5821 | 55 |4535 | 0 | 0.000000e+00 | -- | Inf
44.48/44.50 c 44.5s| 9500 | 18 |110936 | 11.3 | 169M| 41 | 19 | 209 |8592 | 209 |5821 | 55 |4581 | 0 | 0.000000e+00 | -- | Inf
44.78/44.85 c 44.8s| 9600 | 11 |112077 | 11.3 | 169M| 41 | - | 209 |8609 | 209 |5821 | 55 |4617 | 0 | 0.000000e+00 | -- | Inf
45.17/45.26 c 45.3s| 9700 | 11 |113347 | 11.3 | 169M| 41 | - | 209 |8618 | 209 |5821 | 55 |4651 | 0 | 0.000000e+00 | -- | Inf
45.47/45.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.47/45.59 c 45.6s| 9800 | 13 |114557 | 11.3 | 169M| 41 | 23 | 209 |8626 | 209 |5821 | 55 |4676 | 0 | 0.000000e+00 | -- | Inf
45.88/45.90 c 45.9s| 9900 | 12 |115670 | 11.3 | 169M| 41 | - | 209 |8650 | 209 |5821 | 55 |4712 | 0 | 0.000000e+00 | -- | Inf
46.08/46.20 c 46.2s| 10000 | 12 |116696 | 11.3 | 169M| 41 | - | 209 |8672 | 0 | 0 | 55 |4748 | 0 | 0.000000e+00 | -- | Inf
46.48/46.59 c 46.6s| 10100 | 13 |117813 | 11.3 | 169M| 41 | 22 | 209 |8675 | 209 |5821 | 55 |4793 | 0 | 0.000000e+00 | -- | Inf
46.87/46.91 c 46.9s| 10200 | 11 |118999 | 11.3 | 169M| 41 | 29 | 209 |8670 | 209 |5821 | 55 |4829 | 0 | 0.000000e+00 | -- | Inf
47.28/47.31 c 47.3s| 10300 | 13 |120376 | 11.3 | 169M| 41 | - | 209 |8611 | 0 | 0 | 55 |4872 | 0 | 0.000000e+00 | -- | Inf
47.57/47.62 c 47.6s| 10400 | 11 |121379 | 11.3 | 169M| 41 | - | 209 |8622 | 209 |5821 | 55 |4901 | 0 | 0.000000e+00 | -- | Inf
47.87/47.99 c 48.0s| 10500 | 11 |122648 | 11.3 | 169M| 41 | - | 209 |8605 | 209 |5821 | 55 |4930 | 0 | 0.000000e+00 | -- | Inf
48.28/48.37 c 48.4s| 10600 | 13 |123907 | 11.4 | 169M| 41 | 22 | 209 |8576 | 209 |5821 | 55 |4958 | 0 | 0.000000e+00 | -- | Inf
48.57/48.69 c 48.7s| 10700 | 11 |124990 | 11.4 | 169M| 41 | - | 209 |8610 | 209 |5821 | 55 |5011 | 0 | 0.000000e+00 | -- | Inf
49.07/49.15 c 49.2s| 10800 | 12 |126438 | 11.4 | 168M| 41 | 14 | 209 |8605 | 209 |5821 | 55 |5057 | 0 | 0.000000e+00 | -- | Inf
49.38/49.49 c 49.5s| 10900 | 12 |127728 | 11.4 | 168M| 41 | - | 209 |8596 | 209 |5821 | 55 |5087 | 0 | 0.000000e+00 | -- | Inf
49.77/49.89 c 49.9s| 11000 | 11 |129044 | 11.4 | 168M| 41 | 24 | 209 |8607 | 209 |5821 | 55 |5122 | 0 | 0.000000e+00 | -- | Inf
50.17/50.21 c 50.2s| 11100 | 13 |130130 | 11.4 | 169M| 41 | - | 209 |8633 | 209 |5821 | 55 |5172 | 0 | 0.000000e+00 | -- | Inf
50.48/50.57 c 50.6s| 11200 | 10 |131294 | 11.4 | 168M| 41 | - | 209 |8652 | 0 | 0 | 55 |5214 | 0 | 0.000000e+00 | -- | Inf
50.87/50.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.87/50.96 c 51.0s| 11300 | 10 |132499 | 11.4 | 168M| 41 | - | 209 |8641 | 209 |5821 | 55 |5246 | 0 | 0.000000e+00 | -- | Inf
51.17/51.29 c 51.3s| 11400 | 11 |133711 | 11.4 | 168M| 41 | 27 | 209 |8630 | 209 |5821 | 55 |5267 | 0 | 0.000000e+00 | -- | Inf
51.58/51.67 c 51.7s| 11500 | 10 |134877 | 11.4 | 168M| 41 | - | 209 |8632 | 209 |5821 | 55 |5299 | 0 | 0.000000e+00 | -- | Inf
51.87/51.97 c 52.0s| 11600 | 10 |135999 | 11.4 | 168M| 41 | 25 | 209 |8652 | 209 |5821 | 55 |5338 | 0 | 0.000000e+00 | -- | Inf
52.28/52.31 c 52.3s| 11700 | 6 |137118 | 11.4 | 168M| 41 | - | 209 |8624 | 209 |5821 | 55 |5388 | 0 | 0.000000e+00 | -- | Inf
52.57/52.65 c 52.7s| 11800 | 9 |138189 | 11.4 | 168M| 41 | - | 209 |8662 | 0 | 0 | 55 |5441 | 0 | 0.000000e+00 | -- | Inf
52.97/53.01 c 53.0s| 11900 | 10 |139398 | 11.4 | 168M| 41 | 14 | 209 |8669 | 209 |5821 | 55 |5480 | 0 | 0.000000e+00 | -- | Inf
53.17/53.29 c 53.3s| 12000 | 9 |140365 | 11.4 | 168M| 41 | - | 209 |8695 | 209 |5821 | 55 |5531 | 0 | 0.000000e+00 | -- | Inf
53.58/53.66 c 53.7s| 12100 | 7 |141563 | 11.4 | 168M| 41 | - | 209 |8719 | 209 |5821 | 55 |5567 | 0 | 0.000000e+00 | -- | Inf
53.88/53.99 c 54.0s| 12200 | 8 |142731 | 11.4 | 168M| 41 | - | 209 |8722 | 0 | 0 | 55 |5598 | 0 | 0.000000e+00 | -- | Inf
54.37/54.46 c 54.5s| 12300 | 9 |144066 | 11.4 | 168M| 41 | - | 209 |8723 | 0 | 0 | 55 |5630 | 0 | 0.000000e+00 | -- | Inf
54.67/54.72 c 54.7s| 12400 | 6 |144875 | 11.4 | 168M| 41 | - | 209 |8741 | 209 |5821 | 55 |5664 | 0 | 0.000000e+00 | -- | Inf
54.97/55.04 c 55.0s| 12500 | 7 |146034 | 11.4 | 168M| 41 | 24 | 209 |8761 | 209 |5821 | 55 |5706 | 0 | 0.000000e+00 | -- | Inf
55.37/55.41 c 55.4s| 12600 | 5 |147204 | 11.4 | 168M| 41 | - | 209 |8777 | 209 |5821 | 55 |5743 | 0 | 0.000000e+00 | -- | Inf
55.78/55.82 c 55.8s| 12700 | 7 |148551 | 11.4 | 168M| 41 | 25 | 209 |8785 | 209 |5821 | 55 |5770 | 0 | 0.000000e+00 | -- | Inf
56.17/56.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.17/56.22 c 56.2s| 12800 | 3 |150091 | 11.5 | 168M| 41 | - | 209 |8770 | 209 |5821 | 55 |5784 | 0 | 0.000000e+00 | -- | Inf
56.48/56.54 c 56.5s| 12900 | 7 |151266 | 11.5 | 168M| 41 | 21 | 209 |8770 | 209 |5821 | 55 |5819 | 0 | 0.000000e+00 | -- | Inf
56.77/56.82 c 56.8s| 13000 | 6 |152265 | 11.4 | 168M| 41 | - | 209 |8802 | 209 |5821 | 55 |5863 | 0 | 0.000000e+00 | -- | Inf
57.08/57.16 c 57.2s| 13100 | 6 |153362 | 11.4 | 168M| 41 | 26 | 209 |8818 | 209 |5821 | 55 |5886 | 0 | 0.000000e+00 | -- | Inf
57.47/57.53 c 57.5s| 13200 | 6 |154478 | 11.4 | 168M| 41 | 27 | 209 |8861 | 209 |5821 | 55 |5948 | 0 | 0.000000e+00 | -- | Inf
57.77/57.84 c 57.8s| 13300 | 6 |155682 | 11.4 | 168M| 41 | - | 209 |8888 | 0 | 0 | 55 |5990 | 0 | 0.000000e+00 | -- | Inf
58.07/58.19 c 58.2s| 13400 | 6 |156786 | 11.4 | 168M| 41 | 28 | 209 |8907 | 209 |5821 | 55 |6027 | 0 | 0.000000e+00 | -- | Inf
58.37/58.46 c 58.5s| 13500 | 5 |157644 | 11.4 | 168M| 41 | 28 | 209 |8943 | 209 |5821 | 55 |6079 | 0 | 0.000000e+00 | -- | Inf
58.77/58.84 c 58.8s| 13600 | 5 |158827 | 11.4 | 168M| 42 | - | 209 |8965 | 209 |5821 | 55 |6126 | 0 | 0.000000e+00 | -- | Inf
59.06/59.15 c 59.1s| 13700 | 4 |159971 | 11.4 | 168M| 42 | - | 209 |8976 | 0 | 0 | 55 |6165 | 0 | 0.000000e+00 | -- | Inf
59.47/59.59 c 59.6s| 13800 | 4 |161203 | 11.4 | 168M| 42 | 18 | 209 |9001 | 209 |5821 | 55 |6204 | 0 | 0.000000e+00 | -- | Inf
59.87/59.93 c 59.9s| 13900 | 7 |162435 | 11.4 | 168M| 42 | - | 209 |9009 | 0 | 0 | 55 |6239 | 0 | 0.000000e+00 | -- | Inf
60.17/60.24 c 60.2s| 14000 | 7 |163450 | 11.4 | 168M| 42 | 28 | 209 |9040 | 209 |5821 | 55 |6296 | 0 | 0.000000e+00 | -- | Inf
60.56/60.62 c 60.6s| 14100 | 10 |164701 | 11.4 | 168M| 42 | 18 | 209 |9042 | 209 |5821 | 55 |6335 | 0 | 0.000000e+00 | -- | Inf
60.87/60.95 c 60.9s| 14200 | 6 |165903 | 11.4 | 168M| 42 | - | 209 |9071 | 209 |5821 | 55 |6375 | 0 | 0.000000e+00 | -- | Inf
61.27/61.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.27/61.35 c 61.4s| 14300 | 8 |167056 | 11.4 | 169M| 42 | - | 209 |9092 | 0 | 0 | 55 |6413 | 0 | 0.000000e+00 | -- | Inf
61.57/61.65 c 61.7s| 14400 | 7 |168152 | 11.4 | 168M| 42 | - | 209 |9105 | 0 | 0 | 55 |6450 | 0 | 0.000000e+00 | -- | Inf
61.86/61.96 c 62.0s| 14500 | 7 |169210 | 11.4 | 169M| 42 | - | 209 |9137 | 209 |5821 | 55 |6496 | 0 | 0.000000e+00 | -- | Inf
62.27/62.30 c 62.3s| 14600 | 8 |170261 | 11.4 | 169M| 42 | - | 209 |9166 | 209 |5821 | 55 |6547 | 0 | 0.000000e+00 | -- | Inf
62.57/62.69 c 62.7s| 14700 | 6 |171621 | 11.4 | 168M| 42 | - | 209 |9160 | 209 |5821 | 55 |6592 | 0 | 0.000000e+00 | -- | Inf
63.06/63.10 c 63.1s| 14800 | 6 |173130 | 11.5 | 168M| 42 | - | 209 |9163 | 209 |5821 | 55 |6619 | 0 | 0.000000e+00 | -- | Inf
63.37/63.43 c 63.4s| 14900 | 6 |174274 | 11.5 | 168M| 42 | - | 209 |9181 | 209 |5821 | 55 |6655 | 0 | 0.000000e+00 | -- | Inf
63.77/63.85 c 63.9s| 15000 | 6 |175567 | 11.5 | 168M| 42 | - | 209 |9204 | 0 | 0 | 55 |6701 | 0 | 0.000000e+00 | -- | Inf
64.06/64.12 c 64.1s| 15100 | 6 |176492 | 11.5 | 168M| 42 | - | 209 |9238 | 0 | 0 | 55 |6752 | 0 | 0.000000e+00 | -- | Inf
64.36/64.40 c 64.4s| 15200 | 6 |177445 | 11.4 | 168M| 42 | - | 209 |9253 | 209 |5821 | 55 |6790 | 0 | 0.000000e+00 | -- | Inf
64.77/64.80 c 64.8s| 15300 | 4 |178704 | 11.5 | 168M| 42 | - | 209 |9274 | 209 |5821 | 55 |6825 | 0 | 0.000000e+00 | -- | Inf
65.07/65.11 c 65.1s| 15400 | 6 |179821 | 11.4 | 169M| 42 | 27 | 209 |9289 | 209 |5821 | 55 |6866 | 0 | 0.000000e+00 | -- | Inf
65.47/65.56 c 65.6s| 15500 | 5 |181335 | 11.5 | 168M| 42 | 26 | 209 |9299 | 209 |5821 | 55 |6895 | 0 | 0.000000e+00 | -- | Inf
65.97/66.02 c 66.0s| 15600 | 6 |182488 | 11.5 | 169M| 42 | 23 | 209 |9320 | 209 |5821 | 55 |6940 | 0 | 0.000000e+00 | -- | Inf
66.26/66.33 c 66.3s| 15700 | 5 |183564 | 11.5 | 169M| 42 | - | 209 |9329 | 0 | 0 | 55 |6969 | 0 | 0.000000e+00 | -- | Inf
66.57/66.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.57/66.64 c 66.6s| 15800 | 5 |184703 | 11.5 | 168M| 42 | 18 | 209 |9348 | 209 |5821 | 55 |7002 | 0 | 0.000000e+00 | -- | Inf
66.87/66.93 c 66.9s| 15900 | 5 |185693 | 11.5 | 168M| 42 | 32 | 209 |9353 | 209 |5821 | 55 |7033 | 0 | 0.000000e+00 | -- | Inf
67.26/67.30 c 67.3s| 16000 | 5 |187026 | 11.5 | 169M| 42 | - | 209 |9369 | 209 |5821 | 55 |7071 | 0 | 0.000000e+00 | -- | Inf
67.67/67.71 c 67.7s| 16100 | 4 |188407 | 11.5 | 169M| 42 | - | 209 |9366 | 209 |5821 | 55 |7094 | 0 | 0.000000e+00 | -- | Inf
67.96/68.03 c 68.0s| 16200 | 5 |189615 | 11.5 | 169M| 42 | - | 209 |9380 | 209 |5821 | 55 |7133 | 0 | 0.000000e+00 | -- | Inf
68.36/68.44 c 68.4s| 16300 | 6 |190981 | 11.5 | 169M| 42 | - | 209 |9396 | 0 | 0 | 55 |7176 | 0 | 0.000000e+00 | -- | Inf
68.67/68.74 c 68.7s| 16400 | 5 |192036 | 11.5 | 169M| 42 | 25 | 209 |9437 | 209 |5821 | 55 |7230 | 0 | 0.000000e+00 | -- | Inf
68.96/69.08 c 69.1s| 16500 | 6 |193240 | 11.5 | 169M| 42 | 25 | 209 |9453 | 209 |5821 | 55 |7264 | 0 | 0.000000e+00 | -- | Inf
69.36/69.47 c 69.5s| 16600 | 6 |194522 | 11.5 | 169M| 43 | 18 | 209 |9471 | 209 |5821 | 55 |7297 | 0 | 0.000000e+00 | -- | Inf
69.67/69.79 c 69.8s| 16700 | 4 |195622 | 11.5 | 169M| 44 | 31 | 209 |9489 | 209 |5821 | 55 |7336 | 0 | 0.000000e+00 | -- | Inf
70.16/70.21 c 70.2s| 16800 | 7 |196986 | 11.5 | 169M| 44 | - | 209 |9503 | 209 |5821 | 55 |7373 | 0 | 0.000000e+00 | -- | Inf
70.46/70.58 c 70.6s| 16900 | 5 |198303 | 11.5 | 169M| 44 | - | 209 |9503 | 209 |5821 | 55 |7398 | 0 | 0.000000e+00 | -- | Inf
70.96/71.04 c 71.0s| 17000 | 6 |199676 | 11.5 | 169M| 44 | - | 209 |9511 | 0 | 0 | 55 |7423 | 0 | 0.000000e+00 | -- | Inf
71.26/71.34 c 71.3s| 17100 | 8 |200795 | 11.5 | 169M| 44 | 12 | 209 |9524 | 209 |5821 | 55 |7450 | 0 | 0.000000e+00 | -- | Inf
71.47/71.59 c 71.6s| 17200 | 6 |201587 | 11.5 | 169M| 46 | 19 | 209 |9559 | 209 |5821 | 55 |7493 | 0 | 0.000000e+00 | -- | Inf
71.86/71.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.86/71.97 c 72.0s| 17300 | 6 |202801 | 11.5 | 169M| 46 | - | 209 |9565 | 209 |5821 | 55 |7523 | 0 | 0.000000e+00 | -- | Inf
72.16/72.27 c 72.3s| 17400 | 6 |203871 | 11.5 | 169M| 46 | 27 | 209 |9582 | 209 |5821 | 55 |7552 | 0 | 0.000000e+00 | -- | Inf
72.56/72.63 c 72.6s| 17500 | 6 |205091 | 11.5 | 169M| 46 | 12 | 209 |9603 | 209 |5821 | 55 |7591 | 0 | 0.000000e+00 | -- | Inf
72.86/72.99 c 73.0s| 17600 | 5 |206187 | 11.5 | 169M| 46 | - | 209 |9619 | 0 | 0 | 55 |7620 | 0 | 0.000000e+00 | -- | Inf
73.26/73.39 c 73.4s| 17700 | 5 |207583 | 11.5 | 169M| 46 | - | 209 |9636 | 0 | 0 | 55 |7649 | 0 | 0.000000e+00 | -- | Inf
73.67/73.73 c 73.7s| 17800 | 6 |208702 | 11.5 | 169M| 46 | 20 | 209 |9652 | 209 |5821 | 55 |7680 | 0 | 0.000000e+00 | -- | Inf
73.96/74.03 c 74.0s| 17900 | 3 |209725 | 11.5 | 169M| 46 | 32 | 209 |9657 | 209 |5821 | 55 |7704 | 0 | 0.000000e+00 | -- | Inf
74.36/74.45 c 74.5s| 18000 | 2 |211250 | 11.5 | 169M| 46 | - | 209 |9661 | 0 | 0 | 55 |7733 | 0 | 0.000000e+00 | -- | Inf
74.36/74.49 c
74.36/74.49 c SCIP Status : problem is solved [infeasible]
74.36/74.49 c Solving Time (sec) : 74.49
74.36/74.49 c Solving Nodes : 18011
74.36/74.49 c Primal Bound : +1.00000000000000e+20 (0 solutions)
74.36/74.49 c Dual Bound : +1.00000000000000e+20
74.36/74.49 c Gap : 0.00 %
74.36/74.49 s UNSATISFIABLE
74.36/74.49 c SCIP Status : problem is solved [infeasible]
74.36/74.49 c Total Time : 74.49
74.36/74.49 c solving : 74.49
74.36/74.49 c presolving : 7.85 (included in solving)
74.36/74.49 c reading : 0.14 (included in solving)
74.36/74.49 c copying : 0.03 (2 #copies) (minimal 0.01, maximal 0.01, average 0.01)
74.36/74.49 c Original Problem :
74.36/74.49 c Problem name : HOME/instance-3717592-1338203118.wbo
74.36/74.49 c Variables : 41899 (41899 binary, 0 integer, 0 implicit integer, 0 continuous)
74.36/74.49 c Constraints : 40844 initial, 40844 maximal
74.36/74.49 c Objective sense : minimize
74.36/74.49 c Presolved Problem :
74.36/74.49 c Problem name : t_HOME/instance-3717592-1338203118.wbo
74.36/74.49 c Variables : 209 (209 binary, 0 integer, 0 implicit integer, 0 continuous)
74.36/74.49 c Constraints : 5798 initial, 9668 maximal
74.36/74.49 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
74.36/74.49 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c trivial : 0.01 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c dualfix : 0.01 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c probing : 4.32 0.00 430 418 0 0 0 0 0 0 0
74.36/74.49 c setppc : 2.55 0.00 32 0 0 0 0 34319 0 0 0
74.36/74.49 c linear : 0.40 0.01 40810 0 0 40810 0 727 0 0 0
74.36/74.49 c indicator : 0.07 0.00 40810 0 0 0 0 40810 0 0 0
74.36/74.49 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
74.36/74.49 c root node : - - 2 - - 2 - - - - -
74.36/74.49 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
74.36/74.49 c integral : 0 0 0 0 9168 0 9172 0 0 0 0 0 18336
74.36/74.49 c setppc : 5798 5798 6 56746 0 0 9171 208087 3403 298610 0 0 0
74.36/74.49 c linear : 0+ 379 6 48123 0 0 0 4358 416 9757 2 0 0
74.36/74.49 c logicor : 0+ 3897 0 26041 0 0 0 8453 513 12390 0 0 0
74.36/74.49 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
74.36/74.49 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
74.36/74.49 c integral : 0.13 0.00 0.00 0.00 0.07 0.00 0.06 0.00
74.36/74.49 c setppc : 5.31 0.00 0.00 5.21 0.00 0.00 0.03 0.08
74.36/74.49 c linear : 0.34 0.01 0.00 0.32 0.00 0.00 0.00 0.01
74.36/74.49 c logicor : 0.69 0.00 0.00 0.68 0.00 0.00 0.00 0.01
74.36/74.49 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
74.36/74.49 c Propagators : #Propagate #ResProp Cutoffs DomReds
74.36/74.49 c rootredcost : 0 0 0 0
74.36/74.49 c pseudoobj : 0 0 0 0
74.36/74.49 c vbounds : 0 0 0 0
74.36/74.49 c redcost : 9174 0 0 0
74.36/74.49 c probing : 0 0 0 0
74.36/74.49 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
74.36/74.49 c rootredcost : 0.02 0.00 0.00 0.02 0.00
74.36/74.49 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
74.36/74.49 c vbounds : 0.01 0.00 0.00 0.01 0.00
74.36/74.49 c redcost : 0.04 0.00 0.00 0.04 0.00
74.36/74.49 c probing : 4.32 0.00 4.32 0.00 0.00
74.36/74.49 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
74.36/74.49 c propagation : 0.22 4332 3890 16978 31.9 88 24.3 -
74.36/74.49 c infeasible LP : 0.47 5743 533 2591 38.3 1 12.0 0
74.36/74.49 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
74.36/74.49 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
74.36/74.49 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
74.36/74.49 c applied globally : - - - 7689 15.8 - - -
74.36/74.49 c applied locally : - - - 49 38.8 - - -
74.36/74.49 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
74.36/74.49 c cut pool : 0.00 5 - - 1 - (maximal pool size: 353)
74.36/74.49 c closecuts : 0.00 0.00 0 0 0 0 0
74.36/74.49 c impliedbounds : 0.00 0.00 6 0 0 0 0
74.36/74.49 c intobj : 0.00 0.00 0 0 0 0 0
74.36/74.49 c gomory : 0.24 0.00 6 0 0 300 0
74.36/74.49 c cgmip : 0.00 0.00 0 0 0 0 0
74.36/74.49 c strongcg : 0.39 0.00 6 0 0 2943 0
74.36/74.49 c cmir : 0.03 0.00 6 0 0 0 0
74.36/74.49 c flowcover : 0.08 0.00 6 0 0 0 0
74.36/74.49 c clique : 0.01 0.00 6 0 0 47 0
74.36/74.49 c zerohalf : 0.00 0.00 0 0 0 0 0
74.36/74.49 c mcf : 0.00 0.00 1 0 0 0 0
74.36/74.49 c oddcycle : 0.00 0.00 0 0 0 0 0
74.36/74.49 c rapidlearning : 0.37 0.00 1 0 0 0 379
74.36/74.49 c Pricers : ExecTime SetupTime Calls Vars
74.36/74.49 c problem variables: 0.00 - 0 0
74.36/74.49 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
74.36/74.49 c inference : 0.06 0.00 9168 0 0 0 0 18336
74.36/74.49 c relpscost : 0.00 0.00 0 0 0 0 0 0
74.36/74.49 c pscost : 0.00 0.00 0 0 0 0 0 0
74.36/74.49 c mostinf : 0.00 0.00 0 0 0 0 0 0
74.36/74.49 c leastinf : 0.00 0.00 0 0 0 0 0 0
74.36/74.49 c fullstrong : 0.00 0.00 0 0 0 0 0 0
74.36/74.49 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
74.36/74.49 c random : 0.00 0.00 0 0 0 0 0 0
74.36/74.49 c Primal Heuristics : ExecTime SetupTime Calls Found
74.36/74.49 c LP solutions : 0.00 - - 0
74.36/74.49 c pseudo solutions : 0.00 - - 0
74.36/74.49 c oneopt : 0.01 0.00 0 0
74.36/74.49 c crossover : 0.01 0.00 0 0
74.36/74.49 c guideddiving : 0.00 0.00 0 0
74.36/74.49 c fracdiving : 0.19 0.00 3 0
74.36/74.49 c veclendiving : 0.13 0.00 3 0
74.36/74.49 c rootsoldiving : 0.22 0.00 2 0
74.36/74.49 c objpscostdiving : 0.05 0.00 2 0
74.36/74.49 c pscostdiving : 0.59 0.00 4 0
74.36/74.49 c linesearchdiving : 0.10 0.00 4 0
74.36/74.49 c feaspump : 0.72 0.00 2 0
74.36/74.49 c smallcard : 0.00 0.00 0 0
74.36/74.49 c trivial : 0.06 0.00 2 0
74.36/74.49 c shiftandpropagate: 0.00 0.00 0 0
74.36/74.49 c simplerounding : 0.00 0.00 0 0
74.36/74.49 c zirounding : 0.26 0.00 0 0
74.36/74.49 c rounding : 0.26 0.00 1290 0
74.36/74.49 c shifting : 0.22 0.00 371 0
74.36/74.49 c intshifting : 0.00 0.00 0 0
74.36/74.49 c twoopt : 0.00 0.00 0 0
74.36/74.49 c indoneopt : 0.01 0.00 0 0
74.36/74.49 c indtwoopt : 0.00 0.00 0 0
74.36/74.49 c fixandinfer : 0.00 0.00 0 0
74.36/74.49 c clique : 0.00 0.00 0 0
74.36/74.49 c coefdiving : 8.02 0.00 208 0
74.36/74.49 c indcoefdiving : 0.00 0.00 0 0
74.36/74.49 c indrounding : 0.29 0.00 9168 0
74.36/74.49 c nlpdiving : 0.00 0.00 0 0
74.36/74.49 c intdiving : 0.00 0.00 0 0
74.36/74.49 c actconsdiving : 0.00 0.00 0 0
74.36/74.49 c octane : 0.00 0.00 0 0
74.36/74.49 c rens : 0.06 0.00 1 0
74.36/74.49 c rins : 0.00 0.00 0 0
74.36/74.49 c localbranching : 0.00 0.00 0 0
74.36/74.49 c mutation : 0.00 0.00 0 0
74.36/74.49 c dins : 0.00 0.00 0 0
74.36/74.49 c vbounds : 0.00 0.00 0 0
74.36/74.49 c undercover : 0.00 0.00 0 0
74.36/74.49 c subnlp : 0.00 0.00 0 0
74.36/74.49 c trysol : 0.01 0.00 0 0
74.36/74.49 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
74.36/74.49 c primal LP : 0.00 1 0 0.00 - 0.00 1
74.36/74.49 c dual LP : 42.29 14685 192653 13.17 4556.05 0.04 60
74.36/74.49 c lex dual LP : 0.00 0 0 0.00 -
74.36/74.49 c barrier LP : 0.00 0 0 0.00 - 0.00 0
74.36/74.49 c diving/probing LP: 7.54 6477 18724 2.89 2483.51
74.36/74.49 c strong branching : 0.00 0 0 0.00 -
74.36/74.49 c (at root node) : - 0 0 0.00 -
74.36/74.49 c conflict analysis: 0.00 0 0 0.00 -
74.36/74.49 c B&B Tree :
74.36/74.49 c number of runs : 1
74.36/74.49 c nodes : 18011
74.36/74.49 c nodes (total) : 18011
74.36/74.49 c nodes left : 0
74.36/74.49 c max depth : 46
74.36/74.49 c max depth (total): 46
74.36/74.49 c backtracks : 2575 (14.3%)
74.36/74.49 c delayed cutoffs : 326
74.36/74.49 c repropagations : 7127 (19733 domain reductions, 316 cutoffs)
74.36/74.49 c avg switch length: 3.24
74.36/74.49 c switching time : 3.36
74.36/74.49 c Solution :
74.36/74.49 c Solutions found : 0 (0 improvements)
74.36/74.49 c Primal Bound : infeasible
74.36/74.49 c Dual Bound : -
74.36/74.49 c Gap : 0.00 %
74.36/74.49 c Root Dual Bound : +0.00000000000000e+00
74.36/74.49 c Root Iterations : 3518
74.56/74.60 c Time complete: 74.57.