c wbo 1.4 beta - 20100610 c | Number of variables: 70 | c | Number of clauses: 442 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 70 | c | Number Clauses: 372 | 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 | 70 372 744 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 46342 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 70 373 814 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 45569 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 70 374 884 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 45529 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 70 375 954 | 5000 1 68 | 0.000 % | c =============================================================================== c New solution: 44756 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 70 376 1024 | 5000 1 68 | 0.000 % | c =============================================================================== c New solution: 44685 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 7 | 70 377 1094 | 5000 7 67 | 0.000 % | c =============================================================================== c New solution: 44391 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 7 | 70 378 1164 | 5000 7 67 | 0.000 % | c =============================================================================== c New solution: 44284 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 7 | 70 379 1234 | 5000 7 67 | 0.000 % | c =============================================================================== c New solution: 43790 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 7 | 70 380 1304 | 5000 7 67 | 0.000 % | c =============================================================================== c New solution: 43764 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 8 | 70 381 1374 | 5000 8 67 | 0.000 % | c =============================================================================== c New solution: 43684 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 8 | 70 382 1444 | 5000 8 67 | 0.000 % | c =============================================================================== c New solution: 43323 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 13 | 70 383 1514 | 5000 13 66 | 0.000 % | c =============================================================================== c New solution: 43207 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 13 | 70 384 1584 | 5000 13 66 | 0.000 % | c =============================================================================== c New solution: 43081 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 14 | 70 385 1654 | 5000 14 66 | 0.000 % | c =============================================================================== c New solution: 42848 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 14 | 70 386 1724 | 5000 14 66 | 0.000 % | c =============================================================================== c New solution: 42732 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 14 | 70 387 1794 | 5000 14 66 | 0.000 % | c =============================================================================== c New solution: 42642 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 14 | 70 388 1864 | 5000 14 66 | 0.000 % | c =============================================================================== c New solution: 42283 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 15 | 70 389 1934 | 5000 15 65 | 0.000 % | c =============================================================================== c New solution: 42035 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 15 | 70 390 2004 | 5000 15 65 | 0.000 % | c =============================================================================== c New solution: 41994 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 16 | 70 391 2074 | 5000 16 65 | 0.000 % | c =============================================================================== c New solution: 41959 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 17 | 70 392 2144 | 5000 17 65 | 0.000 % | c =============================================================================== c New solution: 41754 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 22 | 70 393 2214 | 5000 22 64 | 0.000 % | c =============================================================================== c New solution: 41638 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 22 | 70 394 2284 | 5000 22 64 | 0.000 % | c =============================================================================== c New solution: 41592 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 24 | 70 395 2354 | 5000 24 64 | 0.000 % | c =============================================================================== c New solution: 41390 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 24 | 70 396 2424 | 5000 24 64 | 0.000 % | c =============================================================================== c New solution: 41371 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 25 | 70 397 2494 | 5000 25 64 | 0.000 % | c =============================================================================== c New solution: 41199 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 29 | 70 398 2564 | 5000 29 63 | 0.000 % | c =============================================================================== c New solution: 41103 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 30 | 70 399 2634 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 41053 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 30 | 70 400 2704 | 5000 30 63 | 0.000 % | c =============================================================================== c New solution: 41011 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 32 | 70 401 2774 | 5000 32 63 | 0.000 % | c =============================================================================== c New solution: 40813 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 32 | 70 402 2844 | 5000 32 63 | 0.000 % | c =============================================================================== c New solution: 40751 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 36 | 70 403 2914 | 5000 36 62 | 0.000 % | c =============================================================================== c New solution: 40697 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 36 | 70 404 2984 | 5000 36 62 | 0.000 % | c =============================================================================== c New solution: 40679 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 37 | 70 405 3054 | 5000 37 62 | 0.000 % | c =============================================================================== c New solution: 40439 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 37 | 70 406 3124 | 5000 37 62 | 0.000 % | c =============================================================================== c New solution: 40323 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 37 | 70 407 3194 | 5000 37 62 | 0.000 % | c =============================================================================== c New solution: 40281 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 40 | 70 408 3264 | 5000 40 62 | 0.000 % | c =============================================================================== c New solution: 40263 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 40 | 70 409 3334 | 5000 40 62 | 0.000 % | c =============================================================================== c New solution: 40023 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 40 | 70 410 3404 | 5000 40 62 | 0.000 % | c =============================================================================== c New solution: 39913 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 44 | 70 411 3474 | 5000 44 61 | 0.000 % | c =============================================================================== c New solution: 39907 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 45 | 70 412 3544 | 5000 45 61 | 0.000 % | c =============================================================================== c New solution: 39853 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 47 | 70 413 3614 | 5000 47 61 | 0.000 % | c =============================================================================== c New solution: 39795 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 47 | 70 414 3684 | 5000 47 61 | 0.000 % | c =============================================================================== c New solution: 39631 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 53 | 70 415 3754 | 5000 53 60 | 0.000 % | c =============================================================================== c New solution: 39567 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 57 | 70 416 3824 | 5000 57 60 | 0.000 % | c =============================================================================== c New solution: 39497 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 57 | 70 417 3894 | 5000 57 60 | 0.000 % | c =============================================================================== c New solution: 39385 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 57 | 70 418 3964 | 5000 57 60 | 0.000 % | c =============================================================================== c New solution: 39323 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 58 | 70 419 4034 | 5000 58 60 | 0.000 % | c =============================================================================== c New solution: 39252 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 61 | 70 420 4104 | 5000 61 59 | 0.000 % | c =============================================================================== c New solution: 39140 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 61 | 70 421 4174 | 5000 61 59 | 0.000 % | c =============================================================================== c New solution: 39081 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 61 | 70 422 4244 | 5000 61 59 | 0.000 % | c =============================================================================== c New solution: 38893 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 61 | 70 423 4314 | 5000 61 59 | 0.000 % | c =============================================================================== c New solution: 38777 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 61 | 70 424 4384 | 5000 61 59 | 0.000 % | c =============================================================================== c New solution: 38715 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 63 | 70 425 4454 | 5000 63 59 | 0.000 % | c =============================================================================== c New solution: 38665 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 63 | 70 426 4524 | 5000 63 59 | 0.000 % | c =============================================================================== c New solution: 38648 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 69 | 70 427 4594 | 5000 69 59 | 0.000 % | c | 169 | 70 427 4594 | 5500 169 55 | 0.021 % | c =============================================================================== c New solution: 38589 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 209 | 70 428 4664 | 5000 209 54 | 0.021 % | c =============================================================================== c New solution: 38498 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 209 | 70 429 4734 | 5000 209 54 | 0.021 % | c =============================================================================== c New solution: 38386 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 209 | 70 430 4804 | 5000 209 54 | 0.021 % | c =============================================================================== c New solution: 38336 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 250 | 70 431 4874 | 5000 250 54 | 0.021 % | c =============================================================================== c New solution: 38244 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 302 | 70 432 4944 | 5000 302 53 | 0.021 % | c =============================================================================== c New solution: 38156 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 308 | 70 433 5014 | 5000 308 53 | 0.021 % | c =============================================================================== c New solution: 38044 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 308 | 70 434 5084 | 5000 308 53 | 0.021 % | c =============================================================================== c New solution: 37980 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 310 | 70 435 5154 | 5000 310 53 | 0.021 % | c =============================================================================== c New solution: 37979 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 339 | 70 436 5224 | 5000 339 53 | 0.021 % | c =============================================================================== c New solution: 37938 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 340 | 70 437 5294 | 5000 340 53 | 0.021 % | c =============================================================================== c New solution: 37826 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 340 | 70 438 5364 | 5000 340 53 | 0.021 % | c =============================================================================== c New solution: 37764 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 435 | 70 439 5434 | 5000 435 52 | 0.021 % | c =============================================================================== c New solution: 37713 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 454 | 70 440 5504 | 5000 454 52 | 0.021 % | c =============================================================================== c New solution: 37671 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 476 | 70 441 5574 | 5000 476 52 | 0.021 % | c =============================================================================== c New solution: 37584 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 476 | 70 442 5644 | 5000 476 52 | 0.021 % | c =============================================================================== c New solution: 37519 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 478 | 70 443 5714 | 5000 478 52 | 0.021 % | c =============================================================================== c New solution: 37468 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 478 | 70 444 5784 | 5000 478 52 | 0.021 % | c =============================================================================== c New solution: 37409 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 480 | 70 445 5854 | 5000 480 52 | 0.021 % | c =============================================================================== c New solution: 37312 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 504 | 70 446 5924 | 5000 504 52 | 0.021 % | c =============================================================================== c New solution: 37308 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 523 | 70 447 5994 | 5000 523 52 | 0.021 % | c =============================================================================== c New solution: 37196 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 523 | 70 448 6064 | 5000 523 52 | 0.021 % | c | 623 | 70 448 6064 | 5500 623 52 | 0.021 % | c =============================================================================== c New solution: 37161 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 717 | 70 449 6134 | 5000 717 52 | 0.021 % | c =============================================================================== c New solution: 37074 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 717 | 70 450 6204 | 5000 717 52 | 0.021 % | c =============================================================================== c New solution: 37070 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 717 | 70 451 6274 | 5000 717 52 | 0.021 % | c =============================================================================== c New solution: 36958 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 717 | 70 452 6344 | 5000 717 52 | 0.021 % | c =============================================================================== c New solution: 36956 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 722 | 70 453 6414 | 5000 722 52 | 0.021 % | c =============================================================================== c New solution: 36952 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 722 | 70 454 6484 | 5000 722 52 | 0.021 % | c =============================================================================== c New solution: 36840 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 722 | 70 455 6554 | 5000 722 52 | 0.021 % | c =============================================================================== c New solution: 36789 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 761 | 70 456 6624 | 5000 761 52 | 0.021 % | c =============================================================================== c New solution: 36785 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 775 | 70 457 6694 | 5000 775 52 | 0.021 % | c =============================================================================== c New solution: 36698 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 784 | 70 458 6764 | 5000 784 52 | 0.021 % | c | 884 | 70 458 6764 | 5500 884 52 | 0.021 % | c =============================================================================== c New solution: 36664 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 898 | 70 459 6834 | 5000 898 52 | 0.021 % | c =============================================================================== c New solution: 36660 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 898 | 70 460 6904 | 5000 898 52 | 0.021 % | c =============================================================================== c New solution: 36548 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 898 | 70 461 6974 | 5000 898 52 | 0.021 % | c =============================================================================== c New solution: 36546 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 916 | 70 462 7044 | 5000 916 52 | 0.021 % | c =============================================================================== c New solution: 36545 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 964 | 70 463 7114 | 5000 964 51 | 0.021 % | c =============================================================================== c New solution: 36480 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 979 | 70 464 7184 | 5000 979 51 | 0.021 % | c | 1079 | 70 464 7184 | 5500 1079 51 | 0.021 % | c =============================================================================== c New solution: 36451 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 1119 | 70 465 7254 | 5000 1119 51 | 0.021 % | c =============================================================================== c New solution: 36416 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 1124 | 70 466 7324 | 5000 1124 51 | 0.021 % | c | 1224 | 70 466 7324 | 5500 1224 51 | 0.021 % | c | 1374 | 70 466 7324 | 6050 1374 51 | 0.021 % | c =============================================================================== c New solution: 36383 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 1448 | 70 467 7394 | 5000 1448 51 | 0.021 % | c =============================================================================== c New solution: 36271 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 1494 | 70 468 7464 | 5000 1494 51 | 0.021 % | c =============================================================================== c New solution: 36220 c Elapsed CPU time: 0.315951 s Remaining CPU time: 179.684 s c =============================================================================== c | 1525 | 70 469 7534 | 5000 1525 51 | 0.021 % | c =============================================================================== c New solution: 36141 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 1539 | 70 470 7604 | 5000 1539 51 | 0.021 % | c =============================================================================== c New solution: 36042 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 1544 | 70 471 7674 | 5000 1544 51 | 0.021 % | c =============================================================================== c New solution: 36024 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 1545 | 70 472 7744 | 5000 1545 51 | 0.021 % | c =============================================================================== c New solution: 35983 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 1545 | 70 473 7814 | 5000 1545 51 | 0.021 % | c =============================================================================== c New solution: 35981 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 1547 | 70 474 7884 | 5000 1547 51 | 0.021 % | c =============================================================================== c New solution: 35896 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 1547 | 70 475 7954 | 5000 1547 51 | 0.021 % | c =============================================================================== c New solution: 35780 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 1547 | 70 476 8024 | 5000 1547 51 | 0.021 % | c =============================================================================== c New solution: 35668 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 1547 | 70 477 8094 | 5000 1547 51 | 0.021 % | c =============================================================================== c New solution: 35606 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 1548 | 70 478 8164 | 5000 1548 51 | 0.021 % | c =============================================================================== c New solution: 35565 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 1548 | 70 479 8234 | 5000 1548 51 | 0.021 % | c =============================================================================== c New solution: 35478 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 1548 | 70 480 8304 | 5000 1548 51 | 0.021 % | c =============================================================================== c New solution: 35362 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 1548 | 70 481 8374 | 5000 1548 51 | 0.021 % | c | 1650 | 70 481 8374 | 5500 1650 51 | 0.021 % | c =============================================================================== c New solution: 35301 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 1737 | 70 482 8444 | 5000 1737 50 | 0.021 % | c =============================================================================== c New solution: 35250 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 1742 | 70 483 8514 | 5000 1742 50 | 0.021 % | c | 1842 | 70 483 8514 | 5500 1842 50 | 0.021 % | c | 1994 | 70 483 8514 | 6050 1994 50 | 0.021 % | c =============================================================================== c New solution: 35187 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 2085 | 70 484 8584 | 5000 2085 50 | 0.021 % | c =============================================================================== c New solution: 35071 c Elapsed CPU time: 0.451931 s Remaining CPU time: 179.548 s c =============================================================================== c | 2085 | 70 485 8654 | 5000 2085 50 | 0.021 % | c | 2185 | 70 485 8654 | 5500 2185 50 | 0.021 % | c =============================================================================== c New solution: 34963 c Elapsed CPU time: 0.475927 s Remaining CPU time: 179.524 s c =============================================================================== c | 2228 | 70 486 8724 | 5000 2228 50 | 0.021 % | c =============================================================================== c New solution: 34912 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 2255 | 70 487 8794 | 5000 2255 50 | 0.021 % | c =============================================================================== c New solution: 34903 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 2284 | 70 488 8864 | 5000 2284 50 | 0.021 % | c | 2384 | 70 488 8864 | 5500 2384 50 | 0.021 % | c =============================================================================== c New solution: 34894 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 2468 | 70 489 8934 | 5000 2468 50 | 0.021 % | c | 2568 | 70 489 8934 | 5500 2568 49 | 0.021 % | c =============================================================================== c New solution: 34716 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 2673 | 70 490 9004 | 5000 2673 49 | 0.021 % | c | 2774 | 70 490 9004 | 5500 2774 49 | 0.021 % | c =============================================================================== c New solution: 34600 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 2793 | 70 491 9074 | 5000 2793 49 | 0.021 % | c | 2893 | 70 491 9074 | 5500 2893 49 | 0.021 % | c =============================================================================== c New solution: 34580 c Elapsed CPU time: 0.629904 s Remaining CPU time: 179.37 s c =============================================================================== c | 2893 | 70 492 9144 | 5000 2893 49 | 0.021 % | c =============================================================================== c New solution: 34570 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 2893 | 70 493 9214 | 5000 2893 49 | 0.021 % | c =============================================================================== c New solution: 34483 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 2893 | 70 494 9284 | 5000 2893 49 | 0.021 % | c =============================================================================== c New solution: 34367 c Elapsed CPU time: 0.633903 s Remaining CPU time: 179.366 s c =============================================================================== c | 2893 | 70 495 9354 | 5000 2893 49 | 0.021 % | c =============================================================================== c New solution: 34280 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 2893 | 70 496 9424 | 5000 2893 49 | 0.021 % | c =============================================================================== c New solution: 34164 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 2893 | 70 497 9494 | 5000 2893 49 | 0.021 % | c | 2994 | 70 497 9494 | 5500 2994 49 | 0.021 % | c | 3144 | 70 497 9494 | 6050 3144 49 | 0.021 % | c | 3369 | 70 497 9494 | 6655 3369 49 | 0.021 % | c | 3706 | 70 497 9494 | 7320 3706 49 | 0.021 % | c | 4215 | 70 497 9494 | 8052 4215 48 | 0.021 % | c =============================================================================== c New solution: 34162 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 4630 | 70 498 9564 | 5000 4630 48 | 0.021 % | c =============================================================================== c New solution: 34046 c Elapsed CPU time: 1.19282 s Remaining CPU time: 178.807 s c =============================================================================== c | 4630 | 70 499 9634 | 5000 4630 48 | 0.021 % | c =============================================================================== c New solution: 33934 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 4633 | 70 500 9704 | 5000 4633 48 | 0.021 % | c | 4734 | 70 500 9704 | 5500 4734 48 | 0.021 % | c =============================================================================== c New solution: 33924 c Elapsed CPU time: 1.24581 s Remaining CPU time: 178.754 s c =============================================================================== c | 4847 | 70 501 9774 | 5000 4847 48 | 0.021 % | c =============================================================================== c New solution: 33808 c Elapsed CPU time: 1.24681 s Remaining CPU time: 178.753 s c =============================================================================== c | 4847 | 70 502 9844 | 5000 4847 48 | 0.021 % | c | 4947 | 70 502 9844 | 5500 4947 48 | 0.021 % | c =============================================================================== c New solution: 33696 c Elapsed CPU time: 1.3388 s Remaining CPU time: 178.661 s c =============================================================================== c | 5082 | 70 503 9914 | 5000 5082 48 | 0.021 % | c | 5185 | 70 503 9914 | 5500 2644 46 | 0.021 % | c | 5336 | 70 503 9914 | 6050 2795 46 | 0.021 % | c | 5561 | 70 503 9914 | 6655 3020 46 | 0.021 % | c | 5900 | 70 503 9914 | 7320 3359 46 | 0.021 % | c | 6408 | 70 503 9914 | 8052 3867 46 | 0.021 % | c | 7167 | 70 503 9914 | 8857 4626 46 | 0.021 % | c | 8306 | 70 503 9914 | 9743 5765 46 | 0.021 % | c | 10017 | 70 503 9914 | 10717 7476 46 | 0.021 % | c | 12581 | 70 503 9914 | 11789 10040 45 | 0.021 % | c =============================================================================== c New solution: 33632 c Elapsed CPU time: 4.14537 s Remaining CPU time: 175.855 s c =============================================================================== c | 12609 | 70 504 9984 | 5000 10068 45 | 0.021 % | c =============================================================================== c New solution: 33567 c Elapsed CPU time: 4.32734 s Remaining CPU time: 175.673 s c =============================================================================== c | 12613 | 70 505 10054 | 5000 2521 44 | 0.021 % | c | 12714 | 70 505 10054 | 5500 2622 44 | 0.021 % | c | 12866 | 70 505 10054 | 6050 2774 44 | 0.021 % | c | 13093 | 70 505 10054 | 6655 3001 44 | 0.021 % | c | 13430 | 70 505 10054 | 7320 3338 44 | 0.021 % | c | 13936 | 70 505 10054 | 8052 3844 44 | 0.021 % | c | 14695 | 70 505 10054 | 8857 4603 44 | 0.021 % | c | 15835 | 70 505 10054 | 9743 5743 44 | 0.021 % | c | 17544 | 70 505 10054 | 10717 7452 44 | 0.021 % | c | 20106 | 70 505 10054 | 11789 10014 44 | 0.021 % | c | 23950 | 70 505 10054 | 12968 7939 45 | 0.021 % | c =============================================================================== c New solution: 33470 c Elapsed CPU time: 10.8493 s Remaining CPU time: 169.151 s c =============================================================================== c | 26087 | 70 506 10124 | 5000 10076 45 | 0.021 % | c | 26187 | 70 506 10124 | 5500 2619 44 | 0.021 % | c | 26338 | 70 506 10124 | 6050 2770 44 | 0.021 % | c | 26564 | 70 506 10124 | 6655 2996 44 | 0.021 % | c | 26904 | 70 506 10124 | 7320 3336 44 | 0.021 % | c | 27412 | 70 506 10124 | 8052 3844 44 | 0.021 % | c | 28172 | 70 506 10124 | 8857 4604 44 | 0.021 % | c | 29311 | 70 506 10124 | 9743 5743 45 | 0.021 % | c | 31019 | 70 506 10124 | 10717 7451 45 | 0.021 % | c | 33582 | 70 506 10124 | 11789 10014 44 | 0.021 % | c | 37427 | 70 506 10124 | 12968 7941 45 | 0.021 % | c | 43194 | 70 506 10124 | 14265 7198 46 | 0.021 % | c | 51844 | 70 506 10124 | 15692 8690 44 | 0.021 % | c =============================================================================== c New solution: 33405 c Elapsed CPU time: 28.4257 s Remaining CPU time: 151.574 s c =============================================================================== c | 58053 | 70 507 10194 | 5000 14899 44 | 0.021 % | c | 58153 | 70 507 10194 | 5500 3825 44 | 0.021 % | c | 58306 | 70 507 10194 | 6050 3978 44 | 0.021 % | c | 58531 | 70 507 10194 | 6655 4203 44 | 0.021 % | c | 58869 | 70 507 10194 | 7320 4541 44 | 0.021 % | c | 59378 | 70 507 10194 | 8052 5050 44 | 0.021 % | c | 60139 | 70 507 10194 | 8857 5811 44 | 0.021 % | c | 61279 | 70 507 10194 | 9743 6951 44 | 0.021 % | c | 62987 | 70 507 10194 | 10717 8659 44 | 0.021 % | c | 65550 | 70 507 10194 | 11789 5840 45 | 0.021 % | c | 69395 | 70 507 10194 | 12968 9685 45 | 0.021 % | c | 75161 | 70 507 10194 | 14265 8942 45 | 0.021 % | c | 83811 | 70 507 10194 | 15692 10435 44 | 0.021 % | c | 96787 | 70 507 10194 | 17261 15541 44 | 0.021 % | c | 116249 | 70 507 10194 | 18987 9040 45 | 0.021 % | c =============================================================================== c Total CPU time: 67.2178 s