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 | 362797 1083511 | 108839 0 0 nan | 0.000 % |
4.98/5.07 c | 0 | 361512 1585361 | -- 0 -- -- | -- | -1285/501850
4.98/5.07 c ==============================================================================
4.98/5.07 c Result : #vars: 2152 #clauses: 361512 #literals: 1585361
4.98/5.07 c CPU time: 5.02224 s
4.98/5.07 c ==============================================================================
5.48/5.51 c This is MiniSat 2.0 beta
5.48/5.51 c WARNING: for repeatability, setting FPU to use double precision
5.48/5.51 c ============================[ Problem Statistics ]=============================
5.48/5.51 c | |
5.48/5.51 c | Number of variables: 2152 |
5.48/5.51 c | Number of clauses: 361512 |
5.49/5.70 c | Parsing time: 0.17 s |
5.49/5.71 c ============================[ Search Statistics ]==============================
5.49/5.71 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.49/5.71 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.49/5.71 c ===============================================================================
5.49/5.71 c | 0 | 2152 361512 1585361 | 120504 0 nan | 0.000 % |
5.49/5.87 c | 101 | 2152 361512 1585361 | 120504 101 79 | 0.000 % |
5.49/5.94 c | 203 | 2152 361512 1585361 | 120504 203 88 | 0.000 % |
5.49/6.02 c | 303 | 2152 361512 1585361 | 120504 303 89 | 0.000 % |
5.49/6.10 c | 415 | 2152 361512 1585361 | 120504 415 91 | 0.000 % |
5.49/6.19 c | 515 | 2152 361512 1585361 | 120504 515 96 | 0.000 % |
5.49/6.31 c | 625 | 2152 361512 1585361 | 120504 625 98 | 0.000 % |
5.49/6.38 c | 747 | 2152 361512 1585361 | 120504 747 100 | 0.000 % |
5.49/6.45 c | 848 | 2152 361512 1585361 | 120504 848 100 | 0.000 % |
5.49/6.52 c | 961 | 2152 361512 1585361 | 120504 961 101 | 0.000 % |
6.57/6.64 c | 1082 | 2152 361512 1585361 | 120504 1082 104 | 0.000 % |
6.67/6.73 c | 1215 | 2152 361512 1585361 | 120504 1215 105 | 0.000 % |
6.67/6.80 c | 1315 | 2152 361512 1585361 | 120504 1315 105 | 0.000 % |
6.76/6.87 c | 1426 | 2152 361512 1585361 | 120504 1426 104 | 0.000 % |
6.86/6.95 c | 1547 | 2152 361512 1585361 | 120504 1547 106 | 0.000 % |
6.96/7.06 c | 1680 | 2152 361512 1585361 | 120504 1680 106 | 0.000 % |
7.06/7.18 c | 1827 | 2152 361512 1585361 | 120504 1827 108 | 0.000 % |
7.16/7.27 c | 1927 | 2152 361512 1585361 | 120504 1927 108 | 0.000 % |
7.26/7.36 c | 2039 | 2152 361512 1585361 | 120504 2039 107 | 0.000 % |
7.36/7.44 c | 2161 | 2152 361512 1585361 | 120504 2161 107 | 0.000 % |
7.46/7.50 c | 2294 | 2152 361512 1585361 | 120504 2294 107 | 0.000 % |
7.56/7.61 c | 2440 | 2152 361512 1585361 | 120504 2440 108 | 0.000 % |
7.67/7.72 c | 2601 | 2152 361512 1585361 | 120504 2601 109 | 0.000 % |
7.67/7.78 c | 2702 | 2152 361512 1585361 | 120504 2702 109 | 0.000 % |
7.77/7.89 c | 2812 | 2152 361512 1585361 | 120504 2812 109 | 0.000 % |
7.87/7.97 c | 2936 | 2152 361512 1585361 | 120504 2936 110 | 0.000 % |
7.96/8.09 c | 3070 | 2152 361512 1585361 | 120504 3070 110 | 0.000 % |
8.06/8.17 c | 3217 | 2152 361512 1585361 | 120504 3217 111 | 0.000 % |
8.16/8.27 c | 3379 | 2152 361512 1585361 | 120504 3379 111 | 0.000 % |
8.26/8.39 c | 3557 | 2152 361512 1585361 | 120504 3557 111 | 0.000 % |
8.36/8.48 c | 3658 | 2152 361512 1585361 | 120504 3658 111 | 0.000 % |
8.46/8.58 c | 3769 | 2152 361512 1585361 | 120504 3769 111 | 0.000 % |
8.56/8.68 c | 3893 | 2152 361512 1585361 | 120504 3893 112 | 0.000 % |
8.66/8.79 c | 4027 | 2152 361512 1585361 | 120504 4027 112 | 0.000 % |
8.77/8.89 c | 4173 | 2152 361512 1585361 | 120504 4173 113 | 0.000 % |
8.87/8.98 c | 4336 | 2152 361512 1585361 | 120504 4336 113 | 0.000 % |
9.06/9.11 c | 4513 | 2152 361512 1585361 | 120504 4513 113 | 0.000 % |
9.16/9.25 c | 4706 | 2152 361512 1585361 | 120504 4706 115 | 0.000 % |
9.26/9.34 c | 4807 | 2152 361512 1585361 | 120504 4807 115 | 0.000 % |
9.36/9.42 c | 4917 | 2152 361512 1585361 | 120504 4917 115 | 0.000 % |
9.46/9.54 c | 5041 | 2152 361512 1585361 | 120504 5041 116 | 0.000 % |
9.56/9.63 c | 5175 | 2152 361512 1585361 | 120504 5175 117 | 0.000 % |
9.66/9.73 c | 5321 | 2152 361512 1585361 | 120504 5321 118 | 0.000 % |
9.76/9.84 c | 5481 | 2152 361512 1585361 | 120504 5481 119 | 0.000 % |
9.86/9.96 c | 5658 | 2152 361512 1585361 | 120504 5658 119 | 0.000 % |
9.96/10.05 c | 5853 | 2152 361512 1585361 | 120504 5853 120 | 0.000 % |
10.06/10.14 c | 6067 | 2152 361512 1585361 | 120504 6067 121 | 0.000 % |
10.06/10.20 c | 6167 | 2152 361512 1585361 | 120504 6167 122 | 0.000 % |
10.16/10.23 c | 6277 | 2152 361512 1585361 | 120504 6277 123 | 0.000 % |
10.16/10.28 c | 6399 | 2152 361512 1585361 | 120504 6399 124 | 0.000 % |
10.26/10.34 c | 6532 | 2152 361512 1585361 | 120504 6532 124 | 0.000 % |
10.37/10.41 c | 6678 | 2152 361512 1585361 | 120504 6678 125 | 0.000 % |
10.37/10.48 c | 6841 | 2152 361512 1585361 | 120504 6841 126 | 0.000 % |
10.46/10.56 c | 7017 | 2152 361512 1585361 | 120504 7017 127 | 0.000 % |
10.56/10.63 c | 7210 | 2152 361512 1585361 | 120504 7210 129 | 0.000 % |
10.66/10.71 c | 7422 | 2152 361512 1585361 | 120504 7422 130 | 0.000 % |
10.76/10.82 c | 7655 | 2152 361512 1585361 | 120504 7655 131 | 0.000 % |
10.76/10.87 c | 7757 | 2152 361512 1585361 | 120504 7757 132 | 0.000 % |
10.86/10.92 c | 7867 | 2152 361512 1585361 | 120504 7867 132 | 0.000 % |
10.86/10.98 c | 7990 | 2152 361512 1585361 | 120504 7990 133 | 0.000 % |
10.96/11.05 c | 8123 | 2152 361512 1585361 | 120504 8123 134 | 0.000 % |
11.06/11.14 c | 8269 | 2152 361512 1585361 | 120504 8269 134 | 0.000 % |
11.16/11.23 c | 8431 | 2152 361512 1585361 | 120504 8431 135 | 0.000 % |
11.25/11.32 c | 8607 | 2152 361512 1585361 | 120504 8607 135 | 0.000 % |
11.35/11.43 c | 8802 | 2152 361512 1585361 | 120504 8802 136 | 0.000 % |
11.45/11.52 c | 9014 | 2152 361512 1585361 | 120504 9014 137 | 0.000 % |
11.55/11.68 c | 9248 | 2152 361512 1585361 | 120504 9248 138 | 0.000 % |
11.75/11.83 c | 9504 | 2152 361512 1585361 | 120504 9504 138 | 0.000 % |
11.75/11.88 c | 9604 | 2152 361512 1585361 | 120504 9604 139 | 0.000 % |
11.85/11.94 c | 9716 | 2152 361512 1585361 | 120504 9716 139 | 0.000 % |
11.95/12.04 c | 9839 | 2152 361512 1585361 | 120504 9839 139 | 0.000 % |
12.06/12.15 c | 9974 | 2152 361512 1585361 | 120504 9974 140 | 0.000 % |
12.16/12.25 c | 10120 | 2152 361512 1585361 | 2147483647 10120 140 | 0.000 % |
12.26/12.35 c | 10280 | 2152 361512 1585361 | 2147483647 10280 140 | 0.000 % |
12.36/12.44 c | 10456 | 2152 361512 1585361 | 2147483647 10456 141 | 0.000 % |
12.46/12.56 c | 10649 | 2152 361512 1585361 | 2147483647 10649 141 | 0.000 % |
12.66/12.70 c | 10861 | 2152 361512 1585361 | 2147483647 10861 141 | 0.000 % |
12.86/12.91 c | 11094 | 2152 361512 1585361 | 2147483647 11094 142 | 0.000 % |
13.06/13.13 c | 11351 | 2152 361512 1585361 | 2147483647 11351 142 | 0.000 % |
13.26/13.31 c | 11634 | 2152 361512 1585361 | 2147483647 11634 143 | 0.000 % |
13.26/13.38 c | 11736 | 2152 361512 1585361 | 2147483647 11736 143 | 0.000 % |
13.36/13.48 c | 11846 | 2152 361512 1585361 | 2147483647 11846 143 | 0.000 % |
13.46/13.58 c | 11967 | 2152 361512 1585361 | 2147483647 11967 144 | 0.000 % |
13.66/13.71 c | 12100 | 2152 361512 1585361 | 2147483647 12100 144 | 0.000 % |
13.76/13.85 c | 12246 | 2152 361512 1585361 | 2147483647 12246 144 | 0.000 % |
13.96/14.01 c | 12407 | 2152 361512 1585361 | 2147483647 12407 144 | 0.000 % |
14.06/14.18 c | 12584 | 2152 361512 1585361 | 2147483647 12584 145 | 0.000 % |
14.26/14.33 c | 12777 | 2152 361512 1585361 | 2147483647 12777 145 | 0.000 % |
14.45/14.57 c | 12990 | 2152 361512 1585361 | 2147483647 12990 145 | 0.000 % |
14.75/14.80 c | 13225 | 2152 361512 1585361 | 2147483647 13225 146 | 0.000 % |
15.05/15.10 c | 13481 | 2152 361512 1585361 | 2147483647 13481 146 | 0.000 % |
15.36/15.41 c | 13763 | 2152 361512 1585361 | 2147483647 13763 146 | 0.000 % |
15.65/15.76 c | 14073 | 2152 361512 1585361 | 2147483647 14073 147 | 0.000 % |
15.85/15.90 c | 14175 | 2152 361512 1585361 | 2147483647 14175 147 | 0.000 % |
15.95/16.03 c | 14285 | 2152 361512 1585361 | 2147483647 14285 147 | 0.000 % |
16.05/16.16 c | 14407 | 2152 361512 1585361 | 2147483647 14407 147 | 0.000 % |
16.25/16.32 c | 14541 | 2152 361512 1585361 | 2147483647 14541 147 | 0.000 % |
16.35/16.48 c | 14690 | 2152 361512 1585361 | 2147483647 14690 147 | 0.000 % |
16.56/16.62 c | 14850 | 2152 361512 1585361 | 2147483647 14850 147 | 0.000 % |
16.65/16.71 c | 15028 | 2152 361512 1585361 | 2147483647 15028 147 | 0.000 % |
16.85/16.93 c | 15221 | 2152 361512 1585361 | 2147483647 15221 148 | 0.000 % |
16.95/17.06 c | 15433 | 2152 361512 1585361 | 2147483647 15433 148 | 0.000 % |
17.25/17.32 c | 15666 | 2152 361512 1585361 | 2147483647 15666 147 | 0.000 % |
17.35/17.47 c | 15922 | 2152 361512 1585361 | 2147483647 15922 147 | 0.000 % |
17.56/17.68 c | 16203 | 2152 361512 1585361 | 2147483647 16203 147 | 0.000 % |
17.75/17.86 c | 16512 | 2152 361512 1585361 | 2147483647 16512 147 | 0.000 % |
18.15/18.24 c | 16851 | 2152 361512 1585361 | 2147483647 16851 147 | 0.000 % |
18.25/18.34 c | 16951 | 2152 361512 1585361 | 2147483647 16951 147 | 0.000 % |
18.35/18.47 c | 17062 | 2152 361512 1585361 | 2147483647 17062 147 | 0.000 % |
18.55/18.63 c | 17183 | 2152 361512 1585361 | 2147483647 17183 147 | 0.000 % |
18.65/18.77 c | 17317 | 2152 361512 1585361 | 2147483647 17317 147 | 0.000 % |
18.86/18.92 c | 17463 | 2152 361512 1585361 | 2147483647 17463 147 | 0.000 % |
18.96/19.07 c | 17626 | 2152 361512 1585361 | 2147483647 17626 147 | 0.000 % |
19.16/19.21 c | 17805 | 2152 361512 1585361 | 2147483647 17805 147 | 0.000 % |
19.26/19.35 c | 17999 | 2152 361512 1585361 | 2147483647 17999 147 | 0.000 % |
19.46/19.54 c | 18211 | 2152 361512 1585361 | 2147483647 18211 147 | 0.000 % |
19.66/19.76 c | 18444 | 2152 361512 1585361 | 2147483647 18444 147 | 0.000 % |
19.86/19.93 c | 18702 | 2152 361512 1585361 | 2147483647 18702 147 | 0.000 % |
20.06/20.13 c | 18985 | 2152 361512 1585361 | 2147483647 18985 147 | 0.000 % |
20.26/20.37 c | 19294 | 2152 361512 1585361 | 2147483647 19294 147 | 0.000 % |
20.46/20.52 c | 19634 | 2152 361512 1585361 | 2147483647 19634 147 | 0.000 % |
20.65/20.73 c | 20011 | 2152 361512 1585361 | 2147483647 20011 147 | 0.000 % |
20.75/20.87 c | 20113 | 2152 361512 1585361 | 2147483647 20113 147 | 0.000 % |
20.86/20.97 c | 20224 | 2152 361512 1585361 | 2147483647 20224 147 | 0.000 % |
20.96/21.05 c | 20346 | 2152 361512 1585361 | 2147483647 20346 147 | 0.000 % |
21.05/21.14 c | 20479 | 2152 361512 1585361 | 2147483647 20479 147 | 0.000 % |
21.15/21.26 c | 20626 | 2152 361512 1585361 | 2147483647 20626 147 | 0.000 % |
21.25/21.37 c | 20786 | 2152 361512 1585361 | 2147483647 20786 147 | 0.000 % |
21.35/21.49 c | 20962 | 2152 361512 1585361 | 2147483647 20962 147 | 0.000 % |
21.55/21.63 c | 21155 | 2152 361512 1585361 | 2147483647 21155 147 | 0.000 % |
21.75/21.84 c | 21367 | 2152 361512 1585361 | 2147483647 21367 147 | 0.000 % |
21.85/21.99 c | 21601 | 2152 361512 1585361 | 2147483647 21601 147 | 0.000 % |
22.06/22.13 c | 21860 | 2152 361512 1585361 | 2147483647 21860 147 | 0.000 % |
22.25/22.33 c | 22143 | 2152 361512 1585361 | 2147483647 22143 147 | 0.000 % |
22.35/22.50 c | 22452 | 2152 361512 1585361 | 2147483647 22452 147 | 0.000 % |
22.65/22.70 c | 22792 | 2152 361512 1585361 | 2147483647 22792 147 | 0.000 % |
22.85/22.91 c | 23165 | 2152 361512 1585361 | 2147483647 23165 147 | 0.000 % |
23.05/23.19 c | 23577 | 2152 361512 1585361 | 2147483647 23577 147 | 0.000 % |
23.25/23.30 c | 23678 | 2152 361512 1585361 | 2147483647 23678 147 | 0.000 % |
23.25/23.35 c | 23789 | 2152 361512 1585361 | 2147483647 23789 147 | 0.000 % |
23.35/23.43 c | 23910 | 2152 361512 1585361 | 2147483647 23910 147 | 0.000 % |
23.45/23.55 c | 24043 | 2152 361512 1585361 | 2147483647 24043 147 | 0.000 % |
23.55/23.69 c | 24189 | 2152 361512 1585361 | 2147483647 24189 147 | 0.000 % |
23.75/23.81 c | 24351 | 2152 361512 1585361 | 2147483647 24351 147 | 0.000 % |
23.85/23.97 c | 24528 | 2152 361512 1585361 | 2147483647 24528 147 | 0.000 % |
24.05/24.15 c | 24722 | 2152 361512 1585361 | 2147483647 24722 147 | 0.000 % |
24.25/24.31 c | 24934 | 2152 361512 1585361 | 2147483647 24934 147 | 0.000 % |
24.45/24.50 c | 25167 | 2152 361512 1585361 | 2147483647 25167 147 | 0.000 % |
24.55/24.69 c | 25423 | 2152 361512 1585361 | 2147483647 25423 147 | 0.000 % |
24.75/24.86 c | 25705 | 2152 361512 1585361 | 2147483647 25705 147 | 0.000 % |
24.94/25.05 c | 26014 | 2152 361512 1585361 | 2147483647 26014 147 | 0.000 % |
25.24/25.38 c | 26353 | 2152 361512 1585361 | 2147483647 26353 147 | 0.000 % |
26.15/26.21 c | 26727 | 2152 361512 1585361 | 2147483647 26727 146 | 0.000 % |
26.45/26.58 c | 27136 | 2152 361512 1585361 | 2147483647 27136 146 | 0.000 % |
27.14/27.21 c | 27585 | 2152 361512 1585361 | 2147483647 27585 145 | 0.000 % |
27.24/27.34 c | 27685 | 2152 361512 1585361 | 2147483647 27685 145 | 0.000 % |
27.45/27.50 c | 27797 | 2152 361512 1585361 | 2147483647 27797 145 | 0.000 % |
27.64/27.76 c | 27918 | 2152 361512 1585361 | 2147483647 27918 145 | 0.000 % |
27.84/27.98 c | 28052 | 2152 361512 1585361 | 2147483647 28052 145 | 0.000 % |
28.14/28.23 c | 28198 | 2152 361512 1585361 | 2147483647 28198 144 | 0.000 % |
28.34/28.45 c | 28359 | 2152 361512 1585361 | 2147483647 28359 144 | 0.000 % |
28.54/28.68 c | 28535 | 2152 361512 1585361 | 2147483647 28535 144 | 0.000 % |
28.84/28.93 c | 28728 | 2152 361512 1585361 | 2147483647 28728 144 | 0.000 % |
29.14/29.25 c | 28940 | 2152 361512 1585361 | 2147483647 28940 144 | 0.000 % |
29.55/29.67 c | 29174 | 2152 361512 1585361 | 2147483647 29174 144 | 0.000 % |
30.15/30.22 c | 29431 | 2152 361512 1585361 | 2147483647 29431 143 | 0.000 % |
30.44/30.59 c | 29712 | 2152 361512 1585361 | 2147483647 29712 142 | 0.000 % |
31.04/31.18 c | 30022 | 2152 361512 1585361 | 2147483647 30022 142 | 0.000 % |
31.54/31.65 c | 30361 | 2152 361512 1585361 | 2147483647 30361 142 | 0.000 % |
32.04/32.16 c | 30734 | 2152 361512 1585361 | 2147483647 30734 142 | 0.000 % |
32.54/32.67 c | 31144 | 2152 361512 1585361 | 2147483647 31144 141 | 0.000 % |
33.73/33.80 c | 31596 | 2152 361512 1585361 | 2147483647 31596 141 | 0.000 % |
34.03/34.13 c | 32090 | 2152 361512 1585361 | 2147483647 32090 141 | 0.000 % |
34.23/34.38 c | 32190 | 2152 361512 1585361 | 2147483647 32190 141 | 0.000 % |
34.43/34.55 c | 32301 | 2152 361512 1585361 | 2147483647 32301 141 | 0.000 % |
34.73/34.80 c | 32423 | 2152 361512 1585361 | 2147483647 32423 141 | 0.000 % |
34.83/34.96 c | 32556 | 2152 361512 1585361 | 2147483647 32556 141 | 0.000 % |
35.23/35.32 c | 32702 | 2152 361512 1585361 | 2147483647 32702 141 | 0.000 % |
35.43/35.50 c | 32862 | 2152 361512 1585361 | 2147483647 32862 140 | 0.000 % |
35.93/36.05 c | 33038 | 2152 361512 1585361 | 2147483647 33038 140 | 0.000 % |
36.23/36.35 c | 33231 | 2152 361512 1585361 | 2147483647 33231 140 | 0.000 % |
36.53/36.68 c | 33444 | 2152 361512 1585361 | 2147483647 33444 140 | 0.000 % |
36.84/36.92 c | 33677 | 2152 361512 1585361 | 2147483647 33677 140 | 0.000 % |
37.14/37.29 c | 33933 | 2152 361512 1585361 | 2147483647 33933 140 | 0.000 % |
37.64/37.70 c | 34214 | 2152 361512 1585361 | 2147483647 34214 140 | 0.000 % |
37.93/38.09 c | 34523 | 2152 361512 1585361 | 2147483647 34523 139 | 0.000 % |
38.43/38.58 c | 34862 | 2152 361512 1585361 | 2147483647 34862 139 | 0.000 % |
38.93/39.01 c | 35234 | 2152 361512 1585361 | 2147483647 35234 139 | 0.000 % |
39.53/39.67 c | 35644 | 2152 361512 1585361 | 2147483647 35644 139 | 0.000 % |
40.02/40.18 c | 36094 | 2152 361512 1585361 | 2147483647 36094 139 | 0.000 % |
40.73/40.85 c | 36589 | 2152 361512 1585361 | 2147483647 36589 139 | 0.000 % |
41.52/41.69 c | 37131 | 2152 361512 1585361 | 2147483647 37131 138 | 0.000 % |
41.92/42.09 c | 37233 | 2152 361512 1585361 | 2147483647 37233 138 | 0.000 % |
42.12/42.25 c | 37346 | 2152 361512 1585361 | 2147483647 37346 138 | 0.000 % |
42.32/42.44 c | 37467 | 2152 361512 1585361 | 2147483647 37467 138 | 0.000 % |
42.52/42.62 c | 37600 | 2152 361512 1585361 | 2147483647 37600 138 | 0.000 % |
42.62/42.77 c | 37747 | 2152 361512 1585361 | 2147483647 37747 138 | 0.000 % |
43.12/43.22 c | 37907 | 2152 361512 1585361 | 2147483647 37907 138 | 0.000 % |
43.32/43.43 c | 38085 | 2152 361512 1585361 | 2147483647 38085 137 | 0.000 % |
43.52/43.67 c | 38278 | 2152 361512 1585361 | 2147483647 38278 137 | 0.000 % |
43.72/43.89 c | 38490 | 2152 361512 1585361 | 2147483647 38490 137 | 0.000 % |
44.12/44.21 c | 38723 | 2152 361512 1585361 | 2147483647 38723 137 | 0.000 % |
44.42/44.50 c | 38979 | 2152 361512 1585361 | 2147483647 38979 137 | 0.000 % |
44.82/44.95 c | 39262 | 2152 361512 1585361 | 2147483647 39262 137 | 0.000 % |
45.22/45.37 c | 39571 | 2152 361512 1585361 | 2147483647 39571 137 | 0.000 % |
45.92/46.06 c | 39910 | 2152 361512 1585361 | 2147483647 39910 137 | 0.000 % |
46.52/46.63 c | 40283 | 2152 361512 1585361 | 2147483647 40283 137 | 0.000 % |
47.02/47.17 c | 40692 | 2152 361512 1585361 | 2147483647 40692 137 | 0.000 % |
47.62/47.73 c | 41144 | 2152 361512 1585361 | 2147483647 41144 137 | 0.000 % |
48.81/48.93 c | 41637 | 2152 361512 1585361 | 2147483647 41637 137 | 0.000 % |
49.43/49.54 c | 42180 | 2152 361512 1585361 | 2147483647 42180 136 | 0.000 % |
50.72/50.88 c | 42776 | 2152 361512 1585361 | 2147483647 42776 136 | 0.000 % |
50.92/51.09 c | 42878 | 2152 361512 1585361 | 2147483647 42878 136 | 0.000 % |
51.12/51.30 c | 42988 | 2152 361512 1585361 | 2147483647 42988 136 | 0.000 % |
51.52/51.62 c | 43110 | 2152 361512 1585361 | 2147483647 43110 136 | 0.000 % |
51.72/51.81 c | 43245 | 2152 361512 1585361 | 2147483647 43245 136 | 0.000 % |
51.92/52.02 c | 43391 | 2152 361512 1585361 | 2147483647 43391 136 | 0.000 % |
52.12/52.20 c | 43551 | 2152 361512 1585361 | 2147483647 43551 136 | 0.000 % |
52.42/52.53 c | 43728 | 2152 361512 1585361 | 2147483647 43728 136 | 0.000 % |
52.62/52.74 c | 43921 | 2152 361512 1585361 | 2147483647 43921 136 | 0.000 % |
53.02/53.10 c | 44134 | 2152 361512 1585361 | 2147483647 44134 136 | 0.000 % |
53.51/53.63 c | 44369 | 2152 361512 1585361 | 2147483647 44369 136 | 0.000 % |
53.82/53.97 c | 44627 | 2152 361512 1585361 | 2147483647 44627 136 | 0.000 % |
54.31/54.46 c | 44909 | 2152 361512 1585361 | 2147483647 44909 135 | 0.000 % |
55.11/55.25 c | 45219 | 2152 361512 1585361 | 2147483647 45219 135 | 0.000 % |
55.51/55.69 c | 45558 | 2152 361512 1585361 | 2147483647 45558 135 | 0.000 % |
56.11/56.23 c | 45932 | 2152 361512 1585361 | 2147483647 45932 136 | 0.000 % |
56.71/56.83 c | 46342 | 2152 361512 1585361 | 2147483647 46342 136 | 0.000 % |
57.41/57.50 c | 46793 | 2152 361512 1585361 | 2147483647 46793 136 | 0.000 % |
58.02/58.14 c | 47286 | 2152 361512 1585361 | 2147483647 47286 135 | 0.000 % |
58.62/58.70 c | 47828 | 2152 361512 1585361 | 2147483647 47828 135 | 0.000 % |
59.72/59.86 c | 48425 | 2152 361512 1585361 | 2147483647 48425 135 | 0.000 % |
60.42/60.53 c | 49080 | 2152 361512 1585361 | 2147483647 49080 135 | 0.000 % |
60.72/60.81 c | 49180 | 2152 361512 1585361 | 2147483647 49180 135 | 0.000 % |
60.92/61.02 c | 49290 | 2152 361512 1585361 | 2147483647 49290 135 | 0.000 % |
61.11/61.21 c | 49411 | 2152 361512 1585361 | 2147483647 49411 135 | 0.000 % |
61.31/61.43 c | 49545 | 2152 361512 1585361 | 2147483647 49545 135 | 0.000 % |
61.71/61.85 c | 49696 | 2152 361512 1585361 | 2147483647 49696 135 | 0.000 % |
61.91/62.04 c | 49857 | 2152 361512 1585361 | 2147483647 49857 135 | 0.000 % |
62.21/62.34 c | 50036 | 2152 361512 1585361 | 2147483647 50036 135 | 0.000 % |
62.51/62.65 c | 50229 | 2152 361512 1585361 | 2147483647 50229 135 | 0.000 % |
62.91/63.08 c | 50442 | 2152 361512 1585361 | 2147483647 50442 135 | 0.000 % |
63.31/63.44 c | 50675 | 2152 361512 1585361 | 2147483647 50675 135 | 0.000 % |
63.82/63.93 c | 50932 | 2152 361512 1585361 | 2147483647 50932 135 | 0.000 % |
64.21/64.35 c | 51215 | 2152 361512 1585361 | 2147483647 51215 135 | 0.000 % |
64.71/64.88 c | 51524 | 2152 361512 1585361 | 2147483647 51524 135 | 0.000 % |
65.11/65.25 c | 51865 | 2152 361512 1585361 | 2147483647 51865 135 | 0.000 % |
65.41/65.53 c | 52237 | 2152 361512 1585361 | 2147483647 52237 135 | 0.000 % |
66.31/66.41 c | 52646 | 2152 361512 1585361 | 2147483647 52646 135 | 0.000 % |
66.71/66.88 c | 53097 | 2152 361512 1585361 | 2147483647 53097 135 | 0.000 % |
67.61/67.78 c | 53591 | 2152 361512 1585361 | 2147483647 53591 135 | 0.000 % |
68.21/68.34 c | 54133 | 2152 361512 1585361 | 2147483647 54133 136 | 0.000 % |
69.31/69.47 c | 54729 | 2152 361512 1585361 | 2147483647 54729 135 | 0.000 % |
70.01/70.11 c | 55385 | 2152 361512 1585361 | 2147483647 55385 135 | 0.000 % |
71.31/71.40 c | 56108 | 2152 361512 1585361 | 2147483647 56108 135 | 0.000 % |
71.51/71.60 c | 56210 | 2152 361512 1585361 | 2147483647 56210 135 | 0.000 % |
71.60/71.74 c | 56320 | 2152 361512 1585361 | 2147483647 56320 135 | 0.000 % |
71.90/72.02 c | 56441 | 2152 361512 1585361 | 2147483647 56441 135 | 0.000 % |
72.10/72.28 c | 56574 | 2152 361512 1585361 | 2147483647 56574 135 | 0.000 % |
72.40/72.58 c | 56720 | 2152 361512 1585361 | 2147483647 56720 135 | 0.000 % |
72.70/72.81 c | 56880 | 2152 361512 1585361 | 2147483647 56880 135 | 0.000 % |
73.00/73.11 c | 57057 | 2152 361512 1585361 | 2147483647 57057 135 | 0.000 % |
73.30/73.44 c | 57250 | 2152 361512 1585361 | 2147483647 57250 135 | 0.000 % |
73.60/73.72 c | 57462 | 2152 361512 1585361 | 2147483647 57462 135 | 0.000 % |
74.00/74.10 c | 57695 | 2152 361512 1585361 | 2147483647 57695 135 | 0.000 % |
74.20/74.38 c | 57952 | 2152 361512 1585361 | 2147483647 57952 135 | 0.000 % |
74.80/74.96 c | 58233 | 2152 361512 1585361 | 2147483647 58233 135 | 0.000 % |
75.30/75.43 c | 58544 | 2152 361512 1585361 | 2147483647 58544 136 | 0.000 % |
76.00/76.14 c | 58883 | 2152 361512 1585361 | 2147483647 58883 135 | 0.000 % |
76.49/76.67 c | 59255 | 2152 361512 1585361 | 2147483647 59255 135 | 0.000 % |
77.09/77.25 c | 59664 | 2152 361512 1585361 | 2147483647 59664 135 | 0.000 % |
78.00/78.17 c | 60114 | 2152 361512 1585361 | 2147483647 60114 135 | 0.000 % |
79.00/79.14 c | 60607 | 2152 361512 1585361 | 2147483647 60607 135 | 0.000 % |
79.60/79.78 c | 61149 | 2152 361512 1585361 | 2147483647 61149 135 | 0.000 % |
81.10/81.29 c | 61747 | 2152 361512 1585361 | 2147483647 61747 135 | 0.000 % |
81.90/82.00 c | 62403 | 2152 361512 1585361 | 2147483647 62403 135 | 0.000 % |
82.89/83.02 c | 63124 | 2152 361512 1585361 | 2147483647 63124 136 | 0.000 % |
83.69/83.89 c | 63916 | 2152 361512 1585361 | 2147483647 63916 136 | 0.000 % |
83.99/84.16 c | 64017 | 2152 361512 1585361 | 2147483647 64017 136 | 0.000 % |
84.29/84.40 c | 64130 | 2152 361512 1585361 | 2147483647 64130 136 | 0.000 % |
84.49/84.70 c | 64251 | 2152 361512 1585361 | 2147483647 64251 136 | 0.000 % |
84.89/85.00 c | 64386 | 2152 361512 1585361 | 2147483647 64386 136 | 0.000 % |
85.19/85.31 c | 64534 | 2152 361512 1585361 | 2147483647 64534 136 | 0.000 % |
85.39/85.56 c | 64694 | 2152 361512 1585361 | 2147483647 64694 136 | 0.000 % |
85.80/85.95 c | 64870 | 2152 361512 1585361 | 2147483647 64870 136 | 0.000 % |
86.09/86.27 c | 65063 | 2152 361512 1585361 | 2147483647 65063 135 | 0.000 % |
86.49/86.63 c | 65275 | 2152 361512 1585361 | 2147483647 65275 136 | 0.000 % |
86.89/87.09 c | 65509 | 2152 361512 1585361 | 2147483647 65509 136 | 0.000 % |
87.39/87.51 c | 65767 | 2152 361512 1585361 | 2147483647 65767 136 | 0.000 % |
88.19/88.31 c | 66050 | 2152 361512 1585361 | 2147483647 66050 135 | 0.000 % |
88.59/88.75 c | 66359 | 2152 361512 1585361 | 2147483647 66359 135 | 0.000 % |
88.99/89.18 c | 66701 | 2152 361512 1585361 | 2147483647 66701 135 | 0.000 % |
89.49/89.63 c | 67073 | 2152 361512 1585361 | 2147483647 67073 135 | 0.000 % |
89.89/90.05 c | 67482 | 2152 361512 1585361 | 2147483647 67482 135 | 0.000 % |
90.50/90.64 c | 67932 | 2152 361512 1585361 | 2147483647 67932 135 | 0.000 % |
91.30/91.43 c | 68426 | 2152 361512 1585361 | 2147483647 68426 135 | 0.000 % |
92.19/92.36 c | 68969 | 2152 361512 1585361 | 2147483647 68969 135 | 0.000 % |
92.89/93.08 c | 69566 | 2152 361512 1585361 | 2147483647 69566 135 | 0.000 % |
93.69/93.89 c | 70221 | 2152 361512 1585361 | 2147483647 70221 135 | 0.000 % |
95.19/95.35 c | 70941 | 2152 361512 1585361 | 2147483647 70941 135 | 0.000 % |
96.69/96.90 c | 71733 | 2152 361512 1585361 | 2147483647 71733 135 | 0.000 % |
97.69/97.87 c | 72606 | 2152 361512 1585361 | 2147483647 72606 135 | 0.000 % |
97.89/98.08 c | 72706 | 2152 361512 1585361 | 2147483647 72706 135 | 0.000 % |
98.08/98.28 c | 72816 | 2152 361512 1585361 | 2147483647 72816 135 | 0.000 % |
98.28/98.45 c | 72939 | 2152 361512 1585361 | 2147483647 72939 135 | 0.000 % |
98.68/98.85 c | 73075 | 2152 361512 1585361 | 2147483647 73075 135 | 0.000 % |
98.99/99.15 c | 73221 | 2152 361512 1585361 | 2147483647 73221 135 | 0.000 % |
99.28/99.44 c | 73383 | 2152 361512 1585361 | 2147483647 73383 135 | 0.000 % |
99.69/99.83 c | 73560 | 2152 361512 1585361 | 2147483647 73560 135 | 0.000 % |
99.99/100.18 c | 73753 | 2152 361512 1585361 | 2147483647 73753 135 | 0.000 % |
100.49/100.60 c | 73965 | 2152 361512 1585361 | 2147483647 73965 135 | 0.000 % |
100.79/100.95 c | 74199 | 2152 361512 1585361 | 2147483647 74199 135 | 0.000 % |
101.19/101.34 c | 74455 | 2152 361512 1585361 | 2147483647 74455 135 | 0.000 % |
101.79/101.96 c | 74736 | 2152 361512 1585361 | 2147483647 74736 135 | 0.000 % |
102.29/102.43 c | 75047 | 2152 361512 1585361 | 2147483647 75047 135 | 0.000 % |
102.99/103.12 c | 75388 | 2152 361512 1585361 | 2147483647 75388 135 | 0.000 % |
103.49/103.61 c | 75760 | 2152 361512 1585361 | 2147483647 75760 135 | 0.000 % |
104.39/104.56 c | 76169 | 2152 361512 1585361 | 2147483647 76169 135 | 0.000 % |
105.08/105.22 c | 76618 | 2152 361512 1585361 | 2147483647 76618 135 | 0.000 % |
105.88/106.06 c | 77112 | 2152 361512 1585361 | 2147483647 77112 136 | 0.000 % |
107.08/107.23 c | 77654 | 2152 361512 1585361 | 2147483647 77654 135 | 0.000 % |
108.09/108.26 c | 78252 | 2152 361512 1585361 | 2147483647 78252 135 | 0.000 % |
108.99/109.19 c | 78907 | 2152 361512 1585361 | 2147483647 78907 135 | 0.000 % |
110.19/110.31 c | 79628 | 2152 361512 1585361 | 2147483647 79628 135 | 0.000 % |
111.38/111.54 c | 80420 | 2152 361512 1585361 | 2147483647 80420 135 | 0.000 % |
112.78/112.98 c | 81299 | 2152 361512 1585361 | 2147483647 81299 134 | 0.000 % |
114.68/114.80 c | 82257 | 2152 361512 1585361 | 2147483647 82257 134 | 0.000 % |
114.98/115.10 c | 82357 | 2152 361512 1585361 | 2147483647 82357 134 | 0.000 % |
115.18/115.33 c | 82467 | 2152 361512 1585361 | 2147483647 82467 134 | 0.000 % |
115.58/115.73 c | 82589 | 2152 361512 1585361 | 2147483647 82589 134 | 0.000 % |
115.88/116.05 c | 82723 | 2152 361512 1585361 | 2147483647 82723 134 | 0.000 % |
116.18/116.38 c | 82869 | 2152 361512 1585361 | 2147483647 82869 134 | 0.000 % |
116.68/116.81 c | 83030 | 2152 361512 1585361 | 2147483647 83030 134 | 0.000 % |
117.18/117.34 c | 83206 | 2152 361512 1585361 | 2147483647 83206 134 | 0.000 % |
117.68/117.84 c | 83402 | 2152 361512 1585361 | 2147483647 83402 134 | 0.000 % |
118.08/118.25 c | 83616 | 2152 361512 1585361 | 2147483647 83616 134 | 0.000 % |
118.68/118.82 c | 83849 | 2152 361512 1585361 | 2147483647 83849 134 | 0.000 % |
119.28/119.44 c | 84110 | 2152 361512 1585361 | 2147483647 84110 134 | 0.000 % |
119.58/119.74 c | 84391 | 2152 361512 1585361 | 2147483647 84391 134 | 0.000 % |
120.28/120.41 c | 84702 | 2152 361512 1585361 | 2147483647 84702 134 | 0.000 % |
120.88/121.01 c | 85042 | 2152 361512 1585361 | 2147483647 85042 134 | 0.000 % |
121.47/121.64 c | 85414 | 2152 361512 1585361 | 2147483647 85414 134 | 0.000 % |
122.77/122.95 c | 85823 | 2152 361512 1585361 | 2147483647 85823 134 | 0.000 % |
123.57/123.70 c | 86274 | 2152 361512 1585361 | 2147483647 86274 134 | 0.000 % |
124.47/124.67 c | 86767 | 2152 361512 1585361 | 2147483647 86767 134 | 0.000 % |
125.38/125.53 c | 87309 | 2152 361512 1585361 | 2147483647 87309 134 | 0.000 % |
126.48/126.68 c | 87905 | 2152 361512 1585361 | 2147483647 87905 134 | 0.000 % |
127.37/127.58 c | 88562 | 2152 361512 1585361 | 2147483647 88562 134 | 0.000 % |
128.47/128.68 c | 89282 | 2152 361512 1585361 | 2147483647 89282 134 | 0.000 % |
129.67/129.90 c | 90075 | 2152 361512 1585361 | 2147483647 90075 134 | 0.000 % |
131.57/131.73 c | 90946 | 2152 361512 1585361 | 2147483647 90946 135 | 0.000 % |
133.66/133.83 c | 91906 | 2152 361512 1585361 | 2147483647 91906 135 | 0.000 % |
135.77/135.93 c | 92961 | 2152 361512 1585361 | 2147483647 92961 135 | 0.000 % |
136.07/136.26 c | 93063 | 2152 361512 1585361 | 2147483647 93063 135 | 0.000 % |
136.27/136.47 c | 93173 | 2152 361512 1585361 | 2147483647 93173 135 | 0.000 % |
136.57/136.79 c | 93294 | 2152 361512 1585361 | 2147483647 93294 135 | 0.000 % |
136.87/137.06 c | 93428 | 2152 361512 1585361 | 2147483647 93428 135 | 0.000 % |
137.27/137.46 c | 93575 | 2152 361512 1585361 | 2147483647 93575 135 | 0.000 % |
137.77/137.96 c | 93736 | 2152 361512 1585361 | 2147483647 93736 135 | 0.000 % |
138.17/138.37 c | 93915 | 2152 361512 1585361 | 2147483647 93915 135 | 0.000 % |
138.76/138.93 c | 94109 | 2152 361512 1585361 | 2147483647 94109 135 | 0.000 % |
139.06/139.26 c | 94322 | 2152 361512 1585361 | 2147483647 94322 135 | 0.000 % |
139.36/139.57 c | 94555 | 2152 361512 1585361 | 2147483647 94555 135 | 0.000 % |
140.16/140.33 c | 94811 | 2152 361512 1585361 | 2147483647 94811 135 | 0.000 % |
140.76/140.93 c | 95092 | 2152 361512 1585361 | 2147483647 95092 135 | 0.000 % |
141.26/141.47 c | 95404 | 2152 361512 1585361 | 2147483647 95404 135 | 0.000 % |
141.96/142.11 c | 95743 | 2152 361512 1585361 | 2147483647 95743 135 | 0.000 % |
142.66/142.86 c | 96115 | 2152 361512 1585361 | 2147483647 96115 135 | 0.000 % |
143.37/143.51 c | 96524 | 2152 361512 1585361 | 2147483647 96524 135 | 0.000 % |
144.37/144.51 c | 96973 | 2152 361512 1585361 | 2147483647 96973 135 | 0.000 % |
145.37/145.58 c | 97466 | 2152 361512 1585361 | 2147483647 97466 135 | 0.000 % |
147.17/147.36 c | 98009 | 2152 361512 1585361 | 2147483647 98009 135 | 0.000 % |
148.16/148.36 c | 98607 | 2152 361512 1585361 | 2147483647 98607 135 | 0.000 % |
149.56/149.71 c | 99262 | 2152 361512 1585361 | 2147483647 99262 135 | 0.000 % |
150.57/150.70 c | 99983 | 2152 361512 1585361 | 2147483647 99983 135 | 0.000 % |
151.87/152.05 c | 100775 | 2152 361512 1585361 | 2147483647 100775 136 | 0.000 % |
153.06/153.27 c | 101646 | 2152 361512 1585361 | 2147483647 101646 136 | 0.000 % |
154.96/155.10 c | 102605 | 2152 361512 1585361 | 2147483647 102605 136 | 0.000 % |
157.36/157.50 c | 103658 | 2152 361512 1585361 | 2147483647 103658 136 | 0.000 % |
158.56/158.72 c | 104819 | 2152 361512 1585361 | 2147483647 104819 135 | 0.000 % |
158.76/158.92 c | 104920 | 2152 361512 1585361 | 2147483647 104920 135 | 0.000 % |
158.96/159.17 c | 105030 | 2152 361512 1585361 | 2147483647 105030 135 | 0.000 % |
159.26/159.40 c | 105151 | 2152 361512 1585361 | 2147483647 105151 135 | 0.000 % |
159.56/159.79 c | 105284 | 2152 361512 1585361 | 2147483647 105284 135 | 0.000 % |
159.86/160.09 c | 105430 | 2152 361512 1585361 | 2147483647 105430 136 | 0.000 % |
160.15/160.39 c | 105591 | 2152 361512 1585361 | 2147483647 105591 136 | 0.000 % |
160.85/161.05 c | 105767 | 2152 361512 1585361 | 2147483647 105767 136 | 0.000 % |
161.35/161.52 c | 105961 | 2152 361512 1585361 | 2147483647 105961 136 | 0.000 % |
161.65/161.88 c | 106174 | 2152 361512 1585361 | 2147483647 106174 136 | 0.000 % |
162.25/162.48 c | 106408 | 2152 361512 1585361 | 2147483647 106408 136 | 0.000 % |
162.86/163.06 c | 106665 | 2152 361512 1585361 | 2147483647 106665 136 | 0.000 % |
163.35/163.53 c | 106946 | 2152 361512 1585361 | 2147483647 106946 136 | 0.000 % |
164.05/164.22 c | 107255 | 2152 361512 1585361 | 2147483647 107255 136 | 0.000 % |
164.65/164.85 c | 107594 | 2152 361512 1585361 | 2147483647 107594 136 | 0.000 % |
165.55/165.79 c | 107969 | 2152 361512 1585361 | 2147483647 107969 136 | 0.000 % |
166.85/167.00 c | 108379 | 2152 361512 1585361 | 2147483647 108379 136 | 0.000 % |
167.45/167.67 c | 108828 | 2152 361512 1585361 | 2147483647 108828 136 | 0.000 % |
168.35/168.58 c | 109323 | 2152 361512 1585361 | 2147483647 109323 136 | 0.000 % |
170.05/170.28 c | 109865 | 2152 361512 1585361 | 2147483647 109865 136 | 0.000 % |
171.14/171.33 c | 110462 | 2152 361512 1585361 | 2147483647 110462 136 | 0.000 % |
172.44/172.63 c | 111118 | 2152 361512 1585361 | 2147483647 111118 136 | 0.000 % |
173.65/173.84 c | 111838 | 2152 361512 1585361 | 2147483647 111838 136 | 0.000 % |
175.34/175.59 c | 112630 | 2152 361512 1585361 | 2147483647 112630 136 | 0.000 % |
176.85/177.06 c | 113503 | 2152 361512 1585361 | 2147483647 113503 136 | 0.000 % |
179.45/179.62 c | 114461 | 2152 361512 1585361 | 2147483647 114461 136 | 0.000 % |
181.45/181.61 c | 115514 | 2152 361512 1585361 | 2147483647 115514 136 | 0.000 % |
183.65/183.85 c | 116673 | 2152 361512 1585361 | 2147483647 116673 136 | 0.000 % |
186.14/186.32 c | 117946 | 2152 361512 1585361 | 2147483647 117946 136 | 0.000 % |
186.44/186.61 c | 118049 | 2152 361512 1585361 | 2147483647 118049 136 | 0.000 % |
186.64/186.88 c | 118161 | 2152 361512 1585361 | 2147483647 118161 136 | 0.000 % |
187.04/187.26 c | 118284 | 2152 361512 1585361 | 2147483647 118284 136 | 0.000 % |
187.64/187.83 c | 118418 | 2152 361512 1585361 | 2147483647 118418 136 | 0.000 % |
187.94/188.16 c | 118565 | 2152 361512 1585361 | 2147483647 118565 136 | 0.000 % |
188.54/188.70 c | 118725 | 2152 361512 1585361 | 2147483647 118725 136 | 0.000 % |
188.94/189.11 c | 118901 | 2152 361512 1585361 | 2147483647 118901 136 | 0.000 % |
189.54/189.73 c | 119094 | 2152 361512 1585361 | 2147483647 119094 136 | 0.000 % |
190.05/190.27 c | 119307 | 2152 361512 1585361 | 2147483647 119307 136 | 0.000 % |
190.45/190.60 c | 119540 | 2152 361512 1585361 | 2147483647 119540 136 | 0.000 % |
191.14/191.39 c | 119796 | 2152 361512 1585361 | 2147483647 119796 135 | 0.000 % |
191.74/191.91 c | 120081 | 2152 361512 1585361 | 2147483647 120081 136 | 0.000 % |
192.74/192.94 c | 120391 | 2152 361512 1585361 | 2147483647 120391 136 | 0.000 % |
193.34/193.59 c | 120730 | 2152 361512 1585361 | 2147483647 120730 136 | 0.000 % |
194.04/194.22 c | 121103 | 2152 361512 1585361 | 2147483647 121103 136 | 0.000 % |
194.84/195.04 c | 121513 | 2152 361512 1585361 | 2147483647 121513 136 | 0.000 % |
196.14/196.36 c | 121963 | 2152 361512 1585361 | 2147483647 121963 136 | 0.000 % |
197.34/197.51 c | 122456 | 2152 361512 1585361 | 2147483647 122456 136 | 0.000 % |
198.44/198.62 c | 122998 | 2152 361512 1585361 | 2147483647 122998 136 | 0.000 % |
199.44/199.61 c | 123594 | 2152 361512 1585361 | 2147483647 123594 136 | 0.000 % |
200.84/201.03 c | 124249 | 2152 361512 1585361 | 2147483647 124249 136 | 0.000 % |
202.44/202.67 c | 124969 | 2152 361512 1585361 | 2147483647 124969 136 | 0.000 % |
205.53/205.79 c | 125763 | 2152 361512 1585361 | 2147483647 125763 136 | 0.000 % |
207.42/207.60 c | 126634 | 2152 361512 1585361 | 2147483647 126634 136 | 0.000 % |
209.63/209.81 c | 127592 | 2152 361512 1585361 | 2147483647 127592 136 | 0.000 % |
211.13/211.34 c | 128645 | 2152 361512 1585361 | 2147483647 128645 136 | 0.000 % |
213.23/213.41 c | 129804 | 2152 361512 1585361 | 2147483647 129804 136 | 0.000 % |
215.33/215.57 c | 131079 | 2152 361512 1585361 | 2147483647 131079 136 | 0.000 % |
218.02/218.20 c | 132479 | 2152 361512 1585361 | 2147483647 132479 137 | 0.000 % |
218.22/218.45 c | 132581 | 2152 361512 1585361 | 2147483647 132581 137 | 0.000 % |
218.62/218.85 c | 132692 | 2152 361512 1585361 | 2147483647 132692 137 | 0.000 % |
219.02/219.22 c | 132814 | 2152 361512 1585361 | 2147483647 132814 137 | 0.000 % |
219.42/219.66 c | 132949 | 2152 361512 1585361 | 2147483647 132949 137 | 0.000 % |
219.92/220.16 c | 133097 | 2152 361512 1585361 | 2147483647 133097 137 | 0.000 % |
220.42/220.62 c | 133258 | 2152 361512 1585361 | 2147483647 133258 137 | 0.000 % |
220.82/221.10 c | 133435 | 2152 361512 1585361 | 2147483647 133435 137 | 0.000 % |
221.32/221.55 c | 133628 | 2152 361512 1585361 | 2147483647 133628 137 | 0.000 % |
222.12/222.35 c | 133840 | 2152 361512 1585361 | 2147483647 133840 137 | 0.000 % |
222.62/222.87 c | 134076 | 2152 361512 1585361 | 2147483647 134076 137 | 0.000 % |
223.22/223.46 c | 134332 | 2152 361512 1585361 | 2147483647 134332 137 | 0.000 % |
224.01/224.23 c | 134614 | 2152 361512 1585361 | 2147483647 134614 137 | 0.000 % |
224.62/224.84 c | 134924 | 2152 361512 1585361 | 2147483647 134924 137 | 0.000 % |
225.43/225.61 c | 135264 | 2152 361512 1585361 | 2147483647 135264 137 | 0.000 % |
226.32/226.51 c | 135636 | 2152 361512 1585361 | 2147483647 135636 137 | 0.000 % |
227.82/228.01 c | 136046 | 2152 361512 1585361 | 2147483647 136046 137 | 0.000 % |
228.92/229.10 c | 136495 | 2152 361512 1585361 | 2147483647 136495 137 | 0.000 % |
229.42/229.64 c | 136988 | 2152 361512 1585361 | 2147483647 136988 137 | 0.000 % |
230.82/231.06 c | 137530 | 2152 361512 1585361 | 2147483647 137530 137 | 0.000 % |
232.62/232.87 c | 138126 | 2152 361512 1585361 | 2147483647 138126 137 | 0.000 % |
235.32/235.58 c | 138781 | 2152 361512 1585361 | 2147483647 138781 137 | 0.000 % |
236.81/237.09 c | 139501 | 2152 361512 1585361 | 2147483647 139501 137 | 0.000 % |
238.52/238.77 c | 140294 | 2152 361512 1585361 | 2147483647 140294 137 | 0.000 % |
240.22/240.47 c | 141167 | 2152 361512 1585361 | 2147483647 141167 137 | 0.000 % |
242.52/242.78 c | 142125 | 2152 361512 1585361 | 2147483647 142125 138 | 0.000 % |
244.61/244.84 c | 143182 | 2152 361512 1585361 | 2147483647 143182 138 | 0.000 % |
246.81/247.08 c | 144340 | 2152 361512 1585361 | 2147483647 144340 138 | 0.000 % |
248.91/249.16 c | 145613 | 2152 361512 1585361 | 2147483647 145613 138 | 0.000 % |
254.20/254.43 c | 147013 | 2152 361512 1585361 | 2147483647 147013 138 | 0.000 % |
258.31/258.58 c | 148554 | 2152 361512 1585361 | 2147483647 148554 138 | 0.000 % |
258.91/259.12 c | 148654 | 2152 361512 1585361 | 2147483647 148654 138 | 0.000 % |
259.51/259.73 c | 148764 | 2152 361512 1585361 | 2147483647 148764 138 | 0.000 % |
259.91/260.14 c | 148886 | 2152 361512 1585361 | 2147483647 148886 138 | 0.000 % |
260.21/260.45 c | 149021 | 2152 361512 1585361 | 2147483647 149021 138 | 0.000 % |
260.81/261.07 c | 149167 | 2152 361512 1585361 | 2147483647 149167 138 | 0.000 % |
261.41/261.67 c | 149327 | 2152 361512 1585361 | 2147483647 149327 138 | 0.000 % |
262.01/262.28 c | 149504 | 2152 361512 1585361 | 2147483647 149504 138 | 0.000 % |
262.81/263.01 c | 149697 | 2152 361512 1585361 | 2147483647 149697 139 | 0.000 % |
263.51/263.74 c | 149911 | 2152 361512 1585361 | 2147483647 149911 139 | 0.000 % |
264.50/264.73 c | 150145 | 2152 361512 1585361 | 2147483647 150145 139 | 0.000 % |
265.30/265.59 c | 150402 | 2152 361512 1585361 | 2147483647 150402 139 | 0.000 % |
266.30/266.57 c | 150683 | 2152 361512 1585361 | 2147483647 150683 139 | 0.000 % |
267.40/267.66 c | 150993 | 2152 361512 1585361 | 2147483647 150993 139 | 0.000 % |
268.40/268.62 c | 151334 | 2152 361512 1585361 | 2147483647 151334 139 | 0.000 % |
269.30/269.51 c | 151708 | 2152 361512 1585361 | 2147483647 151708 139 | 0.000 % |
270.30/270.59 c | 152117 | 2152 361512 1585361 | 2147483647 152117 139 | 0.000 % |
271.90/272.13 c | 152568 | 2152 361512 1585361 | 2147483647 152568 139 | 0.000 % |
273.10/273.31 c | 153062 | 2152 361512 1585361 | 2147483647 153062 139 | 0.000 % |
275.00/275.25 c | 153606 | 2152 361512 1585361 | 2147483647 153606 139 | 0.000 % |
276.89/277.17 c | 154203 | 2152 361512 1585361 | 2147483647 154203 138 | 0.000 % |
279.79/280.04 c | 154861 | 2152 361512 1585361 | 2147483647 154861 138 | 0.000 % |
281.29/281.52 c | 155582 | 2152 361512 1585361 | 2147483647 155582 138 | 0.000 % |
283.89/284.13 c | 156376 | 2152 361512 1585361 | 2147483647 156376 138 | 0.000 % |
285.30/285.55 c | 157249 | 2152 361512 1585361 | 2147483647 157249 138 | 0.000 % |
286.90/287.11 c | 158207 | 2152 361512 1585361 | 2147483647 158207 138 | 0.000 % |
288.59/288.86 c | 159260 | 2152 361512 1585361 | 2147483647 159260 138 | 0.000 % |
290.59/290.87 c | 160418 | 2152 361512 1585361 | 2147483647 160418 137 | 0.000 % |
294.29/294.58 c | 161693 | 2152 361512 1585361 | 2147483647 161693 137 | 0.000 % |
297.08/297.36 c | 163094 | 2152 361512 1585361 | 2147483647 163094 137 | 0.000 % |
301.48/301.77 c | 164634 | 2152 361512 1585361 | 2147483647 164634 138 | 0.000 % |
307.28/307.59 c | 166328 | 2152 361512 1585361 | 2147483647 166328 138 | 0.000 % |
307.58/307.86 c | 166429 | 2152 361512 1585361 | 2147483647 166429 138 | 0.000 % |
307.88/308.18 c | 166541 | 2152 361512 1585361 | 2147483647 166541 138 | 0.000 % |
308.38/308.67 c | 166663 | 2152 361512 1585361 | 2147483647 166663 138 | 0.000 % |
308.98/309.24 c | 166797 | 2152 361512 1585361 | 2147483647 166797 138 | 0.000 % |
309.27/309.54 c | 166943 | 2152 361512 1585361 | 2147483647 166943 138 | 0.000 % |
309.98/310.21 c | 167104 | 2152 361512 1585361 | 2147483647 167104 138 | 0.000 % |
310.57/310.84 c | 167282 | 2152 361512 1585361 | 2147483647 167282 138 | 0.000 % |
310.98/311.29 c | 167476 | 2152 361512 1585361 | 2147483647 167476 138 | 0.000 % |
311.88/312.16 c | 167688 | 2152 361512 1585361 | 2147483647 167688 138 | 0.000 % |
312.48/312.74 c | 167922 | 2152 361512 1585361 | 2147483647 167922 138 | 0.000 % |
313.68/313.93 c | 168178 | 2152 361512 1585361 | 2147483647 168178 138 | 0.000 % |
314.28/314.55 c | 168462 | 2152 361512 1585361 | 2147483647 168462 138 | 0.000 % |
315.48/315.74 c | 168771 | 2152 361512 1585361 | 2147483647 168771 138 | 0.000 % |
316.48/316.74 c | 169110 | 2152 361512 1585361 | 2147483647 169110 138 | 0.000 % |
317.38/317.69 c | 169486 | 2152 361512 1585361 | 2147483647 169486 138 | 0.000 % |
318.28/318.57 c | 169896 | 2152 361512 1585361 | 2147483647 169896 138 | 0.000 % |
319.47/319.79 c | 170348 | 2152 361512 1585361 | 2147483647 170348 138 | 0.000 % |
320.57/320.87 c | 170841 | 2152 361512 1585361 | 2147483647 170841 138 | 0.000 % |
321.87/322.13 c | 171385 | 2152 361512 1585361 | 2147483647 171385 138 | 0.000 % |
322.47/322.78 c | 171981 | 2152 361512 1585361 | 2147483647 171981 138 | 0.000 % |
324.38/324.64 c | 172636 | 2152 361512 1585361 | 2147483647 172636 138 | 0.000 % |
326.08/326.30 c | 173356 | 2152 361512 1585361 | 2147483647 173356 138 | 0.000 % |
327.87/328.18 c | 174148 | 2152 361512 1585361 | 2147483647 174148 138 | 0.000 % |
330.47/330.73 c | 175021 | 2152 361512 1585361 | 2147483647 175021 138 | 0.000 % |
332.17/332.43 c | 175979 | 2152 361512 1585361 | 2147483647 175979 138 | 0.000 % |
335.97/336.20 c | 177032 | 2152 361512 1585361 | 2147483647 177032 138 | 0.000 % |
340.87/341.10 c | 178190 | 2152 361512 1585361 | 2147483647 178190 138 | 0.000 % |
343.07/343.37 c | 179463 | 2152 361512 1585361 | 2147483647 179463 138 | 0.000 % |
346.97/347.25 c | 180863 | 2152 361512 1585361 | 2147483647 180863 138 | 0.000 % |
349.37/349.63 c | 182406 | 2152 361512 1585361 | 2147483647 182406 138 | 0.000 % |
351.77/352.06 c | 184100 | 2152 361512 1585361 | 2147483647 184100 138 | 0.000 % |
356.76/357.07 c | 185963 | 2152 361512 1585361 | 2147483647 185963 138 | 0.000 % |
357.46/357.79 c | 186063 | 2152 361512 1585361 | 2147483647 186063 138 | 0.000 % |
357.96/358.23 c | 186173 | 2152 361512 1585361 | 2147483647 186173 138 | 0.000 % |
358.47/358.73 c | 186294 | 2152 361512 1585361 | 2147483647 186294 138 | 0.000 % |
358.96/359.20 c | 186428 | 2152 361512 1585361 | 2147483647 186428 138 | 0.000 % |
359.57/359.84 c | 186576 | 2152 361512 1585361 | 2147483647 186576 138 | 0.000 % |
360.06/360.35 c | 186736 | 2152 361512 1585361 | 2147483647 186736 138 | 0.000 % |
360.46/360.79 c | 186912 | 2152 361512 1585361 | 2147483647 186912 138 | 0.000 % |
361.26/361.53 c | 187105 | 2152 361512 1585361 | 2147483647 187105 138 | 0.000 % |
361.86/362.13 c | 187317 | 2152 361512 1585361 | 2147483647 187317 138 | 0.000 % |
362.86/363.12 c | 187550 | 2152 361512 1585361 | 2147483647 187550 138 | 0.000 % |
363.56/363.85 c | 187809 | 2152 361512 1585361 | 2147483647 187809 138 | 0.000 % |
364.36/364.66 c | 188090 | 2152 361512 1585361 | 2147483647 188090 138 | 0.000 % |
365.16/365.49 c | 188399 | 2152 361512 1585361 | 2147483647 188399 138 | 0.000 % |
366.36/366.62 c | 188738 | 2152 361512 1585361 | 2147483647 188738 138 | 0.000 % |
367.36/367.68 c | 189110 | 2152 361512 1585361 | 2147483647 189110 138 | 0.000 % |
369.15/369.47 c | 189519 | 2152 361512 1585361 | 2147483647 189519 138 | 0.000 % |
371.57/371.87 c | 189968 | 2152 361512 1585361 | 2147483647 189968 138 | 0.000 % |
373.16/373.47 c | 190463 | 2152 361512 1585361 | 2147483647 190463 138 | 0.001 % |
374.26/374.52 c | 191006 | 2152 361512 1585361 | 2147483647 191006 138 | 0.000 % |
376.66/376.98 c | 191602 | 2152 361512 1585361 | 2147483647 191602 138 | 0.000 % |
378.96/379.24 c | 192257 | 2152 361512 1585361 | 2147483647 192257 138 | 0.000 % |
380.26/380.59 c | 192981 | 2152 361512 1585361 | 2147483647 192981 138 | 0.000 % |
382.35/382.66 c | 193774 | 2152 361512 1585361 | 2147483647 193774 138 | 0.000 % |
385.45/385.76 c | 194646 | 2152 361512 1585361 | 2147483647 194646 138 | 0.000 % |
387.74/388.04 c | 195604 | 2152 361512 1585361 | 2147483647 195604 138 | 0.000 % |
390.14/390.40 c | 196657 | 2152 361512 1585361 | 2147483647 196657 138 | 0.000 % |
392.55/392.87 c | 197816 | 2152 361512 1585361 | 2147483647 197816 138 | 0.000 % |
395.25/395.59 c | 199089 | 2152 361512 1585361 | 2147483647 199089 138 | 0.000 % |
397.84/398.18 c | 200489 | 2152 361512 1585361 | 2147483647 200489 139 | 0.000 % |
401.55/401.84 c | 202029 | 2152 361512 1585361 | 2147483647 202029 139 | 0.000 % |
407.74/408.07 c | 203723 | 2152 361512 1585361 | 2147483647 203723 139 | 0.000 % |
411.84/412.18 c | 205586 | 2152 361512 1585361 | 2147483647 205586 139 | 0.000 % |
416.84/417.14 c | 207638 | 2152 361512 1585361 | 2147483647 207638 139 | 0.000 % |
417.24/417.54 c | 207738 | 2152 361512 1585361 | 2147483647 207738 139 | 0.000 % |
417.74/418.04 c | 207850 | 2152 361512 1585361 | 2147483647 207850 139 | 0.000 % |
418.24/418.52 c | 207972 | 2152 361512 1585361 | 2147483647 207972 139 | 0.000 % |
418.64/418.96 c | 208106 | 2152 361512 1585361 | 2147483647 208106 139 | 0.000 % |
419.24/419.51 c | 208252 | 2152 361512 1585361 | 2147483647 208252 139 | 0.000 % |
419.84/420.11 c | 208412 | 2152 361512 1585361 | 2147483647 208412 139 | 0.000 % |
420.24/420.58 c | 208588 | 2152 361512 1585361 | 2147483647 208588 139 | 0.000 % |
421.24/421.59 c | 208781 | 2152 361512 1585361 | 2147483647 208781 139 | 0.000 % |
422.44/422.72 c | 208994 | 2152 361512 1585361 | 2147483647 208994 139 | 0.000 % |
423.64/423.92 c | 209229 | 2152 361512 1585361 | 2147483647 209229 139 | 0.000 % |
424.64/424.98 c | 209485 | 2152 361512 1585361 | 2147483647 209485 139 | 0.000 % |
425.44/425.73 c | 209768 | 2152 361512 1585361 | 2147483647 209768 139 | 0.000 % |
426.83/427.16 c | 210078 | 2152 361512 1585361 | 2147483647 210078 139 | 0.000 % |
427.83/428.17 c | 210417 | 2152 361512 1585361 | 2147483647 210417 139 | 0.000 % |
428.84/429.10 c | 210789 | 2152 361512 1585361 | 2147483647 210789 139 | 0.000 % |
430.23/430.56 c | 211199 | 2152 361512 1585361 | 2147483647 211199 139 | 0.000 % |
431.72/432.01 c | 211649 | 2152 361512 1585361 | 2147483647 211649 139 | 0.000 % |
433.32/433.69 c | 212142 | 2152 361512 1585361 | 2147483647 212142 139 | 0.000 % |
435.43/435.70 c | 212684 | 2152 361512 1585361 | 2147483647 212684 139 | 0.000 % |
436.92/437.27 c | 213281 | 2152 361512 1585361 | 2147483647 213281 139 | 0.000 % |
439.52/439.84 c | 213936 | 2152 361512 1585361 | 2147483647 213936 139 | 0.000 % |
441.93/442.29 c | 214658 | 2152 361512 1585361 | 2147483647 214658 139 | 0.000 % |
443.42/443.79 c | 215450 | 2152 361512 1585361 | 2147483647 215450 139 | 0.000 % |
446.32/446.68 c | 216321 | 2152 361512 1585361 | 2147483647 216321 139 | 0.000 % |
448.22/448.52 c | 217280 | 2152 361512 1585361 | 2147483647 217280 139 | 0.000 % |
450.92/451.25 c | 218334 | 2152 361512 1585361 | 2147483647 218334 139 | 0.000 % |
453.42/453.77 c | 219492 | 2152 361512 1585361 | 2147483647 219492 139 | 0.000 % |
456.71/457.02 c | 220766 | 2152 361512 1585361 | 2147483647 220766 139 | 0.000 % |
459.62/459.99 c | 222166 | 2152 361512 1585361 | 2147483647 222166 139 | 0.000 % |
464.31/464.63 c | 223706 | 2152 361512 1585361 | 2147483647 223706 140 | 0.000 % |
468.31/468.62 c | 225400 | 2152 361512 1585361 | 2147483647 225400 140 | 0.000 % |
473.11/473.48 c | 227264 | 2152 361512 1585361 | 2147483647 227264 140 | 0.000 % |
478.80/479.11 c | 229314 | 2152 361512 1585361 | 2147483647 229314 140 | 0.000 % |
484.40/484.70 c | 231571 | 2152 361512 1585361 | 2147483647 231571 140 | 0.000 % |
484.90/485.23 c | 231673 | 2152 361512 1585361 | 2147483647 231673 140 | 0.000 % |
485.60/485.97 c | 231783 | 2152 361512 1585361 | 2147483647 231783 140 | 0.000 % |
486.10/486.46 c | 231905 | 2152 361512 1585361 | 2147483647 231905 140 | 0.000 % |
486.80/487.12 c | 232038 | 2152 361512 1585361 | 2147483647 232038 140 | 0.000 % |
487.40/487.78 c | 232188 | 2152 361512 1585361 | 2147483647 232188 140 | 0.000 % |
488.20/488.51 c | 232349 | 2152 361512 1585361 | 2147483647 232349 140 | 0.000 % |
488.80/489.10 c | 232525 | 2152 361512 1585361 | 2147483647 232525 140 | 0.000 % |
489.30/489.62 c | 232719 | 2152 361512 1585361 | 2147483647 232719 140 | 0.000 % |
490.09/490.48 c | 232931 | 2152 361512 1585361 | 2147483647 232931 140 | 0.000 % |
491.40/491.79 c | 233165 | 2152 361512 1585361 | 2147483647 233165 140 | 0.000 % |
492.39/492.72 c | 233421 | 2152 361512 1585361 | 2147483647 233421 140 | 0.000 % |
493.29/493.67 c | 233702 | 2152 361512 1585361 | 2147483647 233702 140 | 0.000 % |
493.99/494.39 c | 234012 | 2152 361512 1585361 | 2147483647 234012 140 | 0.000 % |
495.19/495.55 c | 234351 | 2152 361512 1585361 | 2147483647 234351 140 | 0.000 % |
496.29/496.69 c | 234724 | 2152 361512 1585361 | 2147483647 234724 140 | 0.000 % |
497.89/498.28 c | 235133 | 2152 361512 1585361 | 2147483647 235133 140 | 0.000 % |
499.40/499.71 c | 235583 | 2152 361512 1585361 | 2147483647 235583 140 | 0.000 % |
501.30/501.63 c | 236076 | 2152 361512 1585361 | 2147483647 236076 140 | 0.000 % |
503.80/504.11 c | 236618 | 2152 361512 1585361 | 2147483647 236618 140 | 0.000 % |
506.10/506.43 c | 237216 | 2152 361512 1585361 | 2147483647 237216 140 | 0.000 % |
508.10/508.42 c | 237872 | 2152 361512 1585361 | 2147483647 237872 140 | 0.000 % |
510.00/510.39 c | 238592 | 2152 361512 1585361 | 2147483647 238592 140 | 0.000 % |
512.30/512.64 c | 239385 | 2152 361512 1585361 | 2147483647 239385 140 | 0.000 % |
513.99/514.31 c | 240256 | 2152 361512 1585361 | 2147483647 240256 140 | 0.000 % |
517.19/517.59 c | 241214 | 2152 361512 1585361 | 2147483647 241214 140 | 0.000 % |
522.29/522.70 c | 242267 | 2152 361512 1585361 | 2147483647 242267 140 | 0.000 % |
524.18/524.56 c | 243425 | 2152 361512 1585361 | 2147483647 243425 140 | 0.000 % |
528.98/529.35 c | 244698 | 2152 361512 1585361 | 2147483647 244698 140 | 0.000 % |
535.28/535.60 c | 246098 | 2152 361512 1585361 | 2147483647 246098 140 | 0.000 % |
539.68/540.05 c | 247638 | 2152 361512 1585361 | 2147483647 247638 140 | 0.000 % |
545.28/545.64 c | 249334 | 2152 361512 1585361 | 2147483647 249334 140 | 0.000 % |
549.18/549.54 c | 251197 | 2152 361512 1585361 | 2147483647 251197 140 | 0.000 % |
556.68/557.04 c | 253249 | 2152 361512 1585361 | 2147483647 253249 140 | 0.000 % |
564.07/564.46 c | 255503 | 2152 361512 1585361 | 2147483647 255503 140 | 0.000 % |
573.77/574.15 c | 257981 | 2152 361512 1585361 | 2147483647 257981 141 | 0.000 % |
574.37/574.78 c | 258082 | 2152 361512 1585361 | 2147483647 258082 141 | 0.000 % |
574.97/575.40 c | 258192 | 2152 361512 1585361 | 2147483647 258192 141 | 0.000 % |
575.57/575.91 c | 258314 | 2152 361512 1585361 | 2147483647 258314 141 | 0.000 % |
576.17/576.54 c | 258447 | 2152 361512 1585361 | 2147483647 258447 141 | 0.000 % |
576.96/577.31 c | 258593 | 2152 361512 1585361 | 2147483647 258593 141 | 0.000 % |
577.36/577.79 c | 258753 | 2152 361512 1585361 | 2147483647 258753 141 | 0.000 % |
578.56/578.98 c | 258929 | 2152 361512 1585361 | 2147483647 258929 141 | 0.000 % |
579.16/579.60 c | 259123 | 2152 361512 1585361 | 2147483647 259123 141 | 0.000 % |
579.86/580.28 c | 259336 | 2152 361512 1585361 | 2147483647 259336 141 | 0.000 % |
580.86/581.28 c | 259569 | 2152 361512 1585361 | 2147483647 259569 141 | 0.000 % |
581.86/582.22 c | 259827 | 2152 361512 1585361 | 2147483647 259827 141 | 0.000 % |
583.06/583.47 c | 260110 | 2152 361512 1585361 | 2147483647 260110 141 | 0.000 % |
584.07/584.47 c | 260420 | 2152 361512 1585361 | 2147483647 260420 141 | 0.000 % |
585.26/585.68 c | 260760 | 2152 361512 1585361 | 2147483647 260760 141 | 0.000 % |
586.46/586.88 c | 261132 | 2152 361512 1585361 | 2147483647 261132 141 | 0.000 % |
588.56/588.92 c | 261545 | 2152 361512 1585361 | 2147483647 261545 141 | 0.000 % |
591.36/591.80 c | 261995 | 2152 361512 1585361 | 2147483647 261995 141 | 0.000 % |
593.26/593.64 c | 262488 | 2152 361512 1585361 | 2147483647 262488 141 | 0.000 % |
595.26/595.63 c | 263032 | 2152 361512 1585361 | 2147483647 263032 141 | 0.000 % |
597.96/598.30 c | 263630 | 2152 361512 1585361 | 2147483647 263630 141 | 0.000 % |
601.16/601.53 c | 264287 | 2152 361512 1585361 | 2147483647 264287 141 | 0.000 % |
603.85/604.23 c | 265009 | 2152 361512 1585361 | 2147483647 265009 141 | 0.000 % |
606.25/606.65 c | 265801 | 2152 361512 1585361 | 2147483647 265801 141 | 0.000 % |
608.25/608.69 c | 266673 | 2152 361512 1585361 | 2147483647 266673 141 | 0.000 % |
610.84/611.29 c | 267634 | 2152 361512 1585361 | 2147483647 267634 141 | 0.000 % |
613.95/614.34 c | 268687 | 2152 361512 1585361 | 2147483647 268687 141 | 0.000 % |
616.65/617.07 c | 269846 | 2152 361512 1585361 | 2147483647 269846 141 | 0.000 % |
619.64/620.01 c | 271120 | 2152 361512 1585361 | 2147483647 271120 141 | 0.000 % |
623.35/623.80 c | 272522 | 2152 361512 1585361 | 2147483647 272522 141 | 0.000 % |
630.55/630.94 c | 274062 | 2152 361512 1585361 | 2147483647 274062 141 | 0.000 % |
640.64/641.01 c | 275758 | 2152 361512 1585361 | 2147483647 275758 141 | 0.000 % |
645.44/645.90 c | 277623 | 2152 361512 1585361 | 2147483647 277623 141 | 0.000 % |
652.84/653.20 c | 279672 | 2152 361512 1585361 | 2147483647 279672 141 | 0.000 % |
660.83/661.25 c | 281925 | 2152 361512 1585361 | 2147483647 281925 140 | 0.000 % |
664.93/665.36 c | 284405 | 2152 361512 1585361 | 2147483647 284405 141 | 0.000 % |
673.32/673.72 c | 287130 | 2152 361512 1585361 | 2147483647 287130 141 | 0.000 % |
673.52/673.95 c | 287230 | 2152 361512 1585361 | 2147483647 287230 141 | 0.000 % |
674.03/674.48 c | 287340 | 2152 361512 1585361 | 2147483647 287340 141 | 0.000 % |
674.52/674.96 c | 287462 | 2152 361512 1585361 | 2147483647 287462 141 | 0.000 % |
675.03/675.42 c | 287596 | 2152 361512 1585361 | 2147483647 287596 140 | 0.000 % |
675.72/676.14 c | 287747 | 2152 361512 1585361 | 2147483647 287747 141 | 0.000 % |
676.42/676.88 c | 287909 | 2152 361512 1585361 | 2147483647 287909 141 | 0.000 % |
677.33/677.76 c | 288085 | 2152 361512 1585361 | 2147483647 288085 141 | 0.000 % |
678.33/678.75 c | 288278 | 2152 361512 1585361 | 2147483647 288278 140 | 0.000 % |
679.12/679.57 c | 288491 | 2152 361512 1585361 | 2147483647 288491 140 | 0.000 % |
679.82/680.25 c | 288725 | 2152 361512 1585361 | 2147483647 288725 140 | 0.000 % |
681.22/681.65 c | 288981 | 2152 361512 1585361 | 2147483647 288981 140 | 0.000 % |
682.32/682.71 c | 289263 | 2152 361512 1585361 | 2147483647 289263 141 | 0.000 % |
683.42/683.89 c | 289573 | 2152 361512 1585361 | 2147483647 289573 141 | 0.000 % |
685.13/685.55 c | 289912 | 2152 361512 1585361 | 2147483647 289912 141 | 0.000 % |
686.52/686.96 c | 290284 | 2152 361512 1585361 | 2147483647 290284 141 | 0.000 % |
688.02/688.41 c | 290693 | 2152 361512 1585361 | 2147483647 290693 141 | 0.000 % |
690.43/690.87 c | 291142 | 2152 361512 1585361 | 2147483647 291142 141 | 0.000 % |
692.12/692.59 c | 291636 | 2152 361512 1585361 | 2147483647 291636 141 | 0.000 % |
694.82/695.29 c | 292178 | 2152 361512 1585361 | 2147483647 292178 141 | 0.000 % |
697.12/697.53 c | 292774 | 2152 361512 1585361 | 2147483647 292774 141 | 0.000 % |
700.11/700.55 c | 293429 | 2152 361512 1585361 | 2147483647 293429 141 | 0.000 % |
703.11/703.52 c | 294149 | 2152 361512 1585361 | 2147483647 294149 141 | 0.000 % |
705.30/705.71 c | 294942 | 2152 361512 1585361 | 2147483647 294942 141 | 0.000 % |
707.70/708.14 c | 295813 | 2152 361512 1585361 | 2147483647 295813 141 | 0.000 % |
709.00/709.47 c | 296775 | 2152 361512 1585361 | 2147483647 296775 141 | 0.000 % |
710.31/710.73 c | 297829 | 2152 361512 1585361 | 2147483647 297829 141 | 0.000 % |
711.71/712.12 c | 298988 | 2152 361512 1585361 | 2147483647 298988 141 | 0.014 % |
713.21/713.63 c | 300262 | 2152 361512 1585361 | 2147483647 300262 141 | 0.000 % |
714.81/715.23 c | 301664 | 2152 361512 1585361 | 2147483647 301664 141 | 0.014 % |
716.70/717.19 c | 303206 | 2152 361512 1585361 | 2147483647 303206 142 | 0.000 % |
719.00/719.48 c | 304901 | 2152 361512 1585361 | 2147483647 304901 142 | 0.000 % |
722.21/722.67 c | 306765 | 2152 361512 1585361 | 2147483647 306765 142 | 0.000 % |
725.90/726.36 c | 308814 | 2152 361512 1585361 | 2147483647 308814 142 | 0.000 % |
731.80/732.28 c | 311069 | 2152 361512 1585361 | 2147483647 311069 142 | 0.000 % |
743.50/743.90 c | 313549 | 2152 361512 1585361 | 2147483647 313549 142 | 0.000 % |
755.39/755.89 c | 316275 | 2152 361512 1585361 | 2147483647 316275 142 | 0.000 % |
767.28/767.71 c | 319272 | 2152 361512 1585361 | 2147483647 319272 141 | 0.000 % |
767.58/768.00 c | 319373 | 2152 361512 1585361 | 2147483647 319373 141 | 0.000 % |
767.98/768.46 c | 319483 | 2152 361512 1585361 | 2147483647 319483 141 | 0.000 % |
768.58/769.01 c | 319604 | 2152 361512 1585361 | 2147483647 319604 141 | 0.000 % |
769.08/769.54 c | 319738 | 2152 361512 1585361 | 2147483647 319738 141 | 0.000 % |
769.48/769.98 c | 319884 | 2152 361512 1585361 | 2147483647 319884 141 | 0.000 % |
770.18/770.68 c | 320045 | 2152 361512 1585361 | 2147483647 320045 141 | 0.000 % |
770.78/771.25 c | 320222 | 2152 361512 1585361 | 2147483647 320222 141 | 0.000 % |
771.17/771.69 c | 320415 | 2152 361512 1585361 | 2147483647 320415 141 | 0.000 % |
772.07/772.57 c | 320628 | 2152 361512 1585361 | 2147483647 320628 141 | 0.000 % |
772.88/773.30 c | 320863 | 2152 361512 1585361 | 2147483647 320863 141 | 0.000 % |
773.67/774.12 c | 321120 | 2152 361512 1585361 | 2147483647 321120 141 | 0.000 % |
774.47/774.95 c | 321401 | 2152 361512 1585361 | 2147483647 321401 141 | 0.000 % |
775.37/775.89 c | 321710 | 2152 361512 1585361 | 2147483647 321710 141 | 0.000 % |
776.57/777.02 c | 322049 | 2152 361512 1585361 | 2147483647 322049 141 | 0.000 % |
777.27/777.79 c | 322423 | 2152 361512 1585361 | 2147483647 322423 141 | 0.000 % |
778.17/778.68 c | 322833 | 2152 361512 1585361 | 2147483647 322833 141 | 0.000 % |
779.57/780.04 c | 323283 | 2152 361512 1585361 | 2147483647 323283 141 | 0.000 % |
781.07/781.59 c | 323777 | 2152 361512 1585361 | 2147483647 323777 141 | 0.000 % |
782.37/782.81 c | 324321 | 2152 361512 1585361 | 2147483647 324321 141 | 0.000 % |
784.27/784.72 c | 324917 | 2152 361512 1585361 | 2147483647 324917 141 | 0.000 % |
786.27/786.71 c | 325573 | 2152 361512 1585361 | 2147483647 325573 141 | 0.000 % |
788.27/788.70 c | 326293 | 2152 361512 1585361 | 2147483647 326293 141 | 0.000 % |
790.36/790.84 c | 327085 | 2152 361512 1585361 | 2147483647 327085 141 | 0.000 % |
792.66/793.16 c | 327956 | 2152 361512 1585361 | 2147483647 327956 141 | 0.000 % |
794.06/794.59 c | 328914 | 2152 361512 1585361 | 2147483647 328914 141 | 0.000 % |
796.06/796.60 c | 329967 | 2152 361512 1585361 | 2147483647 329967 141 | 0.000 % |
798.56/799.09 c | 331126 | 2152 361512 1585361 | 2147483647 331126 141 | 0.000 % |
801.26/801.76 c | 332401 | 2152 361512 1585361 | 2147483647 332401 141 | 0.000 % |
804.95/805.48 c | 333803 | 2152 361512 1585361 | 2147483647 333803 141 | 0.000 % |
808.06/808.51 c | 335347 | 2152 361512 1585361 | 2147483647 335347 141 | 0.000 % |
812.05/812.56 c | 337042 | 2152 361512 1585361 | 2147483647 337042 141 | 0.000 % |
817.45/817.91 c | 338905 | 2152 361512 1585361 | 2147483647 338905 141 | 0.000 % |
822.46/822.91 c | 340956 | 2152 361512 1585361 | 2147483647 340956 141 | 0.000 % |
829.95/830.46 c | 343210 | 2152 361512 1585361 | 2147483647 343210 141 | 0.000 % |
835.24/835.72 c | 345690 | 2152 361512 1585361 | 2147483647 345690 141 | 0.000 % |
842.65/843.14 c | 348416 | 2152 361512 1585361 | 2147483647 348416 141 | 0.000 % |
852.04/852.55 c | 351413 | 2152 361512 1585361 | 2147483647 351413 141 | 0.000 % |
857.64/858.19 c | 354709 | 2152 361512 1585361 | 2147483647 354709 140 | 0.000 % |
858.03/858.55 c | 354809 | 2152 361512 1585361 | 2147483647 354809 140 | 0.000 % |
858.53/859.04 c | 354919 | 2152 361512 1585361 | 2147483647 354919 140 | 0.000 % |
858.93/859.45 c | 355041 | 2152 361512 1585361 | 2147483647 355041 140 | 0.000 % |
859.23/859.77 c | 355174 | 2152 361512 1585361 | 2147483647 355174 140 | 0.000 % |
859.75/860.27 c | 355322 | 2152 361512 1585361 | 2147483647 355322 140 | 0.000 % |
860.24/860.72 c | 355482 | 2152 361512 1585361 | 2147483647 355482 140 | 0.000 % |
860.94/861.42 c | 355658 | 2152 361512 1585361 | 2147483647 355658 140 | 0.000 % |
861.74/862.26 c | 355853 | 2152 361512 1585361 | 2147483647 355853 140 | 0.000 % |
862.34/862.87 c | 356065 | 2152 361512 1585361 | 2147483647 356065 140 | 0.000 % |
862.94/863.48 c | 356299 | 2152 361512 1585361 | 2147483647 356299 140 | 0.000 % |
863.74/864.27 c | 356556 | 2152 361512 1585361 | 2147483647 356556 140 | 0.000 % |
864.74/865.26 c | 356838 | 2152 361512 1585361 | 2147483647 356838 140 | 0.000 % |
865.64/866.13 c | 357149 | 2152 361512 1585361 | 2147483647 357149 140 | 0.000 % |
866.64/867.20 c | 357489 | 2152 361512 1585361 | 2147483647 357489 140 | 0.000 % |
867.64/868.16 c | 357861 | 2152 361512 1585361 | 2147483647 357861 140 | 0.000 % |
868.74/869.29 c | 358270 | 2152 361512 1585361 | 2147483647 358270 140 | 0.000 % |
870.03/870.58 c | 358719 | 2152 361512 1585361 | 2147483647 358719 140 | 0.000 % |
871.33/871.85 c | 359212 | 2152 361512 1585361 | 2147483647 359212 140 | 0.000 % |
872.94/873.46 c | 359756 | 2152 361512 1585361 | 2147483647 359756 140 | 0.000 % |
875.03/875.56 c | 360352 | 2152 361512 1585361 | 2147483647 360352 140 | 0.000 % |
876.13/876.69 c | 361009 | 2152 361512 1585361 | 2147483647 361009 140 | 0.000 % |
879.43/879.96 c | 361729 | 2152 361512 1585361 | 2147483647 361729 140 | 0.000 % |
881.32/881.82 c | 362521 | 2152 361512 1585361 | 2147483647 362521 140 | 0.000 % |
883.83/884.34 c | 363394 | 2152 361512 1585361 | 2147483647 363394 140 | 0.000 % |
887.13/887.65 c | 364354 | 2152 361512 1585361 | 2147483647 364354 140 | 0.000 % |
889.53/890.08 c | 365407 | 2152 361512 1585361 | 2147483647 365407 140 | 0.000 % |
893.02/893.54 c | 366565 | 2152 361512 1585361 | 2147483647 366565 140 | 0.000 % |
896.62/897.14 c | 367839 | 2152 361512 1585361 | 2147483647 367839 140 | 0.000 % |
900.22/900.75 c | 369239 | 2152 361512 1585361 | 2147483647 369239 140 | 0.000 % |
903.51/904.03 c | 370780 | 2152 361512 1585361 | 2147483647 370780 140 | 0.000 % |
907.71/908.30 c | 372479 | 2152 361512 1585361 | 2147483647 372479 140 | 0.000 % |
912.71/913.29 c | 374342 | 2152 361512 1585361 | 2147483647 374342 140 | 0.000 % |
917.41/917.97 c | 376391 | 2152 361512 1585361 | 2147483647 376391 140 | 0.000 % |
922.91/923.43 c | 378646 | 2152 361512 1585361 | 2147483647 378646 140 | 0.000 % |
929.20/929.78 c | 381128 | 2152 361512 1585361 | 2147483647 381128 140 | 0.000 % |
937.30/937.84 c | 383857 | 2152 361512 1585361 | 2147483647 383857 140 | 0.000 % |
943.30/943.85 c | 386855 | 2152 361512 1585361 | 2147483647 386855 140 | 0.000 % |
950.50/951.01 c | 390152 | 2152 361512 1585361 | 2147483647 390152 140 | 0.000 % |
957.49/958.08 c | 393777 | 2152 361512 1585361 | 2147483647 393777 140 | 0.000 % |
957.80/958.32 c | 393880 | 2152 361512 1585361 | 2147483647 393880 140 | 0.000 % |
957.99/958.54 c | 393991 | 2152 361512 1585361 | 2147483647 393991 140 | 0.000 % |
958.29/958.85 c | 394114 | 2152 361512 1585361 | 2147483647 394114 140 | 0.000 % |
958.59/959.20 c | 394248 | 2152 361512 1585361 | 2147483647 394248 140 | 0.000 % |
958.99/959.56 c | 394394 | 2152 361512 1585361 | 2147483647 394394 140 | 0.000 % |
959.39/959.92 c | 394555 | 2152 361512 1585361 | 2147483647 394555 140 | 0.000 % |
959.99/960.54 c | 394731 | 2152 361512 1585361 | 2147483647 394731 140 | 0.000 % |
960.59/961.11 c | 394924 | 2152 361512 1585361 | 2147483647 394924 140 | 0.000 % |
961.49/962.09 c | 395136 | 2152 361512 1585361 | 2147483647 395136 140 | 0.000 % |
962.39/962.92 c | 395369 | 2152 361512 1585361 | 2147483647 395369 140 | 0.000 % |
963.49/964.07 c | 395625 | 2152 361512 1585361 | 2147483647 395625 140 | 0.000 % |
964.19/964.79 c | 395908 | 2152 361512 1585361 | 2147483647 395908 140 | 0.000 % |
965.39/965.94 c | 396217 | 2152 361512 1585361 | 2147483647 396217 140 | 0.000 % |
966.39/966.95 c | 396558 | 2152 361512 1585361 | 2147483647 396558 140 | 0.000 % |
967.49/968.07 c | 396930 | 2152 361512 1585361 | 2147483647 396930 140 | 0.000 % |
968.99/969.58 c | 397340 | 2152 361512 1585361 | 2147483647 397340 140 | 0.000 % |
970.39/970.98 c | 397789 | 2152 361512 1585361 | 2147483647 397789 140 | 0.000 % |
972.58/973.14 c | 398282 | 2152 361512 1585361 | 2147483647 398282 140 | 0.000 % |
974.18/974.76 c | 398825 | 2152 361512 1585361 | 2147483647 398825 140 | 0.000 % |
976.38/976.96 c | 399422 | 2152 361512 1585361 | 2147483647 399422 140 | 0.000 % |
978.28/978.82 c | 400078 | 2152 361512 1585361 | 2147483647 400078 140 | 0.000 % |
979.88/980.45 c | 400798 | 2152 361512 1585361 | 2147483647 400798 140 | 0.000 % |
982.37/982.97 c | 401590 | 2152 361512 1585361 | 2147483647 401590 140 | 0.000 % |
984.18/984.77 c | 402462 | 2152 361512 1585361 | 2147483647 402462 140 | 0.000 % |
985.88/986.40 c | 403420 | 2152 361512 1585361 | 2147483647 403420 140 | 0.000 % |
988.98/989.55 c | 404473 | 2152 361512 1585361 | 2147483647 404473 140 | 0.000 % |
992.58/993.14 c | 405632 | 2152 361512 1585361 | 2147483647 405632 140 | 0.000 % |
994.87/995.45 c | 406906 | 2152 361512 1585361 | 2147483647 406906 140 | 0.000 % |
997.87/998.43 c | 408307 | 2152 361512 1585361 | 2147483647 408307 140 | 0.000 % |
1002.08/1002.69 c | 409849 | 2152 361512 1585361 | 2147483647 409849 140 | 0.000 % |
1005.47/1006.00 c | 411544 | 2152 361512 1585361 | 2147483647 411544 140 | 0.000 % |
1011.97/1012.54 c | 413407 | 2152 361512 1585361 | 2147483647 413407 140 | 0.000 % |
1017.67/1018.23 c | 415456 | 2152 361512 1585361 | 2147483647 415456 140 | 0.000 % |
1022.07/1022.65 c | 417709 | 2152 361512 1585361 | 2147483647 417709 140 | 0.000 % |
1030.56/1031.18 c | 420187 | 2152 361512 1585361 | 2147483647 420187 140 | 0.000 % |
1041.56/1042.12 c | 422915 | 2152 361512 1585361 | 2147483647 422915 140 | 0.000 % |
1048.05/1048.64 c | 425912 | 2152 361512 1585361 | 2147483647 425912 140 | 0.000 % |
1057.06/1057.66 c | 429209 | 2152 361512 1585361 | 2147483647 429209 140 | 0.000 % |
1067.84/1068.46 c | 432836 | 2152 361512 1585361 | 2147483647 432836 140 | 0.000 % |
1080.64/1081.26 c | 436823 | 2152 361512 1585361 | 2147483647 436823 140 | 0.000 % |
1080.94/1081.59 c | 436923 | 2152 361512 1585361 | 2147483647 436923 140 | 0.000 % |
1081.34/1081.91 c | 437034 | 2152 361512 1585361 | 2147483647 437034 140 | 0.000 % |
1081.85/1082.48 c | 437156 | 2152 361512 1585361 | 2147483647 437156 140 | 0.000 % |
1082.44/1083.06 c | 437290 | 2152 361512 1585361 | 2147483647 437290 140 | 0.000 % |
1083.34/1083.98 c | 437436 | 2152 361512 1585361 | 2147483647 437436 140 | 0.000 % |
1084.04/1084.68 c | 437597 | 2152 361512 1585361 | 2147483647 437597 140 | 0.000 % |
1084.84/1085.48 c | 437777 | 2152 361512 1585361 | 2147483647 437777 140 | 0.000 % |
1085.44/1086.06 c | 437971 | 2152 361512 1585361 | 2147483647 437971 140 | 0.000 % |
1086.24/1086.84 c | 438184 | 2152 361512 1585361 | 2147483647 438184 140 | 0.000 % |
1087.24/1087.89 c | 438417 | 2152 361512 1585361 | 2147483647 438417 140 | 0.000 % |
1088.34/1088.98 c | 438673 | 2152 361512 1585361 | 2147483647 438673 140 | 0.000 % |
1089.04/1089.60 c | 438954 | 2152 361512 1585361 | 2147483647 438954 140 | 0.000 % |
1090.04/1090.68 c | 439264 | 2152 361512 1585361 | 2147483647 439264 140 | 0.000 % |
1091.04/1091.62 c | 439604 | 2152 361512 1585361 | 2147483647 439604 140 | 0.000 % |
1092.03/1092.62 c | 439976 | 2152 361512 1585361 | 2147483647 439976 140 | 0.000 % |
1092.94/1093.53 c | 440385 | 2152 361512 1585361 | 2147483647 440385 140 | 0.000 % |
1094.64/1095.21 c | 440835 | 2152 361512 1585361 | 2147483647 440835 140 | 0.001 % |
1096.14/1096.71 c | 441330 | 2152 361512 1585361 | 2147483647 441330 140 | 0.000 % |
1097.43/1098.06 c | 441872 | 2152 361512 1585361 | 2147483647 441872 140 | 0.000 % |
1099.23/1099.85 c | 442468 | 2152 361512 1585361 | 2147483647 442468 140 | 0.000 % |
1100.43/1101.00 c | 443124 | 2152 361512 1585361 | 2147483647 443124 139 | 0.000 % |
1102.53/1103.10 c | 443845 | 2152 361512 1585361 | 2147483647 443845 139 | 0.000 % |
1104.53/1105.12 c | 444638 | 2152 361512 1585361 | 2147483647 444638 139 | 0.000 % |
1106.12/1106.73 c | 445509 | 2152 361512 1585361 | 2147483647 445509 139 | 0.000 % |
1109.61/1110.20 c | 446469 | 2152 361512 1585361 | 2147483647 446469 139 | 0.000 % |
1111.71/1112.34 c | 447526 | 2152 361512 1585361 | 2147483647 447526 139 | 0.000 % |
1114.41/1115.03 c | 448684 | 2152 361512 1585361 | 2147483647 448684 139 | 0.000 % |
1117.12/1117.72 c | 449958 | 2152 361512 1585361 | 2147483647 449958 139 | 0.000 % |
1121.42/1122.06 c | 451358 | 2152 361512 1585361 | 2147483647 451358 139 | 0.000 % |
1126.11/1126.78 c | 452899 | 2152 361512 1585361 | 2147483647 452899 139 | 0.000 % |
1130.32/1130.96 c | 454594 | 2152 361512 1585361 | 2147483647 454594 139 | 0.000 % |
1135.41/1136.06 c | 456457 | 2152 361512 1585361 | 2147483647 456457 139 | 0.000 % |
1139.51/1140.18 c | 458506 | 2152 361512 1585361 | 2147483647 458506 139 | 0.000 % |
1146.71/1147.36 c | 460761 | 2152 361512 1585361 | 2147483647 460761 139 | 0.000 % |
1155.40/1156.01 c | 463240 | 2152 361512 1585361 | 2147483647 463240 140 | 0.000 % |
1163.31/1163.93 c | 465966 | 2152 361512 1585361 | 2147483647 465966 139 | 0.000 % |
1171.89/1172.51 c | 468963 | 2152 361512 1585361 | 2147483647 468963 140 | 0.000 % |
1182.00/1182.68 c | 472263 | 2152 361512 1585361 | 2147483647 472263 140 | 0.000 % |
1189.39/1190.05 c | 475888 | 2152 361512 1585361 | 2147483647 475888 140 | 0.000 % |
1197.69/1198.31 c | 479875 | 2152 361512 1585361 | 2147483647 479875 140 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833957-1242826472/watcher-1833957-1242826472 -o /tmp/evaluation-result-1833957-1242826472/solver-1833957-1242826472 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833957-1242826472.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3926
/proc/meminfo: memFree=1881520/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=0
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310677062 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3926/statm: 1339 235 195 169 0 50 0
[pid=3927] ppid=3926 vsize=5356 CPUtime=0
/proc/3927/stat : 3927 (SatELiteGTI) S 3926 3926 3577 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310677062 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3927/statm: 1339 238 198 169 0 50 0
[pid=3929] ppid=3927 vsize=5356 CPUtime=0
/proc/3929/stat : 3929 (SatELiteGTI) R 3927 3926 3577 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807578407 0 0 4096 0 0 0 0 17 1 0 0
/proc/3929/statm: 1339 239 199 169 0 50 0
[startup+0.102845 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3926
/proc/meminfo: memFree=1881520/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=0
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310677062 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.202854 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3926
/proc/meminfo: memFree=1881520/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=0
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310677062 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302864 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3926
/proc/meminfo: memFree=1881520/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=0
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310677062 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702906 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3926
/proc/meminfo: memFree=1881520/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=0
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310677062 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50198 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3931
/proc/meminfo: memFree=1849952/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=0
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310677062 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 237 197 169 0 50 0
[pid=3931] ppid=3926 vsize=39316 CPUtime=1.48
/proc/3931/stat : 3931 (SatELite_releas) R 3926 3926 3577 0 -1 4194304 8970 0 0 0 144 4 0 0 25 0 1 0 310677063 40259584 8956 1992294400 134512640 135223648 4294956128 18446744073709551615 134585512 0 0 4096 3 0 0 0 17 0 0 0
/proc/3931/statm: 9829 8956 76 173 0 9654 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44672
[startup+3.10115 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3931
/proc/meminfo: memFree=1843744/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=0
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310677062 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 237 197 169 0 50 0
[pid=3931] ppid=3926 vsize=39316 CPUtime=3.08
/proc/3931/stat : 3931 (SatELite_releas) R 3926 3926 3577 0 -1 4194304 8976 0 0 0 304 4 0 0 25 0 1 0 310677063 40259584 8962 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 0 0 0
/proc/3931/statm: 9829 8962 76 173 0 9654 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 44672
[startup+6.3015 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3931
/proc/meminfo: memFree=1838816/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 5.49
Current children cumulated vsize (KiB) 5356
[startup+12.7012 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1846880/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=26444 CPUtime=7.17
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 6420 0 0 0 711 6 0 0 25 0 1 0 310677613 27078656 6406 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 6611 6406 77 171 0 6438 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 31800
[startup+25.5025 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1836320/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=36984 CPUtime=19.95
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 9023 0 0 0 1988 7 0 0 25 0 1 0 310677613 37871616 9009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 9246 9009 77 171 0 9073 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 42340
[startup+51.1023 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1826016/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=47268 CPUtime=45.53
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 11546 0 0 0 4542 11 0 0 25 0 1 0 310677613 48402432 11532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 11817 11532 77 171 0 11644 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 52624
[startup+102.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1806496/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=66448 CPUtime=96.7
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 16344 0 0 0 9654 16 0 0 25 0 1 0 310677613 68042752 16330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 16612 16330 77 171 0 16439 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 71804
[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1787552/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=85588 CPUtime=156.66
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 21084 0 0 0 15644 22 0 0 25 0 1 0 310677613 87642112 21070 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 21397 21070 77 171 0 21224 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 90944
[startup+222.307 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1770272/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=102780 CPUtime=216.63
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 25368 0 0 0 21637 26 0 0 25 0 1 0 310677613 105246720 25354 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 25695 25354 77 171 0 25522 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 108136
[startup+282.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1756000/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=117308 CPUtime=276.6
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 28946 0 0 0 27631 29 0 0 25 0 1 0 310677613 120123392 28932 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 29327 28932 77 171 0 29154 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 122664
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1741728/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=131372 CPUtime=336.57
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 32451 0 0 0 33624 33 0 0 25 0 1 0 310677613 134524928 32437 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 32843 32437 77 171 0 32670 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 136728
[startup+402.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3932
/proc/meminfo: memFree=1727328/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=145872 CPUtime=396.56
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 36067 0 0 0 39619 37 0 0 25 0 1 0 310677613 149372928 36053 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 36468 36053 77 171 0 36295 0
Current children cumulated CPU time (s) 402.05
################
# More data... #
################
/proc/3932/statm: 42945 42414 77 171 0 42772 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 177136
[startup+582.303 s]
/proc/loadavg: 1.10 1.04 1.00 2/67 3934
/proc/meminfo: memFree=1689568/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=183388 CPUtime=576.47
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 45343 0 0 0 57601 46 0 0 25 0 1 0 310677613 187789312 45329 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 45847 45329 77 171 0 45674 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 188744
[startup+642.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/67 3934
/proc/meminfo: memFree=1679328/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=193808 CPUtime=636.45
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 47916 0 0 0 63596 49 0 0 25 0 1 0 310677613 198459392 47902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 48452 47902 77 171 0 48279 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 199164
[startup+702.303 s]
/proc/loadavg: 1.08 1.05 1.00 2/67 3934
/proc/meminfo: memFree=1668320/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=204756 CPUtime=696.42
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 50619 0 0 0 69591 51 0 0 25 0 1 0 310677613 209670144 50605 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 51189 50605 77 171 0 51016 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 210112
[startup+762.302 s]
/proc/loadavg: 1.07 1.05 1.00 2/67 3934
/proc/meminfo: memFree=1653024/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=220480 CPUtime=756.4
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 54380 0 0 0 75586 54 0 0 25 0 1 0 310677613 225771520 54366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 55120 54366 77 171 0 54947 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 225836
[startup+822.303 s]
/proc/loadavg: 1.12 1.07 1.01 2/67 3934
/proc/meminfo: memFree=1640160/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=233560 CPUtime=816.37
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 57652 0 0 0 81580 57 0 0 25 0 1 0 310677613 239165440 57638 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 58390 57638 77 171 0 58217 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 238916
[startup+882.307 s]
/proc/loadavg: 1.11 1.08 1.01 2/67 3934
/proc/meminfo: memFree=1628448/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=244964 CPUtime=876.33
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 60515 0 0 0 87574 59 0 0 25 0 1 0 310677613 250843136 60501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 61241 60501 77 171 0 61068 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 250320
[startup+942.301 s]
/proc/loadavg: 1.04 1.07 1.01 2/67 3934
/proc/meminfo: memFree=1615584/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=257852 CPUtime=936.31
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 63740 0 0 0 93568 63 0 0 25 0 1 0 310677613 264040448 63726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 64463 63726 77 171 0 64290 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 263208
[startup+1002.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/67 3934
/proc/meminfo: memFree=1601120/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=271900 CPUtime=996.29
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 67284 0 0 0 99562 67 0 0 25 0 1 0 310677613 278425600 67270 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 67975 67270 77 171 0 67802 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 277256
[startup+1062.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/67 3934
/proc/meminfo: memFree=1589792/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=283124 CPUtime=1056.25
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 70109 0 0 0 105555 70 0 0 25 0 1 0 310677613 289918976 70095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 70781 70095 77 171 0 70608 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 288480
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 3934
/proc/meminfo: memFree=1578144/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=294472 CPUtime=1116.23
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 72988 0 0 0 111551 72 0 0 25 0 1 0 310677613 301539328 72974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 73618 72974 77 171 0 73445 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 299828
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 3934
/proc/meminfo: memFree=1565984/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=307476 CPUtime=1176.21
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 76019 0 0 0 117546 75 0 0 25 0 1 0 310677613 314855424 76005 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 76869 76005 77 171 0 76696 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 312832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 3934
/proc/meminfo: memFree=1560608/2055920 swapFree=4105488/4192956
[pid=3926] ppid=3924 vsize=5356 CPUtime=5.49
/proc/3926/stat : 3926 (SatELiteGTI) S 3924 3926 3577 0 -1 4194304 336 9228 0 0 0 0 542 7 16 0 1 0 310677062 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3926/statm: 1339 239 197 169 0 50 0
[pid=3932] ppid=3926 vsize=312624 CPUtime=1194.6
/proc/3932/stat : 3932 (minisat_static) R 3926 3926 3577 0 -1 4194304 77317 0 0 0 119384 76 0 0 25 0 1 0 310677613 320126976 77303 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3932/statm: 78156 77303 77 171 0 77983 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 317980
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 3926 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=431174
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=74988
# CPU time returned by wait4() is 5.50616
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.26
CPU system time (s): 0.83
CPU usage (%): 99.9482
Max. virtual memory (cumulated for all children) (KiB): 317980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.43117
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9564
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= 41
runsolver used 1.18082 second user time and 3.2775 second system time
The end
Begin job on node81 at 2009-05-20 15:34:32
IDJOB=1833957
IDBENCH=71096
IDSOLVER=671
FILE ID=node81/1833957-1242826472
PBS_JOBID= 9322519
Free space on /tmp= 126520 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_16_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833957-1242826472/watcher-1833957-1242826472 -o /tmp/evaluation-result-1833957-1242826472/solver-1833957-1242826472 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833957-1242826472.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 85279cb74dedd2e1c7356e22d8e98939
RANDOM SEED=736120806
node81.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.234
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1882000 kB
Buffers: 20984 kB
Cached: 36264 kB
SwapCached: 80860 kB
Active: 45136 kB
Inactive: 94652 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882000 kB
SwapTotal: 4192956 kB
SwapFree: 4105488 kB
Dirty: 7640 kB
Writeback: 0 kB
Mapped: 13620 kB
Slab: 19912 kB
Committed_AS: 955748 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126508 MiB
End job on node81 at 2009-05-20 15:54:35