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 | 3 | 300 301 1300 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 300 302 1500 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 300 303 1700 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 3 | 300 304 1900 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 300 305 2100 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 300 306 2300 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 300 307 2500 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 300 308 2700 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 300 309 2900 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 3 | 300 310 3100 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 3 | 300 311 3300 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 3 | 300 312 3500 | 5000 3 4 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 4 | 300 313 3700 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 4 | 300 314 3900 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 4 | 300 315 4100 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 4 | 300 316 4300 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 4 | 300 317 4500 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 4 | 300 318 4700 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 4 | 300 319 4900 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 4 | 300 320 5100 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 4 | 300 321 5300 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 4 | 300 322 5500 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 4 | 300 323 5700 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 4 | 300 324 5900 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 4 | 300 325 6100 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 4 | 300 326 6300 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 4 | 300 327 6500 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 4 | 300 328 6700 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 4 | 300 329 6900 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 4 | 300 330 7100 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 4 | 300 331 7300 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 4 | 300 332 7500 | 5000 4 5 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 5 | 300 333 7700 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 5 | 300 334 7900 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 5 | 300 335 8100 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 5 | 300 336 8300 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 5 | 300 337 8500 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 5 | 300 338 8700 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 5 | 300 339 8900 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 5 | 300 340 9100 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 5 | 300 341 9300 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 5 | 300 342 9500 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 5 | 300 343 9700 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 5 | 300 344 9900 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 5 | 300 345 10100 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 5 | 300 346 10300 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 5 | 300 347 10500 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 5 | 300 348 10700 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 5 | 300 349 10900 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 5 | 300 350 11100 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 5 | 300 351 11300 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 5 | 300 352 11500 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 5 | 300 353 11700 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 5 | 300 354 11900 | 5000 5 38 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 6 | 300 355 12100 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 6 | 300 356 12300 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 6 | 300 357 12500 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 6 | 300 358 12700 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 6 | 300 359 12900 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 6 | 300 360 13100 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 6 | 300 361 13300 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 6 | 300 362 13500 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 6 | 300 363 13700 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 6 | 300 364 13900 | 5000 6 33 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 7 | 300 365 14100 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 7 | 300 366 14300 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 7 | 300 367 14500 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 7 | 300 368 14700 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 7 | 300 369 14900 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 7 | 300 370 15100 | 5000 7 29 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 8 | 300 371 15300 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 8 | 300 372 15500 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 8 | 300 373 15700 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 8 | 300 374 15900 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 8 | 300 375 16100 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 8 | 300 376 16300 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 8 | 300 377 16500 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 8 | 300 378 16700 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 8 | 300 379 16900 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 8 | 300 380 17100 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 8 | 300 381 17300 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 8 | 300 382 17500 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 8 | 300 383 17700 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 8 | 300 384 17900 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 8 | 300 385 18100 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 8 | 300 386 18300 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 8 | 300 387 18500 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 8 | 300 388 18700 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 8 | 300 389 18900 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 8 | 300 390 19100 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 8 | 300 391 19300 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 8 | 300 392 19500 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 8 | 300 393 19700 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 8 | 300 394 19900 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 8 | 300 395 20100 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 8 | 300 396 20300 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 8 | 300 397 20500 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 8 | 300 398 20700 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 8 | 300 399 20900 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 8 | 300 400 21100 | 5000 8 26 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 9 | 300 401 21300 | 5000 9 24 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 11 | 300 402 21500 | 5000 11 39 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 12 | 300 403 21700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 12 | 300 404 21900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 12 | 300 405 22100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 12 | 300 406 22300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 12 | 300 407 22500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 12 | 300 408 22700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 12 | 300 409 22900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 12 | 300 410 23100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 12 | 300 411 23300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 12 | 300 412 23500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 12 | 300 413 23700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 12 | 300 414 23900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 12 | 300 415 24100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 12 | 300 416 24300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 12 | 300 417 24500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 12 | 300 418 24700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 12 | 300 419 24900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 12 | 300 420 25100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 12 | 300 421 25300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 12 | 300 422 25500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 12 | 300 423 25700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 12 | 300 424 25900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 12 | 300 425 26100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 12 | 300 426 26300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 12 | 300 427 26500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 12 | 300 428 26700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 12 | 300 429 26900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 12 | 300 430 27100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 12 | 300 431 27300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 12 | 300 432 27500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 12 | 300 433 27700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 12 | 300 434 27900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 12 | 300 435 28100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 12 | 300 436 28300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 12 | 300 437 28500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 12 | 300 438 28700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 12 | 300 439 28900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 12 | 300 440 29100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 12 | 300 441 29300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 12 | 300 442 29500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 12 | 300 443 29700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 12 | 300 444 29900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 12 | 300 445 30100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 12 | 300 446 30300 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 12 | 300 447 30500 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 12 | 300 448 30700 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 12 | 300 449 30900 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 12 | 300 450 31100 | 5000 12 36 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 13 | 300 451 31300 | 5000 13 37 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 14 | 300 452 31500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 14 | 300 453 31700 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 14 | 300 454 31900 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 14 | 300 455 32100 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 14 | 300 456 32300 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 14 | 300 457 32500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 14 | 300 458 32700 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 14 | 300 459 32900 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 0.25796 s Remaining CPU time: 179.742 s c =============================================================================== c | 14 | 300 460 33100 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 14 | 300 461 33300 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 14 | 300 462 33500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 14 | 300 463 33700 | 5000 14 35 | 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 35 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 14 | 300 465 34100 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 14 | 300 466 34300 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 14 | 300 467 34500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 14 | 300 468 34700 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 14 | 300 469 34900 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 14 | 300 470 35100 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 14 | 300 471 35300 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 14 | 300 472 35500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 14 | 300 473 35700 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 14 | 300 474 35900 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 14 | 300 475 36100 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 14 | 300 476 36300 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 14 | 300 477 36500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 14 | 300 478 36700 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 0.290955 s Remaining CPU time: 179.709 s c =============================================================================== c | 14 | 300 479 36900 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 14 | 300 480 37100 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 14 | 300 481 37300 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 14 | 300 482 37500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 14 | 300 483 37700 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 14 | 300 484 37900 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 14 | 300 485 38100 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 14 | 300 486 38300 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 14 | 300 487 38500 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 14 | 300 488 38700 | 5000 14 35 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 15 | 300 489 38900 | 5000 15 33 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 16 | 300 490 39100 | 5000 16 32 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 16 | 300 491 39300 | 5000 16 32 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 16 | 300 492 39500 | 5000 16 32 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 16 | 300 493 39700 | 5000 16 32 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 17 | 300 494 39900 | 5000 17 32 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 20 | 300 495 40100 | 5000 20 29 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 20 | 300 496 40300 | 5000 20 29 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 20 | 300 497 40500 | 5000 20 29 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 23 | 300 498 40700 | 5000 23 26 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 25 | 300 499 40900 | 5000 25 25 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 32 | 300 500 41100 | 5000 32 23 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c =============================================================================== c Total CPU time: 0.32495 s