0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 20575 69606 | 6172 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 20567 69669 | -- 0 -- -- | -- | -8/63
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3221 #clauses: 20567 #literals: 69669
0.00/0.05 c CPU time: 0.048992 s
0.00/0.05 c ==============================================================================
0.00/0.08 c This is MiniSat 2.0 beta
0.00/0.08 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08 c ============================[ Problem Statistics ]=============================
0.00/0.08 c | |
0.00/0.08 c | Number of variables: 3221 |
0.00/0.08 c | Number of clauses: 20567 |
0.06/0.09 c | Parsing time: 0.01 s |
0.06/0.09 c ============================[ Search Statistics ]==============================
0.06/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.06/0.09 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.06/0.09 c ===============================================================================
0.06/0.09 c | 0 | 3221 20567 69669 | 6855 0 nan | 0.000 % |
0.06/0.10 c | 101 | 3221 20567 69669 | 6855 101 5 | 0.002 % |
0.06/0.11 c | 201 | 3221 20567 69669 | 6855 201 7 | 0.000 % |
0.06/0.11 c | 303 | 3221 20567 69669 | 6855 303 10 | 0.000 % |
0.06/0.13 c | 414 | 3221 20567 69669 | 6855 414 11 | 0.000 % |
0.06/0.13 c | 514 | 3221 20567 69669 | 6855 514 12 | 0.002 % |
0.06/0.14 c | 627 | 3221 20567 69669 | 6855 627 12 | 0.000 % |
0.06/0.15 c | 748 | 3221 20567 69669 | 6855 748 15 | 0.000 % |
0.06/0.16 c | 848 | 3221 20567 69669 | 6855 848 16 | 0.000 % |
0.06/0.17 c | 958 | 3221 20567 69669 | 6855 958 17 | 0.000 % |
0.06/0.18 c | 1079 | 3221 20567 69669 | 6855 1079 17 | 0.000 % |
0.06/0.20 c | 1212 | 3221 20567 69669 | 6855 1212 18 | 0.001 % |
0.06/0.21 c | 1317 | 3221 20567 69669 | 6855 1317 18 | 0.000 % |
0.06/0.22 c | 1427 | 3221 20567 69669 | 6855 1427 19 | 0.001 % |
0.06/0.23 c | 1548 | 3221 20567 69669 | 6855 1548 18 | 0.000 % |
0.06/0.24 c | 1681 | 3221 20567 69669 | 6855 1681 19 | 0.001 % |
0.06/0.26 c | 1827 | 3221 20567 69669 | 6855 1827 19 | 0.000 % |
0.06/0.27 c | 1927 | 3221 20567 69669 | 6855 1927 20 | 0.000 % |
0.06/0.28 c | 2039 | 3221 20567 69669 | 6855 2039 21 | 0.001 % |
0.06/0.29 c | 2164 | 3221 20567 69669 | 6855 2164 20 | 0.000 % |
0.06/0.31 c | 2297 | 3221 20567 69669 | 6855 2297 21 | 0.000 % |
0.06/0.32 c | 2444 | 3221 20567 69669 | 6855 2444 21 | 0.001 % |
0.06/0.34 c | 2604 | 3221 20567 69669 | 6855 2604 21 | 0.000 % |
0.06/0.35 c | 2704 | 3221 20567 69669 | 6855 2704 21 | 0.000 % |
0.06/0.36 c | 2814 | 3221 20567 69669 | 6855 2814 21 | 0.000 % |
0.06/0.37 c | 2937 | 3221 20567 69669 | 6855 2937 22 | 0.000 % |
0.06/0.39 c | 3070 | 3221 20567 69669 | 6855 3070 21 | 0.000 % |
0.06/0.40 c | 3216 | 3221 20567 69669 | 6855 3216 23 | 0.000 % |
0.06/0.43 c | 3377 | 3221 20567 69669 | 6855 3377 23 | 0.000 % |
0.06/0.44 c | 3553 | 3221 20567 69669 | 6855 3553 23 | 0.000 % |
0.06/0.46 c | 3655 | 3221 20567 69669 | 6855 3655 23 | 0.000 % |
0.06/0.47 c | 3765 | 3221 20567 69669 | 6855 3765 22 | 0.000 % |
0.06/0.48 c | 3887 | 3221 20567 69669 | 6855 3887 22 | 0.000 % |
0.06/0.49 c | 4020 | 3221 20567 69669 | 6855 4020 23 | 0.001 % |
0.06/0.51 c | 4167 | 3221 20567 69669 | 6855 4167 23 | 0.001 % |
0.06/0.53 c | 4327 | 3221 20567 69669 | 6855 4327 23 | 0.000 % |
0.06/0.55 c | 4503 | 3221 20567 69669 | 6855 4503 24 | 0.000 % |
0.06/0.57 c | 4697 | 3220 20558 69639 | 6855 4695 25 | 0.031 % |
0.06/0.58 c | 4799 | 3220 20558 69639 | 6855 4797 25 | 0.031 % |
0.06/0.60 c | 4909 | 3220 20558 69639 | 6855 4907 25 | 0.031 % |
0.06/0.61 c | 5030 | 3220 20558 69639 | 6855 5028 25 | 0.031 % |
0.06/0.63 c | 5167 | 3220 20558 69639 | 6855 5165 25 | 0.031 % |
0.06/0.64 c | 5313 | 3220 20558 69639 | 6855 5311 25 | 0.031 % |
0.06/0.66 c | 5473 | 3220 20558 69639 | 6855 5471 25 | 0.033 % |
0.06/0.68 c | 5649 | 3220 20558 69639 | 6855 5647 25 | 0.031 % |
0.06/0.71 c | 5842 | 3220 20558 69639 | 6855 5840 26 | 0.031 % |
0.06/0.74 c | 6055 | 3220 20558 69639 | 6855 6053 26 | 0.031 % |
0.06/0.75 c | 6155 | 3220 20558 69639 | 6855 6153 26 | 0.033 % |
0.06/0.76 c | 6267 | 3220 20558 69639 | 6855 6265 26 | 0.031 % |
0.06/0.78 c | 6388 | 3220 20558 69639 | 6855 6386 27 | 0.031 % |
0.06/0.80 c | 6522 | 3220 20558 69639 | 6855 6520 27 | 0.031 % |
0.06/0.82 c | 6670 | 3220 20558 69639 | 6855 6668 27 | 0.031 % |
0.06/0.84 c | 6830 | 3219 20548 69606 | 6855 6826 27 | 0.063 % |
0.06/0.87 c | 7006 | 3219 20548 69606 | 6855 7002 27 | 0.062 % |
0.06/0.90 c | 7199 | 3219 20548 69606 | 6855 6495 28 | 0.062 % |
0.06/0.93 c | 7411 | 3219 20548 69606 | 6855 6707 29 | 0.062 % |
0.06/0.96 c | 7647 | 3219 20548 69606 | 6855 6943 30 | 0.064 % |
0.06/0.98 c | 7747 | 3219 20548 69606 | 6855 6349 29 | 0.062 % |
0.06/0.99 c | 7857 | 3219 20548 69606 | 6855 6459 29 | 0.062 % |
0.97/1.01 c | 7979 | 3219 20548 69606 | 6855 6581 29 | 0.062 % |
0.97/1.03 c | 8114 | 3219 20548 69606 | 6855 6716 29 | 0.063 % |
0.97/1.05 c | 8260 | 3219 20548 69606 | 6855 6862 29 | 0.062 % |
0.97/1.07 c | 8420 | 3219 20548 69606 | 6855 6336 30 | 0.062 % |
0.97/1.10 c | 8598 | 3219 20548 69606 | 6855 6514 30 | 0.062 % |
1.07/1.12 c | 8791 | 3219 20548 69606 | 6855 6707 30 | 0.063 % |
1.07/1.15 c | 9004 | 3219 20548 69606 | 6855 6920 30 | 0.062 % |
1.07/1.18 c | 9237 | 3219 20548 69606 | 6855 6461 30 | 0.062 % |
1.17/1.22 c | 9493 | 3219 20548 69606 | 6855 6717 30 | 0.062 % |
1.17/1.23 c | 9593 | 3219 20548 69606 | 6855 6817 30 | 0.062 % |
1.17/1.25 c | 9704 | 3219 20548 69606 | 6855 6928 30 | 0.063 % |
1.17/1.27 c | 9825 | 3219 20548 69606 | 6855 6357 29 | 0.063 % |
1.17/1.28 c | 9960 | 3219 20548 69606 | 6855 6492 29 | 0.062 % |
1.27/1.31 c | 10108 | 3219 20548 69606 | 2147483647 6640 30 | 0.062 % |
1.27/1.33 c | 10268 | 3219 20548 69606 | 2147483647 6800 30 | 0.062 % |
1.27/1.35 c | 10448 | 3219 20548 69606 | 2147483647 6980 30 | 0.063 % |
1.27/1.38 c | 10641 | 3219 20548 69606 | 2147483647 7173 30 | 0.063 % |
1.37/1.42 c | 10854 | 3219 20548 69606 | 2147483647 7386 31 | 0.062 % |
1.37/1.45 c | 11087 | 3219 20548 69606 | 2147483647 7619 31 | 0.063 % |
1.37/1.48 c | 11344 | 3219 20548 69606 | 2147483647 7876 31 | 0.063 % |
1.47/1.53 c | 11626 | 3219 20548 69606 | 2147483647 8158 32 | 0.062 % |
1.47/1.55 c | 11726 | 3219 20548 69606 | 2147483647 8258 32 | 0.063 % |
1.47/1.56 c | 11838 | 3219 20548 69606 | 2147483647 8370 32 | 0.062 % |
1.47/1.58 c | 11960 | 3219 20548 69606 | 2147483647 8492 32 | 0.062 % |
1.47/1.59 c | 12093 | 3219 20548 69606 | 2147483647 8625 32 | 0.062 % |
1.57/1.62 c | 12240 | 3219 20548 69606 | 2147483647 8772 32 | 0.062 % |
1.57/1.64 c | 12401 | 3219 20548 69606 | 2147483647 8933 32 | 0.064 % |
1.57/1.67 c | 12578 | 3219 20548 69606 | 2147483647 9110 32 | 0.062 % |
1.67/1.70 c | 12771 | 3219 20548 69606 | 2147483647 9303 32 | 0.062 % |
1.67/1.74 c | 12984 | 3219 20548 69606 | 2147483647 9516 33 | 0.062 % |
1.67/1.78 c | 13217 | 3219 20548 69606 | 2147483647 9749 33 | 0.062 % |
1.77/1.83 c | 13474 | 3219 20548 69606 | 2147483647 10006 33 | 0.062 % |
1.77/1.86 c | 13756 | 3219 20548 69606 | 2147483647 10288 33 | 0.062 % |
1.87/1.90 c | 14066 | 3219 20548 69606 | 2147483647 10598 33 | 0.062 % |
1.87/1.92 c | 14166 | 3219 20548 69606 | 2147483647 10698 33 | 0.064 % |
1.87/1.93 c | 14278 | 3219 20548 69606 | 2147483647 10810 33 | 0.062 % |
1.87/1.95 c | 14399 | 3219 20548 69606 | 2147483647 10931 33 | 0.062 % |
1.87/1.97 c | 14533 | 3219 20548 69606 | 2147483647 11065 33 | 0.062 % |
1.97/2.00 c | 14682 | 3219 20548 69606 | 2147483647 11214 33 | 0.063 % |
1.97/2.02 c | 14842 | 3219 20548 69606 | 2147483647 11374 34 | 0.062 % |
1.97/2.05 c | 15018 | 3219 20548 69606 | 2147483647 11550 34 | 0.063 % |
1.97/2.08 c | 15212 | 3219 20548 69606 | 2147483647 11744 34 | 0.064 % |
2.07/2.12 c | 15425 | 3219 20548 69606 | 2147483647 11957 34 | 0.062 % |
2.07/2.16 c | 15660 | 3219 20548 69606 | 2147483647 12192 34 | 0.062 % |
2.17/2.20 c | 15916 | 3219 20548 69606 | 2147483647 12448 34 | 0.062 % |
2.17/2.25 c | 16199 | 3219 20548 69606 | 2147483647 12731 34 | 0.062 % |
2.26/2.30 c | 16508 | 3219 20548 69606 | 2147483647 13040 35 | 0.063 % |
2.26/2.37 c | 16848 | 3219 20548 69606 | 2147483647 13380 35 | 0.062 % |
2.26/2.39 c | 16948 | 3219 20548 69606 | 2147483647 13480 35 | 0.062 % |
2.36/2.41 c | 17059 | 3219 20548 69606 | 2147483647 13591 35 | 0.062 % |
2.36/2.43 c | 17181 | 3219 20548 69606 | 2147483647 13713 35 | 0.063 % |
2.36/2.45 c | 17314 | 3219 20548 69606 | 2147483647 13846 35 | 0.062 % |
2.36/2.47 c | 17461 | 3219 20548 69606 | 2147483647 13993 35 | 0.062 % |
2.36/2.49 c | 17622 | 3219 20548 69606 | 2147483647 14154 35 | 0.062 % |
2.46/2.53 c | 17799 | 3219 20548 69606 | 2147483647 14331 35 | 0.062 % |
2.46/2.57 c | 17993 | 3219 20548 69606 | 2147483647 14525 35 | 0.062 % |
2.56/2.61 c | 18206 | 3219 20548 69606 | 2147483647 14738 35 | 0.063 % |
2.56/2.66 c | 18439 | 3219 20548 69606 | 2147483647 14971 36 | 0.062 % |
2.66/2.71 c | 18695 | 3219 20548 69606 | 2147483647 15227 36 | 0.062 % |
2.66/2.76 c | 18976 | 3219 20548 69606 | 2147483647 15508 36 | 0.062 % |
2.76/2.83 c | 19286 | 3219 20548 69606 | 2147483647 15818 36 | 0.062 % |
2.86/2.91 c | 19625 | 3219 20548 69606 | 2147483647 16157 37 | 0.062 % |
2.86/2.99 c | 19997 | 3219 20548 69606 | 2147483647 16529 37 | 0.062 % |
2.96/3.01 c | 20097 | 3219 20548 69606 | 2147483647 16629 37 | 0.062 % |
2.96/3.04 c | 20207 | 3219 20548 69606 | 2147483647 16739 37 | 0.062 % |
2.96/3.06 c | 20329 | 3219 20548 69606 | 2147483647 16861 37 | 0.062 % |
2.96/3.09 c | 20463 | 3219 20548 69606 | 2147483647 16995 37 | 0.062 % |
3.06/3.12 c | 20609 | 3219 20548 69606 | 2147483647 17141 37 | 0.062 % |
3.06/3.16 c | 20770 | 3219 20548 69606 | 2147483647 17302 37 | 0.062 % |
3.06/3.19 c | 20946 | 3219 20548 69606 | 2147483647 17478 37 | 0.062 % |
3.17/3.24 c | 21139 | 3219 20548 69606 | 2147483647 17671 37 | 0.062 % |
3.17/3.28 c | 21353 | 3219 20548 69606 | 2147483647 17885 37 | 0.062 % |
3.27/3.33 c | 21586 | 3219 20548 69606 | 2147483647 18118 37 | 0.062 % |
3.37/3.40 c | 21842 | 3219 20548 69606 | 2147483647 18374 37 | 0.063 % |
3.37/3.46 c | 22123 | 3219 20548 69606 | 2147483647 18655 38 | 0.062 % |
3.47/3.53 c | 22432 | 3219 20548 69606 | 2147483647 18964 38 | 0.062 % |
3.57/3.60 c | 22772 | 3219 20548 69606 | 2147483647 19304 38 | 0.062 % |
3.67/3.72 c | 23144 | 3219 20548 69606 | 2147483647 19676 38 | 0.063 % |
3.77/3.80 c | 23553 | 3219 20548 69606 | 2147483647 20085 38 | 0.063 % |
3.77/3.83 c | 23653 | 3219 20548 69606 | 2147483647 20185 38 | 0.063 % |
3.77/3.85 c | 23763 | 3219 20548 69606 | 2147483647 20295 38 | 0.064 % |
3.77/3.89 c | 23884 | 3219 20548 69606 | 2147483647 20416 38 | 0.062 % |
3.87/3.93 c | 24018 | 3219 20548 69606 | 2147483647 20550 38 | 0.062 % |
3.87/3.97 c | 24164 | 3219 20548 69606 | 2147483647 20696 38 | 0.063 % |
3.97/4.01 c | 24324 | 3219 20548 69606 | 2147483647 20856 38 | 0.064 % |
3.97/4.06 c | 24501 | 3219 20548 69606 | 2147483647 21033 38 | 0.062 % |
4.07/4.12 c | 24694 | 3219 20548 69606 | 2147483647 21226 39 | 0.062 % |
4.07/4.16 c | 24906 | 3219 20548 69606 | 2147483647 21438 38 | 0.062 % |
4.17/4.22 c | 25139 | 3219 20548 69606 | 2147483647 21671 39 | 0.063 % |
4.17/4.27 c | 25396 | 3219 20548 69606 | 2147483647 21928 39 | 0.062 % |
4.27/4.35 c | 25677 | 3219 20548 69606 | 2147483647 22209 39 | 0.062 % |
4.37/4.40 c | 25986 | 3219 20548 69606 | 2147483647 22518 39 | 0.062 % |
4.47/4.51 c | 26326 | 3219 20548 69606 | 2147483647 22858 39 | 0.062 % |
4.57/4.60 c | 26698 | 3219 20548 69606 | 2147483647 23230 39 | 0.063 % |
4.67/4.72 c | 27108 | 3219 20548 69606 | 2147483647 23640 39 | 0.062 % |
4.77/4.84 c | 27557 | 3219 20548 69606 | 2147483647 24089 39 | 0.063 % |
4.77/4.87 c | 27657 | 3219 20548 69606 | 2147483647 24189 39 | 0.063 % |
4.87/4.90 c | 27767 | 3219 20548 69606 | 2147483647 24299 39 | 0.064 % |
4.87/4.94 c | 27889 | 3219 20548 69606 | 2147483647 24421 39 | 0.062 % |
4.87/4.98 c | 28024 | 3219 20548 69606 | 2147483647 24556 39 | 0.062 % |
4.96/5.01 c | 28172 | 3219 20548 69606 | 2147483647 24704 39 | 0.064 % |
4.96/5.05 c | 28333 | 3219 20548 69606 | 2147483647 24865 39 | 0.064 % |
4.96/5.10 c | 28509 | 3219 20548 69606 | 2147483647 25041 39 | 0.063 % |
5.07/5.16 c | 28702 | 3219 20548 69606 | 2147483647 25234 39 | 0.063 % |
5.17/5.23 c | 28914 | 3219 20548 69606 | 2147483647 25446 39 | 0.062 % |
5.17/5.29 c | 29148 | 3219 20548 69606 | 2147483647 25680 39 | 0.062 % |
5.27/5.35 c | 29406 | 3219 20548 69606 | 2147483647 25938 40 | 0.063 % |
5.37/5.43 c | 29689 | 3219 20548 69606 | 2147483647 26221 40 | 0.062 % |
5.37/5.49 c | 30000 | 3219 20548 69606 | 2147483647 26532 40 | 0.062 % |
5.47/5.59 c | 30340 | 3219 20548 69606 | 2147483647 26872 40 | 0.064 % |
5.66/5.71 c | 30713 | 3219 20548 69606 | 2147483647 27245 40 | 0.062 % |
5.76/5.84 c | 31122 | 3219 20548 69606 | 2147483647 27654 40 | 0.063 % |
5.96/6.01 c | 31572 | 3219 20548 69606 | 2147483647 28104 41 | 0.063 % |
6.06/6.14 c | 32065 | 3219 20548 69606 | 2147483647 28597 41 | 0.063 % |
6.06/6.18 c | 32165 | 3219 20548 69606 | 2147483647 28697 41 | 0.063 % |
6.16/6.21 c | 32276 | 3219 20548 69606 | 2147483647 28808 41 | 0.062 % |
6.16/6.25 c | 32397 | 3219 20548 69606 | 2147483647 28929 41 | 0.062 % |
6.16/6.29 c | 32530 | 3219 20548 69606 | 2147483647 29062 41 | 0.062 % |
6.26/6.33 c | 32677 | 3219 20548 69606 | 2147483647 29209 41 | 0.063 % |
6.26/6.37 c | 32838 | 3219 20548 69606 | 2147483647 29370 41 | 0.063 % |
6.36/6.41 c | 33014 | 3219 20548 69606 | 2147483647 29546 41 | 0.062 % |
6.36/6.49 c | 33210 | 3219 20548 69606 | 2147483647 29742 41 | 0.063 % |
6.46/6.58 c | 33423 | 3219 20548 69606 | 2147483647 29955 41 | 0.062 % |
6.56/6.66 c | 33656 | 3219 20548 69606 | 2147483647 30188 41 | 0.062 % |
6.66/6.76 c | 33912 | 3219 20548 69606 | 2147483647 30444 41 | 0.062 % |
6.76/6.85 c | 34194 | 3219 20548 69606 | 2147483647 30726 41 | 0.062 % |
6.86/6.97 c | 34504 | 3219 20548 69606 | 2147483647 31036 41 | 0.062 % |
7.06/7.10 c | 34843 | 3219 20548 69606 | 2147483647 31375 41 | 0.063 % |
7.16/7.25 c | 35217 | 3219 20548 69606 | 2147483647 31749 42 | 0.062 % |
7.36/7.43 c | 35627 | 3219 20548 69606 | 2147483647 32159 42 | 0.062 % |
7.46/7.56 c | 36076 | 3219 20548 69606 | 2147483647 32608 42 | 0.062 % |
7.67/7.74 c | 36569 | 3219 20548 69606 | 2147483647 33101 42 | 0.062 % |
7.86/7.95 c | 37113 | 3219 20548 69606 | 2147483647 33645 42 | 0.062 % |
7.86/7.98 c | 37213 | 3219 20548 69606 | 2147483647 33745 42 | 0.063 % |
7.96/8.03 c | 37323 | 3219 20548 69606 | 2147483647 33855 42 | 0.062 % |
7.96/8.09 c | 37445 | 3219 20548 69606 | 2147483647 33977 42 | 0.062 % |
8.06/8.15 c | 37579 | 3219 20548 69606 | 2147483647 34111 42 | 0.062 % |
8.16/8.22 c | 37725 | 3218 20538 69573 | 2147483647 34221 42 | 0.093 % |
8.16/8.27 c | 37885 | 3218 20538 69573 | 2147483647 34381 42 | 0.093 % |
8.26/8.34 c | 38061 | 3218 20538 69573 | 2147483647 34557 42 | 0.093 % |
8.36/8.42 c | 38254 | 3218 20538 69573 | 2147483647 34750 42 | 0.093 % |
8.46/8.51 c | 38466 | 3218 20538 69573 | 2147483647 34962 42 | 0.094 % |
8.46/8.59 c | 38701 | 3218 20538 69573 | 2147483647 35197 42 | 0.093 % |
8.56/8.68 c | 38957 | 3218 20538 69573 | 2147483647 35453 42 | 0.093 % |
8.66/8.79 c | 39238 | 3218 20538 69573 | 2147483647 35734 43 | 0.094 % |
8.86/8.91 c | 39547 | 3218 20538 69573 | 2147483647 36043 43 | 0.093 % |
8.95/9.08 c | 39886 | 3218 20538 69573 | 2147483647 36382 43 | 0.094 % |
9.15/9.21 c | 40259 | 3218 20538 69573 | 2147483647 36755 43 | 0.094 % |
9.25/9.35 c | 40668 | 3218 20538 69573 | 2147483647 37164 43 | 0.093 % |
9.45/9.55 c | 41118 | 3218 20538 69573 | 2147483647 37614 43 | 0.093 % |
9.65/9.76 c | 41611 | 3218 20538 69573 | 2147483647 38107 43 | 0.094 % |
9.86/9.95 c | 42154 | 3218 20538 69573 | 2147483647 38650 43 | 0.094 % |
10.06/10.19 c | 42750 | 3218 20538 69573 | 2147483647 39246 44 | 0.093 % |
10.16/10.23 c | 42851 | 3218 20538 69573 | 2147483647 39347 44 | 0.094 % |
10.26/10.31 c | 42961 | 3218 20538 69573 | 2147483647 39457 44 | 0.093 % |
10.26/10.37 c | 43082 | 3218 20538 69573 | 2147483647 39578 44 | 0.095 % |
10.36/10.43 c | 43216 | 3218 20538 69573 | 2147483647 39712 44 | 0.095 % |
10.36/10.49 c | 43362 | 3218 20538 69573 | 2147483647 39858 44 | 0.093 % |
10.46/10.54 c | 43522 | 3218 20538 69573 | 2147483647 40018 44 | 0.094 % |
10.56/10.63 c | 43700 | 3218 20538 69573 | 2147483647 40196 44 | 0.094 % |
10.56/10.68 c | 43894 | 3218 20538 69573 | 2147483647 40390 44 | 0.093 % |
10.66/10.76 c | 44108 | 3218 20538 69573 | 2147483647 40604 44 | 0.093 % |
10.76/10.85 c | 44343 | 3218 20538 69573 | 2147483647 40839 44 | 0.093 % |
10.86/10.96 c | 44599 | 3218 20538 69573 | 2147483647 41095 44 | 0.093 % |
11.06/11.11 c | 44881 | 3218 20538 69573 | 2147483647 41377 44 | 0.095 % |
11.16/11.26 c | 45190 | 3218 20538 69573 | 2147483647 41686 44 | 0.093 % |
11.36/11.40 c | 45529 | 3218 20538 69573 | 2147483647 42025 44 | 0.093 % |
11.46/11.56 c | 45902 | 3218 20538 69573 | 2147483647 42398 44 | 0.093 % |
11.66/11.71 c | 46316 | 3218 20538 69573 | 2147483647 42812 44 | 0.093 % |
11.76/11.85 c | 46766 | 3218 20538 69573 | 2147483647 43262 44 | 0.093 % |
12.06/12.11 c | 47260 | 3218 20538 69573 | 2147483647 43756 45 | 0.094 % |
12.16/12.27 c | 47803 | 3218 20538 69573 | 2147483647 44299 45 | 0.095 % |
12.46/12.57 c | 48399 | 3218 20538 69573 | 2147483647 44895 45 | 0.094 % |
12.76/12.85 c | 49055 | 3218 20538 69573 | 2147483647 45551 45 | 0.094 % |
12.85/12.92 c | 49156 | 3218 20538 69573 | 2147483647 45652 45 | 0.094 % |
12.85/12.98 c | 49267 | 3218 20538 69573 | 2147483647 45763 45 | 0.093 % |
12.95/13.05 c | 49388 | 3218 20538 69573 | 2147483647 45884 45 | 0.093 % |
13.06/13.14 c | 49521 | 3218 20538 69573 | 2147483647 46017 45 | 0.094 % |
13.16/13.22 c | 49667 | 3218 20538 69573 | 2147483647 46163 45 | 0.094 % |
13.16/13.29 c | 49828 | 3218 20538 69573 | 2147483647 46324 45 | 0.094 % |
13.25/13.36 c | 50005 | 3218 20538 69573 | 2147483647 46501 45 | 0.095 % |
13.35/13.49 c | 50200 | 3218 20538 69573 | 2147483647 46696 45 | 0.093 % |
13.55/13.62 c | 50412 | 3218 20538 69573 | 2147483647 46908 45 | 0.093 % |
13.65/13.76 c | 50646 | 3218 20538 69573 | 2147483647 47142 45 | 0.095 % |
13.75/13.84 c | 50904 | 3218 20538 69573 | 2147483647 47400 45 | 0.093 % |
13.85/13.99 c | 51186 | 3218 20538 69573 | 2147483647 47682 45 | 0.094 % |
14.05/14.12 c | 51496 | 3218 20538 69573 | 2147483647 47992 45 | 0.094 % |
14.16/14.30 c | 51839 | 3218 20538 69573 | 2147483647 48335 45 | 0.094 % |
14.35/14.47 c | 52211 | 3218 20538 69573 | 2147483647 48707 45 | 0.094 % |
14.55/14.69 c | 52621 | 3218 20538 69573 | 2147483647 49117 45 | 0.093 % |
14.85/14.92 c | 53070 | 3218 20538 69573 | 2147483647 49566 46 | 0.094 % |
15.05/15.13 c | 53563 | 3218 20538 69573 | 2147483647 50059 46 | 0.093 % |
15.36/15.41 c | 54106 | 3218 20538 69573 | 2147483647 50602 46 | 0.094 % |
15.55/15.68 c | 54703 | 3218 20538 69573 | 2147483647 51199 46 | 0.094 % |
15.95/16.05 c | 55360 | 3218 20538 69573 | 2147483647 51856 46 | 0.094 % |
16.35/16.43 c | 56080 | 3218 20538 69573 | 2147483647 52576 46 | 0.093 % |
16.35/16.50 c | 56182 | 3218 20538 69573 | 2147483647 52678 46 | 0.094 % |
16.45/16.57 c | 56293 | 3218 20538 69573 | 2147483647 52789 46 | 0.093 % |
16.55/16.63 c | 56414 | 3218 20538 69573 | 2147483647 52910 46 | 0.094 % |
16.55/16.69 c | 56549 | 3218 20538 69573 | 2147483647 53045 46 | 0.093 % |
16.65/16.76 c | 56696 | 3218 20538 69573 | 2147483647 53192 46 | 0.093 % |
16.75/16.83 c | 56859 | 3218 20538 69573 | 2147483647 53355 46 | 0.093 % |
16.85/16.96 c | 57037 | 3218 20538 69573 | 2147483647 53533 46 | 0.093 % |
16.95/17.05 c | 57231 | 3218 20538 69573 | 2147483647 53727 46 | 0.093 % |
17.05/17.17 c | 57443 | 3218 20538 69573 | 2147483647 53939 46 | 0.093 % |
17.25/17.30 c | 57676 | 3218 20538 69573 | 2147483647 54172 46 | 0.095 % |
17.35/17.43 c | 57932 | 3218 20538 69573 | 2147483647 54428 46 | 0.093 % |
17.46/17.58 c | 58215 | 3218 20538 69573 | 2147483647 54711 46 | 0.094 % |
17.65/17.73 c | 58524 | 3218 20538 69573 | 2147483647 55020 46 | 0.094 % |
17.85/17.92 c | 58863 | 3218 20538 69573 | 2147483647 55359 46 | 0.095 % |
18.05/18.14 c | 59236 | 3218 20538 69573 | 2147483647 55732 46 | 0.094 % |
18.25/18.34 c | 59645 | 3218 20538 69573 | 2147483647 56141 47 | 0.094 % |
18.45/18.60 c | 60095 | 3218 20538 69573 | 2147483647 56591 47 | 0.093 % |
18.85/18.92 c | 60588 | 3218 20538 69573 | 2147483647 57084 47 | 0.094 % |
19.15/19.24 c | 61130 | 3218 20538 69573 | 2147483647 57626 47 | 0.093 % |
19.55/19.60 c | 61728 | 3218 20538 69573 | 2147483647 58224 47 | 0.094 % |
19.95/20.03 c | 62383 | 3218 20538 69573 | 2147483647 58879 47 | 0.094 % |
20.35/20.45 c | 63103 | 3218 20538 69573 | 2147483647 59599 47 | 0.093 % |
20.75/20.84 c | 63895 | 3218 20538 69573 | 2147483647 60391 47 | 0.094 % |
20.85/20.91 c | 63995 | 3218 20538 69573 | 2147483647 60491 47 | 0.094 % |
20.85/20.96 c | 64105 | 3218 20538 69573 | 2147483647 60601 47 | 0.093 % |
20.95/21.06 c | 64226 | 3218 20538 69573 | 2147483647 60722 47 | 0.093 % |
21.05/21.13 c | 64360 | 3218 20538 69573 | 2147483647 60856 47 | 0.095 % |
21.15/21.20 c | 64507 | 3218 20538 69573 | 2147483647 61003 47 | 0.094 % |
21.25/21.33 c | 64667 | 3218 20538 69573 | 2147483647 61163 47 | 0.094 % |
21.35/21.44 c | 64844 | 3218 20538 69573 | 2147483647 61340 47 | 0.093 % |
21.55/21.60 c | 65037 | 3218 20538 69573 | 2147483647 61533 47 | 0.093 % |
21.65/21.74 c | 65249 | 3218 20538 69573 | 2147483647 61745 47 | 0.094 % |
21.74/21.88 c | 65483 | 3218 20538 69573 | 2147483647 61979 47 | 0.093 % |
21.95/22.02 c | 65739 | 3218 20538 69573 | 2147483647 62235 47 | 0.094 % |
22.04/22.20 c | 66020 | 3218 20538 69573 | 2147483647 62516 47 | 0.094 % |
22.34/22.41 c | 66329 | 3218 20538 69573 | 2147483647 62825 47 | 0.094 % |
22.54/22.67 c | 66669 | 3218 20538 69573 | 2147483647 63165 47 | 0.094 % |
22.84/22.93 c | 67041 | 3218 20538 69573 | 2147483647 63537 48 | 0.093 % |
23.14/23.26 c | 67452 | 3218 20538 69573 | 2147483647 63948 48 | 0.094 % |
23.44/23.55 c | 67901 | 3218 20538 69573 | 2147483647 64397 48 | 0.093 % |
23.84/23.90 c | 68396 | 3218 20538 69573 | 2147483647 64892 48 | 0.094 % |
24.15/24.22 c | 68938 | 3218 20538 69573 | 2147483647 65434 48 | 0.093 % |
24.64/24.77 c | 69534 | 3218 20538 69573 | 2147483647 66030 48 | 0.093 % |
25.04/25.16 c | 70189 | 3218 20538 69573 | 66496 66685 48 | 0.093 % |
25.54/25.61 c | 70910 | 3218 20538 69573 | 66496 60183 47 | 0.093 % |
26.04/26.17 c | 71705 | 3218 20538 69573 | 66496 60978 48 | 0.093 % |
26.74/26.89 c | 72577 | 3218 20538 69573 | 66496 61850 48 | 0.093 % |
26.84/26.97 c | 72680 | 3218 20538 69573 | 66496 61953 48 | 0.095 % |
26.94/27.05 c | 72790 | 3218 20538 69573 | 66496 62063 48 | 0.095 % |
27.04/27.13 c | 72911 | 3218 20538 69573 | 66496 62184 48 | 0.094 % |
27.14/27.22 c | 73045 | 3218 20538 69573 | 66496 62318 48 | 0.093 % |
27.24/27.32 c | 73192 | 3218 20538 69573 | 66496 62465 48 | 0.094 % |
27.34/27.44 c | 73353 | 3218 20538 69573 | 66496 62626 48 | 0.094 % |
27.44/27.53 c | 73532 | 3218 20538 69573 | 66496 62805 48 | 0.093 % |
27.53/27.67 c | 73726 | 3218 20538 69573 | 66496 62999 48 | 0.095 % |
27.73/27.80 c | 73938 | 3218 20538 69573 | 66496 63211 48 | 0.093 % |
27.83/27.93 c | 74171 | 3218 20538 69573 | 66496 63444 48 | 0.093 % |
28.03/28.11 c | 74430 | 3218 20538 69573 | 66496 63703 48 | 0.093 % |
28.13/28.23 c | 74712 | 3218 20538 69573 | 66496 63985 48 | 0.093 % |
28.33/28.44 c | 75022 | 3218 20538 69573 | 66496 64295 48 | 0.093 % |
28.63/28.74 c | 75363 | 3218 20538 69573 | 66496 64636 48 | 0.094 % |
28.83/28.97 c | 75736 | 3218 20538 69573 | 66496 65009 48 | 0.093 % |
29.13/29.23 c | 76146 | 3218 20538 69573 | 66496 65419 48 | 0.093 % |
29.43/29.54 c | 76596 | 3218 20538 69573 | 66496 65869 48 | 0.093 % |
29.73/29.87 c | 77090 | 3218 20538 69573 | 66496 66363 48 | 0.094 % |
30.23/30.31 c | 77632 | 3218 20538 69573 | 66496 66905 48 | 0.094 % |
30.64/30.71 c | 78232 | 3218 20538 69573 | 66496 58982 46 | 0.094 % |
31.03/31.13 c | 78887 | 3218 20538 69573 | 66496 59637 47 | 0.094 % |
31.43/31.57 c | 79607 | 3218 20538 69573 | 66496 60357 47 | 0.093 % |
32.03/32.16 c | 80401 | 3218 20538 69573 | 60751 61151 47 | 0.094 % |
32.33/32.50 c | 81274 | 3218 20538 69573 | 60751 55909 45 | 0.093 % |
33.03/33.17 c | 82234 | 3218 20538 69573 | 60751 56869 46 | 0.094 % |
33.13/33.23 c | 82335 | 3218 20538 69573 | 60751 56970 46 | 0.093 % |
33.23/33.31 c | 82445 | 3218 20538 69573 | 60751 57080 46 | 0.093 % |
33.23/33.39 c | 82566 | 3218 20538 69573 | 60751 57201 46 | 0.094 % |
33.43/33.50 c | 82699 | 3218 20538 69573 | 60751 57334 46 | 0.094 % |
33.43/33.59 c | 82845 | 3218 20538 69573 | 60751 57480 46 | 0.094 % |
33.53/33.65 c | 83006 | 3218 20538 69573 | 60751 57641 46 | 0.094 % |
33.63/33.75 c | 83182 | 3218 20538 69573 | 60751 57817 46 | 0.094 % |
33.73/33.85 c | 83376 | 3218 20538 69573 | 60751 58011 46 | 0.093 % |
33.83/33.97 c | 83588 | 3218 20538 69573 | 60751 58223 46 | 0.094 % |
34.04/34.11 c | 83821 | 3218 20538 69573 | 60751 58456 46 | 0.095 % |
34.14/34.25 c | 84077 | 3218 20538 69573 | 60751 58712 46 | 0.093 % |
34.34/34.43 c | 84358 | 3218 20538 69573 | 60751 58993 46 | 0.095 % |
34.54/34.60 c | 84667 | 3218 20538 69573 | 60751 59302 46 | 0.093 % |
34.64/34.77 c | 85007 | 3218 20538 69573 | 60751 59642 46 | 0.095 % |
34.84/34.96 c | 85381 | 3218 20538 69573 | 60751 60016 46 | 0.094 % |
35.04/35.18 c | 85791 | 3218 20538 69573 | 60751 60426 46 | 0.094 % |
35.34/35.48 c | 86241 | 3218 20538 69573 | 60751 60876 46 | 0.093 % |
35.74/35.80 c | 86734 | 3218 20538 69573 | 60751 55282 45 | 0.093 % |
36.04/36.18 c | 87276 | 3218 20538 69573 | 60751 55824 45 | 0.093 % |
36.44/36.51 c | 87875 | 3218 20538 69573 | 60751 56423 46 | 0.093 % |
36.84/36.92 c | 88532 | 3218 20538 69573 | 60751 57080 46 | 0.094 % |
37.24/37.30 c | 89252 | 3218 20538 69573 | 60751 57800 46 | 0.094 % |
37.54/37.66 c | 90044 | 3218 20538 69573 | 58548 58592 46 | 0.093 % |
38.14/38.24 c | 90916 | 3218 20538 69573 | 58548 53185 45 | 0.094 % |
38.64/38.74 c | 91875 | 3218 20538 69573 | 58548 54144 45 | 0.095 % |
39.14/39.25 c | 92928 | 3218 20538 69573 | 58548 55197 45 | 0.094 % |
39.23/39.31 c | 93029 | 3218 20538 69573 | 58548 55298 45 | 0.094 % |
39.23/39.38 c | 93139 | 3218 20538 69573 | 58548 55408 45 | 0.094 % |
39.33/39.45 c | 93261 | 3218 20538 69573 | 58548 55530 45 | 0.095 % |
39.44/39.53 c | 93395 | 3218 20538 69573 | 58548 55664 45 | 0.095 % |
39.54/39.60 c | 93541 | 3218 20538 69573 | 58548 55810 45 | 0.094 % |
39.63/39.73 c | 93703 | 3218 20538 69573 | 58548 55972 45 | 0.094 % |
39.73/39.84 c | 93881 | 3218 20538 69573 | 58548 56150 45 | 0.093 % |
39.83/39.95 c | 94074 | 3218 20538 69573 | 58548 56343 45 | 0.093 % |
39.93/40.09 c | 94287 | 3218 20538 69573 | 58548 56556 45 | 0.094 % |
40.13/40.22 c | 94521 | 3218 20538 69573 | 58548 56790 45 | 0.094 % |
40.23/40.37 c | 94778 | 3218 20538 69573 | 58548 57047 45 | 0.094 % |
40.43/40.55 c | 95060 | 3218 20538 69573 | 58548 57329 45 | 0.094 % |
40.64/40.72 c | 95369 | 3218 20538 69573 | 58548 57638 45 | 0.096 % |
40.83/40.92 c | 95710 | 3218 20538 69573 | 58548 57979 45 | 0.094 % |
41.03/41.12 c | 96082 | 3218 20538 69573 | 58548 58351 45 | 0.093 % |
41.23/41.30 c | 96491 | 3218 20538 69573 | 58548 58760 45 | 0.095 % |
41.43/41.58 c | 96941 | 3218 20538 69573 | 58548 53334 44 | 0.093 % |
41.74/41.88 c | 97434 | 3218 20538 69573 | 58548 53827 44 | 0.093 % |
42.03/42.15 c | 97976 | 3218 20538 69573 | 58548 54369 44 | 0.095 % |
42.33/42.43 c | 98573 | 3218 20538 69573 | 58548 54966 44 | 0.094 % |
42.74/42.81 c | 99228 | 3218 20538 69573 | 58548 55621 45 | 0.094 % |
43.03/43.14 c | 99950 | 3218 20538 69573 | 58548 56343 45 | 0.093 % |
43.53/43.69 c | 100742 | 3218 20538 69573 | 2147483647 57135 45 | 0.093 % |
44.13/44.22 c | 101613 | 3218 20538 69573 | 2147483647 58006 45 | 0.093 % |
44.63/44.75 c | 102571 | 3218 20538 69573 | 2147483647 58964 46 | 0.094 % |
45.33/45.48 c | 103624 | 3218 20538 69573 | 2147483647 60017 46 | 0.094 % |
46.03/46.19 c | 104782 | 3218 20538 69573 | 2147483647 61175 46 | 0.093 % |
46.13/46.26 c | 104884 | 3218 20538 69573 | 2147483647 61277 46 | 0.094 % |
46.23/46.34 c | 104994 | 3218 20538 69573 | 2147483647 61387 46 | 0.093 % |
46.33/46.41 c | 105115 | 3218 20538 69573 | 2147483647 61508 46 | 0.093 % |
46.33/46.49 c | 105248 | 3218 20538 69573 | 2147483647 61641 46 | 0.093 % |
46.43/46.56 c | 105394 | 3218 20538 69573 | 2147483647 61787 46 | 0.095 % |
46.63/46.75 c | 105555 | 3218 20538 69573 | 2147483647 61948 46 | 0.093 % |
46.73/46.87 c | 105732 | 3218 20538 69573 | 2147483647 62125 46 | 0.093 % |
46.93/47.00 c | 105926 | 3218 20538 69573 | 2147483647 62319 46 | 0.093 % |
47.03/47.12 c | 106138 | 3218 20538 69573 | 2147483647 62531 46 | 0.093 % |
47.13/47.27 c | 106371 | 3218 20538 69573 | 2147483647 62764 46 | 0.093 % |
47.33/47.46 c | 106627 | 3218 20538 69573 | 2147483647 63020 46 | 0.093 % |
47.52/47.60 c | 106910 | 3218 20538 69573 | 2147483647 63303 46 | 0.093 % |
47.73/47.80 c | 107220 | 3218 20538 69573 | 2147483647 63613 47 | 0.093 % |
47.93/48.01 c | 107559 | 3218 20538 69573 | 2147483647 63952 47 | 0.094 % |
48.13/48.27 c | 107931 | 3218 20538 69573 | 2147483647 64324 46 | 0.094 % |
48.33/48.46 c | 108341 | 3218 20538 69573 | 2147483647 64734 46 | 0.093 % |
48.63/48.75 c | 108790 | 3218 20538 69573 | 2147483647 65183 47 | 0.095 % |
48.92/49.08 c | 109285 | 3218 20538 69573 | 2147483647 65678 47 | 0.094 % |
49.33/49.44 c | 109830 | 3218 20538 69573 | 2147483647 66223 47 | 0.095 % |
49.82/49.90 c | 110428 | 3218 20538 69573 | 66394 66821 47 | 0.093 % |
50.22/50.38 c | 111083 | 3218 20538 69573 | 66394 59435 45 | 0.095 % |
50.82/50.91 c | 111805 | 3218 20538 69573 | 66394 60157 45 | 0.093 % |
51.32/51.45 c | 112597 | 3218 20538 69573 | 66394 60949 46 | 0.094 % |
51.82/51.93 c | 113468 | 3218 20538 69573 | 66394 61820 46 | 0.094 % |
52.22/52.38 c | 114427 | 3218 20538 69573 | 66394 62779 46 | 0.093 % |
52.82/52.90 c | 115482 | 3218 20538 69573 | 66394 63834 46 | 0.093 % |
53.32/53.48 c | 116640 | 3218 20538 69573 | 66394 64992 46 | 0.093 % |
54.22/54.36 c | 117913 | 3218 20538 69573 | 66394 66265 46 | 0.093 % |
54.32/54.45 c | 118013 | 3218 20538 69573 | 66394 66365 46 | 0.095 % |
54.42/54.56 c | 118125 | 3218 20538 69573 | 66394 66477 46 | 0.095 % |
54.62/54.70 c | 118246 | 3218 20538 69573 | 66394 58950 44 | 0.093 % |
54.62/54.79 c | 118381 | 3218 20538 69573 | 66394 59085 44 | 0.095 % |
54.72/54.87 c | 118527 | 3218 20538 69573 | 66394 59231 44 | 0.093 % |
54.82/54.96 c | 118687 | 3218 20538 69573 | 66394 59391 44 | 0.094 % |
54.92/55.09 c | 118865 | 3218 20538 69573 | 66394 59569 44 | 0.093 % |
55.12/55.20 c | 119059 | 3218 20538 69573 | 66394 59763 44 | 0.094 % |
55.22/55.35 c | 119271 | 3218 20538 69573 | 66394 59975 44 | 0.094 % |
55.32/55.47 c | 119507 | 3218 20538 69573 | 66394 60211 44 | 0.094 % |
55.52/55.63 c | 119763 | 3218 20538 69573 | 66394 60467 44 | 0.095 % |
55.62/55.79 c | 120045 | 3218 20538 69573 | 60704 60749 44 | 0.094 % |
55.92/56.06 c | 120354 | 3218 20538 69573 | 60704 53998 42 | 0.094 % |
56.12/56.21 c | 120693 | 3218 20538 69573 | 60704 54337 43 | 0.095 % |
56.22/56.38 c | 121065 | 3218 20538 69573 | 60704 54709 43 | 0.093 % |
56.52/56.63 c | 121475 | 3218 20538 69573 | 60704 55119 43 | 0.093 % |
56.82/56.93 c | 121924 | 3218 20538 69573 | 60704 55568 43 | 0.093 % |
57.22/57.30 c | 122417 | 3218 20538 69573 | 60704 56061 43 | 0.094 % |
57.52/57.60 c | 122960 | 3218 20538 69573 | 60704 56604 43 | 0.093 % |
57.82/57.96 c | 123557 | 3218 20538 69573 | 60704 57201 43 | 0.093 % |
58.22/58.34 c | 124213 | 3218 20538 69573 | 60704 57857 43 | 0.094 % |
58.52/58.69 c | 124933 | 3218 20538 69573 | 60704 58577 43 | 0.094 % |
59.02/59.17 c | 125725 | 3218 20538 69573 | 60704 59369 43 | 0.093 % |
59.62/59.79 c | 126596 | 3218 20538 69573 | 60704 60240 43 | 0.093 % |
60.42/60.54 c | 127554 | 3218 20538 69573 | 60704 61198 43 | 0.094 % |
61.12/61.27 c | 128607 | 3218 20538 69573 | 60704 56132 42 | 0.094 % |
61.62/61.75 c | 129768 | 3218 20538 69573 | 60704 57293 42 | 0.095 % |
62.52/62.68 c | 131042 | 3218 20538 69573 | 2147483647 58567 42 | 0.094 % |
63.32/63.43 c | 132443 | 3218 20538 69573 | 2147483647 59968 42 | 0.094 % |
63.42/63.50 c | 132543 | 3218 20538 69573 | 2147483647 60068 42 | 0.094 % |
63.52/63.60 c | 132654 | 3218 20538 69573 | 2147483647 60179 42 | 0.093 % |
63.52/63.69 c | 132775 | 3218 20538 69573 | 2147483647 60300 42 | 0.094 % |
63.62/63.77 c | 132912 | 3218 20538 69573 | 2147483647 60437 42 | 0.094 % |
63.72/63.89 c | 133058 | 3218 20538 69573 | 2147483647 60583 42 | 0.093 % |
63.82/63.98 c | 133219 | 3218 20538 69573 | 2147483647 60744 42 | 0.094 % |
63.92/64.08 c | 133395 | 3218 20538 69573 | 2147483647 60920 42 | 0.094 % |
64.02/64.18 c | 133589 | 3218 20538 69573 | 2147483647 61114 42 | 0.094 % |
64.22/64.36 c | 133801 | 3218 20538 69573 | 2147483647 61326 42 | 0.094 % |
64.42/64.51 c | 134035 | 3218 20538 69573 | 2147483647 61560 42 | 0.094 % |
64.52/64.65 c | 134292 | 3218 20538 69573 | 2147483647 61817 42 | 0.094 % |
64.72/64.81 c | 134573 | 3218 20538 69573 | 2147483647 62098 42 | 0.094 % |
64.82/64.99 c | 134885 | 3218 20538 69573 | 2147483647 62410 42 | 0.094 % |
65.02/65.15 c | 135226 | 3218 20538 69573 | 2147483647 62751 42 | 0.095 % |
65.22/65.34 c | 135599 | 3218 20538 69573 | 2147483647 63124 42 | 0.095 % |
65.52/65.60 c | 136009 | 3218 20538 69573 | 2147483647 63534 42 | 0.095 % |
65.82/65.96 c | 136459 | 3218 20538 69573 | 2147483647 63984 42 | 0.094 % |
66.11/66.29 c | 136952 | 3218 20538 69573 | 2147483647 64477 43 | 0.093 % |
66.61/66.72 c | 137494 | 3218 20538 69573 | 2147483647 65019 43 | 0.093 % |
66.92/67.04 c | 138090 | 3218 20538 69573 | 2147483647 65615 43 | 0.095 % |
67.41/67.53 c | 138746 | 3218 20538 69573 | 2147483647 66271 43 | 0.096 % |
67.91/68.01 c | 139466 | 3218 20538 69573 | 2147483647 66991 43 | 0.094 % |
68.71/68.84 c | 140259 | 3218 20538 69573 | 67525 67784 44 | 0.094 % |
69.41/69.51 c | 141131 | 3218 20538 69573 | 67525 60122 42 | 0.095 % |
70.01/70.16 c | 142090 | 3218 20538 69573 | 67525 61081 43 | 0.093 % |
70.81/70.90 c | 143143 | 3218 20538 69573 | 67525 62134 43 | 0.093 % |
71.61/71.76 c | 144302 | 3218 20538 69573 | 67525 63293 43 | 0.094 % |
72.31/72.48 c | 145576 | 3218 20538 69573 | 67525 64567 44 | 0.095 % |
73.30/73.48 c | 146977 | 3218 20538 69573 | 67525 65968 44 | 0.094 % |
74.41/74.52 c | 148517 | 3218 20538 69573 | 67525 67508 44 | 0.095 % |
74.50/74.62 c | 148617 | 3218 20538 69573 | 67525 67608 44 | 0.094 % |
74.61/74.78 c | 148731 | 3218 20538 69573 | 67525 58495 41 | 0.093 % |
74.71/74.87 c | 148853 | 3218 20538 69573 | 67525 58617 41 | 0.093 % |
74.80/74.95 c | 148986 | 3218 20538 69573 | 67525 58750 41 | 0.093 % |
74.90/75.04 c | 149132 | 3218 20538 69573 | 67525 58896 41 | 0.093 % |
75.00/75.13 c | 149293 | 3218 20538 69573 | 67525 59057 41 | 0.093 % |
75.10/75.26 c | 149469 | 3218 20538 69573 | 67525 59233 41 | 0.094 % |
75.20/75.39 c | 149663 | 3218 20538 69573 | 67525 59427 41 | 0.093 % |
75.40/75.51 c | 149875 | 3218 20538 69573 | 67525 59639 41 | 0.094 % |
75.60/75.70 c | 150108 | 3218 20538 69573 | 59764 59872 41 | 0.094 % |
75.81/75.91 c | 150365 | 3218 20538 69573 | 59764 52310 39 | 0.093 % |
75.90/76.05 c | 150648 | 3218 20538 69573 | 59764 52593 39 | 0.093 % |
76.10/76.23 c | 150959 | 3218 20538 69573 | 59764 52904 39 | 0.093 % |
76.30/76.42 c | 151299 | 3218 20538 69573 | 59764 53244 39 | 0.093 % |
76.50/76.62 c | 151671 | 3218 20538 69573 | 59764 53616 40 | 0.093 % |
76.70/76.90 c | 152082 | 3218 20538 69573 | 59764 54027 40 | 0.094 % |
77.00/77.11 c | 152532 | 3218 20538 69573 | 59764 54477 40 | 0.093 % |
77.30/77.41 c | 153026 | 3218 20538 69573 | 59764 54971 40 | 0.094 % |
77.60/77.72 c | 153569 | 3218 20538 69573 | 59764 55514 40 | 0.094 % |
77.90/78.03 c | 154165 | 3218 20538 69573 | 59764 56110 40 | 0.093 % |
78.20/78.38 c | 154822 | 3218 20538 69573 | 59764 56767 40 | 0.093 % |
78.70/78.85 c | 155542 | 3218 20538 69573 | 59764 57487 40 | 0.094 % |
79.30/79.41 c | 156334 | 3216 20533 69550 | 59764 58270 41 | 0.155 % |
79.80/79.97 c | 157206 | 3216 20533 69550 | 59764 59142 41 | 0.155 % |
80.30/80.40 c | 158165 | 3216 20533 69550 | 59764 60101 41 | 0.156 % |
80.90/81.02 c | 159218 | 3216 20533 69550 | 59764 55144 40 | 0.156 % |
81.40/81.58 c | 160377 | 3216 20533 69550 | 2147483647 56303 41 | 0.156 % |
82.10/82.23 c | 161650 | 3216 20533 69550 | 2147483647 57576 42 | 0.156 % |
83.10/83.24 c | 163050 | 3216 20533 69550 | 2147483647 58976 43 | 0.156 % |
84.20/84.32 c | 164594 | 3216 20533 69550 | 2147483647 60520 43 | 0.157 % |
85.20/85.36 c | 166288 | 3216 20525 69526 | 2147483647 61736 43 | 0.156 % |
85.30/85.40 c | 166389 | 3216 20525 69526 | 2147483647 61837 43 | 0.155 % |
85.30/85.47 c | 166499 | 3216 20525 69526 | 2147483647 61947 43 | 0.157 % |
85.40/85.55 c | 166621 | 3216 20525 69526 | 2147483647 62069 43 | 0.157 % |
85.50/85.60 c | 166754 | 3216 20525 69526 | 2147483647 62202 43 | 0.156 % |
85.50/85.68 c | 166901 | 3216 20525 69526 | 2147483647 62349 43 | 0.156 % |
85.60/85.78 c | 167061 | 3216 20525 69526 | 2147483647 62509 43 | 0.155 % |
85.80/85.90 c | 167239 | 3216 20525 69526 | 2147483647 62687 43 | 0.156 % |
85.90/86.02 c | 167432 | 3216 20525 69526 | 2147483647 62880 43 | 0.156 % |
86.00/86.16 c | 167644 | 3216 20525 69526 | 2147483647 63092 43 | 0.155 % |
86.10/86.29 c | 167877 | 3216 20525 69526 | 2147483647 63325 43 | 0.155 % |
86.20/86.39 c | 168135 | 3216 20525 69526 | 2147483647 63583 43 | 0.155 % |
86.40/86.55 c | 168416 | 3216 20525 69526 | 2147483647 63864 43 | 0.156 % |
86.70/86.81 c | 168726 | 3216 20525 69526 | 2147483647 64174 43 | 0.156 % |
86.90/87.01 c | 169065 | 3216 20525 69526 | 2147483647 64513 43 | 0.155 % |
87.20/87.35 c | 169438 | 3216 20525 69526 | 2147483647 64886 43 | 0.157 % |
87.49/87.64 c | 169847 | 3216 20525 69526 | 2147483647 65295 43 | 0.155 % |
87.80/87.97 c | 170297 | 3216 20525 69526 | 65448 65745 43 | 0.156 % |
88.09/88.29 c | 170790 | 3216 20525 69526 | 65448 59132 42 | 0.156 % |
88.39/88.58 c | 171332 | 3216 20525 69526 | 65448 59674 42 | 0.156 % |
88.59/88.79 c | 171928 | 3216 20525 69526 | 65448 60270 42 | 0.156 % |
89.00/89.17 c | 172584 | 3216 20525 69526 | 65448 60926 42 | 0.156 % |
89.39/89.55 c | 173305 | 3216 20525 69526 | 65448 61647 43 | 0.156 % |
89.79/89.94 c | 174097 | 3216 20525 69526 | 65448 62439 43 | 0.155 % |
90.39/90.52 c | 174968 | 3216 20525 69526 | 65448 63310 43 | 0.156 % |
91.10/91.22 c | 175926 | 3216 20525 69526 | 65448 64268 43 | 0.156 % |
91.89/92.08 c | 176980 | 3216 20525 69526 | 65448 65322 43 | 0.155 % |
92.79/92.92 c | 178138 | 3216 20525 69526 | 65448 59399 43 | 0.155 % |
93.69/93.82 c | 179411 | 3216 20525 69526 | 65448 60672 43 | 0.155 % |
94.50/94.68 c | 180813 | 3216 20525 69526 | 2147483647 62074 44 | 0.155 % |
95.50/95.66 c | 182354 | 3216 20525 69526 | 2147483647 63615 44 | 0.156 % |
96.69/96.86 c | 184050 | 3216 20525 69526 | 2147483647 65311 44 | 0.156 % |
97.89/98.07 c | 185913 | 3216 20525 69526 | 2147483647 67174 44 | 0.155 % |
97.99/98.13 c | 186013 | 3216 20525 69526 | 2147483647 67274 45 | 0.155 % |
98.09/98.24 c | 186124 | 3216 20525 69526 | 2147483647 67385 44 | 0.156 % |
98.19/98.30 c | 186247 | 3216 20525 69526 | 2147483647 67508 44 | 0.157 % |
98.19/98.39 c | 186381 | 3216 20525 69526 | 2147483647 67642 45 | 0.156 % |
98.39/98.51 c | 186528 | 3216 20525 69526 | 2147483647 67789 44 | 0.155 % |
98.39/98.60 c | 186688 | 3216 20525 69526 | 2147483647 67949 44 | 0.155 % |
98.59/98.75 c | 186864 | 3216 20525 69526 | 2147483647 68125 44 | 0.156 % |
98.69/98.89 c | 187057 | 3216 20525 69526 | 2147483647 68318 45 | 0.155 % |
98.89/99.05 c | 187270 | 3216 20525 69526 | 2147483647 68531 45 | 0.156 % |
99.09/99.21 c | 187503 | 3216 20525 69526 | 2147483647 68764 45 | 0.155 % |
99.29/99.43 c | 187761 | 3216 20525 69526 | 2147483647 69022 45 | 0.156 % |
99.39/99.53 c | 188042 | 3216 20525 69526 | 2147483647 69303 45 | 0.155 % |
99.59/99.73 c | 188352 | 3216 20525 69526 | 2147483647 69613 45 | 0.156 % |
99.99/100.10 c | 188691 | 3216 20525 69526 | 2147483647 69952 45 | 0.155 % |
100.09/100.29 c | 189063 | 3216 20525 69526 | 2147483647 70324 45 | 0.155 % |
100.49/100.68 c | 189474 | 3216 20525 69526 | 2147483647 70735 45 | 0.157 % |
100.78/100.98 c | 189924 | 3216 20525 69526 | 2147483647 71185 45 | 0.155 % |
101.18/101.30 c | 190417 | 3216 20525 69526 | 71261 71678 45 | 0.155 % |
101.58/101.72 c | 190959 | 3216 20525 69526 | 71261 62572 43 | 0.156 % |
101.98/102.13 c | 191555 | 3216 20525 69526 | 71261 63168 43 | 0.155 % |
102.38/102.59 c | 192210 | 3216 20525 69526 | 71261 63823 43 | 0.157 % |
102.98/103.10 c | 192930 | 3216 20525 69526 | 71261 64543 43 | 0.156 % |
103.48/103.61 c | 193724 | 3216 20525 69526 | 71261 65337 43 | 0.156 % |
103.98/104.18 c | 194595 | 3216 20525 69526 | 71261 66208 43 | 0.156 % |
104.68/104.81 c | 195554 | 3216 20525 69526 | 71261 67167 43 | 0.156 % |
105.58/105.77 c | 196607 | 3216 20525 69526 | 71261 68220 43 | 0.156 % |
106.59/106.70 c | 197767 | 3216 20525 69526 | 71261 69380 43 | 0.156 % |
107.28/107.48 c | 199042 | 3216 20525 69526 | 71261 70655 43 | 0.156 % |
108.38/108.50 c | 200443 | 3216 20525 69526 | 71613 72056 43 | 0.157 % |
109.38/109.55 c | 201984 | 3216 20525 69526 | 71613 61686 41 | 0.156 % |
110.58/110.76 c | 203678 | 3216 20525 69526 | 71613 63380 42 | 0.156 % |
112.18/112.38 c | 205542 | 3216 20525 69526 | 71613 65244 42 | 0.156 % |
113.68/113.85 c | 207591 | 3216 20525 69526 | 71613 67293 42 | 0.156 % |
113.78/113.96 c | 207691 | 3216 20525 69526 | 71613 67393 42 | 0.155 % |
113.88/114.01 c | 207801 | 3216 20525 69526 | 71613 67503 42 | 0.156 % |
113.98/114.12 c | 207924 | 3216 20525 69526 | 71613 67626 42 | 0.156 % |
113.98/114.20 c | 208057 | 3216 20525 69526 | 71613 67759 42 | 0.155 % |
114.08/114.29 c | 208203 | 3216 20525 69526 | 71613 67905 42 | 0.156 % |
114.28/114.40 c | 208364 | 3216 20525 69526 | 71613 68066 42 | 0.156 % |
114.38/114.56 c | 208541 | 3216 20525 69526 | 71613 68243 42 | 0.156 % |
114.58/114.71 c | 208734 | 3216 20525 69526 | 71613 68436 42 | 0.157 % |
114.68/114.88 c | 208947 | 3216 20525 69526 | 71613 68649 42 | 0.155 % |
114.88/115.02 c | 209181 | 3216 20525 69526 | 71613 68883 42 | 0.156 % |
114.98/115.14 c | 209437 | 3216 20525 69526 | 71613 69139 42 | 0.157 % |
115.18/115.34 c | 209718 | 3216 20525 69526 | 71613 69420 42 | 0.155 % |
115.38/115.51 c | 210028 | 3216 20525 69526 | 69702 69730 42 | 0.156 % |
115.68/115.82 c | 210367 | 3216 20525 69526 | 69702 59772 40 | 0.156 % |
115.88/116.00 c | 210739 | 3216 20525 69526 | 69702 60144 40 | 0.155 % |
116.08/116.27 c | 211148 | 3216 20525 69526 | 69702 60553 40 | 0.156 % |
116.38/116.55 c | 211597 | 3216 20525 69526 | 69702 61002 40 | 0.156 % |
116.68/116.87 c | 212091 | 3216 20525 69526 | 69702 61496 40 | 0.156 % |
117.08/117.20 c | 212634 | 3216 20525 69526 | 69702 62039 40 | 0.157 % |
117.38/117.60 c | 213230 | 3216 20525 69526 | 69702 62635 40 | 0.156 % |
117.88/118.00 c | 213885 | 3216 20525 69526 | 69702 63290 41 | 0.157 % |
118.38/118.59 c | 214605 | 3216 20525 69526 | 69702 64010 41 | 0.155 % |
118.98/119.17 c | 215398 | 3216 20525 69526 | 69702 64803 41 | 0.156 % |
119.68/119.82 c | 216269 | 3216 20525 69526 | 69702 65674 41 | 0.155 % |
120.48/120.67 c | 217227 | 3216 20525 69526 | 69702 66632 41 | 0.155 % |
121.18/121.38 c | 218280 | 3216 20525 69526 | 69702 67685 41 | 0.156 % |
122.18/122.30 c | 219438 | 3216 20525 69526 | 69702 68843 41 | 0.157 % |
123.17/123.30 c | 220713 | 3216 20525 69526 | 69408 61375 40 | 0.156 % |
123.97/124.13 c | 222113 | 3216 20525 69526 | 69408 62775 40 | 0.155 % |
124.98/125.12 c | 223653 | 3216 20525 69526 | 69408 64315 41 | 0.157 % |
126.57/126.75 c | 225347 | 3216 20525 69526 | 69408 66009 41 | 0.155 % |
128.27/128.46 c | 227212 | 3216 20525 69526 | 69408 67874 41 | 0.157 % |
130.57/130.72 c | 229261 | 3216 20525 69526 | 69408 69923 41 | 0.157 % |
132.27/132.42 c | 231514 | 3216 20525 69526 | 63186 58134 38 | 0.156 % |
132.37/132.51 c | 231614 | 3216 20525 69526 | 63186 58234 38 | 0.156 % |
132.37/132.58 c | 231726 | 3216 20525 69526 | 63186 58346 38 | 0.156 % |
132.47/132.68 c | 231847 | 3216 20525 69526 | 63186 58467 38 | 0.156 % |
132.57/132.75 c | 231980 | 3216 20525 69526 | 63186 58600 38 | 0.155 % |
132.67/132.81 c | 232126 | 3216 20525 69526 | 63186 58746 38 | 0.156 % |
132.77/132.95 c | 232286 | 3216 20525 69526 | 63186 58906 38 | 0.156 % |
132.88/133.05 c | 232462 | 3216 20525 69526 | 63186 59082 38 | 0.155 % |
132.97/133.18 c | 232656 | 3216 20525 69526 | 63186 59276 38 | 0.155 % |
133.17/133.33 c | 232871 | 3216 20525 69526 | 63186 59491 38 | 0.155 % |
133.27/133.50 c | 233108 | 3216 20525 69526 | 63186 59728 38 | 0.155 % |
133.47/133.63 c | 233364 | 3216 20525 69526 | 63186 59984 38 | 0.156 % |
133.67/133.81 c | 233645 | 3216 20525 69526 | 63186 60265 38 | 0.155 % |
133.77/133.98 c | 233954 | 3216 20525 69526 | 63186 60574 38 | 0.155 % |
133.98/134.19 c | 234295 | 3216 20525 69526 | 63186 60915 38 | 0.155 % |
134.17/134.31 c | 234667 | 3216 20525 69526 | 63186 61287 38 | 0.155 % |
134.27/134.49 c | 235077 | 3216 20525 69526 | 63186 61697 38 | 0.157 % |
134.57/134.78 c | 235527 | 3216 20525 69526 | 63186 62147 38 | 0.156 % |
134.87/135.10 c | 236020 | 3216 20525 69526 | 63186 62640 38 | 0.156 % |
135.27/135.48 c | 236562 | 3216 20525 69526 | 63186 63182 38 | 0.156 % |
135.77/135.92 c | 237159 | 3216 20525 69526 | 63186 63779 38 | 0.156 % |
136.27/136.42 c | 237814 | 3216 20525 69526 | 63186 58057 38 | 0.157 % |
136.57/136.78 c | 238536 | 3216 20525 69526 | 63186 58779 38 | 0.155 % |
137.27/137.48 c | 239331 | 3216 20525 69526 | 63186 59574 38 | 0.156 % |
137.77/137.95 c | 240203 | 3216 20525 69526 | 60243 60446 38 | 0.156 % |
138.67/138.87 c | 241161 | 3216 20525 69526 | 60243 55180 37 | 0.156 % |
139.57/139.75 c | 242216 | 3216 20525 69526 | 60243 56235 37 | 0.156 % |
140.17/140.40 c | 243377 | 3216 20525 69526 | 60243 57396 37 | 0.157 % |
141.17/141.32 c | 244652 | 3216 20525 69526 | 60243 58671 37 | 0.155 % |
141.97/142.14 c | 246054 | 3216 20525 69526 | 60243 60073 37 | 0.156 % |
142.87/143.09 c | 247595 | 3216 20525 69526 | 60243 55475 36 | 0.156 % |
143.77/143.90 c | 249290 | 3216 20525 69526 | 60243 57170 37 | 0.157 % |
144.77/144.96 c | 251153 | 3216 20525 69526 | 2147483647 59033 37 | 0.155 % |
145.96/146.19 c | 253202 | 3216 20525 69526 | 2147483647 61082 38 | 0.156 % |
147.56/147.79 c | 255456 | 3216 20525 69526 | 2147483647 63336 38 | 0.156 % |
149.37/149.57 c | 257934 | 3216 20525 69526 | 2147483647 65814 38 | 0.156 % |
149.47/149.66 c | 258034 | 3216 20525 69526 | 2147483647 65914 38 | 0.157 % |
149.56/149.76 c | 258145 | 3216 20525 69526 | 2147483647 66025 38 | 0.156 % |
149.66/149.83 c | 258267 | 3216 20525 69526 | 2147483647 66147 38 | 0.155 % |
149.76/149.94 c | 258400 | 3216 20525 69526 | 2147483647 66280 38 | 0.155 % |
149.86/150.08 c | 258546 | 3216 20525 69526 | 2147483647 66426 38 | 0.155 % |
149.96/150.17 c | 258709 | 3216 20525 69526 | 2147483647 66589 38 | 0.156 % |
150.06/150.29 c | 258886 | 3216 20525 69526 | 2147483647 66766 38 | 0.155 % |
150.27/150.42 c | 259079 | 3216 20525 69526 | 2147483647 66959 38 | 0.155 % |
150.37/150.58 c | 259293 | 3216 20525 69526 | 2147483647 67173 38 | 0.156 % |
150.58/150.76 c | 259526 | 3216 20525 69526 | 2147483647 67406 38 | 0.156 % |
150.77/150.96 c | 259782 | 3216 20525 69526 | 2147483647 67662 38 | 0.156 % |
150.97/151.15 c | 260064 | 3216 20525 69526 | 67881 67944 38 | 0.157 % |
151.27/151.44 c | 260373 | 3216 20525 69526 | 67881 59336 37 | 0.156 % |
151.47/151.65 c | 260712 | 3216 20525 69526 | 67881 59675 37 | 0.155 % |
151.67/151.85 c | 261085 | 3216 20525 69526 | 67881 60048 37 | 0.155 % |
151.87/152.06 c | 261494 | 3216 20525 69526 | 67881 60457 37 | 0.156 % |
152.27/152.41 c | 261943 | 3216 20525 69526 | 67881 60906 37 | 0.156 % |
152.57/152.76 c | 262437 | 3216 20525 69526 | 67881 61400 37 | 0.157 % |
153.07/153.24 c | 262979 | 3216 20525 69526 | 67881 61942 37 | 0.157 % |
153.47/153.62 c | 263575 | 3216 20525 69526 | 67881 62538 37 | 0.157 % |
153.87/154.03 c | 264230 | 3216 20525 69526 | 67881 63193 37 | 0.156 % |
154.37/154.55 c | 264950 | 3216 20525 69526 | 67881 63913 37 | 0.157 % |
154.97/155.12 c | 265743 | 3216 20525 69526 | 67881 64706 37 | 0.155 % |
155.47/155.62 c | 266614 | 3216 20525 69526 | 67881 65577 38 | 0.156 % |
156.07/156.25 c | 267573 | 3216 20525 69526 | 67881 66536 38 | 0.155 % |
156.67/156.88 c | 268626 | 3216 20525 69526 | 67881 67589 38 | 0.156 % |
157.47/157.62 c | 269785 | 3216 20525 69526 | 67881 68748 38 | 0.156 % |
158.37/158.59 c | 271058 | 3216 20525 69526 | 60377 61435 37 | 0.155 % |
159.37/159.50 c | 272459 | 3216 20525 69526 | 60377 54698 37 | 0.156 % |
160.27/160.42 c | 274000 | 3216 20525 69526 | 60377 56239 37 | 0.155 % |
161.27/161.45 c | 275694 | 3216 20525 69526 | 60377 57933 38 | 0.157 % |
162.46/162.61 c | 277559 | 3216 20525 69526 | 60377 59798 38 | 0.157 % |
163.86/164.03 c | 279608 | 3216 20525 69526 | 60377 61847 38 | 0.157 % |
165.56/165.77 c | 281861 | 3216 20525 69526 | 54543 50533 37 | 0.156 % |
167.56/167.74 c | 284339 | 3216 20525 69526 | 54543 53011 37 | 0.156 % |
169.36/169.52 c | 287065 | 3216 20525 69526 | 54543 55737 38 | 0.155 % |
169.56/169.70 c | 287165 | 3216 20525 69526 | 54543 50264 37 | 0.156 % |
169.56/169.77 c | 287279 | 3216 20525 69526 | 54543 50378 37 | 0.156 % |
169.66/169.85 c | 287400 | 3216 20525 69526 | 54543 50499 37 | 0.155 % |
169.76/169.93 c | 287533 | 3216 20525 69526 | 54543 50632 37 | 0.155 % |
169.86/170.02 c | 287680 | 3216 20525 69526 | 54543 50779 37 | 0.156 % |
169.96/170.10 c | 287841 | 3216 20525 69526 | 54543 50940 37 | 0.155 % |
169.96/170.17 c | 288017 | 3216 20525 69526 | 54543 51116 37 | 0.155 % |
170.06/170.26 c | 288212 | 3216 20525 69526 | 54543 51311 37 | 0.155 % |
170.16/170.39 c | 288424 | 3216 20525 69526 | 54543 51523 37 | 0.156 % |
170.36/170.51 c | 288658 | 3216 20525 69526 | 54543 51757 37 | 0.156 % |
170.46/170.67 c | 288914 | 3216 20525 69526 | 54543 52013 37 | 0.155 % |
170.66/170.84 c | 289195 | 3216 20525 69526 | 54543 52294 37 | 0.157 % |
170.76/170.99 c | 289504 | 3216 20525 69526 | 54543 52603 37 | 0.157 % |
171.06/171.23 c | 289843 | 3216 20525 69526 | 54543 52942 38 | 0.156 % |
171.36/171.52 c | 290215 | 3216 20525 69526 | 2147483647 53314 38 | 0.156 % |
171.56/171.77 c | 290624 | 3216 20525 69526 | 2147483647 53723 38 | 0.157 % |
171.86/172.07 c | 291073 | 3216 20525 69526 | 2147483647 54172 38 | 0.155 % |
172.16/172.36 c | 291567 | 3216 20525 69526 | 2147483647 54666 38 | 0.156 % |
172.56/172.71 c | 292109 | 3216 20525 69526 | 2147483647 55208 38 | 0.156 % |
172.86/173.07 c | 292706 | 3216 20525 69526 | 2147483647 55805 38 | 0.157 % |
173.36/173.51 c | 293361 | 3216 20525 69526 | 2147483647 56460 38 | 0.156 % |
173.86/174.04 c | 294081 | 3216 20525 69526 | 2147483647 57180 38 | 0.155 % |
174.46/174.62 c | 294874 | 3216 20525 69526 | 2147483647 57973 38 | 0.156 % |
175.15/175.30 c | 295745 | 3216 20525 69526 | 2147483647 58844 38 | 0.156 % |
175.76/175.99 c | 296703 | 3216 20525 69526 | 2147483647 59802 38 | 0.156 % |
176.45/176.61 c | 297756 | 3216 20525 69526 | 2147483647 60855 38 | 0.155 % |
177.25/177.48 c | 298914 | 3216 20525 69526 | 2147483647 62013 39 | 0.156 % |
178.06/178.22 c | 300187 | 3216 20525 69526 | 2147483647 63286 39 | 0.156 % |
178.75/178.97 c | 301588 | 3216 20525 69526 | 2147483647 64687 39 | 0.155 % |
180.05/180.27 c | 303130 | 3216 20525 69526 | 2147483647 66229 39 | 0.157 % |
181.45/181.67 c | 304825 | 3216 20525 69526 | 2147483647 67924 39 | 0.156 % |
182.65/182.88 c | 306690 | 3216 20525 69526 | 2147483647 69789 39 | 0.156 % |
184.25/184.42 c | 308739 | 3216 20525 69526 | 2147483647 71838 40 | 0.157 % |
185.75/185.95 c | 310992 | 3216 20525 69526 | 73099 74091 40 | 0.156 % |
187.25/187.49 c | 313470 | 3216 20525 69526 | 73099 66801 40 | 0.155 % |
188.95/189.12 c | 316195 | 3216 20525 69526 | 73099 69526 41 | 0.156 % |
191.45/191.60 c | 319198 | 3216 20525 69526 | 73099 72529 41 | 0.155 % |
191.45/191.69 c | 319299 | 3216 20525 69526 | 73099 72630 41 | 0.155 % |
191.55/191.76 c | 319410 | 3216 20525 69526 | 73099 72741 41 | 0.155 % |
191.65/191.82 c | 319531 | 3216 20525 69526 | 73099 72862 41 | 0.156 % |
191.75/191.90 c | 319666 | 3216 20525 69526 | 73099 72997 41 | 0.156 % |
191.85/192.05 c | 319812 | 3216 20525 69526 | 73099 73143 41 | 0.156 % |
192.05/192.22 c | 319973 | 3216 20525 69526 | 73099 65644 40 | 0.156 % |
192.15/192.36 c | 320149 | 3216 20525 69526 | 65671 65820 40 | 0.155 % |
192.35/192.53 c | 320342 | 3216 20525 69526 | 65671 59431 38 | 0.156 % |
192.45/192.67 c | 320554 | 3216 20525 69526 | 65671 59643 38 | 0.156 % |
192.65/192.89 c | 320787 | 3216 20525 69526 | 65671 59876 39 | 0.157 % |
192.85/193.06 c | 321044 | 3216 20525 69526 | 65671 60133 39 | 0.155 % |
193.05/193.26 c | 321327 | 3216 20525 69526 | 65671 60416 39 | 0.156 % |
193.25/193.42 c | 321636 | 3216 20525 69526 | 65671 60725 39 | 0.156 % |
193.45/193.61 c | 321975 | 3216 20525 69526 | 65671 61064 39 | 0.156 % |
193.55/193.77 c | 322348 | 3216 20525 69526 | 65671 61437 39 | 0.155 % |
193.75/193.98 c | 322761 | 3216 20525 69526 | 65671 61850 39 | 0.156 % |
194.05/194.24 c | 323210 | 3216 20525 69526 | 65671 62299 39 | 0.155 % |
194.25/194.46 c | 323703 | 3216 20525 69526 | 65671 62792 39 | 0.156 % |
194.55/194.78 c | 324246 | 3216 20525 69526 | 65671 63335 39 | 0.156 % |
194.95/195.16 c | 324845 | 3216 20525 69526 | 65671 63934 40 | 0.156 % |
195.45/195.60 c | 325500 | 3216 20525 69526 | 65671 64589 40 | 0.155 % |
195.95/196.15 c | 326221 | 3216 20525 69526 | 65671 65310 40 | 0.156 % |
196.55/196.74 c | 327014 | 3216 20525 69526 | 65671 66103 40 | 0.156 % |
197.35/197.51 c | 327885 | 3216 20525 69526 | 65671 59737 39 | 0.156 % |
198.14/198.31 c | 328846 | 3216 20525 69526 | 65671 60698 39 | 0.155 % |
198.85/199.07 c | 329899 | 3216 20525 69526 | 65671 61751 39 | 0.157 % |
199.54/199.72 c | 331058 | 3216 20525 69526 | 61852 62910 39 | 0.155 % |
200.34/200.51 c | 332333 | 3216 20525 69526 | 61852 56895 39 | 0.157 % |
201.24/201.42 c | 333733 | 3216 20525 69526 | 61852 58295 39 | 0.156 % |
202.15/202.31 c | 335273 | 3216 20525 69526 | 61852 59835 39 | 0.157 % |
203.35/203.57 c | 336969 | 3216 20525 69526 | 61852 61531 39 | 0.156 % |
204.74/204.96 c | 338833 | 3216 20525 69526 | 61852 56475 39 | 0.156 % |
206.34/206.56 c | 340883 | 3216 20525 69526 | 57643 58525 39 | 0.156 % |
208.04/208.21 c | 343138 | 3216 20525 69526 | 57643 54928 39 | 0.156 % |
209.74/209.93 c | 345616 | 3216 20525 69526 | 57643 57406 39 | 0.157 % |
211.14/211.30 c | 348343 | 3216 20525 69526 | 57643 54174 39 | 0.156 % |
212.94/213.15 c | 351340 | 3216 20525 69526 | 2147483647 57171 40 | 0.156 % |
215.03/215.21 c | 354636 | 3216 20525 69526 | 2147483647 60467 41 | 0.155 % |
215.03/215.29 c | 354736 | 3216 20525 69526 | 2147483647 60567 41 | 0.157 % |
215.13/215.37 c | 354846 | 3216 20525 69526 | 2147483647 60677 41 | 0.156 % |
215.23/215.46 c | 354967 | 3216 20525 69526 | 2147483647 60798 41 | 0.155 % |
215.34/215.54 c | 355101 | 3216 20525 69526 | 2147483647 60932 41 | 0.157 % |
215.44/215.62 c | 355247 | 3216 20525 69526 | 2147483647 61078 41 | 0.155 % |
215.53/215.72 c | 355407 | 3216 20525 69526 | 2147483647 61238 41 | 0.157 % |
215.53/215.78 c | 355584 | 3216 20525 69526 | 2147483647 61415 41 | 0.156 % |
215.73/215.93 c | 355777 | 3216 20525 69526 | 2147483647 61608 41 | 0.157 % |
215.83/216.04 c | 355989 | 3216 20525 69526 | 2147483647 61820 41 | 0.156 % |
215.93/216.17 c | 356223 | 3216 20525 69526 | 2147483647 62054 41 | 0.156 % |
216.13/216.33 c | 356479 | 3216 20525 69526 | 2147483647 62310 41 | 0.155 % |
216.33/216.54 c | 356760 | 3216 20525 69526 | 2147483647 62591 41 | 0.155 % |
216.54/216.75 c | 357069 | 3216 20525 69526 | 2147483647 62900 41 | 0.157 % |
216.73/216.98 c | 357408 | 3216 20525 69526 | 2147483647 63239 41 | 0.156 % |
217.03/217.21 c | 357780 | 3216 20525 69526 | 2147483647 63611 42 | 0.155 % |
217.33/217.52 c | 358190 | 3216 20525 69526 | 2147483647 64021 41 | 0.155 % |
217.54/217.77 c | 358639 | 3216 20525 69526 | 2147483647 64470 42 | 0.157 % |
217.83/218.03 c | 359133 | 3216 20525 69526 | 2147483647 64964 42 | 0.156 % |
218.13/218.37 c | 359677 | 3216 20525 69526 | 2147483647 65508 42 | 0.155 % |
218.64/218.90 c | 360274 | 3216 20525 69526 | 2147483647 66105 42 | 0.155 % |
219.13/219.38 c | 360932 | 3216 20525 69526 | 2147483647 66763 42 | 0.157 % |
219.74/219.90 c | 361652 | 3216 20525 69526 | 2147483647 67483 42 | 0.157 % |
220.33/220.59 c | 362445 | 3216 20525 69526 | 2147483647 68276 42 | 0.157 % |
220.94/221.13 c | 363318 | 3216 20525 69526 | 2147483647 69149 42 | 0.156 % |
221.63/221.84 c | 364276 | 3216 20525 69526 | 2147483647 70107 42 | 0.156 % |
222.73/222.94 c | 365331 | 3216 20525 69526 | 2147483647 71162 42 | 0.156 % |
223.83/224.04 c | 366489 | 3216 20525 69526 | 2147483647 72320 42 | 0.156 % |
224.53/224.71 c | 367762 | 3216 20525 69526 | 2147483647 73593 42 | 0.157 % |
225.43/225.64 c | 369162 | 3216 20525 69526 | 2147483647 74993 42 | 0.157 % |
226.53/226.73 c | 370706 | 3216 20525 69526 | 75832 76537 42 | 0.155 % |
228.23/228.49 c | 372401 | 3216 20525 69526 | 75832 68728 40 | 0.155 % |
229.63/229.84 c | 374264 | 3216 20525 69526 | 75832 70591 41 | 0.157 % |
231.03/231.26 c | 376314 | 3216 20525 69526 | 75832 72641 41 | 0.157 % |
232.73/232.96 c | 378567 | 3216 20525 69526 | 75832 74894 41 | 0.155 % |
234.93/235.14 c | 381045 | 3216 20525 69526 | 76327 77372 41 | 0.157 % |
236.93/237.15 c | 383770 | 3216 20525 69526 | 76327 68412 39 | 0.157 % |
238.83/239.02 c | 386768 | 3216 20525 69526 | 76327 71410 40 | 0.156 % |
241.33/241.56 c | 390064 | 3216 20525 69526 | 74642 74706 40 | 0.155 % |
243.62/243.85 c | 393690 | 3216 20525 69526 | 74642 69450 39 | 0.156 % |
243.72/243.91 c | 393790 | 3216 20525 69526 | 74642 69550 39 | 0.157 % |
243.72/243.99 c | 393902 | 3216 20525 69526 | 74642 69662 39 | 0.157 % |
243.82/244.08 c | 394023 | 3216 20525 69526 | 74642 69783 39 | 0.157 % |
243.93/244.17 c | 394157 | 3216 20525 69526 | 74642 69917 39 | 0.157 % |
244.12/244.37 c | 394304 | 3216 20525 69526 | 74642 70064 39 | 0.156 % |
244.32/244.50 c | 394465 | 3216 20525 69526 | 74642 70225 39 | 0.157 % |
244.42/244.69 c | 394641 | 3216 20525 69526 | 74642 70401 40 | 0.156 % |
244.62/244.85 c | 394835 | 3216 20525 69526 | 74642 70595 40 | 0.156 % |
244.82/245.06 c | 395047 | 3216 20525 69526 | 74642 70807 40 | 0.156 % |
245.03/245.25 c | 395280 | 3216 20525 69526 | 74642 71040 40 | 0.156 % |
245.22/245.43 c | 395536 | 3216 20525 69526 | 74642 71296 40 | 0.156 % |
245.42/245.64 c | 395817 | 3216 20525 69526 | 74642 71577 40 | 0.156 % |
245.62/245.82 c | 396126 | 3216 20525 69526 | 74642 71886 40 | 0.156 % |
245.82/246.09 c | 396467 | 3216 20525 69526 | 74642 72227 40 | 0.157 % |
246.13/246.35 c | 396839 | 3216 20525 69526 | 74642 72599 40 | 0.156 % |
246.42/246.61 c | 397248 | 3216 20525 69526 | 74642 73008 40 | 0.157 % |
246.82/247.00 c | 397697 | 3216 20525 69526 | 74642 73457 40 | 0.156 % |
247.12/247.38 c | 398190 | 3216 20525 69526 | 74642 73950 40 | 0.156 % |
247.62/247.82 c | 398732 | 3216 20525 69526 | 74642 74492 40 | 0.155 % |
248.02/248.20 c | 399328 | 3216 20525 69526 | 74642 75088 40 | 0.157 % |
248.52/248.77 c | 399983 | 3216 20525 69526 | 74642 64411 38 | 0.157 % |
249.02/249.26 c | 400704 | 3216 20525 69526 | 64428 65132 38 | 0.155 % |
249.62/249.87 c | 401497 | 3216 20525 69526 | 64428 56178 36 | 0.155 % |
250.12/250.36 c | 402369 | 3216 20525 69526 | 64428 57050 36 | 0.156 % |
250.82/251.00 c | 403327 | 3216 20525 69526 | 64428 58008 36 | 0.156 % |
251.32/251.53 c | 404384 | 3216 20525 69526 | 64428 59065 37 | 0.155 % |
251.92/252.10 c | 405543 | 3216 20525 69526 | 64428 60224 37 | 0.155 % |
252.72/252.91 c | 406818 | 3216 20525 69526 | 64428 61499 37 | 0.156 % |
253.42/253.67 c | 408219 | 3216 20525 69526 | 64428 62900 37 | 0.156 % |
254.22/254.41 c | 409761 | 3216 20525 69526 | 64428 64442 38 | 0.156 % |
255.21/255.44 c | 411456 | 3216 20525 69526 | 2147483647 59693 38 | 0.155 % |
256.21/256.45 c | 413319 | 3216 20525 69526 | 2147483647 61556 39 | 0.155 % |
257.22/257.45 c | 415369 | 3216 20525 69526 | 2147483647 63606 39 | 0.155 % |
258.91/259.17 c | 417623 | 3216 20525 69526 | 2147483647 65860 39 | 0.155 % |
260.71/260.93 c | 420103 | 3216 20525 69526 | 2147483647 68340 40 | 0.157 % |
261.91/262.19 c | 422828 | 3216 20525 69526 | 2147483647 71065 40 | 0.155 % |
264.41/264.67 c | 425826 | 3216 20525 69526 | 2147483647 74063 41 | 0.157 % |
267.31/267.56 c | 429122 | 3216 20525 69526 | 2147483647 77359 42 | 0.157 % |
269.91/270.13 c | 432747 | 3216 20525 69526 | 78237 69198 42 | 0.157 % |
273.11/273.37 c | 436735 | 3216 20525 69526 | 78237 73186 42 | 0.155 % |
273.21/273.45 c | 436837 | 3216 20525 69526 | 78237 73288 42 | 0.155 % |
273.31/273.53 c | 436947 | 3216 20525 69526 | 78237 73398 42 | 0.155 % |
273.41/273.63 c | 437069 | 3216 20525 69526 | 78237 73520 42 | 0.156 % |
273.51/273.75 c | 437204 | 3216 20525 69526 | 78237 73655 42 | 0.156 % |
273.61/273.86 c | 437350 | 3216 20525 69526 | 78237 73801 42 | 0.156 % |
273.71/273.99 c | 437511 | 3216 20525 69526 | 78237 73962 42 | 0.157 % |
273.91/274.11 c | 437688 | 3216 20525 69526 | 78237 74139 42 | 0.157 % |
274.01/274.24 c | 437881 | 3216 20525 69526 | 78237 74332 42 | 0.156 % |
274.11/274.39 c | 438094 | 3216 20525 69526 | 78237 74545 42 | 0.155 % |
274.31/274.55 c | 438327 | 3216 20525 69526 | 78237 74778 42 | 0.156 % |
274.61/274.82 c | 438583 | 3216 20525 69526 | 78237 75034 42 | 0.155 % |
274.81/275.01 c | 438864 | 3216 20525 69526 | 78237 75315 42 | 0.157 % |
275.01/275.21 c | 439176 | 3216 20525 69526 | 78237 75627 42 | 0.156 % |
275.31/275.50 c | 439516 | 3216 20525 69526 | 78237 75967 42 | 0.156 % |
275.51/275.74 c | 439888 | 3216 20525 69526 | 78237 76339 42 | 0.156 % |
275.71/275.99 c | 440297 | 3216 20525 69526 | 76454 76748 42 | 0.156 % |
276.21/276.40 c | 440746 | 3216 20525 69526 | 76454 65464 42 | 0.156 % |
276.51/276.78 c | 441240 | 3216 20525 69526 | 76454 65958 42 | 0.156 % |
276.91/277.11 c | 441783 | 3216 20525 69526 | 76454 66501 42 | 0.155 % |
277.41/277.61 c | 442380 | 3216 20525 69526 | 76454 67098 42 | 0.155 % |
277.91/278.16 c | 443036 | 3216 20525 69526 | 76454 67754 42 | 0.155 % |
278.40/278.64 c | 443757 | 3216 20525 69526 | 76454 68475 42 | 0.157 % |
279.11/279.35 c | 444550 | 3216 20525 69526 | 76454 69268 42 | 0.156 % |
279.61/279.90 c | 445422 | 3216 20525 69526 | 76454 70140 42 | 0.157 % |
280.21/280.48 c | 446381 | 3216 20525 69526 | 76454 71099 43 | 0.157 % |
281.00/281.22 c | 447436 | 3216 20525 69526 | 76454 72154 43 | 0.156 % |
281.70/281.97 c | 448594 | 3216 20525 69526 | 76454 73312 43 | 0.155 % |
282.70/282.92 c | 449868 | 3216 20525 69526 | 76454 74586 43 | 0.156 % |
283.90/284.15 c | 451268 | 3216 20525 69526 | 74718 65170 42 | 0.155 % |
284.90/285.12 c | 452810 | 3216 20525 69526 | 74718 66712 42 | 0.156 % |
286.10/286.33 c | 454504 | 3216 20525 69526 | 74718 68406 42 | 0.157 % |
287.50/287.70 c | 456367 | 3216 20525 69526 | 74718 70269 42 | 0.156 % |
288.80/289.03 c | 458416 | 3216 20525 69526 | 74718 72318 43 | 0.156 % |
290.80/291.07 c | 460669 | 3216 20525 69526 | 73902 74571 43 | 0.156 % |
292.60/292.80 c | 463147 | 3216 20525 69526 | 73902 67477 41 | 0.156 % |
294.40/294.63 c | 465874 | 3216 20525 69526 | 73902 70204 41 | 0.157 % |
296.80/297.03 c | 468872 | 3216 20525 69526 | 73902 73202 42 | 0.157 % |
299.29/299.58 c | 472168 | 3216 20525 69526 | 74331 66369 41 | 0.156 % |
302.79/303.03 c | 475793 | 3216 20525 69526 | 74331 69994 41 | 0.157 % |
306.69/306.94 c | 479780 | 3216 20525 69526 | 74331 73981 41 | 0.155 % |
311.39/311.66 c | 484165 | 3216 20525 69526 | 2147483647 78366 41 | 0.157 % |
311.49/311.78 c | 484268 | 3216 20525 69526 | 2147483647 78469 41 | 0.157 % |
311.59/311.87 c | 484380 | 3216 20525 69526 | 2147483647 78581 41 | 0.156 % |
311.69/311.97 c | 484501 | 3216 20525 69526 | 2147483647 78702 41 | 0.157 % |
311.89/312.12 c | 484635 | 3216 20525 69526 | 2147483647 78836 41 | 0.157 % |
311.99/312.24 c | 484781 | 3216 20525 69526 | 2147483647 78982 41 | 0.155 % |
312.09/312.38 c | 484944 | 3216 20525 69526 | 2147483647 79145 41 | 0.157 % |
312.29/312.57 c | 485121 | 3216 20525 69526 | 2147483647 79322 41 | 0.157 % |
312.48/312.77 c | 485315 | 3216 20525 69526 | 2147483647 79516 41 | 0.155 % |
312.68/312.92 c | 485527 | 3216 20525 69526 | 2147483647 79728 42 | 0.156 % |
312.89/313.12 c | 485760 | 3216 20525 69526 | 2147483647 79961 41 | 0.156 % |
313.09/313.33 c | 486017 | 3216 20525 69526 | 2147483647 80218 42 | 0.156 % |
313.29/313.56 c | 486298 | 3216 20525 69526 | 2147483647 80499 42 | 0.157 % |
313.49/313.76 c | 486607 | 3216 20525 69526 | 2147483647 80808 41 | 0.155 % |
313.79/314.03 c | 486946 | 3216 20525 69526 | 2147483647 81147 41 | 0.156 % |
314.08/314.30 c | 487319 | 3216 20525 69526 | 2147483647 81520 41 | 0.156 % |
314.39/314.63 c | 487732 | 3216 20525 69526 | 2147483647 81933 41 | 0.156 % |
314.78/315.00 c | 488181 | 3216 20525 69526 | 2147483647 82382 41 | 0.156 % |
315.18/315.44 c | 488674 | 3216 20525 69526 | 2147483647 82875 41 | 0.156 % |
315.58/315.85 c | 489216 | 3216 20525 69526 | 2147483647 83417 42 | 0.156 % |
316.08/316.32 c | 489812 | 3216 20525 69526 | 2147483647 84013 42 | 0.157 % |
316.68/316.93 c | 490467 | 3216 20525 69526 | 84204 84668 42 | 0.156 % |
317.38/317.62 c | 491187 | 3216 20525 69526 | 84204 72601 40 | 0.156 % |
317.98/318.22 c | 491979 | 3216 20525 69526 | 84204 73393 40 | 0.157 % |
318.68/318.95 c | 492851 | 3216 20525 69526 | 84204 74265 40 | 0.156 % |
319.28/319.58 c | 493810 | 3216 20525 69526 | 84204 75224 41 | 0.157 % |
320.08/320.33 c | 494863 | 3216 20525 69526 | 84204 76277 41 | 0.156 % |
320.88/321.16 c | 496022 | 3216 20525 69526 | 84204 77436 41 | 0.155 % |
321.78/322.04 c | 497295 | 3216 20525 69526 | 84204 78709 41 | 0.155 % |
322.88/323.11 c | 498696 | 3216 20525 69526 | 84204 80110 41 | 0.156 % |
324.08/324.35 c | 500236 | 3216 20525 69526 | 81414 81650 41 | 0.156 % |
325.58/325.80 c | 501930 | 3216 20525 69526 | 81414 70391 39 | 0.155 % |
326.88/327.17 c | 503793 | 3216 20525 69526 | 81414 72254 39 | 0.156 % |
328.68/328.90 c | 505842 | 3216 20525 69526 | 81414 74303 39 | 0.156 % |
330.57/330.84 c | 508095 | 3216 20525 69526 | 81414 76556 40 | 0.157 % |
332.27/332.58 c | 510575 | 3216 20525 69526 | 78462 79036 42 | 0.156 % |
334.57/334.80 c | 513301 | 3216 20525 69526 | 78462 68913 41 | 0.157 % |
336.47/336.72 c | 516298 | 3216 20525 69526 | 78462 71910 41 | 0.156 % |
338.57/338.89 c | 519594 | 3216 20525 69526 | 78462 75206 41 | 0.156 % |
340.87/341.10 c | 523219 | 3216 20525 69526 | 75612 66636 39 | 0.156 % |
343.76/344.09 c | 527207 | 3216 20525 69526 | 75612 70624 39 | 0.157 % |
347.16/347.49 c | 531592 | 3216 20525 69526 | 73417 63895 40 | 0.157 % |
350.16/350.45 c | 536415 | 3216 20525 69526 | 73417 68718 40 | 0.157 % |
350.26/350.53 c | 536515 | 3216 20525 69526 | 73417 68818 40 | 0.155 % |
350.36/350.63 c | 536627 | 3216 20525 69526 | 73417 68930 40 | 0.156 % |
350.46/350.71 c | 536750 | 3216 20525 69526 | 73417 69053 40 | 0.156 % |
350.56/350.80 c | 536884 | 3216 20525 69526 | 73417 69187 40 | 0.155 % |
350.56/350.89 c | 537032 | 3216 20525 69526 | 73417 69335 40 | 0.156 % |
350.76/351.01 c | 537192 | 3216 20525 69526 | 73417 69495 40 | 0.156 % |
350.86/351.16 c | 537368 | 3216 20525 69526 | 73417 69671 40 | 0.156 % |
351.06/351.37 c | 537562 | 3216 20525 69526 | 73417 69865 40 | 0.156 % |
351.26/351.56 c | 537774 | 3216 20525 69526 | 73417 70077 40 | 0.156 % |
351.46/351.74 c | 538007 | 3216 20525 69526 | 73417 70310 40 | 0.155 % |
351.76/352.01 c | 538263 | 3216 20525 69526 | 73417 70566 40 | 0.156 % |
351.96/352.23 c | 538544 | 3216 20525 69526 | 73417 70847 40 | 0.155 % |
352.16/352.46 c | 538853 | 3216 20525 69526 | 73417 71156 40 | 0.156 % |
352.46/352.70 c | 539192 | 3216 20525 69526 | 73417 71495 40 | 0.157 % |
352.66/352.98 c | 539565 | 3216 20525 69526 | 73417 71868 40 | 0.155 % |
353.06/353.32 c | 539974 | 3216 20525 69526 | 73417 72277 40 | 0.156 % |
353.36/353.64 c | 540425 | 3216 20525 69526 | 72304 72728 40 | 0.157 % |
353.76/354.09 c | 540922 | 3216 20525 69526 | 72304 62088 39 | 0.155 % |
354.16/354.46 c | 541464 | 3216 20525 69526 | 72304 62630 39 | 0.156 % |
354.36/354.68 c | 542060 | 3216 20525 69526 | 72304 63226 39 | 0.155 % |
354.76/355.07 c | 542718 | 3216 20525 69526 | 72304 63884 39 | 0.155 % |
355.26/355.55 c | 543438 | 3216 20525 69526 | 72304 64604 39 | 0.156 % |
355.76/356.04 c | 544230 | 3216 20525 69526 | 72304 65396 40 | 0.156 % |
356.16/356.50 c | 545101 | 3216 20525 69526 | 72304 66267 40 | 0.155 % |
356.66/356.94 c | 546059 | 3216 20525 69526 | 72304 67225 40 | 0.155 % |
357.46/357.71 c | 547115 | 3216 20525 69526 | 72304 68281 40 | 0.155 % |
358.06/358.39 c | 548273 | 3216 20525 69526 | 72304 69439 40 | 0.157 % |
359.16/359.44 c | 549546 | 3216 20525 69526 | 72304 70712 41 | 0.155 % |
360.16/360.47 c | 550947 | 3216 20525 69526 | 71167 72113 41 | 0.155 % |
361.26/361.52 c | 552488 | 3216 20525 69526 | 71167 64842 40 | 0.156 % |
362.16/362.48 c | 554185 | 3216 20525 69526 | 71167 66539 41 | 0.155 % |
363.26/363.51 c | 556048 | 3216 20525 69526 | 71167 68402 41 | 0.156 % |
364.76/365.08 c | 558099 | 3215 20520 69503 | 71167 70450 42 | 0.186 % |
366.06/366.39 c | 560354 | 3215 20520 69503 | 72351 72705 42 | 0.187 % |
367.96/368.25 c | 562833 | 3215 20520 69503 | 72351 67190 40 | 0.187 % |
369.86/370.11 c | 565558 | 3215 20520 69503 | 72351 69915 41 | 0.187 % |
371.86/372.14 c | 568555 | 3215 20520 69503 | 72351 72912 41 | 0.186 % |
374.66/374.94 c | 571851 | 3215 20520 69503 | 65871 60855 41 | 0.187 % |
377.36/377.60 c | 575476 | 3215 20520 69503 | 65871 64480 41 | 0.187 % |
379.76/380.07 c | 579463 | 3215 20520 69503 | 65871 61734 41 | 0.186 % |
382.96/383.29 c | 583848 | 3215 20520 69503 | 2147483647 66119 41 | 0.187 % |
386.06/386.31 c | 588672 | 3215 20520 69503 | 2147483647 70943 42 | 0.187 % |
389.15/389.43 c | 593977 | 3215 20520 69503 | 72273 66414 43 | 0.187 % |
389.25/389.51 c | 594077 | 3215 20520 69503 | 72273 66514 43 | 0.186 % |
389.35/389.61 c | 594187 | 3215 20520 69503 | 72273 66624 44 | 0.188 % |
389.45/389.71 c | 594309 | 3215 20520 69503 | 72273 66746 43 | 0.187 % |
389.55/389.83 c | 594443 | 3215 20520 69503 | 72273 66880 43 | 0.187 % |
389.65/389.94 c | 594589 | 3215 20520 69503 | 72273 67026 43 | 0.187 % |
389.75/390.08 c | 594750 | 3215 20520 69503 | 72273 67187 44 | 0.187 % |
389.95/390.27 c | 594926 | 3215 20520 69503 | 72273 67363 44 | 0.188 % |
390.15/390.41 c | 595121 | 3215 20520 69503 | 72273 67558 44 | 0.187 % |
390.25/390.57 c | 595334 | 3215 20520 69503 | 72273 67771 44 | 0.188 % |
390.45/390.79 c | 595568 | 3215 20520 69503 | 72273 68005 44 | 0.187 % |
390.75/391.02 c | 595826 | 3215 20520 69503 | 72273 68263 44 | 0.188 % |
390.95/391.28 c | 596108 | 3215 20520 69503 | 72273 68545 44 | 0.188 % |
391.15/391.47 c | 596418 | 3215 20520 69503 | 72273 68855 44 | 0.187 % |
391.45/391.71 c | 596757 | 3215 20520 69503 | 72273 69194 44 | 0.187 % |
391.65/391.94 c | 597129 | 3215 20520 69503 | 72273 69566 44 | 0.187 % |
391.95/392.21 c | 597538 | 3215 20520 69503 | 72273 69975 44 | 0.187 % |
392.15/392.46 c | 597987 | 3215 20520 69503 | 72273 70424 44 | 0.187 % |
392.45/392.74 c | 598481 | 3215 20520 69503 | 72273 70918 44 | 0.187 % |
392.95/393.28 c | 599024 | 3215 20520 69503 | 72273 71461 44 | 0.187 % |
393.45/393.70 c | 599621 | 3215 20520 69503 | 72273 72058 44 | 0.187 % |
393.74/394.07 c | 600276 | 3215 20520 69503 | 72437 72713 44 | 0.186 % |
394.24/394.59 c | 600996 | 3215 20520 69503 | 72437 63378 42 | 0.186 % |
394.84/395.11 c | 601788 | 3215 20520 69503 | 72437 64170 42 | 0.186 % |
395.44/395.71 c | 602659 | 3215 20520 69503 | 72437 65041 43 | 0.186 % |
396.34/396.65 c | 603618 | 3215 20520 69503 | 72437 66000 43 | 0.188 % |
397.04/397.32 c | 604673 | 3215 20520 69503 | 72437 67055 43 | 0.186 % |
397.94/398.27 c | 605831 | 3215 20520 69503 | 72437 68213 44 | 0.186 % |
398.54/398.84 c | 607104 | 3215 20520 69503 | 72437 69486 43 | 0.186 % |
399.54/399.80 c | 608504 | 3215 20520 69503 | 72437 70886 44 | 0.187 % |
400.34/400.65 c | 610044 | 3215 20520 69503 | 72383 72426 44 | 0.187 % |
401.54/401.85 c | 611738 | 3215 20520 69503 | 72383 64443 43 | 0.187 % |
402.54/402.81 c | 613601 | 3215 20520 69503 | 72383 66306 43 | 0.187 % |
403.84/404.19 c | 615650 | 3215 20520 69503 | 72383 68355 43 | 0.187 % |
405.54/405.86 c | 617903 | 3215 20520 69503 | 72383 70608 42 | 0.188 % |
407.14/407.46 c | 620382 | 3215 20520 69503 | 72705 73087 43 | 0.187 % |
409.34/409.69 c | 623110 | 3215 20520 69503 | 72705 66281 41 | 0.187 % |
411.34/411.62 c | 626108 | 3215 20520 69503 | 72705 69279 42 | 0.186 % |
413.64/413.92 c | 629405 | 3215 20520 69503 | 72705 72576 42 | 0.186 % |
416.73/417.03 c | 633030 | 3215 20520 69503 | 73171 65944 41 | 0.187 % |
419.63/419.92 c | 637017 | 3215 20520 69503 | 73171 69931 41 | 0.188 % |
423.33/423.68 c | 641402 | 3215 20520 69503 | 72914 74316 41 | 0.187 % |
426.73/427.03 c | 646225 | 3215 20520 69503 | 72914 66356 38 | 0.187 % |
431.13/431.44 c | 651530 | 3215 20520 69503 | 70132 59345 35 | 0.187 % |
435.42/435.71 c | 657365 | 3215 20520 69503 | 70132 65180 35 | 0.188 % |
435.42/435.78 c | 657465 | 3215 20520 69503 | 70132 65280 35 | 0.187 % |
435.52/435.88 c | 657575 | 3215 20520 69503 | 70132 65390 35 | 0.187 % |
435.72/436.02 c | 657696 | 3215 20520 69503 | 70132 65511 35 | 0.188 % |
435.82/436.10 c | 657829 | 3215 20520 69503 | 70132 65644 35 | 0.187 % |
435.82/436.19 c | 657975 | 3215 20520 69503 | 70132 65790 35 | 0.188 % |
435.92/436.29 c | 658137 | 3215 20520 69503 | 70132 65952 35 | 0.187 % |
436.12/436.41 c | 658316 | 3215 20520 69503 | 70132 66131 35 | 0.187 % |
436.22/436.55 c | 658509 | 3215 20520 69503 | 70132 66324 35 | 0.186 % |
436.43/436.73 c | 658724 | 3215 20520 69503 | 70132 66539 36 | 0.193 % |
436.62/436.91 c | 658957 | 3215 20520 69503 | 70132 66772 36 | 0.187 % |
436.72/437.06 c | 659214 | 3215 20520 69503 | 70132 67029 36 | 0.187 % |
436.82/437.18 c | 659496 | 3215 20520 69503 | 70132 67311 35 | 0.188 % |
437.02/437.37 c | 659805 | 3215 20520 69503 | 70132 67620 36 | 0.186 % |
437.22/437.53 c | 660146 | 3215 20520 69503 | 67816 67961 36 | 0.186 % |
437.72/438.00 c | 660518 | 3215 20520 69503 | 67816 59145 35 | 0.186 % |
437.92/438.27 c | 660930 | 3215 20520 69503 | 67816 59557 35 | 0.188 % |
438.12/438.47 c | 661381 | 3215 20520 69503 | 67816 60008 35 | 0.187 % |
438.42/438.73 c | 661874 | 3215 20520 69503 | 67816 60501 35 | 0.188 % |
438.72/439.08 c | 662417 | 3215 20520 69503 | 67816 61044 35 | 0.187 % |
439.22/439.55 c | 663014 | 3215 20520 69503 | 67816 61641 36 | 0.188 % |
439.73/440.03 c | 663672 | 3215 20520 69503 | 67816 62299 36 | 0.187 % |
440.12/440.49 c | 664392 | 3215 20520 69503 | 67816 63019 36 | 0.186 % |
440.62/440.94 c | 665184 | 3215 20520 69503 | 67816 63811 36 | 0.187 % |
441.22/441.54 c | 666056 | 3215 20520 69503 | 67816 64683 36 | 0.186 % |
441.92/442.29 c | 667014 | 3215 20520 69503 | 67816 65641 36 | 0.187 % |
442.72/443.01 c | 668067 | 3215 20520 69503 | 67816 66694 37 | 0.188 % |
443.42/443.71 c | 669225 | 3215 20520 69503 | 67816 67852 37 | 0.187 % |
444.22/444.52 c | 670498 | 3215 20520 69503 | 58203 58700 34 | 0.188 % |
445.12/445.41 c | 671899 | 3215 20520 69503 | 58203 51387 34 | 0.186 % |
445.92/446.25 c | 673439 | 3215 20520 69503 | 58203 52927 34 | 0.187 % |
446.72/447.02 c | 675133 | 3215 20520 69503 | 58203 54621 35 | 0.186 % |
447.62/448.00 c | 676996 | 3215 20520 69503 | 58203 56484 35 | 0.188 % |
449.02/449.35 c | 679047 | 3215 20520 69503 | 58203 58535 36 | 0.188 % |
450.62/450.94 c | 681301 | 3215 20520 69503 | 2147483647 54936 37 | 0.187 % |
452.22/452.51 c | 683779 | 3215 20520 69503 | 2147483647 57414 37 | 0.186 % |
454.02/454.30 c | 686504 | 3215 20520 69503 | 2147483647 60139 37 | 0.187 % |
455.92/456.26 c | 689502 | 3215 20520 69503 | 2147483647 63137 37 | 0.187 % |
458.42/458.74 c | 692799 | 3215 20520 69503 | 2147483647 66434 38 | 0.188 % |
461.31/461.64 c | 696428 | 3215 20520 69503 | 2147483647 70063 38 | 0.187 % |
464.61/464.91 c | 700415 | 3215 20520 69503 | 73636 74050 38 | 0.188 % |
467.91/468.29 c | 704800 | 3215 20520 69503 | 73636 68352 38 | 0.187 % |
470.91/471.28 c | 709623 | 3215 20520 69503 | 73636 73175 39 | 0.187 % |
474.61/474.92 c | 714928 | 3215 20520 69503 | 73553 68689 39 | 0.186 % |
478.90/479.23 c | 720764 | 3215 20520 69503 | 73763 74525 39 | 0.187 % |
483.60/483.97 c | 727182 | 3215 20520 69503 | 73763 70444 39 | 0.187 % |
483.70/484.07 c | 727284 | 3215 20520 69503 | 73763 70546 39 | 0.186 % |
483.80/484.15 c | 727396 | 3215 20520 69503 | 73763 70658 40 | 0.188 % |
483.90/484.26 c | 727518 | 3215 20520 69503 | 73763 70780 40 | 0.186 % |
484.10/484.43 c | 727652 | 3215 20520 69503 | 73763 70914 40 | 0.188 % |
484.20/484.55 c | 727799 | 3215 20520 69503 | 73763 71061 40 | 0.187 % |
484.30/484.68 c | 727959 | 3215 20520 69503 | 73763 71221 40 | 0.187 % |
484.50/484.82 c | 728135 | 3215 20520 69503 | 73763 71397 40 | 0.188 % |
484.60/484.97 c | 728328 | 3215 20520 69503 | 73763 71590 40 | 0.188 % |
484.80/485.17 c | 728541 | 3215 20520 69503 | 73763 71803 40 | 0.187 % |
485.00/485.36 c | 728775 | 3215 20520 69503 | 73763 72037 40 | 0.188 % |
485.20/485.59 c | 729031 | 3215 20520 69503 | 73763 72293 40 | 0.186 % |
485.50/485.84 c | 729312 | 3215 20520 69503 | 73763 72574 40 | 0.187 % |
485.70/486.06 c | 729623 | 3215 20520 69503 | 73763 72885 40 | 0.187 % |
485.90/486.27 c | 729962 | 3215 20520 69503 | 73763 73224 40 | 0.186 % |
486.20/486.52 c | 730334 | 3215 20520 69503 | 73262 73596 40 | 0.188 % |
486.60/486.90 c | 730744 | 3215 20520 69503 | 73262 63044 38 | 0.186 % |
486.90/487.21 c | 731193 | 3215 20520 69503 | 73262 63493 38 | 0.186 % |
487.20/487.52 c | 731687 | 3215 20520 69503 | 73262 63987 38 | 0.186 % |
487.50/487.81 c | 732231 | 3215 20520 69503 | 73262 64531 38 | 0.186 % |
487.80/488.16 c | 732828 | 3215 20520 69503 | 73262 65128 38 | 0.186 % |
488.20/488.59 c | 733483 | 3215 20520 69503 | 73262 65783 38 | 0.187 % |
488.70/489.05 c | 734203 | 3215 20520 69503 | 73262 66503 39 | 0.186 % |
489.20/489.52 c | 734996 | 3215 20520 69503 | 73262 67296 39 | 0.186 % |
489.70/490.05 c | 735867 | 3215 20520 69503 | 73262 68167 39 | 0.187 % |
490.30/490.61 c | 736825 | 3215 20520 69503 | 73262 69125 39 | 0.187 % |
490.89/491.24 c | 737878 | 3215 20520 69503 | 73262 70178 38 | 0.187 % |
491.79/492.19 c | 739038 | 3215 20520 69503 | 73262 71338 39 | 0.188 % |
492.89/493.20 c | 740312 | 3215 20520 69503 | 72300 72612 39 | 0.187 % |
493.99/494.30 c | 741714 | 3215 20520 69503 | 72300 64950 38 | 0.187 % |
495.09/495.41 c | 743255 | 3215 20520 69503 | 72300 66491 38 | 0.188 % |
496.39/496.74 c | 744949 | 3215 20520 69503 | 72300 68185 38 | 0.186 % |
497.89/498.24 c | 746812 | 3215 20520 69503 | 72300 70048 39 | 0.187 % |
499.49/499.89 c | 748861 | 3215 20520 69503 | 72300 72097 39 | 0.187 % |
501.49/501.84 c | 751115 | 3215 20520 69503 | 73236 74351 39 | 0.187 % |
503.39/503.74 c | 753593 | 3215 20520 69503 | 73236 64480 38 | 0.186 % |
505.79/506.11 c | 756319 | 3215 20520 69503 | 73236 67206 38 | 0.188 % |
507.99/508.35 c | 759318 | 3215 20520 69503 | 73236 70205 39 | 0.188 % |
510.59/510.99 c | 762614 | 3215 20520 69503 | 70887 61610 37 | 0.186 % |
513.18/513.57 c | 766240 | 3215 20520 69503 | 70887 65236 38 | 0.187 % |
515.68/516.10 c | 770228 | 3215 20520 69503 | 68996 69224 37 | 0.188 % |
519.38/519.73 c | 774614 | 3215 20520 69503 | 68996 62705 36 | 0.188 % |
522.97/523.31 c | 779438 | 3215 20520 69503 | 68996 67529 36 | 0.188 % |
526.86/527.29 c | 784743 | 3215 20520 69503 | 68093 62703 35 | 0.187 % |
531.66/532.07 c | 790578 | 3215 20520 69503 | 67960 68538 35 | 0.186 % |
536.56/536.94 c | 796998 | 3215 20520 69503 | 67960 66145 34 | 0.188 % |
541.75/542.16 c | 804058 | 3215 20520 69503 | 69147 63971 34 | 0.186 % |
541.86/542.23 c | 804158 | 3215 20520 69503 | 69147 64071 34 | 0.188 % |
541.96/542.30 c | 804268 | 3215 20520 69503 | 69147 64181 34 | 0.187 % |
542.05/542.41 c | 804389 | 3215 20520 69503 | 69147 64302 34 | 0.187 % |
542.05/542.49 c | 804522 | 3215 20520 69503 | 69147 64435 34 | 0.186 % |
542.15/542.58 c | 804668 | 3215 20520 69503 | 69147 64581 34 | 0.188 % |
542.25/542.69 c | 804828 | 3215 20520 69503 | 69147 64741 34 | 0.188 % |
542.35/542.79 c | 805004 | 3215 20520 69503 | 69147 64917 34 | 0.186 % |
542.45/542.89 c | 805201 | 3215 20520 69503 | 69147 65114 34 | 0.187 % |
542.65/543.01 c | 805414 | 3215 20520 69503 | 69147 65327 34 | 0.187 % |
542.75/543.18 c | 805648 | 3215 20520 69503 | 69147 65561 34 | 0.187 % |
542.96/543.36 c | 805905 | 3215 20520 69503 | 69147 65818 34 | 0.187 % |
543.25/543.60 c | 806186 | 3215 20520 69503 | 69147 66099 34 | 0.188 % |
543.45/543.87 c | 806497 | 3215 20520 69503 | 69147 66410 34 | 0.188 % |
543.75/544.17 c | 806837 | 3215 20520 69503 | 69147 66750 34 | 0.186 % |
543.95/544.39 c | 807210 | 3215 20520 69503 | 69147 67123 34 | 0.188 % |
544.35/544.73 c | 807619 | 3215 20520 69503 | 69147 67532 34 | 0.188 % |
544.65/545.07 c | 808068 | 3215 20520 69503 | 69147 67981 34 | 0.187 % |
545.05/545.47 c | 808563 | 3215 20520 69503 | 69147 68476 34 | 0.188 % |
545.45/545.88 c | 809105 | 3215 20520 69503 | 69147 69018 34 | 0.187 % |
546.15/546.52 c | 809702 | 3215 20520 69503 | 69147 60171 32 | 0.187 % |
546.55/546.99 c | 810357 | 3214 20510 69470 | 60470 52466 32 | 0.217 % |
546.95/547.30 c | 811077 | 3214 20510 69470 | 60470 53186 33 | 0.217 % |
547.35/547.72 c | 811869 | 3214 20510 69470 | 60470 53978 33 | 0.218 % |
547.74/548.19 c | 812741 | 3214 20510 69470 | 60470 54850 33 | 0.218 % |
548.24/548.65 c | 813701 | 3214 20510 69470 | 60470 55810 33 | 0.217 % |
548.94/549.38 c | 814755 | 3214 20510 69470 | 60470 56864 34 | 0.218 % |
549.74/550.18 c | 815914 | 3214 20510 69470 | 60470 58023 34 | 0.217 % |
550.75/551.17 c | 817187 | 3214 20510 69470 | 60470 59296 34 | 0.219 % |
551.54/551.96 c | 818588 | 3214 20510 69470 | 60470 60697 34 | 0.218 % |
552.45/552.88 c | 820128 | 3214 20510 69470 | 2147483647 56168 34 | 0.218 % |
553.44/553.89 c | 821822 | 3214 20510 69470 | 2147483647 57862 36 | 0.218 % |
554.64/555.07 c | 823685 | 3214 20510 69470 | 2147483647 59725 36 | 0.218 % |
556.15/556.56 c | 825734 | 3214 20510 69470 | 2147483647 61774 36 | 0.218 % |
557.74/558.16 c | 827987 | 3214 20510 69470 | 2147483647 64027 36 | 0.219 % |
559.34/559.79 c | 830467 | 3214 20510 69470 | 2147483647 66507 36 | 0.219 % |
561.24/561.68 c | 833195 | 3214 20510 69470 | 2147483647 69235 36 | 0.219 % |
563.54/563.96 c | 836193 | 3214 20510 69470 | 2147483647 72233 36 | 0.218 % |
566.34/566.73 c | 839490 | 3214 20510 69470 | 2147483647 75530 36 | 0.218 % |
568.83/569.22 c | 843117 | 3214 20510 69470 | 76041 69779 36 | 0.219 % |
572.33/572.72 c | 847106 | 3214 20510 69470 | 76041 73768 37 | 0.218 % |
575.73/576.19 c | 851491 | 3214 20510 69470 | 76662 78153 37 | 0.218 % |
579.52/579.96 c | 856314 | 3214 20510 69470 | 76662 71707 37 | 0.219 % |
583.52/583.90 c | 861619 | 3214 20510 69470 | 75394 77012 38 | 0.218 % |
587.82/588.29 c | 867454 | 3214 20510 69470 | 75394 69691 37 | 0.219 % |
592.52/592.96 c | 873872 | 3214 20510 69470 | 72237 62084 36 | 0.219 % |
596.12/596.58 c | 880931 | 3214 20510 69470 | 68213 69143 39 | 0.217 % |
602.02/602.49 c | 888699 | 3214 20510 69470 | 68213 68769 40 | 0.218 % |
602.32/602.70 c | 888799 | 3214 20510 69470 | 68213 58801 39 | 0.219 % |
602.32/602.76 c | 888911 | 3214 20510 69470 | 68213 58913 39 | 0.218 % |
602.42/602.83 c | 889032 | 3214 20510 69470 | 68213 59034 39 | 0.218 % |
602.52/602.92 c | 889166 | 3214 20510 69470 | 68213 59168 39 | 0.218 % |
602.62/603.03 c | 889312 | 3214 20510 69470 | 68213 59314 39 | 0.217 % |
602.72/603.13 c | 889472 | 3214 20510 69470 | 68213 59474 39 | 0.218 % |
602.82/603.26 c | 889648 | 3214 20510 69470 | 68213 59650 39 | 0.219 % |
602.92/603.35 c | 889841 | 3214 20510 69470 | 68213 59843 39 | 0.218 % |
603.02/603.49 c | 890053 | 3214 20510 69470 | 60002 60055 39 | 0.218 % |
603.32/603.72 c | 890287 | 3214 20510 69470 | 60002 51951 39 | 0.218 % |
603.42/603.83 c | 890543 | 3214 20510 69470 | 60002 52207 39 | 0.218 % |
603.52/603.94 c | 890824 | 3214 20510 69470 | 60002 52488 39 | 0.218 % |
603.62/604.09 c | 891133 | 3214 20510 69470 | 60002 52797 39 | 0.218 % |
603.82/604.27 c | 891473 | 3214 20510 69470 | 60002 53137 39 | 0.218 % |
604.02/604.45 c | 891847 | 3214 20510 69470 | 60002 53511 39 | 0.217 % |
604.22/604.63 c | 892256 | 3214 20510 69470 | 60002 53920 40 | 0.218 % |
604.42/604.88 c | 892705 | 3214 20510 69470 | 60002 54369 40 | 0.218 % |
604.72/605.10 c | 893198 | 3214 20510 69470 | 60002 54862 40 | 0.217 % |
605.02/605.42 c | 893741 | 3214 20510 69470 | 60002 55405 40 | 0.217 % |
605.22/605.65 c | 894338 | 3214 20510 69470 | 60002 56002 40 | 0.218 % |
605.51/605.92 c | 894993 | 3214 20510 69470 | 60002 56657 40 | 0.218 % |
605.91/606.34 c | 895713 | 3214 20510 69470 | 60002 57377 40 | 0.218 % |
606.41/606.84 c | 896507 | 3214 20510 69470 | 60002 58171 40 | 0.219 % |
607.01/607.45 c | 897378 | 3214 20510 69470 | 60002 59042 40 | 0.218 % |
607.71/608.10 c | 898336 | 3214 20510 69470 | 60002 60000 40 | 0.218 % |
608.51/608.99 c | 899389 | 3214 20510 69470 | 60002 61053 40 | 0.218 % |
609.41/609.88 c | 900548 | 3214 20510 69470 | 2147483647 56107 39 | 0.219 % |
610.31/610.78 c | 901822 | 3214 20510 69470 | 2147483647 57381 39 | 0.218 % |
611.12/611.58 c | 903223 | 3214 20510 69470 | 2147483647 58782 39 | 0.219 % |
612.01/612.48 c | 904763 | 3214 20510 69470 | 2147483647 60322 39 | 0.218 % |
612.91/613.37 c | 906458 | 3214 20510 69470 | 2147483647 62017 39 | 0.217 % |
613.91/614.36 c | 908321 | 3214 20510 69470 | 2147483647 63880 39 | 0.218 % |
615.41/615.89 c | 910370 | 3214 20510 69470 | 2147483647 65929 39 | 0.217 % |
617.21/617.62 c | 912623 | 3214 20510 69470 | 2147483647 68182 39 | 0.218 % |
618.91/619.32 c | 915101 | 3214 20510 69470 | 2147483647 70660 39 | 0.218 % |
621.21/621.62 c | 917827 | 3214 20510 69470 | 2147483647 73386 39 | 0.218 % |
623.51/623.98 c | 920824 | 3214 20510 69470 | 75560 76383 39 | 0.217 % |
626.10/626.54 c | 924120 | 3214 20510 69470 | 75560 67868 39 | 0.218 % |
628.90/629.33 c | 927746 | 3214 20510 69470 | 75560 71494 39 | 0.218 % |
631.90/632.40 c | 931734 | 3214 20510 69470 | 73748 63033 35 | 0.219 % |
635.60/636.06 c | 936119 | 3214 20510 69470 | 73748 67418 35 | 0.218 % |
639.40/639.89 c | 940943 | 3214 20510 69470 | 71299 72242 36 | 0.219 % |
643.10/643.57 c | 946249 | 3214 20510 69470 | 71299 64486 35 | 0.218 % |
647.10/647.58 c | 952085 | 3214 20510 69470 | 68237 60314 34 | 0.218 % |
651.50/651.99 c | 958503 | 3214 20510 69470 | 68237 66732 34 | 0.218 % |
655.90/656.39 c | 965564 | 3214 20510 69470 | 68229 62885 34 | 0.218 % |
661.09/661.55 c | 973330 | 3214 20510 69470 | 67322 59690 33 | 0.219 % |
666.89/667.33 c | 981870 | 3214 20510 69470 | 66360 58743 32 | 0.219 % |
666.89/667.40 c | 981971 | 3214 20510 69470 | 66360 58844 32 | 0.218 % |
666.99/667.48 c | 982081 | 3214 20510 69470 | 66360 58954 32 | 0.219 % |
667.09/667.60 c | 982204 | 3214 20510 69470 | 66360 59077 32 | 0.219 % |
667.19/667.68 c | 982337 | 3214 20510 69470 | 66360 59210 33 | 0.218 % |
667.29/667.76 c | 982484 | 3214 20510 69470 | 66360 59357 33 | 0.218 % |
667.38/667.84 c | 982645 | 3214 20510 69470 | 66360 59518 33 | 0.218 % |
667.48/667.95 c | 982821 | 3214 20510 69470 | 66360 59694 33 | 0.217 % |
667.58/668.05 c | 983014 | 3214 20510 69470 | 66360 59887 33 | 0.217 % |
667.78/668.23 c | 983226 | 3214 20510 69470 | 66360 60099 33 | 0.218 % |
667.88/668.38 c | 983460 | 3214 20510 69470 | 66360 60333 33 | 0.218 % |
668.08/668.52 c | 983718 | 3214 20510 69470 | 66360 60591 33 | 0.217 % |
668.18/668.67 c | 983999 | 3214 20510 69470 | 66360 60872 33 | 0.218 % |
668.39/668.86 c | 984308 | 3214 20510 69470 | 66360 61181 33 | 0.218 % |
668.58/669.08 c | 984647 | 3214 20510 69470 | 66360 61520 33 | 0.217 % |
668.88/669.36 c | 985019 | 3214 20510 69470 | 66360 61892 33 | 0.218 % |
669.18/669.69 c | 985428 | 3214 20510 69470 | 66360 62301 33 | 0.219 % |
669.58/670.01 c | 985877 | 3214 20510 69470 | 66360 62750 33 | 0.218 % |
669.88/670.39 c | 986371 | 3214 20510 69470 | 66360 63244 33 | 0.218 % |
670.38/670.81 c | 986913 | 3214 20510 69470 | 66360 63786 33 | 0.217 % |
670.78/671.26 c | 987509 | 3214 20510 69470 | 66360 64382 33 | 0.218 % |
671.28/671.76 c | 988166 | 3214 20510 69470 | 66360 65039 33 | 0.219 % |
671.78/672.23 c | 988887 | 3214 20510 69470 | 66360 65760 34 | 0.218 % |
672.28/672.75 c | 989681 | 3214 20510 69470 | 66360 66554 34 | 0.218 % |
672.79/673.28 c | 990552 | 3214 20510 69470 | 59085 59637 33 | 0.217 % |
673.58/674.06 c | 991510 | 3214 20510 69470 | 59085 53866 32 | 0.218 % |
674.28/674.77 c | 992565 | 3214 20510 69470 | 59085 54921 32 | 0.217 % |
675.18/675.61 c | 993726 | 3214 20510 69470 | 59085 56082 33 | 0.219 % |
675.99/676.40 c | 995001 | 3214 20510 69470 | 59085 57357 33 | 0.218 % |
676.88/677.37 c | 996401 | 3214 20510 69470 | 59085 58757 33 | 0.219 % |
678.08/678.53 c | 997942 | 3214 20510 69470 | 59085 53846 32 | 0.218 % |
679.08/679.54 c | 999636 | 3214 20510 69470 | 59085 55540 33 | 0.218 % |
680.18/680.68 c | 1001501 | 3214 20510 69470 | 55904 51672 32 | 0.218 % |
681.38/681.85 c | 1003550 | 3214 20510 69470 | 55904 53721 32 | 0.219 % |
682.78/683.20 c | 1005805 | 3214 20510 69470 | 55904 55976 32 | 0.219 % |
683.68/684.12 c | 1008283 | 3214 20510 69470 | 55904 52857 34 | 0.218 % |
684.88/685.35 c | 1011012 | 3214 20510 69470 | 2147483647 55586 35 | 0.218 % |
686.68/687.11 c | 1014010 | 3214 20510 69470 | 2147483647 58584 36 | 0.218 % |
688.28/688.78 c | 1017309 | 3214 20510 69470 | 2147483647 61883 36 | 0.218 % |
690.58/691.07 c | 1020935 | 3214 20510 69470 | 2147483647 65509 37 | 0.218 % |
693.28/693.76 c | 1024922 | 3214 20510 69470 | 2147483647 69496 37 | 0.217 % |
695.68/696.18 c | 1029308 | 3214 20510 69470 | 2147483647 73882 37 | 0.219 % |
699.08/699.55 c | 1034131 | 3214 20510 69470 | 74574 69326 39 | 0.218 % |
702.87/703.31 c | 1039436 | 3214 20510 69470 | 74574 74631 39 | 0.218 % |
706.97/707.44 c | 1045272 | 3214 20510 69470 | 65444 61632 39 | 0.219 % |
710.97/711.47 c | 1051690 | 3214 20510 69470 | 58832 60521 39 | 0.217 % |
715.37/715.89 c | 1058752 | 3214 20510 69470 | 58832 60095 37 | 0.219 % |
720.87/721.36 c | 1066517 | 3214 20510 69470 | 54225 54361 36 | 0.218 % |
726.57/727.08 c | 1075057 | 3214 20510 69470 | 2147483647 57200 36 | 0.218 % |
733.16/733.68 c | 1084452 | 3214 20510 69470 | 62143 59449 35 | 0.218 % |
733.26/733.75 c | 1084552 | 3214 20510 69470 | 62143 59549 35 | 0.218 % |
733.36/733.83 c | 1084662 | 3214 20510 69470 | 62143 59659 35 | 0.218 % |
733.46/733.91 c | 1084783 | 3214 20510 69470 | 62143 59780 35 | 0.218 % |
733.56/734.00 c | 1084918 | 3214 20510 69470 | 62143 59915 35 | 0.218 % |
733.66/734.13 c | 1085064 | 3214 20510 69470 | 62143 60061 35 | 0.217 % |
733.86/734.31 c | 1085224 | 3214 20510 69470 | 62143 60221 35 | 0.218 % |
733.86/734.40 c | 1085400 | 3214 20510 69470 | 62143 60397 35 | 0.218 % |
734.06/734.53 c | 1085593 | 3214 20510 69470 | 62143 60590 35 | 0.218 % |
734.16/734.63 c | 1085805 | 3214 20510 69470 | 62143 60802 35 | 0.218 % |
734.26/734.78 c | 1086040 | 3214 20510 69470 | 62143 61037 35 | 0.217 % |
734.56/735.02 c | 1086297 | 3214 20510 69470 | 62143 61294 35 | 0.218 % |
734.76/735.21 c | 1086580 | 3214 20510 69470 | 62143 61577 35 | 0.217 % |
734.96/735.48 c | 1086890 | 3214 20510 69470 | 62143 61887 35 | 0.218 % |
735.26/735.71 c | 1087229 | 3214 20510 69470 | 62143 62226 35 | 0.219 % |
735.56/736.06 c | 1087602 | 3214 20510 69470 | 62143 54822 34 | 0.219 % |
735.86/736.30 c | 1088011 | 3214 20510 69470 | 62143 55231 35 | 0.218 % |
736.16/736.60 c | 1088460 | 3214 20510 69470 | 62143 55680 35 | 0.218 % |
736.36/736.88 c | 1088953 | 3214 20510 69470 | 62143 56173 35 | 0.219 % |
736.76/737.21 c | 1089498 | 3214 20510 69470 | 62143 56718 35 | 0.217 % |
737.16/737.60 c | 1090094 | 3214 20510 69470 | 57221 57314 35 | 0.218 % |
737.46/737.94 c | 1090750 | 3214 20510 69470 | 57221 51031 34 | 0.218 % |
737.76/738.24 c | 1091470 | 3214 20510 69470 | 57221 51751 34 | 0.218 % |
738.16/738.60 c | 1092264 | 3214 20510 69470 | 57221 52545 35 | 0.218 % |
738.46/738.93 c | 1093136 | 3214 20510 69470 | 57221 53417 35 | 0.217 % |
738.96/739.42 c | 1094095 | 3214 20510 69470 | 57221 54376 35 | 0.218 % |
739.66/740.12 c | 1095149 | 3214 20510 69470 | 57221 55430 35 | 0.218 % |
740.25/740.74 c | 1096308 | 3214 20510 69470 | 57221 56589 36 | 0.218 % |
741.05/741.53 c | 1097581 | 3214 20510 69470 | 57221 57862 36 | 0.218 % |
741.75/742.26 c | 1098983 | 3214 20510 69470 | 57221 53478 35 | 0.218 % |
742.65/743.14 c | 1100523 | 3214 20510 69470 | 2147483647 55018 36 | 0.217 % |
743.95/744.48 c | 1102218 | 3214 20510 69470 | 2147483647 56713 36 | 0.218 % |
745.26/745.77 c | 1104082 | 3214 20510 69470 | 2147483647 58577 36 | 0.218 % |
746.75/747.29 c | 1106132 | 3214 20510 69470 | 2147483647 60627 36 | 0.218 % |
748.35/748.88 c | 1108385 | 3214 20510 69470 | 2147483647 62880 36 | 0.219 % |
750.05/750.55 c | 1110864 | 3214 20510 69470 | 64497 65359 36 | 0.219 % |
751.65/752.18 c | 1113589 | 3214 20510 69470 | 64497 60936 36 | 0.217 % |
753.65/754.17 c | 1116586 | 3214 20510 69470 | 64497 63933 36 | 0.218 % |
755.35/755.83 c | 1119882 | 3214 20510 69470 | 64497 60668 36 | 0.218 % |
757.65/758.14 c | 1123511 | 3214 20510 69470 | 2147483647 64297 36 | 0.217 % |
759.94/760.48 c | 1127500 | 3214 20510 69470 | 2147483647 68286 36 | 0.218 % |
762.74/763.26 c | 1131885 | 3214 20510 69470 | 2147483647 72671 36 | 0.219 % |
765.64/766.10 c | 1136708 | 3214 20510 69470 | 2147483647 77494 37 | 0.217 % |
769.74/770.22 c | 1142013 | 3214 20510 69470 | 80786 72040 39 | 0.217 % |
773.84/774.40 c | 1147849 | 3214 20510 69470 | 80786 77876 39 | 0.218 % |
777.84/778.38 c | 1154267 | 3214 20510 69470 | 80029 74940 37 | 0.219 % |
782.44/782.97 c | 1161327 | 3214 20510 69470 | 80674 71480 41 | 0.218 % |
787.83/788.37 c | 1169092 | 3214 20510 69470 | 80674 79245 42 | 0.218 % |
793.93/794.42 c | 1177633 | 3214 20510 69470 | 80154 76835 43 | 0.218 % |
800.84/801.39 c | 1187029 | 3214 20510 69470 | 79202 74888 43 | 0.219 % |
809.33/809.81 c | 1197362 | 3214 20510 69470 | 77860 72936 41 | 0.218 % |
809.33/809.89 c | 1197463 | 3214 20510 69470 | 77860 73037 41 | 0.217 % |
809.53/810.02 c | 1197573 | 3214 20510 69470 | 77860 73147 41 | 0.218 % |
809.63/810.14 c | 1197694 | 3214 20510 69470 | 77860 73268 41 | 0.219 % |
809.73/810.24 c | 1197827 | 3214 20510 69470 | 77860 73401 41 | 0.217 % |
809.83/810.36 c | 1197975 | 3214 20510 69470 | 77860 73549 41 | 0.219 % |
809.93/810.48 c | 1198135 | 3214 20510 69470 | 77860 73709 41 | 0.218 % |
810.14/810.63 c | 1198312 | 3214 20510 69470 | 77860 73886 41 | 0.219 % |
810.24/810.77 c | 1198506 | 3214 20510 69470 | 77860 74080 41 | 0.217 % |
810.43/810.96 c | 1198720 | 3214 20510 69470 | 77860 74294 41 | 0.218 % |
810.63/811.13 c | 1198954 | 3214 20510 69470 | 77860 74528 41 | 0.218 % |
810.83/811.32 c | 1199210 | 3214 20510 69470 | 77860 74784 41 | 0.218 % |
811.03/811.50 c | 1199491 | 3214 20510 69470 | 77860 75065 41 | 0.218 % |
811.23/811.74 c | 1199800 | 3214 20510 69470 | 77860 75374 41 | 0.218 % |
811.53/812.03 c | 1200139 | 3214 20510 69470 | 75575 75713 41 | 0.218 % |
811.83/812.40 c | 1200512 | 3214 20510 69470 | 75575 64409 40 | 0.219 % |
812.23/812.72 c | 1200921 | 3214 20510 69470 | 75575 64818 40 | 0.218 % |
812.53/813.08 c | 1201372 | 3214 20510 69470 | 75575 65269 40 | 0.219 % |
812.83/813.36 c | 1201865 | 3214 20510 69470 | 75575 65762 40 | 0.218 % |
813.13/813.69 c | 1202408 | 3214 20510 69470 | 75575 66305 40 | 0.218 % |
813.53/814.01 c | 1203005 | 3214 20510 69470 | 75575 66902 40 | 0.217 % |
813.83/814.39 c | 1203661 | 3214 20510 69470 | 75575 67558 40 | 0.218 % |
814.33/814.85 c | 1204382 | 3214 20510 69470 | 75575 68279 40 | 0.217 % |
814.83/815.40 c | 1205174 | 3214 20510 69470 | 75575 69071 40 | 0.217 % |
815.23/815.74 c | 1206046 | 3214 20510 69470 | 75575 69943 40 | 0.218 % |
816.03/816.53 c | 1207005 | 3214 20510 69470 | 75575 70902 40 | 0.218 % |
816.73/817.23 c | 1208058 | 3214 20510 69470 | 75575 71955 40 | 0.218 % |
817.53/818.03 c | 1209216 | 3214 20510 69470 | 75575 73113 41 | 0.218 % |
818.53/819.01 c | 1210489 | 3214 20510 69470 | 73898 74386 40 | 0.217 % |
819.43/819.93 c | 1211891 | 3214 20510 69470 | 73898 66153 37 | 0.217 % |
820.42/820.96 c | 1213433 | 3214 20510 69470 | 73898 67695 37 | 0.218 % |
821.62/822.11 c | 1215128 | 3214 20510 69470 | 73898 69390 37 | 0.218 % |
822.82/823.39 c | 1216991 | 3214 20510 69470 | 73898 71253 37 | 0.218 % |
824.22/824.78 c | 1219040 | 3214 20510 69470 | 73898 73302 37 | 0.218 % |
826.32/826.84 c | 1221295 | 3214 20510 69470 | 74262 65746 35 | 0.218 % |
827.83/828.31 c | 1223773 | 3214 20510 69470 | 74262 68224 35 | 0.217 % |
829.72/830.27 c | 1226498 | 3214 20510 69470 | 74262 70949 35 | 0.218 % |
831.82/832.32 c | 1229496 | 3214 20510 69470 | 74262 73947 36 | 0.218 % |
834.12/834.69 c | 1232792 | 3214 20510 69470 | 74451 67507 35 | 0.217 % |
836.42/836.94 c | 1236417 | 3214 20510 69470 | 74451 71132 36 | 0.219 % |
838.72/839.28 c | 1240405 | 3214 20510 69470 | 74716 75120 37 | 0.217 % |
842.31/842.88 c | 1244791 | 3214 20510 69470 | 74716 71600 39 | 0.218 % |
845.61/846.16 c | 1249614 | 3214 20510 69470 | 74716 76423 41 | 0.218 % |
849.11/849.68 c | 1254920 | 3214 20510 69470 | 65428 61860 41 | 0.218 % |
852.71/853.22 c | 1260755 | 3214 20510 69470 | 2147483647 60956 42 | 0.218 % |
856.51/857.02 c | 1267173 | 3213 20505 69447 | 2147483647 67360 43 | 0.249 % |
862.01/862.50 c | 1274232 | 3213 20505 69447 | 70189 67273 44 | 0.249 % |
867.90/868.46 c | 1281998 | 3213 20505 69447 | 65975 60659 46 | 0.249 % |
873.80/874.36 c | 1290541 | 3213 20505 69447 | 2147483647 62547 45 | 0.249 % |
879.80/880.36 c | 1299935 | 3213 20505 69447 | 2147483647 71941 46 | 0.249 % |
888.19/888.75 c | 1310268 | 3213 20505 69447 | 65138 65405 43 | 0.249 % |
895.19/895.73 c | 1321635 | 3213 20505 69447 | 2147483647 62084 41 | 0.248 % |
895.19/895.78 c | 1321735 | 3213 20505 69447 | 2147483647 62184 41 | 0.249 % |
895.29/895.86 c | 1321845 | 3213 20505 69447 | 2147483647 62294 41 | 0.249 % |
895.39/895.92 c | 1321966 | 3213 20505 69447 | 2147483647 62415 41 | 0.248 % |
895.49/896.03 c | 1322100 | 3213 20505 69447 | 2147483647 62549 41 | 0.249 % |
895.59/896.16 c | 1322247 | 3213 20505 69447 | 2147483647 62696 42 | 0.249 % |
895.69/896.28 c | 1322407 | 3213 20505 69447 | 2147483647 62856 42 | 0.249 % |
895.89/896.41 c | 1322583 | 3213 20505 69447 | 2147483647 63032 42 | 0.248 % |
895.99/896.54 c | 1322776 | 3213 20505 69447 | 2147483647 63225 42 | 0.249 % |
896.09/896.67 c | 1322988 | 3213 20505 69447 | 2147483647 63437 42 | 0.250 % |
896.29/896.82 c | 1323222 | 3213 20505 69447 | 2147483647 63671 42 | 0.250 % |
896.39/896.94 c | 1323479 | 3213 20505 69447 | 2147483647 63928 42 | 0.248 % |
896.59/897.10 c | 1323761 | 3213 20505 69447 | 2147483647 64210 42 | 0.250 % |
896.69/897.30 c | 1324070 | 3213 20505 69447 | 2147483647 64519 42 | 0.249 % |
896.89/897.43 c | 1324409 | 3213 20505 69447 | 2147483647 64858 42 | 0.249 % |
897.09/897.68 c | 1324781 | 3213 20505 69447 | 2147483647 65230 42 | 0.250 % |
897.49/898.06 c | 1325193 | 3213 20505 69447 | 2147483647 65642 42 | 0.249 % |
897.89/898.42 c | 1325642 | 3213 20505 69447 | 2147483647 66091 42 | 0.250 % |
898.19/898.74 c | 1326135 | 3213 20505 69447 | 2147483647 66584 42 | 0.248 % |
898.49/899.06 c | 1326678 | 3213 20505 69447 | 2147483647 67127 42 | 0.249 % |
898.99/899.53 c | 1327275 | 3213 20505 69447 | 2147483647 67724 42 | 0.248 % |
899.49/900.01 c | 1327930 | 3213 20505 69447 | 2147483647 68379 42 | 0.249 % |
900.09/900.69 c | 1328651 | 3213 20505 69447 | 2147483647 69100 42 | 0.249 % |
900.69/901.28 c | 1329443 | 3213 20505 69447 | 2147483647 69892 43 | 0.248 % |
901.39/901.94 c | 1330314 | 3213 20505 69447 | 2147483647 70763 43 | 0.249 % |
901.98/902.58 c | 1331276 | 3213 20505 69447 | 2147483647 71725 43 | 0.250 % |
902.89/903.40 c | 1332330 | 3213 20505 69447 | 2147483647 72779 43 | 0.249 % |
903.79/904.32 c | 1333488 | 3213 20505 69447 | 2147483647 73937 43 | 0.249 % |
904.69/905.21 c | 1334762 | 3213 20505 69447 | 2147483647 75211 43 | 0.249 % |
905.79/906.33 c | 1336163 | 3213 20505 69447 | 2147483647 76612 43 | 0.249 % |
907.18/907.78 c | 1337703 | 3213 20505 69447 | 2147483647 78152 44 | 0.248 % |
908.18/908.80 c | 1339397 | 3213 20505 69447 | 2147483647 79846 44 | 0.248 % |
909.58/910.11 c | 1341260 | 3213 20505 69447 | 80452 81709 44 | 0.248 % |
910.98/911.55 c | 1343309 | 3213 20505 69447 | 80452 70356 42 | 0.249 % |
912.68/913.20 c | 1345564 | 3213 20505 69447 | 80452 72611 42 | 0.248 % |
914.58/915.12 c | 1348043 | 3213 20505 69447 | 80452 75090 44 | 0.249 % |
916.78/917.32 c | 1350768 | 3213 20505 69447 | 77048 77815 44 | 0.249 % |
919.08/919.65 c | 1353765 | 3213 20505 69447 | 77048 69197 42 | 0.250 % |
921.48/922.06 c | 1357061 | 3213 20505 69447 | 77048 72493 43 | 0.249 % |
924.28/924.86 c | 1360687 | 3213 20505 69447 | 75433 76119 43 | 0.249 % |
927.07/927.61 c | 1364674 | 3213 20505 69447 | 75433 68489 43 | 0.249 % |
930.47/931.09 c | 1369060 | 3213 20505 69447 | 75433 72875 44 | 0.250 % |
933.67/934.28 c | 1373885 | 3213 20505 69447 | 73815 65934 44 | 0.250 % |
937.37/937.94 c | 1379191 | 3213 20505 69447 | 73815 71240 44 | 0.249 % |
941.76/942.36 c | 1385026 | 3213 20505 69447 | 72050 68852 42 | 0.249 % |
945.96/946.58 c | 1391444 | 3213 20505 69447 | 73827 64244 44 | 0.249 % |
950.56/951.14 c | 1398505 | 3213 20505 69447 | 73827 71305 43 | 0.249 % |
956.36/956.97 c | 1406269 | 3213 20505 69447 | 2147483647 79069 43 | 0.249 % |
963.77/964.33 c | 1414810 | 3213 20505 69447 | 82800 76746 42 | 0.249 % |
971.96/972.59 c | 1424204 | 3213 20505 69447 | 81938 75503 42 | 0.249 % |
979.45/980.06 c | 1434538 | 3213 20505 69447 | 81300 71329 50 | 0.249 % |
988.14/988.79 c | 1445904 | 3213 20505 69447 | 76791 69429 50 | 0.249 % |
997.74/998.38 c | 1458407 | 3213 20505 69447 | 73526 72198 48 | 0.249 % |
997.84/998.48 c | 1458508 | 3213 20505 69447 | 73526 72299 48 | 0.249 % |
997.94/998.57 c | 1458619 | 3213 20505 69447 | 73526 72410 48 | 0.249 % |
998.04/998.65 c | 1458741 | 3213 20505 69447 | 73526 72532 48 | 0.248 % |
998.14/998.74 c | 1458874 | 3213 20505 69447 | 73526 72665 48 | 0.249 % |
998.24/998.82 c | 1459021 | 3213 20505 69447 | 73526 72812 48 | 0.248 % |
998.34/998.96 c | 1459181 | 3213 20505 69447 | 73526 72972 48 | 0.249 % |
998.54/999.12 c | 1459357 | 3213 20505 69447 | 73526 73148 48 | 0.249 % |
998.64/999.27 c | 1459551 | 3213 20505 69447 | 73526 73342 48 | 0.250 % |
998.84/999.45 c | 1459763 | 3213 20505 69447 | 73526 73554 48 | 0.249 % |
999.14/999.72 c | 1459996 | 3213 20505 69447 | 73526 65119 48 | 0.249 % |
999.34/999.92 c | 1460252 | 3213 20505 69447 | 65123 65375 48 | 0.249 % |
999.54/1000.15 c | 1460533 | 3213 20505 69447 | 65123 58162 47 | 0.250 % |
999.74/1000.37 c | 1460842 | 3213 20505 69447 | 65123 58471 47 | 0.249 % |
999.94/1000.55 c | 1461182 | 3213 20505 69447 | 65123 58811 48 | 0.249 % |
1000.23/1000.82 c | 1461555 | 3213 20505 69447 | 65123 59184 48 | 0.249 % |
1000.44/1001.07 c | 1461964 | 3213 20505 69447 | 65123 59593 48 | 0.249 % |
1000.83/1001.41 c | 1462413 | 3213 20505 69447 | 65123 60042 48 | 0.248 % |
1001.13/1001.78 c | 1462906 | 3213 20505 69447 | 65123 60535 48 | 0.249 % |
1001.44/1002.01 c | 1463451 | 3213 20505 69447 | 65123 61080 48 | 0.248 % |
1001.73/1002.34 c | 1464048 | 3213 20505 69447 | 65123 61677 48 | 0.248 % |
1002.23/1002.88 c | 1464705 | 3213 20505 69447 | 65123 62334 48 | 0.249 % |
1002.73/1003.35 c | 1465426 | 3213 20505 69447 | 65123 63055 48 | 0.249 % |
1003.13/1003.79 c | 1466218 | 3213 20505 69447 | 65123 63847 48 | 0.248 % |
1003.53/1004.19 c | 1467089 | 3213 20505 69447 | 65123 64718 48 | 0.248 % |
1004.13/1004.78 c | 1468048 | 3213 20505 69447 | 65123 65677 48 | 0.249 % |
1004.93/1005.55 c | 1469101 | 3213 20505 69447 | 65123 60163 49 | 0.249 % |
1005.43/1006.09 c | 1470259 | 3213 20505 69447 | 2147483647 61321 48 | 0.249 % |
1006.23/1006.89 c | 1471532 | 3213 20505 69447 | 2147483647 62594 48 | 0.249 % |
1007.13/1007.70 c | 1472932 | 3213 20505 69447 | 2147483647 63994 48 | 0.250 % |
1008.04/1008.63 c | 1474472 | 3213 20505 69447 | 2147483647 65534 48 | 0.249 % |
1009.33/1009.97 c | 1476167 | 3213 20505 69447 | 2147483647 67229 48 | 0.249 % |
1010.63/1011.27 c | 1478031 | 3213 20505 69447 | 2147483647 69093 48 | 0.249 % |
1012.03/1012.69 c | 1480080 | 3213 20505 69447 | 71062 71142 48 | 0.249 % |
1013.93/1014.57 c | 1482333 | 3213 20505 69447 | 71062 65448 43 | 0.249 % |
1015.73/1016.34 c | 1484812 | 3213 20505 69447 | 71062 67927 43 | 0.249 % |
1017.63/1018.29 c | 1487538 | 3213 20505 69447 | 71062 70653 43 | 0.249 % |
1019.93/1020.59 c | 1490537 | 3213 20505 69447 | 63381 63917 38 | 0.249 % |
1022.03/1022.60 c | 1493833 | 3213 20505 69447 | 63381 58914 38 | 0.249 % |
1024.23/1024.87 c | 1497458 | 3213 20505 69447 | 63381 62539 39 | 0.249 % |
1026.73/1027.40 c | 1501446 | 3213 20505 69447 | 2147483647 60141 40 | 0.248 % |
1029.32/1029.92 c | 1505831 | 3213 20505 69447 | 2147483647 64526 41 | 0.249 % |
1031.82/1032.47 c | 1510654 | 3213 20505 69447 | 2147483647 69349 44 | 0.250 % |
1035.02/1035.66 c | 1515962 | 3213 20505 69447 | 2147483647 74657 44 | 0.248 % |
1038.52/1039.19 c | 1521799 | 3213 20505 69447 | 2147483647 80494 46 | 0.249 % |
1044.03/1044.65 c | 1528217 | 3213 20505 69447 | 2147483647 86912 46 | 0.249 % |
1049.83/1050.40 c | 1535277 | 3213 20505 69447 | 88697 77281 45 | 0.249 % |
1056.83/1057.48 c | 1543042 | 3213 20505 69447 | 82008 72755 46 | 0.250 % |
1063.32/1063.95 c | 1551582 | 3213 20505 69447 | 79713 69261 46 | 0.249 % |
1072.51/1073.12 c | 1560976 | 3213 20505 69447 | 77679 78655 45 | 0.249 % |
1080.31/1080.95 c | 1571310 | 3213 20505 69447 | 76056 77366 42 | 0.249 % |
1089.21/1089.81 c | 1582676 | 3213 20505 69447 | 74325 67285 38 | 0.249 % |
1099.31/1099.98 c | 1595178 | 3213 20505 69447 | 74609 69324 38 | 0.248 % |
1109.69/1110.34 c | 1608930 | 3213 20505 69447 | 74147 73255 38 | 0.250 % |
1109.79/1110.42 c | 1609032 | 3213 20505 69447 | 74147 73357 38 | 0.249 % |
1109.89/1110.58 c | 1609146 | 3213 20505 69447 | 74147 73471 38 | 0.249 % |
1109.99/1110.69 c | 1609267 | 3213 20505 69447 | 74147 73592 38 | 0.250 % |
1110.09/1110.79 c | 1609401 | 3213 20505 69447 | 74147 73726 38 | 0.249 % |
1110.30/1110.91 c | 1609547 | 3213 20505 69447 | 74147 73872 38 | 0.248 % |
1110.40/1111.07 c | 1609708 | 3213 20505 69447 | 74147 74033 38 | 0.249 % |
1110.59/1111.23 c | 1609884 | 3213 20505 69447 | 74147 74209 38 | 0.250 % |
1110.89/1111.57 c | 1610077 | 3213 20505 69447 | 64833 64909 38 | 0.250 % |
1111.19/1111.84 c | 1610290 | 3213 20505 69447 | 64833 56939 37 | 0.249 % |
1111.29/1111.97 c | 1610524 | 3213 20505 69447 | 64833 57173 37 | 0.249 % |
1111.50/1112.16 c | 1610780 | 3213 20505 69447 | 64833 57429 37 | 0.248 % |
1111.69/1112.34 c | 1611061 | 3213 20505 69447 | 64833 57710 37 | 0.248 % |
1111.89/1112.55 c | 1611371 | 3213 20505 69447 | 64833 58020 37 | 0.249 % |
1112.09/1112.73 c | 1611712 | 3213 20505 69447 | 64833 58361 37 | 0.249 % |
1112.29/1112.97 c | 1612084 | 3213 20505 69447 | 64833 58733 37 | 0.248 % |
1112.59/1113.22 c | 1612494 | 3213 20505 69447 | 64833 59143 38 | 0.248 % |
1112.79/1113.48 c | 1612944 | 3213 20505 69447 | 64833 59593 38 | 0.249 % |
1113.09/1113.80 c | 1613438 | 3213 20505 69447 | 64833 60087 38 | 0.249 % |
1113.49/1114.12 c | 1613980 | 3213 20505 69447 | 64833 60629 38 | 0.249 % |
1113.79/1114.45 c | 1614578 | 3213 20505 69447 | 64833 61227 38 | 0.249 % |
1114.39/1115.03 c | 1615235 | 3213 20505 69447 | 64833 61884 38 | 0.249 % |
1114.69/1115.39 c | 1615955 | 3213 20505 69447 | 64833 62604 38 | 0.249 % |
1115.19/1115.82 c | 1616747 | 3213 20505 69447 | 64833 63396 38 | 0.249 % |
1115.59/1116.30 c | 1617621 | 3213 20505 69447 | 64833 64270 38 | 0.249 % |
1116.39/1117.01 c | 1618581 | 3213 20505 69447 | 64833 65230 39 | 0.249 % |
1117.29/1117.94 c | 1619639 | 3213 20505 69447 | 64833 59765 38 | 0.249 % |
1117.89/1118.50 c | 1620799 | 3213 20505 69447 | 2147483647 60925 38 | 0.250 % |
1118.68/1119.37 c | 1622072 | 3213 20505 69447 | 2147483647 62198 38 | 0.249 % |
1119.48/1120.13 c | 1623472 | 3213 20505 69447 | 2147483647 63598 39 | 0.250 % |
1120.48/1121.11 c | 1625013 | 3213 20505 69447 | 2147483647 65139 39 | 0.249 % |
1121.68/1122.35 c | 1626707 | 3213 20505 69447 | 2147483647 66833 39 | 0.249 % |
1122.68/1123.39 c | 1628570 | 3213 20505 69447 | 2147483647 68696 40 | 0.249 % |
1124.08/1124.73 c | 1630619 | 3213 20505 69447 | 2147483647 70745 39 | 0.249 % |
1125.79/1126.42 c | 1632875 | 3213 20505 69447 | 2147483647 73001 39 | 0.248 % |
1127.58/1128.27 c | 1635354 | 3213 20505 69447 | 2147483647 75480 40 | 0.249 % |
1129.48/1130.19 c | 1638080 | 3213 20505 69447 | 2147483647 78206 40 | 0.249 % |
1132.38/1133.06 c | 1641077 | 3213 20505 69447 | 80126 71948 38 | 0.249 % |
1135.18/1135.86 c | 1644374 | 3213 20505 69447 | 80126 75245 39 | 0.249 % |
1138.18/1138.80 c | 1648000 | 3213 20505 69447 | 80126 78871 39 | 0.249 % |
1140.48/1141.15 c | 1651987 | 3213 20505 69447 | 69712 64404 37 | 0.249 % |
1143.68/1144.39 c | 1656372 | 3213 20505 69447 | 69712 68789 39 | 0.249 % |
1147.18/1147.89 c | 1661195 | 3213 20505 69447 | 64919 66114 39 | 0.249 % |
1151.18/1151.89 c | 1666500 | 3213 20505 69447 | 64919 64409 38 | 0.249 % |
1154.67/1155.36 c | 1672336 | 3213 20505 69447 | 2147483647 63181 37 | 0.249 % |
1159.27/1159.90 c | 1678754 | 3213 20505 69447 | 2147483647 69599 41 | 0.248 % |
1165.56/1166.20 c | 1685815 | 3213 20505 69447 | 2147483647 76660 41 | 0.248 % |
1172.76/1173.46 c | 1693579 | 3213 20505 69447 | 80846 73586 42 | 0.249 % |
1179.46/1180.18 c | 1702119 | 3213 20505 69447 | 80007 70823 44 | 0.249 % |
1186.96/1187.61 c | 1711513 | 3213 20505 69447 | 2147483647 80217 43 | 0.248 % |
1195.86/1196.56 c | 1721846 | 3213 20505 69447 | 88705 73587 43 | 0.249 % |
1200.05/1200.70 HOME/SatELiteGTI: line 36: 2782 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832395-1242772761/watcher-1832395-1242772761 -o /tmp/evaluation-result-1832395-1242772761/solver-1832395-1242772761 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832395-1242772761.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: 0.92 0.95 0.98 3/64 2776
/proc/meminfo: memFree=1857056/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305302295 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 244277018706 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/2776/statm: 1339 235 195 169 0 50 0
[pid=2777] ppid=2776 vsize=5356 CPUtime=0
/proc/2777/stat : 2777 (SatELiteGTI) S 2776 2776 2516 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 305302295 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/2777/statm: 1339 238 198 169 0 50 0
[pid=2779] ppid=2777 vsize=0 CPUtime=0
/proc/2779/stat : 2779 (SatELiteGTI) R 2777 2776 2516 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 305302295 0 0 1992294400 0 0 0 18446744073709551615 244276849959 0 0 4096 0 0 0 0 17 0 0 0
/proc/2779/statm: 0 0 0 0 0 0 0
[startup+0.0881561 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 2776
/proc/meminfo: memFree=1857056/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.101153 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 2776
/proc/meminfo: memFree=1857056/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301174 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 2776
/proc/meminfo: memFree=1857056/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701219 s]
/proc/loadavg: 0.92 0.95 0.98 3/64 2776
/proc/meminfo: memFree=1857056/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50131 s]
/proc/loadavg: 0.92 0.95 0.98 2/66 2782
/proc/meminfo: memFree=1853712/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=4452 CPUtime=1.41
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 834 0 0 0 141 0 0 0 25 0 1 0 305302303 4558848 820 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 1113 820 76 171 0 940 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9808
[startup+3.10149 s]
/proc/loadavg: 0.92 0.95 0.98 2/66 2782
/proc/meminfo: memFree=1852560/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=6300 CPUtime=3
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 1288 0 0 0 300 0 0 0 25 0 1 0 305302303 6451200 1274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 1575 1274 76 171 0 1402 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11656
[startup+6.30185 s]
/proc/loadavg: 1.01 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1849424/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=9104 CPUtime=6.2
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 1968 0 0 0 619 1 0 0 25 0 1 0 305302303 9322496 1954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 2276 1954 76 171 0 2103 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14460
[startup+12.7016 s]
/proc/loadavg: 1.01 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1845072/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=13024 CPUtime=12.59
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 2953 0 0 0 1256 3 0 0 25 0 1 0 305302303 13336576 2939 1992294400 134512640 135215339 4294956240 18446744073709551615 134538032 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 3256 2939 76 171 0 3083 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 18380
[startup+25.502 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1839056/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=18616 CPUtime=25.38
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 4359 0 0 0 2534 4 0 0 25 0 1 0 305302303 19062784 4345 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 4654 4345 76 171 0 4481 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 23972
[startup+51.1019 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1838736/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=19036 CPUtime=50.96
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 4431 0 0 0 5091 5 0 0 25 0 1 0 305302303 19492864 4417 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 4759 4417 76 171 0 4586 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 24392
[startup+102.306 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1837968/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=19456 CPUtime=102.13
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 4571 0 0 0 10208 5 0 0 25 0 1 0 305302303 19922944 4557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 4864 4557 76 171 0 4691 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 24812
[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1837392/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=20048 CPUtime=162.1
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 4697 0 0 0 16204 6 0 0 25 0 1 0 305302303 20529152 4683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5012 4683 76 171 0 4839 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 25404
[startup+222.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1837136/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=20192 CPUtime=222.07
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 4720 0 0 0 22201 6 0 0 25 0 1 0 305302303 20676608 4706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5048 4706 76 171 0 4875 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 25548
[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2782
/proc/meminfo: memFree=1836240/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=20872 CPUtime=282.04
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 4921 0 0 0 28198 6 0 0 25 0 1 0 305302303 21372928 4907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5218 4907 76 171 0 5045 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 26228
[startup+342.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1835024/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22008 CPUtime=342.01
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5173 0 0 0 34195 6 0 0 25 0 1 0 305302303 22536192 5159 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5502 5159 76 171 0 5329 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 27364
[startup+402.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1834960/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22008 CPUtime=401.98
################
# More data... #
################
[pid=2782] ppid=2776 vsize=22200 CPUtime=521.92
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5235 0 0 0 52185 7 0 0 25 0 1 0 305302303 22732800 5221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2782/statm: 5550 5221 76 171 0 5377 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 27556
[startup+582.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1834384/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22340 CPUtime=581.86
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5271 0 0 0 58179 7 0 0 25 0 1 0 305302303 22876160 5257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5585 5257 76 171 0 5412 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 27696
[startup+642.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1834192/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22484 CPUtime=641.84
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5284 0 0 0 64177 7 0 0 25 0 1 0 305302303 23023616 5270 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5621 5270 76 171 0 5448 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 27840
[startup+702.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1834000/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22624 CPUtime=701.81
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5312 0 0 0 70174 7 0 0 25 0 1 0 305302303 23166976 5298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5656 5298 76 171 0 5483 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 27980
[startup+762.305 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1833936/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22624 CPUtime=761.79
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5315 0 0 0 76172 7 0 0 25 0 1 0 305302303 23166976 5301 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5656 5301 76 171 0 5483 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 27980
[startup+822.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1833744/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22624 CPUtime=821.76
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5335 0 0 0 82168 8 0 0 25 0 1 0 305302303 23166976 5321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5656 5321 76 171 0 5483 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 27980
[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1833680/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=22624 CPUtime=881.73
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5335 0 0 0 88165 8 0 0 25 0 1 0 305302303 23166976 5321 1992294400 134512640 135215339 4294956240 18446744073709551615 134532952 0 0 4096 3 0 0 0 17 1 0 0
/proc/2782/statm: 5656 5321 76 171 0 5483 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 27980
[startup+942.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1833168/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=23152 CPUtime=941.7
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5445 0 0 0 94162 8 0 0 25 0 1 0 305302303 23707648 5431 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 5788 5431 76 171 0 5615 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 28508
[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1831440/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=24736 CPUtime=1001.67
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 5850 0 0 0 100158 9 0 0 25 0 1 0 305302303 25329664 5836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 6184 5836 76 171 0 6011 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 30092
[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1830480/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=25528 CPUtime=1061.66
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 6074 0 0 0 106156 10 0 0 25 0 1 0 305302303 26140672 6060 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2782/statm: 6382 6060 76 171 0 6209 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 30884
[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1830352/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=25672 CPUtime=1121.62
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 6079 0 0 0 112152 10 0 0 25 0 1 0 305302303 26288128 6065 1992294400 134512640 135215339 4294956240 18446744073709551615 134527128 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 6418 6065 76 171 0 6245 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 31028
[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1830224/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=25672 CPUtime=1181.6
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 6094 0 0 0 118150 10 0 0 25 0 1 0 305302303 26288128 6080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 6418 6080 76 171 0 6245 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 31028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1830160/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=25672 CPUtime=1199.99
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 6094 0 0 0 119989 10 0 0 25 0 1 0 305302303 26288128 6080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 6418 6080 76 171 0 6245 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 31028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 2784
/proc/meminfo: memFree=1830160/2055920 swapFree=4178544/4192956
[pid=2776] ppid=2774 vsize=5356 CPUtime=0.06
/proc/2776/stat : 2776 (SatELiteGTI) S 2774 2776 2516 0 -1 4194304 336 889 0 0 0 0 6 0 16 0 1 0 305302295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2776/statm: 1339 239 197 169 0 50 0
[pid=2782] ppid=2776 vsize=25672 CPUtime=1199.99
/proc/2782/stat : 2782 (minisat_static) R 2776 2776 2516 0 -1 4194304 6094 0 0 0 119989 10 0 0 25 0 1 0 305302303 26288128 6080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/2782/statm: 6418 6080 76 171 0 6245 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 31028
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.08
CPU user time (s): 1199.97
CPU system time (s): 0.115982
CPU usage (%): 99.9475
Max. virtual memory (cumulated for all children) (KiB): 31028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.115982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7328
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= 27
involuntary context switches= 6097
runsolver used 1.51977 second user time and 2.94755 second system time
The end
Begin job on node63 at 2009-05-20 00:39:21
IDJOB=1832395
IDBENCH=69567
IDSOLVER=671
FILE ID=node63/1832395-1242772761
PBS_JOBID= 9322238
Free space on /tmp= 66248 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-frg1mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832395-1242772761/watcher-1832395-1242772761 -o /tmp/evaluation-result-1832395-1242772761/solver-1832395-1242772761 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832395-1242772761.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4984fea7abc49dd7f6973cd779e805d7
RANDOM SEED=541835154
node63.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.236
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.236
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1857536 kB
Buffers: 11704 kB
Cached: 149832 kB
SwapCached: 7716 kB
Active: 31552 kB
Inactive: 139440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1857536 kB
SwapTotal: 4192956 kB
SwapFree: 4178544 kB
Dirty: 2124 kB
Writeback: 0 kB
Mapped: 14768 kB
Slab: 13224 kB
Committed_AS: 1108028 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66244 MiB
End job on node63 at 2009-05-20 00:59:24