c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4455 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 1192 | c | Number Clauses: 4446 | 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 | 1192 4446 9291 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1192 4447 9692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1192 4448 10093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1192 4449 10494 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 1192 4450 10895 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1192 4451 11296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 1192 4452 11697 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1192 4453 12098 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1192 4454 12499 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1192 4455 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1192 4456 13301 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 1192 4457 13702 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1192 4458 14103 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 1192 4459 14504 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 1192 4460 14905 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 1192 4461 15306 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1192 4462 15707 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 1192 4463 16108 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1192 4464 16509 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 1192 4465 16910 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 1192 4466 17311 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1192 4467 17712 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1192 4468 18113 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 1192 4469 18514 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 1192 4470 18915 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1192 4471 19316 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1192 4472 19717 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 1192 4473 20118 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 1192 4474 20519 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 1192 4475 20920 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 1192 4476 21321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 1192 4477 21722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 1192 4478 22123 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 1192 4479 22524 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1192 4480 22925 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 1192 4481 23326 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 1 | 1192 4482 23727 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 1192 4483 24128 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1192 4484 24529 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 1 | 1192 4485 24930 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 1 | 1192 4486 25331 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s c =============================================================================== c | 1 | 1192 4487 25732 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 1192 4488 26133 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 1 | 1192 4489 26534 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 1192 4490 26935 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 1192 4491 27336 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 1192 4492 27737 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 1 | 1192 4493 28138 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 1 | 1192 4494 28539 | 5000 1 370 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 2 | 1192 4495 28940 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 2 | 1192 4496 29341 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 2 | 1192 4497 29742 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 2 | 1192 4498 30143 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 2 | 1192 4499 30544 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 2 | 1192 4500 30945 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 2 | 1192 4501 31346 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 2 | 1192 4502 31747 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 2 | 1192 4503 32148 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 2 | 1192 4504 32549 | 5000 2 362 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 4 | 1192 4505 32950 | 5000 4 352 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 5 | 1192 4506 33351 | 5000 5 350 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 6 | 1192 4507 33752 | 5000 6 349 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 7 | 1192 4508 34153 | 5000 7 348 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 8 | 1192 4509 34554 | 5000 8 347 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 9 | 1192 4510 34955 | 5000 9 308 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 10 | 1192 4511 35356 | 5000 10 311 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 17 | 1192 4512 35757 | 5000 17 322 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 18 | 1192 4513 36158 | 5000 18 323 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 22 | 1192 4514 36559 | 5000 22 325 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 25 | 1192 4515 36960 | 5000 25 326 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 28 | 1192 4516 37361 | 5000 28 326 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 31 | 1192 4517 37762 | 5000 31 327 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 41 | 1192 4518 38163 | 5000 41 328 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 43 | 1192 4519 38564 | 5000 43 328 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 45 | 1192 4520 38965 | 5000 45 328 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.255961 s Remaining CPU time: 179.744 s c =============================================================================== c | 47 | 1192 4521 39366 | 5000 47 328 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 50 | 1192 4522 39767 | 5000 50 328 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 52 | 1192 4523 40168 | 5000 52 328 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 64 | 1192 4524 40569 | 5000 64 327 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 66 | 1192 4525 40970 | 5000 66 327 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 69 | 1192 4526 41371 | 5000 69 327 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.291955 s Remaining CPU time: 179.708 s c =============================================================================== c | 73 | 1192 4527 41772 | 5000 73 327 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 76 | 1192 4528 42173 | 5000 76 326 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 82 | 1192 4529 42574 | 5000 82 326 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 93 | 1192 4530 42975 | 5000 93 325 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 106 | 1192 4531 43376 | 5000 106 324 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 150 | 1192 4532 43777 | 5000 150 322 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 164 | 1192 4533 44178 | 5000 164 322 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.350946 s Remaining CPU time: 179.649 s c =============================================================================== c | 168 | 1192 4534 44579 | 5000 168 322 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 179 | 1192 4535 44980 | 5000 179 321 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 184 | 1192 4536 45381 | 5000 184 321 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 196 | 1192 4537 45782 | 5000 196 320 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 203 | 1192 4538 46183 | 5000 203 320 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 209 | 1192 4539 46584 | 5000 209 320 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 219 | 1192 4540 46985 | 5000 219 319 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 224 | 1192 4541 47386 | 5000 224 319 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 236 | 1192 4542 47787 | 5000 236 318 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.438933 s Remaining CPU time: 179.561 s c =============================================================================== c | 314 | 1192 4543 48188 | 5000 314 315 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 327 | 1192 4544 48589 | 5000 327 315 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 347 | 1192 4545 48990 | 5000 347 314 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 359 | 1192 4546 49391 | 5000 359 314 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 366 | 1192 4547 49792 | 5000 366 314 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 378 | 1192 4548 50193 | 5000 378 313 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 394 | 1192 4549 50594 | 5000 394 313 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.52392 s Remaining CPU time: 179.476 s c =============================================================================== c | 491 | 1192 4550 50995 | 5000 491 310 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 513 | 1192 4551 51396 | 5000 513 310 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.548916 s Remaining CPU time: 179.451 s c =============================================================================== c | 541 | 1192 4552 51797 | 5000 541 309 | 0.000 % | c | 641 | 1192 4552 51797 | 5500 641 307 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 759 | 1192 4553 52198 | 5000 759 306 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 846 | 1192 4554 52599 | 5000 846 304 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.6539 s Remaining CPU time: 179.346 s c =============================================================================== c | 868 | 1192 4555 53000 | 5000 868 304 | 0.000 % | c | 968 | 1192 4555 53000 | 5500 968 303 | 0.000 % | c | 1118 | 1192 4555 53000 | 6050 1118 302 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 1209 | 1192 4556 53401 | 5000 1209 301 | 0.000 % | c | 1309 | 1192 4556 53401 | 5500 1309 301 | 0.000 % | c | 1459 | 1192 4556 53401 | 6050 1459 300 | 0.000 % | c | 1684 | 1192 4556 53401 | 6655 1684 299 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.903862 s Remaining CPU time: 179.096 s c =============================================================================== c | 1753 | 1192 4557 53802 | 5000 1753 298 | 0.000 % | c | 1853 | 1192 4557 53802 | 5500 1853 298 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 1898 | 1192 4558 54203 | 5000 1898 298 | 0.000 % | c | 1998 | 1192 4558 54203 | 5500 1998 297 | 0.000 % | c | 2148 | 1192 4558 54203 | 6050 2148 297 | 0.000 % | c | 2373 | 1192 4558 54203 | 6655 2373 296 | 0.000 % | c | 2711 | 1192 4558 54203 | 7320 2711 296 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 1.16582 s Remaining CPU time: 178.834 s c =============================================================================== c | 2782 | 1192 4559 54604 | 5000 2782 296 | 0.000 % | c | 2882 | 1192 4559 54604 | 5500 2882 295 | 0.000 % | c | 3032 | 1192 4559 54604 | 6050 3032 295 | 0.000 % | c | 3257 | 1192 4559 54604 | 6655 3257 295 | 0.000 % | c | 3594 | 1192 4559 54604 | 7320 3594 294 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 1.51077 s Remaining CPU time: 178.489 s c =============================================================================== c | 4085 | 1192 4560 55005 | 5000 4085 294 | 0.000 % | c | 4185 | 1192 4560 55005 | 5500 4185 294 | 0.000 % | c | 4335 | 1192 4560 55005 | 6050 4335 293 | 0.000 % | c | 4560 | 1192 4560 55005 | 6655 4560 293 | 0.000 % | c | 4898 | 1192 4560 55005 | 7320 4898 293 | 0.000 % | c | 5404 | 1192 4560 55005 | 8052 5404 292 | 0.000 % | c | 6163 | 1192 4560 55005 | 8857 6163 292 | 0.000 % | c | 7302 | 1192 4560 55005 | 9743 7302 292 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s c =============================================================================== c | 8264 | 1192 4561 55406 | 5000 8264 291 | 0.000 % | c | 8364 | 1192 4561 55406 | 5500 4232 289 | 0.000 % | c | 8514 | 1192 4561 55406 | 6050 4382 289 | 0.000 % | c | 8739 | 1192 4561 55406 | 6655 4607 289 | 0.000 % | c | 9077 | 1192 4561 55406 | 7320 4945 289 | 0.000 % | c | 9584 | 1192 4561 55406 | 8052 5452 289 | 0.000 % | c | 10343 | 1192 4561 55406 | 8857 6211 288 | 0.000 % | c | 11483 | 1192 4561 55406 | 9743 7351 288 | 0.000 % | c | 13191 | 1192 4561 55406 | 10717 9059 288 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 4.00939 s Remaining CPU time: 175.991 s c =============================================================================== c | 13255 | 1192 4562 55807 | 5000 9123 288 | 0.000 % | c | 13355 | 1192 4562 55807 | 5500 4662 288 | 0.000 % | c | 13505 | 1192 4562 55807 | 6050 4812 288 | 0.000 % | c | 13730 | 1192 4562 55807 | 6655 5037 288 | 0.000 % | c | 14067 | 1192 4562 55807 | 7320 5374 288 | 0.000 % | c | 14574 | 1192 4562 55807 | 8052 5881 288 | 0.000 % | c | 15333 | 1192 4562 55807 | 8857 6640 288 | 0.000 % | c | 16472 | 1192 4562 55807 | 9743 7779 288 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 5.44217 s Remaining CPU time: 174.558 s c =============================================================================== c | 17722 | 1192 4563 56208 | 5000 9029 288 | 0.000 % | c | 17822 | 1192 4563 56208 | 5500 4615 287 | 0.000 % | c | 17974 | 1192 4563 56208 | 6050 4767 287 | 0.000 % | c | 18199 | 1192 4563 56208 | 6655 4992 287 | 0.000 % | c | 18536 | 1192 4563 56208 | 7320 5329 287 | 0.000 % | c | 19042 | 1192 4563 56208 | 8052 5835 287 | 0.000 % | c | 19802 | 1192 4563 56208 | 8857 6595 287 | 0.000 % | c | 20941 | 1192 4563 56208 | 9743 7734 287 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 7.07992 s Remaining CPU time: 172.92 s c =============================================================================== c | 22296 | 1192 4564 56609 | 5000 9089 287 | 0.000 % | c | 22396 | 1192 4564 56609 | 5500 4645 286 | 0.000 % | c | 22547 | 1192 4564 56609 | 6050 4796 286 | 0.000 % | c | 22774 | 1192 4564 56609 | 6655 5023 286 | 0.000 % | c | 23111 | 1192 4564 56609 | 7320 5360 286 | 0.000 % | c | 23617 | 1192 4564 56609 | 8052 5866 286 | 0.000 % | c | 24377 | 1192 4564 56609 | 8857 6626 286 | 0.000 % | c | 25516 | 1192 4564 56609 | 9743 7765 286 | 0.000 % | c | 27224 | 1192 4564 56609 | 10717 9473 286 | 0.000 % | c | 29786 | 1192 4564 56609 | 11789 6527 285 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 10.1795 s Remaining CPU time: 169.821 s c =============================================================================== c | 32545 | 1192 4565 57010 | 5000 9286 285 | 0.000 % | c | 32645 | 1192 4565 57010 | 5500 4743 285 | 0.000 % | c | 32795 | 1192 4565 57010 | 6050 4893 285 | 0.000 % | c | 33020 | 1192 4565 57010 | 6655 5118 285 | 0.000 % | c | 33357 | 1192 4565 57010 | 7320 5455 285 | 0.000 % | c | 33863 | 1192 4565 57010 | 8052 5961 285 | 0.000 % | c | 34622 | 1192 4565 57010 | 8857 6720 285 | 0.000 % | c | 35761 | 1192 4565 57010 | 9743 7859 285 | 0.000 % | c | 37469 | 1192 4565 57010 | 10717 9567 285 | 0.000 % | c | 40031 | 1192 4565 57010 | 11789 6617 284 | 0.000 % | c | 43875 | 1192 4565 57010 | 12968 10461 284 | 0.000 % | c | 49642 | 1192 4565 57010 | 14265 9595 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 18.5232 s Remaining CPU time: 161.477 s c =============================================================================== c | 55831 | 1192 4566 57411 | 5000 8498 285 | 0.000 % | c | 55931 | 1192 4566 57411 | 5500 4349 285 | 0.000 % | c | 56081 | 1192 4566 57411 | 6050 4499 285 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 18.7242 s Remaining CPU time: 161.276 s c =============================================================================== c | 56178 | 1192 4567 57812 | 5000 4596 285 | 0.000 % | c | 56278 | 1192 4567 57812 | 5500 4696 285 | 0.000 % | c | 56429 | 1192 4567 57812 | 6050 4847 285 | 0.000 % | c | 56654 | 1192 4567 57812 | 6655 5072 285 | 0.000 % | c | 56991 | 1192 4567 57812 | 7320 5409 285 | 0.000 % | c | 57498 | 1192 4567 57812 | 8052 5916 284 | 0.000 % | c | 58257 | 1192 4567 57812 | 8857 6675 284 | 0.000 % | c | 59396 | 1192 4567 57812 | 9743 7814 284 | 0.000 % | c | 61106 | 1192 4567 57812 | 10717 9524 284 | 0.000 % | c | 63668 | 1192 4567 57812 | 11789 6572 283 | 0.000 % | c | 67512 | 1192 4567 57812 | 12968 10416 283 | 0.000 % | c | 73278 | 1192 4567 57812 | 14265 9551 283 | 0.000 % | c | 81928 | 1192 4567 57812 | 15692 10912 284 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 33.3179 s Remaining CPU time: 146.682 s c =============================================================================== c | 90938 | 1192 4568 58213 | 5000 11933 283 | 0.000 % | c | 91038 | 1192 4568 58213 | 5500 3084 283 | 0.000 % | c | 91188 | 1192 4568 58213 | 6050 3234 283 | 0.000 % | c | 91413 | 1192 4568 58213 | 6655 3459 283 | 0.000 % | c | 91751 | 1192 4568 58213 | 7320 3797 283 | 0.000 % | c | 92257 | 1192 4568 58213 | 8052 4303 283 | 0.000 % | c | 93016 | 1192 4568 58213 | 8857 5062 283 | 0.000 % | c | 94155 | 1192 4568 58213 | 9743 6201 282 | 0.000 % | c | 95863 | 1192 4568 58213 | 10717 7909 282 | 0.000 % | c | 98425 | 1192 4568 58213 | 11789 10471 282 | 0.000 % | c | 102270 | 1192 4568 58213 | 12968 8268 282 | 0.000 % | c | 108036 | 1192 4568 58213 | 14265 7404 282 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 39.8139 s Remaining CPU time: 140.186 s c =============================================================================== c | 108141 | 1192 4569 58614 | 5000 7509 282 | 0.000 % | c | 108241 | 1192 4569 58614 | 5500 3855 282 | 0.000 % | c | 108391 | 1192 4569 58614 | 6050 4005 282 | 0.000 % | c | 108616 | 1192 4569 58614 | 6655 4230 282 | 0.000 % | c | 108953 | 1192 4569 58614 | 7320 4567 282 | 0.000 % | c | 109459 | 1192 4569 58614 | 8052 5073 282 | 0.000 % | c | 110218 | 1192 4569 58614 | 8857 5832 281 | 0.000 % | c | 111357 | 1192 4569 58614 | 9743 6971 281 | 0.000 % | c | 113065 | 1192 4569 58614 | 10717 8679 281 | 0.000 % | c | 115628 | 1192 4569 58614 | 11789 5692 281 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 43.0435 s Remaining CPU time: 136.957 s c =============================================================================== c | 115910 | 1192 4570 59015 | 5000 5974 281 | 0.000 % | c | 116010 | 1192 4570 59015 | 5500 3087 280 | 0.000 % | c | 116160 | 1192 4570 59015 | 6050 3237 280 | 0.000 % | c | 116386 | 1192 4570 59015 | 6655 3463 280 | 0.000 % | c | 116724 | 1192 4570 59015 | 7320 3801 280 | 0.000 % | c | 117230 | 1192 4570 59015 | 8052 4307 280 | 0.000 % | c | 117989 | 1192 4570 59015 | 8857 5066 280 | 0.000 % | c | 119128 | 1192 4570 59015 | 9743 6205 280 | 0.000 % | c | 120837 | 1192 4570 59015 | 10717 7914 280 | 0.000 % | c | 123399 | 1192 4570 59015 | 11789 10476 280 | 0.000 % | c | 127243 | 1192 4570 59015 | 12968 8285 280 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 49.9754 s Remaining CPU time: 130.025 s c =============================================================================== c | 132836 | 1192 4571 59416 | 5000 7231 280 | 0.000 % | c | 132936 | 1192 4571 59416 | 5500 3716 280 | 0.000 % | c | 133087 | 1192 4571 59416 | 6050 3867 280 | 0.000 % | c | 133313 | 1192 4571 59416 | 6655 4093 280 | 0.000 % | c | 133650 | 1192 4571 59416 | 7320 4430 280 | 0.000 % | c | 134157 | 1192 4571 59416 | 8052 4937 280 | 0.000 % | c | 134916 | 1192 4571 59416 | 8857 5696 280 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 51.0322 s Remaining CPU time: 128.968 s c =============================================================================== c | 135534 | 1192 4572 59817 | 5000 6314 279 | 0.000 % | c | 135634 | 1192 4572 59817 | 5500 3257 279 | 0.000 % | c | 135784 | 1192 4572 59817 | 6050 3407 279 | 0.000 % | c | 136009 | 1192 4572 59817 | 6655 3632 278 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 51.2982 s Remaining CPU time: 128.702 s c =============================================================================== c | 136200 | 1192 4573 60218 | 5000 3823 278 | 0.000 % | c | 136300 | 1192 4573 60218 | 5500 3923 278 | 0.000 % | c | 136450 | 1192 4573 60218 | 6050 4073 278 | 0.000 % | c | 136675 | 1192 4573 60218 | 6655 4298 278 | 0.000 % | c | 137012 | 1192 4573 60218 | 7320 4635 278 | 0.000 % | c | 137519 | 1192 4573 60218 | 8052 5142 278 | 0.000 % | c | 138278 | 1192 4573 60218 | 8857 5901 278 | 0.000 % | c | 139417 | 1192 4573 60218 | 9743 7040 278 | 0.000 % | c | 141125 | 1192 4573 60218 | 10717 8748 277 | 0.000 % | c | 143687 | 1192 4573 60218 | 11789 5800 276 | 0.000 % | c | 147531 | 1192 4573 60218 | 12968 9644 277 | 0.000 % | c | 153298 | 1192 4573 60218 | 14265 8768 277 | 0.000 % | c | 161947 | 1192 4573 60218 | 15692 10138 277 | 0.000 % | c | 174921 | 1192 4573 60218 | 17261 15120 277 | 0.000 % | c | 194382 | 1192 4573 60218 | 18987 16950 277 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 83.8952 s Remaining CPU time: 96.1048 s c =============================================================================== c | 209812 | 1192 4574 60619 | 5000 13097 277 | 0.000 % | c | 209913 | 1192 4574 60619 | 5500 3376 276 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 84.1192 s Remaining CPU time: 95.8808 s c =============================================================================== c | 210003 | 1192 4575 61020 | 5000 3466 276 | 0.000 % | c | 210103 | 1192 4575 61020 | 5500 3566 276 | 0.000 % | c | 210253 | 1192 4575 61020 | 6050 3716 276 | 0.000 % | c | 210478 | 1192 4575 61020 | 6655 3941 276 | 0.000 % | c | 210815 | 1192 4575 61020 | 7320 4278 276 | 0.000 % | c | 211321 | 1192 4575 61020 | 8052 4784 276 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 84.6701 s Remaining CPU time: 95.3299 s c =============================================================================== c | 211401 | 1192 4576 61421 | 5000 4864 276 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 84.7121 s Remaining CPU time: 95.2879 s c =============================================================================== c | 211481 | 1192 4577 61822 | 5000 4944 276 | 0.000 % | c | 211581 | 1192 4577 61822 | 5500 5044 276 | 0.000 % | c | 211731 | 1192 4577 61822 | 6050 5194 276 | 0.000 % | c | 211957 | 1192 4577 61822 | 6655 5420 276 | 0.000 % | c | 212294 | 1192 4577 61822 | 7320 5757 275 | 0.000 % | c | 212800 | 1192 4577 61822 | 8052 6263 275 | 0.000 % | c | 213559 | 1192 4577 61822 | 8857 7022 275 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 85.696 s Remaining CPU time: 94.304 s c =============================================================================== c | 214367 | 1192 4578 62223 | 5000 7830 275 | 0.000 % | c | 214467 | 1192 4578 62223 | 5500 4015 272 | 0.000 % | c | 214617 | 1192 4578 62223 | 6050 4165 272 | 0.000 % | c | 214842 | 1192 4578 62223 | 6655 4390 272 | 0.000 % | c | 215179 | 1192 4578 62223 | 7320 4727 272 | 0.000 % | c | 215685 | 1192 4578 62223 | 8052 5233 272 | 0.000 % | c | 216444 | 1192 4578 62223 | 8857 5992 272 | 0.000 % | c | 217583 | 1192 4578 62223 | 9743 7131 272 | 0.000 % | c | 219291 | 1192 4578 62223 | 10717 8839 272 | 0.000 % | c | 221853 | 1192 4578 62223 | 11789 5864 271 | 0.000 % | c | 225698 | 1192 4578 62223 | 12968 9709 272 | 0.000 % | c | 231464 | 1192 4578 62223 | 14265 8799 272 | 0.000 % | c | 240113 | 1192 4578 62223 | 15692 10176 272 | 0.000 % | c | 253087 | 1192 4578 62223 | 17261 15128 272 | 0.000 % | c | 272548 | 1192 4578 62223 | 18987 17032 272 | 0.000 % | c | 301740 | 1192 4578 62223 | 20886 17287 272 | 0.000 % |