C: [ 146] colours: 42 maxSize: 0 nodes: 0 new incumbent: 14 at node: 14 new incumbent: 15 at node: 38 new incumbent: 16 at node: 64 new incumbent: 17 at node: 144 new incumbent: 18 at node: 248 new incumbent: 19 at node: 45604 new incumbent: 20 at node: 650189 C: [ 12] colours: 40 maxSize: 20 nodes: 1012488 C: [ 113] colours: 42 maxSize: 20 nodes: 1954472 C: [ 72] colours: 40 maxSize: 20 nodes: 2710053 C: [ 196] colours: 41 maxSize: 20 nodes: 3356989 C: [ 89] colours: 40 maxSize: 20 nodes: 4078424 C: [ 134] colours: 38 maxSize: 20 nodes: 4944324 new incumbent: 21 at node: 5077962 C: [ 54] colours: 40 maxSize: 21 nodes: 5383960 C: [ 71] colours: 39 maxSize: 21 nodes: 5802666 C: [ 148] colours: 41 maxSize: 21 nodes: 6257381 C: [ 123] colours: 41 maxSize: 21 nodes: 6812164 C: [ 198] colours: 40 maxSize: 21 nodes: 7434010 C: [ 67] colours: 42 maxSize: 21 nodes: 7854198 C: [ 41] colours: 39 maxSize: 21 nodes: 8502095 C: [ 66] colours: 41 maxSize: 21 nodes: 8935872 C: [ 136] colours: 39 maxSize: 21 nodes: 9505008 C: [ 151] colours: 42 maxSize: 21 nodes: 9788839 C: [ 85] colours: 40 maxSize: 21 nodes: 10115966 C: [ 30] colours: 41 maxSize: 21 nodes: 10681290 C: [ 76] colours: 39 maxSize: 21 nodes: 11090459 C: [ 39] colours: 41 maxSize: 21 nodes: 11377317 C: [ 60] colours: 38 maxSize: 21 nodes: 11726523 C: [ 102] colours: 42 maxSize: 21 nodes: 11925814 C: [ 1] colours: 42 maxSize: 21 nodes: 12259247 C: [ 9] colours: 39 maxSize: 21 nodes: 12844458 C: [ 91] colours: 41 maxSize: 21 nodes: 13109836 C: [ 88] colours: 42 maxSize: 21 nodes: 13449532 C: [ 133] colours: 43 maxSize: 21 nodes: 13909153 C: [ 33] colours: 39 maxSize: 21 nodes: 14337043 C: [ 68] colours: 40 maxSize: 21 nodes: 14583025 C: [ 150] colours: 40 maxSize: 21 nodes: 14811697 C: [ 153] colours: 38 maxSize: 21 nodes: 15069089 C: [ 17] colours: 38 maxSize: 21 nodes: 15351435 C: [ 173] colours: 41 maxSize: 21 nodes: 15701898 C: [ 52] colours: 37 maxSize: 21 nodes: 15971255 C: [ 61] colours: 40 maxSize: 21 nodes: 16122222 C: [ 92] colours: 40 maxSize: 21 nodes: 16339243 C: [ 31] colours: 37 maxSize: 21 nodes: 16573503 C: [ 145] colours: 38 maxSize: 21 nodes: 16806070 C: [ 167] colours: 38 maxSize: 21 nodes: 17086449 C: [ 200] colours: 40 maxSize: 21 nodes: 17258626 C: [ 21] colours: 36 maxSize: 21 nodes: 17412722 C: [ 47] colours: 38 maxSize: 21 nodes: 17530926 C: [ 176] colours: 39 maxSize: 21 nodes: 17641761 C: [ 184] colours: 39 maxSize: 21 nodes: 17944683 C: [ 23] colours: 38 maxSize: 21 nodes: 18124336 C: [ 169] colours: 37 maxSize: 21 nodes: 18333383 C: [ 6] colours: 36 maxSize: 21 nodes: 18496907 C: [ 63] colours: 37 maxSize: 21 nodes: 18600353 C: [ 112] colours: 37 maxSize: 21 nodes: 18686041 C: [ 141] colours: 39 maxSize: 21 nodes: 18793722 C: [ 5] colours: 36 maxSize: 21 nodes: 18936568 C: [ 106] colours: 36 maxSize: 21 nodes: 19006545 C: [ 121] colours: 33 maxSize: 21 nodes: 19109905 C: [ 177] colours: 36 maxSize: 21 nodes: 19185308 C: [ 35] colours: 38 maxSize: 21 nodes: 19282404 C: [ 147] colours: 37 maxSize: 21 nodes: 19421517 C: [ 40] colours: 37 maxSize: 21 nodes: 19559875 C: [ 118] colours: 36 maxSize: 21 nodes: 19647710 C: [ 135] colours: 37 maxSize: 21 nodes: 19744981 C: [ 183] colours: 36 maxSize: 21 nodes: 19860353 C: [ 37] colours: 35 maxSize: 21 nodes: 19921340 C: [ 64] colours: 35 maxSize: 21 nodes: 19965011 C: [ 166] colours: 35 maxSize: 21 nodes: 20038752 C: [ 192] colours: 34 maxSize: 21 nodes: 20079124 C: [ 14] colours: 38 maxSize: 21 nodes: 20123610 C: [ 74] colours: 36 maxSize: 21 nodes: 20212563 C: [ 110] colours: 34 maxSize: 21 nodes: 20268411 C: [ 187] colours: 35 maxSize: 21 nodes: 20306678 C: [ 142] colours: 35 maxSize: 21 nodes: 20366211 C: [ 25] colours: 35 maxSize: 21 nodes: 20399391 C: [ 90] colours: 33 maxSize: 21 nodes: 20455098 C: [ 130] colours: 35 maxSize: 21 nodes: 20485452 C: [ 2] colours: 33 maxSize: 21 nodes: 20530323 C: [ 51] colours: 34 maxSize: 21 nodes: 20555824 C: [ 93] colours: 36 maxSize: 21 nodes: 20585083 C: [ 154] colours: 34 maxSize: 21 nodes: 20617720 C: [ 155] colours: 34 maxSize: 21 nodes: 20647346 C: [ 56] colours: 34 maxSize: 21 nodes: 20673756 C: [ 86] colours: 33 maxSize: 21 nodes: 20698729 C: [ 140] colours: 33 maxSize: 21 nodes: 20729830 C: [ 24] colours: 33 maxSize: 21 nodes: 20744375 C: [ 65] colours: 34 maxSize: 21 nodes: 20761287 C: [ 182] colours: 34 maxSize: 21 nodes: 20779572 C: [ 55] colours: 34 maxSize: 21 nodes: 20800849 C: [ 127] colours: 33 maxSize: 21 nodes: 20825503 C: [ 170] colours: 31 maxSize: 21 nodes: 20851565 C: [ 28] colours: 33 maxSize: 21 nodes: 20860339 C: [ 38] colours: 33 maxSize: 21 nodes: 20872918 C: [ 10] colours: 33 maxSize: 21 nodes: 20900055 C: [ 81] colours: 32 maxSize: 21 nodes: 20915767 C: [ 98] colours: 34 maxSize: 21 nodes: 20928831 C: [ 161] colours: 31 maxSize: 21 nodes: 20946513 C: [ 11] colours: 30 maxSize: 21 nodes: 20953512 C: [ 43] colours: 31 maxSize: 21 nodes: 20958648 C: [ 62] colours: 31 maxSize: 21 nodes: 20965669 C: [ 185] colours: 33 maxSize: 21 nodes: 20973362 C: [ 174] colours: 31 maxSize: 21 nodes: 20998377 C: [ 69] colours: 32 maxSize: 21 nodes: 21004147 C: [ 105] colours: 27 maxSize: 21 nodes: 21014076 C: [ 125] colours: 33 maxSize: 21 nodes: 21015135 C: [ 19] colours: 31 maxSize: 21 nodes: 21027134 C: [ 99] colours: 29 maxSize: 21 nodes: 21032562 C: [ 18] colours: 30 maxSize: 21 nodes: 21035255 C: [ 29] colours: 30 maxSize: 21 nodes: 21039014 C: [ 57] colours: 29 maxSize: 21 nodes: 21041006 C: [ 78] colours: 30 maxSize: 21 nodes: 21045379 C: [ 117] colours: 29 maxSize: 21 nodes: 21048431 C: [ 75] colours: 32 maxSize: 21 nodes: 21051006 C: [ 95] colours: 31 maxSize: 21 nodes: 21054810 C: [ 124] colours: 28 maxSize: 21 nodes: 21057580 C: [ 168] colours: 26 maxSize: 21 nodes: 21058811 C: [ 77] colours: 27 maxSize: 21 nodes: 21059526 C: [ 80] colours: 30 maxSize: 21 nodes: 21060682 C: [ 158] colours: 28 maxSize: 21 nodes: 21063519 C: [ 45] colours: 27 maxSize: 21 nodes: 21064629 C: [ 84] colours: 26 maxSize: 21 nodes: 21065046 C: [ 119] colours: 25 maxSize: 21 nodes: 21065461 C: [ 160] colours: 25 maxSize: 21 nodes: 21065741 C: [ 7] colours: 25 maxSize: 21 nodes: 21065944 C: [ 44] colours: 26 maxSize: 21 nodes: 21066170 C: [ 178] colours: 23 maxSize: 21 nodes: 21066366 C: [ 179] colours: 25 maxSize: 21 nodes: 21066422 C: [ 22] colours: 26 maxSize: 21 nodes: 21066726 C: [ 87] colours: 24 maxSize: 21 nodes: 21067398 C: [ 128] colours: 26 maxSize: 21 nodes: 21067551 C: [ 157] colours: 26 maxSize: 21 nodes: 21067867 C: [ 162] colours: 24 maxSize: 21 nodes: 21068225 C: [ 163] colours: 23 maxSize: 21 nodes: 21068375 C: [ 109] colours: 25 maxSize: 21 nodes: 21068429 C: [ 171] colours: 23 maxSize: 21 nodes: 21068931 C: [ 186] colours: 25 maxSize: 21 nodes: 21068974 C: [ 49] colours: 25 maxSize: 21 nodes: 21069361 C: [ 181] colours: 24 maxSize: 21 nodes: 21069612 C: [ 199] colours: 23 maxSize: 21 nodes: 21069731 C: [ 46] colours: 22 maxSize: 21 nodes: 21069793 C: [ 58] colours: 22 maxSize: 21 nodes: 21069824 C: [ 26] colours: 23 maxSize: 21 nodes: 21069841 C: [ 53] colours: 22 maxSize: 21 nodes: 21069874 C: [ 111] colours: 22 maxSize: 21 nodes: 21069891 C: [ 13] colours: 21 maxSize: 21 nodes: 21069902 C: [ 16] colours: 23 maxSize: 21 nodes: 21069911 C: [ 97] colours: 21 maxSize: 21 nodes: 21069940 C: [ 191] colours: 23 maxSize: 21 nodes: 21069945 C: [ 194] colours: 21 maxSize: 21 nodes: 21069980 C: [ 94] colours: 22 maxSize: 21 nodes: 21069987 C: [ 104] colours: 22 maxSize: 21 nodes: 21070002 C: [ 131] colours: 19 maxSize: 21 nodes: 21070025 C: [ 188] colours: 22 maxSize: 21 nodes: 21070026 C: [ 96] colours: 21 maxSize: 21 nodes: 21070051 C: [ 108] colours: 21 maxSize: 21 nodes: 21070060 C: [ 120] colours: 21 maxSize: 21 nodes: 21070067 C: [ 143] colours: 19 maxSize: 21 nodes: 21070072 C: [ 195] colours: 21 maxSize: 21 nodes: 21070073 C: [ 197] colours: 19 maxSize: 21 nodes: 21070080 C: [ 70] colours: 19 maxSize: 21 nodes: 21070081 C: [ 122] colours: 21 maxSize: 21 nodes: 21070082 C: [ 126] colours: 19 maxSize: 21 nodes: 21070089 C: [ 3] colours: 18 maxSize: 21 nodes: 21070090 C: [ 36] colours: 18 maxSize: 21 nodes: 21070091 C: [ 132] colours: 20 maxSize: 21 nodes: 21070092 C: [ 107] colours: 20 maxSize: 21 nodes: 21070093 C: [ 137] colours: 19 maxSize: 21 nodes: 21070094 C: [ 138] colours: 19 maxSize: 21 nodes: 21070095 C: [ 144] colours: 16 maxSize: 21 nodes: 21070096 C: [ 156] colours: 17 maxSize: 21 nodes: 21070097 C: [ 42] colours: 18 maxSize: 21 nodes: 21070098 C: [ 59] colours: 18 maxSize: 21 nodes: 21070099 C: [ 103] colours: 17 maxSize: 21 nodes: 21070100 C: [ 15] colours: 16 maxSize: 21 nodes: 21070101 C: [ 48] colours: 16 maxSize: 21 nodes: 21070102 C: [ 101] colours: 16 maxSize: 21 nodes: 21070103 C: [ 114] colours: 17 maxSize: 21 nodes: 21070104 C: [ 139] colours: 16 maxSize: 21 nodes: 21070105 C: [ 8] colours: 16 maxSize: 21 nodes: 21070106 C: [ 32] colours: 15 maxSize: 21 nodes: 21070107 C: [ 34] colours: 15 maxSize: 21 nodes: 21070108 C: [ 73] colours: 14 maxSize: 21 nodes: 21070109 C: [ 82] colours: 14 maxSize: 21 nodes: 21070110 C: [ 20] colours: 15 maxSize: 21 nodes: 21070111 C: [ 79] colours: 15 maxSize: 21 nodes: 21070112 C: [ 100] colours: 15 maxSize: 21 nodes: 21070113 C: [ 115] colours: 15 maxSize: 21 nodes: 21070114 C: [ 129] colours: 15 maxSize: 21 nodes: 21070115 C: [ 4] colours: 15 maxSize: 21 nodes: 21070116 C: [ 27] colours: 14 maxSize: 21 nodes: 21070117 C: [ 50] colours: 13 maxSize: 21 nodes: 21070118 C: [ 83] colours: 12 maxSize: 21 nodes: 21070119 C: [ 116] colours: 11 maxSize: 21 nodes: 21070120 C: [ 149] colours: 10 maxSize: 21 nodes: 21070121 C: [ 152] colours: 9 maxSize: 21 nodes: 21070122 C: [ 159] colours: 8 maxSize: 21 nodes: 21070123 C: [ 164] colours: 7 maxSize: 21 nodes: 21070124 C: [ 165] colours: 6 maxSize: 21 nodes: 21070125 C: [ 172] colours: 5 maxSize: 21 nodes: 21070126 C: [ 175] colours: 4 maxSize: 21 nodes: 21070127 C: [ 180] colours: 3 maxSize: 21 nodes: 21070128 C: [ 189] colours: 2 maxSize: 21 nodes: 21070129 C: [ 190] colours: 1 maxSize: 21 nodes: 21070130 C: [ 193] colours: 0 maxSize: 21 nodes: 21070131 21 21070132 16861 18 20 39 68 73 81 85 87 90 92 93 94 102 108 134 135 136 142 150 178 186