c wbo 1.4 beta - 20100610 c | Number of variables: 800 | c | Number of clauses: 4478 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1183 | c | Number Clauses: 4465 | 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 | 1183 4465 9334 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 1183 4466 9730 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1183 4467 10126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 1183 4468 10522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 1183 4469 10918 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 1183 4470 11314 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 1183 4471 11710 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1183 4472 12106 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 1183 4473 12502 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 1183 4474 12898 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 1183 4475 13294 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 1183 4476 13690 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 1183 4477 14086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 1183 4478 14482 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 1183 4479 14878 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 1183 4480 15274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 1183 4481 15670 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 1183 4482 16066 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 1183 4483 16462 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 1183 4484 16858 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 1183 4485 17254 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 1183 4486 17650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 1183 4487 18046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 1183 4488 18442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 1183 4489 18838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 1183 4490 19234 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 1183 4491 19630 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 1183 4492 20026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 1183 4493 20422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 1183 4494 20818 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 1 | 1183 4495 21214 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 1183 4496 21610 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 1 | 1183 4497 22006 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 1 | 1183 4498 22402 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 1183 4499 22798 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 1 | 1183 4500 23194 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 1183 4501 23590 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 1 | 1183 4502 23986 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 1 | 1183 4503 24382 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 1 | 1183 4504 24778 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s c =============================================================================== c | 1 | 1183 4505 25174 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 1 | 1183 4506 25570 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 1183 4507 25966 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 1 | 1183 4508 26362 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 1183 4509 26758 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 1183 4510 27154 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s c =============================================================================== c | 1 | 1183 4511 27550 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 1 | 1183 4512 27946 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 1183 4513 28342 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 1 | 1183 4514 28738 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 1 | 1183 4515 29134 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 1183 4516 29530 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 1183 4517 29926 | 5000 1 368 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 2 | 1183 4518 30322 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 2 | 1183 4519 30718 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 2 | 1183 4520 31114 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 2 | 1183 4521 31510 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 2 | 1183 4522 31906 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 2 | 1183 4523 32302 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 2 | 1183 4524 32698 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 2 | 1183 4525 33094 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 2 | 1183 4526 33490 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 2 | 1183 4527 33886 | 5000 2 356 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 3 | 1183 4528 34282 | 5000 3 349 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 3 | 1183 4529 34678 | 5000 3 349 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 3 | 1183 4530 35074 | 5000 3 349 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 5 | 1183 4531 35470 | 5000 5 342 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 5 | 1183 4532 35866 | 5000 5 342 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 5 | 1183 4533 36262 | 5000 5 342 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 5 | 1183 4534 36658 | 5000 5 342 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 6 | 1183 4535 37054 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 6 | 1183 4536 37450 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 6 | 1183 4537 37846 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 6 | 1183 4538 38242 | 5000 6 340 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 8 | 1183 4539 38638 | 5000 8 335 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 9 | 1183 4540 39034 | 5000 9 334 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 9 | 1183 4541 39430 | 5000 9 334 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 10 | 1183 4542 39826 | 5000 10 333 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 0.26096 s Remaining CPU time: 179.739 s c =============================================================================== c | 19 | 1183 4543 40222 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 19 | 1183 4544 40618 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 19 | 1183 4545 41014 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 0.276957 s Remaining CPU time: 179.723 s c =============================================================================== c | 19 | 1183 4546 41410 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 19 | 1183 4547 41806 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 19 | 1183 4548 42202 | 5000 19 327 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 20 | 1183 4549 42598 | 5000 20 326 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 21 | 1183 4550 42994 | 5000 21 325 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 22 | 1183 4551 43390 | 5000 22 325 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 22 | 1183 4552 43786 | 5000 22 325 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 22 | 1183 4553 44182 | 5000 22 325 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 23 | 1183 4554 44578 | 5000 23 324 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 23 | 1183 4555 44974 | 5000 23 324 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 23 | 1183 4556 45370 | 5000 23 324 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 23 | 1183 4557 45766 | 5000 23 324 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 37 | 1183 4558 46162 | 5000 37 317 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 0.361944 s Remaining CPU time: 179.638 s c =============================================================================== c | 38 | 1183 4559 46558 | 5000 38 316 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 40 | 1183 4560 46954 | 5000 40 316 | 0.000 % | c =============================================================================== c New solution: 301 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 55 | 1183 4561 47350 | 5000 55 312 | 0.000 % | c =============================================================================== c New solution: 300 c Elapsed CPU time: 0.38994 s Remaining CPU time: 179.61 s c =============================================================================== c | 70 | 1183 4562 47746 | 5000 70 310 | 0.000 % | c =============================================================================== c New solution: 299 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 79 | 1183 4563 48142 | 5000 79 308 | 0.000 % | c =============================================================================== c New solution: 298 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 100 | 1183 4564 48538 | 5000 100 306 | 0.000 % | c =============================================================================== c New solution: 297 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 102 | 1183 4565 48934 | 5000 102 306 | 0.000 % | c =============================================================================== c New solution: 296 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 136 | 1183 4566 49330 | 5000 136 304 | 0.000 % | c =============================================================================== c New solution: 295 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 155 | 1183 4567 49726 | 5000 155 303 | 0.000 % | c =============================================================================== c New solution: 294 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s c =============================================================================== c | 171 | 1183 4568 50122 | 5000 171 302 | 0.000 % | c | 271 | 1183 4568 50122 | 5500 271 299 | 0.000 % | c | 422 | 1183 4568 50122 | 6050 422 298 | 0.000 % | c =============================================================================== c New solution: 293 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 530 | 1183 4569 50518 | 5000 530 297 | 0.000 % | c | 630 | 1183 4569 50518 | 5500 630 296 | 0.000 % | c =============================================================================== c New solution: 292 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 751 | 1183 4570 50914 | 5000 751 296 | 0.000 % | c | 851 | 1183 4570 50914 | 5500 851 296 | 0.000 % | c | 1001 | 1183 4570 50914 | 6050 1001 295 | 0.000 % | c | 1226 | 1183 4570 50914 | 6655 1226 295 | 0.000 % | c =============================================================================== c New solution: 291 c Elapsed CPU time: 0.776881 s Remaining CPU time: 179.223 s c =============================================================================== c | 1233 | 1183 4571 51310 | 5000 1233 295 | 0.000 % | c | 1334 | 1183 4571 51310 | 5500 1334 294 | 0.000 % | c =============================================================================== c New solution: 290 c Elapsed CPU time: 0.822874 s Remaining CPU time: 179.177 s c =============================================================================== c | 1341 | 1183 4572 51706 | 5000 1341 294 | 0.000 % | c | 1441 | 1183 4572 51706 | 5500 1441 294 | 0.000 % | c | 1591 | 1183 4572 51706 | 6050 1591 294 | 0.000 % | c | 1816 | 1183 4572 51706 | 6655 1816 293 | 0.000 % | c | 2153 | 1183 4572 51706 | 7320 2153 293 | 0.000 % | c =============================================================================== c New solution: 289 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 2557 | 1183 4573 52102 | 5000 2557 292 | 0.000 % | c | 2657 | 1183 4573 52102 | 5500 2657 292 | 0.000 % | c | 2807 | 1183 4573 52102 | 6050 2807 292 | 0.000 % | c | 3032 | 1183 4573 52102 | 6655 3032 292 | 0.000 % | c | 3369 | 1183 4573 52102 | 7320 3369 292 | 0.000 % | c | 3875 | 1183 4573 52102 | 8052 3875 291 | 0.000 % | c | 4636 | 1183 4573 52102 | 8857 4636 291 | 0.000 % | c =============================================================================== c New solution: 288 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 5013 | 1183 4574 52498 | 5000 5013 291 | 0.000 % | c =============================================================================== c New solution: 287 c Elapsed CPU time: 1.9677 s Remaining CPU time: 178.032 s c =============================================================================== c | 5093 | 1183 4575 52894 | 5000 2587 290 | 0.000 % | c =============================================================================== c New solution: 286 c Elapsed CPU time: 2.00069 s Remaining CPU time: 177.999 s c =============================================================================== c | 5161 | 1183 4576 53290 | 5000 2655 289 | 0.000 % | c | 5262 | 1183 4576 53290 | 5500 2756 289 | 0.000 % | c | 5413 | 1183 4576 53290 | 6050 2907 289 | 0.000 % | c | 5638 | 1183 4576 53290 | 6655 3132 289 | 0.000 % | c =============================================================================== c New solution: 285 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 5934 | 1183 4577 53686 | 5000 3428 289 | 0.000 % | c | 6034 | 1183 4577 53686 | 5500 3528 289 | 0.000 % | c | 6184 | 1183 4577 53686 | 6050 3678 289 | 0.000 % | c | 6409 | 1183 4577 53686 | 6655 3903 288 | 0.000 % | c =============================================================================== c New solution: 284 c Elapsed CPU time: 2.44163 s Remaining CPU time: 177.558 s c =============================================================================== c | 6623 | 1183 4578 54082 | 5000 4117 288 | 0.000 % | c | 6723 | 1183 4578 54082 | 5500 4217 288 | 0.000 % | c | 6874 | 1183 4578 54082 | 6050 4368 288 | 0.000 % | c | 7099 | 1183 4578 54082 | 6655 4593 288 | 0.000 % | c | 7436 | 1183 4578 54082 | 7320 4930 288 | 0.000 % | c | 7942 | 1183 4578 54082 | 8052 5436 287 | 0.000 % | c =============================================================================== c New solution: 283 c Elapsed CPU time: 2.96555 s Remaining CPU time: 177.034 s c =============================================================================== c | 8217 | 1183 4579 54478 | 5000 5711 287 | 0.000 % | c | 8317 | 1183 4579 54478 | 5500 2956 285 | 0.000 % | c | 8467 | 1183 4579 54478 | 6050 3106 285 | 0.000 % | c | 8692 | 1183 4579 54478 | 6655 3331 285 | 0.000 % | c | 9029 | 1183 4579 54478 | 7320 3668 285 | 0.000 % | c =============================================================================== c New solution: 282 c Elapsed CPU time: 3.35949 s Remaining CPU time: 176.641 s c =============================================================================== c | 9429 | 1183 4580 54874 | 5000 4068 285 | 0.000 % | c | 9530 | 1183 4580 54874 | 5500 4169 285 | 0.000 % | c =============================================================================== c New solution: 281 c Elapsed CPU time: 3.44548 s Remaining CPU time: 176.555 s c =============================================================================== c | 9676 | 1183 4581 55270 | 5000 4315 285 | 0.000 % | c | 9776 | 1183 4581 55270 | 5500 4415 285 | 0.000 % | c | 9927 | 1183 4581 55270 | 6050 4566 284 | 0.000 % | c | 10152 | 1183 4581 55270 | 6655 4791 284 | 0.000 % | c | 10489 | 1183 4581 55270 | 7320 5128 284 | 0.000 % | c | 10995 | 1183 4581 55270 | 8052 5634 284 | 0.000 % | c =============================================================================== c New solution: 280 c Elapsed CPU time: 3.9454 s Remaining CPU time: 176.055 s c =============================================================================== c | 11316 | 1183 4582 55666 | 5000 5955 284 | 0.000 % | c | 11416 | 1183 4582 55666 | 5500 3078 282 | 0.000 % | c | 11567 | 1183 4582 55666 | 6050 3229 282 | 0.000 % | c | 11793 | 1183 4582 55666 | 6655 3455 282 | 0.000 % | c | 12131 | 1183 4582 55666 | 7320 3793 282 | 0.000 % | c | 12637 | 1183 4582 55666 | 8052 4299 282 | 0.000 % | c | 13396 | 1183 4582 55666 | 8857 5058 282 | 0.000 % | c | 14535 | 1183 4582 55666 | 9743 6197 282 | 0.000 % | c =============================================================================== c New solution: 279 c Elapsed CPU time: 5.13022 s Remaining CPU time: 174.87 s c =============================================================================== c | 15243 | 1183 4583 56062 | 5000 6905 281 | 0.000 % | c | 15343 | 1183 4583 56062 | 5500 3553 281 | 0.000 % | c | 15493 | 1183 4583 56062 | 6050 3703 281 | 0.000 % | c | 15718 | 1183 4583 56062 | 6655 3928 281 | 0.000 % | c | 16056 | 1183 4583 56062 | 7320 4266 280 | 0.000 % | c | 16562 | 1183 4583 56062 | 8052 4772 280 | 0.000 % | c | 17321 | 1183 4583 56062 | 8857 5531 280 | 0.000 % | c =============================================================================== c New solution: 278 c Elapsed CPU time: 5.84111 s Remaining CPU time: 174.159 s c =============================================================================== c | 17349 | 1183 4584 56458 | 5000 5559 280 | 0.000 % | c | 17449 | 1183 4584 56458 | 5500 2880 280 | 0.000 % | c | 17599 | 1183 4584 56458 | 6050 3030 280 | 0.000 % | c | 17824 | 1183 4584 56458 | 6655 3255 280 | 0.000 % | c | 18161 | 1183 4584 56458 | 7320 3592 279 | 0.000 % | c | 18667 | 1183 4584 56458 | 8052 4098 279 | 0.000 % | c | 19426 | 1183 4584 56458 | 8857 4857 279 | 0.000 % | c =============================================================================== c New solution: 277 c Elapsed CPU time: 6.67798 s Remaining CPU time: 173.322 s c =============================================================================== c | 19849 | 1183 4585 56854 | 5000 5280 279 | 0.000 % | c | 19949 | 1183 4585 56854 | 5500 2740 279 | 0.000 % | c | 20100 | 1183 4585 56854 | 6050 2891 278 | 0.000 % | c | 20326 | 1183 4585 56854 | 6655 3117 278 | 0.000 % | c | 20663 | 1183 4585 56854 | 7320 3454 278 | 0.000 % | c | 21169 | 1183 4585 56854 | 8052 3960 278 | 0.000 % | c | 21928 | 1183 4585 56854 | 8857 4719 278 | 0.000 % | c | 23067 | 1183 4585 56854 | 9743 5858 278 | 0.000 % | c =============================================================================== c New solution: 276 c Elapsed CPU time: 7.8868 s Remaining CPU time: 172.113 s c =============================================================================== c | 23802 | 1183 4586 57250 | 5000 6593 278 | 0.000 % | c | 23903 | 1183 4586 57250 | 5500 3398 278 | 0.000 % | c | 24054 | 1183 4586 57250 | 6050 3549 278 | 0.000 % | c | 24279 | 1183 4586 57250 | 6655 3774 278 | 0.000 % | c | 24617 | 1183 4586 57250 | 7320 4112 278 | 0.000 % | c | 25123 | 1183 4586 57250 | 8052 4618 277 | 0.000 % | c =============================================================================== c New solution: 275 c Elapsed CPU time: 8.34773 s Remaining CPU time: 171.652 s c =============================================================================== c | 25204 | 1183 4587 57646 | 5000 4699 277 | 0.000 % | c | 25304 | 1183 4587 57646 | 5500 4799 277 | 0.000 % | c | 25455 | 1183 4587 57646 | 6050 4950 277 | 0.000 % | c | 25680 | 1183 4587 57646 | 6655 5175 277 | 0.000 % | c =============================================================================== c New solution: 274 c Elapsed CPU time: 8.5297 s Remaining CPU time: 171.47 s c =============================================================================== c | 25767 | 1183 4588 58042 | 5000 5262 277 | 0.000 % | c | 25867 | 1183 4588 58042 | 5500 2731 276 | 0.000 % | c | 26017 | 1183 4588 58042 | 6050 2881 276 | 0.000 % | c | 26242 | 1183 4588 58042 | 6655 3106 276 | 0.000 % | c | 26580 | 1183 4588 58042 | 7320 3444 276 | 0.000 % | c | 27086 | 1183 4588 58042 | 8052 3950 276 | 0.000 % | c | 27845 | 1183 4588 58042 | 8857 4709 276 | 0.000 % | c =============================================================================== c New solution: 273 c Elapsed CPU time: 9.25859 s Remaining CPU time: 170.741 s c =============================================================================== c | 28447 | 1183 4589 58438 | 5000 5311 276 | 0.000 % | c | 28547 | 1183 4589 58438 | 5500 2756 275 | 0.000 % | c | 28697 | 1183 4589 58438 | 6050 2906 274 | 0.000 % | c =============================================================================== c New solution: 272 c Elapsed CPU time: 9.37857 s Remaining CPU time: 170.621 s c =============================================================================== c | 28821 | 1183 4590 58834 | 5000 3030 274 | 0.000 % | c | 28921 | 1183 4590 58834 | 5500 3130 274 | 0.000 % | c =============================================================================== c New solution: 271 c Elapsed CPU time: 9.43456 s Remaining CPU time: 170.565 s c =============================================================================== c | 28992 | 1183 4591 59230 | 5000 3201 274 | 0.000 % | c | 29092 | 1183 4591 59230 | 5500 3301 274 | 0.000 % | c | 29243 | 1183 4591 59230 | 6050 3452 274 | 0.000 % | c | 29468 | 1183 4591 59230 | 6655 3677 274 | 0.000 % | c | 29806 | 1183 4591 59230 | 7320 4015 274 | 0.000 % | c | 30312 | 1183 4591 59230 | 8052 4521 274 | 0.000 % | c =============================================================================== c New solution: 270 c Elapsed CPU time: 9.8455 s Remaining CPU time: 170.154 s c =============================================================================== c | 30502 | 1183 4592 59626 | 5000 4711 274 | 0.000 % | c | 30602 | 1183 4592 59626 | 5500 4811 273 | 0.000 % | c | 30752 | 1183 4592 59626 | 6050 4961 273 | 0.000 % | c | 30977 | 1183 4592 59626 | 6655 5186 273 | 0.000 % | c | 31314 | 1183 4592 59626 | 7320 5523 273 | 0.000 % | c =============================================================================== c New solution: 269 c Elapsed CPU time: 10.0995 s Remaining CPU time: 169.901 s c =============================================================================== c | 31347 | 1183 4593 60022 | 5000 5556 273 | 0.000 % | c =============================================================================== c New solution: 268 c Elapsed CPU time: 10.1275 s Remaining CPU time: 169.873 s c =============================================================================== c | 31357 | 1183 4594 60418 | 5000 2788 271 | 0.000 % | c | 31457 | 1183 4594 60418 | 5500 2888 271 | 0.000 % | c | 31607 | 1183 4594 60418 | 6050 3038 271 | 0.000 % | c | 31832 | 1183 4594 60418 | 6655 3263 271 | 0.000 % | c =============================================================================== c New solution: 267 c Elapsed CPU time: 10.2974 s Remaining CPU time: 169.703 s c =============================================================================== c | 31855 | 1183 4595 60814 | 5000 3286 271 | 0.000 % | c | 31955 | 1183 4595 60814 | 5500 3386 271 | 0.000 % | c | 32105 | 1183 4595 60814 | 6050 3536 271 | 0.000 % | c | 32330 | 1183 4595 60814 | 6655 3761 271 | 0.000 % | c | 32667 | 1183 4595 60814 | 7320 4098 270 | 0.000 % | c | 33173 | 1183 4595 60814 | 8052 4604 270 | 0.000 % | c | 33933 | 1183 4595 60814 | 8857 5364 270 | 0.000 % | c | 35072 | 1183 4595 60814 | 9743 6503 269 | 0.000 % | c | 36780 | 1183 4595 60814 | 10717 8211 269 | 0.000 % | c | 39342 | 1183 4595 60814 | 11789 10773 269 | 0.000 % | c | 43186 | 1183 4595 60814 | 12968 8561 268 | 0.000 % | c =============================================================================== c New solution: 266 c Elapsed CPU time: 14.4598 s Remaining CPU time: 165.54 s c =============================================================================== c | 44584 | 1183 4596 61210 | 5000 9959 268 | 0.000 % | c | 44684 | 1183 4596 61210 | 5500 5080 268 | 0.000 % | c | 44835 | 1183 4596 61210 | 6050 5231 268 | 0.000 % | c | 45060 | 1183 4596 61210 | 6655 5456 268 | 0.000 % | c | 45399 | 1183 4596 61210 | 7320 5795 268 | 0.000 % | c | 45905 | 1183 4596 61210 | 8052 6301 268 | 0.000 % | c | 46664 | 1183 4596 61210 | 8857 7060 267 | 0.000 % | c | 47804 | 1183 4596 61210 | 9743 8200 267 | 0.000 % | c | 49512 | 1183 4596 61210 | 10717 9908 267 | 0.000 % | c =============================================================================== c New solution: 265 c Elapsed CPU time: 16.3305 s Remaining CPU time: 163.669 s c =============================================================================== c | 49909 | 1183 4597 61606 | 5000 10305 267 | 0.000 % | c | 50009 | 1183 4597 61606 | 5500 2677 266 | 0.000 % | c | 50159 | 1183 4597 61606 | 6050 2827 266 | 0.000 % | c | 50385 | 1183 4597 61606 | 6655 3053 266 | 0.000 % | c | 50722 | 1183 4597 61606 | 7320 3390 266 | 0.000 % | c | 51228 | 1183 4597 61606 | 8052 3896 266 | 0.000 % | c | 51988 | 1183 4597 61606 | 8857 4656 266 | 0.000 % | c | 53127 | 1183 4597 61606 | 9743 5795 266 | 0.000 % | c | 54835 | 1183 4597 61606 | 10717 7503 266 | 0.000 % | c =============================================================================== c New solution: 264 c Elapsed CPU time: 18.4682 s Remaining CPU time: 161.532 s c =============================================================================== c | 55729 | 1183 4598 62002 | 5000 8397 266 | 0.000 % | c | 55829 | 1183 4598 62002 | 5500 4299 266 | 0.000 % | c | 55979 | 1183 4598 62002 | 6050 4449 266 | 0.000 % | c | 56204 | 1183 4598 62002 | 6655 4674 266 | 0.000 % | c | 56541 | 1183 4598 62002 | 7320 5011 266 | 0.000 % | c | 57047 | 1183 4598 62002 | 8052 5517 266 | 0.000 % | c | 57806 | 1183 4598 62002 | 8857 6276 266 | 0.000 % | c | 58945 | 1183 4598 62002 | 9743 7415 266 | 0.000 % | c =============================================================================== c New solution: 263 c Elapsed CPU time: 20.2459 s Remaining CPU time: 159.754 s c =============================================================================== c | 60283 | 1183 4599 62398 | 5000 8753 266 | 0.000 % | c | 60384 | 1183 4599 62398 | 5500 4478 265 | 0.000 % | c | 60534 | 1183 4599 62398 | 6050 4628 265 | 0.000 % | c | 60759 | 1183 4599 62398 | 6655 4853 265 | 0.000 % | c | 61096 | 1183 4599 62398 | 7320 5190 265 | 0.000 % | c | 61602 | 1183 4599 62398 | 8052 5696 265 | 0.000 % | c | 62361 | 1183 4599 62398 | 8857 6455 265 | 0.000 % | c | 63500 | 1183 4599 62398 | 9743 7594 264 | 0.000 % | c | 65208 | 1183 4599 62398 | 10717 9302 264 | 0.000 % | c =============================================================================== c New solution: 262 c Elapsed CPU time: 22.1606 s Remaining CPU time: 157.839 s c =============================================================================== c | 66339 | 1183 4600 62794 | 5000 10433 264 | 0.000 % | c | 66439 | 1183 4600 62794 | 5500 2709 263 | 0.000 % | c | 66589 | 1183 4600 62794 | 6050 2859 263 | 0.000 % | c | 66814 | 1183 4600 62794 | 6655 3084 263 | 0.000 % | c | 67151 | 1183 4600 62794 | 7320 3421 263 | 0.000 % | c | 67657 | 1183 4600 62794 | 8052 3927 263 | 0.000 % | c =============================================================================== c New solution: 261 c Elapsed CPU time: 22.9195 s Remaining CPU time: 157.08 s c =============================================================================== c | 68300 | 1183 4601 63190 | 5000 4570 263 | 0.000 % | c | 68400 | 1183 4601 63190 | 5500 4670 263 | 0.000 % | c | 68550 | 1183 4601 63190 | 6050 4820 263 | 0.000 % | c | 68776 | 1183 4601 63190 | 6655 5046 263 | 0.000 % | c | 69113 | 1183 4601 63190 | 7320 5383 263 | 0.000 % | c | 69619 | 1183 4601 63190 | 8052 5889 263 | 0.000 % | c =============================================================================== c New solution: 260 c Elapsed CPU time: 23.5004 s Remaining CPU time: 156.5 s c =============================================================================== c | 70230 | 1183 4602 63586 | 5000 6500 263 | 0.000 % | c =============================================================================== c New solution: 259 c Elapsed CPU time: 23.5674 s Remaining CPU time: 156.433 s c =============================================================================== c | 70318 | 1183 4603 63982 | 5000 3338 262 | 0.000 % | c | 70418 | 1183 4603 63982 | 5500 3438 262 | 0.000 % | c | 70568 | 1183 4603 63982 | 6050 3588 262 | 0.000 % | c | 70794 | 1183 4603 63982 | 6655 3814 262 | 0.000 % | c | 71133 | 1183 4603 63982 | 7320 4153 261 | 0.000 % | c =============================================================================== c New solution: 258 c Elapsed CPU time: 23.8484 s Remaining CPU time: 156.152 s c =============================================================================== c | 71209 | 1183 4604 64378 | 5000 4229 261 | 0.000 % | c | 71309 | 1183 4604 64378 | 5500 4329 261 | 0.000 % | c | 71459 | 1183 4604 64378 | 6050 4479 261 | 0.000 % | c =============================================================================== c New solution: 257 c Elapsed CPU time: 24.0004 s Remaining CPU time: 156 s c =============================================================================== c | 71645 | 1183 4605 64774 | 5000 4665 261 | 0.000 % | c | 71745 | 1183 4605 64774 | 5500 4765 261 | 0.000 % | c | 71895 | 1183 4605 64774 | 6050 4915 261 | 0.000 % | c | 72120 | 1183 4605 64774 | 6655 5140 261 | 0.000 % | c =============================================================================== c New solution: 256 c Elapsed CPU time: 24.2603 s Remaining CPU time: 155.74 s c =============================================================================== c | 72417 | 1183 4606 65170 | 5000 5437 261 | 0.000 % | c | 72517 | 1183 4606 65170 | 5500 2819 259 | 0.000 % | c | 72667 | 1183 4606 65170 | 6050 2969 259 | 0.000 % | c | 72893 | 1183 4606 65170 | 6655 3195 259 | 0.000 % | c | 73230 | 1183 4606 65170 | 7320 3532 258 | 0.000 % | c | 73736 | 1183 4606 65170 | 8052 4038 258 | 0.000 % | c =============================================================================== c New solution: 255 c Elapsed CPU time: 24.9092 s Remaining CPU time: 155.091 s c =============================================================================== c | 74448 | 1183 4607 65566 | 5000 4750 258 | 0.000 % | c | 74549 | 1183 4607 65566 | 5500 4851 258 | 0.000 % | c | 74699 | 1183 4607 65566 | 6050 5001 258 | 0.000 % | c | 74924 | 1183 4607 65566 | 6655 5226 258 | 0.000 % | c | 75261 | 1183 4607 65566 | 7320 5563 258 | 0.000 % | c | 75767 | 1183 4607 65566 | 8052 6069 258 | 0.000 % | c | 76527 | 1183 4607 65566 | 8857 6829 257 | 0.000 % | c | 77666 | 1183 4607 65566 | 9743 7968 257 | 0.000 % | c | 79374 | 1183 4607 65566 | 10717 9676 257 | 0.000 % | c | 81938 | 1183 4607 65566 | 11789 6738 256 | 0.000 % | c | 85782 | 1183 4607 65566 | 12968 10582 256 | 0.000 % | c =============================================================================== c New solution: 254 c Elapsed CPU time: 28.8856 s Remaining CPU time: 151.114 s c =============================================================================== c | 86178 | 1183 4608 65962 | 5000 10978 256 | 0.000 % | c | 86280 | 1183 4608 65962 | 5500 2847 256 | 0.000 % | c | 86431 | 1183 4608 65962 | 6050 2998 256 | 0.000 % | c | 86657 | 1183 4608 65962 | 6655 3224 256 | 0.000 % | c | 86994 | 1183 4608 65962 | 7320 3561 256 | 0.000 % | c | 87500 | 1183 4608 65962 | 8052 4067 256 | 0.000 % | c | 88260 | 1183 4608 65962 | 8857 4827 256 | 0.000 % | c | 89400 | 1183 4608 65962 | 9743 5967 255 | 0.000 % | c | 91109 | 1183 4608 65962 | 10717 7676 255 | 0.000 % | c | 93671 | 1183 4608 65962 | 11789 10238 255 | 0.000 % | c | 97515 | 1183 4608 65962 | 12968 8038 255 | 0.000 % | c =============================================================================== c New solution: 253 c Elapsed CPU time: 32.869 s Remaining CPU time: 147.131 s c =============================================================================== c | 97714 | 1183 4609 66358 | 5000 8237 255 | 0.000 % | c | 97814 | 1183 4609 66358 | 5500 4219 255 | 0.000 % | c | 97964 | 1183 4609 66358 | 6050 4369 255 | 0.000 % | c | 98189 | 1183 4609 66358 | 6655 4594 255 | 0.000 % | c | 98526 | 1183 4609 66358 | 7320 4931 255 | 0.000 % | c | 99032 | 1183 4609 66358 | 8052 5437 255 | 0.000 % | c | 99791 | 1183 4609 66358 | 8857 6196 255 | 0.000 % | c | 100931 | 1183 4609 66358 | 9743 7336 254 | 0.000 % | c | 102639 | 1183 4609 66358 | 10717 9044 254 | 0.000 % | c | 105201 | 1183 4609 66358 | 11789 6106 254 | 0.000 % | c | 109045 | 1183 4609 66358 | 12968 9950 254 | 0.000 % | c =============================================================================== c New solution: 252 c Elapsed CPU time: 38.1482 s Remaining CPU time: 141.852 s c =============================================================================== c | 113490 | 1183 4610 66754 | 5000 7755 254 | 0.000 % | c | 113590 | 1183 4610 66754 | 5500 3978 254 | 0.000 % | c | 113740 | 1183 4610 66754 | 6050 4128 254 | 0.000 % | c | 113965 | 1183 4610 66754 | 6655 4353 254 | 0.000 % | c | 114302 | 1183 4610 66754 | 7320 4690 254 | 0.000 % | c | 114808 | 1183 4610 66754 | 8052 5196 254 | 0.000 % | c | 115567 | 1183 4610 66754 | 8857 5955 254 | 0.000 % | c | 116706 | 1183 4610 66754 | 9743 7094 254 | 0.000 % | c | 118414 | 1183 4610 66754 | 10717 8802 254 | 0.000 % | c | 120976 | 1183 4610 66754 | 11789 5850 253 | 0.000 % | c | 124820 | 1183 4610 66754 | 12968 9694 253 | 0.000 % | c =============================================================================== c New solution: 251 c Elapsed CPU time: 42.0806 s Remaining CPU time: 137.919 s c =============================================================================== c | 125163 | 1183 4611 67150 | 5000 10037 253 | 0.000 % | c | 125263 | 1183 4611 67150 | 5500 2610 253 | 0.000 % | c | 125413 | 1183 4611 67150 | 6050 2760 253 | 0.000 % | c | 125638 | 1183 4611 67150 | 6655 2985 253 | 0.000 % | c | 125975 | 1183 4611 67150 | 7320 3322 253 | 0.000 % | c | 126481 | 1183 4611 67150 | 8052 3828 253 | 0.000 % | c | 127240 | 1183 4611 67150 | 8857 4587 253 | 0.000 % | c =============================================================================== c New solution: 250 c Elapsed CPU time: 43.0685 s Remaining CPU time: 136.932 s c =============================================================================== c | 127957 | 1183 4612 67546 | 5000 5304 253 | 0.000 % | c | 128057 | 1183 4612 67546 | 5500 2752 252 | 0.000 % | c | 128207 | 1183 4612 67546 | 6050 2902 252 | 0.000 % | c | 128432 | 1183 4612 67546 | 6655 3127 252 | 0.000 % | c | 128769 | 1183 4612 67546 | 7320 3464 252 | 0.000 % | c | 129275 | 1183 4612 67546 | 8052 3970 252 | 0.000 % | c | 130034 | 1183 4612 67546 | 8857 4729 252 | 0.000 % | c | 131173 | 1183 4612 67546 | 9743 5868 252 | 0.000 % | c | 132881 | 1183 4612 67546 | 10717 7576 251 | 0.000 % | c | 135443 | 1183 4612 67546 | 11789 10138 251 | 0.000 % | c | 139287 | 1183 4612 67546 | 12968 7946 251 | 0.000 % | c | 145054 | 1183 4612 67546 | 14265 7100 251 | 0.000 % | c | 153704 | 1183 4612 67546 | 15692 8475 251 | 0.000 % | c =============================================================================== c New solution: 249 c Elapsed CPU time: 55.7685 s Remaining CPU time: 124.231 s c =============================================================================== c | 159326 | 1183 4613 67942 | 5000 14097 251 | 0.000 % | c | 159426 | 1183 4613 67942 | 5500 3625 251 | 0.000 % | c | 159577 | 1183 4613 67942 | 6050 3776 251 | 0.000 % | c | 159802 | 1183 4613 67942 | 6655 4001 251 | 0.000 % | c | 160139 | 1183 4613 67942 | 7320 4338 251 | 0.000 % | c | 160645 | 1183 4613 67942 | 8052 4844 250 | 0.000 % | c | 161404 | 1183 4613 67942 | 8857 5603 250 | 0.000 % | c | 162544 | 1183 4613 67942 | 9743 6743 250 | 0.000 % | c | 164253 | 1183 4613 67942 | 10717 8452 250 | 0.000 % | c =============================================================================== c New solution: 248 c Elapsed CPU time: 58.1542 s Remaining CPU time: 121.846 s c =============================================================================== c | 166499 | 1183 4614 68338 | 5000 10698 250 | 0.000 % | c | 166599 | 1183 4614 68338 | 5500 2775 249 | 0.000 % | c | 166749 | 1183 4614 68338 | 6050 2925 249 | 0.000 % | c | 166974 | 1183 4614 68338 | 6655 3150 249 | 0.000 % | c | 167311 | 1183 4614 68338 | 7320 3487 249 | 0.000 % | c | 167818 | 1183 4614 68338 | 8052 3994 249 | 0.000 % | c | 168577 | 1183 4614 68338 | 8857 4753 249 | 0.000 % | c =============================================================================== c New solution: 247 c Elapsed CPU time: 59.291 s Remaining CPU time: 120.709 s c =============================================================================== c | 169591 | 1183 4615 68734 | 5000 5767 249 | 0.000 % | c | 169691 | 1183 4615 68734 | 5500 2984 248 | 0.000 % | c | 169842 | 1183 4615 68734 | 6050 3135 248 | 0.000 % | c | 170067 | 1183 4615 68734 | 6655 3360 248 | 0.000 % | c | 170405 | 1183 4615 68734 | 7320 3698 248 | 0.000 % | c | 170911 | 1183 4615 68734 | 8052 4204 248 | 0.000 % | c | 171671 | 1183 4615 68734 | 8857 4964 248 | 0.000 % | c | 172810 | 1183 4615 68734 | 9743 6103 248 | 0.000 % | c | 174518 | 1183 4615 68734 | 10717 7811 248 | 0.000 % | c | 177081 | 1183 4615 68734 | 11789 10374 248 | 0.000 % | c | 180925 | 1183 4615 68734 | 12968 8194 248 | 0.000 % | c | 186691 | 1183 4615 68734 | 14265 7334 248 | 0.000 % | c | 195340 | 1183 4615 68734 | 15692 8705 248 | 0.000 % | c | 208314 | 1183 4615 68734 | 17261 13686 249 | 0.000 % | c | 227776 | 1183 4615 68734 | 18987 15616 249 | 0.000 % | c | 256969 | 1183 4615 68734 | 20886 15895 249 | 0.000 % | c | 300758 | 1183 4615 68734 | 22974 17119 249 | 0.000 % |