0.00/0.00 c Parsing...
0.00/0.20 c ==============================================================================
0.00/0.20 c | | ORIGINAL | LEARNT | |
0.00/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.20 c ==============================================================================
0.00/0.20 c | 0 | 330948 988222 | 99284 0 0 nan | 0.000 % |
4.78/4.88 c | 0 | 329509 1447248 | -- 0 -- -- | -- | -1439/459026
4.78/4.88 c ==============================================================================
4.78/4.88 c Result : #vars: 2029 #clauses: 329509 #literals: 1447248
4.78/4.88 c CPU time: 4.83326 s
4.78/4.88 c ==============================================================================
5.29/5.30 c This is MiniSat 2.0 beta
5.29/5.30 c WARNING: for repeatability, setting FPU to use double precision
5.29/5.30 c ============================[ Problem Statistics ]=============================
5.29/5.30 c | |
5.29/5.30 c | Number of variables: 2029 |
5.29/5.31 c | Number of clauses: 329509 |
5.38/5.49 c | Parsing time: 0.16 s |
5.47/5.50 c ============================[ Search Statistics ]==============================
5.47/5.50 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.47/5.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.47/5.50 c ===============================================================================
5.47/5.50 c | 0 | 2029 329509 1447248 | 109836 0 nan | 0.000 % |
5.57/5.63 c | 100 | 2029 329509 1447248 | 109836 100 58 | 0.000 % |
5.67/5.74 c | 201 | 2029 329509 1447248 | 109836 201 70 | 0.000 % |
5.77/5.85 c | 302 | 2029 329509 1447248 | 109836 302 71 | 0.000 % |
5.87/5.94 c | 412 | 2029 329509 1447248 | 109836 412 72 | 0.000 % |
5.97/6.03 c | 512 | 2029 329509 1447248 | 109836 512 75 | 0.000 % |
6.07/6.13 c | 622 | 2029 329509 1447248 | 109836 622 78 | 0.000 % |
6.17/6.24 c | 744 | 2029 329509 1447248 | 109836 744 79 | 0.000 % |
6.27/6.32 c | 846 | 2029 329509 1447248 | 109836 846 81 | 0.000 % |
6.37/6.43 c | 960 | 2029 329509 1447248 | 109836 960 82 | 0.000 % |
6.47/6.52 c | 1081 | 2029 329509 1447248 | 109836 1081 84 | 0.000 % |
6.57/6.64 c | 1215 | 2029 329509 1447248 | 109836 1215 84 | 0.000 % |
6.67/6.74 c | 1315 | 2029 329509 1447248 | 109836 1315 84 | 0.000 % |
6.77/6.82 c | 1427 | 2029 329509 1447248 | 109836 1427 86 | 0.000 % |
6.77/6.89 c | 1548 | 2029 329509 1447248 | 109836 1548 87 | 0.000 % |
6.97/7.01 c | 1683 | 2029 329509 1447248 | 109836 1683 88 | 0.000 % |
7.07/7.11 c | 1829 | 2029 329509 1447248 | 109836 1829 88 | 0.000 % |
7.17/7.23 c | 1929 | 2029 329509 1447248 | 109836 1929 87 | 0.000 % |
7.27/7.31 c | 2040 | 2029 329509 1447248 | 109836 2040 87 | 0.000 % |
7.37/7.43 c | 2161 | 2029 329509 1447248 | 109836 2161 87 | 0.000 % |
7.47/7.52 c | 2295 | 2029 329509 1447248 | 109836 2295 87 | 0.000 % |
7.57/7.66 c | 2446 | 2029 329509 1447248 | 109836 2446 88 | 0.000 % |
7.76/7.81 c | 2607 | 2029 329509 1447248 | 109836 2607 88 | 0.000 % |
7.86/7.92 c | 2711 | 2029 329509 1447248 | 109836 2711 88 | 0.000 % |
7.86/7.99 c | 2822 | 2029 329509 1447248 | 109836 2822 89 | 0.000 % |
7.96/8.09 c | 2944 | 2029 329509 1447248 | 109836 2944 89 | 0.000 % |
8.16/8.22 c | 3079 | 2029 329509 1447248 | 109836 3079 90 | 0.000 % |
8.26/8.37 c | 3225 | 2029 329509 1447248 | 109836 3225 90 | 0.000 % |
8.46/8.50 c | 3385 | 2029 329509 1447248 | 109836 3385 91 | 0.000 % |
8.46/8.59 c | 3561 | 2029 329509 1447248 | 109836 3561 91 | 0.000 % |
8.56/8.66 c | 3662 | 2029 329509 1447248 | 109836 3662 91 | 0.000 % |
8.67/8.76 c | 3772 | 2029 329509 1447248 | 109836 3772 91 | 0.000 % |
8.77/8.87 c | 3893 | 2029 329509 1447248 | 109836 3893 92 | 0.000 % |
8.86/8.99 c | 4026 | 2029 329509 1447248 | 109836 4026 92 | 0.000 % |
9.06/9.11 c | 4172 | 2029 329509 1447248 | 109836 4172 92 | 0.000 % |
9.16/9.23 c | 4334 | 2029 329509 1447248 | 109836 4334 93 | 0.000 % |
9.26/9.35 c | 4510 | 2029 329509 1447248 | 109836 4510 94 | 0.000 % |
9.36/9.46 c | 4705 | 2029 329509 1447248 | 109836 4705 95 | 0.000 % |
9.46/9.55 c | 4805 | 2029 329509 1447248 | 109836 4805 95 | 0.000 % |
9.56/9.64 c | 4915 | 2029 329509 1447248 | 109836 4915 95 | 0.000 % |
9.66/9.76 c | 5036 | 2029 329509 1447248 | 109836 5036 95 | 0.000 % |
9.77/9.90 c | 5170 | 2029 329509 1447248 | 109836 5170 95 | 0.000 % |
9.96/10.02 c | 5316 | 2029 329509 1447248 | 109836 5316 95 | 0.000 % |
10.06/10.15 c | 5478 | 2029 329509 1447248 | 109836 5478 96 | 0.000 % |
10.16/10.28 c | 5654 | 2029 329509 1447248 | 109836 5654 96 | 0.000 % |
10.37/10.43 c | 5853 | 2029 329509 1447248 | 109836 5853 98 | 0.000 % |
10.47/10.59 c | 6066 | 2029 329509 1447248 | 109836 6066 98 | 0.000 % |
10.67/10.72 c | 6166 | 2029 329509 1447248 | 109836 6166 98 | 0.000 % |
10.77/10.85 c | 6276 | 2029 329509 1447248 | 109836 6276 98 | 0.000 % |
10.87/10.94 c | 6397 | 2029 329509 1447248 | 109836 6397 99 | 0.000 % |
10.97/11.04 c | 6532 | 2029 329509 1447248 | 109836 6532 99 | 0.000 % |
11.17/11.21 c | 6681 | 2029 329509 1447248 | 109836 6681 99 | 0.000 % |
11.27/11.34 c | 6842 | 2029 329509 1447248 | 109836 6842 99 | 0.000 % |
11.47/11.51 c | 7020 | 2029 329509 1447248 | 109836 7020 100 | 0.000 % |
11.57/11.69 c | 7214 | 2029 329509 1447248 | 109836 7214 101 | 0.000 % |
11.77/11.88 c | 7429 | 2029 329509 1447248 | 109836 7429 101 | 0.000 % |
11.97/12.09 c | 7662 | 2029 329509 1447248 | 109836 7662 101 | 0.000 % |
12.07/12.20 c | 7762 | 2029 329509 1447248 | 109836 7762 101 | 0.000 % |
12.17/12.28 c | 7872 | 2029 329509 1447248 | 109836 7872 101 | 0.000 % |
12.37/12.40 c | 7996 | 2029 329509 1447248 | 109836 7996 101 | 0.000 % |
12.37/12.49 c | 8129 | 2029 329509 1447248 | 109836 8129 101 | 0.000 % |
12.57/12.64 c | 8275 | 2029 329509 1447248 | 109836 8275 101 | 0.000 % |
12.66/12.76 c | 8435 | 2029 329509 1447248 | 109836 8435 101 | 0.000 % |
12.76/12.88 c | 8611 | 2029 329509 1447248 | 109836 8611 101 | 0.000 % |
12.96/13.04 c | 8804 | 2029 329509 1447248 | 109836 8804 101 | 0.000 % |
13.17/13.24 c | 9018 | 2029 329509 1447248 | 109836 9018 102 | 0.000 % |
13.36/13.43 c | 9253 | 2029 329509 1447248 | 109836 9253 102 | 0.000 % |
13.56/13.65 c | 9510 | 2029 329509 1447248 | 109836 9510 102 | 0.000 % |
13.66/13.75 c | 9610 | 2029 329509 1447248 | 109836 9610 102 | 0.000 % |
13.76/13.84 c | 9720 | 2029 329509 1447248 | 109836 9720 103 | 0.000 % |
13.86/13.95 c | 9841 | 2029 329509 1447248 | 109836 9841 103 | 0.000 % |
13.96/14.04 c | 9974 | 2029 329509 1447248 | 109836 9974 103 | 0.000 % |
14.06/14.16 c | 10122 | 2029 329509 1447248 | 2147483647 10122 103 | 0.000 % |
14.16/14.25 c | 10283 | 2029 329509 1447248 | 2147483647 10283 103 | 0.000 % |
14.26/14.40 c | 10459 | 2029 329509 1447248 | 2147483647 10459 103 | 0.000 % |
14.46/14.55 c | 10653 | 2029 329509 1447248 | 2147483647 10653 104 | 0.000 % |
14.66/14.75 c | 10866 | 2029 329509 1447248 | 2147483647 10866 103 | 0.000 % |
14.96/15.03 c | 11099 | 2029 329509 1447248 | 2147483647 11099 104 | 0.000 % |
15.16/15.23 c | 11356 | 2029 329509 1447248 | 2147483647 11356 104 | 0.000 % |
15.37/15.42 c | 11638 | 2029 329509 1447248 | 2147483647 11638 104 | 0.000 % |
15.47/15.54 c | 11738 | 2029 329509 1447248 | 2147483647 11738 104 | 0.000 % |
15.57/15.65 c | 11849 | 2029 329509 1447248 | 2147483647 11849 104 | 0.000 % |
15.67/15.76 c | 11970 | 2029 329509 1447248 | 2147483647 11970 104 | 0.000 % |
15.77/15.89 c | 12104 | 2029 329509 1447248 | 2147483647 12104 104 | 0.000 % |
15.97/16.02 c | 12250 | 2029 329509 1447248 | 2147483647 12250 104 | 0.000 % |
16.07/16.10 c | 12410 | 2029 329509 1447248 | 2147483647 12410 105 | 0.000 % |
16.17/16.24 c | 12586 | 2029 329509 1447248 | 2147483647 12586 104 | 0.000 % |
16.37/16.40 c | 12779 | 2029 329509 1447248 | 2147483647 12779 106 | 0.000 % |
16.47/16.59 c | 12991 | 2029 329509 1447248 | 2147483647 12991 106 | 0.000 % |
16.67/16.79 c | 13226 | 2029 329509 1447248 | 2147483647 13226 106 | 0.000 % |
16.97/17.02 c | 13484 | 2029 329509 1447248 | 2147483647 13484 106 | 0.000 % |
17.07/17.18 c | 13765 | 2029 329509 1447248 | 2147483647 13765 106 | 0.000 % |
17.37/17.46 c | 14074 | 2029 329509 1447248 | 2147483647 14074 107 | 0.000 % |
17.47/17.58 c | 14175 | 2029 329509 1447248 | 2147483647 14175 108 | 0.000 % |
17.57/17.65 c | 14285 | 2029 329509 1447248 | 2147483647 14285 108 | 0.000 % |
17.67/17.75 c | 14406 | 2029 329509 1447248 | 2147483647 14406 108 | 0.000 % |
17.87/17.91 c | 14541 | 2029 329509 1447248 | 2147483647 14541 108 | 0.000 % |
17.97/18.05 c | 14687 | 2029 329509 1447248 | 2147483647 14687 108 | 0.000 % |
18.07/18.15 c | 14847 | 2029 329509 1447248 | 2147483647 14847 108 | 0.000 % |
18.27/18.32 c | 15024 | 2029 329509 1447248 | 2147483647 15024 108 | 0.000 % |
18.37/18.47 c | 15217 | 2029 329509 1447248 | 2147483647 15217 108 | 0.000 % |
18.57/18.64 c | 15430 | 2029 329509 1447248 | 2147483647 15430 108 | 0.000 % |
18.67/18.79 c | 15664 | 2029 329509 1447248 | 2147483647 15664 107 | 0.000 % |
18.86/18.94 c | 15920 | 2029 329509 1447248 | 2147483647 15920 107 | 0.000 % |
19.06/19.18 c | 16201 | 2029 329509 1447248 | 2147483647 16201 108 | 0.000 % |
19.56/19.67 c | 16513 | 2029 329509 1447248 | 2147483647 16513 107 | 0.000 % |
19.96/20.05 c | 16853 | 2029 329509 1447248 | 2147483647 16853 108 | 0.000 % |
20.06/20.15 c | 16954 | 2029 329509 1447248 | 2147483647 16954 108 | 0.000 % |
20.16/20.24 c | 17065 | 2029 329509 1447248 | 2147483647 17065 108 | 0.000 % |
20.26/20.39 c | 17186 | 2029 329509 1447248 | 2147483647 17186 108 | 0.000 % |
20.46/20.59 c | 17319 | 2029 329509 1447248 | 2147483647 17319 108 | 0.000 % |
20.66/20.76 c | 17469 | 2029 329509 1447248 | 2147483647 17469 108 | 0.000 % |
20.86/20.93 c | 17630 | 2029 329509 1447248 | 2147483647 17630 108 | 0.000 % |
20.96/21.08 c | 17807 | 2029 329509 1447248 | 2147483647 17807 108 | 0.000 % |
21.16/21.27 c | 18000 | 2029 329509 1447248 | 2147483647 18000 108 | 0.000 % |
21.36/21.47 c | 18214 | 2029 329509 1447248 | 2147483647 18214 108 | 0.000 % |
21.56/21.65 c | 18447 | 2029 329509 1447248 | 2147483647 18447 108 | 0.000 % |
21.86/21.93 c | 18704 | 2029 329509 1447248 | 2147483647 18704 108 | 0.000 % |
22.06/22.17 c | 18986 | 2029 329509 1447248 | 2147483647 18986 108 | 0.000 % |
22.37/22.46 c | 19296 | 2029 329509 1447248 | 2147483647 19296 108 | 0.000 % |
22.57/22.66 c | 19635 | 2029 329509 1447248 | 2147483647 19635 109 | 0.000 % |
22.86/23.00 c | 20007 | 2029 329509 1447248 | 2147483647 20007 109 | 0.000 % |
23.07/23.15 c | 20107 | 2029 329509 1447248 | 2147483647 20107 109 | 0.000 % |
23.16/23.25 c | 20218 | 2029 329509 1447248 | 2147483647 20218 109 | 0.000 % |
23.26/23.37 c | 20340 | 2029 329509 1447248 | 2147483647 20340 109 | 0.000 % |
23.46/23.54 c | 20473 | 2029 329509 1447248 | 2147483647 20473 109 | 0.000 % |
23.56/23.66 c | 20619 | 2029 329509 1447248 | 2147483647 20619 109 | 0.000 % |
23.76/23.84 c | 20779 | 2029 329509 1447248 | 2147483647 20779 109 | 0.000 % |
23.96/24.03 c | 20955 | 2029 329509 1447248 | 2147483647 20955 109 | 0.000 % |
24.07/24.19 c | 21152 | 2029 329509 1447248 | 2147483647 21152 110 | 0.000 % |
24.26/24.34 c | 21366 | 2029 329509 1447248 | 2147483647 21366 110 | 0.000 % |
24.46/24.54 c | 21602 | 2029 329509 1447248 | 2147483647 21602 110 | 0.000 % |
24.66/24.77 c | 21859 | 2029 329509 1447248 | 2147483647 21859 110 | 0.000 % |
24.96/25.04 c | 22142 | 2029 329509 1447248 | 2147483647 22142 110 | 0.000 % |
25.16/25.28 c | 22451 | 2029 329509 1447248 | 2147483647 22451 110 | 0.000 % |
25.56/25.62 c | 22791 | 2029 329509 1447248 | 2147483647 22791 111 | 0.000 % |
26.06/26.17 c | 23163 | 2029 329509 1447248 | 2147483647 23163 111 | 0.000 % |
26.76/26.83 c | 23574 | 2029 329509 1447248 | 2147483647 23574 110 | 0.000 % |
26.86/26.98 c | 23675 | 2029 329509 1447248 | 2147483647 23675 110 | 0.000 % |
27.06/27.15 c | 23785 | 2029 329509 1447248 | 2147483647 23785 110 | 0.000 % |
27.16/27.29 c | 23906 | 2029 329509 1447248 | 2147483647 23906 110 | 0.000 % |
27.36/27.46 c | 24039 | 2029 329509 1447248 | 2147483647 24039 110 | 0.000 % |
27.56/27.62 c | 24186 | 2029 329509 1447248 | 2147483647 24186 110 | 0.000 % |
27.76/27.84 c | 24346 | 2029 329509 1447248 | 2147483647 24346 110 | 0.000 % |
27.86/27.96 c | 24523 | 2029 329509 1447248 | 2147483647 24523 111 | 0.000 % |
27.96/28.03 c | 24716 | 2029 329509 1447248 | 2147483647 24716 111 | 0.000 % |
28.15/28.23 c | 24928 | 2029 329509 1447248 | 2147483647 24928 111 | 0.000 % |
28.25/28.38 c | 25161 | 2029 329509 1447248 | 2147483647 25161 111 | 0.000 % |
28.56/28.61 c | 25417 | 2029 329509 1447248 | 2147483647 25417 111 | 0.000 % |
28.75/28.90 c | 25698 | 2029 329509 1447248 | 2147483647 25698 111 | 0.000 % |
29.05/29.14 c | 26007 | 2029 329509 1447248 | 2147483647 26007 112 | 0.000 % |
29.57/29.62 c | 26349 | 2029 329509 1447248 | 2147483647 26349 112 | 0.000 % |
29.96/30.05 c | 26722 | 2029 329509 1447248 | 2147483647 26722 113 | 0.001 % |
30.36/30.45 c | 27132 | 2029 329509 1447248 | 2147483647 27132 114 | 0.000 % |
30.76/30.84 c | 27582 | 2029 329509 1447248 | 2147483647 27582 114 | 0.000 % |
30.86/30.97 c | 27684 | 2029 329509 1447248 | 2147483647 27684 114 | 0.000 % |
31.06/31.14 c | 27794 | 2029 329509 1447248 | 2147483647 27794 114 | 0.000 % |
31.16/31.27 c | 27916 | 2029 329509 1447248 | 2147483647 27916 114 | 0.000 % |
31.36/31.40 c | 28050 | 2029 329509 1447248 | 2147483647 28050 114 | 0.000 % |
31.46/31.58 c | 28196 | 2029 329509 1447248 | 2147483647 28196 114 | 0.000 % |
31.66/31.77 c | 28358 | 2029 329509 1447248 | 2147483647 28358 114 | 0.000 % |
31.86/31.96 c | 28535 | 2029 329509 1447248 | 2147483647 28535 114 | 0.000 % |
32.06/32.16 c | 28728 | 2029 329509 1447248 | 2147483647 28728 115 | 0.000 % |
32.35/32.44 c | 28940 | 2029 329509 1447248 | 2147483647 28940 115 | 0.000 % |
32.65/32.72 c | 29175 | 2029 329509 1447248 | 2147483647 29175 115 | 0.000 % |
32.95/33.02 c | 29431 | 2029 329509 1447248 | 2147483647 29431 115 | 0.000 % |
33.25/33.36 c | 29712 | 2029 329509 1447248 | 2147483647 29712 115 | 0.000 % |
33.55/33.64 c | 30023 | 2029 329509 1447248 | 2147483647 30023 115 | 0.000 % |
33.85/33.93 c | 30363 | 2029 329509 1447248 | 2147483647 30363 115 | 0.000 % |
34.25/34.33 c | 30737 | 2029 329509 1447248 | 2147483647 30737 115 | 0.000 % |
34.65/34.73 c | 31146 | 2029 329509 1447248 | 2147483647 31146 116 | 0.000 % |
35.15/35.20 c | 31596 | 2029 329509 1447248 | 2147483647 31596 116 | 0.000 % |
35.75/35.80 c | 32089 | 2029 329509 1447248 | 2147483647 32089 117 | 0.000 % |
35.85/35.93 c | 32191 | 2029 329509 1447248 | 2147483647 32191 117 | 0.000 % |
35.95/36.08 c | 32303 | 2029 329509 1447248 | 2147483647 32303 117 | 0.000 % |
36.05/36.20 c | 32425 | 2029 329509 1447248 | 2147483647 32425 117 | 0.000 % |
36.25/36.33 c | 32558 | 2029 329509 1447248 | 2147483647 32558 117 | 0.000 % |
36.44/36.59 c | 32705 | 2029 329509 1447248 | 2147483647 32705 117 | 0.000 % |
36.74/36.80 c | 32868 | 2029 329509 1447248 | 2147483647 32868 117 | 0.000 % |
37.04/37.10 c | 33044 | 2029 329509 1447248 | 2147483647 33044 117 | 0.000 % |
37.44/37.60 c | 33238 | 2029 329509 1447248 | 2147483647 33238 117 | 0.000 % |
37.73/37.86 c | 33450 | 2029 329509 1447248 | 2147483647 33450 117 | 0.000 % |
37.93/38.06 c | 33686 | 2029 329509 1447248 | 2147483647 33686 117 | 0.000 % |
38.23/38.33 c | 33945 | 2029 329509 1447248 | 2147483647 33945 117 | 0.000 % |
38.84/38.96 c | 34226 | 2029 329509 1447248 | 2147483647 34226 116 | 0.000 % |
39.34/39.40 c | 34538 | 2029 329509 1447248 | 2147483647 34538 116 | 0.000 % |
39.94/40.05 c | 34879 | 2029 329509 1447248 | 2147483647 34879 116 | 0.000 % |
40.44/40.55 c | 35251 | 2029 329509 1447248 | 2147483647 35251 116 | 0.000 % |
40.94/41.02 c | 35662 | 2029 329509 1447248 | 2147483647 35662 116 | 0.000 % |
41.34/41.45 c | 36111 | 2029 329509 1447248 | 2147483647 36111 117 | 0.000 % |
41.84/41.93 c | 36604 | 2029 329509 1447248 | 2147483647 36604 117 | 0.000 % |
42.34/42.43 c | 37148 | 2029 329509 1447248 | 2147483647 37148 117 | 0.000 % |
42.44/42.58 c | 37249 | 2029 329509 1447248 | 2147483647 37249 117 | 0.000 % |
42.64/42.78 c | 37359 | 2029 329509 1447248 | 2147483647 37359 117 | 0.000 % |
42.94/43.03 c | 37481 | 2029 329509 1447248 | 2147483647 37481 117 | 0.000 % |
43.14/43.21 c | 37617 | 2029 329509 1447248 | 2147483647 37617 117 | 0.000 % |
43.24/43.38 c | 37765 | 2029 329509 1447248 | 2147483647 37765 117 | 0.000 % |
43.44/43.54 c | 37925 | 2029 329509 1447248 | 2147483647 37925 117 | 0.000 % |
43.54/43.69 c | 38101 | 2029 329509 1447248 | 2147483647 38101 117 | 0.000 % |
43.84/43.95 c | 38294 | 2029 329509 1447248 | 2147483647 38294 117 | 0.000 % |
44.04/44.15 c | 38506 | 2029 329509 1447248 | 2147483647 38506 118 | 0.000 % |
44.24/44.39 c | 38740 | 2029 329509 1447248 | 2147483647 38740 118 | 0.000 % |
44.64/44.70 c | 38996 | 2029 329509 1447248 | 2147483647 38996 118 | 0.000 % |
44.94/45.09 c | 39277 | 2029 329509 1447248 | 2147483647 39277 118 | 0.000 % |
45.14/45.27 c | 39586 | 2029 329509 1447248 | 2147483647 39586 118 | 0.000 % |
45.74/45.84 c | 39925 | 2029 329509 1447248 | 2147483647 39925 118 | 0.000 % |
46.14/46.23 c | 40298 | 2029 329509 1447248 | 2147483647 40298 118 | 0.000 % |
46.54/46.69 c | 40709 | 2029 329509 1447248 | 2147483647 40709 118 | 0.000 % |
46.93/47.07 c | 41160 | 2029 329509 1447248 | 2147483647 41160 118 | 0.000 % |
47.63/47.73 c | 41654 | 2029 329509 1447248 | 2147483647 41654 118 | 0.000 % |
48.03/48.11 c | 42196 | 2029 329509 1447248 | 2147483647 42196 119 | 0.000 % |
48.43/48.60 c | 42794 | 2029 329509 1447248 | 2147483647 42794 120 | 0.000 % |
48.53/48.66 c | 42897 | 2029 329509 1447248 | 2147483647 42897 120 | 0.000 % |
48.63/48.75 c | 43008 | 2029 329509 1447248 | 2147483647 43008 120 | 0.000 % |
48.83/48.98 c | 43129 | 2029 329509 1447248 | 2147483647 43129 120 | 0.000 % |
49.03/49.11 c | 43262 | 2029 329509 1447248 | 2147483647 43262 120 | 0.000 % |
49.13/49.26 c | 43408 | 2029 329509 1447248 | 2147483647 43408 119 | 0.000 % |
49.43/49.55 c | 43568 | 2029 329509 1447248 | 2147483647 43568 119 | 0.000 % |
49.73/49.88 c | 43745 | 2029 329509 1447248 | 2147483647 43745 119 | 0.000 % |
50.23/50.31 c | 43938 | 2029 329509 1447248 | 2147483647 43938 119 | 0.000 % |
50.63/50.74 c | 44152 | 2029 329509 1447248 | 2147483647 44152 119 | 0.000 % |
50.83/50.94 c | 44386 | 2029 329509 1447248 | 2147483647 44386 119 | 0.000 % |
51.42/51.56 c | 44645 | 2029 329509 1447248 | 2147483647 44645 119 | 0.000 % |
51.73/51.82 c | 44928 | 2029 329509 1447248 | 2147483647 44928 119 | 0.000 % |
52.23/52.31 c | 45238 | 2029 329509 1447248 | 2147483647 45238 119 | 0.000 % |
52.53/52.61 c | 45579 | 2029 329509 1447248 | 2147483647 45579 119 | 0.000 % |
52.93/53.06 c | 45954 | 2029 329509 1447248 | 2147483647 45954 119 | 0.000 % |
53.53/53.64 c | 46363 | 2029 329509 1447248 | 2147483647 46363 119 | 0.000 % |
54.03/54.15 c | 46812 | 2029 329509 1447248 | 2147483647 46812 119 | 0.000 % |
54.73/54.88 c | 47306 | 2029 329509 1447248 | 2147483647 47306 119 | 0.000 % |
55.63/55.75 c | 47849 | 2029 329509 1447248 | 2147483647 47849 119 | 0.000 % |
56.33/56.48 c | 48445 | 2029 329509 1447248 | 2147483647 48445 119 | 0.000 % |
57.13/57.24 c | 49103 | 2029 329509 1447248 | 2147483647 49103 119 | 0.000 % |
57.33/57.45 c | 49203 | 2029 329509 1447248 | 2147483647 49203 119 | 0.000 % |
57.53/57.61 c | 49313 | 2029 329509 1447248 | 2147483647 49313 119 | 0.000 % |
57.73/57.84 c | 49435 | 2029 329509 1447248 | 2147483647 49435 119 | 0.000 % |
57.83/57.95 c | 49570 | 2029 329509 1447248 | 2147483647 49570 119 | 0.000 % |
58.02/58.10 c | 49716 | 2029 329509 1447248 | 2147483647 49716 119 | 0.000 % |
58.23/58.32 c | 49876 | 2029 329509 1447248 | 2147483647 49876 119 | 0.000 % |
58.42/58.59 c | 50053 | 2029 329509 1447248 | 2147483647 50053 119 | 0.000 % |
58.82/58.91 c | 50247 | 2029 329509 1447248 | 2147483647 50247 119 | 0.000 % |
59.12/59.30 c | 50461 | 2029 329509 1447248 | 2147483647 50461 120 | 0.000 % |
59.52/59.64 c | 50694 | 2029 329509 1447248 | 2147483647 50694 120 | 0.000 % |
59.82/59.99 c | 50952 | 2029 329509 1447248 | 2147483647 50952 120 | 0.000 % |
60.22/60.35 c | 51233 | 2029 329509 1447248 | 2147483647 51233 120 | 0.000 % |
60.62/60.70 c | 51544 | 2029 329509 1447248 | 2147483647 51544 119 | 0.000 % |
61.03/61.10 c | 51885 | 2029 329509 1447248 | 2147483647 51885 120 | 0.000 % |
61.43/61.58 c | 52257 | 2029 329509 1447248 | 2147483647 52257 120 | 0.000 % |
62.03/62.11 c | 52666 | 2029 329509 1447248 | 2147483647 52666 119 | 0.000 % |
62.32/62.44 c | 53115 | 2029 329509 1447248 | 2147483647 53115 119 | 0.000 % |
63.02/63.15 c | 53608 | 2029 329509 1447248 | 2147483647 53608 119 | 0.000 % |
63.63/63.78 c | 54151 | 2029 329509 1447248 | 2147483647 54151 120 | 0.000 % |
64.52/64.68 c | 54749 | 2029 329509 1447248 | 2147483647 54749 120 | 0.000 % |
65.42/65.51 c | 55404 | 2029 329509 1447248 | 2147483647 55404 121 | 0.000 % |
66.12/66.26 c | 56126 | 2029 329509 1447248 | 2147483647 56126 121 | 0.000 % |
66.32/66.42 c | 56227 | 2029 329509 1447248 | 2147483647 56227 121 | 0.000 % |
66.52/66.61 c | 56337 | 2029 329509 1447248 | 2147483647 56337 121 | 0.000 % |
66.62/66.77 c | 56461 | 2029 329509 1447248 | 2147483647 56461 121 | 0.000 % |
66.92/67.00 c | 56594 | 2029 329509 1447248 | 2147483647 56594 121 | 0.000 % |
67.12/67.26 c | 56740 | 2029 329509 1447248 | 2147483647 56740 121 | 0.000 % |
67.42/67.51 c | 56900 | 2029 329509 1447248 | 2147483647 56900 121 | 0.000 % |
67.61/67.78 c | 57080 | 2029 329509 1447248 | 2147483647 57080 121 | 0.000 % |
68.02/68.17 c | 57274 | 2029 329509 1447248 | 2147483647 57274 121 | 0.000 % |
68.51/68.66 c | 57486 | 2029 329509 1447248 | 2147483647 57486 121 | 0.000 % |
68.91/69.02 c | 57720 | 2029 329509 1447248 | 2147483647 57720 121 | 0.000 % |
69.31/69.43 c | 57976 | 2029 329509 1447248 | 2147483647 57976 121 | 0.000 % |
69.81/69.96 c | 58257 | 2029 329509 1447248 | 2147483647 58257 121 | 0.000 % |
70.31/70.41 c | 58568 | 2029 329509 1447248 | 2147483647 58568 121 | 0.000 % |
70.72/70.89 c | 58912 | 2029 329509 1447248 | 2147483647 58912 121 | 0.000 % |
71.12/71.21 c | 59285 | 2029 329509 1447248 | 2147483647 59285 122 | 0.000 % |
71.52/71.65 c | 59694 | 2029 329509 1447248 | 2147483647 59694 122 | 0.000 % |
71.92/72.08 c | 60146 | 2029 329509 1447248 | 2147483647 60146 122 | 0.000 % |
72.42/72.60 c | 60639 | 2029 329509 1447248 | 2147483647 60639 122 | 0.000 % |
73.41/73.51 c | 61182 | 2029 329509 1447248 | 2147483647 61182 122 | 0.000 % |
74.81/74.97 c | 61780 | 2029 329509 1447248 | 2147483647 61780 122 | 0.000 % |
75.91/76.04 c | 62439 | 2029 329509 1447248 | 2147483647 62439 122 | 0.000 % |
76.61/76.78 c | 63159 | 2029 329509 1447248 | 2147483647 63159 123 | 0.000 % |
77.50/77.63 c | 63952 | 2029 329509 1447248 | 2147483647 63952 122 | 0.000 % |
77.80/77.98 c | 64053 | 2029 329509 1447248 | 2147483647 64053 122 | 0.000 % |
78.01/78.16 c | 64163 | 2029 329509 1447248 | 2147483647 64163 122 | 0.000 % |
78.20/78.32 c | 64285 | 2029 329509 1447248 | 2147483647 64285 122 | 0.000 % |
78.40/78.57 c | 64418 | 2029 329509 1447248 | 2147483647 64418 122 | 0.000 % |
78.70/78.88 c | 64564 | 2029 329509 1447248 | 2147483647 64564 122 | 0.000 % |
79.01/79.20 c | 64724 | 2029 329509 1447248 | 2147483647 64724 122 | 0.000 % |
79.50/79.69 c | 64902 | 2029 329509 1447248 | 2147483647 64902 122 | 0.000 % |
79.81/79.94 c | 65096 | 2029 329509 1447248 | 2147483647 65096 122 | 0.000 % |
80.22/80.38 c | 65309 | 2029 329509 1447248 | 2147483647 65309 122 | 0.000 % |
80.41/80.57 c | 65543 | 2029 329509 1447248 | 2147483647 65543 122 | 0.000 % |
80.81/80.90 c | 65801 | 2029 329509 1447248 | 2147483647 65801 122 | 0.000 % |
81.11/81.28 c | 66083 | 2029 329509 1447248 | 2147483647 66083 122 | 0.000 % |
81.71/81.86 c | 66393 | 2029 329509 1447248 | 2147483647 66393 122 | 0.000 % |
82.51/82.65 c | 66732 | 2029 329509 1447248 | 2147483647 66732 122 | 0.000 % |
83.11/83.29 c | 67104 | 2029 329509 1447248 | 2147483647 67104 122 | 0.000 % |
83.81/83.91 c | 67513 | 2029 329509 1447248 | 2147483647 67513 122 | 0.000 % |
84.61/84.74 c | 67962 | 2029 329509 1447248 | 2147483647 67962 122 | 0.000 % |
85.51/85.60 c | 68455 | 2029 329509 1447248 | 2147483647 68455 122 | 0.000 % |
86.41/86.58 c | 68999 | 2029 329509 1447248 | 2147483647 68999 122 | 0.000 % |
87.30/87.41 c | 69596 | 2029 329509 1447248 | 2147483647 69596 122 | 0.000 % |
88.20/88.36 c | 70251 | 2029 329509 1447248 | 2147483647 70251 122 | 0.000 % |
89.90/90.02 c | 70971 | 2029 329509 1447248 | 2147483647 70971 122 | 0.000 % |
91.60/91.77 c | 71763 | 2029 329509 1447248 | 2147483647 71763 122 | 0.000 % |
93.00/93.15 c | 72634 | 2029 329509 1447248 | 2147483647 72634 122 | 0.000 % |
93.40/93.53 c | 72734 | 2029 329509 1447248 | 2147483647 72734 122 | 0.000 % |
93.70/93.80 c | 72844 | 2029 329509 1447248 | 2147483647 72844 122 | 0.000 % |
93.90/94.01 c | 72965 | 2029 329509 1447248 | 2147483647 72965 122 | 0.000 % |
94.10/94.29 c | 73099 | 2029 329509 1447248 | 2147483647 73099 122 | 0.000 % |
94.41/94.55 c | 73245 | 2029 329509 1447248 | 2147483647 73245 122 | 0.000 % |
94.81/94.93 c | 73405 | 2029 329509 1447248 | 2147483647 73405 122 | 0.000 % |
95.11/95.29 c | 73585 | 2029 329509 1447248 | 2147483647 73585 122 | 0.000 % |
95.91/96.06 c | 73779 | 2029 329509 1447248 | 2147483647 73779 122 | 0.000 % |
96.41/96.56 c | 73993 | 2029 329509 1447248 | 2147483647 73993 121 | 0.000 % |
96.91/97.06 c | 74226 | 2029 329509 1447248 | 2147483647 74226 121 | 0.000 % |
97.40/97.50 c | 74483 | 2029 329509 1447248 | 2147483647 74483 121 | 0.000 % |
97.71/97.84 c | 74765 | 2029 329509 1447248 | 2147483647 74765 121 | 0.000 % |
98.10/98.25 c | 75074 | 2029 329509 1447248 | 2147483647 75074 121 | 0.000 % |
98.70/98.89 c | 75413 | 2029 329509 1447248 | 2147483647 75413 122 | 0.000 % |
99.30/99.40 c | 75785 | 2029 329509 1447248 | 2147483647 75785 122 | 0.000 % |
100.00/100.13 c | 76195 | 2029 329509 1447248 | 2147483647 76195 122 | 0.000 % |
100.70/100.82 c | 76644 | 2029 329509 1447248 | 2147483647 76644 122 | 0.000 % |
101.90/102.01 c | 77137 | 2029 329509 1447248 | 2147483647 77137 122 | 0.000 % |
102.70/102.82 c | 77679 | 2029 329509 1447248 | 2147483647 77679 121 | 0.000 % |
103.60/103.74 c | 78275 | 2029 329509 1447248 | 2147483647 78275 121 | 0.000 % |
104.49/104.63 c | 78931 | 2029 329509 1447248 | 2147483647 78931 120 | 0.000 % |
104.99/105.15 c | 79651 | 2029 329509 1447248 | 2147483647 79651 120 | 0.000 % |
107.09/107.27 c | 80449 | 2029 329509 1447248 | 2147483647 80449 120 | 0.000 % |
108.81/108.91 c | 81322 | 2029 329509 1447248 | 2147483647 81322 119 | 0.000 % |
109.70/109.82 c | 82280 | 2029 329509 1447248 | 2147483647 82280 119 | 0.000 % |
109.80/109.92 c | 82380 | 2029 329509 1447248 | 2147483647 82380 119 | 0.000 % |
110.00/110.18 c | 82490 | 2029 329509 1447248 | 2147483647 82490 119 | 0.000 % |
110.40/110.51 c | 82611 | 2029 329509 1447248 | 2147483647 82611 119 | 0.000 % |
110.70/110.84 c | 82745 | 2029 329509 1447248 | 2147483647 82745 119 | 0.000 % |
111.10/111.26 c | 82894 | 2029 329509 1447248 | 2147483647 82894 119 | 0.000 % |
111.50/111.65 c | 83054 | 2029 329509 1447248 | 2147483647 83054 119 | 0.000 % |
112.00/112.18 c | 83235 | 2029 329509 1447248 | 2147483647 83235 120 | 0.000 % |
112.70/112.85 c | 83430 | 2029 329509 1447248 | 2147483647 83430 120 | 0.000 % |
113.30/113.49 c | 83643 | 2029 329509 1447248 | 2147483647 83643 119 | 0.000 % |
113.70/113.88 c | 83877 | 2029 329509 1447248 | 2147483647 83877 119 | 0.000 % |
114.10/114.29 c | 84133 | 2029 329509 1447248 | 2147483647 84133 119 | 0.000 % |
114.70/114.85 c | 84418 | 2029 329509 1447248 | 2147483647 84418 120 | 0.000 % |
115.09/115.26 c | 84728 | 2029 329509 1447248 | 2147483647 84728 120 | 0.000 % |
116.19/116.32 c | 85067 | 2029 329509 1447248 | 2147483647 85067 120 | 0.000 % |
117.09/117.20 c | 85439 | 2029 329509 1447248 | 2147483647 85439 120 | 0.000 % |
117.79/117.92 c | 85848 | 2029 329509 1447248 | 2147483647 85848 120 | 0.000 % |
118.99/119.12 c | 86299 | 2029 329509 1447248 | 2147483647 86299 120 | 0.000 % |
119.89/120.01 c | 86793 | 2029 329509 1447248 | 2147483647 86793 120 | 0.000 % |
120.49/120.65 c | 87335 | 2029 329509 1447248 | 2147483647 87335 120 | 0.000 % |
121.29/121.48 c | 87932 | 2029 329509 1447248 | 2147483647 87932 120 | 0.000 % |
122.29/122.47 c | 88587 | 2029 329509 1447248 | 2147483647 88587 120 | 0.000 % |
123.29/123.44 c | 89308 | 2029 329509 1447248 | 2147483647 89308 120 | 0.000 % |
124.39/124.50 c | 90101 | 2029 329509 1447248 | 2147483647 90101 120 | 0.000 % |
125.69/125.84 c | 90976 | 2029 329509 1447248 | 2147483647 90976 121 | 0.000 % |
127.09/127.23 c | 91940 | 2029 329509 1447248 | 2147483647 91940 121 | 0.000 % |
128.79/128.95 c | 92994 | 2029 329509 1447248 | 2147483647 92994 121 | 0.000 % |
128.99/129.10 c | 93094 | 2029 329509 1447248 | 2147483647 93094 121 | 0.000 % |
129.09/129.28 c | 93205 | 2029 329509 1447248 | 2147483647 93205 121 | 0.000 % |
129.19/129.38 c | 93327 | 2029 329509 1447248 | 2147483647 93327 121 | 0.000 % |
129.48/129.68 c | 93460 | 2029 329509 1447248 | 2147483647 93460 121 | 0.000 % |
129.78/129.93 c | 93608 | 2029 329509 1447248 | 2147483647 93608 121 | 0.000 % |
130.08/130.26 c | 93769 | 2029 329509 1447248 | 2147483647 93769 121 | 0.000 % |
130.38/130.56 c | 93945 | 2029 329509 1447248 | 2147483647 93945 121 | 0.000 % |
130.78/130.99 c | 94140 | 2029 329509 1447248 | 2147483647 94140 121 | 0.000 % |
131.38/131.56 c | 94352 | 2029 329509 1447248 | 2147483647 94352 121 | 0.000 % |
131.79/131.96 c | 94585 | 2029 329509 1447248 | 2147483647 94585 121 | 0.000 % |
132.48/132.61 c | 94843 | 2029 329509 1447248 | 2147483647 94843 121 | 0.000 % |
133.08/133.20 c | 95125 | 2029 329509 1447248 | 2147483647 95125 121 | 0.000 % |
133.69/133.81 c | 95434 | 2029 329509 1447248 | 2147483647 95434 121 | 0.000 % |
134.29/134.41 c | 95773 | 2029 329509 1447248 | 2147483647 95773 121 | 0.000 % |
134.79/134.93 c | 96145 | 2029 329509 1447248 | 2147483647 96145 121 | 0.000 % |
135.69/135.86 c | 96555 | 2029 329509 1447248 | 2147483647 96555 121 | 0.000 % |
136.68/136.87 c | 97004 | 2029 329509 1447248 | 2147483647 97004 121 | 0.000 % |
137.78/137.97 c | 97497 | 2029 329509 1447248 | 2147483647 97497 121 | 0.000 % |
138.78/138.96 c | 98043 | 2029 329509 1447248 | 2147483647 98043 121 | 0.000 % |
139.78/139.95 c | 98639 | 2029 329509 1447248 | 2147483647 98639 121 | 0.000 % |
141.58/141.77 c | 99297 | 2029 329509 1447248 | 2147483647 99297 121 | 0.000 % |
142.58/142.79 c | 100017 | 2029 329509 1447248 | 2147483647 100017 121 | 0.000 % |
144.17/144.32 c | 100809 | 2029 329509 1447248 | 2147483647 100809 121 | 0.000 % |
145.28/145.48 c | 101684 | 2029 329509 1447248 | 2147483647 101684 121 | 0.000 % |
146.38/146.53 c | 102643 | 2029 329509 1447248 | 2147483647 102643 121 | 0.000 % |
149.38/149.56 c | 103697 | 2029 329509 1447248 | 2147483647 103697 121 | 0.000 % |
150.48/150.67 c | 104855 | 2029 329509 1447248 | 2147483647 104855 121 | 0.000 % |
150.78/150.98 c | 104956 | 2029 329509 1447248 | 2147483647 104956 121 | 0.000 % |
151.07/151.21 c | 105068 | 2029 329509 1447248 | 2147483647 105068 121 | 0.000 % |
151.27/151.45 c | 105191 | 2029 329509 1447248 | 2147483647 105191 121 | 0.000 % |
151.47/151.68 c | 105325 | 2029 329509 1447248 | 2147483647 105325 121 | 0.000 % |
151.97/152.10 c | 105474 | 2029 329509 1447248 | 2147483647 105474 121 | 0.000 % |
152.27/152.41 c | 105635 | 2029 329509 1447248 | 2147483647 105635 121 | 0.000 % |
152.78/152.93 c | 105812 | 2029 329509 1447248 | 2147483647 105812 121 | 0.000 % |
153.47/153.68 c | 106006 | 2029 329509 1447248 | 2147483647 106006 121 | 0.000 % |
153.88/154.06 c | 106220 | 2029 329509 1447248 | 2147483647 106220 121 | 0.000 % |
154.27/154.42 c | 106453 | 2029 329509 1447248 | 2147483647 106453 121 | 0.000 % |
154.68/154.83 c | 106709 | 2029 329509 1447248 | 2147483647 106709 121 | 0.000 % |
154.98/155.14 c | 106990 | 2029 329509 1447248 | 2147483647 106990 121 | 0.000 % |
155.68/155.84 c | 107299 | 2029 329509 1447248 | 2147483647 107299 121 | 0.000 % |
156.48/156.61 c | 107638 | 2029 329509 1447248 | 2147483647 107638 121 | 0.000 % |
156.98/157.15 c | 108010 | 2029 329509 1447248 | 2147483647 108010 121 | 0.000 % |
157.78/157.90 c | 108420 | 2029 329509 1447248 | 2147483647 108420 121 | 0.000 % |
158.88/159.01 c | 108870 | 2029 329509 1447248 | 2147483647 108870 121 | 0.000 % |
159.47/159.64 c | 109364 | 2029 329509 1447248 | 2147483647 109364 121 | 0.000 % |
160.57/160.72 c | 109906 | 2029 329509 1447248 | 2147483647 109906 121 | 0.000 % |
161.27/161.46 c | 110502 | 2029 329509 1447248 | 2147483647 110502 121 | 0.000 % |
162.58/162.79 c | 111159 | 2029 329509 1447248 | 2147483647 111159 121 | 0.000 % |
164.17/164.35 c | 111879 | 2029 329509 1447248 | 2147483647 111879 121 | 0.000 % |
165.37/165.54 c | 112672 | 2029 329509 1447248 | 2147483647 112672 121 | 0.000 % |
166.87/167.10 c | 113544 | 2029 329509 1447248 | 2147483647 113544 121 | 0.000 % |
168.57/168.79 c | 114502 | 2029 329509 1447248 | 2147483647 114502 121 | 0.000 % |
170.67/170.88 c | 115558 | 2029 329509 1447248 | 2147483647 115558 121 | 0.000 % |
174.57/174.80 c | 116721 | 2029 329509 1447248 | 2147483647 116721 121 | 0.000 % |
176.37/176.52 c | 117996 | 2029 329509 1447248 | 2147483647 117996 121 | 0.000 % |
176.76/176.94 c | 118096 | 2029 329509 1447248 | 2147483647 118096 121 | 0.000 % |
177.06/177.21 c | 118207 | 2029 329509 1447248 | 2147483647 118207 121 | 0.000 % |
177.26/177.48 c | 118330 | 2029 329509 1447248 | 2147483647 118330 121 | 0.000 % |
177.66/177.82 c | 118464 | 2029 329509 1447248 | 2147483647 118464 121 | 0.000 % |
177.97/178.17 c | 118610 | 2029 329509 1447248 | 2147483647 118610 121 | 0.000 % |
178.36/178.57 c | 118770 | 2029 329509 1447248 | 2147483647 118770 121 | 0.000 % |
178.76/178.97 c | 118947 | 2029 329509 1447248 | 2147483647 118947 121 | 0.000 % |
179.26/179.43 c | 119141 | 2029 329509 1447248 | 2147483647 119141 121 | 0.000 % |
179.87/180.02 c | 119353 | 2029 329509 1447248 | 2147483647 119353 121 | 0.000 % |
180.27/180.48 c | 119587 | 2029 329509 1447248 | 2147483647 119587 122 | 0.000 % |
181.07/181.21 c | 119844 | 2029 329509 1447248 | 2147483647 119844 122 | 0.000 % |
181.47/181.69 c | 120126 | 2029 329509 1447248 | 2147483647 120126 122 | 0.000 % |
182.07/182.22 c | 120436 | 2029 329509 1447248 | 2147483647 120436 122 | 0.000 % |
182.97/183.18 c | 120778 | 2029 329509 1447248 | 2147483647 120778 122 | 0.000 % |
183.37/183.57 c | 121150 | 2029 329509 1447248 | 2147483647 121150 122 | 0.000 % |
184.16/184.30 c | 121560 | 2029 329509 1447248 | 2147483647 121560 122 | 0.000 % |
184.86/185.03 c | 122012 | 2029 329509 1447248 | 2147483647 122012 122 | 0.000 % |
186.06/186.23 c | 122505 | 2029 329509 1447248 | 2147483647 122505 122 | 0.000 % |
187.26/187.47 c | 123049 | 2029 329509 1447248 | 2147483647 123049 122 | 0.000 % |
188.26/188.48 c | 123645 | 2029 329509 1447248 | 2147483647 123645 122 | 0.000 % |
189.66/189.82 c | 124300 | 2029 329509 1447248 | 2147483647 124300 122 | 0.000 % |
191.66/191.85 c | 125021 | 2029 329509 1447248 | 2147483647 125021 122 | 0.000 % |
193.47/193.68 c | 125815 | 2029 329509 1447248 | 2147483647 125815 123 | 0.000 % |
195.96/196.12 c | 126687 | 2029 329509 1447248 | 2147483647 126687 122 | 0.000 % |
197.86/198.08 c | 127646 | 2029 329509 1447248 | 2147483647 127646 122 | 0.000 % |
200.46/200.64 c | 128699 | 2029 329509 1447248 | 2147483647 128699 122 | 0.000 % |
202.35/202.58 c | 129858 | 2029 329509 1447248 | 2147483647 129858 122 | 0.000 % |
205.75/205.94 c | 131131 | 2029 329509 1447248 | 2147483647 131131 122 | 0.000 % |
208.95/209.12 c | 132537 | 2029 329509 1447248 | 2147483647 132537 122 | 0.000 % |
209.35/209.60 c | 132638 | 2029 329509 1447248 | 2147483647 132638 122 | 0.000 % |
209.65/209.89 c | 132749 | 2029 329509 1447248 | 2147483647 132749 122 | 0.000 % |
210.05/210.25 c | 132871 | 2029 329509 1447248 | 2147483647 132871 122 | 0.000 % |
210.45/210.64 c | 133007 | 2029 329509 1447248 | 2147483647 133007 122 | 0.000 % |
211.05/211.23 c | 133157 | 2029 329509 1447248 | 2147483647 133157 122 | 0.000 % |
211.65/211.80 c | 133319 | 2029 329509 1447248 | 2147483647 133319 122 | 0.000 % |
211.95/212.14 c | 133495 | 2029 329509 1447248 | 2147483647 133495 122 | 0.000 % |
212.45/212.64 c | 133691 | 2029 329509 1447248 | 2147483647 133691 122 | 0.000 % |
213.16/213.32 c | 133904 | 2029 329509 1447248 | 2147483647 133904 122 | 0.000 % |
213.65/213.88 c | 134138 | 2029 329509 1447248 | 2147483647 134138 122 | 0.000 % |
214.85/215.03 c | 134395 | 2029 329509 1447248 | 2147483647 134395 122 | 0.000 % |
215.36/215.60 c | 134676 | 2029 329509 1447248 | 2147483647 134676 122 | 0.000 % |
216.05/216.28 c | 134985 | 2029 329509 1447248 | 2147483647 134985 122 | 0.000 % |
216.75/216.99 c | 135326 | 2029 329509 1447248 | 2147483647 135326 122 | 0.000 % |
217.95/218.16 c | 135701 | 2029 329509 1447248 | 2147483647 135701 122 | 0.000 % |
218.55/218.78 c | 136110 | 2029 329509 1447248 | 2147483647 136110 122 | 0.000 % |
219.65/219.84 c | 136559 | 2029 329509 1447248 | 2147483647 136559 122 | 0.000 % |
220.65/220.83 c | 137054 | 2029 329509 1447248 | 2147483647 137054 122 | 0.000 % |
221.74/221.93 c | 137596 | 2029 329509 1447248 | 2147483647 137596 122 | 0.000 % |
223.74/223.97 c | 138192 | 2029 329509 1447248 | 2147483647 138192 123 | 0.000 % |
226.04/226.27 c | 138848 | 2029 329509 1447248 | 2147483647 138848 122 | 0.000 % |
229.54/229.75 c | 139569 | 2029 329509 1447248 | 2147483647 139569 122 | 0.000 % |
230.84/231.09 c | 140361 | 2029 329509 1447248 | 2147483647 140361 122 | 0.000 % |
234.05/234.27 c | 141233 | 2029 329509 1447248 | 2147483647 141233 122 | 0.000 % |
236.35/236.55 c | 142193 | 2029 329509 1447248 | 2147483647 142193 122 | 0.000 % |
238.54/238.72 c | 143246 | 2029 329509 1447248 | 2147483647 143246 122 | 0.000 % |
242.64/242.87 c | 144404 | 2029 329509 1447248 | 2147483647 144404 122 | 0.000 % |
246.44/246.68 c | 145677 | 2029 329509 1447248 | 2147483647 145677 122 | 0.000 % |
251.84/252.05 c | 147077 | 2029 329509 1447248 | 2147483647 147077 122 | 0.000 % |
257.43/257.64 c | 148617 | 2029 329509 1447248 | 2147483647 148617 122 | 0.000 % |
257.73/257.96 c | 148717 | 2029 329509 1447248 | 2147483647 148717 122 | 0.000 % |
258.03/258.25 c | 148828 | 2029 329509 1447248 | 2147483647 148828 122 | 0.000 % |
258.23/258.48 c | 148949 | 2029 329509 1447248 | 2147483647 148949 122 | 0.000 % |
258.63/258.86 c | 149082 | 2029 329509 1447248 | 2147483647 149082 122 | 0.000 % |
259.13/259.37 c | 149230 | 2029 329509 1447248 | 2147483647 149230 122 | 0.000 % |
259.63/259.89 c | 149392 | 2029 329509 1447248 | 2147483647 149392 122 | 0.000 % |
260.13/260.39 c | 149571 | 2029 329509 1447248 | 2147483647 149571 122 | 0.000 % |
260.73/260.98 c | 149767 | 2029 329509 1447248 | 2147483647 149767 122 | 0.000 % |
261.24/261.47 c | 149979 | 2029 329509 1447248 | 2147483647 149979 122 | 0.000 % |
261.64/261.89 c | 150212 | 2029 329509 1447248 | 2147483647 150212 122 | 0.000 % |
262.53/262.71 c | 150469 | 2029 329509 1447248 | 2147483647 150469 122 | 0.000 % |
263.03/263.24 c | 150751 | 2029 329509 1447248 | 2147483647 150751 122 | 0.000 % |
263.84/264.02 c | 151060 | 2029 329509 1447248 | 2147483647 151060 122 | 0.000 % |
264.94/265.11 c | 151400 | 2029 329509 1447248 | 2147483647 151400 122 | 0.000 % |
266.73/266.95 c | 151774 | 2029 329509 1447248 | 2147483647 151774 122 | 0.000 % |
268.24/268.42 c | 152184 | 2029 329509 1447248 | 2147483647 152184 122 | 0.000 % |
269.23/269.47 c | 152633 | 2029 329509 1447248 | 2147483647 152633 122 | 0.000 % |
270.03/270.22 c | 153128 | 2029 329509 1447248 | 2147483647 153128 122 | 0.000 % |
270.93/271.14 c | 153671 | 2029 329509 1447248 | 2147483647 153671 122 | 0.000 % |
271.63/271.82 c | 154273 | 2029 329509 1447248 | 2147483647 154273 121 | 0.000 % |
272.83/273.02 c | 154931 | 2029 329509 1447248 | 2147483647 154931 121 | 0.000 % |
274.23/274.46 c | 155652 | 2029 329509 1447248 | 2147483647 155652 121 | 0.000 % |
275.62/275.81 c | 156446 | 2029 329509 1447248 | 2147483647 156446 120 | 0.000 % |
277.32/277.54 c | 157319 | 2029 329509 1447248 | 2147483647 157319 120 | 0.000 % |
278.62/278.81 c | 158277 | 2029 329509 1447248 | 2147483647 158277 120 | 0.000 % |
281.92/282.18 c | 159330 | 2029 329509 1447248 | 2147483647 159330 120 | 0.000 % |
284.32/284.58 c | 160488 | 2029 329509 1447248 | 2147483647 160488 120 | 0.000 % |
286.63/286.81 c | 161761 | 2029 329509 1447248 | 2147483647 161761 120 | 0.000 % |
290.12/290.34 c | 163161 | 2029 329509 1447248 | 2147483647 163161 120 | 0.000 % |
295.12/295.30 c | 164702 | 2029 329509 1447248 | 2147483647 164702 120 | 0.000 % |
299.22/299.46 c | 166396 | 2029 329509 1447248 | 2147483647 166396 120 | 0.000 % |
299.62/299.88 c | 166496 | 2029 329509 1447248 | 2147483647 166496 120 | 0.000 % |
300.03/300.24 c | 166606 | 2029 329509 1447248 | 2147483647 166606 120 | 0.000 % |
300.72/300.91 c | 166727 | 2029 329509 1447248 | 2147483647 166727 120 | 0.000 % |
301.12/301.32 c | 166861 | 2029 329509 1447248 | 2147483647 166861 120 | 0.000 % |
301.52/301.76 c | 167007 | 2029 329509 1447248 | 2147483647 167007 120 | 0.000 % |
302.42/302.62 c | 167168 | 2029 329509 1447248 | 2147483647 167168 120 | 0.000 % |
302.82/303.07 c | 167345 | 2029 329509 1447248 | 2147483647 167345 120 | 0.000 % |
303.32/303.57 c | 167539 | 2029 329509 1447248 | 2147483647 167539 120 | 0.000 % |
304.02/304.28 c | 167751 | 2029 329509 1447248 | 2147483647 167751 120 | 0.000 % |
304.52/304.70 c | 167984 | 2029 329509 1447248 | 2147483647 167984 120 | 0.000 % |
305.12/305.34 c | 168242 | 2029 329509 1447248 | 2147483647 168242 120 | 0.000 % |
305.72/305.96 c | 168523 | 2029 329509 1447248 | 2147483647 168523 120 | 0.000 % |
306.42/306.62 c | 168833 | 2029 329509 1447248 | 2147483647 168833 120 | 0.000 % |
307.62/307.81 c | 169172 | 2029 329509 1447248 | 2147483647 169172 120 | 0.000 % |
308.82/309.05 c | 169544 | 2029 329509 1447248 | 2147483647 169544 120 | 0.000 % |
310.02/310.26 c | 169953 | 2029 329509 1447248 | 2147483647 169953 120 | 0.000 % |
311.22/311.50 c | 170403 | 2029 329509 1447248 | 2147483647 170403 120 | 0.000 % |
312.01/312.25 c | 170896 | 2029 329509 1447248 | 2147483647 170896 120 | 0.000 % |
313.61/313.81 c | 171438 | 2029 329509 1447248 | 2147483647 171438 120 | 0.000 % |
315.21/315.44 c | 172035 | 2029 329509 1447248 | 2147483647 172035 120 | 0.000 % |
317.01/317.25 c | 172690 | 2029 329509 1447248 | 2147483647 172690 120 | 0.000 % |
318.81/319.09 c | 173413 | 2029 329509 1447248 | 2147483647 173413 120 | 0.000 % |
320.91/321.14 c | 174205 | 2029 329509 1447248 | 2147483647 174205 120 | 0.000 % |
322.91/323.19 c | 175076 | 2029 329509 1447248 | 2147483647 175076 120 | 0.000 % |
324.91/325.14 c | 176034 | 2029 329509 1447248 | 2147483647 176034 121 | 0.000 % |
327.31/327.55 c | 177089 | 2029 329509 1447248 | 2147483647 177089 121 | 0.000 % |
331.21/331.50 c | 178249 | 2029 329509 1447248 | 2147483647 178249 121 | 0.000 % |
334.11/334.33 c | 179522 | 2029 329509 1447248 | 2147483647 179522 121 | 0.000 % |
339.71/339.94 c | 180923 | 2029 329509 1447248 | 2147483647 180923 121 | 0.000 % |
344.60/344.81 c | 182463 | 2029 329509 1447248 | 2147483647 182463 121 | 0.000 % |
347.50/347.77 c | 184158 | 2029 329509 1447248 | 2147483647 184158 121 | 0.000 % |
352.10/352.33 c | 186022 | 2029 329509 1447248 | 2147483647 186022 121 | 0.000 % |
352.50/352.70 c | 186124 | 2029 329509 1447248 | 2147483647 186124 121 | 0.000 % |
352.80/353.09 c | 186235 | 2029 329509 1447248 | 2147483647 186235 121 | 0.000 % |
353.20/353.43 c | 186356 | 2029 329509 1447248 | 2147483647 186356 121 | 0.000 % |
353.70/353.91 c | 186489 | 2029 329509 1447248 | 2147483647 186489 121 | 0.000 % |
354.20/354.48 c | 186636 | 2029 329509 1447248 | 2147483647 186636 121 | 0.000 % |
354.90/355.13 c | 186799 | 2029 329509 1447248 | 2147483647 186799 121 | 0.000 % |
355.69/355.95 c | 186975 | 2029 329509 1447248 | 2147483647 186975 121 | 0.000 % |
356.20/356.45 c | 187168 | 2029 329509 1447248 | 2147483647 187168 121 | 0.000 % |
357.09/357.38 c | 187380 | 2029 329509 1447248 | 2147483647 187380 121 | 0.000 % |
357.99/358.28 c | 187613 | 2029 329509 1447248 | 2147483647 187613 121 | 0.000 % |
358.59/358.87 c | 187869 | 2029 329509 1447248 | 2147483647 187869 121 | 0.000 % |
359.59/359.85 c | 188150 | 2029 329509 1447248 | 2147483647 188150 121 | 0.000 % |
360.09/360.34 c | 188461 | 2029 329509 1447248 | 2147483647 188461 121 | 0.000 % |
361.09/361.32 c | 188802 | 2029 329509 1447248 | 2147483647 188802 121 | 0.000 % |
362.09/362.38 c | 189176 | 2029 329509 1447248 | 2147483647 189176 121 | 0.000 % |
362.99/363.25 c | 189585 | 2029 329509 1447248 | 2147483647 189585 121 | 0.000 % |
364.60/364.86 c | 190037 | 2029 329509 1447248 | 2147483647 190037 121 | 0.000 % |
366.90/367.15 c | 190530 | 2029 329509 1447248 | 2147483647 190530 121 | 0.000 % |
368.40/368.69 c | 191072 | 2029 329509 1447248 | 2147483647 191072 121 | 0.000 % |
369.90/370.14 c | 191669 | 2029 329509 1447248 | 2147483647 191669 121 | 0.000 % |
371.99/372.22 c | 192325 | 2029 329509 1447248 | 2147483647 192325 121 | 0.000 % |
375.19/375.41 c | 193045 | 2029 329509 1447248 | 2147483647 193045 121 | 0.000 % |
377.29/377.52 c | 193838 | 2029 329509 1447248 | 2147483647 193838 121 | 0.000 % |
379.39/379.61 c | 194709 | 2029 329509 1447248 | 2147483647 194709 121 | 0.000 % |
381.69/381.91 c | 195668 | 2029 329509 1447248 | 2147483647 195668 121 | 0.000 % |
383.89/384.11 c | 196722 | 2029 329509 1447248 | 2147483647 196722 121 | 0.000 % |
388.09/388.32 c | 197880 | 2029 329509 1447248 | 2147483647 197880 121 | 0.000 % |
390.29/390.54 c | 199155 | 2029 329509 1447248 | 2147483647 199155 121 | 0.000 % |
393.99/394.21 c | 200555 | 2029 329509 1447248 | 2147483647 200555 121 | 0.000 % |
400.19/400.40 c | 202096 | 2029 329509 1447248 | 2147483647 202096 121 | 0.000 % |
403.68/403.92 c | 203793 | 2029 329509 1447248 | 2147483647 203793 121 | 0.000 % |
408.69/409.00 c | 205657 | 2029 329509 1447248 | 2147483647 205657 121 | 0.000 % |
415.38/415.64 c | 207706 | 2029 329509 1447248 | 2147483647 207706 121 | 0.000 % |
415.78/416.03 c | 207807 | 2029 329509 1447248 | 2147483647 207807 121 | 0.000 % |
416.28/416.59 c | 207921 | 2029 329509 1447248 | 2147483647 207921 121 | 0.000 % |
417.18/417.45 c | 208045 | 2029 329509 1447248 | 2147483647 208045 121 | 0.000 % |
417.68/417.99 c | 208178 | 2029 329509 1447248 | 2147483647 208178 121 | 0.000 % |
418.38/418.69 c | 208324 | 2029 329509 1447248 | 2147483647 208324 121 | 0.000 % |
418.98/419.26 c | 208484 | 2029 329509 1447248 | 2147483647 208484 121 | 0.000 % |
419.48/419.71 c | 208660 | 2029 329509 1447248 | 2147483647 208660 121 | 0.000 % |
420.18/420.48 c | 208854 | 2029 329509 1447248 | 2147483647 208854 121 | 0.000 % |
420.87/421.18 c | 209068 | 2029 329509 1447248 | 2147483647 209068 121 | 0.000 % |
422.08/422.37 c | 209301 | 2029 329509 1447248 | 2147483647 209301 121 | 0.000 % |
422.87/423.19 c | 209557 | 2029 329509 1447248 | 2147483647 209557 121 | 0.000 % |
423.57/423.89 c | 209839 | 2029 329509 1447248 | 2147483647 209839 121 | 0.000 % |
425.07/425.33 c | 210148 | 2029 329509 1447248 | 2147483647 210148 121 | 0.000 % |
425.97/426.20 c | 210488 | 2029 329509 1447248 | 2147483647 210488 121 | 0.000 % |
427.07/427.36 c | 210860 | 2029 329509 1447248 | 2147483647 210860 121 | 0.000 % |
428.07/428.39 c | 211269 | 2029 329509 1447248 | 2147483647 211269 121 | 0.000 % |
429.28/429.51 c | 211718 | 2029 329509 1447248 | 2147483647 211718 121 | 0.000 % |
430.48/430.79 c | 212212 | 2029 329509 1447248 | 2147483647 212212 121 | 0.000 % |
432.57/432.85 c | 212756 | 2029 329509 1447248 | 2147483647 212756 121 | 0.000 % |
433.57/433.85 c | 213352 | 2029 329509 1447248 | 2147483647 213352 122 | 0.000 % |
435.07/435.32 c | 214007 | 2029 329509 1447248 | 2147483647 214007 122 | 0.000 % |
437.67/437.93 c | 214729 | 2029 329509 1447248 | 2147483647 214729 122 | 0.000 % |
439.37/439.67 c | 215522 | 2029 329509 1447248 | 2147483647 215522 122 | 0.000 % |
440.97/441.21 c | 216394 | 2029 329509 1447248 | 2147483647 216394 122 | 0.000 % |
443.07/443.39 c | 217354 | 2029 329509 1447248 | 2147483647 217354 122 | 0.000 % |
447.17/447.44 c | 218408 | 2029 329509 1447248 | 2147483647 218408 122 | 0.000 % |
450.87/451.11 c | 219566 | 2029 329509 1447248 | 2147483647 219566 122 | 0.000 % |
454.67/454.94 c | 220839 | 2029 329509 1447248 | 2147483647 220839 122 | 0.000 % |
458.38/458.60 c | 222243 | 2029 329509 1447248 | 2147483647 222243 122 | 0.000 % |
462.07/462.30 c | 223783 | 2029 329509 1447248 | 2147483647 223783 122 | 0.000 % |
466.96/467.25 c | 225479 | 2029 329509 1447248 | 2147483647 225479 123 | 0.000 % |
470.46/470.70 c | 227343 | 2029 329509 1447248 | 2147483647 227343 123 | 0.000 % |
476.87/477.10 c | 229394 | 2029 329509 1447248 | 2147483647 229394 123 | 0.000 % |
483.36/483.60 c | 231648 | 2029 329509 1447248 | 2147483647 231648 123 | 0.000 % |
483.66/483.92 c | 231748 | 2029 329509 1447248 | 2147483647 231748 123 | 0.000 % |
483.96/484.23 c | 231859 | 2029 329509 1447248 | 2147483647 231859 123 | 0.000 % |
484.26/484.52 c | 231980 | 2029 329509 1447248 | 2147483647 231980 123 | 0.000 % |
484.56/484.87 c | 232113 | 2029 329509 1447248 | 2147483647 232113 123 | 0.000 % |
485.06/485.35 c | 232261 | 2029 329509 1447248 | 2147483647 232261 123 | 0.000 % |
485.46/485.74 c | 232421 | 2029 329509 1447248 | 2147483647 232421 123 | 0.000 % |
485.86/486.16 c | 232597 | 2029 329509 1447248 | 2147483647 232597 123 | 0.000 % |
486.66/486.98 c | 232790 | 2029 329509 1447248 | 2147483647 232790 123 | 0.000 % |
487.66/487.96 c | 233005 | 2029 329509 1447248 | 2147483647 233005 123 | 0.000 % |
488.46/488.73 c | 233242 | 2029 329509 1447248 | 2147483647 233242 123 | 0.000 % |
490.26/490.56 c | 233498 | 2029 329509 1447248 | 2147483647 233498 123 | 0.000 % |
490.95/491.23 c | 233779 | 2029 329509 1447248 | 2147483647 233779 123 | 0.000 % |
492.15/492.46 c | 234092 | 2029 329509 1447248 | 2147483647 234092 123 | 0.000 % |
494.66/494.94 c | 234431 | 2029 329509 1447248 | 2147483647 234431 123 | 0.000 % |
496.75/497.04 c | 234803 | 2029 329509 1447248 | 2147483647 234803 123 | 0.000 % |
498.65/498.92 c | 235212 | 2029 329509 1447248 | 2147483647 235212 123 | 0.000 % |
500.76/501.05 c | 235661 | 2029 329509 1447248 | 2147483647 235661 123 | 0.000 % |
503.65/503.91 c | 236154 | 2029 329509 1447248 | 2147483647 236154 123 | 0.000 % |
505.45/505.78 c | 236698 | 2029 329509 1447248 | 2147483647 236698 123 | 0.000 % |
508.15/508.48 c | 237298 | 2029 329509 1447248 | 2147483647 237298 123 | 0.000 % |
510.75/511.09 c | 237954 | 2029 329509 1447248 | 2147483647 237954 123 | 0.000 % |
513.05/513.38 c | 238678 | 2029 329509 1447248 | 2147483647 238678 123 | 0.000 % |
515.75/516.04 c | 239471 | 2029 329509 1447248 | 2147483647 239471 123 | 0.000 % |
518.15/518.48 c | 240343 | 2029 329509 1447248 | 2147483647 240343 123 | 0.000 % |
521.34/521.67 c | 241301 | 2029 329509 1447248 | 2147483647 241301 123 | 0.000 % |
525.84/526.12 c | 242356 | 2029 329509 1447248 | 2147483647 242356 123 | 0.000 % |
528.65/528.96 c | 243515 | 2029 329509 1447248 | 2147483647 243515 123 | 0.000 % |
534.74/535.07 c | 244789 | 2029 329509 1447248 | 2147483647 244789 123 | 0.000 % |
540.54/540.90 c | 246191 | 2029 329509 1447248 | 2147483647 246191 123 | 0.000 % |
545.64/545.94 c | 247731 | 2029 329509 1447248 | 2147483647 247731 123 | 0.000 % |
550.74/551.04 c | 249425 | 2029 329509 1447248 | 2147483647 249425 123 | 0.000 % |
558.54/558.90 c | 251290 | 2029 329509 1447248 | 2147483647 251290 122 | 0.000 % |
566.63/566.91 c | 253339 | 2029 329509 1447248 | 2147483647 253339 122 | 0.000 % |
575.32/575.62 c | 255593 | 2029 329509 1447248 | 2147483647 255593 122 | 0.000 % |
588.23/588.59 c | 258072 | 2029 329509 1447248 | 2147483647 258072 122 | 0.000 % |
588.63/588.99 c | 258175 | 2029 329509 1447248 | 2147483647 258175 122 | 0.000 % |
589.33/589.69 c | 258285 | 2029 329509 1447248 | 2147483647 258285 122 | 0.000 % |
590.03/590.35 c | 258409 | 2029 329509 1447248 | 2147483647 258409 122 | 0.000 % |
590.63/590.95 c | 258542 | 2029 329509 1447248 | 2147483647 258542 122 | 0.000 % |
591.33/591.63 c | 258691 | 2029 329509 1447248 | 2147483647 258691 122 | 0.000 % |
592.23/592.54 c | 258855 | 2029 329509 1447248 | 2147483647 258855 122 | 0.000 % |
592.93/593.26 c | 259035 | 2029 329509 1447248 | 2147483647 259035 122 | 0.000 % |
593.93/594.28 c | 259228 | 2029 329509 1447248 | 2147483647 259228 122 | 0.000 % |
594.93/595.28 c | 259440 | 2029 329509 1447248 | 2147483647 259440 122 | 0.000 % |
595.62/595.94 c | 259673 | 2029 329509 1447248 | 2147483647 259673 122 | 0.000 % |
596.32/596.66 c | 259929 | 2029 329509 1447248 | 2147483647 259929 122 | 0.000 % |
596.82/597.17 c | 260210 | 2029 329509 1447248 | 2147483647 260210 122 | 0.000 % |
598.22/598.54 c | 260519 | 2029 329509 1447248 | 2147483647 260519 122 | 0.000 % |
599.92/600.27 c | 260858 | 2029 329509 1447248 | 2147483647 260858 122 | 0.000 % |
601.52/601.80 c | 261230 | 2029 329509 1447248 | 2147483647 261230 122 | 0.000 % |
603.22/603.52 c | 261639 | 2029 329509 1447248 | 2147483647 261639 122 | 0.000 % |
604.02/604.36 c | 262088 | 2029 329509 1447248 | 2147483647 262088 122 | 0.000 % |
605.52/605.83 c | 262581 | 2029 329509 1447248 | 2147483647 262581 123 | 0.000 % |
607.31/607.61 c | 263124 | 2029 329509 1447248 | 2147483647 263124 123 | 0.000 % |
609.91/610.27 c | 263720 | 2029 329509 1447248 | 2147483647 263720 123 | 0.000 % |
611.51/611.86 c | 264376 | 2029 329509 1447248 | 2147483647 264376 123 | 0.000 % |
613.12/613.43 c | 265096 | 2029 329509 1447248 | 2147483647 265096 123 | 0.000 % |
616.12/616.41 c | 265889 | 2029 329509 1447248 | 2147483647 265889 123 | 0.000 % |
620.91/621.27 c | 266763 | 2029 329509 1447248 | 2147483647 266763 123 | 0.000 % |
624.51/624.81 c | 267722 | 2029 329509 1447248 | 2147483647 267722 123 | 0.000 % |
625.91/626.29 c | 268775 | 2029 329509 1447248 | 2147483647 268775 122 | 0.000 % |
634.01/634.38 c | 269935 | 2029 329509 1447248 | 2147483647 269935 122 | 0.000 % |
639.40/639.70 c | 271210 | 2029 329509 1447248 | 2147483647 271210 122 | 0.000 % |
642.70/643.07 c | 272610 | 2029 329509 1447248 | 2147483647 272610 122 | 0.000 % |
646.91/647.20 c | 274150 | 2029 329509 1447248 | 2147483647 274150 122 | 0.000 % |
650.40/650.75 c | 275845 | 2029 329509 1447248 | 2147483647 275845 122 | 0.000 % |
657.60/657.99 c | 277708 | 2029 329509 1447248 | 2147483647 277708 122 | 0.000 % |
663.89/664.28 c | 279757 | 2029 329509 1447248 | 2147483647 279757 122 | 0.000 % |
669.20/669.54 c | 282010 | 2029 329509 1447248 | 2147483647 282010 122 | 0.000 % |
680.10/680.43 c | 284488 | 2029 329509 1447248 | 2147483647 284488 123 | 0.000 % |
683.49/683.82 c | 287213 | 2029 329509 1447248 | 2147483647 287213 123 | 0.000 % |
683.70/684.08 c | 287315 | 2029 329509 1447248 | 2147483647 287315 123 | 0.000 % |
684.10/684.41 c | 287427 | 2029 329509 1447248 | 2147483647 287427 123 | 0.000 % |
684.50/684.81 c | 287548 | 2029 329509 1447248 | 2147483647 287548 123 | 0.000 % |
685.30/685.63 c | 287681 | 2029 329509 1447248 | 2147483647 287681 123 | 0.000 % |
686.00/686.40 c | 287827 | 2029 329509 1447248 | 2147483647 287827 123 | 0.000 % |
687.10/687.43 c | 287987 | 2029 329509 1447248 | 2147483647 287987 123 | 0.000 % |
688.10/688.42 c | 288164 | 2029 329509 1447248 | 2147483647 288164 123 | 0.000 % |
688.70/689.02 c | 288357 | 2029 329509 1447248 | 2147483647 288357 123 | 0.000 % |
689.20/689.58 c | 288570 | 2029 329509 1447248 | 2147483647 288570 122 | 0.000 % |
689.99/690.39 c | 288803 | 2029 329509 1447248 | 2147483647 288803 122 | 0.000 % |
691.50/691.85 c | 289061 | 2029 329509 1447248 | 2147483647 289061 122 | 0.000 % |
692.99/693.36 c | 289346 | 2029 329509 1447248 | 2147483647 289346 122 | 0.000 % |
693.99/694.37 c | 289658 | 2029 329509 1447248 | 2147483647 289658 122 | 0.000 % |
695.19/695.56 c | 289998 | 2029 329509 1447248 | 2147483647 289998 122 | 0.000 % |
696.89/697.22 c | 290373 | 2029 329509 1447248 | 2147483647 290373 122 | 0.000 % |
698.10/698.47 c | 290784 | 2029 329509 1447248 | 2147483647 290784 122 | 0.000 % |
700.09/700.43 c | 291233 | 2029 329509 1447248 | 2147483647 291233 122 | 0.000 % |
702.39/702.72 c | 291728 | 2029 329509 1447248 | 2147483647 291728 122 | 0.000 % |
704.89/705.27 c | 292274 | 2029 329509 1447248 | 2147483647 292274 122 | 0.000 % |
707.19/707.52 c | 292870 | 2029 329509 1447248 | 2147483647 292870 122 | 0.000 % |
709.39/709.72 c | 293527 | 2029 329509 1447248 | 2147483647 293527 122 | 0.000 % |
711.39/711.75 c | 294247 | 2029 329509 1447248 | 2147483647 294247 122 | 0.000 % |
714.08/714.40 c | 295041 | 2029 329509 1447248 | 2147483647 295041 122 | 0.000 % |
716.88/717.25 c | 295912 | 2029 329509 1447248 | 2147483647 295912 122 | 0.000 % |
719.48/719.81 c | 296871 | 2029 329509 1447248 | 2147483647 296871 122 | 0.000 % |
721.78/722.10 c | 297924 | 2029 329509 1447248 | 2147483647 297924 122 | 0.000 % |
724.08/724.41 c | 299085 | 2029 329509 1447248 | 2147483647 299085 122 | 0.000 % |
728.38/728.72 c | 300360 | 2029 329509 1447248 | 2147483647 300360 122 | 0.000 % |
736.17/736.59 c | 301761 | 2029 329509 1447248 | 2147483647 301761 122 | 0.000 % |
741.17/741.60 c | 303301 | 2029 329509 1447248 | 2147483647 303301 122 | 0.000 % |
745.48/745.89 c | 304995 | 2029 329509 1447248 | 2147483647 304995 122 | 0.000 % |
754.67/755.04 c | 306862 | 2029 329509 1447248 | 2147483647 306862 122 | 0.000 % |
763.07/763.44 c | 308911 | 2029 329509 1447248 | 2147483647 308911 122 | 0.000 % |
769.77/770.10 c | 311164 | 2029 329509 1447248 | 2147483647 311164 122 | 0.000 % |
778.76/779.16 c | 313642 | 2029 329509 1447248 | 2147483647 313642 122 | 0.000 % |
785.56/785.96 c | 316368 | 2029 329509 1447248 | 2147483647 316368 122 | 0.000 % |
800.26/800.68 c | 319365 | 2029 329509 1447248 | 2147483647 319365 122 | 0.000 % |
800.75/801.14 c | 319465 | 2029 329509 1447248 | 2147483647 319465 122 | 0.000 % |
801.25/801.62 c | 319576 | 2029 329509 1447248 | 2147483647 319576 122 | 0.000 % |
801.95/802.34 c | 319698 | 2029 329509 1447248 | 2147483647 319698 122 | 0.000 % |
802.75/803.11 c | 319835 | 2029 329509 1447248 | 2147483647 319835 122 | 0.000 % |
803.35/803.73 c | 319981 | 2029 329509 1447248 | 2147483647 319981 122 | 0.000 % |
804.35/804.74 c | 320141 | 2029 329509 1447248 | 2147483647 320141 122 | 0.000 % |
805.15/805.54 c | 320320 | 2029 329509 1447248 | 2147483647 320320 122 | 0.000 % |
806.05/806.44 c | 320515 | 2029 329509 1447248 | 2147483647 320515 122 | 0.000 % |
807.25/807.60 c | 320727 | 2029 329509 1447248 | 2147483647 320727 122 | 0.000 % |
808.55/809.00 c | 320960 | 2029 329509 1447248 | 2147483647 320960 122 | 0.000 % |
809.45/809.80 c | 321216 | 2029 329509 1447248 | 2147483647 321216 122 | 0.000 % |
810.55/810.93 c | 321497 | 2029 329509 1447248 | 2147483647 321497 122 | 0.000 % |
812.35/812.71 c | 321807 | 2029 329509 1447248 | 2147483647 321807 122 | 0.000 % |
813.45/813.86 c | 322147 | 2029 329509 1447248 | 2147483647 322147 122 | 0.000 % |
814.45/814.81 c | 322522 | 2029 329509 1447248 | 2147483647 322522 122 | 0.000 % |
816.25/816.65 c | 322932 | 2029 329509 1447248 | 2147483647 322932 122 | 0.000 % |
818.65/819.05 c | 323381 | 2029 329509 1447248 | 2147483647 323381 122 | 0.000 % |
820.26/820.66 c | 323874 | 2029 329509 1447248 | 2147483647 323874 122 | 0.000 % |
822.36/822.74 c | 324416 | 2029 329509 1447248 | 2147483647 324416 122 | 0.000 % |
825.35/825.75 c | 325012 | 2029 329509 1447248 | 2147483647 325012 122 | 0.000 % |
828.95/829.30 c | 325667 | 2029 329509 1447248 | 2147483647 325667 122 | 0.000 % |
831.55/831.94 c | 326387 | 2029 329509 1447248 | 2147483647 326387 122 | 0.000 % |
834.85/835.25 c | 327179 | 2029 329509 1447248 | 2147483647 327179 122 | 0.000 % |
839.24/839.68 c | 328050 | 2029 329509 1447248 | 2147483647 328050 122 | 0.000 % |
842.04/842.50 c | 329009 | 2029 329509 1447248 | 2147483647 329009 122 | 0.000 % |
845.14/845.56 c | 330062 | 2029 329509 1447248 | 2147483647 330062 122 | 0.000 % |
848.64/849.07 c | 331222 | 2029 329509 1447248 | 2147483647 331222 122 | 0.000 % |
854.84/855.25 c | 332496 | 2029 329509 1447248 | 2147483647 332496 122 | 0.000 % |
862.74/863.16 c | 333899 | 2029 329509 1447248 | 2147483647 333899 121 | 0.000 % |
866.54/866.99 c | 335439 | 2029 329509 1447248 | 2147483647 335439 121 | 0.000 % |
875.33/875.73 c | 337133 | 2029 329509 1447248 | 2147483647 337133 121 | 0.000 % |
884.44/884.87 c | 338997 | 2029 329509 1447248 | 2147483647 338997 121 | 0.000 % |
890.63/891.08 c | 341046 | 2029 329509 1447248 | 2147483647 341046 121 | 0.000 % |
899.13/899.57 c | 343300 | 2029 329509 1447248 | 2147483647 343300 122 | 0.000 % |
906.32/906.78 c | 345779 | 2029 329509 1447248 | 2147483647 345779 122 | 0.000 % |
912.12/912.55 c | 348504 | 2029 329509 1447248 | 2147483647 348504 122 | 0.000 % |
926.82/927.28 c | 351502 | 2029 329509 1447248 | 2147483647 351502 122 | 0.000 % |
937.92/938.30 c | 354800 | 2029 329509 1447248 | 2147483647 354800 122 | 0.000 % |
938.51/938.97 c | 354900 | 2029 329509 1447248 | 2147483647 354900 122 | 0.000 % |
939.11/939.56 c | 355012 | 2029 329509 1447248 | 2147483647 355012 122 | 0.000 % |
939.71/940.18 c | 355133 | 2029 329509 1447248 | 2147483647 355133 122 | 0.000 % |
940.61/941.02 c | 355267 | 2029 329509 1447248 | 2147483647 355267 122 | 0.000 % |
941.21/941.65 c | 355414 | 2029 329509 1447248 | 2147483647 355414 122 | 0.000 % |
941.81/942.24 c | 355575 | 2029 329509 1447248 | 2147483647 355575 122 | 0.000 % |
942.92/943.37 c | 355754 | 2029 329509 1447248 | 2147483647 355754 122 | 0.000 % |
944.42/944.82 c | 355947 | 2029 329509 1447248 | 2147483647 355947 122 | 0.000 % |
945.52/945.93 c | 356162 | 2029 329509 1447248 | 2147483647 356162 122 | 0.000 % |
946.52/946.98 c | 356397 | 2029 329509 1447248 | 2147483647 356397 122 | 0.000 % |
947.72/948.15 c | 356654 | 2029 329509 1447248 | 2147483647 356654 122 | 0.000 % |
948.61/949.06 c | 356935 | 2029 329509 1447248 | 2147483647 356935 122 | 0.000 % |
949.61/950.01 c | 357245 | 2029 329509 1447248 | 2147483647 357245 122 | 0.000 % |
950.91/951.31 c | 357584 | 2029 329509 1447248 | 2147483647 357584 122 | 0.000 % |
952.21/952.62 c | 357959 | 2029 329509 1447248 | 2147483647 357959 122 | 0.000 % |
953.71/954.19 c | 358368 | 2029 329509 1447248 | 2147483647 358368 122 | 0.000 % |
955.31/955.73 c | 358817 | 2029 329509 1447248 | 2147483647 358817 122 | 0.000 % |
958.61/959.04 c | 359310 | 2029 329509 1447248 | 2147483647 359310 122 | 0.000 % |
961.01/961.46 c | 359855 | 2029 329509 1447248 | 2147483647 359855 122 | 0.000 % |
963.81/964.24 c | 360452 | 2029 329509 1447248 | 2147483647 360452 122 | 0.000 % |
965.81/966.28 c | 361107 | 2029 329509 1447248 | 2147483647 361107 122 | 0.000 % |
968.51/968.98 c | 361827 | 2029 329509 1447248 | 2147483647 361827 122 | 0.000 % |
971.31/971.76 c | 362621 | 2029 329509 1447248 | 2147483647 362621 122 | 0.000 % |
973.20/973.61 c | 363495 | 2029 329509 1447248 | 2147483647 363495 122 | 0.000 % |
976.00/976.41 c | 364456 | 2029 329509 1447248 | 2147483647 364456 122 | 0.000 % |
979.80/980.26 c | 365512 | 2029 329509 1447248 | 2147483647 365512 122 | 0.000 % |
986.00/986.45 c | 366671 | 2029 329509 1447248 | 2147483647 366671 122 | 0.000 % |
992.30/992.75 c | 367946 | 2029 329509 1447248 | 2147483647 367946 122 | 0.000 % |
995.20/995.62 c | 369347 | 2029 329509 1447248 | 2147483647 369347 122 | 0.000 % |
1006.10/1006.59 c | 370888 | 2029 329509 1447248 | 2147483647 370888 122 | 0.000 % |
1011.09/1011.50 c | 372583 | 2029 329509 1447248 | 2147483647 372583 122 | 0.000 % |
1018.79/1019.28 c | 374446 | 2029 329509 1447248 | 2147483647 374446 122 | 0.000 % |
1032.09/1032.52 c | 376495 | 2029 329509 1447248 | 2147483647 376495 123 | 0.000 % |
1043.08/1043.58 c | 378748 | 2029 329509 1447248 | 2147483647 378748 123 | 0.000 % |
1053.28/1053.72 c | 381229 | 2029 329509 1447248 | 2147483647 381229 123 | 0.000 % |
1064.78/1065.23 c | 383954 | 2029 329509 1447248 | 2147483647 383954 123 | 0.000 % |
1073.97/1074.41 c | 386951 | 2029 329509 1447248 | 2147483647 386951 123 | 0.000 % |
1086.07/1086.58 c | 390247 | 2029 329509 1447248 | 2147483647 390247 123 | 0.000 % |
1106.17/1106.70 c | 393872 | 2029 329509 1447248 | 2147483647 393872 123 | 0.000 % |
1106.87/1107.34 c | 393973 | 2029 329509 1447248 | 2147483647 393973 123 | 0.000 % |
1107.27/1107.71 c | 394084 | 2029 329509 1447248 | 2147483647 394084 123 | 0.000 % |
1108.07/1108.58 c | 394205 | 2029 329509 1447248 | 2147483647 394205 123 | 0.000 % |
1108.97/1109.45 c | 394338 | 2029 329509 1447248 | 2147483647 394338 123 | 0.000 % |
1110.47/1110.97 c | 394484 | 2029 329509 1447248 | 2147483647 394484 123 | 0.000 % |
1111.36/1111.87 c | 394645 | 2029 329509 1447248 | 2147483647 394645 123 | 0.000 % |
1112.46/1112.96 c | 394821 | 2029 329509 1447248 | 2147483647 394821 123 | 0.000 % |
1114.16/1114.61 c | 395015 | 2029 329509 1447248 | 2147483647 395015 123 | 0.000 % |
1115.27/1115.76 c | 395230 | 2029 329509 1447248 | 2147483647 395230 123 | 0.000 % |
1116.56/1117.02 c | 395463 | 2029 329509 1447248 | 2147483647 395463 123 | 0.000 % |
1117.26/1117.76 c | 395719 | 2029 329509 1447248 | 2147483647 395719 123 | 0.000 % |
1120.16/1120.69 c | 396001 | 2029 329509 1447248 | 2147483647 396001 123 | 0.000 % |
1121.26/1121.71 c | 396310 | 2029 329509 1447248 | 2147483647 396310 123 | 0.000 % |
1122.76/1123.20 c | 396650 | 2029 329509 1447248 | 2147483647 396650 123 | 0.000 % |
1124.76/1125.27 c | 397025 | 2029 329509 1447248 | 2147483647 397025 123 | 0.000 % |
1126.56/1127.00 c | 397434 | 2029 329509 1447248 | 2147483647 397434 123 | 0.000 % |
1128.26/1128.77 c | 397884 | 2029 329509 1447248 | 2147483647 397884 123 | 0.000 % |
1131.46/1131.90 c | 398377 | 2029 329509 1447248 | 2147483647 398377 123 | 0.000 % |
1133.45/1134.00 c | 398920 | 2029 329509 1447248 | 2147483647 398920 123 | 0.000 % |
1138.35/1138.82 c | 399518 | 2029 329509 1447248 | 2147483647 399518 123 | 0.000 % |
1141.95/1142.42 c | 400174 | 2029 329509 1447248 | 2147483647 400174 123 | 0.000 % |
1147.05/1147.51 c | 400894 | 2029 329509 1447248 | 2147483647 400894 123 | 0.000 % |
1151.65/1152.16 c | 401686 | 2029 329509 1447248 | 2147483647 401686 123 | 0.000 % |
1157.15/1157.64 c | 402558 | 2029 329509 1447248 | 2147483647 402558 123 | 0.000 % |
1162.05/1162.51 c | 403517 | 2029 329509 1447248 | 2147483647 403517 123 | 0.000 % |
1165.85/1166.33 c | 404573 | 2029 329509 1447248 | 2147483647 404573 123 | 0.000 % |
1170.34/1170.83 c | 405733 | 2029 329509 1447248 | 2147483647 405733 123 | 0.000 % |
1179.04/1179.54 c | 407006 | 2029 329509 1447248 | 2147483647 407006 123 | 0.000 % |
1187.14/1187.68 c | 408407 | 2029 329509 1447248 | 2147483647 408407 123 | 0.000 % |
1201.04/1201.51 c | 409949 | 2029 329509 1447248 | 2147483647 409949 123 | 0.000 % |
1208.03/1208.59 c | 411643 | 2029 329509 1447248 | 2147483647 411643 123 | 0.000 % |
1214.13/1214.70 c | 413509 | 2029 329509 1447248 | 2147483647 413509 123 | 0.000 % |
1230.83/1231.33 c | 415559 | 2029 329509 1447248 | 2147483647 415559 123 | 0.000 % |
1239.32/1239.81 c | 417812 | 2029 329509 1447248 | 2147483647 417812 123 | 0.000 % |
1250.93/1251.42 c | 420290 | 2029 329509 1447248 | 2147483647 420290 123 | 0.000 % |
1258.52/1259.01 c | 423015 | 2029 329509 1447248 | 2147483647 423015 123 | 0.000 % |
1274.11/1274.69 c | 426014 | 2029 329509 1447248 | 2147483647 426014 123 | 0.000 % |
1287.11/1287.61 c | 429312 | 2029 329509 1447248 | 2147483647 429312 123 | 0.000 % |
1309.20/1309.78 c | 432937 | 2029 329509 1447248 | 2147483647 432937 123 | 0.000 % |
1324.80/1325.35 c | 436926 | 2029 329509 1447248 | 2147483647 436926 123 | 0.000 % |
1325.60/1326.15 c | 437026 | 2029 329509 1447248 | 2147483647 437026 123 | 0.000 % |
1326.80/1327.39 c | 437137 | 2029 329509 1447248 | 2147483647 437137 123 | 0.000 % |
1327.60/1328.11 c | 437259 | 2029 329509 1447248 | 2147483647 437259 123 | 0.000 % |
1329.10/1329.64 c | 437393 | 2029 329509 1447248 | 2147483647 437393 123 | 0.000 % |
1330.00/1330.59 c | 437541 | 2029 329509 1447248 | 2147483647 437541 123 | 0.000 % |
1331.51/1332.01 c | 437701 | 2029 329509 1447248 | 2147483647 437701 123 | 0.000 % |
1332.40/1332.93 c | 437877 | 2029 329509 1447248 | 2147483647 437877 123 | 0.000 % |
1333.90/1334.44 c | 438070 | 2029 329509 1447248 | 2147483647 438070 123 | 0.000 % |
1335.10/1335.69 c | 438285 | 2029 329509 1447248 | 2147483647 438285 123 | 0.000 % |
1336.90/1337.46 c | 438519 | 2029 329509 1447248 | 2147483647 438519 123 | 0.000 % |
1339.10/1339.70 c | 438775 | 2029 329509 1447248 | 2147483647 438775 123 | 0.000 % |
1341.60/1342.19 c | 439056 | 2029 329509 1447248 | 2147483647 439056 123 | 0.000 % |
1343.49/1344.08 c | 439365 | 2029 329509 1447248 | 2147483647 439365 123 | 0.000 % |
1344.89/1345.40 c | 439704 | 2029 329509 1447248 | 2147483647 439704 123 | 0.000 % |
1347.39/1347.96 c | 440077 | 2029 329509 1447248 | 2147483647 440077 123 | 0.000 % |
1349.59/1350.14 c | 440486 | 2029 329509 1447248 | 2147483647 440486 124 | 0.000 % |
1353.39/1353.92 c | 440935 | 2029 329509 1447248 | 2147483647 440935 124 | 0.000 % |
1356.19/1356.76 c | 441429 | 2029 329509 1447248 | 2147483647 441429 123 | 0.000 % |
1357.80/1358.39 c | 441972 | 2029 329509 1447248 | 2147483647 441972 123 | 0.000 % |
1360.99/1361.52 c | 442568 | 2029 329509 1447248 | 2147483647 442568 123 | 0.000 % |
1363.89/1364.45 c | 443224 | 2029 329509 1447248 | 2147483647 443224 124 | 0.000 % |
1369.19/1369.74 c | 443946 | 2029 329509 1447248 | 2147483647 443946 124 | 0.000 % |
1373.09/1373.62 c | 444743 | 2029 329509 1447248 | 2147483647 444743 124 | 0.000 % |
1378.58/1379.19 c | 445615 | 2029 329509 1447248 | 2147483647 445615 124 | 0.000 % |
1383.98/1384.52 c | 446576 | 2029 329509 1447248 | 2147483647 446576 123 | 0.000 % |
1388.89/1389.46 c | 447630 | 2029 329509 1447248 | 2147483647 447630 123 | 0.000 % |
1395.39/1395.92 c | 448788 | 2029 329509 1447248 | 2147483647 448788 124 | 0.000 % |
1402.48/1403.05 c | 450061 | 2029 329509 1447248 | 2147483647 450061 124 | 0.000 % |
1407.08/1407.62 c | 451461 | 2029 329509 1447248 | 2147483647 451461 124 | 0.000 % |
1414.98/1415.57 c | 453001 | 2029 329509 1447248 | 2147483647 453001 124 | 0.000 % |
1425.47/1426.06 c | 454696 | 2029 329509 1447248 | 2147483647 454696 124 | 0.000 % |
1437.77/1438.39 c | 456560 | 2029 329509 1447248 | 2147483647 456560 124 | 0.000 % |
1445.07/1445.65 c | 458609 | 2029 329509 1447248 | 2147483647 458609 124 | 0.000 % |
1455.46/1456.02 c | 460862 | 2029 329509 1447248 | 2147483647 460862 124 | 0.000 % |
1472.16/1472.77 c | 463340 | 2029 329509 1447248 | 2147483647 463340 124 | 0.000 % |
1480.15/1480.74 c | 466067 | 2029 329509 1447248 | 2147483647 466067 124 | 0.000 % |
1491.65/1492.22 c | 469067 | 2029 329509 1447248 | 2147483647 469067 124 | 0.000 % |
1505.75/1506.33 c | 472363 | 2029 329509 1447248 | 2147483647 472363 124 | 0.000 % |
1531.75/1532.31 c | 475989 | 2029 329509 1447248 | 2147483647 475989 124 | 0.000 % |
1545.44/1546.10 c | 479978 | 2029 329509 1447248 | 2147483647 479978 124 | 0.000 % |
1570.14/1570.79 c | 484363 | 2029 329509 1447248 | 2147483647 484363 124 | 0.000 % |
1571.03/1571.64 c | 484463 | 2029 329509 1447248 | 2147483647 484463 124 | 0.000 % |
1572.13/1572.75 c | 484573 | 2029 329509 1447248 | 2147483647 484573 124 | 0.000 % |
1573.23/1573.86 c | 484695 | 2029 329509 1447248 | 2147483647 484695 124 | 0.000 % |
1574.83/1575.44 c | 484832 | 2029 329509 1447248 | 2147483647 484832 124 | 0.000 % |
1575.63/1576.24 c | 484981 | 2029 329509 1447248 | 2147483647 484981 124 | 0.000 % |
1576.43/1577.06 c | 485144 | 2029 329509 1447248 | 2147483647 485144 124 | 0.000 % |
1577.53/1578.11 c | 485322 | 2029 329509 1447248 | 2147483647 485322 124 | 0.000 % |
1578.53/1579.13 c | 485515 | 2029 329509 1447248 | 2147483647 485515 124 | 0.000 % |
1580.23/1580.83 c | 485728 | 2029 329509 1447248 | 2147483647 485728 124 | 0.000 % |
1581.83/1582.40 c | 485962 | 2029 329509 1447248 | 2147483647 485962 124 | 0.000 % |
1583.12/1583.71 c | 486218 | 2029 329509 1447248 | 2147483647 486218 124 | 0.000 % |
1585.22/1585.88 c | 486499 | 2029 329509 1447248 | 2147483647 486499 124 | 0.000 % |
1586.83/1587.47 c | 486810 | 2029 329509 1447248 | 2147483647 486810 124 | 0.000 % |
1589.43/1590.04 c | 487149 | 2029 329509 1447248 | 2147483647 487149 124 | 0.000 % |
1591.03/1591.66 c | 487522 | 2029 329509 1447248 | 2147483647 487522 124 | 0.000 % |
1593.72/1594.39 c | 487932 | 2029 329509 1447248 | 2147483647 487932 124 | 0.000 % |
1598.02/1598.67 c | 488381 | 2029 329509 1447248 | 2147483647 488381 124 | 0.000 % |
1600.32/1601.00 c | 488874 | 2029 329509 1447248 | 2147483647 488874 125 | 0.000 % |
1605.72/1606.31 c | 489416 | 2029 329509 1447248 | 2147483647 489416 125 | 0.000 % |
1608.92/1609.52 c | 490013 | 2029 329509 1447248 | 2147483647 490013 125 | 0.000 % |
1615.12/1615.79 c | 490673 | 2029 329509 1447248 | 2147483647 490673 125 | 0.000 % |
1620.12/1620.71 c | 491395 | 2029 329509 1447248 | 2147483647 491395 124 | 0.000 % |
1623.92/1624.50 c | 492188 | 2029 329509 1447248 | 2147483647 492188 125 | 0.000 % |
1628.42/1629.01 c | 493060 | 2029 329509 1447248 | 2147483647 493060 125 | 0.000 % |
1636.12/1636.75 c | 494018 | 2029 329509 1447248 | 2147483647 494018 125 | 0.000 % |
1645.71/1646.32 c | 495074 | 2029 329509 1447248 | 2147483647 495074 125 | 0.000 % |
1651.61/1652.20 c | 496232 | 2029 329509 1447248 | 2147483647 496232 125 | 0.000 % |
1660.10/1660.71 c | 497505 | 2029 329509 1447248 | 2147483647 497505 125 | 0.000 % |
1670.60/1671.30 c | 498905 | 2029 329509 1447248 | 2147483647 498905 125 | 0.000 % |
1678.49/1679.16 c | 500445 | 2029 329509 1447248 | 2147483647 500445 125 | 0.000 % |
1690.99/1691.68 c | 502140 | 2029 329509 1447248 | 2147483647 502140 125 | 0.000 % |
1698.30/1698.90 c | 504005 | 2029 329509 1447248 | 2147483647 504005 125 | 0.000 % |
1709.59/1710.24 c | 506056 | 2029 329509 1447248 | 2147483647 506056 125 | 0.000 % |
1722.78/1723.44 c | 508312 | 2029 329509 1447248 | 2147483647 508312 125 | 0.000 % |
1734.78/1735.43 c | 510792 | 2029 329509 1447248 | 2147483647 510792 125 | 0.000 % |
1746.08/1746.71 c | 513517 | 2029 329509 1447248 | 2147483647 513517 125 | 0.000 % |
1764.17/1764.82 c | 516514 | 2029 329509 1447248 | 2147483647 516514 125 | 0.000 % |
1784.36/1785.06 c | 519811 | 2029 329509 1447248 | 2147483647 519811 125 | 0.000 % |
1801.16/1801.89 c | 523437 | 2029 329509 1447248 | 2147483647 523437 125 | 0.000 % |
1815.15/1815.85 c | 527424 | 2029 329509 1447248 | 2147483647 527424 125 | 0.000 % |
1831.85/1832.53 c | 531811 | 2029 329509 1447248 | 2147483647 531811 125 | 0.000 % |
1849.85/1850.56 c | 536635 | 2029 329509 1447248 | 2147483647 536635 125 | 0.000 % |
1850.55/1851.29 c | 536738 | 2029 329509 1447248 | 2147483647 536738 125 | 0.000 % |
1850.95/1851.64 c | 536848 | 2029 329509 1447248 | 2147483647 536848 125 | 0.000 % |
1851.55/1852.24 c | 536969 | 2029 329509 1447248 | 2147483647 536969 125 | 0.000 % |
1852.35/1853.05 c | 537103 | 2029 329509 1447248 | 2147483647 537103 125 | 0.000 % |
1852.65/1853.39 c | 537249 | 2029 329509 1447248 | 2147483647 537249 125 | 0.000 % |
1853.45/1854.17 c | 537412 | 2029 329509 1447248 | 2147483647 537412 125 | 0.000 % |
1854.45/1855.16 c | 537588 | 2029 329509 1447248 | 2147483647 537588 125 | 0.000 % |
1855.85/1856.53 c | 537782 | 2029 329509 1447248 | 2147483647 537782 125 | 0.000 % |
1857.35/1858.02 c | 537995 | 2029 329509 1447248 | 2147483647 537995 125 | 0.000 % |
1859.45/1860.15 c | 538229 | 2029 329509 1447248 | 2147483647 538229 125 | 0.000 % |
1861.44/1862.12 c | 538486 | 2029 329509 1447248 | 2147483647 538486 125 | 0.000 % |
1864.54/1865.21 c | 538770 | 2029 329509 1447248 | 2147483647 538770 125 | 0.000 % |
1866.84/1867.55 c | 539079 | 2029 329509 1447248 | 2147483647 539079 125 | 0.000 % |
1869.04/1869.76 c | 539419 | 2029 329509 1447248 | 2147483647 539419 125 | 0.000 % |
1871.84/1872.52 c | 539792 | 2029 329509 1447248 | 2147483647 539792 125 | 0.000 % |
1876.14/1876.89 c | 540201 | 2029 329509 1447248 | 2147483647 540201 125 | 0.000 % |
1879.54/1880.26 c | 540651 | 2029 329509 1447248 | 2147483647 540651 125 | 0.000 % |
1883.04/1883.78 c | 541144 | 2029 329509 1447248 | 2147483647 541144 125 | 0.000 % |
1886.23/1886.93 c | 541686 | 2029 329509 1447248 | 2147483647 541686 125 | 0.000 % |
1889.23/1889.91 c | 542282 | 2029 329509 1447248 | 2147483647 542282 125 | 0.000 % |
1894.73/1895.46 c | 542937 | 2029 329509 1447248 | 2147483647 542937 125 | 0.000 % |
1897.43/1898.17 c | 543657 | 2029 329509 1447248 | 2147483647 543657 125 | 0.000 % |
1901.33/1902.06 c | 544449 | 2029 329509 1447248 | 2147483647 544449 125 | 0.000 % |
1907.23/1907.94 c | 545320 | 2029 329509 1447248 | 2147483647 545320 125 | 0.000 % |
1914.82/1915.56 c | 546280 | 2029 329509 1447248 | 2147483647 546280 125 | 0.000 % |
1924.02/1924.75 c | 547333 | 2029 329509 1447248 | 2147483647 547333 125 | 0.000 % |
1933.82/1934.52 c | 548491 | 2029 329509 1447248 | 2147483647 548491 125 | 0.000 % |
1938.81/1939.57 c | 549765 | 2029 329509 1447248 | 2147483647 549765 125 | 0.000 % |
1947.71/1948.44 c | 551167 | 2029 329509 1447248 | 2147483647 551167 125 | 0.000 % |
1959.81/1960.53 c | 552707 | 2029 329509 1447248 | 2147483647 552707 125 | 0.000 % |
1972.20/1972.99 c | 554402 | 2029 329509 1447248 | 2147483647 554402 125 | 0.000 % |
1979.50/1980.23 c | 556266 | 2029 329509 1447248 | 2147483647 556266 125 | 0.000 % |
1985.80/1986.58 c | 558315 | 2029 329509 1447248 | 2147483647 558315 125 | 0.000 % |
2001.59/2002.38 c | 560570 | 2029 329509 1447248 | 2147483647 560570 125 | 0.000 % |
2021.29/2022.03 c | 563048 | 2029 329509 1447248 | 2147483647 563048 125 | 0.000 % |
2044.88/2045.65 c | 565775 | 2029 329509 1447248 | 2147483647 565775 125 | 0.000 % |
2066.67/2067.45 c | 568773 | 2029 329509 1447248 | 2147483647 568773 125 | 0.000 % |
2081.17/2081.96 c | 572069 | 2029 329509 1447248 | 2147483647 572069 125 | 0.000 % |
2105.36/2106.19 c | 575698 | 2029 329509 1447248 | 2147483647 575698 125 | 0.000 % |
2128.06/2128.81 c | 579687 | 2029 329509 1447248 | 2147483647 579687 126 | 0.000 % |
2151.86/2152.62 c | 584072 | 2029 329509 1447248 | 2147483647 584072 126 | 0.000 % |
2196.84/2197.65 c | 588896 | 2029 329509 1447248 | 2147483647 588896 126 | 0.000 % |
2217.43/2218.29 c | 594202 | 2029 329509 1447248 | 2147483647 594202 126 | 0.000 % |
2218.34/2219.17 c | 594302 | 2029 329509 1447248 | 2147483647 594302 126 | 0.000 % |
2219.23/2220.04 c | 594413 | 2029 329509 1447248 | 2147483647 594413 126 | 0.000 % |
2220.53/2221.35 c | 594534 | 2029 329509 1447248 | 2147483647 594534 126 | 0.000 % |
2221.63/2222.44 c | 594667 | 2029 329509 1447248 | 2147483647 594667 126 | 0.000 % |
2223.43/2224.22 c | 594813 | 2029 329509 1447248 | 2147483647 594813 126 | 0.000 % |
2224.53/2225.35 c | 594974 | 2029 329509 1447248 | 2147483647 594974 126 | 0.000 % |
2226.43/2227.21 c | 595151 | 2029 329509 1447248 | 2147483647 595151 126 | 0.000 % |
2228.03/2228.85 c | 595349 | 2029 329509 1447248 | 2147483647 595349 126 | 0.000 % |
2229.63/2230.46 c | 595561 | 2029 329509 1447248 | 2147483647 595561 126 | 0.000 % |
2231.73/2232.50 c | 595794 | 2029 329509 1447248 | 2147483647 595794 126 | 0.000 % |
2232.73/2233.56 c | 596051 | 2029 329509 1447248 | 2147483647 596051 126 | 0.000 % |
2235.63/2236.43 c | 596332 | 2029 329509 1447248 | 2147483647 596332 126 | 0.000 % |
2238.93/2239.72 c | 596641 | 2029 329509 1447248 | 2147483647 596641 126 | 0.000 % |
2241.33/2242.12 c | 596980 | 2029 329509 1447248 | 2147483647 596980 126 | 0.000 % |
2243.13/2243.92 c | 597352 | 2029 329509 1447248 | 2147483647 597352 126 | 0.000 % |
2245.82/2246.63 c | 597762 | 2029 329509 1447248 | 2147483647 597762 126 | 0.000 % |
2248.22/2249.01 c | 598211 | 2029 329509 1447248 | 2147483647 598211 126 | 0.000 % |
2251.12/2251.99 c | 598705 | 2029 329509 1447248 | 2147483647 598705 126 | 0.000 % |
2254.52/2255.32 c | 599249 | 2029 329509 1447248 | 2147483647 599249 126 | 0.000 % |
2257.11/2257.93 c | 599845 | 2029 329509 1447248 | 2147483647 599845 126 | 0.000 % |
2258.82/2259.68 c | 600502 | 2029 329509 1447248 | 2147483647 600502 126 | 0.000 % |
2266.32/2267.16 c | 601223 | 2029 329509 1447248 | 2147483647 601223 126 | 0.000 % |
2269.22/2270.05 c | 602015 | 2029 329509 1447248 | 2147483647 602015 126 | 0.000 % |
2273.72/2274.52 c | 602887 | 2029 329509 1447248 | 2147483647 602887 126 | 0.000 % |
2279.42/2280.21 c | 603845 | 2029 329509 1447248 | 2147483647 603845 126 | 0.000 % |
2286.31/2287.12 c | 604899 | 2029 329509 1447248 | 2147483647 604899 126 | 0.000 % |
2296.01/2296.85 c | 606057 | 2029 329509 1447248 | 2147483647 606057 126 | 0.000 % |
2306.50/2307.32 c | 607330 | 2029 329509 1447248 | 2147483647 607330 126 | 0.000 % |
2316.30/2317.15 c | 608731 | 2029 329509 1447248 | 2147483647 608731 126 | 0.000 % |
2327.00/2327.88 c | 610273 | 2029 329509 1447248 | 2147483647 610273 126 | 0.000 % |
2336.20/2337.04 c | 611967 | 2029 329509 1447248 | 2147483647 611967 126 | 0.000 % |
2359.39/2360.29 c | 613833 | 2029 329509 1447248 | 2147483647 613833 126 | 0.000 % |
2366.39/2367.28 c | 615882 | 2029 329509 1447248 | 2147483647 615882 126 | 0.000 % |
2382.88/2383.77 c | 618135 | 2029 329509 1447248 | 2147483647 618135 126 | 0.000 % |
2405.07/2405.92 c | 620613 | 2029 329509 1447248 | 2147483647 620613 126 | 0.000 % |
2423.87/2424.75 c | 623341 | 2029 329509 1447248 | 2147483647 623341 126 | 0.000 % |
2444.37/2445.21 c | 626340 | 2029 329509 1447248 | 2147483647 626340 126 | 0.000 % |
2460.16/2461.07 c | 629636 | 2029 329509 1447248 | 2147483647 629636 126 | 0.000 % |
2493.35/2494.28 c | 633261 | 2029 329509 1447248 | 2147483647 633261 126 | 0.000 % |
2517.15/2518.05 c | 637248 | 2029 329509 1447248 | 2147483647 637248 126 | 0.000 % |
2545.43/2546.30 c | 641633 | 2029 329509 1447248 | 2147483647 641633 126 | 0.000 % |
2581.32/2582.29 c | 646457 | 2029 329509 1447248 | 2147483647 646457 126 | 0.000 % |
2610.82/2611.76 c | 651762 | 2029 329509 1447248 | 2147483647 651762 126 | 0.000 % |
2662.21/2663.16 c | 657598 | 2029 329509 1447248 | 2147483647 657598 126 | 0.000 % |
2663.41/2664.36 c | 657699 | 2029 329509 1447248 | 2147483647 657699 126 | 0.000 % |
2664.31/2665.24 c | 657811 | 2029 329509 1447248 | 2147483647 657811 126 | 0.000 % |
2665.51/2666.41 c | 657933 | 2029 329509 1447248 | 2147483647 657933 126 | 0.000 % |
2667.30/2668.22 c | 658066 | 2029 329509 1447248 | 2147483647 658066 126 | 0.000 % |
2669.81/2670.78 c | 658214 | 2029 329509 1447248 | 2147483647 658214 126 | 0.000 % |
2672.50/2673.42 c | 658376 | 2029 329509 1447248 | 2147483647 658376 126 | 0.000 % |
2674.70/2675.69 c | 658552 | 2029 329509 1447248 | 2147483647 658552 126 | 0.000 % |
2676.41/2677.31 c | 658745 | 2029 329509 1447248 | 2147483647 658745 126 | 0.000 % |
2678.50/2679.43 c | 658959 | 2029 329509 1447248 | 2147483647 658959 126 | 0.000 % |
2680.40/2681.34 c | 659194 | 2029 329509 1447248 | 2147483647 659194 126 | 0.000 % |
2682.10/2683.08 c | 659451 | 2029 329509 1447248 | 2147483647 659451 126 | 0.000 % |
2684.60/2685.53 c | 659734 | 2029 329509 1447248 | 2147483647 659734 126 | 0.000 % |
2687.10/2688.10 c | 660044 | 2029 329509 1447248 | 2147483647 660044 126 | 0.000 % |
2690.19/2691.15 c | 660385 | 2029 329509 1447248 | 2147483647 660385 126 | 0.000 % |
2693.69/2694.62 c | 660757 | 2029 329509 1447248 | 2147483647 660757 126 | 0.000 % |
2695.69/2696.66 c | 661168 | 2029 329509 1447248 | 2147483647 661168 126 | 0.000 % |
2699.79/2700.70 c | 661619 | 2029 329509 1447248 | 2147483647 661619 126 | 0.000 % |
2703.49/2704.45 c | 662113 | 2029 329509 1447248 | 2147483647 662113 126 | 0.000 % |
2709.49/2710.46 c | 662655 | 2029 329509 1447248 | 2147483647 662655 126 | 0.000 % |
2713.19/2714.10 c | 663251 | 2029 329509 1447248 | 2147483647 663251 126 | 0.000 % |
2717.49/2718.42 c | 663907 | 2029 329509 1447248 | 2147483647 663907 126 | 0.000 % |
2722.18/2723.11 c | 664629 | 2029 329509 1447248 | 2147483647 664629 126 | 0.000 % |
2728.69/2729.61 c | 665421 | 2029 329509 1447248 | 2147483647 665421 126 | 0.000 % |
2737.99/2738.90 c | 666292 | 2029 329509 1447248 | 2147483647 666292 125 | 0.000 % |
2749.18/2750.17 c | 667251 | 2029 329509 1447248 | 2147483647 667251 125 | 0.000 % |
2754.98/2755.95 c | 668305 | 2029 329509 1447248 | 2147483647 668305 125 | 0.000 % |
2765.07/2766.04 c | 669465 | 2029 329509 1447248 | 2147483647 669465 125 | 0.000 % |
2773.28/2774.26 c | 670740 | 2029 329509 1447248 | 2147483647 670740 125 | 0.000 % |
2779.77/2780.74 c | 672140 | 2029 329509 1447248 | 2147483647 672140 125 | 0.000 % |
2785.86/2786.82 c | 673681 | 2029 329509 1447248 | 2147483647 673681 125 | 0.000 % |
2791.67/2792.62 c | 675376 | 2029 329509 1447248 | 2147483647 675376 125 | 0.000 % |
2800.26/2801.20 c | 677240 | 2029 329509 1447248 | 2147483647 677240 125 | 0.000 % |
2807.16/2808.17 c | 679289 | 2029 329509 1447248 | 2147483647 679289 125 | 0.000 % |
2823.35/2824.33 c | 681547 | 2029 329509 1447248 | 2147483647 681547 125 | 0.000 % |
2848.55/2849.50 c | 684028 | 2029 329509 1447248 | 2147483647 684028 125 | 0.000 % |
2877.74/2878.71 c | 686754 | 2029 329509 1447248 | 2147483647 686754 125 | 0.000 % |
2902.64/2903.69 c | 689751 | 2029 329509 1447248 | 2147483647 689751 125 | 0.000 % |
2918.33/2919.37 c | 693049 | 2029 329509 1447248 | 2147483647 693049 125 | 0.000 % |
2952.82/2953.86 c | 696674 | 2029 329509 1447248 | 2147483647 696674 125 | 0.000 % |
2985.11/2986.15 c | 700666 | 2029 329509 1447248 | 2147483647 700666 125 | 0.000 % |
3020.10/3021.11 c | 705051 | 2029 329509 1447248 | 2147483647 705051 125 | 0.000 % |
3061.19/3062.28 c | 709874 | 2029 329509 1447248 | 2147483647 709874 125 | 0.000 % |
3099.89/3100.94 c | 715179 | 2029 329509 1447248 | 2147483647 715179 125 | 0.000 % |
3128.27/3129.33 c | 721016 | 2029 329509 1447248 | 2147483647 721016 125 | 0.000 % |
3161.47/3162.51 c | 727435 | 2029 329509 1447248 | 2147483647 727435 125 | 0.000 % |
3162.16/3163.29 c | 727535 | 2029 329509 1447248 | 2147483647 727535 125 | 0.000 % |
3163.06/3164.19 c | 727646 | 2029 329509 1447248 | 2147483647 727646 125 | 0.000 % |
3164.76/3165.85 c | 727767 | 2029 329509 1447248 | 2147483647 727767 125 | 0.000 % |
3165.86/3166.94 c | 727903 | 2029 329509 1447248 | 2147483647 727903 125 | 0.000 % |
3168.16/3169.22 c | 728049 | 2029 329509 1447248 | 2147483647 728049 125 | 0.000 % |
3169.85/3170.98 c | 728210 | 2029 329509 1447248 | 2147483647 728210 125 | 0.000 % |
3171.95/3173.06 c | 728386 | 2029 329509 1447248 | 2147483647 728386 125 | 0.000 % |
3173.95/3175.05 c | 728579 | 2029 329509 1447248 | 2147483647 728579 125 | 0.000 % |
3176.25/3177.33 c | 728792 | 2029 329509 1447248 | 2147483647 728792 125 | 0.000 % |
3177.65/3178.76 c | 729025 | 2029 329509 1447248 | 2147483647 729025 125 | 0.000 % |
3179.65/3180.73 c | 729281 | 2029 329509 1447248 | 2147483647 729281 125 | 0.000 % |
3182.15/3183.25 c | 729564 | 2029 329509 1447248 | 2147483647 729564 125 | 0.000 % |
3185.35/3186.42 c | 729874 | 2029 329509 1447248 | 2147483647 729874 125 | 0.000 % |
3187.95/3189.06 c | 730213 | 2029 329509 1447248 | 2147483647 730213 125 | 0.000 % |
3191.25/3192.31 c | 730585 | 2029 329509 1447248 | 2147483647 730585 125 | 0.000 % |
3196.44/3197.50 c | 730996 | 2029 329509 1447248 | 2147483647 730996 125 | 0.000 % |
3202.85/3203.90 c | 731445 | 2029 329509 1447248 | 2147483647 731445 125 | 0.000 % |
3207.35/3208.46 c | 731938 | 2029 329509 1447248 | 2147483647 731938 125 | 0.000 % |
3210.65/3211.78 c | 732483 | 2029 329509 1447248 | 2147483647 732483 125 | 0.000 % |
3215.35/3216.48 c | 733080 | 2029 329509 1447248 | 2147483647 733080 125 | 0.000 % |
3220.04/3221.18 c | 733736 | 2029 329509 1447248 | 2147483647 733736 125 | 0.000 % |
3227.04/3228.11 c | 734456 | 2029 329509 1447248 | 2147483647 734456 125 | 0.000 % |
3233.24/3234.37 c | 735252 | 2029 329509 1447248 | 2147483647 735252 125 | 0.000 % |
3241.14/3242.21 c | 736127 | 2029 329509 1447248 | 2147483647 736127 125 | 0.000 % |
3245.43/3246.51 c | 737085 | 2029 329509 1447248 | 2147483647 737085 125 | 0.000 % |
3251.13/3252.22 c | 738139 | 2029 329509 1447248 | 2147483647 738139 125 | 0.000 % |
3263.32/3264.43 c | 739297 | 2029 329509 1447248 | 2147483647 739297 125 | 0.000 % |
3276.93/3278.09 c | 740572 | 2029 329509 1447248 | 2147483647 740572 125 | 0.000 % |
3288.72/3289.88 c | 741972 | 2029 329509 1447248 | 2147483647 741972 125 | 0.000 % |
3298.92/3300.06 c | 743514 | 2029 329509 1447248 | 2147483647 743514 125 | 0.000 % |
3311.61/3312.70 c | 745209 | 2029 329509 1447248 | 2147483647 745209 125 | 0.000 % |
3324.81/3325.94 c | 747073 | 2029 329509 1447248 | 2147483647 747073 125 | 0.000 % |
3346.60/3347.76 c | 749122 | 2029 329509 1447248 | 2147483647 749122 125 | 0.000 % |
3370.09/3371.26 c | 751375 | 2029 329509 1447248 | 2147483647 751375 125 | 0.000 % |
3391.30/3392.41 c | 753853 | 2029 329509 1447248 | 2147483647 753853 125 | 0.000 % |
3409.29/3410.48 c | 756578 | 2029 329509 1447248 | 2147483647 756578 125 | 0.000 % |
3429.48/3430.69 c | 759575 | 2029 329509 1447248 | 2147483647 759575 126 | 0.000 % |
3453.88/3455.02 c | 762871 | 2029 329509 1447248 | 2147483647 762871 126 | 0.000 % |
3489.97/3491.10 c | 766496 | 2029 329509 1447248 | 2147483647 766496 125 | 0.000 % |
3525.76/3526.95 c | 770484 | 2029 329509 1447248 | 2147483647 770484 125 | 0.000 % |
3563.75/3564.99 c | 774869 | 2029 329509 1447248 | 2147483647 774869 125 | 0.000 % |
3606.74/3608.00 c | 779694 | 2029 329509 1447248 | 2147483647 779694 125 | 0.000 % |
3636.82/3638.00 c | 784999 | 2029 329509 1447248 | 2147483647 784999 125 | 0.000 % |
3667.41/3668.64 c | 790834 | 2029 329509 1447248 | 2147483647 790834 125 | 0.000 % |
3700.80/3702.06 c | 797252 | 2029 329509 1447248 | 2147483647 797252 125 | 0.000 % |
3740.79/3742.05 c | 804311 | 2029 329509 1447248 | 2147483647 804311 124 | 0.000 % |
3741.79/3743.06 c | 804412 | 2029 329509 1447248 | 2147483647 804412 124 | 0.000 % |
3743.19/3744.49 c | 804523 | 2029 329509 1447248 | 2147483647 804523 124 | 0.000 % |
3744.69/3745.90 c | 804644 | 2029 329509 1447248 | 2147483647 804644 124 | 0.000 % |
3746.20/3747.42 c | 804779 | 2029 329509 1447248 | 2147483647 804779 124 | 0.000 % |
3747.50/3748.79 c | 804925 | 2029 329509 1447248 | 2147483647 804925 124 | 0.000 % |
3749.80/3751.09 c | 805086 | 2029 329509 1447248 | 2147483647 805086 124 | 0.000 % |
3752.29/3753.58 c | 805262 | 2029 329509 1447248 | 2147483647 805262 124 | 0.000 % |
3754.49/3755.70 c | 805457 | 2029 329509 1447248 | 2147483647 805457 124 | 0.000 % |
3756.79/3758.04 c | 805669 | 2029 329509 1447248 | 2147483647 805669 124 | 0.000 % |
3758.99/3760.23 c | 805902 | 2029 329509 1447248 | 2147483647 805902 124 | 0.000 % |
3762.59/3763.84 c | 806159 | 2029 329509 1447248 | 2147483647 806159 124 | 0.000 % |
3764.39/3765.60 c | 806441 | 2029 329509 1447248 | 2147483647 806441 124 | 0.000 % |
3767.29/3768.58 c | 806754 | 2029 329509 1447248 | 2147483647 806754 124 | 0.000 % |
3773.59/3774.84 c | 807093 | 2029 329509 1447248 | 2147483647 807093 124 | 0.000 % |
3776.89/3778.19 c | 807468 | 2029 329509 1447248 | 2147483647 807468 124 | 0.000 % |
3781.69/3782.91 c | 807878 | 2029 329509 1447248 | 2147483647 807878 124 | 0.000 % |
3785.18/3786.43 c | 808328 | 2029 329509 1447248 | 2147483647 808328 124 | 0.000 % |
3792.68/3793.94 c | 808824 | 2029 329509 1447248 | 2147483647 808824 124 | 0.000 % |
3796.88/3798.16 c | 809366 | 2029 329509 1447248 | 2147483647 809366 124 | 0.000 % |
3803.17/3804.43 c | 809964 | 2029 329509 1447248 | 2147483647 809964 124 | 0.000 % |
3808.47/3809.72 c | 810621 | 2029 329509 1447248 | 2147483647 810621 124 | 0.000 % |
3813.47/3814.79 c | 811342 | 2029 329509 1447248 | 2147483647 811342 124 | 0.000 % |
3820.36/3821.65 c | 812134 | 2029 329509 1447248 | 2147483647 812134 124 | 0.000 % |
3826.77/3828.02 c | 813005 | 2029 329509 1447248 | 2147483647 813005 124 | 0.000 % |
3835.56/3836.88 c | 813965 | 2029 329509 1447248 | 2147483647 813965 124 | 0.000 % |
3848.96/3850.25 c | 815018 | 2029 329509 1447248 | 2147483647 815018 124 | 0.000 % |
3862.26/3863.50 c | 816177 | 2029 329509 1447248 | 2147483647 816177 124 | 0.000 % |
3876.85/3878.10 c | 817451 | 2029 329509 1447248 | 2147483647 817451 124 | 0.000 % |
3894.95/3896.25 c | 818851 | 2029 329509 1447248 | 2147483647 818851 124 | 0.000 % |
3905.74/3907.05 c | 820393 | 2029 329509 1447248 | 2147483647 820393 124 | 0.000 % |
3926.04/3927.36 c | 822087 | 2029 329509 1447248 | 2147483647 822087 124 | 0.000 % |
3949.93/3951.25 c | 823954 | 2029 329509 1447248 | 2147483647 823954 124 | 0.000 % |
3970.32/3971.62 c | 826006 | 2029 329509 1447248 | 2147483647 826006 124 | 0.000 % |
3993.62/3994.96 c | 828262 | 2029 329509 1447248 | 2147483647 828262 124 | 0.000 % |
4022.42/4023.80 c | 830740 | 2029 329509 1447248 | 2147483647 830740 124 | 0.000 % |
4036.90/4038.29 c | 833465 | 2029 329509 1447248 | 2147483647 833465 124 | 0.000 % |
4054.40/4055.70 c | 836462 | 2029 329509 1447248 | 2147483647 836462 124 | 0.000 % |
4083.29/4084.61 c | 839758 | 2029 329509 1447248 | 2147483647 839758 124 | 0.000 % |
4128.38/4129.75 c | 843383 | 2029 329509 1447248 | 2147483647 843383 124 | 0.000 % |
4175.97/4177.36 c | 847377 | 2029 329509 1447248 | 2147483647 847377 124 | 0.000 % |
4223.35/4224.79 c | 851762 | 2029 329509 1447248 | 2147483647 851762 123 | 0.000 % |
4258.35/4259.75 c | 856587 | 2029 329509 1447248 | 2147483647 856587 123 | 0.000 % |
4322.33/4323.75 c | 861892 | 2029 329509 1447248 | 2147483647 861892 123 | 0.000 % |
4371.91/4373.31 c | 867728 | 2029 329509 1447248 | 2147483647 867728 123 | 0.000 % |
4420.60/4422.09 c | 874147 | 2029 329509 1447248 | 2147483647 874147 123 | 0.000 % |
4464.49/4465.91 c | 881206 | 2029 329509 1447248 | 2147483647 881206 123 | 0.000 % |
4512.77/4514.22 c | 888970 | 2029 329509 1447248 | 2147483647 888970 123 | 0.000 % |
4513.57/4515.02 c | 889070 | 2029 329509 1447248 | 2147483647 889070 123 | 0.000 % |
4514.67/4516.18 c | 889180 | 2029 329509 1447248 | 2147483647 889180 123 | 0.000 % |
4516.77/4518.23 c | 889303 | 2029 329509 1447248 | 2147483647 889303 123 | 0.000 % |
4518.17/4519.65 c | 889437 | 2029 329509 1447248 | 2147483647 889437 123 | 0.000 % |
4519.47/4520.93 c | 889584 | 2029 329509 1447248 | 2147483647 889584 123 | 0.000 % |
4522.27/4523.71 c | 889745 | 2029 329509 1447248 | 2147483647 889745 123 | 0.000 % |
4524.26/4525.73 c | 889921 | 2029 329509 1447248 | 2147483647 889921 123 | 0.000 % |
4527.46/4528.91 c | 890117 | 2029 329509 1447248 | 2147483647 890117 123 | 0.000 % |
4529.56/4531.02 c | 890330 | 2029 329509 1447248 | 2147483647 890330 123 | 0.000 % |
4533.66/4535.14 c | 890563 | 2029 329509 1447248 | 2147483647 890563 123 | 0.000 % |
4537.96/4539.48 c | 890822 | 2029 329509 1447248 | 2147483647 890822 123 | 0.000 % |
4539.96/4541.47 c | 891103 | 2029 329509 1447248 | 2147483647 891103 123 | 0.000 % |
4545.56/4547.06 c | 891412 | 2029 329509 1447248 | 2147483647 891412 123 | 0.000 % |
4548.75/4550.23 c | 891751 | 2029 329509 1447248 | 2147483647 891751 123 | 0.000 % |
4551.47/4552.92 c | 892125 | 2029 329509 1447248 | 2147483647 892125 123 | 0.000 % |
4557.36/4558.87 c | 892538 | 2029 329509 1447248 | 2147483647 892538 123 | 0.000 % |
4561.66/4563.18 c | 892988 | 2029 329509 1447248 | 2147483647 892988 123 | 0.000 % |
4567.96/4569.44 c | 893481 | 2029 329509 1447248 | 2147483647 893481 123 | 0.000 % |
4575.35/4576.87 c | 894025 | 2029 329509 1447248 | 2147483647 894025 123 | 0.000 % |
4581.75/4583.25 c | 894623 | 2029 329509 1447248 | 2147483647 894623 123 | 0.000 % |
4585.84/4587.36 c | 895281 | 2029 329509 1447248 | 2147483647 895281 123 | 0.000 % |
4593.74/4595.27 c | 896003 | 2029 329509 1447248 | 2147483647 896003 123 | 0.000 % |
4608.15/4609.62 c | 896801 | 2029 329509 1447248 | 2147483647 896801 123 | 0.000 % |
4621.24/4622.77 c | 897672 | 2029 329509 1447248 | 2147483647 897672 123 | 0.000 % |
4633.04/4634.54 c | 898631 | 2029 329509 1447248 | 2147483647 898631 123 | 0.000 % |
4641.73/4643.26 c | 899688 | 2029 329509 1447248 | 2147483647 899688 123 | 0.000 % |
4649.34/4650.90 c | 900846 | 2029 329509 1447248 | 2147483647 900846 123 | 0.000 % |
4663.22/4664.76 c | 902124 | 2029 329509 1447248 | 2147483647 902124 123 | 0.000 % |
4674.32/4675.88 c | 903526 | 2029 329509 1447248 | 2147483647 903526 123 | 0.000 % |
4686.12/4687.64 c | 905066 | 2029 329509 1447248 | 2147483647 905066 123 | 0.000 % |
4699.62/4701.12 c | 906765 | 2029 329509 1447248 | 2147483647 906765 123 | 0.000 % |
4714.61/4716.13 c | 908629 | 2029 329509 1447248 | 2147483647 908629 123 | 0.000 % |
4731.30/4732.81 c | 910678 | 2029 329509 1447248 | 2147483647 910678 123 | 0.000 % |
4744.20/4745.78 c | 912931 | 2029 329509 1447248 | 2147483647 912931 123 | 0.000 % |
4765.80/4767.36 c | 915409 | 2029 329509 1447248 | 2147483647 915409 123 | 0.000 % |
4783.49/4785.03 c | 918134 | 2029 329509 1447248 | 2147483647 918134 123 | 0.000 % |
4813.59/4815.14 c | 921131 | 2029 329509 1447248 | 2147483647 921131 123 | 0.000 % |
4835.58/4837.14 c | 924427 | 2029 329509 1447248 | 2147483647 924427 123 | 0.000 % |
4858.97/4860.50 c | 928052 | 2029 329509 1447248 | 2147483647 928052 123 | 0.000 % |
4891.16/4892.70 c | 932040 | 2029 329509 1447248 | 2147483647 932040 123 | 0.000 % |
4942.15/4943.73 c | 936428 | 2029 329509 1447248 | 2147483647 936428 123 | 0.000 % |
4967.74/4969.31 c | 941251 | 2029 329509 1447248 | 2147483647 941251 123 | 0.000 % |
5000.33/5001.99 c | 946556 | 2029 329509 1447248 | 2147483647 946556 123 | 0.000 % |
5066.21/5067.85 c | 952392 | 2029 329509 1447248 | 2147483647 952392 124 | 0.000 % |
5117.10/5118.74 c | 958810 | 2029 329509 1447248 | 2147483647 958810 124 | 0.000 % |
5155.59/5157.29 c | 965871 | 2029 329509 1447248 | 2147483647 965871 123 | 0.000 % |
5208.27/5209.93 c | 973640 | 2029 329509 1447248 | 2147483647 973640 123 | 0.000 % |
5292.45/5294.15 c | 982181 | 2029 329509 1447248 | 2147483647 982181 123 | 0.000 % |
5293.25/5294.90 c | 982281 | 2029 329509 1447248 | 2147483647 982281 123 | 0.000 % |
5295.05/5296.70 c | 982391 | 2029 329509 1447248 | 2147483647 982391 123 | 0.000 % |
5296.25/5297.91 c | 982514 | 2029 329509 1447248 | 2147483647 982514 123 | 0.000 % |
5298.25/5299.93 c | 982647 | 2029 329509 1447248 | 2147483647 982647 123 | 0.000 % |
5300.14/5301.81 c | 982796 | 2029 329509 1447248 | 2147483647 982796 123 | 0.000 % |
5302.04/5303.73 c | 982956 | 2029 329509 1447248 | 2147483647 982956 123 | 0.000 % |
5304.24/5305.92 c | 983132 | 2029 329509 1447248 | 2147483647 983132 123 | 0.000 % |
5306.24/5307.99 c | 983325 | 2029 329509 1447248 | 2147483647 983325 123 | 0.000 % |
5308.44/5310.18 c | 983539 | 2029 329509 1447248 | 2147483647 983539 123 | 0.000 % |
5311.84/5313.55 c | 983774 | 2029 329509 1447248 | 2147483647 983774 123 | 0.000 % |
5316.64/5318.32 c | 984031 | 2029 329509 1447248 | 2147483647 984031 123 | 0.000 % |
5320.44/5322.17 c | 984315 | 2029 329509 1447248 | 2147483647 984315 123 | 0.000 % |
5323.64/5325.34 c | 984624 | 2029 329509 1447248 | 2147483647 984624 123 | 0.000 % |
5327.34/5329.08 c | 984965 | 2029 329509 1447248 | 2147483647 984965 123 | 0.000 % |
5330.93/5332.64 c | 985342 | 2029 329509 1447248 | 2147483647 985342 123 | 0.000 % |
5334.34/5336.01 c | 985751 | 2029 329509 1447248 | 2147483647 985751 123 | 0.000 % |
5337.13/5338.84 c | 986201 | 2029 329509 1447248 | 2147483647 986201 123 | 0.000 % |
5340.73/5342.42 c | 986694 | 2029 329509 1447248 | 2147483647 986694 123 | 0.000 % |
5345.83/5347.55 c | 987237 | 2029 329509 1447248 | 2147483647 987237 123 | 0.000 % |
5350.23/5351.94 c | 987833 | 2029 329509 1447248 | 2147483647 987833 123 | 0.000 % |
5354.33/5356.09 c | 988489 | 2029 329509 1447248 | 2147483647 988489 123 | 0.000 % |
5362.63/5364.34 c | 989210 | 2029 329509 1447248 | 2147483647 989210 123 | 0.000 % |
5371.12/5372.81 c | 990003 | 2029 329509 1447248 | 2147483647 990003 123 | 0.000 % |
5380.03/5381.71 c | 990877 | 2029 329509 1447248 | 2147483647 990877 123 | 0.000 % |
5391.53/5393.28 c | 991836 | 2029 329509 1447248 | 2147483647 991836 123 | 0.000 % |
5398.22/5399.92 c | 992889 | 2029 329509 1447248 | 2147483647 992889 123 | 0.000 % |
5413.11/5414.85 c | 994048 | 2029 329509 1447248 | 2147483647 994048 123 | 0.000 % |
5426.21/5427.92 c | 995321 | 2029 329509 1447248 | 2147483647 995321 123 | 0.000 % |
5444.81/5446.52 c | 996721 | 2029 329509 1447248 | 2147483647 996721 123 | 0.000 % |
5461.20/5462.92 c | 998262 | 2029 329509 1447248 | 2147483647 998262 123 | 0.000 % |
5476.20/5477.94 c | 999959 | 2029 329509 1447248 | 2147483647 999959 123 | 0.000 % |
5487.69/5489.43 c | 1001822 | 2029 329509 1447248 | 2147483647 1001822 123 | 0.000 % |
5499.79/5501.58 c | 1003871 | 2029 329509 1447248 | 2147483647 1003871 123 | 0.000 % |
5520.58/5522.35 c | 1006124 | 2029 329509 1447248 | 2147483647 1006124 123 | 0.000 % |
5541.67/5543.49 c | 1008604 | 2029 329509 1447248 | 2147483647 1008604 123 | 0.000 % |
5570.66/5572.46 c | 1011329 | 2029 329509 1447248 | 1010002 889796 123 | 0.000 % |
5587.96/5589.77 c | 1014326 | 2029 329509 1447248 | 1010002 892793 123 | 0.000 % |
5618.75/5620.55 c | 1017623 | 2029 329509 1447248 | 1010002 896090 123 | 0.000 % |
5641.94/5643.71 c | 1021250 | 2029 329509 1447248 | 2147483647 899717 123 | 0.000 % |
5682.63/5684.43 c | 1025238 | 2029 329509 1447248 | 2147483647 903705 123 | 0.000 % |
5738.61/5740.40 c | 1029623 | 2029 329509 1447248 | 2147483647 908090 123 | 0.000 % |
5781.31/5783.10 c | 1034446 | 2029 329509 1447248 | 2147483647 912913 122 | 0.000 % |
5811.70/5813.56 c | 1039751 | 2029 329509 1447248 | 2147483647 918218 123 | 0.000 % |
5872.88/5874.74 c | 1045588 | 2029 329509 1447248 | 2147483647 924055 123 | 0.000 % |
5929.46/5931.39 c | 1052006 | 2029 329509 1447248 | 2147483647 930473 123 | 0.000 % |
5985.95/5987.88 c | 1059065 | 2029 329509 1447248 | 2147483647 937532 123 | 0.000 % |
6074.22/6076.10 c | 1066830 | 2029 329509 1447248 | 2147483647 945297 123 | 0.000 % |
6114.61/6116.57 c | 1075370 | 2029 329509 1447248 | 2147483647 953837 123 | 0.000 % |
6147.21/6149.11 c | 1084766 | 2029 329509 1447248 | 2147483647 963233 123 | 0.000 % |
6147.81/6149.78 c | 1084866 | 2029 329509 1447248 | 2147483647 963333 123 | 0.000 % |
6149.21/6151.20 c | 1084977 | 2029 329509 1447248 | 2147483647 963444 123 | 0.000 % |
6150.51/6152.41 c | 1085099 | 2029 329509 1447248 | 2147483647 963566 123 | 0.000 % |
6152.71/6154.69 c | 1085232 | 2029 329509 1447248 | 2147483647 963699 123 | 0.000 % |
6156.00/6157.98 c | 1085378 | 2029 329509 1447248 | 2147483647 963845 123 | 0.000 % |
6157.60/6159.56 c | 1085538 | 2029 329509 1447248 | 2147483647 964005 123 | 0.000 % |
6159.60/6161.57 c | 1085715 | 2029 329509 1447248 | 2147483647 964182 123 | 0.000 % |
6161.50/6163.41 c | 1085908 | 2029 329509 1447248 | 2147483647 964375 123 | 0.000 % |
6164.10/6166.09 c | 1086120 | 2029 329509 1447248 | 2147483647 964587 123 | 0.000 % |
6168.20/6170.13 c | 1086355 | 2029 329509 1447248 | 2147483647 964822 123 | 0.000 % |
6171.00/6172.90 c | 1086611 | 2029 329509 1447248 | 2147483647 965078 123 | 0.000 % |
6174.20/6176.14 c | 1086894 | 2029 329509 1447248 | 2147483647 965361 123 | 0.000 % |
6179.20/6181.11 c | 1087203 | 2029 329509 1447248 | 2147483647 965670 123 | 0.000 % |
6183.69/6185.66 c | 1087544 | 2029 329509 1447248 | 2147483647 966011 123 | 0.000 % |
6189.19/6191.15 c | 1087918 | 2029 329509 1447248 | 2147483647 966385 123 | 0.000 % |
6192.39/6194.32 c | 1088328 | 2029 329509 1447248 | 2147483647 966795 123 | 0.000 % |
6196.29/6198.28 c | 1088778 | 2029 329509 1447248 | 2147483647 967245 123 | 0.000 % |
6200.29/6202.22 c | 1089271 | 2029 329509 1447248 | 2147483647 967738 123 | 0.000 % |
6206.69/6208.60 c | 1089814 | 2029 329509 1447248 | 2147483647 968281 123 | 0.000 % |
6213.79/6215.76 c | 1090410 | 2029 329509 1447248 | 2147483647 968877 123 | 0.000 % |
6219.28/6221.24 c | 1091066 | 2029 329509 1447248 | 2147483647 969533 123 | 0.000 % |
6226.38/6228.32 c | 1091787 | 2029 329509 1447248 | 2147483647 970254 123 | 0.000 % |
6234.38/6236.30 c | 1092582 | 2029 329509 1447248 | 2147483647 971049 123 | 0.000 % |
6246.18/6248.13 c | 1093456 | 2029 329509 1447248 | 2147483647 971923 123 | 0.000 % |
6256.67/6258.68 c | 1094416 | 2029 329509 1447248 | 2147483647 972883 123 | 0.000 % |
6268.87/6270.89 c | 1095471 | 2029 329509 1447248 | 2147483647 973938 123 | 0.000 % |
6285.67/6287.63 c | 1096630 | 2029 329509 1447248 | 2147483647 975097 123 | 0.000 % |
6303.96/6305.92 c | 1097904 | 2029 329509 1447248 | 2147483647 976371 123 | 0.000 % |
6314.05/6316.01 c | 1099306 | 2029 329509 1447248 | 2147483647 977773 123 | 0.000 % |
6322.75/6324.70 c | 1100846 | 2029 329509 1447248 | 2147483647 979313 123 | 0.000 % |
6336.55/6338.53 c | 1102540 | 2029 329509 1447248 | 2147483647 981007 123 | 0.000 % |
6366.44/6368.43 c | 1104404 | 2029 329509 1447248 | 2147483647 982871 123 | 0.000 % |
6382.33/6384.31 c | 1106458 | 2029 329509 1447248 | 2147483647 984925 123 | 0.000 % |
6404.73/6406.76 c | 1108716 | 2029 329509 1447248 | 2147483647 987183 123 | 0.000 % |
6418.63/6420.65 c | 1111194 | 2029 329509 1447248 | 2147483647 989661 123 | 0.000 % |
6437.92/6439.98 c | 1113921 | 2029 329509 1447248 | 2147483647 992388 123 | 0.000 % |
6467.81/6469.83 c | 1116918 | 2029 329509 1447248 | 2147483647 995385 123 | 0.000 % |
6494.51/6496.58 c | 1120215 | 2029 329509 1447248 | 998467 998682 123 | 0.000 % |
6524.20/6526.22 c | 1123840 | 2029 329509 1447248 | 998467 862827 122 | 0.000 % |
6551.99/6554.08 c | 1127831 | 2029 329509 1447248 | 998467 866818 122 | 0.000 % |
6577.68/6579.72 c | 1132219 | 2029 329509 1447248 | 2147483647 871206 122 | 0.000 % |
6607.27/6609.35 c | 1137043 | 2029 329509 1447248 | 2147483647 876030 122 | 0.000 % |
6661.05/6663.18 c | 1142349 | 2029 329509 1447248 | 2147483647 881336 122 | 0.000 % |
6691.05/6693.10 c | 1148185 | 2029 329509 1447248 | 2147483647 887172 122 | 0.000 % |
6756.02/6758.17 c | 1154603 | 2029 329509 1447248 | 2147483647 893590 122 | 0.000 % |
6824.11/6826.23 c | 1161664 | 2029 329509 1447248 | 2147483647 900651 122 | 0.000 % |
6895.59/6897.76 c | 1169429 | 2029 329509 1447248 | 2147483647 908416 122 | 0.000 % |
6959.07/6961.21 c | 1177971 | 2029 329509 1447248 | 2147483647 916958 122 | 0.000 % |
7021.55/7023.71 c | 1187365 | 2029 329509 1447248 | 2147483647 926352 122 | 0.000 % |
7099.83/7102.05 c | 1197699 | 2029 329509 1447248 | 2147483647 936686 122 | 0.000 % |
7101.63/7103.83 c | 1197800 | 2029 329509 1447248 | 2147483647 936787 122 | 0.000 % |
7103.13/7105.33 c | 1197910 | 2029 329509 1447248 | 2147483647 936897 122 | 0.000 % |
7104.53/7106.75 c | 1198034 | 2029 329509 1447248 | 2147483647 937021 122 | 0.000 % |
7105.93/7108.11 c | 1198168 | 2029 329509 1447248 | 2147483647 937155 122 | 0.000 % |
7107.43/7109.66 c | 1198315 | 2029 329509 1447248 | 2147483647 937302 122 | 0.000 % |
7109.23/7111.47 c | 1198483 | 2029 329509 1447248 | 2147483647 937470 122 | 0.000 % |
7112.23/7114.41 c | 1198659 | 2029 329509 1447248 | 2147483647 937646 122 | 0.000 % |
7114.73/7116.98 c | 1198855 | 2029 329509 1447248 | 2147483647 937842 122 | 0.000 % |
7117.32/7119.57 c | 1199067 | 2029 329509 1447248 | 2147483647 938054 122 | 0.000 % |
7119.62/7121.87 c | 1199300 | 2029 329509 1447248 | 2147483647 938287 122 | 0.000 % |
7123.42/7125.64 c | 1199558 | 2029 329509 1447248 | 2147483647 938545 122 | 0.000 % |
7126.12/7128.33 c | 1199840 | 2029 329509 1447248 | 2147483647 938827 122 | 0.000 % |
7128.62/7130.89 c | 1200149 | 2029 329509 1447248 | 2147483647 939136 122 | 0.000 % |
7133.32/7135.53 c | 1200491 | 2029 329509 1447248 | 2147483647 939478 122 | 0.000 % |
7135.82/7138.03 c | 1200864 | 2029 329509 1447248 | 2147483647 939851 122 | 0.000 % |
7139.72/7141.97 c | 1201273 | 2029 329509 1447248 | 2147483647 940260 122 | 0.000 % |
7145.62/7147.82 c | 1201722 | 2029 329509 1447248 | 2147483647 940709 122 | 0.000 % |
7153.92/7156.13 c | 1202215 | 2029 329509 1447248 | 2147483647 941202 122 | 0.000 % |
7158.11/7160.34 c | 1202757 | 2029 329509 1447248 | 2147483647 941744 122 | 0.000 % |
7163.41/7165.66 c | 1203353 | 2029 329509 1447248 | 2147483647 942340 122 | 0.000 % |
7168.11/7170.38 c | 1204009 | 2029 329509 1447248 | 2147483647 942996 122 | 0.000 % |
7177.51/7179.75 c | 1204730 | 2029 329509 1447248 | 2147483647 943717 122 | 0.000 % |
7186.00/7188.21 c | 1205522 | 2029 329509 1447248 | 2147483647 944509 122 | 0.000 % |
7197.00/7199.28 c | 1206393 | 2029 329509 1447248 | 2147483647 945380 122 | 0.000 % |
7210.00/7212.26 c | 1207354 | 2029 329509 1447248 | 2147483647 946341 122 | 0.000 % |
7222.80/7225.04 c | 1208408 | 2029 329509 1447248 | 2147483647 947395 122 | 0.000 % |
7237.30/7239.52 c | 1209566 | 2029 329509 1447248 | 2147483647 948553 122 | 0.000 % |
7247.80/7250.04 c | 1210839 | 2029 329509 1447248 | 2147483647 949826 122 | 0.000 % |
7259.79/7262.00 c | 1212240 | 2029 329509 1447248 | 2147483647 951227 122 | 0.000 % |
7274.69/7276.96 c | 1213780 | 2029 329509 1447248 | 2147483647 952767 122 | 0.000 % |
7291.58/7293.86 c | 1215475 | 2029 329509 1447248 | 2147483647 954462 122 | 0.000 % |
7303.58/7305.83 c | 1217339 | 2029 329509 1447248 | 2147483647 956326 122 | 0.000 % |
7317.27/7319.50 c | 1219390 | 2029 329509 1447248 | 2147483647 958377 122 | 0.000 % |
7332.77/7335.06 c | 1221643 | 2029 329509 1447248 | 2147483647 960630 122 | 0.000 % |
7350.46/7352.70 c | 1224124 | 2029 329509 1447248 | 2147483647 963111 122 | 0.000 % |
7374.45/7376.72 c | 1226850 | 2029 329509 1447248 | 2147483647 965837 122 | 0.000 % |
7403.45/7405.72 c | 1229852 | 2029 329509 1447248 | 2147483647 968839 122 | 0.000 % |
7420.94/7423.22 c | 1233148 | 2029 329509 1447248 | 2147483647 972135 122 | 0.000 % |
7439.94/7442.25 c | 1236773 | 2029 329509 1447248 | 2147483647 975760 122 | 0.000 % |
7486.92/7489.23 c | 1240761 | 2029 329509 1447248 | 2147483647 979748 122 | 0.000 % |
7524.41/7526.79 c | 1245146 | 2029 329509 1447248 | 2147483647 984133 122 | 0.000 % |
7575.00/7577.39 c | 1249974 | 2029 329509 1447248 | 2147483647 988961 122 | 0.000 % |
7609.28/7611.65 c | 1255279 | 2029 329509 1447248 | 2147483647 994266 122 | 0.000 % |
7660.97/7663.30 c | 1261114 | 2029 329509 1447248 | 2147483647 1000101 122 | 0.000 % |
7691.07/7693.48 c | 1267534 | 2029 329509 1447248 | 2147483647 1006521 122 | 0.000 % |
7738.95/7741.30 c | 1274594 | 2029 329509 1447248 | 2147483647 1013581 122 | 0.000 % |
7814.83/7817.20 c | 1282361 | 2029 329509 1447248 | 1018987 856310 122 | 0.000 % |
7911.40/7913.80 c | 1290908 | 2029 329509 1447248 | 2147483647 864857 122 | 0.000 % |
7995.78/7998.29 c | 1300302 | 2029 329509 1447248 | 2147483647 874251 121 | 0.000 % |
8069.67/8072.11 c | 1310637 | 2029 329509 1447248 | 2147483647 884586 121 | 0.000 % |
8141.34/8143.83 c | 1322005 | 2029 329509 1447248 | 2147483647 895954 121 | 0.000 % |
8143.05/8145.52 c | 1322105 | 2029 329509 1447248 | 2147483647 896054 121 | 0.000 % |
8145.04/8147.51 c | 1322218 | 2029 329509 1447248 | 2147483647 896167 121 | 0.000 % |
8146.25/8148.75 c | 1322339 | 2029 329509 1447248 | 2147483647 896288 121 | 0.000 % |
8147.64/8150.11 c | 1322472 | 2029 329509 1447248 | 2147483647 896421 121 | 0.000 % |
8149.14/8151.69 c | 1322618 | 2029 329509 1447248 | 2147483647 896567 121 | 0.000 % |
8150.64/8153.19 c | 1322781 | 2029 329509 1447248 | 2147483647 896730 121 | 0.000 % |
8152.44/8154.90 c | 1322957 | 2029 329509 1447248 | 2147483647 896906 121 | 0.000 % |
8154.54/8157.08 c | 1323152 | 2029 329509 1447248 | 2147483647 897101 121 | 0.000 % |
8158.64/8161.13 c | 1323368 | 2029 329509 1447248 | 2147483647 897317 121 | 0.000 % |
8160.54/8163.00 c | 1323603 | 2029 329509 1447248 | 2147483647 897552 121 | 0.000 % |
8162.74/8165.25 c | 1323859 | 2029 329509 1447248 | 2147483647 897808 121 | 0.000 % |
8166.93/8169.41 c | 1324140 | 2029 329509 1447248 | 2147483647 898089 121 | 0.000 % |
8170.83/8173.35 c | 1324450 | 2029 329509 1447248 | 2147483647 898399 121 | 0.000 % |
8174.23/8176.77 c | 1324790 | 2029 329509 1447248 | 2147483647 898739 121 | 0.000 % |
8177.13/8179.60 c | 1325162 | 2029 329509 1447248 | 2147483647 899111 121 | 0.000 % |
8181.83/8184.37 c | 1325574 | 2029 329509 1447248 | 2147483647 899523 121 | 0.000 % |
8187.13/8189.66 c | 1326023 | 2029 329509 1447248 | 2147483647 899972 121 | 0.000 % |
8194.83/8197.34 c | 1326518 | 2029 329509 1447248 | 2147483647 900467 121 | 0.000 % |
8199.62/8202.11 c | 1327061 | 2029 329509 1447248 | 2147483647 901010 121 | 0.000 % |
8204.32/8206.84 c | 1327659 | 2029 329509 1447248 | 2147483647 901608 121 | 0.000 % |
8211.02/8213.53 c | 1328314 | 2029 329509 1447248 | 2147483647 902263 121 | 0.000 % |
8217.22/8219.79 c | 1329036 | 2029 329509 1447248 | 2147483647 902985 121 | 0.000 % |
8225.01/8227.58 c | 1329828 | 2029 329509 1447248 | 2147483647 903777 121 | 0.000 % |
8236.81/8239.31 c | 1330699 | 2029 329509 1447248 | 2147483647 904648 121 | 0.000 % |
8247.71/8250.29 c | 1331658 | 2029 329509 1447248 | 2147483647 905607 121 | 0.000 % |
8256.11/8258.61 c | 1332711 | 2029 329509 1447248 | 2147483647 906660 121 | 0.000 % |
8267.31/8269.85 c | 1333869 | 2029 329509 1447248 | 2147483647 907818 121 | 0.000 % |
8276.60/8279.11 c | 1335142 | 2029 329509 1447248 | 2147483647 909091 121 | 0.000 % |
8290.90/8293.48 c | 1336543 | 2029 329509 1447248 | 2147483647 910492 121 | 0.000 % |
8310.49/8313.01 c | 1338083 | 2029 329509 1447248 | 2147483647 912032 121 | 0.000 % |
8321.09/8323.68 c | 1339778 | 2029 329509 1447248 | 2147483647 913727 121 | 0.000 % |
8333.08/8335.60 c | 1341642 | 2029 329509 1447248 | 2147483647 915591 121 | 0.000 % |
8358.58/8361.15 c | 1343691 | 2029 329509 1447248 | 2147483647 917640 121 | 0.000 % |
8381.67/8384.22 c | 1345945 | 2029 329509 1447248 | 2147483647 919894 121 | 0.000 % |
8404.86/8407.49 c | 1348423 | 2029 329509 1447248 | 2147483647 922372 120 | 0.000 % |
8429.85/8432.41 c | 1351148 | 2029 329509 1447248 | 2147483647 925097 120 | 0.000 % |
8456.64/8459.26 c | 1354149 | 2029 329509 1447248 | 2147483647 928098 120 | 0.000 % |
8485.64/8488.23 c | 1357455 | 2029 329509 1447248 | 2147483647 931404 120 | 0.000 % |
8518.53/8521.14 c | 1361081 | 2029 329509 1447248 | 2147483647 935030 120 | 0.000 % |
8548.12/8550.79 c | 1365069 | 2029 329509 1447248 | 2147483647 939018 120 | 0.000 % |
8587.41/8590.02 c | 1369454 | 2029 329509 1447248 | 2147483647 943403 120 | 0.000 % |
8642.30/8644.94 c | 1374277 | 2029 329509 1447248 | 2147483647 948226 120 | 0.000 % |
8678.18/8680.85 c | 1379585 | 2029 329509 1447248 | 2147483647 953534 120 | 0.000 % |
8745.46/8748.12 c | 1385424 | 2029 329509 1447248 | 2147483647 959373 120 | 0.000 % |
8811.15/8813.86 c | 1391844 | 2029 329509 1447248 | 2147483647 965793 120 | 0.000 % |
8876.83/8879.54 c | 1398910 | 2029 329509 1447248 | 2147483647 972859 120 | 0.000 % |
8941.31/8944.07 c | 1406674 | 2029 329509 1447248 | 2147483647 980623 119 | 0.001 % |
8992.00/8994.78 c | 1415215 | 2029 329509 1447248 | 2147483647 989164 120 | 0.000 % |
9083.07/9085.84 c | 1424610 | 2029 329509 1447248 | 2147483647 998559 120 | 0.000 % |
9156.45/9159.29 c | 1434947 | 2029 329509 1447248 | 2147483647 1008896 120 | 0.000 % |
9206.03/9208.85 c | 1446314 | 2029 329509 1447248 | 2147483647 1020263 120 | 0.000 % |
9306.90/9309.74 c | 1458816 | 2029 329509 1447248 | 2147483647 1032765 120 | 0.000 % |
9307.40/9310.28 c | 1458918 | 2029 329509 1447248 | 2147483647 1032867 120 | 0.000 % |
9308.00/9310.86 c | 1459029 | 2029 329509 1447248 | 2147483647 1032978 120 | 0.000 % |
9309.40/9312.24 c | 1459151 | 2029 329509 1447248 | 2147483647 1033100 120 | 0.000 % |
9311.20/9314.09 c | 1459284 | 2029 329509 1447248 | 2147483647 1033233 120 | 0.000 % |
9312.90/9315.75 c | 1459430 | 2029 329509 1447248 | 2147483647 1033379 120 | 0.000 % |
9315.20/9318.08 c | 1459591 | 2029 329509 1447248 | 2147483647 1033540 120 | 0.000 % |
9317.40/9320.25 c | 1459773 | 2029 329509 1447248 | 2147483647 1033722 120 | 0.000 % |
9319.60/9322.43 c | 1459968 | 2029 329509 1447248 | 2147483647 1033917 120 | 0.000 % |
9322.69/9325.53 c | 1460181 | 2029 329509 1447248 | 2147483647 1034130 120 | 0.000 % |
9324.99/9327.87 c | 1460414 | 2029 329509 1447248 | 2147483647 1034363 120 | 0.000 % |
9328.39/9331.20 c | 1460673 | 2029 329509 1447248 | 2147483647 1034622 120 | 0.000 % |
9331.19/9334.03 c | 1460954 | 2029 329509 1447248 | 2147483647 1034903 120 | 0.000 % |
9335.89/9338.79 c | 1461264 | 2029 329509 1447248 | 2147483647 1035213 120 | 0.000 % |
9340.29/9343.10 c | 1461603 | 2029 329509 1447248 | 2147483647 1035552 120 | 0.000 % |
9343.39/9346.20 c | 1461978 | 2029 329509 1447248 | 2147483647 1035927 120 | 0.000 % |
9348.48/9351.34 c | 1462389 | 2029 329509 1447248 | 2147483647 1036338 120 | 0.000 % |
9354.98/9357.89 c | 1462838 | 2029 329509 1447248 | 2147483647 1036787 120 | 0.000 % |
9360.78/9363.66 c | 1463331 | 2029 329509 1447248 | 2147483647 1037280 120 | 0.000 % |
9367.28/9370.15 c | 1463873 | 2029 329509 1447248 | 2147483647 1037822 120 | 0.000 % |
9374.18/9377.01 c | 1464469 | 2029 329509 1447248 | 2147483647 1038418 120 | 0.000 % |
9378.18/9381.02 c | 1465124 | 2029 329509 1447248 | 2147483647 1039073 120 | 0.000 % |
9381.68/9384.58 c | 1465847 | 2029 329509 1447248 | 2147483647 1039796 120 | 0.000 % |
9392.38/9395.25 c | 1466640 | 2029 329509 1447248 | 2147483647 1040589 120 | 0.000 % |
9403.47/9406.33 c | 1467513 | 2029 329509 1447248 | 2147483647 1041462 120 | 0.000 % |
9416.27/9419.18 c | 1468471 | 2029 329509 1447248 | 2147483647 1042420 120 | 0.000 % |
9433.26/9436.19 c | 1469524 | 2029 329509 1447248 | 2147483647 1043473 120 | 0.000 % |
9445.86/9448.75 c | 1470682 | 2029 329509 1447248 | 2147483647 1044631 120 | 0.000 % |
9454.16/9457.09 c | 1471955 | 2029 329509 1447248 | 2147483647 1045904 120 | 0.000 % |
9464.45/9467.31 c | 1473355 | 2029 329509 1447248 | 2147483647 1047304 120 | 0.000 % |
9481.44/9484.38 c | 1474895 | 2029 329509 1447248 | 2147483647 1048844 120 | 0.000 % |
9500.64/9503.57 c | 1476589 | 2029 329509 1447248 | 2147483647 1050538 120 | 0.000 % |
9519.34/9522.23 c | 1478452 | 2029 329509 1447248 | 2147483647 1052401 120 | 0.000 % |
9551.93/9554.83 c | 1480502 | 2029 329509 1447248 | 2147483647 1054451 120 | 0.000 % |
9572.02/9574.93 c | 1482756 | 2029 329509 1447248 | 2147483647 1056705 120 | 0.000 % |
9598.82/9601.77 c | 1485234 | 2029 329509 1447248 | 2147483647 1059183 120 | 0.000 % |
9614.11/9617.00 c | 1487960 | 2029 329509 1447248 | 2147483647 1061909 120 | 0.000 % |
9634.61/9637.54 c | 1490957 | 2029 329509 1447248 | 2147483647 1064906 120 | 0.000 % |
9660.00/9662.97 c | 1494253 | 2029 329509 1447248 | 2147483647 1068202 120 | 0.000 % |
9688.49/9691.46 c | 1497880 | 2029 329509 1447248 | 2147483647 1071829 120 | 0.000 % |
9720.88/9723.86 c | 1501868 | 2029 329509 1447248 | 2147483647 1075817 120 | 0.000 % |
9747.87/9750.87 c | 1506253 | 2029 329509 1447248 | 2147483647 1080202 120 | 0.000 % |
9800.16/9803.13 c | 1511076 | 2029 329509 1447248 | 2147483647 1085025 120 | 0.000 % |
9870.33/9873.31 c | 1516381 | 2029 329509 1447248 | 2147483647 1090330 120 | 0.000 % |
9914.63/9917.67 c | 1522216 | 2029 329509 1447248 | 2147483647 1096165 120 | 0.000 % |
9989.61/9992.65 c | 1528640 | 2029 329509 1447248 | 2147483647 1102589 120 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837524-1242876550/watcher-1837524-1242876550 -o /tmp/evaluation-result-1837524-1242876550/solver-1837524-1242876550 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837524-1242876550.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.95 1.04 1.00 3/64 16595
/proc/meminfo: memFree=1636392/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=0
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315682937 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16595/statm: 1339 237 197 169 0 50 0
[startup+0.014138 s]
/proc/loadavg: 0.95 1.04 1.00 3/64 16595
/proc/meminfo: memFree=1636392/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=0
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315682937 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16595/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101147 s]
/proc/loadavg: 0.95 1.04 1.00 3/64 16595
/proc/meminfo: memFree=1636392/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=0
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315682937 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16595/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301166 s]
/proc/loadavg: 0.95 1.04 1.00 3/64 16595
/proc/meminfo: memFree=1636392/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=0
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315682937 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16595/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701207 s]
/proc/loadavg: 0.95 1.04 1.00 3/64 16595
/proc/meminfo: memFree=1636392/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=0
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315682937 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16595/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50129 s]
/proc/loadavg: 0.95 1.04 1.00 2/66 16600
/proc/meminfo: memFree=1607768/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=0
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315682937 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16595/statm: 1339 237 197 169 0 50 0
[pid=16599] ppid=16595 vsize=36960 CPUtime=1.48
/proc/16599/stat : 16599 (SatELite_releas) R 16595 16595 16558 0 -1 4194304 8202 0 0 0 144 4 0 0 25 0 1 0 315682938 37847040 8188 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/16599/statm: 9240 8188 76 173 0 9065 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42316
[startup+3.10245 s]
/proc/loadavg: 0.95 1.04 1.00 2/66 16600
/proc/meminfo: memFree=1602008/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=0
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315682937 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16595/statm: 1339 237 197 169 0 50 0
[pid=16599] ppid=16595 vsize=36960 CPUtime=3.08
/proc/16599/stat : 16599 (SatELite_releas) R 16595 16595 16558 0 -1 4194304 8202 0 0 0 304 4 0 0 25 0 1 0 315682938 37847040 8188 1992294400 134512640 135223648 4294956128 18446744073709551615 134585485 0 0 4096 3 0 0 0 17 1 0 0
/proc/16599/statm: 9240 8188 76 173 0 9065 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 42316
[startup+6.30178 s]
/proc/loadavg: 0.96 1.04 1.00 2/66 16601
/proc/meminfo: memFree=1618904/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=18492 CPUtime=0.98
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 4388 0 0 0 95 3 0 0 25 0 1 0 315683468 18935808 4374 1992294400 134512640 135215339 4294956240 18446744073709551615 134525412 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 4623 4374 77 171 0 4450 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 23848
[startup+12.7014 s]
/proc/loadavg: 0.96 1.04 1.00 2/66 16601
/proc/meminfo: memFree=1606192/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=22852 CPUtime=7.37
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 5474 0 0 0 733 4 0 0 25 0 1 0 315683468 23400448 5460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 5713 5460 77 171 0 5540 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28208
[startup+25.5017 s]
/proc/loadavg: 0.97 1.04 1.00 2/66 16601
/proc/meminfo: memFree=1598512/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=30336 CPUtime=20.17
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 7334 0 0 0 2011 6 0 0 25 0 1 0 315683468 31064064 7320 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 7584 7320 77 171 0 7411 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 35692
[startup+51.1013 s]
/proc/loadavg: 0.98 1.03 1.00 2/66 16601
/proc/meminfo: memFree=1585968/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=42764 CPUtime=45.74
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 10435 0 0 0 4565 9 0 0 25 0 1 0 315683468 43790336 10421 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 10691 10421 77 171 0 10518 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 48120
[startup+102.306 s]
/proc/loadavg: 0.99 1.02 1.00 2/66 16601
/proc/meminfo: memFree=1567472/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=61080 CPUtime=96.91
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 15009 0 0 0 9677 14 0 0 25 0 1 0 315683468 62545920 14995 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 15270 14995 77 171 0 15097 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 66436
[startup+162.302 s]
/proc/loadavg: 0.99 1.02 1.00 2/66 16601
/proc/meminfo: memFree=1549744/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=78980 CPUtime=156.88
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 19460 0 0 0 15669 19 0 0 25 0 1 0 315683468 80875520 19446 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 19745 19446 77 171 0 19572 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 84336
[startup+222.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/66 16601
/proc/meminfo: memFree=1534064/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=94528 CPUtime=216.85
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 23318 0 0 0 21662 23 0 0 25 0 1 0 315683468 96796672 23304 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 23632 23304 77 171 0 23459 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 99884
[startup+282.302 s]
/proc/loadavg: 0.99 1.01 1.00 2/66 16601
/proc/meminfo: memFree=1524208/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=104692 CPUtime=276.83
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 25801 0 0 0 27658 25 0 0 25 0 1 0 315683468 107204608 25787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 26173 25787 77 171 0 26000 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 110048
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16601
/proc/meminfo: memFree=1511536/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=117052 CPUtime=336.81
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 28916 0 0 0 33652 29 0 0 25 0 1 0 315683468 119861248 28902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 29263 28902 77 171 0 29090 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 122408
[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 16601
/proc/meminfo: memFree=1500016/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=128740 CPUtime=396.79
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 31840 0 0 0 39648 31 0 0 25 0 1 0 315683468 131829760 31826 1992294400 134512640 135215339 4294956240 18446744073709551615 134539156 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 32185 31826 77 171 0 32012 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 134096
[startup+462.301 s]
################
# More data... #
################
/proc/16601/statm: 145735 144047 77 171 0 145562 0
Current children cumulated CPU time (s) 9339.49
Current children cumulated vsize (KiB) 588296
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1043568/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=584492 CPUtime=9394.18
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 144411 0 0 0 939257 161 0 0 25 0 1 0 315683468 598519808 144397 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 146123 144397 77 171 0 145950 0
Current children cumulated CPU time (s) 9399.47
Current children cumulated vsize (KiB) 589848
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1040624/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=587308 CPUtime=9454.16
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 145115 0 0 0 945254 162 0 0 25 0 1 0 315683468 601403392 145101 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 146827 145101 77 171 0 146654 0
Current children cumulated CPU time (s) 9459.45
Current children cumulated vsize (KiB) 592664
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1037616/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=592424 CPUtime=9514.15
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 145872 0 0 0 951252 163 0 0 25 0 1 0 315683468 606642176 145858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 148106 145858 77 171 0 147933 0
Current children cumulated CPU time (s) 9519.44
Current children cumulated vsize (KiB) 597780
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1034736/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=595236 CPUtime=9574.12
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 146582 0 0 0 957249 163 0 0 25 0 1 0 315683468 609521664 146568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 148809 146568 77 171 0 148636 0
Current children cumulated CPU time (s) 9579.41
Current children cumulated vsize (KiB) 600592
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1030512/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=599508 CPUtime=9634.11
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 147626 0 0 0 963246 165 0 0 25 0 1 0 315683468 613896192 147612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 149877 147612 77 171 0 149704 0
Current children cumulated CPU time (s) 9639.4
Current children cumulated vsize (KiB) 604864
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1026544/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=603380 CPUtime=9694.1
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 148595 0 0 0 969244 166 0 0 25 0 1 0 315683468 617861120 148581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 150845 148581 77 171 0 150672 0
Current children cumulated CPU time (s) 9699.39
Current children cumulated vsize (KiB) 608736
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1021936/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=608000 CPUtime=9754.07
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 149766 0 0 0 975240 167 0 0 25 0 1 0 315683468 622592000 149752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 152000 149752 77 171 0 151827 0
Current children cumulated CPU time (s) 9759.36
Current children cumulated vsize (KiB) 613356
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1019184/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=610672 CPUtime=9814.07
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 150426 0 0 0 981238 169 0 0 25 0 1 0 315683468 625328128 150412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 152668 150412 77 171 0 152495 0
Current children cumulated CPU time (s) 9819.36
Current children cumulated vsize (KiB) 616028
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1016368/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=613528 CPUtime=9874.04
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 151128 0 0 0 987235 169 0 0 25 0 1 0 315683468 628252672 151114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 153382 151114 77 171 0 153209 0
Current children cumulated CPU time (s) 9879.33
Current children cumulated vsize (KiB) 618884
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1012336/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=617576 CPUtime=9934.02
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 152128 0 0 0 993232 170 0 0 25 0 1 0 315683468 632397824 152114 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 154394 152114 77 171 0 154221 0
Current children cumulated CPU time (s) 9939.31
Current children cumulated vsize (KiB) 622932
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1009264/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=620400 CPUtime=9994.01
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 152872 0 0 0 999230 171 0 0 25 0 1 0 315683468 635289600 152858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 155100 152858 77 171 0 154927 0
Current children cumulated CPU time (s) 9999.3
Current children cumulated vsize (KiB) 625756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16625
/proc/meminfo: memFree=1009200/2055920 swapFree=4177980/4192956
[pid=16595] ppid=16593 vsize=5356 CPUtime=5.29
/proc/16595/stat : 16595 (SatELiteGTI) S 16593 16595 16558 0 -1 4194304 336 8454 0 0 0 0 522 7 16 0 1 0 315682937 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16595/statm: 1339 239 197 169 0 50 0
[pid=16601] ppid=16595 vsize=620532 CPUtime=9994.71
/proc/16601/stat : 16601 (minisat_static) R 16595 16595 16558 0 -1 4194304 152884 0 0 0 999300 171 0 0 25 0 1 0 315683468 635424768 152870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16601/statm: 155133 152870 77 171 0 154960 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 625888
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 16595 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=225205
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=79987
# CPU time returned by wait4() is 5.30519
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10003
CPU time (s): 10000
CPU user time (s): 9998.22
CPU system time (s): 1.78
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 625888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.2252
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8790
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= 22
runsolver used 11.3593 second user time and 25.1732 second system time
The end
Begin job on node45 at 2009-05-21 05:29:11
IDJOB=1837524
IDBENCH=71077
IDSOLVER=674
FILE ID=node45/1837524-1242876550
PBS_JOBID= 9328631
Free space on /tmp= 66180 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_15_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837524-1242876550/watcher-1837524-1242876550 -o /tmp/evaluation-result-1837524-1242876550/solver-1837524-1242876550 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837524-1242876550.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8e41b9860982308be5a85106d5324611
RANDOM SEED=2101556445
node45.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.231
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.231
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: 1636880 kB
Buffers: 39844 kB
Cached: 328796 kB
SwapCached: 9372 kB
Active: 121388 kB
Inactive: 257984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1636880 kB
SwapTotal: 4192956 kB
SwapFree: 4177980 kB
Dirty: 7112 kB
Writeback: 0 kB
Mapped: 13956 kB
Slab: 25748 kB
Committed_AS: 1050748 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66168 MiB
End job on node45 at 2009-05-21 08:15:56