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 | 996 1002 2850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4512 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 996 1003 3700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4503 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 996 1004 4550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4502 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 996 1005 5400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4501 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 996 1006 6250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4494 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 996 1007 7100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4492 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 996 1008 7950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4490 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 996 1009 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4488 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 996 1010 9650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4486 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 996 1011 10500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4484 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 996 1012 11350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4482 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 996 1013 12200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4481 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 996 1014 13050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4479 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s c =============================================================================== c | 0 | 996 1015 13900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4478 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 996 1016 14750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4477 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 996 1017 15600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4475 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 996 1018 16450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4474 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 996 1019 17300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4473 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 996 1020 18150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4472 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 996 1021 19000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4470 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 996 1022 19850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4469 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 996 1023 20700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4468 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 996 1024 21550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4467 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 996 1025 22400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4464 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 996 1026 23250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4463 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 996 1027 24100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4462 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 996 1028 24950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4460 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 996 1029 25800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4459 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 996 1030 26650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4458 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 996 1031 27500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4457 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 996 1032 28350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4454 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 996 1033 29200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4452 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 996 1034 30050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4451 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 996 1035 30900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4448 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 996 1036 31750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4445 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 0 | 996 1037 32600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4441 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 0 | 996 1038 33450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4440 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 996 1039 34300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4436 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s c =============================================================================== c | 0 | 996 1040 35150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4432 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 996 1041 36000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4431 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s c =============================================================================== c | 0 | 996 1042 36850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4430 c Elapsed CPU time: 0.264959 s Remaining CPU time: 179.735 s c =============================================================================== c | 0 | 996 1043 37700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4429 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 996 1044 38550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4426 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 996 1045 39400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4424 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 996 1046 40250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4423 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 996 1047 41100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4422 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 0 | 996 1048 41950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4420 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 0 | 996 1049 42800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4419 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 996 1050 43650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4418 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 996 1051 44500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4417 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 996 1052 45350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4416 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 996 1053 46200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4415 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 0 | 996 1054 47050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4413 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 0 | 996 1055 47900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4412 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 996 1056 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4410 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 0 | 996 1057 49600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4409 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 0 | 996 1058 50450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4407 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s c =============================================================================== c | 0 | 996 1059 51300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4405 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 0 | 996 1060 52150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4400 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 0 | 996 1061 53000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4399 c Elapsed CPU time: 0.498924 s Remaining CPU time: 179.501 s c =============================================================================== c | 0 | 996 1062 53850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4396 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 0 | 996 1063 54700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4392 c Elapsed CPU time: 0.526919 s Remaining CPU time: 179.473 s c =============================================================================== c | 0 | 996 1064 55550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4391 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 0 | 996 1065 56400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4389 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 0 | 996 1066 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4388 c Elapsed CPU time: 0.577912 s Remaining CPU time: 179.422 s c =============================================================================== c | 0 | 996 1067 58100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4386 c Elapsed CPU time: 0.595909 s Remaining CPU time: 179.404 s c =============================================================================== c | 0 | 996 1068 58950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4384 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 0 | 996 1069 59800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4382 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 0 | 996 1070 60650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4381 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s c =============================================================================== c | 0 | 996 1071 61500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4380 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 0 | 996 1072 62350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4379 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 0 | 996 1073 63200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4378 c Elapsed CPU time: 0.710891 s Remaining CPU time: 179.289 s c =============================================================================== c | 0 | 996 1074 64050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4377 c Elapsed CPU time: 0.732888 s Remaining CPU time: 179.267 s c =============================================================================== c | 0 | 996 1075 64900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4376 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 0 | 996 1076 65750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4375 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 996 1077 66600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4373 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 0 | 996 1078 67450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4371 c Elapsed CPU time: 0.819875 s Remaining CPU time: 179.18 s c =============================================================================== c | 0 | 996 1079 68300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4370 c Elapsed CPU time: 0.844871 s Remaining CPU time: 179.155 s c =============================================================================== c | 0 | 996 1080 69150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4369 c Elapsed CPU time: 0.869867 s Remaining CPU time: 179.13 s c =============================================================================== c | 0 | 996 1081 70000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4368 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 0 | 996 1082 70850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4367 c Elapsed CPU time: 0.924859 s Remaining CPU time: 179.075 s c =============================================================================== c | 0 | 996 1083 71700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4366 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 0 | 996 1084 72550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4364 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 0 | 996 1085 73400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4363 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 0 | 996 1086 74250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4362 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 0 | 996 1087 75100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4359 c Elapsed CPU time: 1.06584 s Remaining CPU time: 178.934 s c =============================================================================== c | 0 | 996 1088 75950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4356 c Elapsed CPU time: 1.09583 s Remaining CPU time: 178.904 s c =============================================================================== c | 0 | 996 1089 76800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4354 c Elapsed CPU time: 1.12583 s Remaining CPU time: 178.874 s c =============================================================================== c | 0 | 996 1090 77650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4351 c Elapsed CPU time: 1.15782 s Remaining CPU time: 178.842 s c =============================================================================== c | 0 | 996 1091 78500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4348 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 0 | 996 1092 79350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4347 c Elapsed CPU time: 1.22481 s Remaining CPU time: 178.775 s c =============================================================================== c | 0 | 996 1093 80200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4346 c Elapsed CPU time: 1.25981 s Remaining CPU time: 178.74 s c =============================================================================== c | 0 | 996 1094 81050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4345 c Elapsed CPU time: 1.2978 s Remaining CPU time: 178.702 s c =============================================================================== c | 0 | 996 1095 81900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4343 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 0 | 996 1096 82750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4340 c Elapsed CPU time: 1.37279 s Remaining CPU time: 178.627 s c =============================================================================== c | 0 | 996 1097 83600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4339 c Elapsed CPU time: 1.41078 s Remaining CPU time: 178.589 s c =============================================================================== c | 0 | 996 1098 84450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4338 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 0 | 996 1099 85300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4337 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 0 | 996 1100 86150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4336 c Elapsed CPU time: 1.52477 s Remaining CPU time: 178.475 s c =============================================================================== c | 0 | 996 1101 87000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4335 c Elapsed CPU time: 1.56276 s Remaining CPU time: 178.437 s c =============================================================================== c | 0 | 996 1102 87850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4334 c Elapsed CPU time: 1.60076 s Remaining CPU time: 178.399 s c =============================================================================== c | 0 | 996 1103 88700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4332 c Elapsed CPU time: 1.64075 s Remaining CPU time: 178.359 s c =============================================================================== c | 0 | 996 1104 89550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4330 c Elapsed CPU time: 1.67874 s Remaining CPU time: 178.321 s c =============================================================================== c | 0 | 996 1105 90400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4329 c Elapsed CPU time: 1.71874 s Remaining CPU time: 178.281 s c =============================================================================== c | 0 | 996 1106 91250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4326 c Elapsed CPU time: 1.75873 s Remaining CPU time: 178.241 s c =============================================================================== c | 0 | 996 1107 92100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4325 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 0 | 996 1108 92950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4322 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 0 | 996 1109 93800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4321 c Elapsed CPU time: 1.87671 s Remaining CPU time: 178.123 s c =============================================================================== c | 0 | 996 1110 94650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4319 c Elapsed CPU time: 1.91871 s Remaining CPU time: 178.081 s c =============================================================================== c | 0 | 996 1111 95500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4318 c Elapsed CPU time: 1.9607 s Remaining CPU time: 178.039 s c =============================================================================== c | 0 | 996 1112 96350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4317 c Elapsed CPU time: 2.0027 s Remaining CPU time: 177.997 s c =============================================================================== c | 0 | 996 1113 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4315 c Elapsed CPU time: 2.04369 s Remaining CPU time: 177.956 s c =============================================================================== c | 0 | 996 1114 98050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4314 c Elapsed CPU time: 2.08668 s Remaining CPU time: 177.913 s c =============================================================================== c | 0 | 996 1115 98900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4313 c Elapsed CPU time: 2.12968 s Remaining CPU time: 177.87 s c =============================================================================== c | 0 | 996 1116 99750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4311 c Elapsed CPU time: 2.17267 s Remaining CPU time: 177.827 s c =============================================================================== c | 0 | 996 1117 100600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4310 c Elapsed CPU time: 2.21666 s Remaining CPU time: 177.783 s c =============================================================================== c | 0 | 996 1118 101450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4308 c Elapsed CPU time: 2.26166 s Remaining CPU time: 177.738 s c =============================================================================== c | 0 | 996 1119 102300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4306 c Elapsed CPU time: 2.30865 s Remaining CPU time: 177.691 s c =============================================================================== c | 0 | 996 1120 103150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4304 c Elapsed CPU time: 2.35464 s Remaining CPU time: 177.645 s c =============================================================================== c | 0 | 996 1121 104000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4303 c Elapsed CPU time: 2.39663 s Remaining CPU time: 177.603 s c =============================================================================== c | 0 | 996 1122 104850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4302 c Elapsed CPU time: 2.44263 s Remaining CPU time: 177.557 s c =============================================================================== c | 0 | 996 1123 105700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4299 c Elapsed CPU time: 2.48662 s Remaining CPU time: 177.513 s c =============================================================================== c | 0 | 996 1124 106550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4298 c Elapsed CPU time: 2.53161 s Remaining CPU time: 177.468 s c =============================================================================== c | 0 | 996 1125 107400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4297 c Elapsed CPU time: 2.57561 s Remaining CPU time: 177.424 s c =============================================================================== c | 0 | 996 1126 108250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4295 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s c =============================================================================== c | 0 | 996 1127 109100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4293 c Elapsed CPU time: 2.66659 s Remaining CPU time: 177.333 s c =============================================================================== c | 0 | 996 1128 109950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4290 c Elapsed CPU time: 2.70959 s Remaining CPU time: 177.29 s c =============================================================================== c | 0 | 996 1129 110800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4288 c Elapsed CPU time: 2.75558 s Remaining CPU time: 177.244 s c =============================================================================== c | 0 | 996 1130 111650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4284 c Elapsed CPU time: 2.80257 s Remaining CPU time: 177.197 s c =============================================================================== c | 0 | 996 1131 112500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4281 c Elapsed CPU time: 2.85057 s Remaining CPU time: 177.149 s c =============================================================================== c | 0 | 996 1132 113350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4276 c Elapsed CPU time: 2.89756 s Remaining CPU time: 177.102 s c =============================================================================== c | 0 | 996 1133 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4275 c Elapsed CPU time: 2.94755 s Remaining CPU time: 177.052 s c =============================================================================== c | 0 | 996 1134 115050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4273 c Elapsed CPU time: 2.99854 s Remaining CPU time: 177.001 s c =============================================================================== c | 0 | 996 1135 115900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4270 c Elapsed CPU time: 3.04754 s Remaining CPU time: 176.952 s c =============================================================================== c | 0 | 996 1136 116750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4269 c Elapsed CPU time: 3.09653 s Remaining CPU time: 176.903 s c =============================================================================== c | 0 | 996 1137 117600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4268 c Elapsed CPU time: 3.14852 s Remaining CPU time: 176.851 s c =============================================================================== c | 0 | 996 1138 118450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4267 c Elapsed CPU time: 3.19751 s Remaining CPU time: 176.802 s c =============================================================================== c | 0 | 996 1139 119300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4265 c Elapsed CPU time: 3.24751 s Remaining CPU time: 176.752 s c =============================================================================== c | 0 | 996 1140 120150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4262 c Elapsed CPU time: 3.2965 s Remaining CPU time: 176.704 s c =============================================================================== c | 0 | 996 1141 121000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4261 c Elapsed CPU time: 3.34849 s Remaining CPU time: 176.652 s c =============================================================================== c | 0 | 996 1142 121850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4260 c Elapsed CPU time: 3.39948 s Remaining CPU time: 176.601 s c =============================================================================== c | 0 | 996 1143 122700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4258 c Elapsed CPU time: 3.45248 s Remaining CPU time: 176.548 s c =============================================================================== c | 0 | 996 1144 123550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4257 c Elapsed CPU time: 3.50547 s Remaining CPU time: 176.495 s c =============================================================================== c | 0 | 996 1145 124400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4254 c Elapsed CPU time: 3.55846 s Remaining CPU time: 176.442 s c =============================================================================== c | 0 | 996 1146 125250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4253 c Elapsed CPU time: 3.61145 s Remaining CPU time: 176.389 s c =============================================================================== c | 0 | 996 1147 126100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4248 c Elapsed CPU time: 3.66544 s Remaining CPU time: 176.335 s c =============================================================================== c | 0 | 996 1148 126950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4247 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 0 | 996 1149 127800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4246 c Elapsed CPU time: 3.77443 s Remaining CPU time: 176.226 s c =============================================================================== c | 0 | 996 1150 128650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4244 c Elapsed CPU time: 3.82842 s Remaining CPU time: 176.172 s c =============================================================================== c | 0 | 996 1151 129500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4242 c Elapsed CPU time: 3.88441 s Remaining CPU time: 176.116 s c =============================================================================== c | 0 | 996 1152 130350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4241 c Elapsed CPU time: 3.9414 s Remaining CPU time: 176.059 s c =============================================================================== c | 0 | 996 1153 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4239 c Elapsed CPU time: 3.99839 s Remaining CPU time: 176.002 s c =============================================================================== c | 0 | 996 1154 132050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4238 c Elapsed CPU time: 4.05538 s Remaining CPU time: 175.945 s c =============================================================================== c | 0 | 996 1155 132900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4236 c Elapsed CPU time: 4.11237 s Remaining CPU time: 175.888 s c =============================================================================== c | 0 | 996 1156 133750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4232 c Elapsed CPU time: 4.17037 s Remaining CPU time: 175.83 s c =============================================================================== c | 0 | 996 1157 134600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4229 c Elapsed CPU time: 4.22836 s Remaining CPU time: 175.772 s c =============================================================================== c | 0 | 996 1158 135450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4225 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 0 | 996 1159 136300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4223 c Elapsed CPU time: 4.34634 s Remaining CPU time: 175.654 s c =============================================================================== c | 0 | 996 1160 137150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4221 c Elapsed CPU time: 4.40633 s Remaining CPU time: 175.594 s c =============================================================================== c | 0 | 996 1161 138000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4218 c Elapsed CPU time: 4.46832 s Remaining CPU time: 175.532 s c =============================================================================== c | 0 | 996 1162 138850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4216 c Elapsed CPU time: 4.53131 s Remaining CPU time: 175.469 s c =============================================================================== c | 0 | 996 1163 139700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4215 c Elapsed CPU time: 4.5933 s Remaining CPU time: 175.407 s c =============================================================================== c | 0 | 996 1164 140550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4214 c Elapsed CPU time: 4.65729 s Remaining CPU time: 175.343 s c =============================================================================== c | 0 | 996 1165 141400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4213 c Elapsed CPU time: 4.72128 s Remaining CPU time: 175.279 s c =============================================================================== c | 0 | 996 1166 142250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4212 c Elapsed CPU time: 4.78527 s Remaining CPU time: 175.215 s c =============================================================================== c | 0 | 996 1167 143100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4211 c Elapsed CPU time: 4.84926 s Remaining CPU time: 175.151 s c =============================================================================== c | 0 | 996 1168 143950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4209 c Elapsed CPU time: 4.91525 s Remaining CPU time: 175.085 s c =============================================================================== c | 0 | 996 1169 144800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4208 c Elapsed CPU time: 4.98124 s Remaining CPU time: 175.019 s c =============================================================================== c | 0 | 996 1170 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4207 c Elapsed CPU time: 5.04723 s Remaining CPU time: 174.953 s c =============================================================================== c | 0 | 996 1171 146500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4206 c Elapsed CPU time: 5.11522 s Remaining CPU time: 174.885 s c =============================================================================== c | 0 | 996 1172 147350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4204 c Elapsed CPU time: 5.18521 s Remaining CPU time: 174.815 s c =============================================================================== c | 0 | 996 1173 148200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4203 c Elapsed CPU time: 5.2532 s Remaining CPU time: 174.747 s c =============================================================================== c | 0 | 996 1174 149050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4200 c Elapsed CPU time: 5.32019 s Remaining CPU time: 174.68 s c =============================================================================== c | 0 | 996 1175 149900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4199 c Elapsed CPU time: 5.39218 s Remaining CPU time: 174.608 s c =============================================================================== c | 0 | 996 1176 150750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4198 c Elapsed CPU time: 5.46217 s Remaining CPU time: 174.538 s c =============================================================================== c | 0 | 996 1177 151600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4197 c Elapsed CPU time: 5.53316 s Remaining CPU time: 174.467 s c =============================================================================== c | 0 | 996 1178 152450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4196 c Elapsed CPU time: 5.60315 s Remaining CPU time: 174.397 s c =============================================================================== c | 0 | 996 1179 153300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4195 c Elapsed CPU time: 5.67314 s Remaining CPU time: 174.327 s c =============================================================================== c | 0 | 996 1180 154150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4194 c Elapsed CPU time: 5.74713 s Remaining CPU time: 174.253 s c =============================================================================== c | 0 | 996 1181 155000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4192 c Elapsed CPU time: 5.82111 s Remaining CPU time: 174.179 s c =============================================================================== c | 0 | 996 1182 155850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4190 c Elapsed CPU time: 5.8961 s Remaining CPU time: 174.104 s c =============================================================================== c | 0 | 996 1183 156700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4188 c Elapsed CPU time: 5.97209 s Remaining CPU time: 174.028 s c =============================================================================== c | 0 | 996 1184 157550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4187 c Elapsed CPU time: 6.04608 s Remaining CPU time: 173.954 s c =============================================================================== c | 0 | 996 1185 158400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4186 c Elapsed CPU time: 6.12007 s Remaining CPU time: 173.88 s c =============================================================================== c | 0 | 996 1186 159250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4183 c Elapsed CPU time: 6.19506 s Remaining CPU time: 173.805 s c =============================================================================== c | 0 | 996 1187 160100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4182 c Elapsed CPU time: 6.27804 s Remaining CPU time: 173.722 s c =============================================================================== c | 0 | 996 1188 160950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4180 c Elapsed CPU time: 6.35903 s Remaining CPU time: 173.641 s c =============================================================================== c | 0 | 996 1189 161800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4178 c Elapsed CPU time: 6.43602 s Remaining CPU time: 173.564 s c =============================================================================== c | 0 | 996 1190 162650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4176 c Elapsed CPU time: 6.51301 s Remaining CPU time: 173.487 s c =============================================================================== c | 0 | 996 1191 163500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4174 c Elapsed CPU time: 6.593 s Remaining CPU time: 173.407 s c =============================================================================== c | 0 | 996 1192 164350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4171 c Elapsed CPU time: 6.66999 s Remaining CPU time: 173.33 s c =============================================================================== c | 0 | 996 1193 165200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4168 c Elapsed CPU time: 6.74697 s Remaining CPU time: 173.253 s c =============================================================================== c | 0 | 996 1194 166050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4167 c Elapsed CPU time: 6.82696 s Remaining CPU time: 173.173 s c =============================================================================== c | 0 | 996 1195 166900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4164 c Elapsed CPU time: 6.90495 s Remaining CPU time: 173.095 s c =============================================================================== c | 0 | 996 1196 167750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4163 c Elapsed CPU time: 6.98594 s Remaining CPU time: 173.014 s c =============================================================================== c | 0 | 996 1197 168600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4162 c Elapsed CPU time: 7.06792 s Remaining CPU time: 172.932 s c =============================================================================== c | 0 | 996 1198 169450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4161 c Elapsed CPU time: 7.14991 s Remaining CPU time: 172.85 s c =============================================================================== c | 0 | 996 1199 170300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4159 c Elapsed CPU time: 7.2299 s Remaining CPU time: 172.77 s c =============================================================================== c | 0 | 996 1200 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4158 c Elapsed CPU time: 7.31189 s Remaining CPU time: 172.688 s c =============================================================================== c | 0 | 996 1201 172000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4157 c Elapsed CPU time: 7.39888 s Remaining CPU time: 172.601 s c =============================================================================== c | 0 | 996 1202 172850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4154 c Elapsed CPU time: 7.48486 s Remaining CPU time: 172.515 s c =============================================================================== c | 0 | 996 1203 173700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4152 c Elapsed CPU time: 7.56885 s Remaining CPU time: 172.431 s c =============================================================================== c | 0 | 996 1204 174550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4150 c Elapsed CPU time: 7.65384 s Remaining CPU time: 172.346 s c =============================================================================== c | 0 | 996 1205 175400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4149 c Elapsed CPU time: 7.74382 s Remaining CPU time: 172.256 s c =============================================================================== c | 0 | 996 1206 176250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4148 c Elapsed CPU time: 7.83181 s Remaining CPU time: 172.168 s c =============================================================================== c | 0 | 996 1207 177100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4146 c Elapsed CPU time: 7.9158 s Remaining CPU time: 172.084 s c =============================================================================== c | 0 | 996 1208 177950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4145 c Elapsed CPU time: 8.00378 s Remaining CPU time: 171.996 s c =============================================================================== c | 0 | 996 1209 178800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4144 c Elapsed CPU time: 8.09277 s Remaining CPU time: 171.907 s c =============================================================================== c | 0 | 996 1210 179650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4140 c Elapsed CPU time: 8.17776 s Remaining CPU time: 171.822 s c =============================================================================== c | 0 | 996 1211 180500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4138 c Elapsed CPU time: 8.26974 s Remaining CPU time: 171.73 s c =============================================================================== c | 0 | 996 1212 181350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4136 c Elapsed CPU time: 8.36973 s Remaining CPU time: 171.63 s c =============================================================================== c | 0 | 996 1213 182200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4133 c Elapsed CPU time: 8.46571 s Remaining CPU time: 171.534 s c =============================================================================== c | 0 | 996 1214 183050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4132 c Elapsed CPU time: 8.5637 s Remaining CPU time: 171.436 s c =============================================================================== c | 0 | 996 1215 183900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4129 c Elapsed CPU time: 8.65968 s Remaining CPU time: 171.34 s c =============================================================================== c | 0 | 996 1216 184750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4128 c Elapsed CPU time: 8.75767 s Remaining CPU time: 171.242 s c =============================================================================== c | 0 | 996 1217 185600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4127 c Elapsed CPU time: 8.85665 s Remaining CPU time: 171.143 s c =============================================================================== c | 0 | 996 1218 186450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4126 c Elapsed CPU time: 8.95864 s Remaining CPU time: 171.041 s c =============================================================================== c | 0 | 996 1219 187300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4125 c Elapsed CPU time: 9.06462 s Remaining CPU time: 170.935 s c =============================================================================== c | 0 | 996 1220 188150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4124 c Elapsed CPU time: 9.16661 s Remaining CPU time: 170.833 s c =============================================================================== c | 0 | 996 1221 189000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4123 c Elapsed CPU time: 9.27359 s Remaining CPU time: 170.726 s c =============================================================================== c | 0 | 996 1222 189850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4122 c Elapsed CPU time: 9.37657 s Remaining CPU time: 170.623 s c =============================================================================== c | 0 | 996 1223 190700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4121 c Elapsed CPU time: 9.48056 s Remaining CPU time: 170.519 s c =============================================================================== c | 1 | 996 1224 191550 | 5000 1 792 | 0.000 % | c =============================================================================== c New solution: 4120 c Elapsed CPU time: 9.58354 s Remaining CPU time: 170.416 s c =============================================================================== c | 1 | 996 1225 192400 | 5000 1 792 | 0.000 % | c =============================================================================== c New solution: 4119 c Elapsed CPU time: 9.69253 s Remaining CPU time: 170.307 s c =============================================================================== c | 1 | 996 1226 193250 | 5000 1 792 | 0.000 % | c =============================================================================== c New solution: 4118 c Elapsed CPU time: 9.79851 s Remaining CPU time: 170.201 s c =============================================================================== c | 2 | 996 1227 194100 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4117 c Elapsed CPU time: 9.90449 s Remaining CPU time: 170.096 s c =============================================================================== c | 2 | 996 1228 194950 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4116 c Elapsed CPU time: 10.0135 s Remaining CPU time: 169.987 s c =============================================================================== c | 2 | 996 1229 195800 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4115 c Elapsed CPU time: 10.1165 s Remaining CPU time: 169.884 s c =============================================================================== c | 2 | 996 1230 196650 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4114 c Elapsed CPU time: 10.2294 s Remaining CPU time: 169.771 s c =============================================================================== c | 2 | 996 1231 197500 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4113 c Elapsed CPU time: 10.3344 s Remaining CPU time: 169.666 s c =============================================================================== c | 2 | 996 1232 198350 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4112 c Elapsed CPU time: 10.4454 s Remaining CPU time: 169.555 s c =============================================================================== c | 2 | 996 1233 199200 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4111 c Elapsed CPU time: 10.5544 s Remaining CPU time: 169.446 s c =============================================================================== c | 2 | 996 1234 200050 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4110 c Elapsed CPU time: 10.6624 s Remaining CPU time: 169.338 s c =============================================================================== c | 2 | 996 1235 200900 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4109 c Elapsed CPU time: 10.7684 s Remaining CPU time: 169.232 s c =============================================================================== c | 2 | 996 1236 201750 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4108 c Elapsed CPU time: 10.8843 s Remaining CPU time: 169.116 s c =============================================================================== c | 2 | 996 1237 202600 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4107 c Elapsed CPU time: 10.9993 s Remaining CPU time: 169.001 s c =============================================================================== c | 2 | 996 1238 203450 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4106 c Elapsed CPU time: 11.1103 s Remaining CPU time: 168.89 s c =============================================================================== c | 2 | 996 1239 204300 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4105 c Elapsed CPU time: 11.2223 s Remaining CPU time: 168.778 s c =============================================================================== c | 2 | 996 1240 205150 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4104 c Elapsed CPU time: 11.3353 s Remaining CPU time: 168.665 s c =============================================================================== c | 2 | 996 1241 206000 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4103 c Elapsed CPU time: 11.4513 s Remaining CPU time: 168.549 s c =============================================================================== c | 2 | 996 1242 206850 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4102 c Elapsed CPU time: 11.5712 s Remaining CPU time: 168.429 s c =============================================================================== c | 2 | 996 1243 207700 | 5000 2 790 | 0.000 % | c =============================================================================== c New solution: 4101 c Elapsed CPU time: 11.6982 s Remaining CPU time: 168.302 s c =============================================================================== c | 3 | 996 1244 208550 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4100 c Elapsed CPU time: 11.8132 s Remaining CPU time: 168.187 s c =============================================================================== c | 3 | 996 1245 209400 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4099 c Elapsed CPU time: 11.9302 s Remaining CPU time: 168.07 s c =============================================================================== c | 3 | 996 1246 210250 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4098 c Elapsed CPU time: 12.0512 s Remaining CPU time: 167.949 s c =============================================================================== c | 3 | 996 1247 211100 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4097 c Elapsed CPU time: 12.1631 s Remaining CPU time: 167.837 s c =============================================================================== c | 3 | 996 1248 211950 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4096 c Elapsed CPU time: 12.2711 s Remaining CPU time: 167.729 s c =============================================================================== c | 3 | 996 1249 212800 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4095 c Elapsed CPU time: 12.3831 s Remaining CPU time: 167.617 s c =============================================================================== c | 3 | 996 1250 213650 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4094 c Elapsed CPU time: 12.5031 s Remaining CPU time: 167.497 s c =============================================================================== c | 3 | 996 1251 214500 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4093 c Elapsed CPU time: 12.6221 s Remaining CPU time: 167.378 s c =============================================================================== c | 3 | 996 1252 215350 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4092 c Elapsed CPU time: 12.7451 s Remaining CPU time: 167.255 s c =============================================================================== c | 3 | 996 1253 216200 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4091 c Elapsed CPU time: 12.865 s Remaining CPU time: 167.135 s c =============================================================================== c | 3 | 996 1254 217050 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4090 c Elapsed CPU time: 12.998 s Remaining CPU time: 167.002 s c =============================================================================== c | 3 | 996 1255 217900 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4089 c Elapsed CPU time: 13.12 s Remaining CPU time: 166.88 s c =============================================================================== c | 3 | 996 1256 218750 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4088 c Elapsed CPU time: 13.244 s Remaining CPU time: 166.756 s c =============================================================================== c | 3 | 996 1257 219600 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4087 c Elapsed CPU time: 13.374 s Remaining CPU time: 166.626 s c =============================================================================== c | 3 | 996 1258 220450 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4086 c Elapsed CPU time: 13.4989 s Remaining CPU time: 166.501 s c =============================================================================== c | 3 | 996 1259 221300 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4085 c Elapsed CPU time: 13.6199 s Remaining CPU time: 166.38 s c =============================================================================== c | 3 | 996 1260 222150 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4084 c Elapsed CPU time: 13.7499 s Remaining CPU time: 166.25 s c =============================================================================== c | 3 | 996 1261 223000 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4083 c Elapsed CPU time: 13.8759 s Remaining CPU time: 166.124 s c =============================================================================== c | 3 | 996 1262 223850 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4082 c Elapsed CPU time: 13.9989 s Remaining CPU time: 166.001 s c =============================================================================== c | 3 | 996 1263 224700 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4081 c Elapsed CPU time: 14.1209 s Remaining CPU time: 165.879 s c =============================================================================== c | 3 | 996 1264 225550 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4080 c Elapsed CPU time: 14.2568 s Remaining CPU time: 165.743 s c =============================================================================== c | 3 | 996 1265 226400 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4079 c Elapsed CPU time: 14.3808 s Remaining CPU time: 165.619 s c =============================================================================== c | 3 | 996 1266 227250 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4078 c Elapsed CPU time: 14.5198 s Remaining CPU time: 165.48 s c =============================================================================== c | 3 | 996 1267 228100 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4077 c Elapsed CPU time: 14.6588 s Remaining CPU time: 165.341 s c =============================================================================== c | 3 | 996 1268 228950 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4076 c Elapsed CPU time: 14.7898 s Remaining CPU time: 165.21 s c =============================================================================== c | 3 | 996 1269 229800 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4075 c Elapsed CPU time: 14.9267 s Remaining CPU time: 165.073 s c =============================================================================== c | 3 | 996 1270 230650 | 5000 3 528 | 0.000 % | c =============================================================================== c New solution: 4074 c Elapsed CPU time: 15.0597 s Remaining CPU time: 164.94 s c =============================================================================== c | 4 | 996 1271 231500 | 5000 4 591 | 0.000 % | c =============================================================================== c New solution: 4073 c Elapsed CPU time: 15.1887 s Remaining CPU time: 164.811 s c =============================================================================== c | 5 | 996 1272 232350 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4072 c Elapsed CPU time: 15.3177 s Remaining CPU time: 164.682 s c =============================================================================== c | 5 | 996 1273 233200 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4071 c Elapsed CPU time: 15.4557 s Remaining CPU time: 164.544 s c =============================================================================== c | 5 | 996 1274 234050 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4070 c Elapsed CPU time: 15.5896 s Remaining CPU time: 164.41 s c =============================================================================== c | 5 | 996 1275 234900 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4069 c Elapsed CPU time: 15.7206 s Remaining CPU time: 164.279 s c =============================================================================== c | 5 | 996 1276 235750 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4068 c Elapsed CPU time: 15.8486 s Remaining CPU time: 164.151 s c =============================================================================== c | 5 | 996 1277 236600 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4067 c Elapsed CPU time: 15.9836 s Remaining CPU time: 164.016 s c =============================================================================== c | 5 | 996 1278 237450 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4066 c Elapsed CPU time: 16.1205 s Remaining CPU time: 163.879 s c =============================================================================== c | 5 | 996 1279 238300 | 5000 5 474 | 0.000 % | c =============================================================================== c New solution: 4065 c Elapsed CPU time: 16.2735 s Remaining CPU time: 163.726 s c =============================================================================== c | 6 | 996 1280 239150 | 5000 6 395 | 0.000 % | c =============================================================================== c New solution: 4064 c Elapsed CPU time: 16.4135 s Remaining CPU time: 163.586 s c =============================================================================== c | 6 | 996 1281 240000 | 5000 6 395 | 0.000 % | c =============================================================================== c New solution: 4063 c Elapsed CPU time: 16.5415 s Remaining CPU time: 163.459 s c =============================================================================== c | 6 | 996 1282 240850 | 5000 6 395 | 0.000 % | c =============================================================================== c New solution: 4062 c Elapsed CPU time: 16.6805 s Remaining CPU time: 163.32 s c =============================================================================== c | 6 | 996 1283 241700 | 5000 6 395 | 0.000 % | c =============================================================================== c New solution: 4061 c Elapsed CPU time: 16.8164 s Remaining CPU time: 163.184 s c =============================================================================== c | 7 | 996 1284 242550 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4060 c Elapsed CPU time: 16.9654 s Remaining CPU time: 163.035 s c =============================================================================== c | 7 | 996 1285 243400 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4059 c Elapsed CPU time: 17.0984 s Remaining CPU time: 162.902 s c =============================================================================== c | 7 | 996 1286 244250 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4058 c Elapsed CPU time: 17.2394 s Remaining CPU time: 162.761 s c =============================================================================== c | 7 | 996 1287 245100 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4057 c Elapsed CPU time: 17.3824 s Remaining CPU time: 162.618 s c =============================================================================== c | 7 | 996 1288 245950 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4056 c Elapsed CPU time: 17.5173 s Remaining CPU time: 162.483 s c =============================================================================== c | 7 | 996 1289 246800 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4055 c Elapsed CPU time: 17.6463 s Remaining CPU time: 162.354 s c =============================================================================== c | 7 | 996 1290 247650 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4054 c Elapsed CPU time: 17.7843 s Remaining CPU time: 162.216 s c =============================================================================== c | 7 | 996 1291 248500 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4053 c Elapsed CPU time: 17.9273 s Remaining CPU time: 162.073 s c =============================================================================== c | 7 | 996 1292 249350 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4052 c Elapsed CPU time: 18.0703 s Remaining CPU time: 161.93 s c =============================================================================== c | 7 | 996 1293 250200 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4051 c Elapsed CPU time: 18.2052 s Remaining CPU time: 161.795 s c =============================================================================== c | 7 | 996 1294 251050 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4050 c Elapsed CPU time: 18.3472 s Remaining CPU time: 161.653 s c =============================================================================== c | 7 | 996 1295 251900 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4049 c Elapsed CPU time: 18.4882 s Remaining CPU time: 161.512 s c =============================================================================== c | 7 | 996 1296 252750 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4048 c Elapsed CPU time: 18.6362 s Remaining CPU time: 161.364 s c =============================================================================== c | 7 | 996 1297 253600 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4047 c Elapsed CPU time: 18.7811 s Remaining CPU time: 161.219 s c =============================================================================== c | 7 | 996 1298 254450 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4046 c Elapsed CPU time: 18.9271 s Remaining CPU time: 161.073 s c =============================================================================== c | 7 | 996 1299 255300 | 5000 7 450 | 0.000 % | c =============================================================================== c New solution: 4045 c Elapsed CPU time: 19.0771 s Remaining CPU time: 160.923 s c =============================================================================== c | 10 | 996 1300 256150 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4044 c Elapsed CPU time: 19.2251 s Remaining CPU time: 160.775 s c =============================================================================== c | 10 | 996 1301 257000 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4043 c Elapsed CPU time: 19.3671 s Remaining CPU time: 160.633 s c =============================================================================== c | 10 | 996 1302 257850 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4042 c Elapsed CPU time: 19.507 s Remaining CPU time: 160.493 s c =============================================================================== c | 10 | 996 1303 258700 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4041 c Elapsed CPU time: 19.65 s Remaining CPU time: 160.35 s c =============================================================================== c | 10 | 996 1304 259550 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4040 c Elapsed CPU time: 19.793 s Remaining CPU time: 160.207 s c =============================================================================== c | 10 | 996 1305 260400 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4039 c Elapsed CPU time: 19.934 s Remaining CPU time: 160.066 s c =============================================================================== c | 10 | 996 1306 261250 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4038 c Elapsed CPU time: 20.0889 s Remaining CPU time: 159.911 s c =============================================================================== c | 10 | 996 1307 262100 | 5000 10 548 | 0.000 % | c =============================================================================== c New solution: 4037 c Elapsed CPU time: 20.2419 s Remaining CPU time: 159.758 s c =============================================================================== c | 11 | 996 1308 262950 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4036 c Elapsed CPU time: 20.3809 s Remaining CPU time: 159.619 s c =============================================================================== c | 11 | 996 1309 263800 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4035 c Elapsed CPU time: 20.5249 s Remaining CPU time: 159.475 s c =============================================================================== c | 11 | 996 1310 264650 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4034 c Elapsed CPU time: 20.6729 s Remaining CPU time: 159.327 s c =============================================================================== c | 11 | 996 1311 265500 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4033 c Elapsed CPU time: 20.8218 s Remaining CPU time: 159.178 s c =============================================================================== c | 11 | 996 1312 266350 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4032 c Elapsed CPU time: 20.9828 s Remaining CPU time: 159.017 s c =============================================================================== c | 11 | 996 1313 267200 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4031 c Elapsed CPU time: 21.1398 s Remaining CPU time: 158.86 s c =============================================================================== c | 11 | 996 1314 268050 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4030 c Elapsed CPU time: 21.2878 s Remaining CPU time: 158.712 s c =============================================================================== c | 11 | 996 1315 268900 | 5000 11 568 | 0.000 % | c =============================================================================== c New solution: 4029 c Elapsed CPU time: 21.4377 s Remaining CPU time: 158.562 s c =============================================================================== c | 12 | 996 1316 269750 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4028 c Elapsed CPU time: 21.5857 s Remaining CPU time: 158.414 s c =============================================================================== c | 12 | 996 1317 270600 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4027 c Elapsed CPU time: 21.7397 s Remaining CPU time: 158.26 s c =============================================================================== c | 12 | 996 1318 271450 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4026 c Elapsed CPU time: 21.9007 s Remaining CPU time: 158.099 s c =============================================================================== c | 12 | 996 1319 272300 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4025 c Elapsed CPU time: 22.0596 s Remaining CPU time: 157.94 s c =============================================================================== c | 12 | 996 1320 273150 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4024 c Elapsed CPU time: 22.2176 s Remaining CPU time: 157.782 s c =============================================================================== c | 12 | 996 1321 274000 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4023 c Elapsed CPU time: 22.3706 s Remaining CPU time: 157.629 s c =============================================================================== c | 12 | 996 1322 274850 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4022 c Elapsed CPU time: 22.5336 s Remaining CPU time: 157.466 s c =============================================================================== c | 12 | 996 1323 275700 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4021 c Elapsed CPU time: 22.6866 s Remaining CPU time: 157.313 s c =============================================================================== c | 12 | 996 1324 276550 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4020 c Elapsed CPU time: 22.8415 s Remaining CPU time: 157.158 s c =============================================================================== c | 12 | 996 1325 277400 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4019 c Elapsed CPU time: 22.9925 s Remaining CPU time: 157.007 s c =============================================================================== c | 12 | 996 1326 278250 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4018 c Elapsed CPU time: 23.1465 s Remaining CPU time: 156.854 s c =============================================================================== c | 12 | 996 1327 279100 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4017 c Elapsed CPU time: 23.3025 s Remaining CPU time: 156.698 s c =============================================================================== c | 12 | 996 1328 279950 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4016 c Elapsed CPU time: 23.4564 s Remaining CPU time: 156.544 s c =============================================================================== c | 12 | 996 1329 280800 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4015 c Elapsed CPU time: 23.6134 s Remaining CPU time: 156.387 s c =============================================================================== c | 12 | 996 1330 281650 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4014 c Elapsed CPU time: 23.7694 s Remaining CPU time: 156.231 s c =============================================================================== c | 12 | 996 1331 282500 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4013 c Elapsed CPU time: 23.9284 s Remaining CPU time: 156.072 s c =============================================================================== c | 12 | 996 1332 283350 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4012 c Elapsed CPU time: 24.0873 s Remaining CPU time: 155.913 s c =============================================================================== c | 12 | 996 1333 284200 | 5000 12 585 | 0.000 % | c =============================================================================== c New solution: 4011 c Elapsed CPU time: 24.2483 s Remaining CPU time: 155.752 s c =============================================================================== c | 13 | 996 1334 285050 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4010 c Elapsed CPU time: 24.4093 s Remaining CPU time: 155.591 s c =============================================================================== c | 13 | 996 1335 285900 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4009 c Elapsed CPU time: 24.5743 s Remaining CPU time: 155.426 s c =============================================================================== c | 13 | 996 1336 286750 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4008 c Elapsed CPU time: 24.7482 s Remaining CPU time: 155.252 s c =============================================================================== c | 13 | 996 1337 287600 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4007 c Elapsed CPU time: 24.9102 s Remaining CPU time: 155.09 s c =============================================================================== c | 13 | 996 1338 288450 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4006 c Elapsed CPU time: 25.0692 s Remaining CPU time: 154.931 s c =============================================================================== c | 13 | 996 1339 289300 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4005 c Elapsed CPU time: 25.2322 s Remaining CPU time: 154.768 s c =============================================================================== c | 13 | 996 1340 290150 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4004 c Elapsed CPU time: 25.3971 s Remaining CPU time: 154.603 s c =============================================================================== c | 13 | 996 1341 291000 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4003 c Elapsed CPU time: 25.5711 s Remaining CPU time: 154.429 s c =============================================================================== c | 13 | 996 1342 291850 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4002 c Elapsed CPU time: 25.7381 s Remaining CPU time: 154.262 s c =============================================================================== c | 13 | 996 1343 292700 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4001 c Elapsed CPU time: 25.9121 s Remaining CPU time: 154.088 s c =============================================================================== c | 13 | 996 1344 293550 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 4000 c Elapsed CPU time: 26.074 s Remaining CPU time: 153.926 s c =============================================================================== c | 13 | 996 1345 294400 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 3999 c Elapsed CPU time: 26.243 s Remaining CPU time: 153.757 s c =============================================================================== c | 13 | 996 1346 295250 | 5000 13 540 | 0.000 % | c =============================================================================== c New solution: 3998 c Elapsed CPU time: 26.412 s Remaining CPU time: 153.588 s c =============================================================================== c | 14 | 996 1347 296100 | 5000 14 557 | 0.000 % | c =============================================================================== c New solution: 3997 c Elapsed CPU time: 26.577 s Remaining CPU time: 153.423 s c =============================================================================== c | 14 | 996 1348 296950 | 5000 14 557 | 0.000 % | c =============================================================================== c New solution: 3996 c Elapsed CPU time: 26.7429 s Remaining CPU time: 153.257 s c =============================================================================== c | 14 | 996 1349 297800 | 5000 14 557 | 0.000 % | c =============================================================================== c New solution: 3995 c Elapsed CPU time: 26.9039 s Remaining CPU time: 153.096 s c =============================================================================== c | 14 | 996 1350 298650 | 5000 14 557 | 0.000 % | c =============================================================================== c New solution: 3994 c Elapsed CPU time: 27.0719 s Remaining CPU time: 152.928 s c =============================================================================== c | 14 | 996 1351 299500 | 5000 14 557 | 0.000 % | c =============================================================================== c New solution: 3993 c Elapsed CPU time: 27.2419 s Remaining CPU time: 152.758 s c =============================================================================== c | 14 | 996 1352 300350 | 5000 14 557 | 0.000 % | c =============================================================================== c New solution: 3992 c Elapsed CPU time: 27.4328 s Remaining CPU time: 152.567 s c =============================================================================== c | 16 | 996 1353 301200 | 5000 16 535 | 0.000 % | c =============================================================================== c New solution: 3991 c Elapsed CPU time: 27.6198 s Remaining CPU time: 152.38 s c =============================================================================== c | 16 | 996 1354 302050 | 5000 16 535 | 0.000 % | c =============================================================================== c New solution: 3990 c Elapsed CPU time: 27.7888 s Remaining CPU time: 152.211 s c =============================================================================== c | 17 | 996 1355 302900 | 5000 17 548 | 0.000 % | c =============================================================================== c New solution: 3989 c Elapsed CPU time: 27.9587 s Remaining CPU time: 152.041 s c =============================================================================== c | 17 | 996 1356 303750 | 5000 17 548 | 0.000 % | c =============================================================================== c New solution: 3988 c Elapsed CPU time: 28.1367 s Remaining CPU time: 151.863 s c =============================================================================== c | 17 | 996 1357 304600 | 5000 17 548 | 0.000 % | c =============================================================================== c New solution: 3987 c Elapsed CPU time: 28.3277 s Remaining CPU time: 151.672 s c =============================================================================== c | 17 | 996 1358 305450 | 5000 17 548 | 0.000 % | c =============================================================================== c New solution: 3986 c Elapsed CPU time: 28.5057 s Remaining CPU time: 151.494 s c =============================================================================== c | 17 | 996 1359 306300 | 5000 17 548 | 0.000 % | c =============================================================================== c New solution: 3985 c Elapsed CPU time: 28.6866 s Remaining CPU time: 151.313 s c =============================================================================== c | 18 | 996 1360 307150 | 5000 18 560 | 0.000 % | c =============================================================================== c New solution: 3984 c Elapsed CPU time: 28.8756 s Remaining CPU time: 151.124 s c =============================================================================== c | 19 | 996 1361 308000 | 5000 19 571 | 0.000 % | c =============================================================================== c New solution: 3983 c Elapsed CPU time: 29.0596 s Remaining CPU time: 150.94 s c =============================================================================== c | 19 | 996 1362 308850 | 5000 19 571 | 0.000 % | c =============================================================================== c New solution: 3982 c Elapsed CPU time: 29.2356 s Remaining CPU time: 150.764 s c =============================================================================== c | 21 | 996 1363 309700 | 5000 21 589 | 0.000 % | c =============================================================================== c New solution: 3981 c Elapsed CPU time: 29.4215 s Remaining CPU time: 150.578 s c =============================================================================== c | 21 | 996 1364 310550 | 5000 21 589 | 0.000 % | c =============================================================================== c New solution: 3980 c Elapsed CPU time: 29.6065 s Remaining CPU time: 150.394 s c =============================================================================== c | 21 | 996 1365 311400 | 5000 21 589 | 0.000 % | c =============================================================================== c New solution: 3979 c Elapsed CPU time: 29.7895 s Remaining CPU time: 150.211 s c =============================================================================== c | 21 | 996 1366 312250 | 5000 21 589 | 0.000 % | c =============================================================================== c New solution: 3978 c Elapsed CPU time: 29.9754 s Remaining CPU time: 150.025 s c =============================================================================== c | 23 | 996 1367 313100 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3977 c Elapsed CPU time: 30.1504 s Remaining CPU time: 149.85 s c =============================================================================== c | 23 | 996 1368 313950 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3976 c Elapsed CPU time: 30.3274 s Remaining CPU time: 149.673 s c =============================================================================== c | 23 | 996 1369 314800 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3975 c Elapsed CPU time: 30.5074 s Remaining CPU time: 149.493 s c =============================================================================== c | 23 | 996 1370 315650 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3974 c Elapsed CPU time: 30.6973 s Remaining CPU time: 149.303 s c =============================================================================== c | 23 | 996 1371 316500 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3973 c Elapsed CPU time: 30.8883 s Remaining CPU time: 149.112 s c =============================================================================== c | 23 | 996 1372 317350 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3972 c Elapsed CPU time: 31.0673 s Remaining CPU time: 148.933 s c =============================================================================== c | 23 | 996 1373 318200 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3971 c Elapsed CPU time: 31.2642 s Remaining CPU time: 148.736 s c =============================================================================== c | 23 | 996 1374 319050 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3970 c Elapsed CPU time: 31.4532 s Remaining CPU time: 148.547 s c =============================================================================== c | 23 | 996 1375 319900 | 5000 23 603 | 0.000 % | c =============================================================================== c New solution: 3969 c Elapsed CPU time: 31.6402 s Remaining CPU time: 148.36 s c =============================================================================== c | 27 | 996 1376 320750 | 5000 27 626 | 0.000 % | c =============================================================================== c New solution: 3968 c Elapsed CPU time: 31.8242 s Remaining CPU time: 148.176 s c =============================================================================== c | 27 | 996 1377 321600 | 5000 27 626 | 0.000 % | c =============================================================================== c New solution: 3967 c Elapsed CPU time: 32.0101 s Remaining CPU time: 147.99 s c =============================================================================== c | 27 | 996 1378 322450 | 5000 27 626 | 0.000 % | c =============================================================================== c New solution: 3966 c Elapsed CPU time: 32.1901 s Remaining CPU time: 147.81 s c =============================================================================== c | 27 | 996 1379 323300 | 5000 27 626 | 0.000 % | c =============================================================================== c New solution: 3965 c Elapsed CPU time: 32.3771 s Remaining CPU time: 147.623 s c =============================================================================== c | 27 | 996 1380 324150 | 5000 27 626 | 0.000 % | c =============================================================================== c New solution: 3964 c Elapsed CPU time: 32.6 s Remaining CPU time: 147.4 s c =============================================================================== c | 34 | 996 1381 325000 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3963 c Elapsed CPU time: 32.789 s Remaining CPU time: 147.211 s c =============================================================================== c | 34 | 996 1382 325850 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3962 c Elapsed CPU time: 32.983 s Remaining CPU time: 147.017 s c =============================================================================== c | 34 | 996 1383 326700 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3961 c Elapsed CPU time: 33.186 s Remaining CPU time: 146.814 s c =============================================================================== c | 34 | 996 1384 327550 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3960 c Elapsed CPU time: 33.3819 s Remaining CPU time: 146.618 s c =============================================================================== c | 34 | 996 1385 328400 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3959 c Elapsed CPU time: 33.5779 s Remaining CPU time: 146.422 s c =============================================================================== c | 34 | 996 1386 329250 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3958 c Elapsed CPU time: 33.7729 s Remaining CPU time: 146.227 s c =============================================================================== c | 34 | 996 1387 330100 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3957 c Elapsed CPU time: 33.9758 s Remaining CPU time: 146.024 s c =============================================================================== c | 34 | 996 1388 330950 | 5000 34 653 | 0.000 % | c =============================================================================== c New solution: 3956 c Elapsed CPU time: 34.1778 s Remaining CPU time: 145.822 s c =============================================================================== c | 35 | 996 1389 331800 | 5000 35 656 | 0.000 % | c =============================================================================== c New solution: 3955 c Elapsed CPU time: 34.3868 s Remaining CPU time: 145.613 s c =============================================================================== c | 41 | 996 1390 332650 | 5000 41 670 | 0.000 % | c =============================================================================== c New solution: 3954 c Elapsed CPU time: 34.5807 s Remaining CPU time: 145.419 s c =============================================================================== c | 41 | 996 1391 333500 | 5000 41 670 | 0.000 % | c =============================================================================== c New solution: 3953 c Elapsed CPU time: 34.7817 s Remaining CPU time: 145.218 s c =============================================================================== c | 42 | 996 1392 334350 | 5000 42 655 | 0.000 % | c =============================================================================== c New solution: 3952 c Elapsed CPU time: 34.9827 s Remaining CPU time: 145.017 s c =============================================================================== c | 43 | 996 1393 335200 | 5000 43 657 | 0.000 % | c =============================================================================== c New solution: 3951 c Elapsed CPU time: 35.1827 s Remaining CPU time: 144.817 s c =============================================================================== c | 43 | 996 1394 336050 | 5000 43 657 | 0.000 % | c =============================================================================== c New solution: 3950 c Elapsed CPU time: 35.3786 s Remaining CPU time: 144.621 s c =============================================================================== c | 45 | 996 1395 336900 | 5000 45 661 | 0.000 % | c =============================================================================== c New solution: 3949 c Elapsed CPU time: 35.5766 s Remaining CPU time: 144.423 s c =============================================================================== c | 47 | 996 1396 337750 | 5000 47 665 | 0.000 % | c =============================================================================== c New solution: 3948 c Elapsed CPU time: 35.7656 s Remaining CPU time: 144.234 s c =============================================================================== c | 49 | 996 1397 338600 | 5000 49 669 | 0.000 % | c =============================================================================== c New solution: 3947 c Elapsed CPU time: 35.9945 s Remaining CPU time: 144.005 s c =============================================================================== c | 59 | 996 1398 339450 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3946 c Elapsed CPU time: 36.1855 s Remaining CPU time: 143.815 s c =============================================================================== c | 59 | 996 1399 340300 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3945 c Elapsed CPU time: 36.3835 s Remaining CPU time: 143.617 s c =============================================================================== c | 59 | 996 1400 341150 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3944 c Elapsed CPU time: 36.5774 s Remaining CPU time: 143.423 s c =============================================================================== c | 59 | 996 1401 342000 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3943 c Elapsed CPU time: 36.7714 s Remaining CPU time: 143.229 s c =============================================================================== c | 59 | 996 1402 342850 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3942 c Elapsed CPU time: 36.9774 s Remaining CPU time: 143.023 s c =============================================================================== c | 59 | 996 1403 343700 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3941 c Elapsed CPU time: 37.1733 s Remaining CPU time: 142.827 s c =============================================================================== c | 59 | 996 1404 344550 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3940 c Elapsed CPU time: 37.3733 s Remaining CPU time: 142.627 s c =============================================================================== c | 59 | 996 1405 345400 | 5000 59 683 | 0.000 % | c =============================================================================== c New solution: 3939 c Elapsed CPU time: 37.5853 s Remaining CPU time: 142.415 s c =============================================================================== c | 61 | 996 1406 346250 | 5000 61 685 | 0.000 % | c =============================================================================== c New solution: 3938 c Elapsed CPU time: 37.7853 s Remaining CPU time: 142.215 s c =============================================================================== c | 62 | 996 1407 347100 | 5000 62 674 | 0.000 % | c =============================================================================== c New solution: 3937 c Elapsed CPU time: 37.9802 s Remaining CPU time: 142.02 s c =============================================================================== c | 62 | 996 1408 347950 | 5000 62 674 | 0.000 % | c =============================================================================== c New solution: 3936 c Elapsed CPU time: 38.1852 s Remaining CPU time: 141.815 s c =============================================================================== c | 62 | 996 1409 348800 | 5000 62 674 | 0.000 % | c =============================================================================== c New solution: 3935 c Elapsed CPU time: 38.3972 s Remaining CPU time: 141.603 s c =============================================================================== c | 63 | 996 1410 349650 | 5000 63 675 | 0.000 % | c =============================================================================== c New solution: 3934 c Elapsed CPU time: 38.6041 s Remaining CPU time: 141.396 s c =============================================================================== c | 63 | 996 1411 350500 | 5000 63 675 | 0.000 % | c =============================================================================== c New solution: 3933 c Elapsed CPU time: 38.8041 s Remaining CPU time: 141.196 s c =============================================================================== c | 63 | 996 1412 351350 | 5000 63 675 | 0.000 % | c =============================================================================== c New solution: 3932 c Elapsed CPU time: 39.0121 s Remaining CPU time: 140.988 s c =============================================================================== c | 63 | 996 1413 352200 | 5000 63 675 | 0.000 % | c =============================================================================== c New solution: 3931 c Elapsed CPU time: 39.221 s Remaining CPU time: 140.779 s c =============================================================================== c | 63 | 996 1414 353050 | 5000 63 675 | 0.000 % | c =============================================================================== c New solution: 3930 c Elapsed CPU time: 39.428 s Remaining CPU time: 140.572 s c =============================================================================== c | 63 | 996 1415 353900 | 5000 63 675 | 0.000 % | c =============================================================================== c New solution: 3929 c Elapsed CPU time: 39.642 s Remaining CPU time: 140.358 s c =============================================================================== c | 63 | 996 1416 354750 | 5000 63 675 | 0.000 % | c =============================================================================== c New solution: 3928 c Elapsed CPU time: 39.9139 s Remaining CPU time: 140.086 s c =============================================================================== c | 75 | 996 1417 355600 | 5000 75 687 | 0.000 % | c =============================================================================== c New solution: 3927 c Elapsed CPU time: 40.1189 s Remaining CPU time: 139.881 s c =============================================================================== c | 76 | 996 1418 356450 | 5000 76 688 | 0.000 % | c =============================================================================== c New solution: 3926 c Elapsed CPU time: 40.3189 s Remaining CPU time: 139.681 s c =============================================================================== c | 76 | 996 1419 357300 | 5000 76 688 | 0.000 % | c =============================================================================== c New solution: 3925 c Elapsed CPU time: 40.5138 s Remaining CPU time: 139.486 s c =============================================================================== c | 76 | 996 1420 358150 | 5000 76 688 | 0.000 % | c =============================================================================== c New solution: 3924 c Elapsed CPU time: 40.7298 s Remaining CPU time: 139.27 s c =============================================================================== c | 78 | 996 1421 359000 | 5000 78 690 | 0.000 % | c =============================================================================== c New solution: 3923 c Elapsed CPU time: 40.9378 s Remaining CPU time: 139.062 s c =============================================================================== c | 78 | 996 1422 359850 | 5000 78 690 | 0.000 % | c =============================================================================== c New solution: 3922 c Elapsed CPU time: 41.1527 s Remaining CPU time: 138.847 s c =============================================================================== c | 83 | 996 1423 360700 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3921 c Elapsed CPU time: 41.3637 s Remaining CPU time: 138.636 s c =============================================================================== c | 83 | 996 1424 361550 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3920 c Elapsed CPU time: 41.5717 s Remaining CPU time: 138.428 s c =============================================================================== c | 83 | 996 1425 362400 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3919 c Elapsed CPU time: 41.7726 s Remaining CPU time: 138.227 s c =============================================================================== c | 83 | 996 1426 363250 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3918 c Elapsed CPU time: 41.9756 s Remaining CPU time: 138.024 s c =============================================================================== c | 83 | 996 1427 364100 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3917 c Elapsed CPU time: 42.1846 s Remaining CPU time: 137.815 s c =============================================================================== c | 83 | 996 1428 364950 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3916 c Elapsed CPU time: 42.3926 s Remaining CPU time: 137.607 s c =============================================================================== c | 83 | 996 1429 365800 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3915 c Elapsed CPU time: 42.6105 s Remaining CPU time: 137.389 s c =============================================================================== c | 83 | 996 1430 366650 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3914 c Elapsed CPU time: 42.8215 s Remaining CPU time: 137.179 s c =============================================================================== c | 83 | 996 1431 367500 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3913 c Elapsed CPU time: 43.0285 s Remaining CPU time: 136.972 s c =============================================================================== c | 83 | 996 1432 368350 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3912 c Elapsed CPU time: 43.2404 s Remaining CPU time: 136.76 s c =============================================================================== c | 83 | 996 1433 369200 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3911 c Elapsed CPU time: 43.4564 s Remaining CPU time: 136.544 s c =============================================================================== c | 83 | 996 1434 370050 | 5000 83 693 | 0.000 % | c =============================================================================== c New solution: 3910 c Elapsed CPU time: 43.6774 s Remaining CPU time: 136.323 s c =============================================================================== c | 85 | 996 1435 370900 | 5000 85 694 | 0.000 % | c =============================================================================== c New solution: 3909 c Elapsed CPU time: 43.8863 s Remaining CPU time: 136.114 s c =============================================================================== c | 85 | 996 1436 371750 | 5000 85 694 | 0.000 % | c =============================================================================== c New solution: 3908 c Elapsed CPU time: 44.0893 s Remaining CPU time: 135.911 s c =============================================================================== c | 85 | 996 1437 372600 | 5000 85 694 | 0.000 % | c =============================================================================== c New solution: 3907 c Elapsed CPU time: 44.3163 s Remaining CPU time: 135.684 s c =============================================================================== c | 86 | 996 1438 373450 | 5000 86 695 | 0.000 % | c =============================================================================== c New solution: 3906 c Elapsed CPU time: 44.5342 s Remaining CPU time: 135.466 s c =============================================================================== c | 86 | 996 1439 374300 | 5000 86 695 | 0.000 % | c =============================================================================== c New solution: 3905 c Elapsed CPU time: 44.7392 s Remaining CPU time: 135.261 s c =============================================================================== c | 86 | 996 1440 375150 | 5000 86 695 | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 44.9462 s Remaining CPU time: 135.054 s c =============================================================================== c | 86 | 996 1441 376000 | 5000 86 695 | 0.000 % | c =============================================================================== c New solution: 3903 c Elapsed CPU time: 45.1641 s Remaining CPU time: 134.836 s c =============================================================================== c | 87 | 996 1442 376850 | 5000 87 696 | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 45.3951 s Remaining CPU time: 134.605 s c =============================================================================== c | 87 | 996 1443 377700 | 5000 87 696 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 45.6261 s Remaining CPU time: 134.374 s c =============================================================================== c | 87 | 996 1444 378550 | 5000 87 696 | 0.000 % | c =============================================================================== c New solution: 3900 c Elapsed CPU time: 45.845 s Remaining CPU time: 134.155 s c =============================================================================== c | 87 | 996 1445 379400 | 5000 87 696 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 46.063 s Remaining CPU time: 133.937 s c =============================================================================== c | 89 | 996 1446 380250 | 5000 89 697 | 0.000 % | c =============================================================================== c New solution: 3898 c Elapsed CPU time: 46.289 s Remaining CPU time: 133.711 s c =============================================================================== c | 89 | 996 1447 381100 | 5000 89 697 | 0.000 % | c =============================================================================== c New solution: 3897 c Elapsed CPU time: 46.5079 s Remaining CPU time: 133.492 s c =============================================================================== c | 89 | 996 1448 381950 | 5000 89 697 | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 46.7339 s Remaining CPU time: 133.266 s c =============================================================================== c | 89 | 996 1449 382800 | 5000 89 697 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 46.9579 s Remaining CPU time: 133.042 s c =============================================================================== c | 91 | 996 1450 383650 | 5000 91 698 | 0.000 % | c =============================================================================== c New solution: 3894 c Elapsed CPU time: 47.2008 s Remaining CPU time: 132.799 s c =============================================================================== c | 92 | 996 1451 384500 | 5000 92 698 | 0.000 % | c =============================================================================== c New solution: 3893 c Elapsed CPU time: 47.4218 s Remaining CPU time: 132.578 s c =============================================================================== c | 92 | 996 1452 385350 | 5000 92 698 | 0.000 % | c =============================================================================== c New solution: 3892 c Elapsed CPU time: 47.6448 s Remaining CPU time: 132.355 s c =============================================================================== c | 93 | 996 1453 386200 | 5000 93 699 | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 47.8817 s Remaining CPU time: 132.118 s c =============================================================================== c | 96 | 996 1454 387050 | 5000 96 700 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 48.1127 s Remaining CPU time: 131.887 s c =============================================================================== c | 96 | 996 1455 387900 | 5000 96 700 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 48.3337 s Remaining CPU time: 131.666 s c =============================================================================== c | 96 | 996 1456 388750 | 5000 96 700 | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 48.5636 s Remaining CPU time: 131.436 s c =============================================================================== c | 97 | 996 1457 389600 | 5000 97 701 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 48.7896 s Remaining CPU time: 131.21 s c =============================================================================== c | 97 | 996 1458 390450 | 5000 97 701 | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 49.0205 s Remaining CPU time: 130.979 s c =============================================================================== c | 97 | 996 1459 391300 | 5000 97 701 | 0.000 % | c =============================================================================== c New solution: 3885 c Elapsed CPU time: 49.2515 s Remaining CPU time: 130.748 s c =============================================================================== c | 97 | 996 1460 392150 | 5000 97 701 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 49.4815 s Remaining CPU time: 130.519 s c =============================================================================== c | 97 | 996 1461 393000 | 5000 97 701 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 49.7084 s Remaining CPU time: 130.292 s c =============================================================================== c | 97 | 996 1462 393850 | 5000 97 701 | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 49.9364 s Remaining CPU time: 130.064 s c =============================================================================== c | 97 | 996 1463 394700 | 5000 97 701 | 0.000 % | c =============================================================================== c New solution: 3881 c Elapsed CPU time: 50.1704 s Remaining CPU time: 129.83 s c =============================================================================== c | 98 | 996 1464 395550 | 5000 98 701 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 50.4033 s Remaining CPU time: 129.597 s c =============================================================================== c | 99 | 996 1465 396400 | 5000 99 701 | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 50.6413 s Remaining CPU time: 129.359 s c =============================================================================== c | 99 | 996 1466 397250 | 5000 99 701 | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 50.8713 s Remaining CPU time: 129.129 s c =============================================================================== c | 99 | 996 1467 398100 | 5000 99 701 | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 51.1342 s Remaining CPU time: 128.866 s c =============================================================================== c | 111 | 996 1468 398950 | 5000 111 706 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 51.3782 s Remaining CPU time: 128.622 s c =============================================================================== c | 111 | 996 1469 399800 | 5000 111 706 | 0.000 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 51.7131 s Remaining CPU time: 128.287 s c =============================================================================== c | 140 | 996 1470 400650 | 5000 140 707 | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 51.9301 s Remaining CPU time: 128.07 s c =============================================================================== c | 140 | 996 1471 401500 | 5000 140 707 | 0.000 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 52.1791 s Remaining CPU time: 127.821 s c =============================================================================== c | 142 | 996 1472 402350 | 5000 142 708 | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 52.438 s Remaining CPU time: 127.562 s c =============================================================================== c | 148 | 996 1473 403200 | 5000 148 709 | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 52.665 s Remaining CPU time: 127.335 s c =============================================================================== c | 148 | 996 1474 404050 | 5000 148 709 | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 52.894 s Remaining CPU time: 127.106 s c =============================================================================== c | 148 | 996 1475 404900 | 5000 148 709 | 0.000 % | c =============================================================================== c New solution: 3869 c Elapsed CPU time: 53.1359 s Remaining CPU time: 126.864 s c =============================================================================== c | 149 | 996 1476 405750 | 5000 149 709 | 0.000 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 53.3599 s Remaining CPU time: 126.64 s c =============================================================================== c | 149 | 996 1477 406600 | 5000 149 709 | 0.000 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 53.5919 s Remaining CPU time: 126.408 s c =============================================================================== c | 155 | 996 1478 407450 | 5000 155 710 | 0.000 % | c =============================================================================== c New solution: 3866 c Elapsed CPU time: 53.9168 s Remaining CPU time: 126.083 s c =============================================================================== c | 178 | 996 1479 408300 | 5000 178 713 | 0.000 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 54.1538 s Remaining CPU time: 125.846 s c =============================================================================== c | 178 | 996 1480 409150 | 5000 178 713 | 0.000 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 54.3887 s Remaining CPU time: 125.611 s c =============================================================================== c | 178 | 996 1481 410000 | 5000 178 713 | 0.000 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 54.6357 s Remaining CPU time: 125.364 s c =============================================================================== c | 179 | 996 1482 410850 | 5000 179 714 | 0.000 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 54.8867 s Remaining CPU time: 125.113 s c =============================================================================== c | 180 | 996 1483 411700 | 5000 180 714 | 0.000 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 55.1376 s Remaining CPU time: 124.862 s c =============================================================================== c | 182 | 996 1484 412550 | 5000 182 714 | 0.000 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 55.3976 s Remaining CPU time: 124.602 s c =============================================================================== c | 185 | 996 1485 413400 | 5000 185 714 | 0.000 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 55.6455 s Remaining CPU time: 124.354 s c =============================================================================== c | 185 | 996 1486 414250 | 5000 185 714 | 0.000 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 55.8845 s Remaining CPU time: 124.115 s c =============================================================================== c | 185 | 996 1487 415100 | 5000 185 714 | 0.000 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 56.1305 s Remaining CPU time: 123.87 s c =============================================================================== c | 186 | 996 1488 415950 | 5000 186 714 | 0.000 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 56.3814 s Remaining CPU time: 123.619 s c =============================================================================== c | 186 | 996 1489 416800 | 5000 186 714 | 0.000 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 56.6314 s Remaining CPU time: 123.369 s c =============================================================================== c | 191 | 996 1490 417650 | 5000 191 715 | 0.000 % | c =============================================================================== c New solution: 3854 c Elapsed CPU time: 56.8854 s Remaining CPU time: 123.115 s c =============================================================================== c | 191 | 996 1491 418500 | 5000 191 715 | 0.000 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 57.1353 s Remaining CPU time: 122.865 s c =============================================================================== c | 191 | 996 1492 419350 | 5000 191 715 | 0.000 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 57.3943 s Remaining CPU time: 122.606 s c =============================================================================== c | 192 | 996 1493 420200 | 5000 192 715 | 0.000 % | c =============================================================================== c New solution: 3851 c Elapsed CPU time: 57.6452 s Remaining CPU time: 122.355 s c =============================================================================== c | 192 | 996 1494 421050 | 5000 192 715 | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 57.8902 s Remaining CPU time: 122.11 s c =============================================================================== c | 192 | 996 1495 421900 | 5000 192 715 | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 58.1482 s Remaining CPU time: 121.852 s c =============================================================================== c | 194 | 996 1496 422750 | 5000 194 711 | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 58.4531 s Remaining CPU time: 121.547 s c =============================================================================== c | 205 | 996 1497 423600 | 5000 205 713 | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 58.7071 s Remaining CPU time: 121.293 s c =============================================================================== c | 207 | 996 1498 424450 | 5000 207 713 | 0.000 % | c =============================================================================== c New solution: 3846 c Elapsed CPU time: 58.966 s Remaining CPU time: 121.034 s c =============================================================================== c | 207 | 996 1499 425300 | 5000 207 713 | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 59.241 s Remaining CPU time: 120.759 s c =============================================================================== c | 209 | 996 1500 426150 | 5000 209 713 | 0.000 % | c =============================================================================== c New solution: 3844 c Elapsed CPU time: 59.481 s Remaining CPU time: 120.519 s c =============================================================================== c | 209 | 996 1501 427000 | 5000 209 713 | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 59.7609 s Remaining CPU time: 120.239 s c =============================================================================== c | 212 | 996 1502 427850 | 5000 212 713 | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 60.0149 s Remaining CPU time: 119.985 s c =============================================================================== c | 213 | 996 1503 428700 | 5000 213 713 | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 60.2738 s Remaining CPU time: 119.726 s c =============================================================================== c | 213 | 996 1504 429550 | 5000 213 713 | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 60.6098 s Remaining CPU time: 119.39 s c =============================================================================== c | 219 | 996 1505 430400 | 5000 219 714 | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 60.8497 s Remaining CPU time: 119.15 s c =============================================================================== c | 219 | 996 1506 431250 | 5000 219 714 | 0.000 % | c =============================================================================== c New solution: 3838 c Elapsed CPU time: 61.1107 s Remaining CPU time: 118.889 s c =============================================================================== c | 220 | 996 1507 432100 | 5000 220 714 | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 61.3657 s Remaining CPU time: 118.634 s c =============================================================================== c | 220 | 996 1508 432950 | 5000 220 714 | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 61.6106 s Remaining CPU time: 118.389 s c =============================================================================== c | 220 | 996 1509 433800 | 5000 220 714 | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 61.8786 s Remaining CPU time: 118.121 s c =============================================================================== c | 221 | 996 1510 434650 | 5000 221 714 | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 62.1336 s Remaining CPU time: 117.866 s c =============================================================================== c | 221 | 996 1511 435500 | 5000 221 714 | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 62.3985 s Remaining CPU time: 117.601 s c =============================================================================== c | 222 | 996 1512 436350 | 5000 222 714 | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 62.6585 s Remaining CPU time: 117.342 s c =============================================================================== c | 222 | 996 1513 437200 | 5000 222 714 | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 62.9244 s Remaining CPU time: 117.076 s c =============================================================================== c | 223 | 996 1514 438050 | 5000 223 714 | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 63.1934 s Remaining CPU time: 116.807 s c =============================================================================== c | 223 | 996 1515 438900 | 5000 223 714 | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 63.4494 s Remaining CPU time: 116.551 s c =============================================================================== c | 223 | 996 1516 439750 | 5000 223 714 | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 63.9113 s Remaining CPU time: 116.089 s c =============================================================================== c | 264 | 996 1517 440600 | 5000 264 716 | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 64.1752 s Remaining CPU time: 115.825 s c =============================================================================== c | 265 | 996 1518 441450 | 5000 265 717 | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 64.4512 s Remaining CPU time: 115.549 s c =============================================================================== c | 267 | 996 1519 442300 | 5000 267 717 | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 64.7462 s Remaining CPU time: 115.254 s c =============================================================================== c | 275 | 996 1520 443150 | 5000 275 717 | 0.000 % | c =============================================================================== c New solution: 3824 c Elapsed CPU time: 65.1301 s Remaining CPU time: 114.87 s c =============================================================================== c | 300 | 996 1521 444000 | 5000 300 718 | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 65.3931 s Remaining CPU time: 114.607 s c =============================================================================== c | 300 | 996 1522 444850 | 5000 300 718 | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 65.705 s Remaining CPU time: 114.295 s c =============================================================================== c | 308 | 996 1523 445700 | 5000 308 718 | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 65.972 s Remaining CPU time: 114.028 s c =============================================================================== c | 312 | 996 1524 446550 | 5000 312 718 | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 66.2319 s Remaining CPU time: 113.768 s c =============================================================================== c | 312 | 996 1525 447400 | 5000 312 718 | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 66.5039 s Remaining CPU time: 113.496 s c =============================================================================== c | 313 | 996 1526 448250 | 5000 313 718 | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 66.7559 s Remaining CPU time: 113.244 s c =============================================================================== c | 314 | 996 1527 449100 | 5000 314 718 | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 67.0218 s Remaining CPU time: 112.978 s c =============================================================================== c | 315 | 996 1528 449950 | 5000 315 718 | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 67.3148 s Remaining CPU time: 112.685 s c =============================================================================== c | 318 | 996 1529 450800 | 5000 318 718 | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 67.5937 s Remaining CPU time: 112.406 s c =============================================================================== c | 318 | 996 1530 451650 | 5000 318 718 | 0.000 % | c =============================================================================== c New solution: 3814 c Elapsed CPU time: 67.8697 s Remaining CPU time: 112.13 s c =============================================================================== c | 319 | 996 1531 452500 | 5000 319 718 | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 68.1426 s Remaining CPU time: 111.857 s c =============================================================================== c | 320 | 996 1532 453350 | 5000 320 718 | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 68.3996 s Remaining CPU time: 111.6 s c =============================================================================== c | 320 | 996 1533 454200 | 5000 320 718 | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 69.0325 s Remaining CPU time: 110.967 s c =============================================================================== c | 376 | 996 1534 455050 | 5000 376 719 | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 69.3545 s Remaining CPU time: 110.646 s c =============================================================================== c | 382 | 996 1535 455900 | 5000 382 719 | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 69.6514 s Remaining CPU time: 110.349 s c =============================================================================== c | 384 | 996 1536 456750 | 5000 384 719 | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 69.9294 s Remaining CPU time: 110.071 s c =============================================================================== c | 386 | 996 1537 457600 | 5000 386 719 | 0.000 % | c =============================================================================== c New solution: 3807 c Elapsed CPU time: 70.2403 s Remaining CPU time: 109.76 s c =============================================================================== c | 388 | 996 1538 458450 | 5000 388 719 | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 70.5783 s Remaining CPU time: 109.422 s c =============================================================================== c | 401 | 996 1539 459300 | 5000 401 719 | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 70.9062 s Remaining CPU time: 109.094 s c =============================================================================== c | 410 | 996 1540 460150 | 5000 410 719 | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 71.1582 s Remaining CPU time: 108.842 s c =============================================================================== c | 410 | 996 1541 461000 | 5000 410 719 | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 71.4401 s Remaining CPU time: 108.56 s c =============================================================================== c | 413 | 996 1542 461850 | 5000 413 719 | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 71.7611 s Remaining CPU time: 108.239 s c =============================================================================== c | 415 | 996 1543 462700 | 5000 415 719 | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 72.064 s Remaining CPU time: 107.936 s c =============================================================================== c | 419 | 996 1544 463550 | 5000 419 719 | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 72.465 s Remaining CPU time: 107.535 s c =============================================================================== c | 446 | 996 1545 464400 | 5000 446 720 | 0.000 % | c =============================================================================== c New solution: 3799 c Elapsed CPU time: 72.7379 s Remaining CPU time: 107.262 s c =============================================================================== c | 446 | 996 1546 465250 | 5000 446 720 | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 73.0339 s Remaining CPU time: 106.966 s c =============================================================================== c | 449 | 996 1547 466100 | 5000 449 720 | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 73.3099 s Remaining CPU time: 106.69 s c =============================================================================== c | 451 | 996 1548 466950 | 5000 451 720 | 0.000 % | c =============================================================================== c New solution: 3796 c Elapsed CPU time: 73.5878 s Remaining CPU time: 106.412 s c =============================================================================== c | 452 | 996 1549 467800 | 5000 452 720 | 0.000 % | c =============================================================================== c New solution: 3795 c Elapsed CPU time: 73.8758 s Remaining CPU time: 106.124 s c =============================================================================== c | 453 | 996 1550 468650 | 5000 453 720 | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 74.2127 s Remaining CPU time: 105.787 s c =============================================================================== c | 458 | 996 1551 469500 | 5000 458 720 | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 74.5127 s Remaining CPU time: 105.487 s c =============================================================================== c | 465 | 996 1552 470350 | 5000 465 720 | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 74.7816 s Remaining CPU time: 105.218 s c =============================================================================== c | 465 | 996 1553 471200 | 5000 465 720 | 0.000 % | c =============================================================================== c New solution: 3791 c Elapsed CPU time: 75.0496 s Remaining CPU time: 104.95 s c =============================================================================== c | 468 | 996 1554 472050 | 5000 468 720 | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 75.3145 s Remaining CPU time: 104.685 s c =============================================================================== c | 468 | 996 1555 472900 | 5000 468 720 | 0.000 % | c =============================================================================== c New solution: 3789 c Elapsed CPU time: 75.6225 s Remaining CPU time: 104.377 s c =============================================================================== c | 471 | 996 1556 473750 | 5000 471 720 | 0.000 % | c =============================================================================== c New solution: 3788 c Elapsed CPU time: 75.9035 s Remaining CPU time: 104.097 s c =============================================================================== c | 472 | 996 1557 474600 | 5000 472 720 | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 76.4704 s Remaining CPU time: 103.53 s c =============================================================================== c | 509 | 996 1558 475450 | 5000 509 720 | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 76.7583 s Remaining CPU time: 103.242 s c =============================================================================== c | 514 | 996 1559 476300 | 5000 514 720 | 0.000 % | c =============================================================================== c New solution: 3785 c Elapsed CPU time: 77.0963 s Remaining CPU time: 102.904 s c =============================================================================== c | 519 | 996 1560 477150 | 5000 519 720 | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 77.6892 s Remaining CPU time: 102.311 s c =============================================================================== c | 553 | 996 1561 478000 | 5000 553 720 | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 78.1291 s Remaining CPU time: 101.871 s c =============================================================================== c | 581 | 996 1562 478850 | 5000 581 720 | 0.000 % | c =============================================================================== c New solution: 3782 c Elapsed CPU time: 78.4811 s Remaining CPU time: 101.519 s c =============================================================================== c | 598 | 996 1563 479700 | 5000 598 720 | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 78.951 s Remaining CPU time: 101.049 s c =============================================================================== c | 635 | 996 1564 480550 | 5000 635 720 | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 79.3049 s Remaining CPU time: 100.695 s c =============================================================================== c | 642 | 996 1565 481400 | 5000 642 720 | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 79.7179 s Remaining CPU time: 100.282 s c =============================================================================== c | 658 | 996 1566 482250 | 5000 658 720 | 0.000 % | c =============================================================================== c New solution: 3778 c Elapsed CPU time: 80.0248 s Remaining CPU time: 99.9752 s c =============================================================================== c | 661 | 996 1567 483100 | 5000 661 720 | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 80.3928 s Remaining CPU time: 99.6072 s c =============================================================================== c | 689 | 996 1568 483950 | 5000 689 720 | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 80.7667 s Remaining CPU time: 99.2333 s c =============================================================================== c | 699 | 996 1569 484800 | 5000 699 719 | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 81.0707 s Remaining CPU time: 98.9293 s c =============================================================================== c | 700 | 996 1570 485650 | 5000 700 719 | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 81.3906 s Remaining CPU time: 98.6094 s c =============================================================================== c | 707 | 996 1571 486500 | 5000 707 719 | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 81.6936 s Remaining CPU time: 98.3064 s c =============================================================================== c | 708 | 996 1572 487350 | 5000 708 719 | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 81.9805 s Remaining CPU time: 98.0195 s c =============================================================================== c | 708 | 996 1573 488200 | 5000 708 719 | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 82.3325 s Remaining CPU time: 97.6675 s c =============================================================================== c | 717 | 996 1574 489050 | 5000 717 719 | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 82.6194 s Remaining CPU time: 97.3806 s c =============================================================================== c | 717 | 996 1575 489900 | 5000 717 719 | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 83.2743 s Remaining CPU time: 96.7257 s c =============================================================================== c | 777 | 996 1576 490750 | 5000 777 719 | 0.000 % | c =============================================================================== c New solution: 3768 c Elapsed CPU time: 83.7223 s Remaining CPU time: 96.2777 s c =============================================================================== c | 799 | 996 1577 491600 | 5000 799 718 | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 84.1062 s Remaining CPU time: 95.8938 s c =============================================================================== c | 818 | 996 1578 492450 | 5000 818 718 | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 84.5741 s Remaining CPU time: 95.4259 s c =============================================================================== c | 834 | 996 1579 493300 | 5000 834 718 | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 84.8701 s Remaining CPU time: 95.1299 s c =============================================================================== c | 834 | 996 1580 494150 | 5000 834 718 | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 85.193 s Remaining CPU time: 94.807 s c =============================================================================== c | 835 | 996 1581 495000 | 5000 835 718 | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 85.561 s Remaining CPU time: 94.439 s c =============================================================================== c | 840 | 996 1582 495850 | 5000 840 718 | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 85.8679 s Remaining CPU time: 94.1321 s c =============================================================================== c | 841 | 996 1583 496700 | 5000 841 718 | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 86.2679 s Remaining CPU time: 93.7321 s c =============================================================================== c | 848 | 996 1584 497550 | 5000 848 717 | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 86.6168 s Remaining CPU time: 93.3832 s c =============================================================================== c | 853 | 996 1585 498400 | 5000 853 717 | 0.000 % | c =============================================================================== c New solution: 3759 c Elapsed CPU time: 86.9288 s Remaining CPU time: 93.0712 s c =============================================================================== c | 855 | 996 1586 499250 | 5000 855 717 | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 87.2777 s Remaining CPU time: 92.7223 s c =============================================================================== c | 871 | 996 1587 500100 | 5000 871 717 | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 87.7157 s Remaining CPU time: 92.2843 s c =============================================================================== c | 887 | 996 1588 500950 | 5000 887 717 | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 88.2316 s Remaining CPU time: 91.7684 s c =============================================================================== c | 908 | 996 1589 501800 | 5000 908 716 | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 88.5665 s Remaining CPU time: 91.4335 s c =============================================================================== c | 912 | 996 1590 502650 | 5000 912 716 | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 89.1544 s Remaining CPU time: 90.8456 s c =============================================================================== c | 955 | 996 1591 503500 | 5000 955 715 | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 89.8673 s Remaining CPU time: 90.1327 s c =============================================================================== c | 1000 | 996 1592 504350 | 5000 1000 715 | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 90.2943 s Remaining CPU time: 89.7057 s c =============================================================================== c | 1018 | 996 1593 505200 | 5000 1018 715 | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 90.7222 s Remaining CPU time: 89.2778 s c =============================================================================== c | 1040 | 996 1594 506050 | 5000 1040 715 | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 91.0522 s Remaining CPU time: 88.9478 s c =============================================================================== c | 1045 | 996 1595 506900 | 5000 1045 715 | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 91.4661 s Remaining CPU time: 88.5339 s c =============================================================================== c | 1061 | 996 1596 507750 | 5000 1061 715 | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 91.823 s Remaining CPU time: 88.177 s c =============================================================================== c | 1072 | 996 1597 508600 | 5000 1072 715 | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 92.412 s Remaining CPU time: 87.588 s c =============================================================================== c | 1099 | 996 1598 509450 | 5000 1099 715 | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 92.9369 s Remaining CPU time: 87.0631 s c =============================================================================== c | 1118 | 996 1599 510300 | 5000 1118 715 | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 93.2638 s Remaining CPU time: 86.7362 s c =============================================================================== c | 1124 | 996 1600 511150 | 5000 1124 715 | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 93.6028 s Remaining CPU time: 86.3972 s c =============================================================================== c | 1133 | 996 1601 512000 | 5000 1133 715 | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 94.0437 s Remaining CPU time: 85.9563 s c =============================================================================== c | 1181 | 996 1602 512850 | 5000 1181 715 | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 94.3906 s Remaining CPU time: 85.6094 s c =============================================================================== c | 1189 | 996 1603 513700 | 5000 1189 714 | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 94.8566 s Remaining CPU time: 85.1434 s c =============================================================================== c | 1203 | 996 1604 514550 | 5000 1203 714 | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 95.4635 s Remaining CPU time: 84.5365 s c =============================================================================== c | 1232 | 996 1605 515400 | 5000 1232 714 | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 95.8844 s Remaining CPU time: 84.1156 s c =============================================================================== c | 1261 | 996 1606 516250 | 5000 1261 714 | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 96.4313 s Remaining CPU time: 83.5687 s c =============================================================================== c | 1282 | 996 1607 517100 | 5000 1282 714 | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 96.8593 s Remaining CPU time: 83.1407 s c =============================================================================== c | 1294 | 996 1608 517950 | 5000 1294 714 | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 97.2202 s Remaining CPU time: 82.7798 s c =============================================================================== c | 1301 | 996 1609 518800 | 5000 1301 713 | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 97.6372 s Remaining CPU time: 82.3628 s c =============================================================================== c | 1316 | 996 1610 519650 | 5000 1316 713 | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 97.9601 s Remaining CPU time: 82.0399 s c =============================================================================== c | 1321 | 996 1611 520500 | 5000 1321 713 | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 98.373 s Remaining CPU time: 81.627 s c =============================================================================== c | 1335 | 996 1612 521350 | 5000 1335 713 | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 98.747 s Remaining CPU time: 81.253 s c =============================================================================== c | 1343 | 996 1613 522200 | 5000 1343 713 | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 99.1179 s Remaining CPU time: 80.8821 s c =============================================================================== c | 1355 | 996 1614 523050 | 5000 1355 713 | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 99.4199 s Remaining CPU time: 80.5801 s c =============================================================================== c | 1359 | 996 1615 523900 | 5000 1359 713 | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 99.7408 s Remaining CPU time: 80.2592 s c =============================================================================== c | 1364 | 996 1616 524750 | 5000 1364 713 | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 100.119 s Remaining CPU time: 79.8812 s c =============================================================================== c | 1374 | 996 1617 525600 | 5000 1374 713 | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 100.418 s Remaining CPU time: 79.5823 s c =============================================================================== c | 1375 | 996 1618 526450 | 5000 1375 713 | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 101.321 s Remaining CPU time: 78.6794 s c =============================================================================== c | 1456 | 996 1619 527300 | 5000 1456 712 | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 101.766 s Remaining CPU time: 78.2345 s c =============================================================================== c | 1475 | 996 1620 528150 | 5000 1475 712 | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 102.085 s Remaining CPU time: 77.9145 s c =============================================================================== c | 1484 | 996 1621 529000 | 5000 1484 712 | 0.000 % | c | 1584 | 996 1621 529000 | 5500 1584 712 | 0.400 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 103.409 s Remaining CPU time: 76.5907 s c =============================================================================== c | 1600 | 996 1622 529850 | 5000 1600 711 | 0.400 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 103.824 s Remaining CPU time: 76.1758 s c =============================================================================== c | 1629 | 996 1623 530700 | 5000 1629 711 | 0.400 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 104.212 s Remaining CPU time: 75.7878 s c =============================================================================== c | 1643 | 996 1624 531550 | 5000 1643 711 | 0.400 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 104.54 s Remaining CPU time: 75.4599 s c =============================================================================== c | 1650 | 996 1625 532400 | 5000 1650 711 | 0.400 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 104.878 s Remaining CPU time: 75.1219 s c =============================================================================== c | 1658 | 996 1626 533250 | 5000 1658 711 | 0.400 % | c | 1760 | 996 1626 533250 | 5500 1760 710 | 0.400 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 106.226 s Remaining CPU time: 73.7741 s c =============================================================================== c | 1847 | 996 1627 534100 | 5000 1847 710 | 0.400 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 107.027 s Remaining CPU time: 72.9733 s c =============================================================================== c | 1930 | 996 1628 534950 | 5000 1930 710 | 0.400 % | c | 2030 | 996 1628 534950 | 5500 2030 709 | 0.400 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 108.599 s Remaining CPU time: 71.4005 s c =============================================================================== c | 2082 | 996 1629 535800 | 5000 2082 708 | 0.400 % | c | 2182 | 996 1629 535800 | 5500 2182 708 | 0.400 % | c | 2332 | 996 1629 535800 | 6050 2332 707 | 0.400 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 111.405 s Remaining CPU time: 68.5949 s c =============================================================================== c | 2412 | 996 1630 536650 | 5000 2412 707 | 0.400 % | c | 2512 | 996 1630 536650 | 5500 2512 707 | 0.400 % | c | 2662 | 996 1630 536650 | 6050 2662 706 | 0.400 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 114.149 s Remaining CPU time: 65.8514 s c =============================================================================== c | 2762 | 996 1631 537500 | 5000 2762 706 | 0.400 % | c | 2862 | 996 1631 537500 | 5500 2862 706 | 0.400 % | c | 3014 | 996 1631 537500 | 6050 3014 705 | 0.400 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 116.495 s Remaining CPU time: 63.5047 s c =============================================================================== c | 3023 | 996 1632 538350 | 5000 3023 705 | 0.400 % | c | 3123 | 996 1632 538350 | 5500 3123 705 | 0.400 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 117.904 s Remaining CPU time: 62.0959 s c =============================================================================== c | 3192 | 996 1633 539200 | 5000 3192 705 | 0.400 % | c | 3292 | 996 1633 539200 | 5500 3292 705 | 0.400 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 119.63 s Remaining CPU time: 60.3702 s c =============================================================================== c | 3379 | 996 1634 540050 | 5000 3379 705 | 0.400 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 120.151 s Remaining CPU time: 59.8493 s c =============================================================================== c | 3427 | 996 1635 540900 | 5000 3427 705 | 0.400 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 120.54 s Remaining CPU time: 59.4603 s c =============================================================================== c | 3442 | 996 1636 541750 | 5000 3442 705 | 0.400 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 121.176 s Remaining CPU time: 58.8244 s c =============================================================================== c | 3497 | 996 1637 542600 | 5000 3497 705 | 0.400 % | c | 3597 | 996 1637 542600 | 5500 3597 705 | 0.400 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 122.816 s Remaining CPU time: 57.1837 s c =============================================================================== c | 3742 | 996 1638 543450 | 5000 3742 705 | 0.400 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 123.167 s Remaining CPU time: 56.8327 s c =============================================================================== c | 3752 | 996 1639 544300 | 5000 3752 704 | 0.400 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 123.75 s Remaining CPU time: 56.2498 s c =============================================================================== c | 3835 | 996 1640 545150 | 5000 3835 704 | 0.400 % | c | 3935 | 996 1640 545150 | 5500 3935 704 | 0.400 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 125.293 s Remaining CPU time: 54.707 s c =============================================================================== c | 4026 | 996 1641 546000 | 5000 4026 704 | 0.400 % | c | 4126 | 996 1641 546000 | 5500 4126 704 | 0.400 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 126.602 s Remaining CPU time: 53.3982 s c =============================================================================== c | 4131 | 996 1642 546850 | 5000 4131 704 | 0.400 % | c | 4231 | 996 1642 546850 | 5500 4231 704 | 0.400 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 127.964 s Remaining CPU time: 52.0365 s c =============================================================================== c | 4271 | 996 1643 547700 | 5000 4271 704 | 0.400 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 128.55 s Remaining CPU time: 51.4495 s c =============================================================================== c | 4313 | 996 1644 548550 | 5000 4313 704 | 0.400 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 129.07 s Remaining CPU time: 50.9296 s c =============================================================================== c | 4355 | 996 1645 549400 | 5000 4355 704 | 0.400 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 129.495 s Remaining CPU time: 50.5047 s c =============================================================================== c | 4366 | 996 1646 550250 | 5000 4366 704 | 0.400 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 130.148 s Remaining CPU time: 49.8518 s c =============================================================================== c | 4452 | 996 1647 551100 | 5000 4452 704 | 0.400 % | c | 4556 | 996 1647 551100 | 5500 4556 703 | 0.400 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 131.51 s Remaining CPU time: 48.49 s c =============================================================================== c | 4593 | 996 1648 551950 | 5000 4593 703 | 0.400 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 132.077 s Remaining CPU time: 47.9231 s c =============================================================================== c | 4636 | 996 1649 552800 | 5000 4636 703 | 0.400 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 132.705 s Remaining CPU time: 47.2952 s c =============================================================================== c | 4698 | 996 1650 553650 | 5000 4698 703 | 0.400 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 133.229 s Remaining CPU time: 46.7713 s c =============================================================================== c | 4755 | 996 1651 554500 | 5000 4755 703 | 0.400 % | c | 4855 | 996 1651 554500 | 5500 4855 703 | 0.400 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 134.904 s Remaining CPU time: 45.0955 s c =============================================================================== c | 5000 | 996 1652 555350 | 5000 5000 702 | 0.400 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 135.709 s Remaining CPU time: 44.2906 s c =============================================================================== c | 5074 | 996 1653 556200 | 5000 5074 702 | 0.400 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 136.062 s Remaining CPU time: 43.9377 s c =============================================================================== c | 5080 | 996 1654 557050 | 5000 2543 694 | 0.400 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 136.421 s Remaining CPU time: 43.5787 s c =============================================================================== c | 5118 | 996 1655 557900 | 5000 2581 694 | 0.400 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 136.768 s Remaining CPU time: 43.2318 s c =============================================================================== c | 5124 | 996 1656 558750 | 5000 2587 694 | 0.400 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 137.403 s Remaining CPU time: 42.5969 s c =============================================================================== c | 5187 | 996 1657 559600 | 5000 2650 694 | 0.400 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 137.782 s Remaining CPU time: 42.2179 s c =============================================================================== c | 5197 | 996 1658 560450 | 5000 2660 694 | 0.400 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 138.167 s Remaining CPU time: 41.833 s c =============================================================================== c | 5210 | 996 1659 561300 | 5000 2673 694 | 0.400 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 138.653 s Remaining CPU time: 41.3471 s c =============================================================================== c | 5234 | 996 1660 562150 | 5000 2697 694 | 0.400 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 139.076 s Remaining CPU time: 40.9241 s c =============================================================================== c | 5246 | 996 1661 563000 | 5000 2709 694 | 0.400 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 139.58 s Remaining CPU time: 40.4202 s c =============================================================================== c | 5269 | 996 1662 563850 | 5000 2732 694 | 0.400 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 140.175 s Remaining CPU time: 39.8253 s c =============================================================================== c | 5327 | 996 1663 564700 | 5000 2790 694 | 0.400 % | c | 5428 | 996 1663 564700 | 5500 2891 694 | 0.400 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 141.248 s Remaining CPU time: 38.7525 s c =============================================================================== c | 5462 | 996 1664 565550 | 5000 2925 694 | 0.400 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 141.787 s Remaining CPU time: 38.2126 s c =============================================================================== c | 5507 | 996 1665 566400 | 5000 2970 694 | 0.400 % | c | 5607 | 996 1665 566400 | 5500 3070 694 | 0.400 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 143.123 s Remaining CPU time: 36.8768 s c =============================================================================== c | 5641 | 996 1666 567250 | 5000 3104 694 | 0.400 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 143.468 s Remaining CPU time: 36.5318 s c =============================================================================== c | 5653 | 996 1667 568100 | 5000 3116 694 | 0.400 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 143.831 s Remaining CPU time: 36.1689 s c =============================================================================== c | 5661 | 996 1668 568950 | 5000 3124 694 | 0.400 % | c | 5761 | 996 1668 568950 | 5500 3224 693 | 0.400 % | c =============================================================================== c New solution: 3676 c Elapsed CPU time: 145.404 s Remaining CPU time: 34.5961 s c =============================================================================== c | 5848 | 996 1669 569800 | 5000 3311 693 | 0.400 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 146.071 s Remaining CPU time: 33.9292 s c =============================================================================== c | 5921 | 996 1670 570650 | 5000 3384 694 | 0.400 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 146.92 s Remaining CPU time: 33.0803 s c =============================================================================== c | 5973 | 996 1671 571500 | 5000 3436 694 | 0.400 % | c | 6073 | 996 1671 571500 | 5500 3536 693 | 0.400 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 148.201 s Remaining CPU time: 31.7985 s c =============================================================================== c | 6127 | 996 1672 572350 | 5000 3590 693 | 0.400 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 148.709 s Remaining CPU time: 31.2906 s c =============================================================================== c | 6161 | 996 1673 573200 | 5000 3624 693 | 0.400 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 149.16 s Remaining CPU time: 30.8397 s c =============================================================================== c | 6180 | 996 1674 574050 | 5000 3643 693 | 0.400 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 149.587 s Remaining CPU time: 30.4127 s c =============================================================================== c | 6193 | 996 1675 574900 | 5000 3656 693 | 0.400 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 149.917 s Remaining CPU time: 30.0828 s c =============================================================================== c | 6193 | 996 1676 575750 | 5000 3656 693 | 0.400 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 150.351 s Remaining CPU time: 29.6489 s c =============================================================================== c | 6225 | 996 1677 576600 | 5000 3688 693 | 0.400 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 150.856 s Remaining CPU time: 29.1439 s c =============================================================================== c | 6248 | 996 1678 577450 | 5000 3711 693 | 0.400 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 151.219 s Remaining CPU time: 28.781 s c =============================================================================== c | 6251 | 996 1679 578300 | 5000 3714 693 | 0.400 % | c | 6352 | 996 1679 578300 | 5500 3815 693 | 0.400 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 152.589 s Remaining CPU time: 27.4112 s c =============================================================================== c | 6410 | 996 1680 579150 | 5000 3873 693 | 0.400 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 152.928 s Remaining CPU time: 27.0722 s c =============================================================================== c | 6414 | 996 1681 580000 | 5000 3877 693 | 0.400 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 153.469 s Remaining CPU time: 26.5313 s c =============================================================================== c | 6453 | 996 1682 580850 | 5000 3916 693 | 0.400 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 154.107 s Remaining CPU time: 25.8934 s c =============================================================================== c | 6493 | 996 1683 581700 | 5000 3956 693 | 0.400 % | c | 6593 | 996 1683 581700 | 5500 4056 693 | 0.400 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 155.261 s Remaining CPU time: 24.7386 s c =============================================================================== c | 6594 | 996 1684 582550 | 5000 4057 693 | 0.400 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 155.872 s Remaining CPU time: 24.1277 s c =============================================================================== c | 6660 | 996 1685 583400 | 5000 4123 693 | 0.400 % | c | 6760 | 996 1685 583400 | 5500 4223 693 | 0.400 % | c | 6910 | 996 1685 583400 | 6050 4373 692 | 0.400 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 158.258 s Remaining CPU time: 21.7421 s c =============================================================================== c | 6970 | 996 1686 584250 | 5000 4433 692 | 0.400 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 159.114 s Remaining CPU time: 20.8862 s c =============================================================================== c | 7046 | 996 1687 585100 | 5000 4509 692 | 0.400 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 159.68 s Remaining CPU time: 20.3203 s c =============================================================================== c | 7114 | 996 1688 585950 | 5000 4577 692 | 0.400 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 160.455 s Remaining CPU time: 19.5454 s c =============================================================================== c | 7171 | 996 1689 586800 | 5000 4634 692 | 0.400 % | c | 7271 | 996 1689 586800 | 5500 4734 692 | 0.400 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 161.9 s Remaining CPU time: 18.0996 s c =============================================================================== c | 7399 | 996 1690 587650 | 5000 4862 692 | 0.400 % | c | 7500 | 996 1690 587650 | 5500 4963 692 | 0.400 % | c | 7650 | 996 1690 587650 | 6050 5113 692 | 0.400 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 164.476 s Remaining CPU time: 15.524 s c =============================================================================== c | 7695 | 996 1691 588500 | 5000 5158 692 | 0.400 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 165.166 s Remaining CPU time: 14.8341 s c =============================================================================== c | 7752 | 996 1692 589350 | 5000 2636 685 | 0.400 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 165.611 s Remaining CPU time: 14.3892 s c =============================================================================== c | 7777 | 996 1693 590200 | 5000 2661 685 | 0.400 % | c | 7877 | 996 1693 590200 | 5500 2761 685 | 0.400 % | c | 8027 | 996 1693 590200 | 6050 2911 685 | 0.400 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 167.856 s Remaining CPU time: 12.1435 s c =============================================================================== c | 8070 | 996 1694 591050 | 5000 2954 685 | 0.400 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 168.49 s Remaining CPU time: 11.5096 s c =============================================================================== c | 8169 | 996 1695 591900 | 5000 3053 685 | 0.400 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 169.009 s Remaining CPU time: 10.9907 s c =============================================================================== c | 8202 | 996 1696 592750 | 5000 3086 685 | 0.400 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 169.562 s Remaining CPU time: 10.4378 s c =============================================================================== c | 8258 | 996 1697 593600 | 5000 3142 685 | 0.400 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 170.514 s Remaining CPU time: 9.48592 s c =============================================================================== c | 8344 | 996 1698 594450 | 5000 3228 685 | 0.400 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 171.054 s Remaining CPU time: 8.94601 s c =============================================================================== c | 8384 | 996 1699 595300 | 5000 3268 685 | 0.400 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 171.51 s Remaining CPU time: 8.49007 s c =============================================================================== c | 8402 | 996 1700 596150 | 5000 3286 685 | 0.400 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 172.133 s Remaining CPU time: 7.86717 s c =============================================================================== c | 8436 | 996 1701 597000 | 5000 3320 685 | 0.400 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 172.767 s Remaining CPU time: 7.23326 s c =============================================================================== c | 8464 | 996 1702 597850 | 5000 3348 685 | 0.400 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 173.211 s Remaining CPU time: 6.78933 s c =============================================================================== c | 8490 | 996 1703 598700 | 5000 3374 685 | 0.400 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 173.558 s Remaining CPU time: 6.44239 s c =============================================================================== c | 8490 | 996 1704 599550 | 5000 3374 685 | 0.400 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 174.079 s Remaining CPU time: 5.92146 s c =============================================================================== c | 8517 | 996 1705 600400 | 5000 3401 685 | 0.400 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 174.697 s Remaining CPU time: 5.30256 s c =============================================================================== c | 8549 | 996 1706 601250 | 5000 3433 685 | 0.400 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 175.194 s Remaining CPU time: 4.80563 s c =============================================================================== c | 8582 | 996 1707 602100 | 5000 3466 685 | 0.400 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 175.652 s Remaining CPU time: 4.3477 s c =============================================================================== c | 8594 | 996 1708 602950 | 5000 3478 685 | 0.400 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 176.255 s Remaining CPU time: 3.7448 s c =============================================================================== c | 8641 | 996 1709 603800 | 5000 3525 685 | 0.400 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 176.995 s Remaining CPU time: 3.00491 s c =============================================================================== c | 8708 | 996 1710 604650 | 5000 3592 685 | 0.400 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 177.664 s Remaining CPU time: 2.33601 s c =============================================================================== c | 8777 | 996 1711 605500 | 5000 3661 684 | 0.400 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 178.271 s Remaining CPU time: 1.7291 s c =============================================================================== c | 8809 | 996 1712 606350 | 5000 3693 684 | 0.400 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 179.017 s Remaining CPU time: 0.983215 s c =============================================================================== c | 8875 | 996 1713 607200 | 5000 3759 684 | 0.400 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 179.419 s Remaining CPU time: 0.581276 s c =============================================================================== c | 8896 | 996 1714 608050 | 5000 3780 684 | 0.400 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 179.773 s Remaining CPU time: 0.22733 s c =============================================================================== c | 8897 | 996 1715 608900 | 5000 3781 684 | 0.400 % | c There are 4 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 | 554 2860 3418 | 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 | 559 2865 3426 | 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 | 568 2873 3436 | 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 | 576 2880 3447 | 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 | 584 2887 3460 | 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 | 593 2895 3472 | 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 | 602 2903 3482 | 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 | 610 2910 3495 | 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 | 618 2917 3508 | 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 | 627 2925 3518 | 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 | 639 2932 3559 | 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 | 650 2940 3578 | 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 | 663 2946 3607 | 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 | 671 2953 3620 | 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 | 681 2962 3637 | 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 2970 3660 | 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 | 702 2979 3671 | 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 | 712 2986 3689 | 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 | 721 2994 3699 | 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 | 732 3000 3739 | 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 3008 3763 | 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 | 750 3012 3779 | 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 | 758 3019 3788 | 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 | 768 3028 3799 | 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 | 780 3037 3817 | 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 | 789 3041 3841 | 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 | 799 3050 3854 | 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 3059 3876 | 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 | 822 3067 3905 | 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 | 835 3075 3937 | 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 | 846 3083 3954 | 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 | 857 3091 3969 | 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 | 882 3112 4013 | 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 | 894 3121 4029 | 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 | 905 3127 4057 | 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 | 912 3134 4068 | 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 | 923 3140 4116 | 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 | 951 3163 4166 | 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 | 961 3172 4187 | 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 | 974 3180 4219 | 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 | 981 3186 4227 | 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 | 992 3196 4247 | 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 | 1001 3204 4259 | 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 | 1009 3211 4274 | 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 | 1021 3220 4292 | 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 | 1035 3231 4308 | 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 | 1047 3240 4330 | 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 | 1062 3254 4358 | 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 | 1073 3262 4375 | 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 | 1082 3268 4390 | 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 | 1089 3274 4398 | 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 | 1097 3281 4411 | 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 | 1107 3288 4433 | 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 3294 4443 | 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 | 1122 3301 4454 | 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 | 1131 3309 4474 | 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 | 1142 3319 4488 | 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 | 1156 3324 4535 | 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 | 1177 3337 4582 | 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 | 1186 3343 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 | 1196 3350 4617 | 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 | 1204 3357 4630 | 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 | 1211 3363 4642 | 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 | 1223 3374 4663 | 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 | 1229 3379 4672 | 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 | 1235 3383 4687 | 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 | 1240 3389 4707 | 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 | 1253 3399 4732 | 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 | 1259 3404 4743 | 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 | 1267 3411 4756 | 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 | 1275 3418 4769 | 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 | 1282 3420 4791 | 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 | 1294 3431 4813 | 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 | 1304 3440 4826 | 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 | 1313 3446 4845 | 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 | 1320 3452 4859 | 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 | 1328 3457 4869 | 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 | 1334 3462 4878 | 5000 0 nan | 0.000 % | c ===============================================================================