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 | 994 1004 2842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4471 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 994 1005 3692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4463 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 994 1006 4542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4460 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 994 1007 5392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4455 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 994 1008 6242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4452 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 994 1009 7092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4450 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 994 1010 7942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4447 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 994 1011 8792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4445 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 994 1012 9642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4443 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 994 1013 10492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4442 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 994 1014 11342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4440 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 994 1015 12192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4439 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 994 1016 13042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4438 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 994 1017 13892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4436 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 994 1018 14742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4434 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 0 | 994 1019 15592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4433 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 994 1020 16442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 994 1021 17292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s c =============================================================================== c | 0 | 994 1022 18142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4427 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 994 1023 18992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4426 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 994 1024 19842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4425 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 994 1025 20692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 994 1026 21542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4421 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 994 1027 22392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4420 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 994 1028 23242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 994 1029 24092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4417 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s c =============================================================================== c | 0 | 994 1030 24942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4416 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 994 1031 25792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 994 1032 26642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4413 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 994 1033 27492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4412 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 994 1034 28342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4411 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 994 1035 29192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 0.187971 s Remaining CPU time: 179.812 s c =============================================================================== c | 0 | 994 1036 30042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4408 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 994 1037 30892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 0 | 994 1038 31742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4405 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 994 1039 32592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4404 c Elapsed CPU time: 0.222966 s Remaining CPU time: 179.777 s c =============================================================================== c | 0 | 994 1040 33442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4402 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 994 1041 34292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4401 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 994 1042 35142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4398 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 994 1043 35992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4395 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 0 | 994 1044 36842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4394 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 994 1045 37692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4393 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 994 1046 38542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4392 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 0 | 994 1047 39392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4391 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 0 | 994 1048 40242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4390 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 0 | 994 1049 41092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4389 c Elapsed CPU time: 0.330949 s Remaining CPU time: 179.669 s c =============================================================================== c | 0 | 994 1050 41942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 994 1051 42792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4387 c Elapsed CPU time: 0.356945 s Remaining CPU time: 179.643 s c =============================================================================== c | 0 | 994 1052 43642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4386 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 0 | 994 1053 44492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4385 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 0 | 994 1054 45342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4384 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 0 | 994 1055 46192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4383 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 994 1056 47042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4382 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 994 1057 47892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4381 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 0 | 994 1058 48742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4379 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 994 1059 49592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4378 c Elapsed CPU time: 0.465929 s Remaining CPU time: 179.534 s c =============================================================================== c | 0 | 994 1060 50442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4377 c Elapsed CPU time: 0.481926 s Remaining CPU time: 179.518 s c =============================================================================== c | 0 | 994 1061 51292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4376 c Elapsed CPU time: 0.495924 s Remaining CPU time: 179.504 s c =============================================================================== c | 0 | 994 1062 52142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4374 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 0 | 994 1063 52992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4372 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s c =============================================================================== c | 0 | 994 1064 53842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4371 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 0 | 994 1065 54692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 0 | 994 1066 55542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 0.579911 s Remaining CPU time: 179.42 s c =============================================================================== c | 0 | 994 1067 56392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4368 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 0 | 994 1068 57242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4365 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 994 1069 58092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4362 c Elapsed CPU time: 0.633903 s Remaining CPU time: 179.366 s c =============================================================================== c | 0 | 994 1070 58942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4358 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 0 | 994 1071 59792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4357 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 994 1072 60642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4356 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 0 | 994 1073 61492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 0 | 994 1074 62342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4353 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 0 | 994 1075 63192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4350 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 0 | 994 1076 64042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4349 c Elapsed CPU time: 0.774882 s Remaining CPU time: 179.225 s c =============================================================================== c | 0 | 994 1077 64892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 0 | 994 1078 65742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 0.816875 s Remaining CPU time: 179.183 s c =============================================================================== c | 0 | 994 1079 66592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4342 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 0 | 994 1080 67442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4341 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 0 | 994 1081 68292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 0 | 994 1082 69142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 0 | 994 1083 69992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 0 | 994 1084 70842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4333 c Elapsed CPU time: 0.948855 s Remaining CPU time: 179.051 s c =============================================================================== c | 0 | 994 1085 71692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 0.971852 s Remaining CPU time: 179.028 s c =============================================================================== c | 0 | 994 1086 72542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s c =============================================================================== c | 0 | 994 1087 73392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4324 c Elapsed CPU time: 1.02484 s Remaining CPU time: 178.975 s c =============================================================================== c | 0 | 994 1088 74242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 0 | 994 1089 75092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 1.07684 s Remaining CPU time: 178.923 s c =============================================================================== c | 0 | 994 1090 75942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4320 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s c =============================================================================== c | 0 | 994 1091 76792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 1.13183 s Remaining CPU time: 178.868 s c =============================================================================== c | 1 | 994 1092 77642 | 5000 1 831 | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 1.15982 s Remaining CPU time: 178.84 s c =============================================================================== c | 2 | 994 1093 78492 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 1.18782 s Remaining CPU time: 178.812 s c =============================================================================== c | 2 | 994 1094 79342 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 2 | 994 1095 80192 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s c =============================================================================== c | 2 | 994 1096 81042 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s c =============================================================================== c | 2 | 994 1097 81892 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4309 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 2 | 994 1098 82742 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 1.3438 s Remaining CPU time: 178.656 s c =============================================================================== c | 2 | 994 1099 83592 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4307 c Elapsed CPU time: 1.37879 s Remaining CPU time: 178.621 s c =============================================================================== c | 2 | 994 1100 84442 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4305 c Elapsed CPU time: 1.41179 s Remaining CPU time: 178.588 s c =============================================================================== c | 2 | 994 1101 85292 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 1.44578 s Remaining CPU time: 178.554 s c =============================================================================== c | 2 | 994 1102 86142 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 1.48077 s Remaining CPU time: 178.519 s c =============================================================================== c | 2 | 994 1103 86992 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4300 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 2 | 994 1104 87842 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 1.55076 s Remaining CPU time: 178.449 s c =============================================================================== c | 2 | 994 1105 88692 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 2 | 994 1106 89542 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 1.62475 s Remaining CPU time: 178.375 s c =============================================================================== c | 2 | 994 1107 90392 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4296 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 2 | 994 1108 91242 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 1.70074 s Remaining CPU time: 178.299 s c =============================================================================== c | 2 | 994 1109 92092 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4294 c Elapsed CPU time: 1.73673 s Remaining CPU time: 178.263 s c =============================================================================== c | 2 | 994 1110 92942 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4292 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 2 | 994 1111 93792 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4291 c Elapsed CPU time: 1.81272 s Remaining CPU time: 178.187 s c =============================================================================== c | 2 | 994 1112 94642 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 1.85272 s Remaining CPU time: 178.147 s c =============================================================================== c | 2 | 994 1113 95492 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4289 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 2 | 994 1114 96342 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 1.93371 s Remaining CPU time: 178.066 s c =============================================================================== c | 2 | 994 1115 97192 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4287 c Elapsed CPU time: 1.9757 s Remaining CPU time: 178.024 s c =============================================================================== c | 2 | 994 1116 98042 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4286 c Elapsed CPU time: 2.01769 s Remaining CPU time: 177.982 s c =============================================================================== c | 2 | 994 1117 98892 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4285 c Elapsed CPU time: 2.05869 s Remaining CPU time: 177.941 s c =============================================================================== c | 2 | 994 1118 99742 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 2.10168 s Remaining CPU time: 177.898 s c =============================================================================== c | 2 | 994 1119 100592 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4282 c Elapsed CPU time: 2.14367 s Remaining CPU time: 177.856 s c =============================================================================== c | 2 | 994 1120 101442 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 2.18567 s Remaining CPU time: 177.814 s c =============================================================================== c | 2 | 994 1121 102292 | 5000 2 416 | 0.000 % | c =============================================================================== c New solution: 4280 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 3 | 994 1122 103142 | 5000 3 278 | 0.000 % | c =============================================================================== c New solution: 4278 c Elapsed CPU time: 2.27465 s Remaining CPU time: 177.725 s c =============================================================================== c | 3 | 994 1123 103992 | 5000 3 278 | 0.000 % | c =============================================================================== c New solution: 4277 c Elapsed CPU time: 2.32265 s Remaining CPU time: 177.677 s c =============================================================================== c | 3 | 994 1124 104842 | 5000 3 278 | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 3 | 994 1125 105692 | 5000 3 278 | 0.000 % | c =============================================================================== c New solution: 4274 c Elapsed CPU time: 2.41463 s Remaining CPU time: 177.585 s c =============================================================================== c | 4 | 994 1126 106542 | 5000 4 414 | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 2.46062 s Remaining CPU time: 177.539 s c =============================================================================== c | 4 | 994 1127 107392 | 5000 4 414 | 0.000 % | c =============================================================================== c New solution: 4272 c Elapsed CPU time: 2.51062 s Remaining CPU time: 177.489 s c =============================================================================== c | 5 | 994 1128 108242 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4271 c Elapsed CPU time: 2.55861 s Remaining CPU time: 177.441 s c =============================================================================== c | 5 | 994 1129 109092 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 2.6076 s Remaining CPU time: 177.392 s c =============================================================================== c | 5 | 994 1130 109942 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 2.6566 s Remaining CPU time: 177.343 s c =============================================================================== c | 5 | 994 1131 110792 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 2.70759 s Remaining CPU time: 177.292 s c =============================================================================== c | 5 | 994 1132 111642 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4266 c Elapsed CPU time: 2.75758 s Remaining CPU time: 177.242 s c =============================================================================== c | 5 | 994 1133 112492 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 2.80657 s Remaining CPU time: 177.193 s c =============================================================================== c | 5 | 994 1134 113342 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4264 c Elapsed CPU time: 2.85656 s Remaining CPU time: 177.143 s c =============================================================================== c | 5 | 994 1135 114192 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4263 c Elapsed CPU time: 2.90956 s Remaining CPU time: 177.09 s c =============================================================================== c | 5 | 994 1136 115042 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 2.96055 s Remaining CPU time: 177.039 s c =============================================================================== c | 5 | 994 1137 115892 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 3.01454 s Remaining CPU time: 176.985 s c =============================================================================== c | 5 | 994 1138 116742 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 3.06753 s Remaining CPU time: 176.932 s c =============================================================================== c | 5 | 994 1139 117592 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4259 c Elapsed CPU time: 3.12252 s Remaining CPU time: 176.877 s c =============================================================================== c | 5 | 994 1140 118442 | 5000 5 332 | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 3.18252 s Remaining CPU time: 176.817 s c =============================================================================== c | 6 | 994 1141 119292 | 5000 6 277 | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 3.24051 s Remaining CPU time: 176.759 s c =============================================================================== c | 7 | 994 1142 120142 | 5000 7 237 | 0.000 % | c =============================================================================== c New solution: 4256 c Elapsed CPU time: 3.2935 s Remaining CPU time: 176.707 s c =============================================================================== c | 7 | 994 1143 120992 | 5000 7 237 | 0.000 % | c =============================================================================== c New solution: 4255 c Elapsed CPU time: 3.35049 s Remaining CPU time: 176.65 s c =============================================================================== c | 7 | 994 1144 121842 | 5000 7 237 | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 3.40748 s Remaining CPU time: 176.593 s c =============================================================================== c | 7 | 994 1145 122692 | 5000 7 237 | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 3.46947 s Remaining CPU time: 176.531 s c =============================================================================== c | 7 | 994 1146 123542 | 5000 7 237 | 0.000 % | c =============================================================================== c New solution: 4252 c Elapsed CPU time: 3.52846 s Remaining CPU time: 176.472 s c =============================================================================== c | 7 | 994 1147 124392 | 5000 7 237 | 0.000 % | c =============================================================================== c New solution: 4251 c Elapsed CPU time: 3.59345 s Remaining CPU time: 176.407 s c =============================================================================== c | 8 | 994 1148 125242 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4250 c Elapsed CPU time: 3.65244 s Remaining CPU time: 176.348 s c =============================================================================== c | 8 | 994 1149 126092 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4249 c Elapsed CPU time: 3.71043 s Remaining CPU time: 176.29 s c =============================================================================== c | 8 | 994 1150 126942 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 3.77043 s Remaining CPU time: 176.23 s c =============================================================================== c | 8 | 994 1151 127792 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 3.83042 s Remaining CPU time: 176.17 s c =============================================================================== c | 8 | 994 1152 128642 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 3.89541 s Remaining CPU time: 176.105 s c =============================================================================== c | 8 | 994 1153 129492 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4245 c Elapsed CPU time: 3.9604 s Remaining CPU time: 176.04 s c =============================================================================== c | 8 | 994 1154 130342 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 4.03039 s Remaining CPU time: 175.97 s c =============================================================================== c | 8 | 994 1155 131192 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4243 c Elapsed CPU time: 4.09738 s Remaining CPU time: 175.903 s c =============================================================================== c | 8 | 994 1156 132042 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 4.15937 s Remaining CPU time: 175.841 s c =============================================================================== c | 8 | 994 1157 132892 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 4.22136 s Remaining CPU time: 175.779 s c =============================================================================== c | 8 | 994 1158 133742 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4240 c Elapsed CPU time: 4.28435 s Remaining CPU time: 175.716 s c =============================================================================== c | 8 | 994 1159 134592 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 4.35334 s Remaining CPU time: 175.647 s c =============================================================================== c | 8 | 994 1160 135442 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 4.42233 s Remaining CPU time: 175.578 s c =============================================================================== c | 8 | 994 1161 136292 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4237 c Elapsed CPU time: 4.48832 s Remaining CPU time: 175.512 s c =============================================================================== c | 8 | 994 1162 137142 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 4.55631 s Remaining CPU time: 175.444 s c =============================================================================== c | 8 | 994 1163 137992 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4235 c Elapsed CPU time: 4.6253 s Remaining CPU time: 175.375 s c =============================================================================== c | 8 | 994 1164 138842 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4234 c Elapsed CPU time: 4.69329 s Remaining CPU time: 175.307 s c =============================================================================== c | 8 | 994 1165 139692 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4233 c Elapsed CPU time: 4.76028 s Remaining CPU time: 175.24 s c =============================================================================== c | 8 | 994 1166 140542 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 4.82927 s Remaining CPU time: 175.171 s c =============================================================================== c | 8 | 994 1167 141392 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4231 c Elapsed CPU time: 4.89926 s Remaining CPU time: 175.101 s c =============================================================================== c | 8 | 994 1168 142242 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4230 c Elapsed CPU time: 4.97024 s Remaining CPU time: 175.03 s c =============================================================================== c | 8 | 994 1169 143092 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 5.03923 s Remaining CPU time: 174.961 s c =============================================================================== c | 8 | 994 1170 143942 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4228 c Elapsed CPU time: 5.11122 s Remaining CPU time: 174.889 s c =============================================================================== c | 8 | 994 1171 144792 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4227 c Elapsed CPU time: 5.18221 s Remaining CPU time: 174.818 s c =============================================================================== c | 8 | 994 1172 145642 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4226 c Elapsed CPU time: 5.2552 s Remaining CPU time: 174.745 s c =============================================================================== c | 8 | 994 1173 146492 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 5.33119 s Remaining CPU time: 174.669 s c =============================================================================== c | 8 | 994 1174 147342 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4224 c Elapsed CPU time: 5.40618 s Remaining CPU time: 174.594 s c =============================================================================== c | 8 | 994 1175 148192 | 5000 8 208 | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 5.48117 s Remaining CPU time: 174.519 s c =============================================================================== c | 9 | 994 1176 149042 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4222 c Elapsed CPU time: 5.55415 s Remaining CPU time: 174.446 s c =============================================================================== c | 9 | 994 1177 149892 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 5.62614 s Remaining CPU time: 174.374 s c =============================================================================== c | 9 | 994 1178 150742 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4220 c Elapsed CPU time: 5.69813 s Remaining CPU time: 174.302 s c =============================================================================== c | 9 | 994 1179 151592 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4219 c Elapsed CPU time: 5.77312 s Remaining CPU time: 174.227 s c =============================================================================== c | 9 | 994 1180 152442 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 5.85111 s Remaining CPU time: 174.149 s c =============================================================================== c | 9 | 994 1181 153292 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4217 c Elapsed CPU time: 5.9321 s Remaining CPU time: 174.068 s c =============================================================================== c | 9 | 994 1182 154142 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 6.00709 s Remaining CPU time: 173.993 s c =============================================================================== c | 9 | 994 1183 154992 | 5000 9 275 | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 6.08807 s Remaining CPU time: 173.912 s c =============================================================================== c | 11 | 994 1184 155842 | 5000 11 371 | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 6.17106 s Remaining CPU time: 173.829 s c =============================================================================== c | 11 | 994 1185 156692 | 5000 11 371 | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 6.25605 s Remaining CPU time: 173.744 s c =============================================================================== c | 11 | 994 1186 157542 | 5000 11 371 | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 6.34204 s Remaining CPU time: 173.658 s c =============================================================================== c | 11 | 994 1187 158392 | 5000 11 371 | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 6.42602 s Remaining CPU time: 173.574 s c =============================================================================== c | 11 | 994 1188 159242 | 5000 11 371 | 0.000 % | c =============================================================================== c New solution: 4210 c Elapsed CPU time: 6.50901 s Remaining CPU time: 173.491 s c =============================================================================== c | 11 | 994 1189 160092 | 5000 11 371 | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 6.592 s Remaining CPU time: 173.408 s c =============================================================================== c | 11 | 994 1190 160942 | 5000 11 371 | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 6.67498 s Remaining CPU time: 173.325 s c =============================================================================== c | 12 | 994 1191 161792 | 5000 12 408 | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 6.75297 s Remaining CPU time: 173.247 s c =============================================================================== c | 13 | 994 1192 162642 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 6.83996 s Remaining CPU time: 173.16 s c =============================================================================== c | 13 | 994 1193 163492 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4205 c Elapsed CPU time: 6.92095 s Remaining CPU time: 173.079 s c =============================================================================== c | 13 | 994 1194 164342 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 7.00693 s Remaining CPU time: 172.993 s c =============================================================================== c | 13 | 994 1195 165192 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 7.08992 s Remaining CPU time: 172.91 s c =============================================================================== c | 13 | 994 1196 166042 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4202 c Elapsed CPU time: 7.18091 s Remaining CPU time: 172.819 s c =============================================================================== c | 13 | 994 1197 166892 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4201 c Elapsed CPU time: 7.27089 s Remaining CPU time: 172.729 s c =============================================================================== c | 13 | 994 1198 167742 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 7.35488 s Remaining CPU time: 172.645 s c =============================================================================== c | 13 | 994 1199 168592 | 5000 13 438 | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 7.44187 s Remaining CPU time: 172.558 s c =============================================================================== c | 14 | 994 1200 169442 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 7.53785 s Remaining CPU time: 172.462 s c =============================================================================== c | 14 | 994 1201 170292 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 7.62984 s Remaining CPU time: 172.37 s c =============================================================================== c | 14 | 994 1202 171142 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 7.71983 s Remaining CPU time: 172.28 s c =============================================================================== c | 14 | 994 1203 171992 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 7.80881 s Remaining CPU time: 172.191 s c =============================================================================== c | 14 | 994 1204 172842 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 7.8968 s Remaining CPU time: 172.103 s c =============================================================================== c | 14 | 994 1205 173692 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4193 c Elapsed CPU time: 7.98479 s Remaining CPU time: 172.015 s c =============================================================================== c | 14 | 994 1206 174542 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 8.07777 s Remaining CPU time: 171.922 s c =============================================================================== c | 14 | 994 1207 175392 | 5000 14 464 | 0.000 % | c =============================================================================== c New solution: 4191 c Elapsed CPU time: 8.17276 s Remaining CPU time: 171.827 s c =============================================================================== c | 15 | 994 1208 176242 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 8.26074 s Remaining CPU time: 171.739 s c =============================================================================== c | 15 | 994 1209 177092 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4189 c Elapsed CPU time: 8.34973 s Remaining CPU time: 171.65 s c =============================================================================== c | 15 | 994 1210 177942 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 8.44172 s Remaining CPU time: 171.558 s c =============================================================================== c | 15 | 994 1211 178792 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 8.5357 s Remaining CPU time: 171.464 s c =============================================================================== c | 15 | 994 1212 179642 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 8.62969 s Remaining CPU time: 171.37 s c =============================================================================== c | 15 | 994 1213 180492 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4185 c Elapsed CPU time: 8.72867 s Remaining CPU time: 171.271 s c =============================================================================== c | 15 | 994 1214 181342 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4184 c Elapsed CPU time: 8.81666 s Remaining CPU time: 171.183 s c =============================================================================== c | 15 | 994 1215 182192 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 8.91364 s Remaining CPU time: 171.086 s c =============================================================================== c | 15 | 994 1216 183042 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 9.00963 s Remaining CPU time: 170.99 s c =============================================================================== c | 15 | 994 1217 183892 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4181 c Elapsed CPU time: 9.10661 s Remaining CPU time: 170.893 s c =============================================================================== c | 15 | 994 1218 184742 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 9.2076 s Remaining CPU time: 170.792 s c =============================================================================== c | 15 | 994 1219 185592 | 5000 15 433 | 0.000 % | c =============================================================================== c New solution: 4179 c Elapsed CPU time: 9.31358 s Remaining CPU time: 170.686 s c =============================================================================== c | 16 | 994 1220 186442 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 9.41957 s Remaining CPU time: 170.58 s c =============================================================================== c | 16 | 994 1221 187292 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4177 c Elapsed CPU time: 9.52355 s Remaining CPU time: 170.476 s c =============================================================================== c | 16 | 994 1222 188142 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 9.63153 s Remaining CPU time: 170.368 s c =============================================================================== c | 16 | 994 1223 188992 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4175 c Elapsed CPU time: 9.73852 s Remaining CPU time: 170.261 s c =============================================================================== c | 16 | 994 1224 189842 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 9.8475 s Remaining CPU time: 170.152 s c =============================================================================== c | 16 | 994 1225 190692 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4173 c Elapsed CPU time: 9.95749 s Remaining CPU time: 170.043 s c =============================================================================== c | 16 | 994 1226 191542 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4172 c Elapsed CPU time: 10.0635 s Remaining CPU time: 169.937 s c =============================================================================== c | 16 | 994 1227 192392 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 10.1605 s Remaining CPU time: 169.84 s c =============================================================================== c | 16 | 994 1228 193242 | 5000 16 456 | 0.000 % | c =============================================================================== c New solution: 4170 c Elapsed CPU time: 10.2664 s Remaining CPU time: 169.734 s c =============================================================================== c | 17 | 994 1229 194092 | 5000 17 429 | 0.000 % | c =============================================================================== c New solution: 4169 c Elapsed CPU time: 10.3774 s Remaining CPU time: 169.623 s c =============================================================================== c | 17 | 994 1230 194942 | 5000 17 429 | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 10.4854 s Remaining CPU time: 169.515 s c =============================================================================== c | 17 | 994 1231 195792 | 5000 17 429 | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 10.6054 s Remaining CPU time: 169.395 s c =============================================================================== c | 19 | 994 1232 196642 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4166 c Elapsed CPU time: 10.7064 s Remaining CPU time: 169.294 s c =============================================================================== c | 19 | 994 1233 197492 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4165 c Elapsed CPU time: 10.8054 s Remaining CPU time: 169.195 s c =============================================================================== c | 19 | 994 1234 198342 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 10.9043 s Remaining CPU time: 169.096 s c =============================================================================== c | 19 | 994 1235 199192 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 11.0133 s Remaining CPU time: 168.987 s c =============================================================================== c | 19 | 994 1236 200042 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 11.1253 s Remaining CPU time: 168.875 s c =============================================================================== c | 19 | 994 1237 200892 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 11.2343 s Remaining CPU time: 168.766 s c =============================================================================== c | 19 | 994 1238 201742 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4160 c Elapsed CPU time: 11.3513 s Remaining CPU time: 168.649 s c =============================================================================== c | 19 | 994 1239 202592 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 11.4633 s Remaining CPU time: 168.537 s c =============================================================================== c | 19 | 994 1240 203442 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 11.5722 s Remaining CPU time: 168.428 s c =============================================================================== c | 19 | 994 1241 204292 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 11.6782 s Remaining CPU time: 168.322 s c =============================================================================== c | 19 | 994 1242 205142 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4156 c Elapsed CPU time: 11.7842 s Remaining CPU time: 168.216 s c =============================================================================== c | 19 | 994 1243 205992 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4155 c Elapsed CPU time: 11.8912 s Remaining CPU time: 168.109 s c =============================================================================== c | 19 | 994 1244 206842 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 12.0072 s Remaining CPU time: 167.993 s c =============================================================================== c | 19 | 994 1245 207692 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4153 c Elapsed CPU time: 12.1272 s Remaining CPU time: 167.873 s c =============================================================================== c | 19 | 994 1246 208542 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 12.2361 s Remaining CPU time: 167.764 s c =============================================================================== c | 19 | 994 1247 209392 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4151 c Elapsed CPU time: 12.3521 s Remaining CPU time: 167.648 s c =============================================================================== c | 19 | 994 1248 210242 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 12.4731 s Remaining CPU time: 167.527 s c =============================================================================== c | 19 | 994 1249 211092 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 12.5821 s Remaining CPU time: 167.418 s c =============================================================================== c | 19 | 994 1250 211942 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 12.6951 s Remaining CPU time: 167.305 s c =============================================================================== c | 19 | 994 1251 212792 | 5000 19 384 | 0.000 % | c =============================================================================== c New solution: 4147 c Elapsed CPU time: 12.8081 s Remaining CPU time: 167.192 s c =============================================================================== c | 20 | 994 1252 213642 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 12.92 s Remaining CPU time: 167.08 s c =============================================================================== c | 20 | 994 1253 214492 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 13.039 s Remaining CPU time: 166.961 s c =============================================================================== c | 20 | 994 1254 215342 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 13.157 s Remaining CPU time: 166.843 s c =============================================================================== c | 20 | 994 1255 216192 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4143 c Elapsed CPU time: 13.276 s Remaining CPU time: 166.724 s c =============================================================================== c | 20 | 994 1256 217042 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4142 c Elapsed CPU time: 13.393 s Remaining CPU time: 166.607 s c =============================================================================== c | 20 | 994 1257 217892 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4141 c Elapsed CPU time: 13.5069 s Remaining CPU time: 166.493 s c =============================================================================== c | 20 | 994 1258 218742 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 13.6259 s Remaining CPU time: 166.374 s c =============================================================================== c | 20 | 994 1259 219592 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4139 c Elapsed CPU time: 13.7399 s Remaining CPU time: 166.26 s c =============================================================================== c | 20 | 994 1260 220442 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 13.8599 s Remaining CPU time: 166.14 s c =============================================================================== c | 20 | 994 1261 221292 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4137 c Elapsed CPU time: 13.9809 s Remaining CPU time: 166.019 s c =============================================================================== c | 20 | 994 1262 222142 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 14.0979 s Remaining CPU time: 165.902 s c =============================================================================== c | 20 | 994 1263 222992 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4135 c Elapsed CPU time: 14.2128 s Remaining CPU time: 165.787 s c =============================================================================== c | 20 | 994 1264 223842 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4134 c Elapsed CPU time: 14.3348 s Remaining CPU time: 165.665 s c =============================================================================== c | 20 | 994 1265 224692 | 5000 20 405 | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 14.4548 s Remaining CPU time: 165.545 s c =============================================================================== c | 21 | 994 1266 225542 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 14.5748 s Remaining CPU time: 165.425 s c =============================================================================== c | 21 | 994 1267 226392 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4131 c Elapsed CPU time: 14.6978 s Remaining CPU time: 165.302 s c =============================================================================== c | 21 | 994 1268 227242 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4130 c Elapsed CPU time: 14.8207 s Remaining CPU time: 165.179 s c =============================================================================== c | 21 | 994 1269 228092 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 14.9497 s Remaining CPU time: 165.05 s c =============================================================================== c | 21 | 994 1270 228942 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 15.0697 s Remaining CPU time: 164.93 s c =============================================================================== c | 21 | 994 1271 229792 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 15.1917 s Remaining CPU time: 164.808 s c =============================================================================== c | 21 | 994 1272 230642 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 15.3187 s Remaining CPU time: 164.681 s c =============================================================================== c | 21 | 994 1273 231492 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 15.4417 s Remaining CPU time: 164.558 s c =============================================================================== c | 21 | 994 1274 232342 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 15.5746 s Remaining CPU time: 164.425 s c =============================================================================== c | 21 | 994 1275 233192 | 5000 21 423 | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 15.7026 s Remaining CPU time: 164.297 s c =============================================================================== c | 22 | 994 1276 234042 | 5000 22 440 | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 15.8316 s Remaining CPU time: 164.168 s c =============================================================================== c | 22 | 994 1277 234892 | 5000 22 440 | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 15.9666 s Remaining CPU time: 164.033 s c =============================================================================== c | 22 | 994 1278 235742 | 5000 22 440 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 16.0986 s Remaining CPU time: 163.901 s c =============================================================================== c | 22 | 994 1279 236592 | 5000 22 440 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 16.2325 s Remaining CPU time: 163.767 s c =============================================================================== c | 22 | 994 1280 237442 | 5000 22 440 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 16.3685 s Remaining CPU time: 163.631 s c =============================================================================== c | 22 | 994 1281 238292 | 5000 22 440 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 16.5015 s Remaining CPU time: 163.499 s c =============================================================================== c | 22 | 994 1282 239142 | 5000 22 440 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 16.6345 s Remaining CPU time: 163.366 s c =============================================================================== c | 23 | 994 1283 239992 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 16.7754 s Remaining CPU time: 163.225 s c =============================================================================== c | 23 | 994 1284 240842 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 16.9184 s Remaining CPU time: 163.082 s c =============================================================================== c | 23 | 994 1285 241692 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 17.0514 s Remaining CPU time: 162.949 s c =============================================================================== c | 23 | 994 1286 242542 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 17.1884 s Remaining CPU time: 162.812 s c =============================================================================== c | 23 | 994 1287 243392 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 17.3284 s Remaining CPU time: 162.672 s c =============================================================================== c | 23 | 994 1288 244242 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 17.4713 s Remaining CPU time: 162.529 s c =============================================================================== c | 23 | 994 1289 245092 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 17.6033 s Remaining CPU time: 162.397 s c =============================================================================== c | 23 | 994 1290 245942 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 17.7423 s Remaining CPU time: 162.258 s c =============================================================================== c | 23 | 994 1291 246792 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 17.8823 s Remaining CPU time: 162.118 s c =============================================================================== c | 23 | 994 1292 247642 | 5000 23 455 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 18.0293 s Remaining CPU time: 161.971 s c =============================================================================== c | 24 | 994 1293 248492 | 5000 24 468 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 18.1632 s Remaining CPU time: 161.837 s c =============================================================================== c | 24 | 994 1294 249342 | 5000 24 468 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 18.2962 s Remaining CPU time: 161.704 s c =============================================================================== c | 24 | 994 1295 250192 | 5000 24 468 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 18.4312 s Remaining CPU time: 161.569 s c =============================================================================== c | 24 | 994 1296 251042 | 5000 24 468 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 18.5702 s Remaining CPU time: 161.43 s c =============================================================================== c | 24 | 994 1297 251892 | 5000 24 468 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 18.7182 s Remaining CPU time: 161.282 s c =============================================================================== c | 24 | 994 1298 252742 | 5000 24 468 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 18.8571 s Remaining CPU time: 161.143 s c =============================================================================== c | 24 | 994 1299 253592 | 5000 24 468 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 19.0061 s Remaining CPU time: 160.994 s c =============================================================================== c | 25 | 994 1300 254442 | 5000 25 450 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 19.1471 s Remaining CPU time: 160.853 s c =============================================================================== c | 25 | 994 1301 255292 | 5000 25 450 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 19.2851 s Remaining CPU time: 160.715 s c =============================================================================== c | 25 | 994 1302 256142 | 5000 25 450 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 19.432 s Remaining CPU time: 160.568 s c =============================================================================== c | 25 | 994 1303 256992 | 5000 25 450 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 19.577 s Remaining CPU time: 160.423 s c =============================================================================== c | 25 | 994 1304 257842 | 5000 25 450 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 19.728 s Remaining CPU time: 160.272 s c =============================================================================== c | 25 | 994 1305 258692 | 5000 25 450 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 19.876 s Remaining CPU time: 160.124 s c =============================================================================== c | 26 | 994 1306 259542 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 20.022 s Remaining CPU time: 159.978 s c =============================================================================== c | 26 | 994 1307 260392 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 20.1699 s Remaining CPU time: 159.83 s c =============================================================================== c | 26 | 994 1308 261242 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 20.3229 s Remaining CPU time: 159.677 s c =============================================================================== c | 26 | 994 1309 262092 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 20.4739 s Remaining CPU time: 159.526 s c =============================================================================== c | 26 | 994 1310 262942 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 20.6279 s Remaining CPU time: 159.372 s c =============================================================================== c | 26 | 994 1311 263792 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 20.7818 s Remaining CPU time: 159.218 s c =============================================================================== c | 26 | 994 1312 264642 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 20.9368 s Remaining CPU time: 159.063 s c =============================================================================== c | 26 | 994 1313 265492 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 21.0838 s Remaining CPU time: 158.916 s c =============================================================================== c | 26 | 994 1314 266342 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 21.2348 s Remaining CPU time: 158.765 s c =============================================================================== c | 26 | 994 1315 267192 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 21.3857 s Remaining CPU time: 158.614 s c =============================================================================== c | 26 | 994 1316 268042 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 21.5387 s Remaining CPU time: 158.461 s c =============================================================================== c | 26 | 994 1317 268892 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 21.6917 s Remaining CPU time: 158.308 s c =============================================================================== c | 26 | 994 1318 269742 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 21.8537 s Remaining CPU time: 158.146 s c =============================================================================== c | 26 | 994 1319 270592 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 22.0047 s Remaining CPU time: 157.995 s c =============================================================================== c | 26 | 994 1320 271442 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 22.1676 s Remaining CPU time: 157.832 s c =============================================================================== c | 26 | 994 1321 272292 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 22.3336 s Remaining CPU time: 157.666 s c =============================================================================== c | 26 | 994 1322 273142 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 22.4926 s Remaining CPU time: 157.507 s c =============================================================================== c | 26 | 994 1323 273992 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 22.6566 s Remaining CPU time: 157.343 s c =============================================================================== c | 26 | 994 1324 274842 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 22.8095 s Remaining CPU time: 157.19 s c =============================================================================== c | 26 | 994 1325 275692 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 22.9695 s Remaining CPU time: 157.03 s c =============================================================================== c | 26 | 994 1326 276542 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 23.1155 s Remaining CPU time: 156.885 s c =============================================================================== c | 26 | 994 1327 277392 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 23.2765 s Remaining CPU time: 156.724 s c =============================================================================== c | 26 | 994 1328 278242 | 5000 26 462 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 23.4274 s Remaining CPU time: 156.573 s c =============================================================================== c | 27 | 994 1329 279092 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 23.5844 s Remaining CPU time: 156.416 s c =============================================================================== c | 27 | 994 1330 279942 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 23.7464 s Remaining CPU time: 156.254 s c =============================================================================== c | 27 | 994 1331 280792 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 23.8984 s Remaining CPU time: 156.102 s c =============================================================================== c | 27 | 994 1332 281642 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 24.0543 s Remaining CPU time: 155.946 s c =============================================================================== c | 27 | 994 1333 282492 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 24.2123 s Remaining CPU time: 155.788 s c =============================================================================== c | 27 | 994 1334 283342 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 24.3793 s Remaining CPU time: 155.621 s c =============================================================================== c | 27 | 994 1335 284192 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 24.5343 s Remaining CPU time: 155.466 s c =============================================================================== c | 27 | 994 1336 285042 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 24.6962 s Remaining CPU time: 155.304 s c =============================================================================== c | 27 | 994 1337 285892 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 24.8632 s Remaining CPU time: 155.137 s c =============================================================================== c | 27 | 994 1338 286742 | 5000 27 474 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 25.0292 s Remaining CPU time: 154.971 s c =============================================================================== c | 28 | 994 1339 287592 | 5000 28 484 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 25.1942 s Remaining CPU time: 154.806 s c =============================================================================== c | 28 | 994 1340 288442 | 5000 28 484 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 25.3611 s Remaining CPU time: 154.639 s c =============================================================================== c | 28 | 994 1341 289292 | 5000 28 484 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 25.5181 s Remaining CPU time: 154.482 s c =============================================================================== c | 29 | 994 1342 290142 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 25.6821 s Remaining CPU time: 154.318 s c =============================================================================== c | 29 | 994 1343 290992 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 25.8411 s Remaining CPU time: 154.159 s c =============================================================================== c | 29 | 994 1344 291842 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 26.007 s Remaining CPU time: 153.993 s c =============================================================================== c | 29 | 994 1345 292692 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 26.174 s Remaining CPU time: 153.826 s c =============================================================================== c | 29 | 994 1346 293542 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 26.337 s Remaining CPU time: 153.663 s c =============================================================================== c | 29 | 994 1347 294392 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 26.503 s Remaining CPU time: 153.497 s c =============================================================================== c | 29 | 994 1348 295242 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 26.6689 s Remaining CPU time: 153.331 s c =============================================================================== c | 29 | 994 1349 296092 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 26.8319 s Remaining CPU time: 153.168 s c =============================================================================== c | 29 | 994 1350 296942 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 26.9989 s Remaining CPU time: 153.001 s c =============================================================================== c | 29 | 994 1351 297792 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 27.1699 s Remaining CPU time: 152.83 s c =============================================================================== c | 29 | 994 1352 298642 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 27.3298 s Remaining CPU time: 152.67 s c =============================================================================== c | 29 | 994 1353 299492 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 27.4938 s Remaining CPU time: 152.506 s c =============================================================================== c | 29 | 994 1354 300342 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 27.6568 s Remaining CPU time: 152.343 s c =============================================================================== c | 29 | 994 1355 301192 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 27.8288 s Remaining CPU time: 152.171 s c =============================================================================== c | 29 | 994 1356 302042 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 28.0017 s Remaining CPU time: 151.998 s c =============================================================================== c | 29 | 994 1357 302892 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 28.1707 s Remaining CPU time: 151.829 s c =============================================================================== c | 29 | 994 1358 303742 | 5000 29 494 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 28.3427 s Remaining CPU time: 151.657 s c =============================================================================== c | 30 | 994 1359 304592 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 28.5157 s Remaining CPU time: 151.484 s c =============================================================================== c | 30 | 994 1360 305442 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 28.6906 s Remaining CPU time: 151.309 s c =============================================================================== c | 30 | 994 1361 306292 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 28.8666 s Remaining CPU time: 151.133 s c =============================================================================== c | 30 | 994 1362 307142 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 29.0386 s Remaining CPU time: 150.961 s c =============================================================================== c | 30 | 994 1363 307992 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 29.2126 s Remaining CPU time: 150.787 s c =============================================================================== c | 30 | 994 1364 308842 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 29.3895 s Remaining CPU time: 150.61 s c =============================================================================== c | 30 | 994 1365 309692 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 29.5675 s Remaining CPU time: 150.432 s c =============================================================================== c | 30 | 994 1366 310542 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 29.7395 s Remaining CPU time: 150.261 s c =============================================================================== c | 30 | 994 1367 311392 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 29.9135 s Remaining CPU time: 150.087 s c =============================================================================== c | 30 | 994 1368 312242 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 30.0964 s Remaining CPU time: 149.904 s c =============================================================================== c | 30 | 994 1369 313092 | 5000 30 504 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 30.2814 s Remaining CPU time: 149.719 s c =============================================================================== c | 31 | 994 1370 313942 | 5000 31 512 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 30.4624 s Remaining CPU time: 149.538 s c =============================================================================== c | 31 | 994 1371 314792 | 5000 31 512 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 30.6353 s Remaining CPU time: 149.365 s c =============================================================================== c | 31 | 994 1372 315642 | 5000 31 512 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 30.8133 s Remaining CPU time: 149.187 s c =============================================================================== c | 31 | 994 1373 316492 | 5000 31 512 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 30.9983 s Remaining CPU time: 149.002 s c =============================================================================== c | 31 | 994 1374 317342 | 5000 31 512 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 31.1853 s Remaining CPU time: 148.815 s c =============================================================================== c | 32 | 994 1375 318192 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 31.3702 s Remaining CPU time: 148.63 s c =============================================================================== c | 32 | 994 1376 319042 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 31.5572 s Remaining CPU time: 148.443 s c =============================================================================== c | 32 | 994 1377 319892 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 31.7482 s Remaining CPU time: 148.252 s c =============================================================================== c | 32 | 994 1378 320742 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 31.9411 s Remaining CPU time: 148.059 s c =============================================================================== c | 32 | 994 1379 321592 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 32.1151 s Remaining CPU time: 147.885 s c =============================================================================== c | 32 | 994 1380 322442 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 32.2981 s Remaining CPU time: 147.702 s c =============================================================================== c | 32 | 994 1381 323292 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 32.4891 s Remaining CPU time: 147.511 s c =============================================================================== c | 32 | 994 1382 324142 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 32.678 s Remaining CPU time: 147.322 s c =============================================================================== c | 32 | 994 1383 324992 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 32.857 s Remaining CPU time: 147.143 s c =============================================================================== c | 32 | 994 1384 325842 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 33.044 s Remaining CPU time: 146.956 s c =============================================================================== c | 32 | 994 1385 326692 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 33.2259 s Remaining CPU time: 146.774 s c =============================================================================== c | 32 | 994 1386 327542 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 33.4229 s Remaining CPU time: 146.577 s c =============================================================================== c | 32 | 994 1387 328392 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 33.6269 s Remaining CPU time: 146.373 s c =============================================================================== c | 32 | 994 1388 329242 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 33.8239 s Remaining CPU time: 146.176 s c =============================================================================== c | 32 | 994 1389 330092 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 34.0128 s Remaining CPU time: 145.987 s c =============================================================================== c | 32 | 994 1390 330942 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 34.2018 s Remaining CPU time: 145.798 s c =============================================================================== c | 32 | 994 1391 331792 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 34.3988 s Remaining CPU time: 145.601 s c =============================================================================== c | 32 | 994 1392 332642 | 5000 32 520 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 34.5977 s Remaining CPU time: 145.402 s c =============================================================================== c | 33 | 994 1393 333492 | 5000 33 528 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 34.7987 s Remaining CPU time: 145.201 s c =============================================================================== c | 34 | 994 1394 334342 | 5000 34 535 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 34.9967 s Remaining CPU time: 145.003 s c =============================================================================== c | 35 | 994 1395 335192 | 5000 35 541 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 35.1976 s Remaining CPU time: 144.802 s c =============================================================================== c | 35 | 994 1396 336042 | 5000 35 541 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 35.3966 s Remaining CPU time: 144.603 s c =============================================================================== c | 37 | 994 1397 336892 | 5000 37 553 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 35.5936 s Remaining CPU time: 144.406 s c =============================================================================== c | 42 | 994 1398 337742 | 5000 42 578 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 35.7896 s Remaining CPU time: 144.21 s c =============================================================================== c | 42 | 994 1399 338592 | 5000 42 578 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 35.9925 s Remaining CPU time: 144.007 s c =============================================================================== c | 42 | 994 1400 339442 | 5000 42 578 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 36.1895 s Remaining CPU time: 143.811 s c =============================================================================== c | 42 | 994 1401 340292 | 5000 42 578 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 36.3935 s Remaining CPU time: 143.607 s c =============================================================================== c | 42 | 994 1402 341142 | 5000 42 578 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 36.5934 s Remaining CPU time: 143.407 s c =============================================================================== c | 42 | 994 1403 341992 | 5000 42 578 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 36.8314 s Remaining CPU time: 143.169 s c =============================================================================== c | 49 | 994 1404 342842 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 37.0254 s Remaining CPU time: 142.975 s c =============================================================================== c | 49 | 994 1405 343692 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 37.2233 s Remaining CPU time: 142.777 s c =============================================================================== c | 49 | 994 1406 344542 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 37.4313 s Remaining CPU time: 142.569 s c =============================================================================== c | 49 | 994 1407 345392 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 37.6373 s Remaining CPU time: 142.363 s c =============================================================================== c | 49 | 994 1408 346242 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 37.8342 s Remaining CPU time: 142.166 s c =============================================================================== c | 49 | 994 1409 347092 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 38.0382 s Remaining CPU time: 141.962 s c =============================================================================== c | 49 | 994 1410 347942 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 38.2372 s Remaining CPU time: 141.763 s c =============================================================================== c | 49 | 994 1411 348792 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 38.4282 s Remaining CPU time: 141.572 s c =============================================================================== c | 49 | 994 1412 349642 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 38.6351 s Remaining CPU time: 141.365 s c =============================================================================== c | 49 | 994 1413 350492 | 5000 49 605 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 38.9161 s Remaining CPU time: 141.084 s c =============================================================================== c | 74 | 994 1414 351342 | 5000 74 658 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 39.1161 s Remaining CPU time: 140.884 s c =============================================================================== c | 75 | 994 1415 352192 | 5000 75 649 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 39.322 s Remaining CPU time: 140.678 s c =============================================================================== c | 75 | 994 1416 353042 | 5000 75 649 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 39.518 s Remaining CPU time: 140.482 s c =============================================================================== c | 77 | 994 1417 353892 | 5000 77 652 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 39.72 s Remaining CPU time: 140.28 s c =============================================================================== c | 77 | 994 1418 354742 | 5000 77 652 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 39.9329 s Remaining CPU time: 140.067 s c =============================================================================== c | 78 | 994 1419 355592 | 5000 78 653 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 40.1579 s Remaining CPU time: 139.842 s c =============================================================================== c | 79 | 994 1420 356442 | 5000 79 654 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 40.3689 s Remaining CPU time: 139.631 s c =============================================================================== c | 79 | 994 1421 357292 | 5000 79 654 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 40.5828 s Remaining CPU time: 139.417 s c =============================================================================== c | 79 | 994 1422 358142 | 5000 79 654 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 40.8048 s Remaining CPU time: 139.195 s c =============================================================================== c | 79 | 994 1423 358992 | 5000 79 654 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 41.0158 s Remaining CPU time: 138.984 s c =============================================================================== c | 83 | 994 1424 359842 | 5000 83 659 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 41.2327 s Remaining CPU time: 138.767 s c =============================================================================== c | 85 | 994 1425 360692 | 5000 85 662 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 41.4487 s Remaining CPU time: 138.551 s c =============================================================================== c | 86 | 994 1426 361542 | 5000 86 663 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 41.6547 s Remaining CPU time: 138.345 s c =============================================================================== c | 86 | 994 1427 362392 | 5000 86 663 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 41.8586 s Remaining CPU time: 138.141 s c =============================================================================== c | 86 | 994 1428 363242 | 5000 86 663 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 42.0736 s Remaining CPU time: 137.926 s c =============================================================================== c | 86 | 994 1429 364092 | 5000 86 663 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 42.2776 s Remaining CPU time: 137.722 s c =============================================================================== c | 86 | 994 1430 364942 | 5000 86 663 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 42.4965 s Remaining CPU time: 137.503 s c =============================================================================== c | 86 | 994 1431 365792 | 5000 86 663 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 42.7175 s Remaining CPU time: 137.282 s c =============================================================================== c | 86 | 994 1432 366642 | 5000 86 663 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 42.9435 s Remaining CPU time: 137.057 s c =============================================================================== c | 87 | 994 1433 367492 | 5000 87 664 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 43.1754 s Remaining CPU time: 136.825 s c =============================================================================== c | 90 | 994 1434 368342 | 5000 90 667 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 43.4024 s Remaining CPU time: 136.598 s c =============================================================================== c | 90 | 994 1435 369192 | 5000 90 667 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 43.6294 s Remaining CPU time: 136.371 s c =============================================================================== c | 91 | 994 1436 370042 | 5000 91 668 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 43.8713 s Remaining CPU time: 136.129 s c =============================================================================== c | 92 | 994 1437 370892 | 5000 92 669 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 44.0873 s Remaining CPU time: 135.913 s c =============================================================================== c | 93 | 994 1438 371742 | 5000 93 670 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 44.3133 s Remaining CPU time: 135.687 s c =============================================================================== c | 96 | 994 1439 372592 | 5000 96 673 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 44.5352 s Remaining CPU time: 135.465 s c =============================================================================== c | 96 | 994 1440 373442 | 5000 96 673 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 44.7562 s Remaining CPU time: 135.244 s c =============================================================================== c | 96 | 994 1441 374292 | 5000 96 673 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 44.9692 s Remaining CPU time: 135.031 s c =============================================================================== c | 96 | 994 1442 375142 | 5000 96 673 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 45.1861 s Remaining CPU time: 134.814 s c =============================================================================== c | 96 | 994 1443 375992 | 5000 96 673 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 45.4031 s Remaining CPU time: 134.597 s c =============================================================================== c | 96 | 994 1444 376842 | 5000 96 673 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 45.6291 s Remaining CPU time: 134.371 s c =============================================================================== c | 97 | 994 1445 377692 | 5000 97 674 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 45.857 s Remaining CPU time: 134.143 s c =============================================================================== c | 97 | 994 1446 378542 | 5000 97 674 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 46.107 s Remaining CPU time: 133.893 s c =============================================================================== c | 104 | 994 1447 379392 | 5000 104 679 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 46.319 s Remaining CPU time: 133.681 s c =============================================================================== c | 106 | 994 1448 380242 | 5000 106 681 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 46.5369 s Remaining CPU time: 133.463 s c =============================================================================== c | 107 | 994 1449 381092 | 5000 107 681 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 46.7719 s Remaining CPU time: 133.228 s c =============================================================================== c | 107 | 994 1450 381942 | 5000 107 681 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 46.9959 s Remaining CPU time: 133.004 s c =============================================================================== c | 107 | 994 1451 382792 | 5000 107 681 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 47.2128 s Remaining CPU time: 132.787 s c =============================================================================== c | 108 | 994 1452 383642 | 5000 108 682 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 47.4498 s Remaining CPU time: 132.55 s c =============================================================================== c | 108 | 994 1453 384492 | 5000 108 682 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 47.6668 s Remaining CPU time: 132.333 s c =============================================================================== c | 108 | 994 1454 385342 | 5000 108 682 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 47.8917 s Remaining CPU time: 132.108 s c =============================================================================== c | 108 | 994 1455 386192 | 5000 108 682 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 48.1197 s Remaining CPU time: 131.88 s c =============================================================================== c | 108 | 994 1456 387042 | 5000 108 682 | 0.000 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 48.3477 s Remaining CPU time: 131.652 s c =============================================================================== c | 108 | 994 1457 387892 | 5000 108 682 | 0.000 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 48.5706 s Remaining CPU time: 131.429 s c =============================================================================== c | 108 | 994 1458 388742 | 5000 108 682 | 0.000 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 48.8176 s Remaining CPU time: 131.182 s c =============================================================================== c | 111 | 994 1459 389592 | 5000 111 684 | 0.000 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 49.0565 s Remaining CPU time: 130.943 s c =============================================================================== c | 111 | 994 1460 390442 | 5000 111 684 | 0.000 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 49.2965 s Remaining CPU time: 130.703 s c =============================================================================== c | 115 | 994 1461 391292 | 5000 115 686 | 0.000 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 49.5365 s Remaining CPU time: 130.464 s c =============================================================================== c | 116 | 994 1462 392142 | 5000 116 687 | 0.000 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 49.7764 s Remaining CPU time: 130.224 s c =============================================================================== c | 116 | 994 1463 392992 | 5000 116 687 | 0.000 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 50.0054 s Remaining CPU time: 129.995 s c =============================================================================== c | 117 | 994 1464 393842 | 5000 117 687 | 0.000 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 50.2574 s Remaining CPU time: 129.743 s c =============================================================================== c | 118 | 994 1465 394692 | 5000 118 688 | 0.000 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 50.5013 s Remaining CPU time: 129.499 s c =============================================================================== c | 118 | 994 1466 395542 | 5000 118 688 | 0.000 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 50.7593 s Remaining CPU time: 129.241 s c =============================================================================== c | 123 | 994 1467 396392 | 5000 123 690 | 0.000 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 51.0082 s Remaining CPU time: 128.992 s c =============================================================================== c | 131 | 994 1468 397242 | 5000 131 694 | 0.000 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 51.2412 s Remaining CPU time: 128.759 s c =============================================================================== c | 132 | 994 1469 398092 | 5000 132 694 | 0.000 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 51.4712 s Remaining CPU time: 128.529 s c =============================================================================== c | 132 | 994 1470 398942 | 5000 132 694 | 0.000 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 51.7251 s Remaining CPU time: 128.275 s c =============================================================================== c | 133 | 994 1471 399792 | 5000 133 695 | 0.000 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 51.9661 s Remaining CPU time: 128.034 s c =============================================================================== c | 133 | 994 1472 400642 | 5000 133 695 | 0.000 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 52.1931 s Remaining CPU time: 127.807 s c =============================================================================== c | 133 | 994 1473 401492 | 5000 133 695 | 0.000 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 52.453 s Remaining CPU time: 127.547 s c =============================================================================== c | 134 | 994 1474 402342 | 5000 134 695 | 0.000 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 52.689 s Remaining CPU time: 127.311 s c =============================================================================== c | 134 | 994 1475 403192 | 5000 134 695 | 0.000 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 52.934 s Remaining CPU time: 127.066 s c =============================================================================== c | 135 | 994 1476 404042 | 5000 135 696 | 0.000 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 53.1629 s Remaining CPU time: 126.837 s c =============================================================================== c | 135 | 994 1477 404892 | 5000 135 696 | 0.000 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 53.4029 s Remaining CPU time: 126.597 s c =============================================================================== c | 139 | 994 1478 405742 | 5000 139 697 | 0.000 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 53.6478 s Remaining CPU time: 126.352 s c =============================================================================== c | 139 | 994 1479 406592 | 5000 139 697 | 0.000 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 53.9048 s Remaining CPU time: 126.095 s c =============================================================================== c | 145 | 994 1480 407442 | 5000 145 699 | 0.000 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 54.1518 s Remaining CPU time: 125.848 s c =============================================================================== c | 145 | 994 1481 408292 | 5000 145 699 | 0.000 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 54.3917 s Remaining CPU time: 125.608 s c =============================================================================== c | 145 | 994 1482 409142 | 5000 145 699 | 0.000 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 54.6387 s Remaining CPU time: 125.361 s c =============================================================================== c | 146 | 994 1483 409992 | 5000 146 700 | 0.000 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 54.8807 s Remaining CPU time: 125.119 s c =============================================================================== c | 146 | 994 1484 410842 | 5000 146 700 | 0.000 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 55.1326 s Remaining CPU time: 124.867 s c =============================================================================== c | 146 | 994 1485 411692 | 5000 146 700 | 0.000 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 55.4056 s Remaining CPU time: 124.594 s c =============================================================================== c | 154 | 994 1486 412542 | 5000 154 702 | 0.000 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 55.6445 s Remaining CPU time: 124.355 s c =============================================================================== c | 155 | 994 1487 413392 | 5000 155 703 | 0.000 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 55.9085 s Remaining CPU time: 124.091 s c =============================================================================== c | 157 | 994 1488 414242 | 5000 157 703 | 0.000 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 56.1395 s Remaining CPU time: 123.861 s c =============================================================================== c | 158 | 994 1489 415092 | 5000 158 703 | 0.000 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 56.3734 s Remaining CPU time: 123.627 s c =============================================================================== c | 158 | 994 1490 415942 | 5000 158 703 | 0.000 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 56.6144 s Remaining CPU time: 123.386 s c =============================================================================== c | 158 | 994 1491 416792 | 5000 158 703 | 0.000 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 56.8664 s Remaining CPU time: 123.134 s c =============================================================================== c | 158 | 994 1492 417642 | 5000 158 703 | 0.000 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 57.1253 s Remaining CPU time: 122.875 s c =============================================================================== c | 160 | 994 1493 418492 | 5000 160 704 | 0.000 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 57.3773 s Remaining CPU time: 122.623 s c =============================================================================== c | 160 | 994 1494 419342 | 5000 160 704 | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 57.6272 s Remaining CPU time: 122.373 s c =============================================================================== c | 160 | 994 1495 420192 | 5000 160 704 | 0.000 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 57.8742 s Remaining CPU time: 122.126 s c =============================================================================== c | 160 | 994 1496 421042 | 5000 160 704 | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 58.1312 s Remaining CPU time: 121.869 s c =============================================================================== c | 160 | 994 1497 421892 | 5000 160 704 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 58.3721 s Remaining CPU time: 121.628 s c =============================================================================== c | 162 | 994 1498 422742 | 5000 162 704 | 0.000 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 58.6131 s Remaining CPU time: 121.387 s c =============================================================================== c | 162 | 994 1499 423592 | 5000 162 704 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 58.8661 s Remaining CPU time: 121.134 s c =============================================================================== c | 163 | 994 1500 424442 | 5000 163 705 | 0.000 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 59.128 s Remaining CPU time: 120.872 s c =============================================================================== c | 164 | 994 1501 425292 | 5000 164 705 | 0.000 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 59.378 s Remaining CPU time: 120.622 s c =============================================================================== c | 165 | 994 1502 426142 | 5000 165 705 | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 59.6419 s Remaining CPU time: 120.358 s c =============================================================================== c | 166 | 994 1503 426992 | 5000 166 705 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 59.8869 s Remaining CPU time: 120.113 s c =============================================================================== c | 166 | 994 1504 427842 | 5000 166 705 | 0.000 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 60.1359 s Remaining CPU time: 119.864 s c =============================================================================== c | 167 | 994 1505 428692 | 5000 167 706 | 0.000 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 60.3918 s Remaining CPU time: 119.608 s c =============================================================================== c | 168 | 994 1506 429542 | 5000 168 706 | 0.000 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 60.6578 s Remaining CPU time: 119.342 s c =============================================================================== c | 168 | 994 1507 430392 | 5000 168 706 | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 60.9547 s Remaining CPU time: 119.045 s c =============================================================================== c | 174 | 994 1508 431242 | 5000 174 707 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 61.2217 s Remaining CPU time: 118.778 s c =============================================================================== c | 176 | 994 1509 432092 | 5000 176 708 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 61.4947 s Remaining CPU time: 118.505 s c =============================================================================== c | 176 | 994 1510 432942 | 5000 176 708 | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 61.7446 s Remaining CPU time: 118.255 s c =============================================================================== c | 176 | 994 1511 433792 | 5000 176 708 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 62.0416 s Remaining CPU time: 117.958 s c =============================================================================== c | 180 | 994 1512 434642 | 5000 180 709 | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 62.3415 s Remaining CPU time: 117.658 s c =============================================================================== c | 211 | 994 1513 435492 | 5000 211 710 | 0.000 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 62.6005 s Remaining CPU time: 117.4 s c =============================================================================== c | 211 | 994 1514 436342 | 5000 211 710 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 62.8424 s Remaining CPU time: 117.158 s c =============================================================================== c | 212 | 994 1515 437192 | 5000 212 710 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 63.1034 s Remaining CPU time: 116.897 s c =============================================================================== c | 213 | 994 1516 438042 | 5000 213 710 | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 63.3694 s Remaining CPU time: 116.631 s c =============================================================================== c | 214 | 994 1517 438892 | 5000 214 711 | 0.000 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 63.6353 s Remaining CPU time: 116.365 s c =============================================================================== c | 214 | 994 1518 439742 | 5000 214 711 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 63.9023 s Remaining CPU time: 116.098 s c =============================================================================== c | 214 | 994 1519 440592 | 5000 214 711 | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 64.1842 s Remaining CPU time: 115.816 s c =============================================================================== c | 229 | 994 1520 441442 | 5000 229 713 | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 64.4362 s Remaining CPU time: 115.564 s c =============================================================================== c | 229 | 994 1521 442292 | 5000 229 713 | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 64.7682 s Remaining CPU time: 115.232 s c =============================================================================== c | 236 | 994 1522 443142 | 5000 236 713 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 65.0191 s Remaining CPU time: 114.981 s c =============================================================================== c | 236 | 994 1523 443992 | 5000 236 713 | 0.000 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 65.3641 s Remaining CPU time: 114.636 s c =============================================================================== c | 243 | 994 1524 444842 | 5000 243 714 | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 65.629 s Remaining CPU time: 114.371 s c =============================================================================== c | 243 | 994 1525 445692 | 5000 243 714 | 0.000 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 65.895 s Remaining CPU time: 114.105 s c =============================================================================== c | 243 | 994 1526 446542 | 5000 243 714 | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 66.1689 s Remaining CPU time: 113.831 s c =============================================================================== c | 243 | 994 1527 447392 | 5000 243 714 | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 66.4349 s Remaining CPU time: 113.565 s c =============================================================================== c | 244 | 994 1528 448242 | 5000 244 714 | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 66.7039 s Remaining CPU time: 113.296 s c =============================================================================== c | 244 | 994 1529 449092 | 5000 244 714 | 0.000 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 66.9808 s Remaining CPU time: 113.019 s c =============================================================================== c | 244 | 994 1530 449942 | 5000 244 714 | 0.000 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 67.2578 s Remaining CPU time: 112.742 s c =============================================================================== c | 245 | 994 1531 450792 | 5000 245 715 | 0.000 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 67.5357 s Remaining CPU time: 112.464 s c =============================================================================== c | 245 | 994 1532 451642 | 5000 245 715 | 0.000 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 67.8047 s Remaining CPU time: 112.195 s c =============================================================================== c | 245 | 994 1533 452492 | 5000 245 715 | 0.000 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 68.0786 s Remaining CPU time: 111.921 s c =============================================================================== c | 245 | 994 1534 453342 | 5000 245 715 | 0.000 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 68.3366 s Remaining CPU time: 111.663 s c =============================================================================== c | 246 | 994 1535 454192 | 5000 246 715 | 0.000 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 68.6016 s Remaining CPU time: 111.398 s c =============================================================================== c | 246 | 994 1536 455042 | 5000 246 715 | 0.000 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 68.8685 s Remaining CPU time: 111.131 s c =============================================================================== c | 248 | 994 1537 455892 | 5000 248 715 | 0.000 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 69.1475 s Remaining CPU time: 110.853 s c =============================================================================== c | 249 | 994 1538 456742 | 5000 249 715 | 0.000 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 69.4394 s Remaining CPU time: 110.561 s c =============================================================================== c | 268 | 994 1539 457592 | 5000 268 717 | 0.000 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 69.7024 s Remaining CPU time: 110.298 s c =============================================================================== c | 268 | 994 1540 458442 | 5000 268 717 | 0.000 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 69.9954 s Remaining CPU time: 110.005 s c =============================================================================== c | 268 | 994 1541 459292 | 5000 268 717 | 0.000 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 70.2853 s Remaining CPU time: 109.715 s c =============================================================================== c | 269 | 994 1542 460142 | 5000 269 717 | 0.000 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 70.5813 s Remaining CPU time: 109.419 s c =============================================================================== c | 271 | 994 1543 460992 | 5000 271 717 | 0.000 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 70.8842 s Remaining CPU time: 109.116 s c =============================================================================== c | 273 | 994 1544 461842 | 5000 273 717 | 0.000 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 71.2152 s Remaining CPU time: 108.785 s c =============================================================================== c | 277 | 994 1545 462692 | 5000 277 715 | 0.000 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 71.4851 s Remaining CPU time: 108.515 s c =============================================================================== c | 277 | 994 1546 463542 | 5000 277 715 | 0.000 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 71.7641 s Remaining CPU time: 108.236 s c =============================================================================== c | 277 | 994 1547 464392 | 5000 277 715 | 0.000 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 72.054 s Remaining CPU time: 107.946 s c =============================================================================== c | 278 | 994 1548 465242 | 5000 278 715 | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 72.333 s Remaining CPU time: 107.667 s c =============================================================================== c | 278 | 994 1549 466092 | 5000 278 715 | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 72.595 s Remaining CPU time: 107.405 s c =============================================================================== c | 278 | 994 1550 466942 | 5000 278 715 | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 72.8809 s Remaining CPU time: 107.119 s c =============================================================================== c | 281 | 994 1551 467792 | 5000 281 715 | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 73.1529 s Remaining CPU time: 106.847 s c =============================================================================== c | 281 | 994 1552 468642 | 5000 281 715 | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 73.4358 s Remaining CPU time: 106.564 s c =============================================================================== c | 281 | 994 1553 469492 | 5000 281 715 | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 73.7348 s Remaining CPU time: 106.265 s c =============================================================================== c | 282 | 994 1554 470342 | 5000 282 715 | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 74.0087 s Remaining CPU time: 105.991 s c =============================================================================== c | 282 | 994 1555 471192 | 5000 282 715 | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 74.2837 s Remaining CPU time: 105.716 s c =============================================================================== c | 282 | 994 1556 472042 | 5000 282 715 | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 74.5937 s Remaining CPU time: 105.406 s c =============================================================================== c | 288 | 994 1557 472892 | 5000 288 713 | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 74.8736 s Remaining CPU time: 105.126 s c =============================================================================== c | 288 | 994 1558 473742 | 5000 288 713 | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 75.1606 s Remaining CPU time: 104.839 s c =============================================================================== c | 288 | 994 1559 474592 | 5000 288 713 | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 75.4485 s Remaining CPU time: 104.551 s c =============================================================================== c | 288 | 994 1560 475442 | 5000 288 713 | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 75.7525 s Remaining CPU time: 104.248 s c =============================================================================== c | 290 | 994 1561 476292 | 5000 290 713 | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 76.0344 s Remaining CPU time: 103.966 s c =============================================================================== c | 290 | 994 1562 477142 | 5000 290 713 | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 76.3954 s Remaining CPU time: 103.605 s c =============================================================================== c | 305 | 994 1563 477992 | 5000 305 715 | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 76.6943 s Remaining CPU time: 103.306 s c =============================================================================== c | 306 | 994 1564 478842 | 5000 306 715 | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 77.0123 s Remaining CPU time: 102.988 s c =============================================================================== c | 320 | 994 1565 479692 | 5000 320 715 | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 77.3122 s Remaining CPU time: 102.688 s c =============================================================================== c | 330 | 994 1566 480542 | 5000 330 716 | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 77.6542 s Remaining CPU time: 102.346 s c =============================================================================== c | 349 | 994 1567 481392 | 5000 349 717 | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 77.9332 s Remaining CPU time: 102.067 s c =============================================================================== c | 349 | 994 1568 482242 | 5000 349 717 | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 78.2191 s Remaining CPU time: 101.781 s c =============================================================================== c | 350 | 994 1569 483092 | 5000 350 717 | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 78.4951 s Remaining CPU time: 101.505 s c =============================================================================== c | 350 | 994 1570 483942 | 5000 350 717 | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 78.805 s Remaining CPU time: 101.195 s c =============================================================================== c | 353 | 994 1571 484792 | 5000 353 717 | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 79.095 s Remaining CPU time: 100.905 s c =============================================================================== c | 353 | 994 1572 485642 | 5000 353 717 | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 79.3869 s Remaining CPU time: 100.613 s c =============================================================================== c | 357 | 994 1573 486492 | 5000 357 717 | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 79.6809 s Remaining CPU time: 100.319 s c =============================================================================== c | 357 | 994 1574 487342 | 5000 357 717 | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 79.9548 s Remaining CPU time: 100.045 s c =============================================================================== c | 357 | 994 1575 488192 | 5000 357 717 | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 80.2508 s Remaining CPU time: 99.7492 s c =============================================================================== c | 357 | 994 1576 489042 | 5000 357 717 | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 80.5438 s Remaining CPU time: 99.4562 s c =============================================================================== c | 358 | 994 1577 489892 | 5000 358 717 | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 80.8377 s Remaining CPU time: 99.1623 s c =============================================================================== c | 359 | 994 1578 490742 | 5000 359 717 | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 81.1197 s Remaining CPU time: 98.8803 s c =============================================================================== c | 360 | 994 1579 491592 | 5000 360 718 | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 81.4206 s Remaining CPU time: 98.5794 s c =============================================================================== c | 361 | 994 1580 492442 | 5000 361 718 | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 81.7206 s Remaining CPU time: 98.2794 s c =============================================================================== c | 361 | 994 1581 493292 | 5000 361 718 | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 82.0305 s Remaining CPU time: 97.9695 s c =============================================================================== c | 366 | 994 1582 494142 | 5000 366 718 | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 82.3175 s Remaining CPU time: 97.6825 s c =============================================================================== c | 368 | 994 1583 494992 | 5000 368 718 | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 82.6154 s Remaining CPU time: 97.3846 s c =============================================================================== c | 368 | 994 1584 495842 | 5000 368 718 | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 82.9354 s Remaining CPU time: 97.0646 s c =============================================================================== c | 373 | 994 1585 496692 | 5000 373 718 | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 83.2723 s Remaining CPU time: 96.7277 s c =============================================================================== c | 376 | 994 1586 497542 | 5000 376 716 | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 83.5783 s Remaining CPU time: 96.4217 s c =============================================================================== c | 377 | 994 1587 498392 | 5000 377 716 | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 83.8892 s Remaining CPU time: 96.1108 s c =============================================================================== c | 378 | 994 1588 499242 | 5000 378 716 | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 84.2302 s Remaining CPU time: 95.7698 s c =============================================================================== c | 393 | 994 1589 500092 | 5000 393 717 | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 84.5052 s Remaining CPU time: 95.4948 s c =============================================================================== c | 393 | 994 1590 500942 | 5000 393 717 | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 84.7861 s Remaining CPU time: 95.2139 s c =============================================================================== c | 393 | 994 1591 501792 | 5000 393 717 | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 85.0951 s Remaining CPU time: 94.9049 s c =============================================================================== c | 394 | 994 1592 502642 | 5000 394 717 | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 85.402 s Remaining CPU time: 94.598 s c =============================================================================== c | 396 | 994 1593 503492 | 5000 396 717 | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 85.703 s Remaining CPU time: 94.297 s c =============================================================================== c | 398 | 994 1594 504342 | 5000 398 717 | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 86.0019 s Remaining CPU time: 93.9981 s c =============================================================================== c | 398 | 994 1595 505192 | 5000 398 717 | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 86.3069 s Remaining CPU time: 93.6931 s c =============================================================================== c | 398 | 994 1596 506042 | 5000 398 717 | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 86.6268 s Remaining CPU time: 93.3732 s c =============================================================================== c | 401 | 994 1597 506892 | 5000 401 717 | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 86.9268 s Remaining CPU time: 93.0732 s c =============================================================================== c | 402 | 994 1598 507742 | 5000 402 717 | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 87.2807 s Remaining CPU time: 92.7193 s c =============================================================================== c | 410 | 994 1599 508592 | 5000 410 717 | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 87.6147 s Remaining CPU time: 92.3853 s c =============================================================================== c | 418 | 994 1600 509442 | 5000 418 716 | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 87.9436 s Remaining CPU time: 92.0564 s c =============================================================================== c | 423 | 994 1601 510292 | 5000 423 716 | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 88.2876 s Remaining CPU time: 91.7124 s c =============================================================================== c | 429 | 994 1602 511142 | 5000 429 716 | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 88.5905 s Remaining CPU time: 91.4095 s c =============================================================================== c | 429 | 994 1603 511992 | 5000 429 716 | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 88.9065 s Remaining CPU time: 91.0935 s c =============================================================================== c | 432 | 994 1604 512842 | 5000 432 716 | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 89.3024 s Remaining CPU time: 90.6976 s c =============================================================================== c | 464 | 994 1605 513692 | 5000 464 717 | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 89.6224 s Remaining CPU time: 90.3776 s c =============================================================================== c | 470 | 994 1606 514542 | 5000 470 717 | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 89.9223 s Remaining CPU time: 90.0777 s c =============================================================================== c | 470 | 994 1607 515392 | 5000 470 717 | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 90.2873 s Remaining CPU time: 89.7127 s c =============================================================================== c | 489 | 994 1608 516242 | 5000 489 717 | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 90.5952 s Remaining CPU time: 89.4048 s c =============================================================================== c | 489 | 994 1609 517092 | 5000 489 717 | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 90.9012 s Remaining CPU time: 89.0988 s c =============================================================================== c | 494 | 994 1610 517942 | 5000 494 718 | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 91.2641 s Remaining CPU time: 88.7359 s c =============================================================================== c | 498 | 994 1611 518792 | 5000 498 718 | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 91.5891 s Remaining CPU time: 88.4109 s c =============================================================================== c | 500 | 994 1612 519642 | 5000 500 718 | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 91.907 s Remaining CPU time: 88.093 s c =============================================================================== c | 502 | 994 1613 520492 | 5000 502 718 | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 92.237 s Remaining CPU time: 87.763 s c =============================================================================== c | 504 | 994 1614 521342 | 5000 504 718 | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 92.5859 s Remaining CPU time: 87.4141 s c =============================================================================== c | 551 | 994 1615 522192 | 5000 551 718 | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 92.8909 s Remaining CPU time: 87.1091 s c =============================================================================== c | 552 | 994 1616 523042 | 5000 552 718 | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 93.2068 s Remaining CPU time: 86.7932 s c =============================================================================== c | 552 | 994 1617 523892 | 5000 552 718 | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 93.6038 s Remaining CPU time: 86.3962 s c =============================================================================== c | 578 | 994 1618 524742 | 5000 578 719 | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 93.9197 s Remaining CPU time: 86.0803 s c =============================================================================== c | 582 | 994 1619 525592 | 5000 582 719 | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 94.2387 s Remaining CPU time: 85.7613 s c =============================================================================== c | 585 | 994 1620 526442 | 5000 585 719 | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 94.5546 s Remaining CPU time: 85.4454 s c =============================================================================== c | 586 | 994 1621 527292 | 5000 586 719 | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 94.8726 s Remaining CPU time: 85.1274 s c =============================================================================== c | 588 | 994 1622 528142 | 5000 588 719 | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 95.2555 s Remaining CPU time: 84.7445 s c =============================================================================== c | 624 | 994 1623 528992 | 5000 624 719 | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 95.5735 s Remaining CPU time: 84.4265 s c =============================================================================== c | 626 | 994 1624 529842 | 5000 626 719 | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 95.8844 s Remaining CPU time: 84.1156 s c =============================================================================== c | 627 | 994 1625 530692 | 5000 627 719 | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 96.2394 s Remaining CPU time: 83.7606 s c =============================================================================== c | 631 | 994 1626 531542 | 5000 631 719 | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 96.5623 s Remaining CPU time: 83.4377 s c =============================================================================== c | 631 | 994 1627 532392 | 5000 631 719 | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 96.8683 s Remaining CPU time: 83.1317 s c =============================================================================== c | 631 | 994 1628 533242 | 5000 631 719 | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 97.1822 s Remaining CPU time: 82.8178 s c =============================================================================== c | 631 | 994 1629 534092 | 5000 631 719 | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 97.4872 s Remaining CPU time: 82.5128 s c =============================================================================== c | 631 | 994 1630 534942 | 5000 631 719 | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 97.8261 s Remaining CPU time: 82.1739 s c =============================================================================== c | 632 | 994 1631 535792 | 5000 632 719 | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 98.1381 s Remaining CPU time: 81.8619 s c =============================================================================== c | 637 | 994 1632 536642 | 5000 637 719 | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 98.665 s Remaining CPU time: 81.335 s c =============================================================================== c | 662 | 994 1633 537492 | 5000 662 719 | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 99.0149 s Remaining CPU time: 80.9851 s c =============================================================================== c | 672 | 994 1634 538342 | 5000 672 719 | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 99.4149 s Remaining CPU time: 80.5851 s c =============================================================================== c | 677 | 994 1635 539192 | 5000 677 719 | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 99.7498 s Remaining CPU time: 80.2502 s c =============================================================================== c | 678 | 994 1636 540042 | 5000 678 719 | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 100.053 s Remaining CPU time: 79.9472 s c =============================================================================== c | 678 | 994 1637 540892 | 5000 678 719 | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 100.375 s Remaining CPU time: 79.6253 s c =============================================================================== c | 680 | 994 1638 541742 | 5000 680 719 | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 100.703 s Remaining CPU time: 79.2973 s c =============================================================================== c | 683 | 994 1639 542592 | 5000 683 719 | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 101.015 s Remaining CPU time: 78.9854 s c =============================================================================== c | 683 | 994 1640 543442 | 5000 683 719 | 0.000 % | c | 783 | 994 1640 543442 | 5500 783 720 | 0.600 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 102.232 s Remaining CPU time: 77.7675 s c =============================================================================== c | 802 | 994 1641 544292 | 5000 802 720 | 0.600 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 102.572 s Remaining CPU time: 77.4276 s c =============================================================================== c | 804 | 994 1642 545142 | 5000 804 720 | 0.600 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 102.941 s Remaining CPU time: 77.0587 s c =============================================================================== c | 812 | 994 1643 545992 | 5000 812 720 | 0.600 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 103.261 s Remaining CPU time: 76.7387 s c =============================================================================== c | 818 | 994 1644 546842 | 5000 818 720 | 0.600 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 103.816 s Remaining CPU time: 76.1838 s c =============================================================================== c | 861 | 994 1645 547692 | 5000 861 720 | 0.600 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 104.225 s Remaining CPU time: 75.7748 s c =============================================================================== c | 884 | 994 1646 548542 | 5000 884 720 | 0.600 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 104.843 s Remaining CPU time: 75.1569 s c =============================================================================== c | 936 | 994 1647 549392 | 5000 936 720 | 0.600 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 105.533 s Remaining CPU time: 74.467 s c =============================================================================== c | 1005 | 994 1648 550242 | 5000 1005 720 | 0.600 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 106.065 s Remaining CPU time: 73.9351 s c =============================================================================== c | 1051 | 994 1649 551092 | 5000 1051 720 | 0.600 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 106.502 s Remaining CPU time: 73.4982 s c =============================================================================== c | 1065 | 994 1650 551942 | 5000 1065 720 | 0.600 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 106.885 s Remaining CPU time: 73.1152 s c =============================================================================== c | 1071 | 994 1651 552792 | 5000 1071 720 | 0.600 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 107.228 s Remaining CPU time: 72.7723 s c =============================================================================== c | 1074 | 994 1652 553642 | 5000 1074 720 | 0.600 % | c | 1174 | 994 1652 553642 | 5500 1174 720 | 0.600 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 108.732 s Remaining CPU time: 71.2675 s c =============================================================================== c | 1238 | 994 1653 554492 | 5000 1238 719 | 0.600 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 109.114 s Remaining CPU time: 70.8856 s c =============================================================================== c | 1260 | 994 1654 555342 | 5000 1260 719 | 0.600 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 109.731 s Remaining CPU time: 70.2687 s c =============================================================================== c | 1319 | 994 1655 556192 | 5000 1319 719 | 0.600 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 110.216 s Remaining CPU time: 69.7838 s c =============================================================================== c | 1346 | 994 1656 557042 | 5000 1346 719 | 0.600 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 110.667 s Remaining CPU time: 69.3328 s c =============================================================================== c | 1362 | 994 1657 557892 | 5000 1362 719 | 0.600 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 110.993 s Remaining CPU time: 69.0069 s c =============================================================================== c | 1362 | 994 1658 558742 | 5000 1362 719 | 0.600 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 111.466 s Remaining CPU time: 68.5339 s c =============================================================================== c | 1388 | 994 1659 559592 | 5000 1388 719 | 0.600 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 111.849 s Remaining CPU time: 68.151 s c =============================================================================== c | 1395 | 994 1660 560442 | 5000 1395 719 | 0.600 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 112.287 s Remaining CPU time: 67.7131 s c =============================================================================== c | 1403 | 994 1661 561292 | 5000 1403 719 | 0.600 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 112.642 s Remaining CPU time: 67.3581 s c =============================================================================== c | 1407 | 994 1662 562142 | 5000 1407 719 | 0.600 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 113.047 s Remaining CPU time: 66.9532 s c =============================================================================== c | 1427 | 994 1663 562992 | 5000 1427 719 | 0.600 % | c | 1527 | 994 1663 562992 | 5500 1527 719 | 0.600 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 114.267 s Remaining CPU time: 65.7334 s c =============================================================================== c | 1547 | 994 1664 563842 | 5000 1547 719 | 0.600 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 114.938 s Remaining CPU time: 65.0625 s c =============================================================================== c | 1587 | 994 1665 564692 | 5000 1587 719 | 0.600 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 115.687 s Remaining CPU time: 64.3126 s c =============================================================================== c | 1675 | 994 1666 565542 | 5000 1675 719 | 0.600 % | c | 1775 | 994 1666 565542 | 5500 1775 718 | 0.600 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 116.735 s Remaining CPU time: 63.2647 s c =============================================================================== c | 1803 | 994 1667 566392 | 5000 1803 718 | 0.600 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 117.101 s Remaining CPU time: 62.8988 s c =============================================================================== c | 1813 | 994 1668 567242 | 5000 1813 718 | 0.600 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 117.561 s Remaining CPU time: 62.4389 s c =============================================================================== c | 1844 | 994 1669 568092 | 5000 1844 718 | 0.600 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 117.983 s Remaining CPU time: 62.0169 s c =============================================================================== c | 1854 | 994 1670 568942 | 5000 1854 718 | 0.600 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 118.315 s Remaining CPU time: 61.685 s c =============================================================================== c | 1854 | 994 1671 569792 | 5000 1854 718 | 0.600 % | c | 1954 | 994 1671 569792 | 5500 1954 718 | 0.600 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 119.564 s Remaining CPU time: 60.4362 s c =============================================================================== c | 2006 | 994 1672 570642 | 5000 2006 718 | 0.600 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 119.982 s Remaining CPU time: 60.0182 s c =============================================================================== c | 2023 | 994 1673 571492 | 5000 2023 718 | 0.600 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 120.902 s Remaining CPU time: 59.0984 s c =============================================================================== c | 2116 | 994 1674 572342 | 5000 2116 717 | 0.600 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 121.251 s Remaining CPU time: 58.7494 s c =============================================================================== c | 2123 | 994 1675 573192 | 5000 2123 717 | 0.600 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 121.586 s Remaining CPU time: 58.4145 s c =============================================================================== c | 2126 | 994 1676 574042 | 5000 2126 717 | 0.600 % | c | 2226 | 994 1676 574042 | 5500 2226 717 | 0.600 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 122.827 s Remaining CPU time: 57.1727 s c =============================================================================== c | 2248 | 994 1677 574892 | 5000 2248 716 | 0.600 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 123.468 s Remaining CPU time: 56.5318 s c =============================================================================== c | 2279 | 994 1678 575742 | 5000 2279 716 | 0.600 % | c | 2379 | 994 1678 575742 | 5500 2379 716 | 0.600 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 124.925 s Remaining CPU time: 55.075 s c =============================================================================== c | 2384 | 994 1679 576592 | 5000 2384 716 | 0.600 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 125.424 s Remaining CPU time: 54.5761 s c =============================================================================== c | 2398 | 994 1680 577442 | 5000 2398 716 | 0.600 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 125.817 s Remaining CPU time: 54.1831 s c =============================================================================== c | 2405 | 994 1681 578292 | 5000 2405 716 | 0.600 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 126.179 s Remaining CPU time: 53.8212 s c =============================================================================== c | 2409 | 994 1682 579142 | 5000 2409 716 | 0.600 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 126.528 s Remaining CPU time: 53.4722 s c =============================================================================== c | 2412 | 994 1683 579992 | 5000 2412 716 | 0.600 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 126.913 s Remaining CPU time: 53.0873 s c =============================================================================== c | 2418 | 994 1684 580842 | 5000 2418 716 | 0.600 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 127.51 s Remaining CPU time: 52.4904 s c =============================================================================== c | 2447 | 994 1685 581692 | 5000 2447 716 | 0.600 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 127.871 s Remaining CPU time: 52.1294 s c =============================================================================== c | 2448 | 994 1686 582542 | 5000 2448 716 | 0.600 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 128.357 s Remaining CPU time: 51.6425 s c =============================================================================== c | 2464 | 994 1687 583392 | 5000 2464 716 | 0.600 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 128.721 s Remaining CPU time: 51.2786 s c =============================================================================== c | 2465 | 994 1688 584242 | 5000 2465 716 | 0.600 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 129.326 s Remaining CPU time: 50.6737 s c =============================================================================== c | 2510 | 994 1689 585092 | 5000 2510 716 | 0.600 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 130.071 s Remaining CPU time: 49.9288 s c =============================================================================== c | 2565 | 994 1690 585942 | 5000 2565 716 | 0.600 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 130.482 s Remaining CPU time: 49.5178 s c =============================================================================== c | 2570 | 994 1691 586792 | 5000 2570 716 | 0.600 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 131.13 s Remaining CPU time: 48.8699 s c =============================================================================== c | 2615 | 994 1692 587642 | 5000 2615 716 | 0.600 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 131.722 s Remaining CPU time: 48.278 s c =============================================================================== c | 2648 | 994 1693 588492 | 5000 2648 716 | 0.600 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 132.281 s Remaining CPU time: 47.7191 s c =============================================================================== c | 2699 | 994 1694 589342 | 5000 2699 715 | 0.600 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 132.743 s Remaining CPU time: 47.2572 s c =============================================================================== c | 2732 | 994 1695 590192 | 5000 2732 715 | 0.600 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 133.274 s Remaining CPU time: 46.7263 s c =============================================================================== c | 2759 | 994 1696 591042 | 5000 2759 715 | 0.600 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 133.763 s Remaining CPU time: 46.2373 s c =============================================================================== c | 2773 | 994 1697 591892 | 5000 2773 715 | 0.600 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 134.124 s Remaining CPU time: 45.8764 s c =============================================================================== c | 2775 | 994 1698 592742 | 5000 2775 715 | 0.600 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 134.635 s Remaining CPU time: 45.3655 s c =============================================================================== c | 2802 | 994 1699 593592 | 5000 2802 715 | 0.600 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 135.037 s Remaining CPU time: 44.9625 s c =============================================================================== c | 2816 | 994 1700 594442 | 5000 2816 715 | 0.600 % | c | 2916 | 994 1700 594442 | 5500 2916 715 | 0.600 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 136.753 s Remaining CPU time: 43.2468 s c =============================================================================== c | 3026 | 994 1701 595292 | 5000 3026 715 | 0.600 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 137.118 s Remaining CPU time: 42.8818 s c =============================================================================== c | 3029 | 994 1702 596142 | 5000 3029 715 | 0.600 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 137.564 s Remaining CPU time: 42.4359 s c =============================================================================== c | 3037 | 994 1703 596992 | 5000 3037 715 | 0.600 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 137.981 s Remaining CPU time: 42.019 s c =============================================================================== c | 3050 | 994 1704 597842 | 5000 3050 715 | 0.600 % | c | 3151 | 994 1704 597842 | 5500 3151 714 | 0.600 % | c | 3301 | 994 1704 597842 | 6050 3301 714 | 0.600 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 140.789 s Remaining CPU time: 39.2114 s c =============================================================================== c | 3356 | 994 1705 598692 | 5000 3356 714 | 0.600 % | c | 3457 | 994 1705 598692 | 5500 3457 714 | 0.600 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 142.652 s Remaining CPU time: 37.3477 s c =============================================================================== c | 3591 | 994 1706 599542 | 5000 3591 714 | 0.600 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 143.517 s Remaining CPU time: 36.4828 s c =============================================================================== c | 3645 | 994 1707 600392 | 5000 3645 714 | 0.600 % | c | 3746 | 994 1707 600392 | 5500 3746 714 | 0.600 % | c | 3896 | 994 1707 600392 | 6050 3896 714 | 0.600 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 146.153 s Remaining CPU time: 33.8472 s c =============================================================================== c | 3998 | 994 1708 601242 | 5000 3998 713 | 0.600 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 146.737 s Remaining CPU time: 33.2633 s c =============================================================================== c | 4023 | 994 1709 602092 | 5000 4023 713 | 0.600 % | c | 4123 | 994 1709 602092 | 5500 4123 713 | 0.600 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 148.932 s Remaining CPU time: 31.0676 s c =============================================================================== c | 4265 | 994 1710 602942 | 5000 4265 713 | 0.600 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 149.717 s Remaining CPU time: 30.2828 s c =============================================================================== c | 4337 | 994 1711 603792 | 5000 4337 713 | 0.600 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 150.313 s Remaining CPU time: 29.6869 s c =============================================================================== c | 4373 | 994 1712 604642 | 5000 4373 713 | 0.600 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 150.933 s Remaining CPU time: 29.0669 s c =============================================================================== c | 4412 | 994 1713 605492 | 5000 4412 713 | 0.600 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 151.345 s Remaining CPU time: 28.655 s c =============================================================================== c | 4423 | 994 1714 606342 | 5000 4423 713 | 0.600 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 151.821 s Remaining CPU time: 28.1791 s c =============================================================================== c | 4441 | 994 1715 607192 | 5000 4441 713 | 0.600 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 152.467 s Remaining CPU time: 27.5332 s c =============================================================================== c | 4492 | 994 1716 608042 | 5000 4492 713 | 0.600 % | c | 4593 | 994 1716 608042 | 5500 4593 713 | 0.600 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 154.741 s Remaining CPU time: 25.2585 s c =============================================================================== c | 4708 | 994 1717 608892 | 5000 4708 713 | 0.600 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 155.284 s Remaining CPU time: 24.7156 s c =============================================================================== c | 4755 | 994 1718 609742 | 5000 4755 712 | 0.600 % | c | 4856 | 994 1718 609742 | 5500 4856 712 | 0.600 % | c | 5008 | 994 1718 609742 | 6050 5008 712 | 0.600 % | c | 5234 | 994 1718 609742 | 6655 5234 712 | 0.600 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 159.505 s Remaining CPU time: 20.4952 s c =============================================================================== c | 5289 | 994 1719 610592 | 5000 5289 712 | 0.600 % | c | 5389 | 994 1719 610592 | 5500 2745 704 | 0.600 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 160.653 s Remaining CPU time: 19.3474 s c =============================================================================== c | 5419 | 994 1720 611442 | 5000 2775 704 | 0.600 % | c | 5519 | 994 1720 611442 | 5500 2875 704 | 0.600 % | c | 5669 | 994 1720 611442 | 6050 3025 704 | 0.600 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 163.466 s Remaining CPU time: 16.5339 s c =============================================================================== c | 5840 | 994 1721 612292 | 5000 3196 704 | 0.600 % | c | 5940 | 994 1721 612292 | 5500 3296 704 | 0.600 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 165.258 s Remaining CPU time: 14.7421 s c =============================================================================== c | 6008 | 994 1722 613142 | 5000 3364 704 | 0.600 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 165.81 s Remaining CPU time: 14.1902 s c =============================================================================== c | 6035 | 994 1723 613992 | 5000 3391 704 | 0.600 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 166.37 s Remaining CPU time: 13.6303 s c =============================================================================== c | 6049 | 994 1724 614842 | 5000 3405 704 | 0.600 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 167.174 s Remaining CPU time: 12.8264 s c =============================================================================== c | 6119 | 994 1725 615692 | 5000 3475 704 | 0.600 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 167.686 s Remaining CPU time: 12.3145 s c =============================================================================== c | 6147 | 994 1726 616542 | 5000 3503 704 | 0.600 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 168.181 s Remaining CPU time: 11.8186 s c =============================================================================== c | 6163 | 994 1727 617392 | 5000 3519 704 | 0.600 % | c | 6263 | 994 1727 617392 | 5500 3619 704 | 0.600 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 170.241 s Remaining CPU time: 9.75888 s c =============================================================================== c | 6346 | 994 1728 618242 | 5000 3702 704 | 0.600 % | c | 6446 | 994 1728 618242 | 5500 3802 704 | 0.600 % | c | 6599 | 994 1728 618242 | 6050 3955 704 | 0.600 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 173.283 s Remaining CPU time: 6.71734 s c =============================================================================== c | 6691 | 994 1729 619092 | 5000 4047 704 | 0.600 % | c | 6792 | 994 1729 619092 | 5500 4148 704 | 0.600 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 175.677 s Remaining CPU time: 4.32271 s c =============================================================================== c | 6866 | 994 1730 619942 | 5000 4222 704 | 0.600 % | c | 6967 | 994 1730 619942 | 5500 4323 704 | 0.600 % | c | 7117 | 994 1730 619942 | 6050 4473 704 | 0.600 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 178.495 s Remaining CPU time: 1.50514 s c =============================================================================== c | 7163 | 994 1731 620792 | 5000 4519 704 | 0.600 % | c | 7263 | 994 1731 620792 | 5500 4619 704 | 0.600 % | c There are 6 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 585 2891 3529 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 592 2895 3538 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 599 2901 3546 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 604 2906 3557 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 611 2912 3569 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 617 2917 3576 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 623 2922 3589 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 630 2925 3606 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 640 2934 3617 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 651 2944 3631 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 658 2950 3639 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 666 2955 3653 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 673 2962 3668 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 680 2968 3676 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 692 2977 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 705 2985 3722 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 716 2995 3744 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 730 3006 3770 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 741 3016 3794 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 753 3027 3815 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 761 3034 3826 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 769 3041 3835 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 779 3046 3860 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 788 3052 3871 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 796 3059 3880 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 805 3065 3903 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 811 3070 3910 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 817 3075 3919 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 825 3082 3928 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 833 3089 3943 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 842 3097 3961 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 850 3104 3970 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 860 3111 3988 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 868 3117 4011 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 875 3123 4025 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 890 3137 4049 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 897 3141 4062 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 903 3146 4077 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 911 3151 4087 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 921 3160 4100 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 929 3167 4115 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 936 3173 4127 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 946 3180 4143 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 958 3187 4170 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 968 3196 4181 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 980 3203 4202 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 987 3208 4214 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 998 3214 4238 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1008 3221 4252 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1017 3229 4264 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1038 3246 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1043 3251 4311 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1051 3256 4325 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1059 3263 4334 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1066 3269 4346 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1075 3273 4372 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1084 3281 4382 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1095 3287 4412 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1104 3295 4422 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1114 3302 4440 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1121 3306 4459 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1128 3313 4470 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1152 3332 4509 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1165 3341 4547 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1173 3346 4559 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1179 3351 4566 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1185 3356 4577 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1191 3361 4584 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1200 3367 4599 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1209 3373 4624 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1216 3379 4634 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1222 3384 4643 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1228 3389 4656 | 5000 0 nan | 0.000 % | c ===============================================================================