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 | 958 1012 2822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4670 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 958 1013 3672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4668 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 958 1014 4522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4661 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 958 1015 5372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4659 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 958 1016 6222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4658 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 958 1017 7072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4656 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 958 1018 7922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4650 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 958 1019 8772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4646 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 958 1020 9622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4641 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 958 1021 10472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4637 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 958 1022 11322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4635 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 958 1023 12172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4633 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 958 1024 13022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4632 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 958 1025 13872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4630 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 958 1026 14722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4628 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 958 1027 15572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4627 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 958 1028 16422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4625 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 958 1029 17272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4623 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 958 1030 18122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4621 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 958 1031 18972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4619 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 958 1032 19822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4618 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 958 1033 20672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4616 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 958 1034 21522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4615 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 958 1035 22372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4614 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 0 | 958 1036 23222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4613 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 958 1037 24072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4611 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 958 1038 24922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4610 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 958 1039 25772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4609 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 958 1040 26622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4608 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 958 1041 27472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4606 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 958 1042 28322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4604 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 958 1043 29172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4599 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 0 | 958 1044 30022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4598 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 0 | 958 1045 30872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4593 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 958 1046 31722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4588 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 958 1047 32572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4587 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 958 1048 33422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4586 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 958 1049 34272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4585 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 958 1050 35122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4582 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 958 1051 35972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4581 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 0 | 958 1052 36822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4578 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s c =============================================================================== c | 0 | 958 1053 37672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4577 c Elapsed CPU time: 0.297954 s Remaining CPU time: 179.702 s c =============================================================================== c | 0 | 958 1054 38522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4576 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 958 1055 39372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4575 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 958 1056 40222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4574 c Elapsed CPU time: 0.336948 s Remaining CPU time: 179.663 s c =============================================================================== c | 0 | 958 1057 41072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4573 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 0 | 958 1058 41922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4571 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 958 1059 42772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4570 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 958 1060 43622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4569 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 0 | 958 1061 44472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4568 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s c =============================================================================== c | 0 | 958 1062 45322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4566 c Elapsed CPU time: 0.419936 s Remaining CPU time: 179.58 s c =============================================================================== c | 0 | 958 1063 46172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4565 c Elapsed CPU time: 0.435933 s Remaining CPU time: 179.564 s c =============================================================================== c | 0 | 958 1064 47022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4564 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 958 1065 47872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4563 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 0 | 958 1066 48722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4561 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 958 1067 49572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4560 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 0 | 958 1068 50422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4559 c Elapsed CPU time: 0.509922 s Remaining CPU time: 179.49 s c =============================================================================== c | 0 | 958 1069 51272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4558 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 0 | 958 1070 52122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4554 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 0 | 958 1071 52972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4550 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 0 | 958 1072 53822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4547 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 0 | 958 1073 54672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4545 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 0 | 958 1074 55522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4544 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 958 1075 56372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4543 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 0 | 958 1076 57222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4542 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 0 | 958 1077 58072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4541 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 0 | 958 1078 58922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4540 c Elapsed CPU time: 0.698893 s Remaining CPU time: 179.301 s c =============================================================================== c | 0 | 958 1079 59772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4537 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s c =============================================================================== c | 0 | 958 1080 60622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4536 c Elapsed CPU time: 0.739887 s Remaining CPU time: 179.26 s c =============================================================================== c | 0 | 958 1081 61472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4535 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 0 | 958 1082 62322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4534 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 0 | 958 1083 63172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4533 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 0 | 958 1084 64022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4529 c Elapsed CPU time: 0.823874 s Remaining CPU time: 179.176 s c =============================================================================== c | 0 | 958 1085 64872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4528 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 0 | 958 1086 65722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4527 c Elapsed CPU time: 0.867868 s Remaining CPU time: 179.132 s c =============================================================================== c | 0 | 958 1087 66572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4524 c Elapsed CPU time: 0.891864 s Remaining CPU time: 179.108 s c =============================================================================== c | 0 | 958 1088 67422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4521 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s c =============================================================================== c | 0 | 958 1089 68272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4519 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 0 | 958 1090 69122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4518 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s c =============================================================================== c | 0 | 958 1091 69972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4517 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 0 | 958 1092 70822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4515 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 0 | 958 1093 71672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4510 c Elapsed CPU time: 1.04084 s Remaining CPU time: 178.959 s c =============================================================================== c | 0 | 958 1094 72522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4507 c Elapsed CPU time: 1.06484 s Remaining CPU time: 178.935 s c =============================================================================== c | 0 | 958 1095 73372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4501 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 0 | 958 1096 74222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4498 c Elapsed CPU time: 1.11883 s Remaining CPU time: 178.881 s c =============================================================================== c | 0 | 958 1097 75072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4496 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 0 | 958 1098 75922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4495 c Elapsed CPU time: 1.17282 s Remaining CPU time: 178.827 s c =============================================================================== c | 0 | 958 1099 76772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4492 c Elapsed CPU time: 1.20082 s Remaining CPU time: 178.799 s c =============================================================================== c | 0 | 958 1100 77622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4489 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 0 | 958 1101 78472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 1.25681 s Remaining CPU time: 178.743 s c =============================================================================== c | 0 | 958 1102 79322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4487 c Elapsed CPU time: 1.2908 s Remaining CPU time: 178.709 s c =============================================================================== c | 0 | 958 1103 80172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4485 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 0 | 958 1104 81022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4483 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s c =============================================================================== c | 0 | 958 1105 81872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4481 c Elapsed CPU time: 1.38579 s Remaining CPU time: 178.614 s c =============================================================================== c | 0 | 958 1106 82722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 0 | 958 1107 83572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4475 c Elapsed CPU time: 1.45378 s Remaining CPU time: 178.546 s c =============================================================================== c | 0 | 958 1108 84422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4472 c Elapsed CPU time: 1.48777 s Remaining CPU time: 178.512 s c =============================================================================== c | 0 | 958 1109 85272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4469 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 0 | 958 1110 86122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4466 c Elapsed CPU time: 1.55876 s Remaining CPU time: 178.441 s c =============================================================================== c | 0 | 958 1111 86972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4465 c Elapsed CPU time: 1.59476 s Remaining CPU time: 178.405 s c =============================================================================== c | 0 | 958 1112 87822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4463 c Elapsed CPU time: 1.63075 s Remaining CPU time: 178.369 s c =============================================================================== c | 0 | 958 1113 88672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4461 c Elapsed CPU time: 1.66975 s Remaining CPU time: 178.33 s c =============================================================================== c | 0 | 958 1114 89522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4460 c Elapsed CPU time: 1.70774 s Remaining CPU time: 178.292 s c =============================================================================== c | 0 | 958 1115 90372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 0 | 958 1116 91222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4456 c Elapsed CPU time: 1.78373 s Remaining CPU time: 178.216 s c =============================================================================== c | 0 | 958 1117 92072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4454 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s c =============================================================================== c | 0 | 958 1118 92922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4453 c Elapsed CPU time: 1.86172 s Remaining CPU time: 178.138 s c =============================================================================== c | 0 | 958 1119 93772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4451 c Elapsed CPU time: 1.90171 s Remaining CPU time: 178.098 s c =============================================================================== c | 0 | 958 1120 94622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4449 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 0 | 958 1121 95472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4448 c Elapsed CPU time: 1.9837 s Remaining CPU time: 178.016 s c =============================================================================== c | 0 | 958 1122 96322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4447 c Elapsed CPU time: 2.02269 s Remaining CPU time: 177.977 s c =============================================================================== c | 0 | 958 1123 97172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4444 c Elapsed CPU time: 2.06669 s Remaining CPU time: 177.933 s c =============================================================================== c | 0 | 958 1124 98022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4443 c Elapsed CPU time: 2.11068 s Remaining CPU time: 177.889 s c =============================================================================== c | 0 | 958 1125 98872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4441 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 0 | 958 1126 99722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4439 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 0 | 958 1127 100572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4438 c Elapsed CPU time: 2.24566 s Remaining CPU time: 177.754 s c =============================================================================== c | 0 | 958 1128 101422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4437 c Elapsed CPU time: 2.29065 s Remaining CPU time: 177.709 s c =============================================================================== c | 0 | 958 1129 102272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4436 c Elapsed CPU time: 2.33664 s Remaining CPU time: 177.663 s c =============================================================================== c | 0 | 958 1130 103122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4432 c Elapsed CPU time: 2.38164 s Remaining CPU time: 177.618 s c =============================================================================== c | 0 | 958 1131 103972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 2.42863 s Remaining CPU time: 177.571 s c =============================================================================== c | 0 | 958 1132 104822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4430 c Elapsed CPU time: 2.47762 s Remaining CPU time: 177.522 s c =============================================================================== c | 0 | 958 1133 105672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 2.52562 s Remaining CPU time: 177.474 s c =============================================================================== c | 0 | 958 1134 106522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4425 c Elapsed CPU time: 2.57261 s Remaining CPU time: 177.427 s c =============================================================================== c | 0 | 958 1135 107372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4424 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s c =============================================================================== c | 0 | 958 1136 108222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 2.66859 s Remaining CPU time: 177.331 s c =============================================================================== c | 0 | 958 1137 109072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4421 c Elapsed CPU time: 2.71859 s Remaining CPU time: 177.281 s c =============================================================================== c | 0 | 958 1138 109922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4420 c Elapsed CPU time: 2.76958 s Remaining CPU time: 177.23 s c =============================================================================== c | 0 | 958 1139 110772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 0 | 958 1140 111622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 2.87056 s Remaining CPU time: 177.129 s c =============================================================================== c | 0 | 958 1141 112472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4417 c Elapsed CPU time: 2.92056 s Remaining CPU time: 177.079 s c =============================================================================== c | 0 | 958 1142 113322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4416 c Elapsed CPU time: 2.97155 s Remaining CPU time: 177.028 s c =============================================================================== c | 0 | 958 1143 114172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 3.02354 s Remaining CPU time: 176.976 s c =============================================================================== c | 0 | 958 1144 115022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4414 c Elapsed CPU time: 3.07753 s Remaining CPU time: 176.922 s c =============================================================================== c | 0 | 958 1145 115872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4412 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 0 | 958 1146 116722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 3.18252 s Remaining CPU time: 176.817 s c =============================================================================== c | 0 | 958 1147 117572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 3.23551 s Remaining CPU time: 176.764 s c =============================================================================== c | 0 | 958 1148 118422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4406 c Elapsed CPU time: 3.2895 s Remaining CPU time: 176.711 s c =============================================================================== c | 0 | 958 1149 119272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4404 c Elapsed CPU time: 3.34349 s Remaining CPU time: 176.657 s c =============================================================================== c | 0 | 958 1150 120122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 3.39948 s Remaining CPU time: 176.601 s c =============================================================================== c | 0 | 958 1151 120972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4400 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s c =============================================================================== c | 0 | 958 1152 121822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4399 c Elapsed CPU time: 3.51047 s Remaining CPU time: 176.49 s c =============================================================================== c | 0 | 958 1153 122672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4397 c Elapsed CPU time: 3.56646 s Remaining CPU time: 176.434 s c =============================================================================== c | 0 | 958 1154 123522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4393 c Elapsed CPU time: 3.61945 s Remaining CPU time: 176.381 s c =============================================================================== c | 0 | 958 1155 124372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 3.67544 s Remaining CPU time: 176.325 s c =============================================================================== c | 0 | 958 1156 125222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4383 c Elapsed CPU time: 3.72943 s Remaining CPU time: 176.271 s c =============================================================================== c | 0 | 958 1157 126072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4378 c Elapsed CPU time: 3.78642 s Remaining CPU time: 176.214 s c =============================================================================== c | 0 | 958 1158 126922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4373 c Elapsed CPU time: 3.84241 s Remaining CPU time: 176.158 s c =============================================================================== c | 0 | 958 1159 127772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4372 c Elapsed CPU time: 3.90341 s Remaining CPU time: 176.097 s c =============================================================================== c | 0 | 958 1160 128622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 3.9654 s Remaining CPU time: 176.035 s c =============================================================================== c | 0 | 958 1161 129472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 4.02339 s Remaining CPU time: 175.977 s c =============================================================================== c | 0 | 958 1162 130322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 4.08238 s Remaining CPU time: 175.918 s c =============================================================================== c | 0 | 958 1163 131172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4365 c Elapsed CPU time: 4.14237 s Remaining CPU time: 175.858 s c =============================================================================== c | 0 | 958 1164 132022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4364 c Elapsed CPU time: 4.20236 s Remaining CPU time: 175.798 s c =============================================================================== c | 0 | 958 1165 132872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 4.26535 s Remaining CPU time: 175.735 s c =============================================================================== c | 0 | 958 1166 133722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4362 c Elapsed CPU time: 4.33034 s Remaining CPU time: 175.67 s c =============================================================================== c | 0 | 958 1167 134572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4361 c Elapsed CPU time: 4.39333 s Remaining CPU time: 175.607 s c =============================================================================== c | 0 | 958 1168 135422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4358 c Elapsed CPU time: 4.45432 s Remaining CPU time: 175.546 s c =============================================================================== c | 0 | 958 1169 136272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4357 c Elapsed CPU time: 4.51731 s Remaining CPU time: 175.483 s c =============================================================================== c | 0 | 958 1170 137122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4355 c Elapsed CPU time: 4.5793 s Remaining CPU time: 175.421 s c =============================================================================== c | 0 | 958 1171 137972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4351 c Elapsed CPU time: 4.64129 s Remaining CPU time: 175.359 s c =============================================================================== c | 0 | 958 1172 138822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 4.70528 s Remaining CPU time: 175.295 s c =============================================================================== c | 0 | 958 1173 139672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 4.76927 s Remaining CPU time: 175.231 s c =============================================================================== c | 0 | 958 1174 140522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4344 c Elapsed CPU time: 4.83326 s Remaining CPU time: 175.167 s c =============================================================================== c | 0 | 958 1175 141372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 4.89726 s Remaining CPU time: 175.103 s c =============================================================================== c | 0 | 958 1176 142222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 4.96124 s Remaining CPU time: 175.039 s c =============================================================================== c | 0 | 958 1177 143072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 5.02923 s Remaining CPU time: 174.971 s c =============================================================================== c | 0 | 958 1178 143922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 5.09422 s Remaining CPU time: 174.906 s c =============================================================================== c | 0 | 958 1179 144772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 5.16122 s Remaining CPU time: 174.839 s c =============================================================================== c | 0 | 958 1180 145622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 5.22921 s Remaining CPU time: 174.771 s c =============================================================================== c | 0 | 958 1181 146472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 5.29619 s Remaining CPU time: 174.704 s c =============================================================================== c | 1 | 958 1182 147322 | 5000 1 806 | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 5.36318 s Remaining CPU time: 174.637 s c =============================================================================== c | 1 | 958 1183 148172 | 5000 1 806 | 0.000 % | c =============================================================================== c New solution: 4327 c Elapsed CPU time: 5.43217 s Remaining CPU time: 174.568 s c =============================================================================== c | 1 | 958 1184 149022 | 5000 1 806 | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 5.51016 s Remaining CPU time: 174.49 s c =============================================================================== c | 2 | 958 1185 149872 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4323 c Elapsed CPU time: 5.58415 s Remaining CPU time: 174.416 s c =============================================================================== c | 2 | 958 1186 150722 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 5.66114 s Remaining CPU time: 174.339 s c =============================================================================== c | 2 | 958 1187 151572 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 5.73513 s Remaining CPU time: 174.265 s c =============================================================================== c | 2 | 958 1188 152422 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 5.81112 s Remaining CPU time: 174.189 s c =============================================================================== c | 2 | 958 1189 153272 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 5.87911 s Remaining CPU time: 174.121 s c =============================================================================== c | 2 | 958 1190 154122 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4316 c Elapsed CPU time: 5.95309 s Remaining CPU time: 174.047 s c =============================================================================== c | 2 | 958 1191 154972 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 6.02708 s Remaining CPU time: 173.973 s c =============================================================================== c | 2 | 958 1192 155822 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4312 c Elapsed CPU time: 6.10207 s Remaining CPU time: 173.898 s c =============================================================================== c | 2 | 958 1193 156672 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 6.17906 s Remaining CPU time: 173.821 s c =============================================================================== c | 2 | 958 1194 157522 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 6.25305 s Remaining CPU time: 173.747 s c =============================================================================== c | 2 | 958 1195 158372 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 6.33104 s Remaining CPU time: 173.669 s c =============================================================================== c | 2 | 958 1196 159222 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 6.40702 s Remaining CPU time: 173.593 s c =============================================================================== c | 2 | 958 1197 160072 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 6.48601 s Remaining CPU time: 173.514 s c =============================================================================== c | 2 | 958 1198 160922 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 6.566 s Remaining CPU time: 173.434 s c =============================================================================== c | 2 | 958 1199 161772 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4301 c Elapsed CPU time: 6.64299 s Remaining CPU time: 173.357 s c =============================================================================== c | 2 | 958 1200 162622 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 6.72098 s Remaining CPU time: 173.279 s c =============================================================================== c | 2 | 958 1201 163472 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 6.80597 s Remaining CPU time: 173.194 s c =============================================================================== c | 2 | 958 1202 164322 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 6.88995 s Remaining CPU time: 173.11 s c =============================================================================== c | 2 | 958 1203 165172 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 6.97694 s Remaining CPU time: 173.023 s c =============================================================================== c | 2 | 958 1204 166022 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 7.06193 s Remaining CPU time: 172.938 s c =============================================================================== c | 2 | 958 1205 166872 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 7.14991 s Remaining CPU time: 172.85 s c =============================================================================== c | 2 | 958 1206 167722 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 7.2379 s Remaining CPU time: 172.762 s c =============================================================================== c | 2 | 958 1207 168572 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 7.32888 s Remaining CPU time: 172.671 s c =============================================================================== c | 2 | 958 1208 169422 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 7.41687 s Remaining CPU time: 172.583 s c =============================================================================== c | 2 | 958 1209 170272 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 7.50986 s Remaining CPU time: 172.49 s c =============================================================================== c | 2 | 958 1210 171122 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 7.60284 s Remaining CPU time: 172.397 s c =============================================================================== c | 2 | 958 1211 171972 | 5000 2 805 | 0.000 % | c =============================================================================== c New solution: 4279 c Elapsed CPU time: 7.69383 s Remaining CPU time: 172.306 s c =============================================================================== c | 3 | 958 1212 172822 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 7.78082 s Remaining CPU time: 172.219 s c =============================================================================== c | 3 | 958 1213 173672 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 7.8758 s Remaining CPU time: 172.124 s c =============================================================================== c | 3 | 958 1214 174522 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 7.96579 s Remaining CPU time: 172.034 s c =============================================================================== c | 3 | 958 1215 175372 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 8.05177 s Remaining CPU time: 171.948 s c =============================================================================== c | 3 | 958 1216 176222 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 8.14376 s Remaining CPU time: 171.856 s c =============================================================================== c | 3 | 958 1217 177072 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 8.23575 s Remaining CPU time: 171.764 s c =============================================================================== c | 3 | 958 1218 177922 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 8.32973 s Remaining CPU time: 171.67 s c =============================================================================== c | 3 | 958 1219 178772 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 8.42272 s Remaining CPU time: 171.577 s c =============================================================================== c | 3 | 958 1220 179622 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 8.5207 s Remaining CPU time: 171.479 s c =============================================================================== c | 3 | 958 1221 180472 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 8.61169 s Remaining CPU time: 171.388 s c =============================================================================== c | 3 | 958 1222 181322 | 5000 3 802 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 8.70768 s Remaining CPU time: 171.292 s c =============================================================================== c | 4 | 958 1223 182172 | 5000 4 800 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 8.80566 s Remaining CPU time: 171.194 s c =============================================================================== c | 4 | 958 1224 183022 | 5000 4 800 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 8.89765 s Remaining CPU time: 171.102 s c =============================================================================== c | 4 | 958 1225 183872 | 5000 4 800 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 8.99963 s Remaining CPU time: 171 s c =============================================================================== c | 5 | 958 1226 184722 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 9.10062 s Remaining CPU time: 170.899 s c =============================================================================== c | 5 | 958 1227 185572 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 9.2006 s Remaining CPU time: 170.799 s c =============================================================================== c | 5 | 958 1228 186422 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 9.30158 s Remaining CPU time: 170.698 s c =============================================================================== c | 5 | 958 1229 187272 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 9.39757 s Remaining CPU time: 170.602 s c =============================================================================== c | 5 | 958 1230 188122 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 9.49356 s Remaining CPU time: 170.506 s c =============================================================================== c | 5 | 958 1231 188972 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 9.59154 s Remaining CPU time: 170.408 s c =============================================================================== c | 5 | 958 1232 189822 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 9.70053 s Remaining CPU time: 170.299 s c =============================================================================== c | 5 | 958 1233 190672 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 9.80251 s Remaining CPU time: 170.197 s c =============================================================================== c | 5 | 958 1234 191522 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 9.90749 s Remaining CPU time: 170.093 s c =============================================================================== c | 5 | 958 1235 192372 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 10.0105 s Remaining CPU time: 169.99 s c =============================================================================== c | 5 | 958 1236 193222 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 10.1175 s Remaining CPU time: 169.883 s c =============================================================================== c | 5 | 958 1237 194072 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 10.2254 s Remaining CPU time: 169.775 s c =============================================================================== c | 5 | 958 1238 194922 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 10.3314 s Remaining CPU time: 169.669 s c =============================================================================== c | 5 | 958 1239 195772 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 10.4404 s Remaining CPU time: 169.56 s c =============================================================================== c | 5 | 958 1240 196622 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 10.5494 s Remaining CPU time: 169.451 s c =============================================================================== c | 5 | 958 1241 197472 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 10.6574 s Remaining CPU time: 169.343 s c =============================================================================== c | 5 | 958 1242 198322 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 10.7664 s Remaining CPU time: 169.234 s c =============================================================================== c | 5 | 958 1243 199172 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 10.8633 s Remaining CPU time: 169.137 s c =============================================================================== c | 5 | 958 1244 200022 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 10.9713 s Remaining CPU time: 169.029 s c =============================================================================== c | 5 | 958 1245 200872 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 11.0763 s Remaining CPU time: 168.924 s c =============================================================================== c | 5 | 958 1246 201722 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 11.1773 s Remaining CPU time: 168.823 s c =============================================================================== c | 5 | 958 1247 202572 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 11.2803 s Remaining CPU time: 168.72 s c =============================================================================== c | 5 | 958 1248 203422 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 11.3853 s Remaining CPU time: 168.615 s c =============================================================================== c | 5 | 958 1249 204272 | 5000 5 798 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 11.5053 s Remaining CPU time: 168.495 s c =============================================================================== c | 6 | 958 1250 205122 | 5000 6 796 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 11.6152 s Remaining CPU time: 168.385 s c =============================================================================== c | 6 | 958 1251 205972 | 5000 6 796 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 11.7392 s Remaining CPU time: 168.261 s c =============================================================================== c | 6 | 958 1252 206822 | 5000 6 796 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 11.8572 s Remaining CPU time: 168.143 s c =============================================================================== c | 6 | 958 1253 207672 | 5000 6 796 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 11.9692 s Remaining CPU time: 168.031 s c =============================================================================== c | 6 | 958 1254 208522 | 5000 6 796 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 12.0782 s Remaining CPU time: 167.922 s c =============================================================================== c | 6 | 958 1255 209372 | 5000 6 796 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 12.1871 s Remaining CPU time: 167.813 s c =============================================================================== c | 8 | 958 1256 210222 | 5000 8 794 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 12.3081 s Remaining CPU time: 167.692 s c =============================================================================== c | 8 | 958 1257 211072 | 5000 8 794 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 12.4291 s Remaining CPU time: 167.571 s c =============================================================================== c | 9 | 958 1258 211922 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 12.5461 s Remaining CPU time: 167.454 s c =============================================================================== c | 9 | 958 1259 212772 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 12.6631 s Remaining CPU time: 167.337 s c =============================================================================== c | 9 | 958 1260 213622 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 12.7811 s Remaining CPU time: 167.219 s c =============================================================================== c | 9 | 958 1261 214472 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 12.901 s Remaining CPU time: 167.099 s c =============================================================================== c | 9 | 958 1262 215322 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 13.018 s Remaining CPU time: 166.982 s c =============================================================================== c | 9 | 958 1263 216172 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 13.134 s Remaining CPU time: 166.866 s c =============================================================================== c | 9 | 958 1264 217022 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 13.25 s Remaining CPU time: 166.75 s c =============================================================================== c | 9 | 958 1265 217872 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 13.367 s Remaining CPU time: 166.633 s c =============================================================================== c | 9 | 958 1266 218722 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 13.4899 s Remaining CPU time: 166.51 s c =============================================================================== c | 9 | 958 1267 219572 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 13.6049 s Remaining CPU time: 166.395 s c =============================================================================== c | 9 | 958 1268 220422 | 5000 9 793 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 13.7259 s Remaining CPU time: 166.274 s c =============================================================================== c | 10 | 958 1269 221272 | 5000 10 792 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 13.8499 s Remaining CPU time: 166.15 s c =============================================================================== c | 10 | 958 1270 222122 | 5000 10 792 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 13.9679 s Remaining CPU time: 166.032 s c =============================================================================== c | 10 | 958 1271 222972 | 5000 10 792 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 14.0879 s Remaining CPU time: 165.912 s c =============================================================================== c | 10 | 958 1272 223822 | 5000 10 792 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 14.2118 s Remaining CPU time: 165.788 s c =============================================================================== c | 13 | 958 1273 224672 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 14.3368 s Remaining CPU time: 165.663 s c =============================================================================== c | 13 | 958 1274 225522 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 14.4678 s Remaining CPU time: 165.532 s c =============================================================================== c | 13 | 958 1275 226372 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 14.5908 s Remaining CPU time: 165.409 s c =============================================================================== c | 13 | 958 1276 227222 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 14.7258 s Remaining CPU time: 165.274 s c =============================================================================== c | 13 | 958 1277 228072 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 14.8537 s Remaining CPU time: 165.146 s c =============================================================================== c | 13 | 958 1278 228922 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 14.9767 s Remaining CPU time: 165.023 s c =============================================================================== c | 13 | 958 1279 229772 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 15.1037 s Remaining CPU time: 164.896 s c =============================================================================== c | 13 | 958 1280 230622 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 15.2297 s Remaining CPU time: 164.77 s c =============================================================================== c | 13 | 958 1281 231472 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 15.3547 s Remaining CPU time: 164.645 s c =============================================================================== c | 13 | 958 1282 232322 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 15.4856 s Remaining CPU time: 164.514 s c =============================================================================== c | 13 | 958 1283 233172 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 15.6226 s Remaining CPU time: 164.377 s c =============================================================================== c | 13 | 958 1284 234022 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 15.7556 s Remaining CPU time: 164.244 s c =============================================================================== c | 13 | 958 1285 234872 | 5000 13 790 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 15.8766 s Remaining CPU time: 164.123 s c =============================================================================== c | 14 | 958 1286 235722 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 16.0066 s Remaining CPU time: 163.993 s c =============================================================================== c | 14 | 958 1287 236572 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 16.1425 s Remaining CPU time: 163.857 s c =============================================================================== c | 14 | 958 1288 237422 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 16.2765 s Remaining CPU time: 163.723 s c =============================================================================== c | 14 | 958 1289 238272 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 16.4105 s Remaining CPU time: 163.589 s c =============================================================================== c | 14 | 958 1290 239122 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 16.5395 s Remaining CPU time: 163.461 s c =============================================================================== c | 14 | 958 1291 239972 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 16.6775 s Remaining CPU time: 163.323 s c =============================================================================== c | 14 | 958 1292 240822 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 16.8054 s Remaining CPU time: 163.195 s c =============================================================================== c | 14 | 958 1293 241672 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 16.9454 s Remaining CPU time: 163.055 s c =============================================================================== c | 14 | 958 1294 242522 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 17.0854 s Remaining CPU time: 162.915 s c =============================================================================== c | 14 | 958 1295 243372 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 17.2324 s Remaining CPU time: 162.768 s c =============================================================================== c | 14 | 958 1296 244222 | 5000 14 790 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 17.3694 s Remaining CPU time: 162.631 s c =============================================================================== c | 15 | 958 1297 245072 | 5000 15 789 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 17.5073 s Remaining CPU time: 162.493 s c =============================================================================== c | 15 | 958 1298 245922 | 5000 15 789 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 17.6473 s Remaining CPU time: 162.353 s c =============================================================================== c | 15 | 958 1299 246772 | 5000 15 789 | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 17.7923 s Remaining CPU time: 162.208 s c =============================================================================== c | 15 | 958 1300 247622 | 5000 15 789 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 17.9443 s Remaining CPU time: 162.056 s c =============================================================================== c | 19 | 958 1301 248472 | 5000 19 787 | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 18.0862 s Remaining CPU time: 161.914 s c =============================================================================== c | 19 | 958 1302 249322 | 5000 19 787 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 18.2282 s Remaining CPU time: 161.772 s c =============================================================================== c | 19 | 958 1303 250172 | 5000 19 787 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 18.3732 s Remaining CPU time: 161.627 s c =============================================================================== c | 19 | 958 1304 251022 | 5000 19 787 | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 18.5192 s Remaining CPU time: 161.481 s c =============================================================================== c | 19 | 958 1305 251872 | 5000 19 787 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 18.6612 s Remaining CPU time: 161.339 s c =============================================================================== c | 20 | 958 1306 252722 | 5000 20 786 | 0.000 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 18.8021 s Remaining CPU time: 161.198 s c =============================================================================== c | 21 | 958 1307 253572 | 5000 21 786 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 18.9421 s Remaining CPU time: 161.058 s c =============================================================================== c | 22 | 958 1308 254422 | 5000 22 786 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 19.0851 s Remaining CPU time: 160.915 s c =============================================================================== c | 23 | 958 1309 255272 | 5000 23 785 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 19.2221 s Remaining CPU time: 160.778 s c =============================================================================== c | 23 | 958 1310 256122 | 5000 23 785 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 19.3631 s Remaining CPU time: 160.637 s c =============================================================================== c | 23 | 958 1311 256972 | 5000 23 785 | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 19.514 s Remaining CPU time: 160.486 s c =============================================================================== c | 24 | 958 1312 257822 | 5000 24 785 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 19.666 s Remaining CPU time: 160.334 s c =============================================================================== c | 25 | 958 1313 258672 | 5000 25 785 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 19.814 s Remaining CPU time: 160.186 s c =============================================================================== c | 25 | 958 1314 259522 | 5000 25 785 | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 19.965 s Remaining CPU time: 160.035 s c =============================================================================== c | 26 | 958 1315 260372 | 5000 26 784 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 20.1109 s Remaining CPU time: 159.889 s c =============================================================================== c | 26 | 958 1316 261222 | 5000 26 784 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 20.2599 s Remaining CPU time: 159.74 s c =============================================================================== c | 26 | 958 1317 262072 | 5000 26 784 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 20.4209 s Remaining CPU time: 159.579 s c =============================================================================== c | 32 | 958 1318 262922 | 5000 32 783 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 20.5759 s Remaining CPU time: 159.424 s c =============================================================================== c | 34 | 958 1319 263772 | 5000 34 782 | 0.000 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 20.7278 s Remaining CPU time: 159.272 s c =============================================================================== c | 34 | 958 1320 264622 | 5000 34 782 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 20.8828 s Remaining CPU time: 159.117 s c =============================================================================== c | 37 | 958 1321 265472 | 5000 37 782 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 21.0368 s Remaining CPU time: 158.963 s c =============================================================================== c | 37 | 958 1322 266322 | 5000 37 782 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 21.1848 s Remaining CPU time: 158.815 s c =============================================================================== c | 37 | 958 1323 267172 | 5000 37 782 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 21.3398 s Remaining CPU time: 158.66 s c =============================================================================== c | 38 | 958 1324 268022 | 5000 38 781 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 21.4867 s Remaining CPU time: 158.513 s c =============================================================================== c | 38 | 958 1325 268872 | 5000 38 781 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 21.6377 s Remaining CPU time: 158.362 s c =============================================================================== c | 38 | 958 1326 269722 | 5000 38 781 | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 21.8197 s Remaining CPU time: 158.18 s c =============================================================================== c | 42 | 958 1327 270572 | 5000 42 781 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 21.9827 s Remaining CPU time: 158.017 s c =============================================================================== c | 42 | 958 1328 271422 | 5000 42 781 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 22.1496 s Remaining CPU time: 157.85 s c =============================================================================== c | 42 | 958 1329 272272 | 5000 42 781 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 22.3156 s Remaining CPU time: 157.684 s c =============================================================================== c | 42 | 958 1330 273122 | 5000 42 781 | 0.000 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 22.4776 s Remaining CPU time: 157.522 s c =============================================================================== c | 42 | 958 1331 273972 | 5000 42 781 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 22.6386 s Remaining CPU time: 157.361 s c =============================================================================== c | 43 | 958 1332 274822 | 5000 43 781 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 22.7965 s Remaining CPU time: 157.203 s c =============================================================================== c | 43 | 958 1333 275672 | 5000 43 781 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 22.9505 s Remaining CPU time: 157.049 s c =============================================================================== c | 43 | 958 1334 276522 | 5000 43 781 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 23.1095 s Remaining CPU time: 156.891 s c =============================================================================== c | 48 | 958 1335 277372 | 5000 48 780 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 23.2665 s Remaining CPU time: 156.734 s c =============================================================================== c | 49 | 958 1336 278222 | 5000 49 779 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 23.4164 s Remaining CPU time: 156.584 s c =============================================================================== c | 49 | 958 1337 279072 | 5000 49 779 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 23.5804 s Remaining CPU time: 156.42 s c =============================================================================== c | 50 | 958 1338 279922 | 5000 50 779 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 23.7294 s Remaining CPU time: 156.271 s c =============================================================================== c | 50 | 958 1339 280772 | 5000 50 779 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 23.8874 s Remaining CPU time: 156.113 s c =============================================================================== c | 51 | 958 1340 281622 | 5000 51 779 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 24.0503 s Remaining CPU time: 155.95 s c =============================================================================== c | 51 | 958 1341 282472 | 5000 51 779 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 24.2073 s Remaining CPU time: 155.793 s c =============================================================================== c | 51 | 958 1342 283322 | 5000 51 779 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 24.3733 s Remaining CPU time: 155.627 s c =============================================================================== c | 53 | 958 1343 284172 | 5000 53 779 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 24.5193 s Remaining CPU time: 155.481 s c =============================================================================== c | 53 | 958 1344 285022 | 5000 53 779 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 24.6782 s Remaining CPU time: 155.322 s c =============================================================================== c | 54 | 958 1345 285872 | 5000 54 779 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 24.8362 s Remaining CPU time: 155.164 s c =============================================================================== c | 55 | 958 1346 286722 | 5000 55 779 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 25.0152 s Remaining CPU time: 154.985 s c =============================================================================== c | 63 | 958 1347 287572 | 5000 63 777 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 25.1812 s Remaining CPU time: 154.819 s c =============================================================================== c | 63 | 958 1348 288422 | 5000 63 777 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 25.3621 s Remaining CPU time: 154.638 s c =============================================================================== c | 64 | 958 1349 289272 | 5000 64 777 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 25.5291 s Remaining CPU time: 154.471 s c =============================================================================== c | 64 | 958 1350 290122 | 5000 64 777 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 25.6961 s Remaining CPU time: 154.304 s c =============================================================================== c | 64 | 958 1351 290972 | 5000 64 777 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 25.8701 s Remaining CPU time: 154.13 s c =============================================================================== c | 66 | 958 1352 291822 | 5000 66 777 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 26.051 s Remaining CPU time: 153.949 s c =============================================================================== c | 66 | 958 1353 292672 | 5000 66 777 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 26.234 s Remaining CPU time: 153.766 s c =============================================================================== c | 67 | 958 1354 293522 | 5000 67 777 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 26.405 s Remaining CPU time: 153.595 s c =============================================================================== c | 67 | 958 1355 294372 | 5000 67 777 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 26.592 s Remaining CPU time: 153.408 s c =============================================================================== c | 67 | 958 1356 295222 | 5000 67 777 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 26.7859 s Remaining CPU time: 153.214 s c =============================================================================== c | 73 | 958 1357 296072 | 5000 73 776 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 26.9629 s Remaining CPU time: 153.037 s c =============================================================================== c | 73 | 958 1358 296922 | 5000 73 776 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 27.1379 s Remaining CPU time: 152.862 s c =============================================================================== c | 73 | 958 1359 297772 | 5000 73 776 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 27.3188 s Remaining CPU time: 152.681 s c =============================================================================== c | 73 | 958 1360 298622 | 5000 73 776 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 27.4958 s Remaining CPU time: 152.504 s c =============================================================================== c | 73 | 958 1361 299472 | 5000 73 776 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 27.6808 s Remaining CPU time: 152.319 s c =============================================================================== c | 75 | 958 1362 300322 | 5000 75 776 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 27.8438 s Remaining CPU time: 152.156 s c =============================================================================== c | 75 | 958 1363 301172 | 5000 75 776 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 28.0157 s Remaining CPU time: 151.984 s c =============================================================================== c | 75 | 958 1364 302022 | 5000 75 776 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 28.2537 s Remaining CPU time: 151.746 s c =============================================================================== c | 89 | 958 1365 302872 | 5000 89 774 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 28.4237 s Remaining CPU time: 151.576 s c =============================================================================== c | 92 | 958 1366 303722 | 5000 92 774 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 28.5977 s Remaining CPU time: 151.402 s c =============================================================================== c | 93 | 958 1367 304572 | 5000 93 774 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 28.7736 s Remaining CPU time: 151.226 s c =============================================================================== c | 93 | 958 1368 305422 | 5000 93 774 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 28.9556 s Remaining CPU time: 151.044 s c =============================================================================== c | 93 | 958 1369 306272 | 5000 93 774 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 29.1296 s Remaining CPU time: 150.87 s c =============================================================================== c | 93 | 958 1370 307122 | 5000 93 774 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 29.3225 s Remaining CPU time: 150.677 s c =============================================================================== c | 101 | 958 1371 307972 | 5000 101 773 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 29.5115 s Remaining CPU time: 150.488 s c =============================================================================== c | 101 | 958 1372 308822 | 5000 101 773 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 29.6835 s Remaining CPU time: 150.317 s c =============================================================================== c | 101 | 958 1373 309672 | 5000 101 773 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 29.8625 s Remaining CPU time: 150.138 s c =============================================================================== c | 101 | 958 1374 310522 | 5000 101 773 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 30.0314 s Remaining CPU time: 149.969 s c =============================================================================== c | 102 | 958 1375 311372 | 5000 102 773 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 30.2044 s Remaining CPU time: 149.796 s c =============================================================================== c | 103 | 958 1376 312222 | 5000 103 773 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 30.3874 s Remaining CPU time: 149.613 s c =============================================================================== c | 103 | 958 1377 313072 | 5000 103 773 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 30.5644 s Remaining CPU time: 149.436 s c =============================================================================== c | 105 | 958 1378 313922 | 5000 105 773 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 30.7543 s Remaining CPU time: 149.246 s c =============================================================================== c | 111 | 958 1379 314772 | 5000 111 773 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 30.9323 s Remaining CPU time: 149.068 s c =============================================================================== c | 112 | 958 1380 315622 | 5000 112 773 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 31.1193 s Remaining CPU time: 148.881 s c =============================================================================== c | 112 | 958 1381 316472 | 5000 112 773 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 31.3082 s Remaining CPU time: 148.692 s c =============================================================================== c | 112 | 958 1382 317322 | 5000 112 773 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 31.4982 s Remaining CPU time: 148.502 s c =============================================================================== c | 112 | 958 1383 318172 | 5000 112 773 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 31.7202 s Remaining CPU time: 148.28 s c =============================================================================== c | 116 | 958 1384 319022 | 5000 116 772 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 31.9121 s Remaining CPU time: 148.088 s c =============================================================================== c | 116 | 958 1385 319872 | 5000 116 772 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 32.1341 s Remaining CPU time: 147.866 s c =============================================================================== c | 127 | 958 1386 320722 | 5000 127 771 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 32.3261 s Remaining CPU time: 147.674 s c =============================================================================== c | 129 | 958 1387 321572 | 5000 129 771 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 32.5201 s Remaining CPU time: 147.48 s c =============================================================================== c | 130 | 958 1388 322422 | 5000 130 771 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 32.715 s Remaining CPU time: 147.285 s c =============================================================================== c | 130 | 958 1389 323272 | 5000 130 771 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 32.915 s Remaining CPU time: 147.085 s c =============================================================================== c | 131 | 958 1390 324122 | 5000 131 771 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 33.113 s Remaining CPU time: 146.887 s c =============================================================================== c | 136 | 958 1391 324972 | 5000 136 771 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 33.3489 s Remaining CPU time: 146.651 s c =============================================================================== c | 153 | 958 1392 325822 | 5000 153 770 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 33.5629 s Remaining CPU time: 146.437 s c =============================================================================== c | 160 | 958 1393 326672 | 5000 160 769 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 33.7709 s Remaining CPU time: 146.229 s c =============================================================================== c | 161 | 958 1394 327522 | 5000 161 769 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 33.9778 s Remaining CPU time: 146.022 s c =============================================================================== c | 161 | 958 1395 328372 | 5000 161 769 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 34.1718 s Remaining CPU time: 145.828 s c =============================================================================== c | 162 | 958 1396 329222 | 5000 162 769 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 34.3748 s Remaining CPU time: 145.625 s c =============================================================================== c | 164 | 958 1397 330072 | 5000 164 769 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 34.5727 s Remaining CPU time: 145.427 s c =============================================================================== c | 166 | 958 1398 330922 | 5000 166 769 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 34.7597 s Remaining CPU time: 145.24 s c =============================================================================== c | 166 | 958 1399 331772 | 5000 166 769 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 34.9397 s Remaining CPU time: 145.06 s c =============================================================================== c | 166 | 958 1400 332622 | 5000 166 769 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 35.1237 s Remaining CPU time: 144.876 s c =============================================================================== c | 166 | 958 1401 333472 | 5000 166 769 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 35.3246 s Remaining CPU time: 144.675 s c =============================================================================== c | 167 | 958 1402 334322 | 5000 167 769 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 35.5346 s Remaining CPU time: 144.465 s c =============================================================================== c | 181 | 958 1403 335172 | 5000 181 768 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 35.7316 s Remaining CPU time: 144.268 s c =============================================================================== c | 182 | 958 1404 336022 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 35.9255 s Remaining CPU time: 144.074 s c =============================================================================== c | 182 | 958 1405 336872 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 36.1325 s Remaining CPU time: 143.867 s c =============================================================================== c | 182 | 958 1406 337722 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 36.3355 s Remaining CPU time: 143.665 s c =============================================================================== c | 182 | 958 1407 338572 | 5000 182 768 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 36.5384 s Remaining CPU time: 143.462 s c =============================================================================== c | 186 | 958 1408 339422 | 5000 186 768 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 36.7424 s Remaining CPU time: 143.258 s c =============================================================================== c | 189 | 958 1409 340272 | 5000 189 768 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 36.9364 s Remaining CPU time: 143.064 s c =============================================================================== c | 189 | 958 1410 341122 | 5000 189 768 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 37.1344 s Remaining CPU time: 142.866 s c =============================================================================== c | 189 | 958 1411 341972 | 5000 189 768 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 37.3433 s Remaining CPU time: 142.657 s c =============================================================================== c | 190 | 958 1412 342822 | 5000 190 768 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 37.5513 s Remaining CPU time: 142.449 s c =============================================================================== c | 190 | 958 1413 343672 | 5000 190 768 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 37.7533 s Remaining CPU time: 142.247 s c =============================================================================== c | 190 | 958 1414 344522 | 5000 190 768 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 37.9562 s Remaining CPU time: 142.044 s c =============================================================================== c | 190 | 958 1415 345372 | 5000 190 768 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 38.1712 s Remaining CPU time: 141.829 s c =============================================================================== c | 192 | 958 1416 346222 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 38.3732 s Remaining CPU time: 141.627 s c =============================================================================== c | 192 | 958 1417 347072 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 38.5741 s Remaining CPU time: 141.426 s c =============================================================================== c | 192 | 958 1418 347922 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 38.7811 s Remaining CPU time: 141.219 s c =============================================================================== c | 192 | 958 1419 348772 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 38.9891 s Remaining CPU time: 141.011 s c =============================================================================== c | 192 | 958 1420 349622 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 39.192 s Remaining CPU time: 140.808 s c =============================================================================== c | 192 | 958 1421 350472 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 39.407 s Remaining CPU time: 140.593 s c =============================================================================== c | 192 | 958 1422 351322 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 39.622 s Remaining CPU time: 140.378 s c =============================================================================== c | 192 | 958 1423 352172 | 5000 192 767 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 39.8329 s Remaining CPU time: 140.167 s c =============================================================================== c | 193 | 958 1424 353022 | 5000 193 767 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 40.0309 s Remaining CPU time: 139.969 s c =============================================================================== c | 193 | 958 1425 353872 | 5000 193 767 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 40.2379 s Remaining CPU time: 139.762 s c =============================================================================== c | 193 | 958 1426 354722 | 5000 193 767 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 40.4728 s Remaining CPU time: 139.527 s c =============================================================================== c | 212 | 958 1427 355572 | 5000 212 766 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 40.7088 s Remaining CPU time: 139.291 s c =============================================================================== c | 222 | 958 1428 356422 | 5000 222 766 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 40.9158 s Remaining CPU time: 139.084 s c =============================================================================== c | 222 | 958 1429 357272 | 5000 222 766 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 41.1507 s Remaining CPU time: 138.849 s c =============================================================================== c | 224 | 958 1430 358122 | 5000 224 765 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 41.3597 s Remaining CPU time: 138.64 s c =============================================================================== c | 224 | 958 1431 358972 | 5000 224 765 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 41.6327 s Remaining CPU time: 138.367 s c =============================================================================== c | 237 | 958 1432 359822 | 5000 237 765 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 41.8696 s Remaining CPU time: 138.13 s c =============================================================================== c | 249 | 958 1433 360672 | 5000 249 764 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 42.1056 s Remaining CPU time: 137.894 s c =============================================================================== c | 250 | 958 1434 361522 | 5000 250 764 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 42.3446 s Remaining CPU time: 137.655 s c =============================================================================== c | 258 | 958 1435 362372 | 5000 258 764 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 42.5555 s Remaining CPU time: 137.444 s c =============================================================================== c | 258 | 958 1436 363222 | 5000 258 764 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 42.7975 s Remaining CPU time: 137.203 s c =============================================================================== c | 278 | 958 1437 364072 | 5000 278 763 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 43.0205 s Remaining CPU time: 136.98 s c =============================================================================== c | 279 | 958 1438 364922 | 5000 279 763 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 43.2394 s Remaining CPU time: 136.761 s c =============================================================================== c | 288 | 958 1439 365772 | 5000 288 763 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 43.4614 s Remaining CPU time: 136.539 s c =============================================================================== c | 290 | 958 1440 366622 | 5000 290 762 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 43.6804 s Remaining CPU time: 136.32 s c =============================================================================== c | 294 | 958 1441 367472 | 5000 294 762 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 43.9543 s Remaining CPU time: 136.046 s c =============================================================================== c | 319 | 958 1442 368322 | 5000 319 761 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 44.1943 s Remaining CPU time: 135.806 s c =============================================================================== c | 326 | 958 1443 369172 | 5000 326 761 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 44.4372 s Remaining CPU time: 135.563 s c =============================================================================== c | 327 | 958 1444 370022 | 5000 327 761 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 44.6662 s Remaining CPU time: 135.334 s c =============================================================================== c | 329 | 958 1445 370872 | 5000 329 761 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 44.9062 s Remaining CPU time: 135.094 s c =============================================================================== c | 332 | 958 1446 371722 | 5000 332 761 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 45.1241 s Remaining CPU time: 134.876 s c =============================================================================== c | 332 | 958 1447 372572 | 5000 332 761 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 45.3341 s Remaining CPU time: 134.666 s c =============================================================================== c | 333 | 958 1448 373422 | 5000 333 761 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 45.5721 s Remaining CPU time: 134.428 s c =============================================================================== c | 333 | 958 1449 374272 | 5000 333 761 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 45.811 s Remaining CPU time: 134.189 s c =============================================================================== c | 340 | 958 1450 375122 | 5000 340 761 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 46.043 s Remaining CPU time: 133.957 s c =============================================================================== c | 342 | 958 1451 375972 | 5000 342 761 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 46.273 s Remaining CPU time: 133.727 s c =============================================================================== c | 344 | 958 1452 376822 | 5000 344 761 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 46.5059 s Remaining CPU time: 133.494 s c =============================================================================== c | 345 | 958 1453 377672 | 5000 345 761 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 46.7509 s Remaining CPU time: 133.249 s c =============================================================================== c | 345 | 958 1454 378522 | 5000 345 761 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 46.9659 s Remaining CPU time: 133.034 s c =============================================================================== c | 346 | 958 1455 379372 | 5000 346 761 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 47.2128 s Remaining CPU time: 132.787 s c =============================================================================== c | 352 | 958 1456 380222 | 5000 352 760 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 47.4388 s Remaining CPU time: 132.561 s c =============================================================================== c | 352 | 958 1457 381072 | 5000 352 760 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 47.6638 s Remaining CPU time: 132.336 s c =============================================================================== c | 354 | 958 1458 381922 | 5000 354 760 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 47.8847 s Remaining CPU time: 132.115 s c =============================================================================== c | 354 | 958 1459 382772 | 5000 354 760 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 48.1177 s Remaining CPU time: 131.882 s c =============================================================================== c | 356 | 958 1460 383622 | 5000 356 760 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 48.3456 s Remaining CPU time: 131.654 s c =============================================================================== c | 356 | 958 1461 384472 | 5000 356 760 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 48.5736 s Remaining CPU time: 131.426 s c =============================================================================== c | 362 | 958 1462 385322 | 5000 362 760 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 48.8096 s Remaining CPU time: 131.19 s c =============================================================================== c | 366 | 958 1463 386172 | 5000 366 760 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 49.0365 s Remaining CPU time: 130.963 s c =============================================================================== c | 366 | 958 1464 387022 | 5000 366 760 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 49.2785 s Remaining CPU time: 130.721 s c =============================================================================== c | 370 | 958 1465 387872 | 5000 370 760 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 49.6105 s Remaining CPU time: 130.39 s c =============================================================================== c | 408 | 958 1466 388722 | 5000 408 759 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 49.8774 s Remaining CPU time: 130.123 s c =============================================================================== c | 415 | 958 1467 389572 | 5000 415 758 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 50.1184 s Remaining CPU time: 129.882 s c =============================================================================== c | 417 | 958 1468 390422 | 5000 417 758 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 50.3403 s Remaining CPU time: 129.66 s c =============================================================================== c | 417 | 958 1469 391272 | 5000 417 758 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 50.5873 s Remaining CPU time: 129.413 s c =============================================================================== c | 419 | 958 1470 392122 | 5000 419 758 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 50.8223 s Remaining CPU time: 129.178 s c =============================================================================== c | 420 | 958 1471 392972 | 5000 420 758 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 51.0442 s Remaining CPU time: 128.956 s c =============================================================================== c | 421 | 958 1472 393822 | 5000 421 758 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 51.2652 s Remaining CPU time: 128.735 s c =============================================================================== c | 421 | 958 1473 394672 | 5000 421 758 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 51.4962 s Remaining CPU time: 128.504 s c =============================================================================== c | 426 | 958 1474 395522 | 5000 426 758 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 51.7551 s Remaining CPU time: 128.245 s c =============================================================================== c | 435 | 958 1475 396372 | 5000 435 758 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 51.9851 s Remaining CPU time: 128.015 s c =============================================================================== c | 436 | 958 1476 397222 | 5000 436 758 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 52.2111 s Remaining CPU time: 127.789 s c =============================================================================== c | 436 | 958 1477 398072 | 5000 436 758 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 52.45 s Remaining CPU time: 127.55 s c =============================================================================== c | 436 | 958 1478 398922 | 5000 436 758 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 52.684 s Remaining CPU time: 127.316 s c =============================================================================== c | 436 | 958 1479 399772 | 5000 436 758 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 52.936 s Remaining CPU time: 127.064 s c =============================================================================== c | 440 | 958 1480 400622 | 5000 440 758 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 53.1879 s Remaining CPU time: 126.812 s c =============================================================================== c | 441 | 958 1481 401472 | 5000 441 758 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 53.4429 s Remaining CPU time: 126.557 s c =============================================================================== c | 447 | 958 1482 402322 | 5000 447 757 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 53.6808 s Remaining CPU time: 126.319 s c =============================================================================== c | 447 | 958 1483 403172 | 5000 447 757 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 53.9478 s Remaining CPU time: 126.052 s c =============================================================================== c | 448 | 958 1484 404022 | 5000 448 757 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 54.1798 s Remaining CPU time: 125.82 s c =============================================================================== c | 448 | 958 1485 404872 | 5000 448 757 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 54.4447 s Remaining CPU time: 125.555 s c =============================================================================== c | 453 | 958 1486 405722 | 5000 453 757 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 54.6817 s Remaining CPU time: 125.318 s c =============================================================================== c | 453 | 958 1487 406572 | 5000 453 757 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 54.9226 s Remaining CPU time: 125.077 s c =============================================================================== c | 455 | 958 1488 407422 | 5000 455 757 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 55.1926 s Remaining CPU time: 124.807 s c =============================================================================== c | 462 | 958 1489 408272 | 5000 462 757 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 55.4256 s Remaining CPU time: 124.574 s c =============================================================================== c | 462 | 958 1490 409122 | 5000 462 757 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 55.6885 s Remaining CPU time: 124.311 s c =============================================================================== c | 463 | 958 1491 409972 | 5000 463 757 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 55.9495 s Remaining CPU time: 124.051 s c =============================================================================== c | 464 | 958 1492 410822 | 5000 464 757 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 56.1975 s Remaining CPU time: 123.803 s c =============================================================================== c | 465 | 958 1493 411672 | 5000 465 757 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 56.4524 s Remaining CPU time: 123.548 s c =============================================================================== c | 465 | 958 1494 412522 | 5000 465 757 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 56.7164 s Remaining CPU time: 123.284 s c =============================================================================== c | 465 | 958 1495 413372 | 5000 465 757 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 56.9773 s Remaining CPU time: 123.023 s c =============================================================================== c | 471 | 958 1496 414222 | 5000 471 757 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 57.2293 s Remaining CPU time: 122.771 s c =============================================================================== c | 471 | 958 1497 415072 | 5000 471 757 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 57.4803 s Remaining CPU time: 122.52 s c =============================================================================== c | 472 | 958 1498 415922 | 5000 472 757 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 57.7172 s Remaining CPU time: 122.283 s c =============================================================================== c | 472 | 958 1499 416772 | 5000 472 757 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 57.9642 s Remaining CPU time: 122.036 s c =============================================================================== c | 474 | 958 1500 417622 | 5000 474 757 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 58.1972 s Remaining CPU time: 121.803 s c =============================================================================== c | 474 | 958 1501 418472 | 5000 474 757 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 58.4481 s Remaining CPU time: 121.552 s c =============================================================================== c | 474 | 958 1502 419322 | 5000 474 757 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 58.6831 s Remaining CPU time: 121.317 s c =============================================================================== c | 474 | 958 1503 420172 | 5000 474 757 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 58.93 s Remaining CPU time: 121.07 s c =============================================================================== c | 474 | 958 1504 421022 | 5000 474 757 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 59.27 s Remaining CPU time: 120.73 s c =============================================================================== c | 492 | 958 1505 421872 | 5000 492 756 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 59.5249 s Remaining CPU time: 120.475 s c =============================================================================== c | 492 | 958 1506 422722 | 5000 492 756 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 59.7759 s Remaining CPU time: 120.224 s c =============================================================================== c | 492 | 958 1507 423572 | 5000 492 756 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 60.0199 s Remaining CPU time: 119.98 s c =============================================================================== c | 492 | 958 1508 424422 | 5000 492 756 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 60.2798 s Remaining CPU time: 119.72 s c =============================================================================== c | 492 | 958 1509 425272 | 5000 492 756 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 60.5268 s Remaining CPU time: 119.473 s c =============================================================================== c | 493 | 958 1510 426122 | 5000 493 756 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 60.7778 s Remaining CPU time: 119.222 s c =============================================================================== c | 493 | 958 1511 426972 | 5000 493 756 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 61.0167 s Remaining CPU time: 118.983 s c =============================================================================== c | 493 | 958 1512 427822 | 5000 493 756 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 61.2587 s Remaining CPU time: 118.741 s c =============================================================================== c | 496 | 958 1513 428672 | 5000 496 756 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 61.5296 s Remaining CPU time: 118.47 s c =============================================================================== c | 497 | 958 1514 429522 | 5000 497 756 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 61.7706 s Remaining CPU time: 118.229 s c =============================================================================== c | 497 | 958 1515 430372 | 5000 497 756 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 62.0476 s Remaining CPU time: 117.952 s c =============================================================================== c | 501 | 958 1516 431222 | 5000 501 756 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 62.3145 s Remaining CPU time: 117.685 s c =============================================================================== c | 502 | 958 1517 432072 | 5000 502 756 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 62.6065 s Remaining CPU time: 117.394 s c =============================================================================== c | 509 | 958 1518 432922 | 5000 509 754 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 62.8614 s Remaining CPU time: 117.139 s c =============================================================================== c | 513 | 958 1519 433772 | 5000 513 754 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 63.1094 s Remaining CPU time: 116.891 s c =============================================================================== c | 513 | 958 1520 434622 | 5000 513 754 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 63.3684 s Remaining CPU time: 116.632 s c =============================================================================== c | 515 | 958 1521 435472 | 5000 515 754 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 63.6483 s Remaining CPU time: 116.352 s c =============================================================================== c | 521 | 958 1522 436322 | 5000 521 753 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 63.9063 s Remaining CPU time: 116.094 s c =============================================================================== c | 521 | 958 1523 437172 | 5000 521 753 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 64.1832 s Remaining CPU time: 115.817 s c =============================================================================== c | 524 | 958 1524 438022 | 5000 524 753 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 64.4592 s Remaining CPU time: 115.541 s c =============================================================================== c | 525 | 958 1525 438872 | 5000 525 753 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 64.7072 s Remaining CPU time: 115.293 s c =============================================================================== c | 525 | 958 1526 439722 | 5000 525 753 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 64.9951 s Remaining CPU time: 115.005 s c =============================================================================== c | 535 | 958 1527 440572 | 5000 535 753 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 65.2631 s Remaining CPU time: 114.737 s c =============================================================================== c | 535 | 958 1528 441422 | 5000 535 753 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 65.555 s Remaining CPU time: 114.445 s c =============================================================================== c | 536 | 958 1529 442272 | 5000 536 753 | 0.000 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 65.804 s Remaining CPU time: 114.196 s c =============================================================================== c | 536 | 958 1530 443122 | 5000 536 753 | 0.000 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 66.066 s Remaining CPU time: 113.934 s c =============================================================================== c | 537 | 958 1531 443972 | 5000 537 753 | 0.000 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 66.3509 s Remaining CPU time: 113.649 s c =============================================================================== c | 546 | 958 1532 444822 | 5000 546 753 | 0.000 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 66.6619 s Remaining CPU time: 113.338 s c =============================================================================== c | 555 | 958 1533 445672 | 5000 555 752 | 0.000 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 66.9148 s Remaining CPU time: 113.085 s c =============================================================================== c | 555 | 958 1534 446522 | 5000 555 752 | 0.000 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 67.1888 s Remaining CPU time: 112.811 s c =============================================================================== c | 556 | 958 1535 447372 | 5000 556 752 | 0.000 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 67.4577 s Remaining CPU time: 112.542 s c =============================================================================== c | 558 | 958 1536 448222 | 5000 558 752 | 0.000 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 67.7437 s Remaining CPU time: 112.256 s c =============================================================================== c | 562 | 958 1537 449072 | 5000 562 752 | 0.000 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 68.0247 s Remaining CPU time: 111.975 s c =============================================================================== c | 562 | 958 1538 449922 | 5000 562 752 | 0.000 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 68.3026 s Remaining CPU time: 111.697 s c =============================================================================== c | 562 | 958 1539 450772 | 5000 562 752 | 0.000 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 68.5666 s Remaining CPU time: 111.433 s c =============================================================================== c | 563 | 958 1540 451622 | 5000 563 752 | 0.000 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 68.8195 s Remaining CPU time: 111.18 s c =============================================================================== c | 563 | 958 1541 452472 | 5000 563 752 | 0.000 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 69.1275 s Remaining CPU time: 110.873 s c =============================================================================== c | 575 | 958 1542 453322 | 5000 575 752 | 0.000 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 69.4294 s Remaining CPU time: 110.571 s c =============================================================================== c | 587 | 958 1543 454172 | 5000 587 751 | 0.000 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 69.6994 s Remaining CPU time: 110.301 s c =============================================================================== c | 588 | 958 1544 455022 | 5000 588 751 | 0.000 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 69.9954 s Remaining CPU time: 110.005 s c =============================================================================== c | 589 | 958 1545 455872 | 5000 589 751 | 0.000 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 70.3483 s Remaining CPU time: 109.652 s c =============================================================================== c | 598 | 958 1546 456722 | 5000 598 751 | 0.000 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 70.6113 s Remaining CPU time: 109.389 s c =============================================================================== c | 598 | 958 1547 457572 | 5000 598 751 | 0.000 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 70.8752 s Remaining CPU time: 109.125 s c =============================================================================== c | 601 | 958 1548 458422 | 5000 601 751 | 0.000 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 71.1522 s Remaining CPU time: 108.848 s c =============================================================================== c | 601 | 958 1549 459272 | 5000 601 751 | 0.000 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 71.4151 s Remaining CPU time: 108.585 s c =============================================================================== c | 601 | 958 1550 460122 | 5000 601 751 | 0.000 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 71.6981 s Remaining CPU time: 108.302 s c =============================================================================== c | 605 | 958 1551 460972 | 5000 605 751 | 0.000 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 71.9831 s Remaining CPU time: 108.017 s c =============================================================================== c | 606 | 958 1552 461822 | 5000 606 751 | 0.000 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 72.27 s Remaining CPU time: 107.73 s c =============================================================================== c | 607 | 958 1553 462672 | 5000 607 751 | 0.000 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 72.561 s Remaining CPU time: 107.439 s c =============================================================================== c | 612 | 958 1554 463522 | 5000 612 750 | 0.000 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 72.8249 s Remaining CPU time: 107.175 s c =============================================================================== c | 612 | 958 1555 464372 | 5000 612 750 | 0.000 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 73.1479 s Remaining CPU time: 106.852 s c =============================================================================== c | 649 | 958 1556 465222 | 5000 649 749 | 0.000 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 73.4268 s Remaining CPU time: 106.573 s c =============================================================================== c | 649 | 958 1557 466072 | 5000 649 749 | 0.000 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 73.7348 s Remaining CPU time: 106.265 s c =============================================================================== c | 652 | 958 1558 466922 | 5000 652 749 | 0.000 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 74.0727 s Remaining CPU time: 105.927 s c =============================================================================== c | 669 | 958 1559 467772 | 5000 669 749 | 0.000 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 74.3577 s Remaining CPU time: 105.642 s c =============================================================================== c | 676 | 958 1560 468622 | 5000 676 748 | 0.000 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 74.6407 s Remaining CPU time: 105.359 s c =============================================================================== c | 686 | 958 1561 469472 | 5000 686 748 | 0.000 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 74.9256 s Remaining CPU time: 105.074 s c =============================================================================== c | 686 | 958 1562 470322 | 5000 686 748 | 0.000 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 75.1996 s Remaining CPU time: 104.8 s c =============================================================================== c | 693 | 958 1563 471172 | 5000 693 748 | 0.000 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 75.4625 s Remaining CPU time: 104.537 s c =============================================================================== c | 693 | 958 1564 472022 | 5000 693 748 | 0.000 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 75.7555 s Remaining CPU time: 104.245 s c =============================================================================== c | 694 | 958 1565 472872 | 5000 694 748 | 0.000 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 76.0424 s Remaining CPU time: 103.958 s c =============================================================================== c | 696 | 958 1566 473722 | 5000 696 748 | 0.000 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 76.3224 s Remaining CPU time: 103.678 s c =============================================================================== c | 698 | 958 1567 474572 | 5000 698 748 | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 76.6054 s Remaining CPU time: 103.395 s c =============================================================================== c | 700 | 958 1568 475422 | 5000 700 748 | 0.000 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 76.8983 s Remaining CPU time: 103.102 s c =============================================================================== c | 705 | 958 1569 476272 | 5000 705 748 | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 77.2003 s Remaining CPU time: 102.8 s c =============================================================================== c | 707 | 958 1570 477122 | 5000 707 748 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 77.5142 s Remaining CPU time: 102.486 s c =============================================================================== c | 709 | 958 1571 477972 | 5000 709 748 | 0.000 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 77.7892 s Remaining CPU time: 102.211 s c =============================================================================== c | 709 | 958 1572 478822 | 5000 709 748 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 78.1031 s Remaining CPU time: 101.897 s c =============================================================================== c | 722 | 958 1573 479672 | 5000 722 747 | 0.000 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 78.3711 s Remaining CPU time: 101.629 s c =============================================================================== c | 722 | 958 1574 480522 | 5000 722 747 | 0.000 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 78.669 s Remaining CPU time: 101.331 s c =============================================================================== c | 725 | 958 1575 481372 | 5000 725 747 | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 78.94 s Remaining CPU time: 101.06 s c =============================================================================== c | 727 | 958 1576 482222 | 5000 727 747 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 79.235 s Remaining CPU time: 100.765 s c =============================================================================== c | 728 | 958 1577 483072 | 5000 728 747 | 0.000 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 79.5229 s Remaining CPU time: 100.477 s c =============================================================================== c | 730 | 958 1578 483922 | 5000 730 747 | 0.000 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 79.8319 s Remaining CPU time: 100.168 s c =============================================================================== c | 730 | 958 1579 484772 | 5000 730 747 | 0.000 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 80.2668 s Remaining CPU time: 99.7332 s c =============================================================================== c | 771 | 958 1580 485622 | 5000 771 746 | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 80.6637 s Remaining CPU time: 99.3363 s c =============================================================================== c | 812 | 958 1581 486472 | 5000 812 745 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 81.0577 s Remaining CPU time: 98.9423 s c =============================================================================== c | 849 | 958 1582 487322 | 5000 849 744 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 81.3526 s Remaining CPU time: 98.6474 s c =============================================================================== c | 858 | 958 1583 488172 | 5000 858 744 | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 81.6676 s Remaining CPU time: 98.3324 s c =============================================================================== c | 861 | 958 1584 489022 | 5000 861 744 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 82.0695 s Remaining CPU time: 97.9305 s c =============================================================================== c | 895 | 958 1585 489872 | 5000 895 743 | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 82.4625 s Remaining CPU time: 97.5375 s c =============================================================================== c | 917 | 958 1586 490722 | 5000 917 743 | 0.000 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 82.7744 s Remaining CPU time: 97.2256 s c =============================================================================== c | 922 | 958 1587 491572 | 5000 922 743 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 83.1214 s Remaining CPU time: 96.8786 s c =============================================================================== c | 946 | 958 1588 492422 | 5000 946 742 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 83.4103 s Remaining CPU time: 96.5897 s c =============================================================================== c | 947 | 958 1589 493272 | 5000 947 742 | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 83.7063 s Remaining CPU time: 96.2937 s c =============================================================================== c | 949 | 958 1590 494122 | 5000 949 742 | 0.000 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 83.9952 s Remaining CPU time: 96.0048 s c =============================================================================== c | 952 | 958 1591 494972 | 5000 952 742 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 84.2872 s Remaining CPU time: 95.7128 s c =============================================================================== c | 954 | 958 1592 495822 | 5000 954 742 | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 84.7121 s Remaining CPU time: 95.2879 s c =============================================================================== c | 1017 | 958 1593 496672 | 5000 1017 741 | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 85.0441 s Remaining CPU time: 94.9559 s c =============================================================================== c | 1026 | 958 1594 497522 | 5000 1026 741 | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 85.458 s Remaining CPU time: 94.542 s c =============================================================================== c | 1066 | 958 1595 498372 | 5000 1066 740 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 85.8419 s Remaining CPU time: 94.1581 s c =============================================================================== c | 1077 | 958 1596 499222 | 5000 1077 740 | 0.000 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 86.2119 s Remaining CPU time: 93.7881 s c =============================================================================== c | 1101 | 958 1597 500072 | 5000 1101 740 | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 86.5618 s Remaining CPU time: 93.4382 s c =============================================================================== c | 1127 | 958 1598 500922 | 5000 1127 739 | 0.000 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 87.0288 s Remaining CPU time: 92.9712 s c =============================================================================== c | 1169 | 958 1599 501772 | 5000 1169 739 | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 87.3567 s Remaining CPU time: 92.6433 s c =============================================================================== c | 1173 | 958 1600 502622 | 5000 1173 739 | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 87.6947 s Remaining CPU time: 92.3053 s c =============================================================================== c | 1178 | 958 1601 503472 | 5000 1178 739 | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 88.0106 s Remaining CPU time: 91.9894 s c =============================================================================== c | 1178 | 958 1602 504322 | 5000 1178 739 | 0.000 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 88.3096 s Remaining CPU time: 91.6904 s c =============================================================================== c | 1184 | 958 1603 505172 | 5000 1184 739 | 0.000 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 88.6115 s Remaining CPU time: 91.3885 s c =============================================================================== c | 1192 | 958 1604 506022 | 5000 1192 739 | 0.000 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 88.9395 s Remaining CPU time: 91.0605 s c =============================================================================== c | 1202 | 958 1605 506872 | 5000 1202 739 | 0.000 % | c | 1302 | 958 1605 506872 | 5500 1302 737 | 4.200 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 89.7264 s Remaining CPU time: 90.2736 s c =============================================================================== c | 1316 | 958 1606 507722 | 5000 1316 737 | 4.200 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 90.0423 s Remaining CPU time: 89.9577 s c =============================================================================== c | 1318 | 958 1607 508572 | 5000 1318 737 | 4.200 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 90.3243 s Remaining CPU time: 89.6757 s c =============================================================================== c | 1318 | 958 1608 509422 | 5000 1318 737 | 4.200 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 90.6612 s Remaining CPU time: 89.3388 s c =============================================================================== c | 1328 | 958 1609 510272 | 5000 1328 737 | 4.200 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 90.9522 s Remaining CPU time: 89.0478 s c =============================================================================== c | 1328 | 958 1610 511122 | 5000 1328 737 | 4.200 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 91.2511 s Remaining CPU time: 88.7489 s c =============================================================================== c | 1328 | 958 1611 511972 | 5000 1328 737 | 4.200 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 91.5421 s Remaining CPU time: 88.4579 s c =============================================================================== c | 1328 | 958 1612 512822 | 5000 1328 737 | 4.200 % | c | 1428 | 958 1612 512822 | 5500 1428 736 | 4.200 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 92.4449 s Remaining CPU time: 87.5551 s c =============================================================================== c | 1443 | 958 1613 513672 | 5000 1443 736 | 4.200 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 92.7939 s Remaining CPU time: 87.2061 s c =============================================================================== c | 1450 | 958 1614 514522 | 5000 1450 736 | 4.200 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 93.1888 s Remaining CPU time: 86.8112 s c =============================================================================== c | 1469 | 958 1615 515372 | 5000 1469 735 | 4.200 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 93.5558 s Remaining CPU time: 86.4442 s c =============================================================================== c | 1486 | 958 1616 516222 | 5000 1486 735 | 4.200 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 94.0077 s Remaining CPU time: 85.9923 s c =============================================================================== c | 1513 | 958 1617 517072 | 5000 1513 735 | 4.200 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 94.6286 s Remaining CPU time: 85.3714 s c =============================================================================== c | 1568 | 958 1618 517922 | 5000 1568 734 | 4.200 % | c | 1668 | 958 1618 517922 | 5500 1668 733 | 4.200 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 95.4485 s Remaining CPU time: 84.5515 s c =============================================================================== c | 1676 | 958 1619 518772 | 5000 1676 733 | 4.200 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 95.8504 s Remaining CPU time: 84.1496 s c =============================================================================== c | 1702 | 958 1620 519622 | 5000 1702 733 | 4.200 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 96.2404 s Remaining CPU time: 83.7596 s c =============================================================================== c | 1729 | 958 1621 520472 | 5000 1729 733 | 4.200 % | c | 1829 | 958 1621 520472 | 5500 1829 732 | 4.200 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 97.4822 s Remaining CPU time: 82.5178 s c =============================================================================== c | 1900 | 958 1622 521322 | 5000 1900 732 | 4.200 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 98.0391 s Remaining CPU time: 81.9609 s c =============================================================================== c | 1953 | 958 1623 522172 | 5000 1953 731 | 4.200 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 98.568 s Remaining CPU time: 81.432 s c =============================================================================== c | 2026 | 958 1624 523022 | 5000 2026 731 | 4.200 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 99.0909 s Remaining CPU time: 80.9091 s c =============================================================================== c | 2110 | 958 1625 523872 | 5000 2110 731 | 4.200 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 99.7158 s Remaining CPU time: 80.2842 s c =============================================================================== c | 2184 | 958 1626 524722 | 5000 2184 730 | 4.200 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 100.16 s Remaining CPU time: 79.8402 s c =============================================================================== c | 2232 | 958 1627 525572 | 5000 2232 730 | 4.200 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 100.58 s Remaining CPU time: 79.4203 s c =============================================================================== c | 2263 | 958 1628 526422 | 5000 2263 730 | 4.200 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 100.964 s Remaining CPU time: 79.0363 s c =============================================================================== c | 2284 | 958 1629 527272 | 5000 2284 730 | 4.200 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 101.298 s Remaining CPU time: 78.7024 s c =============================================================================== c | 2305 | 958 1630 528122 | 5000 2305 730 | 4.200 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 101.777 s Remaining CPU time: 78.2235 s c =============================================================================== c | 2402 | 958 1631 528972 | 5000 2402 729 | 4.200 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 102.145 s Remaining CPU time: 77.8545 s c =============================================================================== c | 2420 | 958 1632 529822 | 5000 2420 729 | 4.200 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 102.536 s Remaining CPU time: 77.4636 s c =============================================================================== c | 2450 | 958 1633 530672 | 5000 2450 729 | 4.200 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 102.88 s Remaining CPU time: 77.1196 s c =============================================================================== c | 2460 | 958 1634 531522 | 5000 2460 729 | 4.200 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 103.322 s Remaining CPU time: 76.6777 s c =============================================================================== c | 2500 | 958 1635 532372 | 5000 2500 729 | 4.200 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 103.829 s Remaining CPU time: 76.1708 s c =============================================================================== c | 2585 | 958 1636 533222 | 5000 2585 728 | 4.200 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 104.299 s Remaining CPU time: 75.7009 s c =============================================================================== c | 2670 | 958 1637 534072 | 5000 2670 728 | 4.200 % | c | 2771 | 958 1637 534072 | 5500 2771 727 | 4.200 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 105.324 s Remaining CPU time: 74.676 s c =============================================================================== c | 2798 | 958 1638 534922 | 5000 2798 727 | 4.200 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 105.73 s Remaining CPU time: 74.2701 s c =============================================================================== c | 2831 | 958 1639 535772 | 5000 2831 727 | 4.200 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 106.168 s Remaining CPU time: 73.8321 s c =============================================================================== c | 2847 | 958 1640 536622 | 5000 2847 727 | 4.200 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 106.622 s Remaining CPU time: 73.3782 s c =============================================================================== c | 2893 | 958 1641 537472 | 5000 2893 727 | 4.200 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 107.089 s Remaining CPU time: 72.9113 s c =============================================================================== c | 2944 | 958 1642 538322 | 5000 2944 727 | 4.200 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 107.488 s Remaining CPU time: 72.5123 s c =============================================================================== c | 2971 | 958 1643 539172 | 5000 2971 727 | 4.200 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 107.925 s Remaining CPU time: 72.0754 s c =============================================================================== c | 3021 | 958 1644 540022 | 5000 3021 727 | 4.200 % | c | 3123 | 958 1644 540022 | 5500 3123 726 | 4.200 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 109.333 s Remaining CPU time: 70.6666 s c =============================================================================== c | 3263 | 958 1645 540872 | 5000 3263 726 | 4.200 % | c | 3363 | 958 1645 540872 | 5500 3363 726 | 4.200 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 110.426 s Remaining CPU time: 69.5738 s c =============================================================================== c | 3459 | 958 1646 541722 | 5000 3459 725 | 4.200 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 110.967 s Remaining CPU time: 69.0329 s c =============================================================================== c | 3531 | 958 1647 542572 | 5000 3531 725 | 4.200 % | c | 3632 | 958 1647 542572 | 5500 3632 725 | 4.200 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 112.124 s Remaining CPU time: 67.876 s c =============================================================================== c | 3672 | 958 1648 543422 | 5000 3672 725 | 4.200 % | c | 3773 | 958 1648 543422 | 5500 3773 724 | 4.200 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 113.137 s Remaining CPU time: 66.8632 s c =============================================================================== c | 3853 | 958 1649 544272 | 5000 3853 724 | 4.200 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 113.64 s Remaining CPU time: 66.3603 s c =============================================================================== c | 3910 | 958 1650 545122 | 5000 3910 724 | 4.200 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 114.247 s Remaining CPU time: 65.7534 s c =============================================================================== c | 3988 | 958 1651 545972 | 5000 3988 724 | 4.200 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 114.595 s Remaining CPU time: 65.4054 s c =============================================================================== c | 3999 | 958 1652 546822 | 5000 3999 724 | 4.200 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 114.949 s Remaining CPU time: 65.0515 s c =============================================================================== c | 4017 | 958 1653 547672 | 5000 4017 724 | 4.200 % | c | 4118 | 958 1653 547672 | 5500 4118 723 | 4.200 % | c | 4268 | 958 1653 547672 | 6050 4268 723 | 4.200 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 116.568 s Remaining CPU time: 63.4317 s c =============================================================================== c | 4291 | 958 1654 548522 | 5000 4291 723 | 4.200 % | c | 4393 | 958 1654 548522 | 5500 4393 723 | 4.200 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 117.811 s Remaining CPU time: 62.1889 s c =============================================================================== c | 4439 | 958 1655 549372 | 5000 4439 723 | 4.200 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 118.222 s Remaining CPU time: 61.778 s c =============================================================================== c | 4490 | 958 1656 550222 | 5000 4490 723 | 4.200 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 118.726 s Remaining CPU time: 61.2741 s c =============================================================================== c | 4543 | 958 1657 551072 | 5000 4543 723 | 4.200 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 119.062 s Remaining CPU time: 60.9381 s c =============================================================================== c | 4561 | 958 1658 551922 | 5000 4561 723 | 4.200 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 119.39 s Remaining CPU time: 60.6102 s c =============================================================================== c | 4573 | 958 1659 552772 | 5000 4573 723 | 4.200 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 119.76 s Remaining CPU time: 60.2402 s c =============================================================================== c | 4589 | 958 1660 553622 | 5000 4589 723 | 4.200 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 120.126 s Remaining CPU time: 59.8743 s c =============================================================================== c | 4600 | 958 1661 554472 | 5000 4600 723 | 4.200 % | c | 4701 | 958 1661 554472 | 5500 4701 722 | 4.200 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 121.375 s Remaining CPU time: 58.6255 s c =============================================================================== c | 4839 | 958 1662 555322 | 5000 4839 722 | 4.200 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 121.782 s Remaining CPU time: 58.2175 s c =============================================================================== c | 4863 | 958 1663 556172 | 5000 4863 722 | 4.200 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 122.429 s Remaining CPU time: 57.5706 s c =============================================================================== c | 4953 | 958 1664 557022 | 5000 4953 722 | 4.200 % | c | 5054 | 958 1664 557022 | 5500 5054 722 | 4.200 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 123.918 s Remaining CPU time: 56.0818 s c =============================================================================== c | 5201 | 958 1665 557872 | 5000 5201 721 | 4.200 % | c | 5301 | 958 1665 557872 | 5500 2701 714 | 4.200 % | c | 5451 | 958 1665 557872 | 6050 2851 714 | 4.200 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 125.685 s Remaining CPU time: 54.3151 s c =============================================================================== c | 5492 | 958 1666 558722 | 5000 2892 714 | 4.200 % | c | 5592 | 958 1666 558722 | 5500 2992 714 | 4.200 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 126.591 s Remaining CPU time: 53.4092 s c =============================================================================== c | 5640 | 958 1667 559572 | 5000 3040 714 | 4.200 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 127.112 s Remaining CPU time: 52.8883 s c =============================================================================== c | 5687 | 958 1668 560422 | 5000 3087 714 | 4.200 % | c | 5787 | 958 1668 560422 | 5500 3187 714 | 4.200 % | c | 5938 | 958 1668 560422 | 6050 3338 714 | 4.200 % | c | 6164 | 958 1668 560422 | 6655 3564 714 | 4.200 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 130.892 s Remaining CPU time: 49.1079 s c =============================================================================== c | 6307 | 958 1669 561272 | 5000 3707 714 | 4.200 % | c | 6408 | 958 1669 561272 | 5500 3808 714 | 4.200 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 132.135 s Remaining CPU time: 47.8651 s c =============================================================================== c | 6487 | 958 1670 562122 | 5000 3887 713 | 4.200 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 132.643 s Remaining CPU time: 47.3572 s c =============================================================================== c | 6584 | 958 1671 562972 | 5000 3984 713 | 4.200 % | c | 6684 | 958 1671 562972 | 5500 4084 713 | 4.200 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 133.662 s Remaining CPU time: 46.3383 s c =============================================================================== c | 6712 | 958 1672 563822 | 5000 4112 713 | 4.200 % | c | 6813 | 958 1672 563822 | 5500 4213 713 | 4.200 % | c | 6963 | 958 1672 563822 | 6050 4363 713 | 4.200 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 135.372 s Remaining CPU time: 44.6276 s c =============================================================================== c | 7038 | 958 1673 564672 | 5000 4438 713 | 4.200 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 135.96 s Remaining CPU time: 44.0397 s c =============================================================================== c | 7121 | 958 1674 565522 | 5000 4521 713 | 4.200 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 136.465 s Remaining CPU time: 43.5347 s c =============================================================================== c | 7185 | 958 1675 566372 | 5000 4585 713 | 4.200 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 136.865 s Remaining CPU time: 43.1348 s c =============================================================================== c | 7216 | 958 1676 567222 | 5000 4616 713 | 4.200 % | c | 7316 | 958 1676 567222 | 5500 4716 713 | 4.200 % | c | 7466 | 958 1676 567222 | 6050 4866 713 | 4.200 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 138.53 s Remaining CPU time: 41.4701 s c =============================================================================== c | 7578 | 958 1677 568072 | 5000 4978 713 | 4.200 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 138.95 s Remaining CPU time: 41.0501 s c =============================================================================== c | 7634 | 958 1678 568922 | 5000 5034 713 | 4.200 % | c | 7734 | 958 1678 568922 | 5500 5134 713 | 4.200 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 139.92 s Remaining CPU time: 40.0803 s c =============================================================================== c | 7788 | 958 1679 569772 | 5000 5188 713 | 4.200 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 140.343 s Remaining CPU time: 39.6573 s c =============================================================================== c | 7811 | 958 1680 570622 | 5000 2617 710 | 4.200 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 140.717 s Remaining CPU time: 39.2834 s c =============================================================================== c | 7842 | 958 1681 571472 | 5000 2648 710 | 4.200 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 141.193 s Remaining CPU time: 38.8075 s c =============================================================================== c | 7867 | 958 1682 572322 | 5000 2673 710 | 4.200 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 141.582 s Remaining CPU time: 38.4175 s c =============================================================================== c | 7878 | 958 1683 573172 | 5000 2684 710 | 4.200 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 141.914 s Remaining CPU time: 38.0856 s c =============================================================================== c | 7886 | 958 1684 574022 | 5000 2692 710 | 4.200 % | c | 7987 | 958 1684 574022 | 5500 2793 710 | 4.200 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 143.115 s Remaining CPU time: 36.8848 s c =============================================================================== c | 8069 | 958 1685 574872 | 5000 2875 710 | 4.200 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 143.552 s Remaining CPU time: 36.4478 s c =============================================================================== c | 8095 | 958 1686 575722 | 5000 2901 710 | 4.200 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 144.161 s Remaining CPU time: 35.8389 s c =============================================================================== c | 8181 | 958 1687 576572 | 5000 2987 710 | 4.200 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 144.8 s Remaining CPU time: 35.2 s c =============================================================================== c | 8280 | 958 1688 577422 | 5000 3086 710 | 4.200 % | c | 8380 | 958 1688 577422 | 5500 3186 710 | 4.200 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 145.662 s Remaining CPU time: 34.3381 s c =============================================================================== c | 8384 | 958 1689 578272 | 5000 3190 710 | 4.200 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 145.999 s Remaining CPU time: 34.0012 s c =============================================================================== c | 8389 | 958 1690 579122 | 5000 3195 710 | 4.200 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 146.428 s Remaining CPU time: 33.5723 s c =============================================================================== c | 8416 | 958 1691 579972 | 5000 3222 710 | 4.200 % | c | 8516 | 958 1691 579972 | 5500 3322 710 | 4.200 % | c | 8666 | 958 1691 579972 | 6050 3472 710 | 4.200 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 148.254 s Remaining CPU time: 31.7455 s c =============================================================================== c | 8805 | 958 1692 580822 | 5000 3611 710 | 4.200 % | c | 8905 | 958 1692 580822 | 5500 3711 709 | 4.200 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 149.168 s Remaining CPU time: 30.8317 s c =============================================================================== c | 8938 | 958 1693 581672 | 5000 3744 709 | 4.200 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 149.516 s Remaining CPU time: 30.4837 s c =============================================================================== c | 8948 | 958 1694 582522 | 5000 3754 709 | 4.200 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 149.853 s Remaining CPU time: 30.1468 s c =============================================================================== c | 8953 | 958 1695 583372 | 5000 3759 709 | 4.200 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 150.253 s Remaining CPU time: 29.7468 s c =============================================================================== c | 8975 | 958 1696 584222 | 5000 3781 709 | 4.200 % | c | 9075 | 958 1696 584222 | 5500 3881 709 | 4.200 % | c | 9225 | 958 1696 584222 | 6050 4031 709 | 4.200 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 152.388 s Remaining CPU time: 27.6122 s c =============================================================================== c | 9327 | 958 1697 585072 | 5000 4133 709 | 4.200 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 152.99 s Remaining CPU time: 27.0103 s c =============================================================================== c | 9381 | 958 1698 585922 | 5000 4187 709 | 4.200 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 153.342 s Remaining CPU time: 26.6583 s c =============================================================================== c | 9383 | 958 1699 586772 | 5000 4189 709 | 4.200 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 153.94 s Remaining CPU time: 26.0604 s c =============================================================================== c | 9465 | 958 1700 587622 | 5000 4271 709 | 4.200 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 154.532 s Remaining CPU time: 25.4685 s c =============================================================================== c | 9534 | 958 1701 588472 | 5000 4340 708 | 4.200 % | c | 9634 | 958 1701 588472 | 5500 4440 708 | 4.200 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 155.821 s Remaining CPU time: 24.1787 s c =============================================================================== c | 9724 | 958 1702 589322 | 5000 4530 708 | 4.200 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 156.555 s Remaining CPU time: 23.4448 s c =============================================================================== c | 9770 | 958 1703 590172 | 5000 4576 708 | 4.200 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 157.019 s Remaining CPU time: 22.9809 s c =============================================================================== c | 9796 | 958 1704 591022 | 5000 4602 708 | 4.200 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 157.468 s Remaining CPU time: 22.5319 s c =============================================================================== c | 9834 | 958 1705 591872 | 5000 4640 708 | 4.200 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 158.016 s Remaining CPU time: 21.984 s c =============================================================================== c | 9908 | 958 1706 592722 | 5000 4714 708 | 4.200 % | c | 10008 | 958 1706 592722 | 5500 4814 708 | 4.200 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 159.306 s Remaining CPU time: 20.6942 s c =============================================================================== c | 10042 | 958 1707 593572 | 5000 4848 707 | 4.200 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 159.888 s Remaining CPU time: 20.1123 s c =============================================================================== c | 10113 | 958 1708 594422 | 5000 4919 707 | 4.200 % | c | 10213 | 958 1708 594422 | 5500 5019 707 | 4.200 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 161.024 s Remaining CPU time: 18.9765 s c =============================================================================== c | 10269 | 958 1709 595272 | 5000 5075 707 | 4.200 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 161.644 s Remaining CPU time: 18.3556 s c =============================================================================== c | 10367 | 958 1710 596122 | 5000 2636 703 | 4.200 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 162.087 s Remaining CPU time: 17.9126 s c =============================================================================== c | 10406 | 958 1711 596972 | 5000 2675 703 | 4.200 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 162.864 s Remaining CPU time: 17.1358 s c =============================================================================== c | 10500 | 958 1712 597822 | 5000 2769 703 | 4.200 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 163.391 s Remaining CPU time: 16.6088 s c =============================================================================== c | 10586 | 958 1713 598672 | 5000 2855 703 | 4.200 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 163.838 s Remaining CPU time: 16.1619 s c =============================================================================== c | 10630 | 958 1714 599522 | 5000 2899 703 | 4.200 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 164.24 s Remaining CPU time: 15.76 s c =============================================================================== c | 10650 | 958 1715 600372 | 5000 2919 703 | 4.200 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 164.798 s Remaining CPU time: 15.2021 s c =============================================================================== c | 10710 | 958 1716 601222 | 5000 2979 703 | 4.200 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 165.201 s Remaining CPU time: 14.7991 s c =============================================================================== c | 10722 | 958 1717 602072 | 5000 2991 703 | 4.200 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 165.635 s Remaining CPU time: 14.3652 s c =============================================================================== c | 10751 | 958 1718 602922 | 5000 3020 702 | 4.200 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 165.98 s Remaining CPU time: 14.0202 s c =============================================================================== c | 10751 | 958 1719 603772 | 5000 3020 702 | 4.200 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 166.323 s Remaining CPU time: 13.6773 s c =============================================================================== c | 10751 | 958 1720 604622 | 5000 3020 702 | 4.200 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 166.746 s Remaining CPU time: 13.2543 s c =============================================================================== c | 10766 | 958 1721 605472 | 5000 3035 702 | 4.200 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 167.102 s Remaining CPU time: 12.8984 s c =============================================================================== c | 10769 | 958 1722 606322 | 5000 3038 702 | 4.200 % | c | 10869 | 958 1722 606322 | 5500 3138 702 | 4.200 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 168.431 s Remaining CPU time: 11.5686 s c =============================================================================== c | 10873 | 958 1723 607172 | 5000 3142 702 | 4.200 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 168.955 s Remaining CPU time: 11.0447 s c =============================================================================== c | 10904 | 958 1724 608022 | 5000 3173 702 | 4.200 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 169.485 s Remaining CPU time: 10.5148 s c =============================================================================== c | 10945 | 958 1725 608872 | 5000 3214 702 | 4.200 % | c | 11046 | 958 1725 608872 | 5500 3315 702 | 4.200 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 170.689 s Remaining CPU time: 9.31095 s c =============================================================================== c | 11151 | 958 1726 609722 | 5000 3420 702 | 4.200 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 171.059 s Remaining CPU time: 8.941 s c =============================================================================== c | 11152 | 958 1727 610572 | 5000 3421 702 | 4.200 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 171.475 s Remaining CPU time: 8.52507 s c =============================================================================== c | 11156 | 958 1728 611422 | 5000 3425 702 | 4.200 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 171.829 s Remaining CPU time: 8.17112 s c =============================================================================== c | 11156 | 958 1729 612272 | 5000 3425 702 | 4.200 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 172.199 s Remaining CPU time: 7.80118 s c =============================================================================== c | 11159 | 958 1730 613122 | 5000 3428 702 | 4.200 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 172.6 s Remaining CPU time: 7.40024 s c =============================================================================== c | 11162 | 958 1731 613972 | 5000 3431 702 | 4.200 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 173.139 s Remaining CPU time: 6.86132 s c =============================================================================== c | 11201 | 958 1732 614822 | 5000 3470 702 | 4.200 % | c | 11302 | 958 1732 614822 | 5500 3571 701 | 4.200 % | c | 11452 | 958 1732 614822 | 6050 3721 701 | 4.200 % | c | 11677 | 958 1732 614822 | 6655 3946 701 | 4.200 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 176.101 s Remaining CPU time: 3.89877 s c =============================================================================== c | 11964 | 958 1733 615672 | 5000 4233 700 | 4.200 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 176.379 s Remaining CPU time: 3.62081 s c =============================================================================== c | 11972 | 958 1734 616522 | 5000 4241 700 | 4.200 % | c | 12074 | 958 1734 616522 | 5500 4343 700 | 4.200 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 177.398 s Remaining CPU time: 2.60197 s c =============================================================================== c | 12139 | 958 1735 617372 | 5000 4408 700 | 4.200 % | c | 12239 | 958 1735 617372 | 5500 4508 700 | 4.200 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 178.453 s Remaining CPU time: 1.54713 s c =============================================================================== c | 12262 | 958 1736 618222 | 5000 4531 700 | 4.200 % | c | 12362 | 958 1736 618222 | 5500 4631 700 | 4.200 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 179.448 s Remaining CPU time: 0.552281 s c =============================================================================== c | 12410 | 958 1737 619072 | 5000 4679 700 | 4.200 % | c There are 42 assigned variables. 9 in cost function.