c wbo 1.4 beta - 20100610 c | Number of variables: 400 | c | Number of clauses: 4669 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 570 | c | Number Clauses: 4663 | 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 | 570 4663 9550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 176 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 570 4664 9726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 175 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 570 4665 9902 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 174 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 570 4666 10078 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 173 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 570 4667 10254 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 172 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 570 4668 10430 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 171 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 570 4669 10606 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 170 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 570 4670 10782 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 169 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s c =============================================================================== c | 0 | 570 4671 10958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 168 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 570 4672 11134 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 167 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 570 4673 11310 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 166 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 570 4674 11486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 165 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 570 4675 11662 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 570 4676 11838 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 570 4677 12014 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 162 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 570 4678 12190 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 161 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 570 4679 12366 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 160 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 570 4680 12542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 159 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 570 4681 12718 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 158 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 2 | 570 4682 12894 | 5000 2 160 | 0.000 % | c =============================================================================== c New solution: 157 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 3 | 570 4683 13070 | 5000 3 159 | 0.000 % | c =============================================================================== c New solution: 156 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 3 | 570 4684 13246 | 5000 3 159 | 0.000 % | c =============================================================================== c New solution: 155 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 6 | 570 4685 13422 | 5000 6 157 | 0.000 % | c =============================================================================== c New solution: 154 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 7 | 570 4686 13598 | 5000 7 157 | 0.000 % | c =============================================================================== c New solution: 153 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 10 | 570 4687 13774 | 5000 10 156 | 0.000 % | c =============================================================================== c New solution: 152 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 12 | 570 4688 13950 | 5000 12 155 | 0.000 % | c =============================================================================== c New solution: 151 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 14 | 570 4689 14126 | 5000 14 155 | 0.000 % | c =============================================================================== c New solution: 150 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 16 | 570 4690 14302 | 5000 16 154 | 0.000 % | c =============================================================================== c New solution: 149 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 18 | 570 4691 14478 | 5000 18 153 | 0.000 % | c | 118 | 570 4691 14478 | 5500 118 150 | 0.000 % | c =============================================================================== c New solution: 148 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 160 | 570 4692 14654 | 5000 160 150 | 0.000 % | c =============================================================================== c New solution: 147 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 169 | 570 4693 14830 | 5000 169 150 | 0.000 % | c =============================================================================== c New solution: 146 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 183 | 570 4694 15006 | 5000 183 150 | 0.000 % | c | 284 | 570 4694 15006 | 5500 284 148 | 0.000 % | c =============================================================================== c New solution: 145 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 331 | 570 4695 15182 | 5000 331 148 | 0.000 % | c | 431 | 570 4695 15182 | 5500 431 147 | 0.000 % | c | 581 | 570 4695 15182 | 6050 581 147 | 0.000 % | c =============================================================================== c New solution: 144 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 652 | 570 4696 15358 | 5000 652 146 | 0.000 % | c | 752 | 570 4696 15358 | 5500 752 146 | 0.000 % | c | 903 | 570 4696 15358 | 6050 903 146 | 0.000 % | c | 1128 | 570 4696 15358 | 6655 1128 145 | 0.000 % | c =============================================================================== c New solution: 143 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 1203 | 570 4697 15534 | 5000 1203 145 | 0.000 % | c | 1304 | 570 4697 15534 | 5500 1304 145 | 0.000 % | c | 1455 | 570 4697 15534 | 6050 1455 145 | 0.000 % | c | 1681 | 570 4697 15534 | 6655 1681 145 | 0.000 % | c | 2019 | 570 4697 15534 | 7320 2019 145 | 0.000 % | c =============================================================================== c New solution: 142 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 2079 | 570 4698 15710 | 5000 2079 145 | 0.000 % | c | 2180 | 570 4698 15710 | 5500 2180 145 | 0.000 % | c | 2331 | 570 4698 15710 | 6050 2331 144 | 0.000 % | c | 2556 | 570 4698 15710 | 6655 2556 144 | 0.000 % | c =============================================================================== c New solution: 141 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 2658 | 570 4699 15886 | 5000 2658 144 | 0.000 % | c | 2758 | 570 4699 15886 | 5500 2758 144 | 0.000 % | c | 2908 | 570 4699 15886 | 6050 2908 144 | 0.000 % | c | 3133 | 570 4699 15886 | 6655 3133 144 | 0.000 % | c | 3470 | 570 4699 15886 | 7320 3470 143 | 0.000 % | c =============================================================================== c New solution: 140 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 3638 | 570 4700 16062 | 5000 3638 143 | 0.000 % | c | 3740 | 570 4700 16062 | 5500 3740 143 | 0.000 % | c | 3891 | 570 4700 16062 | 6050 3891 143 | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.533918 s Remaining CPU time: 179.466 s c =============================================================================== c | 3947 | 570 4701 16238 | 5000 3947 143 | 0.000 % | c | 4047 | 570 4701 16238 | 5500 4047 143 | 0.000 % | c | 4198 | 570 4701 16238 | 6050 4198 143 | 0.000 % | c | 4423 | 570 4701 16238 | 6655 4423 143 | 0.000 % | c =============================================================================== c New solution: 138 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s c =============================================================================== c | 4604 | 570 4702 16414 | 5000 4604 143 | 0.000 % | c | 4704 | 570 4702 16414 | 5500 4704 143 | 0.000 % | c | 4855 | 570 4702 16414 | 6050 4855 142 | 0.000 % | c | 5080 | 570 4702 16414 | 6655 5080 142 | 0.000 % | c | 5417 | 570 4702 16414 | 7320 5417 142 | 0.000 % | c =============================================================================== c New solution: 137 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s c =============================================================================== c | 5617 | 570 4703 16590 | 5000 5617 142 | 0.000 % | c | 5717 | 570 4703 16590 | 5500 2909 139 | 0.000 % | c | 5868 | 570 4703 16590 | 6050 3060 139 | 0.000 % | c | 6093 | 570 4703 16590 | 6655 3285 139 | 0.000 % | c | 6430 | 570 4703 16590 | 7320 3622 139 | 0.000 % | c | 6936 | 570 4703 16590 | 8052 4128 139 | 0.000 % | c =============================================================================== c New solution: 136 c Elapsed CPU time: 0.997848 s Remaining CPU time: 179.002 s c =============================================================================== c | 7017 | 570 4704 16766 | 5000 4209 139 | 0.000 % | c | 7117 | 570 4704 16766 | 5500 4309 139 | 0.000 % | c | 7267 | 570 4704 16766 | 6050 4459 139 | 0.000 % | c | 7493 | 570 4704 16766 | 6655 4685 139 | 0.000 % | c | 7831 | 570 4704 16766 | 7320 5023 138 | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 8252 | 570 4705 16942 | 5000 5444 138 | 0.000 % | c | 8352 | 570 4705 16942 | 5500 2822 137 | 0.000 % | c | 8503 | 570 4705 16942 | 6050 2973 137 | 0.000 % | c | 8728 | 570 4705 16942 | 6655 3198 137 | 0.000 % | c | 9065 | 570 4705 16942 | 7320 3535 137 | 0.000 % | c | 9571 | 570 4705 16942 | 8052 4041 136 | 0.000 % | c | 10330 | 570 4705 16942 | 8857 4800 136 | 0.000 % | c | 11470 | 570 4705 16942 | 9743 5940 136 | 0.000 % | c | 13179 | 570 4705 16942 | 10717 7649 136 | 0.000 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 2.20966 s Remaining CPU time: 177.79 s c =============================================================================== c | 14952 | 570 4706 17118 | 5000 9422 136 | 0.000 % | c | 15052 | 570 4706 17118 | 5500 4811 136 | 0.000 % | c | 15203 | 570 4706 17118 | 6050 4962 136 | 0.000 % | c | 15428 | 570 4706 17118 | 6655 5187 136 | 0.000 % | c | 15766 | 570 4706 17118 | 7320 5525 136 | 0.000 % | c | 16272 | 570 4706 17118 | 8052 6031 136 | 0.000 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 2.53062 s Remaining CPU time: 177.469 s c =============================================================================== c | 16390 | 570 4707 17294 | 5000 6149 135 | 0.000 % | c | 16490 | 570 4707 17294 | 5500 3175 135 | 0.000 % | c | 16640 | 570 4707 17294 | 6050 3325 135 | 0.000 % | c | 16865 | 570 4707 17294 | 6655 3550 135 | 0.000 % | c | 17202 | 570 4707 17294 | 7320 3887 135 | 0.000 % | c | 17708 | 570 4707 17294 | 8052 4393 135 | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 2.82957 s Remaining CPU time: 177.17 s c =============================================================================== c | 17981 | 570 4708 17470 | 5000 4666 135 | 0.000 % | c | 18081 | 570 4708 17470 | 5500 4766 135 | 0.000 % | c | 18231 | 570 4708 17470 | 6050 4916 135 | 0.000 % | c | 18456 | 570 4708 17470 | 6655 5141 134 | 0.000 % | c | 18793 | 570 4708 17470 | 7320 5478 134 | 0.000 % | c | 19300 | 570 4708 17470 | 8052 5985 134 | 0.000 % | c | 20061 | 570 4708 17470 | 8857 6746 134 | 0.000 % | c | 21200 | 570 4708 17470 | 9743 7885 134 | 0.000 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 3.41148 s Remaining CPU time: 176.589 s c =============================================================================== c | 21852 | 570 4709 17646 | 5000 8537 134 | 0.000 % | c | 21952 | 570 4709 17646 | 5500 4369 133 | 0.000 % | c | 22102 | 570 4709 17646 | 6050 4519 133 | 0.000 % | c | 22327 | 570 4709 17646 | 6655 4744 133 | 0.000 % | c | 22665 | 570 4709 17646 | 7320 5082 133 | 0.000 % | c | 23172 | 570 4709 17646 | 8052 5589 133 | 0.000 % | c | 23931 | 570 4709 17646 | 8857 6348 133 | 0.000 % | c | 25070 | 570 4709 17646 | 9743 7487 133 | 0.000 % | c | 26778 | 570 4709 17646 | 10717 9195 133 | 0.000 % | c | 29340 | 570 4709 17646 | 11789 6328 132 | 0.000 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 5.20721 s Remaining CPU time: 174.793 s c =============================================================================== c | 31641 | 570 4710 17822 | 5000 8629 132 | 0.000 % | c | 31741 | 570 4710 17822 | 5500 4415 132 | 0.000 % | c | 31891 | 570 4710 17822 | 6050 4565 132 | 0.000 % | c | 32118 | 570 4710 17822 | 6655 4792 132 | 0.000 % | c | 32455 | 570 4710 17822 | 7320 5129 131 | 0.000 % | c | 32961 | 570 4710 17822 | 8052 5635 132 | 0.000 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 5.63014 s Remaining CPU time: 174.37 s c =============================================================================== c | 33324 | 570 4711 17998 | 5000 5998 132 | 0.000 % | c | 33424 | 570 4711 17998 | 5500 3099 131 | 0.000 % | c | 33574 | 570 4711 17998 | 6050 3249 131 | 0.000 % | c | 33800 | 570 4711 17998 | 6655 3475 131 | 0.000 % | c | 34137 | 570 4711 17998 | 7320 3812 131 | 0.000 % | c | 34644 | 570 4711 17998 | 8052 4319 131 | 0.000 % | c | 35404 | 570 4711 17998 | 8857 5079 131 | 0.000 % | c | 36543 | 570 4711 17998 | 9743 6218 131 | 0.000 % | c | 38252 | 570 4711 17998 | 10717 7927 131 | 0.000 % | c | 40814 | 570 4711 17998 | 11789 10489 131 | 0.000 % | c | 44659 | 570 4711 17998 | 12968 8356 130 | 0.000 % | c | 50425 | 570 4711 17998 | 14265 7550 131 | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 11.0073 s Remaining CPU time: 168.993 s c =============================================================================== c | 57498 | 570 4712 18174 | 5000 7407 131 | 0.000 % | c | 57598 | 570 4712 18174 | 5500 3804 131 | 0.000 % | c | 57748 | 570 4712 18174 | 6050 3954 131 | 0.000 % | c | 57975 | 570 4712 18174 | 6655 4181 131 | 0.000 % | c | 58312 | 570 4712 18174 | 7320 4518 130 | 0.000 % | c | 58818 | 570 4712 18174 | 8052 5024 130 | 0.000 % | c | 59578 | 570 4712 18174 | 8857 5784 130 | 0.000 % | c | 60718 | 570 4712 18174 | 9743 6924 130 | 0.000 % | c | 62427 | 570 4712 18174 | 10717 8633 130 | 0.000 % | c | 64989 | 570 4712 18174 | 11789 5769 129 | 0.000 % | c | 68833 | 570 4712 18174 | 12968 9613 129 | 0.000 % | c | 74599 | 570 4712 18174 | 14265 8814 129 | 0.000 % | c | 83248 | 570 4712 18174 | 15692 10262 129 | 0.000 % | c | 96223 | 570 4712 18174 | 17261 15324 130 | 0.000 % | c | 115684 | 570 4712 18174 | 18987 17378 130 | 0.000 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 28.5507 s Remaining CPU time: 151.449 s c =============================================================================== c | 117764 | 570 4713 18350 | 5000 9848 130 | 0.000 % | c | 117864 | 570 4713 18350 | 5500 5024 129 | 0.000 % | c | 118014 | 570 4713 18350 | 6050 5174 129 | 0.000 % | c | 118241 | 570 4713 18350 | 6655 5401 129 | 0.000 % | c | 118578 | 570 4713 18350 | 7320 5738 129 | 0.000 % | c | 119086 | 570 4713 18350 | 8052 6246 129 | 0.000 % | c | 119845 | 570 4713 18350 | 8857 7005 129 | 0.000 % | c | 120984 | 570 4713 18350 | 9743 8144 129 | 0.000 % | c | 122693 | 570 4713 18350 | 10717 9853 129 | 0.000 % | c | 125256 | 570 4713 18350 | 11789 6980 128 | 0.000 % | c | 129100 | 570 4713 18350 | 12968 10824 129 | 0.000 % | c | 134867 | 570 4713 18350 | 14265 10036 128 | 0.000 % | c | 143516 | 570 4713 18350 | 15692 11483 128 | 0.000 % | c | 156490 | 570 4713 18350 | 17261 8628 128 | 0.000 % | c | 175951 | 570 4713 18350 | 18987 10657 128 | 0.000 % | c | 205143 | 570 4713 18350 | 20886 11129 129 | 0.000 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 59.085 s Remaining CPU time: 120.915 s c =============================================================================== c | 226490 | 570 4714 18526 | 5000 11452 129 | 0.000 % | c | 226591 | 570 4714 18526 | 5500 2964 127 | 0.000 % | c | 226741 | 570 4714 18526 | 6050 3114 127 | 0.000 % | c | 226967 | 570 4714 18526 | 6655 3340 127 | 0.000 % | c | 227304 | 570 4714 18526 | 7320 3677 127 | 0.000 % | c | 227811 | 570 4714 18526 | 8052 4184 127 | 0.000 % | c | 228570 | 570 4714 18526 | 8857 4943 127 | 0.000 % | c | 229709 | 570 4714 18526 | 9743 6082 127 | 0.000 % | c | 231417 | 570 4714 18526 | 10717 7790 127 | 0.000 % | c | 233979 | 570 4714 18526 | 11789 10352 127 | 0.000 % | c | 237824 | 570 4714 18526 | 12968 8226 127 | 0.000 % | c | 243590 | 570 4714 18526 | 14265 7439 127 | 0.000 % | c | 252239 | 570 4714 18526 | 15692 8858 127 | 0.000 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 65.486 s Remaining CPU time: 114.514 s c =============================================================================== c | 254181 | 570 4715 18702 | 5000 10800 128 | 0.000 % | c | 254281 | 570 4715 18702 | 5500 2800 125 | 0.000 % | c | 254431 | 570 4715 18702 | 6050 2950 125 | 0.000 % | c | 254656 | 570 4715 18702 | 6655 3175 125 | 0.000 % | c | 254994 | 570 4715 18702 | 7320 3513 126 | 0.000 % | c | 255500 | 570 4715 18702 | 8052 4019 126 | 0.000 % | c | 256260 | 570 4715 18702 | 8857 4779 126 | 0.000 % | c | 257399 | 570 4715 18702 | 9743 5918 126 | 0.000 % | c | 259107 | 570 4715 18702 | 10717 7626 126 | 0.000 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 67.0878 s Remaining CPU time: 112.912 s c =============================================================================== c | 261360 | 570 4716 18878 | 5000 9879 127 | 0.000 % | c | 261460 | 570 4716 18878 | 5500 5040 125 | 0.000 % | c | 261610 | 570 4716 18878 | 6050 5190 125 | 0.000 % | c | 261835 | 570 4716 18878 | 6655 5415 126 | 0.000 % | c | 262172 | 570 4716 18878 | 7320 5752 126 | 0.000 % | c | 262679 | 570 4716 18878 | 8052 6259 126 | 0.000 % | c | 263439 | 570 4716 18878 | 8857 7019 126 | 0.000 % | c | 264578 | 570 4716 18878 | 9743 8158 126 | 0.000 % | c | 266286 | 570 4716 18878 | 10717 9866 126 | 0.000 % | c | 268848 | 570 4716 18878 | 11789 7000 124 | 0.000 % | c | 272692 | 570 4716 18878 | 12968 10844 125 | 0.000 % | c | 278458 | 570 4716 18878 | 14265 10031 125 | 0.000 % | c | 287107 | 570 4716 18878 | 15692 11466 125 | 0.000 % | c | 300081 | 570 4716 18878 | 17261 8601 125 | 0.000 % | c | 319543 | 570 4716 18878 | 18987 10654 125 | 0.000 % | c | 348735 | 570 4716 18878 | 20886 11162 125 | 0.000 % | c | 392524 | 570 4716 18878 | 22974 12862 126 | 0.000 % | c | 458209 | 570 4716 18878 | 25272 16614 126 | 0.000 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 150.765 s Remaining CPU time: 29.2349 s c =============================================================================== c | 539627 | 570 4717 19054 | 5000 25195 127 | 0.000 % | c | 539727 | 570 4717 19054 | 5500 2822 121 | 0.000 % | c | 539877 | 570 4717 19054 | 6050 2972 121 | 0.000 % | c | 540102 | 570 4717 19054 | 6655 3197 122 | 0.000 % | c | 540439 | 570 4717 19054 | 7320 3534 122 | 0.000 % | c | 540945 | 570 4717 19054 | 8052 4040 122 | 0.000 % | c | 541704 | 570 4717 19054 | 8857 4799 123 | 0.000 % | c | 542844 | 570 4717 19054 | 9743 5939 123 | 0.000 % | c | 544553 | 570 4717 19054 | 10717 7648 124 | 0.000 % | c | 547116 | 570 4717 19054 | 11789 10211 124 | 0.000 % | c | 550961 | 570 4717 19054 | 12968 8083 124 | 0.000 % | c | 556728 | 570 4717 19054 | 14265 7274 125 | 0.000 % | c | 565377 | 570 4717 19054 | 15692 8688 125 | 0.000 % | c | 578351 | 570 4717 19054 | 17261 13749 125 | 0.000 % | c | 597812 | 570 4717 19054 | 18987 15775 125 | 0.000 % | c | 627004 | 570 4717 19054 | 20886 16185 125 | 0.000 % |