c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 1000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1000 | c | Number Clauses: 1000 | 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 | 955 1001 2850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4610 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 955 1002 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4607 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 955 1003 4550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4605 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 955 1004 5400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4604 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 955 1005 6250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4603 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 955 1006 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4602 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 955 1007 7950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4601 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 955 1008 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4600 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 955 1009 9650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4599 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 955 1010 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 955 1011 11350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4597 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 955 1012 12200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4596 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 955 1013 13050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4595 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 955 1014 13900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4594 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 955 1015 14750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4593 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 955 1016 15600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4592 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 955 1017 16450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4591 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 955 1018 17300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4588 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 955 1019 18150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4587 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 955 1020 19000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4586 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 0 | 955 1021 19850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4585 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 955 1022 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4584 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 955 1023 21550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4583 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 955 1024 22400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4582 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 955 1025 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4581 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 955 1026 24100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4580 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 955 1027 24950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4578 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 955 1028 25800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4577 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 955 1029 26650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4576 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 955 1030 27500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4575 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 955 1031 28350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4572 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 955 1032 29200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4571 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 955 1033 30050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4569 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 955 1034 30900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4567 c Elapsed CPU time: 0.199969 s Remaining CPU time: 179.8 s c =============================================================================== c | 0 | 955 1035 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4566 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 955 1036 32600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4564 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 955 1037 33450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 955 1038 34300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4562 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 955 1039 35150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4559 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 0 | 955 1040 36000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4558 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 0 | 955 1041 36850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4557 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 955 1042 37700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4554 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 955 1043 38550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4551 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 955 1044 39400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4549 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 955 1045 40250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4547 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 955 1046 41100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4546 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 955 1047 41950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4545 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 955 1048 42800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4544 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s c =============================================================================== c | 0 | 955 1049 43650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4543 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 0 | 955 1050 44500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4541 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 955 1051 45350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4540 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 0 | 955 1052 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4539 c Elapsed CPU time: 0.399939 s Remaining CPU time: 179.6 s c =============================================================================== c | 0 | 955 1053 47050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4538 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 0 | 955 1054 47900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4537 c Elapsed CPU time: 0.427934 s Remaining CPU time: 179.572 s c =============================================================================== c | 0 | 955 1055 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4536 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 0 | 955 1056 49600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4534 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 0 | 955 1057 50450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4533 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s c =============================================================================== c | 0 | 955 1058 51300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4530 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 0 | 955 1059 52150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4529 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 0 | 955 1060 53000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4526 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 955 1061 53850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4524 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 955 1062 54700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4523 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 955 1063 55550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4520 c Elapsed CPU time: 0.574912 s Remaining CPU time: 179.425 s c =============================================================================== c | 0 | 955 1064 56400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4519 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s c =============================================================================== c | 0 | 955 1065 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4518 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 0 | 955 1066 58100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4517 c Elapsed CPU time: 0.630904 s Remaining CPU time: 179.369 s c =============================================================================== c | 0 | 955 1067 58950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4515 c Elapsed CPU time: 0.648901 s Remaining CPU time: 179.351 s c =============================================================================== c | 0 | 955 1068 59800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4514 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 0 | 955 1069 60650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4511 c Elapsed CPU time: 0.688895 s Remaining CPU time: 179.311 s c =============================================================================== c | 0 | 955 1070 61500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4507 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 0 | 955 1071 62350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4504 c Elapsed CPU time: 0.729889 s Remaining CPU time: 179.27 s c =============================================================================== c | 0 | 955 1072 63200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4503 c Elapsed CPU time: 0.752885 s Remaining CPU time: 179.247 s c =============================================================================== c | 0 | 955 1073 64050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4499 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 955 1074 64900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4497 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 0 | 955 1075 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4493 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 955 1076 66600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4492 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 0 | 955 1077 67450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4491 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 0 | 955 1078 68300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4490 c Elapsed CPU time: 0.890864 s Remaining CPU time: 179.109 s c =============================================================================== c | 0 | 955 1079 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 0 | 955 1080 70000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4486 c Elapsed CPU time: 0.937857 s Remaining CPU time: 179.062 s c =============================================================================== c | 0 | 955 1081 70850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4484 c Elapsed CPU time: 0.960853 s Remaining CPU time: 179.039 s c =============================================================================== c | 0 | 955 1082 71700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4481 c Elapsed CPU time: 0.98485 s Remaining CPU time: 179.015 s c =============================================================================== c | 0 | 955 1083 72550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4480 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 0 | 955 1084 73400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4479 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s c =============================================================================== c | 0 | 955 1085 74250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 0 | 955 1086 75100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4475 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 0 | 955 1087 75950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4474 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s c =============================================================================== c | 0 | 955 1088 76800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4471 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s c =============================================================================== c | 0 | 955 1089 77650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4468 c Elapsed CPU time: 1.16482 s Remaining CPU time: 178.835 s c =============================================================================== c | 0 | 955 1090 78500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4467 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 0 | 955 1091 79350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4466 c Elapsed CPU time: 1.22181 s Remaining CPU time: 178.778 s c =============================================================================== c | 0 | 955 1092 80200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4465 c Elapsed CPU time: 1.25081 s Remaining CPU time: 178.749 s c =============================================================================== c | 0 | 955 1093 81050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4464 c Elapsed CPU time: 1.2788 s Remaining CPU time: 178.721 s c =============================================================================== c | 0 | 955 1094 81900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4462 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 0 | 955 1095 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4461 c Elapsed CPU time: 1.34279 s Remaining CPU time: 178.657 s c =============================================================================== c | 0 | 955 1096 83600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s c =============================================================================== c | 0 | 955 1097 84450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4457 c Elapsed CPU time: 1.40579 s Remaining CPU time: 178.594 s c =============================================================================== c | 0 | 955 1098 85300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4453 c Elapsed CPU time: 1.43778 s Remaining CPU time: 178.562 s c =============================================================================== c | 0 | 955 1099 86150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4452 c Elapsed CPU time: 1.46978 s Remaining CPU time: 178.53 s c =============================================================================== c | 0 | 955 1100 87000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4451 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 0 | 955 1101 87850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4449 c Elapsed CPU time: 1.53677 s Remaining CPU time: 178.463 s c =============================================================================== c | 0 | 955 1102 88700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4448 c Elapsed CPU time: 1.56976 s Remaining CPU time: 178.43 s c =============================================================================== c | 0 | 955 1103 89550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4447 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s c =============================================================================== c | 0 | 955 1104 90400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4445 c Elapsed CPU time: 1.63675 s Remaining CPU time: 178.363 s c =============================================================================== c | 0 | 955 1105 91250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4444 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 0 | 955 1106 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4443 c Elapsed CPU time: 1.70874 s Remaining CPU time: 178.291 s c =============================================================================== c | 0 | 955 1107 92950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 1.74673 s Remaining CPU time: 178.253 s c =============================================================================== c | 0 | 955 1108 93800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4441 c Elapsed CPU time: 1.78573 s Remaining CPU time: 178.214 s c =============================================================================== c | 0 | 955 1109 94650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4440 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s c =============================================================================== c | 0 | 955 1110 95500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4438 c Elapsed CPU time: 1.86172 s Remaining CPU time: 178.138 s c =============================================================================== c | 0 | 955 1111 96350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4437 c Elapsed CPU time: 1.90271 s Remaining CPU time: 178.097 s c =============================================================================== c | 0 | 955 1112 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4434 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 0 | 955 1113 98050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4433 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s c =============================================================================== c | 0 | 955 1114 98900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4432 c Elapsed CPU time: 2.02669 s Remaining CPU time: 177.973 s c =============================================================================== c | 0 | 955 1115 99750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 2.06669 s Remaining CPU time: 177.933 s c =============================================================================== c | 0 | 955 1116 100600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4426 c Elapsed CPU time: 2.11168 s Remaining CPU time: 177.888 s c =============================================================================== c | 0 | 955 1117 101450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4425 c Elapsed CPU time: 2.15867 s Remaining CPU time: 177.841 s c =============================================================================== c | 0 | 955 1118 102300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 0 | 955 1119 103150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4421 c Elapsed CPU time: 2.24766 s Remaining CPU time: 177.752 s c =============================================================================== c | 0 | 955 1120 104000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 2.29365 s Remaining CPU time: 177.706 s c =============================================================================== c | 0 | 955 1121 104850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 2.33864 s Remaining CPU time: 177.661 s c =============================================================================== c | 0 | 955 1122 105700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4413 c Elapsed CPU time: 2.38364 s Remaining CPU time: 177.616 s c =============================================================================== c | 0 | 955 1123 106550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 2.43063 s Remaining CPU time: 177.569 s c =============================================================================== c | 0 | 955 1124 107400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 2.47862 s Remaining CPU time: 177.521 s c =============================================================================== c | 0 | 955 1125 108250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4405 c Elapsed CPU time: 2.52662 s Remaining CPU time: 177.473 s c =============================================================================== c | 0 | 955 1126 109100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4404 c Elapsed CPU time: 2.57561 s Remaining CPU time: 177.424 s c =============================================================================== c | 0 | 955 1127 109950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4403 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s c =============================================================================== c | 0 | 955 1128 110800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4402 c Elapsed CPU time: 2.67359 s Remaining CPU time: 177.326 s c =============================================================================== c | 0 | 955 1129 111650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 0 | 955 1130 112500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 2.77058 s Remaining CPU time: 177.229 s c =============================================================================== c | 0 | 955 1131 113350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4397 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 0 | 955 1132 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4394 c Elapsed CPU time: 2.87156 s Remaining CPU time: 177.128 s c =============================================================================== c | 0 | 955 1133 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4393 c Elapsed CPU time: 2.92256 s Remaining CPU time: 177.077 s c =============================================================================== c | 0 | 955 1134 115900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 2.97755 s Remaining CPU time: 177.022 s c =============================================================================== c | 0 | 955 1135 116750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4387 c Elapsed CPU time: 3.03254 s Remaining CPU time: 176.967 s c =============================================================================== c | 0 | 955 1136 117600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4386 c Elapsed CPU time: 3.08553 s Remaining CPU time: 176.914 s c =============================================================================== c | 0 | 955 1137 118450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4384 c Elapsed CPU time: 3.14052 s Remaining CPU time: 176.859 s c =============================================================================== c | 0 | 955 1138 119300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4383 c Elapsed CPU time: 3.19451 s Remaining CPU time: 176.805 s c =============================================================================== c | 0 | 955 1139 120150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4379 c Elapsed CPU time: 3.24751 s Remaining CPU time: 176.752 s c =============================================================================== c | 0 | 955 1140 121000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4375 c Elapsed CPU time: 3.3015 s Remaining CPU time: 176.699 s c =============================================================================== c | 0 | 955 1141 121850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4372 c Elapsed CPU time: 3.35749 s Remaining CPU time: 176.643 s c =============================================================================== c | 0 | 955 1142 122700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4371 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 0 | 955 1143 123550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 3.47147 s Remaining CPU time: 176.529 s c =============================================================================== c | 0 | 955 1144 124400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 3.53246 s Remaining CPU time: 176.468 s c =============================================================================== c | 0 | 955 1145 125250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4368 c Elapsed CPU time: 3.59245 s Remaining CPU time: 176.408 s c =============================================================================== c | 0 | 955 1146 126100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 3.65344 s Remaining CPU time: 176.347 s c =============================================================================== c | 0 | 955 1147 126950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4366 c Elapsed CPU time: 3.70944 s Remaining CPU time: 176.291 s c =============================================================================== c | 0 | 955 1148 127800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 3.76843 s Remaining CPU time: 176.232 s c =============================================================================== c | 0 | 955 1149 128650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4362 c Elapsed CPU time: 3.82742 s Remaining CPU time: 176.173 s c =============================================================================== c | 0 | 955 1150 129500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4361 c Elapsed CPU time: 3.88441 s Remaining CPU time: 176.116 s c =============================================================================== c | 0 | 955 1151 130350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4357 c Elapsed CPU time: 3.9424 s Remaining CPU time: 176.058 s c =============================================================================== c | 0 | 955 1152 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4355 c Elapsed CPU time: 4.00339 s Remaining CPU time: 175.997 s c =============================================================================== c | 0 | 955 1153 132050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 4.06538 s Remaining CPU time: 175.935 s c =============================================================================== c | 0 | 955 1154 132900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4353 c Elapsed CPU time: 4.12637 s Remaining CPU time: 175.874 s c =============================================================================== c | 0 | 955 1155 133750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 4.18836 s Remaining CPU time: 175.812 s c =============================================================================== c | 0 | 955 1156 134600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 4.25035 s Remaining CPU time: 175.75 s c =============================================================================== c | 0 | 955 1157 135450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 4.31534 s Remaining CPU time: 175.685 s c =============================================================================== c | 0 | 955 1158 136300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 4.37933 s Remaining CPU time: 175.621 s c =============================================================================== c | 0 | 955 1159 137150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 4.44432 s Remaining CPU time: 175.556 s c =============================================================================== c | 0 | 955 1160 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 4.51331 s Remaining CPU time: 175.487 s c =============================================================================== c | 0 | 955 1161 138850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 4.5793 s Remaining CPU time: 175.421 s c =============================================================================== c | 0 | 955 1162 139700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 4.64729 s Remaining CPU time: 175.353 s c =============================================================================== c | 0 | 955 1163 140550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 4.71028 s Remaining CPU time: 175.29 s c =============================================================================== c | 0 | 955 1164 141400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 4.78027 s Remaining CPU time: 175.22 s c =============================================================================== c | 0 | 955 1165 142250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 4.84826 s Remaining CPU time: 175.152 s c =============================================================================== c | 0 | 955 1166 143100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 4.91625 s Remaining CPU time: 175.084 s c =============================================================================== c | 0 | 955 1167 143950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 4.98524 s Remaining CPU time: 175.015 s c =============================================================================== c | 0 | 955 1168 144800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 5.05423 s Remaining CPU time: 174.946 s c =============================================================================== c | 0 | 955 1169 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 5.11922 s Remaining CPU time: 174.881 s c =============================================================================== c | 0 | 955 1170 146500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 5.19121 s Remaining CPU time: 174.809 s c =============================================================================== c | 0 | 955 1171 147350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 5.2602 s Remaining CPU time: 174.74 s c =============================================================================== c | 0 | 955 1172 148200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 5.32919 s Remaining CPU time: 174.671 s c =============================================================================== c | 0 | 955 1173 149050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 5.40218 s Remaining CPU time: 174.598 s c =============================================================================== c | 0 | 955 1174 149900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 5.47517 s Remaining CPU time: 174.525 s c =============================================================================== c | 0 | 955 1175 150750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 5.54816 s Remaining CPU time: 174.452 s c =============================================================================== c | 0 | 955 1176 151600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 5.62014 s Remaining CPU time: 174.38 s c =============================================================================== c | 0 | 955 1177 152450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 5.69413 s Remaining CPU time: 174.306 s c =============================================================================== c | 0 | 955 1178 153300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 5.76712 s Remaining CPU time: 174.233 s c =============================================================================== c | 0 | 955 1179 154150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 5.84111 s Remaining CPU time: 174.159 s c =============================================================================== c | 0 | 955 1180 155000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 5.9171 s Remaining CPU time: 174.083 s c =============================================================================== c | 0 | 955 1181 155850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 5.99109 s Remaining CPU time: 174.009 s c =============================================================================== c | 0 | 955 1182 156700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 6.06608 s Remaining CPU time: 173.934 s c =============================================================================== c | 0 | 955 1183 157550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 6.14307 s Remaining CPU time: 173.857 s c =============================================================================== c | 0 | 955 1184 158400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 6.21605 s Remaining CPU time: 173.784 s c =============================================================================== c | 0 | 955 1185 159250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 6.29204 s Remaining CPU time: 173.708 s c =============================================================================== c | 0 | 955 1186 160100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 6.37103 s Remaining CPU time: 173.629 s c =============================================================================== c | 0 | 955 1187 160950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 6.44702 s Remaining CPU time: 173.553 s c =============================================================================== c | 0 | 955 1188 161800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 6.52801 s Remaining CPU time: 173.472 s c =============================================================================== c | 0 | 955 1189 162650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 6.604 s Remaining CPU time: 173.396 s c =============================================================================== c | 0 | 955 1190 163500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 6.68098 s Remaining CPU time: 173.319 s c =============================================================================== c | 0 | 955 1191 164350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 6.75797 s Remaining CPU time: 173.242 s c =============================================================================== c | 0 | 955 1192 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 6.83796 s Remaining CPU time: 173.162 s c =============================================================================== c | 0 | 955 1193 166050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 6.92195 s Remaining CPU time: 173.078 s c =============================================================================== c | 0 | 955 1194 166900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 7.00693 s Remaining CPU time: 172.993 s c =============================================================================== c | 0 | 955 1195 167750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 7.08792 s Remaining CPU time: 172.912 s c =============================================================================== c | 0 | 955 1196 168600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 7.17291 s Remaining CPU time: 172.827 s c =============================================================================== c | 0 | 955 1197 169450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 7.2549 s Remaining CPU time: 172.745 s c =============================================================================== c | 0 | 955 1198 170300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 7.33888 s Remaining CPU time: 172.661 s c =============================================================================== c | 0 | 955 1199 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 7.42087 s Remaining CPU time: 172.579 s c =============================================================================== c | 0 | 955 1200 172000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 7.50586 s Remaining CPU time: 172.494 s c =============================================================================== c | 0 | 955 1201 172850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 7.59185 s Remaining CPU time: 172.408 s c =============================================================================== c | 0 | 955 1202 173700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 7.67583 s Remaining CPU time: 172.324 s c =============================================================================== c | 0 | 955 1203 174550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 7.75982 s Remaining CPU time: 172.24 s c =============================================================================== c | 0 | 955 1204 175400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 7.85081 s Remaining CPU time: 172.149 s c =============================================================================== c | 0 | 955 1205 176250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 7.93679 s Remaining CPU time: 172.063 s c =============================================================================== c | 0 | 955 1206 177100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 8.02678 s Remaining CPU time: 171.973 s c =============================================================================== c | 0 | 955 1207 177950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 8.11577 s Remaining CPU time: 171.884 s c =============================================================================== c | 0 | 955 1208 178800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 8.20275 s Remaining CPU time: 171.797 s c =============================================================================== c | 0 | 955 1209 179650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 8.29074 s Remaining CPU time: 171.709 s c =============================================================================== c | 0 | 955 1210 180500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 8.37873 s Remaining CPU time: 171.621 s c =============================================================================== c | 0 | 955 1211 181350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 8.47271 s Remaining CPU time: 171.527 s c =============================================================================== c | 0 | 955 1212 182200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 8.5647 s Remaining CPU time: 171.435 s c =============================================================================== c | 0 | 955 1213 183050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 8.65468 s Remaining CPU time: 171.345 s c =============================================================================== c | 0 | 955 1214 183900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 8.74467 s Remaining CPU time: 171.255 s c =============================================================================== c | 0 | 955 1215 184750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 8.83666 s Remaining CPU time: 171.163 s c =============================================================================== c | 0 | 955 1216 185600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 8.92864 s Remaining CPU time: 171.071 s c =============================================================================== c | 0 | 955 1217 186450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 9.02163 s Remaining CPU time: 170.978 s c =============================================================================== c | 0 | 955 1218 187300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 9.11961 s Remaining CPU time: 170.88 s c =============================================================================== c | 0 | 955 1219 188150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 9.2196 s Remaining CPU time: 170.78 s c =============================================================================== c | 0 | 955 1220 189000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 9.31658 s Remaining CPU time: 170.683 s c =============================================================================== c | 0 | 955 1221 189850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 9.41357 s Remaining CPU time: 170.586 s c =============================================================================== c | 0 | 955 1222 190700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 9.50955 s Remaining CPU time: 170.49 s c =============================================================================== c | 0 | 955 1223 191550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 9.60154 s Remaining CPU time: 170.398 s c =============================================================================== c | 0 | 955 1224 192400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 9.69952 s Remaining CPU time: 170.3 s c =============================================================================== c | 0 | 955 1225 193250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 9.79551 s Remaining CPU time: 170.204 s c =============================================================================== c | 0 | 955 1226 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 9.8955 s Remaining CPU time: 170.105 s c =============================================================================== c | 0 | 955 1227 194950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 9.99248 s Remaining CPU time: 170.008 s c =============================================================================== c | 0 | 955 1228 195800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 10.0905 s Remaining CPU time: 169.91 s c =============================================================================== c | 0 | 955 1229 196650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 10.1885 s Remaining CPU time: 169.812 s c =============================================================================== c | 0 | 955 1230 197500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 10.2854 s Remaining CPU time: 169.715 s c =============================================================================== c | 0 | 955 1231 198350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 10.3944 s Remaining CPU time: 169.606 s c =============================================================================== c | 0 | 955 1232 199200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 10.4914 s Remaining CPU time: 169.509 s c =============================================================================== c | 0 | 955 1233 200050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 10.5934 s Remaining CPU time: 169.407 s c =============================================================================== c | 0 | 955 1234 200900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 10.6934 s Remaining CPU time: 169.307 s c =============================================================================== c | 0 | 955 1235 201750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 10.7944 s Remaining CPU time: 169.206 s c =============================================================================== c | 0 | 955 1236 202600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 10.8973 s Remaining CPU time: 169.103 s c =============================================================================== c | 0 | 955 1237 203450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 10.9983 s Remaining CPU time: 169.002 s c =============================================================================== c | 0 | 955 1238 204300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 11.1023 s Remaining CPU time: 168.898 s c =============================================================================== c | 0 | 955 1239 205150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 11.2073 s Remaining CPU time: 168.793 s c =============================================================================== c | 0 | 955 1240 206000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 11.3093 s Remaining CPU time: 168.691 s c =============================================================================== c | 0 | 955 1241 206850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 11.4133 s Remaining CPU time: 168.587 s c =============================================================================== c | 0 | 955 1242 207700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 11.5182 s Remaining CPU time: 168.482 s c =============================================================================== c | 0 | 955 1243 208550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 11.6292 s Remaining CPU time: 168.371 s c =============================================================================== c | 0 | 955 1244 209400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 11.7372 s Remaining CPU time: 168.263 s c =============================================================================== c | 0 | 955 1245 210250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 11.8442 s Remaining CPU time: 168.156 s c =============================================================================== c | 0 | 955 1246 211100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 11.9552 s Remaining CPU time: 168.045 s c =============================================================================== c | 0 | 955 1247 211950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 12.0632 s Remaining CPU time: 167.937 s c =============================================================================== c | 0 | 955 1248 212800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 12.1741 s Remaining CPU time: 167.826 s c =============================================================================== c | 0 | 955 1249 213650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 12.2841 s Remaining CPU time: 167.716 s c =============================================================================== c | 0 | 955 1250 214500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 12.3931 s Remaining CPU time: 167.607 s c =============================================================================== c | 0 | 955 1251 215350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 12.5051 s Remaining CPU time: 167.495 s c =============================================================================== c | 0 | 955 1252 216200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 12.6181 s Remaining CPU time: 167.382 s c =============================================================================== c | 0 | 955 1253 217050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 12.7291 s Remaining CPU time: 167.271 s c =============================================================================== c | 0 | 955 1254 217900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 12.842 s Remaining CPU time: 167.158 s c =============================================================================== c | 0 | 955 1255 218750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 12.955 s Remaining CPU time: 167.045 s c =============================================================================== c | 0 | 955 1256 219600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 13.066 s Remaining CPU time: 166.934 s c =============================================================================== c | 0 | 955 1257 220450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 13.18 s Remaining CPU time: 166.82 s c =============================================================================== c | 0 | 955 1258 221300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 13.29 s Remaining CPU time: 166.71 s c =============================================================================== c | 0 | 955 1259 222150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 13.405 s Remaining CPU time: 166.595 s c =============================================================================== c | 0 | 955 1260 223000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 13.5189 s Remaining CPU time: 166.481 s c =============================================================================== c | 0 | 955 1261 223850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 13.6389 s Remaining CPU time: 166.361 s c =============================================================================== c | 0 | 955 1262 224700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 13.7539 s Remaining CPU time: 166.246 s c =============================================================================== c | 0 | 955 1263 225550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 13.8689 s Remaining CPU time: 166.131 s c =============================================================================== c | 0 | 955 1264 226400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 13.9899 s Remaining CPU time: 166.01 s c =============================================================================== c | 0 | 955 1265 227250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 14.1099 s Remaining CPU time: 165.89 s c =============================================================================== c | 0 | 955 1266 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 14.2278 s Remaining CPU time: 165.772 s c =============================================================================== c | 0 | 955 1267 228950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 14.3448 s Remaining CPU time: 165.655 s c =============================================================================== c | 0 | 955 1268 229800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 14.4608 s Remaining CPU time: 165.539 s c =============================================================================== c | 0 | 955 1269 230650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 14.5778 s Remaining CPU time: 165.422 s c =============================================================================== c | 0 | 955 1270 231500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 14.7008 s Remaining CPU time: 165.299 s c =============================================================================== c | 0 | 955 1271 232350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 14.8197 s Remaining CPU time: 165.18 s c =============================================================================== c | 0 | 955 1272 233200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 14.9407 s Remaining CPU time: 165.059 s c =============================================================================== c | 0 | 955 1273 234050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 15.0607 s Remaining CPU time: 164.939 s c =============================================================================== c | 0 | 955 1274 234900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 15.1967 s Remaining CPU time: 164.803 s c =============================================================================== c | 2 | 955 1275 235750 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 15.3187 s Remaining CPU time: 164.681 s c =============================================================================== c | 2 | 955 1276 236600 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 15.4477 s Remaining CPU time: 164.552 s c =============================================================================== c | 2 | 955 1277 237450 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 15.5706 s Remaining CPU time: 164.429 s c =============================================================================== c | 2 | 955 1278 238300 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 15.6916 s Remaining CPU time: 164.308 s c =============================================================================== c | 2 | 955 1279 239150 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 15.8156 s Remaining CPU time: 164.184 s c =============================================================================== c | 2 | 955 1280 240000 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 15.9436 s Remaining CPU time: 164.056 s c =============================================================================== c | 2 | 955 1281 240850 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 16.0736 s Remaining CPU time: 163.926 s c =============================================================================== c | 2 | 955 1282 241700 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 16.1965 s Remaining CPU time: 163.803 s c =============================================================================== c | 2 | 955 1283 242550 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 16.3265 s Remaining CPU time: 163.673 s c =============================================================================== c | 2 | 955 1284 243400 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 16.4585 s Remaining CPU time: 163.542 s c =============================================================================== c | 2 | 955 1285 244250 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 16.6005 s Remaining CPU time: 163.4 s c =============================================================================== c | 2 | 955 1286 245100 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 16.7365 s Remaining CPU time: 163.264 s c =============================================================================== c | 2 | 955 1287 245950 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 16.8714 s Remaining CPU time: 163.129 s c =============================================================================== c | 2 | 955 1288 246800 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 17.0104 s Remaining CPU time: 162.99 s c =============================================================================== c | 2 | 955 1289 247650 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 17.1384 s Remaining CPU time: 162.862 s c =============================================================================== c | 2 | 955 1290 248500 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 17.2754 s Remaining CPU time: 162.725 s c =============================================================================== c | 2 | 955 1291 249350 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 17.4094 s Remaining CPU time: 162.591 s c =============================================================================== c | 2 | 955 1292 250200 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 17.5443 s Remaining CPU time: 162.456 s c =============================================================================== c | 2 | 955 1293 251050 | 5000 2 784 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 17.6823 s Remaining CPU time: 162.318 s c =============================================================================== c | 4 | 955 1294 251900 | 5000 4 782 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 17.8163 s Remaining CPU time: 162.184 s c =============================================================================== c | 5 | 955 1295 252750 | 5000 5 781 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 17.9583 s Remaining CPU time: 162.042 s c =============================================================================== c | 7 | 955 1296 253600 | 5000 7 780 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 18.0982 s Remaining CPU time: 161.902 s c =============================================================================== c | 7 | 955 1297 254450 | 5000 7 780 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 18.2402 s Remaining CPU time: 161.76 s c =============================================================================== c | 9 | 955 1298 255300 | 5000 9 780 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 18.3802 s Remaining CPU time: 161.62 s c =============================================================================== c | 12 | 955 1299 256150 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 18.5212 s Remaining CPU time: 161.479 s c =============================================================================== c | 12 | 955 1300 257000 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 18.6612 s Remaining CPU time: 161.339 s c =============================================================================== c | 12 | 955 1301 257850 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 18.8051 s Remaining CPU time: 161.195 s c =============================================================================== c | 12 | 955 1302 258700 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 18.9471 s Remaining CPU time: 161.053 s c =============================================================================== c | 12 | 955 1303 259550 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 19.0861 s Remaining CPU time: 160.914 s c =============================================================================== c | 12 | 955 1304 260400 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 19.2251 s Remaining CPU time: 160.775 s c =============================================================================== c | 12 | 955 1305 261250 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 19.3681 s Remaining CPU time: 160.632 s c =============================================================================== c | 12 | 955 1306 262100 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 19.511 s Remaining CPU time: 160.489 s c =============================================================================== c | 12 | 955 1307 262950 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 19.651 s Remaining CPU time: 160.349 s c =============================================================================== c | 12 | 955 1308 263800 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 19.788 s Remaining CPU time: 160.212 s c =============================================================================== c | 12 | 955 1309 264650 | 5000 12 779 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 19.938 s Remaining CPU time: 160.062 s c =============================================================================== c | 13 | 955 1310 265500 | 5000 13 778 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 20.0789 s Remaining CPU time: 159.921 s c =============================================================================== c | 13 | 955 1311 266350 | 5000 13 778 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 20.2219 s Remaining CPU time: 159.778 s c =============================================================================== c | 13 | 955 1312 267200 | 5000 13 778 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 20.3679 s Remaining CPU time: 159.632 s c =============================================================================== c | 13 | 955 1313 268050 | 5000 13 778 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 20.5059 s Remaining CPU time: 159.494 s c =============================================================================== c | 13 | 955 1314 268900 | 5000 13 778 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 20.6559 s Remaining CPU time: 159.344 s c =============================================================================== c | 15 | 955 1315 269750 | 5000 15 778 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 20.8058 s Remaining CPU time: 159.194 s c =============================================================================== c | 15 | 955 1316 270600 | 5000 15 778 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 20.9478 s Remaining CPU time: 159.052 s c =============================================================================== c | 17 | 955 1317 271450 | 5000 17 778 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 21.0968 s Remaining CPU time: 158.903 s c =============================================================================== c | 18 | 955 1318 272300 | 5000 18 777 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 21.2498 s Remaining CPU time: 158.75 s c =============================================================================== c | 18 | 955 1319 273150 | 5000 18 777 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 21.4007 s Remaining CPU time: 158.599 s c =============================================================================== c | 18 | 955 1320 274000 | 5000 18 777 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 21.5667 s Remaining CPU time: 158.433 s c =============================================================================== c | 25 | 955 1321 274850 | 5000 25 776 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 21.7127 s Remaining CPU time: 158.287 s c =============================================================================== c | 25 | 955 1322 275700 | 5000 25 776 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 21.8677 s Remaining CPU time: 158.132 s c =============================================================================== c | 27 | 955 1323 276550 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 22.0287 s Remaining CPU time: 157.971 s c =============================================================================== c | 27 | 955 1324 277400 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 22.1796 s Remaining CPU time: 157.82 s c =============================================================================== c | 27 | 955 1325 278250 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 22.3286 s Remaining CPU time: 157.671 s c =============================================================================== c | 27 | 955 1326 279100 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 22.4836 s Remaining CPU time: 157.516 s c =============================================================================== c | 27 | 955 1327 279950 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 22.6466 s Remaining CPU time: 157.353 s c =============================================================================== c | 27 | 955 1328 280800 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 22.8045 s Remaining CPU time: 157.195 s c =============================================================================== c | 27 | 955 1329 281650 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 22.9605 s Remaining CPU time: 157.039 s c =============================================================================== c | 27 | 955 1330 282500 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 23.1275 s Remaining CPU time: 156.873 s c =============================================================================== c | 27 | 955 1331 283350 | 5000 27 775 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 23.2985 s Remaining CPU time: 156.702 s c =============================================================================== c | 29 | 955 1332 284200 | 5000 29 775 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 23.4614 s Remaining CPU time: 156.539 s c =============================================================================== c | 29 | 955 1333 285050 | 5000 29 775 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 23.6224 s Remaining CPU time: 156.378 s c =============================================================================== c | 29 | 955 1334 285900 | 5000 29 775 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 23.7804 s Remaining CPU time: 156.22 s c =============================================================================== c | 29 | 955 1335 286750 | 5000 29 775 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 23.9414 s Remaining CPU time: 156.059 s c =============================================================================== c | 31 | 955 1336 287600 | 5000 31 775 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 24.0953 s Remaining CPU time: 155.905 s c =============================================================================== c | 31 | 955 1337 288450 | 5000 31 775 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 24.2653 s Remaining CPU time: 155.735 s c =============================================================================== c | 31 | 955 1338 289300 | 5000 31 775 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 24.4233 s Remaining CPU time: 155.577 s c =============================================================================== c | 31 | 955 1339 290150 | 5000 31 775 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 24.5833 s Remaining CPU time: 155.417 s c =============================================================================== c | 31 | 955 1340 291000 | 5000 31 775 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 24.7402 s Remaining CPU time: 155.26 s c =============================================================================== c | 32 | 955 1341 291850 | 5000 32 774 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 24.9122 s Remaining CPU time: 155.088 s c =============================================================================== c | 33 | 955 1342 292700 | 5000 33 774 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 25.0762 s Remaining CPU time: 154.924 s c =============================================================================== c | 33 | 955 1343 293550 | 5000 33 774 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 25.2422 s Remaining CPU time: 154.758 s c =============================================================================== c | 33 | 955 1344 294400 | 5000 33 774 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 25.4041 s Remaining CPU time: 154.596 s c =============================================================================== c | 33 | 955 1345 295250 | 5000 33 774 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 25.5711 s Remaining CPU time: 154.429 s c =============================================================================== c | 34 | 955 1346 296100 | 5000 34 774 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 25.7721 s Remaining CPU time: 154.228 s c =============================================================================== c | 38 | 955 1347 296950 | 5000 38 774 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 25.9461 s Remaining CPU time: 154.054 s c =============================================================================== c | 38 | 955 1348 297800 | 5000 38 774 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 26.112 s Remaining CPU time: 153.888 s c =============================================================================== c | 38 | 955 1349 298650 | 5000 38 774 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 26.27 s Remaining CPU time: 153.73 s c =============================================================================== c | 38 | 955 1350 299500 | 5000 38 774 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 26.435 s Remaining CPU time: 153.565 s c =============================================================================== c | 38 | 955 1351 300350 | 5000 38 774 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 26.609 s Remaining CPU time: 153.391 s c =============================================================================== c | 44 | 955 1352 301200 | 5000 44 772 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 26.7859 s Remaining CPU time: 153.214 s c =============================================================================== c | 46 | 955 1353 302050 | 5000 46 772 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 26.9869 s Remaining CPU time: 153.013 s c =============================================================================== c | 48 | 955 1354 302900 | 5000 48 772 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 27.1529 s Remaining CPU time: 152.847 s c =============================================================================== c | 48 | 955 1355 303750 | 5000 48 772 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 27.3158 s Remaining CPU time: 152.684 s c =============================================================================== c | 48 | 955 1356 304600 | 5000 48 772 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 27.4928 s Remaining CPU time: 152.507 s c =============================================================================== c | 48 | 955 1357 305450 | 5000 48 772 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 27.6758 s Remaining CPU time: 152.324 s c =============================================================================== c | 54 | 955 1358 306300 | 5000 54 771 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 27.8478 s Remaining CPU time: 152.152 s c =============================================================================== c | 54 | 955 1359 307150 | 5000 54 771 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 28.0147 s Remaining CPU time: 151.985 s c =============================================================================== c | 54 | 955 1360 308000 | 5000 54 771 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 28.1957 s Remaining CPU time: 151.804 s c =============================================================================== c | 60 | 955 1361 308850 | 5000 60 771 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 28.3897 s Remaining CPU time: 151.61 s c =============================================================================== c | 61 | 955 1362 309700 | 5000 61 771 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 28.5707 s Remaining CPU time: 151.429 s c =============================================================================== c | 62 | 955 1363 310550 | 5000 62 770 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 28.7446 s Remaining CPU time: 151.255 s c =============================================================================== c | 64 | 955 1364 311400 | 5000 64 770 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 28.9176 s Remaining CPU time: 151.082 s c =============================================================================== c | 64 | 955 1365 312250 | 5000 64 770 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 29.1016 s Remaining CPU time: 150.898 s c =============================================================================== c | 65 | 955 1366 313100 | 5000 65 770 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 29.2795 s Remaining CPU time: 150.72 s c =============================================================================== c | 66 | 955 1367 313950 | 5000 66 770 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 29.4535 s Remaining CPU time: 150.546 s c =============================================================================== c | 67 | 955 1368 314800 | 5000 67 770 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 29.6255 s Remaining CPU time: 150.375 s c =============================================================================== c | 67 | 955 1369 315650 | 5000 67 770 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 29.8135 s Remaining CPU time: 150.187 s c =============================================================================== c | 73 | 955 1370 316500 | 5000 73 770 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 29.9994 s Remaining CPU time: 150.001 s c =============================================================================== c | 73 | 955 1371 317350 | 5000 73 770 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 30.1724 s Remaining CPU time: 149.828 s c =============================================================================== c | 73 | 955 1372 318200 | 5000 73 770 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 30.3544 s Remaining CPU time: 149.646 s c =============================================================================== c | 73 | 955 1373 319050 | 5000 73 770 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 30.5324 s Remaining CPU time: 149.468 s c =============================================================================== c | 73 | 955 1374 319900 | 5000 73 770 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 30.7303 s Remaining CPU time: 149.27 s c =============================================================================== c | 77 | 955 1375 320750 | 5000 77 769 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 30.9133 s Remaining CPU time: 149.087 s c =============================================================================== c | 77 | 955 1376 321600 | 5000 77 769 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 31.0933 s Remaining CPU time: 148.907 s c =============================================================================== c | 77 | 955 1377 322450 | 5000 77 769 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 31.2802 s Remaining CPU time: 148.72 s c =============================================================================== c | 77 | 955 1378 323300 | 5000 77 769 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 31.4672 s Remaining CPU time: 148.533 s c =============================================================================== c | 77 | 955 1379 324150 | 5000 77 769 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 31.6552 s Remaining CPU time: 148.345 s c =============================================================================== c | 77 | 955 1380 325000 | 5000 77 769 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 31.8362 s Remaining CPU time: 148.164 s c =============================================================================== c | 77 | 955 1381 325850 | 5000 77 769 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 32.0151 s Remaining CPU time: 147.985 s c =============================================================================== c | 78 | 955 1382 326700 | 5000 78 769 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 32.2071 s Remaining CPU time: 147.793 s c =============================================================================== c | 78 | 955 1383 327550 | 5000 78 769 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 32.3921 s Remaining CPU time: 147.608 s c =============================================================================== c | 78 | 955 1384 328400 | 5000 78 769 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 32.616 s Remaining CPU time: 147.384 s c =============================================================================== c | 90 | 955 1385 329250 | 5000 90 768 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 32.803 s Remaining CPU time: 147.197 s c =============================================================================== c | 90 | 955 1386 330100 | 5000 90 768 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 32.999 s Remaining CPU time: 147.001 s c =============================================================================== c | 91 | 955 1387 330950 | 5000 91 768 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 33.189 s Remaining CPU time: 146.811 s c =============================================================================== c | 91 | 955 1388 331800 | 5000 91 768 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 33.3799 s Remaining CPU time: 146.62 s c =============================================================================== c | 91 | 955 1389 332650 | 5000 91 768 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 33.5749 s Remaining CPU time: 146.425 s c =============================================================================== c | 91 | 955 1390 333500 | 5000 91 768 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 33.7709 s Remaining CPU time: 146.229 s c =============================================================================== c | 97 | 955 1391 334350 | 5000 97 767 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 33.9648 s Remaining CPU time: 146.035 s c =============================================================================== c | 97 | 955 1392 335200 | 5000 97 767 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 34.1528 s Remaining CPU time: 145.847 s c =============================================================================== c | 97 | 955 1393 336050 | 5000 97 767 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 34.3468 s Remaining CPU time: 145.653 s c =============================================================================== c | 97 | 955 1394 336900 | 5000 97 767 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 34.5357 s Remaining CPU time: 145.464 s c =============================================================================== c | 97 | 955 1395 337750 | 5000 97 767 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 34.7147 s Remaining CPU time: 145.285 s c =============================================================================== c | 98 | 955 1396 338600 | 5000 98 767 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 34.8997 s Remaining CPU time: 145.1 s c =============================================================================== c | 99 | 955 1397 339450 | 5000 99 767 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 35.1057 s Remaining CPU time: 144.894 s c =============================================================================== c | 100 | 955 1398 340300 | 5000 100 767 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 35.3086 s Remaining CPU time: 144.691 s c =============================================================================== c | 113 | 955 1399 341150 | 5000 113 766 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 35.4766 s Remaining CPU time: 144.523 s c =============================================================================== c | 113 | 955 1400 342000 | 5000 113 766 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 35.6286 s Remaining CPU time: 144.371 s c =============================================================================== c | 114 | 955 1401 342850 | 5000 114 766 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 35.7906 s Remaining CPU time: 144.209 s c =============================================================================== c | 115 | 955 1402 343700 | 5000 115 766 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 35.9455 s Remaining CPU time: 144.054 s c =============================================================================== c | 115 | 955 1403 344550 | 5000 115 766 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 36.1015 s Remaining CPU time: 143.898 s c =============================================================================== c | 116 | 955 1404 345400 | 5000 116 766 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 36.2675 s Remaining CPU time: 143.733 s c =============================================================================== c | 117 | 955 1405 346250 | 5000 117 766 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 36.4315 s Remaining CPU time: 143.569 s c =============================================================================== c | 118 | 955 1406 347100 | 5000 118 766 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 36.6004 s Remaining CPU time: 143.4 s c =============================================================================== c | 120 | 955 1407 347950 | 5000 120 766 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 36.7744 s Remaining CPU time: 143.226 s c =============================================================================== c | 123 | 955 1408 348800 | 5000 123 765 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 36.9404 s Remaining CPU time: 143.06 s c =============================================================================== c | 124 | 955 1409 349650 | 5000 124 765 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 37.1034 s Remaining CPU time: 142.897 s c =============================================================================== c | 125 | 955 1410 350500 | 5000 125 765 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 37.2683 s Remaining CPU time: 142.732 s c =============================================================================== c | 125 | 955 1411 351350 | 5000 125 765 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 37.4193 s Remaining CPU time: 142.581 s c =============================================================================== c | 125 | 955 1412 352200 | 5000 125 765 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 37.5943 s Remaining CPU time: 142.406 s c =============================================================================== c | 127 | 955 1413 353050 | 5000 127 765 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 37.7553 s Remaining CPU time: 142.245 s c =============================================================================== c | 127 | 955 1414 353900 | 5000 127 765 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 37.9032 s Remaining CPU time: 142.097 s c =============================================================================== c | 127 | 955 1415 354750 | 5000 127 765 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 38.0692 s Remaining CPU time: 141.931 s c =============================================================================== c | 127 | 955 1416 355600 | 5000 127 765 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 38.2392 s Remaining CPU time: 141.761 s c =============================================================================== c | 127 | 955 1417 356450 | 5000 127 765 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 38.4082 s Remaining CPU time: 141.592 s c =============================================================================== c | 128 | 955 1418 357300 | 5000 128 765 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 38.5931 s Remaining CPU time: 141.407 s c =============================================================================== c | 139 | 955 1419 358150 | 5000 139 764 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 38.7721 s Remaining CPU time: 141.228 s c =============================================================================== c | 141 | 955 1420 359000 | 5000 141 764 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 38.9431 s Remaining CPU time: 141.057 s c =============================================================================== c | 143 | 955 1421 359850 | 5000 143 764 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 39.179 s Remaining CPU time: 140.821 s c =============================================================================== c | 153 | 955 1422 360700 | 5000 153 764 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 39.355 s Remaining CPU time: 140.645 s c =============================================================================== c | 154 | 955 1423 361550 | 5000 154 764 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 39.535 s Remaining CPU time: 140.465 s c =============================================================================== c | 158 | 955 1424 362400 | 5000 158 763 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 39.702 s Remaining CPU time: 140.298 s c =============================================================================== c | 163 | 955 1425 363250 | 5000 163 763 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 39.8759 s Remaining CPU time: 140.124 s c =============================================================================== c | 163 | 955 1426 364100 | 5000 163 763 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 40.0399 s Remaining CPU time: 139.96 s c =============================================================================== c | 163 | 955 1427 364950 | 5000 163 763 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 40.2189 s Remaining CPU time: 139.781 s c =============================================================================== c | 166 | 955 1428 365800 | 5000 166 763 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 40.4029 s Remaining CPU time: 139.597 s c =============================================================================== c | 172 | 955 1429 366650 | 5000 172 763 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 40.5618 s Remaining CPU time: 139.438 s c =============================================================================== c | 172 | 955 1430 367500 | 5000 172 763 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 40.7378 s Remaining CPU time: 139.262 s c =============================================================================== c | 172 | 955 1431 368350 | 5000 172 763 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 40.9188 s Remaining CPU time: 139.081 s c =============================================================================== c | 173 | 955 1432 369200 | 5000 173 763 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 41.1187 s Remaining CPU time: 138.881 s c =============================================================================== c | 180 | 955 1433 370050 | 5000 180 762 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 41.2937 s Remaining CPU time: 138.706 s c =============================================================================== c | 180 | 955 1434 370900 | 5000 180 762 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 41.4667 s Remaining CPU time: 138.533 s c =============================================================================== c | 180 | 955 1435 371750 | 5000 180 762 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 41.6487 s Remaining CPU time: 138.351 s c =============================================================================== c | 181 | 955 1436 372600 | 5000 181 762 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 41.8136 s Remaining CPU time: 138.186 s c =============================================================================== c | 181 | 955 1437 373450 | 5000 181 762 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 42.0086 s Remaining CPU time: 137.991 s c =============================================================================== c | 183 | 955 1438 374300 | 5000 183 762 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 42.1886 s Remaining CPU time: 137.811 s c =============================================================================== c | 184 | 955 1439 375150 | 5000 184 762 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 42.3666 s Remaining CPU time: 137.633 s c =============================================================================== c | 186 | 955 1440 376000 | 5000 186 762 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 42.5395 s Remaining CPU time: 137.46 s c =============================================================================== c | 186 | 955 1441 376850 | 5000 186 762 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 42.7185 s Remaining CPU time: 137.281 s c =============================================================================== c | 204 | 955 1442 377700 | 5000 204 761 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 42.9055 s Remaining CPU time: 137.095 s c =============================================================================== c | 209 | 955 1443 378550 | 5000 209 761 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 43.0964 s Remaining CPU time: 136.904 s c =============================================================================== c | 212 | 955 1444 379400 | 5000 212 760 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 43.2744 s Remaining CPU time: 136.726 s c =============================================================================== c | 213 | 955 1445 380250 | 5000 213 760 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 43.4454 s Remaining CPU time: 136.555 s c =============================================================================== c | 213 | 955 1446 381100 | 5000 213 760 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 43.6334 s Remaining CPU time: 136.367 s c =============================================================================== c | 216 | 955 1447 381950 | 5000 216 760 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 43.8133 s Remaining CPU time: 136.187 s c =============================================================================== c | 217 | 955 1448 382800 | 5000 217 760 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 44.0033 s Remaining CPU time: 135.997 s c =============================================================================== c | 221 | 955 1449 383650 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 44.1903 s Remaining CPU time: 135.81 s c =============================================================================== c | 221 | 955 1450 384500 | 5000 221 760 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 44.3693 s Remaining CPU time: 135.631 s c =============================================================================== c | 222 | 955 1451 385350 | 5000 222 760 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 45.0132 s Remaining CPU time: 134.987 s c =============================================================================== c | 285 | 955 1452 386200 | 5000 285 757 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 45.3521 s Remaining CPU time: 134.648 s c =============================================================================== c | 313 | 955 1453 387050 | 5000 313 754 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 45.6041 s Remaining CPU time: 134.396 s c =============================================================================== c | 319 | 955 1454 387900 | 5000 319 754 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 45.904 s Remaining CPU time: 134.096 s c =============================================================================== c | 330 | 955 1455 388750 | 5000 330 754 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 46.144 s Remaining CPU time: 133.856 s c =============================================================================== c | 332 | 955 1456 389600 | 5000 332 754 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 46.3849 s Remaining CPU time: 133.615 s c =============================================================================== c | 336 | 955 1457 390450 | 5000 336 754 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 46.6259 s Remaining CPU time: 133.374 s c =============================================================================== c | 337 | 955 1458 391300 | 5000 337 754 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 46.8619 s Remaining CPU time: 133.138 s c =============================================================================== c | 339 | 955 1459 392150 | 5000 339 754 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 47.0998 s Remaining CPU time: 132.9 s c =============================================================================== c | 341 | 955 1460 393000 | 5000 341 754 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 47.3638 s Remaining CPU time: 132.636 s c =============================================================================== c | 350 | 955 1461 393850 | 5000 350 753 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 47.5918 s Remaining CPU time: 132.408 s c =============================================================================== c | 352 | 955 1462 394700 | 5000 352 753 | 0.000 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 47.8337 s Remaining CPU time: 132.166 s c =============================================================================== c | 354 | 955 1463 395550 | 5000 354 753 | 0.000 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 48.0627 s Remaining CPU time: 131.937 s c =============================================================================== c | 354 | 955 1464 396400 | 5000 354 753 | 0.000 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 48.3177 s Remaining CPU time: 131.682 s c =============================================================================== c | 356 | 955 1465 397250 | 5000 356 753 | 0.000 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 48.5516 s Remaining CPU time: 131.448 s c =============================================================================== c | 357 | 955 1466 398100 | 5000 357 753 | 0.000 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 48.8066 s Remaining CPU time: 131.193 s c =============================================================================== c | 360 | 955 1467 398950 | 5000 360 753 | 0.000 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 49.1775 s Remaining CPU time: 130.822 s c =============================================================================== c | 394 | 955 1468 399800 | 5000 394 753 | 0.000 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 49.4375 s Remaining CPU time: 130.563 s c =============================================================================== c | 397 | 955 1469 400650 | 5000 397 753 | 0.000 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 49.6784 s Remaining CPU time: 130.322 s c =============================================================================== c | 399 | 955 1470 401500 | 5000 399 753 | 0.000 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 49.9224 s Remaining CPU time: 130.078 s c =============================================================================== c | 402 | 955 1471 402350 | 5000 402 753 | 0.000 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 50.1654 s Remaining CPU time: 129.835 s c =============================================================================== c | 402 | 955 1472 403200 | 5000 402 753 | 0.000 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 50.4853 s Remaining CPU time: 129.515 s c =============================================================================== c | 424 | 955 1473 404050 | 5000 424 752 | 0.000 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 50.7333 s Remaining CPU time: 129.267 s c =============================================================================== c | 425 | 955 1474 404900 | 5000 425 752 | 0.000 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 51.0122 s Remaining CPU time: 128.988 s c =============================================================================== c | 439 | 955 1475 405750 | 5000 439 752 | 0.000 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 51.2882 s Remaining CPU time: 128.712 s c =============================================================================== c | 448 | 955 1476 406600 | 5000 448 752 | 0.000 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 51.5252 s Remaining CPU time: 128.475 s c =============================================================================== c | 448 | 955 1477 407450 | 5000 448 752 | 0.000 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 51.7841 s Remaining CPU time: 128.216 s c =============================================================================== c | 453 | 955 1478 408300 | 5000 453 752 | 0.000 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 52.0941 s Remaining CPU time: 127.906 s c =============================================================================== c | 470 | 955 1479 409150 | 5000 470 751 | 0.000 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 52.378 s Remaining CPU time: 127.622 s c =============================================================================== c | 488 | 955 1480 410000 | 5000 488 751 | 0.000 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 52.636 s Remaining CPU time: 127.364 s c =============================================================================== c | 496 | 955 1481 410850 | 5000 496 751 | 0.000 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 52.882 s Remaining CPU time: 127.118 s c =============================================================================== c | 497 | 955 1482 411700 | 5000 497 751 | 0.000 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 53.1219 s Remaining CPU time: 126.878 s c =============================================================================== c | 497 | 955 1483 412550 | 5000 497 751 | 0.000 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 53.3569 s Remaining CPU time: 126.643 s c =============================================================================== c | 502 | 955 1484 413400 | 5000 502 751 | 0.000 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 53.6218 s Remaining CPU time: 126.378 s c =============================================================================== c | 509 | 955 1485 414250 | 5000 509 751 | 0.000 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 53.8728 s Remaining CPU time: 126.127 s c =============================================================================== c | 512 | 955 1486 415100 | 5000 512 751 | 0.000 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 54.1178 s Remaining CPU time: 125.882 s c =============================================================================== c | 513 | 955 1487 415950 | 5000 513 751 | 0.000 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 54.4087 s Remaining CPU time: 125.591 s c =============================================================================== c | 532 | 955 1488 416800 | 5000 532 750 | 0.000 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 54.6797 s Remaining CPU time: 125.32 s c =============================================================================== c | 535 | 955 1489 417650 | 5000 535 750 | 0.000 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 54.9446 s Remaining CPU time: 125.055 s c =============================================================================== c | 537 | 955 1490 418500 | 5000 537 750 | 0.000 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 55.3606 s Remaining CPU time: 124.639 s c =============================================================================== c | 608 | 955 1491 419350 | 5000 608 749 | 0.000 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 55.6355 s Remaining CPU time: 124.364 s c =============================================================================== c | 616 | 955 1492 420200 | 5000 616 749 | 0.000 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 55.9895 s Remaining CPU time: 124.011 s c =============================================================================== c | 683 | 955 1493 421050 | 5000 683 748 | 0.000 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 56.4204 s Remaining CPU time: 123.58 s c =============================================================================== c | 775 | 955 1494 421900 | 5000 775 747 | 0.000 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 56.9343 s Remaining CPU time: 123.066 s c =============================================================================== c | 850 | 955 1495 422750 | 5000 850 747 | 0.000 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 57.2483 s Remaining CPU time: 122.752 s c =============================================================================== c | 871 | 955 1496 423600 | 5000 871 746 | 0.000 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 57.5762 s Remaining CPU time: 122.424 s c =============================================================================== c | 909 | 955 1497 424450 | 5000 909 746 | 0.000 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 57.8162 s Remaining CPU time: 122.184 s c =============================================================================== c | 917 | 955 1498 425300 | 5000 917 746 | 0.000 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 58.0832 s Remaining CPU time: 121.917 s c =============================================================================== c | 923 | 955 1499 426150 | 5000 923 746 | 0.000 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 58.3421 s Remaining CPU time: 121.658 s c =============================================================================== c | 934 | 955 1500 427000 | 5000 934 746 | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 58.6171 s Remaining CPU time: 121.383 s c =============================================================================== c | 955 | 955 1501 427850 | 5000 955 746 | 0.000 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 59.099 s Remaining CPU time: 120.901 s c =============================================================================== c | 1054 | 955 1502 428700 | 5000 1054 745 | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 59.373 s Remaining CPU time: 120.627 s c =============================================================================== c | 1077 | 955 1503 429550 | 5000 1077 745 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 59.7099 s Remaining CPU time: 120.29 s c =============================================================================== c | 1125 | 955 1504 430400 | 5000 1125 745 | 0.000 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 60.0259 s Remaining CPU time: 119.974 s c =============================================================================== c | 1145 | 955 1505 431250 | 5000 1145 745 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 60.3018 s Remaining CPU time: 119.698 s c =============================================================================== c | 1159 | 955 1506 432100 | 5000 1159 745 | 0.000 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 60.6088 s Remaining CPU time: 119.391 s c =============================================================================== c | 1189 | 955 1507 432950 | 5000 1189 745 | 0.000 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 60.8727 s Remaining CPU time: 119.127 s c =============================================================================== c | 1210 | 955 1508 433800 | 5000 1210 744 | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 61.1287 s Remaining CPU time: 118.871 s c =============================================================================== c | 1212 | 955 1509 434650 | 5000 1212 744 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 61.5346 s Remaining CPU time: 118.465 s c =============================================================================== c | 1294 | 955 1510 435500 | 5000 1294 744 | 0.000 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 61.9196 s Remaining CPU time: 118.08 s c =============================================================================== c | 1364 | 955 1511 436350 | 5000 1364 744 | 0.000 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 62.1995 s Remaining CPU time: 117.8 s c =============================================================================== c | 1382 | 955 1512 437200 | 5000 1382 744 | 0.000 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 62.4645 s Remaining CPU time: 117.535 s c =============================================================================== c | 1392 | 955 1513 438050 | 5000 1392 744 | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 62.7185 s Remaining CPU time: 117.282 s c =============================================================================== c | 1394 | 955 1514 438900 | 5000 1394 744 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 63.0814 s Remaining CPU time: 116.919 s c =============================================================================== c | 1422 | 955 1515 439750 | 5000 1422 743 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 63.3624 s Remaining CPU time: 116.638 s c =============================================================================== c | 1440 | 955 1516 440600 | 5000 1440 743 | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 63.6663 s Remaining CPU time: 116.334 s c =============================================================================== c | 1447 | 955 1517 441450 | 5000 1447 743 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 63.9733 s Remaining CPU time: 116.027 s c =============================================================================== c | 1473 | 955 1518 442300 | 5000 1473 743 | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 64.3562 s Remaining CPU time: 115.644 s c =============================================================================== c | 1526 | 955 1519 443150 | 5000 1526 743 | 0.000 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 64.8461 s Remaining CPU time: 115.154 s c =============================================================================== c | 1591 | 955 1520 444000 | 5000 1591 743 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 65.2171 s Remaining CPU time: 114.783 s c =============================================================================== c | 1651 | 955 1521 444850 | 5000 1651 742 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 65.554 s Remaining CPU time: 114.446 s c =============================================================================== c | 1675 | 955 1522 445700 | 5000 1675 742 | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 65.878 s Remaining CPU time: 114.122 s c =============================================================================== c | 1683 | 955 1523 446550 | 5000 1683 742 | 0.000 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 66.2859 s Remaining CPU time: 113.714 s c =============================================================================== c | 1707 | 955 1524 447400 | 5000 1707 742 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 66.5539 s Remaining CPU time: 113.446 s c =============================================================================== c | 1709 | 955 1525 448250 | 5000 1709 742 | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 66.8888 s Remaining CPU time: 113.111 s c =============================================================================== c | 1718 | 955 1526 449100 | 5000 1718 742 | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 67.2128 s Remaining CPU time: 112.787 s c =============================================================================== c | 1722 | 955 1527 449950 | 5000 1722 742 | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 67.5257 s Remaining CPU time: 112.474 s c =============================================================================== c | 1725 | 955 1528 450800 | 5000 1725 742 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 67.7877 s Remaining CPU time: 112.212 s c =============================================================================== c | 1725 | 955 1529 451650 | 5000 1725 742 | 0.000 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 68.0497 s Remaining CPU time: 111.95 s c =============================================================================== c | 1725 | 955 1530 452500 | 5000 1725 742 | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 68.3456 s Remaining CPU time: 111.654 s c =============================================================================== c | 1726 | 955 1531 453350 | 5000 1726 742 | 0.000 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 68.6316 s Remaining CPU time: 111.368 s c =============================================================================== c | 1739 | 955 1532 454200 | 5000 1739 742 | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 68.9015 s Remaining CPU time: 111.098 s c =============================================================================== c | 1743 | 955 1533 455050 | 5000 1743 742 | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 69.1745 s Remaining CPU time: 110.826 s c =============================================================================== c | 1746 | 955 1534 455900 | 5000 1746 742 | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 69.4744 s Remaining CPU time: 110.526 s c =============================================================================== c | 1762 | 955 1535 456750 | 5000 1762 742 | 0.000 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 69.7354 s Remaining CPU time: 110.265 s c =============================================================================== c | 1762 | 955 1536 457600 | 5000 1762 742 | 0.000 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 70.0973 s Remaining CPU time: 109.903 s c =============================================================================== c | 1794 | 955 1537 458450 | 5000 1794 741 | 0.000 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 70.3883 s Remaining CPU time: 109.612 s c =============================================================================== c | 1797 | 955 1538 459300 | 5000 1797 741 | 0.000 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 70.6663 s Remaining CPU time: 109.334 s c =============================================================================== c | 1799 | 955 1539 460150 | 5000 1799 741 | 0.000 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 70.9302 s Remaining CPU time: 109.07 s c =============================================================================== c | 1800 | 955 1540 461000 | 5000 1800 741 | 0.000 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 71.2282 s Remaining CPU time: 108.772 s c =============================================================================== c | 1803 | 955 1541 461850 | 5000 1803 741 | 0.000 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 71.5071 s Remaining CPU time: 108.493 s c =============================================================================== c | 1805 | 955 1542 462700 | 5000 1805 741 | 0.000 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 71.8851 s Remaining CPU time: 108.115 s c =============================================================================== c | 1823 | 955 1543 463550 | 5000 1823 741 | 0.000 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 72.202 s Remaining CPU time: 107.798 s c =============================================================================== c | 1825 | 955 1544 464400 | 5000 1825 741 | 0.000 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 72.472 s Remaining CPU time: 107.528 s c =============================================================================== c | 1826 | 955 1545 465250 | 5000 1826 741 | 0.000 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 72.7829 s Remaining CPU time: 107.217 s c =============================================================================== c | 1830 | 955 1546 466100 | 5000 1830 741 | 0.000 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 73.1939 s Remaining CPU time: 106.806 s c =============================================================================== c | 1912 | 955 1547 466950 | 5000 1912 741 | 0.000 % | c | 2013 | 955 1547 466950 | 5500 2013 740 | 4.500 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 73.9768 s Remaining CPU time: 106.023 s c =============================================================================== c | 2042 | 955 1548 467800 | 5000 2042 740 | 4.500 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 74.4347 s Remaining CPU time: 105.565 s c =============================================================================== c | 2119 | 955 1549 468650 | 5000 2119 740 | 4.500 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 74.7316 s Remaining CPU time: 105.268 s c =============================================================================== c | 2133 | 955 1550 469500 | 5000 2133 740 | 4.500 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 75.0516 s Remaining CPU time: 104.948 s c =============================================================================== c | 2159 | 955 1551 470350 | 5000 2159 739 | 4.500 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 75.5005 s Remaining CPU time: 104.499 s c =============================================================================== c | 2213 | 955 1552 471200 | 5000 2213 739 | 4.500 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 75.8845 s Remaining CPU time: 104.116 s c =============================================================================== c | 2266 | 955 1553 472050 | 5000 2266 739 | 4.500 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 76.2884 s Remaining CPU time: 103.712 s c =============================================================================== c | 2285 | 955 1554 472900 | 5000 2285 739 | 4.500 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 76.5794 s Remaining CPU time: 103.421 s c =============================================================================== c | 2305 | 955 1555 473750 | 5000 2305 739 | 4.500 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 76.9043 s Remaining CPU time: 103.096 s c =============================================================================== c | 2311 | 955 1556 474600 | 5000 2311 739 | 4.500 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 77.2063 s Remaining CPU time: 102.794 s c =============================================================================== c | 2314 | 955 1557 475450 | 5000 2314 739 | 4.500 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 77.4792 s Remaining CPU time: 102.521 s c =============================================================================== c | 2314 | 955 1558 476300 | 5000 2314 739 | 4.500 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 77.7672 s Remaining CPU time: 102.233 s c =============================================================================== c | 2316 | 955 1559 477150 | 5000 2316 739 | 4.500 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 78.0831 s Remaining CPU time: 101.917 s c =============================================================================== c | 2320 | 955 1560 478000 | 5000 2320 739 | 4.500 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 78.4531 s Remaining CPU time: 101.547 s c =============================================================================== c | 2346 | 955 1561 478850 | 5000 2346 739 | 4.500 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 78.758 s Remaining CPU time: 101.242 s c =============================================================================== c | 2350 | 955 1562 479700 | 5000 2350 739 | 4.500 % | c | 2451 | 955 1562 479700 | 5500 2451 738 | 4.500 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 79.6359 s Remaining CPU time: 100.364 s c =============================================================================== c | 2489 | 955 1563 480550 | 5000 2489 738 | 4.500 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 79.9708 s Remaining CPU time: 100.029 s c =============================================================================== c | 2500 | 955 1564 481400 | 5000 2500 738 | 4.500 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 80.4008 s Remaining CPU time: 99.5992 s c =============================================================================== c | 2536 | 955 1565 482250 | 5000 2536 738 | 4.500 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 80.7017 s Remaining CPU time: 99.2983 s c =============================================================================== c | 2550 | 955 1566 483100 | 5000 2550 738 | 4.500 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 81.0217 s Remaining CPU time: 98.9783 s c =============================================================================== c | 2565 | 955 1567 483950 | 5000 2565 738 | 4.500 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 81.3126 s Remaining CPU time: 98.6874 s c =============================================================================== c | 2566 | 955 1568 484800 | 5000 2566 738 | 4.500 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 81.7276 s Remaining CPU time: 98.2724 s c =============================================================================== c | 2591 | 955 1569 485650 | 5000 2591 738 | 4.500 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 82.0295 s Remaining CPU time: 97.9705 s c =============================================================================== c | 2598 | 955 1570 486500 | 5000 2598 738 | 4.500 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 82.3195 s Remaining CPU time: 97.6805 s c =============================================================================== c | 2599 | 955 1571 487350 | 5000 2599 738 | 4.500 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 82.6394 s Remaining CPU time: 97.3606 s c =============================================================================== c | 2607 | 955 1572 488200 | 5000 2607 737 | 4.500 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 83.1914 s Remaining CPU time: 96.8086 s c =============================================================================== c | 2664 | 955 1573 489050 | 5000 2664 737 | 4.500 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 83.6113 s Remaining CPU time: 96.3887 s c =============================================================================== c | 2731 | 955 1574 489900 | 5000 2731 737 | 4.500 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 84.2822 s Remaining CPU time: 95.7178 s c =============================================================================== c | 2821 | 955 1575 490750 | 5000 2821 737 | 4.500 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 84.8451 s Remaining CPU time: 95.1549 s c =============================================================================== c | 2911 | 955 1576 491600 | 5000 2911 736 | 4.500 % | c | 3011 | 955 1576 491600 | 5500 3011 736 | 4.500 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 85.666 s Remaining CPU time: 94.334 s c =============================================================================== c | 3100 | 955 1577 492450 | 5000 3100 736 | 4.500 % | c | 3200 | 955 1577 492450 | 5500 3200 735 | 4.500 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 86.5898 s Remaining CPU time: 93.4102 s c =============================================================================== c | 3270 | 955 1578 493300 | 5000 3270 735 | 4.500 % | c | 3370 | 955 1578 493300 | 5500 3370 735 | 4.500 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 87.5487 s Remaining CPU time: 92.4513 s c =============================================================================== c | 3406 | 955 1579 494150 | 5000 3406 735 | 4.500 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 87.9826 s Remaining CPU time: 92.0174 s c =============================================================================== c | 3458 | 955 1580 495000 | 5000 3458 735 | 4.500 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 88.3096 s Remaining CPU time: 91.6904 s c =============================================================================== c | 3469 | 955 1581 495850 | 5000 3469 735 | 4.500 % | c | 3569 | 955 1581 495850 | 5500 3569 735 | 4.500 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 89.2034 s Remaining CPU time: 90.7966 s c =============================================================================== c | 3586 | 955 1582 496700 | 5000 3586 734 | 4.500 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 89.5604 s Remaining CPU time: 90.4396 s c =============================================================================== c | 3601 | 955 1583 497550 | 5000 3601 734 | 4.500 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 89.9743 s Remaining CPU time: 90.0257 s c =============================================================================== c | 3640 | 955 1584 498400 | 5000 3640 734 | 4.500 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 90.3713 s Remaining CPU time: 89.6287 s c =============================================================================== c | 3676 | 955 1585 499250 | 5000 3676 734 | 4.500 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 90.7902 s Remaining CPU time: 89.2098 s c =============================================================================== c | 3731 | 955 1586 500100 | 5000 3731 734 | 4.500 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 91.1521 s Remaining CPU time: 88.8479 s c =============================================================================== c | 3774 | 955 1587 500950 | 5000 3774 734 | 4.500 % | c | 3875 | 955 1587 500950 | 5500 3875 734 | 4.500 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 91.987 s Remaining CPU time: 88.013 s c =============================================================================== c | 3895 | 955 1588 501800 | 5000 3895 734 | 4.500 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 92.324 s Remaining CPU time: 87.676 s c =============================================================================== c | 3917 | 955 1589 502650 | 5000 3917 734 | 4.500 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 92.7479 s Remaining CPU time: 87.2521 s c =============================================================================== c | 3956 | 955 1590 503500 | 5000 3956 734 | 4.500 % | c | 4056 | 955 1590 503500 | 5500 4056 734 | 4.500 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 93.7757 s Remaining CPU time: 86.2243 s c =============================================================================== c | 4107 | 955 1591 504350 | 5000 4107 733 | 4.500 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 94.1317 s Remaining CPU time: 85.8683 s c =============================================================================== c | 4148 | 955 1592 505200 | 5000 4148 733 | 4.500 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 94.4396 s Remaining CPU time: 85.5604 s c =============================================================================== c | 4156 | 955 1593 506050 | 5000 4156 733 | 4.500 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 94.7976 s Remaining CPU time: 85.2024 s c =============================================================================== c | 4177 | 955 1594 506900 | 5000 4177 733 | 4.500 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 95.3915 s Remaining CPU time: 84.6085 s c =============================================================================== c | 4239 | 955 1595 507750 | 5000 4239 733 | 4.500 % | c | 4340 | 955 1595 507750 | 5500 4340 733 | 4.500 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 96.2444 s Remaining CPU time: 83.7556 s c =============================================================================== c | 4371 | 955 1596 508600 | 5000 4371 733 | 4.500 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 96.9393 s Remaining CPU time: 83.0607 s c =============================================================================== c | 4465 | 955 1597 509450 | 5000 4465 733 | 4.500 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 97.4132 s Remaining CPU time: 82.5868 s c =============================================================================== c | 4524 | 955 1598 510300 | 5000 4524 732 | 4.500 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 97.7611 s Remaining CPU time: 82.2389 s c =============================================================================== c | 4543 | 955 1599 511150 | 5000 4543 732 | 4.500 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 98.0701 s Remaining CPU time: 81.9299 s c =============================================================================== c | 4547 | 955 1600 512000 | 5000 4547 732 | 4.500 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 98.46 s Remaining CPU time: 81.54 s c =============================================================================== c | 4579 | 955 1601 512850 | 5000 4579 732 | 4.500 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 98.86 s Remaining CPU time: 81.14 s c =============================================================================== c | 4598 | 955 1602 513700 | 5000 4598 732 | 4.500 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 99.1669 s Remaining CPU time: 80.8331 s c =============================================================================== c | 4602 | 955 1603 514550 | 5000 4602 732 | 4.500 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 99.4979 s Remaining CPU time: 80.5021 s c =============================================================================== c | 4608 | 955 1604 515400 | 5000 4608 732 | 4.500 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 99.8658 s Remaining CPU time: 80.1342 s c =============================================================================== c | 4618 | 955 1605 516250 | 5000 4618 732 | 4.500 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 100.217 s Remaining CPU time: 79.7832 s c =============================================================================== c | 4640 | 955 1606 517100 | 5000 4640 732 | 4.500 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 100.518 s Remaining CPU time: 79.4823 s c =============================================================================== c | 4640 | 955 1607 517950 | 5000 4640 732 | 4.500 % | c | 4740 | 955 1607 517950 | 5500 4740 732 | 4.500 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 101.521 s Remaining CPU time: 78.4794 s c =============================================================================== c | 4764 | 955 1608 518800 | 5000 4764 732 | 4.500 % | c | 4865 | 955 1608 518800 | 5500 4865 732 | 4.500 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 102.626 s Remaining CPU time: 77.3736 s c =============================================================================== c | 4925 | 955 1609 519650 | 5000 4925 731 | 4.500 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 103.08 s Remaining CPU time: 76.9197 s c =============================================================================== c | 4964 | 955 1610 520500 | 5000 4964 731 | 4.500 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 103.439 s Remaining CPU time: 76.5607 s c =============================================================================== c | 4983 | 955 1611 521350 | 5000 4983 731 | 4.500 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 103.773 s Remaining CPU time: 76.2268 s c =============================================================================== c | 4990 | 955 1612 522200 | 5000 4990 731 | 4.500 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 104.327 s Remaining CPU time: 75.6729 s c =============================================================================== c | 5068 | 955 1613 523050 | 5000 5068 731 | 4.500 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 104.856 s Remaining CPU time: 75.1439 s c =============================================================================== c | 5152 | 955 1614 523900 | 5000 2618 724 | 4.500 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 105.378 s Remaining CPU time: 74.622 s c =============================================================================== c | 5211 | 955 1615 524750 | 5000 2677 724 | 4.500 % | c | 5312 | 955 1615 524750 | 5500 2778 724 | 4.500 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 106.815 s Remaining CPU time: 73.1852 s c =============================================================================== c | 5460 | 955 1616 525600 | 5000 2926 723 | 4.500 % | c | 5560 | 955 1616 525600 | 5500 3026 723 | 4.500 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 107.926 s Remaining CPU time: 72.0744 s c =============================================================================== c | 5611 | 955 1617 526450 | 5000 3077 723 | 4.500 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 108.446 s Remaining CPU time: 71.5545 s c =============================================================================== c | 5696 | 955 1618 527300 | 5000 3162 723 | 4.500 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 109.047 s Remaining CPU time: 70.9526 s c =============================================================================== c | 5744 | 955 1619 528150 | 5000 3210 723 | 4.500 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 109.436 s Remaining CPU time: 70.5636 s c =============================================================================== c | 5750 | 955 1620 529000 | 5000 3216 723 | 4.500 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 109.825 s Remaining CPU time: 70.1747 s c =============================================================================== c | 5765 | 955 1621 529850 | 5000 3231 723 | 4.500 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 110.201 s Remaining CPU time: 69.7988 s c =============================================================================== c | 5779 | 955 1622 530700 | 5000 3245 723 | 4.500 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 110.534 s Remaining CPU time: 69.4658 s c =============================================================================== c | 5782 | 955 1623 531550 | 5000 3248 723 | 4.500 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 110.982 s Remaining CPU time: 69.0179 s c =============================================================================== c | 5822 | 955 1624 532400 | 5000 3288 723 | 4.500 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 111.417 s Remaining CPU time: 68.5829 s c =============================================================================== c | 5859 | 955 1625 533250 | 5000 3325 723 | 4.500 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 111.896 s Remaining CPU time: 68.104 s c =============================================================================== c | 5903 | 955 1626 534100 | 5000 3369 723 | 4.500 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 112.472 s Remaining CPU time: 67.5281 s c =============================================================================== c | 5992 | 955 1627 534950 | 5000 3458 722 | 4.500 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 112.938 s Remaining CPU time: 67.0622 s c =============================================================================== c | 6078 | 955 1628 535800 | 5000 3544 722 | 4.500 % | c | 6178 | 955 1628 535800 | 5500 3644 722 | 4.500 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 113.964 s Remaining CPU time: 66.0363 s c =============================================================================== c | 6227 | 955 1629 536650 | 5000 3693 722 | 4.500 % | c | 6327 | 955 1629 536650 | 5500 3793 722 | 4.500 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 115.04 s Remaining CPU time: 64.9605 s c =============================================================================== c | 6389 | 955 1630 537500 | 5000 3855 722 | 4.500 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 115.394 s Remaining CPU time: 64.6055 s c =============================================================================== c | 6412 | 955 1631 538350 | 5000 3878 722 | 4.500 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 115.735 s Remaining CPU time: 64.2646 s c =============================================================================== c | 6416 | 955 1632 539200 | 5000 3882 722 | 4.500 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 116.13 s Remaining CPU time: 63.8697 s c =============================================================================== c | 6423 | 955 1633 540050 | 5000 3889 722 | 4.500 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 116.476 s Remaining CPU time: 63.5237 s c =============================================================================== c | 6439 | 955 1634 540900 | 5000 3905 722 | 4.500 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 116.817 s Remaining CPU time: 63.1828 s c =============================================================================== c | 6450 | 955 1635 541750 | 5000 3916 722 | 4.500 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 117.205 s Remaining CPU time: 62.7948 s c =============================================================================== c | 6459 | 955 1636 542600 | 5000 3925 722 | 4.500 % | c | 6560 | 955 1636 542600 | 5500 4026 722 | 4.500 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 118.111 s Remaining CPU time: 61.889 s c =============================================================================== c | 6566 | 955 1637 543450 | 5000 4032 722 | 4.500 % | c | 6667 | 955 1637 543450 | 5500 4133 721 | 4.500 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 119.052 s Remaining CPU time: 60.9481 s c =============================================================================== c | 6710 | 955 1638 544300 | 5000 4176 721 | 4.500 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 119.523 s Remaining CPU time: 60.4772 s c =============================================================================== c | 6762 | 955 1639 545150 | 5000 4228 721 | 4.500 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 119.86 s Remaining CPU time: 60.1402 s c =============================================================================== c | 6781 | 955 1640 546000 | 5000 4247 721 | 4.500 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 120.251 s Remaining CPU time: 59.7493 s c =============================================================================== c | 6787 | 955 1641 546850 | 5000 4253 721 | 4.500 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 120.579 s Remaining CPU time: 59.4213 s c =============================================================================== c | 6789 | 955 1642 547700 | 5000 4255 721 | 4.500 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 121.13 s Remaining CPU time: 58.8704 s c =============================================================================== c | 6860 | 955 1643 548550 | 5000 4326 721 | 4.500 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 121.75 s Remaining CPU time: 58.2495 s c =============================================================================== c | 6931 | 955 1644 549400 | 5000 4397 721 | 4.500 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 122.284 s Remaining CPU time: 57.7156 s c =============================================================================== c | 7001 | 955 1645 550250 | 5000 4467 721 | 4.500 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 122.736 s Remaining CPU time: 57.2637 s c =============================================================================== c | 7044 | 955 1646 551100 | 5000 4510 721 | 4.500 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 123.105 s Remaining CPU time: 56.8947 s c =============================================================================== c | 7075 | 955 1647 551950 | 5000 4541 721 | 4.500 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 123.557 s Remaining CPU time: 56.4428 s c =============================================================================== c | 7101 | 955 1648 552800 | 5000 4567 721 | 4.500 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 123.911 s Remaining CPU time: 56.0888 s c =============================================================================== c | 7122 | 955 1649 553650 | 5000 4588 721 | 4.500 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 124.312 s Remaining CPU time: 55.6879 s c =============================================================================== c | 7150 | 955 1650 554500 | 5000 4616 721 | 4.500 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 124.643 s Remaining CPU time: 55.3569 s c =============================================================================== c | 7159 | 955 1651 555350 | 5000 4625 721 | 4.500 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 125.011 s Remaining CPU time: 54.989 s c =============================================================================== c | 7164 | 955 1652 556200 | 5000 4630 721 | 4.500 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 125.325 s Remaining CPU time: 54.6751 s c =============================================================================== c | 7164 | 955 1653 557050 | 5000 4630 721 | 4.500 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 125.688 s Remaining CPU time: 54.3121 s c =============================================================================== c | 7176 | 955 1654 557900 | 5000 4642 721 | 4.500 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 126.044 s Remaining CPU time: 53.9562 s c =============================================================================== c | 7185 | 955 1655 558750 | 5000 4651 721 | 4.500 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 126.393 s Remaining CPU time: 53.6072 s c =============================================================================== c | 7189 | 955 1656 559600 | 5000 4655 721 | 4.500 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 126.91 s Remaining CPU time: 53.0903 s c =============================================================================== c | 7244 | 955 1657 560450 | 5000 4710 720 | 4.500 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 127.544 s Remaining CPU time: 52.4564 s c =============================================================================== c | 7338 | 955 1658 561300 | 5000 4804 720 | 4.500 % | c | 7438 | 955 1658 561300 | 5500 4904 720 | 4.500 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 128.713 s Remaining CPU time: 51.2866 s c =============================================================================== c | 7497 | 955 1659 562150 | 5000 4963 720 | 4.500 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 129.173 s Remaining CPU time: 50.8266 s c =============================================================================== c | 7548 | 955 1660 563000 | 5000 5014 720 | 4.500 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 129.599 s Remaining CPU time: 50.4007 s c =============================================================================== c | 7586 | 955 1661 563850 | 5000 5052 720 | 4.500 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 129.947 s Remaining CPU time: 50.0528 s c =============================================================================== c | 7600 | 955 1662 564700 | 5000 2540 715 | 4.500 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 130.304 s Remaining CPU time: 49.6958 s c =============================================================================== c | 7615 | 955 1663 565550 | 5000 2555 715 | 4.500 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 130.702 s Remaining CPU time: 49.2979 s c =============================================================================== c | 7662 | 955 1664 566400 | 5000 2602 715 | 4.500 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 131.2 s Remaining CPU time: 48.7999 s c =============================================================================== c | 7703 | 955 1665 567250 | 5000 2643 715 | 4.500 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 131.666 s Remaining CPU time: 48.334 s c =============================================================================== c | 7742 | 955 1666 568100 | 5000 2682 715 | 4.500 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 132.14 s Remaining CPU time: 47.8601 s c =============================================================================== c | 7771 | 955 1667 568950 | 5000 2711 715 | 4.500 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 132.458 s Remaining CPU time: 47.5421 s c =============================================================================== c | 7771 | 955 1668 569800 | 5000 2711 715 | 4.500 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 132.809 s Remaining CPU time: 47.1912 s c =============================================================================== c | 7779 | 955 1669 570650 | 5000 2719 715 | 4.500 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 133.127 s Remaining CPU time: 46.8732 s c =============================================================================== c | 7780 | 955 1670 571500 | 5000 2720 715 | 4.500 % | c | 7881 | 955 1670 571500 | 5500 2821 715 | 4.500 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 134.456 s Remaining CPU time: 45.5444 s c =============================================================================== c | 7952 | 955 1671 572350 | 5000 2892 714 | 4.500 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 134.841 s Remaining CPU time: 45.1595 s c =============================================================================== c | 7979 | 955 1672 573200 | 5000 2919 714 | 4.500 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 135.18 s Remaining CPU time: 44.8196 s c =============================================================================== c | 7981 | 955 1673 574050 | 5000 2921 714 | 4.500 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 135.534 s Remaining CPU time: 44.4656 s c =============================================================================== c | 7983 | 955 1674 574900 | 5000 2923 714 | 4.500 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 135.87 s Remaining CPU time: 44.1297 s c =============================================================================== c | 7987 | 955 1675 575750 | 5000 2927 714 | 4.500 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 136.222 s Remaining CPU time: 43.7777 s c =============================================================================== c | 8003 | 955 1676 576600 | 5000 2943 714 | 4.500 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 136.556 s Remaining CPU time: 43.4438 s c =============================================================================== c | 8003 | 955 1677 577450 | 5000 2943 714 | 4.500 % | c | 8103 | 955 1677 577450 | 5500 3043 714 | 4.500 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 138.183 s Remaining CPU time: 41.817 s c =============================================================================== c | 8238 | 955 1678 578300 | 5000 3178 714 | 4.500 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 138.568 s Remaining CPU time: 41.4321 s c =============================================================================== c | 8273 | 955 1679 579150 | 5000 3213 714 | 4.500 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 139.186 s Remaining CPU time: 40.8142 s c =============================================================================== c | 8321 | 955 1680 580000 | 5000 3261 713 | 4.500 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 139.633 s Remaining CPU time: 40.3672 s c =============================================================================== c | 8341 | 955 1681 580850 | 5000 3281 713 | 4.500 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 140.008 s Remaining CPU time: 39.9923 s c =============================================================================== c | 8343 | 955 1682 581700 | 5000 3283 713 | 4.500 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 140.408 s Remaining CPU time: 39.5923 s c =============================================================================== c | 8348 | 955 1683 582550 | 5000 3288 713 | 4.500 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 140.805 s Remaining CPU time: 39.1954 s c =============================================================================== c | 8351 | 955 1684 583400 | 5000 3291 713 | 4.500 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 141.414 s Remaining CPU time: 38.5865 s c =============================================================================== c | 8416 | 955 1685 584250 | 5000 3356 713 | 4.500 % | c | 8516 | 955 1685 584250 | 5500 3456 713 | 4.500 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 142.777 s Remaining CPU time: 37.2227 s c =============================================================================== c | 8591 | 955 1686 585100 | 5000 3531 713 | 4.500 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 143.235 s Remaining CPU time: 36.7648 s c =============================================================================== c | 8611 | 955 1687 585950 | 5000 3551 713 | 4.500 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 143.631 s Remaining CPU time: 36.3688 s c =============================================================================== c | 8616 | 955 1688 586800 | 5000 3556 713 | 4.500 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 144.046 s Remaining CPU time: 35.9539 s c =============================================================================== c | 8623 | 955 1689 587650 | 5000 3563 713 | 4.500 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 144.494 s Remaining CPU time: 35.506 s c =============================================================================== c | 8632 | 955 1690 588500 | 5000 3572 713 | 4.500 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 145.082 s Remaining CPU time: 34.9181 s c =============================================================================== c | 8658 | 955 1691 589350 | 5000 3598 713 | 4.500 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 145.757 s Remaining CPU time: 34.2432 s c =============================================================================== c | 8723 | 955 1692 590200 | 5000 3663 712 | 4.500 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 146.252 s Remaining CPU time: 33.7482 s c =============================================================================== c | 8742 | 955 1693 591050 | 5000 3682 712 | 4.500 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 146.648 s Remaining CPU time: 33.3523 s c =============================================================================== c | 8759 | 955 1694 591900 | 5000 3699 712 | 4.500 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 146.995 s Remaining CPU time: 33.0053 s c =============================================================================== c | 8760 | 955 1695 592750 | 5000 3700 712 | 4.500 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 147.506 s Remaining CPU time: 32.4944 s c =============================================================================== c | 8791 | 955 1696 593600 | 5000 3731 712 | 4.500 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 148.111 s Remaining CPU time: 31.8885 s c =============================================================================== c | 8808 | 955 1697 594450 | 5000 3748 712 | 4.500 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 148.747 s Remaining CPU time: 31.2526 s c =============================================================================== c | 8844 | 955 1698 595300 | 5000 3784 712 | 4.500 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 149.129 s Remaining CPU time: 30.8707 s c =============================================================================== c | 8849 | 955 1699 596150 | 5000 3789 712 | 4.500 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 149.603 s Remaining CPU time: 30.3967 s c =============================================================================== c | 8904 | 955 1700 597000 | 5000 3844 712 | 4.500 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 150.01 s Remaining CPU time: 29.9898 s c =============================================================================== c | 8920 | 955 1701 597850 | 5000 3860 712 | 4.500 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 150.492 s Remaining CPU time: 29.5079 s c =============================================================================== c | 8959 | 955 1702 598700 | 5000 3899 712 | 4.500 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 150.943 s Remaining CPU time: 29.0569 s c =============================================================================== c | 8985 | 955 1703 599550 | 5000 3925 712 | 4.500 % | c | 9085 | 955 1703 599550 | 5500 4025 711 | 4.500 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 151.994 s Remaining CPU time: 28.0061 s c =============================================================================== c | 9105 | 955 1704 600400 | 5000 4045 711 | 4.500 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 152.61 s Remaining CPU time: 27.3902 s c =============================================================================== c | 9132 | 955 1705 601250 | 5000 4072 711 | 4.500 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 153.193 s Remaining CPU time: 26.8073 s c =============================================================================== c | 9179 | 955 1706 602100 | 5000 4119 711 | 4.500 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 153.609 s Remaining CPU time: 26.3914 s c =============================================================================== c | 9200 | 955 1707 602950 | 5000 4140 711 | 4.500 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 154.055 s Remaining CPU time: 25.9454 s c =============================================================================== c | 9225 | 955 1708 603800 | 5000 4165 711 | 4.500 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 154.47 s Remaining CPU time: 25.5305 s c =============================================================================== c | 9251 | 955 1709 604650 | 5000 4191 711 | 4.500 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 154.858 s Remaining CPU time: 25.1415 s c =============================================================================== c | 9269 | 955 1710 605500 | 5000 4209 711 | 4.500 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 155.333 s Remaining CPU time: 24.6666 s c =============================================================================== c | 9294 | 955 1711 606350 | 5000 4234 711 | 4.500 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 155.7 s Remaining CPU time: 24.2997 s c =============================================================================== c | 9320 | 955 1712 607200 | 5000 4260 711 | 4.500 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 156.043 s Remaining CPU time: 23.9567 s c =============================================================================== c | 9326 | 955 1713 608050 | 5000 4266 710 | 4.500 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 156.629 s Remaining CPU time: 23.3708 s c =============================================================================== c | 9392 | 955 1714 608900 | 5000 4332 710 | 4.500 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 157.206 s Remaining CPU time: 22.7939 s c =============================================================================== c | 9447 | 955 1715 609750 | 5000 4387 710 | 4.500 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 157.827 s Remaining CPU time: 22.173 s c =============================================================================== c | 9496 | 955 1716 610600 | 5000 4436 710 | 4.500 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 158.295 s Remaining CPU time: 21.7051 s c =============================================================================== c | 9528 | 955 1717 611450 | 5000 4468 710 | 4.500 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 158.682 s Remaining CPU time: 21.3181 s c =============================================================================== c | 9546 | 955 1718 612300 | 5000 4486 710 | 4.500 % | c | 9646 | 955 1718 612300 | 5500 4586 710 | 4.500 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 160.138 s Remaining CPU time: 19.8623 s c =============================================================================== c | 9657 | 955 1719 613150 | 5000 4597 709 | 4.500 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 160.556 s Remaining CPU time: 19.4444 s c =============================================================================== c | 9670 | 955 1720 614000 | 5000 4610 709 | 4.500 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 160.989 s Remaining CPU time: 19.0115 s c =============================================================================== c | 9684 | 955 1721 614850 | 5000 4624 709 | 4.500 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 161.443 s Remaining CPU time: 18.5565 s c =============================================================================== c | 9689 | 955 1722 615700 | 5000 4629 709 | 4.500 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 161.866 s Remaining CPU time: 18.1336 s c =============================================================================== c | 9692 | 955 1723 616550 | 5000 4632 709 | 4.500 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 162.24 s Remaining CPU time: 17.7597 s c =============================================================================== c | 9693 | 955 1724 617400 | 5000 4633 709 | 4.500 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 162.592 s Remaining CPU time: 17.4077 s c =============================================================================== c | 9697 | 955 1725 618250 | 5000 4637 709 | 4.500 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 162.965 s Remaining CPU time: 17.0348 s c =============================================================================== c | 9698 | 955 1726 619100 | 5000 4638 709 | 4.500 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 163.445 s Remaining CPU time: 16.5548 s c =============================================================================== c | 9714 | 955 1727 619950 | 5000 4654 709 | 4.500 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 163.902 s Remaining CPU time: 16.0979 s c =============================================================================== c | 9727 | 955 1728 620800 | 5000 4667 709 | 4.500 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 164.407 s Remaining CPU time: 15.593 s c =============================================================================== c | 9760 | 955 1729 621650 | 5000 4700 709 | 4.500 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 164.759 s Remaining CPU time: 15.241 s c =============================================================================== c | 9762 | 955 1730 622500 | 5000 4702 709 | 4.500 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 165.141 s Remaining CPU time: 14.8591 s c =============================================================================== c | 9767 | 955 1731 623350 | 5000 4707 709 | 4.500 % | c | 9868 | 955 1731 623350 | 5500 4808 709 | 4.500 % | c | 10018 | 955 1731 623350 | 6050 4958 708 | 4.500 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 167.394 s Remaining CPU time: 12.6064 s c =============================================================================== c | 10063 | 955 1732 624200 | 5000 5003 708 | 4.500 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 167.869 s Remaining CPU time: 12.1305 s c =============================================================================== c | 10078 | 955 1733 625050 | 5000 5018 708 | 4.500 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 168.554 s Remaining CPU time: 11.4456 s c =============================================================================== c | 10131 | 955 1734 625900 | 5000 5071 708 | 4.500 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 169.443 s Remaining CPU time: 10.5568 s c =============================================================================== c | 10212 | 955 1735 626750 | 5000 2617 700 | 4.500 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 170.214 s Remaining CPU time: 9.78588 s c =============================================================================== c | 10285 | 955 1736 627600 | 5000 2690 700 | 4.500 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 171.003 s Remaining CPU time: 8.997 s c =============================================================================== c | 10344 | 955 1737 628450 | 5000 2749 700 | 4.500 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 171.449 s Remaining CPU time: 8.55106 s c =============================================================================== c | 10360 | 955 1738 629300 | 5000 2765 700 | 4.500 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 172.195 s Remaining CPU time: 7.80518 s c =============================================================================== c | 10422 | 955 1739 630150 | 5000 2827 700 | 4.500 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 172.812 s Remaining CPU time: 7.18827 s c =============================================================================== c | 10453 | 955 1740 631000 | 5000 2858 700 | 4.500 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 173.212 s Remaining CPU time: 6.78833 s c =============================================================================== c | 10457 | 955 1741 631850 | 5000 2862 700 | 4.500 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 173.63 s Remaining CPU time: 6.3704 s c =============================================================================== c | 10476 | 955 1742 632700 | 5000 2881 699 | 4.500 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 174.034 s Remaining CPU time: 5.96646 s c =============================================================================== c | 10478 | 955 1743 633550 | 5000 2883 699 | 4.500 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 174.421 s Remaining CPU time: 5.57852 s c =============================================================================== c | 10479 | 955 1744 634400 | 5000 2884 699 | 4.500 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 174.978 s Remaining CPU time: 5.0216 s c =============================================================================== c | 10513 | 955 1745 635250 | 5000 2918 699 | 4.500 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 175.399 s Remaining CPU time: 4.60066 s c =============================================================================== c | 10523 | 955 1746 636100 | 5000 2928 699 | 4.500 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 175.889 s Remaining CPU time: 4.11074 s c =============================================================================== c | 10597 | 955 1747 636950 | 5000 3002 699 | 4.500 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 176.256 s Remaining CPU time: 3.7438 s c =============================================================================== c | 10605 | 955 1748 637800 | 5000 3010 699 | 4.500 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 176.659 s Remaining CPU time: 3.34086 s c =============================================================================== c | 10621 | 955 1749 638650 | 5000 3026 699 | 4.500 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 177.126 s Remaining CPU time: 2.87393 s c =============================================================================== c | 10636 | 955 1750 639500 | 5000 3041 699 | 4.500 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 177.492 s Remaining CPU time: 2.50798 s c =============================================================================== c | 10639 | 955 1751 640350 | 5000 3044 699 | 4.500 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 177.888 s Remaining CPU time: 2.11204 s c =============================================================================== c | 10648 | 955 1752 641200 | 5000 3053 699 | 4.500 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 178.278 s Remaining CPU time: 1.7221 s c =============================================================================== c | 10654 | 955 1753 642050 | 5000 3059 699 | 4.500 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 178.678 s Remaining CPU time: 1.32216 s c =============================================================================== c | 10662 | 955 1754 642900 | 5000 3067 699 | 4.500 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 179.534 s Remaining CPU time: 0.466294 s c =============================================================================== c | 10748 | 955 1755 643750 | 5000 3153 698 | 4.500 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 180.004 s Remaining CPU time: -0.003635 s c =============================================================================== c | 10763 | 955 1756 644600 | 5000 3168 698 | 4.500 % | c There are 45 assigned variables. 12 in cost function.