c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3000 | c | Number Clauses: 3000 | 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 | 2977 3003 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15748 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 2977 3004 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15741 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 2977 3005 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15739 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 2977 3006 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15737 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 2977 3007 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15735 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 2977 3008 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15733 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 2977 3009 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15732 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 2977 3010 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15731 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 0 | 2977 3011 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15730 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 0 | 2977 3012 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15729 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 2977 3013 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15728 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 2977 3014 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15727 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 0 | 2977 3015 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15726 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 0 | 2977 3016 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15724 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 0 | 2977 3017 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15722 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 0 | 2977 3018 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15717 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 2977 3019 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15715 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s c =============================================================================== c | 0 | 2977 3020 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15714 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 0 | 2977 3021 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15712 c Elapsed CPU time: 0.695894 s Remaining CPU time: 179.304 s c =============================================================================== c | 0 | 2977 3022 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15711 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 0 | 2977 3023 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15710 c Elapsed CPU time: 0.78488 s Remaining CPU time: 179.215 s c =============================================================================== c | 0 | 2977 3024 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15709 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 0 | 2977 3025 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15708 c Elapsed CPU time: 0.877866 s Remaining CPU time: 179.122 s c =============================================================================== c | 0 | 2977 3026 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15706 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 0 | 2977 3027 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15703 c Elapsed CPU time: 0.975851 s Remaining CPU time: 179.024 s c =============================================================================== c | 0 | 2977 3028 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15702 c Elapsed CPU time: 1.02584 s Remaining CPU time: 178.974 s c =============================================================================== c | 0 | 2977 3029 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15700 c Elapsed CPU time: 1.07883 s Remaining CPU time: 178.921 s c =============================================================================== c | 0 | 2977 3030 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15699 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 0 | 2977 3031 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15697 c Elapsed CPU time: 1.19082 s Remaining CPU time: 178.809 s c =============================================================================== c | 0 | 2977 3032 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15696 c Elapsed CPU time: 1.24881 s Remaining CPU time: 178.751 s c =============================================================================== c | 0 | 2977 3033 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15695 c Elapsed CPU time: 1.3058 s Remaining CPU time: 178.694 s c =============================================================================== c | 0 | 2977 3034 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15694 c Elapsed CPU time: 1.36579 s Remaining CPU time: 178.634 s c =============================================================================== c | 0 | 2977 3035 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15693 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 0 | 2977 3036 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15691 c Elapsed CPU time: 1.48777 s Remaining CPU time: 178.512 s c =============================================================================== c | 0 | 2977 3037 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15690 c Elapsed CPU time: 1.55376 s Remaining CPU time: 178.446 s c =============================================================================== c | 0 | 2977 3038 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15689 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 0 | 2977 3039 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15688 c Elapsed CPU time: 1.68274 s Remaining CPU time: 178.317 s c =============================================================================== c | 0 | 2977 3040 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15686 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s c =============================================================================== c | 0 | 2977 3041 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15685 c Elapsed CPU time: 1.81872 s Remaining CPU time: 178.181 s c =============================================================================== c | 0 | 2977 3042 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15683 c Elapsed CPU time: 1.88571 s Remaining CPU time: 178.114 s c =============================================================================== c | 0 | 2977 3043 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15681 c Elapsed CPU time: 1.9537 s Remaining CPU time: 178.046 s c =============================================================================== c | 0 | 2977 3044 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15676 c Elapsed CPU time: 2.02569 s Remaining CPU time: 177.974 s c =============================================================================== c | 0 | 2977 3045 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15675 c Elapsed CPU time: 2.09868 s Remaining CPU time: 177.901 s c =============================================================================== c | 0 | 2977 3046 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15674 c Elapsed CPU time: 2.17667 s Remaining CPU time: 177.823 s c =============================================================================== c | 0 | 2977 3047 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15669 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s c =============================================================================== c | 0 | 2977 3048 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15668 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 0 | 2977 3049 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15665 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 0 | 2977 3050 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15663 c Elapsed CPU time: 2.50462 s Remaining CPU time: 177.495 s c =============================================================================== c | 0 | 2977 3051 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15661 c Elapsed CPU time: 2.59061 s Remaining CPU time: 177.409 s c =============================================================================== c | 0 | 2977 3052 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15660 c Elapsed CPU time: 2.67559 s Remaining CPU time: 177.324 s c =============================================================================== c | 0 | 2977 3053 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15659 c Elapsed CPU time: 2.76258 s Remaining CPU time: 177.237 s c =============================================================================== c | 0 | 2977 3054 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15658 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 0 | 2977 3055 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15656 c Elapsed CPU time: 2.94955 s Remaining CPU time: 177.05 s c =============================================================================== c | 0 | 2977 3056 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15654 c Elapsed CPU time: 3.04854 s Remaining CPU time: 176.951 s c =============================================================================== c | 0 | 2977 3057 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15653 c Elapsed CPU time: 3.14852 s Remaining CPU time: 176.851 s c =============================================================================== c | 0 | 2977 3058 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15649 c Elapsed CPU time: 3.2515 s Remaining CPU time: 176.748 s c =============================================================================== c | 0 | 2977 3059 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15648 c Elapsed CPU time: 3.35449 s Remaining CPU time: 176.646 s c =============================================================================== c | 0 | 2977 3060 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15647 c Elapsed CPU time: 3.46547 s Remaining CPU time: 176.535 s c =============================================================================== c | 0 | 2977 3061 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15646 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 0 | 2977 3062 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15645 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s c =============================================================================== c | 0 | 2977 3063 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15644 c Elapsed CPU time: 3.79542 s Remaining CPU time: 176.205 s c =============================================================================== c | 0 | 2977 3064 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15643 c Elapsed CPU time: 3.90641 s Remaining CPU time: 176.094 s c =============================================================================== c | 0 | 2977 3065 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15642 c Elapsed CPU time: 4.02639 s Remaining CPU time: 175.974 s c =============================================================================== c | 0 | 2977 3066 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15639 c Elapsed CPU time: 4.14737 s Remaining CPU time: 175.853 s c =============================================================================== c | 0 | 2977 3067 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15638 c Elapsed CPU time: 4.27035 s Remaining CPU time: 175.73 s c =============================================================================== c | 0 | 2977 3068 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15635 c Elapsed CPU time: 4.39433 s Remaining CPU time: 175.606 s c =============================================================================== c | 0 | 2977 3069 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15634 c Elapsed CPU time: 4.52431 s Remaining CPU time: 175.476 s c =============================================================================== c | 0 | 2977 3070 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15633 c Elapsed CPU time: 4.65729 s Remaining CPU time: 175.343 s c =============================================================================== c | 0 | 2977 3071 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15631 c Elapsed CPU time: 4.78527 s Remaining CPU time: 175.215 s c =============================================================================== c | 0 | 2977 3072 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15630 c Elapsed CPU time: 4.91425 s Remaining CPU time: 175.086 s c =============================================================================== c | 0 | 2977 3073 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15629 c Elapsed CPU time: 5.04523 s Remaining CPU time: 174.955 s c =============================================================================== c | 0 | 2977 3074 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15626 c Elapsed CPU time: 5.17721 s Remaining CPU time: 174.823 s c =============================================================================== c | 0 | 2977 3075 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15624 c Elapsed CPU time: 5.31119 s Remaining CPU time: 174.689 s c =============================================================================== c | 0 | 2977 3076 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15623 c Elapsed CPU time: 5.45117 s Remaining CPU time: 174.549 s c =============================================================================== c | 0 | 2977 3077 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15622 c Elapsed CPU time: 5.58915 s Remaining CPU time: 174.411 s c =============================================================================== c | 0 | 2977 3078 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15618 c Elapsed CPU time: 5.72713 s Remaining CPU time: 174.273 s c =============================================================================== c | 0 | 2977 3079 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15614 c Elapsed CPU time: 5.86811 s Remaining CPU time: 174.132 s c =============================================================================== c | 0 | 2977 3080 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15613 c Elapsed CPU time: 6.01509 s Remaining CPU time: 173.985 s c =============================================================================== c | 0 | 2977 3081 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15612 c Elapsed CPU time: 6.16206 s Remaining CPU time: 173.838 s c =============================================================================== c | 0 | 2977 3082 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15611 c Elapsed CPU time: 6.31904 s Remaining CPU time: 173.681 s c =============================================================================== c | 0 | 2977 3083 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15610 c Elapsed CPU time: 6.46902 s Remaining CPU time: 173.531 s c =============================================================================== c | 0 | 2977 3084 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15609 c Elapsed CPU time: 6.62499 s Remaining CPU time: 173.375 s c =============================================================================== c | 0 | 2977 3085 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15608 c Elapsed CPU time: 6.77597 s Remaining CPU time: 173.224 s c =============================================================================== c | 0 | 2977 3086 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15606 c Elapsed CPU time: 6.92895 s Remaining CPU time: 173.071 s c =============================================================================== c | 0 | 2977 3087 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15605 c Elapsed CPU time: 7.08792 s Remaining CPU time: 172.912 s c =============================================================================== c | 0 | 2977 3088 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15602 c Elapsed CPU time: 7.2489 s Remaining CPU time: 172.751 s c =============================================================================== c | 0 | 2977 3089 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15600 c Elapsed CPU time: 7.41287 s Remaining CPU time: 172.587 s c =============================================================================== c | 0 | 2977 3090 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15599 c Elapsed CPU time: 7.57985 s Remaining CPU time: 172.42 s c =============================================================================== c | 0 | 2977 3091 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15598 c Elapsed CPU time: 7.74882 s Remaining CPU time: 172.251 s c =============================================================================== c | 0 | 2977 3092 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15596 c Elapsed CPU time: 7.9208 s Remaining CPU time: 172.079 s c =============================================================================== c | 0 | 2977 3093 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15593 c Elapsed CPU time: 8.08877 s Remaining CPU time: 171.911 s c =============================================================================== c | 0 | 2977 3094 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15591 c Elapsed CPU time: 8.26174 s Remaining CPU time: 171.738 s c =============================================================================== c | 0 | 2977 3095 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15590 c Elapsed CPU time: 8.43572 s Remaining CPU time: 171.564 s c =============================================================================== c | 0 | 2977 3096 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15589 c Elapsed CPU time: 8.61069 s Remaining CPU time: 171.389 s c =============================================================================== c | 0 | 2977 3097 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15587 c Elapsed CPU time: 8.78766 s Remaining CPU time: 171.212 s c =============================================================================== c | 0 | 2977 3098 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15586 c Elapsed CPU time: 8.96564 s Remaining CPU time: 171.034 s c =============================================================================== c | 0 | 2977 3099 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15585 c Elapsed CPU time: 9.14761 s Remaining CPU time: 170.852 s c =============================================================================== c | 0 | 2977 3100 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15583 c Elapsed CPU time: 9.33458 s Remaining CPU time: 170.665 s c =============================================================================== c | 0 | 2977 3101 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15582 c Elapsed CPU time: 9.52455 s Remaining CPU time: 170.475 s c =============================================================================== c | 0 | 2977 3102 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15581 c Elapsed CPU time: 9.71352 s Remaining CPU time: 170.286 s c =============================================================================== c | 0 | 2977 3103 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15580 c Elapsed CPU time: 9.90449 s Remaining CPU time: 170.096 s c =============================================================================== c | 0 | 2977 3104 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15579 c Elapsed CPU time: 10.0935 s Remaining CPU time: 169.907 s c =============================================================================== c | 0 | 2977 3105 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15578 c Elapsed CPU time: 10.2884 s Remaining CPU time: 169.712 s c =============================================================================== c | 0 | 2977 3106 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15576 c Elapsed CPU time: 10.4904 s Remaining CPU time: 169.51 s c =============================================================================== c | 0 | 2977 3107 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15574 c Elapsed CPU time: 10.6904 s Remaining CPU time: 169.31 s c =============================================================================== c | 0 | 2977 3108 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15573 c Elapsed CPU time: 10.9013 s Remaining CPU time: 169.099 s c =============================================================================== c | 0 | 2977 3109 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15572 c Elapsed CPU time: 11.1043 s Remaining CPU time: 168.896 s c =============================================================================== c | 0 | 2977 3110 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15571 c Elapsed CPU time: 11.3073 s Remaining CPU time: 168.693 s c =============================================================================== c | 0 | 2977 3111 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15570 c Elapsed CPU time: 11.5102 s Remaining CPU time: 168.49 s c =============================================================================== c | 0 | 2977 3112 319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15569 c Elapsed CPU time: 11.7182 s Remaining CPU time: 168.282 s c =============================================================================== c | 0 | 2977 3113 322350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15566 c Elapsed CPU time: 11.9242 s Remaining CPU time: 168.076 s c =============================================================================== c | 0 | 2977 3114 325200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15564 c Elapsed CPU time: 12.1342 s Remaining CPU time: 167.866 s c =============================================================================== c | 0 | 2977 3115 328050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15560 c Elapsed CPU time: 12.3471 s Remaining CPU time: 167.653 s c =============================================================================== c | 0 | 2977 3116 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15559 c Elapsed CPU time: 12.5611 s Remaining CPU time: 167.439 s c =============================================================================== c | 0 | 2977 3117 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15557 c Elapsed CPU time: 12.7811 s Remaining CPU time: 167.219 s c =============================================================================== c | 0 | 2977 3118 336600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15555 c Elapsed CPU time: 13.005 s Remaining CPU time: 166.995 s c =============================================================================== c | 0 | 2977 3119 339450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15553 c Elapsed CPU time: 13.226 s Remaining CPU time: 166.774 s c =============================================================================== c | 0 | 2977 3120 342300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15552 c Elapsed CPU time: 13.448 s Remaining CPU time: 166.552 s c =============================================================================== c | 0 | 2977 3121 345150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15551 c Elapsed CPU time: 13.6689 s Remaining CPU time: 166.331 s c =============================================================================== c | 0 | 2977 3122 348000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15549 c Elapsed CPU time: 13.8899 s Remaining CPU time: 166.11 s c =============================================================================== c | 0 | 2977 3123 350850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15546 c Elapsed CPU time: 14.1189 s Remaining CPU time: 165.881 s c =============================================================================== c | 0 | 2977 3124 353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15543 c Elapsed CPU time: 14.3458 s Remaining CPU time: 165.654 s c =============================================================================== c | 0 | 2977 3125 356550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15540 c Elapsed CPU time: 14.5838 s Remaining CPU time: 165.416 s c =============================================================================== c | 0 | 2977 3126 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15539 c Elapsed CPU time: 14.8177 s Remaining CPU time: 165.182 s c =============================================================================== c | 0 | 2977 3127 362250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15538 c Elapsed CPU time: 15.0567 s Remaining CPU time: 164.943 s c =============================================================================== c | 0 | 2977 3128 365100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15537 c Elapsed CPU time: 15.2917 s Remaining CPU time: 164.708 s c =============================================================================== c | 0 | 2977 3129 367950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15536 c Elapsed CPU time: 15.5286 s Remaining CPU time: 164.471 s c =============================================================================== c | 0 | 2977 3130 370800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15535 c Elapsed CPU time: 15.7706 s Remaining CPU time: 164.229 s c =============================================================================== c | 0 | 2977 3131 373650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15533 c Elapsed CPU time: 16.0126 s Remaining CPU time: 163.987 s c =============================================================================== c | 0 | 2977 3132 376500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15532 c Elapsed CPU time: 16.2585 s Remaining CPU time: 163.741 s c =============================================================================== c | 0 | 2977 3133 379350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15530 c Elapsed CPU time: 16.5065 s Remaining CPU time: 163.494 s c =============================================================================== c | 0 | 2977 3134 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15528 c Elapsed CPU time: 16.7555 s Remaining CPU time: 163.245 s c =============================================================================== c | 0 | 2977 3135 385050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15526 c Elapsed CPU time: 17.0014 s Remaining CPU time: 162.999 s c =============================================================================== c | 0 | 2977 3136 387900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15525 c Elapsed CPU time: 17.2474 s Remaining CPU time: 162.753 s c =============================================================================== c | 0 | 2977 3137 390750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15522 c Elapsed CPU time: 17.5063 s Remaining CPU time: 162.494 s c =============================================================================== c | 0 | 2977 3138 393600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 17.7713 s Remaining CPU time: 162.229 s c =============================================================================== c | 0 | 2977 3139 396450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15518 c Elapsed CPU time: 18.0403 s Remaining CPU time: 161.96 s c =============================================================================== c | 0 | 2977 3140 399300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15516 c Elapsed CPU time: 18.3032 s Remaining CPU time: 161.697 s c =============================================================================== c | 0 | 2977 3141 402150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15515 c Elapsed CPU time: 18.5702 s Remaining CPU time: 161.43 s c =============================================================================== c | 0 | 2977 3142 405000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15514 c Elapsed CPU time: 18.8401 s Remaining CPU time: 161.16 s c =============================================================================== c | 0 | 2977 3143 407850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15513 c Elapsed CPU time: 19.1191 s Remaining CPU time: 160.881 s c =============================================================================== c | 0 | 2977 3144 410700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15512 c Elapsed CPU time: 19.3901 s Remaining CPU time: 160.61 s c =============================================================================== c | 0 | 2977 3145 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15511 c Elapsed CPU time: 19.701 s Remaining CPU time: 160.299 s c =============================================================================== c | 0 | 2977 3146 416400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15510 c Elapsed CPU time: 20.013 s Remaining CPU time: 159.987 s c =============================================================================== c | 0 | 2977 3147 419250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15508 c Elapsed CPU time: 20.3189 s Remaining CPU time: 159.681 s c =============================================================================== c | 0 | 2977 3148 422100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15507 c Elapsed CPU time: 20.6339 s Remaining CPU time: 159.366 s c =============================================================================== c | 0 | 2977 3149 424950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15506 c Elapsed CPU time: 20.9458 s Remaining CPU time: 159.054 s c =============================================================================== c | 0 | 2977 3150 427800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15505 c Elapsed CPU time: 21.2638 s Remaining CPU time: 158.736 s c =============================================================================== c | 0 | 2977 3151 430650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15504 c Elapsed CPU time: 21.5807 s Remaining CPU time: 158.419 s c =============================================================================== c | 0 | 2977 3152 433500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15501 c Elapsed CPU time: 21.9017 s Remaining CPU time: 158.098 s c =============================================================================== c | 0 | 2977 3153 436350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15499 c Elapsed CPU time: 22.2266 s Remaining CPU time: 157.773 s c =============================================================================== c | 0 | 2977 3154 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15495 c Elapsed CPU time: 22.5516 s Remaining CPU time: 157.448 s c =============================================================================== c | 0 | 2977 3155 442050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15493 c Elapsed CPU time: 22.8765 s Remaining CPU time: 157.123 s c =============================================================================== c | 0 | 2977 3156 444900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15491 c Elapsed CPU time: 23.2055 s Remaining CPU time: 156.795 s c =============================================================================== c | 0 | 2977 3157 447750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15487 c Elapsed CPU time: 23.5364 s Remaining CPU time: 156.464 s c =============================================================================== c | 0 | 2977 3158 450600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 23.8704 s Remaining CPU time: 156.13 s c =============================================================================== c | 0 | 2977 3159 453450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15485 c Elapsed CPU time: 24.2053 s Remaining CPU time: 155.795 s c =============================================================================== c | 0 | 2977 3160 456300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15481 c Elapsed CPU time: 24.5373 s Remaining CPU time: 155.463 s c =============================================================================== c | 0 | 2977 3161 459150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15478 c Elapsed CPU time: 24.8752 s Remaining CPU time: 155.125 s c =============================================================================== c | 0 | 2977 3162 462000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15477 c Elapsed CPU time: 25.2242 s Remaining CPU time: 154.776 s c =============================================================================== c | 0 | 2977 3163 464850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15475 c Elapsed CPU time: 25.5781 s Remaining CPU time: 154.422 s c =============================================================================== c | 0 | 2977 3164 467700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15474 c Elapsed CPU time: 25.9331 s Remaining CPU time: 154.067 s c =============================================================================== c | 0 | 2977 3165 470550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15472 c Elapsed CPU time: 26.292 s Remaining CPU time: 153.708 s c =============================================================================== c | 0 | 2977 3166 473400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 26.6489 s Remaining CPU time: 153.351 s c =============================================================================== c | 0 | 2977 3167 476250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15469 c Elapsed CPU time: 27.0029 s Remaining CPU time: 152.997 s c =============================================================================== c | 0 | 2977 3168 479100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15468 c Elapsed CPU time: 27.3548 s Remaining CPU time: 152.645 s c =============================================================================== c | 0 | 2977 3169 481950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 27.7208 s Remaining CPU time: 152.279 s c =============================================================================== c | 0 | 2977 3170 484800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15465 c Elapsed CPU time: 28.0767 s Remaining CPU time: 151.923 s c =============================================================================== c | 0 | 2977 3171 487650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15462 c Elapsed CPU time: 28.4397 s Remaining CPU time: 151.56 s c =============================================================================== c | 0 | 2977 3172 490500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15461 c Elapsed CPU time: 28.7946 s Remaining CPU time: 151.205 s c =============================================================================== c | 0 | 2977 3173 493350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15460 c Elapsed CPU time: 29.1626 s Remaining CPU time: 150.837 s c =============================================================================== c | 0 | 2977 3174 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15459 c Elapsed CPU time: 29.5325 s Remaining CPU time: 150.467 s c =============================================================================== c | 0 | 2977 3175 499050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15458 c Elapsed CPU time: 29.8995 s Remaining CPU time: 150.101 s c =============================================================================== c | 0 | 2977 3176 501900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 30.2644 s Remaining CPU time: 149.736 s c =============================================================================== c | 0 | 2977 3177 504750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15455 c Elapsed CPU time: 30.6233 s Remaining CPU time: 149.377 s c =============================================================================== c | 0 | 2977 3178 507600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15454 c Elapsed CPU time: 31.0053 s Remaining CPU time: 148.995 s c =============================================================================== c | 0 | 2977 3179 510450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 31.3942 s Remaining CPU time: 148.606 s c =============================================================================== c | 0 | 2977 3180 513300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15451 c Elapsed CPU time: 31.7812 s Remaining CPU time: 148.219 s c =============================================================================== c | 0 | 2977 3181 516150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 32.1661 s Remaining CPU time: 147.834 s c =============================================================================== c | 0 | 2977 3182 519000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15449 c Elapsed CPU time: 32.574 s Remaining CPU time: 147.426 s c =============================================================================== c | 0 | 2977 3183 521850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15448 c Elapsed CPU time: 32.997 s Remaining CPU time: 147.003 s c =============================================================================== c | 0 | 2977 3184 524700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15447 c Elapsed CPU time: 33.4129 s Remaining CPU time: 146.587 s c =============================================================================== c | 0 | 2977 3185 527550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15445 c Elapsed CPU time: 33.8269 s Remaining CPU time: 146.173 s c =============================================================================== c | 0 | 2977 3186 530400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15444 c Elapsed CPU time: 34.2458 s Remaining CPU time: 145.754 s c =============================================================================== c | 0 | 2977 3187 533250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15443 c Elapsed CPU time: 34.6487 s Remaining CPU time: 145.351 s c =============================================================================== c | 0 | 2977 3188 536100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15442 c Elapsed CPU time: 35.0827 s Remaining CPU time: 144.917 s c =============================================================================== c | 0 | 2977 3189 538950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 35.5236 s Remaining CPU time: 144.476 s c =============================================================================== c | 0 | 2977 3190 541800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15438 c Elapsed CPU time: 35.9565 s Remaining CPU time: 144.043 s c =============================================================================== c | 0 | 2977 3191 544650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15437 c Elapsed CPU time: 36.3825 s Remaining CPU time: 143.618 s c =============================================================================== c | 0 | 2977 3192 547500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15436 c Elapsed CPU time: 36.8124 s Remaining CPU time: 143.188 s c =============================================================================== c | 0 | 2977 3193 550350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15434 c Elapsed CPU time: 37.2473 s Remaining CPU time: 142.753 s c =============================================================================== c | 0 | 2977 3194 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15433 c Elapsed CPU time: 37.6823 s Remaining CPU time: 142.318 s c =============================================================================== c | 0 | 2977 3195 556050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 38.1192 s Remaining CPU time: 141.881 s c =============================================================================== c | 0 | 2977 3196 558900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15430 c Elapsed CPU time: 38.5391 s Remaining CPU time: 141.461 s c =============================================================================== c | 0 | 2977 3197 561750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15428 c Elapsed CPU time: 38.9571 s Remaining CPU time: 141.043 s c =============================================================================== c | 0 | 2977 3198 564600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15427 c Elapsed CPU time: 39.39 s Remaining CPU time: 140.61 s c =============================================================================== c | 0 | 2977 3199 567450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15426 c Elapsed CPU time: 39.8279 s Remaining CPU time: 140.172 s c =============================================================================== c | 0 | 2977 3200 570300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15425 c Elapsed CPU time: 40.2479 s Remaining CPU time: 139.752 s c =============================================================================== c | 0 | 2977 3201 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15424 c Elapsed CPU time: 40.6858 s Remaining CPU time: 139.314 s c =============================================================================== c | 0 | 2977 3202 576000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15423 c Elapsed CPU time: 41.1217 s Remaining CPU time: 138.878 s c =============================================================================== c | 0 | 2977 3203 578850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15422 c Elapsed CPU time: 41.5627 s Remaining CPU time: 138.437 s c =============================================================================== c | 0 | 2977 3204 581700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15421 c Elapsed CPU time: 41.9996 s Remaining CPU time: 138 s c =============================================================================== c | 0 | 2977 3205 584550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15420 c Elapsed CPU time: 42.4275 s Remaining CPU time: 137.572 s c =============================================================================== c | 0 | 2977 3206 587400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 42.8465 s Remaining CPU time: 137.154 s c =============================================================================== c | 0 | 2977 3207 590250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15417 c Elapsed CPU time: 43.2694 s Remaining CPU time: 136.731 s c =============================================================================== c | 0 | 2977 3208 593100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 43.7024 s Remaining CPU time: 136.298 s c =============================================================================== c | 0 | 2977 3209 595950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 44.1473 s Remaining CPU time: 135.853 s c =============================================================================== c | 0 | 2977 3210 598800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15412 c Elapsed CPU time: 44.5842 s Remaining CPU time: 135.416 s c =============================================================================== c | 0 | 2977 3211 601650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 45.0282 s Remaining CPU time: 134.972 s c =============================================================================== c | 0 | 2977 3212 604500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15408 c Elapsed CPU time: 45.4601 s Remaining CPU time: 134.54 s c =============================================================================== c | 0 | 2977 3213 607350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15405 c Elapsed CPU time: 45.905 s Remaining CPU time: 134.095 s c =============================================================================== c | 0 | 2977 3214 610200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15404 c Elapsed CPU time: 46.364 s Remaining CPU time: 133.636 s c =============================================================================== c | 0 | 2977 3215 613050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15403 c Elapsed CPU time: 46.8159 s Remaining CPU time: 133.184 s c =============================================================================== c | 0 | 2977 3216 615900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 47.2578 s Remaining CPU time: 132.742 s c =============================================================================== c | 0 | 2977 3217 618750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15401 c Elapsed CPU time: 47.7037 s Remaining CPU time: 132.296 s c =============================================================================== c | 0 | 2977 3218 621600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15398 c Elapsed CPU time: 48.1657 s Remaining CPU time: 131.834 s c =============================================================================== c | 0 | 2977 3219 624450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 48.6306 s Remaining CPU time: 131.369 s c =============================================================================== c | 0 | 2977 3220 627300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15395 c Elapsed CPU time: 49.0945 s Remaining CPU time: 130.905 s c =============================================================================== c | 0 | 2977 3221 630150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15392 c Elapsed CPU time: 49.5575 s Remaining CPU time: 130.443 s c =============================================================================== c | 0 | 2977 3222 633000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15389 c Elapsed CPU time: 50.0194 s Remaining CPU time: 129.981 s c =============================================================================== c | 0 | 2977 3223 635850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 50.4903 s Remaining CPU time: 129.51 s c =============================================================================== c | 0 | 2977 3224 638700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15385 c Elapsed CPU time: 50.9533 s Remaining CPU time: 129.047 s c =============================================================================== c | 0 | 2977 3225 641550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 51.4132 s Remaining CPU time: 128.587 s c =============================================================================== c | 0 | 2977 3226 644400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15382 c Elapsed CPU time: 51.8931 s Remaining CPU time: 128.107 s c =============================================================================== c | 0 | 2977 3227 647250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15381 c Elapsed CPU time: 52.364 s Remaining CPU time: 127.636 s c =============================================================================== c | 0 | 2977 3228 650100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15380 c Elapsed CPU time: 52.834 s Remaining CPU time: 127.166 s c =============================================================================== c | 0 | 2977 3229 652950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15379 c Elapsed CPU time: 53.3179 s Remaining CPU time: 126.682 s c =============================================================================== c | 0 | 2977 3230 655800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 53.7868 s Remaining CPU time: 126.213 s c =============================================================================== c | 0 | 2977 3231 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 54.2817 s Remaining CPU time: 125.718 s c =============================================================================== c | 0 | 2977 3232 661500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 54.7607 s Remaining CPU time: 125.239 s c =============================================================================== c | 0 | 2977 3233 664350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 55.2296 s Remaining CPU time: 124.77 s c =============================================================================== c | 0 | 2977 3234 667200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 55.6965 s Remaining CPU time: 124.303 s c =============================================================================== c | 0 | 2977 3235 670050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 56.1675 s Remaining CPU time: 123.833 s c =============================================================================== c | 0 | 2977 3236 672900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 56.6354 s Remaining CPU time: 123.365 s c =============================================================================== c | 0 | 2977 3237 675750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 57.1043 s Remaining CPU time: 122.896 s c =============================================================================== c | 0 | 2977 3238 678600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15363 c Elapsed CPU time: 57.5782 s Remaining CPU time: 122.422 s c =============================================================================== c | 0 | 2977 3239 681450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15362 c Elapsed CPU time: 58.0722 s Remaining CPU time: 121.928 s c =============================================================================== c | 0 | 2977 3240 684300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 58.5831 s Remaining CPU time: 121.417 s c =============================================================================== c | 0 | 2977 3241 687150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15359 c Elapsed CPU time: 59.082 s Remaining CPU time: 120.918 s c =============================================================================== c | 0 | 2977 3242 690000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 59.6009 s Remaining CPU time: 120.399 s c =============================================================================== c | 0 | 2977 3243 692850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15357 c Elapsed CPU time: 60.1359 s Remaining CPU time: 119.864 s c =============================================================================== c | 0 | 2977 3244 695700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 60.6758 s Remaining CPU time: 119.324 s c =============================================================================== c | 0 | 2977 3245 698550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 61.2247 s Remaining CPU time: 118.775 s c =============================================================================== c | 0 | 2977 3246 701400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 61.7586 s Remaining CPU time: 118.241 s c =============================================================================== c | 0 | 2977 3247 704250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 62.2905 s Remaining CPU time: 117.709 s c =============================================================================== c | 0 | 2977 3248 707100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15351 c Elapsed CPU time: 62.8224 s Remaining CPU time: 117.178 s c =============================================================================== c | 0 | 2977 3249 709950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 63.3464 s Remaining CPU time: 116.654 s c =============================================================================== c | 0 | 2977 3250 712800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15349 c Elapsed CPU time: 63.8823 s Remaining CPU time: 116.118 s c =============================================================================== c | 0 | 2977 3251 715650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15348 c Elapsed CPU time: 64.4172 s Remaining CPU time: 115.583 s c =============================================================================== c | 0 | 2977 3252 718500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15347 c Elapsed CPU time: 64.9621 s Remaining CPU time: 115.038 s c =============================================================================== c | 0 | 2977 3253 721350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15345 c Elapsed CPU time: 65.501 s Remaining CPU time: 114.499 s c =============================================================================== c | 0 | 2977 3254 724200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 66.053 s Remaining CPU time: 113.947 s c =============================================================================== c | 0 | 2977 3255 727050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 66.6219 s Remaining CPU time: 113.378 s c =============================================================================== c | 0 | 2977 3256 729900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 67.1688 s Remaining CPU time: 112.831 s c =============================================================================== c | 0 | 2977 3257 732750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 67.7127 s Remaining CPU time: 112.287 s c =============================================================================== c | 0 | 2977 3258 735600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 68.2616 s Remaining CPU time: 111.738 s c =============================================================================== c | 0 | 2977 3259 738450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15335 c Elapsed CPU time: 68.8165 s Remaining CPU time: 111.183 s c =============================================================================== c | 0 | 2977 3260 741300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15334 c Elapsed CPU time: 69.3345 s Remaining CPU time: 110.666 s c =============================================================================== c | 0 | 2977 3261 744150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 69.7904 s Remaining CPU time: 110.21 s c =============================================================================== c | 0 | 2977 3262 747000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15331 c Elapsed CPU time: 70.2473 s Remaining CPU time: 109.753 s c =============================================================================== c | 0 | 2977 3263 749850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15330 c Elapsed CPU time: 70.7053 s Remaining CPU time: 109.295 s c =============================================================================== c | 0 | 2977 3264 752700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 71.1622 s Remaining CPU time: 108.838 s c =============================================================================== c | 0 | 2977 3265 755550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 71.6301 s Remaining CPU time: 108.37 s c =============================================================================== c | 0 | 2977 3266 758400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15326 c Elapsed CPU time: 72.085 s Remaining CPU time: 107.915 s c =============================================================================== c | 0 | 2977 3267 761250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 72.547 s Remaining CPU time: 107.453 s c =============================================================================== c | 0 | 2977 3268 764100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15324 c Elapsed CPU time: 72.9959 s Remaining CPU time: 107.004 s c =============================================================================== c | 0 | 2977 3269 766950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15322 c Elapsed CPU time: 73.4628 s Remaining CPU time: 106.537 s c =============================================================================== c | 0 | 2977 3270 769800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 73.9418 s Remaining CPU time: 106.058 s c =============================================================================== c | 0 | 2977 3271 772650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15319 c Elapsed CPU time: 74.5087 s Remaining CPU time: 105.491 s c =============================================================================== c | 0 | 2977 3272 775500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 75.0716 s Remaining CPU time: 104.928 s c =============================================================================== c | 0 | 2977 3273 778350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 75.6395 s Remaining CPU time: 104.36 s c =============================================================================== c | 0 | 2977 3274 781200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15314 c Elapsed CPU time: 76.2104 s Remaining CPU time: 103.79 s c =============================================================================== c | 0 | 2977 3275 784050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 76.7703 s Remaining CPU time: 103.23 s c =============================================================================== c | 0 | 2977 3276 786900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 77.3392 s Remaining CPU time: 102.661 s c =============================================================================== c | 0 | 2977 3277 789750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 77.9322 s Remaining CPU time: 102.068 s c =============================================================================== c | 0 | 2977 3278 792600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15309 c Elapsed CPU time: 78.5061 s Remaining CPU time: 101.494 s c =============================================================================== c | 0 | 2977 3279 795450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15307 c Elapsed CPU time: 79.074 s Remaining CPU time: 100.926 s c =============================================================================== c | 0 | 2977 3280 798300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15305 c Elapsed CPU time: 79.6609 s Remaining CPU time: 100.339 s c =============================================================================== c | 0 | 2977 3281 801150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15304 c Elapsed CPU time: 80.2578 s Remaining CPU time: 99.7422 s c =============================================================================== c | 0 | 2977 3282 804000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 80.8537 s Remaining CPU time: 99.1463 s c =============================================================================== c | 0 | 2977 3283 806850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15302 c Elapsed CPU time: 81.4996 s Remaining CPU time: 98.5004 s c =============================================================================== c | 0 | 2977 3284 809700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 82.1625 s Remaining CPU time: 97.8375 s c =============================================================================== c | 0 | 2977 3285 812550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 82.8184 s Remaining CPU time: 97.1816 s c =============================================================================== c | 0 | 2977 3286 815400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15299 c Elapsed CPU time: 83.4573 s Remaining CPU time: 96.5427 s c =============================================================================== c | 0 | 2977 3287 818250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15298 c Elapsed CPU time: 84.1092 s Remaining CPU time: 95.8908 s c =============================================================================== c | 0 | 2977 3288 821100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 84.7461 s Remaining CPU time: 95.2539 s c =============================================================================== c | 0 | 2977 3289 823950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15296 c Elapsed CPU time: 85.368 s Remaining CPU time: 94.632 s c =============================================================================== c | 0 | 2977 3290 826800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15295 c Elapsed CPU time: 86.0049 s Remaining CPU time: 93.9951 s c =============================================================================== c | 0 | 2977 3291 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 86.6378 s Remaining CPU time: 93.3622 s c =============================================================================== c | 0 | 2977 3292 832500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 87.2687 s Remaining CPU time: 92.7313 s c =============================================================================== c | 0 | 2977 3293 835350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 87.9096 s Remaining CPU time: 92.0904 s c =============================================================================== c | 0 | 2977 3294 838200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15291 c Elapsed CPU time: 88.5285 s Remaining CPU time: 91.4715 s c =============================================================================== c | 0 | 2977 3295 841050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 89.1504 s Remaining CPU time: 90.8496 s c =============================================================================== c | 0 | 2977 3296 843900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 89.7814 s Remaining CPU time: 90.2186 s c =============================================================================== c | 0 | 2977 3297 846750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 90.3993 s Remaining CPU time: 89.6007 s c =============================================================================== c | 0 | 2977 3298 849600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15285 c Elapsed CPU time: 91.0192 s Remaining CPU time: 88.9808 s c =============================================================================== c | 0 | 2977 3299 852450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 91.6541 s Remaining CPU time: 88.3459 s c =============================================================================== c | 0 | 2977 3300 855300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 92.298 s Remaining CPU time: 87.702 s c =============================================================================== c | 0 | 2977 3301 858150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 92.9549 s Remaining CPU time: 87.0451 s c =============================================================================== c | 0 | 2977 3302 861000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 93.6178 s Remaining CPU time: 86.3822 s c =============================================================================== c | 0 | 2977 3303 863850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15280 c Elapsed CPU time: 94.2717 s Remaining CPU time: 85.7283 s c =============================================================================== c | 0 | 2977 3304 866700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 94.8996 s Remaining CPU time: 85.1004 s c =============================================================================== c | 0 | 2977 3305 869550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 95.5455 s Remaining CPU time: 84.4545 s c =============================================================================== c | 0 | 2977 3306 872400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 96.2064 s Remaining CPU time: 83.7936 s c =============================================================================== c | 0 | 2977 3307 875250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 96.8623 s Remaining CPU time: 83.1377 s c =============================================================================== c | 0 | 2977 3308 878100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 97.5422 s Remaining CPU time: 82.4578 s c =============================================================================== c | 0 | 2977 3309 880950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 98.1941 s Remaining CPU time: 81.8059 s c =============================================================================== c | 0 | 2977 3310 883800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 98.863 s Remaining CPU time: 81.137 s c =============================================================================== c | 0 | 2977 3311 886650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 99.5249 s Remaining CPU time: 80.4751 s c =============================================================================== c | 0 | 2977 3312 889500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 100.213 s Remaining CPU time: 79.7872 s c =============================================================================== c | 1 | 2977 3313 892350 | 5000 1 2782 | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 100.905 s Remaining CPU time: 79.0953 s c =============================================================================== c | 1 | 2977 3314 895200 | 5000 1 2782 | 0.000 % | c =============================================================================== c New solution: 15267 c Elapsed CPU time: 101.586 s Remaining CPU time: 78.4144 s c =============================================================================== c | 1 | 2977 3315 898050 | 5000 1 2782 | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 102.239 s Remaining CPU time: 77.7605 s c =============================================================================== c | 2 | 2977 3316 900900 | 5000 2 2782 | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 102.859 s Remaining CPU time: 77.1406 s c =============================================================================== c | 2 | 2977 3317 903750 | 5000 2 2782 | 0.000 % | c =============================================================================== c New solution: 15264 c Elapsed CPU time: 103.514 s Remaining CPU time: 76.4857 s c =============================================================================== c | 2 | 2977 3318 906600 | 5000 2 2782 | 0.000 % | c =============================================================================== c New solution: 15262 c Elapsed CPU time: 104.131 s Remaining CPU time: 75.8688 s c =============================================================================== c | 2 | 2977 3319 909450 | 5000 2 2782 | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 104.786 s Remaining CPU time: 75.2139 s c =============================================================================== c | 2 | 2977 3320 912300 | 5000 2 2782 | 0.000 % | c =============================================================================== c New solution: 15260 c Elapsed CPU time: 105.41 s Remaining CPU time: 74.59 s c =============================================================================== c | 2 | 2977 3321 915150 | 5000 2 2782 | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 106.041 s Remaining CPU time: 73.9591 s c =============================================================================== c | 2 | 2977 3322 918000 | 5000 2 2782 | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 106.663 s Remaining CPU time: 73.3372 s c =============================================================================== c | 3 | 2977 3323 920850 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15256 c Elapsed CPU time: 107.313 s Remaining CPU time: 72.6873 s c =============================================================================== c | 3 | 2977 3324 923700 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 107.961 s Remaining CPU time: 72.0394 s c =============================================================================== c | 3 | 2977 3325 926550 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 108.686 s Remaining CPU time: 71.3135 s c =============================================================================== c | 3 | 2977 3326 929400 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 109.392 s Remaining CPU time: 70.6076 s c =============================================================================== c | 3 | 2977 3327 932250 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 110.062 s Remaining CPU time: 69.9377 s c =============================================================================== c | 3 | 2977 3328 935100 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 110.779 s Remaining CPU time: 69.2208 s c =============================================================================== c | 3 | 2977 3329 937950 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 111.492 s Remaining CPU time: 68.5079 s c =============================================================================== c | 3 | 2977 3330 940800 | 5000 3 2781 | 0.000 % | c =============================================================================== c New solution: 15245 c Elapsed CPU time: 112.245 s Remaining CPU time: 67.7551 s c =============================================================================== c | 4 | 2977 3331 943650 | 5000 4 2780 | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 112.989 s Remaining CPU time: 67.0112 s c =============================================================================== c | 4 | 2977 3332 946500 | 5000 4 2780 | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 113.674 s Remaining CPU time: 66.3263 s c =============================================================================== c | 4 | 2977 3333 949350 | 5000 4 2780 | 0.000 % | c =============================================================================== c New solution: 15241 c Elapsed CPU time: 114.362 s Remaining CPU time: 65.6384 s c =============================================================================== c | 4 | 2977 3334 952200 | 5000 4 2780 | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 115.089 s Remaining CPU time: 64.9115 s c =============================================================================== c | 4 | 2977 3335 955050 | 5000 4 2780 | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 115.865 s Remaining CPU time: 64.1346 s c =============================================================================== c | 5 | 2977 3336 957900 | 5000 5 2780 | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 116.579 s Remaining CPU time: 63.4207 s c =============================================================================== c | 5 | 2977 3337 960750 | 5000 5 2780 | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 117.277 s Remaining CPU time: 62.7228 s c =============================================================================== c | 5 | 2977 3338 963600 | 5000 5 2780 | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 117.98 s Remaining CPU time: 62.0199 s c =============================================================================== c | 14 | 2977 3339 966450 | 5000 14 2778 | 0.000 % | c =============================================================================== c New solution: 15234 c Elapsed CPU time: 118.684 s Remaining CPU time: 61.316 s c =============================================================================== c | 14 | 2977 3340 969300 | 5000 14 2778 | 0.000 % | c =============================================================================== c New solution: 15233 c Elapsed CPU time: 119.375 s Remaining CPU time: 60.6251 s c =============================================================================== c | 17 | 2977 3341 972150 | 5000 17 2778 | 0.000 % | c =============================================================================== c New solution: 15231 c Elapsed CPU time: 120.089 s Remaining CPU time: 59.9113 s c =============================================================================== c | 17 | 2977 3342 975000 | 5000 17 2778 | 0.000 % | c =============================================================================== c New solution: 15230 c Elapsed CPU time: 120.755 s Remaining CPU time: 59.2454 s c =============================================================================== c | 17 | 2977 3343 977850 | 5000 17 2778 | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 121.42 s Remaining CPU time: 58.5805 s c =============================================================================== c | 17 | 2977 3344 980700 | 5000 17 2778 | 0.000 % | c =============================================================================== c New solution: 15227 c Elapsed CPU time: 122.119 s Remaining CPU time: 57.8806 s c =============================================================================== c | 17 | 2977 3345 983550 | 5000 17 2778 | 0.000 % | c =============================================================================== c New solution: 15226 c Elapsed CPU time: 122.853 s Remaining CPU time: 57.1467 s c =============================================================================== c | 17 | 2977 3346 986400 | 5000 17 2778 | 0.000 % | c =============================================================================== c New solution: 15225 c Elapsed CPU time: 123.593 s Remaining CPU time: 56.4068 s c =============================================================================== c | 17 | 2977 3347 989250 | 5000 17 2778 | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 124.341 s Remaining CPU time: 55.6589 s c =============================================================================== c | 18 | 2977 3348 992100 | 5000 18 2777 | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 125.103 s Remaining CPU time: 54.897 s c =============================================================================== c | 19 | 2977 3349 994950 | 5000 19 2777 | 0.000 % | c =============================================================================== c New solution: 15221 c Elapsed CPU time: 125.944 s Remaining CPU time: 54.0561 s c =============================================================================== c | 28 | 2977 3350 997800 | 5000 28 2776 | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 126.693 s Remaining CPU time: 53.3073 s c =============================================================================== c | 28 | 2977 3351 1000650 | 5000 28 2776 | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 127.408 s Remaining CPU time: 52.5924 s c =============================================================================== c | 28 | 2977 3352 1003500 | 5000 28 2776 | 0.000 % | c =============================================================================== c New solution: 15218 c Elapsed CPU time: 128.108 s Remaining CPU time: 51.8925 s c =============================================================================== c | 28 | 2977 3353 1006350 | 5000 28 2776 | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 128.849 s Remaining CPU time: 51.1506 s c =============================================================================== c | 32 | 2977 3354 1009200 | 5000 32 2776 | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 129.546 s Remaining CPU time: 50.4537 s c =============================================================================== c | 32 | 2977 3355 1012050 | 5000 32 2776 | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 130.235 s Remaining CPU time: 49.7648 s c =============================================================================== c | 32 | 2977 3356 1014900 | 5000 32 2776 | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 130.929 s Remaining CPU time: 49.0709 s c =============================================================================== c | 34 | 2977 3357 1017750 | 5000 34 2776 | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 131.665 s Remaining CPU time: 48.335 s c =============================================================================== c | 34 | 2977 3358 1020600 | 5000 34 2776 | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 132.418 s Remaining CPU time: 47.5821 s c =============================================================================== c | 34 | 2977 3359 1023450 | 5000 34 2776 | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 133.155 s Remaining CPU time: 46.8452 s c =============================================================================== c | 34 | 2977 3360 1026300 | 5000 34 2776 | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 133.84 s Remaining CPU time: 46.1603 s c =============================================================================== c | 34 | 2977 3361 1029150 | 5000 34 2776 | 0.000 % | c =============================================================================== c New solution: 15204 c Elapsed CPU time: 134.599 s Remaining CPU time: 45.4015 s c =============================================================================== c | 42 | 2977 3362 1032000 | 5000 42 2775 | 0.000 % | c =============================================================================== c New solution: 15203 c Elapsed CPU time: 135.491 s Remaining CPU time: 44.5086 s c =============================================================================== c | 42 | 2977 3363 1034850 | 5000 42 2775 | 0.000 % | c =============================================================================== c New solution: 15201 c Elapsed CPU time: 136.29 s Remaining CPU time: 43.7097 s c =============================================================================== c | 42 | 2977 3364 1037700 | 5000 42 2775 | 0.000 % | c =============================================================================== c New solution: 15200 c Elapsed CPU time: 137.088 s Remaining CPU time: 42.9118 s c =============================================================================== c | 55 | 2977 3365 1040550 | 5000 55 2774 | 0.000 % | c =============================================================================== c New solution: 15199 c Elapsed CPU time: 137.845 s Remaining CPU time: 42.155 s c =============================================================================== c | 55 | 2977 3366 1043400 | 5000 55 2774 | 0.000 % | c =============================================================================== c New solution: 15197 c Elapsed CPU time: 138.633 s Remaining CPU time: 41.3671 s c =============================================================================== c | 59 | 2977 3367 1046250 | 5000 59 2774 | 0.000 % | c =============================================================================== c New solution: 15196 c Elapsed CPU time: 139.411 s Remaining CPU time: 40.5892 s c =============================================================================== c | 60 | 2977 3368 1049100 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15194 c Elapsed CPU time: 140.204 s Remaining CPU time: 39.7963 s c =============================================================================== c | 60 | 2977 3369 1051950 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15193 c Elapsed CPU time: 141.011 s Remaining CPU time: 38.9894 s c =============================================================================== c | 60 | 2977 3370 1054800 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15192 c Elapsed CPU time: 141.763 s Remaining CPU time: 38.2366 s c =============================================================================== c | 60 | 2977 3371 1057650 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15190 c Elapsed CPU time: 142.51 s Remaining CPU time: 37.4897 s c =============================================================================== c | 60 | 2977 3372 1060500 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15188 c Elapsed CPU time: 143.276 s Remaining CPU time: 36.7238 s c =============================================================================== c | 60 | 2977 3373 1063350 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15187 c Elapsed CPU time: 144.037 s Remaining CPU time: 35.9629 s c =============================================================================== c | 60 | 2977 3374 1066200 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15186 c Elapsed CPU time: 144.819 s Remaining CPU time: 35.181 s c =============================================================================== c | 60 | 2977 3375 1069050 | 5000 60 2774 | 0.000 % | c =============================================================================== c New solution: 15184 c Elapsed CPU time: 145.669 s Remaining CPU time: 34.3311 s c =============================================================================== c | 62 | 2977 3376 1071900 | 5000 62 2774 | 0.000 % | c =============================================================================== c New solution: 15182 c Elapsed CPU time: 146.505 s Remaining CPU time: 33.4953 s c =============================================================================== c | 62 | 2977 3377 1074750 | 5000 62 2774 | 0.000 % | c =============================================================================== c New solution: 15181 c Elapsed CPU time: 147.366 s Remaining CPU time: 32.6344 s c =============================================================================== c | 62 | 2977 3378 1077600 | 5000 62 2774 | 0.000 % | c =============================================================================== c New solution: 15180 c Elapsed CPU time: 148.19 s Remaining CPU time: 31.8095 s c =============================================================================== c | 62 | 2977 3379 1080450 | 5000 62 2774 | 0.000 % | c =============================================================================== c New solution: 15179 c Elapsed CPU time: 149.039 s Remaining CPU time: 30.9607 s c =============================================================================== c | 63 | 2977 3380 1083300 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15177 c Elapsed CPU time: 149.878 s Remaining CPU time: 30.1218 s c =============================================================================== c | 63 | 2977 3381 1086150 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15176 c Elapsed CPU time: 150.687 s Remaining CPU time: 29.3129 s c =============================================================================== c | 63 | 2977 3382 1089000 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15174 c Elapsed CPU time: 151.525 s Remaining CPU time: 28.475 s c =============================================================================== c | 63 | 2977 3383 1091850 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15173 c Elapsed CPU time: 152.334 s Remaining CPU time: 27.6662 s c =============================================================================== c | 63 | 2977 3384 1094700 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15172 c Elapsed CPU time: 153.147 s Remaining CPU time: 26.8533 s c =============================================================================== c | 63 | 2977 3385 1097550 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15171 c Elapsed CPU time: 153.96 s Remaining CPU time: 26.0404 s c =============================================================================== c | 63 | 2977 3386 1100400 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15170 c Elapsed CPU time: 154.722 s Remaining CPU time: 25.2775 s c =============================================================================== c | 63 | 2977 3387 1103250 | 5000 63 2773 | 0.000 % | c =============================================================================== c New solution: 15168 c Elapsed CPU time: 155.498 s Remaining CPU time: 24.5016 s c =============================================================================== c | 66 | 2977 3388 1106100 | 5000 66 2773 | 0.000 % | c =============================================================================== c New solution: 15166 c Elapsed CPU time: 156.242 s Remaining CPU time: 23.7578 s c =============================================================================== c | 66 | 2977 3389 1108950 | 5000 66 2773 | 0.000 % | c =============================================================================== c New solution: 15165 c Elapsed CPU time: 157.001 s Remaining CPU time: 22.9989 s c =============================================================================== c | 66 | 2977 3390 1111800 | 5000 66 2773 | 0.000 % | c =============================================================================== c New solution: 15163 c Elapsed CPU time: 157.752 s Remaining CPU time: 22.248 s c =============================================================================== c | 66 | 2977 3391 1114650 | 5000 66 2773 | 0.000 % | c =============================================================================== c New solution: 15161 c Elapsed CPU time: 158.519 s Remaining CPU time: 21.4811 s c =============================================================================== c | 68 | 2977 3392 1117500 | 5000 68 2773 | 0.000 % | c =============================================================================== c New solution: 15159 c Elapsed CPU time: 159.284 s Remaining CPU time: 20.7162 s c =============================================================================== c | 70 | 2977 3393 1120350 | 5000 70 2773 | 0.000 % | c =============================================================================== c New solution: 15157 c Elapsed CPU time: 160.101 s Remaining CPU time: 19.8993 s c =============================================================================== c | 72 | 2977 3394 1123200 | 5000 72 2772 | 0.000 % | c =============================================================================== c New solution: 15156 c Elapsed CPU time: 160.9 s Remaining CPU time: 19.1005 s c =============================================================================== c | 75 | 2977 3395 1126050 | 5000 75 2772 | 0.000 % | c =============================================================================== c New solution: 15154 c Elapsed CPU time: 161.698 s Remaining CPU time: 18.3016 s c =============================================================================== c | 75 | 2977 3396 1128900 | 5000 75 2772 | 0.000 % | c =============================================================================== c New solution: 15153 c Elapsed CPU time: 162.507 s Remaining CPU time: 17.4927 s c =============================================================================== c | 75 | 2977 3397 1131750 | 5000 75 2772 | 0.000 % | c =============================================================================== c New solution: 15151 c Elapsed CPU time: 163.363 s Remaining CPU time: 16.6368 s c =============================================================================== c | 75 | 2977 3398 1134600 | 5000 75 2772 | 0.000 % | c =============================================================================== c New solution: 15150 c Elapsed CPU time: 164.237 s Remaining CPU time: 15.763 s c =============================================================================== c | 75 | 2977 3399 1137450 | 5000 75 2772 | 0.000 % | c =============================================================================== c New solution: 15149 c Elapsed CPU time: 165.13 s Remaining CPU time: 14.8701 s c =============================================================================== c | 79 | 2977 3400 1140300 | 5000 79 2772 | 0.000 % | c =============================================================================== c New solution: 15147 c Elapsed CPU time: 165.942 s Remaining CPU time: 14.0582 s c =============================================================================== c | 79 | 2977 3401 1143150 | 5000 79 2772 | 0.000 % | c =============================================================================== c New solution: 15145 c Elapsed CPU time: 166.746 s Remaining CPU time: 13.2543 s c =============================================================================== c | 79 | 2977 3402 1146000 | 5000 79 2772 | 0.000 % | c =============================================================================== c New solution: 15144 c Elapsed CPU time: 167.601 s Remaining CPU time: 12.3995 s c =============================================================================== c | 79 | 2977 3403 1148850 | 5000 79 2772 | 0.000 % | c =============================================================================== c New solution: 15142 c Elapsed CPU time: 168.636 s Remaining CPU time: 11.3636 s c =============================================================================== c | 90 | 2977 3404 1151700 | 5000 90 2771 | 0.000 % | c =============================================================================== c New solution: 15141 c Elapsed CPU time: 169.463 s Remaining CPU time: 10.5368 s c =============================================================================== c | 90 | 2977 3405 1154550 | 5000 90 2771 | 0.000 % | c =============================================================================== c New solution: 15139 c Elapsed CPU time: 170.323 s Remaining CPU time: 9.67689 s c =============================================================================== c | 90 | 2977 3406 1157400 | 5000 90 2771 | 0.000 % | c =============================================================================== c New solution: 15137 c Elapsed CPU time: 171.162 s Remaining CPU time: 8.83802 s c =============================================================================== c | 91 | 2977 3407 1160250 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15135 c Elapsed CPU time: 171.977 s Remaining CPU time: 8.02314 s c =============================================================================== c | 91 | 2977 3408 1163100 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15133 c Elapsed CPU time: 172.831 s Remaining CPU time: 7.16927 s c =============================================================================== c | 91 | 2977 3409 1165950 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15132 c Elapsed CPU time: 173.74 s Remaining CPU time: 6.26041 s c =============================================================================== c | 91 | 2977 3410 1168800 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15130 c Elapsed CPU time: 174.578 s Remaining CPU time: 5.42154 s c =============================================================================== c | 91 | 2977 3411 1171650 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15128 c Elapsed CPU time: 175.415 s Remaining CPU time: 4.58467 s c =============================================================================== c | 91 | 2977 3412 1174500 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15126 c Elapsed CPU time: 176.197 s Remaining CPU time: 3.80279 s c =============================================================================== c | 91 | 2977 3413 1177350 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15124 c Elapsed CPU time: 177.018 s Remaining CPU time: 2.98191 s c =============================================================================== c | 91 | 2977 3414 1180200 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15123 c Elapsed CPU time: 177.857 s Remaining CPU time: 2.14304 s c =============================================================================== c | 91 | 2977 3415 1183050 | 5000 91 2770 | 0.000 % | c =============================================================================== c New solution: 15121 c Elapsed CPU time: 178.649 s Remaining CPU time: 1.35116 s c =============================================================================== c | 100 | 2977 3416 1185900 | 5000 100 2769 | 0.000 % | c =============================================================================== c New solution: 15120 c Elapsed CPU time: 179.457 s Remaining CPU time: 0.543282 s c =============================================================================== c | 100 | 2977 3417 1188750 | 5000 100 2769 | 0.000 % | c There are 23 assigned variables. 9 in cost function.