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.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 300 304 1900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 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.002999 s Remaining CPU time: 179.997 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.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 311 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 300 312 3500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 313 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 314 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 315 4100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 316 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 300 317 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 300 318 4700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 300 319 4900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 300 320 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 300 321 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 300 322 5500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 300 323 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 300 324 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 300 325 6100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 300 326 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 300 327 6500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 300 328 6700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 300 329 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 300 330 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 300 331 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 300 332 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 300 333 7700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 300 334 7900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 300 335 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 300 336 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 300 337 8500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 300 338 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 300 339 8900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 300 340 9100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 300 341 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 300 342 9500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 300 343 9700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 300 344 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 300 345 10100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 300 346 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 300 347 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 300 348 10700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 300 349 10900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 300 350 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 300 351 11300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 300 352 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 300 353 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 300 354 11900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 300 355 12100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 300 356 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 300 357 12500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 300 358 12700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 300 359 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 300 360 13100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 300 361 13300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 300 362 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 300 363 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 300 364 13900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 300 365 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 300 366 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 300 367 14500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 300 368 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 300 369 14900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 300 370 15100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 300 371 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 300 372 15500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 300 373 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 300 374 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 300 375 16100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 300 376 16300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 300 377 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 300 378 16700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 300 379 16900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 300 380 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 300 381 17300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 300 382 17500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 300 383 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 300 384 17900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 300 385 18100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 300 386 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 300 387 18500 | 5000 1 118 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 300 388 18700 | 5000 1 118 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 2 | 300 389 18900 | 5000 2 61 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 2 | 300 390 19100 | 5000 2 61 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 2 | 300 391 19300 | 5000 2 61 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 5 | 300 392 19500 | 5000 5 29 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 5 | 300 393 19700 | 5000 5 29 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 5 | 300 394 19900 | 5000 5 29 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 5 | 300 395 20100 | 5000 5 29 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 6 | 300 396 20300 | 5000 6 24 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 9 | 300 397 20500 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 9 | 300 398 20700 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 9 | 300 399 20900 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 9 | 300 400 21100 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 9 | 300 401 21300 | 5000 9 30 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 11 | 300 402 21500 | 5000 11 26 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 11 | 300 403 21700 | 5000 11 26 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 12 | 300 404 21900 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 12 | 300 405 22100 | 5000 12 24 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 15 | 300 406 22300 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 15 | 300 407 22500 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 15 | 300 408 22700 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 15 | 300 409 22900 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 15 | 300 410 23100 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.145977 s Remaining CPU time: 179.854 s c =============================================================================== c | 15 | 300 411 23300 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 15 | 300 412 23500 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 15 | 300 413 23700 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 15 | 300 414 23900 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 15 | 300 415 24100 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 15 | 300 416 24300 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 15 | 300 417 24500 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 15 | 300 418 24700 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 15 | 300 419 24900 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 15 | 300 420 25100 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 15 | 300 421 25300 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 15 | 300 422 25500 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 15 | 300 423 25700 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 15 | 300 424 25900 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 15 | 300 425 26100 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 15 | 300 426 26300 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 15 | 300 427 26500 | 5000 15 39 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 17 | 300 428 26700 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 17 | 300 429 26900 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 17 | 300 430 27100 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 17 | 300 431 27300 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 17 | 300 432 27500 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 17 | 300 433 27700 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 17 | 300 434 27900 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 17 | 300 435 28100 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 17 | 300 436 28300 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 17 | 300 437 28500 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 17 | 300 438 28700 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 17 | 300 439 28900 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 17 | 300 440 29100 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 17 | 300 441 29300 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 17 | 300 442 29500 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 17 | 300 443 29700 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 17 | 300 444 29900 | 5000 17 36 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 18 | 300 445 30100 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 18 | 300 446 30300 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 18 | 300 447 30500 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 18 | 300 448 30700 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 18 | 300 449 30900 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 18 | 300 450 31100 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 18 | 300 451 31300 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 18 | 300 452 31500 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 18 | 300 453 31700 | 5000 18 34 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 21 | 300 454 31900 | 5000 21 33 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 22 | 300 455 32100 | 5000 22 32 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 22 | 300 456 32300 | 5000 22 32 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 22 | 300 457 32500 | 5000 22 32 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 22 | 300 458 32700 | 5000 22 32 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 22 | 300 459 32900 | 5000 22 32 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 23 | 300 460 33100 | 5000 23 31 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 23 | 300 461 33300 | 5000 23 31 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 24 | 300 462 33500 | 5000 24 30 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 24 | 300 463 33700 | 5000 24 30 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 25 | 300 464 33900 | 5000 25 31 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 25 | 300 465 34100 | 5000 25 31 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 25 | 300 466 34300 | 5000 25 31 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 25 | 300 467 34500 | 5000 25 31 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 25 | 300 468 34700 | 5000 25 31 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s c =============================================================================== c | 25 | 300 469 34900 | 5000 25 31 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 25 | 300 470 35100 | 5000 25 31 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 36 | 300 471 35300 | 5000 36 28 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 37 | 300 472 35500 | 5000 37 28 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 41 | 300 473 35700 | 5000 41 28 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 42 | 300 474 35900 | 5000 42 28 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 43 | 300 475 36100 | 5000 43 28 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 47 | 300 476 36300 | 5000 47 27 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 49 | 300 477 36500 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 49 | 300 478 36700 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 49 | 300 479 36900 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 49 | 300 480 37100 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 49 | 300 481 37300 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 49 | 300 482 37500 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 49 | 300 483 37700 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 49 | 300 484 37900 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 0.300954 s Remaining CPU time: 179.699 s c =============================================================================== c | 49 | 300 485 38100 | 5000 49 28 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 0.301954 s Remaining CPU time: 179.698 s c =============================================================================== c | 50 | 300 486 38300 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 50 | 300 487 38500 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 50 | 300 488 38700 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 50 | 300 489 38900 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 0.308953 s Remaining CPU time: 179.691 s c =============================================================================== c | 50 | 300 490 39100 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 50 | 300 491 39300 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 50 | 300 492 39500 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 50 | 300 493 39700 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s c =============================================================================== c | 50 | 300 494 39900 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 50 | 300 495 40100 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 50 | 300 496 40300 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 50 | 300 497 40500 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 50 | 300 498 40700 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 50 | 300 499 40900 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 50 | 300 500 41100 | 5000 50 27 | 0.000 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c =============================================================================== c Total CPU time: 0.32395 s