0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 61409 123673 | 18422 0 0 nan | 0.000 % |
0.00/0.22 c | 0 | 60173 195287 | -- 0 -- -- | -- | -1236/71614
0.00/0.22 c ==============================================================================
0.00/0.22 c Result : #vars: 900 #clauses: 60173 #literals: 195287
0.00/0.22 c CPU time: 0.215967 s
0.00/0.22 c ==============================================================================
0.00/0.28 c This is MiniSat 2.0 beta
0.00/0.28 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.28 c ============================[ Problem Statistics ]=============================
0.00/0.28 c | |
0.00/0.28 c | Number of variables: 900 |
0.00/0.28 c | Number of clauses: 60173 |
0.27/0.31 c | Parsing time: 0.02 s |
0.27/0.31 c ============================[ Search Statistics ]==============================
0.27/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.27/0.31 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.27/0.31 c ===============================================================================
0.27/0.31 c | 0 | 900 60173 195287 | 20057 0 nan | 0.000 % |
0.27/0.33 c | 104 | 900 60173 195287 | 20057 104 88 | 0.000 % |
0.27/0.34 c | 205 | 900 60173 195287 | 20057 205 79 | 0.000 % |
0.27/0.35 c | 305 | 900 60173 195287 | 20057 305 79 | 0.000 % |
0.27/0.36 c | 416 | 900 60173 195287 | 20057 416 70 | 0.000 % |
0.27/0.37 c | 516 | 900 60173 195287 | 20057 516 66 | 0.000 % |
0.27/0.38 c | 626 | 900 60173 195287 | 20057 626 68 | 0.000 % |
0.27/0.39 c | 747 | 900 60173 195287 | 20057 747 65 | 0.000 % |
0.27/0.40 c | 848 | 900 60173 195287 | 20057 848 62 | 0.018 % |
0.27/0.41 c | 960 | 900 60173 195287 | 20057 960 62 | 0.000 % |
0.27/0.42 c | 1083 | 900 60173 195287 | 20057 1083 60 | 0.000 % |
0.27/0.43 c | 1216 | 900 60173 195287 | 20057 1216 60 | 0.000 % |
0.27/0.44 c | 1318 | 900 60173 195287 | 20057 1318 59 | 0.018 % |
0.27/0.45 c | 1428 | 900 60173 195287 | 20057 1428 58 | 0.000 % |
0.27/0.46 c | 1549 | 900 60173 195287 | 20057 1549 57 | 0.000 % |
0.27/0.48 c | 1682 | 900 60173 195287 | 20057 1682 60 | 0.000 % |
0.27/0.50 c | 1828 | 900 60173 195287 | 20057 1828 60 | 0.020 % |
0.27/0.51 c | 1929 | 900 60173 195287 | 20057 1929 59 | 0.000 % |
0.27/0.52 c | 2041 | 900 60173 195287 | 20057 2041 58 | 0.015 % |
0.27/0.53 c | 2164 | 900 60173 195287 | 20057 2164 60 | 0.000 % |
0.27/0.54 c | 2297 | 900 60173 195287 | 20057 2297 60 | 0.000 % |
0.27/0.55 c | 2443 | 900 60173 195287 | 20057 2443 61 | 0.000 % |
0.27/0.57 c | 2605 | 900 60173 195287 | 20057 2605 61 | 0.018 % |
0.27/0.58 c | 2706 | 900 60173 195287 | 20057 2706 61 | 0.016 % |
0.27/0.59 c | 2816 | 900 60173 195287 | 20057 2816 61 | 0.000 % |
0.27/0.61 c | 2937 | 900 60173 195287 | 20057 2937 60 | 0.013 % |
0.27/0.62 c | 3070 | 900 60173 195287 | 20057 3070 60 | 0.018 % |
0.27/0.64 c | 3218 | 900 60173 195287 | 20057 3218 60 | 0.000 % |
0.27/0.66 c | 3379 | 900 60173 195287 | 20057 3379 59 | 0.016 % |
0.27/0.68 c | 3555 | 900 60173 195287 | 20057 3555 59 | 0.016 % |
0.27/0.69 c | 3655 | 900 60173 195287 | 20057 3655 59 | 0.000 % |
0.27/0.70 c | 3765 | 900 60173 195287 | 20057 3765 59 | 0.000 % |
0.27/0.72 c | 3888 | 900 60173 195287 | 20057 3888 59 | 0.000 % |
0.27/0.73 c | 4021 | 900 60173 195287 | 20057 4021 59 | 0.021 % |
0.27/0.75 c | 4169 | 900 60173 195287 | 20057 4169 60 | 0.000 % |
0.27/0.76 c | 4332 | 900 60173 195287 | 20057 4332 59 | 0.017 % |
0.27/0.78 c | 4510 | 900 60173 195287 | 20057 4510 58 | 0.020 % |
0.27/0.81 c | 4703 | 900 60173 195287 | 20057 4703 60 | 0.000 % |
0.27/0.82 c | 4803 | 900 60173 195287 | 20057 4803 60 | 0.000 % |
0.27/0.84 c | 4913 | 900 60173 195287 | 20057 4913 59 | 0.021 % |
0.27/0.85 c | 5034 | 900 60173 195287 | 20057 5034 59 | 0.000 % |
0.27/0.87 c | 5169 | 900 60173 195287 | 20057 5169 60 | 0.000 % |
0.27/0.89 c | 5315 | 900 60173 195287 | 20057 5315 60 | 0.017 % |
0.27/0.90 c | 5475 | 900 60173 195287 | 20057 5475 60 | 0.000 % |
0.27/0.92 c | 5651 | 900 60173 195287 | 20057 5651 60 | 0.000 % |
0.27/0.95 c | 5847 | 900 60173 195287 | 20057 5847 60 | 0.000 % |
0.27/0.97 c | 6059 | 900 60173 195287 | 20057 6059 60 | 0.000 % |
0.27/0.99 c | 6160 | 900 60173 195287 | 20057 6160 61 | 0.000 % |
0.97/1.01 c | 6271 | 900 60173 195287 | 20057 6271 61 | 0.000 % |
0.97/1.03 c | 6397 | 900 60173 195287 | 20057 6397 61 | 0.000 % |
0.97/1.04 c | 6531 | 900 60173 195287 | 20057 6531 61 | 0.018 % |
0.97/1.06 c | 6677 | 900 60173 195287 | 20057 6677 61 | 0.000 % |
0.97/1.09 c | 6837 | 900 60173 195287 | 20057 6837 61 | 0.020 % |
1.07/1.11 c | 7014 | 900 60173 195287 | 20057 7014 61 | 0.000 % |
1.07/1.15 c | 7209 | 900 60173 195287 | 20057 7209 62 | 0.000 % |
1.07/1.18 c | 7423 | 900 60173 195287 | 20057 7423 62 | 0.017 % |
1.17/1.22 c | 7656 | 900 60173 195287 | 20057 7656 62 | 0.000 % |
1.17/1.23 c | 7756 | 900 60173 195287 | 20057 7756 62 | 0.000 % |
1.17/1.25 c | 7866 | 900 60173 195287 | 20057 7866 62 | 0.000 % |
1.17/1.26 c | 7989 | 900 60173 195287 | 20057 7989 61 | 0.000 % |
1.17/1.29 c | 8122 | 900 60173 195287 | 20057 8122 61 | 0.019 % |
1.27/1.31 c | 8268 | 900 60173 195287 | 20057 8268 61 | 0.000 % |
1.27/1.33 c | 8428 | 900 60173 195287 | 20057 8428 60 | 0.000 % |
1.27/1.36 c | 8605 | 900 60173 195287 | 20057 8605 60 | 0.000 % |
1.27/1.38 c | 8799 | 900 60173 195287 | 20057 8799 60 | 0.018 % |
1.37/1.42 c | 9012 | 900 60173 195287 | 20057 9012 60 | 0.019 % |
1.37/1.47 c | 9245 | 900 60173 195287 | 20057 9245 61 | 0.000 % |
1.47/1.51 c | 9503 | 900 60173 195287 | 20057 9503 61 | 0.000 % |
1.47/1.53 c | 9603 | 900 60173 195287 | 20057 9603 61 | 0.000 % |
1.47/1.55 c | 9713 | 900 60173 195287 | 20057 9713 62 | 0.000 % |
1.47/1.58 c | 9837 | 900 60173 195287 | 20057 9837 62 | 0.000 % |
1.57/1.60 c | 9971 | 900 60173 195287 | 20057 9971 62 | 0.000 % |
1.57/1.62 c | 10118 | 900 60173 195287 | 2147483647 10118 61 | 0.000 % |
1.57/1.65 c | 10279 | 900 60173 195287 | 2147483647 10279 61 | 0.015 % |
1.57/1.69 c | 10455 | 900 60173 195287 | 2147483647 10455 61 | 0.000 % |
1.67/1.72 c | 10649 | 900 60173 195287 | 2147483647 10649 61 | 0.000 % |
1.67/1.75 c | 10861 | 900 60173 195287 | 2147483647 10861 61 | 0.000 % |
1.67/1.79 c | 11094 | 900 60173 195287 | 2147483647 11094 61 | 0.015 % |
1.77/1.84 c | 11350 | 900 60173 195287 | 2147483647 11350 62 | 0.000 % |
1.77/1.89 c | 11633 | 900 60173 195287 | 2147483647 11633 62 | 0.000 % |
1.87/1.91 c | 11733 | 900 60173 195287 | 2147483647 11733 62 | 0.000 % |
1.87/1.92 c | 11845 | 900 60173 195287 | 2147483647 11845 61 | 0.018 % |
1.87/1.94 c | 11967 | 900 60173 195287 | 2147483647 11967 61 | 0.000 % |
1.87/1.97 c | 12100 | 900 60173 195287 | 2147483647 12100 61 | 0.018 % |
1.97/2.00 c | 12247 | 900 60173 195287 | 2147483647 12247 61 | 0.000 % |
1.97/2.03 c | 12407 | 900 60173 195287 | 2147483647 12407 61 | 0.020 % |
1.97/2.06 c | 12585 | 900 60173 195287 | 2147483647 12585 60 | 0.020 % |
1.97/2.10 c | 12779 | 900 60173 195287 | 2147483647 12779 61 | 0.000 % |
2.07/2.14 c | 12991 | 900 60173 195287 | 2147483647 12991 61 | 0.017 % |
2.07/2.18 c | 13225 | 900 60173 195287 | 2147483647 13225 61 | 0.000 % |
2.17/2.24 c | 13483 | 900 60173 195287 | 2147483647 13483 60 | 0.017 % |
2.17/2.29 c | 13765 | 900 60173 195287 | 2147483647 13765 60 | 0.017 % |
2.26/2.35 c | 14076 | 900 60173 195287 | 2147483647 14076 60 | 0.000 % |
2.26/2.38 c | 14178 | 900 60173 195287 | 2147483647 14178 60 | 0.000 % |
2.36/2.41 c | 14289 | 900 60173 195287 | 2147483647 14289 60 | 0.000 % |
2.36/2.44 c | 14411 | 900 60173 195287 | 2147483647 14411 60 | 0.000 % |
2.36/2.47 c | 14547 | 900 60173 195287 | 2147483647 14547 60 | 0.016 % |
2.46/2.50 c | 14694 | 900 60173 195287 | 2147483647 14694 60 | 0.000 % |
2.46/2.53 c | 14855 | 900 60173 195287 | 2147483647 14855 60 | 0.000 % |
2.46/2.57 c | 15033 | 900 60173 195287 | 2147483647 15033 60 | 0.000 % |
2.56/2.61 c | 15226 | 900 60173 195287 | 2147483647 15226 60 | 0.000 % |
2.56/2.65 c | 15438 | 900 60173 195287 | 2147483647 15438 60 | 0.017 % |
2.66/2.71 c | 15672 | 900 60173 195287 | 2147483647 15672 60 | 0.015 % |
2.66/2.76 c | 15931 | 900 60173 195287 | 2147483647 15931 60 | 0.000 % |
2.77/2.83 c | 16217 | 900 60173 195287 | 2147483647 16217 59 | 0.018 % |
2.87/2.91 c | 16526 | 900 60173 195287 | 2147483647 16526 59 | 0.015 % |
2.87/2.99 c | 16865 | 900 60173 195287 | 2147483647 16865 59 | 0.000 % |
2.97/3.02 c | 16968 | 900 60173 195287 | 2147483647 16968 59 | 0.000 % |
2.97/3.04 c | 17079 | 900 60173 195287 | 2147483647 17079 60 | 0.000 % |
2.97/3.08 c | 17203 | 900 60173 195287 | 2147483647 17203 60 | 0.000 % |
3.07/3.11 c | 17338 | 900 60173 195287 | 2147483647 17338 60 | 0.000 % |
3.07/3.13 c | 17484 | 900 60173 195287 | 2147483647 17484 60 | 0.000 % |
3.07/3.17 c | 17645 | 900 60173 195287 | 2147483647 17645 60 | 0.020 % |
3.17/3.21 c | 17822 | 900 60173 195287 | 2147483647 17822 60 | 0.000 % |
3.17/3.26 c | 18015 | 900 60173 195287 | 2147483647 18015 59 | 0.000 % |
3.27/3.31 c | 18228 | 900 60173 195287 | 2147483647 18228 60 | 0.000 % |
3.27/3.37 c | 18462 | 900 60173 195287 | 2147483647 18462 60 | 0.000 % |
3.37/3.43 c | 18718 | 900 60173 195287 | 2147483647 18718 60 | 0.015 % |
3.37/3.49 c | 18999 | 900 60173 195287 | 2147483647 18999 60 | 0.016 % |
3.47/3.55 c | 19308 | 900 60173 195287 | 2147483647 19308 59 | 0.016 % |
3.57/3.63 c | 19649 | 900 60173 195287 | 2147483647 19649 59 | 0.000 % |
3.67/3.72 c | 20022 | 900 60173 195287 | 2147483647 20022 59 | 0.017 % |
3.67/3.76 c | 20126 | 900 60173 195287 | 2147483647 20126 59 | 0.000 % |
3.77/3.80 c | 20236 | 900 60173 195287 | 2147483647 20236 59 | 0.000 % |
3.77/3.83 c | 20357 | 900 60173 195287 | 2147483647 20357 59 | 0.020 % |
3.77/3.86 c | 20490 | 900 60173 195287 | 2147483647 20490 59 | 0.000 % |
3.77/3.89 c | 20636 | 900 60173 195287 | 2147483647 20636 59 | 0.017 % |
3.87/3.93 c | 20796 | 900 60173 195287 | 2147483647 20796 59 | 0.019 % |
3.87/3.97 c | 20975 | 900 60173 195287 | 2147483647 20975 59 | 0.000 % |
3.97/4.04 c | 21168 | 900 60173 195287 | 2147483647 21168 59 | 0.000 % |
4.07/4.10 c | 21380 | 900 60173 195287 | 2147483647 21380 59 | 0.017 % |
4.07/4.17 c | 21614 | 900 60173 195287 | 2147483647 21614 59 | 0.000 % |
4.16/4.23 c | 21872 | 900 60173 195287 | 2147483647 21872 59 | 0.017 % |
4.27/4.31 c | 22157 | 900 60173 195287 | 2147483647 22157 59 | 0.000 % |
4.27/4.39 c | 22466 | 900 60173 195287 | 2147483647 22466 59 | 0.017 % |
4.37/4.48 c | 22806 | 900 60173 195287 | 2147483647 22806 59 | 0.017 % |
4.46/4.59 c | 23180 | 900 60173 195287 | 2147483647 23180 59 | 0.000 % |
4.66/4.70 c | 23589 | 900 60173 195287 | 2147483647 23589 58 | 0.015 % |
4.66/4.74 c | 23692 | 900 60173 195287 | 2147483647 23692 59 | 0.000 % |
4.66/4.77 c | 23803 | 900 60173 195287 | 2147483647 23803 59 | 0.000 % |
4.76/4.80 c | 23924 | 900 60173 195287 | 2147483647 23924 59 | 0.019 % |
4.76/4.84 c | 24058 | 900 60173 195287 | 2147483647 24058 59 | 0.000 % |
4.76/4.89 c | 24204 | 900 60173 195287 | 2147483647 24204 59 | 0.000 % |
4.86/4.93 c | 24365 | 900 60173 195287 | 2147483647 24365 59 | 0.000 % |
4.86/4.99 c | 24541 | 900 60173 195287 | 2147483647 24541 59 | 0.000 % |
4.96/5.04 c | 24734 | 900 60173 195287 | 2147483647 24734 59 | 0.000 % |
5.06/5.10 c | 24946 | 900 60173 195287 | 2147483647 24946 59 | 0.000 % |
5.06/5.18 c | 25181 | 900 60173 195287 | 2147483647 25181 59 | 0.000 % |
5.16/5.25 c | 25438 | 900 60173 195287 | 2147483647 25438 59 | 0.000 % |
5.26/5.33 c | 25720 | 900 60173 195287 | 2147483647 25720 59 | 0.000 % |
5.36/5.42 c | 26029 | 900 60173 195287 | 2147483647 26029 59 | 0.000 % |
5.46/5.54 c | 26368 | 900 60173 195287 | 2147483647 26368 59 | 0.000 % |
5.56/5.66 c | 26741 | 900 60173 195287 | 2147483647 26741 59 | 0.000 % |
5.76/5.82 c | 27152 | 900 60173 195287 | 2147483647 27152 59 | 0.021 % |
5.86/5.96 c | 27601 | 900 60173 195287 | 2147483647 27601 59 | 0.021 % |
5.86/5.99 c | 27704 | 900 60173 195287 | 2147483647 27704 59 | 0.000 % |
5.96/6.04 c | 27814 | 900 60173 195287 | 2147483647 27814 59 | 0.000 % |
5.96/6.08 c | 27936 | 900 60173 195287 | 2147483647 27936 59 | 0.000 % |
6.06/6.13 c | 28069 | 900 60173 195287 | 2147483647 28069 59 | 0.012 % |
6.06/6.19 c | 28217 | 900 60173 195287 | 2147483647 28217 59 | 0.000 % |
6.16/6.25 c | 28377 | 900 60173 195287 | 2147483647 28377 59 | 0.000 % |
6.26/6.31 c | 28555 | 900 60173 195287 | 2147483647 28555 59 | 0.000 % |
6.26/6.38 c | 28748 | 900 60173 195287 | 2147483647 28748 59 | 0.000 % |
6.36/6.44 c | 28960 | 900 60173 195287 | 2147483647 28960 59 | 0.000 % |
6.46/6.51 c | 29195 | 900 60173 195287 | 2147483647 29195 59 | 0.000 % |
6.56/6.60 c | 29454 | 900 60173 195287 | 2147483647 29454 59 | 0.000 % |
6.66/6.71 c | 29736 | 900 60173 195287 | 2147483647 29736 59 | 0.000 % |
6.76/6.84 c | 30050 | 900 60173 195287 | 2147483647 30050 58 | 0.000 % |
6.85/6.96 c | 30389 | 900 60173 195287 | 2147483647 30389 59 | 0.000 % |
6.95/7.08 c | 30761 | 900 60173 195287 | 2147483647 30761 59 | 0.000 % |
7.15/7.23 c | 31170 | 900 60173 195287 | 2147483647 31170 59 | 0.000 % |
7.25/7.39 c | 31622 | 900 60173 195287 | 2147483647 31622 59 | 0.000 % |
7.45/7.58 c | 32119 | 900 60173 195287 | 2147483647 32119 59 | 0.000 % |
7.55/7.61 c | 32219 | 900 60173 195287 | 2147483647 32219 59 | 0.019 % |
7.55/7.65 c | 32331 | 900 60173 195287 | 2147483647 32331 59 | 0.019 % |
7.55/7.69 c | 32452 | 900 60173 195287 | 2147483647 32452 59 | 0.019 % |
7.65/7.75 c | 32585 | 900 60173 195287 | 2147483647 32585 59 | 0.000 % |
7.75/7.81 c | 32731 | 900 60173 195287 | 2147483647 32731 59 | 0.000 % |
7.75/7.87 c | 32892 | 900 60173 195287 | 2147483647 32892 59 | 0.000 % |
7.85/7.94 c | 33068 | 900 60173 195287 | 2147483647 33068 59 | 0.000 % |
7.85/7.99 c | 33261 | 900 60173 195287 | 2147483647 33261 59 | 0.000 % |
7.95/8.08 c | 33476 | 900 60173 195287 | 2147483647 33476 59 | 0.000 % |
8.05/8.17 c | 33709 | 900 60173 195287 | 2147483647 33709 59 | 0.021 % |
8.15/8.27 c | 33965 | 900 60173 195287 | 2147483647 33965 59 | 0.000 % |
8.25/8.35 c | 34246 | 900 60173 195287 | 2147483647 34246 59 | 0.000 % |
8.35/8.46 c | 34555 | 900 60173 195287 | 2147483647 34555 58 | 0.000 % |
8.55/8.60 c | 34895 | 900 60173 195287 | 2147483647 34895 59 | 0.000 % |
8.65/8.74 c | 35268 | 900 60173 195287 | 2147483647 35268 59 | 0.000 % |
8.75/8.89 c | 35679 | 900 60173 195287 | 2147483647 35679 59 | 0.020 % |
8.96/9.05 c | 36130 | 900 60173 195287 | 2147483647 36130 59 | 0.020 % |
9.16/9.20 c | 36623 | 900 60173 195287 | 2147483647 36623 58 | 0.000 % |
9.36/9.40 c | 37166 | 900 60173 195287 | 2147483647 37166 58 | 0.020 % |
9.36/9.44 c | 37268 | 900 60173 195287 | 2147483647 37268 58 | 0.000 % |
9.36/9.48 c | 37379 | 900 60173 195287 | 2147483647 37379 58 | 0.000 % |
9.46/9.52 c | 37500 | 900 60173 195287 | 2147483647 37500 58 | 0.000 % |
9.46/9.60 c | 37633 | 900 60173 195287 | 2147483647 37633 58 | 0.000 % |
9.56/9.67 c | 37780 | 900 60173 195287 | 2147483647 37780 58 | 0.000 % |
9.66/9.74 c | 37940 | 900 60173 195287 | 2147483647 37940 58 | 0.000 % |
9.76/9.83 c | 38117 | 900 60173 195287 | 2147483647 38117 59 | 0.000 % |
9.76/9.90 c | 38310 | 900 60173 195287 | 2147483647 38310 59 | 0.000 % |
9.86/9.99 c | 38522 | 900 60173 195287 | 2147483647 38522 59 | 0.016 % |
10.06/10.11 c | 38755 | 900 60173 195287 | 2147483647 38755 59 | 0.000 % |
10.16/10.22 c | 39011 | 900 60173 195287 | 2147483647 39011 59 | 0.000 % |
10.35/10.42 c | 39294 | 900 60173 195287 | 2147483647 39294 59 | 0.000 % |
10.45/10.55 c | 39603 | 900 60173 195287 | 2147483647 39603 59 | 0.020 % |
10.55/10.68 c | 39942 | 900 60173 195287 | 2147483647 39942 59 | 0.020 % |
10.75/10.84 c | 40317 | 900 60173 195287 | 2147483647 40317 59 | 0.018 % |
10.96/11.03 c | 40727 | 900 60173 195287 | 2147483647 40727 59 | 0.017 % |
11.15/11.22 c | 41177 | 900 60173 195287 | 2147483647 41177 58 | 0.017 % |
11.35/11.46 c | 41671 | 900 60173 195287 | 2147483647 41671 58 | 0.000 % |
11.65/11.73 c | 42214 | 900 60173 195287 | 2147483647 42214 58 | 0.017 % |
11.95/12.01 c | 42810 | 900 60173 195287 | 2147483647 42810 58 | 0.019 % |
11.95/12.07 c | 42911 | 900 60173 195287 | 2147483647 42911 58 | 0.017 % |
12.05/12.12 c | 43026 | 900 60173 195287 | 2147483647 43026 58 | 0.019 % |
12.05/12.19 c | 43147 | 900 60173 195287 | 2147483647 43147 58 | 0.000 % |
12.15/12.25 c | 43280 | 900 60173 195287 | 2147483647 43280 58 | 0.000 % |
12.25/12.32 c | 43426 | 900 60173 195287 | 2147483647 43426 58 | 0.016 % |
12.25/12.38 c | 43587 | 900 60173 195287 | 2147483647 43587 58 | 0.019 % |
12.35/12.48 c | 43765 | 900 60173 195287 | 2147483647 43765 58 | 0.000 % |
12.45/12.55 c | 43960 | 900 60173 195287 | 2147483647 43960 58 | 0.020 % |
12.55/12.64 c | 44172 | 900 60173 195287 | 2147483647 44172 58 | 0.000 % |
12.65/12.73 c | 44406 | 900 60173 195287 | 2147483647 44406 58 | 0.000 % |
12.75/12.83 c | 44663 | 900 60173 195287 | 2147483647 44663 58 | 0.000 % |
12.85/12.95 c | 44948 | 900 60173 195287 | 2147483647 44948 58 | 0.000 % |
13.05/13.12 c | 45257 | 900 60173 195287 | 2147483647 45257 58 | 0.020 % |
13.25/13.32 c | 45597 | 900 60173 195287 | 2147483647 45597 58 | 0.000 % |
13.44/13.52 c | 45970 | 900 60173 195287 | 2147483647 45970 58 | 0.000 % |
13.64/13.72 c | 46381 | 900 60173 195287 | 2147483647 46381 58 | 0.000 % |
13.84/13.94 c | 46830 | 900 60173 195287 | 2147483647 46830 58 | 0.000 % |
14.04/14.17 c | 47327 | 900 60173 195287 | 2147483647 47327 58 | 0.000 % |
14.35/14.45 c | 47870 | 900 60173 195287 | 2147483647 47870 58 | 0.000 % |
14.65/14.74 c | 48469 | 900 60173 195287 | 2147483647 48469 58 | 0.017 % |
14.95/15.03 c | 49125 | 900 60173 195287 | 2147483647 49125 58 | 0.000 % |
14.95/15.08 c | 49227 | 900 60173 195287 | 2147483647 49227 58 | 0.000 % |
15.05/15.14 c | 49338 | 900 60173 195287 | 2147483647 49338 58 | 0.000 % |
15.05/15.20 c | 49464 | 900 60173 195287 | 2147483647 49464 58 | 0.000 % |
15.15/15.28 c | 49597 | 900 60173 195287 | 2147483647 49597 58 | 0.000 % |
15.36/15.40 c | 49743 | 900 60173 195287 | 2147483647 49743 58 | 0.000 % |
15.36/15.50 c | 49903 | 900 60173 195287 | 2147483647 49903 58 | 0.000 % |
15.45/15.58 c | 50079 | 900 60173 195287 | 2147483647 50079 58 | 0.016 % |
15.65/15.72 c | 50274 | 900 60173 195287 | 2147483647 50274 58 | 0.000 % |
15.75/15.82 c | 50486 | 900 60173 195287 | 2147483647 50486 58 | 0.000 % |
15.85/15.97 c | 50722 | 900 60173 195287 | 2147483647 50722 58 | 0.000 % |
15.95/16.08 c | 50981 | 900 60173 195287 | 2147483647 50981 58 | 0.020 % |
16.05/16.20 c | 51263 | 900 60173 195287 | 2147483647 51263 58 | 0.000 % |
16.25/16.31 c | 51575 | 900 60173 195287 | 2147483647 51575 58 | 0.018 % |
16.45/16.52 c | 51916 | 900 60173 195287 | 2147483647 51916 59 | 0.000 % |
16.65/16.74 c | 52289 | 900 60173 195287 | 2147483647 52289 58 | 0.000 % |
16.85/16.94 c | 52699 | 900 60173 195287 | 2147483647 52699 58 | 0.017 % |
17.15/17.23 c | 53148 | 900 60173 195287 | 2147483647 53148 58 | 0.017 % |
17.45/17.54 c | 53641 | 900 60173 195287 | 2147483647 53641 58 | 0.017 % |
17.75/17.88 c | 54184 | 900 60173 195287 | 2147483647 54184 58 | 0.017 % |
18.15/18.22 c | 54780 | 900 60173 195287 | 2147483647 54780 58 | 0.017 % |
18.55/18.64 c | 55438 | 900 60173 195287 | 2147483647 55438 58 | 0.017 % |
18.85/18.98 c | 56159 | 900 60173 195287 | 2147483647 56159 57 | 0.000 % |
18.95/19.06 c | 56260 | 900 60173 195287 | 2147483647 56260 57 | 0.000 % |
19.05/19.13 c | 56372 | 900 60173 195287 | 2147483647 56372 57 | 0.000 % |
19.05/19.18 c | 56493 | 900 60173 195287 | 2147483647 56493 57 | 0.020 % |
19.15/19.26 c | 56627 | 900 60173 195287 | 2147483647 56627 57 | 0.000 % |
19.24/19.33 c | 56773 | 900 60173 195287 | 2147483647 56773 57 | 0.000 % |
19.34/19.41 c | 56933 | 900 60173 195287 | 2147483647 56933 57 | 0.017 % |
19.44/19.51 c | 57109 | 900 60173 195287 | 2147483647 57109 57 | 0.017 % |
19.44/19.59 c | 57302 | 900 60173 195287 | 2147483647 57302 57 | 0.017 % |
19.64/19.72 c | 57514 | 900 60173 195287 | 2147483647 57514 57 | 0.000 % |
19.74/19.86 c | 57749 | 900 60173 195287 | 2147483647 57749 57 | 0.000 % |
19.84/20.00 c | 58006 | 900 60173 195287 | 2147483647 58006 57 | 0.000 % |
20.14/20.23 c | 58287 | 900 60173 195287 | 2147483647 58287 58 | 0.000 % |
20.34/20.45 c | 58596 | 900 60173 195287 | 2147483647 58596 58 | 0.000 % |
20.64/20.70 c | 58935 | 900 60173 195287 | 2147483647 58935 58 | 0.000 % |
20.94/21.00 c | 59307 | 900 60173 195287 | 2147483647 59307 58 | 0.000 % |
21.14/21.26 c | 59716 | 900 60173 195287 | 2147483647 59716 58 | 0.000 % |
21.34/21.49 c | 60166 | 900 60173 195287 | 2147483647 60166 58 | 0.000 % |
21.64/21.72 c | 60659 | 900 60173 195287 | 2147483647 60659 58 | 0.017 % |
21.84/22.00 c | 61201 | 900 60173 195287 | 2147483647 61201 58 | 0.016 % |
22.24/22.33 c | 61797 | 900 60173 195287 | 2147483647 61797 58 | 0.000 % |
22.64/22.76 c | 62454 | 900 60173 195287 | 2147483647 62454 58 | 0.017 % |
23.14/23.23 c | 63174 | 900 60173 195287 | 2147483647 63174 57 | 0.019 % |
23.54/23.68 c | 63966 | 900 60173 195287 | 2147483647 63966 57 | 0.019 % |
23.64/23.75 c | 64069 | 900 60173 195287 | 2147483647 64069 57 | 0.019 % |
23.74/23.87 c | 64179 | 900 60173 195287 | 2147483647 64179 57 | 0.000 % |
23.84/23.99 c | 64300 | 900 60173 195287 | 2147483647 64300 58 | 0.000 % |
23.94/24.08 c | 64435 | 900 60173 195287 | 2147483647 64435 58 | 0.000 % |
24.04/24.17 c | 64583 | 900 60173 195287 | 2147483647 64583 58 | 0.000 % |
24.14/24.29 c | 64745 | 900 60173 195287 | 2147483647 64745 58 | 0.000 % |
24.34/24.41 c | 64923 | 900 60173 195287 | 2147483647 64923 58 | 0.000 % |
24.44/24.56 c | 65117 | 900 60173 195287 | 2147483647 65117 58 | 0.000 % |
24.54/24.67 c | 65332 | 900 60173 195287 | 2147483647 65332 58 | 0.000 % |
24.64/24.79 c | 65566 | 900 60173 195287 | 2147483647 65566 58 | 0.016 % |
24.94/25.05 c | 65827 | 900 60173 195287 | 2147483647 65827 58 | 0.000 % |
25.14/25.25 c | 66110 | 900 60173 195287 | 2147483647 66110 58 | 0.000 % |
25.34/25.43 c | 66420 | 900 60173 195287 | 2147483647 66420 58 | 0.000 % |
25.53/25.68 c | 66762 | 900 60173 195287 | 2147483647 66762 58 | 0.000 % |
25.83/25.90 c | 67134 | 900 60173 195287 | 2147483647 67134 58 | 0.000 % |
26.03/26.17 c | 67544 | 900 60173 195287 | 2147483647 67544 58 | 0.000 % |
26.53/26.61 c | 67994 | 900 60173 195287 | 2147483647 67994 59 | 0.000 % |
26.83/26.98 c | 68488 | 900 60173 195287 | 2147483647 68488 59 | 0.000 % |
27.23/27.30 c | 69030 | 900 60173 195287 | 2147483647 69030 59 | 0.000 % |
27.74/27.88 c | 69628 | 900 60173 195287 | 2147483647 69628 59 | 0.000 % |
28.24/28.33 c | 70283 | 900 60173 195287 | 2147483647 70283 59 | 0.000 % |
28.84/28.97 c | 71004 | 900 60173 195287 | 2147483647 71004 60 | 0.000 % |
29.54/29.61 c | 71798 | 900 60173 195287 | 2147483647 71798 60 | 0.000 % |
30.13/30.21 c | 72669 | 900 60173 195287 | 2147483647 72669 60 | 0.000 % |
30.13/30.28 c | 72771 | 900 60173 195287 | 2147483647 72771 60 | 0.018 % |
30.23/30.36 c | 72881 | 900 60173 195287 | 2147483647 72881 60 | 0.000 % |
30.33/30.48 c | 73002 | 900 60173 195287 | 2147483647 73002 60 | 0.000 % |
30.43/30.57 c | 73135 | 900 60173 195287 | 2147483647 73135 60 | 0.000 % |
30.53/30.68 c | 73283 | 900 60173 195287 | 2147483647 73283 60 | 0.000 % |
30.74/30.82 c | 73443 | 900 60173 195287 | 2147483647 73443 60 | 0.015 % |
30.83/30.97 c | 73619 | 900 60173 195287 | 2147483647 73619 60 | 0.017 % |
31.03/31.13 c | 73812 | 900 60173 195287 | 2147483647 73812 60 | 0.000 % |
31.23/31.30 c | 74025 | 900 60173 195287 | 2147483647 74025 60 | 0.016 % |
31.43/31.52 c | 74259 | 900 60173 195287 | 2147483647 74259 60 | 0.000 % |
31.63/31.76 c | 74516 | 900 60173 195287 | 2147483647 74516 61 | 0.000 % |
31.93/32.04 c | 74797 | 900 60173 195287 | 2147483647 74797 61 | 0.000 % |
32.13/32.29 c | 75107 | 900 60173 195287 | 2147483647 75107 61 | 0.000 % |
32.43/32.55 c | 75446 | 900 60173 195287 | 2147483647 75446 61 | 0.000 % |
32.73/32.80 c | 75818 | 900 60173 195287 | 2147483647 75818 61 | 0.016 % |
32.93/33.04 c | 76229 | 900 60173 195287 | 2147483647 76229 61 | 0.016 % |
33.23/33.38 c | 76683 | 900 60173 195287 | 2147483647 76683 61 | 0.000 % |
33.63/33.74 c | 77176 | 900 60173 195287 | 2147483647 77176 61 | 0.000 % |
33.93/34.06 c | 77718 | 900 60173 195287 | 2147483647 77718 61 | 0.000 % |
34.43/34.55 c | 78315 | 900 60173 195287 | 2147483647 78315 61 | 0.018 % |
34.83/34.97 c | 78970 | 900 60173 195287 | 2147483647 78970 61 | 0.000 % |
35.44/35.56 c | 79693 | 900 60173 195287 | 2147483647 79693 60 | 0.000 % |
36.14/36.24 c | 80485 | 900 60173 195287 | 80003 69064 58 | 0.014 % |
36.74/36.84 c | 81359 | 900 60173 195287 | 80003 69938 58 | 0.000 % |
37.44/37.52 c | 82318 | 900 60173 195287 | 80003 70897 59 | 0.014 % |
37.54/37.61 c | 82418 | 900 60173 195287 | 80003 70997 59 | 0.000 % |
37.54/37.70 c | 82528 | 900 60173 195287 | 80003 71107 59 | 0.000 % |
37.74/37.83 c | 82649 | 900 60173 195287 | 80003 71228 59 | 0.000 % |
37.83/37.95 c | 82786 | 900 60173 195287 | 80003 71365 59 | 0.000 % |
37.93/38.05 c | 82932 | 900 60173 195287 | 80003 71511 59 | 0.017 % |
38.03/38.17 c | 83092 | 900 60173 195287 | 80003 71671 59 | 0.017 % |
38.23/38.34 c | 83268 | 900 60173 195287 | 80003 71847 59 | 0.000 % |
38.44/38.50 c | 83461 | 900 60173 195287 | 80003 72040 59 | 0.000 % |
38.53/38.68 c | 83673 | 900 60173 195287 | 80003 72252 59 | 0.000 % |
38.73/38.85 c | 83906 | 900 60173 195287 | 80003 72485 59 | 0.000 % |
38.93/39.01 c | 84163 | 900 60173 195287 | 80003 72742 59 | 0.000 % |
39.03/39.15 c | 84445 | 900 60173 195287 | 80003 73024 59 | 0.019 % |
39.23/39.32 c | 84754 | 900 60173 195287 | 80003 73333 59 | 0.019 % |
39.44/39.57 c | 85094 | 900 60173 195287 | 80003 73673 59 | 0.000 % |
39.83/39.96 c | 85466 | 900 60173 195287 | 80003 74045 59 | 0.000 % |
40.13/40.27 c | 85877 | 900 60173 195287 | 80003 74456 59 | 0.000 % |
40.43/40.57 c | 86327 | 900 60173 195287 | 80003 74906 59 | 0.000 % |
40.83/40.96 c | 86821 | 900 60173 195287 | 80003 75400 59 | 0.000 % |
41.13/41.29 c | 87363 | 900 60173 195287 | 80003 75942 59 | 0.000 % |
41.64/41.72 c | 87961 | 900 60173 195287 | 80003 76540 59 | 0.000 % |
42.13/42.29 c | 88618 | 900 60173 195287 | 80003 77197 59 | 0.000 % |
42.63/42.74 c | 89339 | 900 60173 195287 | 80003 77918 59 | 0.000 % |
43.33/43.44 c | 90132 | 900 60173 195287 | 78583 78711 59 | 0.017 % |
44.03/44.15 c | 91003 | 900 60173 195287 | 78583 67095 57 | 0.000 % |
45.13/45.27 c | 91963 | 900 60173 195287 | 78583 68055 58 | 0.000 % |
46.13/46.24 c | 93018 | 900 60173 195287 | 78583 69110 58 | 0.000 % |
46.23/46.37 c | 93119 | 900 60173 195287 | 78583 69211 58 | 0.000 % |
46.33/46.47 c | 93229 | 900 60173 195287 | 78583 69321 58 | 0.000 % |
46.43/46.56 c | 93350 | 900 60173 195287 | 78583 69442 58 | 0.000 % |
46.53/46.67 c | 93484 | 900 60173 195287 | 78583 69576 58 | 0.000 % |
46.73/46.80 c | 93631 | 900 60173 195287 | 78583 69723 58 | 0.000 % |
46.83/46.93 c | 93791 | 900 60173 195287 | 78583 69883 58 | 0.000 % |
46.93/47.02 c | 93968 | 900 60173 195287 | 78583 70060 58 | 0.018 % |
47.03/47.19 c | 94162 | 900 60173 195287 | 78583 70254 58 | 0.000 % |
47.23/47.38 c | 94374 | 900 60173 195287 | 78583 70466 58 | 0.017 % |
47.42/47.52 c | 94607 | 900 60173 195287 | 78583 70699 58 | 0.018 % |
47.62/47.73 c | 94866 | 900 60173 195287 | 78583 70958 58 | 0.000 % |
47.82/47.95 c | 95148 | 900 60173 195287 | 78583 71240 58 | 0.017 % |
48.02/48.17 c | 95459 | 900 60173 195287 | 78583 71551 58 | 0.019 % |
48.33/48.41 c | 95799 | 900 60173 195287 | 78583 71891 58 | 0.000 % |
48.62/48.77 c | 96172 | 900 60173 195287 | 78583 72264 58 | 0.019 % |
49.02/49.10 c | 96587 | 900 60173 195287 | 78583 72679 58 | 0.019 % |
49.43/49.53 c | 97037 | 900 60173 195287 | 78583 73129 58 | 0.000 % |
49.92/50.03 c | 97531 | 900 60173 195287 | 78583 73623 58 | 0.000 % |
50.62/50.73 c | 98075 | 900 60173 195287 | 78583 74167 58 | 0.000 % |
51.32/51.43 c | 98671 | 900 60173 195287 | 78583 74763 59 | 0.000 % |
51.92/52.07 c | 99326 | 900 60173 195287 | 78583 75418 59 | 0.000 % |
52.42/52.58 c | 100052 | 900 60173 195287 | 76096 76144 59 | 0.000 % |
53.42/53.56 c | 100844 | 900 60173 195287 | 76096 63873 59 | 0.000 % |
54.12/54.21 c | 101716 | 900 60173 195287 | 76096 64745 59 | 0.000 % |
54.92/55.08 c | 102675 | 900 60173 195287 | 76096 65704 59 | 0.019 % |
55.92/56.10 c | 103729 | 900 60173 195287 | 76096 66758 59 | 0.019 % |
56.82/57.00 c | 104887 | 900 60173 195287 | 76096 67916 59 | 0.019 % |
56.92/57.08 c | 104988 | 900 60173 195287 | 76096 68017 59 | 0.019 % |
57.02/57.16 c | 105098 | 900 60173 195287 | 76096 68127 59 | 0.019 % |
57.12/57.27 c | 105219 | 900 60173 195287 | 76096 68248 59 | 0.000 % |
57.22/57.39 c | 105353 | 900 60173 195287 | 76096 68382 59 | 0.000 % |
57.32/57.48 c | 105500 | 900 60173 195287 | 76096 68529 59 | 0.000 % |
57.52/57.69 c | 105663 | 900 60173 195287 | 76096 68692 59 | 0.000 % |
57.72/57.84 c | 105840 | 900 60173 195287 | 76096 68869 59 | 0.000 % |
57.82/57.98 c | 106033 | 900 60173 195287 | 76096 69062 59 | 0.000 % |
58.02/58.19 c | 106247 | 900 60173 195287 | 76096 69276 59 | 0.000 % |
58.32/58.41 c | 106480 | 900 60173 195287 | 76096 69509 59 | 0.000 % |
58.52/58.65 c | 106738 | 900 60173 195287 | 76096 69767 59 | 0.020 % |
58.82/58.91 c | 107020 | 900 60173 195287 | 76096 70049 59 | 0.020 % |
59.12/59.28 c | 107329 | 900 60173 195287 | 76096 70358 59 | 0.000 % |
59.62/59.71 c | 107668 | 900 60173 195287 | 76096 70697 59 | 0.000 % |
59.92/60.02 c | 108042 | 900 60173 195287 | 76096 71071 59 | 0.000 % |
60.32/60.45 c | 108451 | 900 60173 195287 | 76096 71480 60 | 0.000 % |
60.71/60.83 c | 108903 | 900 60173 195287 | 76096 71932 60 | 0.000 % |
61.11/61.28 c | 109397 | 900 60173 195287 | 76096 72426 60 | 0.000 % |
61.71/61.81 c | 109939 | 900 60173 195287 | 76096 72968 60 | 0.000 % |
62.31/62.42 c | 110535 | 900 60173 195287 | 73031 61411 60 | 0.000 % |
63.11/63.23 c | 111191 | 900 60173 195287 | 73031 62067 60 | 0.000 % |
63.72/63.82 c | 111911 | 900 60173 195287 | 73031 62787 60 | 0.000 % |
64.41/64.52 c | 112705 | 900 60173 195287 | 73031 63581 60 | 0.000 % |
65.01/65.19 c | 113576 | 900 60173 195287 | 73031 64452 60 | 0.000 % |
66.41/66.55 c | 114539 | 900 60173 195287 | 73031 65415 60 | 0.000 % |
67.41/67.54 c | 115592 | 900 60173 195287 | 73031 66468 61 | 0.000 % |
68.71/68.80 c | 116750 | 900 60173 195287 | 73031 67626 62 | 0.000 % |
69.71/69.85 c | 118024 | 900 60173 195287 | 73031 68900 62 | 0.000 % |
69.81/69.96 c | 118124 | 900 60173 195287 | 73031 69000 62 | 0.000 % |
70.01/70.10 c | 118234 | 900 60173 195287 | 73031 69110 62 | 0.000 % |
70.11/70.22 c | 118360 | 900 60173 195287 | 73031 69236 62 | 0.000 % |
70.22/70.31 c | 118493 | 900 60173 195287 | 73031 69369 62 | 0.017 % |
70.32/70.44 c | 118641 | 900 60173 195287 | 73031 69517 62 | 0.000 % |
70.41/70.55 c | 118802 | 900 60173 195287 | 73031 69678 62 | 0.000 % |
70.51/70.67 c | 118981 | 900 60173 195287 | 73031 69857 62 | 0.020 % |
70.71/70.85 c | 119176 | 900 60173 195287 | 73031 70052 61 | 0.000 % |
70.91/71.03 c | 119388 | 900 60173 195287 | 73031 70264 61 | 0.000 % |
71.11/71.24 c | 119621 | 900 60173 195287 | 73031 70497 61 | 0.016 % |
71.31/71.47 c | 119878 | 900 60173 195287 | 73031 70754 61 | 0.000 % |
71.61/71.78 c | 120161 | 900 60173 195287 | 70876 71037 61 | 0.000 % |
71.91/72.09 c | 120471 | 900 60173 195287 | 70876 59061 58 | 0.020 % |
72.21/72.35 c | 120812 | 900 60173 195287 | 70876 59402 58 | 0.000 % |
72.41/72.60 c | 121184 | 900 60173 195287 | 70876 59774 58 | 0.016 % |
72.71/72.89 c | 121593 | 900 60173 195287 | 70876 60183 58 | 0.000 % |
73.21/73.36 c | 122044 | 900 60173 195287 | 70876 60634 58 | 0.000 % |
73.81/74.00 c | 122537 | 900 60173 195287 | 70876 61127 58 | 0.000 % |
74.51/74.62 c | 123079 | 900 60173 195287 | 70876 61669 59 | 0.000 % |
75.11/75.28 c | 123677 | 900 60173 195287 | 70876 62267 59 | 0.000 % |
75.51/75.69 c | 124334 | 900 60173 195287 | 70876 62924 59 | 0.000 % |
76.11/76.21 c | 125056 | 900 60173 195287 | 70876 63646 59 | 0.000 % |
76.81/76.97 c | 125848 | 900 60173 195287 | 70876 64438 59 | 0.000 % |
77.61/77.79 c | 126720 | 900 60173 195287 | 70876 65310 59 | 0.000 % |
78.51/78.66 c | 127678 | 900 60173 195287 | 70876 66268 60 | 0.000 % |
79.30/79.44 c | 128733 | 900 60173 195287 | 70876 67323 60 | 0.000 % |
80.40/80.59 c | 129891 | 900 60173 195287 | 70876 68481 60 | 0.000 % |
81.50/81.60 c | 131166 | 900 60173 195287 | 68591 58163 59 | 0.000 % |
82.60/82.75 c | 132567 | 900 60173 195287 | 68591 59564 59 | 0.018 % |
82.70/82.88 c | 132667 | 900 60173 195287 | 68591 59664 59 | 0.000 % |
82.90/83.03 c | 132779 | 900 60173 195287 | 68591 59776 59 | 0.000 % |
83.00/83.16 c | 132901 | 900 60173 195287 | 68591 59898 59 | 0.019 % |
83.10/83.27 c | 133037 | 900 60173 195287 | 68591 60034 59 | 0.021 % |
83.30/83.48 c | 133184 | 900 60173 195287 | 68591 60181 59 | 0.000 % |
83.51/83.61 c | 133344 | 900 60173 195287 | 68591 60341 59 | 0.000 % |
83.60/83.72 c | 133522 | 900 60173 195287 | 68591 60519 59 | 0.000 % |
83.80/83.95 c | 133716 | 900 60173 195287 | 68591 60713 59 | 0.000 % |
83.90/84.08 c | 133930 | 900 60173 195287 | 68591 60927 59 | 0.016 % |
84.10/84.23 c | 134163 | 900 60173 195287 | 68591 61160 59 | 0.020 % |
84.20/84.38 c | 134421 | 900 60173 195287 | 68591 61418 59 | 0.016 % |
84.40/84.58 c | 134704 | 900 60173 195287 | 68591 61701 59 | 0.000 % |
84.70/84.84 c | 135013 | 900 60173 195287 | 68591 62010 59 | 0.019 % |
85.00/85.18 c | 135352 | 900 60173 195287 | 68591 62349 59 | 0.000 % |
85.40/85.50 c | 135728 | 900 60173 195287 | 68591 62725 59 | 0.000 % |
85.71/85.80 c | 136138 | 900 60173 195287 | 68591 63135 59 | 0.021 % |
86.00/86.13 c | 136588 | 900 60173 195287 | 68591 63585 59 | 0.019 % |
86.60/86.76 c | 137082 | 900 60173 195287 | 68591 64079 60 | 0.000 % |
87.40/87.56 c | 137625 | 900 60173 195287 | 68591 64622 60 | 0.000 % |
88.10/88.20 c | 138223 | 900 60173 195287 | 68591 65220 60 | 0.000 % |
88.80/88.90 c | 138878 | 900 60173 195287 | 68591 65875 60 | 0.000 % |
89.20/89.33 c | 139598 | 900 60173 195287 | 68591 66595 60 | 0.000 % |
90.20/90.34 c | 140391 | 900 60173 195287 | 66999 55233 59 | 0.000 % |
91.00/91.19 c | 141263 | 900 60173 195287 | 66999 56105 59 | 0.000 % |
91.90/92.07 c | 142225 | 900 60173 195287 | 66999 57067 59 | 0.000 % |
92.70/92.82 c | 143278 | 900 60173 195287 | 66999 58120 59 | 0.019 % |
93.50/93.66 c | 144436 | 900 60173 195287 | 66999 59278 59 | 0.000 % |
94.60/94.70 c | 145709 | 900 60173 195287 | 66999 60551 59 | 0.016 % |
95.30/95.49 c | 147109 | 900 60173 195287 | 66999 61951 58 | 0.000 % |
96.30/96.43 c | 148649 | 900 60173 195287 | 66999 63491 58 | 0.000 % |
96.40/96.51 c | 148749 | 900 60173 195287 | 66999 63591 58 | 0.000 % |
96.50/96.63 c | 148860 | 900 60173 195287 | 66999 63702 58 | 0.017 % |
96.50/96.69 c | 148981 | 900 60173 195287 | 66999 63823 58 | 0.017 % |
96.60/96.80 c | 149116 | 900 60173 195287 | 66999 63958 58 | 0.000 % |
96.80/96.91 c | 149262 | 900 60173 195287 | 66999 64104 58 | 0.000 % |
96.90/97.03 c | 149425 | 900 60173 195287 | 66999 64267 58 | 0.000 % |
97.10/97.21 c | 149602 | 900 60173 195287 | 66999 64444 58 | 0.018 % |
97.20/97.37 c | 149797 | 900 60173 195287 | 66999 64639 58 | 0.000 % |
97.49/97.66 c | 150010 | 900 60173 195287 | 64843 64852 58 | 0.000 % |
97.80/97.97 c | 150244 | 900 60173 195287 | 64843 55156 57 | 0.000 % |
97.99/98.19 c | 150501 | 900 60173 195287 | 64843 55413 57 | 0.000 % |
98.29/98.48 c | 150783 | 900 60173 195287 | 64843 55695 57 | 0.000 % |
98.59/98.74 c | 151092 | 900 60173 195287 | 64843 56004 57 | 0.000 % |
98.90/99.02 c | 151431 | 900 60173 195287 | 64843 56343 57 | 0.000 % |
99.19/99.37 c | 151805 | 900 60173 195287 | 64843 56717 57 | 0.000 % |
99.59/99.71 c | 152214 | 900 60173 195287 | 64843 57126 57 | 0.000 % |
99.90/100.05 c | 152663 | 900 60173 195287 | 64843 57575 58 | 0.000 % |
100.29/100.49 c | 153156 | 900 60173 195287 | 64843 58068 58 | 0.000 % |
100.89/101.07 c | 153699 | 900 60173 195287 | 64843 58611 58 | 0.000 % |
101.39/101.50 c | 154296 | 900 60173 195287 | 64843 59208 58 | 0.019 % |
101.89/102.00 c | 154951 | 900 60173 195287 | 64843 59863 58 | 0.019 % |
102.50/102.66 c | 155671 | 900 60173 195287 | 64843 60583 58 | 0.000 % |
103.10/103.20 c | 156463 | 900 60173 195287 | 64843 61375 58 | 0.019 % |
103.70/103.86 c | 157334 | 900 60173 195287 | 64843 62246 57 | 0.019 % |
104.50/104.63 c | 158293 | 900 60173 195287 | 64843 63205 57 | 0.000 % |
105.40/105.53 c | 159346 | 900 60173 195287 | 64843 64258 57 | 0.000 % |
106.20/106.40 c | 160505 | 900 60173 195287 | 64913 55586 54 | 0.019 % |
107.50/107.63 c | 161779 | 900 60173 195287 | 64913 56860 55 | 0.000 % |
108.80/108.94 c | 163181 | 900 60173 195287 | 64913 58262 56 | 0.000 % |
110.00/110.18 c | 164723 | 900 60173 195287 | 64913 59804 56 | 0.000 % |
111.30/111.48 c | 166419 | 900 60173 195287 | 64913 61500 57 | 0.000 % |
111.40/111.54 c | 166519 | 900 60173 195287 | 64913 61600 57 | 0.000 % |
111.50/111.68 c | 166630 | 900 60173 195287 | 64913 61711 57 | 0.000 % |
111.70/111.81 c | 166752 | 900 60173 195287 | 64913 61833 57 | 0.000 % |
111.80/111.94 c | 166886 | 900 60173 195287 | 64913 61967 57 | 0.019 % |
111.90/112.08 c | 167035 | 900 60173 195287 | 64913 62116 57 | 0.000 % |
112.10/112.26 c | 167196 | 900 60173 195287 | 64913 62277 57 | 0.000 % |
112.19/112.37 c | 167372 | 900 60173 195287 | 64913 62453 57 | 0.000 % |
112.29/112.50 c | 167568 | 900 60173 195287 | 64913 62649 57 | 0.000 % |
112.59/112.76 c | 167782 | 900 60173 195287 | 64913 62863 57 | 0.000 % |
112.79/112.92 c | 168015 | 900 60173 195287 | 64913 63096 57 | 0.000 % |
112.99/113.10 c | 168272 | 900 60173 195287 | 64913 63353 58 | 0.000 % |
113.20/113.34 c | 168553 | 900 60173 195287 | 64913 63634 58 | 0.000 % |
113.49/113.68 c | 168866 | 900 60173 195287 | 64913 63947 58 | 0.000 % |
113.79/113.97 c | 169206 | 900 60173 195287 | 64913 64287 58 | 0.000 % |
114.09/114.23 c | 169583 | 900 60173 195287 | 64913 64664 58 | 0.000 % |
114.59/114.77 c | 169995 | 900 60173 195287 | 64913 65076 58 | 0.000 % |
115.09/115.28 c | 170444 | 900 60173 195287 | 54721 46699 54 | 0.000 % |
115.49/115.61 c | 170937 | 900 60173 195287 | 54721 47192 54 | 0.000 % |
115.79/115.92 c | 171479 | 900 60173 195287 | 54721 47734 54 | 0.015 % |
116.19/116.33 c | 172075 | 900 60173 195287 | 54721 48330 54 | 0.020 % |
116.79/116.91 c | 172730 | 900 60173 195287 | 54721 48985 55 | 0.000 % |
117.29/117.46 c | 173453 | 900 60173 195287 | 54721 49708 55 | 0.000 % |
117.89/118.06 c | 174246 | 900 60173 195287 | 54721 50501 55 | 0.000 % |
118.39/118.57 c | 175117 | 900 60173 195287 | 54721 51372 55 | 0.000 % |
119.09/119.21 c | 176077 | 900 60173 195287 | 54721 52332 55 | 0.017 % |
119.99/120.10 c | 177130 | 900 60173 195287 | 54721 53385 56 | 0.000 % |
121.09/121.29 c | 178288 | 900 60173 195287 | 54721 54543 57 | 0.000 % |
122.19/122.38 c | 179562 | 900 60173 195287 | 54721 49246 56 | 0.000 % |
123.59/123.71 c | 180962 | 900 60173 195287 | 49684 44694 57 | 0.000 % |
124.59/124.74 c | 182504 | 900 60173 195287 | 49684 46236 58 | 0.000 % |
125.89/126.04 c | 184200 | 900 60173 195287 | 49684 47932 59 | 0.000 % |
127.29/127.42 c | 186063 | 900 60173 195287 | 49684 49795 60 | 0.000 % |
127.39/127.59 c | 186163 | 900 60173 195287 | 49684 44036 60 | 0.000 % |
127.49/127.67 c | 186275 | 900 60173 195287 | 49684 44148 60 | 0.000 % |
127.59/127.76 c | 186396 | 900 60173 195287 | 49684 44269 60 | 0.000 % |
127.69/127.87 c | 186529 | 900 60173 195287 | 49684 44402 60 | 0.000 % |
127.89/128.01 c | 186675 | 900 60173 195287 | 49684 44548 60 | 0.000 % |
127.89/128.10 c | 186838 | 900 60173 195287 | 49684 44711 60 | 0.000 % |
128.09/128.20 c | 187014 | 900 60173 195287 | 49684 44887 60 | 0.000 % |
128.19/128.35 c | 187207 | 900 60173 195287 | 49684 45080 60 | 0.000 % |
128.29/128.50 c | 187421 | 900 60173 195287 | 49684 45294 60 | 0.000 % |
128.49/128.66 c | 187656 | 900 60173 195287 | 49684 45529 60 | 0.000 % |
128.69/128.80 c | 187912 | 900 60173 195287 | 49684 45785 60 | 0.019 % |
128.79/128.94 c | 188195 | 900 60173 195287 | 49684 46068 60 | 0.000 % |
128.98/129.14 c | 188506 | 900 60173 195287 | 49684 46379 60 | 0.000 % |
129.28/129.42 c | 188845 | 900 60173 195287 | 49684 46718 60 | 0.000 % |
129.48/129.66 c | 189218 | 900 60173 195287 | 49684 47091 60 | 0.000 % |
129.78/129.99 c | 189627 | 900 60173 195287 | 49684 47500 60 | 0.000 % |
130.08/130.24 c | 190076 | 900 60173 195287 | 47873 47949 60 | 0.018 % |
130.58/130.72 c | 190574 | 900 60173 195287 | 47873 43259 61 | 0.000 % |
131.08/131.22 c | 191118 | 900 60173 195287 | 47873 43803 61 | 0.000 % |
131.48/131.60 c | 191714 | 900 60173 195287 | 47873 44399 62 | 0.000 % |
131.98/132.12 c | 192369 | 900 60173 195287 | 47873 45054 62 | 0.000 % |
132.48/132.68 c | 193090 | 900 60173 195287 | 47873 45775 62 | 0.000 % |
133.08/133.22 c | 193884 | 900 60173 195287 | 47873 46569 63 | 0.000 % |
133.68/133.85 c | 194757 | 900 60173 195287 | 47873 47442 64 | 0.000 % |
134.48/134.65 c | 195716 | 900 60173 195287 | 47873 43209 62 | 0.000 % |
135.28/135.42 c | 196769 | 900 60173 195287 | 47873 44262 63 | 0.000 % |
136.08/136.28 c | 197928 | 900 60173 195287 | 47873 45421 63 | 0.000 % |
137.18/137.31 c | 199201 | 900 60173 195287 | 47873 46694 63 | 0.020 % |
138.18/138.32 c | 200601 | 900 60173 195287 | 47493 42691 62 | 0.000 % |
139.18/139.30 c | 202141 | 900 60173 195287 | 47493 44231 62 | 0.000 % |
140.18/140.37 c | 203835 | 900 60173 195287 | 47493 45925 62 | 0.016 % |
141.48/141.62 c | 205698 | 900 60173 195287 | 47493 47788 62 | 0.017 % |
142.98/143.11 c | 207747 | 900 60173 195287 | 47493 45022 61 | 0.000 % |
143.08/143.21 c | 207848 | 900 60173 195287 | 47493 45123 61 | 0.019 % |
143.08/143.29 c | 207959 | 900 60173 195287 | 47493 45234 61 | 0.000 % |
143.18/143.39 c | 208081 | 900 60173 195287 | 47493 45356 61 | 0.000 % |
143.38/143.53 c | 208214 | 900 60173 195287 | 47493 45489 61 | 0.000 % |
143.48/143.65 c | 208362 | 900 60173 195287 | 47493 45637 61 | 0.000 % |
143.58/143.78 c | 208527 | 900 60173 195287 | 47493 45802 61 | 0.000 % |
143.78/143.95 c | 208704 | 900 60173 195287 | 47493 45979 61 | 0.000 % |
143.98/144.11 c | 208897 | 900 60173 195287 | 47493 46172 61 | 0.000 % |
144.18/144.30 c | 209109 | 900 60173 195287 | 47493 46384 62 | 0.000 % |
144.28/144.48 c | 209347 | 900 60173 195287 | 47493 46622 62 | 0.000 % |
144.48/144.69 c | 209606 | 900 60173 195287 | 47493 46881 62 | 0.000 % |
144.68/144.87 c | 209887 | 900 60173 195287 | 47493 47162 62 | 0.016 % |
144.88/145.07 c | 210197 | 900 60173 195287 | 2147483647 47472 62 | 0.000 % |
145.08/145.29 c | 210536 | 900 60173 195287 | 2147483647 47811 62 | 0.000 % |
145.48/145.63 c | 210910 | 900 60173 195287 | 2147483647 48185 62 | 0.000 % |
145.78/145.97 c | 211323 | 900 60173 195287 | 2147483647 48598 62 | 0.000 % |
146.18/146.37 c | 211773 | 900 60173 195287 | 2147483647 49048 62 | 0.000 % |
146.68/146.88 c | 212266 | 900 60173 195287 | 2147483647 49541 63 | 0.000 % |
147.18/147.39 c | 212808 | 900 60173 195287 | 2147483647 50083 63 | 0.000 % |
147.68/147.85 c | 213404 | 900 60173 195287 | 2147483647 50679 63 | 0.000 % |
148.28/148.40 c | 214060 | 900 60173 195287 | 2147483647 51335 63 | 0.000 % |
148.78/148.95 c | 214780 | 900 60173 195287 | 2147483647 52055 63 | 0.000 % |
149.38/149.51 c | 215572 | 900 60173 195287 | 2147483647 52847 63 | 0.000 % |
150.28/150.41 c | 216443 | 900 60173 195287 | 2147483647 53718 64 | 0.000 % |
150.88/151.09 c | 217401 | 900 60173 195287 | 2147483647 54676 64 | 0.000 % |
151.68/151.86 c | 218456 | 900 60173 195287 | 2147483647 55731 64 | 0.000 % |
152.57/152.76 c | 219616 | 900 60173 195287 | 2147483647 56891 64 | 0.000 % |
153.78/153.90 c | 220890 | 900 60173 195287 | 57275 50090 61 | 0.000 % |
154.67/154.88 c | 222294 | 900 60173 195287 | 57275 51494 61 | 0.000 % |
155.98/156.16 c | 223834 | 900 60173 195287 | 57275 53034 61 | 0.000 % |
157.08/157.20 c | 225530 | 900 60173 195287 | 57275 54730 61 | 0.021 % |
159.07/159.28 c | 227393 | 900 60173 195287 | 57275 56593 63 | 0.000 % |
160.77/160.90 c | 229444 | 900 60173 195287 | 57275 50504 61 | 0.000 % |
162.67/162.88 c | 231697 | 900 60173 195287 | 51061 45453 59 | 0.017 % |
162.77/162.97 c | 231798 | 900 60173 195287 | 51061 45554 59 | 0.000 % |
162.87/163.03 c | 231911 | 900 60173 195287 | 51061 45667 59 | 0.017 % |
162.97/163.13 c | 232032 | 900 60173 195287 | 51061 45788 59 | 0.000 % |
163.07/163.23 c | 232165 | 900 60173 195287 | 51061 45921 59 | 0.000 % |
163.17/163.35 c | 232312 | 900 60173 195287 | 51061 46068 59 | 0.000 % |
163.27/163.48 c | 232474 | 900 60173 195287 | 51061 46230 59 | 0.000 % |
163.47/163.60 c | 232650 | 900 60173 195287 | 51061 46406 59 | 0.000 % |
163.57/163.76 c | 232843 | 900 60173 195287 | 51061 46599 59 | 0.000 % |
163.67/163.90 c | 233055 | 900 60173 195287 | 51061 46811 59 | 0.000 % |
163.87/164.09 c | 233288 | 900 60173 195287 | 51061 47044 59 | 0.000 % |
164.17/164.33 c | 233548 | 900 60173 195287 | 51061 47304 59 | 0.020 % |
164.47/164.67 c | 233832 | 900 60173 195287 | 51061 47588 60 | 0.000 % |
164.67/164.90 c | 234141 | 900 60173 195287 | 51061 47897 60 | 0.000 % |
164.97/165.12 c | 234480 | 900 60173 195287 | 51061 48236 60 | 0.000 % |
165.17/165.38 c | 234852 | 900 60173 195287 | 51061 48608 60 | 0.000 % |
165.47/165.67 c | 235265 | 900 60173 195287 | 51061 49021 60 | 0.000 % |
165.77/165.99 c | 235715 | 900 60173 195287 | 51061 49471 60 | 0.000 % |
166.17/166.33 c | 236209 | 900 60173 195287 | 51061 49965 60 | 0.000 % |
166.57/166.71 c | 236751 | 900 60173 195287 | 51061 50507 60 | 0.000 % |
166.97/167.12 c | 237348 | 900 60173 195287 | 51061 51104 60 | 0.000 % |
167.46/167.62 c | 238003 | 900 60173 195287 | 51061 45478 59 | 0.000 % |
168.07/168.27 c | 238723 | 900 60173 195287 | 51061 46198 60 | 0.000 % |
168.77/168.93 c | 239519 | 900 60173 195287 | 51061 46994 61 | 0.000 % |
169.56/169.74 c | 240392 | 900 60173 195287 | 47478 47867 62 | 0.000 % |
170.27/170.45 c | 241351 | 900 60173 195287 | 47478 42836 61 | 0.000 % |
170.96/171.19 c | 242404 | 900 60173 195287 | 47478 43889 61 | 0.000 % |
171.86/172.04 c | 243567 | 900 60173 195287 | 47478 45052 61 | 0.000 % |
173.16/173.34 c | 244840 | 900 60173 195287 | 47478 46325 63 | 0.000 % |
174.36/174.55 c | 246244 | 900 60173 195287 | 47478 47729 64 | 0.000 % |
175.46/175.61 c | 247787 | 900 60173 195287 | 47478 43062 62 | 0.000 % |
176.56/176.71 c | 249483 | 900 60173 195287 | 47478 44758 63 | 0.000 % |
177.86/178.04 c | 251346 | 900 60173 195287 | 45277 41026 63 | 0.000 % |
179.46/179.60 c | 253397 | 900 60173 195287 | 45277 43077 62 | 0.000 % |
180.76/180.98 c | 255651 | 900 60173 195287 | 45277 45331 61 | 0.017 % |
182.27/182.45 c | 258129 | 900 60173 195287 | 45277 42111 57 | 0.017 % |
182.37/182.51 c | 258231 | 900 60173 195287 | 45277 42213 57 | 0.000 % |
182.37/182.58 c | 258341 | 900 60173 195287 | 45277 42323 57 | 0.019 % |
182.47/182.66 c | 258463 | 900 60173 195287 | 45277 42445 57 | 0.019 % |
182.57/182.75 c | 258598 | 900 60173 195287 | 45277 42580 57 | 0.019 % |
182.77/182.92 c | 258746 | 900 60173 195287 | 45277 42728 57 | 0.000 % |
182.87/183.01 c | 258906 | 900 60173 195287 | 45277 42888 57 | 0.016 % |
182.97/183.12 c | 259083 | 900 60173 195287 | 45277 43065 57 | 0.000 % |
183.17/183.31 c | 259277 | 900 60173 195287 | 45277 43259 58 | 0.000 % |
183.37/183.50 c | 259489 | 900 60173 195287 | 45277 43471 58 | 0.000 % |
183.47/183.70 c | 259722 | 900 60173 195287 | 45277 43704 58 | 0.000 % |
183.77/183.90 c | 259981 | 900 60173 195287 | 45277 43963 58 | 0.000 % |
183.97/184.10 c | 260262 | 900 60173 195287 | 43982 44244 58 | 0.017 % |
184.17/184.32 c | 260574 | 900 60173 195287 | 43982 39602 56 | 0.000 % |
184.47/184.70 c | 260913 | 900 60173 195287 | 43982 39941 57 | 0.000 % |
184.86/185.04 c | 261289 | 900 60173 195287 | 43982 40317 57 | 0.000 % |
185.16/185.35 c | 261698 | 900 60173 195287 | 43982 40726 57 | 0.000 % |
185.46/185.64 c | 262147 | 900 60173 195287 | 43982 41175 58 | 0.000 % |
185.96/186.11 c | 262642 | 900 60173 195287 | 43982 41670 58 | 0.000 % |
186.36/186.50 c | 263186 | 900 60173 195287 | 43982 42214 58 | 0.000 % |
186.66/186.87 c | 263784 | 900 60173 195287 | 43982 42812 58 | 0.000 % |
187.16/187.31 c | 264439 | 900 60173 195287 | 43982 43467 59 | 0.000 % |
187.66/187.87 c | 265159 | 900 60173 195287 | 43982 44187 59 | 0.017 % |
188.26/188.43 c | 265951 | 900 60173 195287 | 43982 40561 58 | 0.000 % |
188.76/188.91 c | 266827 | 900 60173 195287 | 43982 41437 58 | 0.020 % |
189.26/189.48 c | 267785 | 900 60173 195287 | 43982 42395 58 | 0.000 % |
189.96/190.13 c | 268838 | 900 60173 195287 | 43982 43448 58 | 0.000 % |
190.66/190.80 c | 269996 | 900 60173 195287 | 43982 40169 55 | 0.020 % |
191.36/191.56 c | 271270 | 900 60173 195287 | 2147483647 41443 56 | 0.000 % |
192.26/192.48 c | 272670 | 900 60173 195287 | 2147483647 42843 56 | 0.000 % |
193.36/193.50 c | 274216 | 900 60173 195287 | 2147483647 44389 56 | 0.000 % |
194.26/194.48 c | 275910 | 900 60173 195287 | 2147483647 46083 56 | 0.000 % |
195.46/195.61 c | 277773 | 900 60173 195287 | 2147483647 47946 57 | 0.000 % |
196.76/196.93 c | 279822 | 900 60173 195287 | 2147483647 49995 56 | 0.000 % |
198.36/198.55 c | 282075 | 900 60173 195287 | 2147483647 52248 57 | 0.000 % |
200.66/200.81 c | 284553 | 900 60173 195287 | 2147483647 54726 59 | 0.000 % |
203.26/203.47 c | 287278 | 900 60173 195287 | 2147483647 57451 61 | 0.000 % |
203.36/203.57 c | 287378 | 900 60173 195287 | 2147483647 57551 61 | 0.019 % |
203.46/203.67 c | 287490 | 900 60173 195287 | 2147483647 57663 61 | 0.000 % |
203.56/203.79 c | 287612 | 900 60173 195287 | 2147483647 57785 61 | 0.018 % |
203.76/203.90 c | 287745 | 900 60173 195287 | 2147483647 57918 61 | 0.000 % |
203.86/204.01 c | 287892 | 900 60173 195287 | 2147483647 58065 61 | 0.000 % |
203.96/204.17 c | 288052 | 900 60173 195287 | 2147483647 58225 61 | 0.000 % |
204.16/204.39 c | 288228 | 900 60173 195287 | 2147483647 58401 61 | 0.000 % |
204.36/204.56 c | 288422 | 900 60173 195287 | 2147483647 58595 61 | 0.000 % |
204.56/204.78 c | 288634 | 900 60173 195287 | 2147483647 58807 61 | 0.000 % |
204.76/204.96 c | 288867 | 900 60173 195287 | 2147483647 59040 61 | 0.000 % |
204.96/205.15 c | 289123 | 900 60173 195287 | 2147483647 59296 61 | 0.000 % |
205.16/205.36 c | 289404 | 900 60173 195287 | 2147483647 59577 61 | 0.019 % |
205.46/205.65 c | 289713 | 900 60173 195287 | 2147483647 59886 61 | 0.019 % |
205.86/206.00 c | 290053 | 900 60173 195287 | 60173 60226 61 | 0.019 % |
206.26/206.40 c | 290425 | 900 60173 195287 | 60173 52429 58 | 0.000 % |
206.66/206.82 c | 290834 | 900 60173 195287 | 60173 52838 58 | 0.000 % |
206.85/207.07 c | 291283 | 900 60173 195287 | 60173 53287 58 | 0.000 % |
207.15/207.37 c | 291776 | 900 60173 195287 | 60173 53780 59 | 0.000 % |
207.55/207.73 c | 292321 | 900 60173 195287 | 60173 54325 58 | 0.000 % |
207.85/208.04 c | 292917 | 900 60173 195287 | 60173 54921 58 | 0.019 % |
208.45/208.62 c | 293572 | 900 60173 195287 | 60173 55576 58 | 0.000 % |
209.05/209.26 c | 294292 | 900 60173 195287 | 60173 56296 59 | 0.000 % |
209.65/209.81 c | 295084 | 900 60173 195287 | 60173 57088 59 | 0.000 % |
210.45/210.60 c | 295957 | 900 60173 195287 | 60173 57961 60 | 0.000 % |
211.35/211.54 c | 296915 | 900 60173 195287 | 60173 58919 61 | 0.000 % |
212.25/212.46 c | 297969 | 900 60173 195287 | 60173 59973 61 | 0.000 % |
213.25/213.46 c | 299128 | 900 60173 195287 | 60173 52741 63 | 0.000 % |
214.05/214.24 c | 300401 | 900 60173 195287 | 53613 54014 63 | 0.000 % |
215.05/215.27 c | 301801 | 900 60173 195287 | 53613 48215 60 | 0.019 % |
215.95/216.17 c | 303342 | 900 60173 195287 | 53613 49756 60 | 0.017 % |
216.95/217.18 c | 305036 | 900 60173 195287 | 53613 51450 60 | 0.000 % |
218.85/219.05 c | 306900 | 900 60173 195287 | 53613 53314 61 | 0.000 % |
220.55/220.72 c | 308950 | 900 60173 195287 | 53613 48813 61 | 0.000 % |
222.05/222.21 c | 311204 | 900 60173 195287 | 49863 45249 61 | 0.000 % |
223.75/223.93 c | 313684 | 900 60173 195287 | 49863 47729 61 | 0.017 % |
225.75/225.92 c | 316410 | 900 60173 195287 | 49863 44140 57 | 0.000 % |
228.25/228.49 c | 319408 | 900 60173 195287 | 49863 47138 57 | 0.000 % |
228.35/228.59 c | 319511 | 900 60173 195287 | 49863 47241 57 | 0.000 % |
228.45/228.70 c | 319621 | 900 60173 195287 | 49863 47351 57 | 0.000 % |
228.65/228.82 c | 319742 | 900 60173 195287 | 49863 47472 57 | 0.000 % |
228.75/228.94 c | 319877 | 900 60173 195287 | 49863 47607 57 | 0.000 % |
228.85/229.05 c | 320025 | 900 60173 195287 | 47731 47755 57 | 0.000 % |
229.05/229.28 c | 320185 | 900 60173 195287 | 47731 41464 55 | 0.000 % |
229.15/229.39 c | 320362 | 900 60173 195287 | 47731 41641 55 | 0.000 % |
229.35/229.54 c | 320557 | 900 60173 195287 | 47731 41836 55 | 0.000 % |
229.55/229.75 c | 320771 | 900 60173 195287 | 47731 42050 55 | 0.000 % |
229.75/229.92 c | 321006 | 900 60173 195287 | 47731 42285 55 | 0.000 % |
229.95/230.19 c | 321264 | 900 60173 195287 | 47731 42543 56 | 0.000 % |
230.25/230.43 c | 321546 | 900 60173 195287 | 47731 42825 56 | 0.000 % |
230.45/230.66 c | 321859 | 900 60173 195287 | 47731 43138 56 | 0.000 % |
230.75/230.95 c | 322198 | 900 60173 195287 | 47731 43477 57 | 0.020 % |
231.04/231.29 c | 322571 | 900 60173 195287 | 47731 43850 57 | 0.000 % |
231.44/231.67 c | 322980 | 900 60173 195287 | 47731 44259 57 | 0.000 % |
231.74/231.99 c | 323429 | 900 60173 195287 | 47731 44708 57 | 0.000 % |
232.24/232.41 c | 323924 | 900 60173 195287 | 47731 45203 58 | 0.000 % |
232.54/232.76 c | 324466 | 900 60173 195287 | 47731 45745 58 | 0.000 % |
233.04/233.27 c | 325063 | 900 60173 195287 | 47731 46342 59 | 0.000 % |
233.74/233.92 c | 325720 | 900 60173 195287 | 47731 46999 59 | 0.000 % |
234.34/234.50 c | 326440 | 900 60173 195287 | 47731 47719 60 | 0.000 % |
234.84/235.08 c | 327232 | 900 60173 195287 | 47731 42569 58 | 0.000 % |
235.54/235.74 c | 328106 | 900 60173 195287 | 47731 43443 58 | 0.000 % |
236.24/236.44 c | 329067 | 900 60173 195287 | 47731 44404 59 | 0.000 % |
237.04/237.24 c | 330122 | 900 60173 195287 | 45337 45459 60 | 0.000 % |
237.94/238.18 c | 331282 | 900 60173 195287 | 45337 41615 61 | 0.000 % |
238.84/239.07 c | 332559 | 900 60173 195287 | 45337 42892 61 | 0.000 % |
240.04/240.21 c | 333959 | 900 60173 195287 | 45337 44292 63 | 0.000 % |
241.04/241.26 c | 335500 | 900 60173 195287 | 45337 41257 64 | 0.000 % |
242.64/242.82 c | 337194 | 900 60173 195287 | 45337 42951 65 | 0.000 % |
243.74/243.99 c | 339057 | 900 60173 195287 | 45337 44814 65 | 0.000 % |
245.84/246.09 c | 341110 | 900 60173 195287 | 2147483647 42298 66 | 0.000 % |
247.83/248.03 c | 343363 | 900 60173 195287 | 2147483647 44551 66 | 0.000 % |
249.93/250.11 c | 345842 | 900 60173 195287 | 2147483647 47030 67 | 0.000 % |
252.03/252.26 c | 348570 | 900 60173 195287 | 2147483647 49758 67 | 0.000 % |
255.63/255.88 c | 351568 | 900 60173 195287 | 51190 45766 71 | 0.000 % |
259.44/259.66 c | 354866 | 900 60173 195287 | 51190 49064 73 | 0.000 % |
259.53/259.80 c | 354967 | 900 60173 195287 | 51190 49165 73 | 0.000 % |
259.73/259.92 c | 355077 | 900 60173 195287 | 51190 49275 73 | 0.000 % |
259.93/260.15 c | 355199 | 900 60173 195287 | 51190 49397 73 | 0.000 % |
260.03/260.28 c | 355332 | 900 60173 195287 | 51190 49530 73 | 0.000 % |
260.23/260.44 c | 355480 | 900 60173 195287 | 51190 49678 73 | 0.000 % |
260.43/260.67 c | 355640 | 900 60173 195287 | 51190 49838 73 | 0.000 % |
260.63/260.87 c | 355819 | 900 60173 195287 | 51190 50017 73 | 0.000 % |
260.93/261.10 c | 356014 | 900 60173 195287 | 51190 50212 73 | 0.000 % |
261.23/261.48 c | 356228 | 900 60173 195287 | 51190 50426 73 | 0.000 % |
261.53/261.75 c | 356464 | 900 60173 195287 | 51190 50662 73 | 0.000 % |
261.83/262.04 c | 356725 | 900 60173 195287 | 51190 50923 73 | 0.000 % |
262.03/262.26 c | 357006 | 900 60173 195287 | 51190 51204 73 | 0.000 % |
262.53/262.75 c | 357317 | 900 60173 195287 | 51190 42699 72 | 0.000 % |
262.83/263.00 c | 357660 | 900 60173 195287 | 51190 43042 73 | 0.000 % |
263.13/263.30 c | 358032 | 900 60173 195287 | 51190 43414 73 | 0.017 % |
263.43/263.66 c | 358442 | 900 60173 195287 | 51190 43824 73 | 0.000 % |
263.93/264.10 c | 358891 | 900 60173 195287 | 51190 44273 73 | 0.000 % |
264.43/264.67 c | 359387 | 900 60173 195287 | 51190 44769 73 | 0.000 % |
264.93/265.15 c | 359930 | 900 60173 195287 | 51190 45312 73 | 0.000 % |
265.53/265.73 c | 360528 | 900 60173 195287 | 45382 38045 70 | 0.000 % |
266.23/266.42 c | 361183 | 900 60173 195287 | 45382 38700 70 | 0.000 % |
266.83/267.07 c | 361906 | 900 60173 195287 | 45382 39423 71 | 0.000 % |
267.63/267.84 c | 362701 | 900 60173 195287 | 45382 40218 71 | 0.000 % |
268.43/268.63 c | 363573 | 900 60173 195287 | 45382 41090 72 | 0.000 % |
269.53/269.73 c | 364531 | 900 60173 195287 | 45382 42048 72 | 0.000 % |
270.62/270.88 c | 365586 | 900 60173 195287 | 45382 43103 73 | 0.000 % |
272.02/272.21 c | 366746 | 900 60173 195287 | 45382 44263 74 | 0.000 % |
273.32/273.51 c | 368019 | 900 60173 195287 | 45382 45536 74 | 0.000 % |
275.02/275.23 c | 369419 | 900 60173 195287 | 45382 39300 71 | 0.000 % |
276.42/276.61 c | 370961 | 900 60173 195287 | 39881 34161 71 | 0.000 % |
277.82/278.07 c | 372655 | 900 60173 195287 | 39881 35855 71 | 0.000 % |
279.32/279.58 c | 374518 | 900 60173 195287 | 39881 37718 72 | 0.000 % |
282.11/282.37 c | 376569 | 900 60173 195287 | 39881 39769 73 | 0.000 % |
284.72/284.99 c | 378823 | 900 60173 195287 | 39881 35580 71 | 0.000 % |
286.71/286.91 c | 381301 | 900 60173 195287 | 36759 32829 71 | 0.000 % |
288.71/288.99 c | 384028 | 900 60173 195287 | 36759 35556 72 | 0.000 % |
291.71/291.94 c | 387026 | 900 60173 195287 | 36759 34718 74 | 0.000 % |
294.81/295.08 c | 390322 | 900 60173 195287 | 33694 30464 74 | 0.000 % |
297.41/297.70 c | 393948 | 900 60173 195287 | 33694 30691 76 | 0.000 % |
297.51/297.76 c | 394048 | 900 60173 195287 | 33694 30791 76 | 0.000 % |
297.61/297.89 c | 394161 | 900 60173 195287 | 33694 30904 76 | 0.000 % |
297.81/298.02 c | 394284 | 900 60173 195287 | 33694 31027 76 | 0.000 % |
297.91/298.15 c | 394418 | 900 60173 195287 | 33694 31161 76 | 0.000 % |
298.01/298.26 c | 394564 | 900 60173 195287 | 33694 31307 76 | 0.000 % |
298.21/298.45 c | 394724 | 900 60173 195287 | 33694 31467 76 | 0.000 % |
298.41/298.63 c | 394900 | 900 60173 195287 | 33694 31643 76 | 0.000 % |
298.60/298.89 c | 395094 | 900 60173 195287 | 33694 31837 77 | 0.000 % |
298.91/299.18 c | 395308 | 900 60173 195287 | 33694 32051 77 | 0.000 % |
299.20/299.46 c | 395543 | 900 60173 195287 | 33694 32286 77 | 0.000 % |
299.50/299.76 c | 395800 | 900 60173 195287 | 33694 32543 77 | 0.000 % |
299.70/299.97 c | 396083 | 900 60173 195287 | 33694 32826 77 | 0.000 % |
300.11/300.32 c | 396393 | 900 60173 195287 | 33694 33136 77 | 0.000 % |
300.30/300.52 c | 396734 | 900 60173 195287 | 33694 33477 77 | 0.000 % |
300.60/300.81 c | 397106 | 900 60173 195287 | 33694 33849 77 | 0.000 % |
300.90/301.16 c | 397517 | 900 60173 195287 | 33694 30832 76 | 0.000 % |
301.50/301.71 c | 397968 | 900 60173 195287 | 33694 31283 76 | 0.000 % |
301.80/302.08 c | 398461 | 900 60173 195287 | 33694 31776 76 | 0.000 % |
302.10/302.37 c | 399004 | 900 60173 195287 | 33694 32319 76 | 0.000 % |
302.80/303.05 c | 399605 | 900 60173 195287 | 33694 32920 76 | 0.000 % |
303.40/303.61 c | 400263 | 900 60173 195287 | 2147483647 33578 77 | 0.000 % |
303.90/304.17 c | 400983 | 900 60173 195287 | 2147483647 34298 77 | 0.000 % |
304.50/304.74 c | 401776 | 900 60173 195287 | 2147483647 35091 77 | 0.000 % |
305.10/305.34 c | 402647 | 900 60173 195287 | 2147483647 35962 77 | 0.000 % |
305.80/306.08 c | 403607 | 900 60173 195287 | 2147483647 36922 77 | 0.000 % |
306.60/306.85 c | 404661 | 900 60173 195287 | 2147483647 37976 76 | 0.019 % |
307.20/307.49 c | 405821 | 900 60173 195287 | 2147483647 39136 76 | 0.000 % |
308.00/308.21 c | 407099 | 900 60173 195287 | 2147483647 40414 75 | 0.000 % |
309.40/309.66 c | 408502 | 900 60173 195287 | 2147483647 41817 76 | 0.000 % |
311.50/311.77 c | 410045 | 900 60173 195287 | 2147483647 43360 78 | 0.000 % |
313.40/313.61 c | 411742 | 900 60173 195287 | 2147483647 45057 79 | 0.000 % |
314.80/315.04 c | 413607 | 900 60173 195287 | 2147483647 46922 80 | 0.000 % |
316.90/317.16 c | 415657 | 900 60173 195287 | 2147483647 48972 79 | 0.000 % |
319.00/319.28 c | 417910 | 900 60173 195287 | 2147483647 51225 80 | 0.000 % |
321.80/322.04 c | 420389 | 900 60173 195287 | 53315 53704 79 | 0.000 % |
324.49/324.72 c | 423116 | 900 60173 195287 | 53315 47100 75 | 0.000 % |
328.09/328.33 c | 426113 | 900 60173 195287 | 53315 50097 75 | 0.000 % |
331.39/331.64 c | 429411 | 900 60173 195287 | 53315 53395 74 | 0.000 % |
334.09/334.36 c | 433036 | 900 60173 195287 | 43756 38759 64 | 0.000 % |
337.39/337.63 c | 437024 | 900 60173 195287 | 43756 42747 69 | 0.000 % |
337.49/337.74 c | 437124 | 900 60173 195287 | 43756 42847 69 | 0.000 % |
337.59/337.84 c | 437234 | 900 60173 195287 | 43756 42957 69 | 0.000 % |
337.69/337.94 c | 437356 | 900 60173 195287 | 43756 43079 69 | 0.000 % |
337.79/338.05 c | 437493 | 900 60173 195287 | 43756 43216 69 | 0.000 % |
337.89/338.16 c | 437640 | 900 60173 195287 | 43756 43363 69 | 0.000 % |
337.99/338.28 c | 437802 | 900 60173 195287 | 43756 43525 69 | 0.019 % |
338.09/338.39 c | 437981 | 900 60173 195287 | 43756 43704 69 | 0.000 % |
338.29/338.51 c | 438178 | 900 60173 195287 | 43756 43901 69 | 0.000 % |
338.39/338.68 c | 438391 | 900 60173 195287 | 43756 38970 66 | 0.020 % |
338.59/338.85 c | 438625 | 900 60173 195287 | 43756 39204 67 | 0.000 % |
338.79/339.02 c | 438882 | 900 60173 195287 | 43756 39461 66 | 0.000 % |
338.98/339.28 c | 439165 | 900 60173 195287 | 43756 39744 66 | 0.000 % |
339.18/339.48 c | 439474 | 900 60173 195287 | 43756 40053 66 | 0.000 % |
339.49/339.77 c | 439813 | 900 60173 195287 | 43756 40392 66 | 0.017 % |
339.79/340.07 c | 440185 | 900 60173 195287 | 40580 40764 66 | 0.017 % |
340.09/340.36 c | 440597 | 900 60173 195287 | 40580 36508 62 | 0.017 % |
340.48/340.74 c | 441050 | 900 60173 195287 | 40580 36961 63 | 0.000 % |
340.79/341.09 c | 441543 | 900 60173 195287 | 40580 37454 64 | 0.000 % |
341.18/341.43 c | 442085 | 900 60173 195287 | 40580 37996 64 | 0.000 % |
341.68/341.95 c | 442683 | 900 60173 195287 | 40580 38594 65 | 0.000 % |
342.18/342.43 c | 443338 | 900 60173 195287 | 40580 39249 65 | 0.000 % |
342.58/342.82 c | 444060 | 900 60173 195287 | 40580 39971 66 | 0.000 % |
343.18/343.46 c | 444852 | 900 60173 195287 | 40580 40763 67 | 0.000 % |
344.09/344.34 c | 445726 | 900 60173 195287 | 40580 37561 66 | 0.000 % |
344.88/345.11 c | 446686 | 900 60173 195287 | 40580 38521 66 | 0.000 % |
345.58/345.87 c | 447739 | 900 60173 195287 | 40580 39574 66 | 0.000 % |
346.58/346.84 c | 448897 | 900 60173 195287 | 40580 40732 67 | 0.000 % |
347.39/347.66 c | 450170 | 900 60173 195287 | 2147483647 37932 67 | 0.000 % |
348.39/348.66 c | 451570 | 900 60173 195287 | 2147483647 39332 68 | 0.000 % |
349.88/350.12 c | 453111 | 900 60173 195287 | 2147483647 40873 69 | 0.000 % |
351.08/351.36 c | 454806 | 900 60173 195287 | 2147483647 42568 70 | 0.000 % |
352.38/352.67 c | 456670 | 900 60173 195287 | 2147483647 44432 70 | 0.000 % |
354.28/354.50 c | 458720 | 900 60173 195287 | 2147483647 46482 70 | 0.000 % |
356.38/356.68 c | 460976 | 900 60173 195287 | 47762 43304 70 | 0.017 % |
358.28/358.51 c | 463457 | 900 60173 195287 | 47762 45785 69 | 0.000 % |
360.69/360.91 c | 466182 | 900 60173 195287 | 47762 42551 70 | 0.017 % |
363.48/363.79 c | 469180 | 900 60173 195287 | 47762 45549 70 | 0.000 % |
366.58/366.84 c | 472476 | 900 60173 195287 | 46369 42158 65 | 0.017 % |
369.58/369.89 c | 476102 | 900 60173 195287 | 46369 45784 64 | 0.017 % |
372.98/373.28 c | 480091 | 900 60173 195287 | 43157 43246 59 | 0.019 % |
375.98/376.28 c | 484476 | 900 60173 195287 | 43157 41520 60 | 0.000 % |
376.08/376.37 c | 484576 | 900 60173 195287 | 43157 41620 60 | 0.000 % |
376.28/376.52 c | 484686 | 900 60173 195287 | 43157 41730 60 | 0.000 % |
376.38/376.64 c | 484809 | 900 60173 195287 | 43157 41853 60 | 0.000 % |
376.48/376.75 c | 484942 | 900 60173 195287 | 43157 41986 60 | 0.000 % |
376.58/376.88 c | 485089 | 900 60173 195287 | 43157 42133 60 | 0.000 % |
376.78/377.03 c | 485250 | 900 60173 195287 | 43157 42294 61 | 0.000 % |
376.88/377.17 c | 485428 | 900 60173 195287 | 43157 42472 61 | 0.000 % |
377.08/377.35 c | 485622 | 900 60173 195287 | 43157 42666 61 | 0.000 % |
377.28/377.52 c | 485834 | 900 60173 195287 | 43157 42878 61 | 0.000 % |
377.38/377.68 c | 486067 | 900 60173 195287 | 43157 43111 61 | 0.000 % |
377.68/377.91 c | 486324 | 900 60173 195287 | 43157 43368 61 | 0.000 % |
377.88/378.13 c | 486605 | 900 60173 195287 | 43157 39304 58 | 0.000 % |
378.08/378.33 c | 486915 | 900 60173 195287 | 43157 39614 58 | 0.000 % |
378.28/378.53 c | 487254 | 900 60173 195287 | 43157 39953 58 | 0.000 % |
378.48/378.77 c | 487627 | 900 60173 195287 | 43157 40326 59 | 0.000 % |
378.68/378.99 c | 488038 | 900 60173 195287 | 43157 40737 59 | 0.000 % |
379.08/379.34 c | 488487 | 900 60173 195287 | 43157 41186 60 | 0.000 % |
379.38/379.68 c | 488981 | 900 60173 195287 | 43157 41680 60 | 0.000 % |
379.78/380.04 c | 489523 | 900 60173 195287 | 43157 42222 60 | 0.000 % |
380.38/380.64 c | 490119 | 900 60173 195287 | 2147483647 42818 61 | 0.000 % |
380.98/381.25 c | 490774 | 900 60173 195287 | 2147483647 43473 61 | 0.000 % |
381.48/381.79 c | 491496 | 900 60173 195287 | 2147483647 44195 62 | 0.000 % |
381.98/382.23 c | 492288 | 900 60173 195287 | 2147483647 44987 62 | 0.000 % |
382.68/382.93 c | 493160 | 900 60173 195287 | 2147483647 45859 62 | 0.000 % |
383.28/383.57 c | 494118 | 900 60173 195287 | 2147483647 46817 62 | 0.000 % |
383.98/384.20 c | 495171 | 900 60173 195287 | 2147483647 47870 63 | 0.000 % |
384.78/385.05 c | 496330 | 900 60173 195287 | 2147483647 49029 64 | 0.000 % |
385.78/386.00 c | 497603 | 900 60173 195287 | 2147483647 50302 64 | 0.000 % |
386.67/386.90 c | 499008 | 900 60173 195287 | 2147483647 51707 64 | 0.000 % |
387.98/388.30 c | 500548 | 900 60173 195287 | 2147483647 53247 65 | 0.000 % |
389.37/389.60 c | 502242 | 900 60173 195287 | 2147483647 54941 66 | 0.000 % |
390.97/391.20 c | 504106 | 900 60173 195287 | 2147483647 56805 67 | 0.000 % |
392.67/392.94 c | 506158 | 900 60173 195287 | 2147483647 58857 67 | 0.000 % |
394.67/394.94 c | 508412 | 900 60173 195287 | 2147483647 61111 67 | 0.000 % |
396.87/397.19 c | 510893 | 900 60173 195287 | 62699 55732 68 | 0.000 % |
399.87/400.19 c | 513618 | 900 60173 195287 | 62699 58457 69 | 0.000 % |
403.47/403.74 c | 516615 | 900 60173 195287 | 62699 61454 71 | 0.000 % |
407.27/407.59 c | 519913 | 900 60173 195287 | 62699 53291 74 | 0.000 % |
410.57/410.87 c | 523538 | 900 60173 195287 | 53380 46871 74 | 0.000 % |
416.26/416.53 c | 527527 | 900 60173 195287 | 53380 50860 76 | 0.000 % |
422.46/422.73 c | 531913 | 900 60173 195287 | 53333 44204 76 | 0.000 % |
428.26/428.54 c | 536736 | 900 60173 195287 | 53333 49027 77 | 0.000 % |
428.46/428.71 c | 536837 | 900 60173 195287 | 53333 49128 77 | 0.000 % |
428.56/428.89 c | 536950 | 900 60173 195287 | 53333 49241 77 | 0.000 % |
428.86/429.13 c | 537074 | 900 60173 195287 | 53333 49365 77 | 0.000 % |
429.16/429.40 c | 537208 | 900 60173 195287 | 53333 49499 77 | 0.000 % |
429.26/429.58 c | 537357 | 900 60173 195287 | 53333 49648 77 | 0.000 % |
429.56/429.85 c | 537517 | 900 60173 195287 | 53333 49808 77 | 0.000 % |
429.96/430.28 c | 537695 | 900 60173 195287 | 53333 49986 77 | 0.000 % |
430.26/430.56 c | 537890 | 900 60173 195287 | 53333 50181 77 | 0.000 % |
430.46/430.75 c | 538103 | 900 60173 195287 | 53333 50394 77 | 0.000 % |
430.86/431.10 c | 538336 | 900 60173 195287 | 53333 50627 77 | 0.000 % |
431.16/431.45 c | 538593 | 900 60173 195287 | 53333 50884 77 | 0.000 % |
431.56/431.81 c | 538874 | 900 60173 195287 | 53333 51165 77 | 0.000 % |
431.96/432.26 c | 539184 | 900 60173 195287 | 53333 51475 77 | 0.000 % |
432.46/432.72 c | 539523 | 900 60173 195287 | 53333 51814 77 | 0.000 % |
433.16/433.41 c | 539895 | 900 60173 195287 | 53333 52186 77 | 0.000 % |
433.76/434.04 c | 540304 | 900 60173 195287 | 52292 52595 78 | 0.000 % |
434.36/434.65 c | 540754 | 900 60173 195287 | 52292 41622 77 | 0.000 % |
434.96/435.29 c | 541248 | 900 60173 195287 | 52292 42116 77 | 0.000 % |
435.56/435.88 c | 541791 | 900 60173 195287 | 52292 42659 77 | 0.000 % |
436.36/436.61 c | 542391 | 900 60173 195287 | 52292 43259 77 | 0.000 % |
437.16/437.46 c | 543048 | 900 60173 195287 | 52292 43916 77 | 0.000 % |
438.16/438.48 c | 543768 | 900 60173 195287 | 52292 44636 77 | 0.000 % |
439.06/439.37 c | 544560 | 900 60173 195287 | 52292 45428 77 | 0.000 % |
440.66/440.91 c | 545431 | 900 60173 195287 | 52292 46299 78 | 0.000 % |
441.86/442.20 c | 546390 | 900 60173 195287 | 52292 47258 78 | 0.000 % |
443.06/443.33 c | 547445 | 900 60173 195287 | 52292 48313 78 | 0.000 % |
444.06/444.36 c | 548603 | 900 60173 195287 | 52292 49471 77 | 0.000 % |
445.75/446.03 c | 549876 | 900 60173 195287 | 52292 50744 77 | 0.017 % |
447.05/447.39 c | 551276 | 900 60173 195287 | 50868 41416 71 | 0.000 % |
448.65/448.97 c | 552821 | 900 60173 195287 | 50868 42961 72 | 0.000 % |
450.45/450.76 c | 554517 | 900 60173 195287 | 50868 44657 71 | 0.000 % |
452.85/453.12 c | 556381 | 900 60173 195287 | 50868 46521 73 | 0.000 % |
455.55/455.85 c | 558431 | 900 60173 195287 | 50868 48571 74 | 0.000 % |
458.55/458.87 c | 560685 | 900 60173 195287 | 50143 41037 68 | 0.000 % |
460.35/460.67 c | 563164 | 900 60173 195287 | 50143 43516 69 | 0.000 % |
462.34/462.62 c | 565891 | 900 60173 195287 | 50143 46243 69 | 0.000 % |
465.64/465.95 c | 568888 | 900 60173 195287 | 50143 49240 69 | 0.019 % |
469.04/469.39 c | 572193 | 900 60173 195287 | 50353 43899 65 | 0.000 % |
471.94/472.24 c | 575819 | 900 60173 195287 | 50353 47525 64 | 0.019 % |
476.14/476.43 c | 579807 | 900 60173 195287 | 50353 42820 61 | 0.019 % |
479.54/479.81 c | 584194 | 900 60173 195287 | 43013 39885 60 | 0.019 % |
483.44/483.77 c | 589017 | 900 60173 195287 | 43013 38000 56 | 0.019 % |
486.24/486.57 c | 594326 | 900 60173 195287 | 38984 38095 59 | 0.000 % |
486.34/486.63 c | 594427 | 900 60173 195287 | 38984 38196 59 | 0.000 % |
486.34/486.69 c | 594538 | 900 60173 195287 | 38984 38307 59 | 0.000 % |
486.44/486.78 c | 594660 | 900 60173 195287 | 38984 38429 59 | 0.000 % |
486.54/486.89 c | 594794 | 900 60173 195287 | 38984 38563 59 | 0.000 % |
486.63/486.99 c | 594940 | 900 60173 195287 | 38984 38709 60 | 0.000 % |
486.73/487.06 c | 595100 | 900 60173 195287 | 38984 38869 60 | 0.000 % |
486.83/487.16 c | 595282 | 900 60173 195287 | 38984 39051 60 | 0.000 % |
487.04/487.31 c | 595475 | 900 60173 195287 | 38984 35339 58 | 0.018 % |
487.13/487.42 c | 595688 | 900 60173 195287 | 38984 35552 58 | 0.000 % |
487.23/487.54 c | 595921 | 900 60173 195287 | 38984 35785 58 | 0.000 % |
487.33/487.68 c | 596179 | 900 60173 195287 | 38984 36043 58 | 0.018 % |
487.53/487.84 c | 596462 | 900 60173 195287 | 38984 36326 58 | 0.000 % |
487.63/487.99 c | 596771 | 900 60173 195287 | 38984 36635 58 | 0.000 % |
487.93/488.20 c | 597110 | 900 60173 195287 | 38984 36974 58 | 0.000 % |
488.04/488.39 c | 597482 | 900 60173 195287 | 38984 37346 58 | 0.000 % |
488.33/488.62 c | 597891 | 900 60173 195287 | 38984 37755 58 | 0.015 % |
488.43/488.79 c | 598340 | 900 60173 195287 | 38984 38204 59 | 0.000 % |
488.73/489.00 c | 598833 | 900 60173 195287 | 38984 38697 59 | 0.000 % |
488.93/489.20 c | 599375 | 900 60173 195287 | 38984 39239 59 | 0.000 % |
489.14/489.49 c | 599972 | 900 60173 195287 | 38984 35913 57 | 0.018 % |
489.43/489.75 c | 600630 | 900 60173 195287 | 2147483647 36571 57 | 0.000 % |
489.73/490.05 c | 601353 | 900 60173 195287 | 2147483647 37294 57 | 0.015 % |
490.13/490.43 c | 602146 | 900 60173 195287 | 2147483647 38087 58 | 0.015 % |
490.63/490.92 c | 603019 | 900 60173 195287 | 2147483647 38960 58 | 0.000 % |
491.23/491.53 c | 603977 | 900 60173 195287 | 2147483647 39918 59 | 0.000 % |
491.83/492.15 c | 605032 | 900 60173 195287 | 2147483647 40973 60 | 0.000 % |
492.53/492.88 c | 606191 | 900 60173 195287 | 2147483647 42132 61 | 0.000 % |
493.23/493.56 c | 607464 | 900 60173 195287 | 2147483647 43405 62 | 0.000 % |
494.13/494.44 c | 608867 | 900 60173 195287 | 2147483647 44808 62 | 0.000 % |
495.03/495.38 c | 610408 | 900 60173 195287 | 2147483647 46349 62 | 0.018 % |
496.03/496.37 c | 612103 | 900 60173 195287 | 2147483647 48044 61 | 0.000 % |
497.13/497.47 c | 613969 | 900 60173 195287 | 2147483647 49910 61 | 0.018 % |
498.13/498.44 c | 616020 | 900 60173 195287 | 2147483647 51961 61 | 0.000 % |
500.03/500.37 c | 618273 | 900 60173 195287 | 2147483647 54214 63 | 0.000 % |
501.73/502.02 c | 620751 | 900 60173 195287 | 2147483647 56692 63 | 0.000 % |
503.53/503.84 c | 623478 | 900 60173 195287 | 2147483647 59419 62 | 0.019 % |
505.93/506.21 c | 626476 | 900 60173 195287 | 2147483647 62417 62 | 0.000 % |
509.03/509.31 c | 629773 | 900 60173 195287 | 2147483647 65714 62 | 0.000 % |
511.92/512.21 c | 633398 | 900 60173 195287 | 65944 61424 62 | 0.016 % |
514.62/514.98 c | 637385 | 900 60173 195287 | 65944 65411 61 | 0.016 % |
517.52/517.86 c | 641771 | 900 60173 195287 | 59312 53930 59 | 0.000 % |
521.22/521.52 c | 646594 | 900 60173 195287 | 59312 58753 59 | 0.000 % |
525.92/526.23 c | 651900 | 900 60173 195287 | 55006 49879 59 | 0.000 % |
529.72/530.01 c | 657738 | 900 60173 195287 | 55006 49950 59 | 0.000 % |
529.72/530.07 c | 657841 | 900 60173 195287 | 55006 50053 59 | 0.000 % |
529.82/530.17 c | 657951 | 900 60173 195287 | 55006 50163 59 | 0.000 % |
529.92/530.26 c | 658075 | 900 60173 195287 | 55006 50287 59 | 0.000 % |
530.12/530.42 c | 658209 | 900 60173 195287 | 55006 50421 59 | 0.000 % |
530.22/530.56 c | 658355 | 900 60173 195287 | 55006 50567 59 | 0.000 % |
530.32/530.66 c | 658517 | 900 60173 195287 | 55006 50729 59 | 0.020 % |
530.52/530.86 c | 658694 | 900 60173 195287 | 55006 50906 59 | 0.000 % |
530.72/531.01 c | 658888 | 900 60173 195287 | 55006 51100 59 | 0.000 % |
530.82/531.17 c | 659100 | 900 60173 195287 | 55006 51312 59 | 0.017 % |
531.02/531.34 c | 659335 | 900 60173 195287 | 55006 51547 59 | 0.017 % |
531.22/531.53 c | 659591 | 900 60173 195287 | 55006 51803 59 | 0.020 % |
531.42/531.80 c | 659872 | 900 60173 195287 | 55006 52084 60 | 0.000 % |
531.72/532.03 c | 660181 | 900 60173 195287 | 52212 52393 60 | 0.000 % |
532.02/532.35 c | 660521 | 900 60173 195287 | 52212 47305 59 | 0.000 % |
532.42/532.74 c | 660893 | 900 60173 195287 | 52212 47677 59 | 0.000 % |
532.82/533.13 c | 661302 | 900 60173 195287 | 52212 48086 60 | 0.000 % |
533.12/533.41 c | 661754 | 900 60173 195287 | 52212 48538 60 | 0.020 % |
533.32/533.68 c | 662247 | 900 60173 195287 | 52212 49031 60 | 0.000 % |
533.72/534.07 c | 662789 | 900 60173 195287 | 52212 49573 60 | 0.000 % |
534.12/534.48 c | 663385 | 900 60173 195287 | 52212 50169 60 | 0.019 % |
534.51/534.87 c | 664042 | 900 60173 195287 | 52212 50826 60 | 0.000 % |
535.21/535.56 c | 664763 | 900 60173 195287 | 52212 51547 61 | 0.000 % |
535.71/536.06 c | 665556 | 900 60173 195287 | 52212 52340 61 | 0.000 % |
536.52/536.82 c | 666429 | 900 60173 195287 | 52212 47979 62 | 0.000 % |
537.31/537.60 c | 667387 | 900 60173 195287 | 52212 48937 63 | 0.000 % |
538.01/538.34 c | 668441 | 900 60173 195287 | 52212 49991 64 | 0.000 % |
538.92/539.23 c | 669599 | 900 60173 195287 | 52212 51149 64 | 0.000 % |
540.02/540.31 c | 670874 | 900 60173 195287 | 2147483647 52424 65 | 0.000 % |
541.22/541.55 c | 672277 | 900 60173 195287 | 2147483647 53827 66 | 0.000 % |
542.62/542.90 c | 673822 | 900 60173 195287 | 2147483647 55372 66 | 0.000 % |
544.12/544.48 c | 675516 | 900 60173 195287 | 2147483647 57066 66 | 0.000 % |
546.12/546.42 c | 677380 | 900 60173 195287 | 2147483647 58930 68 | 0.000 % |
547.72/548.00 c | 679430 | 900 60173 195287 | 2147483647 60980 69 | 0.000 % |
549.52/549.84 c | 681686 | 900 60173 195287 | 61553 53936 70 | 0.000 % |
551.12/551.41 c | 684165 | 900 60173 195287 | 61553 56415 70 | 0.000 % |
553.12/553.50 c | 686892 | 900 60173 195287 | 61553 59142 69 | 0.000 % |
555.51/555.88 c | 689890 | 900 60173 195287 | 61553 52359 68 | 0.000 % |
558.11/558.43 c | 693187 | 900 60173 195287 | 52469 47713 66 | 0.000 % |
560.61/560.99 c | 696814 | 900 60173 195287 | 52469 51340 66 | 0.018 % |
564.01/564.32 c | 700801 | 900 60173 195287 | 48012 42772 60 | 0.000 % |
567.91/568.20 c | 705186 | 900 60173 195287 | 48012 47157 61 | 0.018 % |
571.61/571.99 c | 710009 | 900 60173 195287 | 45653 45660 56 | 0.020 % |
575.40/575.72 c | 715315 | 900 60173 195287 | 45653 45164 59 | 0.000 % |
579.90/580.24 c | 721151 | 900 60173 195287 | 2147483647 46399 63 | 0.000 % |
584.70/585.09 c | 727570 | 900 60173 195287 | 2147483647 52818 66 | 0.000 % |
584.90/585.21 c | 727671 | 900 60173 195287 | 2147483647 52919 66 | 0.000 % |
585.00/585.31 c | 727781 | 900 60173 195287 | 2147483647 53029 66 | 0.000 % |
585.10/585.45 c | 727902 | 900 60173 195287 | 2147483647 53150 66 | 0.000 % |
585.20/585.57 c | 728037 | 900 60173 195287 | 2147483647 53285 66 | 0.000 % |
585.40/585.72 c | 728183 | 900 60173 195287 | 2147483647 53431 66 | 0.000 % |
585.50/585.89 c | 728344 | 900 60173 195287 | 2147483647 53592 66 | 0.000 % |
585.70/586.08 c | 728523 | 900 60173 195287 | 2147483647 53771 66 | 0.000 % |
585.90/586.29 c | 728717 | 900 60173 195287 | 2147483647 53965 67 | 0.000 % |
586.20/586.50 c | 728930 | 900 60173 195287 | 2147483647 54178 67 | 0.000 % |
586.30/586.66 c | 729166 | 900 60173 195287 | 2147483647 54414 67 | 0.000 % |
586.50/586.85 c | 729423 | 900 60173 195287 | 2147483647 54671 67 | 0.000 % |
586.70/587.06 c | 729707 | 900 60173 195287 | 2147483647 54955 67 | 0.017 % |
587.00/587.30 c | 730018 | 900 60173 195287 | 2147483647 55266 67 | 0.000 % |
587.30/587.68 c | 730358 | 900 60173 195287 | 2147483647 55606 67 | 0.000 % |
587.70/588.07 c | 730734 | 900 60173 195287 | 2147483647 55982 67 | 0.000 % |
588.10/588.42 c | 731143 | 900 60173 195287 | 2147483647 56391 67 | 0.000 % |
588.50/588.85 c | 731592 | 900 60173 195287 | 2147483647 56840 68 | 0.000 % |
589.00/589.37 c | 732086 | 900 60173 195287 | 2147483647 57334 68 | 0.000 % |
589.60/589.93 c | 732629 | 900 60173 195287 | 2147483647 57877 68 | 0.000 % |
590.10/590.44 c | 733225 | 900 60173 195287 | 2147483647 58473 68 | 0.000 % |
590.60/590.97 c | 733881 | 900 60173 195287 | 2147483647 59129 69 | 0.000 % |
591.10/591.48 c | 734601 | 900 60173 195287 | 2147483647 59849 69 | 0.000 % |
591.90/592.22 c | 735395 | 900 60173 195287 | 2147483647 60643 69 | 0.000 % |
592.60/592.93 c | 736266 | 900 60173 195287 | 2147483647 61514 68 | 0.000 % |
593.40/593.74 c | 737225 | 900 60173 195287 | 2147483647 62473 68 | 0.000 % |
594.30/594.63 c | 738279 | 900 60173 195287 | 2147483647 63527 68 | 0.018 % |
595.30/595.67 c | 739438 | 900 60173 195287 | 2147483647 64686 67 | 0.000 % |
596.60/596.93 c | 740711 | 900 60173 195287 | 65248 55576 67 | 0.019 % |
597.79/598.11 c | 742111 | 900 60173 195287 | 65248 56976 67 | 0.000 % |
599.39/599.73 c | 743654 | 900 60173 195287 | 65248 58519 66 | 0.000 % |
601.19/601.51 c | 745348 | 900 60173 195287 | 65248 60213 67 | 0.000 % |
602.89/603.21 c | 747212 | 900 60173 195287 | 65248 62077 68 | 0.000 % |
604.89/605.25 c | 749262 | 900 60173 195287 | 65248 64127 68 | 0.000 % |
606.99/607.33 c | 751516 | 900 60173 195287 | 64865 55557 70 | 0.000 % |
610.09/610.44 c | 753995 | 900 60173 195287 | 64865 58036 72 | 0.000 % |
613.39/613.78 c | 756720 | 900 60173 195287 | 64865 60761 72 | 0.000 % |
616.89/617.22 c | 759718 | 900 60173 195287 | 64865 63759 73 | 0.000 % |
619.78/620.19 c | 763014 | 900 60173 195287 | 64041 54499 71 | 0.000 % |
624.09/624.43 c | 766640 | 900 60173 195287 | 64041 58125 73 | 0.000 % |
627.70/628.05 c | 770627 | 900 60173 195287 | 61485 50894 70 | 0.000 % |
631.19/631.56 c | 775013 | 900 60173 195287 | 61485 55280 69 | 0.000 % |
637.39/637.76 c | 779837 | 900 60173 195287 | 61485 60104 73 | 0.000 % |
642.99/643.31 c | 785144 | 900 60173 195287 | 60271 54680 76 | 0.000 % |
649.49/649.86 c | 790981 | 900 60173 195287 | 59536 48513 73 | 0.016 % |
655.68/656.06 c | 797401 | 900 60173 195287 | 59536 54933 73 | 0.000 % |
660.48/660.80 c | 804461 | 900 60173 195287 | 57532 52388 67 | 0.015 % |
660.48/660.88 c | 804563 | 900 60173 195287 | 57532 52490 67 | 0.000 % |
660.69/661.02 c | 804674 | 900 60173 195287 | 57532 52601 67 | 0.000 % |
660.88/661.21 c | 804797 | 900 60173 195287 | 57532 52724 67 | 0.000 % |
660.98/661.34 c | 804933 | 900 60173 195287 | 57532 52860 67 | 0.000 % |
661.08/661.48 c | 805080 | 900 60173 195287 | 57532 53007 67 | 0.000 % |
661.38/661.70 c | 805240 | 900 60173 195287 | 57532 53167 68 | 0.000 % |
661.48/661.88 c | 805417 | 900 60173 195287 | 57532 53344 68 | 0.000 % |
661.68/662.07 c | 805610 | 900 60173 195287 | 57532 53537 68 | 0.000 % |
661.88/662.28 c | 805822 | 900 60173 195287 | 57532 53749 68 | 0.000 % |
662.18/662.58 c | 806059 | 900 60173 195287 | 57532 53986 68 | 0.000 % |
662.68/663.01 c | 806317 | 900 60173 195287 | 57532 54244 68 | 0.000 % |
662.88/663.28 c | 806598 | 900 60173 195287 | 57532 54525 68 | 0.016 % |
663.28/663.64 c | 806910 | 900 60173 195287 | 57532 54837 68 | 0.000 % |
663.68/664.01 c | 807249 | 900 60173 195287 | 57532 55176 68 | 0.000 % |
663.98/664.37 c | 807622 | 900 60173 195287 | 57532 55549 68 | 0.017 % |
664.28/664.69 c | 808032 | 900 60173 195287 | 57532 55959 68 | 0.000 % |
664.98/665.37 c | 808481 | 900 60173 195287 | 57532 56408 69 | 0.000 % |
665.58/665.94 c | 808976 | 900 60173 195287 | 57532 56903 69 | 0.000 % |
666.18/666.54 c | 809520 | 900 60173 195287 | 57532 57447 69 | 0.000 % |
666.88/667.27 c | 810117 | 900 60173 195287 | 48757 48870 67 | 0.000 % |
667.38/667.74 c | 810773 | 900 60173 195287 | 48757 41805 62 | 0.000 % |
667.78/668.13 c | 811493 | 900 60173 195287 | 48757 42525 62 | 0.000 % |
668.28/668.64 c | 812287 | 900 60173 195287 | 48757 43319 63 | 0.000 % |
668.88/669.21 c | 813158 | 900 60173 195287 | 48757 44190 63 | 0.000 % |
669.58/669.91 c | 814116 | 900 60173 195287 | 48757 45148 63 | 0.000 % |
670.48/670.82 c | 815171 | 900 60173 195287 | 48757 46203 64 | 0.000 % |
671.38/671.80 c | 816332 | 900 60173 195287 | 48757 47364 65 | 0.000 % |
672.28/672.67 c | 817605 | 900 60173 195287 | 48757 48637 65 | 0.000 % |
673.48/673.87 c | 819005 | 900 60173 195287 | 48757 44074 63 | 0.000 % |
675.08/675.44 c | 820545 | 900 60173 195287 | 45069 40204 64 | 0.000 % |
676.58/676.94 c | 822240 | 900 60173 195287 | 45069 41899 66 | 0.000 % |
678.28/678.68 c | 824103 | 900 60173 195287 | 45069 43762 68 | 0.000 % |
680.37/680.76 c | 826152 | 900 60173 195287 | 45069 40485 70 | 0.000 % |
682.27/682.68 c | 828405 | 900 60173 195287 | 45069 42738 71 | 0.000 % |
684.37/684.79 c | 830883 | 900 60173 195287 | 44333 39828 73 | 0.000 % |
686.27/686.69 c | 833609 | 900 60173 195287 | 44333 42554 72 | 0.000 % |
688.27/688.65 c | 836606 | 900 60173 195287 | 44333 40993 73 | 0.000 % |
690.77/691.13 c | 839903 | 900 60173 195287 | 44333 44290 73 | 0.000 % |
693.57/693.94 c | 843528 | 900 60173 195287 | 44387 42722 71 | 0.000 % |
696.77/697.12 c | 847515 | 900 60173 195287 | 44387 40329 72 | 0.000 % |
700.57/700.98 c | 851900 | 900 60173 195287 | 42816 38249 70 | 0.000 % |
704.46/704.82 c | 856723 | 900 60173 195287 | 42816 43072 73 | 0.000 % |
709.36/709.73 c | 862031 | 900 60173 195287 | 40340 36261 71 | 0.000 % |
715.16/715.54 c | 867868 | 900 60173 195287 | 40340 35772 78 | 0.000 % |
720.76/721.17 c | 874287 | 900 60173 195287 | 37904 36288 79 | 0.000 % |
726.26/726.66 c | 881346 | 900 60173 195287 | 37023 34055 76 | 0.000 % |
731.86/732.27 c | 889110 | 900 60173 195287 | 37023 34369 73 | 0.000 % |
731.96/732.33 c | 889210 | 900 60173 195287 | 37023 34469 74 | 0.000 % |
732.06/732.40 c | 889321 | 900 60173 195287 | 37023 34580 74 | 0.000 % |
732.06/732.48 c | 889442 | 900 60173 195287 | 37023 34701 74 | 0.000 % |
732.16/732.57 c | 889578 | 900 60173 195287 | 37023 34837 74 | 0.000 % |
732.36/732.74 c | 889726 | 900 60173 195287 | 37023 34985 74 | 0.000 % |
732.46/732.88 c | 889886 | 900 60173 195287 | 37023 35145 74 | 0.000 % |
732.66/733.02 c | 890064 | 900 60173 195287 | 2147483647 35323 74 | 0.000 % |
732.86/733.23 c | 890257 | 900 60173 195287 | 2147483647 35516 74 | 0.000 % |
732.96/733.37 c | 890471 | 900 60173 195287 | 2147483647 35730 74 | 0.000 % |
733.16/733.52 c | 890704 | 900 60173 195287 | 2147483647 35963 75 | 0.000 % |
733.46/733.80 c | 890960 | 900 60173 195287 | 2147483647 36219 75 | 0.000 % |
733.66/734.02 c | 891244 | 900 60173 195287 | 2147483647 36503 75 | 0.000 % |
733.85/734.24 c | 891554 | 900 60173 195287 | 2147483647 36813 75 | 0.000 % |
734.25/734.65 c | 891894 | 900 60173 195287 | 2147483647 37153 75 | 0.000 % |
734.65/735.02 c | 892266 | 900 60173 195287 | 2147483647 37525 76 | 0.000 % |
734.95/735.36 c | 892675 | 900 60173 195287 | 2147483647 37934 76 | 0.000 % |
735.35/735.72 c | 893124 | 900 60173 195287 | 2147483647 38383 76 | 0.000 % |
735.65/736.05 c | 893621 | 900 60173 195287 | 2147483647 38880 76 | 0.000 % |
736.05/736.43 c | 894164 | 900 60173 195287 | 2147483647 39423 76 | 0.000 % |
736.35/736.79 c | 894760 | 900 60173 195287 | 2147483647 40019 76 | 0.000 % |
737.05/737.40 c | 895415 | 900 60173 195287 | 2147483647 40674 76 | 0.000 % |
737.75/738.15 c | 896135 | 900 60173 195287 | 2147483647 41394 76 | 0.019 % |
738.65/739.01 c | 896929 | 900 60173 195287 | 2147483647 42188 76 | 0.019 % |
739.45/739.82 c | 897801 | 900 60173 195287 | 2147483647 43060 76 | 0.000 % |
739.95/740.39 c | 898759 | 900 60173 195287 | 2147483647 44018 76 | 0.000 % |
740.95/741.40 c | 899814 | 900 60173 195287 | 2147483647 45073 76 | 0.000 % |
742.15/742.52 c | 900972 | 900 60173 195287 | 45260 40321 73 | 0.000 % |
742.75/743.16 c | 902245 | 900 60173 195287 | 45260 41594 73 | 0.000 % |
744.05/744.40 c | 903646 | 900 60173 195287 | 45260 42995 73 | 0.000 % |
745.05/745.45 c | 905186 | 900 60173 195287 | 45260 44535 73 | 0.000 % |
746.65/747.08 c | 906880 | 900 60173 195287 | 45260 41629 72 | 0.000 % |
748.05/748.46 c | 908747 | 900 60173 195287 | 45260 43496 72 | 0.000 % |
750.15/750.55 c | 910798 | 900 60173 195287 | 44749 40391 70 | 0.000 % |
752.44/752.84 c | 913052 | 900 60173 195287 | 44749 42645 71 | 0.000 % |
754.74/755.15 c | 915531 | 900 60173 195287 | 44749 45124 72 | 0.000 % |
757.24/757.69 c | 918258 | 900 60173 195287 | 44749 41668 72 | 0.000 % |
759.84/760.22 c | 921255 | 900 60173 195287 | 43411 38500 70 | 0.000 % |
762.54/762.92 c | 924551 | 900 60173 195287 | 43411 41796 70 | 0.018 % |
766.14/766.53 c | 928178 | 900 60173 195287 | 43411 39599 72 | 0.000 % |
769.04/769.40 c | 932168 | 900 60173 195287 | 41423 38315 71 | 0.020 % |
771.94/772.39 c | 936553 | 900 60173 195287 | 41423 38519 68 | 0.000 % |
776.63/777.06 c | 941379 | 900 60173 195287 | 2147483647 39170 72 | 0.000 % |
780.23/780.61 c | 946686 | 900 60173 195287 | 2147483647 44477 73 | 0.000 % |
784.33/784.76 c | 952522 | 900 60173 195287 | 47793 45062 71 | 0.000 % |
791.43/791.83 c | 958941 | 900 60173 195287 | 47793 44344 75 | 0.000 % |
799.63/800.02 c | 966000 | 900 60173 195287 | 45404 44303 77 | 0.000 % |
807.22/807.68 c | 973765 | 900 60173 195287 | 40720 38080 79 | 0.000 % |
815.92/816.32 c | 982307 | 900 60173 195287 | 38009 34509 78 | 0.000 % |
816.02/816.44 c | 982407 | 900 60173 195287 | 38009 34609 78 | 0.000 % |
816.12/816.57 c | 982519 | 900 60173 195287 | 38009 34721 79 | 0.000 % |
816.32/816.75 c | 982642 | 900 60173 195287 | 38009 34844 79 | 0.000 % |
816.42/816.84 c | 982777 | 900 60173 195287 | 38009 34979 79 | 0.000 % |
816.52/816.96 c | 982924 | 900 60173 195287 | 38009 35126 79 | 0.000 % |
816.72/817.18 c | 983084 | 900 60173 195287 | 38009 35286 79 | 0.000 % |
817.02/817.42 c | 983261 | 900 60173 195287 | 38009 35463 79 | 0.000 % |
817.12/817.59 c | 983454 | 900 60173 195287 | 38009 35656 79 | 0.000 % |
817.42/817.84 c | 983667 | 900 60173 195287 | 38009 35869 79 | 0.000 % |
817.62/818.04 c | 983902 | 900 60173 195287 | 38009 36104 80 | 0.000 % |
817.92/818.36 c | 984158 | 900 60173 195287 | 38009 36360 80 | 0.000 % |
818.32/818.73 c | 984439 | 900 60173 195287 | 38009 36641 80 | 0.000 % |
818.62/819.05 c | 984750 | 900 60173 195287 | 38009 36952 79 | 0.000 % |
818.82/819.24 c | 985090 | 900 60173 195287 | 38009 37292 79 | 0.018 % |
819.22/819.61 c | 985462 | 900 60173 195287 | 38009 37664 79 | 0.000 % |
819.62/820.10 c | 985872 | 900 60173 195287 | 38009 38074 79 | 0.000 % |
820.32/820.72 c | 986321 | 900 60173 195287 | 38009 33023 76 | 0.000 % |
820.82/821.20 c | 986815 | 900 60173 195287 | 38009 33517 75 | 0.000 % |
821.42/821.86 c | 987357 | 900 60173 195287 | 38009 34059 75 | 0.016 % |
822.12/822.50 c | 987954 | 900 60173 195287 | 38009 34656 75 | 0.000 % |
822.72/823.10 c | 988610 | 900 60173 195287 | 38009 35312 75 | 0.000 % |
823.12/823.59 c | 989331 | 900 60173 195287 | 38009 36033 75 | 0.000 % |
823.72/824.18 c | 990124 | 900 60173 195287 | 36702 36826 76 | 0.000 % |
824.42/824.90 c | 990995 | 900 60173 195287 | 36702 32290 73 | 0.000 % |
825.42/825.83 c | 991953 | 900 60173 195287 | 36702 33248 73 | 0.000 % |
826.42/826.86 c | 993006 | 900 60173 195287 | 36702 34301 73 | 0.000 % |
827.32/827.74 c | 994164 | 900 60173 195287 | 36702 35459 74 | 0.000 % |
828.32/828.79 c | 995438 | 900 60173 195287 | 36702 36733 74 | 0.000 % |
829.72/830.19 c | 996838 | 900 60173 195287 | 36702 33469 73 | 0.000 % |
831.02/831.42 c | 998379 | 900 60173 195287 | 36702 35010 73 | 0.000 % |
832.22/832.69 c | 1000075 | 900 60173 195287 | 36631 36706 73 | 0.000 % |
834.22/834.63 c | 1001939 | 900 60173 195287 | 36631 34040 72 | 0.000 % |
835.52/835.93 c | 1003989 | 900 60173 195287 | 36631 36090 72 | 0.000 % |
837.21/837.62 c | 1006242 | 900 60173 195287 | 36631 34352 71 | 0.000 % |
838.61/839.04 c | 1008720 | 900 60173 195287 | 36631 36830 70 | 0.000 % |
840.41/840.83 c | 1011446 | 900 60173 195287 | 2147483647 35873 67 | 0.000 % |
842.81/843.21 c | 1014445 | 900 60173 195287 | 2147483647 38872 67 | 0.016 % |
845.01/845.41 c | 1017744 | 900 60173 195287 | 2147483647 42171 67 | 0.000 % |
848.01/848.43 c | 1021371 | 900 60173 195287 | 2147483647 45798 67 | 0.000 % |
851.81/852.30 c | 1025359 | 900 60173 195287 | 2147483647 49786 66 | 0.016 % |
857.21/857.69 c | 1029746 | 900 60173 195287 | 2147483647 54173 66 | 0.000 % |
862.91/863.30 c | 1034569 | 900 60173 195287 | 54428 47608 62 | 0.000 % |
867.31/867.79 c | 1039874 | 900 60173 195287 | 54428 52913 66 | 0.000 % |
871.81/872.26 c | 1045710 | 900 60173 195287 | 53040 49190 66 | 0.000 % |
876.81/877.23 c | 1052132 | 900 60173 195287 | 45888 41695 68 | 0.000 % |
882.31/882.71 c | 1059191 | 900 60173 195287 | 45888 43368 69 | 0.000 % |
887.51/887.91 c | 1066955 | 900 60173 195287 | 44178 41170 73 | 0.000 % |
893.91/894.33 c | 1075495 | 900 60173 195287 | 44215 44494 69 | 0.000 % |
901.60/902.06 c | 1084889 | 900 60173 195287 | 2147483647 49439 72 | 0.000 % |
901.70/902.15 c | 1084989 | 900 60173 195287 | 2147483647 49539 72 | 0.000 % |
901.80/902.26 c | 1085104 | 900 60173 195287 | 2147483647 49654 72 | 0.000 % |
901.90/902.38 c | 1085225 | 900 60173 195287 | 2147483647 49775 72 | 0.000 % |
902.00/902.48 c | 1085358 | 900 60173 195287 | 2147483647 49908 72 | 0.000 % |
902.20/902.62 c | 1085504 | 900 60173 195287 | 2147483647 50054 72 | 0.000 % |
902.30/902.79 c | 1085669 | 900 60173 195287 | 2147483647 50219 72 | 0.000 % |
902.50/902.93 c | 1085845 | 900 60173 195287 | 2147483647 50395 72 | 0.000 % |
902.70/903.16 c | 1086040 | 900 60173 195287 | 2147483647 50590 72 | 0.000 % |
902.90/903.38 c | 1086253 | 900 60173 195287 | 2147483647 50803 72 | 0.000 % |
903.10/903.59 c | 1086486 | 900 60173 195287 | 2147483647 51036 72 | 0.000 % |
903.50/903.91 c | 1086742 | 900 60173 195287 | 2147483647 51292 72 | 0.000 % |
903.70/904.17 c | 1087025 | 900 60173 195287 | 2147483647 51575 72 | 0.000 % |
904.10/904.54 c | 1087335 | 900 60173 195287 | 2147483647 51885 73 | 0.000 % |
904.40/904.82 c | 1087674 | 900 60173 195287 | 2147483647 52224 73 | 0.000 % |
904.70/905.13 c | 1088047 | 900 60173 195287 | 2147483647 52597 73 | 0.000 % |
905.20/905.60 c | 1088456 | 900 60173 195287 | 2147483647 53006 73 | 0.000 % |
905.60/906.00 c | 1088905 | 900 60173 195287 | 2147483647 53455 73 | 0.000 % |
906.00/906.48 c | 1089399 | 900 60173 195287 | 2147483647 53949 73 | 0.000 % |
906.40/906.90 c | 1089942 | 900 60173 195287 | 2147483647 54492 73 | 0.000 % |
907.00/907.44 c | 1090538 | 900 60173 195287 | 54551 47398 70 | 0.000 % |
907.59/908.08 c | 1091194 | 900 60173 195287 | 54551 48054 71 | 0.000 % |
908.29/908.71 c | 1091914 | 900 60173 195287 | 54551 48774 71 | 0.000 % |
909.09/909.60 c | 1092708 | 900 60173 195287 | 54551 49568 71 | 0.000 % |
909.99/910.41 c | 1093579 | 900 60173 195287 | 54551 50439 71 | 0.000 % |
911.19/911.62 c | 1094537 | 900 60173 195287 | 54551 51397 72 | 0.000 % |
912.39/912.88 c | 1095593 | 900 60173 195287 | 54551 52453 73 | 0.000 % |
913.99/914.43 c | 1096752 | 900 60173 195287 | 54551 53612 73 | 0.000 % |
915.09/915.56 c | 1098027 | 900 60173 195287 | 54551 54887 73 | 0.000 % |
916.89/917.30 c | 1099427 | 900 60173 195287 | 54551 47414 74 | 0.000 % |
918.89/919.39 c | 1100968 | 900 60173 195287 | 47987 40751 74 | 0.000 % |
920.69/921.13 c | 1102662 | 900 60173 195287 | 47987 42445 75 | 0.000 % |
922.29/922.75 c | 1104527 | 900 60173 195287 | 47987 44310 75 | 0.000 % |
924.99/925.41 c | 1106580 | 900 60173 195287 | 47987 46363 76 | 0.000 % |
928.08/928.57 c | 1108835 | 900 60173 195287 | 47987 39996 75 | 0.000 % |
930.19/930.67 c | 1111313 | 900 60173 195287 | 41161 35259 72 | 0.000 % |
932.48/932.96 c | 1114038 | 900 60173 195287 | 41161 37984 72 | 0.000 % |
935.98/936.44 c | 1117035 | 900 60173 195287 | 41161 40981 75 | 0.000 % |
939.48/939.95 c | 1120332 | 900 60173 195287 | 38100 33658 74 | 0.000 % |
942.18/942.60 c | 1123957 | 900 60173 195287 | 38100 37283 76 | 0.000 % |
945.58/946.07 c | 1127944 | 900 60173 195287 | 38100 37409 74 | 0.000 % |
948.27/948.78 c | 1132330 | 900 60173 195287 | 35467 34198 69 | 0.000 % |
951.57/952.02 c | 1137159 | 900 60173 195287 | 35467 35440 67 | 0.018 % |
954.47/954.92 c | 1142468 | 900 60173 195287 | 2147483647 37153 63 | 0.018 % |
958.17/958.60 c | 1148306 | 900 60173 195287 | 2147483647 42991 60 | 0.018 % |
963.17/963.62 c | 1154724 | 900 60173 195287 | 2147483647 49409 60 | 0.000 % |
969.67/970.18 c | 1161783 | 900 60173 195287 | 54685 47887 54 | 0.000 % |
974.77/975.26 c | 1169548 | 900 60173 195287 | 54685 49289 52 | 0.019 % |
980.86/981.31 c | 1178088 | 900 60173 195287 | 49741 47233 60 | 0.000 % |
987.56/988.08 c | 1187483 | 900 60173 195287 | 2147483647 56628 68 | 0.000 % |
997.26/997.75 c | 1197819 | 900 60173 195287 | 59145 58896 73 | 0.000 % |
997.36/997.87 c | 1197921 | 900 60173 195287 | 59145 58998 73 | 0.018 % |
997.46/997.98 c | 1198032 | 900 60173 195287 | 59145 59109 73 | 0.000 % |
997.66/998.13 c | 1198156 | 900 60173 195287 | 59145 59233 73 | 0.000 % |
997.86/998.35 c | 1198289 | 900 60173 195287 | 59145 49038 76 | 0.000 % |
998.06/998.54 c | 1198437 | 900 60173 195287 | 59145 49186 76 | 0.000 % |
998.26/998.72 c | 1198597 | 900 60173 195287 | 59145 49346 76 | 0.000 % |
998.46/998.97 c | 1198775 | 900 60173 195287 | 59145 49524 76 | 0.000 % |
998.66/999.19 c | 1198971 | 900 60173 195287 | 59145 49720 76 | 0.000 % |
998.96/999.45 c | 1199183 | 900 60173 195287 | 59145 49932 76 | 0.000 % |
999.26/999.80 c | 1199416 | 900 60173 195287 | 59145 50165 77 | 0.000 % |
999.56/1000.05 c | 1199673 | 900 60173 195287 | 59145 50422 77 | 0.000 % |
999.86/1000.36 c | 1199954 | 900 60173 195287 | 59145 50703 77 | 0.000 % |
1000.16/1000.64 c | 1200263 | 900 60173 195287 | 50751 51012 77 | 0.000 % |
1000.46/1001.00 c | 1200602 | 900 60173 195287 | 50751 42254 79 | 0.000 % |
1000.86/1001.32 c | 1200974 | 900 60173 195287 | 50751 42626 79 | 0.000 % |
1001.06/1001.59 c | 1201383 | 900 60173 195287 | 50751 43035 79 | 0.000 % |
1001.46/1001.98 c | 1201832 | 900 60173 195287 | 50751 43484 79 | 0.000 % |
1001.86/1002.30 c | 1202329 | 900 60173 195287 | 50751 43981 79 | 0.000 % |
1002.16/1002.69 c | 1202872 | 900 60173 195287 | 50751 44524 78 | 0.016 % |
1002.66/1003.20 c | 1203469 | 900 60173 195287 | 50751 45121 79 | 0.000 % |
1003.36/1003.87 c | 1204126 | 900 60173 195287 | 50751 45778 79 | 0.000 % |
1004.36/1004.86 c | 1204847 | 900 60173 195287 | 50751 46499 79 | 0.000 % |
1005.36/1005.86 c | 1205642 | 900 60173 195287 | 50751 47294 79 | 0.000 % |
1006.26/1006.72 c | 1206514 | 900 60173 195287 | 50751 48166 79 | 0.000 % |
1007.56/1008.00 c | 1207474 | 900 60173 195287 | 50751 49126 80 | 0.000 % |
1008.75/1009.30 c | 1208527 | 900 60173 195287 | 50751 50179 80 | 0.000 % |
1010.36/1010.89 c | 1209685 | 900 60173 195287 | 50751 42400 78 | 0.000 % |
1011.56/1012.05 c | 1210958 | 900 60173 195287 | 42717 36197 72 | 0.000 % |
1012.56/1013.06 c | 1212359 | 900 60173 195287 | 42717 37598 73 | 0.000 % |
1013.45/1013.96 c | 1213899 | 900 60173 195287 | 42717 39138 73 | 0.000 % |
1014.95/1015.44 c | 1215593 | 900 60173 195287 | 42717 40832 74 | 0.000 % |
1017.35/1017.84 c | 1217456 | 900 60173 195287 | 42717 42695 75 | 0.000 % |
1019.25/1019.74 c | 1219505 | 900 60173 195287 | 42717 38626 73 | 0.000 % |
1021.25/1021.77 c | 1221761 | 900 60173 195287 | 39123 35602 74 | 0.000 % |
1023.85/1024.34 c | 1224240 | 900 60173 195287 | 39123 38081 76 | 0.000 % |
1025.95/1026.45 c | 1226966 | 900 60173 195287 | 39123 35999 76 | 0.000 % |
1028.75/1029.25 c | 1229963 | 900 60173 195287 | 39123 38996 77 | 0.000 % |
1032.35/1032.88 c | 1233259 | 900 60173 195287 | 39035 36820 76 | 0.000 % |
1036.35/1036.90 c | 1236885 | 900 60173 195287 | 39035 33570 71 | 0.000 % |
1039.44/1039.97 c | 1240872 | 900 60173 195287 | 36686 31824 69 | 0.000 % |
1042.35/1042.85 c | 1245259 | 900 60173 195287 | 36686 36211 72 | 0.000 % |
1045.55/1046.10 c | 1250082 | 900 60173 195287 | 2147483647 33620 70 | 0.000 % |
1049.44/1049.94 c | 1255391 | 900 60173 195287 | 2147483647 38929 74 | 0.000 % |
1053.74/1054.26 c | 1261226 | 900 60173 195287 | 2147483647 44764 75 | 0.000 % |
1058.84/1059.38 c | 1267644 | 900 60173 195287 | 2147483647 51182 73 | 0.000 % |
1064.05/1064.58 c | 1274704 | 900 60173 195287 | 53539 50763 69 | 0.018 % |
1071.44/1071.93 c | 1282469 | 900 60173 195287 | 46388 40264 61 | 0.000 % |
1077.74/1078.22 c | 1291014 | 900 60173 195287 | 40021 35322 52 | 0.000 % |
1082.64/1083.17 c | 1300409 | 900 60173 195287 | 2147483647 40686 62 | 0.000 % |
1090.44/1090.94 c | 1310742 | 900 60173 195287 | 2147483647 51019 68 | 0.000 % |
1101.83/1102.37 c | 1322109 | 900 60173 195287 | 60280 51786 69 | 0.000 % |
1101.93/1102.47 c | 1322210 | 900 60173 195287 | 60280 51887 69 | 0.000 % |
1102.03/1102.58 c | 1322321 | 900 60173 195287 | 60280 51998 69 | 0.000 % |
1102.23/1102.70 c | 1322443 | 900 60173 195287 | 60280 52120 69 | 0.000 % |
1102.33/1102.88 c | 1322579 | 900 60173 195287 | 60280 52256 69 | 0.000 % |
1102.53/1103.07 c | 1322726 | 900 60173 195287 | 60280 52403 69 | 0.000 % |
1102.74/1103.20 c | 1322886 | 900 60173 195287 | 60280 52563 69 | 0.000 % |
1102.84/1103.34 c | 1323063 | 900 60173 195287 | 60280 52740 69 | 0.000 % |
1103.03/1103.51 c | 1323258 | 900 60173 195287 | 60280 52935 69 | 0.000 % |
1103.13/1103.68 c | 1323470 | 900 60173 195287 | 60280 53147 69 | 0.000 % |
1103.43/1103.91 c | 1323704 | 900 60173 195287 | 60280 53381 69 | 0.000 % |
1103.63/1104.18 c | 1323960 | 900 60173 195287 | 60280 53637 69 | 0.000 % |
1103.94/1104.45 c | 1324245 | 900 60173 195287 | 60280 53922 69 | 0.000 % |
1104.13/1104.67 c | 1324554 | 900 60173 195287 | 60280 54231 69 | 0.000 % |
1104.43/1104.96 c | 1324896 | 900 60173 195287 | 60280 54573 70 | 0.000 % |
1104.83/1105.30 c | 1325269 | 900 60173 195287 | 60280 54946 70 | 0.000 % |
1105.13/1105.62 c | 1325678 | 900 60173 195287 | 60280 55355 70 | 0.000 % |
1105.53/1106.02 c | 1326127 | 900 60173 195287 | 60280 55804 70 | 0.000 % |
1105.93/1106.48 c | 1326621 | 900 60173 195287 | 60280 56298 70 | 0.000 % |
1106.53/1107.00 c | 1327164 | 900 60173 195287 | 60280 56841 71 | 0.000 % |
1107.03/1107.56 c | 1327760 | 900 60173 195287 | 60280 57437 71 | 0.000 % |
1107.63/1108.13 c | 1328416 | 900 60173 195287 | 60280 58093 71 | 0.000 % |
1108.23/1108.72 c | 1329138 | 900 60173 195287 | 60280 58815 71 | 0.000 % |
1109.03/1109.56 c | 1329932 | 900 60173 195287 | 60280 59609 71 | 0.000 % |
1109.83/1110.39 c | 1330804 | 900 60173 195287 | 59678 50158 75 | 0.000 % |
1110.73/1111.26 c | 1331765 | 900 60173 195287 | 59678 51119 75 | 0.000 % |
1111.53/1112.04 c | 1332819 | 900 60173 195287 | 59678 52173 75 | 0.000 % |
1112.63/1113.19 c | 1333977 | 900 60173 195287 | 59678 53331 75 | 0.000 % |
1113.83/1114.30 c | 1335250 | 900 60173 195287 | 59678 54604 75 | 0.000 % |
1115.03/1115.53 c | 1336650 | 900 60173 195287 | 59678 56004 74 | 0.000 % |
1116.43/1116.98 c | 1338191 | 900 60173 195287 | 59678 57545 74 | 0.017 % |
1117.83/1118.32 c | 1339885 | 900 60173 195287 | 59678 59239 75 | 0.000 % |
1119.52/1120.00 c | 1341749 | 900 60173 195287 | 59355 51578 71 | 0.000 % |
1121.22/1121.73 c | 1343798 | 900 60173 195287 | 59355 53627 72 | 0.000 % |
1122.82/1123.39 c | 1346052 | 900 60173 195287 | 59355 55881 71 | 0.000 % |
1124.92/1125.44 c | 1348533 | 900 60173 195287 | 59355 58362 73 | 0.000 % |
1127.42/1127.91 c | 1351260 | 900 60173 195287 | 59830 52284 69 | 0.000 % |
1130.12/1130.63 c | 1354257 | 900 60173 195287 | 59830 55281 69 | 0.000 % |
1132.92/1133.42 c | 1357554 | 900 60173 195287 | 59830 58578 70 | 0.000 % |
1136.52/1137.04 c | 1361180 | 900 60173 195287 | 51247 44443 71 | 0.000 % |
1140.62/1141.18 c | 1365171 | 900 60173 195287 | 51247 48434 72 | 0.000 % |
1145.41/1145.93 c | 1369557 | 900 60173 195287 | 51247 44575 74 | 0.000 % |
1150.12/1150.61 c | 1374380 | 900 60173 195287 | 45021 42038 76 | 0.000 % |
1153.91/1154.42 c | 1379685 | 900 60173 195287 | 45021 40730 76 | 0.000 % |
1158.31/1158.83 c | 1385522 | 900 60173 195287 | 41045 40241 76 | 0.000 % |
1165.11/1165.67 c | 1391940 | 900 60173 195287 | 38921 35432 77 | 0.000 % |
1171.51/1172.02 c | 1398999 | 900 60173 195287 | 38921 37431 79 | 0.000 % |
1176.80/1177.36 c | 1406764 | 900 60173 195287 | 38435 36704 73 | 0.000 % |
1183.50/1184.03 c | 1415304 | 900 60173 195287 | 2147483647 41360 74 | 0.000 % |
1190.30/1190.87 c | 1424698 | 900 60173 195287 | 2147483647 50754 76 | 0.000 % |
1199.00/1199.54 c | 1435034 | 900 60173 195287 | 56059 54651 72 | 0.000 % |
1200.00/1200.51 HOME/SatELiteGTI: line 36: 13760 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-1834093-1242827781/watcher-1834093-1242827781 -o /tmp/evaluation-result-1834093-1242827781/solver-1834093-1242827781 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834093-1242827781.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.98 0.99 3/64 13754
/proc/meminfo: memFree=1956088/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310812088 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13754/statm: 1339 237 197 169 0 50 0
[startup+0.028039 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13754
/proc/meminfo: memFree=1956088/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310812088 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13754/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101047 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13754
/proc/meminfo: memFree=1956088/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310812088 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13754/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301073 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13754
/proc/meminfo: memFree=1956088/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+0.701112 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 13754
/proc/meminfo: memFree=1956088/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5356
[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1949032/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=7312 CPUtime=1.2
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 1714 0 0 0 119 1 0 0 25 0 1 0 310812117 7487488 1700 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 1828 1700 77 171 0 1655 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12668
[startup+3.10134 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1947112/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=9424 CPUtime=2.8
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 2258 0 0 0 278 2 0 0 25 0 1 0 310812117 9650176 2244 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 2356 2244 77 171 0 2183 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14780
[startup+6.30266 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1943400/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=12584 CPUtime=5.99
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 3027 0 0 0 597 2 0 0 25 0 1 0 310812117 12886016 3013 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 3146 3013 77 171 0 2973 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17940
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1938920/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=16756 CPUtime=12.38
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 4071 0 0 0 1235 3 0 0 25 0 1 0 310812117 17158144 4057 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 4189 4057 77 171 0 4016 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 22112
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1932392/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=23088 CPUtime=25.16
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 5617 0 0 0 2510 6 0 0 25 0 1 0 310812117 23642112 5603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 5772 5603 77 171 0 5599 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 28444
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1927400/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=27860 CPUtime=50.75
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 6828 0 0 0 5067 8 0 0 25 0 1 0 310812117 28528640 6814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 6965 6814 77 171 0 6792 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 33216
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1926632/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=28560 CPUtime=101.93
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7005 0 0 0 10185 8 0 0 25 0 1 0 310812117 29245440 6991 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7140 6991 77 171 0 6967 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 33916
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1926312/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=28696 CPUtime=161.9
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7044 0 0 0 16181 9 0 0 25 0 1 0 310812117 29384704 7030 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7174 7030 77 171 0 7001 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 34052
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13760
/proc/meminfo: memFree=1926184/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=28696 CPUtime=221.88
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7052 0 0 0 22178 10 0 0 25 0 1 0 310812117 29384704 7038 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7174 7038 77 171 0 7001 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 34052
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1925800/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=28832 CPUtime=281.84
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7057 0 0 0 28174 10 0 0 25 0 1 0 310812117 29523968 7043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7208 7043 77 171 0 7035 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 34188
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1925736/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=28992 CPUtime=341.81
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7095 0 0 0 34171 10 0 0 25 0 1 0 310812117 29687808 7081 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7248 7081 77 171 0 7075 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 34348
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1925608/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=28992 CPUtime=401.8
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7116 0 0 0 40169 11 0 0 25 0 1 0 310812117 29687808 7102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7248 7102 77 171 0 7075 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 34348
[startup+462.302 s]
################
# More data... #
################
[pid=13760] ppid=13754 vsize=29692 CPUtime=521.75
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7263 0 0 0 52164 11 0 0 25 0 1 0 310812117 30404608 7249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7423 7249 77 171 0 7250 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 35048
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1924648/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=29692 CPUtime=581.73
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7271 0 0 0 58161 12 0 0 25 0 1 0 310812117 30404608 7257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7423 7257 77 171 0 7250 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 35048
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1923368/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31024 CPUtime=641.72
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7592 0 0 0 64159 13 0 0 25 0 1 0 310812117 31768576 7578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7756 7578 77 171 0 7583 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 36380
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1923048/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31164 CPUtime=701.7
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7618 0 0 0 70157 13 0 0 25 0 1 0 310812117 31911936 7604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7791 7604 77 171 0 7618 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 36520
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1922984/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31164 CPUtime=761.67
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7618 0 0 0 76154 13 0 0 25 0 1 0 310812117 31911936 7604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7791 7604 77 171 0 7618 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 36520
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1922920/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31164 CPUtime=821.65
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7625 0 0 0 82152 13 0 0 25 0 1 0 310812117 31911936 7611 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7791 7611 77 171 0 7618 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 36520
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1922728/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31316 CPUtime=881.64
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7662 0 0 0 88150 14 0 0 25 0 1 0 310812117 32067584 7648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7829 7648 77 171 0 7656 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 36672
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1922472/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31456 CPUtime=941.61
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7697 0 0 0 94147 14 0 0 25 0 1 0 310812117 32210944 7683 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7864 7683 77 171 0 7691 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 36812
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1922280/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31600 CPUtime=1001.59
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7712 0 0 0 100145 14 0 0 25 0 1 0 310812117 32358400 7698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7900 7698 77 171 0 7727 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 36956
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1922088/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31600 CPUtime=1061.57
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7731 0 0 0 106143 14 0 0 25 0 1 0 310812117 32358400 7717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7900 7717 77 171 0 7727 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 36956
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1921960/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31760 CPUtime=1121.55
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7763 0 0 0 112140 15 0 0 25 0 1 0 310812117 32522240 7749 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7940 7749 77 171 0 7767 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 37116
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1921704/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31892 CPUtime=1181.53
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7803 0 0 0 118138 15 0 0 25 0 1 0 310812117 32657408 7789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7973 7789 77 171 0 7800 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 37248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1921576/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31892 CPUtime=1199.73
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7803 0 0 0 119958 15 0 0 25 0 1 0 310812117 32657408 7789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7973 7789 77 171 0 7800 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 37248
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 13766
/proc/meminfo: memFree=1921576/2055920 swapFree=4180308/4192956
[pid=13754] ppid=13752 vsize=5356 CPUtime=0.27
/proc/13754/stat : 13754 (SatELiteGTI) S 13752 13754 13508 0 -1 4194304 336 1641 0 0 0 0 26 1 16 0 1 0 310812088 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13754/statm: 1339 239 197 169 0 50 0
[pid=13760] ppid=13754 vsize=31892 CPUtime=1199.73
/proc/13760/stat : 13760 (minisat_static) R 13754 13754 13508 0 -1 4194304 7803 0 0 0 119958 15 0 0 25 0 1 0 310812117 32657408 7789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13760/statm: 7973 7789 77 171 0 7800 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 37248
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1199.86
CPU system time (s): 0.173973
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 37248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.86
system time used= 0.173973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9789
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= 4278
runsolver used 1.40579 second user time and 3.05253 second system time
The end
Begin job on node12 at 2009-05-20 15:56:21
IDJOB=1834093
IDBENCH=71324
IDSOLVER=671
FILE ID=node12/1834093-1242827781
PBS_JOBID= 9322497
Free space on /tmp= 66284 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g10.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834093-1242827781/watcher-1834093-1242827781 -o /tmp/evaluation-result-1834093-1242827781/solver-1834093-1242827781 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834093-1242827781.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4b3c9ace68adf36eacbbfebb5083efc4
RANDOM SEED=387730470
node12.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1956568 kB
Buffers: 19328 kB
Cached: 44088 kB
SwapCached: 6760 kB
Active: 29424 kB
Inactive: 42260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1956568 kB
SwapTotal: 4192956 kB
SwapFree: 4180308 kB
Dirty: 2292 kB
Writeback: 0 kB
Mapped: 13416 kB
Slab: 13728 kB
Committed_AS: 1170692 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66284 MiB
End job on node12 at 2009-05-20 16:16:23