0.00/0.00 c Parsing...
0.00/0.25 c ==============================================================================
0.00/0.25 c | | ORIGINAL | LEARNT | |
0.00/0.25 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.25 c ==============================================================================
0.00/0.25 c | 0 | 347216 1043884 | 104164 0 0 nan | 0.000 % |
4.18/4.22 c | 0 | 347216 1043900 | -- 0 -- -- | -- | 0/16
4.18/4.22 c ==============================================================================
4.18/4.22 c Result : #vars: 24352 #clauses: 347216 #literals: 1043900
4.18/4.22 c CPU time: 4.16837 s
4.18/4.22 c ==============================================================================
4.48/4.56 c This is MiniSat 2.0 beta
4.48/4.56 c WARNING: for repeatability, setting FPU to use double precision
4.48/4.56 c ============================[ Problem Statistics ]=============================
4.48/4.56 c | |
4.48/4.56 c | Number of variables: 24352 |
4.48/4.56 c | Number of clauses: 347216 |
4.54/4.74 c | Parsing time: 0.16 s |
4.54/4.76 c ============================[ Search Statistics ]==============================
4.54/4.76 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.54/4.76 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.54/4.76 c ===============================================================================
4.54/4.76 c | 0 | 24352 347216 1043900 | 115738 0 nan | 0.000 % |
4.54/4.79 c | 101 | 24352 347216 1043900 | 115738 101 492 | 0.000 % |
4.54/4.89 c | 204 | 24341 347216 1043900 | 115738 202 278 | 0.062 % |
4.54/4.91 c | 304 | 24332 347216 1043900 | 115738 299 209 | 0.148 % |
4.54/4.94 c | 414 | 24328 347216 1043900 | 115738 406 172 | 0.226 % |
4.54/4.96 c | 514 | 24324 347216 1043900 | 115738 505 152 | 0.250 % |
4.54/4.99 c | 624 | 24301 347216 1043900 | 115738 610 135 | 0.386 % |
4.54/5.01 c | 746 | 24298 347216 1043900 | 115738 730 124 | 0.435 % |
4.54/5.03 c | 848 | 24298 347216 1043900 | 115738 832 117 | 0.435 % |
4.54/5.05 c | 958 | 24296 347216 1043900 | 115738 941 114 | 0.460 % |
4.54/5.07 c | 1080 | 24287 347216 1043900 | 115738 1062 109 | 0.497 % |
4.54/5.10 c | 1214 | 24287 347216 1043900 | 115738 1196 104 | 0.497 % |
4.54/5.12 c | 1314 | 24282 347216 1043900 | 115738 1295 103 | 0.538 % |
4.54/5.14 c | 1425 | 24282 347216 1043900 | 115738 1406 106 | 0.538 % |
4.54/5.17 c | 1546 | 24281 347216 1043900 | 115738 1526 102 | 0.542 % |
4.54/5.19 c | 1680 | 24281 347216 1043900 | 115738 1660 100 | 0.542 % |
4.54/5.22 c | 1826 | 24273 347216 1043900 | 115738 1804 100 | 0.616 % |
4.54/5.24 c | 1926 | 24273 347216 1043900 | 115738 1904 100 | 0.616 % |
4.54/5.28 c | 2036 | 24196 346685 1042838 | 115738 2006 99 | 0.641 % |
4.54/5.31 c | 2158 | 24196 346685 1042838 | 115738 2128 96 | 0.641 % |
4.54/5.33 c | 2291 | 24196 346685 1042838 | 115738 2261 98 | 0.641 % |
4.54/5.36 c | 2437 | 24196 346685 1042838 | 115738 2407 97 | 0.641 % |
4.54/5.39 c | 2597 | 24196 346685 1042838 | 115738 2567 98 | 0.641 % |
5.38/5.42 c | 2698 | 24196 346685 1042838 | 115738 2668 97 | 0.641 % |
5.38/5.44 c | 2808 | 24196 346685 1042838 | 115738 2778 97 | 0.641 % |
5.38/5.46 c | 2930 | 24193 346685 1042838 | 115738 2899 97 | 0.673 % |
5.38/5.49 c | 3063 | 24193 346685 1042838 | 115738 3032 100 | 0.673 % |
5.47/5.52 c | 3209 | 24193 346685 1042838 | 115738 3178 101 | 0.673 % |
5.47/5.55 c | 3369 | 24193 346685 1042838 | 115738 3338 100 | 0.673 % |
5.47/5.59 c | 3545 | 24193 346685 1042838 | 115738 3514 101 | 0.673 % |
5.57/5.61 c | 3645 | 24183 346685 1042838 | 115738 3613 101 | 0.715 % |
5.57/5.64 c | 3755 | 24183 346685 1042838 | 115738 3723 102 | 0.715 % |
5.57/5.65 c | 3876 | 24183 346685 1042838 | 115738 3844 106 | 0.715 % |
5.57/5.69 c | 4009 | 24183 346685 1042838 | 115738 3977 105 | 0.715 % |
5.67/5.72 c | 4155 | 24183 346685 1042838 | 115738 4123 106 | 0.715 % |
5.67/5.75 c | 4315 | 24183 346685 1042838 | 115738 4283 106 | 0.715 % |
5.67/5.79 c | 4491 | 24183 346685 1042838 | 115738 4459 106 | 0.715 % |
5.86/5.98 c | 4684 | 24178 346685 1042838 | 115738 4652 115 | 0.715 % |
5.96/6.07 c | 4784 | 24178 346685 1042838 | 115738 4752 115 | 0.715 % |
6.06/6.10 c | 4896 | 24178 346685 1042838 | 115738 4864 117 | 0.715 % |
6.06/6.12 c | 5019 | 24178 346685 1042838 | 115738 4987 120 | 0.715 % |
6.27/6.33 c | 5152 | 24178 346685 1042838 | 115738 5120 121 | 0.715 % |
6.37/6.40 c | 5298 | 24178 346626 1042720 | 115738 5262 122 | 0.715 % |
6.37/6.44 c | 5459 | 24178 346626 1042720 | 115738 5423 126 | 0.715 % |
6.67/6.70 c | 5635 | 24178 346626 1042720 | 115738 5599 130 | 0.715 % |
6.67/6.77 c | 5828 | 24178 346626 1042720 | 115738 5792 144 | 0.715 % |
6.77/6.85 c | 6041 | 24177 346626 1042720 | 115738 6004 144 | 0.719 % |
6.77/6.87 c | 6141 | 24177 346626 1042720 | 115738 6104 145 | 0.719 % |
6.87/6.90 c | 6251 | 24175 346626 1042720 | 115738 6213 145 | 0.731 % |
6.87/6.92 c | 6372 | 24175 346626 1042720 | 115738 6334 145 | 0.731 % |
6.87/6.95 c | 6506 | 24175 346626 1042720 | 115738 6468 146 | 0.731 % |
6.87/6.99 c | 6652 | 24175 346626 1042720 | 115738 6614 146 | 0.731 % |
6.97/7.03 c | 6812 | 24175 346626 1042720 | 115738 6774 144 | 0.731 % |
6.97/7.07 c | 6988 | 24175 346626 1042720 | 115738 6950 144 | 0.731 % |
7.07/7.12 c | 7183 | 24175 346626 1042720 | 115738 7145 144 | 0.731 % |
7.07/7.17 c | 7398 | 24175 346626 1042720 | 115738 7360 145 | 0.731 % |
7.17/7.24 c | 7631 | 24175 346626 1042720 | 115738 7593 144 | 0.731 % |
7.17/7.27 c | 7731 | 24167 346626 1042720 | 115738 7692 143 | 0.772 % |
7.27/7.35 c | 7843 | 24164 346626 1042720 | 115738 7804 143 | 0.772 % |
7.37/7.41 c | 7964 | 24164 346626 1042720 | 115738 7925 143 | 0.772 % |
7.37/7.46 c | 8099 | 24164 346626 1042720 | 115738 8060 143 | 0.772 % |
7.37/7.49 c | 8245 | 24164 346626 1042720 | 115738 8206 144 | 0.772 % |
7.47/7.53 c | 8405 | 24162 346626 1042720 | 115738 8365 144 | 0.797 % |
7.47/7.58 c | 8583 | 24162 346626 1042720 | 115738 8543 146 | 0.797 % |
7.57/7.63 c | 8776 | 24162 346626 1042720 | 115738 8736 146 | 0.797 % |
7.57/7.70 c | 8989 | 24162 346626 1042720 | 115738 8949 146 | 0.797 % |
7.67/7.77 c | 9223 | 24162 346626 1042720 | 115738 9183 150 | 0.797 % |
7.77/7.83 c | 9481 | 24160 346626 1042720 | 115738 9440 152 | 0.813 % |
7.77/7.86 c | 9582 | 24160 346626 1042720 | 115738 9541 152 | 0.813 % |
7.77/7.89 c | 9693 | 24160 346626 1042720 | 115738 9652 152 | 0.813 % |
7.87/7.93 c | 9818 | 24160 346626 1042720 | 115738 9777 152 | 0.813 % |
7.87/7.97 c | 9951 | 24160 346626 1042720 | 115738 9910 152 | 0.813 % |
7.97/8.02 c | 10097 | 24160 346626 1042720 | 2147483647 10056 152 | 0.813 % |
7.97/8.09 c | 10257 | 24154 346542 1042552 | 2147483647 10192 152 | 0.813 % |
8.07/8.15 c | 10436 | 24154 346542 1042552 | 2147483647 10371 153 | 0.813 % |
8.17/8.21 c | 10629 | 24153 346542 1042552 | 2147483647 10563 153 | 0.838 % |
8.17/8.27 c | 10841 | 24153 346542 1042552 | 2147483647 10775 154 | 0.838 % |
8.27/8.39 c | 11074 | 24148 346542 1042552 | 2147483647 11008 161 | 0.838 % |
8.47/8.56 c | 11331 | 24148 346542 1042552 | 2147483647 11265 167 | 0.838 % |
8.56/8.68 c | 11612 | 24148 346542 1042552 | 2147483647 11546 176 | 0.838 % |
8.67/8.76 c | 11712 | 24148 346542 1042552 | 2147483647 11646 176 | 0.838 % |
8.77/8.80 c | 11823 | 24148 346542 1042552 | 2147483647 11757 175 | 0.838 % |
8.77/8.85 c | 11945 | 24148 346542 1042552 | 2147483647 11879 175 | 0.838 % |
8.77/8.89 c | 12080 | 24148 346542 1042552 | 2147483647 12014 175 | 0.838 % |
8.87/8.94 c | 12226 | 24148 346542 1042552 | 2147483647 12160 176 | 0.838 % |
8.97/9.04 c | 12386 | 24148 346542 1042552 | 2147483647 12320 177 | 0.838 % |
9.07/9.13 c | 12562 | 24148 346542 1042552 | 2147483647 12496 177 | 0.838 % |
9.17/9.23 c | 12755 | 24148 346542 1042552 | 2147483647 12689 179 | 0.838 % |
9.37/9.44 c | 12969 | 24148 346542 1042552 | 2147483647 12903 183 | 0.838 % |
9.57/9.63 c | 13202 | 24148 346542 1042552 | 2147483647 13136 182 | 0.838 % |
9.67/9.72 c | 13458 | 24148 346542 1042552 | 2147483647 13392 182 | 0.838 % |
9.77/9.82 c | 13742 | 24148 346542 1042552 | 2147483647 13676 183 | 0.838 % |
9.87/9.92 c | 14051 | 24148 346542 1042552 | 2147483647 13985 184 | 0.838 % |
9.87/9.96 c | 14152 | 24148 346542 1042552 | 2147483647 14086 183 | 0.838 % |
9.97/10.00 c | 14262 | 24148 346542 1042552 | 2147483647 14196 184 | 0.838 % |
9.97/10.06 c | 14383 | 24148 346542 1042552 | 2147483647 14317 183 | 0.838 % |
10.06/10.11 c | 14516 | 24148 346542 1042552 | 2147483647 14450 183 | 0.838 % |
10.06/10.17 c | 14663 | 24148 346542 1042552 | 2147483647 14597 183 | 0.838 % |
10.16/10.22 c | 14824 | 24148 346542 1042552 | 2147483647 14758 184 | 0.838 % |
10.26/10.33 c | 15000 | 24148 346542 1042552 | 2147483647 14934 185 | 0.838 % |
10.36/10.42 c | 15195 | 24148 346542 1042552 | 2147483647 15129 184 | 0.838 % |
10.46/10.56 c | 15407 | 24148 346542 1042552 | 2147483647 15341 186 | 0.838 % |
10.56/10.69 c | 15641 | 24148 346542 1042552 | 2147483647 15575 187 | 0.838 % |
10.76/10.81 c | 15898 | 24148 346542 1042552 | 2147483647 15832 187 | 0.838 % |
10.87/10.91 c | 16183 | 24148 346542 1042552 | 2147483647 16117 188 | 0.838 % |
10.97/11.04 c | 16493 | 24148 346542 1042552 | 2147483647 16427 188 | 0.838 % |
11.07/11.19 c | 16833 | 24148 346542 1042552 | 2147483647 16767 190 | 0.838 % |
11.17/11.24 c | 16936 | 24148 346542 1042552 | 2147483647 16870 190 | 0.838 % |
11.27/11.31 c | 17047 | 24148 346542 1042552 | 2147483647 16981 190 | 0.838 % |
11.27/11.37 c | 17168 | 24148 346542 1042552 | 2147483647 17102 190 | 0.838 % |
11.36/11.43 c | 17304 | 24148 346542 1042552 | 2147483647 17238 190 | 0.838 % |
11.36/11.48 c | 17450 | 24148 346542 1042552 | 2147483647 17384 190 | 0.838 % |
11.46/11.56 c | 17613 | 24148 346542 1042552 | 2147483647 17547 189 | 0.838 % |
11.56/11.66 c | 17789 | 24148 346542 1042552 | 2147483647 17723 189 | 0.838 % |
11.66/11.76 c | 17982 | 24148 346524 1042516 | 2147483647 17914 189 | 0.838 % |
11.76/11.85 c | 18194 | 24148 346524 1042516 | 2147483647 18126 190 | 0.838 % |
11.86/11.94 c | 18428 | 24148 346524 1042516 | 2147483647 18360 190 | 0.838 % |
12.07/12.14 c | 18685 | 24148 346524 1042516 | 2147483647 18617 191 | 0.838 % |
12.26/12.36 c | 18966 | 24148 346524 1042516 | 2147483647 18898 192 | 0.838 % |
12.36/12.48 c | 19278 | 24148 346524 1042516 | 2147483647 19210 193 | 0.838 % |
12.56/12.62 c | 19617 | 24148 346524 1042516 | 2147483647 19549 196 | 0.838 % |
12.86/12.91 c | 19989 | 24148 346524 1042516 | 2147483647 19921 198 | 0.838 % |
12.96/13.00 c | 20089 | 24148 346524 1042516 | 2147483647 20021 198 | 0.838 % |
12.96/13.08 c | 20199 | 24148 346524 1042516 | 2147483647 20131 198 | 0.838 % |
13.17/13.26 c | 20321 | 24148 346524 1042516 | 2147483647 20253 198 | 0.838 % |
13.27/13.33 c | 20456 | 24148 346524 1042516 | 2147483647 20388 200 | 0.838 % |
13.37/13.49 c | 20602 | 24148 346524 1042516 | 2147483647 20534 200 | 0.838 % |
13.47/13.56 c | 20762 | 24148 346524 1042516 | 2147483647 20694 201 | 0.838 % |
13.57/13.67 c | 20941 | 24148 346524 1042516 | 2147483647 20873 200 | 0.838 % |
13.67/13.79 c | 21135 | 24148 346524 1042516 | 2147483647 21067 203 | 0.838 % |
13.87/13.98 c | 21347 | 24148 346524 1042516 | 2147483647 21279 203 | 0.838 % |
14.07/14.11 c | 21585 | 24148 346524 1042516 | 2147483647 21517 206 | 0.838 % |
14.17/14.26 c | 21841 | 24148 346524 1042516 | 2147483647 21773 206 | 0.838 % |
14.47/14.51 c | 22123 | 24148 346524 1042516 | 2147483647 22055 206 | 0.838 % |
14.67/14.79 c | 22432 | 24148 346524 1042516 | 2147483647 22364 207 | 0.838 % |
14.87/14.97 c | 22771 | 24148 346524 1042516 | 2147483647 22703 206 | 0.838 % |
15.07/15.15 c | 23145 | 24148 346524 1042516 | 2147483647 23077 206 | 0.838 % |
15.27/15.38 c | 23555 | 24148 346524 1042516 | 2147483647 23487 208 | 0.838 % |
15.37/15.45 c | 23655 | 24148 346524 1042516 | 2147483647 23587 208 | 0.838 % |
15.47/15.53 c | 23766 | 24148 346524 1042516 | 2147483647 23698 208 | 0.838 % |
15.47/15.59 c | 23888 | 24148 346524 1042516 | 2147483647 23820 207 | 0.838 % |
15.57/15.67 c | 24021 | 24146 346524 1042516 | 2147483647 23952 207 | 0.854 % |
15.67/15.78 c | 24169 | 24145 346524 1042516 | 2147483647 24100 208 | 0.854 % |
15.87/15.92 c | 24331 | 24144 346524 1042516 | 2147483647 24262 209 | 0.854 % |
15.97/16.02 c | 24507 | 24144 346524 1042516 | 2147483647 24438 210 | 0.854 % |
16.07/16.11 c | 24700 | 24144 346524 1042516 | 2147483647 24631 210 | 0.854 % |
16.16/16.22 c | 24914 | 24144 346524 1042516 | 2147483647 24845 209 | 0.854 % |
16.26/16.38 c | 25150 | 24144 346524 1042516 | 2147483647 25081 210 | 0.854 % |
16.37/16.48 c | 25407 | 24144 346524 1042516 | 2147483647 25338 210 | 0.854 % |
16.56/16.64 c | 25692 | 24144 346524 1042516 | 2147483647 25623 210 | 0.854 % |
16.76/16.85 c | 26001 | 24144 346524 1042516 | 2147483647 25932 211 | 0.854 % |
16.96/17.09 c | 26341 | 24144 346524 1042516 | 2147483647 26272 210 | 0.854 % |
17.26/17.32 c | 26714 | 24144 346524 1042516 | 2147483647 26645 211 | 0.854 % |
17.47/17.53 c | 27123 | 24144 346524 1042516 | 2147483647 27054 211 | 0.854 % |
17.77/17.83 c | 27572 | 24144 346524 1042516 | 2147483647 27503 213 | 0.854 % |
17.87/17.95 c | 27672 | 24144 346524 1042516 | 2147483647 27603 214 | 0.854 % |
17.97/18.04 c | 27783 | 24144 346524 1042516 | 2147483647 27714 214 | 0.854 % |
18.07/18.15 c | 27905 | 24144 346524 1042516 | 2147483647 27836 215 | 0.854 % |
18.16/18.26 c | 28038 | 24144 346524 1042516 | 2147483647 27969 214 | 0.854 % |
18.36/18.41 c | 28184 | 24144 346524 1042516 | 2147483647 28115 215 | 0.854 % |
18.46/18.52 c | 28346 | 24144 346524 1042516 | 2147483647 28277 216 | 0.854 % |
18.57/18.65 c | 28523 | 24144 346524 1042516 | 2147483647 28454 217 | 0.854 % |
18.76/18.89 c | 28716 | 24144 346524 1042516 | 2147483647 28647 217 | 0.854 % |
18.96/19.04 c | 28928 | 24144 346524 1042516 | 2147483647 28859 217 | 0.854 % |
19.06/19.18 c | 29161 | 24144 346524 1042516 | 2147483647 29092 218 | 0.854 % |
19.26/19.36 c | 29417 | 24144 346524 1042516 | 2147483647 29348 219 | 0.854 % |
19.46/19.53 c | 29698 | 24144 346524 1042516 | 2147483647 29629 219 | 0.854 % |
19.66/19.78 c | 30008 | 24144 346524 1042516 | 2147483647 29939 219 | 0.854 % |
19.97/20.01 c | 30347 | 24144 346524 1042516 | 2147483647 30278 221 | 0.854 % |
20.27/20.32 c | 30720 | 24144 346512 1042492 | 2147483647 30650 222 | 0.854 % |
20.46/20.52 c | 31131 | 24144 346512 1042492 | 2147483647 31061 226 | 0.854 % |
20.66/20.70 c | 31581 | 24144 346512 1042492 | 2147483647 31511 232 | 0.854 % |
21.06/21.15 c | 32076 | 24144 346512 1042492 | 2147483647 32006 232 | 0.854 % |
21.16/21.22 c | 32177 | 24144 346512 1042492 | 2147483647 32107 232 | 0.854 % |
21.16/21.29 c | 32288 | 24144 346512 1042492 | 2147483647 32218 232 | 0.854 % |
21.26/21.38 c | 32409 | 24144 346512 1042492 | 2147483647 32339 232 | 0.854 % |
21.36/21.47 c | 32543 | 24144 346512 1042492 | 2147483647 32473 232 | 0.854 % |
21.47/21.55 c | 32693 | 24144 346512 1042492 | 2147483647 32623 232 | 0.854 % |
21.57/21.64 c | 32854 | 24144 346512 1042492 | 2147483647 32784 232 | 0.854 % |
21.67/21.77 c | 33031 | 24144 346512 1042492 | 2147483647 32961 232 | 0.854 % |
21.97/22.00 c | 33225 | 24144 346512 1042492 | 2147483647 33155 232 | 0.854 % |
22.07/22.17 c | 33438 | 24144 346512 1042492 | 2147483647 33368 233 | 0.854 % |
22.27/22.34 c | 33671 | 24144 346512 1042492 | 2147483647 33601 233 | 0.854 % |
22.47/22.54 c | 33928 | 24144 346512 1042492 | 2147483647 33858 233 | 0.854 % |
22.57/22.70 c | 34209 | 24144 346512 1042492 | 2147483647 34139 234 | 0.854 % |
22.87/22.98 c | 34519 | 24144 346512 1042492 | 2147483647 34449 234 | 0.854 % |
23.17/23.29 c | 34858 | 24144 346512 1042492 | 2147483647 34788 234 | 0.854 % |
23.57/23.66 c | 35231 | 24144 346512 1042492 | 2147483647 35161 235 | 0.854 % |
23.96/24.06 c | 35640 | 24144 346512 1042492 | 2147483647 35570 235 | 0.854 % |
24.26/24.36 c | 36092 | 24144 346512 1042492 | 2147483647 36022 235 | 0.854 % |
24.56/24.65 c | 36585 | 24144 346512 1042492 | 2147483647 36515 236 | 0.854 % |
24.86/24.96 c | 37127 | 24144 346512 1042492 | 2147483647 37057 237 | 0.854 % |
24.96/25.03 c | 37227 | 24144 346512 1042492 | 2147483647 37157 238 | 0.854 % |
25.06/25.13 c | 37338 | 24144 346512 1042492 | 2147483647 37268 239 | 0.854 % |
25.06/25.16 c | 37461 | 24144 346512 1042492 | 2147483647 37391 241 | 0.854 % |
25.26/25.30 c | 37594 | 24144 346512 1042492 | 2147483647 37524 241 | 0.854 % |
25.37/25.41 c | 37740 | 24144 346512 1042492 | 2147483647 37670 241 | 0.854 % |
25.47/25.53 c | 37902 | 24144 346512 1042492 | 2147483647 37832 240 | 0.854 % |
25.56/25.65 c | 38080 | 24144 346512 1042492 | 2147483647 38010 240 | 0.854 % |
25.76/25.86 c | 38273 | 24144 346512 1042492 | 2147483647 38203 240 | 0.854 % |
25.96/26.01 c | 38486 | 24144 346512 1042492 | 2147483647 38416 241 | 0.854 % |
26.37/26.41 c | 38720 | 24144 346512 1042492 | 2147483647 38650 241 | 0.854 % |
26.46/26.57 c | 38976 | 24144 346512 1042492 | 2147483647 38906 241 | 0.854 % |
26.76/26.80 c | 39259 | 24144 346512 1042492 | 2147483647 39189 242 | 0.854 % |
26.86/26.94 c | 39570 | 24144 346512 1042492 | 2147483647 39500 244 | 0.854 % |
27.16/27.27 c | 39909 | 24144 346512 1042492 | 2147483647 39839 244 | 0.854 % |
27.46/27.57 c | 40281 | 24144 346512 1042492 | 2147483647 40211 244 | 0.854 % |
27.86/27.98 c | 40690 | 24144 346512 1042492 | 2147483647 40620 245 | 0.854 % |
28.57/28.63 c | 41139 | 24144 346512 1042492 | 2147483647 41069 246 | 0.854 % |
28.96/29.07 c | 41632 | 24144 346512 1042492 | 2147483647 41562 246 | 0.854 % |
29.56/29.64 c | 42176 | 24144 346512 1042492 | 2147483647 42106 248 | 0.854 % |
30.16/30.20 c | 42773 | 24144 346512 1042492 | 2147483647 42703 249 | 0.854 % |
30.16/30.29 c | 42873 | 24144 346512 1042492 | 2147483647 42803 251 | 0.854 % |
30.36/30.43 c | 42983 | 24144 346512 1042492 | 2147483647 42913 251 | 0.854 % |
30.46/30.57 c | 43106 | 24144 346512 1042492 | 2147483647 43036 250 | 0.854 % |
30.57/30.67 c | 43241 | 24144 346512 1042492 | 2147483647 43171 250 | 0.854 % |
30.67/30.78 c | 43387 | 24144 346512 1042492 | 2147483647 43317 250 | 0.854 % |
30.87/30.94 c | 43550 | 24144 346512 1042492 | 2147483647 43480 250 | 0.854 % |
30.97/31.08 c | 43728 | 24144 346512 1042492 | 2147483647 43658 250 | 0.854 % |
31.16/31.22 c | 43921 | 24144 346512 1042492 | 2147483647 43851 251 | 0.854 % |
31.36/31.43 c | 44135 | 24140 346512 1042492 | 2147483647 44064 251 | 0.871 % |
31.56/31.68 c | 44368 | 24140 346512 1042492 | 2147483647 44297 251 | 0.871 % |
31.86/31.93 c | 44626 | 24140 346512 1042492 | 2147483647 44555 251 | 0.871 % |
32.05/32.18 c | 44909 | 24140 346512 1042492 | 2147483647 44838 251 | 0.871 % |
32.55/32.65 c | 45221 | 24140 346512 1042492 | 2147483647 45150 251 | 0.871 % |
32.85/32.98 c | 45560 | 24140 346512 1042492 | 2147483647 45489 251 | 0.871 % |
33.25/33.32 c | 45932 | 24140 346512 1042492 | 2147483647 45861 250 | 0.871 % |
33.45/33.57 c | 46345 | 24140 346512 1042492 | 2147483647 46274 255 | 0.871 % |
33.86/33.92 c | 46794 | 24140 346512 1042492 | 2147483647 46723 258 | 0.871 % |
34.36/34.41 c | 47288 | 24140 346512 1042492 | 2147483647 47217 258 | 0.871 % |
34.76/34.88 c | 47830 | 24140 346512 1042492 | 2147483647 47759 258 | 0.871 % |
35.35/35.48 c | 48426 | 24140 346512 1042492 | 2147483647 48355 258 | 0.871 % |
36.05/36.10 c | 49081 | 24140 346512 1042492 | 2147483647 49010 259 | 0.871 % |
36.05/36.19 c | 49182 | 24140 346512 1042492 | 2147483647 49111 259 | 0.871 % |
36.25/36.31 c | 49294 | 24140 346512 1042492 | 2147483647 49223 259 | 0.871 % |
36.35/36.45 c | 49416 | 24140 346512 1042492 | 2147483647 49345 259 | 0.871 % |
36.45/36.54 c | 49551 | 24140 346512 1042492 | 2147483647 49480 260 | 0.871 % |
36.65/36.70 c | 49697 | 24140 346512 1042492 | 2147483647 49626 260 | 0.871 % |
36.75/36.85 c | 49857 | 24140 346512 1042492 | 2147483647 49786 260 | 0.871 % |
36.95/37.02 c | 50035 | 24140 346512 1042492 | 2147483647 49964 259 | 0.871 % |
37.15/37.25 c | 50228 | 24140 346512 1042492 | 2147483647 50157 259 | 0.871 % |
37.45/37.51 c | 50441 | 24140 346512 1042492 | 2147483647 50370 259 | 0.871 % |
37.64/37.78 c | 50675 | 24140 346512 1042492 | 2147483647 50604 259 | 0.871 % |
37.94/38.08 c | 50932 | 24140 346512 1042492 | 2147483647 50861 259 | 0.871 % |
38.14/38.28 c | 51213 | 24140 346512 1042492 | 2147483647 51142 260 | 0.871 % |
38.54/38.63 c | 51525 | 24140 346512 1042492 | 2147483647 51454 260 | 0.871 % |
38.74/38.87 c | 51864 | 24140 346512 1042492 | 2147483647 51793 261 | 0.871 % |
39.15/39.29 c | 52236 | 24140 346512 1042492 | 2147483647 52165 262 | 0.871 % |
39.65/39.71 c | 52646 | 24140 346512 1042492 | 2147483647 52575 262 | 0.871 % |
40.05/40.18 c | 53099 | 24140 346512 1042492 | 2147483647 53028 263 | 0.871 % |
40.95/41.01 c | 53592 | 24140 346512 1042492 | 2147483647 53521 263 | 0.871 % |
41.55/41.69 c | 54136 | 24140 346512 1042492 | 2147483647 54065 265 | 0.871 % |
42.24/42.34 c | 54733 | 24140 346496 1042460 | 2147483647 54653 267 | 0.871 % |
42.55/42.66 c | 55388 | 24140 346496 1042460 | 2147483647 55308 271 | 0.871 % |
43.05/43.12 c | 56108 | 24140 346496 1042460 | 2147483647 56028 275 | 0.871 % |
43.25/43.31 c | 56208 | 24140 346496 1042460 | 2147483647 56128 276 | 0.871 % |
43.35/43.49 c | 56320 | 24140 346496 1042460 | 2147483647 56240 276 | 0.871 % |
43.45/43.56 c | 56442 | 24140 346496 1042460 | 2147483647 56362 276 | 0.871 % |
43.85/43.91 c | 56575 | 24140 346496 1042460 | 2147483647 56495 276 | 0.871 % |
44.04/44.12 c | 56722 | 24140 346496 1042460 | 2147483647 56642 276 | 0.871 % |
44.14/44.21 c | 56884 | 24140 346496 1042460 | 2147483647 56804 278 | 0.871 % |
44.24/44.34 c | 57060 | 24140 346496 1042460 | 2147483647 56980 279 | 0.871 % |
44.54/44.61 c | 57255 | 24140 346496 1042460 | 2147483647 57175 280 | 0.871 % |
44.64/44.76 c | 57468 | 24140 346496 1042460 | 2147483647 57388 281 | 0.871 % |
45.05/45.13 c | 57701 | 24140 346496 1042460 | 2147483647 57621 281 | 0.871 % |
45.24/45.31 c | 57957 | 24140 346496 1042460 | 2147483647 57877 282 | 0.871 % |
45.64/45.70 c | 58238 | 24140 346496 1042460 | 2147483647 58158 283 | 0.871 % |
45.74/45.88 c | 58547 | 24140 346496 1042460 | 2147483647 58467 284 | 0.871 % |
46.05/46.20 c | 58886 | 24140 346496 1042460 | 2147483647 58806 285 | 0.871 % |
46.45/46.55 c | 59259 | 24140 346496 1042460 | 2147483647 59179 287 | 0.871 % |
46.65/46.71 c | 59670 | 24140 346496 1042460 | 2147483647 59590 290 | 0.871 % |
46.75/46.87 c | 60121 | 24140 346496 1042460 | 2147483647 60041 292 | 0.871 % |
47.04/47.14 c | 60614 | 24140 346496 1042460 | 2147483647 60534 294 | 0.871 % |
47.34/47.44 c | 61156 | 24140 346496 1042460 | 2147483647 61076 297 | 0.871 % |
47.65/47.71 c | 61752 | 24140 346496 1042460 | 2147483647 61672 300 | 0.871 % |
48.04/48.13 c | 62408 | 24140 346496 1042460 | 2147483647 62328 305 | 0.871 % |
48.44/48.50 c | 63129 | 24140 346496 1042460 | 2147483647 63049 309 | 0.871 % |
49.34/49.40 c | 63921 | 24140 346496 1042460 | 2147483647 63841 311 | 0.871 % |
49.44/49.53 c | 64023 | 24140 346496 1042460 | 2147483647 63943 311 | 0.871 % |
49.84/49.91 c | 64134 | 24140 346496 1042460 | 2147483647 64054 311 | 0.871 % |
50.05/50.13 c | 64256 | 24140 346496 1042460 | 2147483647 64176 311 | 0.871 % |
50.15/50.23 c | 64389 | 24140 346496 1042460 | 2147483647 64309 312 | 0.871 % |
50.25/50.36 c | 64535 | 24140 346496 1042460 | 2147483647 64455 312 | 0.871 % |
50.45/50.59 c | 64695 | 24140 346496 1042460 | 2147483647 64615 313 | 0.871 % |
50.75/50.82 c | 64871 | 24140 346496 1042460 | 2147483647 64791 313 | 0.871 % |
50.94/51.00 c | 65065 | 24140 346496 1042460 | 2147483647 64985 313 | 0.871 % |
51.24/51.37 c | 65277 | 24140 346496 1042460 | 2147483647 65197 314 | 0.871 % |
51.44/51.55 c | 65510 | 24140 346496 1042460 | 2147483647 65430 315 | 0.871 % |
51.84/51.97 c | 65766 | 24140 346496 1042460 | 2147483647 65686 316 | 0.871 % |
52.04/52.13 c | 66047 | 24140 346496 1042460 | 2147483647 65967 316 | 0.871 % |
52.34/52.43 c | 66356 | 24140 346496 1042460 | 2147483647 66276 318 | 0.871 % |
52.54/52.66 c | 66696 | 24140 346496 1042460 | 2147483647 66616 320 | 0.871 % |
53.04/53.11 c | 67068 | 24140 346496 1042460 | 2147483647 66988 321 | 0.871 % |
53.34/53.46 c | 67477 | 24140 346496 1042460 | 2147483647 67397 322 | 0.871 % |
53.54/53.67 c | 67926 | 24140 346496 1042460 | 2147483647 67846 324 | 0.871 % |
53.84/53.99 c | 68422 | 24140 346496 1042460 | 2147483647 68342 328 | 0.871 % |
54.35/54.43 c | 68964 | 24140 346496 1042460 | 2147483647 68884 331 | 0.871 % |
54.74/54.86 c | 69563 | 24140 346496 1042460 | 2147483647 69483 334 | 0.871 % |
55.34/55.44 c | 70218 | 24140 346496 1042460 | 2147483647 70138 337 | 0.871 % |
55.95/56.02 c | 70938 | 24140 346496 1042460 | 2147483647 70858 341 | 0.871 % |
56.34/56.42 c | 71733 | 24140 346496 1042460 | 2147483647 71653 344 | 0.871 % |
56.84/56.94 c | 72604 | 24140 346496 1042460 | 2147483647 72524 350 | 0.871 % |
57.05/57.16 c | 72704 | 24140 346496 1042460 | 2147483647 72624 350 | 0.871 % |
57.15/57.27 c | 72815 | 24140 346496 1042460 | 2147483647 72735 350 | 0.871 % |
57.34/57.48 c | 72937 | 24140 346496 1042460 | 2147483647 72857 350 | 0.871 % |
57.74/57.82 c | 73070 | 24140 346496 1042460 | 2147483647 72990 350 | 0.871 % |
58.04/58.17 c | 73216 | 24140 346496 1042460 | 2147483647 73136 350 | 0.871 % |
58.14/58.26 c | 73377 | 24140 346496 1042460 | 2147483647 73297 351 | 0.871 % |
58.44/58.56 c | 73553 | 24140 346496 1042460 | 2147483647 73473 351 | 0.871 % |
58.94/59.06 c | 73746 | 24140 346496 1042460 | 2147483647 73666 351 | 0.871 % |
59.05/59.16 c | 73959 | 24140 346496 1042460 | 2147483647 73879 352 | 0.871 % |
59.14/59.29 c | 74193 | 24140 346496 1042460 | 2147483647 74113 352 | 0.871 % |
59.35/59.42 c | 74451 | 24140 346496 1042460 | 2147483647 74371 353 | 0.871 % |
59.54/59.64 c | 74732 | 24140 346496 1042460 | 2147483647 74652 354 | 0.871 % |
59.74/59.82 c | 75042 | 24140 346496 1042460 | 2147483647 74962 355 | 0.871 % |
60.14/60.29 c | 75382 | 24140 346496 1042460 | 2147483647 75302 355 | 0.871 % |
60.74/60.84 c | 75755 | 24140 346496 1042460 | 2147483647 75675 356 | 0.871 % |
60.94/61.08 c | 76168 | 24140 346496 1042460 | 2147483647 76088 358 | 0.871 % |
61.44/61.52 c | 76617 | 24140 346496 1042460 | 2147483647 76537 359 | 0.871 % |
61.94/62.07 c | 77111 | 24140 346496 1042460 | 2147483647 77031 360 | 0.871 % |
62.55/62.66 c | 77656 | 24140 346496 1042460 | 2147483647 77576 362 | 0.871 % |
63.14/63.21 c | 78255 | 24140 346496 1042460 | 2147483647 78175 364 | 0.871 % |
63.54/63.65 c | 78910 | 24140 346496 1042460 | 2147483647 78830 367 | 0.871 % |
64.34/64.43 c | 79630 | 24140 346496 1042460 | 2147483647 79550 369 | 0.871 % |
65.44/65.50 c | 80422 | 24140 346496 1042460 | 2147483647 80342 370 | 0.871 % |
65.84/66.00 c | 81298 | 24140 346496 1042460 | 2147483647 81218 372 | 0.871 % |
66.44/66.57 c | 82259 | 24140 346496 1042460 | 2147483647 82179 376 | 0.871 % |
66.74/66.84 c | 82359 | 24140 346496 1042460 | 2147483647 82279 375 | 0.871 % |
66.84/66.94 c | 82469 | 24140 346496 1042460 | 2147483647 82389 376 | 0.871 % |
67.04/67.14 c | 82590 | 24140 346496 1042460 | 2147483647 82510 376 | 0.871 % |
67.34/67.40 c | 82725 | 24140 346496 1042460 | 2147483647 82645 376 | 0.871 % |
67.54/67.67 c | 82871 | 24140 346496 1042460 | 2147483647 82791 376 | 0.871 % |
67.74/67.89 c | 83031 | 24140 346496 1042460 | 2147483647 82951 377 | 0.871 % |
67.84/67.95 c | 83207 | 24140 346496 1042460 | 2147483647 83127 378 | 0.871 % |
68.04/68.14 c | 83401 | 24140 346496 1042460 | 2147483647 83321 379 | 0.871 % |
68.24/68.33 c | 83614 | 24140 346496 1042460 | 2147483647 83534 379 | 0.871 % |
68.54/68.66 c | 83847 | 24140 346496 1042460 | 2147483647 83767 380 | 0.871 % |
68.83/68.90 c | 84103 | 24140 346496 1042460 | 2147483647 84023 381 | 0.871 % |
69.33/69.49 c | 84384 | 24140 346496 1042460 | 2147483647 84304 381 | 0.871 % |
70.04/70.12 c | 84693 | 24140 346496 1042460 | 2147483647 84613 382 | 0.871 % |
70.25/70.36 c | 85033 | 24140 346496 1042460 | 2147483647 84953 384 | 0.871 % |
70.84/70.98 c | 85407 | 24140 346496 1042460 | 2147483647 85327 384 | 0.871 % |
71.84/71.93 c | 85820 | 24140 346496 1042460 | 2147483647 85740 384 | 0.871 % |
72.14/72.28 c | 86269 | 24140 346496 1042460 | 2147483647 86189 386 | 0.871 % |
72.54/72.63 c | 86762 | 24140 346496 1042460 | 2147483647 86682 387 | 0.871 % |
72.83/72.92 c | 87305 | 24140 346496 1042460 | 2147483647 87225 389 | 0.871 % |
73.13/73.27 c | 87901 | 24140 346496 1042460 | 2147483647 87821 391 | 0.871 % |
73.63/73.71 c | 88557 | 24140 346496 1042460 | 2147483647 88477 394 | 0.871 % |
74.44/74.54 c | 89277 | 24140 346496 1042460 | 2147483647 89197 395 | 0.871 % |
75.44/75.55 c | 90069 | 24140 346496 1042460 | 2147483647 89989 396 | 0.871 % |
76.14/76.22 c | 90940 | 24140 346496 1042460 | 2147483647 90860 398 | 0.871 % |
76.84/76.99 c | 91898 | 24140 346496 1042460 | 2147483647 91818 402 | 0.871 % |
78.23/78.31 c | 92951 | 24140 346496 1042460 | 2147483647 92871 403 | 0.871 % |
78.33/78.48 c | 93052 | 24140 346496 1042460 | 2147483647 92972 404 | 0.871 % |
78.63/78.79 c | 93163 | 24140 346496 1042460 | 2147483647 93083 404 | 0.871 % |
78.93/79.02 c | 93285 | 24140 346496 1042460 | 2147483647 93205 404 | 0.871 % |
79.03/79.14 c | 93418 | 24140 346496 1042460 | 2147483647 93338 404 | 0.871 % |
79.13/79.28 c | 93565 | 24140 346496 1042460 | 2147483647 93485 404 | 0.871 % |
79.54/79.66 c | 93725 | 24140 346496 1042460 | 2147483647 93645 404 | 0.871 % |
79.84/79.90 c | 93901 | 24140 346496 1042460 | 2147483647 93821 405 | 0.871 % |
80.04/80.18 c | 94096 | 24140 346496 1042460 | 2147483647 94016 405 | 0.871 % |
80.34/80.49 c | 94308 | 24140 346496 1042460 | 2147483647 94228 406 | 0.871 % |
80.54/80.68 c | 94543 | 24140 346496 1042460 | 2147483647 94463 406 | 0.871 % |
81.04/81.15 c | 94800 | 24140 346496 1042460 | 2147483647 94720 406 | 0.871 % |
81.24/81.37 c | 95082 | 24140 346496 1042460 | 2147483647 95002 408 | 0.871 % |
81.34/81.45 c | 95392 | 24140 346496 1042460 | 2147483647 95312 408 | 0.871 % |
81.64/81.74 c | 95734 | 24140 346496 1042460 | 2147483647 95654 409 | 0.871 % |
82.04/82.11 c | 96109 | 24140 346496 1042460 | 2147483647 96029 409 | 0.871 % |
82.53/82.62 c | 96520 | 24140 346496 1042460 | 2147483647 96440 410 | 0.871 % |
83.03/83.19 c | 96969 | 24140 346496 1042460 | 2147483647 96889 410 | 0.871 % |
83.54/83.63 c | 97462 | 24140 346496 1042460 | 2147483647 97382 412 | 0.871 % |
84.03/84.17 c | 98004 | 24140 346496 1042460 | 2147483647 97924 413 | 0.871 % |
84.94/85.08 c | 98601 | 24140 346496 1042460 | 2147483647 98521 415 | 0.871 % |
85.43/85.57 c | 99256 | 24140 346496 1042460 | 2147483647 99176 417 | 0.871 % |
86.43/86.50 c | 99978 | 24140 346496 1042460 | 2147483647 99898 419 | 0.871 % |
87.43/87.59 c | 100770 | 24140 346496 1042460 | 2147483647 100690 421 | 0.871 % |
88.13/88.20 c | 101641 | 24140 346496 1042460 | 2147483647 101561 422 | 0.871 % |
88.93/89.10 c | 102599 | 24140 346496 1042460 | 2147483647 102519 427 | 0.871 % |
89.73/89.88 c | 103652 | 24140 346496 1042460 | 2147483647 103572 431 | 0.871 % |
91.63/91.77 c | 104811 | 24140 346496 1042460 | 2147483647 104731 433 | 0.871 % |
91.83/91.90 c | 104911 | 24140 346496 1042460 | 2147483647 104831 433 | 0.871 % |
92.13/92.24 c | 105021 | 24140 346496 1042460 | 2147483647 104941 433 | 0.871 % |
92.53/92.68 c | 105142 | 24140 346496 1042460 | 2147483647 105062 433 | 0.871 % |
92.73/92.89 c | 105275 | 24140 346496 1042460 | 2147483647 105195 433 | 0.871 % |
93.03/93.11 c | 105422 | 24140 346496 1042460 | 2147483647 105342 433 | 0.871 % |
93.34/93.45 c | 105582 | 24140 346496 1042460 | 2147483647 105502 433 | 0.871 % |
93.73/93.89 c | 105759 | 24140 346496 1042460 | 2147483647 105679 433 | 0.871 % |
94.03/94.15 c | 105952 | 24140 346496 1042460 | 2147483647 105872 433 | 0.871 % |
94.33/94.45 c | 106164 | 24140 346496 1042460 | 2147483647 106084 434 | 0.871 % |
94.73/94.87 c | 106398 | 24140 346496 1042460 | 2147483647 106318 434 | 0.871 % |
95.03/95.14 c | 106655 | 24140 346496 1042460 | 2147483647 106575 435 | 0.871 % |
95.33/95.43 c | 106938 | 24140 346496 1042460 | 2147483647 106858 435 | 0.871 % |
95.63/95.76 c | 107247 | 24140 346496 1042460 | 2147483647 107167 435 | 0.871 % |
96.03/96.18 c | 107586 | 24140 346496 1042460 | 2147483647 107506 436 | 0.871 % |
96.53/96.62 c | 107958 | 24140 346496 1042460 | 2147483647 107878 436 | 0.871 % |
97.43/97.59 c | 108368 | 24140 346496 1042460 | 2147483647 108288 436 | 0.871 % |
97.83/97.96 c | 108818 | 24140 346496 1042460 | 2147483647 108738 438 | 0.871 % |
98.33/98.49 c | 109311 | 24140 346496 1042460 | 2147483647 109231 439 | 0.871 % |
98.93/99.06 c | 109853 | 24140 346496 1042460 | 2147483647 109773 440 | 0.871 % |
100.43/100.51 c | 110450 | 24140 346496 1042460 | 2147483647 110370 440 | 0.871 % |
101.03/101.15 c | 111105 | 24140 346496 1042460 | 2147483647 111025 442 | 0.871 % |
101.63/101.79 c | 111825 | 24140 346496 1042460 | 2147483647 111745 443 | 0.871 % |
102.63/102.72 c | 112618 | 24140 346496 1042460 | 2147483647 112538 444 | 0.871 % |
103.53/103.64 c | 113491 | 24140 346496 1042460 | 2147483647 113411 448 | 0.871 % |
104.52/104.60 c | 114450 | 24140 346496 1042460 | 2147483647 114370 449 | 0.871 % |
105.23/105.32 c | 115503 | 24140 346496 1042460 | 2147483647 115423 451 | 0.871 % |
106.63/106.77 c | 116663 | 24140 346496 1042460 | 2147483647 116583 453 | 0.871 % |
108.53/108.63 c | 117937 | 24140 346496 1042460 | 2147483647 117857 455 | 0.871 % |
108.83/108.98 c | 118037 | 24140 346496 1042460 | 2147483647 117957 455 | 0.871 % |
109.53/109.65 c | 118147 | 24140 346496 1042460 | 2147483647 118067 455 | 0.871 % |
109.73/109.84 c | 118268 | 24140 346496 1042460 | 2147483647 118188 455 | 0.871 % |
109.83/109.96 c | 118402 | 24140 346496 1042460 | 2147483647 118322 455 | 0.871 % |
110.03/110.18 c | 118551 | 24140 346496 1042460 | 2147483647 118471 455 | 0.871 % |
110.73/110.88 c | 118711 | 24140 346496 1042460 | 2147483647 118631 455 | 0.871 % |
110.93/111.08 c | 118887 | 24140 346496 1042460 | 2147483647 118807 455 | 0.871 % |
111.83/111.91 c | 119080 | 24140 346496 1042460 | 2147483647 119000 455 | 0.871 % |
112.23/112.38 c | 119293 | 24140 346496 1042460 | 2147483647 119213 455 | 0.871 % |
112.42/112.59 c | 119526 | 24140 346496 1042460 | 2147483647 119446 455 | 0.871 % |
112.92/113.06 c | 119782 | 24140 346496 1042460 | 2147483647 119702 455 | 0.871 % |
113.62/113.74 c | 120064 | 24140 346496 1042460 | 2147483647 119984 455 | 0.871 % |
114.12/114.24 c | 120373 | 24140 346496 1042460 | 2147483647 120293 455 | 0.871 % |
114.42/114.55 c | 120713 | 24140 346496 1042460 | 2147483647 120633 456 | 0.871 % |
114.83/114.99 c | 121085 | 24140 346496 1042460 | 2147483647 121005 457 | 0.871 % |
115.43/115.50 c | 121495 | 24140 346496 1042460 | 2147483647 121415 458 | 0.871 % |
116.12/116.28 c | 121945 | 24140 346496 1042460 | 2147483647 121865 458 | 0.871 % |
116.82/116.91 c | 122438 | 24140 346496 1042460 | 2147483647 122358 460 | 0.871 % |
118.02/118.12 c | 122980 | 24140 346496 1042460 | 2147483647 122900 460 | 0.871 % |
118.62/118.76 c | 123576 | 24140 346496 1042460 | 2147483647 123496 462 | 0.871 % |
119.43/119.57 c | 124232 | 24140 346496 1042460 | 2147483647 124152 462 | 0.871 % |
120.33/120.43 c | 124953 | 24140 346496 1042460 | 2147483647 124873 463 | 0.871 % |
121.82/121.98 c | 125746 | 24140 346496 1042460 | 2147483647 125666 464 | 0.871 % |
122.72/122.82 c | 126621 | 24140 346496 1042460 | 2147483647 126541 468 | 0.871 % |
124.52/124.65 c | 127579 | 24140 346496 1042460 | 2147483647 127499 468 | 0.871 % |
125.72/125.83 c | 128632 | 24140 346496 1042460 | 2147483647 128552 470 | 0.871 % |
127.02/127.15 c | 129792 | 24140 346496 1042460 | 2147483647 129712 472 | 0.871 % |
128.22/128.30 c | 131066 | 24140 346496 1042460 | 129921 130986 474 | 0.871 % |
129.72/129.84 c | 132467 | 24140 346496 1042460 | 129921 109802 519 | 0.871 % |
129.92/130.07 c | 132567 | 24140 346496 1042460 | 129921 109902 519 | 0.871 % |
130.32/130.42 c | 132679 | 24140 346496 1042460 | 129921 110014 519 | 0.871 % |
130.52/130.65 c | 132800 | 24140 346496 1042460 | 129921 110135 519 | 0.871 % |
130.72/130.88 c | 132933 | 24140 346496 1042460 | 129921 110268 519 | 0.871 % |
131.02/131.15 c | 133079 | 24140 346496 1042460 | 129921 110414 519 | 0.871 % |
131.32/131.48 c | 133239 | 24140 346496 1042460 | 129921 110574 519 | 0.871 % |
131.62/131.73 c | 133415 | 24140 346496 1042460 | 129921 110750 520 | 0.871 % |
131.92/132.06 c | 133609 | 24140 346496 1042460 | 129921 110944 520 | 0.871 % |
132.62/132.70 c | 133821 | 24140 346496 1042460 | 129921 111156 520 | 0.871 % |
132.92/133.04 c | 134054 | 24140 346496 1042460 | 129921 111389 520 | 0.871 % |
133.62/133.71 c | 134310 | 24140 346496 1042460 | 129921 111645 519 | 0.871 % |
134.22/134.37 c | 134593 | 24140 346496 1042460 | 129921 111928 519 | 0.871 % |
135.02/135.12 c | 134902 | 24140 346496 1042460 | 129921 112237 519 | 0.871 % |
135.72/135.87 c | 135242 | 24140 346496 1042460 | 129921 112577 520 | 0.871 % |
136.61/136.76 c | 135614 | 24140 346496 1042460 | 129921 112949 520 | 0.871 % |
137.01/137.14 c | 136024 | 24140 346496 1042460 | 129921 113359 520 | 0.871 % |
138.11/138.22 c | 136473 | 24140 346496 1042460 | 129921 113808 520 | 0.871 % |
138.71/138.88 c | 136966 | 24140 346496 1042460 | 129921 114301 521 | 0.871 % |
139.41/139.52 c | 137508 | 24140 346496 1042460 | 129921 114843 523 | 0.871 % |
140.62/140.72 c | 138104 | 24140 346496 1042460 | 129921 115439 523 | 0.871 % |
141.51/141.67 c | 138764 | 24140 346496 1042460 | 129921 116099 524 | 0.871 % |
142.12/142.23 c | 139486 | 24140 346496 1042460 | 129921 116821 524 | 0.871 % |
143.61/143.75 c | 140278 | 24140 346496 1042460 | 117337 117613 525 | 0.871 % |
144.41/144.55 c | 141149 | 24140 346496 1042460 | 117337 99962 571 | 0.871 % |
146.51/146.60 c | 142107 | 24140 346496 1042460 | 117337 100920 570 | 0.871 % |
147.41/147.50 c | 143160 | 24140 346496 1042460 | 117337 101973 573 | 0.871 % |
149.61/149.76 c | 144318 | 24140 346496 1042460 | 117337 103131 572 | 0.871 % |
152.51/152.65 c | 145591 | 24140 346496 1042460 | 117337 104404 575 | 0.871 % |
154.32/154.47 c | 146992 | 24140 346496 1042460 | 117337 105805 583 | 0.871 % |
156.21/156.40 c | 148532 | 24140 346496 1042460 | 117337 107345 584 | 0.871 % |
156.81/156.92 c | 148632 | 24140 346496 1042460 | 117337 107445 583 | 0.871 % |
157.11/157.29 c | 148742 | 24140 346496 1042460 | 117337 107555 583 | 0.871 % |
157.41/157.56 c | 148863 | 24140 346496 1042460 | 117337 107676 583 | 0.871 % |
157.62/157.79 c | 148996 | 24140 346496 1042460 | 117337 107809 583 | 0.871 % |
158.42/158.54 c | 149142 | 24140 346496 1042460 | 117337 107955 583 | 0.871 % |
158.72/158.81 c | 149303 | 24140 346496 1042460 | 117337 108116 583 | 0.871 % |
159.22/159.32 c | 149479 | 24140 346496 1042460 | 117337 108292 583 | 0.871 % |
160.32/160.45 c | 149672 | 24140 346496 1042460 | 117337 108485 582 | 0.871 % |
160.52/160.68 c | 149885 | 24140 346496 1042460 | 117337 108698 582 | 0.871 % |
161.21/161.30 c | 150123 | 24140 346496 1042460 | 108813 108936 582 | 0.871 % |
161.51/161.69 c | 150380 | 24140 346496 1042460 | 108813 109193 582 | 0.871 % |
162.61/162.76 c | 150661 | 24140 346496 1042460 | 108813 92815 630 | 0.871 % |
163.01/163.13 c | 150972 | 24140 346496 1042460 | 108813 93126 631 | 0.871 % |
164.01/164.13 c | 151311 | 24140 346496 1042460 | 108813 93465 630 | 0.871 % |
164.31/164.48 c | 151685 | 24140 346496 1042460 | 108813 93839 630 | 0.871 % |
164.91/165.06 c | 152097 | 24140 346496 1042460 | 108813 94251 630 | 0.871 % |
165.41/165.54 c | 152547 | 24140 346496 1042460 | 108813 94701 630 | 0.871 % |
166.51/166.63 c | 153040 | 24140 346496 1042460 | 108813 95194 630 | 0.871 % |
167.61/167.77 c | 153582 | 24140 346496 1042460 | 108813 95736 632 | 0.871 % |
168.41/168.56 c | 154180 | 24140 346496 1042460 | 108813 96334 633 | 0.871 % |
170.51/170.64 c | 154835 | 24140 346496 1042460 | 108813 96989 632 | 0.871 % |
171.30/171.43 c | 155556 | 24140 346496 1042460 | 108813 97710 632 | 0.871 % |
172.20/172.35 c | 156348 | 24140 346496 1042460 | 108813 98502 633 | 0.871 % |
173.20/173.33 c | 157219 | 24140 346496 1042460 | 108813 99373 634 | 0.871 % |
174.21/174.31 c | 158177 | 24140 346496 1042460 | 108813 100331 635 | 0.871 % |
175.40/175.55 c | 159230 | 24140 346496 1042460 | 108813 101384 638 | 0.871 % |
178.11/178.22 c | 160391 | 24140 346496 1042460 | 102154 102545 637 | 0.871 % |
179.11/179.27 c | 161666 | 24140 346496 1042460 | 102154 85237 641 | 0.871 % |
180.71/180.88 c | 163068 | 24140 346496 1042460 | 102154 86639 643 | 0.871 % |
182.61/182.74 c | 164608 | 24140 346496 1042460 | 102154 88179 642 | 0.871 % |
184.40/184.56 c | 166305 | 24140 346496 1042460 | 102154 89876 651 | 0.871 % |
184.61/184.75 c | 166407 | 24140 346496 1042460 | 102154 89978 651 | 0.871 % |
184.90/185.00 c | 166517 | 24140 346496 1042460 | 102154 90088 650 | 0.871 % |
185.81/185.95 c | 166638 | 24140 346496 1042460 | 102154 90209 650 | 0.871 % |
186.10/186.24 c | 166771 | 24140 346496 1042460 | 102154 90342 650 | 0.871 % |
186.30/186.47 c | 166919 | 24140 346496 1042460 | 102154 90490 649 | 0.871 % |
186.50/186.70 c | 167081 | 24140 346496 1042460 | 102154 90652 649 | 0.871 % |
187.20/187.31 c | 167260 | 24140 346496 1042460 | 102154 90831 649 | 0.871 % |
187.50/187.65 c | 167454 | 24140 346496 1042460 | 102154 91025 649 | 0.871 % |
188.20/188.33 c | 167666 | 24140 346496 1042460 | 102154 91237 648 | 0.871 % |
188.70/188.86 c | 167901 | 24140 346496 1042460 | 102154 91472 648 | 0.871 % |
189.70/189.89 c | 168157 | 24140 346496 1042460 | 102154 91728 647 | 0.871 % |
190.30/190.43 c | 168439 | 24140 346496 1042460 | 102154 92010 647 | 0.871 % |
191.31/191.48 c | 168748 | 24140 346496 1042460 | 102154 92319 646 | 0.871 % |
191.80/191.94 c | 169087 | 24140 346496 1042460 | 102154 92658 646 | 0.871 % |
192.50/192.62 c | 169460 | 24140 346496 1042460 | 102154 93031 646 | 0.871 % |
193.00/193.18 c | 169869 | 24140 346496 1042460 | 102154 93440 646 | 0.871 % |
193.70/193.82 c | 170318 | 24140 346496 1042460 | 93573 93889 646 | 0.871 % |
194.51/194.69 c | 170812 | 24140 346496 1042460 | 93573 76527 654 | 0.871 % |
195.30/195.41 c | 171354 | 24140 346496 1042460 | 93573 77069 655 | 0.871 % |
196.00/196.11 c | 171950 | 24140 346496 1042460 | 93573 77665 656 | 0.871 % |
196.40/196.57 c | 172606 | 24140 346496 1042460 | 93573 78321 656 | 0.871 % |
198.20/198.32 c | 173326 | 24140 346496 1042460 | 93573 79041 655 | 0.871 % |
198.70/198.81 c | 174118 | 24140 346496 1042460 | 93573 79833 655 | 0.871 % |
199.50/199.64 c | 174989 | 24140 346496 1042460 | 93573 80704 655 | 0.871 % |
200.00/200.17 c | 175948 | 24140 346496 1042460 | 93573 81663 656 | 0.871 % |
201.80/201.93 c | 177002 | 24140 346496 1042460 | 93573 82717 656 | 0.871 % |
203.60/203.78 c | 178160 | 24140 346496 1042460 | 93573 83875 656 | 0.871 % |
205.80/205.99 c | 179436 | 24140 346496 1042460 | 93573 85151 654 | 0.871 % |
208.29/208.41 c | 180836 | 24140 346496 1042460 | 85716 86551 655 | 0.871 % |
209.80/209.99 c | 182376 | 24140 346496 1042460 | 85716 73705 654 | 0.871 % |
211.30/211.49 c | 184071 | 24140 346496 1042460 | 85716 75400 657 | 0.871 % |
213.40/213.52 c | 185936 | 24140 346496 1042460 | 85716 77265 658 | 0.871 % |
213.60/213.70 c | 186037 | 24140 346496 1042460 | 85716 77366 657 | 0.871 % |
214.10/214.24 c | 186147 | 24140 346496 1042460 | 85716 77476 657 | 0.871 % |
214.31/214.46 c | 186271 | 24140 346496 1042460 | 85716 77600 656 | 0.871 % |
214.70/214.81 c | 186404 | 24140 346496 1042460 | 85716 77733 656 | 0.871 % |
215.20/215.32 c | 186552 | 24140 346496 1042460 | 85716 77881 656 | 0.871 % |
215.70/215.83 c | 186713 | 24140 346496 1042460 | 85716 78042 655 | 0.871 % |
215.90/216.02 c | 186890 | 24140 346496 1042460 | 85716 78219 655 | 0.871 % |
216.20/216.30 c | 187086 | 24140 346496 1042460 | 85716 78415 655 | 0.871 % |
216.50/216.63 c | 187301 | 24140 346496 1042460 | 85716 78630 655 | 0.871 % |
216.90/217.04 c | 187534 | 24140 346496 1042460 | 85716 78863 654 | 0.871 % |
217.40/217.57 c | 187790 | 24140 346496 1042460 | 85716 79119 654 | 0.871 % |
217.90/218.04 c | 188072 | 24140 346496 1042460 | 85716 79401 654 | 0.871 % |
218.40/218.60 c | 188382 | 24140 346496 1042460 | 85716 79711 653 | 0.871 % |
219.30/219.46 c | 188721 | 24140 346496 1042460 | 85716 80050 652 | 0.871 % |
219.60/219.77 c | 189094 | 24140 346496 1042460 | 85716 80423 653 | 0.871 % |
220.10/220.23 c | 189503 | 24140 346496 1042460 | 85716 80832 653 | 0.871 % |
220.90/221.01 c | 189952 | 24140 346496 1042460 | 85716 81281 652 | 0.871 % |
222.00/222.18 c | 190448 | 24140 346496 1042460 | 81331 81777 652 | 0.871 % |
222.60/222.70 c | 190990 | 24140 346496 1042460 | 81331 71943 654 | 0.871 % |
223.10/223.21 c | 191586 | 24140 346496 1042460 | 81331 72539 654 | 0.871 % |
224.10/224.25 c | 192241 | 24140 346496 1042460 | 81331 73194 653 | 0.871 % |
225.00/225.18 c | 192964 | 24140 346496 1042460 | 81331 73917 652 | 0.871 % |
226.00/226.14 c | 193758 | 24140 346496 1042460 | 81331 74711 652 | 0.871 % |
226.80/226.95 c | 194630 | 24140 346496 1042460 | 81331 75583 652 | 0.871 % |
227.50/227.62 c | 195588 | 24140 346496 1042460 | 81331 76541 651 | 0.871 % |
228.70/228.83 c | 196641 | 24140 346496 1042460 | 81331 77594 659 | 0.871 % |
229.70/229.84 c | 197799 | 24140 346496 1042460 | 81331 78752 661 | 0.871 % |
230.90/231.03 c | 199072 | 24140 346496 1042460 | 81331 80025 660 | 0.871 % |
232.40/232.58 c | 200472 | 24140 346496 1042460 | 2147483647 81425 660 | 0.871 % |
235.00/235.20 c | 202013 | 24140 346496 1042460 | 2147483647 82966 664 | 0.871 % |
236.69/236.84 c | 203707 | 24140 346496 1042460 | 2147483647 84660 666 | 0.871 % |
238.29/238.40 c | 205573 | 24140 346496 1042460 | 2147483647 86526 666 | 0.871 % |
241.49/241.62 c | 207624 | 24140 346496 1042460 | 2147483647 88577 668 | 0.871 % |
241.69/241.87 c | 207724 | 24140 346496 1042460 | 2147483647 88677 668 | 0.871 % |
241.99/242.10 c | 207834 | 24140 346496 1042460 | 2147483647 88787 668 | 0.871 % |
242.19/242.36 c | 207955 | 24140 346496 1042460 | 2147483647 88908 667 | 0.871 % |
242.49/242.64 c | 208088 | 24140 346496 1042460 | 2147483647 89041 667 | 0.871 % |
242.69/242.89 c | 208235 | 24140 346496 1042460 | 2147483647 89188 667 | 0.871 % |
242.90/243.05 c | 208395 | 24140 346496 1042460 | 2147483647 89348 667 | 0.871 % |
243.19/243.31 c | 208571 | 24140 346496 1042460 | 2147483647 89524 666 | 0.871 % |
243.79/243.91 c | 208765 | 24140 346496 1042460 | 2147483647 89718 666 | 0.871 % |
244.00/244.12 c | 208979 | 24140 346496 1042460 | 2147483647 89932 665 | 0.871 % |
244.39/244.58 c | 209212 | 24140 346496 1042460 | 2147483647 90165 665 | 0.871 % |
244.89/245.01 c | 209468 | 24140 346496 1042460 | 2147483647 90421 665 | 0.871 % |
245.10/245.22 c | 209749 | 24140 346496 1042460 | 2147483647 90702 665 | 0.871 % |
245.49/245.66 c | 210058 | 24140 346496 1042460 | 90955 91011 664 | 0.871 % |
245.89/246.09 c | 210397 | 24140 346496 1042460 | 90955 91350 664 | 0.871 % |
246.49/246.64 c | 210770 | 24140 346496 1042460 | 90955 81263 660 | 0.871 % |
247.49/247.67 c | 211179 | 24140 346496 1042460 | 90955 81672 659 | 0.871 % |
248.29/248.47 c | 211628 | 24140 346496 1042460 | 90955 82121 660 | 0.871 % |
248.99/249.10 c | 212121 | 24140 346496 1042460 | 90955 82614 659 | 0.871 % |
249.59/249.72 c | 212663 | 24140 346496 1042460 | 90955 83156 661 | 0.871 % |
250.79/250.90 c | 213261 | 24140 346496 1042460 | 90955 83754 660 | 0.871 % |
251.49/251.68 c | 213916 | 24140 346496 1042460 | 90955 84409 661 | 0.871 % |
251.99/252.12 c | 214638 | 24140 346496 1042460 | 90955 85131 660 | 0.871 % |
252.49/252.69 c | 215430 | 24140 346496 1042460 | 90955 85923 661 | 0.871 % |
253.29/253.40 c | 216301 | 24140 346496 1042460 | 90955 86794 661 | 0.871 % |
254.79/254.97 c | 217259 | 24140 346496 1042460 | 90955 87752 661 | 0.871 % |
255.69/255.82 c | 218312 | 24140 346496 1042460 | 90955 88805 661 | 0.871 % |
257.39/257.53 c | 219470 | 24140 346496 1042460 | 90955 89963 660 | 0.871 % |
258.79/258.96 c | 220745 | 24140 346496 1042460 | 90494 91238 659 | 0.871 % |
260.49/260.69 c | 222147 | 24140 346496 1042460 | 90494 76456 653 | 0.871 % |
261.99/262.11 c | 223689 | 24140 346496 1042460 | 90494 77998 656 | 0.871 % |
264.58/264.73 c | 225385 | 24140 346496 1042460 | 90494 79694 661 | 0.871 % |
266.58/266.72 c | 227248 | 24140 346496 1042460 | 90494 81557 661 | 0.871 % |
268.98/269.19 c | 229297 | 24140 346496 1042460 | 90494 83606 661 | 0.871 % |
271.98/272.13 c | 231554 | 24140 346496 1042460 | 84309 85863 661 | 0.871 % |
272.48/272.66 c | 231654 | 24140 346496 1042460 | 84309 66252 652 | 0.871 % |
272.69/272.86 c | 231768 | 24140 346496 1042460 | 84309 66366 652 | 0.871 % |
272.88/273.02 c | 231889 | 24140 346496 1042460 | 84309 66487 652 | 0.871 % |
273.08/273.21 c | 232022 | 24140 346496 1042460 | 84309 66620 651 | 0.871 % |
273.58/273.78 c | 232170 | 24140 346496 1042460 | 84309 66768 651 | 0.871 % |
273.79/273.96 c | 232332 | 24140 346496 1042460 | 84309 66930 650 | 0.871 % |
273.98/274.13 c | 232508 | 24140 346496 1042460 | 84309 67106 650 | 0.871 % |
274.28/274.42 c | 232702 | 24140 346496 1042460 | 84309 67300 649 | 0.871 % |
274.58/274.71 c | 232914 | 24140 346496 1042460 | 84309 67512 650 | 0.871 % |
275.08/275.24 c | 233148 | 24140 346496 1042460 | 84309 67746 649 | 0.871 % |
275.28/275.48 c | 233406 | 24140 346496 1042460 | 84309 68004 649 | 0.871 % |
275.58/275.75 c | 233690 | 24140 346496 1042460 | 84309 68288 649 | 0.871 % |
275.88/276.02 c | 234002 | 24140 346496 1042460 | 84309 68600 650 | 0.871 % |
276.78/276.99 c | 234342 | 24140 346496 1042460 | 84309 68940 649 | 0.871 % |
277.28/277.40 c | 234716 | 24140 346496 1042460 | 84309 69314 649 | 0.871 % |
277.48/277.66 c | 235125 | 24140 346496 1042460 | 84309 69723 649 | 0.871 % |
277.98/278.16 c | 235577 | 24140 346496 1042460 | 84309 70175 650 | 0.871 % |
278.58/278.79 c | 236071 | 24140 346496 1042460 | 84309 70669 649 | 0.871 % |
279.48/279.62 c | 236613 | 24140 346496 1042460 | 84309 71211 649 | 0.871 % |
279.98/280.14 c | 237211 | 24140 346496 1042460 | 84309 71809 649 | 0.871 % |
280.68/280.81 c | 237866 | 24140 346496 1042460 | 84309 72464 650 | 0.871 % |
281.58/281.77 c | 238587 | 24140 346496 1042460 | 84309 73185 650 | 0.871 % |
283.38/283.58 c | 239381 | 24140 346496 1042460 | 84309 73979 647 | 0.871 % |
284.58/284.70 c | 240253 | 24140 346496 1042460 | 74599 74851 648 | 0.871 % |
285.28/285.48 c | 241212 | 24140 346496 1042460 | 74599 66196 650 | 0.871 % |
286.18/286.31 c | 242265 | 24140 346496 1042460 | 74599 67249 651 | 0.871 % |
287.68/287.87 c | 243425 | 24140 346496 1042460 | 74599 68409 653 | 0.871 % |
289.37/289.56 c | 244699 | 24140 346496 1042460 | 74599 69683 654 | 0.871 % |
292.07/292.27 c | 246099 | 24140 346496 1042460 | 74599 71083 652 | 0.871 % |
293.27/293.46 c | 247639 | 24140 346496 1042460 | 74599 72623 654 | 0.871 % |
295.27/295.46 c | 249333 | 24140 346496 1042460 | 74599 74317 675 | 0.871 % |
297.37/297.56 c | 251196 | 24140 346496 1042460 | 74984 76180 676 | 0.871 % |
299.17/299.39 c | 253246 | 24140 346496 1042460 | 74984 65512 685 | 0.871 % |
301.57/301.77 c | 255500 | 24140 346496 1042460 | 74984 67766 685 | 0.871 % |
304.47/304.69 c | 257978 | 24140 346496 1042460 | 74984 70244 689 | 0.871 % |
304.67/304.88 c | 258078 | 24140 346496 1042460 | 74984 70344 689 | 0.871 % |
304.97/305.15 c | 258189 | 24140 346496 1042460 | 74984 70455 688 | 0.871 % |
305.07/305.30 c | 258310 | 24140 346496 1042460 | 74984 70576 688 | 0.871 % |
305.27/305.47 c | 258447 | 24140 346496 1042460 | 74984 70713 688 | 0.871 % |
305.67/305.84 c | 258593 | 24140 346496 1042460 | 74984 70859 687 | 0.871 % |
305.97/306.16 c | 258753 | 24140 346496 1042460 | 74984 71019 687 | 0.871 % |
306.27/306.43 c | 258930 | 24140 346496 1042460 | 74984 71196 686 | 0.871 % |
306.47/306.62 c | 259123 | 24140 346496 1042460 | 74984 71389 686 | 0.871 % |
306.67/306.81 c | 259336 | 24140 346496 1042460 | 74984 71602 686 | 0.871 % |
307.17/307.30 c | 259569 | 24140 346496 1042460 | 74984 71835 685 | 0.871 % |
307.67/307.80 c | 259825 | 24140 346496 1042460 | 74984 72091 685 | 0.871 % |
307.87/308.06 c | 260106 | 24140 346496 1042460 | 72266 72372 685 | 0.871 % |
308.17/308.38 c | 260416 | 24140 346496 1042460 | 72266 72682 685 | 0.871 % |
308.97/309.13 c | 260755 | 24140 346496 1042460 | 72266 62564 679 | 0.871 % |
309.27/309.46 c | 261128 | 24140 346496 1042460 | 72266 62937 678 | 0.871 % |
309.77/309.95 c | 261537 | 24140 346496 1042460 | 72266 63346 678 | 0.871 % |
310.67/310.83 c | 261986 | 24140 346496 1042460 | 72266 63795 677 | 0.871 % |
311.37/311.54 c | 262479 | 24140 346496 1042460 | 72266 64288 675 | 0.871 % |
312.47/312.63 c | 263021 | 24140 346496 1042460 | 72266 64830 675 | 0.871 % |
313.47/313.62 c | 263619 | 24140 346496 1042460 | 72266 65428 674 | 0.871 % |
314.07/314.29 c | 264275 | 24140 346496 1042460 | 72266 66084 673 | 0.871 % |
315.07/315.24 c | 264995 | 24140 346496 1042460 | 72266 66804 671 | 0.871 % |
316.27/316.47 c | 265787 | 24140 346496 1042460 | 72266 67596 669 | 0.871 % |
317.07/317.20 c | 266658 | 24140 346496 1042460 | 72266 68467 670 | 0.871 % |
318.17/318.35 c | 267616 | 24140 346496 1042460 | 72266 69425 670 | 0.871 % |
318.97/319.19 c | 268669 | 24140 346496 1042460 | 72266 70478 669 | 0.871 % |
319.97/320.17 c | 269827 | 24140 346496 1042460 | 72266 71636 671 | 0.871 % |
321.56/321.70 c | 271100 | 24140 346496 1042460 | 2147483647 72909 677 | 0.871 % |
322.96/323.12 c | 272500 | 24140 346496 1042460 | 2147483647 74309 681 | 0.871 % |
324.56/324.79 c | 274041 | 24140 346496 1042460 | 2147483647 75850 685 | 0.871 % |
326.66/326.81 c | 275736 | 24140 346496 1042460 | 2147483647 77545 684 | 0.871 % |
327.67/327.81 c | 277599 | 24140 346496 1042460 | 2147483647 79408 686 | 0.871 % |
329.66/329.88 c | 279651 | 24140 346496 1042460 | 2147483647 81460 694 | 0.871 % |
331.26/331.46 c | 281906 | 24140 346496 1042460 | 81809 83715 695 | 0.871 % |
333.96/334.13 c | 284386 | 24140 346496 1042460 | 81809 73478 709 | 0.871 % |
336.36/336.58 c | 287113 | 24140 346496 1042460 | 81809 76205 718 | 0.871 % |
336.56/336.75 c | 287213 | 24140 346496 1042460 | 81809 76305 717 | 0.871 % |
336.96/337.14 c | 287323 | 24140 346496 1042460 | 81809 76415 717 | 0.871 % |
337.16/337.34 c | 287444 | 24140 346496 1042460 | 81809 76536 717 | 0.871 % |
337.56/337.79 c | 287577 | 24140 346496 1042460 | 81809 76669 716 | 0.871 % |
338.06/338.24 c | 287723 | 24140 346496 1042460 | 81809 76815 715 | 0.871 % |
338.36/338.54 c | 287883 | 24140 346496 1042460 | 81809 76975 715 | 0.871 % |
338.76/338.91 c | 288062 | 24140 346496 1042460 | 81809 77154 714 | 0.871 % |
339.36/339.50 c | 288255 | 24140 346496 1042460 | 81809 77347 713 | 0.871 % |
339.56/339.74 c | 288468 | 24140 346496 1042460 | 81809 77560 713 | 0.871 % |
340.16/340.39 c | 288703 | 24140 346496 1042460 | 81809 77795 712 | 0.871 % |
340.36/340.57 c | 288960 | 24140 346496 1042460 | 81809 78052 711 | 0.871 % |
341.46/341.62 c | 289241 | 24140 346496 1042460 | 81809 78333 710 | 0.871 % |
341.96/342.16 c | 289551 | 24140 346496 1042460 | 81809 78643 709 | 0.871 % |
342.86/343.01 c | 289891 | 24140 346496 1042460 | 81809 78983 709 | 0.871 % |
343.36/343.53 c | 290263 | 24140 346496 1042460 | 79093 79355 708 | 0.871 % |
343.96/344.15 c | 290672 | 24140 346496 1042460 | 79093 70173 714 | 0.871 % |
344.56/344.72 c | 291123 | 24140 346496 1042460 | 79093 70624 714 | 0.871 % |
345.76/345.99 c | 291617 | 24140 346496 1042460 | 79093 71118 712 | 0.871 % |
346.16/346.35 c | 292159 | 24140 346496 1042460 | 79093 71660 711 | 0.871 % |
346.76/346.92 c | 292756 | 24140 346496 1042460 | 79093 72257 712 | 0.871 % |
347.66/347.86 c | 293412 | 24140 346496 1042460 | 79093 72913 711 | 0.871 % |
348.86/349.10 c | 294133 | 24140 346496 1042460 | 79093 73634 709 | 0.871 % |
349.66/349.87 c | 294925 | 24140 346496 1042460 | 79093 74426 709 | 0.871 % |
350.86/351.02 c | 295796 | 24140 346496 1042460 | 79093 75297 709 | 0.871 % |
351.46/351.63 c | 296755 | 24140 346496 1042460 | 79093 76256 709 | 0.871 % |
353.16/353.36 c | 297808 | 24140 346496 1042460 | 79093 77309 708 | 0.871 % |
355.06/355.27 c | 298966 | 24140 346496 1042460 | 79093 78467 706 | 0.871 % |
357.36/357.57 c | 300239 | 24140 346496 1042460 | 79502 79740 703 | 0.871 % |
358.65/358.83 c | 301642 | 24140 346496 1042460 | 79502 71812 704 | 0.871 % |
359.85/360.06 c | 303182 | 24140 346496 1042460 | 79502 73352 707 | 0.871 % |
362.15/362.37 c | 304880 | 24140 346496 1042460 | 79502 75050 707 | 0.871 % |
363.66/363.86 c | 306748 | 24140 346496 1042460 | 79502 76918 710 | 0.871 % |
364.97/365.12 c | 308799 | 24140 346496 1042460 | 79502 78969 709 | 0.871 % |
367.56/367.70 c | 311055 | 24140 346496 1042460 | 80170 81225 709 | 0.871 % |
369.46/369.65 c | 313533 | 24140 346496 1042460 | 80170 66583 699 | 0.871 % |
371.86/372.01 c | 316258 | 24140 346496 1042460 | 80170 69308 701 | 0.871 % |
375.06/375.20 c | 319256 | 24140 346496 1042460 | 80170 72306 698 | 0.871 % |
375.46/375.63 c | 319356 | 24140 346496 1042460 | 80170 72406 697 | 0.871 % |
375.76/375.90 c | 319467 | 24140 346496 1042460 | 80170 72517 697 | 0.871 % |
376.26/376.40 c | 319588 | 24140 346496 1042460 | 80170 72638 696 | 0.871 % |
376.76/376.96 c | 319721 | 24140 346496 1042460 | 80170 72771 695 | 0.871 % |
376.96/377.19 c | 319868 | 24140 346496 1042460 | 80170 72918 695 | 0.871 % |
377.16/377.37 c | 320028 | 24140 346496 1042460 | 73051 73078 695 | 0.871 % |
377.76/377.97 c | 320206 | 24140 346496 1042460 | 73051 73256 694 | 0.871 % |
378.06/378.26 c | 320400 | 24140 346496 1042460 | 73051 73450 693 | 0.871 % |
378.86/379.01 c | 320612 | 24140 346496 1042460 | 73051 63915 686 | 0.871 % |
379.16/379.31 c | 320845 | 24140 346496 1042460 | 73051 64148 686 | 0.871 % |
379.36/379.56 c | 321102 | 24140 346496 1042460 | 73051 64405 685 | 0.871 % |
379.76/379.97 c | 321383 | 24140 346496 1042460 | 73051 64686 684 | 0.871 % |
380.25/380.40 c | 321692 | 24140 346496 1042460 | 73051 64995 684 | 0.871 % |
380.55/380.71 c | 322031 | 24140 346496 1042460 | 73051 65334 683 | 0.871 % |
380.95/381.17 c | 322403 | 24140 346496 1042460 | 73051 65706 682 | 0.871 % |
381.85/382.04 c | 322812 | 24140 346496 1042460 | 73051 66115 681 | 0.871 % |
382.56/382.75 c | 323261 | 24140 346496 1042460 | 73051 66564 680 | 0.871 % |
382.96/383.14 c | 323754 | 24140 346496 1042460 | 73051 67057 679 | 0.871 % |
383.55/383.78 c | 324300 | 24140 346496 1042460 | 73051 67603 679 | 0.871 % |
384.35/384.51 c | 324896 | 24140 346496 1042460 | 73051 68199 679 | 0.871 % |
384.65/384.90 c | 325552 | 24140 346496 1042460 | 73051 68855 679 | 0.871 % |
385.05/385.25 c | 326276 | 24140 346496 1042460 | 73051 69579 680 | 0.871 % |
385.96/386.13 c | 327070 | 24140 346496 1042460 | 73051 70373 678 | 0.871 % |
386.85/387.05 c | 327941 | 24140 346496 1042460 | 73051 71244 678 | 0.871 % |
387.65/387.82 c | 328899 | 24140 346496 1042460 | 73051 72202 677 | 0.871 % |
388.45/388.68 c | 329953 | 24140 346496 1042460 | 73051 73256 675 | 0.871 % |
390.15/390.37 c | 331112 | 24140 346496 1042460 | 2147483647 74415 678 | 0.871 % |
391.25/391.40 c | 332385 | 24140 346496 1042460 | 2147483647 75688 678 | 0.871 % |
391.95/392.18 c | 333786 | 24140 346496 1042460 | 2147483647 77089 678 | 0.871 % |
392.95/393.12 c | 335326 | 24140 346496 1042460 | 2147483647 78629 679 | 0.871 % |
394.45/394.64 c | 337026 | 24140 346496 1042460 | 2147483647 80329 695 | 0.871 % |
396.05/396.22 c | 338889 | 24140 346496 1042460 | 2147483647 82192 697 | 0.871 % |
398.25/398.50 c | 340938 | 24140 346496 1042460 | 83303 84241 694 | 0.871 % |
401.05/401.23 c | 343191 | 24140 346496 1042460 | 83303 71308 700 | 0.871 % |
403.35/403.58 c | 345670 | 24140 346496 1042460 | 83303 73787 702 | 0.871 % |
406.15/406.33 c | 348395 | 24140 346496 1042460 | 83303 76512 705 | 0.871 % |
408.75/408.93 c | 351392 | 24140 346496 1042460 | 78118 79509 703 | 0.871 % |
411.94/412.13 c | 354691 | 24140 346496 1042460 | 78118 68368 673 | 0.871 % |
412.04/412.29 c | 354791 | 24140 346496 1042460 | 78118 68468 673 | 0.871 % |
412.25/412.45 c | 354901 | 24140 346496 1042460 | 78118 68578 673 | 0.871 % |
412.35/412.58 c | 355024 | 24140 346496 1042460 | 78118 68701 672 | 0.871 % |
413.04/413.20 c | 355157 | 24140 346496 1042460 | 78118 68834 672 | 0.871 % |
413.35/413.52 c | 355303 | 24140 346496 1042460 | 78118 68980 671 | 0.871 % |
413.45/413.68 c | 355464 | 24140 346496 1042460 | 78118 69141 671 | 0.871 % |
414.04/414.26 c | 355640 | 24140 346496 1042460 | 78118 69317 670 | 0.871 % |
414.24/414.46 c | 355833 | 24140 346496 1042460 | 78118 69510 670 | 0.871 % |
414.44/414.69 c | 356045 | 24140 346496 1042460 | 78118 69722 670 | 0.871 % |
414.94/415.18 c | 356278 | 24140 346496 1042460 | 78118 69955 669 | 0.871 % |
415.34/415.55 c | 356535 | 24140 346496 1042460 | 78118 70212 669 | 0.871 % |
415.74/415.99 c | 356816 | 24140 346496 1042460 | 78118 70493 669 | 0.871 % |
416.84/417.01 c | 357125 | 24140 346496 1042460 | 78118 70802 668 | 0.871 % |
417.34/417.51 c | 357465 | 24140 346496 1042460 | 78118 71142 668 | 0.871 % |
417.64/417.84 c | 357839 | 24140 346496 1042460 | 78118 71516 668 | 0.871 % |
418.54/418.80 c | 358250 | 24140 346496 1042460 | 78118 71927 667 | 0.871 % |
418.94/419.11 c | 358700 | 24140 346496 1042460 | 78118 72377 667 | 0.871 % |
419.24/419.47 c | 359193 | 24140 346496 1042460 | 78118 72870 667 | 0.871 % |
419.94/420.15 c | 359735 | 24140 346496 1042460 | 78118 73412 667 | 0.871 % |
420.54/420.70 c | 360331 | 24140 346496 1042460 | 73680 74008 666 | 0.871 % |
421.14/421.35 c | 360987 | 24140 346496 1042460 | 73680 66079 670 | 0.871 % |
422.24/422.42 c | 361709 | 24140 346496 1042460 | 73680 66801 670 | 0.871 % |
422.74/422.99 c | 362502 | 24140 346496 1042460 | 73680 67594 670 | 0.871 % |
424.14/424.39 c | 363376 | 24140 346496 1042460 | 73680 68468 671 | 0.871 % |
424.94/425.19 c | 364334 | 24140 346496 1042460 | 73680 69426 671 | 0.871 % |
426.44/426.66 c | 365387 | 24140 346496 1042460 | 73680 70479 669 | 0.871 % |
428.34/428.55 c | 366545 | 24140 346496 1042460 | 73680 71637 666 | 0.871 % |
430.04/430.26 c | 367819 | 24140 346496 1042460 | 73680 72911 666 | 0.871 % |
430.73/430.98 c | 369220 | 24140 346496 1042460 | 73680 74312 665 | 0.871 % |
432.14/432.37 c | 370761 | 24140 346496 1042460 | 64449 65210 660 | 0.871 % |
433.93/434.14 c | 372458 | 24140 346496 1042460 | 64449 58117 652 | 0.871 % |
435.93/436.17 c | 374321 | 24140 346496 1042460 | 64449 59980 651 | 0.871 % |
437.13/437.37 c | 376370 | 24140 346496 1042460 | 64449 62029 660 | 0.871 % |
438.74/438.97 c | 378626 | 24140 346496 1042460 | 64449 64285 665 | 0.871 % |
440.73/440.91 c | 381104 | 24140 346496 1042460 | 65659 66763 665 | 0.871 % |
443.53/443.72 c | 383829 | 24140 346496 1042460 | 65659 59768 674 | 0.871 % |
446.73/446.92 c | 386828 | 24140 346496 1042460 | 65659 62767 692 | 0.871 % |
449.93/450.15 c | 390124 | 24140 346496 1042460 | 65939 66063 698 | 0.871 % |
453.13/453.37 c | 393749 | 24140 346496 1042460 | 65939 69688 705 | 0.871 % |
453.43/453.64 c | 393849 | 24140 346496 1042460 | 65939 61101 705 | 0.871 % |
453.63/453.89 c | 393961 | 24140 346496 1042460 | 65939 61213 705 | 0.871 % |
453.83/454.05 c | 394085 | 24140 346496 1042460 | 65939 61337 704 | 0.871 % |
454.13/454.34 c | 394218 | 24140 346496 1042460 | 65939 61470 704 | 0.871 % |
454.33/454.57 c | 394365 | 24140 346496 1042460 | 65939 61617 703 | 0.871 % |
454.73/454.96 c | 394525 | 24140 346496 1042460 | 65939 61777 703 | 0.871 % |
455.33/455.57 c | 394703 | 24140 346496 1042460 | 65939 61955 702 | 0.871 % |
455.63/455.83 c | 394897 | 24140 346496 1042460 | 65939 62149 701 | 0.871 % |
455.83/456.07 c | 395110 | 24140 346496 1042460 | 65939 62362 701 | 0.871 % |
456.03/456.29 c | 395345 | 24140 346496 1042460 | 65939 62597 701 | 0.871 % |
456.83/457.00 c | 395602 | 24140 346496 1042460 | 65939 62854 699 | 0.871 % |
457.13/457.33 c | 395886 | 24140 346496 1042460 | 65939 63138 698 | 0.871 % |
457.53/457.70 c | 396195 | 24140 346496 1042460 | 65939 63447 698 | 0.871 % |
457.83/458.04 c | 396534 | 24140 346496 1042460 | 65939 63786 697 | 0.871 % |
458.43/458.65 c | 396906 | 24140 346496 1042460 | 65939 64158 697 | 0.871 % |
458.73/458.96 c | 397315 | 24140 346496 1042460 | 65939 64567 696 | 0.871 % |
459.63/459.84 c | 397764 | 24140 346496 1042460 | 65939 65016 694 | 0.871 % |
460.32/460.60 c | 398258 | 24140 346496 1042460 | 65939 65510 693 | 0.871 % |
460.92/461.15 c | 398800 | 24140 346496 1042460 | 65939 66052 696 | 0.871 % |
461.62/461.82 c | 399396 | 24140 346496 1042460 | 65939 66648 695 | 0.871 % |
462.52/462.71 c | 400053 | 24140 346496 1042460 | 2147483647 60641 676 | 0.871 % |
463.72/463.90 c | 400773 | 24140 346496 1042460 | 2147483647 61361 678 | 0.871 % |
464.22/464.46 c | 401566 | 24140 346496 1042460 | 2147483647 62154 679 | 0.871 % |
465.13/465.30 c | 402438 | 24140 346496 1042460 | 2147483647 63026 678 | 0.871 % |
465.72/465.94 c | 403396 | 24140 346496 1042460 | 2147483647 63984 677 | 0.871 % |
467.42/467.67 c | 404450 | 24140 346496 1042460 | 2147483647 65038 683 | 0.871 % |
468.52/468.73 c | 405608 | 24140 346496 1042460 | 2147483647 66196 694 | 0.871 % |
469.53/469.73 c | 406883 | 24140 346496 1042460 | 2147483647 67471 694 | 0.871 % |
470.42/470.68 c | 408283 | 24140 346496 1042460 | 2147483647 68871 696 | 0.871 % |
472.42/472.64 c | 409826 | 24140 346496 1042460 | 2147483647 70414 695 | 0.871 % |
475.02/475.29 c | 411522 | 24140 346496 1042460 | 70589 72110 697 | 0.871 % |
477.12/477.32 c | 413385 | 24140 346496 1042460 | 70589 62762 687 | 0.871 % |
478.02/478.26 c | 415434 | 24140 346496 1042460 | 70589 64811 689 | 0.871 % |
480.92/481.18 c | 417687 | 24140 346496 1042460 | 70589 67064 688 | 0.871 % |
483.62/483.83 c | 420168 | 24140 346496 1042460 | 69377 69545 689 | 0.871 % |
486.02/486.27 c | 422893 | 24140 346496 1042460 | 69377 72270 694 | 0.871 % |
488.02/488.28 c | 425891 | 24140 346496 1042460 | 69377 60810 714 | 0.871 % |
490.82/491.01 c | 429190 | 24140 346496 1042460 | 69377 64109 714 | 0.871 % |
494.51/494.70 c | 432815 | 24140 346496 1042460 | 64920 67734 712 | 0.871 % |
498.41/498.67 c | 436802 | 24140 346496 1042460 | 64920 61543 739 | 0.871 % |
498.51/498.80 c | 436902 | 24140 346496 1042460 | 64920 61643 739 | 0.871 % |
499.01/499.20 c | 437013 | 24140 346496 1042460 | 64920 61754 738 | 0.871 % |
499.41/499.68 c | 437134 | 24140 346496 1042460 | 64920 61875 737 | 0.871 % |
499.71/499.91 c | 437267 | 24140 346496 1042460 | 64920 62008 737 | 0.871 % |
500.11/500.30 c | 437414 | 24140 346496 1042460 | 64920 62155 736 | 0.871 % |
500.32/500.55 c | 437574 | 24140 346496 1042460 | 64920 62315 735 | 0.871 % |
500.61/500.85 c | 437753 | 24140 346496 1042460 | 64920 62494 735 | 0.871 % |
500.81/501.08 c | 437947 | 24140 346496 1042460 | 64920 62688 734 | 0.871 % |
501.42/501.62 c | 438159 | 24140 346496 1042460 | 64920 62900 733 | 0.871 % |
501.61/501.86 c | 438392 | 24140 346496 1042460 | 64920 63133 732 | 0.871 % |
502.31/502.59 c | 438649 | 24140 346496 1042460 | 64920 63390 730 | 0.871 % |
502.61/502.88 c | 438931 | 24140 346496 1042460 | 64920 63672 730 | 0.871 % |
503.01/503.25 c | 439240 | 24140 346496 1042460 | 64920 63981 729 | 0.871 % |
503.41/503.63 c | 439579 | 24140 346496 1042460 | 64920 64320 729 | 0.871 % |
503.81/504.05 c | 439952 | 24140 346496 1042460 | 64920 64693 728 | 0.871 % |
504.21/504.49 c | 440362 | 24140 346496 1042460 | 64742 65103 727 | 0.871 % |
504.61/504.90 c | 440815 | 24140 346496 1042460 | 64742 58026 724 | 0.871 % |
505.81/506.04 c | 441309 | 24140 346496 1042460 | 64742 58520 721 | 0.871 % |
506.61/506.80 c | 441852 | 24140 346496 1042460 | 64742 59063 720 | 0.871 % |
507.51/507.72 c | 442448 | 24140 346496 1042460 | 64742 59659 719 | 0.871 % |
508.41/508.65 c | 443106 | 24140 346496 1042460 | 64742 60317 718 | 0.871 % |
509.11/509.31 c | 443828 | 24140 346496 1042460 | 64742 61039 718 | 0.871 % |
509.91/510.13 c | 444621 | 24140 346496 1042460 | 64742 61832 717 | 0.871 % |
511.51/511.75 c | 445492 | 24140 346496 1042460 | 64742 62703 715 | 0.871 % |
512.61/512.85 c | 446450 | 24140 346496 1042460 | 64742 63661 716 | 0.871 % |
513.91/514.14 c | 447504 | 24140 346496 1042460 | 64742 64715 713 | 0.871 % |
515.11/515.37 c | 448662 | 24140 346496 1042460 | 64742 65873 713 | 0.871 % |
516.01/516.24 c | 449935 | 24140 346496 1042460 | 64742 60559 706 | 0.871 % |
517.71/517.95 c | 451335 | 24140 346496 1042460 | 2147483647 61959 704 | 0.871 % |
518.91/519.18 c | 452879 | 24140 346496 1042460 | 2147483647 63503 718 | 0.871 % |
520.11/520.37 c | 454574 | 24140 346496 1042460 | 2147483647 65198 721 | 0.871 % |
522.31/522.56 c | 456437 | 24140 346496 1042460 | 2147483647 67061 719 | 0.871 % |
523.70/523.91 c | 458486 | 24140 346496 1042460 | 2147483647 69110 726 | 0.871 % |
526.10/526.34 c | 460740 | 24140 346496 1042460 | 70625 71364 731 | 0.871 % |
528.00/528.28 c | 463220 | 24140 346496 1042460 | 70625 64697 736 | 0.871 % |
530.40/530.67 c | 465947 | 24140 346496 1042460 | 70625 67424 740 | 0.871 % |
533.20/533.49 c | 468945 | 24140 346496 1042460 | 70625 70422 743 | 0.871 % |
536.60/536.81 c | 472241 | 24140 346496 1042460 | 71477 73718 743 | 0.871 % |
539.29/539.55 c | 475866 | 24140 346496 1042460 | 71477 61434 746 | 0.871 % |
543.10/543.34 c | 479853 | 24140 346496 1042460 | 71477 65421 754 | 0.871 % |
547.19/547.41 c | 484239 | 24140 346496 1042460 | 65568 56643 764 | 0.871 % |
547.29/547.59 c | 484340 | 24140 346496 1042460 | 65568 56744 763 | 0.871 % |
547.60/547.84 c | 484451 | 24140 346496 1042460 | 65568 56855 763 | 0.871 % |
548.29/548.56 c | 484572 | 24140 346496 1042460 | 65568 56976 762 | 0.871 % |
548.70/548.99 c | 484705 | 24140 346496 1042460 | 65568 57109 761 | 0.871 % |
548.89/549.12 c | 484853 | 24140 346496 1042460 | 65568 57257 761 | 0.871 % |
549.09/549.32 c | 485013 | 24140 346496 1042460 | 65568 57417 760 | 0.871 % |
549.29/549.55 c | 485189 | 24140 346496 1042460 | 65568 57593 759 | 0.871 % |
549.80/550.05 c | 485382 | 24140 346496 1042460 | 65568 57786 758 | 0.871 % |
550.59/550.84 c | 485594 | 24140 346496 1042460 | 65568 57998 757 | 0.871 % |
550.80/551.07 c | 485828 | 24140 346496 1042460 | 65568 58232 756 | 0.871 % |
551.19/551.46 c | 486084 | 24140 346496 1042460 | 65568 58488 755 | 0.871 % |
551.49/551.76 c | 486370 | 24140 346496 1042460 | 65568 58774 754 | 0.871 % |
552.09/552.39 c | 486679 | 24140 346496 1042460 | 65568 59083 752 | 0.871 % |
552.59/552.86 c | 487019 | 24140 346496 1042460 | 65568 59423 752 | 0.871 % |
553.19/553.44 c | 487391 | 24140 346496 1042460 | 65568 59795 750 | 0.871 % |
553.60/553.81 c | 487800 | 24140 346496 1042460 | 65568 60204 749 | 0.871 % |
554.20/554.42 c | 488250 | 24140 346496 1042460 | 65568 60654 747 | 0.871 % |
554.80/555.03 c | 488743 | 24140 346496 1042460 | 65568 61147 746 | 0.871 % |
555.70/555.92 c | 489285 | 24140 346496 1042460 | 65568 61689 744 | 0.871 % |
556.50/556.77 c | 489884 | 24140 346496 1042460 | 65568 62288 741 | 0.871 % |
557.30/557.50 c | 490539 | 24140 346496 1042460 | 2147483647 62943 739 | 0.871 % |
558.60/558.84 c | 491259 | 24140 346496 1042460 | 2147483647 63663 736 | 0.871 % |
559.50/559.72 c | 492052 | 24140 346496 1042460 | 2147483647 64456 735 | 0.871 % |
560.20/560.41 c | 492925 | 24140 346496 1042460 | 2147483647 65329 733 | 0.871 % |
560.90/561.14 c | 493885 | 24140 346496 1042460 | 2147483647 66289 735 | 0.871 % |
561.90/562.15 c | 494942 | 24140 346496 1042460 | 2147483647 67346 737 | 0.871 % |
562.40/562.63 c | 496100 | 24140 346496 1042460 | 2147483647 68504 737 | 0.871 % |
564.39/564.67 c | 497373 | 24140 346496 1042460 | 2147483647 69777 734 | 0.871 % |
565.59/565.87 c | 498773 | 24140 346496 1042460 | 2147483647 71177 736 | 0.871 % |
566.99/567.22 c | 500314 | 24140 346496 1042460 | 72405 72718 736 | 0.871 % |
568.40/568.61 c | 502010 | 24140 346496 1042460 | 72405 64938 728 | 0.871 % |
569.50/569.71 c | 503873 | 24140 346496 1042460 | 72405 66801 725 | 0.871 % |
570.99/571.27 c | 505928 | 24140 346496 1042460 | 72405 68856 729 | 0.871 % |
572.99/573.21 c | 508182 | 24140 346496 1042460 | 72405 71110 730 | 0.871 % |
575.00/575.27 c | 510661 | 24140 346496 1042460 | 72928 73589 740 | 0.871 % |
577.30/577.58 c | 513386 | 24140 346496 1042460 | 72928 63089 743 | 0.871 % |
580.09/580.39 c | 516383 | 24140 346496 1042460 | 72928 66086 737 | 0.871 % |
583.29/583.57 c | 519679 | 24140 346496 1042460 | 72928 69382 737 | 0.871 % |
586.89/587.19 c | 523304 | 24140 346496 1042460 | 69704 73007 736 | 0.871 % |
591.19/591.48 c | 527291 | 24140 346496 1042460 | 69704 61969 732 | 0.871 % |
594.79/595.01 c | 531680 | 24140 346496 1042460 | 64679 66358 730 | 0.871 % |
598.48/598.72 c | 536506 | 24140 346496 1042460 | 64679 56625 729 | 0.871 % |
598.78/599.09 c | 536606 | 24140 346496 1042460 | 64679 56725 728 | 0.871 % |
598.98/599.27 c | 536716 | 24140 346496 1042460 | 64679 56835 727 | 0.871 % |
599.19/599.42 c | 536837 | 24140 346496 1042460 | 64679 56956 727 | 0.871 % |
599.58/599.80 c | 536971 | 24140 346496 1042460 | 64679 57090 726 | 0.871 % |
600.29/600.52 c | 537117 | 24140 346496 1042460 | 64679 57236 725 | 0.871 % |
600.39/600.69 c | 537277 | 24140 346496 1042460 | 64679 57396 724 | 0.871 % |
600.78/601.00 c | 537453 | 24140 346496 1042460 | 64679 57572 724 | 0.871 % |
600.88/601.15 c | 537646 | 24140 346496 1042460 | 64679 57765 723 | 0.871 % |
601.18/601.42 c | 537858 | 24140 346496 1042460 | 64679 57977 722 | 0.871 % |
601.98/602.20 c | 538092 | 24140 346496 1042460 | 64679 58211 720 | 0.871 % |
602.18/602.44 c | 538350 | 24140 346496 1042460 | 64679 58469 719 | 0.871 % |
602.49/602.74 c | 538631 | 24140 346496 1042460 | 64679 58750 719 | 0.871 % |
602.68/602.98 c | 538940 | 24140 346496 1042460 | 64679 59059 718 | 0.871 % |
602.88/603.15 c | 539279 | 24140 346496 1042460 | 64679 59398 717 | 0.871 % |
603.08/603.37 c | 539651 | 24140 346496 1042460 | 64679 59770 716 | 0.871 % |
603.69/603.96 c | 540060 | 24140 346496 1042460 | 60123 60179 715 | 0.871 % |
604.28/604.50 c | 540509 | 24140 346496 1042460 | 60123 60628 715 | 0.871 % |
604.98/605.29 c | 541003 | 24140 346496 1042460 | 60123 53014 734 | 0.871 % |
605.88/606.18 c | 541546 | 24140 346496 1042460 | 60123 53557 734 | 0.871 % |
606.38/606.61 c | 542143 | 24140 346496 1042460 | 60123 54154 733 | 0.871 % |
607.58/607.80 c | 542799 | 24140 346496 1042460 | 60123 54810 729 | 0.871 % |
608.38/608.64 c | 543519 | 24140 346496 1042460 | 60123 55530 727 | 0.871 % |
609.58/609.87 c | 544311 | 24140 346496 1042460 | 60123 56322 723 | 0.871 % |
610.38/610.67 c | 545183 | 24140 346496 1042460 | 60123 57194 723 | 0.871 % |
611.18/611.40 c | 546142 | 24140 346496 1042460 | 60123 58153 722 | 0.871 % |
612.28/612.59 c | 547198 | 24140 346496 1042460 | 60123 59209 743 | 0.871 % |
613.88/614.18 c | 548358 | 24140 346496 1042460 | 60123 60369 739 | 0.871 % |
615.18/615.48 c | 549633 | 24140 346496 1042460 | 60123 55608 737 | 0.871 % |
617.17/617.41 c | 551034 | 24140 346496 1042460 | 2147483647 57009 733 | 0.871 % |
618.47/618.77 c | 552575 | 24140 346496 1042460 | 2147483647 58550 734 | 0.871 % |
620.67/620.99 c | 554270 | 24140 346496 1042460 | 2147483647 60245 736 | 0.871 % |
622.47/622.77 c | 556133 | 24140 346496 1042460 | 2147483647 62108 737 | 0.871 % |
624.77/625.04 c | 558182 | 24140 346496 1042460 | 2147483647 64157 730 | 0.871 % |
626.97/627.28 c | 560436 | 24140 346496 1042460 | 65977 66411 731 | 0.871 % |
629.07/629.31 c | 562914 | 24140 346496 1042460 | 65977 57941 716 | 0.871 % |
631.07/631.32 c | 565640 | 24140 346496 1042460 | 65977 60667 719 | 0.871 % |
633.97/634.27 c | 568637 | 24140 346496 1042460 | 65977 63664 722 | 0.871 % |
636.77/637.08 c | 571934 | 24140 346496 1042460 | 65027 66961 729 | 0.871 % |
641.17/641.47 c | 575560 | 24140 346496 1042460 | 65027 60347 709 | 0.871 % |
644.67/644.94 c | 579547 | 24140 346496 1042460 | 65027 64334 711 | 0.871 % |
647.57/647.81 c | 583934 | 24140 346496 1042460 | 64788 68721 712 | 0.871 % |
651.06/651.36 c | 588757 | 24140 346496 1042460 | 64788 58449 705 | 0.871 % |
654.76/655.01 c | 594067 | 24140 346496 1042460 | 59692 63759 710 | 0.871 % |
655.06/655.39 c | 594168 | 24140 346496 1042460 | 59692 52814 714 | 0.871 % |
655.27/655.55 c | 594278 | 24140 346496 1042460 | 59692 52924 714 | 0.871 % |
655.37/655.65 c | 594400 | 24140 346496 1042460 | 59692 53046 713 | 0.871 % |
655.76/656.03 c | 594533 | 24140 346496 1042460 | 59692 53179 713 | 0.871 % |
656.16/656.44 c | 594682 | 24140 346496 1042460 | 59692 53328 711 | 0.871 % |
656.46/656.70 c | 594844 | 24140 346496 1042460 | 59692 53490 711 | 0.871 % |
656.76/657.00 c | 595020 | 24140 346496 1042460 | 59692 53666 711 | 0.871 % |
657.26/657.53 c | 595214 | 24140 346496 1042460 | 59692 53860 710 | 0.871 % |
657.46/657.74 c | 595426 | 24140 346496 1042460 | 59692 54072 709 | 0.871 % |
658.16/658.49 c | 595661 | 24140 346496 1042460 | 59692 54307 707 | 0.871 % |
658.46/658.75 c | 595918 | 24140 346496 1042460 | 59692 54564 706 | 0.871 % |
659.26/659.51 c | 596199 | 24140 346496 1042460 | 59692 54845 704 | 0.871 % |
659.46/659.74 c | 596510 | 24140 346496 1042460 | 59692 55156 704 | 0.871 % |
660.26/660.59 c | 596849 | 24140 346496 1042460 | 59692 55495 702 | 0.871 % |
660.66/661.00 c | 597222 | 24140 346496 1042460 | 59692 55868 702 | 0.871 % |
661.06/661.33 c | 597632 | 24140 346496 1042460 | 59692 56278 701 | 0.871 % |
661.76/662.07 c | 598081 | 24140 346496 1042460 | 59692 56727 699 | 0.871 % |
662.76/663.09 c | 598574 | 24140 346496 1042460 | 59692 57220 698 | 0.871 % |
663.46/663.76 c | 599116 | 24140 346496 1042460 | 59692 57762 697 | 0.871 % |
663.96/664.20 c | 599712 | 24140 346496 1042460 | 59692 58358 695 | 0.871 % |
664.56/664.81 c | 600367 | 24140 346496 1042460 | 2147483647 59013 696 | 0.871 % |
665.76/666.07 c | 601088 | 24140 346496 1042460 | 2147483647 59734 694 | 0.871 % |
666.56/666.84 c | 601883 | 24140 346496 1042460 | 2147483647 60529 691 | 0.871 % |
667.16/667.42 c | 602754 | 24140 346496 1042460 | 2147483647 61400 690 | 0.871 % |
667.76/668.09 c | 603713 | 24140 346496 1042460 | 2147483647 62359 694 | 0.871 % |
669.16/669.45 c | 604767 | 24140 346496 1042460 | 2147483647 63413 692 | 0.871 % |
670.05/670.36 c | 605926 | 24140 346496 1042460 | 2147483647 64572 692 | 0.871 % |
672.05/672.30 c | 607199 | 24140 346496 1042460 | 2147483647 65845 691 | 0.871 % |
673.85/674.17 c | 608601 | 24140 346496 1042460 | 2147483647 67247 689 | 0.871 % |
675.06/675.36 c | 610142 | 24140 346496 1042460 | 68647 68788 691 | 0.871 % |
676.16/676.41 c | 611837 | 24140 346496 1042460 | 68647 70483 695 | 0.871 % |
678.75/679.00 c | 613700 | 24140 346496 1042460 | 68647 63401 674 | 0.871 % |
681.05/681.37 c | 615749 | 24140 346496 1042460 | 68647 65450 670 | 0.871 % |
682.75/683.10 c | 618003 | 24140 346496 1042460 | 68647 67704 675 | 0.871 % |
685.15/685.42 c | 620481 | 24140 346496 1042460 | 69703 70182 677 | 0.871 % |
687.85/688.16 c | 623206 | 24140 346496 1042460 | 69703 60900 674 | 0.871 % |
690.45/690.72 c | 626203 | 24140 346496 1042460 | 69703 63897 683 | 0.871 % |
693.85/694.10 c | 629499 | 24140 346496 1042460 | 69703 67193 721 | 0.871 % |
697.05/697.37 c | 633130 | 24140 346496 1042460 | 67694 70824 726 | 0.871 % |
701.55/701.81 c | 637117 | 24140 346496 1042460 | 67694 54490 707 | 0.871 % |
705.54/705.90 c | 641503 | 24140 346496 1042460 | 57375 58876 712 | 0.871 % |
710.54/710.82 c | 646329 | 24140 346496 1042460 | 57375 51907 721 | 0.871 % |
714.64/714.95 c | 651635 | 24140 346496 1042460 | 55578 57213 718 | 0.871 % |
719.64/719.98 c | 657470 | 24140 346496 1042460 | 55578 53785 739 | 0.871 % |
719.74/720.08 c | 657570 | 24140 346496 1042460 | 55578 53885 739 | 0.871 % |
720.14/720.43 c | 657680 | 24140 346496 1042460 | 55578 53995 738 | 0.871 % |
720.24/720.56 c | 657801 | 24140 346496 1042460 | 55578 54116 738 | 0.871 % |
720.44/720.77 c | 657937 | 24140 346496 1042460 | 55578 54252 738 | 0.871 % |
720.74/721.07 c | 658084 | 24140 346496 1042460 | 55578 54399 737 | 0.871 % |
721.14/721.40 c | 658244 | 24140 346496 1042460 | 55578 54559 736 | 0.871 % |
721.34/721.62 c | 658420 | 24140 346496 1042460 | 55578 54735 736 | 0.871 % |
721.74/722.09 c | 658613 | 24140 346496 1042460 | 55578 54928 735 | 0.871 % |
721.94/722.26 c | 658825 | 24140 346496 1042460 | 55578 55140 734 | 0.871 % |
722.34/722.61 c | 659059 | 24140 346496 1042460 | 55578 55374 733 | 0.871 % |
722.64/722.95 c | 659315 | 24140 346496 1042460 | 55578 55630 733 | 0.871 % |
723.04/723.30 c | 659597 | 24140 346496 1042460 | 55578 55912 733 | 0.871 % |
723.24/723.60 c | 659907 | 24140 346496 1042460 | 55578 50631 731 | 0.871 % |
724.24/724.59 c | 660246 | 24140 346496 1042460 | 2147483647 50970 729 | 0.871 % |
724.54/724.86 c | 660618 | 24140 346496 1042460 | 2147483647 51342 728 | 0.871 % |
724.94/725.26 c | 661028 | 24140 346496 1042460 | 2147483647 51752 726 | 0.871 % |
726.24/726.51 c | 661477 | 24140 346496 1042460 | 2147483647 52201 723 | 0.871 % |
726.74/727.02 c | 661972 | 24140 346496 1042460 | 2147483647 52696 722 | 0.871 % |
727.24/727.52 c | 662514 | 24140 346496 1042460 | 2147483647 53238 721 | 0.871 % |
727.74/728.09 c | 663110 | 24140 346496 1042460 | 2147483647 53834 720 | 0.871 % |
728.24/728.59 c | 663766 | 24140 346496 1042460 | 2147483647 54490 719 | 0.871 % |
728.83/729.18 c | 664486 | 24140 346496 1042460 | 2147483647 55210 718 | 0.871 % |
729.93/730.20 c | 665278 | 24140 346496 1042460 | 2147483647 56002 717 | 0.871 % |
730.43/730.75 c | 666150 | 24140 346496 1042460 | 2147483647 56874 717 | 0.871 % |
731.33/731.60 c | 667110 | 24140 346496 1042460 | 2147483647 57834 727 | 0.871 % |
732.63/732.95 c | 668165 | 24140 346496 1042460 | 2147483647 58889 726 | 0.871 % |
733.53/733.89 c | 669325 | 24140 346496 1042460 | 2147483647 60049 734 | 0.871 % |
735.33/735.66 c | 670599 | 24140 346496 1042460 | 2147483647 61323 729 | 0.871 % |
736.53/736.86 c | 672000 | 24140 346496 1042460 | 2147483647 62724 732 | 0.871 % |
737.63/737.94 c | 673541 | 24140 346496 1042460 | 2147483647 64265 730 | 0.871 % |
739.23/739.50 c | 675235 | 24140 346496 1042460 | 2147483647 65959 730 | 0.871 % |
741.43/741.74 c | 677100 | 24140 346496 1042460 | 2147483647 67824 725 | 0.871 % |
743.83/744.14 c | 679151 | 24140 346496 1042460 | 2147483647 69875 729 | 0.871 % |
744.93/745.28 c | 681404 | 24140 346496 1042460 | 2147483647 72128 732 | 0.871 % |
747.73/748.02 c | 683885 | 24140 346496 1042460 | 2147483647 74609 731 | 0.871 % |
750.63/750.98 c | 686610 | 24140 346496 1042460 | 2147483647 77334 728 | 0.871 % |
754.23/754.59 c | 689609 | 24140 346496 1042460 | 2147483647 80333 727 | 0.871 % |
757.13/757.45 c | 692906 | 24140 346496 1042460 | 80724 83630 733 | 0.871 % |
761.73/762.05 c | 696532 | 24140 346496 1042460 | 80724 69704 704 | 0.871 % |
765.23/765.52 c | 700519 | 24140 346496 1042460 | 73173 73691 722 | 0.871 % |
768.92/769.23 c | 704905 | 24140 346496 1042460 | 73173 61578 717 | 0.871 % |
773.22/773.50 c | 709729 | 24140 346496 1042460 | 73173 66402 732 | 0.871 % |
777.82/778.12 c | 715037 | 24140 346496 1042460 | 66674 71710 740 | 0.871 % |
783.12/783.45 c | 720872 | 24140 346496 1042460 | 58196 59064 771 | 0.871 % |
788.62/788.97 c | 727290 | 24140 346496 1042460 | 58196 53110 792 | 0.871 % |
788.82/789.10 c | 727391 | 24140 346496 1042460 | 58196 53211 792 | 0.871 % |
789.02/789.38 c | 727502 | 24140 346496 1042460 | 58196 53322 791 | 0.871 % |
789.32/789.64 c | 727623 | 24140 346496 1042460 | 58196 53443 790 | 0.871 % |
789.42/789.79 c | 727757 | 24140 346496 1042460 | 58196 53577 790 | 0.871 % |
789.72/790.02 c | 727903 | 24140 346496 1042460 | 58196 53723 789 | 0.871 % |
790.02/790.36 c | 728063 | 24140 346496 1042460 | 58196 53883 788 | 0.871 % |
790.42/790.76 c | 728240 | 24140 346496 1042460 | 58196 54060 787 | 0.871 % |
790.72/791.07 c | 728433 | 24140 346496 1042460 | 58196 54253 788 | 0.871 % |
791.32/791.67 c | 728645 | 24140 346496 1042460 | 58196 54465 786 | 0.871 % |
791.72/792.05 c | 728879 | 24140 346496 1042460 | 58196 54699 785 | 0.871 % |
792.02/792.40 c | 729135 | 24140 346496 1042460 | 58196 54955 784 | 0.871 % |
792.32/792.63 c | 729416 | 24140 346496 1042460 | 58196 55236 784 | 0.871 % |
792.72/793.03 c | 729726 | 24140 346496 1042460 | 58196 55546 783 | 0.871 % |
793.22/793.57 c | 730065 | 24140 346496 1042460 | 55822 55885 781 | 0.871 % |
793.72/794.07 c | 730437 | 24140 346496 1042460 | 55822 56257 779 | 0.871 % |
794.11/794.43 c | 730846 | 24140 346496 1042460 | 55822 50260 773 | 0.871 % |
794.61/794.91 c | 731295 | 24140 346496 1042460 | 55822 50709 771 | 0.871 % |
795.11/795.44 c | 731788 | 24140 346496 1042460 | 55822 51202 772 | 0.871 % |
795.51/795.85 c | 732331 | 24140 346496 1042460 | 55822 51745 769 | 0.871 % |
796.12/796.43 c | 732928 | 24140 346496 1042460 | 55822 52342 768 | 0.871 % |
796.51/796.83 c | 733584 | 24140 346496 1042460 | 55822 52998 765 | 0.871 % |
797.22/797.51 c | 734307 | 24140 346496 1042460 | 55822 53721 762 | 0.871 % |
798.32/798.62 c | 735099 | 24140 346496 1042460 | 55822 54513 761 | 0.871 % |
798.91/799.23 c | 735971 | 24140 346496 1042460 | 55822 55385 764 | 0.871 % |
799.51/799.80 c | 736930 | 24140 346496 1042460 | 55822 56344 761 | 0.871 % |
800.52/800.86 c | 737983 | 24140 346496 1042460 | 55822 51763 766 | 0.871 % |
801.52/801.89 c | 739143 | 24140 346496 1042460 | 55822 52923 764 | 0.871 % |
802.41/802.75 c | 740417 | 24140 346496 1042460 | 2147483647 54197 766 | 0.871 % |
803.81/804.11 c | 741817 | 24140 346496 1042460 | 2147483647 55597 762 | 0.871 % |
804.91/805.25 c | 743357 | 24140 346496 1042460 | 2147483647 57137 761 | 0.871 % |
806.51/806.82 c | 745053 | 24140 346496 1042460 | 2147483647 58833 756 | 0.871 % |
808.51/808.89 c | 746918 | 24140 346496 1042460 | 2147483647 60698 760 | 0.871 % |
810.71/811.08 c | 748968 | 24140 346496 1042460 | 2147483647 62748 756 | 0.871 % |
813.81/814.13 c | 751221 | 24140 346496 1042460 | 63781 65001 756 | 0.871 % |
815.91/816.22 c | 753699 | 24140 346496 1042460 | 63781 55022 724 | 0.871 % |
819.21/819.52 c | 756426 | 24140 346496 1042460 | 63781 57749 717 | 0.871 % |
823.51/823.88 c | 759424 | 24140 346496 1042460 | 63781 60747 720 | 0.871 % |
828.00/828.40 c | 762721 | 24140 346496 1042460 | 61323 54666 701 | 0.871 % |
830.00/830.39 c | 766346 | 24140 346496 1042460 | 61323 58291 739 | 0.871 % |
834.10/834.40 c | 770334 | 24140 346496 1042460 | 2147483647 62279 755 | 0.871 % |
838.40/838.71 c | 774719 | 24140 346496 1042460 | 2147483647 66664 771 | 0.871 % |
842.89/843.26 c | 779542 | 24140 346496 1042460 | 2147483647 71487 770 | 0.871 % |
847.89/848.27 c | 784847 | 24140 346496 1042460 | 71948 76792 795 | 0.871 % |
853.79/854.13 c | 790685 | 24140 346496 1042460 | 2147483647 69591 827 | 0.871 % |
859.30/859.69 c | 797106 | 24140 346496 1042460 | 2147483647 76012 840 | 0.871 % |
868.29/868.61 c | 804167 | 24140 346496 1042460 | 2147483647 83073 883 | 0.871 % |
868.70/869.02 c | 804269 | 24140 346496 1042460 | 2147483647 83175 882 | 0.871 % |
868.89/869.27 c | 804380 | 24140 346496 1042460 | 2147483647 83286 882 | 0.871 % |
869.39/869.78 c | 804501 | 24140 346496 1042460 | 2147483647 83407 881 | 0.871 % |
870.19/870.55 c | 804635 | 24140 346496 1042460 | 2147483647 83541 880 | 0.871 % |
870.49/870.83 c | 804782 | 24140 346496 1042460 | 2147483647 83688 880 | 0.871 % |
870.79/871.14 c | 804944 | 24140 346496 1042460 | 2147483647 83850 879 | 0.871 % |
871.19/871.51 c | 805121 | 24140 346496 1042460 | 2147483647 84027 878 | 0.871 % |
871.59/871.93 c | 805315 | 24140 346496 1042460 | 2147483647 84221 877 | 0.871 % |
871.89/872.25 c | 805527 | 24140 346496 1042460 | 2147483647 84433 876 | 0.871 % |
872.29/872.69 c | 805761 | 24140 346496 1042460 | 2147483647 84667 875 | 0.871 % |
872.88/873.28 c | 806017 | 24140 346496 1042460 | 2147483647 84923 874 | 0.871 % |
874.09/874.48 c | 806298 | 24140 346496 1042460 | 2147483647 85204 872 | 0.871 % |
874.79/875.12 c | 806608 | 24140 346496 1042460 | 2147483647 85514 871 | 0.871 % |
874.99/875.36 c | 806947 | 24140 346496 1042460 | 2147483647 85853 870 | 0.871 % |
875.89/876.27 c | 807322 | 24140 346496 1042460 | 2147483647 86228 868 | 0.871 % |
876.29/876.69 c | 807731 | 24140 346496 1042460 | 2147483647 86637 868 | 0.871 % |
877.29/877.60 c | 808181 | 24140 346496 1042460 | 2147483647 87087 866 | 0.871 % |
877.69/878.02 c | 808674 | 24140 346496 1042460 | 2147483647 87580 864 | 0.871 % |
878.28/878.67 c | 809217 | 24140 346496 1042460 | 2147483647 88123 863 | 0.871 % |
879.09/879.47 c | 809813 | 24140 346496 1042460 | 2147483647 88719 861 | 0.871 % |
880.99/881.30 c | 810468 | 24140 346496 1042460 | 88908 89374 859 | 0.871 % |
881.99/882.36 c | 811190 | 24140 346496 1042460 | 88908 77244 887 | 0.871 % |
883.29/883.68 c | 811982 | 24140 346496 1042460 | 88908 78036 883 | 0.871 % |
883.79/884.15 c | 812854 | 24140 346496 1042460 | 88908 78908 881 | 0.871 % |
884.49/884.80 c | 813812 | 24140 346496 1042460 | 88908 79866 883 | 0.871 % |
885.19/885.59 c | 814865 | 24140 346496 1042460 | 88908 80919 880 | 0.871 % |
886.69/887.05 c | 816023 | 24140 346496 1042460 | 88908 82077 880 | 0.871 % |
887.98/888.33 c | 817299 | 24140 346496 1042460 | 88908 83353 878 | 0.871 % |
890.59/890.92 c | 818699 | 24140 346496 1042460 | 88908 84753 874 | 0.871 % |
892.38/892.80 c | 820242 | 24140 346496 1042460 | 86055 86296 870 | 0.871 % |
894.08/894.42 c | 821936 | 24140 346496 1042460 | 86055 73351 897 | 0.871 % |
895.98/896.40 c | 823800 | 24140 346496 1042460 | 86055 75215 895 | 0.871 % |
897.38/897.70 c | 825851 | 24140 346496 1042460 | 86055 77266 892 | 0.871 % |
900.48/900.88 c | 828104 | 24140 346496 1042460 | 86055 79519 883 | 0.871 % |
902.18/902.53 c | 830582 | 24140 346496 1042460 | 81416 81997 878 | 0.871 % |
905.18/905.53 c | 833308 | 24140 346496 1042460 | 81416 68428 858 | 0.871 % |
908.38/908.75 c | 836305 | 24140 346496 1042460 | 81416 71425 848 | 0.871 % |
911.38/911.76 c | 839602 | 24140 346496 1042460 | 81416 74722 848 | 0.871 % |
915.28/915.63 c | 843230 | 24140 346496 1042460 | 75126 78350 840 | 0.871 % |
919.47/919.81 c | 847217 | 24140 346496 1042460 | 75126 65410 794 | 0.871 % |
923.17/923.58 c | 851607 | 24140 346496 1042460 | 68194 69800 796 | 0.871 % |
931.17/931.59 c | 856431 | 24140 346496 1042460 | 68194 60299 745 | 0.871 % |
935.77/936.11 c | 861736 | 24140 346496 1042460 | 63869 65604 746 | 0.871 % |
948.46/948.83 c | 867571 | 24140 346496 1042460 | 63869 53416 750 | 0.871 % |
953.66/954.09 c | 873989 | 24140 346496 1042460 | 55846 59834 766 | 0.871 % |
960.06/960.42 c | 881048 | 24140 346496 1042460 | 54387 55435 783 | 0.871 % |
965.86/966.23 c | 888813 | 24140 346496 1042460 | 54387 51750 805 | 0.871 % |
966.26/966.62 c | 888915 | 24140 346496 1042460 | 54387 51852 804 | 0.871 % |
966.46/966.90 c | 889025 | 24140 346496 1042460 | 54387 51962 803 | 0.871 % |
967.16/967.54 c | 889146 | 24140 346496 1042460 | 54387 52083 802 | 0.871 % |
967.36/967.79 c | 889279 | 24140 346496 1042460 | 54387 52216 801 | 0.871 % |
967.56/967.95 c | 889426 | 24140 346496 1042460 | 54387 52363 800 | 0.871 % |
967.66/968.07 c | 889586 | 24140 346496 1042460 | 54387 52523 800 | 0.871 % |
967.96/968.37 c | 889766 | 24140 346496 1042460 | 54387 52703 799 | 0.871 % |
968.26/968.69 c | 889960 | 24140 346496 1042460 | 54387 52897 798 | 0.871 % |
969.06/969.46 c | 890173 | 24140 346496 1042460 | 52937 53110 795 | 0.871 % |
969.26/969.65 c | 890406 | 24140 346496 1042460 | 52937 53343 795 | 0.871 % |
969.46/969.87 c | 890662 | 24140 346496 1042460 | 52937 48265 800 | 0.871 % |
969.96/970.40 c | 890943 | 24140 346496 1042460 | 52937 48546 798 | 0.871 % |
970.26/970.69 c | 891253 | 24140 346496 1042460 | 52937 48856 796 | 0.871 % |
970.66/971.06 c | 891593 | 24140 346496 1042460 | 52937 49196 795 | 0.871 % |
971.26/971.69 c | 891965 | 24140 346496 1042460 | 52937 49568 793 | 0.871 % |
971.46/971.90 c | 892374 | 24140 346496 1042460 | 52937 49977 792 | 0.871 % |
971.96/972.37 c | 892824 | 24140 346496 1042460 | 52937 50427 791 | 0.871 % |
972.66/973.01 c | 893318 | 24140 346496 1042460 | 52937 50921 790 | 0.871 % |
973.85/974.21 c | 893863 | 24140 346496 1042460 | 52937 51466 786 | 0.871 % |
974.65/975.06 c | 894460 | 24140 346496 1042460 | 52937 52063 783 | 0.871 % |
975.55/975.94 c | 895117 | 24140 346496 1042460 | 52937 52720 788 | 0.871 % |
976.46/976.80 c | 895838 | 24140 346496 1042460 | 52937 53441 788 | 0.871 % |
978.35/978.70 c | 896630 | 24140 346496 1042460 | 52937 48889 782 | 0.871 % |
979.55/979.96 c | 897502 | 24140 346496 1042460 | 52937 49761 782 | 0.871 % |
980.35/980.77 c | 898461 | 24140 346496 1042460 | 52937 50720 778 | 0.871 % |
981.45/981.84 c | 899516 | 24140 346496 1042460 | 52937 51775 778 | 0.871 % |
983.15/983.51 c | 900674 | 24140 346496 1042460 | 2147483647 52933 774 | 0.871 % |
984.16/984.51 c | 901948 | 24140 346496 1042460 | 2147483647 54207 773 | 0.871 % |
985.55/985.99 c | 903349 | 24140 346496 1042460 | 2147483647 55608 769 | 0.871 % |
987.45/987.83 c | 904889 | 24140 346496 1042460 | 2147483647 57148 763 | 0.871 % |
988.55/988.92 c | 906584 | 24140 346496 1042460 | 2147483647 58843 765 | 0.871 % |
989.85/990.20 c | 908448 | 24140 346496 1042460 | 2147483647 60707 762 | 0.871 % |
992.15/992.55 c | 910497 | 24140 346496 1042460 | 62261 62756 759 | 0.871 % |
993.85/994.29 c | 912752 | 24140 346496 1042460 | 62261 56642 757 | 0.871 % |
996.25/996.65 c | 915231 | 24140 346496 1042460 | 62261 59121 765 | 0.871 % |
998.55/998.90 c | 917956 | 24140 346496 1042460 | 62261 61846 764 | 0.871 % |
1001.24/1001.63 c | 920953 | 24140 346496 1042460 | 63891 64843 763 | 0.871 % |
1004.24/1004.61 c | 924249 | 24140 346496 1042460 | 63891 53841 688 | 0.871 % |
1006.94/1007.34 c | 927877 | 24140 346496 1042460 | 63891 57469 691 | 0.871 % |
1010.45/1010.89 c | 931865 | 24140 346496 1042460 | 59592 61457 692 | 0.871 % |
1014.14/1014.54 c | 936250 | 24140 346496 1042460 | 59592 57746 689 | 0.871 % |
1017.44/1017.86 c | 941074 | 24140 346496 1042460 | 61496 62570 696 | 0.871 % |
1021.74/1022.13 c | 946380 | 24140 346496 1042460 | 61496 54527 696 | 0.871 % |
1026.44/1026.88 c | 952218 | 24140 346496 1042460 | 58149 60365 702 | 0.871 % |
1032.54/1032.95 c | 958636 | 24140 346496 1042460 | 58149 54026 733 | 0.871 % |
1039.14/1039.55 c | 965695 | 24140 346496 1042460 | 55393 61085 750 | 0.871 % |
1046.63/1047.07 c | 973462 | 24140 346496 1042460 | 49542 53003 779 | 0.871 % |
1056.43/1056.81 c | 982003 | 24140 346496 1042460 | 47253 49255 794 | 0.871 % |
1056.63/1057.10 c | 982104 | 24140 346496 1042460 | 47253 35836 800 | 0.871 % |
1056.83/1057.21 c | 982216 | 24140 346496 1042460 | 47253 35948 799 | 0.871 % |
1056.93/1057.38 c | 982338 | 24140 346496 1042460 | 47253 36070 798 | 0.871 % |
1057.33/1057.74 c | 982473 | 24140 346496 1042460 | 47253 36205 796 | 0.871 % |
1057.43/1057.86 c | 982619 | 24140 346496 1042460 | 47253 36351 795 | 0.871 % |
1057.63/1058.05 c | 982780 | 24140 346496 1042460 | 47253 36512 794 | 0.871 % |
1057.83/1058.27 c | 982957 | 24140 346496 1042460 | 47253 36689 792 | 0.871 % |
1058.02/1058.46 c | 983150 | 24140 346496 1042460 | 47253 36882 791 | 0.871 % |
1058.22/1058.67 c | 983363 | 24140 346496 1042460 | 47253 37095 790 | 0.871 % |
1058.42/1058.89 c | 983599 | 24140 346496 1042460 | 47253 37331 788 | 0.871 % |
1058.93/1059.39 c | 983856 | 24140 346496 1042460 | 47253 37588 786 | 0.871 % |
1059.12/1059.55 c | 984137 | 24140 346496 1042460 | 47253 37869 785 | 0.871 % |
1059.42/1059.85 c | 984446 | 24140 346496 1042460 | 47253 38178 783 | 0.871 % |
1059.62/1060.04 c | 984785 | 24140 346496 1042460 | 47253 38517 781 | 0.871 % |
1060.12/1060.54 c | 985157 | 24140 346496 1042460 | 47253 38889 780 | 0.871 % |
1060.42/1060.89 c | 985567 | 24140 346496 1042460 | 47253 39299 777 | 0.871 % |
1060.92/1061.33 c | 986017 | 24140 346496 1042460 | 47253 39749 774 | 0.871 % |
1061.42/1061.81 c | 986511 | 24140 346496 1042460 | 47253 40243 774 | 0.871 % |
1061.92/1062.40 c | 987053 | 24140 346496 1042460 | 47253 40785 772 | 0.871 % |
1062.52/1062.92 c | 987650 | 24140 346496 1042460 | 47253 41382 769 | 0.871 % |
1063.12/1063.50 c | 988306 | 24140 346496 1042460 | 47253 42038 766 | 0.871 % |
1064.12/1064.53 c | 989027 | 24140 346496 1042460 | 47253 42759 767 | 0.871 % |
1065.52/1065.97 c | 989821 | 24140 346496 1042460 | 47253 43553 763 | 0.871 % |
1065.92/1066.36 c | 990692 | 24140 346496 1042460 | 2147483647 44424 761 | 0.871 % |
1067.02/1067.41 c | 991651 | 24140 346496 1042460 | 2147483647 45383 757 | 0.871 % |
1067.72/1068.15 c | 992705 | 24140 346496 1042460 | 2147483647 46437 757 | 0.871 % |
1069.22/1069.65 c | 993863 | 24140 346496 1042460 | 2147483647 47595 750 | 0.871 % |
1070.32/1070.74 c | 995136 | 24140 346496 1042460 | 2147483647 48868 756 | 0.871 % |
1071.92/1072.40 c | 996537 | 24140 346496 1042460 | 2147483647 50269 751 | 0.871 % |
1075.42/1075.87 c | 998079 | 24140 346496 1042460 | 2147483647 51811 747 | 0.871 % |
1076.72/1077.15 c | 999775 | 24140 346496 1042460 | 2147483647 53507 743 | 0.871 % |
1078.52/1078.96 c | 1001639 | 24140 346496 1042460 | 2147483647 55371 754 | 0.871 % |
1081.11/1081.56 c | 1003689 | 24140 346496 1042460 | 2147483647 57421 757 | 0.871 % |
1082.71/1083.11 c | 1005945 | 24140 346496 1042460 | 2147483647 59677 749 | 0.871 % |
1084.51/1084.96 c | 1008425 | 24140 346496 1042460 | 2147483647 62157 748 | 0.871 % |
1086.81/1087.26 c | 1011153 | 24140 346496 1042460 | 63734 64885 769 | 0.871 % |
1091.01/1091.45 c | 1014150 | 24140 346496 1042460 | 63734 57728 742 | 0.871 % |
1092.81/1093.28 c | 1017447 | 24140 346496 1042460 | 63734 61025 743 | 0.871 % |
1095.51/1095.92 c | 1021072 | 24140 346496 1042460 | 63581 64650 770 | 0.871 % |
1099.81/1100.21 c | 1025059 | 24140 346496 1042460 | 63581 57159 750 | 0.871 % |
1102.31/1102.75 c | 1029444 | 24140 346496 1042460 | 63581 61544 748 | 0.871 % |
1108.81/1109.25 c | 1034268 | 24140 346496 1042460 | 62101 55503 711 | 0.871 % |
1114.80/1115.24 c | 1039573 | 24140 346496 1042460 | 62101 60808 750 | 0.871 % |
1120.51/1120.95 c | 1045409 | 24140 346496 1042460 | 61238 54535 761 | 0.871 % |
1125.30/1125.74 c | 1051829 | 24140 346496 1042460 | 59126 60955 775 | 0.871 % |
1133.50/1133.95 c | 1058888 | 24140 346496 1042460 | 59126 54747 778 | 0.871 % |
1140.80/1141.26 c | 1066652 | 24140 346496 1042460 | 55859 62511 769 | 0.871 % |
1147.19/1147.64 c | 1075192 | 24140 346496 1042460 | 50171 44472 761 | 0.871 % |
1154.19/1154.63 c | 1084587 | 24140 346496 1042460 | 2147483647 53867 762 | 0.871 % |
1154.39/1154.83 c | 1084689 | 24140 346496 1042460 | 2147483647 53969 762 | 0.871 % |
1154.50/1154.93 c | 1084800 | 24140 346496 1042460 | 2147483647 54080 761 | 0.871 % |
1154.60/1155.05 c | 1084922 | 24140 346496 1042460 | 2147483647 54202 761 | 0.871 % |
1154.79/1155.20 c | 1085056 | 24140 346496 1042460 | 2147483647 54336 760 | 0.871 % |
1155.09/1155.59 c | 1085203 | 24140 346496 1042460 | 2147483647 54483 759 | 0.871 % |
1155.60/1156.03 c | 1085363 | 24140 346496 1042460 | 2147483647 54643 758 | 0.871 % |
1155.99/1156.44 c | 1085540 | 24140 346496 1042460 | 2147483647 54820 757 | 0.871 % |
1156.49/1156.90 c | 1085733 | 24140 346496 1042460 | 2147483647 55013 756 | 0.871 % |
1156.59/1157.03 c | 1085945 | 24140 346496 1042460 | 2147483647 55225 755 | 0.871 % |
1156.89/1157.35 c | 1086178 | 24140 346496 1042460 | 2147483647 55458 755 | 0.871 % |
1157.59/1158.00 c | 1086435 | 24140 346496 1042460 | 2147483647 55715 754 | 0.871 % |
1157.79/1158.27 c | 1086716 | 24140 346496 1042460 | 2147483647 55996 755 | 0.871 % |
1158.09/1158.57 c | 1087025 | 24140 346496 1042460 | 2147483647 56305 754 | 0.871 % |
1158.79/1159.26 c | 1087364 | 24140 346496 1042460 | 2147483647 56644 752 | 0.871 % |
1159.19/1159.66 c | 1087738 | 24140 346496 1042460 | 2147483647 57018 751 | 0.871 % |
1159.69/1160.19 c | 1088147 | 24140 346496 1042460 | 2147483647 57427 749 | 0.871 % |
1160.19/1160.69 c | 1088596 | 24140 346496 1042460 | 2147483647 57876 748 | 0.871 % |
1160.79/1161.23 c | 1089094 | 24140 346496 1042460 | 2147483647 58374 748 | 0.871 % |
1161.39/1161.86 c | 1089638 | 24140 346496 1042460 | 2147483647 58918 747 | 0.871 % |
1161.99/1162.43 c | 1090237 | 24140 346496 1042460 | 2147483647 59517 746 | 0.871 % |
1162.69/1163.13 c | 1090892 | 24140 346496 1042460 | 2147483647 60172 745 | 0.871 % |
1163.69/1164.14 c | 1091614 | 24140 346496 1042460 | 2147483647 60894 742 | 0.871 % |
1164.49/1164.98 c | 1092406 | 24140 346496 1042460 | 2147483647 61686 750 | 0.871 % |
1165.59/1166.03 c | 1093277 | 24140 346496 1042460 | 2147483647 62557 748 | 0.871 % |
1166.19/1166.70 c | 1094237 | 24140 346496 1042460 | 2147483647 63517 747 | 0.871 % |
1167.79/1168.22 c | 1095290 | 24140 346496 1042460 | 2147483647 64570 745 | 0.871 % |
1169.39/1169.81 c | 1096448 | 24140 346496 1042460 | 2147483647 65728 744 | 0.871 % |
1170.39/1170.82 c | 1097721 | 24140 346496 1042460 | 2147483647 67001 741 | 0.871 % |
1171.59/1172.08 c | 1099122 | 24140 346496 1042460 | 2147483647 68402 741 | 0.871 % |
1172.88/1173.31 c | 1100662 | 24140 346496 1042460 | 69282 69942 740 | 0.871 % |
1174.08/1174.54 c | 1102359 | 24140 346496 1042460 | 69282 62503 718 | 0.871 % |
1176.08/1176.59 c | 1104225 | 24140 346496 1042460 | 69282 64369 725 | 0.871 % |
1178.18/1178.63 c | 1106274 | 24140 346496 1042460 | 69282 66418 725 | 0.871 % |
1181.18/1181.64 c | 1108527 | 24140 346496 1042460 | 69282 68671 731 | 0.871 % |
1184.28/1184.71 c | 1111009 | 24140 346496 1042460 | 70145 71153 734 | 0.871 % |
1187.58/1188.06 c | 1113734 | 24140 346496 1042460 | 70145 58776 709 | 0.871 % |
1191.18/1191.63 c | 1116732 | 24140 346496 1042460 | 70145 61774 717 | 0.871 % |
1193.38/1193.88 c | 1120028 | 24140 346496 1042460 | 65044 65070 734 | 0.871 % |
1197.58/1198.03 c | 1123654 | 24140 346496 1042460 | 65044 68696 737 | 0.871 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833783-1242825208/watcher-1833783-1242825208 -o /tmp/evaluation-result-1833783-1242825208/solver-1833783-1242825208 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833783-1242825208.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 5820
/proc/meminfo: memFree=1949176/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=0
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553500 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5820/statm: 1339 237 197 169 0 50 0
[startup+0.083546 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 5820
/proc/meminfo: memFree=1949176/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=0
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553500 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101547 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 5820
/proc/meminfo: memFree=1949176/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=0
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553500 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301572 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 5820
/proc/meminfo: memFree=1949176/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=0
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553500 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701619 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 5820
/proc/meminfo: memFree=1949176/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=0
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553500 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5820/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50172 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 5825
/proc/meminfo: memFree=1923880/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=0
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553500 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5820/statm: 1339 237 197 169 0 50 0
[pid=5824] ppid=5820 vsize=28492 CPUtime=1.48
/proc/5824/stat : 5824 (SatELite_releas) R 5820 5820 5609 0 -1 4194304 6387 0 0 0 145 3 0 0 25 0 1 0 310553500 29175808 6325 1992294400 134512640 135223648 4294956128 18446744073709551615 134587019 0 0 4096 3 0 0 0 17 1 0 0
/proc/5824/statm: 7123 6325 76 173 0 6948 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33848
[startup+3.10191 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 5825
/proc/meminfo: memFree=1923496/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=0
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310553500 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5820/statm: 1339 237 197 169 0 50 0
[pid=5824] ppid=5820 vsize=28492 CPUtime=3.08
/proc/5824/stat : 5824 (SatELite_releas) R 5820 5820 5609 0 -1 4194304 6387 0 0 0 304 4 0 0 25 0 1 0 310553500 29175808 6325 1992294400 134512640 135223648 4294956128 18446744073709551615 134586662 0 0 4096 3 0 0 0 17 1 0 0
/proc/5824/statm: 7123 6325 76 173 0 6948 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33848
[startup+6.30229 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1923176/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=21360 CPUtime=1.73
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 5065 0 0 0 169 4 0 0 25 0 1 0 310553956 21872640 5051 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 5340 5051 77 171 0 5167 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 26716
[startup+12.7011 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1908136/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=36192 CPUtime=8.12
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 8755 0 0 0 806 6 0 0 25 0 1 0 310553956 37060608 8741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 9048 8741 77 171 0 8875 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41548
[startup+25.5016 s]
/proc/loadavg: 1.04 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1883944/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=59060 CPUtime=20.93
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 14482 0 0 0 2082 11 0 0 25 0 1 0 310553956 60477440 14468 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 14765 14468 77 171 0 14592 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 64416
[startup+51.1017 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1835688/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=108000 CPUtime=46.5
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 26704 0 0 0 4631 19 0 0 25 0 1 0 310553956 110592000 26690 1992294400 134512640 135215339 4294956240 18446744073709551615 134527212 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 27000 26691 77 171 0 26827 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 113356
[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1706600/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=235936 CPUtime=97.69
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 58682 0 0 0 9732 37 0 0 25 0 1 0 310553956 241598464 58668 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 58984 58668 77 171 0 58811 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 241292
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1638568/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=303728 CPUtime=157.67
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 75654 0 0 0 15718 49 0 0 25 0 1 0 310553956 311017472 75640 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 75932 75640 77 171 0 75759 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 309084
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1628904/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=313020 CPUtime=217.66
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 77989 0 0 0 21714 52 0 0 25 0 1 0 310553956 320532480 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 78255 77975 77 171 0 78082 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 318376
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1628904/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=313020 CPUtime=277.64
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 77989 0 0 0 27712 52 0 0 25 0 1 0 310553956 320532480 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 78255 77975 77 171 0 78082 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 318376
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1628840/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=313020 CPUtime=337.62
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 77989 0 0 0 33710 52 0 0 25 0 1 0 310553956 320532480 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 78255 77975 77 171 0 78082 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 318376
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1628712/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=313020 CPUtime=397.61
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 77989 0 0 0 39708 53 0 0 25 0 1 0 310553956 320532480 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 78255 77975 77 171 0 78082 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 318376
[startup+462.302 s]
################
# More data... #
################
/proc/5826/statm: 78255 77975 77 171 0 78082 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 318376
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1628200/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=313020 CPUtime=637.53
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 77989 0 0 0 63699 54 0 0 25 0 1 0 310553956 320532480 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 78255 77975 77 171 0 78082 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 318376
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1628008/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=313020 CPUtime=697.5
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 77989 0 0 0 69696 54 0 0 25 0 1 0 310553956 320532480 77975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 78255 77975 77 171 0 78082 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 318376
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1621800/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=319152 CPUtime=757.49
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 79520 0 0 0 75694 55 0 0 25 0 1 0 310553956 326811648 79506 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 79788 79506 77 171 0 79615 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 324508
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1621928/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=318668 CPUtime=817.46
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 79520 0 0 0 81691 55 0 0 25 0 1 0 310553956 326316032 79390 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 79667 79390 77 171 0 79494 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 324024
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557672/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382972 CPUtime=877.45
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 87682 63 0 0 25 0 1 0 310553956 392163328 95460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95743 95460 77 171 0 95570 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 388328
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557864/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382464 CPUtime=937.43
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 93680 63 0 0 25 0 1 0 310553956 391643136 95338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95616 95338 77 171 0 95443 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 387820
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557800/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382464 CPUtime=997.4
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 99677 63 0 0 25 0 1 0 310553956 391643136 95338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95616 95338 77 171 0 95443 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 387820
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557736/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382464 CPUtime=1057.38
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 105675 63 0 0 25 0 1 0 310553956 391643136 95338 1992294400 134512640 135215339 4294956240 18446744073709551615 134720239 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95616 95338 77 171 0 95443 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 387820
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557672/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382464 CPUtime=1117.36
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 111673 63 0 0 25 0 1 0 310553956 391643136 95338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95616 95338 77 171 0 95443 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 387820
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557608/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382464 CPUtime=1177.34
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 117671 63 0 0 25 0 1 0 310553956 391643136 95338 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95616 95338 77 171 0 95443 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 387820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557544/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382464 CPUtime=1195.54
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 119491 63 0 0 25 0 1 0 310553956 391643136 95338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95616 95338 77 171 0 95443 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 387820
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5826
/proc/meminfo: memFree=1557544/2055920 swapFree=4179664/4192956
[pid=5820] ppid=5818 vsize=5356 CPUtime=4.54
/proc/5820/stat : 5820 (SatELiteGTI) S 5818 5820 5609 0 -1 4194304 336 6639 0 0 0 0 447 7 16 0 1 0 310553500 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/5820/statm: 1339 239 197 169 0 50 0
[pid=5826] ppid=5820 vsize=382464 CPUtime=1195.54
/proc/5826/stat : 5826 (minisat_static) R 5820 5820 5609 0 -1 4194304 95590 0 0 0 119491 63 0 0 25 0 1 0 310553956 391643136 95338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/5826/statm: 95616 95338 77 171 0 95443 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 387820
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5820 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=478319
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=81987
# CPU time returned by wait4() is 4.56031
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.38
CPU system time (s): 0.7
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 388328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.47832
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6975
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 12
runsolver used 1.37979 second user time and 3.05253 second system time
The end
Begin job on node33 at 2009-05-20 15:13:29
IDJOB=1833783
IDBENCH=70932
IDSOLVER=671
FILE ID=node33/1833783-1242825208
PBS_JOBID= 9322502
Free space on /tmp= 66284 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_14_7_3_fbc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833783-1242825208/watcher-1833783-1242825208 -o /tmp/evaluation-result-1833783-1242825208/solver-1833783-1242825208 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833783-1242825208.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4fe2719d54370e06a454523e5441fbad
RANDOM SEED=582129190
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1949656 kB
Buffers: 13340 kB
Cached: 56092 kB
SwapCached: 7340 kB
Active: 33364 kB
Inactive: 44792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1949656 kB
SwapTotal: 4192956 kB
SwapFree: 4179664 kB
Dirty: 8856 kB
Writeback: 0 kB
Mapped: 13904 kB
Slab: 14184 kB
Committed_AS: 1063348 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66276 MiB
End job on node33 at 2009-05-20 15:33:31