c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 300 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 300 | c | Number Clauses: 300 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 300 300 1100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 300 301 1300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 300 302 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 300 303 1700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 304 1900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 305 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 306 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 307 2500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 300 308 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 309 2900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 310 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 311 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 300 312 3500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 300 313 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 300 314 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 300 315 4100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 300 316 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 317 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 318 4700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 319 4900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 320 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 300 321 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 300 322 5500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 300 323 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 300 324 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 300 325 6100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 300 326 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 300 327 6500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 300 328 6700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 300 329 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 300 330 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 300 331 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 300 332 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 300 333 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 300 334 7900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 300 335 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 300 336 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 300 337 8500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 300 338 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 300 339 8900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 300 340 9100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 300 341 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 300 342 9500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 300 343 9700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 300 344 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 300 345 10100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 300 346 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 300 347 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 300 348 10700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 300 349 10900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 300 350 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 300 351 11300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 300 352 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 300 353 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 300 354 11900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 300 355 12100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 300 356 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 300 357 12500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 300 358 12700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 300 359 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 300 360 13100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 300 361 13300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 300 362 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 300 363 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 300 364 13900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 300 365 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 300 366 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 300 367 14500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 300 368 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 300 369 14900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 300 370 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 300 371 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 300 372 15500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 300 373 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 300 374 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 300 375 16100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 300 376 16300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 300 377 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 300 378 16700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 300 379 16900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 300 380 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 300 381 17300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 0 | 300 382 17500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 300 383 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 300 384 17900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 300 385 18100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 300 386 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 300 387 18500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 0 | 300 388 18700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 300 389 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 300 390 19100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 300 391 19300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 0 | 300 392 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 300 393 19700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 0 | 300 394 19900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 300 395 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 300 396 20300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 300 397 20500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 300 398 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 300 399 20900 | 5000 1 106 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 1 | 300 400 21100 | 5000 1 106 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 1 | 300 401 21300 | 5000 1 106 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 300 402 21500 | 5000 1 106 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 2 | 300 403 21700 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 2 | 300 404 21900 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 2 | 300 405 22100 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 2 | 300 406 22300 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 2 | 300 407 22500 | 5000 2 56 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 3 | 300 408 22700 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 3 | 300 409 22900 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 3 | 300 410 23100 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 3 | 300 411 23300 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 3 | 300 412 23500 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 3 | 300 413 23700 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 3 | 300 414 23900 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 3 | 300 415 24100 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 3 | 300 416 24300 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 3 | 300 417 24500 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 3 | 300 418 24700 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 3 | 300 419 24900 | 5000 3 39 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 4 | 300 420 25100 | 5000 4 31 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 6 | 300 421 25300 | 5000 6 23 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 7 | 300 422 25500 | 5000 7 20 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 7 | 300 423 25700 | 5000 7 20 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 7 | 300 424 25900 | 5000 7 20 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 7 | 300 425 26100 | 5000 7 20 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 8 | 300 426 26300 | 5000 8 19 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 10 | 300 427 26500 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 10 | 300 428 26700 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 10 | 300 429 26900 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 10 | 300 430 27100 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 10 | 300 431 27300 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 10 | 300 432 27500 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 10 | 300 433 27700 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 10 | 300 434 27900 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 10 | 300 435 28100 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 10 | 300 436 28300 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 10 | 300 437 28500 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 10 | 300 438 28700 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s c =============================================================================== c | 10 | 300 439 28900 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 10 | 300 440 29100 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 10 | 300 441 29300 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 10 | 300 442 29500 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 10 | 300 443 29700 | 5000 10 23 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 11 | 300 444 29900 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 11 | 300 445 30100 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 11 | 300 446 30300 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 11 | 300 447 30500 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 11 | 300 448 30700 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 11 | 300 449 30900 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 11 | 300 450 31100 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 11 | 300 451 31300 | 5000 11 22 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 12 | 300 452 31500 | 5000 12 20 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 12 | 300 453 31700 | 5000 12 20 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 13 | 300 454 31900 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 13 | 300 455 32100 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 13 | 300 456 32300 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 13 | 300 457 32500 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 13 | 300 458 32700 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 13 | 300 459 32900 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 13 | 300 460 33100 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 13 | 300 461 33300 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 13 | 300 462 33500 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 13 | 300 463 33700 | 5000 13 19 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 14 | 300 464 33900 | 5000 14 19 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 15 | 300 465 34100 | 5000 15 21 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 16 | 300 466 34300 | 5000 16 20 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 16 | 300 467 34500 | 5000 16 20 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 16 | 300 468 34700 | 5000 16 20 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 18 | 300 469 34900 | 5000 18 20 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 22 | 300 470 35100 | 5000 22 23 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 23 | 300 471 35300 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 23 | 300 472 35500 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 23 | 300 473 35700 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 23 | 300 474 35900 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 23 | 300 475 36100 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 23 | 300 476 36300 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 23 | 300 477 36500 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 23 | 300 478 36700 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 23 | 300 479 36900 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 23 | 300 480 37100 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 23 | 300 481 37300 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 23 | 300 482 37500 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 23 | 300 483 37700 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 23 | 300 484 37900 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 23 | 300 485 38100 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 23 | 300 486 38300 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 23 | 300 487 38500 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 23 | 300 488 38700 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 23 | 300 489 38900 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 23 | 300 490 39100 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 23 | 300 491 39300 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 23 | 300 492 39500 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 23 | 300 493 39700 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 23 | 300 494 39900 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 23 | 300 495 40100 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 23 | 300 496 40300 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 23 | 300 497 40500 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 23 | 300 498 40700 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 23 | 300 499 40900 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 23 | 300 500 41100 | 5000 23 22 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c =============================================================================== c Total CPU time: 0.32795 s