c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 400 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 400 | c | Number Clauses: 400 | 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 | 400 400 1500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 0 | 400 401 1800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 400 402 2100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 403 2400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 404 2700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 405 3000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 406 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 400 407 3600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 400 408 3900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 400 409 4200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 400 410 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 400 411 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 400 412 5100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 400 413 5400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 400 414 5700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 400 415 6000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 400 416 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 400 417 6600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 400 418 6900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 400 419 7200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 400 420 7500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 400 421 7800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 400 422 8100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 400 423 8400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 400 424 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 400 425 9000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 400 426 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 400 427 9600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 400 428 9900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 400 429 10200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 400 430 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 400 431 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 400 432 11100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 400 433 11400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 400 434 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 400 435 12000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 400 436 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 400 437 12600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 400 438 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 400 439 13200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 400 440 13500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 400 441 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 400 442 14100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 400 443 14400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 400 444 14700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 400 445 15000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 400 446 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 400 447 15600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 400 448 15900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 400 449 16200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 400 450 16500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 400 451 16800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 400 452 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 400 453 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 400 454 17700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 246 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 400 455 18000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 245 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 400 456 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 244 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 400 457 18600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 243 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 400 458 18900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 242 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 400 459 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 241 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 400 460 19500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 240 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 400 461 19800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 239 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 400 462 20100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 238 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 400 463 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 237 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 400 464 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 236 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 400 465 21000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 235 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 400 466 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 234 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 400 467 21600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 233 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 400 468 21900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 232 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 400 469 22200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 231 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 400 470 22500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 230 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 400 471 22800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 229 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 400 472 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 228 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 400 473 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 227 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 400 474 23700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 226 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 400 475 24000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 225 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 400 476 24300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 224 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 400 477 24600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 223 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 400 478 24900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 222 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 400 479 25200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 221 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 400 480 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 220 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 400 481 25800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 219 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 400 482 26100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 218 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 400 483 26400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 217 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 400 484 26700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 216 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 400 485 27000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 215 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 400 486 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 214 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 400 487 27600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 213 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 0 | 400 488 27900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 212 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 400 489 28200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 211 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 400 490 28500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 210 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 400 491 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 209 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 400 492 29100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 208 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 1 | 400 493 29400 | 5000 1 212 | 0.000 % | c =============================================================================== c New solution: 207 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 2 | 400 494 29700 | 5000 2 108 | 0.000 % | c =============================================================================== c New solution: 206 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 2 | 400 495 30000 | 5000 2 108 | 0.000 % | c =============================================================================== c New solution: 205 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 4 | 400 496 30300 | 5000 4 57 | 0.000 % | c =============================================================================== c New solution: 204 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 4 | 400 497 30600 | 5000 4 57 | 0.000 % | c =============================================================================== c New solution: 203 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 4 | 400 498 30900 | 5000 4 57 | 0.000 % | c =============================================================================== c New solution: 202 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 4 | 400 499 31200 | 5000 4 57 | 0.000 % | c =============================================================================== c New solution: 201 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 4 | 400 500 31500 | 5000 4 57 | 0.000 % | c =============================================================================== c New solution: 200 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 5 | 400 501 31800 | 5000 5 47 | 0.000 % | c =============================================================================== c New solution: 199 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 5 | 400 502 32100 | 5000 5 47 | 0.000 % | c =============================================================================== c New solution: 198 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 5 | 400 503 32400 | 5000 5 47 | 0.000 % | c =============================================================================== c New solution: 197 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 6 | 400 504 32700 | 5000 6 40 | 0.000 % | c =============================================================================== c New solution: 196 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 6 | 400 505 33000 | 5000 6 40 | 0.000 % | c =============================================================================== c New solution: 195 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 7 | 400 506 33300 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 194 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 7 | 400 507 33600 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 193 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s c =============================================================================== c | 7 | 400 508 33900 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 192 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 7 | 400 509 34200 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 191 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 7 | 400 510 34500 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 190 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 7 | 400 511 34800 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 189 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 7 | 400 512 35100 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 188 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 7 | 400 513 35400 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 187 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 7 | 400 514 35700 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 186 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 7 | 400 515 36000 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 185 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 7 | 400 516 36300 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 184 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 7 | 400 517 36600 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 183 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 7 | 400 518 36900 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 182 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 7 | 400 519 37200 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 181 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 7 | 400 520 37500 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 180 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 7 | 400 521 37800 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 179 c Elapsed CPU time: 0.311952 s Remaining CPU time: 179.688 s c =============================================================================== c | 7 | 400 522 38100 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 178 c Elapsed CPU time: 0.316951 s Remaining CPU time: 179.683 s c =============================================================================== c | 7 | 400 523 38400 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 177 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 7 | 400 524 38700 | 5000 7 63 | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 8 | 400 525 39000 | 5000 8 56 | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 9 | 400 526 39300 | 5000 9 50 | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 9 | 400 527 39600 | 5000 9 50 | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.341948 s Remaining CPU time: 179.658 s c =============================================================================== c | 9 | 400 528 39900 | 5000 9 50 | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s c =============================================================================== c | 9 | 400 529 40200 | 5000 9 50 | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.351946 s Remaining CPU time: 179.648 s c =============================================================================== c | 9 | 400 530 40500 | 5000 9 50 | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 10 | 400 531 40800 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 10 | 400 532 41100 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 10 | 400 533 41400 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 10 | 400 534 41700 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 10 | 400 535 42000 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 10 | 400 536 42300 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.387941 s Remaining CPU time: 179.612 s c =============================================================================== c | 10 | 400 537 42600 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 10 | 400 538 42900 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.398939 s Remaining CPU time: 179.601 s c =============================================================================== c | 10 | 400 539 43200 | 5000 10 46 | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 12 | 400 540 43500 | 5000 12 40 | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 17 | 400 541 43800 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 17 | 400 542 44100 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 17 | 400 543 44400 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 17 | 400 544 44700 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 17 | 400 545 45000 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 17 | 400 546 45300 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 17 | 400 547 45600 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.449931 s Remaining CPU time: 179.55 s c =============================================================================== c | 17 | 400 548 45900 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 17 | 400 549 46200 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s c =============================================================================== c | 17 | 400 550 46500 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 17 | 400 551 46800 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 17 | 400 552 47100 | 5000 17 79 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 18 | 400 553 47400 | 5000 18 75 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.484926 s Remaining CPU time: 179.515 s c =============================================================================== c | 21 | 400 554 47700 | 5000 21 66 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 21 | 400 555 48000 | 5000 21 66 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.496924 s Remaining CPU time: 179.503 s c =============================================================================== c | 21 | 400 556 48300 | 5000 21 66 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.502923 s Remaining CPU time: 179.497 s c =============================================================================== c | 21 | 400 557 48600 | 5000 21 66 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 22 | 400 558 48900 | 5000 22 63 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.514921 s Remaining CPU time: 179.485 s c =============================================================================== c | 22 | 400 559 49200 | 5000 22 63 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.52092 s Remaining CPU time: 179.479 s c =============================================================================== c | 22 | 400 560 49500 | 5000 22 63 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 22 | 400 561 49800 | 5000 22 63 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 22 | 400 562 50100 | 5000 22 63 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.539917 s Remaining CPU time: 179.46 s c =============================================================================== c | 23 | 400 563 50400 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 23 | 400 564 50700 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 23 | 400 565 51000 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 23 | 400 566 51300 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.563914 s Remaining CPU time: 179.436 s c =============================================================================== c | 23 | 400 567 51600 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 23 | 400 568 51900 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 23 | 400 569 52200 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.582911 s Remaining CPU time: 179.417 s c =============================================================================== c | 23 | 400 570 52500 | 5000 23 61 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 24 | 400 571 52800 | 5000 24 64 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 24 | 400 572 53100 | 5000 24 64 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 24 | 400 573 53400 | 5000 24 64 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 26 | 400 574 53700 | 5000 26 64 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 28 | 400 575 54000 | 5000 28 60 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 0.621905 s Remaining CPU time: 179.378 s c =============================================================================== c | 31 | 400 576 54300 | 5000 31 55 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 34 | 400 577 54600 | 5000 34 55 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 35 | 400 578 54900 | 5000 35 57 | 0.000 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 0.641902 s Remaining CPU time: 179.358 s c =============================================================================== c | 35 | 400 579 55200 | 5000 35 57 | 0.000 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 36 | 400 580 55500 | 5000 36 59 | 0.000 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 37 | 400 581 55800 | 5000 37 60 | 0.000 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 0.661899 s Remaining CPU time: 179.338 s c =============================================================================== c | 38 | 400 582 56100 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 40 | 400 583 56400 | 5000 40 62 | 0.000 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s c =============================================================================== c | 41 | 400 584 56700 | 5000 41 63 | 0.000 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 42 | 400 585 57000 | 5000 42 65 | 0.000 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 43 | 400 586 57300 | 5000 43 66 | 0.000 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 44 | 400 587 57600 | 5000 44 67 | 0.000 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 45 | 400 588 57900 | 5000 45 68 | 0.000 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 46 | 400 589 58200 | 5000 46 69 | 0.000 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 47 | 400 590 58500 | 5000 47 70 | 0.000 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.724889 s Remaining CPU time: 179.275 s c =============================================================================== c | 48 | 400 591 58800 | 5000 48 71 | 0.000 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.731888 s Remaining CPU time: 179.268 s c =============================================================================== c | 49 | 400 592 59100 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 0.738887 s Remaining CPU time: 179.261 s c =============================================================================== c | 49 | 400 593 59400 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 51 | 400 594 59700 | 5000 51 71 | 0.000 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 52 | 400 595 60000 | 5000 52 72 | 0.000 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 53 | 400 596 60300 | 5000 53 73 | 0.000 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s c =============================================================================== c | 54 | 400 597 60600 | 5000 54 73 | 0.000 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 0.770882 s Remaining CPU time: 179.229 s c =============================================================================== c | 63 | 400 598 60900 | 5000 63 67 | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 65 | 400 599 61200 | 5000 65 67 | 0.000 % | c =============================================================================== c New solution: 101 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 66 | 400 600 61500 | 5000 66 67 | 0.000 % | c =============================================================================== c New solution: 100 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 67 | 400 601 61800 | 5000 67 68 | 0.000 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 0.797878 s Remaining CPU time: 179.202 s c =============================================================================== c | 68 | 400 602 62100 | 5000 68 68 | 0.000 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 69 | 400 603 62400 | 5000 69 69 | 0.000 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 70 | 400 604 62700 | 5000 70 68 | 0.000 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 70 | 400 605 63000 | 5000 70 68 | 0.000 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s c =============================================================================== c | 70 | 400 606 63300 | 5000 70 68 | 0.000 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 71 | 400 607 63600 | 5000 71 68 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 72 | 400 608 63900 | 5000 72 69 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 73 | 400 609 64200 | 5000 73 69 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 74 | 400 610 64500 | 5000 74 69 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.857869 s Remaining CPU time: 179.142 s c =============================================================================== c | 75 | 400 611 64800 | 5000 75 70 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.865868 s Remaining CPU time: 179.134 s c =============================================================================== c | 76 | 400 612 65100 | 5000 76 70 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 77 | 400 613 65400 | 5000 77 70 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.879866 s Remaining CPU time: 179.12 s c =============================================================================== c | 78 | 400 614 65700 | 5000 78 71 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 79 | 400 615 66000 | 5000 79 71 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 80 | 400 616 66300 | 5000 80 70 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.900863 s Remaining CPU time: 179.099 s c =============================================================================== c | 81 | 400 617 66600 | 5000 81 71 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 82 | 400 618 66900 | 5000 82 71 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 83 | 400 619 67200 | 5000 83 71 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s c =============================================================================== c | 85 | 400 620 67500 | 5000 85 71 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 87 | 400 621 67800 | 5000 87 70 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 93 | 400 622 68100 | 5000 93 67 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 93 | 400 623 68400 | 5000 93 67 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 96 | 400 624 68700 | 5000 96 66 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 97 | 400 625 69000 | 5000 97 66 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.962853 s Remaining CPU time: 179.037 s c =============================================================================== c | 99 | 400 626 69300 | 5000 99 67 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 102 | 400 627 69600 | 5000 102 65 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 107 | 400 628 69900 | 5000 107 63 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 110 | 400 629 70200 | 5000 110 62 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 111 | 400 630 70500 | 5000 111 62 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 111 | 400 631 70800 | 5000 111 62 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 112 | 400 632 71100 | 5000 112 62 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 112 | 400 633 71400 | 5000 112 62 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 1.01684 s Remaining CPU time: 178.983 s c =============================================================================== c | 113 | 400 634 71700 | 5000 113 62 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 1.02384 s Remaining CPU time: 178.976 s c =============================================================================== c | 114 | 400 635 72000 | 5000 114 62 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 1.02984 s Remaining CPU time: 178.97 s c =============================================================================== c | 115 | 400 636 72300 | 5000 115 62 | 0.000 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 1.03684 s Remaining CPU time: 178.963 s c =============================================================================== c | 116 | 400 637 72600 | 5000 116 62 | 0.000 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 1.04284 s Remaining CPU time: 178.957 s c =============================================================================== c | 117 | 400 638 72900 | 5000 117 62 | 0.000 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 118 | 400 639 73200 | 5000 118 62 | 0.000 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 1.05584 s Remaining CPU time: 178.944 s c =============================================================================== c | 119 | 400 640 73500 | 5000 119 62 | 0.000 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 1.06284 s Remaining CPU time: 178.937 s c =============================================================================== c | 120 | 400 641 73800 | 5000 120 62 | 0.000 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 1.06884 s Remaining CPU time: 178.931 s c =============================================================================== c | 120 | 400 642 74100 | 5000 120 62 | 0.000 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 1.07584 s Remaining CPU time: 178.924 s c =============================================================================== c | 121 | 400 643 74400 | 5000 121 62 | 0.000 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 1.08184 s Remaining CPU time: 178.918 s c =============================================================================== c | 121 | 400 644 74700 | 5000 121 62 | 0.000 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 122 | 400 645 75000 | 5000 122 62 | 0.000 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 1.09383 s Remaining CPU time: 178.906 s c =============================================================================== c | 123 | 400 646 75300 | 5000 123 62 | 0.000 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 127 | 400 647 75600 | 5000 127 61 | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 129 | 400 648 75900 | 5000 129 60 | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 1.11183 s Remaining CPU time: 178.888 s c =============================================================================== c | 135 | 400 649 76200 | 5000 135 59 | 0.000 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 1.11783 s Remaining CPU time: 178.882 s c =============================================================================== c | 136 | 400 650 76500 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 1.12283 s Remaining CPU time: 178.877 s c =============================================================================== c | 136 | 400 651 76800 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 1.12883 s Remaining CPU time: 178.871 s c =============================================================================== c | 136 | 400 652 77100 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 1.13483 s Remaining CPU time: 178.865 s c =============================================================================== c | 136 | 400 653 77400 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 136 | 400 654 77700 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 136 | 400 655 78000 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 136 | 400 656 78300 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 136 | 400 657 78600 | 5000 136 58 | 0.000 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 138 | 400 658 78900 | 5000 138 58 | 0.000 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 145 | 400 659 79200 | 5000 145 56 | 0.000 % | c =============================================================================== c New solution: 41 c Elapsed CPU time: 1.17482 s Remaining CPU time: 178.825 s c =============================================================================== c | 151 | 400 660 79500 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 40 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 151 | 400 661 79800 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 39 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 151 | 400 662 80100 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 38 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 151 | 400 663 80400 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 37 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 151 | 400 664 80700 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 36 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 151 | 400 665 81000 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 35 c Elapsed CPU time: 1.20682 s Remaining CPU time: 178.793 s c =============================================================================== c | 151 | 400 666 81300 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 34 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 151 | 400 667 81600 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 33 c Elapsed CPU time: 1.21681 s Remaining CPU time: 178.783 s c =============================================================================== c | 151 | 400 668 81900 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 32 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 151 | 400 669 82200 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 31 c Elapsed CPU time: 1.22581 s Remaining CPU time: 178.774 s c =============================================================================== c | 151 | 400 670 82500 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 30 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 151 | 400 671 82800 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 29 c Elapsed CPU time: 1.23481 s Remaining CPU time: 178.765 s c =============================================================================== c | 151 | 400 672 83100 | 5000 151 55 | 0.000 % | c =============================================================================== c New solution: 28 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 152 | 400 673 83400 | 5000 152 55 | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 1.24781 s Remaining CPU time: 178.752 s c =============================================================================== c | 164 | 400 674 83700 | 5000 164 53 | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 167 | 400 675 84000 | 5000 167 53 | 0.000 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 167 | 400 676 84300 | 5000 167 53 | 0.000 % | c =============================================================================== c New solution: 24 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 167 | 400 677 84600 | 5000 167 53 | 0.000 % | c =============================================================================== c New solution: 23 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s c =============================================================================== c | 167 | 400 678 84900 | 5000 167 53 | 0.000 % | c =============================================================================== c New solution: 22 c Elapsed CPU time: 1.26981 s Remaining CPU time: 178.73 s c =============================================================================== c | 167 | 400 679 85200 | 5000 167 53 | 0.000 % | c =============================================================================== c New solution: 21 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s c =============================================================================== c | 168 | 400 680 85500 | 5000 168 53 | 0.000 % | c =============================================================================== c New solution: 20 c Elapsed CPU time: 1.2768 s Remaining CPU time: 178.723 s c =============================================================================== c | 169 | 400 681 85800 | 5000 169 52 | 0.000 % | c =============================================================================== c New solution: 19 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 170 | 400 682 86100 | 5000 170 52 | 0.000 % | c =============================================================================== c New solution: 18 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 171 | 400 683 86400 | 5000 171 52 | 0.000 % | c =============================================================================== c New solution: 17 c Elapsed CPU time: 1.2898 s Remaining CPU time: 178.71 s c =============================================================================== c | 174 | 400 684 86700 | 5000 174 52 | 0.000 % | c =============================================================================== c New solution: 16 c Elapsed CPU time: 1.2938 s Remaining CPU time: 178.706 s c =============================================================================== c | 174 | 400 685 87000 | 5000 174 52 | 0.000 % | c =============================================================================== c New solution: 15 c Elapsed CPU time: 1.3008 s Remaining CPU time: 178.699 s c =============================================================================== c | 187 | 400 686 87300 | 5000 187 49 | 0.000 % | c | 287 | 400 686 87300 | 5500 287 41 | 0.001 % | c | 437 | 400 686 87300 | 6050 437 37 | 0.001 % | c =============================================================================== c New solution: 14 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s c =============================================================================== c | 463 | 400 687 87600 | 5000 463 37 | 0.001 % | c =============================================================================== c New solution: 13 c Elapsed CPU time: 1.37979 s Remaining CPU time: 178.62 s c =============================================================================== c | 475 | 400 688 87900 | 5000 475 37 | 0.001 % | c =============================================================================== c New solution: 12 c Elapsed CPU time: 1.38379 s Remaining CPU time: 178.616 s c =============================================================================== c | 479 | 400 689 88200 | 5000 479 37 | 0.001 % | c =============================================================================== c New solution: 11 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 504 | 400 690 88500 | 5000 504 36 | 0.001 % | c =============================================================================== c New solution: 10 c Elapsed CPU time: 1.39679 s Remaining CPU time: 178.603 s c =============================================================================== c | 514 | 400 691 88800 | 5000 514 36 | 0.001 % | c =============================================================================== c New solution: 9 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 548 | 400 692 89100 | 5000 548 35 | 0.001 % | c =============================================================================== c New solution: 8 c Elapsed CPU time: 1.41578 s Remaining CPU time: 178.584 s c =============================================================================== c | 568 | 400 693 89400 | 5000 568 34 | 0.001 % | c | 668 | 400 693 89400 | 5500 668 32 | 0.001 % | c =============================================================================== c New solution: 7 c Elapsed CPU time: 1.43978 s Remaining CPU time: 178.56 s c =============================================================================== c | 685 | 400 694 89700 | 5000 685 32 | 0.001 % | c =============================================================================== c New solution: 6 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 709 | 400 695 90000 | 5000 709 31 | 0.001 % | c =============================================================================== c New solution: 5 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s c =============================================================================== c | 792 | 400 696 90300 | 5000 792 32 | 0.001 % | c | 892 | 400 696 90300 | 5500 892 30 | 0.001 % | c =============================================================================== c New solution: 4 c Elapsed CPU time: 1.49377 s Remaining CPU time: 178.506 s c =============================================================================== c | 924 | 400 697 90600 | 5000 924 29 | 0.001 % | c =============================================================================== c New solution: 3 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 1006 | 400 698 90900 | 5000 1006 30 | 0.001 % | c | 1106 | 400 698 90900 | 5500 1106 28 | 0.001 % | c | 1256 | 400 698 90900 | 6050 1256 27 | 0.001 % | c | 1481 | 400 698 90900 | 6655 1481 25 | 0.001 % | c =============================================================================== c New solution: 2 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 1644 | 400 699 91200 | 5000 1644 24 | 0.001 % | c =============================================================================== c New solution: 1 c Elapsed CPU time: 1.71774 s Remaining CPU time: 178.282 s c =============================================================================== c | 1662 | 400 700 91500 | 5000 1662 24 | 0.001 % | c =============================================================================== c New solution: 0 c Elapsed CPU time: 1.72574 s Remaining CPU time: 178.274 s c =============================================================================== c =============================================================================== c Total CPU time: 1.72574 s