0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 114011 339448 | 34203 0 0 nan | 0.000 % |
1.09/1.10 c | 0 | 113182 490657 | -- 0 -- -- | -- | -829/151209
1.09/1.10 c ==============================================================================
1.09/1.10 c Result : #vars: 1091 #clauses: 113182 #literals: 490657
1.09/1.10 c CPU time: 1.08483 s
1.09/1.10 c ==============================================================================
1.19/1.25 c This is MiniSat 2.0 beta
1.19/1.25 c WARNING: for repeatability, setting FPU to use double precision
1.19/1.25 c ============================[ Problem Statistics ]=============================
1.19/1.25 c | |
1.19/1.25 c | Number of variables: 1091 |
1.19/1.25 c | Number of clauses: 113182 |
1.24/1.31 c | Parsing time: 0.06 s |
1.24/1.31 c ============================[ Search Statistics ]==============================
1.24/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.24/1.31 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.24/1.31 c ===============================================================================
1.24/1.31 c | 0 | 1091 113182 490657 | 37727 0 nan | 0.000 % |
1.24/1.37 c | 102 | 1091 113182 490657 | 37727 102 65 | 0.000 % |
1.24/1.38 c | 203 | 1091 113182 490657 | 37727 203 54 | 0.000 % |
1.24/1.42 c | 303 | 1091 113182 490657 | 37727 303 59 | 0.000 % |
1.24/1.45 c | 414 | 1091 113182 490657 | 37727 414 62 | 0.000 % |
1.24/1.49 c | 514 | 1091 113182 490657 | 37727 514 61 | 0.000 % |
1.24/1.52 c | 626 | 1091 113182 490657 | 37727 626 67 | 0.000 % |
1.24/1.57 c | 750 | 1091 113182 490657 | 37727 750 69 | 0.000 % |
1.24/1.61 c | 852 | 1091 113182 490657 | 37727 852 68 | 0.000 % |
1.24/1.64 c | 962 | 1091 113182 490657 | 37727 962 69 | 0.000 % |
1.24/1.71 c | 1085 | 1091 113182 490657 | 37727 1085 69 | 0.000 % |
1.24/1.75 c | 1221 | 1091 113182 490657 | 37727 1221 69 | 0.000 % |
1.24/1.78 c | 1321 | 1091 113182 490657 | 37727 1321 70 | 0.000 % |
1.24/1.84 c | 1433 | 1091 113182 490657 | 37727 1433 68 | 0.000 % |
1.24/1.90 c | 1555 | 1091 113182 490657 | 37727 1555 66 | 0.000 % |
1.24/1.95 c | 1690 | 1091 113182 490657 | 37727 1690 67 | 0.000 % |
1.24/1.99 c | 1836 | 1091 113182 490657 | 37727 1836 67 | 0.000 % |
1.24/2.03 c | 1938 | 1091 113182 490657 | 37727 1938 68 | 0.000 % |
1.24/2.05 c | 2048 | 1091 113182 490657 | 37727 2048 69 | 0.000 % |
1.24/2.07 c | 2169 | 1091 113182 490657 | 37727 2169 69 | 0.000 % |
1.24/2.10 c | 2302 | 1091 113182 490657 | 37727 2302 70 | 0.000 % |
2.08/2.13 c | 2449 | 1091 113182 490657 | 37727 2449 70 | 0.000 % |
2.08/2.16 c | 2610 | 1091 113182 490657 | 37727 2610 71 | 0.000 % |
2.08/2.19 c | 2710 | 1091 113182 490657 | 37727 2710 71 | 0.000 % |
2.18/2.21 c | 2820 | 1091 113182 490657 | 37727 2820 71 | 0.000 % |
2.18/2.23 c | 2941 | 1091 113182 490657 | 37727 2941 72 | 0.000 % |
2.18/2.26 c | 3075 | 1091 113182 490657 | 37727 3075 72 | 0.000 % |
2.27/2.32 c | 3222 | 1091 113182 490657 | 37727 3222 72 | 0.000 % |
2.27/2.38 c | 3382 | 1091 113182 490657 | 37727 3382 72 | 0.000 % |
2.37/2.44 c | 3559 | 1091 113182 490657 | 37727 3559 72 | 0.000 % |
2.37/2.48 c | 3659 | 1091 113182 490657 | 37727 3659 72 | 0.000 % |
2.47/2.51 c | 3771 | 1091 113182 490657 | 37727 3771 72 | 0.000 % |
2.47/2.54 c | 3892 | 1091 113182 490657 | 37727 3892 72 | 0.000 % |
2.47/2.58 c | 4027 | 1091 113182 490657 | 37727 4027 72 | 0.000 % |
2.57/2.62 c | 4173 | 1091 113182 490657 | 37727 4173 72 | 0.000 % |
2.57/2.66 c | 4334 | 1091 113182 490657 | 37727 4334 73 | 0.000 % |
2.67/2.70 c | 4510 | 1091 113182 490657 | 37727 4510 73 | 0.000 % |
2.67/2.75 c | 4703 | 1091 113182 490657 | 37727 4703 73 | 0.000 % |
2.67/2.77 c | 4805 | 1091 113182 490657 | 37727 4805 73 | 0.000 % |
2.77/2.81 c | 4915 | 1091 113182 490657 | 37727 4915 73 | 0.000 % |
2.77/2.87 c | 5036 | 1091 113182 490657 | 37727 5036 73 | 0.000 % |
2.87/2.93 c | 5171 | 1091 113182 490657 | 37727 5171 74 | 0.000 % |
2.87/2.98 c | 5318 | 1091 113182 490657 | 37727 5318 74 | 0.000 % |
2.97/3.03 c | 5478 | 1091 113182 490657 | 37727 5478 74 | 0.000 % |
2.97/3.09 c | 5654 | 1091 113182 490657 | 37727 5654 74 | 0.000 % |
3.07/3.16 c | 5848 | 1091 113182 490657 | 37727 5848 74 | 0.000 % |
3.17/3.22 c | 6060 | 1091 113182 490657 | 37727 6060 75 | 0.000 % |
3.17/3.28 c | 6162 | 1091 113182 490657 | 37727 6162 75 | 0.000 % |
3.27/3.32 c | 6272 | 1091 113182 490657 | 37727 6272 75 | 0.000 % |
3.27/3.37 c | 6394 | 1091 113182 490657 | 37727 6394 75 | 0.000 % |
3.37/3.42 c | 6528 | 1091 113182 490657 | 37727 6528 75 | 0.000 % |
3.37/3.49 c | 6674 | 1091 113182 490657 | 37727 6674 75 | 0.000 % |
3.47/3.55 c | 6834 | 1091 113182 490657 | 37727 6834 75 | 0.000 % |
3.57/3.62 c | 7010 | 1091 113182 490657 | 37727 7010 75 | 0.000 % |
3.57/3.70 c | 7206 | 1091 113182 490657 | 37727 7206 75 | 0.000 % |
3.67/3.80 c | 7419 | 1091 113182 490657 | 37727 7419 75 | 0.000 % |
3.77/3.89 c | 7652 | 1091 113182 490657 | 37727 7652 75 | 0.000 % |
3.87/3.94 c | 7752 | 1091 113182 490657 | 37727 7752 75 | 0.000 % |
3.97/4.00 c | 7862 | 1091 113182 490657 | 37727 7862 75 | 0.000 % |
3.97/4.05 c | 7983 | 1091 113182 490657 | 37727 7983 75 | 0.000 % |
4.08/4.13 c | 8116 | 1091 113182 490657 | 37727 8116 75 | 0.000 % |
4.08/4.20 c | 8266 | 1091 113182 490657 | 37727 8266 75 | 0.000 % |
4.28/4.31 c | 8427 | 1091 113182 490657 | 37727 8427 75 | 0.000 % |
4.28/4.40 c | 8606 | 1091 113182 490657 | 37727 8606 75 | 0.000 % |
4.38/4.49 c | 8799 | 1091 113182 490657 | 37727 8799 75 | 0.000 % |
4.58/4.60 c | 9012 | 1091 113182 490657 | 37727 9012 75 | 0.000 % |
4.58/4.68 c | 9245 | 1091 113182 490657 | 37727 9245 75 | 0.000 % |
4.87/4.93 c | 9501 | 1091 113182 490657 | 37727 9501 75 | 0.000 % |
4.97/5.03 c | 9601 | 1091 113182 490657 | 37727 9601 75 | 0.000 % |
5.07/5.11 c | 9711 | 1091 113182 490657 | 37727 9711 75 | 0.000 % |
5.07/5.19 c | 9832 | 1091 113182 490657 | 37727 9832 75 | 0.000 % |
5.17/5.27 c | 9970 | 1091 113182 490657 | 37727 9970 74 | 0.000 % |
5.27/5.36 c | 10116 | 1091 113182 490657 | 2147483647 10116 74 | 0.000 % |
5.38/5.45 c | 10276 | 1091 113182 490657 | 2147483647 10276 73 | 0.000 % |
5.48/5.57 c | 10454 | 1091 113182 490657 | 2147483647 10454 72 | 0.000 % |
5.57/5.68 c | 10653 | 1091 113182 490657 | 2147483647 10653 72 | 0.000 % |
5.77/5.83 c | 10865 | 1091 113182 490657 | 2147483647 10865 71 | 0.000 % |
5.97/6.00 c | 11098 | 1091 113182 490657 | 2147483647 11098 70 | 0.000 % |
6.17/6.24 c | 11354 | 1091 113182 490657 | 2147483647 11354 70 | 0.000 % |
6.27/6.38 c | 11635 | 1091 113182 490657 | 2147483647 11635 70 | 0.000 % |
6.37/6.46 c | 11735 | 1091 113182 490657 | 2147483647 11735 70 | 0.000 % |
6.37/6.50 c | 11845 | 1091 113182 490657 | 2147483647 11845 70 | 0.000 % |
6.48/6.57 c | 11967 | 1091 113182 490657 | 2147483647 11967 70 | 0.000 % |
6.58/6.63 c | 12101 | 1091 113182 490657 | 2147483647 12101 70 | 0.000 % |
6.67/6.70 c | 12247 | 1091 113182 490657 | 2147483647 12247 70 | 0.000 % |
6.67/6.77 c | 12409 | 1091 113182 490657 | 2147483647 12409 70 | 0.000 % |
6.77/6.84 c | 12586 | 1091 113182 490657 | 2147483647 12586 71 | 0.000 % |
6.77/6.89 c | 12779 | 1091 113182 490657 | 2147483647 12779 71 | 0.000 % |
6.87/6.93 c | 12992 | 1091 113182 490657 | 2147483647 12992 71 | 0.000 % |
6.87/6.98 c | 13227 | 1091 113182 490657 | 2147483647 13227 71 | 0.000 % |
6.97/7.03 c | 13483 | 1091 113182 490657 | 2147483647 13483 71 | 0.000 % |
7.07/7.10 c | 13765 | 1091 113182 490657 | 2147483647 13765 72 | 0.000 % |
7.07/7.17 c | 14078 | 1091 113182 490657 | 2147483647 14078 72 | 0.000 % |
7.17/7.21 c | 14179 | 1091 113182 490657 | 2147483647 14179 72 | 0.000 % |
7.17/7.24 c | 14289 | 1091 113182 490657 | 2147483647 14289 72 | 0.000 % |
7.17/7.27 c | 14410 | 1091 113182 490657 | 2147483647 14410 73 | 0.000 % |
7.27/7.30 c | 14544 | 1091 113182 490657 | 2147483647 14544 73 | 0.000 % |
7.27/7.33 c | 14690 | 1091 113182 490657 | 2147483647 14690 73 | 0.000 % |
7.27/7.39 c | 14851 | 1091 113182 490657 | 2147483647 14851 73 | 0.000 % |
7.37/7.44 c | 15030 | 1091 113182 490657 | 2147483647 15030 73 | 0.000 % |
7.47/7.51 c | 15223 | 1091 113182 490657 | 2147483647 15223 73 | 0.000 % |
7.47/7.56 c | 15435 | 1091 113182 490657 | 2147483647 15435 73 | 0.000 % |
7.57/7.61 c | 15668 | 1091 113182 490657 | 2147483647 15668 74 | 0.000 % |
7.67/7.74 c | 15925 | 1091 113182 490657 | 2147483647 15925 74 | 0.000 % |
7.87/7.90 c | 16206 | 1091 113182 490657 | 2147483647 16206 74 | 0.000 % |
7.97/8.03 c | 16517 | 1091 113182 490657 | 2147483647 16517 75 | 0.000 % |
8.17/8.20 c | 16859 | 1091 113182 490657 | 2147483647 16859 75 | 0.000 % |
8.17/8.27 c | 16959 | 1091 113182 490657 | 2147483647 16959 75 | 0.000 % |
8.27/8.32 c | 17069 | 1091 113182 490657 | 2147483647 17069 75 | 0.000 % |
8.27/8.39 c | 17193 | 1091 113182 490657 | 2147483647 17193 75 | 0.000 % |
8.37/8.47 c | 17328 | 1091 113182 490657 | 2147483647 17328 75 | 0.000 % |
8.47/8.53 c | 17474 | 1091 113182 490657 | 2147483647 17474 75 | 0.000 % |
8.57/8.62 c | 17635 | 1091 113182 490657 | 2147483647 17635 75 | 0.000 % |
8.57/8.69 c | 17812 | 1091 113182 490657 | 2147483647 17812 75 | 0.000 % |
8.67/8.74 c | 18005 | 1091 113182 490657 | 2147483647 18005 75 | 0.001 % |
8.77/8.88 c | 18217 | 1091 113182 490657 | 2147483647 18217 76 | 0.000 % |
8.97/9.04 c | 18451 | 1091 113182 490657 | 2147483647 18451 76 | 0.000 % |
9.17/9.22 c | 18707 | 1091 113182 490657 | 2147483647 18707 76 | 0.000 % |
9.37/9.43 c | 18989 | 1091 113182 490657 | 2147483647 18989 76 | 0.000 % |
9.57/9.66 c | 19299 | 1091 113182 490657 | 2147483647 19299 76 | 0.000 % |
9.77/9.87 c | 19640 | 1091 113182 490657 | 2147483647 19640 77 | 0.000 % |
10.07/10.18 c | 20013 | 1091 113182 490657 | 2147483647 20013 77 | 0.000 % |
10.17/10.27 c | 20113 | 1091 113182 490657 | 2147483647 20113 77 | 0.000 % |
10.27/10.35 c | 20223 | 1091 113182 490657 | 2147483647 20223 77 | 0.000 % |
10.37/10.43 c | 20345 | 1091 113182 490657 | 2147483647 20345 77 | 0.000 % |
10.47/10.53 c | 20482 | 1091 113182 490657 | 2147483647 20482 77 | 0.000 % |
10.57/10.64 c | 20629 | 1091 113182 490657 | 2147483647 20629 77 | 0.000 % |
10.67/10.77 c | 20789 | 1091 113182 490657 | 2147483647 20789 77 | 0.000 % |
10.87/10.92 c | 20966 | 1091 113182 490657 | 2147483647 20966 77 | 0.000 % |
10.97/11.09 c | 21159 | 1091 113182 490657 | 2147483647 21159 77 | 0.000 % |
11.17/11.23 c | 21372 | 1091 113182 490657 | 2147483647 21372 77 | 0.000 % |
11.56/11.64 c | 21605 | 1091 113182 490657 | 2147483647 21605 77 | 0.000 % |
11.87/11.90 c | 21861 | 1091 113182 490657 | 2147483647 21861 77 | 0.000 % |
11.98/12.06 c | 22143 | 1091 113182 490657 | 2147483647 22143 77 | 0.000 % |
12.27/12.32 c | 22452 | 1091 113182 490657 | 2147483647 22452 78 | 0.000 % |
12.67/12.73 c | 22791 | 1091 113182 490657 | 2147483647 22791 78 | 0.000 % |
13.08/13.17 c | 23163 | 1091 113182 490657 | 2147483647 23163 78 | 0.000 % |
13.67/13.70 c | 23572 | 1091 113182 490657 | 2147483647 23572 78 | 0.000 % |
13.77/13.84 c | 23672 | 1091 113182 490657 | 2147483647 23672 78 | 0.000 % |
13.97/14.07 c | 23783 | 1091 113182 490657 | 2147483647 23783 78 | 0.000 % |
14.17/14.29 c | 23905 | 1091 113182 490657 | 2147483647 23905 78 | 0.000 % |
14.47/14.54 c | 24041 | 1091 113182 490657 | 2147483647 24041 78 | 0.000 % |
14.67/14.73 c | 24188 | 1091 113182 490657 | 2147483647 24188 78 | 0.000 % |
14.87/14.98 c | 24349 | 1091 113182 490657 | 2147483647 24349 78 | 0.000 % |
15.07/15.18 c | 24526 | 1091 113182 490657 | 2147483647 24526 78 | 0.000 % |
15.37/15.47 c | 24720 | 1091 113182 490657 | 2147483647 24720 78 | 0.000 % |
15.77/15.87 c | 24932 | 1091 113182 490657 | 2147483647 24932 79 | 0.000 % |
16.27/16.32 c | 25165 | 1091 113182 490657 | 2147483647 25165 79 | 0.000 % |
16.57/16.67 c | 25421 | 1091 113182 490657 | 2147483647 25421 79 | 0.000 % |
16.97/17.02 c | 25702 | 1091 113182 490657 | 2147483647 25702 79 | 0.000 % |
17.37/17.44 c | 26011 | 1091 113182 490657 | 2147483647 26011 79 | 0.000 % |
18.07/18.11 c | 26350 | 1091 113182 490657 | 2147483647 26350 79 | 0.000 % |
18.57/18.69 c | 26723 | 1091 113182 490657 | 2147483647 26723 79 | 0.000 % |
19.07/19.13 c | 27134 | 1091 113182 490657 | 2147483647 27134 79 | 0.000 % |
19.67/19.75 c | 27584 | 1091 113182 490657 | 2147483647 27584 79 | 0.000 % |
19.87/19.91 c | 27684 | 1091 113182 490657 | 2147483647 27684 79 | 0.000 % |
19.96/20.05 c | 27794 | 1091 113182 490657 | 2147483647 27794 79 | 0.000 % |
20.06/20.19 c | 27916 | 1091 113182 490657 | 2147483647 27916 79 | 0.000 % |
20.27/20.36 c | 28050 | 1091 113182 490657 | 2147483647 28050 79 | 0.000 % |
20.46/20.55 c | 28199 | 1091 113182 490657 | 2147483647 28199 79 | 0.000 % |
20.66/20.74 c | 28359 | 1091 113182 490657 | 2147483647 28359 79 | 0.000 % |
20.96/21.02 c | 28536 | 1091 113182 490657 | 2147483647 28536 79 | 0.000 % |
21.26/21.31 c | 28733 | 1091 113182 490657 | 2147483647 28733 79 | 0.000 % |
21.46/21.56 c | 28945 | 1091 113182 490657 | 2147483647 28945 79 | 0.000 % |
21.76/21.87 c | 29180 | 1091 113182 490657 | 2147483647 29180 79 | 0.000 % |
22.06/22.11 c | 29436 | 1091 113182 490657 | 2147483647 29436 79 | 0.000 % |
22.57/22.61 c | 29718 | 1091 113182 490657 | 2147483647 29718 79 | 0.000 % |
22.97/23.05 c | 30028 | 1091 113182 490657 | 2147483647 30028 80 | 0.000 % |
23.77/23.80 c | 30367 | 1091 113182 490657 | 2147483647 30367 80 | 0.000 % |
24.57/24.60 c | 30739 | 1091 113182 490657 | 2147483647 30739 80 | 0.000 % |
25.06/25.14 c | 31148 | 1091 113182 490657 | 2147483647 31148 80 | 0.000 % |
26.16/26.24 c | 31598 | 1091 113182 490657 | 2147483647 31598 80 | 0.000 % |
27.16/27.26 c | 32092 | 1091 113182 490657 | 2147483647 32092 80 | 0.000 % |
27.36/27.44 c | 32193 | 1091 113182 490657 | 2147483647 32193 80 | 0.000 % |
27.66/27.71 c | 32303 | 1091 113182 490657 | 2147483647 32303 80 | 0.000 % |
27.96/28.01 c | 32426 | 1091 113182 490657 | 2147483647 32426 80 | 0.000 % |
28.26/28.35 c | 32559 | 1091 113182 490657 | 2147483647 32559 80 | 0.000 % |
28.56/28.64 c | 32707 | 1091 113182 490657 | 2147483647 32707 80 | 0.000 % |
29.06/29.10 c | 32867 | 1091 113182 490657 | 2147483647 32867 80 | 0.000 % |
29.46/29.55 c | 33043 | 1091 113182 490657 | 2147483647 33043 80 | 0.000 % |
29.96/30.03 c | 33238 | 1091 113182 490657 | 2147483647 33238 80 | 0.000 % |
30.46/30.51 c | 33452 | 1091 113182 490657 | 2147483647 33452 80 | 0.000 % |
31.06/31.10 c | 33686 | 1091 113182 490657 | 2147483647 33686 80 | 0.000 % |
31.66/31.73 c | 33942 | 1091 113182 490657 | 2147483647 33942 80 | 0.000 % |
32.35/32.46 c | 34223 | 1091 113182 490657 | 2147483647 34223 80 | 0.000 % |
33.25/33.30 c | 34533 | 1091 113182 490657 | 2147483647 34533 80 | 0.000 % |
33.85/33.93 c | 34872 | 1091 113182 490657 | 2147483647 34872 80 | 0.000 % |
34.25/34.37 c | 35244 | 1091 113182 490657 | 2147483647 35244 80 | 0.000 % |
34.46/34.58 c | 35654 | 1091 113182 490657 | 2147483647 35654 81 | 0.000 % |
34.66/34.71 c | 36103 | 1091 113182 490657 | 2147483647 36103 81 | 0.000 % |
34.75/34.87 c | 36597 | 1091 113182 490657 | 2147483647 36597 81 | 0.000 % |
34.95/35.02 c | 37140 | 1091 113182 490657 | 2147483647 37140 81 | 0.000 % |
34.95/35.05 c | 37240 | 1091 113182 490657 | 2147483647 37240 81 | 0.000 % |
34.95/35.09 c | 37350 | 1091 113182 490657 | 2147483647 37350 81 | 0.000 % |
35.06/35.16 c | 37471 | 1091 113182 490657 | 2147483647 37471 81 | 0.000 % |
35.16/35.21 c | 37604 | 1091 113182 490657 | 2147483647 37604 81 | 0.000 % |
35.16/35.27 c | 37750 | 1091 113182 490657 | 2147483647 37750 81 | 0.000 % |
35.25/35.35 c | 37910 | 1091 113182 490657 | 2147483647 37910 81 | 0.000 % |
35.35/35.45 c | 38087 | 1091 113182 490657 | 2147483647 38087 81 | 0.000 % |
35.45/35.55 c | 38280 | 1091 113182 490657 | 2147483647 38280 81 | 0.000 % |
35.55/35.65 c | 38492 | 1091 113182 490657 | 2147483647 38492 81 | 0.000 % |
35.65/35.77 c | 38729 | 1091 113182 490657 | 2147483647 38729 81 | 0.000 % |
35.75/35.89 c | 38985 | 1091 113182 490657 | 2147483647 38985 81 | 0.000 % |
35.95/36.06 c | 39267 | 1091 113182 490657 | 2147483647 39267 81 | 0.000 % |
36.15/36.25 c | 39577 | 1091 113182 490657 | 2147483647 39577 81 | 0.000 % |
36.35/36.45 c | 39916 | 1091 113182 490657 | 2147483647 39916 81 | 0.000 % |
36.55/36.67 c | 40290 | 1091 113182 490657 | 2147483647 40290 81 | 0.000 % |
36.75/36.87 c | 40702 | 1091 113182 490657 | 2147483647 40702 81 | 0.000 % |
37.05/37.12 c | 41151 | 1091 113182 490657 | 2147483647 41151 81 | 0.000 % |
37.35/37.40 c | 41645 | 1091 113182 490657 | 2147483647 41645 81 | 0.000 % |
37.75/37.86 c | 42188 | 1091 113182 490657 | 2147483647 42188 81 | 0.000 % |
38.15/38.27 c | 42786 | 1091 113182 490657 | 2147483647 42786 81 | 0.000 % |
38.25/38.36 c | 42886 | 1091 113182 490657 | 2147483647 42886 81 | 0.000 % |
38.35/38.44 c | 42996 | 1091 113182 490657 | 2147483647 42996 81 | 0.000 % |
38.45/38.52 c | 43117 | 1091 113182 490657 | 2147483647 43117 81 | 0.000 % |
38.55/38.63 c | 43250 | 1091 113182 490657 | 2147483647 43250 81 | 0.000 % |
38.65/38.78 c | 43396 | 1091 113182 490657 | 2147483647 43396 81 | 0.000 % |
38.95/39.03 c | 43556 | 1091 113182 490657 | 2147483647 43556 81 | 0.000 % |
39.05/39.12 c | 43733 | 1091 113182 490657 | 2147483647 43733 81 | 0.000 % |
39.15/39.20 c | 43927 | 1091 113182 490657 | 2147483647 43927 81 | 0.001 % |
39.15/39.29 c | 44139 | 1091 113182 490657 | 2147483647 44139 81 | 0.000 % |
39.25/39.38 c | 44372 | 1091 113182 490657 | 2147483647 44372 81 | 0.000 % |
39.46/39.50 c | 44629 | 1091 113182 490657 | 2147483647 44629 81 | 0.000 % |
39.85/39.90 c | 44911 | 1091 113182 490657 | 2147483647 44911 81 | 0.000 % |
40.25/40.36 c | 45221 | 1091 113182 490657 | 2147483647 45221 81 | 0.000 % |
40.75/40.89 c | 45560 | 1091 113182 490657 | 2147483647 45560 81 | 0.000 % |
41.15/41.28 c | 45933 | 1091 113182 490657 | 2147483647 45933 81 | 0.000 % |
41.66/41.78 c | 46343 | 1091 113182 490657 | 2147483647 46343 81 | 0.000 % |
42.25/42.32 c | 46792 | 1091 113182 490657 | 2147483647 46792 81 | 0.000 % |
42.95/43.04 c | 47286 | 1091 113182 490657 | 2147483647 47286 81 | 0.000 % |
43.65/43.74 c | 47828 | 1091 113182 490657 | 2147483647 47828 81 | 0.000 % |
44.45/44.57 c | 48426 | 1091 113182 490657 | 2147483647 48426 81 | 0.000 % |
44.95/45.05 c | 49084 | 1091 113182 490657 | 2147483647 49084 81 | 0.000 % |
45.05/45.19 c | 49186 | 1091 113182 490657 | 2147483647 49186 81 | 0.000 % |
45.25/45.39 c | 49296 | 1091 113182 490657 | 2147483647 49296 81 | 0.000 % |
45.45/45.59 c | 49419 | 1091 113182 490657 | 2147483647 49419 81 | 0.000 % |
45.75/45.84 c | 49553 | 1091 113182 490657 | 2147483647 49553 81 | 0.000 % |
46.05/46.12 c | 49699 | 1091 113182 490657 | 2147483647 49699 81 | 0.000 % |
46.35/46.40 c | 49860 | 1091 113182 490657 | 2147483647 49860 81 | 0.000 % |
46.65/46.76 c | 50036 | 1091 113182 490657 | 2147483647 50036 82 | 0.000 % |
47.15/47.26 c | 50231 | 1091 113182 490657 | 2147483647 50231 82 | 0.000 % |
47.64/47.71 c | 50444 | 1091 113182 490657 | 2147483647 50444 82 | 0.000 % |
48.04/48.15 c | 50678 | 1091 113182 490657 | 2147483647 50678 82 | 0.000 % |
48.54/48.67 c | 50934 | 1091 113182 490657 | 2147483647 50934 82 | 0.000 % |
49.14/49.25 c | 51215 | 1091 113182 490657 | 2147483647 51215 82 | 0.000 % |
49.74/49.81 c | 51525 | 1091 113182 490657 | 2147483647 51525 82 | 0.000 % |
50.64/50.76 c | 51867 | 1091 113182 490657 | 2147483647 51867 82 | 0.000 % |
51.24/51.32 c | 52239 | 1091 113182 490657 | 2147483647 52239 82 | 0.000 % |
52.04/52.13 c | 52648 | 1091 113182 490657 | 2147483647 52648 82 | 0.000 % |
52.95/53.00 c | 53097 | 1091 113182 490657 | 2147483647 53097 82 | 0.000 % |
53.85/53.92 c | 53591 | 1091 113182 490657 | 2147483647 53591 82 | 0.000 % |
55.25/55.33 c | 54134 | 1091 113182 490657 | 2147483647 54134 82 | 0.000 % |
56.05/56.14 c | 54731 | 1091 113182 490657 | 2147483647 54731 82 | 0.000 % |
57.84/57.94 c | 55386 | 1091 113182 490657 | 2147483647 55386 82 | 0.000 % |
59.54/59.62 c | 56108 | 1091 113182 490657 | 2147483647 56108 82 | 0.000 % |
60.14/60.28 c | 56209 | 1091 113182 490657 | 2147483647 56209 82 | 0.000 % |
60.54/60.66 c | 56320 | 1091 113182 490657 | 2147483647 56320 82 | 0.000 % |
61.04/61.13 c | 56441 | 1091 113182 490657 | 2147483647 56441 82 | 0.000 % |
61.45/61.51 c | 56574 | 1091 113182 490657 | 2147483647 56574 82 | 0.000 % |
61.74/61.80 c | 56722 | 1091 113182 490657 | 2147483647 56722 82 | 0.000 % |
62.14/62.26 c | 56884 | 1091 113182 490657 | 2147483647 56884 82 | 0.000 % |
62.54/62.67 c | 57060 | 1091 113182 490657 | 2147483647 57060 82 | 0.000 % |
63.04/63.17 c | 57254 | 1091 113182 490657 | 2147483647 57254 82 | 0.000 % |
63.64/63.77 c | 57467 | 1091 113182 490657 | 2147483647 57467 82 | 0.000 % |
64.14/64.25 c | 57700 | 1091 113182 490657 | 2147483647 57700 82 | 0.000 % |
64.64/64.74 c | 57956 | 1091 113182 490657 | 2147483647 57956 82 | 0.000 % |
65.14/65.28 c | 58238 | 1091 113182 490657 | 2147483647 58238 82 | 0.000 % |
65.94/66.08 c | 58548 | 1091 113182 490657 | 2147483647 58548 82 | 0.000 % |
67.34/67.45 c | 58887 | 1091 113182 490657 | 2147483647 58887 82 | 0.000 % |
69.33/69.46 c | 59260 | 1091 113182 490657 | 2147483647 59260 82 | 0.000 % |
71.83/71.99 c | 59670 | 1091 113182 490657 | 2147483647 59670 82 | 0.000 % |
75.03/75.10 c | 60119 | 1091 113182 490657 | 2147483647 60119 82 | 0.000 % |
78.33/78.40 c | 60613 | 1091 113182 490657 | 2147483647 60613 82 | 0.000 % |
80.93/81.06 c | 61155 | 1091 113182 490657 | 2147483647 61155 82 | 0.000 % |
83.53/83.65 c | 61753 | 1091 113182 490657 | 2147483647 61753 82 | 0.000 % |
85.74/85.85 c | 62410 | 1091 113182 490657 | 2147483647 62410 82 | 0.000 % |
88.23/88.32 c | 63132 | 1091 113182 490657 | 2147483647 63132 82 | 0.000 % |
90.33/90.45 c | 63924 | 1091 113182 490657 | 2147483647 63924 82 | 0.000 % |
90.53/90.60 c | 64026 | 1091 113182 490657 | 2147483647 64026 82 | 0.000 % |
91.03/91.18 c | 64136 | 1091 113182 490657 | 2147483647 64136 82 | 0.000 % |
91.53/91.64 c | 64257 | 1091 113182 490657 | 2147483647 64257 82 | 0.000 % |
91.93/92.03 c | 64390 | 1091 113182 490657 | 2147483647 64390 82 | 0.000 % |
92.33/92.48 c | 64537 | 1091 113182 490657 | 2147483647 64537 82 | 0.000 % |
93.13/93.26 c | 64698 | 1091 113182 490657 | 2147483647 64698 82 | 0.000 % |
93.93/94.02 c | 64875 | 1091 113182 490657 | 2147483647 64875 82 | 0.000 % |
94.03/94.17 c | 65071 | 1091 113182 490657 | 2147483647 65071 82 | 0.000 % |
94.93/95.03 c | 65283 | 1091 113182 490657 | 2147483647 65283 82 | 0.000 % |
95.73/95.84 c | 65517 | 1091 113182 490657 | 2147483647 65517 82 | 0.000 % |
96.53/96.63 c | 65773 | 1091 113182 490657 | 2147483647 65773 82 | 0.000 % |
97.63/97.73 c | 66054 | 1091 113182 490657 | 2147483647 66054 82 | 0.000 % |
98.62/98.77 c | 66363 | 1091 113182 490657 | 2147483647 66363 82 | 0.000 % |
99.82/99.90 c | 66703 | 1091 113182 490657 | 2147483647 66703 82 | 0.000 % |
100.82/100.94 c | 67079 | 1091 113182 490657 | 2147483647 67079 82 | 0.000 % |
102.32/102.41 c | 67489 | 1091 113182 490657 | 2147483647 67489 82 | 0.000 % |
103.23/103.34 c | 67940 | 1091 113182 490657 | 2147483647 67940 82 | 0.000 % |
104.33/104.49 c | 68434 | 1091 113182 490657 | 2147483647 68434 82 | 0.000 % |
105.03/105.11 c | 68977 | 1091 113182 490657 | 2147483647 68977 82 | 0.000 % |
108.93/109.01 c | 69573 | 1091 113182 490657 | 2147483647 69573 83 | 0.000 % |
113.52/113.65 c | 70231 | 1091 113182 490657 | 70000 70231 83 | 0.000 % |
116.72/116.89 c | 70951 | 1091 113182 490657 | 70000 57407 85 | 0.000 % |
119.52/119.67 c | 71743 | 1091 113182 490657 | 70000 58199 85 | 0.000 % |
121.52/121.65 c | 72615 | 1091 113182 490657 | 70000 59071 85 | 0.000 % |
121.72/121.86 c | 72715 | 1091 113182 490657 | 70000 59171 85 | 0.000 % |
122.02/122.17 c | 72826 | 1091 113182 490657 | 70000 59282 85 | 0.000 % |
122.42/122.54 c | 72947 | 1091 113182 490657 | 70000 59403 85 | 0.000 % |
122.72/122.82 c | 73080 | 1091 113182 490657 | 70000 59536 85 | 0.000 % |
123.03/123.14 c | 73226 | 1091 113182 490657 | 70000 59682 85 | 0.000 % |
123.42/123.54 c | 73386 | 1091 113182 490657 | 70000 59842 85 | 0.000 % |
123.82/124.00 c | 73563 | 1091 113182 490657 | 70000 60019 85 | 0.000 % |
124.22/124.31 c | 73757 | 1091 113182 490657 | 70000 60213 85 | 0.000 % |
124.42/124.52 c | 73969 | 1091 113182 490657 | 70000 60425 85 | 0.000 % |
124.72/124.85 c | 74202 | 1091 113182 490657 | 70000 60658 85 | 0.000 % |
125.02/125.18 c | 74458 | 1091 113182 490657 | 70000 60914 85 | 0.000 % |
125.92/126.06 c | 74739 | 1091 113182 490657 | 70000 61195 85 | 0.000 % |
126.52/126.69 c | 75048 | 1091 113182 490657 | 70000 61504 85 | 0.001 % |
129.72/129.82 c | 75389 | 1091 113182 490657 | 70000 61845 85 | 0.000 % |
131.82/131.98 c | 75764 | 1091 113182 490657 | 70000 62220 85 | 0.000 % |
133.81/133.92 c | 76173 | 1091 113182 490657 | 70000 62629 84 | 0.000 % |
135.22/135.38 c | 76622 | 1091 113182 490657 | 70000 63078 84 | 0.000 % |
137.21/137.33 c | 77116 | 1091 113182 490657 | 70000 63572 84 | 0.000 % |
138.91/139.05 c | 77658 | 1091 113182 490657 | 70000 64114 83 | 0.000 % |
141.51/141.61 c | 78256 | 1091 113182 490657 | 70000 64712 83 | 0.000 % |
143.61/143.75 c | 78917 | 1091 113182 490657 | 70000 65373 82 | 0.000 % |
146.01/146.11 c | 79638 | 1091 113182 490657 | 70000 66094 82 | 0.000 % |
148.11/148.23 c | 80432 | 1091 113182 490657 | 2147483647 66888 81 | 0.000 % |
149.51/149.69 c | 81303 | 1091 113182 490657 | 2147483647 67759 80 | 0.000 % |
151.91/152.06 c | 82261 | 1091 113182 490657 | 2147483647 68717 80 | 0.000 % |
152.21/152.33 c | 82363 | 1091 113182 490657 | 2147483647 68819 80 | 0.001 % |
152.81/152.96 c | 82473 | 1091 113182 490657 | 2147483647 68929 80 | 0.000 % |
153.30/153.40 c | 82594 | 1091 113182 490657 | 2147483647 69050 80 | 0.000 % |
153.81/153.94 c | 82727 | 1091 113182 490657 | 2147483647 69183 80 | 0.000 % |
154.30/154.43 c | 82874 | 1091 113182 490657 | 2147483647 69330 80 | 0.000 % |
155.10/155.24 c | 83035 | 1091 113182 490657 | 2147483647 69491 80 | 0.000 % |
156.01/156.19 c | 83215 | 1091 113182 490657 | 2147483647 69671 80 | 0.000 % |
157.00/157.10 c | 83408 | 1091 113182 490657 | 2147483647 69864 79 | 0.000 % |
158.50/158.69 c | 83620 | 1091 113182 490657 | 2147483647 70076 79 | 0.000 % |
159.70/159.85 c | 83854 | 1091 113182 490657 | 2147483647 70310 79 | 0.000 % |
160.00/160.17 c | 84112 | 1091 113182 490657 | 2147483647 70568 79 | 0.000 % |
160.30/160.41 c | 84393 | 1091 113182 490657 | 2147483647 70849 79 | 0.000 % |
160.40/160.55 c | 84703 | 1091 113182 490657 | 2147483647 71159 79 | 0.000 % |
160.60/160.78 c | 85043 | 1091 113182 490657 | 2147483647 71499 79 | 0.000 % |
162.10/162.20 c | 85417 | 1091 113182 490657 | 2147483647 71873 79 | 0.000 % |
163.90/164.01 c | 85826 | 1091 113182 490657 | 2147483647 72282 79 | 0.000 % |
165.10/165.27 c | 86275 | 1091 113182 490657 | 2147483647 72731 78 | 0.000 % |
166.40/166.55 c | 86771 | 1091 113182 490657 | 2147483647 73227 78 | 0.000 % |
167.70/167.86 c | 87313 | 1091 113182 490657 | 2147483647 73769 78 | 0.001 % |
169.30/169.43 c | 87909 | 1091 113182 490657 | 2147483647 74365 77 | 0.000 % |
171.01/171.12 c | 88565 | 1091 113182 490657 | 2147483647 75021 77 | 0.000 % |
173.71/173.87 c | 89286 | 1091 113182 490657 | 2147483647 75742 77 | 0.000 % |
176.60/176.74 c | 90079 | 1091 113182 490657 | 2147483647 76535 77 | 0.000 % |
178.40/178.54 c | 90952 | 1091 113182 490657 | 2147483647 77408 77 | 0.000 % |
183.61/183.78 c | 91911 | 1091 113182 490657 | 2147483647 78367 77 | 0.000 % |
185.20/185.31 c | 92964 | 1091 113182 490657 | 2147483647 79420 77 | 0.000 % |
186.00/186.19 c | 93064 | 1091 113182 490657 | 2147483647 79520 77 | 0.000 % |
186.50/186.65 c | 93174 | 1091 113182 490657 | 2147483647 79630 77 | 0.000 % |
187.40/187.58 c | 93296 | 1091 113182 490657 | 2147483647 79752 77 | 0.000 % |
187.90/188.09 c | 93432 | 1091 113182 490657 | 2147483647 79888 77 | 0.000 % |
188.40/188.57 c | 93578 | 1091 113182 490657 | 2147483647 80034 77 | 0.000 % |
189.30/189.47 c | 93739 | 1091 113182 490657 | 2147483647 80195 77 | 0.000 % |
190.00/190.20 c | 93918 | 1091 113182 490657 | 2147483647 80374 77 | 0.000 % |
191.20/191.32 c | 94112 | 1091 113182 490657 | 2147483647 80568 77 | 0.000 % |
191.50/191.66 c | 94324 | 1091 113182 490657 | 2147483647 80780 77 | 0.000 % |
192.69/192.89 c | 94557 | 1091 113182 490657 | 2147483647 81013 77 | 0.000 % |
194.29/194.43 c | 94813 | 1091 113182 490657 | 2147483647 81269 77 | 0.000 % |
195.29/195.45 c | 95095 | 1091 113182 490657 | 2147483647 81551 77 | 0.000 % |
196.09/196.23 c | 95404 | 1091 113182 490657 | 2147483647 81860 77 | 0.000 % |
197.39/197.56 c | 95744 | 1091 113182 490657 | 2147483647 82200 77 | 0.000 % |
198.49/198.68 c | 96116 | 1091 113182 490657 | 2147483647 82572 77 | 0.000 % |
199.19/199.35 c | 96525 | 1091 113182 490657 | 2147483647 82981 76 | 0.000 % |
201.10/201.23 c | 96975 | 1091 113182 490657 | 2147483647 83431 76 | 0.000 % |
203.09/203.24 c | 97472 | 1091 113182 490657 | 2147483647 83928 76 | 0.000 % |
205.19/205.31 c | 98014 | 1091 113182 490657 | 2147483647 84470 76 | 0.000 % |
207.89/208.08 c | 98611 | 1091 113182 490657 | 2147483647 85067 76 | 0.000 % |
209.19/209.34 c | 99268 | 1091 113182 490657 | 2147483647 85724 76 | 0.000 % |
213.58/213.79 c | 99988 | 1091 113182 490657 | 2147483647 86444 76 | 0.000 % |
215.69/215.89 c | 100781 | 1091 113182 490657 | 2147483647 87237 76 | 0.000 % |
218.79/218.97 c | 101656 | 1091 113182 490657 | 2147483647 88112 76 | 0.000 % |
220.59/220.72 c | 102614 | 1091 113182 490657 | 2147483647 89070 76 | 0.000 % |
222.19/222.39 c | 103667 | 1091 113182 490657 | 2147483647 90123 76 | 0.000 % |
225.19/225.34 c | 104827 | 1091 113182 490657 | 2147483647 91283 76 | 0.000 % |
225.39/225.54 c | 104927 | 1091 113182 490657 | 2147483647 91383 76 | 0.000 % |
225.69/225.82 c | 105037 | 1091 113182 490657 | 2147483647 91493 76 | 0.000 % |
225.89/226.05 c | 105158 | 1091 113182 490657 | 2147483647 91614 76 | 0.000 % |
226.39/226.60 c | 105291 | 1091 113182 490657 | 2147483647 91747 76 | 0.000 % |
226.88/227.02 c | 105440 | 1091 113182 490657 | 2147483647 91896 76 | 0.000 % |
227.59/227.75 c | 105601 | 1091 113182 490657 | 2147483647 92057 76 | 0.000 % |
228.59/228.71 c | 105777 | 1091 113182 490657 | 2147483647 92233 76 | 0.000 % |
229.28/229.49 c | 105971 | 1091 113182 490657 | 2147483647 92427 76 | 0.000 % |
230.58/230.75 c | 106183 | 1091 113182 490657 | 2147483647 92639 76 | 0.000 % |
230.98/231.14 c | 106416 | 1091 113182 490657 | 2147483647 92872 76 | 0.000 % |
232.08/232.24 c | 106672 | 1091 113182 490657 | 2147483647 93128 76 | 0.000 % |
232.58/232.71 c | 106954 | 1091 113182 490657 | 2147483647 93410 76 | 0.000 % |
233.68/233.83 c | 107263 | 1091 113182 490657 | 2147483647 93719 76 | 0.000 % |
234.48/234.65 c | 107603 | 1091 113182 490657 | 2147483647 94059 75 | 0.000 % |
236.18/236.36 c | 107976 | 1091 113182 490657 | 2147483647 94432 75 | 0.000 % |
236.98/237.14 c | 108385 | 1091 113182 490657 | 2147483647 94841 75 | 0.000 % |
237.98/238.16 c | 108834 | 1091 113182 490657 | 2147483647 95290 75 | 0.000 % |
239.68/239.87 c | 109329 | 1091 113182 490657 | 2147483647 95785 75 | 0.000 % |
240.88/241.07 c | 109871 | 1091 113182 490657 | 2147483647 96327 75 | 0.000 % |
242.18/242.32 c | 110467 | 1091 113182 490657 | 2147483647 96923 75 | 0.000 % |
243.48/243.69 c | 111122 | 1091 113182 490657 | 2147483647 97578 75 | 0.000 % |
244.78/244.99 c | 111844 | 1091 113182 490657 | 2147483647 98300 75 | 0.000 % |
246.38/246.55 c | 112637 | 1091 113182 490657 | 2147483647 99093 75 | 0.000 % |
247.98/248.10 c | 113510 | 1091 113182 490657 | 2147483647 99966 74 | 0.000 % |
252.07/252.27 c | 114470 | 1091 113182 490657 | 2147483647 100926 74 | 0.000 % |
257.57/257.77 c | 115523 | 1091 113182 490657 | 2147483647 101979 75 | 0.000 % |
262.38/262.60 c | 116685 | 1091 113182 490657 | 2147483647 103141 75 | 0.000 % |
268.07/268.26 c | 117958 | 1091 113182 490657 | 2147483647 104414 74 | 0.000 % |
268.37/268.58 c | 118058 | 1091 113182 490657 | 2147483647 104514 74 | 0.000 % |
269.07/269.22 c | 118169 | 1091 113182 490657 | 2147483647 104625 74 | 0.000 % |
269.87/270.04 c | 118290 | 1091 113182 490657 | 2147483647 104746 74 | 0.000 % |
270.67/270.84 c | 118423 | 1091 113182 490657 | 2147483647 104879 74 | 0.000 % |
271.07/271.27 c | 118571 | 1091 113182 490657 | 2147483647 105027 74 | 0.000 % |
271.77/271.96 c | 118734 | 1091 113182 490657 | 2147483647 105190 74 | 0.000 % |
272.37/272.57 c | 118911 | 1091 113182 490657 | 2147483647 105367 74 | 0.000 % |
272.87/273.07 c | 119106 | 1091 113182 490657 | 2147483647 105562 74 | 0.000 % |
273.07/273.27 c | 119318 | 1091 113182 490657 | 2147483647 105774 74 | 0.000 % |
273.37/273.57 c | 119551 | 1091 113182 490657 | 2147483647 106007 74 | 0.000 % |
274.37/274.50 c | 119808 | 1091 113182 490657 | 2147483647 106264 74 | 0.000 % |
275.87/276.07 c | 120089 | 1091 113182 490657 | 2147483647 106545 74 | 0.000 % |
276.97/277.12 c | 120398 | 1091 113182 490657 | 2147483647 106854 74 | 0.000 % |
277.57/277.74 c | 120737 | 1091 113182 490657 | 2147483647 107193 74 | 0.000 % |
278.37/278.56 c | 121109 | 1091 113182 490657 | 2147483647 107565 74 | 0.000 % |
279.47/279.67 c | 121521 | 1091 113182 490657 | 2147483647 107977 74 | 0.000 % |
281.27/281.48 c | 121972 | 1091 113182 490657 | 2147483647 108428 74 | 0.000 % |
283.97/284.11 c | 122465 | 1091 113182 490657 | 2147483647 108921 74 | 0.000 % |
285.46/285.69 c | 123008 | 1091 113182 490657 | 2147483647 109464 74 | 0.000 % |
288.76/288.97 c | 123607 | 1091 113182 490657 | 2147483647 110063 74 | 0.000 % |
292.56/292.71 c | 124262 | 1091 113182 490657 | 2147483647 110718 74 | 0.000 % |
295.46/295.66 c | 124988 | 1091 113182 490657 | 2147483647 111444 74 | 0.000 % |
296.86/297.04 c | 125780 | 1091 113182 490657 | 2147483647 112236 74 | 0.000 % |
300.66/300.82 c | 126652 | 1091 113182 490657 | 2147483647 113108 74 | 0.000 % |
302.26/302.43 c | 127610 | 1091 113182 490657 | 2147483647 114066 74 | 0.000 % |
303.26/303.46 c | 128665 | 1091 113182 490657 | 2147483647 115121 74 | 0.000 % |
303.96/304.17 c | 129823 | 1091 113182 490657 | 2147483647 116279 74 | 0.000 % |
306.15/306.35 c | 131096 | 1091 113182 490657 | 2147483647 117552 74 | 0.000 % |
317.65/317.86 c | 132496 | 1091 113182 490657 | 2147483647 118952 74 | 0.000 % |
318.15/318.30 c | 132597 | 1091 113182 490657 | 2147483647 119053 74 | 0.000 % |
318.45/318.64 c | 132707 | 1091 113182 490657 | 2147483647 119163 74 | 0.000 % |
318.75/318.98 c | 132832 | 1091 113182 490657 | 2147483647 119288 74 | 0.000 % |
319.35/319.58 c | 132965 | 1091 113182 490657 | 2147483647 119421 74 | 0.000 % |
320.05/320.26 c | 133111 | 1091 113182 490657 | 2147483647 119567 74 | 0.000 % |
320.95/321.18 c | 133271 | 1091 113182 490657 | 2147483647 119727 74 | 0.000 % |
321.95/322.12 c | 133447 | 1091 113182 490657 | 2147483647 119903 74 | 0.000 % |
322.65/322.85 c | 133640 | 1091 113182 490657 | 2147483647 120096 74 | 0.000 % |
323.45/323.68 c | 133853 | 1091 113182 490657 | 2147483647 120309 74 | 0.000 % |
324.75/324.99 c | 134086 | 1091 113182 490657 | 2147483647 120542 74 | 0.001 % |
326.25/326.43 c | 134342 | 1091 113182 490657 | 2147483647 120798 74 | 0.000 % |
327.85/328.01 c | 134626 | 1091 113182 490657 | 2147483647 121082 74 | 0.000 % |
328.86/329.00 c | 134938 | 1091 113182 490657 | 2147483647 121394 74 | 0.000 % |
330.45/330.68 c | 135284 | 1091 113182 490657 | 2147483647 121740 73 | 0.000 % |
331.85/332.07 c | 135657 | 1091 113182 490657 | 2147483647 122113 73 | 0.000 % |
333.45/333.61 c | 136070 | 1091 113182 490657 | 2147483647 122526 73 | 0.000 % |
335.95/336.18 c | 136522 | 1091 113182 490657 | 2147483647 122978 73 | 0.000 % |
339.55/339.78 c | 137015 | 1091 113182 490657 | 2147483647 123471 73 | 0.000 % |
340.55/340.70 c | 137559 | 1091 113182 490657 | 2147483647 124015 73 | 0.000 % |
341.55/341.74 c | 138155 | 1091 113182 490657 | 2147483647 124611 73 | 0.000 % |
346.05/346.27 c | 138810 | 1091 113182 490657 | 2147483647 125266 73 | 0.000 % |
349.75/349.94 c | 139530 | 1091 113182 490657 | 2147483647 125986 73 | 0.000 % |
352.64/352.89 c | 140323 | 1091 113182 490657 | 2147483647 126779 73 | 0.000 % |
356.44/356.66 c | 141194 | 1091 113182 490657 | 2147483647 127650 73 | 0.000 % |
358.45/358.68 c | 142154 | 1091 113182 490657 | 2147483647 128610 73 | 0.000 % |
362.74/362.92 c | 143207 | 1091 113182 490657 | 2147483647 129663 73 | 0.000 % |
365.94/366.13 c | 144366 | 1091 113182 490657 | 2147483647 130822 73 | 0.000 % |
369.44/369.69 c | 145640 | 1091 113182 490657 | 2147483647 132096 73 | 0.000 % |
375.33/375.56 c | 147041 | 1091 113182 490657 | 2147483647 133497 73 | 0.000 % |
379.84/380.08 c | 148586 | 1091 113182 490657 | 2147483647 135042 73 | 0.000 % |
380.14/380.34 c | 148686 | 1091 113182 490657 | 2147483647 135142 73 | 0.000 % |
380.34/380.55 c | 148798 | 1091 113182 490657 | 2147483647 135254 73 | 0.000 % |
381.04/381.26 c | 148920 | 1091 113182 490657 | 2147483647 135376 73 | 0.000 % |
381.64/381.89 c | 149054 | 1091 113182 490657 | 2147483647 135510 73 | 0.000 % |
382.54/382.79 c | 149201 | 1091 113182 490657 | 2147483647 135657 73 | 0.000 % |
383.34/383.59 c | 149362 | 1091 113182 490657 | 2147483647 135818 73 | 0.000 % |
384.13/384.33 c | 149539 | 1091 113182 490657 | 2147483647 135995 73 | 0.000 % |
385.33/385.56 c | 149732 | 1091 113182 490657 | 2147483647 136188 73 | 0.000 % |
386.23/386.49 c | 149945 | 1091 113182 490657 | 2147483647 136401 73 | 0.000 % |
388.93/389.18 c | 150178 | 1091 113182 490657 | 2147483647 136634 73 | 0.000 % |
390.34/390.51 c | 150436 | 1091 113182 490657 | 2147483647 136892 73 | 0.000 % |
391.13/391.38 c | 150719 | 1091 113182 490657 | 2147483647 137175 73 | 0.000 % |
392.23/392.44 c | 151028 | 1091 113182 490657 | 2147483647 137484 73 | 0.000 % |
393.53/393.73 c | 151368 | 1091 113182 490657 | 2147483647 137824 73 | 0.000 % |
394.93/395.13 c | 151740 | 1091 113182 490657 | 2147483647 138196 73 | 0.000 % |
396.43/396.61 c | 152149 | 1091 113182 490657 | 2147483647 138605 73 | 0.000 % |
397.63/397.86 c | 152599 | 1091 113182 490657 | 2147483647 139055 73 | 0.000 % |
401.53/401.70 c | 153095 | 1091 113182 490657 | 2147483647 139551 73 | 0.000 % |
404.92/405.12 c | 153638 | 1091 113182 490657 | 2147483647 140094 73 | 0.000 % |
406.92/407.14 c | 154234 | 1091 113182 490657 | 2147483647 140690 73 | 0.000 % |
408.82/409.09 c | 154889 | 1091 113182 490657 | 2147483647 141345 73 | 0.000 % |
410.52/410.76 c | 155609 | 1091 113182 490657 | 2147483647 142065 73 | 0.000 % |
412.02/412.25 c | 156404 | 1091 113182 490657 | 2147483647 142860 73 | 0.000 % |
417.32/417.59 c | 157275 | 1091 113182 490657 | 2147483647 143731 73 | 0.000 % |
419.81/420.06 c | 158233 | 1091 113182 490657 | 2147483647 144689 73 | 0.000 % |
421.91/422.13 c | 159287 | 1091 113182 490657 | 2147483647 145743 73 | 0.000 % |
423.12/423.38 c | 160445 | 1091 113182 490657 | 2147483647 146901 73 | 0.000 % |
428.41/428.66 c | 161719 | 1091 113182 490657 | 2147483647 148175 73 | 0.000 % |
434.11/434.33 c | 163120 | 1091 113182 490657 | 2147483647 149576 72 | 0.000 % |
436.61/436.82 c | 164661 | 1091 113182 490657 | 2147483647 151117 72 | 0.000 % |
439.02/439.29 c | 166355 | 1091 113182 490657 | 2147483647 152811 72 | 0.000 % |
439.22/439.45 c | 166455 | 1091 113182 490657 | 2147483647 152911 72 | 0.000 % |
439.42/439.61 c | 166565 | 1091 113182 490657 | 2147483647 153021 72 | 0.000 % |
439.72/439.92 c | 166686 | 1091 113182 490657 | 2147483647 153142 72 | 0.000 % |
440.42/440.67 c | 166819 | 1091 113182 490657 | 2147483647 153275 72 | 0.000 % |
441.31/441.52 c | 166967 | 1091 113182 490657 | 2147483647 153423 72 | 0.000 % |
442.21/442.43 c | 167127 | 1091 113182 490657 | 2147483647 153583 72 | 0.000 % |
443.12/443.31 c | 167303 | 1091 113182 490657 | 2147483647 153759 72 | 0.000 % |
444.01/444.28 c | 167498 | 1091 113182 490657 | 2147483647 153954 72 | 0.000 % |
445.22/445.50 c | 167710 | 1091 113182 490657 | 2147483647 154166 72 | 0.000 % |
446.01/446.20 c | 167943 | 1091 113182 490657 | 2147483647 154399 72 | 0.000 % |
446.81/447.00 c | 168199 | 1091 113182 490657 | 2147483647 154655 72 | 0.000 % |
447.31/447.57 c | 168483 | 1091 113182 490657 | 2147483647 154939 72 | 0.000 % |
448.01/448.28 c | 168795 | 1091 113182 490657 | 2147483647 155251 72 | 0.000 % |
448.81/449.04 c | 169134 | 1091 113182 490657 | 2147483647 155590 72 | 0.000 % |
449.61/449.85 c | 169510 | 1091 113182 490657 | 2147483647 155966 72 | 0.000 % |
452.41/452.63 c | 169921 | 1091 113182 490657 | 2147483647 156377 72 | 0.000 % |
454.31/454.57 c | 170370 | 1091 113182 490657 | 2147483647 156826 72 | 0.000 % |
456.61/456.83 c | 170863 | 1091 113182 490657 | 2147483647 157319 72 | 0.000 % |
458.51/458.79 c | 171408 | 1091 113182 490657 | 2147483647 157864 72 | 0.000 % |
460.61/460.85 c | 172005 | 1091 113182 490657 | 2147483647 158461 72 | 0.000 % |
462.40/462.62 c | 172660 | 1091 113182 490657 | 2147483647 159116 72 | 0.000 % |
465.80/466.04 c | 173381 | 1091 113182 490657 | 2147483647 159837 72 | 0.000 % |
468.70/468.95 c | 174174 | 1091 113182 490657 | 2147483647 160630 72 | 0.000 % |
471.90/472.10 c | 175045 | 1091 113182 490657 | 2147483647 161501 72 | 0.000 % |
474.60/474.86 c | 176003 | 1091 113182 490657 | 2147483647 162459 72 | 0.000 % |
479.30/479.54 c | 177059 | 1091 113182 490657 | 2147483647 163515 72 | 0.000 % |
482.69/482.93 c | 178217 | 1091 113182 490657 | 2147483647 164673 72 | 0.000 % |
484.90/485.11 c | 179490 | 1091 113182 490657 | 2147483647 165946 71 | 0.000 % |
491.20/491.49 c | 180892 | 1091 113182 490657 | 2147483647 167348 71 | 0.000 % |
495.59/495.86 c | 182433 | 1091 113182 490657 | 2147483647 168889 71 | 0.000 % |
504.19/504.49 c | 184127 | 1091 113182 490657 | 2147483647 170583 71 | 0.000 % |
510.38/510.63 c | 185991 | 1091 113182 490657 | 2147483647 172447 71 | 0.000 % |
510.48/510.78 c | 186091 | 1091 113182 490657 | 2147483647 172547 71 | 0.000 % |
510.78/511.01 c | 186203 | 1091 113182 490657 | 2147483647 172659 71 | 0.000 % |
511.08/511.34 c | 186324 | 1091 113182 490657 | 2147483647 172780 71 | 0.000 % |
511.38/511.67 c | 186458 | 1091 113182 490657 | 2147483647 172914 71 | 0.000 % |
511.88/512.18 c | 186605 | 1091 113182 490657 | 2147483647 173061 71 | 0.000 % |
512.78/513.07 c | 186767 | 1091 113182 490657 | 2147483647 173223 71 | 0.000 % |
513.78/514.01 c | 186943 | 1091 113182 490657 | 2147483647 173399 71 | 0.000 % |
514.38/514.61 c | 187139 | 1091 113182 490657 | 2147483647 173595 71 | 0.000 % |
514.58/514.87 c | 187351 | 1091 113182 490657 | 2147483647 173807 71 | 0.000 % |
515.08/515.35 c | 187585 | 1091 113182 490657 | 2147483647 174041 71 | 0.000 % |
515.48/515.79 c | 187841 | 1091 113182 490657 | 2147483647 174297 71 | 0.000 % |
515.88/516.10 c | 188122 | 1091 113182 490657 | 2147483647 174578 71 | 0.000 % |
516.98/517.25 c | 188431 | 1091 113182 490657 | 2147483647 174887 71 | 0.000 % |
518.19/518.40 c | 188771 | 1091 113182 490657 | 2147483647 175227 71 | 0.000 % |
518.79/519.04 c | 189144 | 1091 113182 490657 | 2147483647 175600 71 | 0.000 % |
519.29/519.57 c | 189554 | 1091 113182 490657 | 2147483647 176010 71 | 0.000 % |
522.19/522.44 c | 190004 | 1091 113182 490657 | 2147483647 176460 71 | 0.000 % |
523.78/524.04 c | 190497 | 1091 113182 490657 | 2147483647 176953 71 | 0.000 % |
524.98/525.23 c | 191039 | 1091 113182 490657 | 2147483647 177495 71 | 0.000 % |
526.18/526.49 c | 191638 | 1091 113182 490657 | 2147483647 178094 71 | 0.000 % |
527.78/528.05 c | 192293 | 1091 113182 490657 | 2147483647 178749 71 | 0.000 % |
528.98/529.27 c | 193015 | 1091 113182 490657 | 2147483647 179471 71 | 0.000 % |
530.58/530.90 c | 193808 | 1091 113182 490657 | 2147483647 180264 71 | 0.000 % |
532.18/532.41 c | 194680 | 1091 113182 490657 | 2147483647 181136 71 | 0.000 % |
533.77/534.00 c | 195638 | 1091 113182 490657 | 2147483647 182094 71 | 0.000 % |
535.17/535.47 c | 196692 | 1091 113182 490657 | 2147483647 183148 71 | 0.000 % |
536.57/536.81 c | 197850 | 1091 113182 490657 | 2147483647 184306 71 | 0.000 % |
538.07/538.37 c | 199124 | 1091 113182 490657 | 2147483647 185580 71 | 0.000 % |
540.78/541.02 c | 200525 | 1091 113182 490657 | 2147483647 186981 71 | 0.000 % |
543.97/544.27 c | 202066 | 1091 113182 490657 | 2147483647 188522 71 | 0.000 % |
547.27/547.58 c | 203761 | 1091 113182 490657 | 2147483647 190217 71 | 0.000 % |
550.07/550.35 c | 205626 | 1091 113182 490657 | 2147483647 192082 71 | 0.000 % |
552.47/552.76 c | 207675 | 1091 113182 490657 | 2147483647 194131 71 | 0.000 % |
552.66/552.95 c | 207775 | 1091 113182 490657 | 2147483647 194231 71 | 0.000 % |
552.86/553.11 c | 207885 | 1091 113182 490657 | 2147483647 194341 71 | 0.000 % |
552.97/553.26 c | 208007 | 1091 113182 490657 | 2147483647 194463 71 | 0.000 % |
553.16/553.47 c | 208140 | 1091 113182 490657 | 2147483647 194596 71 | 0.000 % |
553.46/553.72 c | 208287 | 1091 113182 490657 | 2147483647 194743 71 | 0.000 % |
553.66/553.97 c | 208448 | 1091 113182 490657 | 2147483647 194904 71 | 0.000 % |
553.97/554.23 c | 208626 | 1091 113182 490657 | 2147483647 195082 71 | 0.000 % |
554.18/554.47 c | 208819 | 1091 113182 490657 | 2147483647 195275 71 | 0.000 % |
554.47/554.79 c | 209033 | 1091 113182 490657 | 2147483647 195489 71 | 0.000 % |
554.87/555.20 c | 209266 | 1091 113182 490657 | 2147483647 195722 71 | 0.000 % |
555.27/555.60 c | 209523 | 1091 113182 490657 | 2147483647 195979 71 | 0.000 % |
555.67/555.99 c | 209804 | 1091 113182 490657 | 2147483647 196260 71 | 0.000 % |
556.17/556.46 c | 210115 | 1091 113182 490657 | 2147483647 196571 71 | 0.000 % |
556.67/556.97 c | 210457 | 1091 113182 490657 | 2147483647 196913 71 | 0.000 % |
557.37/557.61 c | 210830 | 1091 113182 490657 | 2147483647 197286 71 | 0.000 % |
558.86/559.11 c | 211239 | 1091 113182 490657 | 2147483647 197695 71 | 0.000 % |
560.17/560.46 c | 211691 | 1091 113182 490657 | 2147483647 198147 71 | 0.000 % |
560.77/561.08 c | 212184 | 1091 113182 490657 | 2147483647 198640 71 | 0.000 % |
562.06/562.35 c | 212726 | 1091 113182 490657 | 2147483647 199182 71 | 0.000 % |
563.66/563.94 c | 213322 | 1091 113182 490657 | 2147483647 199778 71 | 0.000 % |
564.56/564.83 c | 213977 | 1091 113182 490657 | 2147483647 200433 71 | 0.000 % |
565.26/565.53 c | 214698 | 1091 113182 490657 | 2147483647 201154 71 | 0.000 % |
566.26/566.59 c | 215490 | 1091 113182 490657 | 2147483647 201946 71 | 0.000 % |
567.46/567.76 c | 216362 | 1091 113182 490657 | 2147483647 202818 71 | 0.000 % |
568.85/569.16 c | 217320 | 1091 113182 490657 | 2147483647 203776 71 | 0.000 % |
570.66/570.91 c | 218375 | 1091 113182 490657 | 2147483647 204831 71 | 0.000 % |
572.35/572.67 c | 219534 | 1091 113182 490657 | 2147483647 205990 71 | 0.000 % |
574.76/575.08 c | 220807 | 1091 113182 490657 | 2147483647 207263 71 | 0.000 % |
578.96/579.20 c | 222207 | 1091 113182 490657 | 2147483647 208663 72 | 0.000 % |
584.35/584.65 c | 223747 | 1091 113182 490657 | 2147483647 210203 72 | 0.000 % |
589.65/589.94 c | 225443 | 1091 113182 490657 | 2147483647 211899 72 | 0.000 % |
594.05/594.34 c | 227307 | 1091 113182 490657 | 2147483647 213763 72 | 0.000 % |
598.55/598.89 c | 229356 | 1091 113182 490657 | 2147483647 215812 72 | 0.000 % |
604.34/604.64 c | 231609 | 1091 113182 490657 | 2147483647 218065 72 | 0.000 % |
604.65/604.97 c | 231709 | 1091 113182 490657 | 2147483647 218165 72 | 0.000 % |
604.94/605.22 c | 231820 | 1091 113182 490657 | 2147483647 218276 72 | 0.000 % |
605.24/605.55 c | 231943 | 1091 113182 490657 | 2147483647 218399 72 | 0.000 % |
605.54/605.88 c | 232077 | 1091 113182 490657 | 2147483647 218533 72 | 0.000 % |
606.04/606.31 c | 232224 | 1091 113182 490657 | 2147483647 218680 72 | 0.000 % |
606.44/606.74 c | 232384 | 1091 113182 490657 | 2147483647 218840 72 | 0.000 % |
606.74/607.08 c | 232561 | 1091 113182 490657 | 2147483647 219017 72 | 0.000 % |
607.44/607.72 c | 232755 | 1091 113182 490657 | 2147483647 219211 72 | 0.000 % |
607.95/608.20 c | 232968 | 1091 113182 490657 | 2147483647 219424 72 | 0.000 % |
608.34/608.68 c | 233201 | 1091 113182 490657 | 2147483647 219657 72 | 0.000 % |
608.84/609.19 c | 233457 | 1091 113182 490657 | 2147483647 219913 72 | 0.000 % |
609.54/609.90 c | 233740 | 1091 113182 490657 | 2147483647 220196 72 | 0.000 % |
610.44/610.70 c | 234050 | 1091 113182 490657 | 2147483647 220506 72 | 0.000 % |
611.24/611.59 c | 234389 | 1091 113182 490657 | 2147483647 220845 72 | 0.000 % |
612.14/612.43 c | 234762 | 1091 113182 490657 | 2147483647 221218 72 | 0.000 % |
612.84/613.12 c | 235172 | 1091 113182 490657 | 2147483647 221628 72 | 0.000 % |
613.64/613.96 c | 235621 | 1091 113182 490657 | 2147483647 222077 72 | 0.000 % |
614.55/614.81 c | 236115 | 1091 113182 490657 | 2147483647 222571 72 | 0.000 % |
615.54/615.89 c | 236658 | 1091 113182 490657 | 2147483647 223114 72 | 0.000 % |
616.54/616.89 c | 237254 | 1091 113182 490657 | 2147483647 223710 72 | 0.000 % |
617.84/618.12 c | 237909 | 1091 113182 490657 | 2147483647 224365 72 | 0.000 % |
619.44/619.75 c | 238630 | 1091 113182 490657 | 2147483647 225086 72 | 0.000 % |
621.04/621.36 c | 239422 | 1091 113182 490657 | 2147483647 225878 72 | 0.000 % |
622.94/623.24 c | 240293 | 1091 113182 490657 | 2147483647 226749 72 | 0.000 % |
625.14/625.41 c | 241251 | 1091 113182 490657 | 2147483647 227707 72 | 0.000 % |
627.43/627.74 c | 242304 | 1091 113182 490657 | 2147483647 228760 72 | 0.000 % |
629.73/630.06 c | 243464 | 1091 113182 490657 | 2147483647 229920 72 | 0.000 % |
632.53/632.88 c | 244738 | 1091 113182 490657 | 2147483647 231194 72 | 0.000 % |
635.34/635.63 c | 246138 | 1091 113182 490657 | 2147483647 232594 71 | 0.000 % |
638.54/638.80 c | 247678 | 1091 113182 490657 | 2147483647 234134 71 | 0.000 % |
641.43/641.71 c | 249372 | 1091 113182 490657 | 2147483647 235828 72 | 0.000 % |
645.23/645.57 c | 251235 | 1091 113182 490657 | 2147483647 237691 72 | 0.000 % |
649.52/649.85 c | 253285 | 1091 113182 490657 | 2147483647 239741 72 | 0.000 % |
655.03/655.34 c | 255538 | 1091 113182 490657 | 2147483647 241994 72 | 0.000 % |
661.03/661.39 c | 258019 | 1091 113182 490657 | 2147483647 244475 72 | 0.000 % |
661.33/661.67 c | 258119 | 1091 113182 490657 | 2147483647 244575 72 | 0.000 % |
661.63/661.98 c | 258231 | 1091 113182 490657 | 2147483647 244687 72 | 0.000 % |
661.93/662.21 c | 258352 | 1091 113182 490657 | 2147483647 244808 72 | 0.000 % |
662.23/662.52 c | 258485 | 1091 113182 490657 | 2147483647 244941 72 | 0.000 % |
662.63/662.92 c | 258633 | 1091 113182 490657 | 2147483647 245089 72 | 0.000 % |
662.93/663.27 c | 258794 | 1091 113182 490657 | 2147483647 245250 72 | 0.000 % |
663.33/663.68 c | 258972 | 1091 113182 490657 | 2147483647 245428 72 | 0.000 % |
663.83/664.10 c | 259165 | 1091 113182 490657 | 2147483647 245621 72 | 0.000 % |
664.33/664.66 c | 259378 | 1091 113182 490657 | 2147483647 245834 72 | 0.000 % |
665.03/665.31 c | 259611 | 1091 113182 490657 | 2147483647 246067 72 | 0.000 % |
665.63/665.96 c | 259867 | 1091 113182 490657 | 2147483647 246323 72 | 0.000 % |
666.52/666.81 c | 260149 | 1091 113182 490657 | 2147483647 246605 72 | 0.000 % |
667.33/667.60 c | 260458 | 1091 113182 490657 | 2147483647 246914 72 | 0.000 % |
668.22/668.50 c | 260799 | 1091 113182 490657 | 2147483647 247255 72 | 0.000 % |
669.02/669.32 c | 261172 | 1091 113182 490657 | 2147483647 247628 72 | 0.000 % |
669.92/670.30 c | 261583 | 1091 113182 490657 | 2147483647 248039 72 | 0.000 % |
671.22/671.52 c | 262032 | 1091 113182 490657 | 2147483647 248488 72 | 0.000 % |
672.42/672.72 c | 262529 | 1091 113182 490657 | 2147483647 248985 72 | 0.000 % |
673.62/673.96 c | 263072 | 1091 113182 490657 | 2147483647 249528 72 | 0.000 % |
675.32/675.63 c | 263669 | 1091 113182 490657 | 2147483647 250125 72 | 0.000 % |
677.02/677.35 c | 264325 | 1091 113182 490657 | 2147483647 250781 72 | 0.000 % |
678.82/679.15 c | 265047 | 1091 113182 490657 | 2147483647 251503 72 | 0.000 % |
680.92/681.21 c | 265839 | 1091 113182 490657 | 2147483647 252295 72 | 0.000 % |
683.21/683.58 c | 266713 | 1091 113182 490657 | 2147483647 253169 72 | 0.000 % |
685.51/685.89 c | 267671 | 1091 113182 490657 | 2147483647 254127 72 | 0.000 % |
688.61/688.99 c | 268725 | 1091 113182 490657 | 2147483647 255181 72 | 0.000 % |
691.52/691.80 c | 269886 | 1091 113182 490657 | 2147483647 256342 71 | 0.000 % |
695.11/695.40 c | 271159 | 1091 113182 490657 | 2147483647 257615 71 | 0.000 % |
699.81/700.16 c | 272559 | 1091 113182 490657 | 2147483647 259015 71 | 0.000 % |
706.31/706.62 c | 274099 | 1091 113182 490657 | 2147483647 260555 71 | 0.000 % |
713.00/713.37 c | 275793 | 1091 113182 490657 | 2147483647 262249 71 | 0.000 % |
720.21/720.60 c | 277657 | 1091 113182 490657 | 2147483647 264113 71 | 0.000 % |
727.60/727.93 c | 279707 | 1091 113182 490657 | 2147483647 266163 71 | 0.000 % |
736.50/736.86 c | 281960 | 1091 113182 490657 | 266456 235425 72 | 0.000 % |
746.29/746.62 c | 284439 | 1091 113182 490657 | 266456 237904 72 | 0.000 % |
757.89/758.20 c | 287164 | 1091 113182 490657 | 266456 240629 72 | 0.000 % |
758.29/758.60 c | 287266 | 1091 113182 490657 | 266456 240731 72 | 0.000 % |
758.69/759.06 c | 287376 | 1091 113182 490657 | 266456 240841 72 | 0.000 % |
759.09/759.47 c | 287498 | 1091 113182 490657 | 266456 240963 72 | 0.000 % |
759.79/760.12 c | 287633 | 1091 113182 490657 | 266456 241098 72 | 0.000 % |
760.49/760.84 c | 287781 | 1091 113182 490657 | 266456 241246 72 | 0.000 % |
761.29/761.61 c | 287941 | 1091 113182 490657 | 266456 241406 72 | 0.000 % |
762.29/762.62 c | 288117 | 1091 113182 490657 | 266456 241582 72 | 0.000 % |
763.09/763.43 c | 288310 | 1091 113182 490657 | 266456 241775 72 | 0.000 % |
764.19/764.58 c | 288524 | 1091 113182 490657 | 266456 241989 72 | 0.000 % |
765.49/765.88 c | 288758 | 1091 113182 490657 | 266456 242223 72 | 0.000 % |
766.98/767.39 c | 289015 | 1091 113182 490657 | 266456 242480 72 | 0.000 % |
768.49/768.85 c | 289297 | 1091 113182 490657 | 266456 242762 72 | 0.000 % |
769.98/770.33 c | 289606 | 1091 113182 490657 | 266456 243071 72 | 0.000 % |
771.48/771.86 c | 289945 | 1091 113182 490657 | 266456 243410 72 | 0.000 % |
773.18/773.58 c | 290318 | 1091 113182 490657 | 2147483647 243783 72 | 0.000 % |
774.88/775.24 c | 290729 | 1091 113182 490657 | 2147483647 244194 72 | 0.000 % |
776.98/777.37 c | 291178 | 1091 113182 490657 | 2147483647 244643 72 | 0.000 % |
779.38/779.76 c | 291671 | 1091 113182 490657 | 2147483647 245136 72 | 0.000 % |
781.99/782.38 c | 292214 | 1091 113182 490657 | 2147483647 245679 72 | 0.000 % |
785.09/785.44 c | 292810 | 1091 113182 490657 | 2147483647 246275 72 | 0.000 % |
788.49/788.87 c | 293465 | 1091 113182 490657 | 2147483647 246930 72 | 0.000 % |
791.89/792.21 c | 294185 | 1091 113182 490657 | 2147483647 247650 71 | 0.000 % |
794.89/795.21 c | 294977 | 1091 113182 490657 | 2147483647 248442 71 | 0.000 % |
798.19/798.59 c | 295849 | 1091 113182 490657 | 2147483647 249314 71 | 0.000 % |
801.78/802.12 c | 296807 | 1091 113182 490657 | 2147483647 250272 71 | 0.000 % |
804.58/804.99 c | 297860 | 1091 113182 490657 | 2147483647 251325 71 | 0.000 % |
806.88/807.29 c | 299018 | 1091 113182 490657 | 2147483647 252483 71 | 0.000 % |
809.58/809.97 c | 300291 | 1091 113182 490657 | 253465 253756 71 | 0.000 % |
816.08/816.42 c | 301692 | 1091 113182 490657 | 253465 220088 70 | 0.000 % |
819.37/819.70 c | 303233 | 1091 113182 490657 | 253465 221629 70 | 0.000 % |
828.77/829.17 c | 304927 | 1091 113182 490657 | 253465 223323 70 | 0.000 % |
840.37/840.73 c | 306790 | 1091 113182 490657 | 253465 225186 70 | 0.000 % |
851.46/851.81 c | 308841 | 1091 113182 490657 | 253465 227237 70 | 0.000 % |
866.46/866.88 c | 311094 | 1091 113182 490657 | 228396 170365 69 | 0.000 % |
886.05/886.43 c | 313572 | 1091 113182 490657 | 228396 172843 69 | 0.000 % |
905.04/905.45 c | 316298 | 1091 113182 490657 | 228396 175569 69 | 0.000 % |
926.24/926.60 c | 319296 | 1091 113182 490657 | 228396 178567 69 | 0.000 % |
927.24/927.64 c | 319397 | 1091 113182 490657 | 228396 178668 69 | 0.000 % |
927.94/928.39 c | 319510 | 1091 113182 490657 | 228396 178781 69 | 0.000 % |
929.04/929.48 c | 319632 | 1091 113182 490657 | 228396 178903 69 | 0.000 % |
929.73/930.14 c | 319766 | 1091 113182 490657 | 228396 179037 69 | 0.000 % |
930.43/930.86 c | 319914 | 1091 113182 490657 | 228396 179185 69 | 0.000 % |
931.53/931.98 c | 320074 | 1091 113182 490657 | 179272 179345 69 | 0.000 % |
934.43/934.82 c | 320254 | 1091 113182 490657 | 179272 122819 69 | 0.000 % |
935.43/935.84 c | 320448 | 1091 113182 490657 | 179272 123013 69 | 0.000 % |
936.74/937.12 c | 320662 | 1091 113182 490657 | 179272 123227 69 | 0.000 % |
937.84/938.27 c | 320899 | 1091 113182 490657 | 179272 123464 69 | 0.000 % |
939.73/940.19 c | 321155 | 1091 113182 490657 | 179272 123720 69 | 0.000 % |
941.93/942.32 c | 321436 | 1091 113182 490657 | 179272 124001 69 | 0.000 % |
942.83/943.28 c | 321746 | 1091 113182 490657 | 179272 124311 69 | 0.000 % |
944.83/945.21 c | 322085 | 1091 113182 490657 | 179272 124650 69 | 0.000 % |
947.23/947.67 c | 322457 | 1091 113182 490657 | 179272 125022 69 | 0.000 % |
950.23/950.64 c | 322866 | 1091 113182 490657 | 179272 125431 69 | 0.000 % |
952.93/953.39 c | 323316 | 1091 113182 490657 | 179272 125881 69 | 0.000 % |
956.02/956.45 c | 323810 | 1091 113182 490657 | 179272 126375 69 | 0.000 % |
959.32/959.77 c | 324353 | 1091 113182 490657 | 179272 126918 69 | 0.000 % |
963.12/963.58 c | 324950 | 1091 113182 490657 | 179272 127515 69 | 0.000 % |
967.32/967.75 c | 325605 | 1091 113182 490657 | 179272 128170 69 | 0.000 % |
970.12/970.51 c | 326327 | 1091 113182 490657 | 179272 128892 69 | 0.000 % |
973.42/973.88 c | 327120 | 1091 113182 490657 | 179272 129685 69 | 0.000 % |
978.12/978.55 c | 327993 | 1091 113182 490657 | 179272 130558 69 | 0.000 % |
983.71/984.12 c | 328951 | 1091 113182 490657 | 179272 131516 69 | 0.000 % |
990.51/990.97 c | 330004 | 1091 113182 490657 | 132566 132569 69 | 0.000 % |
1001.71/1002.11 c | 331163 | 1091 113182 490657 | 132566 98038 69 | 0.000 % |
1010.41/1010.81 c | 332437 | 1091 113182 490657 | 132566 99312 69 | 0.000 % |
1018.60/1019.07 c | 333837 | 1091 113182 490657 | 132566 100712 69 | 0.000 % |
1024.40/1024.89 c | 335378 | 1091 113182 490657 | 132566 102253 69 | 0.000 % |
1041.20/1041.69 c | 337073 | 1091 113182 490657 | 132566 103948 69 | 0.000 % |
1044.60/1045.03 c | 338936 | 1091 113182 490657 | 132566 105811 69 | 0.000 % |
1049.49/1049.92 c | 340986 | 1091 113182 490657 | 106875 95126 69 | 0.000 % |
1065.69/1066.10 c | 343239 | 1091 113182 490657 | 106875 97379 69 | 0.000 % |
1087.38/1087.87 c | 345718 | 1091 113182 490657 | 106875 99858 69 | 0.000 % |
1108.17/1108.64 c | 348446 | 1091 113182 490657 | 106875 102586 69 | 0.000 % |
1126.57/1127.08 c | 351443 | 1091 113182 490657 | 104140 90555 69 | 0.000 % |
1144.46/1144.92 c | 354739 | 1091 113182 490657 | 104140 93851 68 | 0.000 % |
1145.06/1145.53 c | 354839 | 1091 113182 490657 | 104140 93951 68 | 0.000 % |
1145.77/1146.23 c | 354952 | 1091 113182 490657 | 104140 94064 68 | 0.000 % |
1146.56/1147.00 c | 355075 | 1091 113182 490657 | 104140 94187 68 | 0.000 % |
1147.26/1147.72 c | 355208 | 1091 113182 490657 | 104140 94320 68 | 0.000 % |
1148.86/1149.30 c | 355354 | 1091 113182 490657 | 104140 94466 68 | 0.000 % |
1149.06/1149.53 c | 355514 | 1091 113182 490657 | 104140 94626 68 | 0.000 % |
1150.76/1151.25 c | 355690 | 1091 113182 490657 | 104140 94802 68 | 0.000 % |
1151.56/1152.05 c | 355884 | 1091 113182 490657 | 104140 94996 68 | 0.000 % |
1151.76/1152.27 c | 356097 | 1091 113182 490657 | 104140 95209 68 | 0.000 % |
1154.46/1154.91 c | 356332 | 1091 113182 490657 | 104140 95444 68 | 0.000 % |
1157.46/1157.98 c | 356590 | 1091 113182 490657 | 104140 95702 68 | 0.000 % |
1162.35/1162.84 c | 356871 | 1091 113182 490657 | 104140 95983 68 | 0.000 % |
1166.85/1167.38 c | 357180 | 1091 113182 490657 | 104140 96292 68 | 0.000 % |
1171.75/1172.21 c | 357520 | 1091 113182 490657 | 104140 96632 68 | 0.000 % |
1175.15/1175.66 c | 357893 | 1091 113182 490657 | 104140 97005 68 | 0.000 % |
1179.85/1180.32 c | 358303 | 1091 113182 490657 | 104140 97415 68 | 0.000 % |
1186.05/1186.50 c | 358753 | 1091 113182 490657 | 104140 97865 68 | 0.000 % |
1186.25/1186.76 c | 359246 | 1091 113182 490657 | 104140 98358 68 | 0.000 % |
1193.45/1193.90 c | 359791 | 1091 113182 490657 | 104140 98903 68 | 0.000 % |
1196.05/1196.59 c | 360388 | 1091 113182 490657 | 99112 83048 68 | 0.000 % |
1201.34/1201.84 c | 361043 | 1091 113182 490657 | 99112 83703 68 | 0.000 % |
1205.74/1206.29 c | 361764 | 1091 113182 490657 | 99112 84424 68 | 0.000 % |
1207.94/1208.44 c | 362558 | 1091 113182 490657 | 99112 85218 68 | 0.000 % |
1209.64/1210.15 c | 363429 | 1091 113182 490657 | 99112 86089 68 | 0.000 % |
1217.74/1218.27 c | 364389 | 1091 113182 490657 | 99112 87049 68 | 0.000 % |
1228.14/1228.69 c | 365446 | 1091 113182 490657 | 99112 88106 68 | 0.000 % |
1237.63/1238.10 c | 366606 | 1091 113182 490657 | 99112 89266 68 | 0.000 % |
1248.23/1248.72 c | 367880 | 1091 113182 490657 | 99112 90540 68 | 0.000 % |
1262.62/1263.18 c | 369280 | 1091 113182 490657 | 99112 91940 68 | 0.000 % |
1270.52/1271.09 c | 370820 | 1091 113182 490657 | 92662 74236 69 | 0.000 % |
1272.23/1272.77 c | 372514 | 1091 113182 490657 | 92662 75930 69 | 0.000 % |
1274.42/1274.91 c | 374378 | 1091 113182 490657 | 92662 77794 69 | 0.000 % |
1282.92/1283.46 c | 376427 | 1091 113182 490657 | 92662 79843 69 | 0.000 % |
1289.41/1289.90 c | 378681 | 1091 113182 490657 | 92662 82097 69 | 0.000 % |
1296.71/1297.29 c | 381161 | 1091 113182 490657 | 2147483647 84577 69 | 0.000 % |
1311.61/1312.20 c | 383886 | 1091 113182 490657 | 2147483647 87302 69 | 0.000 % |
1323.39/1323.90 c | 386883 | 1091 113182 490657 | 2147483647 90299 69 | 0.000 % |
1333.79/1334.33 c | 390179 | 1091 113182 490657 | 2147483647 93595 69 | 0.000 % |
1343.69/1344.29 c | 393807 | 1091 113182 490657 | 2147483647 97223 69 | 0.000 % |
1343.89/1344.49 c | 393907 | 1091 113182 490657 | 2147483647 97323 69 | 0.000 % |
1344.29/1344.85 c | 394017 | 1091 113182 490657 | 2147483647 97433 69 | 0.000 % |
1344.49/1345.08 c | 394138 | 1091 113182 490657 | 2147483647 97554 69 | 0.000 % |
1344.79/1345.33 c | 394273 | 1091 113182 490657 | 2147483647 97689 69 | 0.000 % |
1344.99/1345.57 c | 394419 | 1091 113182 490657 | 2147483647 97835 69 | 0.000 % |
1345.59/1346.15 c | 394581 | 1091 113182 490657 | 2147483647 97997 69 | 0.000 % |
1346.19/1346.76 c | 394761 | 1091 113182 490657 | 2147483647 98177 69 | 0.000 % |
1346.79/1347.40 c | 394954 | 1091 113182 490657 | 2147483647 98370 69 | 0.000 % |
1347.39/1347.99 c | 395166 | 1091 113182 490657 | 2147483647 98582 69 | 0.000 % |
1347.89/1348.47 c | 395399 | 1091 113182 490657 | 2147483647 98815 69 | 0.000 % |
1348.59/1349.17 c | 395655 | 1091 113182 490657 | 2147483647 99071 69 | 0.000 % |
1349.19/1349.74 c | 395939 | 1091 113182 490657 | 2147483647 99355 69 | 0.000 % |
1349.59/1350.15 c | 396248 | 1091 113182 490657 | 2147483647 99664 69 | 0.000 % |
1349.98/1350.55 c | 396587 | 1091 113182 490657 | 2147483647 100003 69 | 0.000 % |
1350.38/1350.94 c | 396959 | 1091 113182 490657 | 2147483647 100375 69 | 0.000 % |
1350.88/1351.45 c | 397368 | 1091 113182 490657 | 2147483647 100784 69 | 0.000 % |
1351.68/1352.21 c | 397817 | 1091 113182 490657 | 2147483647 101233 69 | 0.000 % |
1352.28/1352.88 c | 398311 | 1091 113182 490657 | 2147483647 101727 69 | 0.000 % |
1353.08/1353.69 c | 398855 | 1091 113182 490657 | 2147483647 102271 70 | 0.000 % |
1354.59/1355.14 c | 399451 | 1091 113182 490657 | 2147483647 102867 70 | 0.000 % |
1356.80/1357.35 c | 400107 | 1091 113182 490657 | 2147483647 103523 70 | 0.000 % |
1359.29/1359.81 c | 400828 | 1091 113182 490657 | 2147483647 104244 69 | 0.000 % |
1361.79/1362.33 c | 401621 | 1091 113182 490657 | 2147483647 105037 69 | 0.000 % |
1364.39/1364.93 c | 402494 | 1091 113182 490657 | 2147483647 105910 69 | 0.000 % |
1366.79/1367.37 c | 403453 | 1091 113182 490657 | 2147483647 106869 69 | 0.000 % |
1368.79/1369.36 c | 404507 | 1091 113182 490657 | 2147483647 107923 69 | 0.000 % |
1372.19/1372.77 c | 405666 | 1091 113182 490657 | 2147483647 109082 70 | 0.000 % |
1373.98/1374.50 c | 406940 | 1091 113182 490657 | 2147483647 110356 70 | 0.000 % |
1375.88/1376.49 c | 408344 | 1091 113182 490657 | 2147483647 111760 70 | 0.000 % |
1377.98/1378.54 c | 409884 | 1091 113182 490657 | 2147483647 113300 70 | 0.000 % |
1380.18/1380.72 c | 411580 | 1091 113182 490657 | 2147483647 114996 70 | 0.000 % |
1382.68/1383.23 c | 413443 | 1091 113182 490657 | 2147483647 116859 70 | 0.000 % |
1385.39/1385.96 c | 415493 | 1091 113182 490657 | 2147483647 118909 70 | 0.000 % |
1389.88/1390.46 c | 417746 | 1091 113182 490657 | 2147483647 121162 70 | 0.000 % |
1398.58/1399.19 c | 420224 | 1091 113182 490657 | 2147483647 123640 70 | 0.000 % |
1405.28/1405.82 c | 422949 | 1091 113182 490657 | 2147483647 126365 70 | 0.000 % |
1413.57/1414.18 c | 425947 | 1091 113182 490657 | 2147483647 129363 69 | 0.000 % |
1424.07/1424.68 c | 429248 | 1091 113182 490657 | 2147483647 132664 69 | 0.000 % |
1434.07/1434.60 c | 432874 | 1091 113182 490657 | 2147483647 136290 69 | 0.000 % |
1453.16/1453.73 c | 436862 | 1091 113182 490657 | 2147483647 140278 70 | 0.000 % |
1453.46/1454.01 c | 436964 | 1091 113182 490657 | 2147483647 140380 70 | 0.000 % |
1453.96/1454.51 c | 437076 | 1091 113182 490657 | 2147483647 140492 70 | 0.000 % |
1454.56/1455.11 c | 437198 | 1091 113182 490657 | 2147483647 140614 70 | 0.000 % |
1455.46/1456.04 c | 437333 | 1091 113182 490657 | 2147483647 140749 70 | 0.000 % |
1456.46/1457.05 c | 437479 | 1091 113182 490657 | 2147483647 140895 70 | 0.000 % |
1457.66/1458.23 c | 437639 | 1091 113182 490657 | 2147483647 141055 70 | 0.000 % |
1458.36/1458.97 c | 437816 | 1091 113182 490657 | 2147483647 141232 70 | 0.000 % |
1459.56/1460.17 c | 438009 | 1091 113182 490657 | 2147483647 141425 70 | 0.000 % |
1460.36/1460.97 c | 438223 | 1091 113182 490657 | 2147483647 141639 70 | 0.000 % |
1461.16/1461.73 c | 438457 | 1091 113182 490657 | 2147483647 141873 70 | 0.000 % |
1462.66/1463.20 c | 438713 | 1091 113182 490657 | 2147483647 142129 70 | 0.000 % |
1463.96/1464.54 c | 438995 | 1091 113182 490657 | 2147483647 142411 70 | 0.000 % |
1465.35/1465.90 c | 439304 | 1091 113182 490657 | 2147483647 142720 70 | 0.000 % |
1467.25/1467.82 c | 439643 | 1091 113182 490657 | 2147483647 143059 70 | 0.000 % |
1469.06/1469.61 c | 440016 | 1091 113182 490657 | 2147483647 143432 70 | 0.000 % |
1471.26/1471.87 c | 440426 | 1091 113182 490657 | 2147483647 143842 70 | 0.000 % |
1473.75/1474.38 c | 440875 | 1091 113182 490657 | 2147483647 144291 70 | 0.000 % |
1476.05/1476.65 c | 441368 | 1091 113182 490657 | 2147483647 144784 70 | 0.000 % |
1478.85/1479.44 c | 441912 | 1091 113182 490657 | 2147483647 145328 70 | 0.000 % |
1482.15/1482.75 c | 442511 | 1091 113182 490657 | 2147483647 145927 70 | 0.000 % |
1485.25/1485.84 c | 443166 | 1091 113182 490657 | 2147483647 146582 70 | 0.000 % |
1489.15/1489.70 c | 443886 | 1091 113182 490657 | 2147483647 147302 70 | 0.000 % |
1493.34/1493.95 c | 444680 | 1091 113182 490657 | 2147483647 148096 70 | 0.000 % |
1498.04/1498.66 c | 445552 | 1091 113182 490657 | 2147483647 148968 70 | 0.000 % |
1502.04/1502.67 c | 446511 | 1091 113182 490657 | 2147483647 149927 70 | 0.000 % |
1504.44/1505.03 c | 447567 | 1091 113182 490657 | 2147483647 150983 70 | 0.000 % |
1509.54/1510.14 c | 448726 | 1091 113182 490657 | 2147483647 152142 70 | 0.000 % |
1514.64/1515.20 c | 450001 | 1091 113182 490657 | 2147483647 153417 70 | 0.000 % |
1522.63/1523.28 c | 451403 | 1091 113182 490657 | 2147483647 154819 70 | 0.000 % |
1531.03/1531.63 c | 452943 | 1091 113182 490657 | 2147483647 156359 70 | 0.000 % |
1536.13/1536.78 c | 454637 | 1091 113182 490657 | 2147483647 158053 70 | 0.000 % |
1546.33/1546.97 c | 456502 | 1091 113182 490657 | 2147483647 159918 70 | 0.000 % |
1559.32/1559.91 c | 458553 | 1091 113182 490657 | 2147483647 161969 70 | 0.000 % |
1572.82/1573.49 c | 460806 | 1091 113182 490657 | 163416 141977 70 | 0.000 % |
1583.82/1584.41 c | 463284 | 1091 113182 490657 | 163416 144455 70 | 0.000 % |
1598.72/1599.30 c | 466009 | 1091 113182 490657 | 163416 147180 70 | 0.000 % |
1616.31/1616.97 c | 469006 | 1091 113182 490657 | 163416 150177 70 | 0.000 % |
1632.30/1632.94 c | 472302 | 1091 113182 490657 | 151171 128344 69 | 0.000 % |
1639.90/1640.54 c | 475927 | 1091 113182 490657 | 151171 131969 69 | 0.000 % |
1651.60/1652.26 c | 479916 | 1091 113182 490657 | 151171 135958 69 | 0.000 % |
1692.08/1692.73 c | 484301 | 1091 113182 490657 | 136042 120619 69 | 0.000 % |
1692.88/1693.55 c | 484402 | 1091 113182 490657 | 136042 120720 69 | 0.000 % |
1693.88/1694.51 c | 484512 | 1091 113182 490657 | 136042 120830 69 | 0.000 % |
1695.28/1695.96 c | 484633 | 1091 113182 490657 | 136042 120951 69 | 0.000 % |
1696.69/1697.37 c | 484766 | 1091 113182 490657 | 136042 121084 69 | 0.000 % |
1697.88/1698.51 c | 484915 | 1091 113182 490657 | 136042 121233 69 | 0.000 % |
1699.18/1699.89 c | 485076 | 1091 113182 490657 | 136042 121394 69 | 0.000 % |
1700.38/1701.02 c | 485252 | 1091 113182 490657 | 136042 121570 69 | 0.000 % |
1701.38/1702.03 c | 485445 | 1091 113182 490657 | 136042 121763 69 | 0.000 % |
1702.38/1703.03 c | 485659 | 1091 113182 490657 | 136042 121977 69 | 0.000 % |
1704.28/1704.96 c | 485893 | 1091 113182 490657 | 136042 122211 69 | 0.000 % |
1707.28/1707.94 c | 486149 | 1091 113182 490657 | 136042 122467 69 | 0.000 % |
1709.48/1710.18 c | 486430 | 1091 113182 490657 | 136042 122748 69 | 0.000 % |
1711.87/1712.60 c | 486740 | 1091 113182 490657 | 136042 123058 69 | 0.000 % |
1715.47/1716.10 c | 487081 | 1091 113182 490657 | 136042 123399 69 | 0.000 % |
1719.17/1719.85 c | 487453 | 1091 113182 490657 | 136042 123771 69 | 0.000 % |
1724.27/1724.99 c | 487864 | 1091 113182 490657 | 136042 124182 69 | 0.000 % |
1728.87/1729.56 c | 488313 | 1091 113182 490657 | 136042 124631 69 | 0.000 % |
1733.57/1734.23 c | 488808 | 1091 113182 490657 | 136042 125126 69 | 0.000 % |
1739.77/1740.40 c | 489351 | 1091 113182 490657 | 136042 125669 69 | 0.000 % |
1744.86/1745.51 c | 489947 | 1091 113182 490657 | 136042 126265 69 | 0.000 % |
1751.36/1752.02 c | 490603 | 1091 113182 490657 | 126318 86679 68 | 0.000 % |
1756.26/1756.91 c | 491325 | 1091 113182 490657 | 126318 87401 68 | 0.000 % |
1762.86/1763.59 c | 492118 | 1091 113182 490657 | 126318 88194 68 | 0.000 % |
1769.56/1770.20 c | 492990 | 1091 113182 490657 | 126318 89066 68 | 0.000 % |
1778.65/1779.34 c | 493949 | 1091 113182 490657 | 126318 90025 68 | 0.000 % |
1786.25/1786.94 c | 495002 | 1091 113182 490657 | 126318 91078 68 | 0.000 % |
1796.95/1797.68 c | 496163 | 1091 113182 490657 | 126318 92239 68 | 0.000 % |
1809.15/1809.82 c | 497437 | 1091 113182 490657 | 126318 93513 68 | 0.000 % |
1820.04/1820.70 c | 498837 | 1091 113182 490657 | 126318 94913 68 | 0.000 % |
1836.24/1836.97 c | 500379 | 1091 113182 490657 | 96076 64209 67 | 0.000 % |
1846.93/1847.61 c | 502076 | 1091 113182 490657 | 96076 65906 67 | 0.000 % |
1854.53/1855.29 c | 503940 | 1091 113182 490657 | 96076 67770 67 | 0.000 % |
1871.13/1871.82 c | 505989 | 1091 113182 490657 | 96076 69819 68 | 0.000 % |
1883.73/1884.49 c | 508242 | 1091 113182 490657 | 96076 72072 68 | 0.000 % |
1900.03/1900.79 c | 510720 | 1091 113182 490657 | 73832 57299 67 | 0.000 % |
1913.42/1914.19 c | 513445 | 1091 113182 490657 | 73832 60024 67 | 0.000 % |
1928.82/1929.52 c | 516444 | 1091 113182 490657 | 73832 63023 67 | 0.000 % |
1944.61/1945.38 c | 519740 | 1091 113182 490657 | 73832 66319 67 | 0.000 % |
1959.90/1960.66 c | 523366 | 1091 113182 490657 | 66581 57294 67 | 0.000 % |
1971.00/1971.76 c | 527358 | 1091 113182 490657 | 66581 61286 67 | 0.000 % |
1987.19/1987.94 c | 531744 | 1091 113182 490657 | 63928 58322 67 | 0.000 % |
2011.09/2011.83 c | 536568 | 1091 113182 490657 | 63928 63146 67 | 0.000 % |
2011.69/2012.43 c | 536668 | 1091 113182 490657 | 63928 63246 67 | 0.000 % |
2012.09/2012.85 c | 536778 | 1091 113182 490657 | 63928 63356 67 | 0.000 % |
2012.69/2013.44 c | 536900 | 1091 113182 490657 | 63928 63478 67 | 0.000 % |
2013.49/2014.27 c | 537033 | 1091 113182 490657 | 63928 63611 67 | 0.000 % |
2013.79/2014.59 c | 537180 | 1091 113182 490657 | 63928 63758 67 | 0.000 % |
2014.58/2015.34 c | 537341 | 1091 113182 490657 | 63928 63919 67 | 0.000 % |
2015.49/2016.23 c | 537519 | 1091 113182 490657 | 63928 64097 67 | 0.000 % |
2016.78/2017.55 c | 537712 | 1091 113182 490657 | 63928 55879 67 | 0.000 % |
2017.88/2018.70 c | 537924 | 1091 113182 490657 | 63928 56091 67 | 0.000 % |
2018.89/2019.64 c | 538158 | 1091 113182 490657 | 63928 56325 67 | 0.000 % |
2020.18/2020.93 c | 538416 | 1091 113182 490657 | 63928 56583 67 | 0.000 % |
2021.28/2022.09 c | 538700 | 1091 113182 490657 | 63928 56867 68 | 0.000 % |
2022.08/2022.82 c | 539009 | 1091 113182 490657 | 63928 57176 68 | 0.000 % |
2024.48/2025.29 c | 539348 | 1091 113182 490657 | 63928 57515 68 | 0.000 % |
2026.58/2027.35 c | 539720 | 1091 113182 490657 | 63928 57887 68 | 0.000 % |
2029.08/2029.89 c | 540129 | 1091 113182 490657 | 58167 58296 68 | 0.000 % |
2031.28/2032.09 c | 540578 | 1091 113182 490657 | 58167 50900 68 | 0.000 % |
2033.18/2033.94 c | 541073 | 1091 113182 490657 | 58167 51395 68 | 0.000 % |
2035.38/2036.16 c | 541615 | 1091 113182 490657 | 58167 51937 68 | 0.000 % |
2037.97/2038.75 c | 542211 | 1091 113182 490657 | 58167 52533 68 | 0.000 % |
2040.07/2040.82 c | 542867 | 1091 113182 490657 | 58167 53189 68 | 0.000 % |
2043.37/2044.13 c | 543587 | 1091 113182 490657 | 58167 53909 68 | 0.000 % |
2047.87/2048.65 c | 544379 | 1091 113182 490657 | 58167 54701 68 | 0.000 % |
2051.57/2052.31 c | 545253 | 1091 113182 490657 | 58167 55575 68 | 0.000 % |
2056.47/2057.27 c | 546211 | 1091 113182 490657 | 58167 56533 68 | 0.000 % |
2061.87/2062.62 c | 547265 | 1091 113182 490657 | 58167 57587 68 | 0.000 % |
2065.07/2065.82 c | 548423 | 1091 113182 490657 | 58167 52797 68 | 0.000 % |
2070.26/2071.00 c | 549697 | 1091 113182 490657 | 58167 54071 68 | 0.000 % |
2076.46/2077.22 c | 551097 | 1091 113182 490657 | 2147483647 55471 67 | 0.000 % |
2081.76/2082.56 c | 552639 | 1091 113182 490657 | 2147483647 57013 68 | 0.000 % |
2088.96/2089.73 c | 554333 | 1091 113182 490657 | 2147483647 58707 67 | 0.000 % |
2096.25/2097.08 c | 556197 | 1091 113182 490657 | 2147483647 60571 67 | 0.000 % |
2106.76/2107.57 c | 558246 | 1091 113182 490657 | 2147483647 62620 67 | 0.000 % |
2119.55/2120.38 c | 560499 | 1091 113182 490657 | 64374 56582 67 | 0.000 % |
2127.45/2128.22 c | 562977 | 1091 113182 490657 | 64374 59060 67 | 0.000 % |
2136.45/2137.20 c | 565703 | 1091 113182 490657 | 64374 61786 67 | 0.000 % |
2148.64/2149.43 c | 568700 | 1091 113182 490657 | 64374 58317 67 | 0.000 % |
2156.73/2157.54 c | 571997 | 1091 113182 490657 | 2147483647 61614 67 | 0.000 % |
2164.83/2165.64 c | 575622 | 1091 113182 490657 | 2147483647 65239 67 | 0.000 % |
2179.63/2180.42 c | 579611 | 1091 113182 490657 | 2147483647 69228 67 | 0.000 % |
2197.62/2198.42 c | 583998 | 1091 113182 490657 | 2147483647 73615 67 | 0.000 % |
2219.12/2219.93 c | 588822 | 1091 113182 490657 | 2147483647 78439 66 | 0.000 % |
2231.12/2231.93 c | 594129 | 1091 113182 490657 | 79618 74968 66 | 0.000 % |
2231.51/2232.38 c | 594231 | 1091 113182 490657 | 79618 75070 66 | 0.000 % |
2232.01/2232.87 c | 594343 | 1091 113182 490657 | 79618 75182 66 | 0.000 % |
2232.21/2233.07 c | 594464 | 1091 113182 490657 | 79618 75303 66 | 0.000 % |
2232.51/2233.36 c | 594600 | 1091 113182 490657 | 79618 75439 66 | 0.000 % |
2233.01/2233.81 c | 594747 | 1091 113182 490657 | 79618 75586 66 | 0.000 % |
2233.21/2234.02 c | 594909 | 1091 113182 490657 | 79618 75748 66 | 0.000 % |
2233.51/2234.36 c | 595086 | 1091 113182 490657 | 79618 75925 66 | 0.000 % |
2233.91/2234.79 c | 595279 | 1091 113182 490657 | 79618 76118 66 | 0.000 % |
2234.11/2234.96 c | 595491 | 1091 113182 490657 | 79618 76330 66 | 0.000 % |
2234.31/2235.18 c | 595726 | 1091 113182 490657 | 79618 76565 66 | 0.000 % |
2234.51/2235.38 c | 595983 | 1091 113182 490657 | 79618 76822 66 | 0.000 % |
2234.71/2235.53 c | 596266 | 1091 113182 490657 | 79618 77105 66 | 0.000 % |
2234.81/2235.65 c | 596575 | 1091 113182 490657 | 79618 77414 66 | 0.000 % |
2235.51/2236.35 c | 596914 | 1091 113182 490657 | 79618 77753 66 | 0.000 % |
2236.11/2236.98 c | 597289 | 1091 113182 490657 | 79618 78128 66 | 0.000 % |
2236.81/2237.63 c | 597698 | 1091 113182 490657 | 79618 78537 66 | 0.000 % |
2237.61/2238.50 c | 598148 | 1091 113182 490657 | 79618 78987 66 | 0.000 % |
2238.41/2239.20 c | 598641 | 1091 113182 490657 | 79618 79480 66 | 0.000 % |
2239.71/2240.56 c | 599186 | 1091 113182 490657 | 79618 72034 66 | 0.000 % |
2239.91/2240.79 c | 599783 | 1091 113182 490657 | 79618 72631 66 | 0.000 % |
2240.21/2241.06 c | 600439 | 1091 113182 490657 | 2147483647 73287 66 | 0.000 % |
2240.51/2241.35 c | 601162 | 1091 113182 490657 | 2147483647 74010 67 | 0.000 % |
2240.81/2241.66 c | 601956 | 1091 113182 490657 | 2147483647 74804 67 | 0.000 % |
2241.21/2242.06 c | 602829 | 1091 113182 490657 | 2147483647 75677 67 | 0.000 % |
2241.81/2242.62 c | 603788 | 1091 113182 490657 | 2147483647 76636 67 | 0.000 % |
2242.51/2243.36 c | 604843 | 1091 113182 490657 | 2147483647 77691 67 | 0.000 % |
2243.11/2243.91 c | 606004 | 1091 113182 490657 | 2147483647 78852 67 | 0.000 % |
2244.01/2244.83 c | 607278 | 1091 113182 490657 | 2147483647 80126 67 | 0.000 % |
2245.31/2246.17 c | 608678 | 1091 113182 490657 | 2147483647 81526 67 | 0.000 % |
2246.80/2247.61 c | 610222 | 1091 113182 490657 | 2147483647 83070 67 | 0.000 % |
2248.40/2249.26 c | 611917 | 1091 113182 490657 | 2147483647 84765 67 | 0.000 % |
2250.30/2251.12 c | 613780 | 1091 113182 490657 | 2147483647 86628 67 | 0.000 % |
2252.60/2253.41 c | 615829 | 1091 113182 490657 | 2147483647 88677 67 | 0.000 % |
2254.80/2255.70 c | 618082 | 1091 113182 490657 | 2147483647 90930 68 | 0.000 % |
2257.70/2258.52 c | 620561 | 1091 113182 490657 | 2147483647 93409 68 | 0.000 % |
2261.50/2262.36 c | 623287 | 1091 113182 490657 | 2147483647 96135 68 | 0.000 % |
2265.40/2266.27 c | 626284 | 1091 113182 490657 | 2147483647 99132 68 | 0.000 % |
2272.69/2273.59 c | 629581 | 1091 113182 490657 | 2147483647 102429 68 | 0.000 % |
2282.80/2283.64 c | 633207 | 1091 113182 490657 | 2147483647 106055 68 | 0.000 % |
2307.48/2308.36 c | 637194 | 1091 113182 490657 | 2147483647 110042 69 | 0.000 % |
2326.88/2327.71 c | 641579 | 1091 113182 490657 | 2147483647 114427 69 | 0.000 % |
2359.17/2360.01 c | 646404 | 1091 113182 490657 | 2147483647 119252 69 | 0.000 % |
2395.46/2396.38 c | 651709 | 1091 113182 490657 | 122848 108141 69 | 0.000 % |
2422.25/2423.11 c | 657545 | 1091 113182 490657 | 122848 113977 69 | 0.000 % |
2422.75/2423.68 c | 657647 | 1091 113182 490657 | 122848 114079 69 | 0.000 % |
2423.65/2424.50 c | 657757 | 1091 113182 490657 | 122848 114189 69 | 0.000 % |
2424.45/2425.31 c | 657878 | 1091 113182 490657 | 122848 114310 69 | 0.000 % |
2424.85/2425.72 c | 658011 | 1091 113182 490657 | 122848 114443 69 | 0.000 % |
2426.05/2426.91 c | 658157 | 1091 113182 490657 | 122848 114589 69 | 0.000 % |
2427.75/2428.68 c | 658317 | 1091 113182 490657 | 122848 114749 69 | 0.000 % |
2429.25/2430.15 c | 658495 | 1091 113182 490657 | 122848 114927 69 | 0.000 % |
2430.65/2431.52 c | 658688 | 1091 113182 490657 | 122848 115120 69 | 0.000 % |
2431.85/2432.76 c | 658901 | 1091 113182 490657 | 122848 115333 69 | 0.000 % |
2433.55/2434.48 c | 659135 | 1091 113182 490657 | 122848 115567 69 | 0.000 % |
2434.95/2435.89 c | 659394 | 1091 113182 490657 | 122848 115826 69 | 0.000 % |
2437.05/2437.98 c | 659676 | 1091 113182 490657 | 122848 116108 69 | 0.000 % |
2439.24/2440.11 c | 659985 | 1091 113182 490657 | 122848 116417 69 | 0.000 % |
2442.84/2443.73 c | 660324 | 1091 113182 490657 | 116433 99740 70 | 0.000 % |
2444.84/2445.78 c | 660696 | 1091 113182 490657 | 116433 100112 70 | 0.000 % |
2446.94/2447.88 c | 661105 | 1091 113182 490657 | 116433 100521 70 | 0.000 % |
2449.84/2450.76 c | 661554 | 1091 113182 490657 | 116433 100970 70 | 0.000 % |
2453.44/2454.34 c | 662047 | 1091 113182 490657 | 116433 101463 70 | 0.000 % |
2457.04/2457.94 c | 662590 | 1091 113182 490657 | 116433 102006 70 | 0.000 % |
2460.84/2461.79 c | 663186 | 1091 113182 490657 | 116433 102602 70 | 0.000 % |
2465.24/2466.12 c | 663841 | 1091 113182 490657 | 116433 103257 70 | 0.000 % |
2469.03/2469.93 c | 664561 | 1091 113182 490657 | 116433 103977 70 | 0.000 % |
2474.04/2474.94 c | 665353 | 1091 113182 490657 | 116433 104769 70 | 0.000 % |
2480.53/2481.46 c | 666224 | 1091 113182 490657 | 116433 105640 70 | 0.000 % |
2487.23/2488.11 c | 667182 | 1091 113182 490657 | 116433 106598 70 | 0.000 % |
2495.13/2496.07 c | 668236 | 1091 113182 490657 | 116433 107652 70 | 0.000 % |
2501.73/2502.64 c | 669395 | 1091 113182 490657 | 116433 108811 70 | 0.000 % |
2512.02/2512.96 c | 670668 | 1091 113182 490657 | 109417 88214 71 | 0.000 % |
2518.22/2519.11 c | 672068 | 1091 113182 490657 | 109417 89614 71 | 0.000 % |
2525.12/2526.01 c | 673609 | 1091 113182 490657 | 109417 91155 71 | 0.000 % |
2535.81/2536.76 c | 675303 | 1091 113182 490657 | 109417 92849 71 | 0.000 % |
2547.11/2548.10 c | 677166 | 1091 113182 490657 | 109417 94712 71 | 0.000 % |
2555.31/2556.25 c | 679215 | 1091 113182 490657 | 109417 96761 71 | 0.000 % |
2568.20/2569.19 c | 681469 | 1091 113182 490657 | 97546 85049 72 | 0.000 % |
2580.40/2581.39 c | 683947 | 1091 113182 490657 | 97546 87527 72 | 0.000 % |
2592.00/2592.92 c | 686675 | 1091 113182 490657 | 97546 90255 72 | 0.000 % |
2607.70/2608.61 c | 689675 | 1091 113182 490657 | 97546 93255 72 | 0.000 % |
2622.19/2623.13 c | 692971 | 1091 113182 490657 | 93580 86188 72 | 0.001 % |
2631.19/2632.14 c | 696596 | 1091 113182 490657 | 93580 89813 72 | 0.000 % |
2656.39/2657.38 c | 700585 | 1091 113182 490657 | 93218 78099 72 | 0.000 % |
2685.88/2686.83 c | 704970 | 1091 113182 490657 | 93218 82484 72 | 0.000 % |
2715.37/2716.31 c | 709793 | 1091 113182 490657 | 93218 87307 71 | 0.000 % |
2750.06/2751.00 c | 715100 | 1091 113182 490657 | 87515 67730 70 | 0.000 % |
2784.54/2785.58 c | 720935 | 1091 113182 490657 | 72631 55448 70 | 0.000 % |
2812.24/2813.23 c | 727354 | 1091 113182 490657 | 72631 61867 69 | 0.000 % |
2812.84/2813.81 c | 727455 | 1091 113182 490657 | 72631 61968 69 | 0.000 % |
2813.54/2814.53 c | 727568 | 1091 113182 490657 | 72631 62081 69 | 0.000 % |
2814.04/2815.09 c | 727689 | 1091 113182 490657 | 72631 62202 69 | 0.000 % |
2815.14/2816.19 c | 727823 | 1091 113182 490657 | 72631 62336 69 | 0.000 % |
2816.23/2817.24 c | 727971 | 1091 113182 490657 | 72631 62484 69 | 0.000 % |
2817.43/2818.42 c | 728131 | 1091 113182 490657 | 72631 62644 69 | 0.000 % |
2818.93/2819.99 c | 728308 | 1091 113182 490657 | 72631 62821 69 | 0.000 % |
2820.63/2821.65 c | 728502 | 1091 113182 490657 | 72631 63015 69 | 0.000 % |
2822.74/2823.71 c | 728715 | 1091 113182 490657 | 72631 63228 69 | 0.000 % |
2824.43/2825.48 c | 728948 | 1091 113182 490657 | 72631 63461 69 | 0.000 % |
2826.03/2827.05 c | 729205 | 1091 113182 490657 | 72631 63718 69 | 0.000 % |
2828.33/2829.38 c | 729486 | 1091 113182 490657 | 72631 63999 69 | 0.000 % |
2830.73/2831.75 c | 729796 | 1091 113182 490657 | 72631 64309 69 | 0.000 % |
2833.23/2834.28 c | 730136 | 1091 113182 490657 | 64513 64649 69 | 0.000 % |
2835.63/2836.65 c | 730508 | 1091 113182 490657 | 64513 51343 69 | 0.000 % |
2838.03/2839.02 c | 730919 | 1091 113182 490657 | 64513 51754 69 | 0.000 % |
2840.12/2841.15 c | 731369 | 1091 113182 490657 | 64513 52204 69 | 0.000 % |
2842.12/2843.18 c | 731863 | 1091 113182 490657 | 64513 52698 69 | 0.000 % |
2844.22/2845.20 c | 732406 | 1091 113182 490657 | 64513 53241 69 | 0.000 % |
2847.12/2848.16 c | 733002 | 1091 113182 490657 | 64513 53837 69 | 0.000 % |
2848.72/2849.76 c | 733658 | 1091 113182 490657 | 64513 54493 69 | 0.000 % |
2852.82/2853.87 c | 734378 | 1091 113182 490657 | 64513 55213 69 | 0.000 % |
2855.92/2856.96 c | 735171 | 1091 113182 490657 | 64513 56006 69 | 0.000 % |
2860.62/2861.61 c | 736045 | 1091 113182 490657 | 64513 56880 69 | 0.000 % |
2865.92/2866.97 c | 737003 | 1091 113182 490657 | 64513 57838 69 | 0.000 % |
2872.81/2873.80 c | 738057 | 1091 113182 490657 | 64513 58892 70 | 0.000 % |
2880.11/2881.17 c | 739215 | 1091 113182 490657 | 64513 60050 70 | 0.000 % |
2888.81/2889.85 c | 740491 | 1091 113182 490657 | 60836 51313 70 | 0.000 % |
2895.31/2896.35 c | 741892 | 1091 113182 490657 | 60836 52714 70 | 0.000 % |
2904.40/2905.40 c | 743432 | 1091 113182 490657 | 60836 54254 70 | 0.000 % |
2911.10/2912.13 c | 745126 | 1091 113182 490657 | 60836 55948 70 | 0.000 % |
2918.30/2919.33 c | 746989 | 1091 113182 490657 | 60836 57811 70 | 0.000 % |
2928.79/2929.85 c | 749041 | 1091 113182 490657 | 60836 59863 70 | 0.000 % |
2937.99/2939.09 c | 751294 | 1091 113182 490657 | 60824 54198 69 | 0.000 % |
2948.89/2949.95 c | 753773 | 1091 113182 490657 | 60824 56677 69 | 0.000 % |
2961.78/2962.84 c | 756498 | 1091 113182 490657 | 60824 59402 69 | 0.000 % |
2976.28/2977.33 c | 759497 | 1091 113182 490657 | 60824 54907 69 | 0.000 % |
2991.48/2992.59 c | 762794 | 1091 113182 490657 | 55414 52002 69 | 0.000 % |
3009.27/3010.36 c | 766419 | 1091 113182 490657 | 55414 55627 69 | 0.000 % |
3024.76/3025.82 c | 770406 | 1091 113182 490657 | 2147483647 54052 69 | 0.000 % |
3038.46/3039.58 c | 774792 | 1091 113182 490657 | 2147483647 58438 69 | 0.000 % |
3060.05/3061.19 c | 779615 | 1091 113182 490657 | 2147483647 63261 69 | 0.000 % |
3082.65/3083.72 c | 784921 | 1091 113182 490657 | 2147483647 68567 68 | 0.000 % |
3112.74/3113.87 c | 790756 | 1091 113182 490657 | 73646 64533 69 | 0.000 % |
3142.43/3143.58 c | 797175 | 1091 113182 490657 | 73646 70952 70 | 0.000 % |
3166.32/3167.42 c | 804236 | 1091 113182 490657 | 73777 65498 69 | 0.000 % |
3166.62/3167.71 c | 804337 | 1091 113182 490657 | 73777 65599 69 | 0.000 % |
3166.82/3167.92 c | 804448 | 1091 113182 490657 | 73777 65710 69 | 0.000 % |
3167.22/3168.33 c | 804572 | 1091 113182 490657 | 73777 65834 69 | 0.000 % |
3167.62/3168.71 c | 804706 | 1091 113182 490657 | 73777 65968 69 | 0.000 % |
3168.22/3169.33 c | 804855 | 1091 113182 490657 | 73777 66117 69 | 0.000 % |
3168.82/3169.92 c | 805017 | 1091 113182 490657 | 73777 66279 69 | 0.000 % |
3169.42/3170.57 c | 805195 | 1091 113182 490657 | 73777 66457 69 | 0.000 % |
3170.32/3171.44 c | 805390 | 1091 113182 490657 | 73777 66652 69 | 0.000 % |
3171.12/3172.27 c | 805602 | 1091 113182 490657 | 73777 66864 69 | 0.000 % |
3171.82/3172.91 c | 805835 | 1091 113182 490657 | 73777 67097 69 | 0.000 % |
3172.52/3173.64 c | 806092 | 1091 113182 490657 | 73777 67354 69 | 0.000 % |
3173.42/3174.55 c | 806374 | 1091 113182 490657 | 73777 67636 69 | 0.000 % |
3174.71/3175.83 c | 806683 | 1091 113182 490657 | 73777 67945 69 | 0.000 % |
3176.01/3177.14 c | 807022 | 1091 113182 490657 | 73777 68284 69 | 0.000 % |
3177.51/3178.68 c | 807394 | 1091 113182 490657 | 73777 68656 69 | 0.000 % |
3179.02/3180.19 c | 807806 | 1091 113182 490657 | 73777 69068 69 | 0.000 % |
3180.02/3181.19 c | 808255 | 1091 113182 490657 | 73777 69517 69 | 0.000 % |
3181.31/3182.48 c | 808749 | 1091 113182 490657 | 73777 70011 69 | 0.000 % |
3183.61/3184.74 c | 809292 | 1091 113182 490657 | 73777 70554 69 | 0.000 % |
3185.61/3186.71 c | 809889 | 1091 113182 490657 | 73777 71151 69 | 0.000 % |
3187.71/3188.85 c | 810545 | 1091 113182 490657 | 2147483647 71807 69 | 0.000 % |
3190.21/3191.36 c | 811265 | 1091 113182 490657 | 2147483647 72527 69 | 0.000 % |
3192.61/3193.72 c | 812057 | 1091 113182 490657 | 2147483647 73319 69 | 0.000 % |
3196.01/3197.18 c | 812928 | 1091 113182 490657 | 2147483647 74190 69 | 0.000 % |
3199.10/3200.25 c | 813886 | 1091 113182 490657 | 2147483647 75148 69 | 0.000 % |
3203.21/3204.31 c | 814939 | 1091 113182 490657 | 2147483647 76201 69 | 0.000 % |
3206.30/3207.42 c | 816098 | 1091 113182 490657 | 2147483647 77360 69 | 0.000 % |
3209.90/3211.04 c | 817373 | 1091 113182 490657 | 2147483647 78635 68 | 0.000 % |
3213.80/3214.98 c | 818773 | 1091 113182 490657 | 2147483647 80035 68 | 0.000 % |
3215.40/3216.58 c | 820315 | 1091 113182 490657 | 2147483647 81577 68 | 0.000 % |
3217.40/3218.57 c | 822009 | 1091 113182 490657 | 2147483647 83271 68 | 0.000 % |
3230.49/3231.70 c | 823872 | 1091 113182 490657 | 2147483647 85134 68 | 0.000 % |
3240.49/3241.65 c | 825922 | 1091 113182 490657 | 2147483647 87184 69 | 0.000 % |
3247.89/3249.09 c | 828176 | 1091 113182 490657 | 2147483647 89438 69 | 0.000 % |
3266.59/3267.75 c | 830656 | 1091 113182 490657 | 91264 69920 69 | 0.000 % |
3281.99/3283.20 c | 833382 | 1091 113182 490657 | 91264 72646 69 | 0.000 % |
3299.08/3300.29 c | 836380 | 1091 113182 490657 | 91264 75644 69 | 0.000 % |
3325.07/3326.25 c | 839676 | 1091 113182 490657 | 91264 78940 69 | 0.000 % |
3342.37/3343.50 c | 843302 | 1091 113182 490657 | 79264 64341 70 | 0.000 % |
3361.57/3362.74 c | 847290 | 1091 113182 490657 | 79264 68329 70 | 0.000 % |
3381.46/3382.60 c | 851676 | 1091 113182 490657 | 71039 62225 69 | 0.000 % |
3402.15/3403.37 c | 856500 | 1091 113182 490657 | 71039 67049 69 | 0.000 % |
3425.35/3426.53 c | 861806 | 1091 113182 490657 | 70550 64699 69 | 0.000 % |
3443.43/3444.65 c | 867641 | 1091 113182 490657 | 70550 70534 70 | 0.000 % |
3463.43/3464.66 c | 874060 | 1091 113182 490657 | 2147483647 69861 70 | 0.000 % |
3481.52/3482.74 c | 881120 | 1091 113182 490657 | 2147483647 76921 70 | 0.000 % |
3498.32/3499.56 c | 888886 | 1091 113182 490657 | 2147483647 84687 70 | 0.000 % |
3498.72/3499.90 c | 888986 | 1091 113182 490657 | 2147483647 84787 70 | 0.000 % |
3499.12/3500.33 c | 889096 | 1091 113182 490657 | 2147483647 84897 70 | 0.000 % |
3499.72/3500.98 c | 889218 | 1091 113182 490657 | 2147483647 85019 70 | 0.000 % |
3500.52/3501.73 c | 889354 | 1091 113182 490657 | 2147483647 85155 70 | 0.000 % |
3501.32/3502.53 c | 889502 | 1091 113182 490657 | 2147483647 85303 70 | 0.000 % |
3502.32/3503.51 c | 889663 | 1091 113182 490657 | 2147483647 85464 70 | 0.000 % |
3503.32/3504.54 c | 889840 | 1091 113182 490657 | 2147483647 85641 70 | 0.000 % |
3504.31/3505.60 c | 890034 | 1091 113182 490657 | 2147483647 85835 70 | 0.000 % |
3505.41/3506.62 c | 890251 | 1091 113182 490657 | 2147483647 86052 70 | 0.000 % |
3506.31/3507.57 c | 890484 | 1091 113182 490657 | 2147483647 86285 70 | 0.000 % |
3508.01/3509.30 c | 890740 | 1091 113182 490657 | 2147483647 86541 70 | 0.000 % |
3509.61/3510.88 c | 891021 | 1091 113182 490657 | 2147483647 86822 70 | 0.000 % |
3510.91/3512.14 c | 891333 | 1091 113182 490657 | 2147483647 87134 70 | 0.000 % |
3512.71/3513.93 c | 891674 | 1091 113182 490657 | 2147483647 87475 70 | 0.000 % |
3514.91/3516.15 c | 892046 | 1091 113182 490657 | 2147483647 87847 70 | 0.000 % |
3517.31/3518.58 c | 892455 | 1091 113182 490657 | 2147483647 88256 70 | 0.000 % |
3520.01/3521.22 c | 892905 | 1091 113182 490657 | 2147483647 88706 70 | 0.000 % |
3522.31/3523.52 c | 893399 | 1091 113182 490657 | 2147483647 89200 70 | 0.000 % |
3524.91/3526.17 c | 893944 | 1091 113182 490657 | 2147483647 89745 70 | 0.000 % |
3527.71/3528.96 c | 894540 | 1091 113182 490657 | 2147483647 90341 70 | 0.000 % |
3531.40/3532.67 c | 895198 | 1091 113182 490657 | 2147483647 90999 70 | 0.000 % |
3535.70/3536.98 c | 895920 | 1091 113182 490657 | 2147483647 91721 70 | 0.000 % |
3540.60/3541.84 c | 896712 | 1091 113182 490657 | 2147483647 92513 70 | 0.000 % |
3545.11/3546.32 c | 897584 | 1091 113182 490657 | 2147483647 93385 70 | 0.000 % |
3549.70/3550.96 c | 898542 | 1091 113182 490657 | 2147483647 94343 70 | 0.000 % |
3555.90/3557.15 c | 899597 | 1091 113182 490657 | 2147483647 95398 70 | 0.000 % |
3561.80/3563.01 c | 900756 | 1091 113182 490657 | 95801 84207 71 | 0.000 % |
3566.79/3568.01 c | 902029 | 1091 113182 490657 | 95801 85480 71 | 0.000 % |
3572.29/3573.51 c | 903429 | 1091 113182 490657 | 95801 86880 71 | 0.000 % |
3577.29/3578.53 c | 904971 | 1091 113182 490657 | 95801 88422 71 | 0.000 % |
3584.09/3585.34 c | 906666 | 1091 113182 490657 | 95801 90117 71 | 0.000 % |
3591.39/3592.62 c | 908531 | 1091 113182 490657 | 95801 91982 71 | 0.000 % |
3599.18/3600.44 c | 910580 | 1091 113182 490657 | 93452 83169 70 | 0.000 % |
3607.38/3608.65 c | 912833 | 1091 113182 490657 | 93452 85422 70 | 0.000 % |
3617.08/3618.30 c | 915312 | 1091 113182 490657 | 93452 87901 70 | 0.000 % |
3627.27/3628.56 c | 918038 | 1091 113182 490657 | 93452 90627 70 | 0.000 % |
3641.27/3642.56 c | 921036 | 1091 113182 490657 | 92590 81956 70 | 0.000 % |
3654.77/3656.09 c | 924332 | 1091 113182 490657 | 92590 85252 70 | 0.000 % |
3667.86/3669.14 c | 927957 | 1091 113182 490657 | 92590 88877 70 | 0.000 % |
3683.66/3684.94 c | 931945 | 1091 113182 490657 | 90920 79420 69 | 0.000 % |
3702.25/3703.54 c | 936332 | 1091 113182 490657 | 90920 83807 69 | 0.000 % |
3723.95/3725.22 c | 941156 | 1091 113182 490657 | 87476 75252 68 | 0.000 % |
3738.14/3739.47 c | 946461 | 1091 113182 490657 | 87476 80557 68 | 0.000 % |
3756.34/3757.64 c | 952296 | 1091 113182 490657 | 2147483647 86392 68 | 0.000 % |
3774.13/3775.48 c | 958716 | 1091 113182 490657 | 2147483647 92812 68 | 0.000 % |
3800.43/3801.70 c | 965777 | 1091 113182 490657 | 2147483647 99873 68 | 0.000 % |
3833.82/3835.17 c | 973542 | 1091 113182 490657 | 104096 86690 67 | 0.000 % |
3871.91/3873.23 c | 982082 | 1091 113182 490657 | 93149 74593 66 | 0.000 % |
3872.21/3873.53 c | 982183 | 1091 113182 490657 | 93149 74694 66 | 0.000 % |
3872.91/3874.22 c | 982294 | 1091 113182 490657 | 93149 74805 66 | 0.000 % |
3873.51/3874.81 c | 982416 | 1091 113182 490657 | 93149 74927 66 | 0.000 % |
3874.01/3875.39 c | 982550 | 1091 113182 490657 | 93149 75061 66 | 0.000 % |
3874.31/3875.65 c | 982697 | 1091 113182 490657 | 93149 75208 66 | 0.000 % |
3874.91/3876.29 c | 982857 | 1091 113182 490657 | 93149 75368 66 | 0.000 % |
3875.41/3876.72 c | 983035 | 1091 113182 490657 | 93149 75546 66 | 0.000 % |
3876.01/3877.37 c | 983229 | 1091 113182 490657 | 93149 75740 66 | 0.000 % |
3876.91/3878.29 c | 983441 | 1091 113182 490657 | 93149 75952 66 | 0.000 % |
3878.01/3879.32 c | 983676 | 1091 113182 490657 | 93149 76187 66 | 0.000 % |
3878.91/3880.22 c | 983932 | 1091 113182 490657 | 93149 76443 66 | 0.000 % |
3879.71/3881.05 c | 984215 | 1091 113182 490657 | 93149 76726 66 | 0.000 % |
3880.91/3882.21 c | 984526 | 1091 113182 490657 | 93149 77037 66 | 0.000 % |
3882.00/3883.37 c | 984865 | 1091 113182 490657 | 93149 77376 66 | 0.000 % |
3884.30/3885.63 c | 985237 | 1091 113182 490657 | 93149 77748 66 | 0.000 % |
3886.11/3887.49 c | 985646 | 1091 113182 490657 | 93149 78157 66 | 0.000 % |
3887.80/3889.12 c | 986096 | 1091 113182 490657 | 93149 78607 66 | 0.000 % |
3890.10/3891.42 c | 986591 | 1091 113182 490657 | 93149 79102 66 | 0.000 % |
3892.20/3893.52 c | 987134 | 1091 113182 490657 | 93149 79645 66 | 0.000 % |
3894.40/3895.74 c | 987730 | 1091 113182 490657 | 93149 80241 66 | 0.000 % |
3896.60/3897.90 c | 988387 | 1091 113182 490657 | 93149 80898 66 | 0.000 % |
3898.00/3899.33 c | 989107 | 1091 113182 490657 | 93149 81618 66 | 0.000 % |
3899.10/3900.44 c | 989900 | 1091 113182 490657 | 93149 82411 66 | 0.000 % |
3901.10/3902.49 c | 990771 | 1091 113182 490657 | 82511 71606 65 | 0.000 % |
3902.70/3904.06 c | 991729 | 1091 113182 490657 | 82511 72564 65 | 0.000 % |
3906.70/3908.10 c | 992783 | 1091 113182 490657 | 82511 73618 65 | 0.000 % |
3910.79/3912.15 c | 993941 | 1091 113182 490657 | 82511 74776 65 | 0.000 % |
3915.59/3916.97 c | 995214 | 1091 113182 490657 | 82511 76049 65 | 0.000 % |
3920.19/3921.57 c | 996614 | 1091 113182 490657 | 82511 77449 65 | 0.000 % |
3924.69/3926.06 c | 998155 | 1091 113182 490657 | 82511 78990 65 | 0.000 % |
3930.19/3931.53 c | 999849 | 1091 113182 490657 | 82511 80684 65 | 0.000 % |
3933.29/3934.69 c | 1001712 | 1091 113182 490657 | 2147483647 82547 65 | 0.000 % |
3940.38/3941.79 c | 1003763 | 1091 113182 490657 | 2147483647 84598 65 | 0.000 % |
3953.18/3954.54 c | 1006016 | 1091 113182 490657 | 2147483647 86851 65 | 0.000 % |
3959.68/3961.08 c | 1008495 | 1091 113182 490657 | 2147483647 89330 65 | 0.000 % |
3963.28/3964.67 c | 1011220 | 1091 113182 490657 | 2147483647 92055 66 | 0.000 % |
3969.47/3970.90 c | 1014219 | 1091 113182 490657 | 2147483647 95054 66 | 0.000 % |
3974.57/3975.99 c | 1017515 | 1091 113182 490657 | 2147483647 98350 66 | 0.000 % |
4000.96/4002.36 c | 1021141 | 1091 113182 490657 | 2147483647 101976 66 | 0.000 % |
4019.86/4021.26 c | 1025131 | 1091 113182 490657 | 2147483647 105966 66 | 0.000 % |
4040.15/4041.52 c | 1029516 | 1091 113182 490657 | 2147483647 110351 66 | 0.000 % |
4060.64/4062.04 c | 1034339 | 1091 113182 490657 | 2147483647 115174 67 | 0.000 % |
4078.14/4079.54 c | 1039645 | 1091 113182 490657 | 2147483647 120480 67 | 0.000 % |
4098.83/4100.25 c | 1045481 | 1091 113182 490657 | 2147483647 126316 67 | 0.000 % |
4118.83/4120.28 c | 1051900 | 1091 113182 490657 | 2147483647 132735 67 | 0.000 % |
4138.62/4140.05 c | 1058961 | 1091 113182 490657 | 2147483647 139796 67 | 0.000 % |
4168.11/4169.58 c | 1066729 | 1091 113182 490657 | 2147483647 147564 67 | 0.000 % |
4204.71/4206.11 c | 1075269 | 1091 113182 490657 | 2147483647 156104 67 | 0.000 % |
4265.29/4266.79 c | 1084664 | 1091 113182 490657 | 160836 137538 67 | 0.000 % |
4266.09/4267.55 c | 1084765 | 1091 113182 490657 | 160836 137639 67 | 0.000 % |
4266.89/4268.38 c | 1084876 | 1091 113182 490657 | 160836 137750 67 | 0.000 % |
4267.59/4269.06 c | 1084998 | 1091 113182 490657 | 160836 137872 67 | 0.000 % |
4268.59/4270.04 c | 1085132 | 1091 113182 490657 | 160836 138006 67 | 0.000 % |
4268.99/4270.50 c | 1085279 | 1091 113182 490657 | 160836 138153 67 | 0.000 % |
4269.89/4271.35 c | 1085441 | 1091 113182 490657 | 160836 138315 67 | 0.000 % |
4270.49/4271.97 c | 1085617 | 1091 113182 490657 | 160836 138491 67 | 0.000 % |
4271.09/4272.52 c | 1085810 | 1091 113182 490657 | 160836 138684 67 | 0.000 % |
4273.58/4275.10 c | 1086023 | 1091 113182 490657 | 160836 138897 67 | 0.000 % |
4274.48/4275.91 c | 1086257 | 1091 113182 490657 | 160836 139131 67 | 0.000 % |
4274.98/4276.45 c | 1086513 | 1091 113182 490657 | 160836 139387 67 | 0.000 % |
4276.58/4278.03 c | 1086795 | 1091 113182 490657 | 160836 139669 67 | 0.000 % |
4277.18/4278.62 c | 1087104 | 1091 113182 490657 | 160836 139978 67 | 0.000 % |
4277.88/4279.31 c | 1087446 | 1091 113182 490657 | 160836 140320 67 | 0.000 % |
4278.58/4280.08 c | 1087819 | 1091 113182 490657 | 160836 140693 67 | 0.000 % |
4280.08/4281.56 c | 1088228 | 1091 113182 490657 | 160836 141102 67 | 0.000 % |
4281.38/4282.82 c | 1088678 | 1091 113182 490657 | 160836 141552 67 | 0.000 % |
4282.48/4283.91 c | 1089172 | 1091 113182 490657 | 160836 142046 67 | 0.000 % |
4283.18/4284.62 c | 1089715 | 1091 113182 490657 | 160836 142589 67 | 0.000 % |
4283.98/4285.44 c | 1090314 | 1091 113182 490657 | 2147483647 143188 67 | 0.000 % |
4284.98/4286.42 c | 1090970 | 1091 113182 490657 | 2147483647 143844 67 | 0.000 % |
4286.08/4287.55 c | 1091691 | 1091 113182 490657 | 2147483647 144565 67 | 0.000 % |
4290.18/4291.64 c | 1092483 | 1091 113182 490657 | 2147483647 145357 67 | 0.000 % |
4293.67/4295.15 c | 1093354 | 1091 113182 490657 | 2147483647 146228 67 | 0.000 % |
4298.57/4300.04 c | 1094315 | 1091 113182 490657 | 2147483647 147189 67 | 0.000 % |
4305.47/4306.94 c | 1095368 | 1091 113182 490657 | 2147483647 148242 67 | 0.000 % |
4311.47/4312.98 c | 1096526 | 1091 113182 490657 | 2147483647 149400 67 | 0.000 % |
4319.87/4321.39 c | 1097801 | 1091 113182 490657 | 2147483647 150675 67 | 0.000 % |
4329.17/4330.61 c | 1099201 | 1091 113182 490657 | 2147483647 152075 67 | 0.000 % |
4340.76/4342.28 c | 1100742 | 1091 113182 490657 | 2147483647 153616 67 | 0.000 % |
4351.26/4352.77 c | 1102438 | 1091 113182 490657 | 2147483647 155312 68 | 0.000 % |
4365.25/4366.72 c | 1104301 | 1091 113182 490657 | 2147483647 157175 68 | 0.000 % |
4377.85/4379.35 c | 1106350 | 1091 113182 490657 | 2147483647 159224 68 | 0.000 % |
4396.54/4398.03 c | 1108605 | 1091 113182 490657 | 2147483647 161479 68 | 0.000 % |
4410.44/4411.90 c | 1111084 | 1091 113182 490657 | 162875 141649 69 | 0.000 % |
4422.23/4423.75 c | 1113810 | 1091 113182 490657 | 162875 144375 69 | 0.000 % |
4443.13/4444.65 c | 1116807 | 1091 113182 490657 | 162875 147372 69 | 0.000 % |
4458.62/4460.18 c | 1120103 | 1091 113182 490657 | 150566 150668 69 | 0.000 % |
4480.61/4482.19 c | 1123728 | 1091 113182 490657 | 150566 129696 70 | 0.000 % |
4513.91/4515.45 c | 1127715 | 1091 113182 490657 | 150566 133683 70 | 0.000 % |
4544.39/4545.90 c | 1132102 | 1091 113182 490657 | 135968 108448 70 | 0.000 % |
4555.29/4556.82 c | 1136926 | 1091 113182 490657 | 135968 113272 70 | 0.000 % |
4587.59/4589.20 c | 1142231 | 1091 113182 490657 | 116347 100028 70 | 0.000 % |
4612.67/4614.25 c | 1148067 | 1091 113182 490657 | 116347 105864 70 | 0.000 % |
4644.36/4645.96 c | 1154486 | 1091 113182 490657 | 107797 91633 70 | 0.000 % |
4674.76/4676.32 c | 1161549 | 1091 113182 490657 | 97147 88644 70 | 0.000 % |
4699.36/4700.96 c | 1169315 | 1091 113182 490657 | 97147 96410 70 | 0.000 % |
4726.25/4727.85 c | 1177856 | 1091 113182 490657 | 2147483647 104951 70 | 0.000 % |
4777.53/4779.15 c | 1187250 | 1091 113182 490657 | 2147483647 114345 70 | 0.000 % |
4838.51/4840.15 c | 1197586 | 1091 113182 490657 | 117097 96160 69 | 0.000 % |
4839.42/4841.06 c | 1197689 | 1091 113182 490657 | 117097 96263 69 | 0.000 % |
4840.52/4842.19 c | 1197800 | 1091 113182 490657 | 117097 96374 69 | 0.000 % |
4841.72/4843.34 c | 1197921 | 1091 113182 490657 | 117097 96495 69 | 0.000 % |
4842.91/4844.59 c | 1198054 | 1091 113182 490657 | 117097 96628 69 | 0.000 % |
4844.41/4846.04 c | 1198203 | 1091 113182 490657 | 117097 96777 69 | 0.000 % |
4845.91/4847.52 c | 1198364 | 1091 113182 490657 | 117097 96938 69 | 0.000 % |
4847.41/4849.09 c | 1198540 | 1091 113182 490657 | 117097 97114 69 | 0.000 % |
4849.21/4850.89 c | 1198737 | 1091 113182 490657 | 117097 97311 69 | 0.000 % |
4851.21/4852.83 c | 1198949 | 1091 113182 490657 | 117097 97523 69 | 0.000 % |
4852.61/4854.23 c | 1199182 | 1091 113182 490657 | 117097 97756 69 | 0.000 % |
4854.41/4856.02 c | 1199438 | 1091 113182 490657 | 117097 98012 69 | 0.000 % |
4856.70/4858.32 c | 1199721 | 1091 113182 490657 | 117097 98295 69 | 0.000 % |
4859.10/4860.77 c | 1200030 | 1091 113182 490657 | 98576 98604 69 | 0.000 % |
4861.51/4863.13 c | 1200369 | 1091 113182 490657 | 98576 73422 68 | 0.000 % |
4863.80/4865.41 c | 1200741 | 1091 113182 490657 | 98576 73794 68 | 0.000 % |
4866.00/4867.66 c | 1201150 | 1091 113182 490657 | 98576 74203 68 | 0.000 % |
4868.30/4869.97 c | 1201603 | 1091 113182 490657 | 98576 74656 68 | 0.000 % |
4871.20/4872.81 c | 1202099 | 1091 113182 490657 | 98576 75152 68 | 0.000 % |
4874.00/4875.65 c | 1202641 | 1091 113182 490657 | 98576 75694 68 | 0.000 % |
4877.60/4879.21 c | 1203238 | 1091 113182 490657 | 98576 76291 68 | 0.000 % |
4880.70/4882.31 c | 1203893 | 1091 113182 490657 | 98576 76946 68 | 0.000 % |
4884.50/4886.16 c | 1204615 | 1091 113182 490657 | 98576 77668 68 | 0.000 % |
4889.89/4891.59 c | 1205411 | 1091 113182 490657 | 98576 78464 68 | 0.000 % |
4894.79/4896.43 c | 1206282 | 1091 113182 490657 | 98576 79335 68 | 0.000 % |
4899.19/4900.82 c | 1207240 | 1091 113182 490657 | 98576 80293 68 | 0.000 % |
4902.39/4904.06 c | 1208293 | 1091 113182 490657 | 98576 81346 67 | 0.000 % |
4907.89/4909.56 c | 1209451 | 1091 113182 490657 | 98576 82504 67 | 0.000 % |
4915.18/4916.80 c | 1210725 | 1091 113182 490657 | 83054 69956 67 | 0.000 % |
4921.07/4922.77 c | 1212127 | 1091 113182 490657 | 83054 71358 67 | 0.000 % |
4927.48/4929.14 c | 1213668 | 1091 113182 490657 | 83054 72899 67 | 0.000 % |
4935.47/4937.10 c | 1215364 | 1091 113182 490657 | 83054 74595 67 | 0.000 % |
4945.37/4947.00 c | 1217227 | 1091 113182 490657 | 83054 76458 66 | 0.000 % |
4955.06/4956.71 c | 1219276 | 1091 113182 490657 | 83054 78507 66 | 0.000 % |
4964.87/4966.54 c | 1221531 | 1091 113182 490657 | 79231 70254 66 | 0.000 % |
4975.36/4977.05 c | 1224010 | 1091 113182 490657 | 79231 72733 66 | 0.000 % |
4987.35/4989.08 c | 1226736 | 1091 113182 490657 | 79231 75459 66 | 0.000 % |
4999.45/5001.18 c | 1229733 | 1091 113182 490657 | 79231 78456 66 | 0.000 % |
5010.95/5012.68 c | 1233029 | 1091 113182 490657 | 78724 70285 66 | 0.000 % |
5025.94/5027.68 c | 1236654 | 1091 113182 490657 | 78724 73910 65 | 0.000 % |
5031.85/5033.57 c | 1240641 | 1091 113182 490657 | 2147483647 77897 66 | 0.000 % |
5060.55/5062.23 c | 1245027 | 1091 113182 490657 | 2147483647 82283 66 | 0.000 % |
5105.83/5107.53 c | 1249850 | 1091 113182 490657 | 2147483647 87106 66 | 0.000 % |
5141.52/5143.28 c | 1255155 | 1091 113182 490657 | 87256 67667 67 | 0.000 % |
5176.11/5177.82 c | 1260991 | 1091 113182 490657 | 72515 50854 68 | 0.000 % |
5196.50/5198.26 c | 1267409 | 1091 113182 490657 | 72515 57272 68 | 0.000 % |
5221.49/5223.29 c | 1274468 | 1091 113182 490657 | 59863 53260 69 | 0.000 % |
5246.08/5247.82 c | 1282234 | 1091 113182 490657 | 2147483647 61026 69 | 0.000 % |
5274.67/5276.48 c | 1290775 | 1091 113182 490657 | 2147483647 69567 69 | 0.000 % |
5303.66/5305.49 c | 1300170 | 1091 113182 490657 | 78792 78962 69 | 0.000 % |
5338.66/5340.50 c | 1310503 | 1091 113182 490657 | 2147483647 73224 70 | 0.000 % |
5390.84/5392.70 c | 1321869 | 1091 113182 490657 | 82722 73886 69 | 0.000 % |
5391.54/5393.32 c | 1321970 | 1091 113182 490657 | 82722 73987 69 | 0.000 % |
5392.24/5394.01 c | 1322080 | 1091 113182 490657 | 82722 74097 69 | 0.000 % |
5392.94/5394.70 c | 1322201 | 1091 113182 490657 | 82722 74218 69 | 0.000 % |
5393.54/5395.32 c | 1322334 | 1091 113182 490657 | 82722 74351 69 | 0.000 % |
5394.14/5395.97 c | 1322480 | 1091 113182 490657 | 82722 74497 69 | 0.000 % |
5395.14/5396.99 c | 1322640 | 1091 113182 490657 | 82722 74657 69 | 0.000 % |
5395.94/5397.78 c | 1322816 | 1091 113182 490657 | 82722 74833 69 | 0.000 % |
5396.63/5398.45 c | 1323011 | 1091 113182 490657 | 82722 75028 69 | 0.000 % |
5397.83/5399.69 c | 1323225 | 1091 113182 490657 | 82722 75242 69 | 0.000 % |
5399.33/5401.14 c | 1323459 | 1091 113182 490657 | 82722 75476 69 | 0.000 % |
5400.53/5402.34 c | 1323715 | 1091 113182 490657 | 82722 75732 69 | 0.000 % |
5401.34/5403.10 c | 1323997 | 1091 113182 490657 | 82722 76014 69 | 0.000 % |
5401.83/5403.65 c | 1324306 | 1091 113182 490657 | 82722 76323 69 | 0.000 % |
5402.93/5404.77 c | 1324646 | 1091 113182 490657 | 82722 76663 69 | 0.000 % |
5403.73/5405.54 c | 1325020 | 1091 113182 490657 | 82722 77037 69 | 0.000 % |
5406.03/5407.86 c | 1325430 | 1091 113182 490657 | 82722 77447 69 | 0.000 % |
5409.43/5411.21 c | 1325879 | 1091 113182 490657 | 82722 77896 69 | 0.000 % |
5412.73/5414.51 c | 1326372 | 1091 113182 490657 | 82722 78389 69 | 0.000 % |
5416.43/5418.25 c | 1326915 | 1091 113182 490657 | 82722 78932 69 | 0.000 % |
5419.33/5421.13 c | 1327513 | 1091 113182 490657 | 82722 79530 69 | 0.000 % |
5423.03/5424.85 c | 1328171 | 1091 113182 490657 | 82722 80188 69 | 0.000 % |
5424.63/5426.41 c | 1328893 | 1091 113182 490657 | 82722 80910 69 | 0.000 % |
5429.52/5431.35 c | 1329687 | 1091 113182 490657 | 82722 81704 69 | 0.000 % |
5434.02/5435.84 c | 1330560 | 1091 113182 490657 | 82018 66717 69 | 0.000 % |
5436.82/5438.66 c | 1331518 | 1091 113182 490657 | 82018 67675 69 | 0.000 % |
5440.82/5442.60 c | 1332575 | 1091 113182 490657 | 82018 68732 69 | 0.000 % |
5445.82/5447.68 c | 1333733 | 1091 113182 490657 | 82018 69890 69 | 0.000 % |
5449.72/5451.54 c | 1335007 | 1091 113182 490657 | 82018 71164 69 | 0.000 % |
5454.22/5456.06 c | 1336407 | 1091 113182 490657 | 82018 72564 69 | 0.000 % |
5457.52/5459.40 c | 1337950 | 1091 113182 490657 | 82018 74107 69 | 0.000 % |
5460.82/5462.60 c | 1339644 | 1091 113182 490657 | 82018 75801 69 | 0.000 % |
5465.41/5467.24 c | 1341509 | 1091 113182 490657 | 76157 67402 69 | 0.000 % |
5471.31/5473.12 c | 1343558 | 1091 113182 490657 | 76157 69451 69 | 0.000 % |
5479.11/5480.93 c | 1345812 | 1091 113182 490657 | 76157 71705 68 | 0.000 % |
5485.31/5487.18 c | 1348291 | 1091 113182 490657 | 76157 74184 68 | 0.000 % |
5492.50/5494.33 c | 1351020 | 1091 113182 490657 | 2147483647 76913 68 | 0.000 % |
5506.10/5507.93 c | 1354020 | 1091 113182 490657 | 2147483647 79913 68 | 0.000 % |
5519.49/5521.32 c | 1357317 | 1091 113182 490657 | 2147483647 83210 68 | 0.000 % |
5535.99/5537.86 c | 1360942 | 1091 113182 490657 | 85894 75932 68 | 0.000 % |
5552.88/5554.71 c | 1364929 | 1091 113182 490657 | 85894 79919 68 | 0.000 % |
5572.18/5574.09 c | 1369316 | 1091 113182 490657 | 85894 84306 68 | 0.000 % |
5590.37/5592.20 c | 1374140 | 1091 113182 490657 | 84991 77083 68 | 0.000 % |
5607.27/5609.10 c | 1379446 | 1091 113182 490657 | 84991 82389 68 | 0.000 % |
5642.36/5644.26 c | 1385281 | 1091 113182 490657 | 2147483647 88224 69 | 0.000 % |
5675.95/5677.87 c | 1391699 | 1091 113182 490657 | 92948 73902 68 | 0.000 % |
5713.94/5715.88 c | 1398760 | 1091 113182 490657 | 92948 80963 68 | 0.000 % |
5745.64/5747.54 c | 1406524 | 1091 113182 490657 | 82205 69911 69 | 0.000 % |
5769.03/5770.93 c | 1415066 | 1091 113182 490657 | 73387 69794 68 | 0.000 % |
5792.02/5793.93 c | 1424461 | 1091 113182 490657 | 2147483647 71837 68 | 0.000 % |
5812.01/5813.99 c | 1434794 | 1091 113182 490657 | 2147483647 82170 66 | 0.000 % |
5820.61/5822.55 c | 1446161 | 1091 113182 490657 | 2147483647 93537 68 | 0.000 % |
5877.99/5879.95 c | 1458665 | 1091 113182 490657 | 2147483647 106041 69 | 0.000 % |
5878.19/5880.15 c | 1458765 | 1091 113182 490657 | 2147483647 106141 69 | 0.000 % |
5878.29/5880.28 c | 1458877 | 1091 113182 490657 | 2147483647 106253 69 | 0.000 % |
5878.49/5880.49 c | 1458998 | 1091 113182 490657 | 2147483647 106374 69 | 0.000 % |
5878.69/5880.67 c | 1459132 | 1091 113182 490657 | 2147483647 106508 69 | 0.000 % |
5878.89/5880.87 c | 1459279 | 1091 113182 490657 | 2147483647 106655 69 | 0.000 % |
5879.29/5881.20 c | 1459439 | 1091 113182 490657 | 2147483647 106815 69 | 0.000 % |
5879.59/5881.55 c | 1459616 | 1091 113182 490657 | 2147483647 106992 69 | 0.000 % |
5880.09/5882.04 c | 1459814 | 1091 113182 490657 | 2147483647 107190 68 | 0.000 % |
5880.59/5882.51 c | 1460030 | 1091 113182 490657 | 2147483647 107406 68 | 0.000 % |
5881.09/5883.08 c | 1460263 | 1091 113182 490657 | 2147483647 107639 68 | 0.000 % |
5881.89/5883.89 c | 1460520 | 1091 113182 490657 | 2147483647 107896 68 | 0.000 % |
5882.99/5884.97 c | 1460802 | 1091 113182 490657 | 2147483647 108178 68 | 0.000 % |
5884.78/5886.76 c | 1461112 | 1091 113182 490657 | 2147483647 108488 68 | 0.000 % |
5885.88/5887.85 c | 1461454 | 1091 113182 490657 | 2147483647 108830 69 | 0.000 % |
5888.38/5890.30 c | 1461826 | 1091 113182 490657 | 2147483647 109202 69 | 0.000 % |
5890.79/5892.77 c | 1462236 | 1091 113182 490657 | 2147483647 109612 69 | 0.000 % |
5892.98/5894.99 c | 1462685 | 1091 113182 490657 | 2147483647 110061 69 | 0.000 % |
5894.48/5896.50 c | 1463181 | 1091 113182 490657 | 2147483647 110557 69 | 0.000 % |
5896.68/5898.69 c | 1463724 | 1091 113182 490657 | 2147483647 111100 69 | 0.000 % |
5899.28/5901.23 c | 1464320 | 1091 113182 490657 | 2147483647 111696 69 | 0.000 % |
5901.28/5903.26 c | 1464976 | 1091 113182 490657 | 2147483647 112352 69 | 0.000 % |
5903.88/5905.83 c | 1465698 | 1091 113182 490657 | 2147483647 113074 69 | 0.000 % |
5907.47/5909.46 c | 1466491 | 1091 113182 490657 | 2147483647 113867 69 | 0.000 % |
5913.17/5915.16 c | 1467363 | 1091 113182 490657 | 2147483647 114739 69 | 0.000 % |
5919.07/5921.04 c | 1468322 | 1091 113182 490657 | 2147483647 115698 69 | 0.000 % |
5923.47/5925.45 c | 1469375 | 1091 113182 490657 | 2147483647 116751 69 | 0.000 % |
5929.27/5931.29 c | 1470533 | 1091 113182 490657 | 117378 103158 70 | 0.000 % |
5932.67/5934.65 c | 1471806 | 1091 113182 490657 | 117378 104431 70 | 0.000 % |
5936.06/5938.07 c | 1473206 | 1091 113182 490657 | 117378 105831 70 | 0.000 % |
5938.56/5940.54 c | 1474746 | 1091 113182 490657 | 117378 107371 70 | 0.000 % |
5946.96/5948.98 c | 1476442 | 1091 113182 490657 | 117378 109067 70 | 0.000 % |
5955.16/5957.11 c | 1478305 | 1091 113182 490657 | 117378 110930 70 | 0.000 % |
5962.27/5964.23 c | 1480355 | 1091 113182 490657 | 2147483647 112980 69 | 0.000 % |
5973.76/5975.73 c | 1482608 | 1091 113182 490657 | 2147483647 115233 69 | 0.000 % |
5984.36/5986.34 c | 1485087 | 1091 113182 490657 | 2147483647 117712 70 | 0.000 % |
5998.56/6000.56 c | 1487812 | 1091 113182 490657 | 2147483647 120437 70 | 0.000 % |
6015.15/6017.19 c | 1490809 | 1091 113182 490657 | 2147483647 123434 70 | 0.000 % |
6030.14/6032.10 c | 1494106 | 1091 113182 490657 | 2147483647 126731 70 | 0.000 % |
6050.64/6052.63 c | 1497731 | 1091 113182 490657 | 2147483647 130356 70 | 0.000 % |
6058.54/6060.51 c | 1501721 | 1091 113182 490657 | 2147483647 134346 70 | 0.000 % |
6084.33/6086.32 c | 1506107 | 1091 113182 490657 | 2147483647 138732 70 | 0.000 % |
6106.42/6108.49 c | 1510930 | 1091 113182 490657 | 2147483647 143555 70 | 0.000 % |
6128.42/6130.44 c | 1516236 | 1091 113182 490657 | 2147483647 148861 70 | 0.000 % |
6161.80/6163.86 c | 1522071 | 1091 113182 490657 | 152625 131843 71 | 0.000 % |
6171.60/6173.65 c | 1528489 | 1091 113182 490657 | 152625 138261 71 | 0.000 % |
6217.48/6219.59 c | 1535550 | 1091 113182 490657 | 2147483647 145322 71 | 0.000 % |
6245.17/6247.21 c | 1543317 | 1091 113182 490657 | 2147483647 153089 72 | 0.000 % |
6256.88/6258.94 c | 1551858 | 1091 113182 490657 | 2147483647 161630 70 | 0.000 % |
6268.98/6271.01 c | 1561254 | 1091 113182 490657 | 2147483647 171026 68 | 0.000 % |
6282.07/6284.15 c | 1571588 | 1091 113182 490657 | 2147483647 181360 66 | 0.000 % |
6364.44/6366.58 c | 1582955 | 1091 113182 490657 | 2147483647 192727 67 | 0.000 % |
6437.12/6439.28 c | 1595458 | 1091 113182 490657 | 199773 165099 65 | 0.000 % |
6475.71/6477.84 c | 1609213 | 1091 113182 490657 | 169642 157740 66 | 0.000 % |
6476.11/6478.23 c | 1609313 | 1091 113182 490657 | 169642 157840 66 | 0.000 % |
6476.81/6478.99 c | 1609424 | 1091 113182 490657 | 169642 157951 66 | 0.000 % |
6477.51/6479.60 c | 1609545 | 1091 113182 490657 | 169642 158072 66 | 0.000 % |
6477.91/6480.01 c | 1609678 | 1091 113182 490657 | 169642 158205 66 | 0.000 % |
6478.71/6480.86 c | 1609824 | 1091 113182 490657 | 169642 158351 66 | 0.000 % |
6479.01/6481.13 c | 1609984 | 1091 113182 490657 | 169642 158511 66 | 0.000 % |
6479.31/6481.43 c | 1610160 | 1091 113182 490657 | 2147483647 158687 66 | 0.000 % |
6480.41/6482.53 c | 1610354 | 1091 113182 490657 | 2147483647 158881 66 | 0.000 % |
6480.81/6482.98 c | 1610570 | 1091 113182 490657 | 2147483647 159097 66 | 0.000 % |
6482.11/6484.27 c | 1610804 | 1091 113182 490657 | 2147483647 159331 66 | 0.000 % |
6482.81/6484.91 c | 1611060 | 1091 113182 490657 | 2147483647 159587 66 | 0.000 % |
6483.71/6485.87 c | 1611344 | 1091 113182 490657 | 2147483647 159871 66 | 0.000 % |
6485.20/6487.34 c | 1611654 | 1091 113182 490657 | 2147483647 160181 66 | 0.000 % |
6486.81/6488.97 c | 1611993 | 1091 113182 490657 | 2147483647 160520 66 | 0.000 % |
6487.60/6489.78 c | 1612369 | 1091 113182 490657 | 2147483647 160896 66 | 0.000 % |
6488.30/6490.43 c | 1612780 | 1091 113182 490657 | 2147483647 161307 65 | 0.000 % |
6489.10/6491.23 c | 1613229 | 1091 113182 490657 | 2147483647 161756 65 | 0.000 % |
6489.90/6492.09 c | 1613722 | 1091 113182 490657 | 2147483647 162249 65 | 0.000 % |
6490.80/6492.96 c | 1614264 | 1091 113182 490657 | 2147483647 162791 65 | 0.000 % |
6491.70/6493.85 c | 1614861 | 1091 113182 490657 | 2147483647 163388 65 | 0.000 % |
6492.70/6494.88 c | 1615516 | 1091 113182 490657 | 2147483647 164043 65 | 0.000 % |
6496.50/6498.69 c | 1616236 | 1091 113182 490657 | 2147483647 164763 65 | 0.000 % |
6500.20/6502.32 c | 1617029 | 1091 113182 490657 | 2147483647 165556 65 | 0.000 % |
6503.70/6505.85 c | 1617905 | 1091 113182 490657 | 2147483647 166432 65 | 0.000 % |
6507.00/6509.12 c | 1618864 | 1091 113182 490657 | 2147483647 167391 65 | 0.000 % |
6508.60/6510.73 c | 1619918 | 1091 113182 490657 | 2147483647 168445 65 | 0.000 % |
6510.80/6512.92 c | 1621076 | 1091 113182 490657 | 2147483647 169603 65 | 0.000 % |
6514.79/6516.95 c | 1622350 | 1091 113182 490657 | 2147483647 170877 65 | 0.000 % |
6518.60/6520.74 c | 1623753 | 1091 113182 490657 | 2147483647 172280 65 | 0.000 % |
6520.80/6522.94 c | 1625293 | 1091 113182 490657 | 2147483647 173820 65 | 0.000 % |
6522.19/6524.34 c | 1626988 | 1091 113182 490657 | 2147483647 175515 65 | 0.000 % |
6523.99/6526.12 c | 1628852 | 1091 113182 490657 | 2147483647 177379 66 | 0.000 % |
6526.89/6529.05 c | 1630901 | 1091 113182 490657 | 2147483647 179428 66 | 0.000 % |
6529.89/6532.02 c | 1633154 | 1091 113182 490657 | 2147483647 181681 66 | 0.000 % |
6533.09/6535.27 c | 1635633 | 1091 113182 490657 | 2147483647 184160 66 | 0.000 % |
6537.19/6539.36 c | 1638360 | 1091 113182 490657 | 2147483647 186887 65 | 0.000 % |
6542.68/6544.81 c | 1641358 | 1091 113182 490657 | 2147483647 189885 65 | 0.000 % |
6548.88/6551.05 c | 1644657 | 1091 113182 490657 | 2147483647 193184 66 | 0.000 % |
6553.48/6555.67 c | 1648282 | 1091 113182 490657 | 2147483647 196809 66 | 0.000 % |
6561.38/6563.51 c | 1652269 | 1091 113182 490657 | 2147483647 200796 66 | 0.000 % |
6571.57/6573.79 c | 1656656 | 1091 113182 490657 | 2147483647 205183 66 | 0.000 % |
6580.97/6583.16 c | 1661479 | 1091 113182 490657 | 2147483647 210006 66 | 0.000 % |
6592.87/6595.06 c | 1666786 | 1091 113182 490657 | 2147483647 215313 66 | 0.000 % |
6604.07/6606.23 c | 1672622 | 1091 113182 490657 | 2147483647 221149 66 | 0.000 % |
6621.87/6624.03 c | 1679046 | 1091 113182 490657 | 2147483647 227573 67 | 0.000 % |
6648.15/6650.35 c | 1686107 | 1091 113182 490657 | 228528 199296 67 | 0.000 % |
6679.55/6681.76 c | 1693871 | 1091 113182 490657 | 2147483647 207060 68 | 0.000 % |
6711.14/6713.31 c | 1702411 | 1091 113182 490657 | 213189 188091 71 | 0.000 % |
6739.73/6741.92 c | 1711806 | 1091 113182 490657 | 195681 168740 72 | 0.000 % |
6767.32/6769.55 c | 1722139 | 1091 113182 490657 | 176936 159853 73 | 0.000 % |
6803.61/6805.85 c | 1733508 | 1091 113182 490657 | 2147483647 171222 74 | 0.000 % |
6838.49/6840.70 c | 1746010 | 1091 113182 490657 | 2147483647 183724 75 | 0.000 % |
6890.78/6893.09 c | 1759764 | 1091 113182 490657 | 187714 175434 77 | 0.000 % |
6952.67/6954.96 c | 1774891 | 1091 113182 490657 | 152260 139646 79 | 0.000 % |
6952.97/6955.29 c | 1774992 | 1091 113182 490657 | 152260 139747 79 | 0.000 % |
6953.47/6955.71 c | 1775105 | 1091 113182 490657 | 152260 139860 79 | 0.000 % |
6953.77/6956.04 c | 1775226 | 1091 113182 490657 | 152260 139981 79 | 0.000 % |
6953.97/6956.29 c | 1775360 | 1091 113182 490657 | 152260 140115 79 | 0.000 % |
6954.87/6957.15 c | 1775509 | 1091 113182 490657 | 152260 140264 79 | 0.000 % |
6955.37/6957.68 c | 1775670 | 1091 113182 490657 | 152260 140425 79 | 0.000 % |
6956.07/6958.36 c | 1775847 | 1091 113182 490657 | 152260 140602 79 | 0.000 % |
6956.87/6959.14 c | 1776040 | 1091 113182 490657 | 152260 140795 79 | 0.000 % |
6957.56/6959.84 c | 1776257 | 1091 113182 490657 | 152260 141012 79 | 0.000 % |
6958.47/6960.72 c | 1776491 | 1091 113182 490657 | 152260 141246 79 | 0.000 % |
6959.26/6961.55 c | 1776747 | 1091 113182 490657 | 152260 141502 79 | 0.000 % |
6960.06/6962.30 c | 1777031 | 1091 113182 490657 | 152260 141786 79 | 0.000 % |
6960.96/6963.25 c | 1777340 | 1091 113182 490657 | 152260 142095 79 | 0.000 % |
6961.66/6963.98 c | 1777680 | 1091 113182 490657 | 152260 142435 79 | 0.000 % |
6963.56/6965.86 c | 1778053 | 1091 113182 490657 | 152260 142808 79 | 0.000 % |
6964.56/6966.88 c | 1778465 | 1091 113182 490657 | 152260 143220 78 | 0.000 % |
6965.56/6967.87 c | 1778917 | 1091 113182 490657 | 152260 143672 78 | 0.000 % |
6966.56/6968.84 c | 1779413 | 1091 113182 490657 | 152260 144168 78 | 0.000 % |
6967.56/6969.81 c | 1779955 | 1091 113182 490657 | 152260 144710 78 | 0.000 % |
6968.76/6971.00 c | 1780557 | 1091 113182 490657 | 2147483647 145312 78 | 0.000 % |
6971.96/6974.27 c | 1781214 | 1091 113182 490657 | 2147483647 145969 78 | 0.000 % |
6974.76/6977.00 c | 1781940 | 1091 113182 490657 | 2147483647 146695 78 | 0.000 % |
6976.95/6979.20 c | 1782732 | 1091 113182 490657 | 2147483647 147487 78 | 0.000 % |
6979.15/6981.42 c | 1783603 | 1091 113182 490657 | 2147483647 148358 78 | 0.000 % |
6980.35/6982.60 c | 1784562 | 1091 113182 490657 | 2147483647 149317 78 | 0.000 % |
6983.95/6986.24 c | 1785616 | 1091 113182 490657 | 2147483647 150371 78 | 0.000 % |
6990.55/6992.85 c | 1786775 | 1091 113182 490657 | 2147483647 151530 77 | 0.000 % |
6993.25/6995.55 c | 1788048 | 1091 113182 490657 | 2147483647 152803 77 | 0.000 % |
7000.95/7003.30 c | 1789449 | 1091 113182 490657 | 2147483647 154204 77 | 0.000 % |
7007.54/7009.83 c | 1790992 | 1091 113182 490657 | 2147483647 155747 77 | 0.000 % |
7011.25/7013.50 c | 1792686 | 1091 113182 490657 | 2147483647 157441 77 | 0.000 % |
7014.24/7016.54 c | 1794549 | 1091 113182 490657 | 2147483647 159304 77 | 0.000 % |
7021.54/7023.88 c | 1796598 | 1091 113182 490657 | 2147483647 161353 77 | 0.000 % |
7031.33/7033.67 c | 1798852 | 1091 113182 490657 | 2147483647 163607 77 | 0.000 % |
7037.53/7039.83 c | 1801332 | 1091 113182 490657 | 2147483647 166087 76 | 0.000 % |
7043.33/7045.68 c | 1804059 | 1091 113182 490657 | 2147483647 168814 76 | 0.000 % |
7055.82/7058.18 c | 1807056 | 1091 113182 490657 | 2147483647 171811 76 | 0.000 % |
7072.42/7074.71 c | 1810354 | 1091 113182 490657 | 2147483647 175109 76 | 0.000 % |
7082.42/7084.79 c | 1813979 | 1091 113182 490657 | 2147483647 178734 76 | 0.000 % |
7087.52/7089.86 c | 1817966 | 1091 113182 490657 | 2147483647 182721 77 | 0.000 % |
7105.01/7107.36 c | 1822354 | 1091 113182 490657 | 2147483647 187109 76 | 0.000 % |
7125.20/7127.54 c | 1827177 | 1091 113182 490657 | 2147483647 191932 76 | 0.000 % |
7144.90/7147.24 c | 1832483 | 1091 113182 490657 | 2147483647 197238 76 | 0.000 % |
7164.99/7167.37 c | 1838319 | 1091 113182 490657 | 2147483647 203074 76 | 0.000 % |
7183.90/7186.26 c | 1844738 | 1091 113182 490657 | 2147483647 209493 76 | 0.000 % |
7212.28/7214.65 c | 1851797 | 1091 113182 490657 | 2147483647 216552 76 | 0.000 % |
7230.98/7233.31 c | 1859566 | 1091 113182 490657 | 2147483647 224321 75 | 0.000 % |
7273.76/7276.14 c | 1868107 | 1091 113182 490657 | 2147483647 232862 75 | 0.000 % |
7298.36/7300.71 c | 1877501 | 1091 113182 490657 | 2147483647 242256 75 | 0.000 % |
7350.84/7353.30 c | 1887834 | 1091 113182 490657 | 2147483647 252589 76 | 0.000 % |
7386.33/7388.74 c | 1899200 | 1091 113182 490657 | 2147483647 263955 76 | 0.000 % |
7442.91/7445.39 c | 1911703 | 1091 113182 490657 | 2147483647 276458 75 | 0.000 % |
7516.10/7518.55 c | 1925456 | 1091 113182 490657 | 2147483647 290211 75 | 0.000 % |
7593.97/7596.41 c | 1940584 | 1091 113182 490657 | 2147483647 305339 75 | 0.000 % |
7662.84/7665.37 c | 1957223 | 1091 113182 490657 | 2147483647 321978 75 | 0.000 % |
7663.14/7665.67 c | 1957324 | 1091 113182 490657 | 2147483647 322079 75 | 0.000 % |
7664.04/7666.55 c | 1957434 | 1091 113182 490657 | 2147483647 322189 75 | 0.000 % |
7665.04/7667.57 c | 1957555 | 1091 113182 490657 | 2147483647 322310 75 | 0.000 % |
7666.34/7668.85 c | 1957688 | 1091 113182 490657 | 2147483647 322443 75 | 0.000 % |
7667.34/7669.80 c | 1957835 | 1091 113182 490657 | 2147483647 322590 75 | 0.000 % |
7667.94/7670.48 c | 1957995 | 1091 113182 490657 | 2147483647 322750 75 | 0.000 % |
7669.54/7672.00 c | 1958172 | 1091 113182 490657 | 2147483647 322927 75 | 0.000 % |
7670.94/7673.46 c | 1958366 | 1091 113182 490657 | 2147483647 323121 75 | 0.000 % |
7672.44/7674.96 c | 1958578 | 1091 113182 490657 | 2147483647 323333 75 | 0.000 % |
7674.14/7676.61 c | 1958812 | 1091 113182 490657 | 2147483647 323567 75 | 0.000 % |
7675.75/7678.22 c | 1959071 | 1091 113182 490657 | 2147483647 323826 75 | 0.000 % |
7678.35/7680.85 c | 1959352 | 1091 113182 490657 | 2147483647 324107 75 | 0.000 % |
7681.25/7683.71 c | 1959661 | 1091 113182 490657 | 2147483647 324416 75 | 0.000 % |
7683.94/7686.42 c | 1960001 | 1091 113182 490657 | 2147483647 324756 75 | 0.000 % |
7686.24/7688.76 c | 1960375 | 1091 113182 490657 | 2147483647 325130 75 | 0.000 % |
7688.14/7690.68 c | 1960785 | 1091 113182 490657 | 2147483647 325540 75 | 0.000 % |
7691.14/7693.62 c | 1961234 | 1091 113182 490657 | 2147483647 325989 75 | 0.000 % |
7694.54/7697.06 c | 1961727 | 1091 113182 490657 | 2147483647 326482 75 | 0.000 % |
7698.34/7700.88 c | 1962269 | 1091 113182 490657 | 2147483647 327024 75 | 0.000 % |
7702.04/7704.56 c | 1962865 | 1091 113182 490657 | 2147483647 327620 75 | 0.000 % |
7706.03/7708.54 c | 1963522 | 1091 113182 490657 | 2147483647 328277 76 | 0.000 % |
7710.53/7713.05 c | 1964242 | 1091 113182 490657 | 2147483647 328997 76 | 0.000 % |
7716.43/7718.91 c | 1965035 | 1091 113182 490657 | 2147483647 329790 76 | 0.000 % |
7722.33/7724.85 c | 1965906 | 1091 113182 490657 | 2147483647 330661 76 | 0.000 % |
7728.53/7731.00 c | 1966865 | 1091 113182 490657 | 2147483647 331620 76 | 0.000 % |
7737.72/7740.25 c | 1967918 | 1091 113182 490657 | 2147483647 332673 76 | 0.000 % |
7745.53/7748.06 c | 1969077 | 1091 113182 490657 | 2147483647 333832 76 | 0.000 % |
7759.13/7761.69 c | 1970350 | 1091 113182 490657 | 334755 253927 76 | 0.000 % |
7767.42/7769.99 c | 1971750 | 1091 113182 490657 | 334755 255327 76 | 0.000 % |
7774.62/7777.10 c | 1973290 | 1091 113182 490657 | 334755 256867 76 | 0.000 % |
7783.51/7786.04 c | 1974985 | 1091 113182 490657 | 334755 258562 76 | 0.000 % |
7790.41/7792.97 c | 1976851 | 1091 113182 490657 | 334755 260428 76 | 0.000 % |
7801.00/7803.55 c | 1978900 | 1091 113182 490657 | 334755 262477 76 | 0.000 % |
7813.10/7815.64 c | 1981154 | 1091 113182 490657 | 263579 187922 75 | 0.000 % |
7824.60/7827.13 c | 1983633 | 1091 113182 490657 | 263579 190401 75 | 0.000 % |
7836.89/7839.43 c | 1986358 | 1091 113182 490657 | 263579 193126 75 | 0.000 % |
7849.49/7852.08 c | 1989357 | 1091 113182 490657 | 263579 196125 75 | 0.000 % |
7864.98/7867.58 c | 1992653 | 1091 113182 490657 | 2147483647 199421 75 | 0.000 % |
7879.18/7881.76 c | 1996278 | 1091 113182 490657 | 2147483647 203046 75 | 0.000 % |
7896.07/7898.67 c | 2000268 | 1091 113182 490657 | 2147483647 207036 75 | 0.000 % |
7916.46/7919.03 c | 2004654 | 1091 113182 490657 | 2147483647 211422 75 | 0.000 % |
7940.67/7943.29 c | 2009477 | 1091 113182 490657 | 2147483647 216245 75 | 0.000 % |
7966.06/7968.69 c | 2014782 | 1091 113182 490657 | 2147483647 221550 75 | 0.000 % |
7994.65/7997.28 c | 2020617 | 1091 113182 490657 | 2147483647 227385 75 | 0.000 % |
8020.54/8023.11 c | 2027035 | 1091 113182 490657 | 2147483647 233803 75 | 0.000 % |
8059.73/8062.32 c | 2034094 | 1091 113182 490657 | 2147483647 240862 75 | 0.000 % |
8109.41/8112.05 c | 2041858 | 1091 113182 490657 | 2147483647 248626 75 | 0.000 % |
8154.70/8157.37 c | 2050398 | 1091 113182 490657 | 2147483647 257166 75 | 0.000 % |
8206.88/8209.52 c | 2059792 | 1091 113182 490657 | 2147483647 266560 75 | 0.000 % |
8246.07/8248.75 c | 2070125 | 1091 113182 490657 | 276770 276893 75 | 0.000 % |
8307.16/8309.81 c | 2081493 | 1091 113182 490657 | 240934 211048 76 | 0.000 % |
8362.54/8365.29 c | 2093995 | 1091 113182 490657 | 2147483647 223550 75 | 0.000 % |
8433.12/8435.84 c | 2107754 | 1091 113182 490657 | 2147483647 237309 75 | 0.000 % |
8523.39/8526.10 c | 2122881 | 1091 113182 490657 | 2147483647 252436 74 | 0.000 % |
8609.45/8612.20 c | 2139520 | 1091 113182 490657 | 2147483647 269075 74 | 0.000 % |
8748.22/8751.01 c | 2157825 | 1091 113182 490657 | 2147483647 287380 74 | 0.000 % |
8749.02/8751.88 c | 2157925 | 1091 113182 490657 | 2147483647 287480 74 | 0.000 % |
8749.92/8752.75 c | 2158035 | 1091 113182 490657 | 2147483647 287590 74 | 0.000 % |
8751.32/8754.18 c | 2158158 | 1091 113182 490657 | 2147483647 287713 74 | 0.000 % |
8752.42/8755.23 c | 2158291 | 1091 113182 490657 | 2147483647 287846 74 | 0.000 % |
8753.62/8756.43 c | 2158440 | 1091 113182 490657 | 2147483647 287995 74 | 0.000 % |
8755.02/8757.81 c | 2158600 | 1091 113182 490657 | 2147483647 288155 74 | 0.000 % |
8756.22/8759.06 c | 2158776 | 1091 113182 490657 | 2147483647 288331 74 | 0.000 % |
8757.62/8760.46 c | 2158972 | 1091 113182 490657 | 2147483647 288527 74 | 0.000 % |
8759.92/8762.73 c | 2159184 | 1091 113182 490657 | 2147483647 288739 74 | 0.000 % |
8762.12/8764.91 c | 2159418 | 1091 113182 490657 | 2147483647 288973 74 | 0.000 % |
8764.42/8767.24 c | 2159674 | 1091 113182 490657 | 2147483647 289229 74 | 0.000 % |
8766.42/8769.28 c | 2159955 | 1091 113182 490657 | 2147483647 289510 74 | 0.000 % |
8770.21/8773.07 c | 2160268 | 1091 113182 490657 | 289555 250695 74 | 0.000 % |
8771.92/8774.76 c | 2160607 | 1091 113182 490657 | 289555 251034 74 | 0.000 % |
8773.91/8776.74 c | 2160979 | 1091 113182 490657 | 289555 251406 74 | 0.000 % |
8776.32/8779.16 c | 2161392 | 1091 113182 490657 | 289555 251819 74 | 0.000 % |
8778.21/8781.00 c | 2161843 | 1091 113182 490657 | 289555 252270 74 | 0.000 % |
8779.71/8782.59 c | 2162337 | 1091 113182 490657 | 289555 252764 74 | 0.000 % |
8783.71/8786.59 c | 2162879 | 1091 113182 490657 | 289555 253306 74 | 0.000 % |
8786.41/8789.25 c | 2163476 | 1091 113182 490657 | 289555 253903 74 | 0.000 % |
8788.61/8791.47 c | 2164132 | 1091 113182 490657 | 289555 254559 74 | 0.000 % |
8792.31/8795.15 c | 2164853 | 1091 113182 490657 | 289555 255280 74 | 0.000 % |
8796.11/8798.92 c | 2165645 | 1091 113182 490657 | 289555 256072 74 | 0.000 % |
8800.90/8803.71 c | 2166516 | 1091 113182 490657 | 289555 256943 74 | 0.000 % |
8806.40/8809.20 c | 2167474 | 1091 113182 490657 | 289555 257901 74 | 0.000 % |
8814.20/8817.08 c | 2168529 | 1091 113182 490657 | 289555 258956 74 | 0.000 % |
8822.80/8825.70 c | 2169687 | 1091 113182 490657 | 289555 260114 74 | 0.000 % |
8833.09/8835.92 c | 2170962 | 1091 113182 490657 | 2147483647 261389 74 | 0.000 % |
8842.69/8845.50 c | 2172363 | 1091 113182 490657 | 2147483647 262790 74 | 0.000 % |
8855.29/8858.13 c | 2173904 | 1091 113182 490657 | 2147483647 264331 74 | 0.000 % |
8868.18/8871.08 c | 2175598 | 1091 113182 490657 | 2147483647 266025 74 | 0.000 % |
8883.67/8886.50 c | 2177462 | 1091 113182 490657 | 2147483647 267889 74 | 0.000 % |
8896.27/8899.20 c | 2179511 | 1091 113182 490657 | 2147483647 269938 74 | 0.000 % |
8910.07/8912.96 c | 2181764 | 1091 113182 490657 | 2147483647 272191 74 | 0.000 % |
8927.26/8930.16 c | 2184242 | 1091 113182 490657 | 2147483647 274669 74 | 0.000 % |
8940.86/8943.72 c | 2186967 | 1091 113182 490657 | 2147483647 277394 74 | 0.000 % |
8960.85/8963.75 c | 2189965 | 1091 113182 490657 | 2147483647 280392 74 | 0.000 % |
8981.64/8984.57 c | 2193261 | 1091 113182 490657 | 2147483647 283688 74 | 0.000 % |
9005.84/9008.72 c | 2196886 | 1091 113182 490657 | 2147483647 287313 74 | 0.000 % |
9031.43/9034.33 c | 2200877 | 1091 113182 490657 | 2147483647 291304 74 | 0.000 % |
9069.32/9072.25 c | 2205262 | 1091 113182 490657 | 2147483647 295689 74 | 0.000 % |
9107.90/9110.82 c | 2210085 | 1091 113182 490657 | 2147483647 300512 74 | 0.000 % |
9151.39/9154.33 c | 2215393 | 1091 113182 490657 | 2147483647 305820 74 | 0.000 % |
9188.58/9191.54 c | 2221229 | 1091 113182 490657 | 310428 274837 73 | 0.000 % |
9210.48/9213.45 c | 2227648 | 1091 113182 490657 | 310428 281256 73 | 0.000 % |
9232.68/9235.64 c | 2234709 | 1091 113182 490657 | 2147483647 288317 73 | 0.000 % |
9261.76/9264.79 c | 2242474 | 1091 113182 490657 | 2147483647 296082 73 | 0.000 % |
9326.05/9329.07 c | 2251015 | 1091 113182 490657 | 2147483647 304623 73 | 0.000 % |
9426.41/9429.45 c | 2260410 | 1091 113182 490657 | 313608 270152 72 | 0.000 % |
9517.68/9520.79 c | 2270743 | 1091 113182 490657 | 279745 234657 71 | 0.000 % |
9604.37/9607.48 c | 2282110 | 1091 113182 490657 | 243914 202307 72 | 0.000 % |
9697.44/9700.53 c | 2294614 | 1091 113182 490657 | 2147483647 214811 72 | 0.000 % |
9734.62/9737.70 c | 2308367 | 1091 113182 490657 | 2147483647 228564 71 | 0.000 % |
9798.20/9801.34 c | 2323494 | 1091 113182 490657 | 2147483647 243691 71 | 0.000 % |
9869.78/9872.98 c | 2340134 | 1091 113182 490657 | 2147483647 260331 71 | 0.000 % |
9950.77/9953.98 c | 2358436 | 1091 113182 490657 | 2147483647 278633 71 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837562-1242877142/watcher-1837562-1242877142 -o /tmp/evaluation-result-1837562-1242877142/solver-1837562-1242877142 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837562-1242877142.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.96 0.98 3/64 8268
/proc/meminfo: memFree=1706312/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=0
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738556 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8268/statm: 1339 237 197 169 0 50 0
[startup+0.027411 s]
/proc/loadavg: 0.92 0.96 0.98 3/64 8268
/proc/meminfo: memFree=1706312/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=0
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738556 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8268/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10142 s]
/proc/loadavg: 0.92 0.96 0.98 3/64 8268
/proc/meminfo: memFree=1706312/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=0
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738556 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8268/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301448 s]
/proc/loadavg: 0.92 0.96 0.98 3/64 8268
/proc/meminfo: memFree=1706312/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=0
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738556 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8268/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701505 s]
/proc/loadavg: 0.92 0.96 0.98 3/64 8268
/proc/meminfo: memFree=1706312/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=0
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315738556 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8268/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50163 s]
/proc/loadavg: 0.92 0.96 0.98 2/66 8273
/proc/meminfo: memFree=1693752/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 5356
[startup+3.10185 s]
/proc/loadavg: 0.92 0.96 0.98 2/66 8274
/proc/meminfo: memFree=1695288/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=9548 CPUtime=1.83
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 2255 0 0 0 183 0 0 0 25 0 1 0 315738681 9777152 2241 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 2387 2241 77 171 0 2214 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14904
[startup+6.3013 s]
/proc/loadavg: 1.01 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1692344/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=11820 CPUtime=5.03
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 2816 0 0 0 502 1 0 0 25 0 1 0 315738681 12103680 2802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 2955 2802 77 171 0 2782 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17176
[startup+12.7022 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1687736/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=16372 CPUtime=11.43
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 3943 0 0 0 1141 2 0 0 25 0 1 0 315738681 16764928 3929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 4093 3929 77 171 0 3920 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21728
[startup+25.502 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1684152/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=19748 CPUtime=24.22
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 4775 0 0 0 2419 3 0 0 25 0 1 0 315738681 20221952 4761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 4937 4761 77 171 0 4764 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25104
[startup+51.1016 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1676152/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=27740 CPUtime=49.8
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 6765 0 0 0 4975 5 0 0 25 0 1 0 315738681 28405760 6751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 6935 6751 77 171 0 6762 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 33096
[startup+102.306 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1669560/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=34508 CPUtime=100.98
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 8391 0 0 0 10091 7 0 0 25 0 1 0 315738681 35336192 8377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 8627 8377 77 171 0 8454 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 39864
[startup+162.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1665400/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=38920 CPUtime=160.96
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 9396 0 0 0 16088 8 0 0 25 0 1 0 315738681 39854080 9374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 9730 9374 77 171 0 9557 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 44276
[startup+222.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1659896/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=44412 CPUtime=220.95
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 10758 0 0 0 22085 10 0 0 25 0 1 0 315738681 45477888 10736 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 11103 10736 77 171 0 10930 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 49768
[startup+282.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1654264/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=50184 CPUtime=280.93
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 12143 0 0 0 28082 11 0 0 25 0 1 0 315738681 51388416 12121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 12546 12121 77 171 0 12373 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 55540
[startup+342.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1648952/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=55340 CPUtime=340.91
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 13443 0 0 0 34079 12 0 0 25 0 1 0 315738681 56668160 13421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 13835 13421 77 171 0 13662 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 60696
[startup+402.301 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8274
/proc/meminfo: memFree=1643960/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=60600 CPUtime=400.88
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 14687 0 0 0 40075 13 0 0 25 0 1 0 315738681 62054400 14665 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 15150 14665 77 171 0 14977 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 65956
[startup+462.302 s]
/proc/loadavg: 1.00 0.97 0.99 2/66 8276
/proc/meminfo: memFree=1637944/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
################
# More data... #
################
/proc/8274/statm: 41299 39887 77 171 0 41126 0
Current children cumulated CPU time (s) 9339.34
Current children cumulated vsize (KiB) 170552
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1537144/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=165276 CPUtime=9398.08
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 39926 0 0 0 939752 56 0 0 25 0 1 0 315738681 169242624 39888 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41319 39888 77 171 0 41146 0
Current children cumulated CPU time (s) 9399.32
Current children cumulated vsize (KiB) 170632
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1537016/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=165516 CPUtime=9458.06
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 39958 0 0 0 945750 56 0 0 25 0 1 0 315738681 169488384 39920 1992294400 134512640 135215339 4294956240 18446744073709551615 134542512 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41379 39920 77 171 0 41206 0
Current children cumulated CPU time (s) 9459.3
Current children cumulated vsize (KiB) 170872
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1536952/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=165596 CPUtime=9518.04
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 39963 0 0 0 951748 56 0 0 25 0 1 0 315738681 169570304 39925 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41399 39925 77 171 0 41226 0
Current children cumulated CPU time (s) 9519.28
Current children cumulated vsize (KiB) 170952
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1536888/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=165596 CPUtime=9578.02
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 39984 0 0 0 957746 56 0 0 25 0 1 0 315738681 169570304 39946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41399 39946 77 171 0 41226 0
Current children cumulated CPU time (s) 9579.26
Current children cumulated vsize (KiB) 170952
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1536824/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=165596 CPUtime=9638.01
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 39988 0 0 0 963744 57 0 0 25 0 1 0 315738681 169570304 39950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41399 39950 77 171 0 41226 0
Current children cumulated CPU time (s) 9639.25
Current children cumulated vsize (KiB) 170952
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1536824/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=165596 CPUtime=9697.99
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 39990 0 0 0 969742 57 0 0 25 0 1 0 315738681 169570304 39952 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41399 39952 77 171 0 41226 0
Current children cumulated CPU time (s) 9699.23
Current children cumulated vsize (KiB) 170952
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1536632/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=165760 CPUtime=9757.98
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 40036 0 0 0 975741 57 0 0 25 0 1 0 315738681 169738240 39998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41440 39998 77 171 0 41267 0
Current children cumulated CPU time (s) 9759.22
Current children cumulated vsize (KiB) 171116
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1535928/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=166576 CPUtime=9817.96
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 40206 0 0 0 981739 57 0 0 25 0 1 0 315738681 170573824 40168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41644 40168 77 171 0 41471 0
Current children cumulated CPU time (s) 9819.2
Current children cumulated vsize (KiB) 171932
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1535352/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=167220 CPUtime=9877.94
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 40344 0 0 0 987737 57 0 0 25 0 1 0 315738681 171233280 40306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41805 40306 77 171 0 41632 0
Current children cumulated CPU time (s) 9879.18
Current children cumulated vsize (KiB) 172576
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1535288/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=167220 CPUtime=9937.92
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 40353 0 0 0 993735 57 0 0 25 0 1 0 315738681 171233280 40315 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41805 40315 77 171 0 41632 0
Current children cumulated CPU time (s) 9939.16
Current children cumulated vsize (KiB) 172576
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1535224/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=167300 CPUtime=9997.91
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 40370 0 0 0 999733 58 0 0 25 0 1 0 315738681 171315200 40332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41825 40332 77 171 0 41652 0
Current children cumulated CPU time (s) 9999.15
Current children cumulated vsize (KiB) 172656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 8298
/proc/meminfo: memFree=1535224/2055920 swapFree=4179348/4192956
[pid=8268] ppid=8266 vsize=5356 CPUtime=1.24
/proc/8268/stat : 8268 (SatELiteGTI) S 8266 8268 8164 0 -1 4194304 336 3261 0 0 0 0 121 3 16 0 1 0 315738556 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8268/statm: 1339 239 197 169 0 50 0
[pid=8274] ppid=8268 vsize=167300 CPUtime=9998.81
/proc/8274/stat : 8274 (minisat_static) R 8268 8268 8164 0 -1 4194304 40370 0 0 0 999823 58 0 0 25 0 1 0 315738681 171315200 40332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8274/statm: 41825 40332 77 171 0 41652 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 172656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8268 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=217814
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=32994
# CPU time returned by wait4() is 1.25081
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003.2
CPU time (s): 10000.1
CPU user time (s): 9999.44
CPU system time (s): 0.61
CPU usage (%): 99.9684
Max. virtual memory (cumulated for all children) (KiB): 172656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.21781
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3597
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= 14
involuntary context switches= 9
runsolver used 11.7012 second user time and 24.7152 second system time
The end
Begin job on node49 at 2009-05-21 05:39:02
IDJOB=1837562
IDBENCH=71103
IDSOLVER=674
FILE ID=node49/1837562-1242877142
PBS_JOBID= 9328649
Free space on /tmp= 66052 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_11_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837562-1242877142/watcher-1837562-1242877142 -o /tmp/evaluation-result-1837562-1242877142/solver-1837562-1242877142 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837562-1242877142.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e0639bbed56c8b8c34616f8cb99c381c
RANDOM SEED=1542655915
node49.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.241
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.241
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: 1706856 kB
Buffers: 36520 kB
Cached: 261780 kB
SwapCached: 6816 kB
Active: 102512 kB
Inactive: 204204 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1706856 kB
SwapTotal: 4192956 kB
SwapFree: 4179348 kB
Dirty: 3460 kB
Writeback: 0 kB
Mapped: 13788 kB
Slab: 28220 kB
Committed_AS: 1088944 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66044 MiB
End job on node49 at 2009-05-21 08:25:47