0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 58800 176400 | 17639 0 0 nan | 0.000 % |
0.00/0.19 c | 0 | 58433 177499 | -- 0 -- -- | -- | -367/1099
0.00/0.19 c ==============================================================================
0.00/0.19 c Result : #vars: 13643 #clauses: 58433 #literals: 177499
0.00/0.20 c CPU time: 0.188971 s
0.00/0.20 c ==============================================================================
0.00/0.26 c This is MiniSat 2.0 beta
0.00/0.26 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.26 c ============================[ Problem Statistics ]=============================
0.00/0.26 c | |
0.00/0.26 c | Number of variables: 13643 |
0.00/0.26 c | Number of clauses: 58433 |
0.25/0.30 c | Parsing time: 0.04 s |
0.25/0.30 c ============================[ Search Statistics ]==============================
0.25/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.25/0.30 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.25/0.30 c ===============================================================================
0.25/0.30 c | 0 | 13643 58433 177499 | 19477 0 nan | 0.000 % |
0.25/0.35 c | 101 | 13643 58433 177499 | 19477 101 188 | 0.000 % |
0.25/0.40 c | 202 | 13643 58433 177499 | 19477 202 171 | 0.000 % |
0.25/0.45 c | 303 | 13643 58433 177499 | 19477 303 160 | 0.000 % |
0.25/0.49 c | 413 | 13643 58433 177499 | 19477 413 166 | 0.000 % |
0.25/0.53 c | 513 | 13643 58433 177499 | 19477 513 158 | 0.000 % |
0.25/0.59 c | 624 | 13643 58433 177499 | 19477 624 164 | 0.000 % |
0.25/0.65 c | 749 | 13643 58433 177499 | 19477 749 166 | 0.000 % |
0.25/0.69 c | 849 | 13643 58433 177499 | 19477 849 160 | 0.000 % |
0.25/0.74 c | 961 | 13643 58433 177499 | 19477 961 165 | 0.000 % |
0.25/0.80 c | 1082 | 13643 58433 177499 | 19477 1082 166 | 0.000 % |
0.25/0.85 c | 1215 | 13643 58433 177499 | 19477 1215 164 | 0.000 % |
0.25/0.90 c | 1315 | 13643 58433 177499 | 19477 1315 165 | 0.000 % |
0.25/0.95 c | 1425 | 13643 58433 177499 | 19477 1425 165 | 0.000 % |
0.98/1.01 c | 1547 | 13643 58433 177499 | 19477 1547 169 | 0.000 % |
0.98/1.07 c | 1680 | 13643 58433 177499 | 19477 1680 171 | 0.000 % |
1.08/1.14 c | 1827 | 13643 58433 177499 | 19477 1827 172 | 0.000 % |
1.08/1.19 c | 1928 | 13643 58433 177499 | 19477 1928 174 | 0.000 % |
1.18/1.25 c | 2041 | 13643 58433 177499 | 19477 2041 174 | 0.000 % |
1.28/1.31 c | 2163 | 13643 58433 177499 | 19477 2163 178 | 0.000 % |
1.28/1.36 c | 2296 | 13643 58433 177499 | 19477 2296 174 | 0.000 % |
1.38/1.43 c | 2442 | 13643 58433 177499 | 19477 2442 175 | 0.000 % |
1.47/1.51 c | 2602 | 13643 58433 177499 | 19477 2602 174 | 0.000 % |
1.47/1.56 c | 2706 | 13643 58433 177499 | 19477 2706 172 | 0.000 % |
1.57/1.61 c | 2816 | 13643 58433 177499 | 19477 2816 170 | 0.000 % |
1.57/1.67 c | 2938 | 13643 58433 177499 | 19477 2938 171 | 0.000 % |
1.67/1.73 c | 3071 | 13643 58433 177499 | 19477 3071 170 | 0.000 % |
1.77/1.80 c | 3217 | 13643 58433 177499 | 19477 3217 171 | 0.000 % |
1.77/1.88 c | 3378 | 13643 58433 177499 | 19477 3378 170 | 0.000 % |
1.87/1.96 c | 3554 | 13643 58433 177499 | 19477 3554 170 | 0.000 % |
1.98/2.01 c | 3655 | 13643 58433 177499 | 19477 3655 169 | 0.000 % |
1.98/2.07 c | 3765 | 13643 58433 177499 | 19477 3765 170 | 0.000 % |
2.08/2.13 c | 3887 | 13643 58433 177499 | 19477 3887 169 | 0.000 % |
2.08/2.19 c | 4021 | 13643 58433 177499 | 19477 4021 170 | 0.000 % |
2.18/2.26 c | 4167 | 13643 58433 177499 | 19477 4167 170 | 0.000 % |
2.28/2.34 c | 4327 | 13643 58433 177499 | 19477 4327 171 | 0.000 % |
2.38/2.41 c | 4506 | 13643 58433 177499 | 19477 4506 172 | 0.000 % |
2.48/2.50 c | 4699 | 13643 58433 177499 | 19477 4699 172 | 0.000 % |
2.48/2.55 c | 4799 | 13643 58433 177499 | 19477 4799 172 | 0.000 % |
2.58/2.61 c | 4909 | 13643 58433 177499 | 19477 4909 174 | 0.000 % |
3.08/3.13 c | 5032 | 13643 58433 177499 | 19477 5032 174 | 0.000 % |
3.08/3.13 c | 5165 | 13643 58433 177499 | 19477 5165 174 | 0.000 % |
3.08/3.13 c | 5311 | 13643 58433 177499 | 19477 5311 175 | 0.000 % |
3.08/3.13 c | 5471 | 13643 58433 177499 | 19477 5471 174 | 0.000 % |
3.08/3.13 c | 5649 | 13643 58433 177499 | 19477 5649 174 | 0.000 % |
3.08/3.13 c | 5842 | 13643 58433 177499 | 19477 5842 174 | 0.000 % |
3.08/3.14 c | 6055 | 13643 58433 177499 | 19477 6055 174 | 0.000 % |
3.08/3.20 c | 6155 | 13643 58433 177499 | 19477 6155 173 | 0.000 % |
3.08/3.25 c | 6267 | 13643 58433 177499 | 19477 6267 174 | 0.000 % |
3.08/3.31 c | 6391 | 13643 58433 177499 | 19477 6391 174 | 0.000 % |
3.08/3.38 c | 6524 | 13643 58433 177499 | 19477 6524 174 | 0.000 % |
3.40/3.46 c | 6670 | 13643 58433 177499 | 19477 6670 174 | 0.000 % |
3.51/3.55 c | 6830 | 13643 58433 177499 | 19477 6830 175 | 0.000 % |
3.58/3.63 c | 7006 | 13643 58433 177499 | 19477 7006 176 | 0.000 % |
3.68/3.73 c | 7199 | 13643 58433 177499 | 19477 7199 176 | 0.000 % |
3.77/3.82 c | 7411 | 13643 58433 177499 | 19477 7411 176 | 0.000 % |
3.87/3.93 c | 7646 | 13643 58433 177499 | 19477 7646 177 | 0.000 % |
3.87/3.98 c | 7748 | 13643 58433 177499 | 19477 7748 177 | 0.000 % |
3.97/4.04 c | 7858 | 13643 58433 177499 | 19477 7858 177 | 0.000 % |
4.08/4.11 c | 7981 | 13643 58433 177499 | 19477 7981 178 | 0.000 % |
4.08/4.18 c | 8115 | 13643 58433 177499 | 19477 8115 178 | 0.000 % |
4.18/4.26 c | 8264 | 13643 58433 177499 | 19477 8264 179 | 0.000 % |
4.28/4.34 c | 8424 | 13643 58433 177499 | 19477 8424 179 | 0.000 % |
4.38/4.43 c | 8600 | 13643 58433 177499 | 19477 8600 180 | 0.000 % |
4.48/4.52 c | 8793 | 13643 58433 177499 | 19477 8793 180 | 0.000 % |
4.57/4.64 c | 9005 | 13643 58433 177499 | 19477 9005 179 | 0.000 % |
4.67/4.76 c | 9240 | 13643 58433 177499 | 19477 9240 180 | 0.000 % |
4.77/4.88 c | 9497 | 13643 58433 177499 | 19477 9497 180 | 0.000 % |
4.87/4.93 c | 9597 | 13643 58433 177499 | 19477 9597 180 | 0.000 % |
4.87/4.99 c | 9707 | 13643 58433 177499 | 19477 9707 180 | 0.000 % |
4.97/5.06 c | 9830 | 13643 58433 177499 | 19477 9830 180 | 0.000 % |
5.07/5.12 c | 9964 | 13643 58433 177499 | 19477 9964 180 | 0.000 % |
5.07/5.20 c | 10110 | 13643 58433 177499 | 2147483647 10110 179 | 0.000 % |
5.18/5.28 c | 10271 | 13643 58433 177499 | 2147483647 10271 180 | 0.000 % |
5.28/5.37 c | 10448 | 13643 58433 177499 | 2147483647 10448 181 | 0.000 % |
5.38/5.47 c | 10642 | 13643 58433 177499 | 2147483647 10642 182 | 0.000 % |
5.48/5.57 c | 10854 | 13643 58433 177499 | 2147483647 10854 182 | 0.000 % |
5.58/5.69 c | 11089 | 13643 58433 177499 | 2147483647 11089 182 | 0.000 % |
5.78/5.83 c | 11345 | 13643 58433 177499 | 2147483647 11345 181 | 0.000 % |
5.89/5.98 c | 11627 | 13643 58433 177499 | 2147483647 11627 182 | 0.000 % |
5.98/6.04 c | 11727 | 13643 58433 177499 | 2147483647 11727 183 | 0.000 % |
6.08/6.10 c | 11837 | 13643 58433 177499 | 2147483647 11837 183 | 0.000 % |
6.08/6.16 c | 11958 | 13643 58433 177499 | 2147483647 11958 182 | 0.000 % |
6.18/6.25 c | 12093 | 13643 58433 177499 | 2147483647 12093 182 | 0.000 % |
6.28/6.33 c | 12242 | 13643 58433 177499 | 2147483647 12242 182 | 0.000 % |
6.38/6.41 c | 12402 | 13643 58433 177499 | 2147483647 12402 182 | 0.000 % |
6.38/6.50 c | 12579 | 13643 58433 177499 | 2147483647 12579 182 | 0.000 % |
6.57/6.60 c | 12774 | 13643 58433 177499 | 2147483647 12774 182 | 0.000 % |
6.68/6.72 c | 12986 | 13643 58433 177499 | 2147483647 12986 182 | 0.000 % |
6.78/6.84 c | 13219 | 13643 58433 177499 | 2147483647 13219 182 | 0.000 % |
6.87/6.96 c | 13477 | 13643 58433 177499 | 2147483647 13477 182 | 0.000 % |
7.07/7.12 c | 13759 | 13643 58433 177499 | 2147483647 13759 183 | 0.000 % |
7.17/7.27 c | 14068 | 13643 58433 177499 | 2147483647 14068 183 | 0.000 % |
7.27/7.33 c | 14169 | 13643 58433 177499 | 2147483647 14169 183 | 0.000 % |
7.27/7.39 c | 14279 | 13643 58433 177499 | 2147483647 14279 183 | 0.000 % |
7.37/7.46 c | 14401 | 13643 58433 177499 | 2147483647 14401 183 | 0.000 % |
7.47/7.53 c | 14534 | 13643 58433 177499 | 2147483647 14534 183 | 0.000 % |
7.57/7.61 c | 14680 | 13643 58433 177499 | 2147483647 14680 183 | 0.000 % |
7.67/7.71 c | 14842 | 13643 58433 177499 | 2147483647 14842 183 | 0.000 % |
7.67/7.79 c | 15018 | 13643 58433 177499 | 2147483647 15018 183 | 0.000 % |
7.77/7.89 c | 15212 | 13643 58433 177499 | 2147483647 15212 183 | 0.000 % |
7.97/8.02 c | 15424 | 13643 58433 177499 | 2147483647 15424 183 | 0.000 % |
8.07/8.14 c | 15658 | 13643 58433 177499 | 2147483647 15658 183 | 0.000 % |
8.17/8.28 c | 15914 | 13643 58433 177499 | 2147483647 15914 183 | 0.000 % |
8.37/8.42 c | 16195 | 13643 58433 177499 | 2147483647 16195 183 | 0.000 % |
8.47/8.59 c | 16505 | 13643 58433 177499 | 2147483647 16505 184 | 0.000 % |
8.67/8.77 c | 16844 | 13643 58433 177499 | 2147483647 16844 184 | 0.000 % |
8.77/8.82 c | 16945 | 13643 58433 177499 | 2147483647 16945 184 | 0.000 % |
8.77/8.88 c | 17055 | 13643 58433 177499 | 2147483647 17055 184 | 0.000 % |
8.88/8.95 c | 17176 | 13643 58433 177499 | 2147483647 17176 184 | 0.000 % |
8.98/9.03 c | 17309 | 13643 58433 177499 | 2147483647 17309 183 | 0.000 % |
9.07/9.12 c | 17455 | 13643 58433 177499 | 2147483647 17455 184 | 0.000 % |
9.17/9.21 c | 17616 | 13643 58433 177499 | 2147483647 17616 184 | 0.000 % |
9.27/9.31 c | 17794 | 13643 58433 177499 | 2147483647 17794 184 | 0.000 % |
9.37/9.42 c | 17990 | 13643 58433 177499 | 2147483647 17990 184 | 0.000 % |
9.47/9.54 c | 18202 | 13643 58433 177499 | 2147483647 18202 184 | 0.000 % |
9.57/9.66 c | 18435 | 13643 58433 177499 | 2147483647 18435 184 | 0.000 % |
9.77/9.81 c | 18691 | 13643 58433 177499 | 2147483647 18691 184 | 0.000 % |
9.87/9.97 c | 18972 | 13643 58433 177499 | 2147483647 18972 184 | 0.000 % |
10.07/10.13 c | 19282 | 13643 58433 177499 | 2147483647 19282 184 | 0.000 % |
10.27/10.31 c | 19621 | 13643 58433 177499 | 2147483647 19621 184 | 0.000 % |
10.47/10.52 c | 19993 | 13643 58433 177499 | 2147483647 19993 184 | 0.000 % |
10.47/10.58 c | 20094 | 13643 58433 177499 | 2147483647 20094 184 | 0.000 % |
10.57/10.64 c | 20205 | 13643 58433 177499 | 2147483647 20205 184 | 0.000 % |
10.67/10.71 c | 20326 | 13643 58433 177499 | 2147483647 20326 184 | 0.000 % |
10.67/10.80 c | 20462 | 13643 58433 177499 | 2147483647 20462 184 | 0.000 % |
10.87/10.90 c | 20610 | 13643 58433 177499 | 2147483647 20610 184 | 0.000 % |
10.87/11.00 c | 20770 | 13643 58433 177499 | 2147483647 20770 185 | 0.000 % |
10.96/11.09 c | 20946 | 13643 58433 177499 | 2147483647 20946 184 | 0.000 % |
11.17/11.21 c | 21139 | 13643 58433 177499 | 2147483647 21139 184 | 0.000 % |
11.27/11.32 c | 21351 | 13643 58433 177499 | 2147483647 21351 184 | 0.000 % |
11.37/11.45 c | 21584 | 13643 58433 177499 | 2147483647 21584 184 | 0.000 % |
11.57/11.60 c | 21840 | 13643 58433 177499 | 2147483647 21840 184 | 0.000 % |
11.67/11.77 c | 22122 | 13643 58433 177499 | 2147483647 22122 185 | 0.000 % |
11.87/11.95 c | 22431 | 13643 58433 177499 | 2147483647 22431 185 | 0.000 % |
12.07/12.16 c | 22771 | 13643 58433 177499 | 2147483647 22771 187 | 0.000 % |
12.28/12.38 c | 23143 | 13643 58433 177499 | 2147483647 23143 188 | 0.000 % |
12.57/12.63 c | 23553 | 13643 58433 177499 | 2147483647 23553 188 | 0.000 % |
12.67/12.70 c | 23653 | 13643 58433 177499 | 2147483647 23653 188 | 0.000 % |
12.67/12.77 c | 23764 | 13643 58433 177499 | 2147483647 23764 188 | 0.000 % |
12.77/12.85 c | 23885 | 13643 58433 177499 | 2147483647 23885 188 | 0.000 % |
12.87/12.93 c | 24018 | 13643 58433 177499 | 2147483647 24018 188 | 0.000 % |
12.97/13.03 c | 24164 | 13643 58433 177499 | 2147483647 24164 188 | 0.000 % |
13.07/13.12 c | 24325 | 13643 58433 177499 | 2147483647 24325 188 | 0.000 % |
13.17/13.23 c | 24502 | 13643 58433 177499 | 2147483647 24502 188 | 0.000 % |
13.27/13.36 c | 24696 | 13643 58433 177499 | 2147483647 24696 188 | 0.000 % |
13.37/13.49 c | 24908 | 13643 58433 177499 | 2147483647 24908 188 | 0.000 % |
13.57/13.62 c | 25141 | 13643 58433 177499 | 2147483647 25141 188 | 0.000 % |
13.67/13.78 c | 25398 | 13643 58433 177499 | 2147483647 25398 188 | 0.000 % |
13.87/13.94 c | 25680 | 13643 58433 177499 | 2147483647 25680 188 | 0.000 % |
14.07/14.13 c | 25991 | 13643 58433 177499 | 2147483647 25991 188 | 0.000 % |
14.27/14.33 c | 26331 | 13643 58433 177499 | 2147483647 26331 189 | 0.000 % |
14.47/14.55 c | 26703 | 13643 58433 177499 | 2147483647 26703 188 | 0.000 % |
14.66/14.80 c | 27113 | 13643 58433 177499 | 2147483647 27113 189 | 0.000 % |
15.06/15.11 c | 27563 | 13643 58433 177499 | 2147483647 27563 190 | 0.000 % |
15.06/15.17 c | 27666 | 13643 58433 177499 | 2147483647 27666 190 | 0.000 % |
15.16/15.24 c | 27777 | 13643 58433 177499 | 2147483647 27777 190 | 0.000 % |
15.26/15.31 c | 27900 | 13643 58433 177499 | 2147483647 27900 190 | 0.000 % |
15.36/15.40 c | 28033 | 13643 58433 177499 | 2147483647 28033 190 | 0.000 % |
15.36/15.50 c | 28179 | 13643 58433 177499 | 2147483647 28179 190 | 0.000 % |
15.56/15.60 c | 28341 | 13643 58433 177499 | 2147483647 28341 190 | 0.000 % |
15.66/15.73 c | 28517 | 13643 58433 177499 | 2147483647 28517 190 | 0.000 % |
15.76/15.86 c | 28710 | 13643 58433 177499 | 2147483647 28710 189 | 0.000 % |
15.96/16.00 c | 28922 | 13643 58433 177499 | 2147483647 28922 189 | 0.000 % |
16.06/16.16 c | 29156 | 13643 58433 177499 | 2147483647 29156 189 | 0.000 % |
16.26/16.32 c | 29412 | 13643 58433 177499 | 2147483647 29412 189 | 0.000 % |
16.46/16.50 c | 29694 | 13643 58433 177499 | 2147483647 29694 189 | 0.000 % |
16.67/16.70 c | 30005 | 13643 58433 177499 | 2147483647 30005 190 | 0.000 % |
16.86/16.93 c | 30344 | 13643 58433 177499 | 2147483647 30344 190 | 0.000 % |
17.06/17.17 c | 30717 | 13643 58433 177499 | 2147483647 30717 190 | 0.000 % |
17.36/17.43 c | 31128 | 13643 58433 177499 | 2147483647 31128 190 | 0.000 % |
17.67/17.72 c | 31577 | 13643 58433 177499 | 2147483647 31577 191 | 0.000 % |
17.96/18.05 c | 32072 | 13643 58433 177499 | 2147483647 32072 191 | 0.000 % |
18.06/18.12 c | 32174 | 13643 58433 177499 | 2147483647 32174 191 | 0.000 % |
18.16/18.20 c | 32285 | 13643 58433 177499 | 2147483647 32285 191 | 0.000 % |
18.16/18.29 c | 32407 | 13643 58433 177499 | 2147483647 32407 191 | 0.000 % |
18.26/18.38 c | 32542 | 13643 58433 177499 | 2147483647 32542 191 | 0.000 % |
18.36/18.48 c | 32688 | 13643 58433 177499 | 2147483647 32688 191 | 0.000 % |
18.46/18.58 c | 32850 | 13643 58433 177499 | 2147483647 32850 191 | 0.000 % |
18.66/18.70 c | 33026 | 13643 58433 177499 | 2147483647 33026 191 | 0.000 % |
18.76/18.83 c | 33219 | 13643 58433 177499 | 2147483647 33219 190 | 0.000 % |
18.86/18.97 c | 33431 | 13643 58433 177499 | 2147483647 33431 190 | 0.000 % |
19.06/19.13 c | 33669 | 13643 58433 177499 | 2147483647 33669 190 | 0.000 % |
19.26/19.30 c | 33925 | 13643 58433 177499 | 2147483647 33925 190 | 0.000 % |
19.46/19.50 c | 34207 | 13643 58433 177499 | 2147483647 34207 190 | 0.000 % |
19.66/19.70 c | 34517 | 13643 58433 177499 | 2147483647 34517 190 | 0.000 % |
19.86/19.93 c | 34858 | 13643 58433 177499 | 2147483647 34858 190 | 0.000 % |
20.06/20.19 c | 35231 | 13643 58433 177499 | 2147483647 35231 191 | 0.000 % |
20.36/20.45 c | 35640 | 13643 58433 177499 | 2147483647 35640 191 | 0.000 % |
20.65/20.76 c | 36090 | 13643 58433 177499 | 2147483647 36090 191 | 0.000 % |
20.96/21.09 c | 36584 | 13643 58433 177499 | 2147483647 36584 191 | 0.000 % |
21.35/21.44 c | 37126 | 13643 58433 177499 | 2147483647 37126 192 | 0.000 % |
21.45/21.52 c | 37226 | 13643 58433 177499 | 2147483647 37226 192 | 0.000 % |
21.55/21.60 c | 37337 | 13643 58433 177499 | 2147483647 37337 191 | 0.000 % |
21.55/21.69 c | 37459 | 13643 58433 177499 | 2147483647 37459 191 | 0.000 % |
21.65/21.79 c | 37594 | 13643 58433 177499 | 2147483647 37594 191 | 0.000 % |
21.85/21.90 c | 37740 | 13643 58433 177499 | 2147483647 37740 191 | 0.000 % |
21.95/22.01 c | 37900 | 13643 58433 177499 | 2147483647 37900 191 | 0.000 % |
22.06/22.13 c | 38076 | 13643 58433 177499 | 2147483647 38076 191 | 0.000 % |
22.15/22.28 c | 38269 | 13643 58433 177499 | 2147483647 38269 191 | 0.000 % |
22.35/22.43 c | 38481 | 13643 58433 177499 | 2147483647 38481 191 | 0.000 % |
22.45/22.59 c | 38714 | 13643 58433 177499 | 2147483647 38714 191 | 0.000 % |
22.66/22.77 c | 38970 | 13643 58433 177499 | 2147483647 38970 191 | 0.000 % |
22.86/22.98 c | 39251 | 13643 58433 177499 | 2147483647 39251 191 | 0.000 % |
23.06/23.19 c | 39560 | 13643 58433 177499 | 2147483647 39560 191 | 0.000 % |
23.36/23.43 c | 39900 | 13643 58433 177499 | 2147483647 39900 191 | 0.000 % |
23.56/23.68 c | 40273 | 13643 58433 177499 | 2147483647 40273 192 | 0.000 % |
23.86/23.96 c | 40682 | 13643 58433 177499 | 2147483647 40682 191 | 0.000 % |
24.16/24.29 c | 41132 | 13643 58433 177499 | 2147483647 41132 192 | 0.000 % |
24.55/24.62 c | 41626 | 13643 58433 177499 | 2147483647 41626 192 | 0.000 % |
24.95/25.02 c | 42174 | 13643 58433 177499 | 2147483647 42174 193 | 0.000 % |
25.36/25.46 c | 42773 | 13643 58433 177499 | 2147483647 42773 193 | 0.000 % |
25.46/25.54 c | 42877 | 13643 58433 177499 | 2147483647 42877 193 | 0.000 % |
25.55/25.62 c | 42987 | 13643 58433 177499 | 2147483647 42987 193 | 0.000 % |
25.65/25.71 c | 43110 | 13643 58433 177499 | 2147483647 43110 193 | 0.000 % |
25.75/25.81 c | 43243 | 13643 58433 177499 | 2147483647 43243 193 | 0.000 % |
25.85/25.93 c | 43389 | 13643 58433 177499 | 2147483647 43389 193 | 0.000 % |
25.95/26.05 c | 43550 | 13643 58433 177499 | 2147483647 43550 193 | 0.000 % |
26.15/26.20 c | 43726 | 13643 58433 177499 | 2147483647 43726 193 | 0.000 % |
26.25/26.35 c | 43919 | 13643 58433 177499 | 2147483647 43919 193 | 0.000 % |
26.35/26.49 c | 44131 | 13643 58433 177499 | 2147483647 44131 193 | 0.000 % |
26.55/26.66 c | 44364 | 13643 58433 177499 | 2147483647 44364 193 | 0.000 % |
26.76/26.82 c | 44621 | 13643 58433 177499 | 2147483647 44621 192 | 0.000 % |
26.95/27.02 c | 44903 | 13643 58433 177499 | 2147483647 44903 193 | 0.000 % |
27.15/27.25 c | 45213 | 13643 58433 177499 | 2147483647 45213 193 | 0.000 % |
27.35/27.49 c | 45554 | 13643 58433 177499 | 2147483647 45554 193 | 0.000 % |
27.66/27.79 c | 45926 | 13643 58433 177499 | 2147483647 45926 193 | 0.000 % |
27.95/28.07 c | 46336 | 13643 58433 177499 | 2147483647 46336 193 | 0.000 % |
28.25/28.38 c | 46785 | 13643 58433 177499 | 2147483647 46785 194 | 0.000 % |
28.65/28.72 c | 47279 | 13643 58433 177499 | 2147483647 47279 194 | 0.000 % |
29.05/29.11 c | 47823 | 13643 58433 177499 | 2147483647 47823 194 | 0.000 % |
29.45/29.53 c | 48420 | 13643 58433 177499 | 2147483647 48420 195 | 0.000 % |
29.85/29.99 c | 49076 | 13643 58433 177499 | 2147483647 49076 195 | 0.000 % |
29.95/30.08 c | 49176 | 13643 58433 177499 | 2147483647 49176 195 | 0.000 % |
30.05/30.16 c | 49286 | 13643 58433 177499 | 2147483647 49286 195 | 0.000 % |
30.15/30.25 c | 49408 | 13643 58433 177499 | 2147483647 49408 195 | 0.000 % |
30.25/30.36 c | 49542 | 13643 58433 177499 | 2147483647 49542 195 | 0.000 % |
30.35/30.47 c | 49688 | 13643 58433 177499 | 2147483647 49688 195 | 0.000 % |
30.55/30.60 c | 49848 | 13643 58433 177499 | 2147483647 49848 195 | 0.000 % |
30.65/30.74 c | 50024 | 13643 58433 177499 | 2147483647 50024 195 | 0.000 % |
30.85/30.90 c | 50217 | 13643 58433 177499 | 2147483647 50217 194 | 0.000 % |
30.95/31.08 c | 50430 | 13643 58433 177499 | 2147483647 50430 194 | 0.000 % |
31.15/31.26 c | 50663 | 13643 58433 177499 | 2147483647 50663 194 | 0.000 % |
31.35/31.43 c | 50920 | 13643 58433 177499 | 2147483647 50920 194 | 0.000 % |
31.55/31.64 c | 51201 | 13643 58433 177499 | 2147483647 51201 194 | 0.000 % |
31.75/31.85 c | 51510 | 13643 58433 177499 | 2147483647 51510 195 | 0.000 % |
32.05/32.11 c | 51853 | 13643 58433 177499 | 2147483647 51853 195 | 0.000 % |
32.24/32.37 c | 52225 | 13643 58433 177499 | 2147483647 52225 195 | 0.000 % |
32.55/32.65 c | 52636 | 13643 58433 177499 | 2147483647 52636 195 | 0.000 % |
32.85/32.96 c | 53086 | 13643 58433 177499 | 2147483647 53086 196 | 0.000 % |
33.25/33.34 c | 53579 | 13643 58433 177499 | 2147483647 53579 196 | 0.000 % |
33.65/33.75 c | 54123 | 13643 58433 177499 | 2147483647 54123 196 | 0.000 % |
34.15/34.22 c | 54721 | 13643 58433 177499 | 2147483647 54721 196 | 0.000 % |
34.64/34.71 c | 55377 | 13643 58433 177499 | 2147483647 55377 197 | 0.000 % |
35.14/35.25 c | 56097 | 13643 58433 177499 | 2147483647 56097 197 | 0.000 % |
35.25/35.35 c | 56197 | 13643 58433 177499 | 2147483647 56197 197 | 0.000 % |
35.35/35.45 c | 56308 | 13643 58433 177499 | 2147483647 56308 197 | 0.000 % |
35.44/35.55 c | 56429 | 13643 58433 177499 | 2147483647 56429 197 | 0.000 % |
35.54/35.66 c | 56562 | 13643 58433 177499 | 2147483647 56562 197 | 0.000 % |
35.64/35.78 c | 56709 | 13643 58433 177499 | 2147483647 56709 197 | 0.000 % |
35.84/35.90 c | 56869 | 13643 58433 177499 | 2147483647 56869 197 | 0.000 % |
35.94/36.05 c | 57045 | 13643 58433 177499 | 2147483647 57045 197 | 0.000 % |
36.14/36.21 c | 57238 | 13643 58433 177499 | 2147483647 57238 197 | 0.000 % |
36.24/36.39 c | 57450 | 13643 58433 177499 | 2147483647 57450 197 | 0.000 % |
36.44/36.57 c | 57685 | 13643 58433 177499 | 2147483647 57685 197 | 0.000 % |
36.64/36.79 c | 57944 | 13643 58433 177499 | 2147483647 57944 197 | 0.000 % |
36.94/37.03 c | 58227 | 13643 58433 177499 | 2147483647 58227 197 | 0.000 % |
37.15/37.28 c | 58538 | 13643 58433 177499 | 2147483647 58538 197 | 0.000 % |
37.45/37.56 c | 58877 | 13643 58433 177499 | 2147483647 58877 197 | 0.000 % |
37.75/37.87 c | 59250 | 13643 58433 177499 | 2147483647 59250 198 | 0.000 % |
38.05/38.17 c | 59661 | 13643 58433 177499 | 2147483647 59661 198 | 0.000 % |
38.45/38.54 c | 60111 | 13643 58433 177499 | 2147483647 60111 198 | 0.000 % |
38.84/38.93 c | 60604 | 13643 58433 177499 | 2147483647 60604 198 | 0.000 % |
39.24/39.36 c | 61146 | 13643 58433 177499 | 2147483647 61146 198 | 0.000 % |
39.75/39.85 c | 61742 | 13643 58433 177499 | 2147483647 61742 198 | 0.000 % |
40.24/40.38 c | 62397 | 13643 58433 177499 | 2147483647 62397 199 | 0.000 % |
40.84/40.95 c | 63119 | 13643 58433 177499 | 2147483647 63119 199 | 0.000 % |
41.44/41.59 c | 63912 | 13643 58433 177499 | 2147483647 63912 199 | 0.000 % |
41.54/41.68 c | 64013 | 13643 58433 177499 | 2147483647 64013 199 | 0.000 % |
41.64/41.79 c | 64123 | 13643 58433 177499 | 2147483647 64123 199 | 0.000 % |
41.84/41.91 c | 64247 | 13643 58433 177499 | 2147483647 64247 199 | 0.000 % |
41.94/42.03 c | 64380 | 13643 58433 177499 | 2147483647 64380 199 | 0.000 % |
42.05/42.16 c | 64526 | 13643 58433 177499 | 2147483647 64526 199 | 0.000 % |
42.25/42.31 c | 64688 | 13643 58433 177499 | 2147483647 64688 199 | 0.000 % |
42.34/42.46 c | 64865 | 13643 58433 177499 | 2147483647 64865 199 | 0.000 % |
42.54/42.62 c | 65058 | 13643 58433 177499 | 2147483647 65058 199 | 0.000 % |
42.74/42.81 c | 65270 | 13643 58433 177499 | 2147483647 65270 199 | 0.000 % |
42.94/43.01 c | 65503 | 13643 58433 177499 | 2147483647 65503 199 | 0.000 % |
43.14/43.24 c | 65760 | 13643 58433 177499 | 2147483647 65760 199 | 0.000 % |
43.34/43.47 c | 66041 | 13643 58433 177499 | 2147483647 66041 199 | 0.000 % |
43.64/43.74 c | 66351 | 13643 58433 177499 | 2147483647 66351 199 | 0.000 % |
43.93/44.05 c | 66690 | 13643 58433 177499 | 2147483647 66690 199 | 0.000 % |
44.23/44.38 c | 67063 | 13643 58433 177499 | 2147483647 67063 199 | 0.000 % |
44.63/44.73 c | 67474 | 13643 58433 177499 | 2147483647 67474 200 | 0.000 % |
44.93/45.09 c | 67923 | 13643 58433 177499 | 2147483647 67923 200 | 0.000 % |
45.44/45.50 c | 68416 | 13643 58433 177499 | 2147483647 68416 200 | 0.000 % |
45.84/45.95 c | 68959 | 13643 58433 177499 | 2147483647 68959 200 | 0.000 % |
46.34/46.46 c | 69556 | 13643 58433 177499 | 2147483647 69556 201 | 0.000 % |
46.93/47.03 c | 70212 | 13643 58433 177499 | 2147483647 70212 201 | 0.000 % |
47.53/47.68 c | 70932 | 13643 58433 177499 | 2147483647 70932 202 | 0.000 % |
48.23/48.38 c | 71724 | 13643 58433 177499 | 2147483647 71724 203 | 0.000 % |
49.04/49.13 c | 72595 | 13643 58433 177499 | 2147483647 72595 203 | 0.000 % |
49.14/49.22 c | 72696 | 13643 58433 177499 | 2147483647 72696 203 | 0.000 % |
49.24/49.33 c | 72808 | 13643 58433 177499 | 2147483647 72808 203 | 0.000 % |
49.34/49.44 c | 72929 | 13643 58433 177499 | 2147483647 72929 203 | 0.000 % |
49.44/49.56 c | 73062 | 13643 58433 177499 | 2147483647 73062 203 | 0.000 % |
49.54/49.70 c | 73208 | 13643 58433 177499 | 2147483647 73208 203 | 0.000 % |
49.74/49.85 c | 73368 | 13643 58433 177499 | 2147483647 73368 203 | 0.000 % |
49.94/50.02 c | 73545 | 13643 58433 177499 | 2147483647 73545 203 | 0.000 % |
50.13/50.20 c | 73739 | 13643 58433 177499 | 2147483647 73739 203 | 0.000 % |
50.33/50.40 c | 73953 | 13643 58433 177499 | 2147483647 73953 203 | 0.000 % |
50.53/50.62 c | 74186 | 13643 58433 177499 | 2147483647 74186 203 | 0.000 % |
50.74/50.85 c | 74442 | 13643 58433 177499 | 2147483647 74442 203 | 0.000 % |
51.03/51.12 c | 74723 | 13643 58433 177499 | 2147483647 74723 203 | 0.000 % |
51.33/51.41 c | 75033 | 13643 58433 177499 | 2147483647 75033 203 | 0.000 % |
51.63/51.73 c | 75372 | 13643 58433 177499 | 2147483647 75372 203 | 0.000 % |
51.93/52.06 c | 75744 | 13643 58433 177499 | 2147483647 75744 203 | 0.000 % |
52.33/52.42 c | 76153 | 13643 58433 177499 | 2147483647 76153 203 | 0.000 % |
52.73/52.84 c | 76602 | 13643 58433 177499 | 2147483647 76602 203 | 0.000 % |
53.13/53.28 c | 77095 | 13643 58433 177499 | 2147483647 77095 203 | 0.000 % |
53.63/53.77 c | 77639 | 13643 58433 177499 | 2147483647 77639 203 | 0.000 % |
54.13/54.29 c | 78236 | 13643 58433 177499 | 2147483647 78236 204 | 0.000 % |
54.73/54.84 c | 78892 | 13643 58433 177499 | 2147483647 78892 203 | 0.000 % |
55.33/55.48 c | 79613 | 13643 58433 177499 | 2147483647 79613 204 | 0.000 % |
56.03/56.17 c | 80405 | 13643 58433 177499 | 2147483647 80405 204 | 0.000 % |
56.83/56.94 c | 81278 | 13643 58433 177499 | 2147483647 81278 205 | 0.000 % |
57.63/57.78 c | 82238 | 13643 58433 177499 | 2147483647 82238 206 | 0.000 % |
57.73/57.88 c | 82340 | 13643 58433 177499 | 2147483647 82340 206 | 0.000 % |
57.83/57.99 c | 82450 | 13643 58433 177499 | 2147483647 82450 206 | 0.000 % |
58.03/58.11 c | 82571 | 13643 58433 177499 | 2147483647 82571 206 | 0.000 % |
58.13/58.26 c | 82707 | 13643 58433 177499 | 2147483647 82707 205 | 0.000 % |
58.34/58.41 c | 82853 | 13643 58433 177499 | 2147483647 82853 205 | 0.000 % |
58.44/58.58 c | 83014 | 13643 58433 177499 | 2147483647 83014 205 | 0.000 % |
58.63/58.77 c | 83190 | 13643 58433 177499 | 2147483647 83190 205 | 0.000 % |
58.83/58.95 c | 83383 | 13643 58433 177499 | 2147483647 83383 205 | 0.000 % |
59.03/59.17 c | 83595 | 13643 58433 177499 | 2147483647 83595 205 | 0.000 % |
59.23/59.39 c | 83828 | 13643 58433 177499 | 2147483647 83828 205 | 0.000 % |
59.53/59.64 c | 84085 | 13643 58433 177499 | 2147483647 84085 205 | 0.000 % |
59.83/59.94 c | 84366 | 13643 58433 177499 | 2147483647 84366 205 | 0.000 % |
60.13/60.22 c | 84675 | 13643 58433 177499 | 2147483647 84675 205 | 0.000 % |
60.43/60.54 c | 85015 | 13643 58433 177499 | 2147483647 85015 205 | 0.000 % |
60.83/60.91 c | 85388 | 13643 58433 177499 | 2147483647 85388 205 | 0.000 % |
61.13/61.29 c | 85797 | 13643 58433 177499 | 2147483647 85797 205 | 0.000 % |
61.63/61.71 c | 86246 | 13643 58433 177499 | 2147483647 86246 205 | 0.000 % |
62.03/62.17 c | 86739 | 13643 58433 177499 | 2147483647 86739 205 | 0.000 % |
62.63/62.70 c | 87281 | 13643 58433 177499 | 2147483647 87281 205 | 0.000 % |
63.13/63.25 c | 87878 | 13643 58433 177499 | 2147483647 87878 206 | 0.000 % |
63.73/63.86 c | 88533 | 13643 58433 177499 | 2147483647 88533 206 | 0.000 % |
64.43/64.58 c | 89254 | 13643 58433 177499 | 2147483647 89254 206 | 0.000 % |
65.23/65.37 c | 90048 | 13643 58433 177499 | 2147483647 90048 206 | 0.000 % |
66.14/66.24 c | 90919 | 13643 58433 177499 | 2147483647 90919 206 | 0.000 % |
67.03/67.17 c | 91878 | 13643 58433 177499 | 2147483647 91878 207 | 0.000 % |
68.03/68.17 c | 92931 | 13643 58433 177499 | 2147483647 92931 208 | 0.000 % |
68.13/68.29 c | 93033 | 13643 58433 177499 | 2147483647 93033 208 | 0.000 % |
68.33/68.42 c | 93144 | 13643 58433 177499 | 2147483647 93144 208 | 0.000 % |
68.43/68.56 c | 93265 | 13643 58433 177499 | 2147483647 93265 208 | 0.000 % |
68.63/68.70 c | 93399 | 13643 58433 177499 | 2147483647 93399 208 | 0.000 % |
68.73/68.87 c | 93545 | 13643 58433 177499 | 2147483647 93545 208 | 0.000 % |
68.93/69.07 c | 93708 | 13643 58433 177499 | 2147483647 93708 208 | 0.000 % |
69.13/69.25 c | 93886 | 13643 58433 177499 | 2147483647 93886 208 | 0.000 % |
69.33/69.45 c | 94079 | 13643 58433 177499 | 2147483647 94079 208 | 0.000 % |
69.53/69.69 c | 94291 | 13643 58433 177499 | 2147483647 94291 208 | 0.000 % |
69.83/69.93 c | 94524 | 13643 58433 177499 | 2147483647 94524 208 | 0.000 % |
70.03/70.19 c | 94781 | 13643 58433 177499 | 2147483647 94781 207 | 0.000 % |
70.33/70.48 c | 95062 | 13643 58433 177499 | 2147483647 95062 207 | 0.000 % |
70.63/70.78 c | 95371 | 13643 58433 177499 | 2147483647 95371 207 | 0.000 % |
71.03/71.15 c | 95710 | 13643 58433 177499 | 2147483647 95710 207 | 0.000 % |
71.42/71.50 c | 96082 | 13643 58433 177499 | 2147483647 96082 207 | 0.000 % |
71.82/71.93 c | 96491 | 13643 58433 177499 | 2147483647 96491 207 | 0.000 % |
72.22/72.38 c | 96940 | 13643 58433 177499 | 2147483647 96940 207 | 0.000 % |
72.73/72.85 c | 97434 | 13643 58433 177499 | 2147483647 97434 207 | 0.000 % |
73.22/73.36 c | 97976 | 13643 58433 177499 | 2147483647 97976 208 | 0.000 % |
73.83/73.97 c | 98572 | 13643 58433 177499 | 2147483647 98572 208 | 0.000 % |
74.52/74.65 c | 99228 | 13643 58433 177499 | 2147483647 99228 207 | 0.000 % |
75.22/75.39 c | 99949 | 13643 58433 177499 | 2147483647 99949 208 | 0.000 % |
76.02/76.14 c | 100743 | 13643 58433 177499 | 2147483647 100743 208 | 0.000 % |
76.82/76.95 c | 101614 | 13643 58433 177499 | 2147483647 101614 208 | 0.000 % |
77.72/77.86 c | 102573 | 13643 58433 177499 | 2147483647 102573 209 | 0.000 % |
78.72/78.86 c | 103626 | 13643 58433 177499 | 2147483647 103626 209 | 0.000 % |
79.82/79.98 c | 104784 | 13643 58433 177499 | 2147483647 104784 210 | 0.000 % |
79.92/80.10 c | 104884 | 13643 58433 177499 | 2147483647 104884 210 | 0.000 % |
80.12/80.21 c | 104995 | 13643 58433 177499 | 2147483647 104995 210 | 0.000 % |
80.22/80.36 c | 105118 | 13643 58433 177499 | 2147483647 105118 210 | 0.000 % |
80.32/80.50 c | 105251 | 13643 58433 177499 | 2147483647 105251 209 | 0.000 % |
80.52/80.65 c | 105397 | 13643 58433 177499 | 2147483647 105397 209 | 0.000 % |
80.72/80.82 c | 105557 | 13643 58433 177499 | 2147483647 105557 209 | 0.000 % |
80.92/81.04 c | 105734 | 13643 58433 177499 | 2147483647 105734 209 | 0.000 % |
81.12/81.27 c | 105929 | 13643 58433 177499 | 2147483647 105929 209 | 0.000 % |
81.42/81.51 c | 106141 | 13643 58433 177499 | 2147483647 106141 209 | 0.000 % |
81.62/81.78 c | 106374 | 13643 58433 177499 | 2147483647 106374 209 | 0.000 % |
81.91/82.07 c | 106630 | 13643 58433 177499 | 2147483647 106630 209 | 0.000 % |
82.21/82.35 c | 106915 | 13643 58433 177499 | 2147483647 106915 209 | 0.000 % |
82.52/82.67 c | 107224 | 13643 58433 177499 | 2147483647 107224 209 | 0.000 % |
82.91/83.04 c | 107563 | 13643 58433 177499 | 2147483647 107563 209 | 0.000 % |
83.32/83.44 c | 107935 | 13643 58433 177499 | 2147483647 107935 209 | 0.000 % |
83.72/83.89 c | 108344 | 13643 58433 177499 | 2147483647 108344 209 | 0.000 % |
84.22/84.39 c | 108795 | 13643 58433 177499 | 2147483647 108795 209 | 0.000 % |
84.72/84.90 c | 109288 | 13643 58433 177499 | 2147483647 109288 209 | 0.000 % |
85.31/85.45 c | 109830 | 13643 58433 177499 | 2147483647 109830 209 | 0.000 % |
85.92/86.10 c | 110427 | 13643 58433 177499 | 2147483647 110427 209 | 0.000 % |
86.61/86.77 c | 111083 | 13643 58433 177499 | 2147483647 111083 209 | 0.000 % |
87.42/87.52 c | 111806 | 13643 58433 177499 | 2147483647 111806 209 | 0.000 % |
88.21/88.33 c | 112598 | 13643 58433 177499 | 2147483647 112598 210 | 0.000 % |
89.11/89.26 c | 113469 | 13643 58433 177499 | 2147483647 113469 210 | 0.000 % |
90.22/90.33 c | 114431 | 13643 58433 177499 | 2147483647 114431 210 | 0.000 % |
91.32/91.48 c | 115484 | 13643 58433 177499 | 2147483647 115484 210 | 0.000 % |
92.71/92.80 c | 116646 | 13643 58433 177499 | 2147483647 116646 211 | 0.000 % |
94.01/94.15 c | 117921 | 13643 58433 177499 | 2147483647 117921 211 | 0.000 % |
94.11/94.28 c | 118021 | 13643 58433 177499 | 2147483647 118021 211 | 0.000 % |
94.31/94.43 c | 118132 | 13643 58433 177499 | 2147483647 118132 211 | 0.000 % |
94.41/94.58 c | 118254 | 13643 58433 177499 | 2147483647 118254 211 | 0.000 % |
94.62/94.74 c | 118387 | 13643 58433 177499 | 2147483647 118387 211 | 0.000 % |
94.81/94.94 c | 118533 | 13643 58433 177499 | 2147483647 118533 211 | 0.000 % |
95.01/95.12 c | 118693 | 13643 58433 177499 | 2147483647 118693 211 | 0.000 % |
95.21/95.32 c | 118869 | 13643 58433 177499 | 2147483647 118869 211 | 0.000 % |
95.41/95.55 c | 119062 | 13643 58433 177499 | 2147483647 119062 211 | 0.000 % |
95.71/95.83 c | 119274 | 13643 58433 177499 | 2147483647 119274 211 | 0.000 % |
96.01/96.11 c | 119508 | 13643 58433 177499 | 2147483647 119508 211 | 0.000 % |
96.31/96.45 c | 119764 | 13643 58433 177499 | 2147483647 119764 211 | 0.000 % |
96.71/96.81 c | 120047 | 13643 58433 177499 | 2147483647 120047 211 | 0.000 % |
97.11/97.21 c | 120356 | 13643 58433 177499 | 2147483647 120356 211 | 0.000 % |
97.41/97.57 c | 120698 | 13643 58433 177499 | 2147483647 120698 211 | 0.000 % |
97.91/98.01 c | 121070 | 13643 58433 177499 | 2147483647 121070 211 | 0.000 % |
98.41/98.52 c | 121480 | 13643 58433 177499 | 2147483647 121480 211 | 0.000 % |
98.91/99.06 c | 121931 | 13643 58433 177499 | 2147483647 121931 211 | 0.000 % |
99.51/99.64 c | 122424 | 13643 58433 177499 | 2147483647 122424 211 | 0.000 % |
100.11/100.28 c | 122966 | 13643 58433 177499 | 2147483647 122966 211 | 0.000 % |
100.81/100.97 c | 123564 | 13643 58433 177499 | 2147483647 123564 211 | 0.000 % |
101.60/101.72 c | 124220 | 13643 58433 177499 | 2147483647 124220 211 | 0.000 % |
102.50/102.60 c | 124940 | 13643 58433 177499 | 2147483647 124940 211 | 0.000 % |
103.31/103.43 c | 125732 | 13643 58433 177499 | 2147483647 125732 211 | 0.000 % |
104.31/104.43 c | 126603 | 13643 58433 177499 | 2147483647 126603 211 | 0.000 % |
105.41/105.55 c | 127561 | 13643 58433 177499 | 2147483647 127561 211 | 0.000 % |
106.71/106.81 c | 128616 | 13643 58433 177499 | 2147483647 128616 211 | 0.000 % |
108.00/108.12 c | 129774 | 13643 58433 177499 | 2147483647 129774 212 | 0.000 % |
109.41/109.55 c | 131047 | 13643 58433 177499 | 2147483647 131047 212 | 0.000 % |
111.01/111.11 c | 132449 | 13643 58433 177499 | 2147483647 132449 212 | 0.000 % |
111.11/111.25 c | 132549 | 13643 58433 177499 | 2147483647 132549 212 | 0.000 % |
111.30/111.43 c | 132660 | 13643 58433 177499 | 2147483647 132660 212 | 0.000 % |
111.40/111.59 c | 132781 | 13643 58433 177499 | 2147483647 132781 212 | 0.000 % |
111.60/111.78 c | 132915 | 13643 58433 177499 | 2147483647 132915 212 | 0.000 % |
111.80/111.97 c | 133062 | 13643 58433 177499 | 2147483647 133062 212 | 0.000 % |
112.00/112.17 c | 133222 | 13643 58433 177499 | 2147483647 133222 212 | 0.000 % |
112.21/112.38 c | 133398 | 13643 58433 177499 | 2147483647 133398 212 | 0.000 % |
112.50/112.65 c | 133595 | 13643 58433 177499 | 2147483647 133595 212 | 0.000 % |
112.80/112.92 c | 133810 | 13643 58433 177499 | 2147483647 133810 212 | 0.000 % |
113.10/113.21 c | 134043 | 13643 58433 177499 | 2147483647 134043 212 | 0.000 % |
113.41/113.55 c | 134300 | 13643 58433 177499 | 2147483647 134300 212 | 0.000 % |
113.81/113.94 c | 134581 | 13643 58433 177499 | 2147483647 134581 212 | 0.000 % |
114.20/114.35 c | 134890 | 13643 58433 177499 | 2147483647 134890 212 | 0.000 % |
114.70/114.82 c | 135229 | 13643 58433 177499 | 2147483647 135229 212 | 0.000 % |
115.10/115.28 c | 135603 | 13643 58433 177499 | 2147483647 135603 212 | 0.000 % |
115.61/115.78 c | 136013 | 13643 58433 177499 | 2147483647 136013 212 | 0.000 % |
116.20/116.33 c | 136462 | 13643 58433 177499 | 2147483647 136462 212 | 0.000 % |
116.80/116.93 c | 136956 | 13643 58433 177499 | 2147483647 136956 212 | 0.000 % |
117.50/117.63 c | 137499 | 13643 58433 177499 | 2147483647 137499 212 | 0.000 % |
118.21/118.33 c | 138095 | 13643 58433 177499 | 2147483647 138095 212 | 0.000 % |
119.00/119.11 c | 138750 | 13643 58433 177499 | 2147483647 138750 212 | 0.000 % |
119.90/120.02 c | 139471 | 13643 58433 177499 | 2147483647 139471 213 | 0.000 % |
120.90/121.01 c | 140266 | 13643 58433 177499 | 2147483647 140266 213 | 0.000 % |
121.80/121.96 c | 141137 | 13643 58433 177499 | 2147483647 141137 213 | 0.000 % |
123.00/123.15 c | 142095 | 13643 58433 177499 | 2147483647 142095 213 | 0.000 % |
124.30/124.43 c | 143152 | 13643 58433 177499 | 2147483647 143152 213 | 0.000 % |
125.70/125.85 c | 144313 | 13643 58433 177499 | 2147483647 144313 213 | 0.000 % |
127.19/127.35 c | 145587 | 13643 58433 177499 | 2147483647 145587 214 | 0.000 % |
128.89/129.02 c | 146988 | 13643 58433 177499 | 2147483647 146988 214 | 0.000 % |
130.80/130.90 c | 148528 | 13643 58433 177499 | 2147483647 148528 215 | 0.000 % |
130.90/131.07 c | 148628 | 13643 58433 177499 | 2147483647 148628 215 | 0.000 % |
131.10/131.22 c | 148738 | 13643 58433 177499 | 2147483647 148738 215 | 0.000 % |
131.30/131.42 c | 148859 | 13643 58433 177499 | 2147483647 148859 215 | 0.000 % |
131.50/131.61 c | 148993 | 13643 58433 177499 | 2147483647 148993 215 | 0.000 % |
131.70/131.82 c | 149140 | 13643 58433 177499 | 2147483647 149140 215 | 0.000 % |
131.90/132.04 c | 149300 | 13643 58433 177499 | 2147483647 149300 215 | 0.000 % |
132.20/132.32 c | 149477 | 13643 58433 177499 | 2147483647 149477 215 | 0.000 % |
132.49/132.62 c | 149670 | 13643 58433 177499 | 2147483647 149670 215 | 0.000 % |
132.79/132.90 c | 149883 | 13643 58433 177499 | 2147483647 149883 215 | 0.000 % |
133.09/133.24 c | 150118 | 13643 58433 177499 | 2147483647 150118 215 | 0.000 % |
133.39/133.56 c | 150374 | 13643 58433 177499 | 2147483647 150374 215 | 0.000 % |
133.79/133.94 c | 150657 | 13643 58433 177499 | 2147483647 150657 215 | 0.000 % |
134.29/134.42 c | 150967 | 13643 58433 177499 | 2147483647 150967 215 | 0.000 % |
134.79/134.90 c | 151307 | 13643 58433 177499 | 2147483647 151307 215 | 0.000 % |
135.19/135.38 c | 151680 | 13643 58433 177499 | 2147483647 151680 215 | 0.000 % |
135.78/135.94 c | 152089 | 13643 58433 177499 | 2147483647 152089 215 | 0.000 % |
136.39/136.55 c | 152540 | 13643 58433 177499 | 2147483647 152540 214 | 0.000 % |
136.99/137.19 c | 153036 | 13643 58433 177499 | 2147483647 153036 214 | 0.000 % |
137.69/137.87 c | 153578 | 13643 58433 177499 | 2147483647 153578 214 | 0.000 % |
138.49/138.68 c | 154176 | 13643 58433 177499 | 2147483647 154176 214 | 0.000 % |
139.29/139.45 c | 154832 | 13643 58433 177499 | 2147483647 154832 215 | 0.000 % |
140.29/140.42 c | 155553 | 13643 58433 177499 | 2147483647 155553 215 | 0.000 % |
141.28/141.47 c | 156346 | 13643 58433 177499 | 2147483647 156346 215 | 0.000 % |
142.49/142.64 c | 157218 | 13643 58433 177499 | 2147483647 157218 215 | 0.000 % |
143.79/143.90 c | 158176 | 13643 58433 177499 | 2147483647 158176 215 | 0.000 % |
145.19/145.30 c | 159229 | 13643 58433 177499 | 2147483647 159229 215 | 0.000 % |
146.69/146.82 c | 160388 | 13643 58433 177499 | 2147483647 160388 215 | 0.000 % |
148.29/148.44 c | 161661 | 13643 58433 177499 | 2147483647 161661 216 | 0.000 % |
150.08/150.24 c | 163063 | 13643 58433 177499 | 2147483647 163063 216 | 0.000 % |
152.08/152.27 c | 164603 | 13643 58433 177499 | 2147483647 164603 216 | 0.000 % |
154.38/154.51 c | 166297 | 13643 58433 177499 | 2147483647 166297 216 | 0.000 % |
154.48/154.67 c | 166400 | 13643 58433 177499 | 2147483647 166400 216 | 0.000 % |
154.68/154.82 c | 166510 | 13643 58433 177499 | 2147483647 166510 216 | 0.000 % |
154.88/155.04 c | 166632 | 13643 58433 177499 | 2147483647 166632 216 | 0.000 % |
155.08/155.26 c | 166766 | 13643 58433 177499 | 2147483647 166766 216 | 0.000 % |
155.28/155.49 c | 166915 | 13643 58433 177499 | 2147483647 166915 216 | 0.000 % |
155.58/155.76 c | 167075 | 13643 58433 177499 | 2147483647 167075 216 | 0.000 % |
155.88/156.06 c | 167251 | 13643 58433 177499 | 2147483647 167251 216 | 0.000 % |
156.18/156.35 c | 167445 | 13643 58433 177499 | 2147483647 167445 216 | 0.000 % |
156.48/156.68 c | 167657 | 13643 58433 177499 | 2147483647 167657 216 | 0.000 % |
156.87/157.03 c | 167891 | 13643 58433 177499 | 2147483647 167891 216 | 0.000 % |
157.28/157.40 c | 168148 | 13643 58433 177499 | 2147483647 168148 216 | 0.000 % |
157.68/157.84 c | 168431 | 13643 58433 177499 | 2147483647 168431 216 | 0.000 % |
158.08/158.27 c | 168740 | 13643 58433 177499 | 2147483647 168740 216 | 0.000 % |
158.58/158.79 c | 169079 | 13643 58433 177499 | 2147483647 169079 216 | 0.000 % |
159.18/159.37 c | 169451 | 13643 58433 177499 | 2147483647 169451 216 | 0.000 % |
159.78/159.90 c | 169862 | 13643 58433 177499 | 2147483647 169862 216 | 0.000 % |
160.38/160.51 c | 170311 | 13643 58433 177499 | 2147483647 170311 216 | 0.000 % |
161.08/161.20 c | 170806 | 13643 58433 177499 | 2147483647 170806 216 | 0.000 % |
161.78/161.94 c | 171348 | 13643 58433 177499 | 2147483647 171348 216 | 0.000 % |
162.58/162.72 c | 171945 | 13643 58433 177499 | 2147483647 171945 216 | 0.000 % |
163.48/163.61 c | 172600 | 13643 58433 177499 | 2147483647 172600 216 | 0.000 % |
164.47/164.63 c | 173320 | 13643 58433 177499 | 2147483647 173320 216 | 0.000 % |
165.48/165.69 c | 174112 | 13643 58433 177499 | 2147483647 174112 216 | 0.000 % |
166.78/166.92 c | 174983 | 13643 58433 177499 | 2147483647 174983 216 | 0.000 % |
168.08/168.27 c | 175945 | 13643 58433 177499 | 2147483647 175945 216 | 0.000 % |
169.58/169.76 c | 176998 | 13643 58433 177499 | 2147483647 176998 216 | 0.000 % |
171.27/171.41 c | 178156 | 13643 58433 177499 | 2147483647 178156 216 | 0.000 % |
173.07/173.20 c | 179430 | 13643 58433 177499 | 2147483647 179430 216 | 0.000 % |
174.98/175.15 c | 180830 | 13643 58433 177499 | 2147483647 180830 216 | 0.000 % |
177.08/177.25 c | 182371 | 13643 58433 177499 | 2147483647 182371 217 | 0.000 % |
179.37/179.53 c | 184065 | 13643 58433 177499 | 2147483647 184065 217 | 0.000 % |
182.07/182.22 c | 185930 | 13643 58433 177499 | 2147483647 185930 218 | 0.000 % |
182.17/182.37 c | 186030 | 13643 58433 177499 | 2147483647 186030 218 | 0.000 % |
182.37/182.60 c | 186143 | 13643 58433 177499 | 2147483647 186143 218 | 0.000 % |
182.67/182.83 c | 186265 | 13643 58433 177499 | 2147483647 186265 217 | 0.000 % |
182.87/183.02 c | 186398 | 13643 58433 177499 | 2147483647 186398 217 | 0.000 % |
183.07/183.29 c | 186545 | 13643 58433 177499 | 2147483647 186545 217 | 0.000 % |
183.37/183.57 c | 186706 | 13643 58433 177499 | 2147483647 186706 217 | 0.000 % |
183.67/183.85 c | 186882 | 13643 58433 177499 | 2147483647 186882 217 | 0.000 % |
183.97/184.16 c | 187075 | 13643 58433 177499 | 2147483647 187075 217 | 0.000 % |
184.37/184.54 c | 187288 | 13643 58433 177499 | 2147483647 187288 217 | 0.000 % |
184.66/184.88 c | 187521 | 13643 58433 177499 | 2147483647 187521 217 | 0.000 % |
185.16/185.32 c | 187777 | 13643 58433 177499 | 2147483647 187777 217 | 0.000 % |
185.56/185.72 c | 188059 | 13643 58433 177499 | 2147483647 188059 217 | 0.000 % |
186.06/186.24 c | 188368 | 13643 58433 177499 | 2147483647 188368 217 | 0.000 % |
186.56/186.75 c | 188708 | 13643 58433 177499 | 2147483647 188708 217 | 0.000 % |
187.16/187.30 c | 189080 | 13643 58433 177499 | 2147483647 189080 217 | 0.000 % |
187.76/187.96 c | 189489 | 13643 58433 177499 | 2147483647 189489 217 | 0.000 % |
188.47/188.65 c | 189938 | 13643 58433 177499 | 2147483647 189938 217 | 0.000 % |
189.17/189.37 c | 190431 | 13643 58433 177499 | 2147483647 190431 217 | 0.000 % |
190.06/190.21 c | 190973 | 13643 58433 177499 | 2147483647 190973 217 | 0.000 % |
190.96/191.13 c | 191569 | 13643 58433 177499 | 2147483647 191569 217 | 0.000 % |
191.86/192.08 c | 192225 | 13643 58433 177499 | 2147483647 192225 217 | 0.000 % |
192.96/193.12 c | 192945 | 13643 58433 177499 | 2147483647 192945 217 | 0.000 % |
194.16/194.40 c | 193738 | 13643 58433 177499 | 2147483647 193738 217 | 0.000 % |
195.46/195.69 c | 194611 | 13643 58433 177499 | 2147483647 194611 217 | 0.000 % |
196.86/197.10 c | 195569 | 13643 58433 177499 | 2147483647 195569 217 | 0.000 % |
198.46/198.63 c | 196622 | 13643 58433 177499 | 2147483647 196622 218 | 0.000 % |
200.26/200.40 c | 197781 | 13643 58433 177499 | 2147483647 197781 218 | 0.000 % |
202.16/202.38 c | 199058 | 13643 58433 177499 | 2147483647 199058 218 | 0.000 % |
204.26/204.45 c | 200459 | 13643 58433 177499 | 2147483647 200459 218 | 0.000 % |
206.55/206.78 c | 202000 | 13643 58433 177499 | 2147483647 202000 219 | 0.000 % |
209.16/209.30 c | 203695 | 13643 58433 177499 | 2147483647 203695 219 | 0.000 % |
211.95/212.15 c | 205559 | 13643 58433 177499 | 2147483647 205559 220 | 0.000 % |
215.05/215.29 c | 207610 | 13643 58433 177499 | 2147483647 207610 220 | 0.000 % |
215.25/215.48 c | 207710 | 13643 58433 177499 | 2147483647 207710 220 | 0.000 % |
215.45/215.67 c | 207821 | 13643 58433 177499 | 2147483647 207821 220 | 0.000 % |
215.75/215.91 c | 207942 | 13643 58433 177499 | 2147483647 207942 220 | 0.000 % |
215.95/216.13 c | 208075 | 13643 58433 177499 | 2147483647 208075 220 | 0.000 % |
216.25/216.41 c | 208221 | 13643 58433 177499 | 2147483647 208221 220 | 0.000 % |
216.55/216.74 c | 208381 | 13643 58433 177499 | 2147483647 208381 220 | 0.000 % |
216.85/217.08 c | 208558 | 13643 58433 177499 | 2147483647 208558 219 | 0.000 % |
217.25/217.42 c | 208751 | 13643 58433 177499 | 2147483647 208751 219 | 0.000 % |
217.55/217.79 c | 208963 | 13643 58433 177499 | 2147483647 208963 219 | 0.000 % |
218.05/218.22 c | 209196 | 13643 58433 177499 | 2147483647 209196 219 | 0.000 % |
218.46/218.61 c | 209453 | 13643 58433 177499 | 2147483647 209453 219 | 0.000 % |
218.86/219.10 c | 209735 | 13643 58433 177499 | 2147483647 209735 219 | 0.000 % |
219.45/219.63 c | 210045 | 13643 58433 177499 | 2147483647 210045 219 | 0.000 % |
220.06/220.22 c | 210388 | 13643 58433 177499 | 2147483647 210388 219 | 0.000 % |
220.65/220.81 c | 210760 | 13643 58433 177499 | 2147483647 210760 219 | 0.000 % |
221.25/221.47 c | 211172 | 13643 58433 177499 | 2147483647 211172 219 | 0.000 % |
222.05/222.21 c | 211622 | 13643 58433 177499 | 2147483647 211622 219 | 0.000 % |
222.84/223.07 c | 212116 | 13643 58433 177499 | 2147483647 212116 219 | 0.000 % |
223.74/223.99 c | 212658 | 13643 58433 177499 | 2147483647 212658 219 | 0.000 % |
224.74/224.96 c | 213256 | 13643 58433 177499 | 2147483647 213256 219 | 0.000 % |
225.64/225.89 c | 213912 | 13643 58433 177499 | 2147483647 213912 220 | 0.000 % |
226.85/227.06 c | 214632 | 13643 58433 177499 | 2147483647 214632 220 | 0.000 % |
228.14/228.30 c | 215424 | 13643 58433 177499 | 2147483647 215424 220 | 0.000 % |
229.44/229.61 c | 216295 | 13643 58433 177499 | 2147483647 216295 220 | 0.000 % |
230.95/231.16 c | 217253 | 13643 58433 177499 | 2147483647 217253 220 | 0.000 % |
232.64/232.87 c | 218306 | 13643 58433 177499 | 2147483647 218306 220 | 0.000 % |
234.44/234.69 c | 219465 | 13643 58433 177499 | 2147483647 219465 220 | 0.000 % |
236.55/236.79 c | 220738 | 13643 58433 177499 | 2147483647 220738 220 | 0.000 % |
238.84/239.06 c | 222138 | 13643 58433 177499 | 2147483647 222138 220 | 0.000 % |
241.34/241.57 c | 223679 | 13643 58433 177499 | 2147483647 223679 220 | 0.000 % |
244.04/244.23 c | 225373 | 13643 58433 177499 | 2147483647 225373 221 | 0.000 % |
246.94/247.12 c | 227236 | 13643 58433 177499 | 2147483647 227236 221 | 0.000 % |
250.24/250.42 c | 229286 | 13643 58433 177499 | 2147483647 229286 222 | 0.000 % |
253.83/254.07 c | 231540 | 13643 58433 177499 | 2147483647 231540 222 | 0.000 % |
254.04/254.29 c | 231641 | 13643 58433 177499 | 2147483647 231641 222 | 0.000 % |
254.33/254.50 c | 231751 | 13643 58433 177499 | 2147483647 231751 222 | 0.000 % |
254.53/254.76 c | 231873 | 13643 58433 177499 | 2147483647 231873 222 | 0.000 % |
254.83/255.03 c | 232006 | 13643 58433 177499 | 2147483647 232006 222 | 0.000 % |
255.13/255.38 c | 232152 | 13643 58433 177499 | 2147483647 232152 222 | 0.000 % |
255.53/255.73 c | 232312 | 13643 58433 177499 | 2147483647 232312 222 | 0.000 % |
255.84/256.06 c | 232489 | 13643 58433 177499 | 2147483647 232489 222 | 0.000 % |
256.24/256.43 c | 232682 | 13643 58433 177499 | 2147483647 232682 222 | 0.000 % |
256.64/256.86 c | 232894 | 13643 58433 177499 | 2147483647 232894 222 | 0.000 % |
257.13/257.34 c | 233127 | 13643 58433 177499 | 2147483647 233127 221 | 0.000 % |
257.63/257.83 c | 233385 | 13643 58433 177499 | 2147483647 233385 221 | 0.000 % |
258.13/258.30 c | 233666 | 13643 58433 177499 | 2147483647 233666 221 | 0.000 % |
258.63/258.86 c | 233977 | 13643 58433 177499 | 2147483647 233977 221 | 0.000 % |
259.33/259.51 c | 234316 | 13643 58433 177499 | 2147483647 234316 221 | 0.000 % |
259.93/260.15 c | 234688 | 13643 58433 177499 | 2147483647 234688 221 | 0.000 % |
260.63/260.89 c | 235097 | 13643 58433 177499 | 2147483647 235097 221 | 0.000 % |
261.63/261.80 c | 235547 | 13643 58433 177499 | 2147483647 235547 221 | 0.000 % |
262.53/262.70 c | 236040 | 13643 58433 177499 | 2147483647 236040 221 | 0.000 % |
263.33/263.59 c | 236582 | 13643 58433 177499 | 2147483647 236582 221 | 0.000 % |
264.42/264.66 c | 237179 | 13643 58433 177499 | 2147483647 237179 221 | 0.000 % |
265.63/265.85 c | 237835 | 13643 58433 177499 | 2147483647 237835 221 | 0.000 % |
266.83/267.05 c | 238557 | 13643 58433 177499 | 2147483647 238557 221 | 0.000 % |
268.22/268.47 c | 239349 | 13643 58433 177499 | 2147483647 239349 221 | 0.000 % |
269.52/269.73 c | 240225 | 13643 58433 177499 | 2147483647 240225 222 | 0.000 % |
271.22/271.42 c | 241184 | 13643 58433 177499 | 2147483647 241184 222 | 0.000 % |
272.83/273.09 c | 242241 | 13643 58433 177499 | 2147483647 242241 222 | 0.000 % |
274.82/275.06 c | 243400 | 13643 58433 177499 | 2147483647 243400 222 | 0.000 % |
276.92/277.12 c | 244673 | 13643 58433 177499 | 2147483647 244673 222 | 0.000 % |
279.21/279.46 c | 246073 | 13643 58433 177499 | 2147483647 246073 222 | 0.000 % |
281.82/282.08 c | 247614 | 13643 58433 177499 | 2147483647 247614 223 | 0.000 % |
284.92/285.15 c | 249312 | 13643 58433 177499 | 2147483647 249312 223 | 0.000 % |
288.12/288.39 c | 251176 | 13643 58433 177499 | 2147483647 251176 223 | 0.000 % |
291.52/291.73 c | 253226 | 13643 58433 177499 | 2147483647 253226 223 | 0.000 % |
295.41/295.60 c | 255480 | 13643 58433 177499 | 2147483647 255480 223 | 0.000 % |
299.80/300.10 c | 257959 | 13643 58433 177499 | 2147483647 257959 224 | 0.000 % |
300.11/300.31 c | 258062 | 13643 58433 177499 | 2147483647 258062 224 | 0.000 % |
300.32/300.59 c | 258173 | 13643 58433 177499 | 2147483647 258173 224 | 0.000 % |
300.61/300.86 c | 258294 | 13643 58433 177499 | 2147483647 258294 224 | 0.000 % |
300.91/301.16 c | 258428 | 13643 58433 177499 | 2147483647 258428 224 | 0.000 % |
301.32/301.52 c | 258574 | 13643 58433 177499 | 2147483647 258574 224 | 0.000 % |
301.61/301.90 c | 258734 | 13643 58433 177499 | 2147483647 258734 224 | 0.000 % |
302.01/302.29 c | 258911 | 13643 58433 177499 | 2147483647 258911 224 | 0.000 % |
302.42/302.69 c | 259104 | 13643 58433 177499 | 2147483647 259104 224 | 0.000 % |
302.91/303.12 c | 259316 | 13643 58433 177499 | 2147483647 259316 224 | 0.000 % |
303.41/303.63 c | 259551 | 13643 58433 177499 | 2147483647 259551 224 | 0.000 % |
304.01/304.26 c | 259807 | 13643 58433 177499 | 2147483647 259807 224 | 0.000 % |
304.61/304.82 c | 260088 | 13643 58433 177499 | 2147483647 260088 224 | 0.000 % |
305.31/305.53 c | 260397 | 13643 58433 177499 | 2147483647 260397 224 | 0.000 % |
305.91/306.15 c | 260736 | 13643 58433 177499 | 2147483647 260736 224 | 0.000 % |
306.60/306.89 c | 261109 | 13643 58433 177499 | 2147483647 261109 224 | 0.000 % |
307.40/307.69 c | 261518 | 13643 58433 177499 | 2147483647 261518 224 | 0.000 % |
308.31/308.54 c | 261967 | 13643 58433 177499 | 2147483647 261967 224 | 0.000 % |
309.21/309.48 c | 262461 | 13643 58433 177499 | 2147483647 262461 224 | 0.000 % |
310.21/310.49 c | 263006 | 13643 58433 177499 | 2147483647 263006 224 | 0.000 % |
311.40/311.67 c | 263602 | 13643 58433 177499 | 2147483647 263602 224 | 0.000 % |
312.60/312.87 c | 264257 | 13643 58433 177499 | 2147483647 264257 224 | 0.000 % |
313.90/314.11 c | 264977 | 13643 58433 177499 | 2147483647 264977 224 | 0.000 % |
315.30/315.53 c | 265769 | 13643 58433 177499 | 2147483647 265769 224 | 0.000 % |
316.89/317.13 c | 266640 | 13643 58433 177499 | 2147483647 266640 224 | 0.000 % |
318.59/318.86 c | 267598 | 13643 58433 177499 | 2147483647 267598 224 | 0.000 % |
320.60/320.81 c | 268651 | 13643 58433 177499 | 2147483647 268651 224 | 0.000 % |
322.70/322.99 c | 269811 | 13643 58433 177499 | 2147483647 269811 224 | 0.000 % |
325.00/325.25 c | 271084 | 13643 58433 177499 | 2147483647 271084 224 | 0.000 % |
327.70/327.92 c | 272486 | 13643 58433 177499 | 2147483647 272486 224 | 0.000 % |
330.49/330.80 c | 274027 | 13643 58433 177499 | 2147483647 274027 224 | 0.000 % |
333.69/333.98 c | 275722 | 13643 58433 177499 | 2147483647 275722 225 | 0.000 % |
337.39/337.63 c | 277588 | 13643 58433 177499 | 2147483647 277588 225 | 0.000 % |
341.39/341.64 c | 279637 | 13643 58433 177499 | 2147483647 279637 225 | 0.000 % |
345.49/345.77 c | 281891 | 13643 58433 177499 | 2147483647 281891 226 | 0.000 % |
350.28/350.52 c | 284370 | 13643 58433 177499 | 2147483647 284370 226 | 0.000 % |
355.08/355.40 c | 287095 | 13643 58433 177499 | 2147483647 287095 226 | 0.000 % |
355.38/355.66 c | 287196 | 13643 58433 177499 | 2147483647 287196 226 | 0.000 % |
355.68/355.93 c | 287306 | 13643 58433 177499 | 2147483647 287306 226 | 0.000 % |
355.98/356.21 c | 287427 | 13643 58433 177499 | 2147483647 287427 226 | 0.000 % |
356.18/356.49 c | 287560 | 13643 58433 177499 | 2147483647 287560 226 | 0.000 % |
356.58/356.87 c | 287707 | 13643 58433 177499 | 2147483647 287707 226 | 0.000 % |
356.98/357.21 c | 287868 | 13643 58433 177499 | 2147483647 287868 226 | 0.000 % |
357.38/357.65 c | 288046 | 13643 58433 177499 | 2147483647 288046 226 | 0.000 % |
357.87/358.17 c | 288240 | 13643 58433 177499 | 2147483647 288240 226 | 0.000 % |
358.37/358.65 c | 288454 | 13643 58433 177499 | 2147483647 288454 226 | 0.000 % |
358.87/359.15 c | 288688 | 13643 58433 177499 | 2147483647 288688 226 | 0.000 % |
359.47/359.75 c | 288944 | 13643 58433 177499 | 2147483647 288944 226 | 0.000 % |
360.07/360.34 c | 289226 | 13643 58433 177499 | 2147483647 289226 226 | 0.000 % |
360.68/360.97 c | 289535 | 13643 58433 177499 | 2147483647 289535 226 | 0.000 % |
361.47/361.76 c | 289877 | 13643 58433 177499 | 2147483647 289877 226 | 0.000 % |
362.27/362.57 c | 290250 | 13643 58433 177499 | 2147483647 290250 226 | 0.000 % |
363.17/363.44 c | 290659 | 13643 58433 177499 | 2147483647 290659 226 | 0.000 % |
364.18/364.41 c | 291109 | 13643 58433 177499 | 2147483647 291109 226 | 0.000 % |
365.18/365.44 c | 291602 | 13643 58433 177499 | 2147483647 291602 226 | 0.000 % |
366.28/366.53 c | 292144 | 13643 58433 177499 | 2147483647 292144 226 | 0.000 % |
367.38/367.67 c | 292742 | 13643 58433 177499 | 2147483647 292742 226 | 0.000 % |
368.67/368.96 c | 293398 | 13643 58433 177499 | 2147483647 293398 226 | 0.000 % |
370.07/370.39 c | 294118 | 13643 58433 177499 | 2147483647 294118 226 | 0.000 % |
371.57/371.89 c | 294911 | 13643 58433 177499 | 2147483647 294911 226 | 0.000 % |
373.27/373.52 c | 295784 | 13643 58433 177499 | 2147483647 295784 226 | 0.000 % |
375.17/375.46 c | 296745 | 13643 58433 177499 | 2147483647 296745 226 | 0.000 % |
377.27/377.51 c | 297798 | 13643 58433 177499 | 2147483647 297798 226 | 0.000 % |
379.37/379.61 c | 298957 | 13643 58433 177499 | 2147483647 298957 226 | 0.000 % |
381.86/382.16 c | 300230 | 13643 58433 177499 | 2147483647 300230 226 | 0.000 % |
384.66/384.93 c | 301630 | 13643 58433 177499 | 2147483647 301630 226 | 0.000 % |
387.36/387.65 c | 303171 | 13643 58433 177499 | 2147483647 303171 226 | 0.000 % |
390.77/391.01 c | 304865 | 13643 58433 177499 | 2147483647 304865 227 | 0.000 % |
394.36/394.63 c | 306730 | 13643 58433 177499 | 2147483647 306730 227 | 0.000 % |
398.36/398.67 c | 308779 | 13643 58433 177499 | 2147483647 308779 227 | 0.000 % |
402.86/403.12 c | 311032 | 13643 58433 177499 | 2147483647 311032 227 | 0.000 % |
407.86/408.11 c | 313512 | 13643 58433 177499 | 2147483647 313512 228 | 0.000 % |
413.35/413.65 c | 316238 | 13643 58433 177499 | 2147483647 316238 228 | 0.000 % |
419.45/419.79 c | 319235 | 13643 58433 177499 | 2147483647 319235 229 | 0.000 % |
419.75/420.06 c | 319335 | 13643 58433 177499 | 2147483647 319335 229 | 0.000 % |
420.05/420.34 c | 319446 | 13643 58433 177499 | 2147483647 319446 229 | 0.000 % |
420.35/420.66 c | 319568 | 13643 58433 177499 | 2147483647 319568 229 | 0.000 % |
420.75/421.03 c | 319701 | 13643 58433 177499 | 2147483647 319701 229 | 0.000 % |
421.15/421.41 c | 319847 | 13643 58433 177499 | 2147483647 319847 229 | 0.000 % |
421.45/421.76 c | 320008 | 13643 58433 177499 | 2147483647 320008 229 | 0.000 % |
421.95/422.27 c | 320185 | 13643 58433 177499 | 2147483647 320185 229 | 0.000 % |
422.44/422.74 c | 320379 | 13643 58433 177499 | 2147483647 320379 229 | 0.000 % |
423.04/423.33 c | 320591 | 13643 58433 177499 | 2147483647 320591 229 | 0.000 % |
423.64/423.99 c | 320824 | 13643 58433 177499 | 2147483647 320824 229 | 0.000 % |
424.34/424.61 c | 321082 | 13643 58433 177499 | 2147483647 321082 228 | 0.000 % |
425.04/425.35 c | 321363 | 13643 58433 177499 | 2147483647 321363 228 | 0.000 % |
425.84/426.13 c | 321673 | 13643 58433 177499 | 2147483647 321673 228 | 0.000 % |
426.54/426.86 c | 322017 | 13643 58433 177499 | 2147483647 322017 228 | 0.000 % |
427.55/427.82 c | 322390 | 13643 58433 177499 | 2147483647 322390 228 | 0.000 % |
428.45/428.78 c | 322803 | 13643 58433 177499 | 2147483647 322803 228 | 0.000 % |
429.55/429.82 c | 323253 | 13643 58433 177499 | 2147483647 323253 228 | 0.000 % |
430.64/430.93 c | 323747 | 13643 58433 177499 | 2147483647 323747 228 | 0.000 % |
431.84/432.16 c | 324289 | 13643 58433 177499 | 2147483647 324289 228 | 0.000 % |
433.24/433.55 c | 324886 | 13643 58433 177499 | 2147483647 324886 228 | 0.000 % |
434.64/434.94 c | 325542 | 13643 58433 177499 | 2147483647 325542 228 | 0.000 % |
436.34/436.60 c | 326262 | 13643 58433 177499 | 2147483647 326262 228 | 0.000 % |
438.04/438.37 c | 327057 | 13643 58433 177499 | 2147483647 327057 228 | 0.000 % |
439.95/440.27 c | 327928 | 13643 58433 177499 | 2147483647 327928 228 | 0.000 % |
442.04/442.36 c | 328888 | 13643 58433 177499 | 2147483647 328888 228 | 0.000 % |
444.35/444.61 c | 329942 | 13643 58433 177499 | 2147483647 329942 228 | 0.000 % |
446.94/447.21 c | 331100 | 13643 58433 177499 | 2147483647 331100 228 | 0.000 % |
449.63/449.97 c | 332374 | 13643 58433 177499 | 2147483647 332374 229 | 0.000 % |
452.73/453.04 c | 333776 | 13643 58433 177499 | 2147483647 333776 228 | 0.000 % |
455.83/456.15 c | 335316 | 13643 58433 177499 | 2147483647 335316 228 | 0.000 % |
459.33/459.67 c | 337012 | 13643 58433 177499 | 2147483647 337012 228 | 0.000 % |
463.43/463.73 c | 338875 | 13643 58433 177499 | 2147483647 338875 228 | 0.000 % |
467.83/468.15 c | 340928 | 13643 58433 177499 | 2147483647 340928 229 | 0.000 % |
472.73/473.05 c | 343181 | 13643 58433 177499 | 2147483647 343181 229 | 0.000 % |
478.02/478.31 c | 345659 | 13643 58433 177499 | 2147483647 345659 229 | 0.000 % |
483.72/484.08 c | 348384 | 13643 58433 177499 | 2147483647 348384 229 | 0.000 % |
490.11/490.46 c | 351381 | 13643 58433 177499 | 2147483647 351381 230 | 0.000 % |
497.22/497.54 c | 354677 | 13643 58433 177499 | 2147483647 354677 231 | 0.000 % |
497.52/497.80 c | 354777 | 13643 58433 177499 | 2147483647 354777 231 | 0.000 % |
497.82/498.11 c | 354888 | 13643 58433 177499 | 2147483647 354888 231 | 0.000 % |
498.22/498.52 c | 355012 | 13643 58433 177499 | 2147483647 355012 231 | 0.000 % |
498.71/499.00 c | 355146 | 13643 58433 177499 | 2147483647 355146 231 | 0.000 % |
499.11/499.42 c | 355292 | 13643 58433 177499 | 2147483647 355292 231 | 0.000 % |
499.51/499.87 c | 355452 | 13643 58433 177499 | 2147483647 355452 230 | 0.000 % |
500.01/500.35 c | 355628 | 13643 58433 177499 | 2147483647 355628 230 | 0.000 % |
500.61/500.97 c | 355821 | 13643 58433 177499 | 2147483647 355821 230 | 0.000 % |
501.21/501.52 c | 356034 | 13643 58433 177499 | 2147483647 356034 230 | 0.000 % |
501.81/502.16 c | 356268 | 13643 58433 177499 | 2147483647 356268 230 | 0.000 % |
502.51/502.87 c | 356525 | 13643 58433 177499 | 2147483647 356525 230 | 0.000 % |
503.31/503.68 c | 356806 | 13643 58433 177499 | 2147483647 356806 230 | 0.000 % |
504.11/504.45 c | 357118 | 13643 58433 177499 | 2147483647 357118 230 | 0.000 % |
504.91/505.27 c | 357457 | 13643 58433 177499 | 2147483647 357457 230 | 0.000 % |
505.81/506.20 c | 357829 | 13643 58433 177499 | 2147483647 357829 230 | 0.000 % |
506.81/507.15 c | 358239 | 13643 58433 177499 | 2147483647 358239 230 | 0.000 % |
508.01/508.31 c | 358688 | 13643 58433 177499 | 2147483647 358688 230 | 0.000 % |
509.11/509.43 c | 359182 | 13643 58433 177499 | 2147483647 359182 230 | 0.000 % |
510.40/510.71 c | 359726 | 13643 58433 177499 | 2147483647 359726 230 | 0.000 % |
511.80/512.19 c | 360322 | 13643 58433 177499 | 2147483647 360322 230 | 0.000 % |
513.41/513.71 c | 360978 | 13643 58433 177499 | 2147483647 360978 230 | 0.000 % |
515.11/515.46 c | 361698 | 13643 58433 177499 | 2147483647 361698 230 | 0.000 % |
516.91/517.25 c | 362492 | 13643 58433 177499 | 2147483647 362492 231 | 0.000 % |
519.01/519.37 c | 363365 | 13643 58433 177499 | 2147483647 363365 231 | 0.000 % |
521.30/521.64 c | 364324 | 13643 58433 177499 | 2147483647 364324 230 | 0.000 % |
523.90/524.21 c | 365378 | 13643 58433 177499 | 2147483647 365378 231 | 0.000 % |
526.50/526.84 c | 366536 | 13643 58433 177499 | 2147483647 366536 231 | 0.000 % |
529.40/529.75 c | 367810 | 13643 58433 177499 | 2147483647 367810 231 | 0.000 % |
532.40/532.79 c | 369211 | 13643 58433 177499 | 2147483647 369211 231 | 0.000 % |
535.80/536.19 c | 370752 | 13643 58433 177499 | 2147483647 370752 231 | 0.000 % |
539.69/540.03 c | 372446 | 13643 58433 177499 | 2147483647 372446 231 | 0.000 % |
543.99/544.31 c | 374310 | 13643 58433 177499 | 2147483647 374310 231 | 0.000 % |
548.69/549.00 c | 376360 | 13643 58433 177499 | 2147483647 376360 232 | 0.000 % |
553.89/554.20 c | 378614 | 13643 58433 177499 | 2147483647 378614 232 | 0.000 % |
559.48/559.85 c | 381092 | 13643 58433 177499 | 2147483647 381092 232 | 0.000 % |
565.88/566.29 c | 383818 | 13643 58433 177499 | 2147483647 383818 233 | 0.000 % |
572.48/572.81 c | 386815 | 13643 58433 177499 | 2147483647 386815 233 | 0.000 % |
579.87/580.26 c | 390112 | 13643 58433 177499 | 2147483647 390112 233 | 0.000 % |
588.07/588.42 c | 393738 | 13643 58433 177499 | 2147483647 393738 233 | 0.000 % |
588.37/588.73 c | 393839 | 13643 58433 177499 | 2147483647 393839 233 | 0.000 % |
588.67/589.04 c | 393949 | 13643 58433 177499 | 2147483647 393949 233 | 0.000 % |
588.97/589.38 c | 394070 | 13643 58433 177499 | 2147483647 394070 233 | 0.000 % |
589.47/589.80 c | 394205 | 13643 58433 177499 | 2147483647 394205 233 | 0.000 % |
589.86/590.28 c | 394353 | 13643 58433 177499 | 2147483647 394353 233 | 0.000 % |
590.36/590.79 c | 394515 | 13643 58433 177499 | 2147483647 394515 233 | 0.000 % |
590.97/591.39 c | 394693 | 13643 58433 177499 | 2147483647 394693 233 | 0.000 % |
591.58/591.99 c | 394887 | 13643 58433 177499 | 2147483647 394887 233 | 0.000 % |
592.17/592.57 c | 395099 | 13643 58433 177499 | 2147483647 395099 233 | 0.000 % |
592.97/593.35 c | 395333 | 13643 58433 177499 | 2147483647 395333 233 | 0.000 % |
593.77/594.13 c | 395589 | 13643 58433 177499 | 2147483647 395589 233 | 0.000 % |
594.67/595.02 c | 395870 | 13643 58433 177499 | 2147483647 395870 233 | 0.000 % |
595.57/595.94 c | 396179 | 13643 58433 177499 | 2147483647 396179 233 | 0.000 % |
596.46/596.89 c | 396519 | 13643 58433 177499 | 2147483647 396519 233 | 0.000 % |
597.56/597.95 c | 396892 | 13643 58433 177499 | 2147483647 396892 233 | 0.000 % |
598.66/599.06 c | 397301 | 13643 58433 177499 | 2147483647 397301 233 | 0.000 % |
599.76/600.18 c | 397750 | 13643 58433 177499 | 2147483647 397750 233 | 0.000 % |
601.17/601.51 c | 398243 | 13643 58433 177499 | 2147483647 398243 233 | 0.000 % |
602.57/602.93 c | 398788 | 13643 58433 177499 | 2147483647 398788 233 | 0.000 % |
603.97/604.34 c | 399387 | 13643 58433 177499 | 2147483647 399387 233 | 0.000 % |
605.67/606.03 c | 400043 | 13643 58433 177499 | 2147483647 400043 233 | 0.000 % |
607.66/608.02 c | 400765 | 13643 58433 177499 | 2147483647 400765 233 | 0.000 % |
609.57/609.97 c | 401557 | 13643 58433 177499 | 2147483647 401557 233 | 0.000 % |
611.96/612.39 c | 402429 | 13643 58433 177499 | 2147483647 402429 233 | 0.000 % |
614.56/614.90 c | 403387 | 13643 58433 177499 | 2147483647 403387 233 | 0.000 % |
617.26/617.69 c | 404440 | 13643 58433 177499 | 2147483647 404440 233 | 0.000 % |
620.26/620.61 c | 405598 | 13643 58433 177499 | 2147483647 405598 233 | 0.000 % |
623.56/623.96 c | 406874 | 13643 58433 177499 | 2147483647 406874 233 | 0.000 % |
627.26/627.64 c | 408276 | 13643 58433 177499 | 2147483647 408276 233 | 0.000 % |
631.05/631.49 c | 409816 | 13643 58433 177499 | 2147483647 409816 233 | 0.000 % |
635.25/635.63 c | 411511 | 13643 58433 177499 | 2147483647 411511 233 | 0.000 % |
640.24/640.64 c | 413374 | 13643 58433 177499 | 2147483647 413374 233 | 0.000 % |
645.45/645.85 c | 415424 | 13643 58433 177499 | 2147483647 415424 233 | 0.000 % |
650.75/651.19 c | 417677 | 13643 58433 177499 | 2147483647 417677 233 | 0.000 % |
656.74/657.11 c | 420155 | 13643 58433 177499 | 2147483647 420155 234 | 0.000 % |
663.64/664.06 c | 422882 | 13643 58433 177499 | 2147483647 422882 234 | 0.000 % |
671.04/671.42 c | 425879 | 13643 58433 177499 | 2147483647 425879 234 | 0.000 % |
679.23/679.63 c | 429177 | 13643 58433 177499 | 2147483647 429177 234 | 0.000 % |
688.62/689.05 c | 432804 | 13643 58433 177499 | 2147483647 432804 234 | 0.000 % |
698.42/698.88 c | 436792 | 13643 58433 177499 | 2147483647 436792 235 | 0.000 % |
698.72/699.19 c | 436892 | 13643 58433 177499 | 2147483647 436892 235 | 0.000 % |
699.12/699.54 c | 437003 | 13643 58433 177499 | 2147483647 437003 235 | 0.000 % |
699.62/700.00 c | 437124 | 13643 58433 177499 | 2147483647 437124 235 | 0.000 % |
700.12/700.50 c | 437257 | 13643 58433 177499 | 2147483647 437257 235 | 0.000 % |
700.62/701.00 c | 437403 | 13643 58433 177499 | 2147483647 437403 235 | 0.000 % |
701.12/701.53 c | 437564 | 13643 58433 177499 | 2147483647 437564 235 | 0.000 % |
701.71/702.18 c | 437740 | 13643 58433 177499 | 2147483647 437740 235 | 0.000 % |
702.41/702.83 c | 437933 | 13643 58433 177499 | 2147483647 437933 235 | 0.000 % |
703.11/703.50 c | 438146 | 13643 58433 177499 | 2147483647 438146 235 | 0.000 % |
703.83/704.22 c | 438379 | 13643 58433 177499 | 2147483647 438379 235 | 0.000 % |
704.62/705.07 c | 438635 | 13643 58433 177499 | 2147483647 438635 235 | 0.000 % |
705.52/705.96 c | 438918 | 13643 58433 177499 | 2147483647 438918 235 | 0.000 % |
706.52/706.94 c | 439227 | 13643 58433 177499 | 2147483647 439227 235 | 0.000 % |
707.62/708.01 c | 439566 | 13643 58433 177499 | 2147483647 439566 235 | 0.000 % |
708.82/709.21 c | 439938 | 13643 58433 177499 | 2147483647 439938 235 | 0.000 % |
710.02/710.41 c | 440349 | 13643 58433 177499 | 2147483647 440349 235 | 0.000 % |
711.31/711.71 c | 440798 | 13643 58433 177499 | 2147483647 440798 235 | 0.000 % |
712.81/713.24 c | 441292 | 13643 58433 177499 | 2147483647 441292 235 | 0.000 % |
714.32/714.76 c | 441835 | 13643 58433 177499 | 2147483647 441835 235 | 0.000 % |
715.82/716.30 c | 442432 | 13643 58433 177499 | 2147483647 442432 235 | 0.000 % |
717.81/718.29 c | 443087 | 13643 58433 177499 | 2147483647 443087 235 | 0.000 % |
719.90/720.35 c | 443807 | 13643 58433 177499 | 2147483647 443807 235 | 0.000 % |
722.10/722.59 c | 444599 | 13643 58433 177499 | 2147483647 444599 235 | 0.000 % |
724.70/725.12 c | 445472 | 13643 58433 177499 | 2147483647 445472 235 | 0.000 % |
727.31/727.74 c | 446430 | 13643 58433 177499 | 2147483647 446430 235 | 0.000 % |
730.11/730.60 c | 447484 | 13643 58433 177499 | 2147483647 447484 235 | 0.000 % |
733.10/733.54 c | 448643 | 13643 58433 177499 | 2147483647 448643 235 | 0.000 % |
736.70/737.11 c | 449918 | 13643 58433 177499 | 2147483647 449918 235 | 0.000 % |
740.60/741.05 c | 451320 | 13643 58433 177499 | 2147483647 451320 234 | 0.000 % |
744.69/745.14 c | 452861 | 13643 58433 177499 | 2147483647 452861 235 | 0.000 % |
749.20/749.69 c | 454555 | 13643 58433 177499 | 2147483647 454555 235 | 0.000 % |
754.50/754.95 c | 456418 | 13643 58433 177499 | 2147483647 456418 235 | 0.000 % |
760.09/760.54 c | 458468 | 13643 58433 177499 | 2147483647 458468 235 | 0.000 % |
766.19/766.62 c | 460722 | 13643 58433 177499 | 2147483647 460722 235 | 0.000 % |
772.49/773.00 c | 463201 | 13643 58433 177499 | 2147483647 463201 235 | 0.000 % |
779.49/779.92 c | 465927 | 13643 58433 177499 | 2147483647 465927 236 | 0.000 % |
787.58/788.02 c | 468924 | 13643 58433 177499 | 2147483647 468924 236 | 0.000 % |
796.19/796.69 c | 472220 | 13643 58433 177499 | 2147483647 472220 236 | 0.000 % |
806.18/806.64 c | 475847 | 13643 58433 177499 | 2147483647 475847 236 | 0.000 % |
816.27/816.80 c | 479835 | 13643 58433 177499 | 2147483647 479835 236 | 0.000 % |
828.07/828.59 c | 484220 | 13643 58433 177499 | 2147483647 484220 237 | 0.000 % |
828.47/828.99 c | 484321 | 13643 58433 177499 | 2147483647 484321 237 | 0.000 % |
828.97/829.40 c | 484431 | 13643 58433 177499 | 2147483647 484431 237 | 0.000 % |
829.37/829.82 c | 484553 | 13643 58433 177499 | 2147483647 484553 237 | 0.000 % |
829.97/830.40 c | 484689 | 13643 58433 177499 | 2147483647 484689 237 | 0.000 % |
830.47/830.94 c | 484837 | 13643 58433 177499 | 2147483647 484837 237 | 0.000 % |
831.06/831.51 c | 484997 | 13643 58433 177499 | 2147483647 484997 237 | 0.000 % |
831.66/832.10 c | 485173 | 13643 58433 177499 | 2147483647 485173 237 | 0.000 % |
832.26/832.76 c | 485366 | 13643 58433 177499 | 2147483647 485366 237 | 0.000 % |
833.06/833.55 c | 485578 | 13643 58433 177499 | 2147483647 485578 237 | 0.000 % |
833.96/834.48 c | 485812 | 13643 58433 177499 | 2147483647 485812 237 | 0.000 % |
834.86/835.39 c | 486069 | 13643 58433 177499 | 2147483647 486069 237 | 0.000 % |
835.96/836.40 c | 486350 | 13643 58433 177499 | 2147483647 486350 237 | 0.000 % |
836.96/837.46 c | 486661 | 13643 58433 177499 | 2147483647 486661 237 | 0.000 % |
838.06/838.52 c | 487001 | 13643 58433 177499 | 2147483647 487001 237 | 0.000 % |
839.16/839.62 c | 487373 | 13643 58433 177499 | 2147483647 487373 237 | 0.000 % |
840.46/840.97 c | 487783 | 13643 58433 177499 | 2147483647 487783 237 | 0.000 % |
841.95/842.45 c | 488236 | 13643 58433 177499 | 2147483647 488236 237 | 0.000 % |
843.47/843.97 c | 488729 | 13643 58433 177499 | 2147483647 488729 237 | 0.000 % |
845.26/845.77 c | 489272 | 13643 58433 177499 | 2147483647 489272 237 | 0.000 % |
847.16/847.64 c | 489868 | 13643 58433 177499 | 2147483647 489868 237 | 0.000 % |
849.26/849.73 c | 490523 | 13643 58433 177499 | 2147483647 490523 237 | 0.000 % |
851.66/852.17 c | 491244 | 13643 58433 177499 | 2147483647 491244 236 | 0.000 % |
853.85/854.39 c | 492038 | 13643 58433 177499 | 2147483647 492038 237 | 0.000 % |
856.95/857.40 c | 492911 | 13643 58433 177499 | 2147483647 492911 237 | 0.000 % |
859.85/860.30 c | 493870 | 13643 58433 177499 | 2147483647 493870 237 | 0.000 % |
863.04/863.60 c | 494928 | 13643 58433 177499 | 2147483647 494928 237 | 0.000 % |
866.55/867.08 c | 496087 | 13643 58433 177499 | 2147483647 496087 237 | 0.000 % |
870.55/871.02 c | 497361 | 13643 58433 177499 | 2147483647 497361 237 | 0.000 % |
874.64/875.13 c | 498761 | 13643 58433 177499 | 2147483647 498761 237 | 0.000 % |
878.84/879.36 c | 500303 | 13643 58433 177499 | 2147483647 500303 237 | 0.000 % |
884.05/884.51 c | 502001 | 13643 58433 177499 | 2147483647 502001 237 | 0.000 % |
889.43/889.97 c | 503865 | 13643 58433 177499 | 2147483647 503865 237 | 0.000 % |
895.24/895.75 c | 505916 | 13643 58433 177499 | 2147483647 505916 237 | 0.000 % |
901.63/902.14 c | 508169 | 13643 58433 177499 | 2147483647 508169 237 | 0.000 % |
908.92/909.43 c | 510648 | 13643 58433 177499 | 2147483647 510648 237 | 0.000 % |
916.92/917.42 c | 513374 | 13643 58433 177499 | 2147483647 513374 237 | 0.000 % |
925.62/926.10 c | 516373 | 13643 58433 177499 | 2147483647 516373 237 | 0.000 % |
934.62/935.15 c | 519669 | 13643 58433 177499 | 2147483647 519669 238 | 0.000 % |
944.61/945.13 c | 523294 | 13643 58433 177499 | 2147483647 523294 238 | 0.000 % |
955.31/955.84 c | 527282 | 13643 58433 177499 | 2147483647 527282 239 | 0.000 % |
968.40/968.98 c | 531667 | 13643 58433 177499 | 2147483647 531667 240 | 0.000 % |
982.20/982.72 c | 536490 | 13643 58433 177499 | 2147483647 536490 240 | 0.000 % |
982.60/983.10 c | 536592 | 13643 58433 177499 | 2147483647 536592 240 | 0.000 % |
983.10/983.64 c | 536702 | 13643 58433 177499 | 2147483647 536702 240 | 0.000 % |
983.60/984.13 c | 536823 | 13643 58433 177499 | 2147483647 536823 240 | 0.000 % |
984.20/984.71 c | 536958 | 13643 58433 177499 | 2147483647 536958 240 | 0.000 % |
984.80/985.38 c | 537104 | 13643 58433 177499 | 2147483647 537104 240 | 0.000 % |
985.40/985.97 c | 537265 | 13643 58433 177499 | 2147483647 537265 240 | 0.000 % |
986.10/986.63 c | 537442 | 13643 58433 177499 | 2147483647 537442 240 | 0.000 % |
986.89/987.47 c | 537635 | 13643 58433 177499 | 2147483647 537635 240 | 0.000 % |
987.69/988.24 c | 537847 | 13643 58433 177499 | 2147483647 537847 240 | 0.000 % |
988.59/989.15 c | 538080 | 13643 58433 177499 | 2147483647 538080 240 | 0.000 % |
989.59/990.11 c | 538338 | 13643 58433 177499 | 2147483647 538338 240 | 0.000 % |
990.59/991.14 c | 538620 | 13643 58433 177499 | 2147483647 538620 240 | 0.000 % |
991.69/992.26 c | 538930 | 13643 58433 177499 | 2147483647 538930 240 | 0.000 % |
993.00/993.54 c | 539269 | 13643 58433 177499 | 2147483647 539269 240 | 0.000 % |
994.29/994.87 c | 539642 | 13643 58433 177499 | 2147483647 539642 240 | 0.000 % |
995.59/996.12 c | 540051 | 13643 58433 177499 | 2147483647 540051 240 | 0.000 % |
997.29/997.82 c | 540500 | 13643 58433 177499 | 2147483647 540500 240 | 0.000 % |
999.09/999.61 c | 540993 | 13643 58433 177499 | 2147483647 540993 240 | 0.000 % |
1000.89/1001.43 c | 541537 | 13643 58433 177499 | 2147483647 541537 240 | 0.000 % |
1003.19/1003.71 c | 542133 | 13643 58433 177499 | 2147483647 542133 240 | 0.000 % |
1005.38/1005.91 c | 542788 | 13643 58433 177499 | 2147483647 542788 240 | 0.000 % |
1007.68/1008.28 c | 543509 | 13643 58433 177499 | 2147483647 543509 240 | 0.000 % |
1010.38/1010.97 c | 544301 | 13643 58433 177499 | 2147483647 544301 240 | 0.000 % |
1013.28/1013.88 c | 545173 | 13643 58433 177499 | 2147483647 545173 240 | 0.000 % |
1016.58/1017.18 c | 546131 | 13643 58433 177499 | 2147483647 546131 240 | 0.000 % |
1019.88/1020.46 c | 547187 | 13643 58433 177499 | 2147483647 547187 240 | 0.000 % |
1023.58/1024.18 c | 548346 | 13643 58433 177499 | 2147483647 548346 240 | 0.000 % |
1027.88/1028.48 c | 549619 | 13643 58433 177499 | 2147483647 549619 240 | 0.000 % |
1032.27/1032.84 c | 551021 | 13643 58433 177499 | 2147483647 551021 240 | 0.000 % |
1037.27/1037.85 c | 552561 | 13643 58433 177499 | 2147483647 552561 240 | 0.000 % |
1042.77/1043.31 c | 554255 | 13643 58433 177499 | 2147483647 554255 240 | 0.000 % |
1048.66/1049.23 c | 556118 | 13643 58433 177499 | 2147483647 556118 240 | 0.000 % |
1054.97/1055.57 c | 558169 | 13643 58433 177499 | 2147483647 558169 240 | 0.000 % |
1062.26/1062.87 c | 560422 | 13643 58433 177499 | 2147483647 560422 240 | 0.000 % |
1070.16/1070.80 c | 562901 | 13643 58433 177499 | 2147483647 562901 240 | 0.000 % |
1079.25/1079.85 c | 565628 | 13643 58433 177499 | 2147483647 565628 240 | 0.000 % |
1088.44/1089.07 c | 568625 | 13643 58433 177499 | 2147483647 568625 241 | 0.000 % |
1098.84/1099.47 c | 571922 | 13643 58433 177499 | 2147483647 571922 241 | 0.000 % |
1110.04/1110.64 c | 575548 | 13643 58433 177499 | 2147483647 575548 241 | 0.000 % |
1122.34/1122.97 c | 579535 | 13643 58433 177499 | 2147483647 579535 242 | 0.000 % |
1137.04/1137.66 c | 583920 | 13643 58433 177499 | 2147483647 583920 242 | 0.000 % |
1152.43/1153.02 c | 588745 | 13643 58433 177499 | 2147483647 588745 243 | 0.000 % |
1169.02/1169.63 c | 594051 | 13643 58433 177499 | 2147483647 594051 243 | 0.000 % |
1169.52/1170.16 c | 594151 | 13643 58433 177499 | 2147483647 594151 243 | 0.000 % |
1170.02/1170.69 c | 594261 | 13643 58433 177499 | 2147483647 594261 243 | 0.000 % |
1170.62/1171.25 c | 594383 | 13643 58433 177499 | 2147483647 594383 243 | 0.000 % |
1171.22/1171.83 c | 594517 | 13643 58433 177499 | 2147483647 594517 243 | 0.000 % |
1172.02/1172.60 c | 594663 | 13643 58433 177499 | 2147483647 594663 243 | 0.000 % |
1172.72/1173.35 c | 594824 | 13643 58433 177499 | 2147483647 594824 243 | 0.000 % |
1173.42/1174.07 c | 595000 | 13643 58433 177499 | 2147483647 595000 243 | 0.000 % |
1174.32/1174.97 c | 595193 | 13643 58433 177499 | 2147483647 595193 243 | 0.000 % |
1175.12/1175.79 c | 595405 | 13643 58433 177499 | 2147483647 595405 243 | 0.000 % |
1176.12/1176.74 c | 595639 | 13643 58433 177499 | 2147483647 595639 243 | 0.000 % |
1177.21/1177.85 c | 595896 | 13643 58433 177499 | 2147483647 595896 243 | 0.000 % |
1178.41/1179.03 c | 596178 | 13643 58433 177499 | 2147483647 596178 243 | 0.000 % |
1179.71/1180.38 c | 596489 | 13643 58433 177499 | 2147483647 596489 243 | 0.000 % |
1181.12/1181.71 c | 596828 | 13643 58433 177499 | 2147483647 596828 243 | 0.000 % |
1182.52/1183.13 c | 597201 | 13643 58433 177499 | 2147483647 597201 243 | 0.000 % |
1184.01/1184.68 c | 597610 | 13643 58433 177499 | 2147483647 597610 243 | 0.000 % |
1185.81/1186.42 c | 598059 | 13643 58433 177499 | 2147483647 598059 243 | 0.000 % |
1187.91/1188.51 c | 598554 | 13643 58433 177499 | 2147483647 598554 243 | 0.000 % |
1190.01/1190.61 c | 599096 | 13643 58433 177499 | 2147483647 599096 243 | 0.000 % |
1192.21/1192.89 c | 599693 | 13643 58433 177499 | 2147483647 599693 243 | 0.000 % |
1194.71/1195.38 c | 600349 | 13643 58433 177499 | 2147483647 600349 243 | 0.000 % |
1197.30/1197.92 c | 601069 | 13643 58433 177499 | 2147483647 601069 243 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832723-1242786980/watcher-1832723-1242786980 -o /tmp/evaluation-result-1832723-1242786980/solver-1832723-1242786980 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832723-1242786980.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: 1.00 1.00 1.00 3/64 27809
/proc/meminfo: memFree=1923420/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 306727084 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/27809/statm: 1339 235 195 169 0 50 0
[pid=27810] ppid=27809 vsize=0 CPUtime=0
/proc/27810/stat : 27810 (SatELiteGTI) R 27809 27809 26993 0 -1 4194372 61 188 0 0 0 0 0 0 21 0 1 0 306727084 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/27810/statm: 0 0 0 0 0 0 0
[startup+0.0615409 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27809
/proc/meminfo: memFree=1923420/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 306727084 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27809/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101539 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27809
/proc/meminfo: memFree=1923420/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 306727084 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27809/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301556 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27809
/proc/meminfo: memFree=1923420/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356
[startup+0.70159 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 27809
/proc/meminfo: memFree=1923420/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356
[startup+1.50167 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27815
/proc/meminfo: memFree=1916044/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=7404 CPUtime=1.22
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 1734 0 0 0 122 0 0 0 25 0 1 0 306727110 7581696 1720 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 1851 1720 77 171 0 1678 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12760
[startup+3.10205 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27815
/proc/meminfo: memFree=1914252/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=9912 CPUtime=2.83
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 2356 0 0 0 282 1 0 0 25 0 1 0 306727110 10149888 2342 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 2478 2342 77 171 0 2305 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15268
[startup+6.30217 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 27815
/proc/meminfo: memFree=1908556/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=14936 CPUtime=6.03
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 3591 0 0 0 601 2 0 0 25 0 1 0 306727110 15294464 3577 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 3734 3577 77 171 0 3561 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20292
[startup+12.7018 s]
/proc/loadavg: 1.15 1.03 1.01 2/66 27815
/proc/meminfo: memFree=1899028/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=24080 CPUtime=12.42
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 5901 0 0 0 1238 4 0 0 25 0 1 0 306727110 24657920 5887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 6020 5887 77 171 0 5847 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29436
[startup+25.5051 s]
/proc/loadavg: 1.11 1.03 1.01 2/66 27815
/proc/meminfo: memFree=1882708/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=39904 CPUtime=25.21
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 9825 0 0 0 2515 6 0 0 25 0 1 0 306727110 40861696 9811 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 9976 9811 77 171 0 9803 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45260
[startup+51.1018 s]
/proc/loadavg: 1.07 1.03 1.01 2/66 27815
/proc/meminfo: memFree=1854612/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=68148 CPUtime=50.78
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 16891 0 0 0 5065 13 0 0 25 0 1 0 306727110 69783552 16877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 17037 16877 77 171 0 16864 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 73504
[startup+102.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 27815
/proc/meminfo: memFree=1809236/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=113620 CPUtime=101.95
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 28258 0 0 0 10172 23 0 0 25 0 1 0 306727110 116346880 28244 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 28405 28244 77 171 0 28232 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 118976
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 27815
/proc/meminfo: memFree=1764564/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=157732 CPUtime=161.93
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 39278 0 0 0 16158 35 0 0 25 0 1 0 306727110 161517568 39264 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 39433 39264 77 171 0 39260 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 163088
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 3/66 27815
/proc/meminfo: memFree=1725908/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=196152 CPUtime=221.9
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 48806 0 0 0 22146 44 0 0 25 0 1 0 306727110 200859648 48792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 49038 48792 77 171 0 48865 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 201508
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27815
/proc/meminfo: memFree=1690516/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=231660 CPUtime=281.87
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 57725 0 0 0 28134 53 0 0 25 0 1 0 306727110 237219840 57711 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 57915 57711 77 171 0 57742 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 237016
[startup+342.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27815
/proc/meminfo: memFree=1658004/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=263604 CPUtime=341.85
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 65737 0 0 0 34121 64 0 0 25 0 1 0 306727110 269930496 65723 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 65901 65723 77 171 0 65728 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 268960
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27815
/proc/meminfo: memFree=1627476/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=294096 CPUtime=401.82
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 73401 0 0 0 40110 72 0 0 25 0 1 0 306727110 301154304 73387 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 73524 73387 77 171 0 73351 0
Current children cumulated CPU time (s) 402.07
################
# More data... #
################
/proc/27815/statm: 87272 87026 77 171 0 87099 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 354444
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1543508/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=377732 CPUtime=581.72
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 94240 0 0 0 58079 93 0 0 25 0 1 0 306727110 386797568 94226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 94433 94226 77 171 0 94260 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 383088
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1521428/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=399912 CPUtime=641.7
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 99793 0 0 0 64069 101 0 0 25 0 1 0 306727110 409509888 99779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 99978 99779 77 171 0 99805 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 405268
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1495508/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=425256 CPUtime=701.66
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 106156 0 0 0 70057 109 0 0 25 0 1 0 306727110 435462144 106142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 106314 106142 77 171 0 106141 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 430612
[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1475476/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=445192 CPUtime=761.65
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 111185 0 0 0 76049 116 0 0 25 0 1 0 306727110 455876608 111171 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/27815/statm: 111298 111171 77 171 0 111125 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 450548
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1450196/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=471188 CPUtime=821.61
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 117469 0 0 0 82039 122 0 0 25 0 1 0 306727110 482496512 117455 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 117797 117455 77 171 0 117624 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 476544
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1430740/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=490196 CPUtime=881.59
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 122222 0 0 0 88032 127 0 0 25 0 1 0 306727110 501960704 122208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 122549 122208 77 171 0 122376 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 495552
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1407892/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=513164 CPUtime=941.57
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 128006 0 0 0 94023 134 0 0 25 0 1 0 306727110 525479936 127992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 128291 127992 77 171 0 128118 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 518520
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1384916/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=535608 CPUtime=1001.54
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 133624 0 0 0 100013 141 0 0 25 0 1 0 306727110 548462592 133610 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 133902 133610 77 171 0 133729 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 540964
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1365844/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=554616 CPUtime=1061.51
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 138406 0 0 0 106005 146 0 0 25 0 1 0 306727110 567926784 138392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 138654 138392 77 171 0 138481 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 559972
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1343444/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=576792 CPUtime=1121.49
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 143971 0 0 0 111996 153 0 0 25 0 1 0 306727110 590635008 143957 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 144198 143957 77 171 0 144025 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 582148
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1323156/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=596988 CPUtime=1181.47
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 149011 0 0 0 117989 158 0 0 25 0 1 0 306727110 611315712 148997 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 149247 148997 77 171 0 149074 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 602344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27817
/proc/meminfo: memFree=1318420/2055920 swapFree=4177796/4192956
[pid=27809] ppid=27807 vsize=5356 CPUtime=0.25
/proc/27809/stat : 27809 (SatELiteGTI) S 27807 27809 26993 0 -1 4194304 336 2070 0 0 0 0 24 1 15 0 1 0 306727084 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27809/statm: 1339 239 197 169 0 50 0
[pid=27815] ppid=27809 vsize=601476 CPUtime=1199.76
/proc/27815/stat : 27815 (minisat_static) R 27809 27809 26993 0 -1 4194304 150141 0 0 0 119817 159 0 0 25 0 1 0 306727110 615911424 150127 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27815/statm: 150369 150127 77 171 0 150196 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 606832
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 27809 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=246962
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=11998
# CPU time returned by wait4() is 0.25896
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.01
CPU user time (s): 1198.41
CPU system time (s): 1.6
CPU usage (%): 99.9499
Max. virtual memory (cumulated for all children) (KiB): 606832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.246962
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2406
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= 13
involuntary context switches= 13
runsolver used 1.47477 second user time and 3.32449 second system time
The end
Begin job on node90 at 2009-05-20 04:36:20
IDJOB=1832723
IDBENCH=70325
IDSOLVER=671
FILE ID=node90/1832723-1242786980
PBS_JOBID= 9322309
Free space on /tmp= 66304 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/14000/unif-k3-r4.2-v14000-c58800-S648763183-023.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832723-1242786980/watcher-1832723-1242786980 -o /tmp/evaluation-result-1832723-1242786980/solver-1832723-1242786980 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832723-1242786980.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 40253b5ef067295a954d5da373fbf256
RANDOM SEED=1562671222
node90.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.238
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.238
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: 1923964 kB
Buffers: 21580 kB
Cached: 63440 kB
SwapCached: 9092 kB
Active: 41680 kB
Inactive: 53804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1923964 kB
SwapTotal: 4192956 kB
SwapFree: 4177796 kB
Dirty: 2680 kB
Writeback: 0 kB
Mapped: 16076 kB
Slab: 22536 kB
Committed_AS: 899612 kB
PageTables: 1436 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66300 MiB
End job on node90 at 2009-05-20 04:56:23