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 | 104640 311346 | 31391 0 0 nan | 0.000 % |
0.00/0.72 c | 0 | 103841 441767 | -- 0 -- -- | -- | -799/130421
0.00/0.72 c ==============================================================================
0.00/0.72 c Result : #vars: 1091 #clauses: 103841 #literals: 441767
0.00/0.72 c CPU time: 0.698893 s
0.00/0.72 c ==============================================================================
0.00/0.84 c This is MiniSat 2.0 beta
0.00/0.84 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.84 c ============================[ Problem Statistics ]=============================
0.00/0.84 c | |
0.00/0.84 c | Number of variables: 1091 |
0.00/0.84 c | Number of clauses: 103841 |
0.00/0.90 c | Parsing time: 0.05 s |
0.83/0.90 c ============================[ Search Statistics ]==============================
0.83/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.83/0.90 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.83/0.90 c ===============================================================================
0.83/0.90 c | 0 | 1091 103841 441767 | 34613 0 nan | 0.000 % |
0.83/0.94 c | 101 | 1091 103841 441767 | 34613 101 58 | 0.000 % |
0.83/0.96 c | 202 | 1091 103841 441767 | 34613 202 56 | 0.000 % |
0.83/0.99 c | 302 | 1091 103841 441767 | 34613 302 56 | 0.000 % |
0.99/1.02 c | 413 | 1091 103841 441767 | 34613 413 56 | 0.000 % |
0.99/1.04 c | 514 | 1091 103841 441767 | 34613 514 58 | 0.000 % |
0.99/1.07 c | 624 | 1091 103841 441767 | 34613 624 58 | 0.000 % |
0.99/1.09 c | 749 | 1091 103841 441767 | 34613 749 58 | 0.000 % |
1.08/1.12 c | 849 | 1091 103841 441767 | 34613 849 58 | 0.000 % |
1.08/1.15 c | 960 | 1091 103841 441767 | 34613 960 58 | 0.000 % |
1.08/1.17 c | 1081 | 1091 103841 441767 | 34613 1081 59 | 0.000 % |
1.18/1.22 c | 1214 | 1091 103841 441767 | 34613 1214 60 | 0.000 % |
1.18/1.24 c | 1315 | 1091 103841 441767 | 34613 1315 60 | 0.000 % |
1.18/1.27 c | 1425 | 1091 103841 441767 | 34613 1425 59 | 0.000 % |
1.28/1.30 c | 1547 | 1091 103841 441767 | 34613 1547 59 | 0.000 % |
1.28/1.35 c | 1682 | 1091 103841 441767 | 34613 1682 58 | 0.000 % |
1.28/1.38 c | 1828 | 1091 103841 441767 | 34613 1828 58 | 0.000 % |
1.38/1.42 c | 1928 | 1091 103841 441767 | 34613 1928 58 | 0.000 % |
1.38/1.45 c | 2039 | 1091 103841 441767 | 34613 2039 59 | 0.000 % |
1.38/1.48 c | 2161 | 1091 103841 441767 | 34613 2161 59 | 0.000 % |
1.48/1.51 c | 2294 | 1091 103841 441767 | 34613 2294 60 | 0.000 % |
1.48/1.55 c | 2441 | 1091 103841 441767 | 34613 2441 60 | 0.000 % |
1.58/1.60 c | 2603 | 1091 103841 441767 | 34613 2603 61 | 0.000 % |
1.58/1.64 c | 2704 | 1091 103841 441767 | 34613 2704 61 | 0.000 % |
1.58/1.66 c | 2814 | 1091 103841 441767 | 34613 2814 61 | 0.000 % |
1.68/1.72 c | 2936 | 1091 103841 441767 | 34613 2936 61 | 0.000 % |
1.68/1.79 c | 3070 | 1091 103841 441767 | 34613 3070 59 | 0.000 % |
1.78/1.86 c | 3216 | 1091 103841 441767 | 34613 3216 60 | 0.000 % |
1.88/1.91 c | 3377 | 1091 103841 441767 | 34613 3377 61 | 0.000 % |
1.88/1.96 c | 3555 | 1091 103841 441767 | 34613 3555 61 | 0.000 % |
1.88/1.99 c | 3655 | 1091 103841 441767 | 34613 3655 62 | 0.000 % |
1.97/2.03 c | 3767 | 1091 103841 441767 | 34613 3767 62 | 0.000 % |
1.97/2.06 c | 3889 | 1091 103841 441767 | 34613 3889 62 | 0.000 % |
1.97/2.10 c | 4024 | 1091 103841 441767 | 34613 4024 62 | 0.000 % |
2.08/2.16 c | 4170 | 1091 103841 441767 | 34613 4170 63 | 0.000 % |
2.18/2.22 c | 4331 | 1091 103841 441767 | 34613 4331 63 | 0.000 % |
2.18/2.25 c | 4507 | 1091 103841 441767 | 34613 4507 63 | 0.001 % |
2.18/2.30 c | 4701 | 1091 103841 441767 | 34613 4701 63 | 0.000 % |
2.27/2.32 c | 4802 | 1091 103841 441767 | 34613 4802 63 | 0.000 % |
2.27/2.36 c | 4913 | 1091 103841 441767 | 34613 4913 63 | 0.000 % |
2.27/2.39 c | 5034 | 1091 103841 441767 | 34613 5034 63 | 0.000 % |
2.37/2.44 c | 5167 | 1091 103841 441767 | 34613 5167 63 | 0.000 % |
2.37/2.47 c | 5313 | 1091 103841 441767 | 34613 5313 63 | 0.000 % |
2.47/2.52 c | 5474 | 1091 103841 441767 | 34613 5474 64 | 0.000 % |
2.47/2.57 c | 5650 | 1091 103841 441767 | 34613 5650 64 | 0.000 % |
2.57/2.64 c | 5843 | 1091 103841 441767 | 34613 5843 64 | 0.000 % |
2.67/2.70 c | 6057 | 1091 103841 441767 | 34613 6057 64 | 0.000 % |
2.67/2.74 c | 6161 | 1091 103841 441767 | 34613 6161 64 | 0.000 % |
2.67/2.77 c | 6273 | 1091 103841 441767 | 34613 6273 64 | 0.000 % |
2.77/2.81 c | 6394 | 1091 103841 441767 | 34613 6394 64 | 0.000 % |
2.77/2.85 c | 6528 | 1091 103841 441767 | 34613 6528 64 | 0.000 % |
2.87/2.91 c | 6675 | 1091 103841 441767 | 34613 6675 64 | 0.000 % |
2.87/2.96 c | 6836 | 1091 103841 441767 | 34613 6836 64 | 0.000 % |
2.97/3.01 c | 7013 | 1091 103841 441767 | 34613 7013 63 | 0.000 % |
3.08/3.11 c | 7206 | 1091 103841 441767 | 34613 7206 63 | 0.000 % |
3.08/3.20 c | 7423 | 1091 103841 441767 | 34613 7423 63 | 0.000 % |
3.18/3.24 c | 7659 | 1091 103841 441767 | 34613 7659 62 | 0.001 % |
3.18/3.28 c | 7760 | 1091 103841 441767 | 34613 7760 62 | 0.000 % |
3.28/3.31 c | 7870 | 1091 103841 441767 | 34613 7870 62 | 0.000 % |
3.28/3.36 c | 7994 | 1091 103841 441767 | 34613 7994 62 | 0.000 % |
3.28/3.40 c | 8131 | 1091 103841 441767 | 34613 8131 62 | 0.000 % |
3.38/3.43 c | 8277 | 1091 103841 441767 | 34613 8277 62 | 0.000 % |
3.38/3.49 c | 8440 | 1091 103841 441767 | 34613 8440 62 | 0.000 % |
3.48/3.54 c | 8617 | 1091 103841 441767 | 34613 8617 62 | 0.000 % |
3.58/3.61 c | 8811 | 1091 103841 441767 | 34613 8811 62 | 0.000 % |
3.58/3.69 c | 9023 | 1091 103841 441767 | 34613 9023 63 | 0.000 % |
3.68/3.79 c | 9257 | 1091 103841 441767 | 34613 9257 63 | 0.000 % |
3.88/3.90 c | 9514 | 1091 103841 441767 | 34613 9514 63 | 0.000 % |
3.88/3.95 c | 9614 | 1091 103841 441767 | 34613 9614 63 | 0.000 % |
3.88/3.99 c | 9724 | 1091 103841 441767 | 34613 9724 63 | 0.000 % |
3.98/4.05 c | 9846 | 1091 103841 441767 | 34613 9846 63 | 0.000 % |
3.98/4.08 c | 9981 | 1091 103841 441767 | 34613 9981 63 | 0.000 % |
4.08/4.14 c | 10127 | 1091 103841 441767 | 2147483647 10127 63 | 0.000 % |
4.08/4.18 c | 10289 | 1091 103841 441767 | 2147483647 10289 63 | 0.000 % |
4.18/4.21 c | 10466 | 1091 103841 441767 | 2147483647 10466 63 | 0.000 % |
4.18/4.25 c | 10660 | 1091 103841 441767 | 2147483647 10660 63 | 0.000 % |
4.18/4.29 c | 10872 | 1091 103841 441767 | 2147483647 10872 63 | 0.000 % |
4.28/4.33 c | 11106 | 1091 103841 441767 | 2147483647 11106 63 | 0.000 % |
4.28/4.40 c | 11363 | 1091 103841 441767 | 2147483647 11363 63 | 0.000 % |
4.47/4.51 c | 11644 | 1091 103841 441767 | 2147483647 11644 64 | 0.000 % |
4.47/4.54 c | 11745 | 1091 103841 441767 | 2147483647 11745 64 | 0.000 % |
4.47/4.59 c | 11855 | 1091 103841 441767 | 2147483647 11855 64 | 0.000 % |
4.57/4.64 c | 11979 | 1091 103841 441767 | 2147483647 11979 64 | 0.000 % |
4.57/4.69 c | 12114 | 1091 103841 441767 | 2147483647 12114 64 | 0.000 % |
4.67/4.77 c | 12261 | 1091 103841 441767 | 2147483647 12261 64 | 0.000 % |
4.77/4.84 c | 12421 | 1091 103841 441767 | 2147483647 12421 64 | 0.000 % |
4.87/4.90 c | 12598 | 1091 103841 441767 | 2147483647 12598 64 | 0.000 % |
4.97/5.01 c | 12792 | 1091 103841 441767 | 2147483647 12792 64 | 0.000 % |
4.97/5.09 c | 13005 | 1091 103841 441767 | 2147483647 13005 64 | 0.000 % |
5.17/5.21 c | 13241 | 1091 103841 441767 | 2147483647 13241 64 | 0.000 % |
5.17/5.28 c | 13499 | 1091 103841 441767 | 2147483647 13499 64 | 0.000 % |
5.37/5.43 c | 13780 | 1091 103841 441767 | 2147483647 13780 64 | 0.000 % |
5.47/5.56 c | 14089 | 1091 103841 441767 | 2147483647 14089 64 | 0.000 % |
5.57/5.61 c | 14189 | 1091 103841 441767 | 2147483647 14189 65 | 0.000 % |
5.57/5.66 c | 14299 | 1091 103841 441767 | 2147483647 14299 65 | 0.000 % |
5.67/5.71 c | 14420 | 1091 103841 441767 | 2147483647 14420 65 | 0.000 % |
5.67/5.80 c | 14554 | 1091 103841 441767 | 2147483647 14554 65 | 0.000 % |
5.77/5.88 c | 14700 | 1091 103841 441767 | 2147483647 14700 65 | 0.000 % |
5.87/5.98 c | 14861 | 1091 103841 441767 | 2147483647 14861 65 | 0.000 % |
5.97/6.03 c | 15039 | 1091 103841 441767 | 2147483647 15039 65 | 0.000 % |
6.07/6.12 c | 15232 | 1091 103841 441767 | 2147483647 15232 65 | 0.000 % |
6.07/6.20 c | 15445 | 1091 103841 441767 | 2147483647 15445 65 | 0.000 % |
6.27/6.30 c | 15678 | 1091 103841 441767 | 2147483647 15678 65 | 0.000 % |
6.37/6.45 c | 15936 | 1091 103841 441767 | 2147483647 15936 65 | 0.000 % |
6.47/6.58 c | 16217 | 1091 103841 441767 | 2147483647 16217 65 | 0.000 % |
6.67/6.73 c | 16527 | 1091 103841 441767 | 2147483647 16527 65 | 0.000 % |
6.87/6.95 c | 16866 | 1091 103841 441767 | 2147483647 16866 65 | 0.000 % |
6.96/7.01 c | 16966 | 1091 103841 441767 | 2147483647 16966 65 | 0.000 % |
6.96/7.07 c | 17077 | 1091 103841 441767 | 2147483647 17077 65 | 0.000 % |
7.06/7.14 c | 17200 | 1091 103841 441767 | 2147483647 17200 65 | 0.000 % |
7.06/7.19 c | 17333 | 1091 103841 441767 | 2147483647 17333 65 | 0.001 % |
7.16/7.27 c | 17480 | 1091 103841 441767 | 2147483647 17480 65 | 0.000 % |
7.27/7.32 c | 17640 | 1091 103841 441767 | 2147483647 17640 65 | 0.000 % |
7.37/7.41 c | 17817 | 1091 103841 441767 | 2147483647 17817 65 | 0.000 % |
7.47/7.52 c | 18011 | 1091 103841 441767 | 2147483647 18011 65 | 0.000 % |
7.57/7.64 c | 18223 | 1091 103841 441767 | 2147483647 18223 65 | 0.000 % |
7.67/7.77 c | 18457 | 1091 103841 441767 | 2147483647 18457 65 | 0.000 % |
7.87/7.92 c | 18714 | 1091 103841 441767 | 2147483647 18714 65 | 0.000 % |
7.97/8.03 c | 18996 | 1091 103841 441767 | 2147483647 18996 64 | 0.000 % |
8.07/8.15 c | 19306 | 1091 103841 441767 | 2147483647 19306 64 | 0.000 % |
8.17/8.28 c | 19646 | 1091 103841 441767 | 2147483647 19646 64 | 0.000 % |
8.37/8.46 c | 20019 | 1091 103841 441767 | 2147483647 20019 63 | 0.000 % |
8.47/8.53 c | 20119 | 1091 103841 441767 | 2147483647 20119 63 | 0.000 % |
8.47/8.57 c | 20233 | 1091 103841 441767 | 2147483647 20233 63 | 0.000 % |
8.57/8.61 c | 20355 | 1091 103841 441767 | 2147483647 20355 63 | 0.000 % |
8.57/8.67 c | 20488 | 1091 103841 441767 | 2147483647 20488 63 | 0.000 % |
8.67/8.73 c | 20634 | 1091 103841 441767 | 2147483647 20634 63 | 0.000 % |
8.67/8.79 c | 20794 | 1091 103841 441767 | 2147483647 20794 63 | 0.000 % |
8.77/8.86 c | 20971 | 1091 103841 441767 | 2147483647 20971 63 | 0.001 % |
8.87/8.94 c | 21165 | 1091 103841 441767 | 2147483647 21165 63 | 0.000 % |
8.97/9.03 c | 21378 | 1091 103841 441767 | 2147483647 21378 63 | 0.000 % |
9.07/9.15 c | 21611 | 1091 103841 441767 | 2147483647 21611 63 | 0.000 % |
9.17/9.26 c | 21868 | 1091 103841 441767 | 2147483647 21868 63 | 0.000 % |
9.37/9.41 c | 22149 | 1091 103841 441767 | 2147483647 22149 63 | 0.000 % |
9.46/9.55 c | 22458 | 1091 103841 441767 | 2147483647 22458 63 | 0.000 % |
9.66/9.70 c | 22797 | 1091 103841 441767 | 2147483647 22797 63 | 0.000 % |
9.77/9.88 c | 23170 | 1091 103841 441767 | 2147483647 23170 63 | 0.000 % |
9.96/10.09 c | 23579 | 1091 103841 441767 | 2147483647 23579 63 | 0.000 % |
10.06/10.14 c | 23681 | 1091 103841 441767 | 2147483647 23681 63 | 0.000 % |
10.16/10.20 c | 23791 | 1091 103841 441767 | 2147483647 23791 63 | 0.000 % |
10.16/10.27 c | 23912 | 1091 103841 441767 | 2147483647 23912 63 | 0.000 % |
10.26/10.34 c | 24045 | 1091 103841 441767 | 2147483647 24045 62 | 0.000 % |
10.36/10.41 c | 24191 | 1091 103841 441767 | 2147483647 24191 62 | 0.000 % |
10.36/10.49 c | 24353 | 1091 103841 441767 | 2147483647 24353 62 | 0.000 % |
10.46/10.57 c | 24529 | 1091 103841 441767 | 2147483647 24529 62 | 0.000 % |
10.56/10.66 c | 24722 | 1091 103841 441767 | 2147483647 24722 62 | 0.000 % |
10.66/10.80 c | 24934 | 1091 103841 441767 | 2147483647 24934 62 | 0.000 % |
10.86/10.94 c | 25169 | 1091 103841 441767 | 2147483647 25169 62 | 0.000 % |
10.96/11.08 c | 25426 | 1091 103841 441767 | 2147483647 25426 62 | 0.000 % |
11.16/11.24 c | 25707 | 1091 103841 441767 | 2147483647 25707 62 | 0.000 % |
11.36/11.43 c | 26018 | 1091 103841 441767 | 2147483647 26018 62 | 0.000 % |
11.56/11.67 c | 26357 | 1091 103841 441767 | 2147483647 26357 62 | 0.000 % |
11.76/11.87 c | 26731 | 1091 103841 441767 | 2147483647 26731 62 | 0.000 % |
11.96/12.08 c | 27140 | 1091 103841 441767 | 2147483647 27140 62 | 0.000 % |
12.26/12.30 c | 27589 | 1091 103841 441767 | 2147483647 27589 62 | 0.000 % |
12.26/12.36 c | 27689 | 1091 103841 441767 | 2147483647 27689 62 | 0.000 % |
12.36/12.41 c | 27800 | 1091 103841 441767 | 2147483647 27800 62 | 0.000 % |
12.36/12.46 c | 27922 | 1091 103841 441767 | 2147483647 27922 62 | 0.000 % |
12.46/12.52 c | 28056 | 1091 103841 441767 | 2147483647 28056 62 | 0.000 % |
12.46/12.59 c | 28203 | 1091 103841 441767 | 2147483647 28203 62 | 0.000 % |
12.56/12.69 c | 28363 | 1091 103841 441767 | 2147483647 28363 62 | 0.000 % |
12.76/12.80 c | 28539 | 1091 103841 441767 | 2147483647 28539 62 | 0.000 % |
12.76/12.88 c | 28732 | 1091 103841 441767 | 2147483647 28732 62 | 0.000 % |
12.96/13.01 c | 28944 | 1091 103841 441767 | 2147483647 28944 62 | 0.000 % |
13.06/13.16 c | 29178 | 1091 103841 441767 | 2147483647 29178 62 | 0.000 % |
13.26/13.33 c | 29435 | 1091 103841 441767 | 2147483647 29435 62 | 0.001 % |
13.36/13.49 c | 29717 | 1091 103841 441767 | 2147483647 29717 62 | 0.000 % |
13.56/13.67 c | 30027 | 1091 103841 441767 | 2147483647 30027 62 | 0.000 % |
13.76/13.88 c | 30366 | 1091 103841 441767 | 2147483647 30366 62 | 0.000 % |
14.05/14.12 c | 30738 | 1091 103841 441767 | 2147483647 30738 62 | 0.000 % |
14.27/14.34 c | 31148 | 1091 103841 441767 | 2147483647 31148 61 | 0.000 % |
14.46/14.55 c | 31602 | 1091 103841 441767 | 2147483647 31602 61 | 0.000 % |
14.76/14.80 c | 32095 | 1091 103841 441767 | 2147483647 32095 61 | 0.000 % |
14.76/14.87 c | 32195 | 1091 103841 441767 | 2147483647 32195 61 | 0.000 % |
14.86/14.97 c | 32307 | 1091 103841 441767 | 2147483647 32307 61 | 0.000 % |
14.96/15.05 c | 32428 | 1091 103841 441767 | 2147483647 32428 61 | 0.000 % |
15.06/15.14 c | 32561 | 1091 103841 441767 | 2147483647 32561 61 | 0.000 % |
15.16/15.21 c | 32707 | 1091 103841 441767 | 2147483647 32707 61 | 0.000 % |
15.26/15.33 c | 32869 | 1091 103841 441767 | 2147483647 32869 61 | 0.000 % |
15.36/15.44 c | 33045 | 1091 103841 441767 | 2147483647 33045 61 | 0.000 % |
15.56/15.61 c | 33239 | 1091 103841 441767 | 2147483647 33239 61 | 0.000 % |
15.66/15.71 c | 33452 | 1091 103841 441767 | 2147483647 33452 61 | 0.000 % |
15.76/15.88 c | 33688 | 1091 103841 441767 | 2147483647 33688 61 | 0.000 % |
15.95/16.06 c | 33945 | 1091 103841 441767 | 2147483647 33945 61 | 0.000 % |
16.15/16.23 c | 34226 | 1091 103841 441767 | 2147483647 34226 61 | 0.000 % |
16.36/16.41 c | 34537 | 1091 103841 441767 | 2147483647 34537 61 | 0.000 % |
16.55/16.64 c | 34877 | 1091 103841 441767 | 2147483647 34877 61 | 0.000 % |
16.85/16.92 c | 35250 | 1091 103841 441767 | 2147483647 35250 61 | 0.000 % |
17.05/17.18 c | 35659 | 1091 103841 441767 | 2147483647 35659 61 | 0.000 % |
17.35/17.49 c | 36108 | 1091 103841 441767 | 2147483647 36108 61 | 0.000 % |
17.75/17.83 c | 36603 | 1091 103841 441767 | 2147483647 36603 61 | 0.000 % |
18.05/18.14 c | 37145 | 1091 103841 441767 | 2147483647 37145 62 | 0.000 % |
18.15/18.20 c | 37247 | 1091 103841 441767 | 2147483647 37247 62 | 0.000 % |
18.15/18.27 c | 37361 | 1091 103841 441767 | 2147483647 37361 62 | 0.000 % |
18.25/18.33 c | 37483 | 1091 103841 441767 | 2147483647 37483 62 | 0.000 % |
18.35/18.44 c | 37620 | 1091 103841 441767 | 2147483647 37620 62 | 0.000 % |
18.45/18.51 c | 37767 | 1091 103841 441767 | 2147483647 37767 62 | 0.000 % |
18.45/18.58 c | 37927 | 1091 103841 441767 | 2147483647 37927 62 | 0.000 % |
18.66/18.72 c | 38104 | 1091 103841 441767 | 2147483647 38104 62 | 0.000 % |
18.76/18.85 c | 38298 | 1091 103841 441767 | 2147483647 38298 62 | 0.000 % |
18.86/18.95 c | 38511 | 1091 103841 441767 | 2147483647 38511 62 | 0.000 % |
19.16/19.23 c | 38744 | 1091 103841 441767 | 2147483647 38744 62 | 0.000 % |
19.26/19.39 c | 39001 | 1091 103841 441767 | 2147483647 39001 62 | 0.000 % |
19.66/19.74 c | 39282 | 1091 103841 441767 | 2147483647 39282 62 | 0.000 % |
19.95/20.00 c | 39592 | 1091 103841 441767 | 2147483647 39592 62 | 0.000 % |
20.15/20.27 c | 39936 | 1091 103841 441767 | 2147483647 39936 62 | 0.000 % |
20.45/20.55 c | 40308 | 1091 103841 441767 | 2147483647 40308 62 | 0.000 % |
20.76/20.84 c | 40717 | 1091 103841 441767 | 2147483647 40717 62 | 0.000 % |
21.15/21.21 c | 41166 | 1091 103841 441767 | 2147483647 41166 62 | 0.000 % |
21.45/21.52 c | 41661 | 1091 103841 441767 | 2147483647 41661 61 | 0.000 % |
21.75/21.87 c | 42203 | 1091 103841 441767 | 2147483647 42203 62 | 0.000 % |
22.25/22.36 c | 42799 | 1091 103841 441767 | 2147483647 42799 62 | 0.000 % |
22.35/22.42 c | 42900 | 1091 103841 441767 | 2147483647 42900 62 | 0.000 % |
22.45/22.51 c | 43011 | 1091 103841 441767 | 2147483647 43011 62 | 0.000 % |
22.55/22.62 c | 43134 | 1091 103841 441767 | 2147483647 43134 62 | 0.000 % |
22.65/22.74 c | 43268 | 1091 103841 441767 | 2147483647 43268 62 | 0.000 % |
22.75/22.89 c | 43417 | 1091 103841 441767 | 2147483647 43417 62 | 0.000 % |
22.95/23.04 c | 43577 | 1091 103841 441767 | 2147483647 43577 62 | 0.000 % |
23.05/23.19 c | 43754 | 1091 103841 441767 | 2147483647 43754 62 | 0.000 % |
23.25/23.35 c | 43947 | 1091 103841 441767 | 2147483647 43947 62 | 0.000 % |
23.45/23.57 c | 44159 | 1091 103841 441767 | 2147483647 44159 62 | 0.000 % |
23.75/23.82 c | 44393 | 1091 103841 441767 | 2147483647 44393 62 | 0.000 % |
23.95/24.07 c | 44649 | 1091 103841 441767 | 2147483647 44649 62 | 0.000 % |
24.25/24.31 c | 44930 | 1091 103841 441767 | 2147483647 44930 62 | 0.000 % |
24.45/24.58 c | 45239 | 1091 103841 441767 | 2147483647 45239 61 | 0.001 % |
24.74/24.81 c | 45579 | 1091 103841 441767 | 2147483647 45579 61 | 0.000 % |
24.94/25.07 c | 45953 | 1091 103841 441767 | 2147483647 45953 61 | 0.000 % |
25.34/25.40 c | 46364 | 1091 103841 441767 | 2147483647 46364 61 | 0.000 % |
25.64/25.72 c | 46815 | 1091 103841 441767 | 2147483647 46815 61 | 0.000 % |
26.04/26.12 c | 47310 | 1091 103841 441767 | 2147483647 47310 61 | 0.000 % |
26.44/26.53 c | 47852 | 1091 103841 441767 | 2147483647 47852 61 | 0.000 % |
27.14/27.21 c | 48450 | 1091 103841 441767 | 2147483647 48450 61 | 0.000 % |
27.74/27.84 c | 49105 | 1091 103841 441767 | 2147483647 49105 61 | 0.000 % |
27.84/27.98 c | 49206 | 1091 103841 441767 | 2147483647 49206 61 | 0.000 % |
28.04/28.12 c | 49317 | 1091 103841 441767 | 2147483647 49317 61 | 0.000 % |
28.14/28.27 c | 49438 | 1091 103841 441767 | 2147483647 49438 61 | 0.000 % |
28.34/28.41 c | 49573 | 1091 103841 441767 | 2147483647 49573 61 | 0.000 % |
28.44/28.55 c | 49720 | 1091 103841 441767 | 2147483647 49720 61 | 0.000 % |
28.64/28.77 c | 49880 | 1091 103841 441767 | 2147483647 49880 61 | 0.000 % |
28.85/28.94 c | 50056 | 1091 103841 441767 | 2147483647 50056 61 | 0.000 % |
28.95/29.08 c | 50249 | 1091 103841 441767 | 2147483647 50249 61 | 0.000 % |
29.25/29.32 c | 50463 | 1091 103841 441767 | 2147483647 50463 61 | 0.000 % |
29.45/29.59 c | 50696 | 1091 103841 441767 | 2147483647 50696 61 | 0.000 % |
29.65/29.77 c | 50954 | 1091 103841 441767 | 2147483647 50954 61 | 0.000 % |
29.95/30.06 c | 51236 | 1091 103841 441767 | 2147483647 51236 61 | 0.000 % |
30.25/30.30 c | 51545 | 1091 103841 441767 | 2147483647 51545 61 | 0.000 % |
30.55/30.62 c | 51884 | 1091 103841 441767 | 2147483647 51884 61 | 0.000 % |
30.85/30.95 c | 52256 | 1091 103841 441767 | 2147483647 52256 61 | 0.000 % |
31.25/31.38 c | 52667 | 1091 103841 441767 | 2147483647 52667 61 | 0.000 % |
31.55/31.65 c | 53116 | 1091 103841 441767 | 2147483647 53116 61 | 0.000 % |
31.95/32.10 c | 53610 | 1091 103841 441767 | 2147483647 53610 61 | 0.000 % |
32.45/32.55 c | 54154 | 1091 103841 441767 | 2147483647 54154 62 | 0.000 % |
33.05/33.16 c | 54751 | 1091 103841 441767 | 2147483647 54751 62 | 0.000 % |
33.64/33.79 c | 55406 | 1091 103841 441767 | 2147483647 55406 62 | 0.000 % |
34.24/34.38 c | 56127 | 1091 103841 441767 | 2147483647 56127 62 | 0.000 % |
34.34/34.45 c | 56227 | 1091 103841 441767 | 2147483647 56227 62 | 0.000 % |
34.44/34.59 c | 56338 | 1091 103841 441767 | 2147483647 56338 62 | 0.000 % |
34.64/34.70 c | 56459 | 1091 103841 441767 | 2147483647 56459 62 | 0.000 % |
34.74/34.85 c | 56593 | 1091 103841 441767 | 2147483647 56593 62 | 0.000 % |
34.94/35.02 c | 56739 | 1091 103841 441767 | 2147483647 56739 62 | 0.000 % |
35.14/35.26 c | 56902 | 1091 103841 441767 | 2147483647 56902 62 | 0.000 % |
35.44/35.52 c | 57080 | 1091 103841 441767 | 2147483647 57080 62 | 0.000 % |
35.54/35.69 c | 57273 | 1091 103841 441767 | 2147483647 57273 62 | 0.000 % |
35.84/35.91 c | 57485 | 1091 103841 441767 | 2147483647 57485 62 | 0.000 % |
36.14/36.23 c | 57718 | 1091 103841 441767 | 2147483647 57718 62 | 0.000 % |
36.44/36.54 c | 57978 | 1091 103841 441767 | 2147483647 57978 62 | 0.000 % |
36.74/36.86 c | 58262 | 1091 103841 441767 | 2147483647 58262 62 | 0.000 % |
37.14/37.20 c | 58572 | 1091 103841 441767 | 2147483647 58572 62 | 0.000 % |
37.54/37.62 c | 58911 | 1091 103841 441767 | 2147483647 58911 62 | 0.000 % |
37.94/38.10 c | 59284 | 1091 103841 441767 | 2147483647 59284 62 | 0.000 % |
38.34/38.49 c | 59694 | 1091 103841 441767 | 2147483647 59694 62 | 0.000 % |
38.93/39.01 c | 60143 | 1091 103841 441767 | 2147483647 60143 62 | 0.000 % |
39.34/39.46 c | 60637 | 1091 103841 441767 | 2147483647 60637 62 | 0.000 % |
39.93/40.02 c | 61180 | 1091 103841 441767 | 2147483647 61180 62 | 0.000 % |
40.55/40.62 c | 61776 | 1091 103841 441767 | 2147483647 61776 62 | 0.000 % |
41.24/41.30 c | 62433 | 1091 103841 441767 | 2147483647 62433 62 | 0.000 % |
41.84/41.98 c | 63153 | 1091 103841 441767 | 2147483647 63153 62 | 0.000 % |
42.64/42.72 c | 63946 | 1091 103841 441767 | 2147483647 63946 62 | 0.000 % |
42.74/42.83 c | 64046 | 1091 103841 441767 | 2147483647 64046 62 | 0.000 % |
42.94/43.02 c | 64159 | 1091 103841 441767 | 2147483647 64159 62 | 0.000 % |
43.04/43.15 c | 64280 | 1091 103841 441767 | 2147483647 64280 62 | 0.000 % |
43.14/43.28 c | 64414 | 1091 103841 441767 | 2147483647 64414 62 | 0.000 % |
43.34/43.42 c | 64561 | 1091 103841 441767 | 2147483647 64561 62 | 0.000 % |
43.44/43.59 c | 64721 | 1091 103841 441767 | 2147483647 64721 62 | 0.000 % |
43.53/43.69 c | 64897 | 1091 103841 441767 | 2147483647 64897 62 | 0.000 % |
43.73/43.89 c | 65092 | 1091 103841 441767 | 2147483647 65092 62 | 0.000 % |
44.03/44.14 c | 65305 | 1091 103841 441767 | 2147483647 65305 62 | 0.000 % |
44.23/44.36 c | 65539 | 1091 103841 441767 | 2147483647 65539 62 | 0.000 % |
44.53/44.67 c | 65796 | 1091 103841 441767 | 2147483647 65796 63 | 0.000 % |
44.73/44.89 c | 66077 | 1091 103841 441767 | 2147483647 66077 63 | 0.000 % |
45.04/45.17 c | 66388 | 1091 103841 441767 | 2147483647 66388 63 | 0.000 % |
45.33/45.49 c | 66727 | 1091 103841 441767 | 2147483647 66727 63 | 0.000 % |
45.73/45.86 c | 67099 | 1091 103841 441767 | 2147483647 67099 63 | 0.000 % |
46.14/46.20 c | 67509 | 1091 103841 441767 | 2147483647 67509 63 | 0.000 % |
46.43/46.59 c | 67958 | 1091 103841 441767 | 2147483647 67958 63 | 0.000 % |
46.93/47.06 c | 68451 | 1091 103841 441767 | 2147483647 68451 63 | 0.000 % |
47.53/47.64 c | 68994 | 1091 103841 441767 | 2147483647 68994 63 | 0.000 % |
48.23/48.34 c | 69590 | 1091 103841 441767 | 2147483647 69590 63 | 0.000 % |
48.82/48.96 c | 70248 | 1091 103841 441767 | 2147483647 70248 63 | 0.000 % |
49.52/49.62 c | 70970 | 1091 103841 441767 | 2147483647 70970 63 | 0.000 % |
50.32/50.44 c | 71762 | 1091 103841 441767 | 2147483647 71762 63 | 0.000 % |
51.63/51.78 c | 72635 | 1091 103841 441767 | 2147483647 72635 63 | 0.000 % |
51.82/51.96 c | 72735 | 1091 103841 441767 | 2147483647 72735 63 | 0.000 % |
52.02/52.12 c | 72845 | 1091 103841 441767 | 2147483647 72845 63 | 0.000 % |
52.22/52.30 c | 72967 | 1091 103841 441767 | 2147483647 72967 63 | 0.000 % |
52.42/52.56 c | 73101 | 1091 103841 441767 | 2147483647 73101 63 | 0.000 % |
52.63/52.79 c | 73247 | 1091 103841 441767 | 2147483647 73247 63 | 0.000 % |
52.93/53.07 c | 73409 | 1091 103841 441767 | 2147483647 73409 63 | 0.000 % |
53.23/53.37 c | 73587 | 1091 103841 441767 | 2147483647 73587 63 | 0.000 % |
53.53/53.65 c | 73784 | 1091 103841 441767 | 2147483647 73784 63 | 0.000 % |
53.83/53.99 c | 73996 | 1091 103841 441767 | 2147483647 73996 63 | 0.000 % |
54.03/54.15 c | 74230 | 1091 103841 441767 | 2147483647 74230 63 | 0.000 % |
54.53/54.62 c | 74486 | 1091 103841 441767 | 2147483647 74486 63 | 0.000 % |
54.83/54.96 c | 74768 | 1091 103841 441767 | 2147483647 74768 63 | 0.000 % |
55.33/55.40 c | 75078 | 1091 103841 441767 | 2147483647 75078 63 | 0.000 % |
55.73/55.82 c | 75419 | 1091 103841 441767 | 2147483647 75419 63 | 0.000 % |
56.13/56.25 c | 75791 | 1091 103841 441767 | 2147483647 75791 63 | 0.000 % |
56.63/56.71 c | 76202 | 1091 103841 441767 | 2147483647 76202 63 | 0.000 % |
57.13/57.29 c | 76653 | 1091 103841 441767 | 2147483647 76653 63 | 0.000 % |
57.53/57.68 c | 77146 | 1091 103841 441767 | 2147483647 77146 63 | 0.000 % |
58.33/58.47 c | 77688 | 1091 103841 441767 | 2147483647 77688 63 | 0.000 % |
59.23/59.40 c | 78284 | 1091 103841 441767 | 2147483647 78284 63 | 0.000 % |
60.12/60.25 c | 78939 | 1091 103841 441767 | 2147483647 78939 63 | 0.000 % |
60.92/61.04 c | 79659 | 1091 103841 441767 | 2147483647 79659 63 | 0.000 % |
62.32/62.42 c | 80451 | 1091 103841 441767 | 2147483647 80451 63 | 0.000 % |
63.42/63.56 c | 81326 | 1091 103841 441767 | 2147483647 81326 63 | 0.000 % |
64.92/65.05 c | 82286 | 1091 103841 441767 | 2147483647 82286 63 | 0.000 % |
65.12/65.27 c | 82389 | 1091 103841 441767 | 2147483647 82389 63 | 0.000 % |
65.32/65.48 c | 82500 | 1091 103841 441767 | 2147483647 82500 63 | 0.000 % |
65.52/65.64 c | 82621 | 1091 103841 441767 | 2147483647 82621 63 | 0.000 % |
65.82/65.91 c | 82757 | 1091 103841 441767 | 2147483647 82757 63 | 0.000 % |
66.02/66.19 c | 82903 | 1091 103841 441767 | 2147483647 82903 63 | 0.000 % |
66.32/66.45 c | 83065 | 1091 103841 441767 | 2147483647 83065 63 | 0.000 % |
66.62/66.78 c | 83242 | 1091 103841 441767 | 2147483647 83242 63 | 0.000 % |
66.82/66.98 c | 83439 | 1091 103841 441767 | 2147483647 83439 63 | 0.000 % |
67.12/67.26 c | 83652 | 1091 103841 441767 | 2147483647 83652 63 | 0.000 % |
67.52/67.60 c | 83885 | 1091 103841 441767 | 2147483647 83885 63 | 0.000 % |
67.72/67.84 c | 84141 | 1091 103841 441767 | 2147483647 84141 63 | 0.000 % |
68.12/68.24 c | 84423 | 1091 103841 441767 | 2147483647 84423 63 | 0.000 % |
68.52/68.68 c | 84732 | 1091 103841 441767 | 2147483647 84732 63 | 0.000 % |
69.02/69.12 c | 85071 | 1091 103841 441767 | 2147483647 85071 63 | 0.000 % |
69.32/69.48 c | 85443 | 1091 103841 441767 | 2147483647 85443 63 | 0.000 % |
70.22/70.38 c | 85852 | 1091 103841 441767 | 2147483647 85852 63 | 0.000 % |
71.02/71.19 c | 86301 | 1091 103841 441767 | 2147483647 86301 63 | 0.000 % |
72.22/72.34 c | 86794 | 1091 103841 441767 | 2147483647 86794 63 | 0.000 % |
72.91/73.07 c | 87338 | 1091 103841 441767 | 2147483647 87338 63 | 0.000 % |
74.01/74.17 c | 87935 | 1091 103841 441767 | 2147483647 87935 63 | 0.000 % |
75.22/75.33 c | 88590 | 1091 103841 441767 | 2147483647 88590 63 | 0.000 % |
76.32/76.48 c | 89310 | 1091 103841 441767 | 2147483647 89310 63 | 0.000 % |
77.02/77.19 c | 90102 | 1091 103841 441767 | 2147483647 90102 63 | 0.000 % |
79.72/79.86 c | 90973 | 1091 103841 441767 | 2147483647 90973 63 | 0.000 % |
81.72/81.86 c | 91932 | 1091 103841 441767 | 2147483647 91932 63 | 0.000 % |
84.01/84.14 c | 92985 | 1091 103841 441767 | 2147483647 92985 63 | 0.000 % |
84.31/84.42 c | 93087 | 1091 103841 441767 | 2147483647 93087 63 | 0.000 % |
84.41/84.54 c | 93197 | 1091 103841 441767 | 2147483647 93197 63 | 0.000 % |
84.81/84.90 c | 93318 | 1091 103841 441767 | 2147483647 93318 63 | 0.000 % |
84.91/85.02 c | 93452 | 1091 103841 441767 | 2147483647 93452 63 | 0.000 % |
85.22/85.36 c | 93598 | 1091 103841 441767 | 2147483647 93598 63 | 0.000 % |
85.62/85.73 c | 93758 | 1091 103841 441767 | 2147483647 93758 63 | 0.000 % |
85.82/85.93 c | 93935 | 1091 103841 441767 | 2147483647 93935 63 | 0.000 % |
86.12/86.28 c | 94128 | 1091 103841 441767 | 2147483647 94128 63 | 0.000 % |
86.52/86.67 c | 94340 | 1091 103841 441767 | 2147483647 94340 63 | 0.000 % |
86.82/86.97 c | 94573 | 1091 103841 441767 | 2147483647 94573 63 | 0.000 % |
87.22/87.37 c | 94832 | 1091 103841 441767 | 2147483647 94832 63 | 0.000 % |
87.92/88.03 c | 95113 | 1091 103841 441767 | 2147483647 95113 63 | 0.000 % |
88.82/88.93 c | 95422 | 1091 103841 441767 | 2147483647 95422 63 | 0.000 % |
89.62/89.78 c | 95763 | 1091 103841 441767 | 2147483647 95763 63 | 0.000 % |
90.42/90.56 c | 96137 | 1091 103841 441767 | 2147483647 96137 63 | 0.000 % |
91.12/91.27 c | 96547 | 1091 103841 441767 | 2147483647 96547 63 | 0.000 % |
91.72/91.89 c | 96999 | 1091 103841 441767 | 2147483647 96999 63 | 0.000 % |
92.71/92.82 c | 97495 | 1091 103841 441767 | 2147483647 97495 63 | 0.000 % |
93.21/93.30 c | 98039 | 1091 103841 441767 | 2147483647 98039 63 | 0.000 % |
94.70/94.86 c | 98638 | 1091 103841 441767 | 2147483647 98638 63 | 0.000 % |
96.70/96.83 c | 99294 | 1091 103841 441767 | 2147483647 99294 63 | 0.000 % |
97.49/97.69 c | 100015 | 1091 103841 441767 | 2147483647 100015 63 | 0.000 % |
99.68/99.85 c | 100811 | 1091 103841 441767 | 2147483647 100811 63 | 0.000 % |
101.88/102.09 c | 101688 | 1091 103841 441767 | 2147483647 101688 63 | 0.000 % |
103.98/104.13 c | 102647 | 1091 103841 441767 | 2147483647 102647 63 | 0.000 % |
105.78/105.92 c | 103700 | 1091 103841 441767 | 2147483647 103700 63 | 0.000 % |
107.08/107.28 c | 104858 | 1091 103841 441767 | 2147483647 104858 63 | 0.000 % |
107.18/107.39 c | 104960 | 1091 103841 441767 | 2147483647 104960 63 | 0.000 % |
107.38/107.51 c | 105070 | 1091 103841 441767 | 2147483647 105070 63 | 0.000 % |
107.68/107.88 c | 105191 | 1091 103841 441767 | 2147483647 105191 63 | 0.000 % |
107.98/108.17 c | 105324 | 1091 103841 441767 | 2147483647 105324 63 | 0.000 % |
108.28/108.47 c | 105470 | 1091 103841 441767 | 2147483647 105470 63 | 0.000 % |
108.58/108.73 c | 105630 | 1091 103841 441767 | 2147483647 105630 63 | 0.000 % |
108.78/108.96 c | 105806 | 1091 103841 441767 | 2147483647 105806 63 | 0.000 % |
109.48/109.60 c | 105999 | 1091 103841 441767 | 2147483647 105999 63 | 0.000 % |
109.88/110.08 c | 106211 | 1091 103841 441767 | 2147483647 106211 63 | 0.000 % |
110.38/110.52 c | 106444 | 1091 103841 441767 | 2147483647 106444 63 | 0.000 % |
110.78/110.98 c | 106700 | 1091 103841 441767 | 2147483647 106700 63 | 0.000 % |
111.18/111.36 c | 106983 | 1091 103841 441767 | 2147483647 106983 63 | 0.000 % |
111.48/111.60 c | 107292 | 1091 103841 441767 | 2147483647 107292 63 | 0.000 % |
112.28/112.46 c | 107632 | 1091 103841 441767 | 2147483647 107632 63 | 0.000 % |
112.58/112.75 c | 108004 | 1091 103841 441767 | 2147483647 108004 63 | 0.000 % |
113.88/114.07 c | 108414 | 1091 103841 441767 | 2147483647 108414 63 | 0.000 % |
114.38/114.50 c | 108863 | 1091 103841 441767 | 2147483647 108863 63 | 0.000 % |
115.18/115.35 c | 109356 | 1091 103841 441767 | 2147483647 109356 63 | 0.000 % |
115.98/116.14 c | 109899 | 1091 103841 441767 | 2147483647 109899 63 | 0.000 % |
117.18/117.30 c | 110495 | 1091 103841 441767 | 2147483647 110495 63 | 0.000 % |
118.58/118.71 c | 111151 | 1091 103841 441767 | 2147483647 111151 64 | 0.000 % |
119.68/119.84 c | 111872 | 1091 103841 441767 | 2147483647 111872 64 | 0.000 % |
121.38/121.55 c | 112664 | 1091 103841 441767 | 2147483647 112664 64 | 0.000 % |
122.08/122.24 c | 113538 | 1091 103841 441767 | 2147483647 113538 64 | 0.000 % |
123.97/124.10 c | 114497 | 1091 103841 441767 | 2147483647 114497 64 | 0.000 % |
126.77/126.99 c | 115550 | 1091 103841 441767 | 2147483647 115550 64 | 0.000 % |
128.87/129.05 c | 116708 | 1091 103841 441767 | 2147483647 116708 64 | 0.000 % |
131.28/131.46 c | 117982 | 1091 103841 441767 | 2147483647 117982 64 | 0.000 % |
131.68/131.82 c | 118082 | 1091 103841 441767 | 2147483647 118082 64 | 0.000 % |
132.08/132.23 c | 118193 | 1091 103841 441767 | 2147483647 118193 64 | 0.000 % |
132.27/132.41 c | 118315 | 1091 103841 441767 | 2147483647 118315 64 | 0.000 % |
132.88/133.08 c | 118449 | 1091 103841 441767 | 2147483647 118449 64 | 0.000 % |
133.37/133.53 c | 118595 | 1091 103841 441767 | 2147483647 118595 64 | 0.000 % |
133.47/133.69 c | 118757 | 1091 103841 441767 | 2147483647 118757 64 | 0.000 % |
133.98/134.14 c | 118934 | 1091 103841 441767 | 2147483647 118934 64 | 0.000 % |
134.27/134.40 c | 119128 | 1091 103841 441767 | 2147483647 119128 64 | 0.000 % |
134.47/134.67 c | 119341 | 1091 103841 441767 | 2147483647 119341 64 | 0.000 % |
134.97/135.10 c | 119574 | 1091 103841 441767 | 2147483647 119574 64 | 0.000 % |
135.67/135.86 c | 119837 | 1091 103841 441767 | 2147483647 119837 64 | 0.000 % |
135.97/136.14 c | 120119 | 1091 103841 441767 | 2147483647 120119 64 | 0.000 % |
136.27/136.41 c | 120429 | 1091 103841 441767 | 2147483647 120429 64 | 0.000 % |
136.37/136.60 c | 120769 | 1091 103841 441767 | 2147483647 120769 64 | 0.000 % |
136.67/136.85 c | 121143 | 1091 103841 441767 | 2147483647 121143 64 | 0.000 % |
137.17/137.35 c | 121552 | 1091 103841 441767 | 2147483647 121552 64 | 0.000 % |
138.47/138.65 c | 122004 | 1091 103841 441767 | 2147483647 122004 64 | 0.000 % |
138.76/138.99 c | 122498 | 1091 103841 441767 | 2147483647 122498 64 | 0.000 % |
140.56/140.74 c | 123042 | 1091 103841 441767 | 2147483647 123042 64 | 0.000 % |
141.76/141.98 c | 123640 | 1091 103841 441767 | 2147483647 123640 64 | 0.000 % |
142.66/142.84 c | 124295 | 1091 103841 441767 | 2147483647 124295 64 | 0.000 % |
143.56/143.79 c | 125018 | 1091 103841 441767 | 2147483647 125018 64 | 0.000 % |
145.36/145.56 c | 125810 | 1091 103841 441767 | 2147483647 125810 64 | 0.000 % |
148.46/148.64 c | 126682 | 1091 103841 441767 | 2147483647 126682 65 | 0.000 % |
150.86/151.03 c | 127640 | 1091 103841 441767 | 2147483647 127640 65 | 0.000 % |
153.96/154.15 c | 128697 | 1091 103841 441767 | 2147483647 128697 65 | 0.000 % |
157.36/157.51 c | 129857 | 1091 103841 441767 | 2147483647 129857 65 | 0.000 % |
160.46/160.60 c | 131130 | 1091 103841 441767 | 2147483647 131130 65 | 0.001 % |
164.35/164.51 c | 132530 | 1091 103841 441767 | 2147483647 132530 65 | 0.000 % |
164.55/164.77 c | 132630 | 1091 103841 441767 | 2147483647 132630 65 | 0.000 % |
164.85/165.03 c | 132741 | 1091 103841 441767 | 2147483647 132741 65 | 0.000 % |
164.95/165.17 c | 132862 | 1091 103841 441767 | 2147483647 132862 65 | 0.000 % |
165.15/165.35 c | 132996 | 1091 103841 441767 | 2147483647 132996 65 | 0.000 % |
165.55/165.72 c | 133142 | 1091 103841 441767 | 2147483647 133142 65 | 0.000 % |
166.05/166.22 c | 133305 | 1091 103841 441767 | 2147483647 133305 65 | 0.000 % |
166.55/166.77 c | 133481 | 1091 103841 441767 | 2147483647 133481 65 | 0.000 % |
167.15/167.32 c | 133675 | 1091 103841 441767 | 2147483647 133675 65 | 0.000 % |
167.75/167.96 c | 133887 | 1091 103841 441767 | 2147483647 133887 65 | 0.000 % |
168.05/168.24 c | 134120 | 1091 103841 441767 | 2147483647 134120 65 | 0.000 % |
169.05/169.21 c | 134377 | 1091 103841 441767 | 2147483647 134377 65 | 0.000 % |
169.75/170.00 c | 134659 | 1091 103841 441767 | 2147483647 134659 65 | 0.000 % |
170.55/170.78 c | 134968 | 1091 103841 441767 | 2147483647 134968 65 | 0.000 % |
170.85/171.10 c | 135314 | 1091 103841 441767 | 2147483647 135314 65 | 0.000 % |
171.76/171.96 c | 135689 | 1091 103841 441767 | 2147483647 135689 65 | 0.000 % |
172.85/173.00 c | 136100 | 1091 103841 441767 | 2147483647 136100 65 | 0.000 % |
173.25/173.50 c | 136549 | 1091 103841 441767 | 2147483647 136549 65 | 0.000 % |
174.25/174.47 c | 137044 | 1091 103841 441767 | 2147483647 137044 65 | 0.000 % |
175.45/175.63 c | 137588 | 1091 103841 441767 | 2147483647 137588 65 | 0.000 % |
177.05/177.23 c | 138185 | 1091 103841 441767 | 2147483647 138185 65 | 0.000 % |
177.65/177.88 c | 138841 | 1091 103841 441767 | 2147483647 138841 65 | 0.000 % |
179.65/179.85 c | 139561 | 1091 103841 441767 | 2147483647 139561 65 | 0.000 % |
182.55/182.77 c | 140353 | 1091 103841 441767 | 2147483647 140353 65 | 0.000 % |
183.64/183.80 c | 141225 | 1091 103841 441767 | 2147483647 141225 65 | 0.000 % |
185.64/185.82 c | 142184 | 1091 103841 441767 | 2147483647 142184 65 | 0.000 % |
187.73/187.93 c | 143237 | 1091 103841 441767 | 2147483647 143237 65 | 0.000 % |
189.63/189.82 c | 144397 | 1091 103841 441767 | 2147483647 144397 65 | 0.000 % |
192.43/192.61 c | 145670 | 1091 103841 441767 | 2147483647 145670 65 | 0.000 % |
193.64/193.80 c | 147071 | 1091 103841 441767 | 2147483647 147071 65 | 0.000 % |
199.23/199.45 c | 148614 | 1091 103841 441767 | 2147483647 148614 65 | 0.000 % |
199.63/199.83 c | 148714 | 1091 103841 441767 | 2147483647 148714 65 | 0.000 % |
199.94/200.20 c | 148824 | 1091 103841 441767 | 2147483647 148824 65 | 0.000 % |
200.33/200.54 c | 148946 | 1091 103841 441767 | 2147483647 148946 65 | 0.000 % |
200.73/200.92 c | 149081 | 1091 103841 441767 | 2147483647 149081 65 | 0.000 % |
201.23/201.42 c | 149228 | 1091 103841 441767 | 2147483647 149228 65 | 0.000 % |
201.73/201.90 c | 149389 | 1091 103841 441767 | 2147483647 149389 65 | 0.000 % |
202.13/202.37 c | 149568 | 1091 103841 441767 | 2147483647 149568 65 | 0.000 % |
202.43/202.67 c | 149764 | 1091 103841 441767 | 2147483647 149764 65 | 0.000 % |
203.03/203.23 c | 149977 | 1091 103841 441767 | 2147483647 149977 65 | 0.000 % |
204.03/204.22 c | 150211 | 1091 103841 441767 | 2147483647 150211 65 | 0.000 % |
204.73/204.98 c | 150468 | 1091 103841 441767 | 2147483647 150468 65 | 0.000 % |
205.83/206.09 c | 150749 | 1091 103841 441767 | 2147483647 150749 65 | 0.000 % |
207.03/207.27 c | 151058 | 1091 103841 441767 | 2147483647 151058 65 | 0.000 % |
208.03/208.21 c | 151398 | 1091 103841 441767 | 2147483647 151398 65 | 0.000 % |
208.53/208.78 c | 151771 | 1091 103841 441767 | 2147483647 151771 65 | 0.000 % |
209.72/209.94 c | 152182 | 1091 103841 441767 | 2147483647 152182 65 | 0.000 % |
211.22/211.48 c | 152634 | 1091 103841 441767 | 2147483647 152634 65 | 0.000 % |
212.32/212.59 c | 153131 | 1091 103841 441767 | 2147483647 153131 65 | 0.000 % |
213.82/214.09 c | 153673 | 1091 103841 441767 | 2147483647 153673 65 | 0.000 % |
215.33/215.52 c | 154269 | 1091 103841 441767 | 2147483647 154269 65 | 0.000 % |
216.23/216.42 c | 154927 | 1091 103841 441767 | 2147483647 154927 65 | 0.000 % |
218.73/218.93 c | 155648 | 1091 103841 441767 | 2147483647 155648 65 | 0.000 % |
220.83/221.02 c | 156446 | 1091 103841 441767 | 2147483647 156446 65 | 0.000 % |
222.93/223.19 c | 157319 | 1091 103841 441767 | 2147483647 157319 64 | 0.000 % |
225.33/225.57 c | 158277 | 1091 103841 441767 | 2147483647 158277 64 | 0.000 % |
226.82/227.07 c | 159331 | 1091 103841 441767 | 2147483647 159331 64 | 0.000 % |
230.62/230.83 c | 160490 | 1091 103841 441767 | 2147483647 160490 64 | 0.000 % |
235.01/235.28 c | 161764 | 1091 103841 441767 | 2147483647 161764 64 | 0.000 % |
239.11/239.31 c | 163169 | 1091 103841 441767 | 2147483647 163169 64 | 0.000 % |
243.11/243.40 c | 164711 | 1091 103841 441767 | 2147483647 164711 63 | 0.000 % |
246.32/246.51 c | 166405 | 1091 103841 441767 | 2147483647 166405 63 | 0.000 % |
246.42/246.66 c | 166507 | 1091 103841 441767 | 2147483647 166507 63 | 0.000 % |
246.72/246.99 c | 166618 | 1091 103841 441767 | 2147483647 166618 63 | 0.000 % |
247.12/247.39 c | 166739 | 1091 103841 441767 | 2147483647 166739 63 | 0.000 % |
247.52/247.70 c | 166872 | 1091 103841 441767 | 2147483647 166872 63 | 0.000 % |
247.92/248.10 c | 167019 | 1091 103841 441767 | 2147483647 167019 63 | 0.000 % |
248.22/248.45 c | 167180 | 1091 103841 441767 | 2147483647 167180 63 | 0.000 % |
248.52/248.76 c | 167357 | 1091 103841 441767 | 2147483647 167357 63 | 0.000 % |
249.22/249.41 c | 167552 | 1091 103841 441767 | 2147483647 167552 63 | 0.000 % |
249.81/250.05 c | 167764 | 1091 103841 441767 | 2147483647 167764 63 | 0.000 % |
250.21/250.42 c | 168000 | 1091 103841 441767 | 2147483647 168000 63 | 0.000 % |
250.91/251.18 c | 168256 | 1091 103841 441767 | 2147483647 168256 63 | 0.000 % |
251.71/251.91 c | 168537 | 1091 103841 441767 | 2147483647 168537 63 | 0.000 % |
252.11/252.34 c | 168849 | 1091 103841 441767 | 2147483647 168849 63 | 0.000 % |
253.01/253.27 c | 169189 | 1091 103841 441767 | 2147483647 169189 63 | 0.000 % |
254.01/254.27 c | 169561 | 1091 103841 441767 | 2147483647 169561 63 | 0.000 % |
254.91/255.15 c | 169971 | 1091 103841 441767 | 2147483647 169971 63 | 0.000 % |
256.21/256.40 c | 170420 | 1091 103841 441767 | 2147483647 170420 63 | 0.000 % |
256.70/256.97 c | 170913 | 1091 103841 441767 | 2147483647 170913 63 | 0.000 % |
258.21/258.42 c | 171455 | 1091 103841 441767 | 2147483647 171455 63 | 0.000 % |
259.51/259.70 c | 172051 | 1091 103841 441767 | 2147483647 172051 63 | 0.000 % |
261.31/261.52 c | 172706 | 1091 103841 441767 | 2147483647 172706 63 | 0.000 % |
263.11/263.39 c | 173428 | 1091 103841 441767 | 2147483647 173428 64 | 0.000 % |
265.31/265.53 c | 174220 | 1091 103841 441767 | 2147483647 174220 64 | 0.000 % |
266.71/266.94 c | 175092 | 1091 103841 441767 | 2147483647 175092 64 | 0.000 % |
269.91/270.11 c | 176051 | 1091 103841 441767 | 2147483647 176051 64 | 0.000 % |
271.01/271.29 c | 177104 | 1091 103841 441767 | 2147483647 177104 64 | 0.000 % |
274.20/274.45 c | 178263 | 1091 103841 441767 | 2147483647 178263 64 | 0.000 % |
277.69/277.92 c | 179536 | 1091 103841 441767 | 2147483647 179536 64 | 0.000 % |
279.59/279.80 c | 180936 | 1091 103841 441767 | 2147483647 180936 64 | 0.000 % |
281.50/281.71 c | 182476 | 1091 103841 441767 | 2147483647 182476 64 | 0.000 % |
283.10/283.36 c | 184170 | 1091 103841 441767 | 2147483647 184170 64 | 0.000 % |
285.29/285.52 c | 186035 | 1091 103841 441767 | 2147483647 186035 64 | 0.000 % |
285.70/285.98 c | 186137 | 1091 103841 441767 | 2147483647 186137 64 | 0.000 % |
286.09/286.39 c | 186248 | 1091 103841 441767 | 2147483647 186248 64 | 0.000 % |
286.49/286.74 c | 186369 | 1091 103841 441767 | 2147483647 186369 64 | 0.000 % |
286.89/287.19 c | 186504 | 1091 103841 441767 | 2147483647 186504 64 | 0.000 % |
287.39/287.70 c | 186650 | 1091 103841 441767 | 2147483647 186650 64 | 0.000 % |
287.90/288.20 c | 186811 | 1091 103841 441767 | 2147483647 186811 64 | 0.000 % |
288.49/288.75 c | 186987 | 1091 103841 441767 | 2147483647 186987 64 | 0.000 % |
288.89/289.12 c | 187182 | 1091 103841 441767 | 2147483647 187182 64 | 0.000 % |
289.29/289.57 c | 187394 | 1091 103841 441767 | 2147483647 187394 64 | 0.000 % |
289.99/290.21 c | 187628 | 1091 103841 441767 | 2147483647 187628 64 | 0.000 % |
290.69/290.96 c | 187884 | 1091 103841 441767 | 2147483647 187884 64 | 0.000 % |
291.39/291.65 c | 188167 | 1091 103841 441767 | 2147483647 188167 64 | 0.000 % |
292.09/292.37 c | 188481 | 1091 103841 441767 | 2147483647 188481 64 | 0.000 % |
292.79/293.08 c | 188823 | 1091 103841 441767 | 2147483647 188823 64 | 0.000 % |
293.89/294.12 c | 189197 | 1091 103841 441767 | 2147483647 189197 64 | 0.000 % |
294.99/295.26 c | 189606 | 1091 103841 441767 | 2147483647 189606 64 | 0.000 % |
296.50/296.71 c | 190059 | 1091 103841 441767 | 2147483647 190059 64 | 0.000 % |
297.29/297.58 c | 190552 | 1091 103841 441767 | 2147483647 190552 64 | 0.000 % |
299.39/299.62 c | 191094 | 1091 103841 441767 | 2147483647 191094 64 | 0.000 % |
300.79/301.07 c | 191690 | 1091 103841 441767 | 2147483647 191690 65 | 0.000 % |
301.79/302.08 c | 192346 | 1091 103841 441767 | 2147483647 192346 65 | 0.000 % |
303.89/304.17 c | 193068 | 1091 103841 441767 | 2147483647 193068 65 | 0.000 % |
306.48/306.75 c | 193860 | 1091 103841 441767 | 2147483647 193860 65 | 0.000 % |
307.88/308.14 c | 194731 | 1091 103841 441767 | 2147483647 194731 65 | 0.000 % |
310.78/311.07 c | 195690 | 1091 103841 441767 | 2147483647 195690 65 | 0.000 % |
313.78/314.06 c | 196743 | 1091 103841 441767 | 2147483647 196743 65 | 0.000 % |
316.28/316.56 c | 197901 | 1091 103841 441767 | 2147483647 197901 64 | 0.000 % |
320.67/320.94 c | 199182 | 1091 103841 441767 | 2147483647 199182 64 | 0.000 % |
324.27/324.58 c | 200583 | 1091 103841 441767 | 2147483647 200583 64 | 0.000 % |
327.17/327.42 c | 202125 | 1091 103841 441767 | 2147483647 202125 64 | 0.000 % |
331.67/331.96 c | 203819 | 1091 103841 441767 | 2147483647 203819 64 | 0.000 % |
337.37/337.65 c | 205682 | 1091 103841 441767 | 2147483647 205682 65 | 0.000 % |
341.77/342.09 c | 207732 | 1091 103841 441767 | 2147483647 207732 65 | 0.000 % |
342.36/342.64 c | 207834 | 1091 103841 441767 | 2147483647 207834 65 | 0.000 % |
342.76/343.06 c | 207945 | 1091 103841 441767 | 2147483647 207945 65 | 0.000 % |
343.06/343.38 c | 208069 | 1091 103841 441767 | 2147483647 208069 65 | 0.000 % |
343.46/343.78 c | 208204 | 1091 103841 441767 | 2147483647 208204 65 | 0.001 % |
343.76/344.05 c | 208352 | 1091 103841 441767 | 2147483647 208352 65 | 0.000 % |
344.56/344.90 c | 208512 | 1091 103841 441767 | 2147483647 208512 65 | 0.000 % |
345.07/345.37 c | 208689 | 1091 103841 441767 | 2147483647 208689 65 | 0.000 % |
345.86/346.10 c | 208883 | 1091 103841 441767 | 2147483647 208883 65 | 0.000 % |
346.76/347.03 c | 209096 | 1091 103841 441767 | 2147483647 209096 65 | 0.000 % |
347.56/347.83 c | 209332 | 1091 103841 441767 | 2147483647 209332 65 | 0.000 % |
348.06/348.33 c | 209589 | 1091 103841 441767 | 2147483647 209589 65 | 0.000 % |
348.96/349.29 c | 209871 | 1091 103841 441767 | 2147483647 209871 65 | 0.000 % |
350.36/350.63 c | 210180 | 1091 103841 441767 | 2147483647 210180 65 | 0.000 % |
351.56/351.82 c | 210520 | 1091 103841 441767 | 2147483647 210520 65 | 0.000 % |
352.36/352.64 c | 210892 | 1091 103841 441767 | 2147483647 210892 65 | 0.000 % |
353.26/353.58 c | 211301 | 1091 103841 441767 | 2147483647 211301 65 | 0.000 % |
354.86/355.15 c | 211750 | 1091 103841 441767 | 2147483647 211750 65 | 0.000 % |
356.36/356.65 c | 212244 | 1091 103841 441767 | 2147483647 212244 65 | 0.000 % |
358.16/358.48 c | 212787 | 1091 103841 441767 | 2147483647 212787 65 | 0.000 % |
359.96/360.27 c | 213383 | 1091 103841 441767 | 2147483647 213383 65 | 0.000 % |
362.36/362.68 c | 214038 | 1091 103841 441767 | 2147483647 214038 65 | 0.000 % |
363.55/363.87 c | 214760 | 1091 103841 441767 | 2147483647 214760 65 | 0.000 % |
366.55/366.81 c | 215555 | 1091 103841 441767 | 2147483647 215555 65 | 0.000 % |
368.66/368.99 c | 216426 | 1091 103841 441767 | 2147483647 216426 65 | 0.000 % |
372.45/372.77 c | 217386 | 1091 103841 441767 | 2147483647 217386 65 | 0.000 % |
376.65/376.95 c | 218439 | 1091 103841 441767 | 2147483647 218439 65 | 0.000 % |
380.65/380.96 c | 219599 | 1091 103841 441767 | 2147483647 219599 65 | 0.000 % |
383.15/383.42 c | 220872 | 1091 103841 441767 | 2147483647 220872 65 | 0.000 % |
387.55/387.88 c | 222273 | 1091 103841 441767 | 2147483647 222273 65 | 0.000 % |
392.14/392.43 c | 223813 | 1091 103841 441767 | 2147483647 223813 65 | 0.000 % |
396.84/397.15 c | 225507 | 1091 103841 441767 | 2147483647 225507 65 | 0.000 % |
400.64/400.94 c | 227373 | 1091 103841 441767 | 2147483647 227373 65 | 0.000 % |
405.34/405.66 c | 229422 | 1091 103841 441767 | 2147483647 229422 65 | 0.000 % |
411.74/412.03 c | 231676 | 1091 103841 441767 | 2147483647 231676 65 | 0.000 % |
412.04/412.35 c | 231776 | 1091 103841 441767 | 2147483647 231776 65 | 0.000 % |
412.44/412.70 c | 231889 | 1091 103841 441767 | 2147483647 231889 65 | 0.000 % |
412.74/413.00 c | 232010 | 1091 103841 441767 | 2147483647 232010 65 | 0.000 % |
413.34/413.62 c | 232143 | 1091 103841 441767 | 2147483647 232143 65 | 0.000 % |
413.93/414.25 c | 232289 | 1091 103841 441767 | 2147483647 232289 65 | 0.000 % |
414.34/414.66 c | 232452 | 1091 103841 441767 | 2147483647 232452 65 | 0.000 % |
414.93/415.28 c | 232629 | 1091 103841 441767 | 2147483647 232629 65 | 0.000 % |
415.63/415.94 c | 232824 | 1091 103841 441767 | 2147483647 232824 65 | 0.000 % |
416.43/416.77 c | 233037 | 1091 103841 441767 | 2147483647 233037 65 | 0.000 % |
417.13/417.46 c | 233272 | 1091 103841 441767 | 2147483647 233272 65 | 0.000 % |
417.93/418.26 c | 233529 | 1091 103841 441767 | 2147483647 233529 65 | 0.000 % |
418.93/419.21 c | 233812 | 1091 103841 441767 | 2147483647 233812 65 | 0.000 % |
419.63/419.91 c | 234122 | 1091 103841 441767 | 2147483647 234122 65 | 0.000 % |
420.73/421.01 c | 234462 | 1091 103841 441767 | 2147483647 234462 65 | 0.000 % |
421.83/422.17 c | 234834 | 1091 103841 441767 | 2147483647 234834 65 | 0.000 % |
423.13/423.40 c | 235245 | 1091 103841 441767 | 2147483647 235245 65 | 0.000 % |
424.43/424.73 c | 235694 | 1091 103841 441767 | 2147483647 235694 65 | 0.000 % |
426.03/426.38 c | 236187 | 1091 103841 441767 | 2147483647 236187 65 | 0.000 % |
427.22/427.52 c | 236729 | 1091 103841 441767 | 2147483647 236729 65 | 0.000 % |
429.22/429.56 c | 237325 | 1091 103841 441767 | 2147483647 237325 65 | 0.000 % |
430.72/431.02 c | 237980 | 1091 103841 441767 | 2147483647 237980 65 | 0.000 % |
432.92/433.22 c | 238702 | 1091 103841 441767 | 2147483647 238702 65 | 0.000 % |
436.23/436.58 c | 239495 | 1091 103841 441767 | 2147483647 239495 65 | 0.000 % |
439.22/439.51 c | 240369 | 1091 103841 441767 | 2147483647 240369 65 | 0.000 % |
442.72/443.01 c | 241328 | 1091 103841 441767 | 2147483647 241328 64 | 0.000 % |
445.82/446.18 c | 242382 | 1091 103841 441767 | 2147483647 242382 64 | 0.000 % |
449.72/450.01 c | 243542 | 1091 103841 441767 | 2147483647 243542 64 | 0.000 % |
452.72/453.03 c | 244815 | 1091 103841 441767 | 2147483647 244815 64 | 0.000 % |
455.41/455.77 c | 246215 | 1091 103841 441767 | 2147483647 246215 64 | 0.000 % |
459.51/459.87 c | 247755 | 1091 103841 441767 | 2147483647 247755 64 | 0.000 % |
463.21/463.59 c | 249451 | 1091 103841 441767 | 2147483647 249451 64 | 0.001 % |
466.41/466.72 c | 251315 | 1091 103841 441767 | 2147483647 251315 64 | 0.000 % |
470.41/470.76 c | 253367 | 1091 103841 441767 | 2147483647 253367 64 | 0.002 % |
479.21/479.60 c | 255624 | 1091 103841 441767 | 2147483647 255624 64 | 0.000 % |
487.80/488.19 c | 258105 | 1091 103841 441767 | 2147483647 258105 64 | 0.000 % |
488.20/488.51 c | 258205 | 1091 103841 441767 | 2147483647 258205 64 | 0.000 % |
488.60/488.93 c | 258315 | 1091 103841 441767 | 2147483647 258315 64 | 0.000 % |
489.00/489.30 c | 258437 | 1091 103841 441767 | 2147483647 258437 64 | 0.000 % |
489.40/489.72 c | 258570 | 1091 103841 441767 | 2147483647 258570 64 | 0.000 % |
490.20/490.52 c | 258718 | 1091 103841 441767 | 2147483647 258718 64 | 0.000 % |
490.90/491.26 c | 258880 | 1091 103841 441767 | 2147483647 258880 64 | 0.000 % |
491.60/491.90 c | 259056 | 1091 103841 441767 | 2147483647 259056 64 | 0.000 % |
492.10/492.46 c | 259250 | 1091 103841 441767 | 2147483647 259250 64 | 0.000 % |
492.90/493.29 c | 259462 | 1091 103841 441767 | 2147483647 259462 64 | 0.000 % |
494.09/494.41 c | 259696 | 1091 103841 441767 | 2147483647 259696 64 | 0.000 % |
495.39/495.74 c | 259952 | 1091 103841 441767 | 2147483647 259952 64 | 0.000 % |
496.39/496.71 c | 260234 | 1091 103841 441767 | 2147483647 260234 64 | 0.000 % |
497.49/497.86 c | 260543 | 1091 103841 441767 | 2147483647 260543 64 | 0.000 % |
498.89/499.28 c | 260885 | 1091 103841 441767 | 2147483647 260885 64 | 0.000 % |
499.89/500.26 c | 261258 | 1091 103841 441767 | 2147483647 261258 64 | 0.000 % |
501.38/501.80 c | 261668 | 1091 103841 441767 | 2147483647 261668 64 | 0.000 % |
502.68/503.09 c | 262117 | 1091 103841 441767 | 2147483647 262117 64 | 0.000 % |
504.68/505.08 c | 262612 | 1091 103841 441767 | 2147483647 262612 64 | 0.000 % |
505.98/506.31 c | 263156 | 1091 103841 441767 | 2147483647 263156 64 | 0.000 % |
508.19/508.53 c | 263754 | 1091 103841 441767 | 2147483647 263754 64 | 0.000 % |
509.79/510.17 c | 264411 | 1091 103841 441767 | 2147483647 264411 64 | 0.000 % |
510.89/511.28 c | 265132 | 1091 103841 441767 | 2147483647 265132 65 | 0.000 % |
511.89/512.20 c | 265924 | 1091 103841 441767 | 2147483647 265924 65 | 0.000 % |
513.29/513.64 c | 266795 | 1091 103841 441767 | 2147483647 266795 65 | 0.000 % |
515.68/516.00 c | 267753 | 1091 103841 441767 | 2147483647 267753 65 | 0.000 % |
519.89/520.24 c | 268806 | 1091 103841 441767 | 2147483647 268806 65 | 0.000 % |
521.88/522.24 c | 269966 | 1091 103841 441767 | 2147483647 269966 65 | 0.000 % |
525.88/526.27 c | 271239 | 1091 103841 441767 | 270000 230574 64 | 0.000 % |
528.98/529.37 c | 272641 | 1091 103841 441767 | 270000 231976 64 | 0.000 % |
533.98/534.36 c | 274181 | 1091 103841 441767 | 270000 233516 64 | 0.000 % |
538.88/539.20 c | 275876 | 1091 103841 441767 | 270000 235211 64 | 0.000 % |
544.37/544.80 c | 277742 | 1091 103841 441767 | 270000 237077 64 | 0.000 % |
549.87/550.27 c | 279792 | 1091 103841 441767 | 270000 239127 64 | 0.001 % |
556.36/556.72 c | 282047 | 1091 103841 441767 | 2147483647 241382 64 | 0.000 % |
562.26/562.67 c | 284529 | 1091 103841 441767 | 2147483647 243864 64 | 0.000 % |
570.66/571.02 c | 287254 | 1091 103841 441767 | 2147483647 246589 64 | 0.000 % |
570.96/571.35 c | 287354 | 1091 103841 441767 | 2147483647 246689 64 | 0.000 % |
571.36/571.73 c | 287467 | 1091 103841 441767 | 2147483647 246802 64 | 0.000 % |
571.76/572.15 c | 287588 | 1091 103841 441767 | 2147483647 246923 64 | 0.000 % |
572.36/572.73 c | 287722 | 1091 103841 441767 | 2147483647 247057 64 | 0.000 % |
572.66/573.06 c | 287870 | 1091 103841 441767 | 2147483647 247205 64 | 0.000 % |
573.16/573.55 c | 288030 | 1091 103841 441767 | 2147483647 247365 64 | 0.000 % |
573.76/574.15 c | 288206 | 1091 103841 441767 | 2147483647 247541 64 | 0.000 % |
574.56/574.90 c | 288402 | 1091 103841 441767 | 2147483647 247737 64 | 0.000 % |
575.06/575.46 c | 288615 | 1091 103841 441767 | 2147483647 247950 64 | 0.000 % |
575.76/576.11 c | 288848 | 1091 103841 441767 | 2147483647 248183 64 | 0.000 % |
576.56/576.95 c | 289104 | 1091 103841 441767 | 2147483647 248439 64 | 0.000 % |
577.36/577.77 c | 289386 | 1091 103841 441767 | 2147483647 248721 64 | 0.000 % |
578.46/578.80 c | 289700 | 1091 103841 441767 | 2147483647 249035 64 | 0.000 % |
579.46/579.80 c | 290040 | 1091 103841 441767 | 2147483647 249375 64 | 0.000 % |
580.25/580.67 c | 290412 | 1091 103841 441767 | 2147483647 249747 64 | 0.000 % |
581.46/581.85 c | 290821 | 1091 103841 441767 | 2147483647 250156 64 | 0.000 % |
583.25/583.60 c | 291270 | 1091 103841 441767 | 2147483647 250605 64 | 0.000 % |
584.35/584.72 c | 291763 | 1091 103841 441767 | 2147483647 251098 64 | 0.000 % |
585.65/586.07 c | 292306 | 1091 103841 441767 | 2147483647 251641 64 | 0.000 % |
587.55/587.97 c | 292902 | 1091 103841 441767 | 2147483647 252237 64 | 0.000 % |
589.05/589.43 c | 293559 | 1091 103841 441767 | 2147483647 252894 64 | 0.000 % |
591.94/592.38 c | 294279 | 1091 103841 441767 | 2147483647 253614 64 | 0.000 % |
594.24/594.60 c | 295073 | 1091 103841 441767 | 2147483647 254408 64 | 0.000 % |
597.14/597.55 c | 295945 | 1091 103841 441767 | 2147483647 255280 64 | 0.000 % |
600.44/600.89 c | 296903 | 1091 103841 441767 | 2147483647 256238 64 | 0.000 % |
603.45/603.85 c | 297956 | 1091 103841 441767 | 2147483647 257291 64 | 0.000 % |
607.04/607.49 c | 299115 | 1091 103841 441767 | 2147483647 258450 64 | 0.000 % |
610.64/611.08 c | 300388 | 1091 103841 441767 | 2147483647 259723 64 | 0.000 % |
614.54/614.96 c | 301788 | 1091 103841 441767 | 2147483647 261123 64 | 0.000 % |
618.74/619.20 c | 303328 | 1091 103841 441767 | 2147483647 262663 63 | 0.000 % |
622.64/623.01 c | 305023 | 1091 103841 441767 | 2147483647 264358 63 | 0.000 % |
628.33/628.72 c | 306887 | 1091 103841 441767 | 2147483647 266222 63 | 0.000 % |
634.43/634.87 c | 308941 | 1091 103841 441767 | 2147483647 268276 63 | 0.000 % |
639.22/639.65 c | 311196 | 1091 103841 441767 | 2147483647 270531 63 | 0.000 % |
644.23/644.63 c | 313675 | 1091 103841 441767 | 2147483647 273010 63 | 0.000 % |
652.22/652.67 c | 316402 | 1091 103841 441767 | 2147483647 275737 63 | 0.001 % |
661.42/661.85 c | 319399 | 1091 103841 441767 | 2147483647 278734 63 | 0.000 % |
661.73/662.15 c | 319500 | 1091 103841 441767 | 2147483647 278835 63 | 0.000 % |
662.12/662.56 c | 319611 | 1091 103841 441767 | 2147483647 278946 63 | 0.000 % |
662.52/662.97 c | 319733 | 1091 103841 441767 | 2147483647 279068 63 | 0.000 % |
662.93/663.31 c | 319867 | 1091 103841 441767 | 2147483647 279202 63 | 0.000 % |
663.52/663.93 c | 320013 | 1091 103841 441767 | 2147483647 279348 63 | 0.000 % |
664.22/664.65 c | 320175 | 1091 103841 441767 | 2147483647 279510 63 | 0.000 % |
664.52/664.99 c | 320355 | 1091 103841 441767 | 2147483647 279690 63 | 0.000 % |
664.92/665.32 c | 320549 | 1091 103841 441767 | 2147483647 279884 63 | 0.000 % |
665.52/665.96 c | 320763 | 1091 103841 441767 | 2147483647 280098 63 | 0.000 % |
666.22/666.66 c | 320997 | 1091 103841 441767 | 2147483647 280332 63 | 0.000 % |
667.22/667.68 c | 321256 | 1091 103841 441767 | 2147483647 280591 63 | 0.000 % |
668.02/668.46 c | 321538 | 1091 103841 441767 | 2147483647 280873 63 | 0.000 % |
669.12/669.52 c | 321847 | 1091 103841 441767 | 2147483647 281182 63 | 0.000 % |
669.72/670.15 c | 322187 | 1091 103841 441767 | 2147483647 281522 63 | 0.000 % |
670.92/671.39 c | 322561 | 1091 103841 441767 | 2147483647 281896 63 | 0.000 % |
671.92/672.35 c | 322970 | 1091 103841 441767 | 2147483647 282305 63 | 0.000 % |
673.42/673.87 c | 323420 | 1091 103841 441767 | 2147483647 282755 63 | 0.000 % |
674.62/675.00 c | 323914 | 1091 103841 441767 | 2147483647 283249 63 | 0.000 % |
676.62/677.04 c | 324460 | 1091 103841 441767 | 2147483647 283795 63 | 0.000 % |
677.92/678.34 c | 325056 | 1091 103841 441767 | 2147483647 284391 63 | 0.000 % |
679.21/679.69 c | 325711 | 1091 103841 441767 | 2147483647 285046 63 | 0.000 % |
681.80/682.25 c | 326431 | 1091 103841 441767 | 2147483647 285766 63 | 0.000 % |
684.10/684.50 c | 327223 | 1091 103841 441767 | 2147483647 286558 63 | 0.000 % |
686.40/686.87 c | 328095 | 1091 103841 441767 | 2147483647 287430 63 | 0.000 % |
690.80/691.24 c | 329053 | 1091 103841 441767 | 2147483647 288388 63 | 0.000 % |
694.19/694.68 c | 330106 | 1091 103841 441767 | 2147483647 289441 63 | 0.000 % |
698.70/699.13 c | 331264 | 1091 103841 441767 | 2147483647 290599 63 | 0.000 % |
702.70/703.17 c | 332538 | 1091 103841 441767 | 2147483647 291873 63 | 0.000 % |
706.70/707.11 c | 333938 | 1091 103841 441767 | 2147483647 293273 63 | 0.000 % |
712.40/712.85 c | 335478 | 1091 103841 441767 | 2147483647 294813 63 | 0.000 % |
718.69/719.13 c | 337174 | 1091 103841 441767 | 2147483647 296509 63 | 0.000 % |
724.58/725.08 c | 339037 | 1091 103841 441767 | 2147483647 298372 63 | 0.000 % |
731.38/731.85 c | 341086 | 1091 103841 441767 | 2147483647 300421 63 | 0.000 % |
739.28/739.75 c | 343340 | 1091 103841 441767 | 2147483647 302675 64 | 0.000 % |
744.68/745.10 c | 345819 | 1091 103841 441767 | 2147483647 305154 64 | 0.000 % |
754.57/755.06 c | 348544 | 1091 103841 441767 | 2147483647 307879 64 | 0.000 % |
765.37/765.88 c | 351541 | 1091 103841 441767 | 2147483647 310876 64 | 0.000 % |
776.57/777.08 c | 354839 | 1091 103841 441767 | 2147483647 314174 64 | 0.000 % |
776.97/777.43 c | 354939 | 1091 103841 441767 | 2147483647 314274 64 | 0.000 % |
777.36/777.88 c | 355049 | 1091 103841 441767 | 2147483647 314384 64 | 0.000 % |
778.06/778.51 c | 355171 | 1091 103841 441767 | 2147483647 314506 64 | 0.000 % |
778.66/779.18 c | 355304 | 1091 103841 441767 | 2147483647 314639 64 | 0.000 % |
779.26/779.70 c | 355451 | 1091 103841 441767 | 2147483647 314786 64 | 0.000 % |
779.96/780.45 c | 355611 | 1091 103841 441767 | 2147483647 314946 64 | 0.000 % |
780.57/781.09 c | 355788 | 1091 103841 441767 | 2147483647 315123 64 | 0.000 % |
781.36/781.80 c | 355981 | 1091 103841 441767 | 2147483647 315316 64 | 0.000 % |
782.26/782.78 c | 356193 | 1091 103841 441767 | 2147483647 315528 64 | 0.000 % |
783.26/783.77 c | 356427 | 1091 103841 441767 | 2147483647 315762 64 | 0.000 % |
784.46/784.90 c | 356685 | 1091 103841 441767 | 2147483647 316020 64 | 0.000 % |
785.46/785.94 c | 356966 | 1091 103841 441767 | 2147483647 316301 64 | 0.000 % |
786.66/787.20 c | 357276 | 1091 103841 441767 | 2147483647 316611 64 | 0.000 % |
787.96/788.44 c | 357618 | 1091 103841 441767 | 2147483647 316953 64 | 0.000 % |
789.56/790.04 c | 357990 | 1091 103841 441767 | 2147483647 317325 64 | 0.000 % |
791.26/791.79 c | 358400 | 1091 103841 441767 | 2147483647 317735 64 | 0.000 % |
792.86/793.37 c | 358850 | 1091 103841 441767 | 2147483647 318185 64 | 0.000 % |
794.76/795.27 c | 359343 | 1091 103841 441767 | 2147483647 318678 64 | 0.000 % |
796.75/797.25 c | 359885 | 1091 103841 441767 | 2147483647 319220 64 | 0.000 % |
798.75/799.25 c | 360481 | 1091 103841 441767 | 2147483647 319816 64 | 0.000 % |
800.45/800.93 c | 361138 | 1091 103841 441767 | 2147483647 320473 64 | 0.000 % |
802.95/803.44 c | 361863 | 1091 103841 441767 | 2147483647 321198 63 | 0.000 % |
805.45/805.92 c | 362657 | 1091 103841 441767 | 2147483647 321992 63 | 0.000 % |
808.65/809.13 c | 363529 | 1091 103841 441767 | 2147483647 322864 63 | 0.000 % |
812.16/812.68 c | 364489 | 1091 103841 441767 | 2147483647 323824 63 | 0.000 % |
816.55/817.00 c | 365542 | 1091 103841 441767 | 2147483647 324877 63 | 0.000 % |
819.25/819.77 c | 366702 | 1091 103841 441767 | 2147483647 326037 64 | 0.000 % |
822.74/823.22 c | 367977 | 1091 103841 441767 | 2147483647 327312 64 | 0.000 % |
826.74/827.27 c | 369377 | 1091 103841 441767 | 2147483647 328712 64 | 0.000 % |
833.14/833.62 c | 370918 | 1091 103841 441767 | 2147483647 330253 64 | 0.000 % |
838.74/839.28 c | 372613 | 1091 103841 441767 | 2147483647 331948 63 | 0.000 % |
845.24/845.79 c | 374476 | 1091 103841 441767 | 2147483647 333811 63 | 0.000 % |
852.53/853.08 c | 376527 | 1091 103841 441767 | 2147483647 335862 63 | 0.000 % |
859.63/860.17 c | 378780 | 1091 103841 441767 | 2147483647 338115 64 | 0.000 % |
867.42/867.91 c | 381259 | 1091 103841 441767 | 2147483647 340594 64 | 0.000 % |
876.81/877.37 c | 383984 | 1091 103841 441767 | 2147483647 343319 64 | 0.000 % |
886.31/886.89 c | 386982 | 1091 103841 441767 | 2147483647 346317 64 | 0.000 % |
893.31/893.86 c | 390279 | 1091 103841 441767 | 349337 349614 64 | 0.000 % |
904.40/904.95 c | 393904 | 1091 103841 441767 | 349337 312524 64 | 0.000 % |
904.60/905.19 c | 394006 | 1091 103841 441767 | 349337 312626 64 | 0.000 % |
905.20/905.73 c | 394116 | 1091 103841 441767 | 349337 312736 64 | 0.000 % |
905.60/906.16 c | 394237 | 1091 103841 441767 | 349337 312857 64 | 0.000 % |
906.00/906.50 c | 394372 | 1091 103841 441767 | 349337 312992 64 | 0.000 % |
906.60/907.18 c | 394518 | 1091 103841 441767 | 349337 313138 64 | 0.000 % |
907.50/908.00 c | 394678 | 1091 103841 441767 | 349337 313298 64 | 0.000 % |
908.00/908.52 c | 394854 | 1091 103841 441767 | 349337 313474 64 | 0.000 % |
908.80/909.40 c | 395047 | 1091 103841 441767 | 349337 313667 64 | 0.000 % |
909.49/910.01 c | 395259 | 1091 103841 441767 | 349337 313879 64 | 0.000 % |
910.30/910.81 c | 395492 | 1091 103841 441767 | 349337 314112 64 | 0.000 % |
911.30/911.87 c | 395748 | 1091 103841 441767 | 349337 314368 64 | 0.000 % |
912.19/912.79 c | 396031 | 1091 103841 441767 | 349337 314651 64 | 0.000 % |
913.19/913.79 c | 396341 | 1091 103841 441767 | 349337 314961 64 | 0.000 % |
914.60/915.10 c | 396681 | 1091 103841 441767 | 349337 315301 64 | 0.000 % |
915.29/915.85 c | 397055 | 1091 103841 441767 | 349337 315675 64 | 0.000 % |
916.69/917.30 c | 397464 | 1091 103841 441767 | 349337 316084 64 | 0.000 % |
918.89/919.45 c | 397913 | 1091 103841 441767 | 349337 316533 64 | 0.000 % |
920.39/920.93 c | 398406 | 1091 103841 441767 | 349337 317026 64 | 0.000 % |
922.39/922.96 c | 398948 | 1091 103841 441767 | 349337 317568 64 | 0.000 % |
924.99/925.54 c | 399545 | 1091 103841 441767 | 349337 318165 64 | 0.000 % |
926.69/927.22 c | 400202 | 1091 103841 441767 | 318621 318822 64 | 0.000 % |
930.68/931.26 c | 400923 | 1091 103841 441767 | 318621 274171 64 | 0.000 % |
933.18/933.78 c | 401715 | 1091 103841 441767 | 318621 274963 64 | 0.000 % |
935.99/936.50 c | 402588 | 1091 103841 441767 | 318621 275836 64 | 0.000 % |
938.89/939.47 c | 403546 | 1091 103841 441767 | 318621 276794 64 | 0.000 % |
942.59/943.19 c | 404600 | 1091 103841 441767 | 318621 277848 64 | 0.000 % |
946.79/947.32 c | 405761 | 1091 103841 441767 | 318621 279009 64 | 0.000 % |
950.78/951.35 c | 407034 | 1091 103841 441767 | 318621 280282 64 | 0.000 % |
954.98/955.57 c | 408434 | 1091 103841 441767 | 318621 281682 64 | 0.000 % |
958.98/959.50 c | 409974 | 1091 103841 441767 | 318621 283222 65 | 0.000 % |
964.78/965.36 c | 411673 | 1091 103841 441767 | 2147483647 284921 64 | 0.000 % |
970.27/970.83 c | 413537 | 1091 103841 441767 | 2147483647 286785 64 | 0.000 % |
975.87/976.45 c | 415587 | 1091 103841 441767 | 2147483647 288835 64 | 0.000 % |
982.87/983.43 c | 417841 | 1091 103841 441767 | 2147483647 291089 64 | 0.000 % |
989.87/990.44 c | 420321 | 1091 103841 441767 | 2147483647 293569 65 | 0.000 % |
996.16/996.71 c | 423046 | 1091 103841 441767 | 2147483647 296294 65 | 0.000 % |
1003.06/1003.66 c | 426043 | 1091 103841 441767 | 2147483647 299291 65 | 0.000 % |
1010.16/1010.76 c | 429341 | 1091 103841 441767 | 2147483647 302589 65 | 0.000 % |
1021.36/1021.90 c | 432968 | 1091 103841 441767 | 2147483647 306216 65 | 0.000 % |
1034.15/1034.74 c | 436955 | 1091 103841 441767 | 2147483647 310203 65 | 0.000 % |
1034.55/1035.13 c | 437057 | 1091 103841 441767 | 2147483647 310305 65 | 0.000 % |
1035.05/1035.63 c | 437168 | 1091 103841 441767 | 2147483647 310416 65 | 0.000 % |
1035.45/1036.08 c | 437289 | 1091 103841 441767 | 2147483647 310537 65 | 0.000 % |
1035.95/1036.52 c | 437424 | 1091 103841 441767 | 2147483647 310672 65 | 0.000 % |
1036.35/1036.95 c | 437571 | 1091 103841 441767 | 2147483647 310819 65 | 0.000 % |
1037.15/1037.73 c | 437731 | 1091 103841 441767 | 2147483647 310979 65 | 0.000 % |
1037.85/1038.41 c | 437910 | 1091 103841 441767 | 2147483647 311158 65 | 0.000 % |
1038.54/1039.10 c | 438103 | 1091 103841 441767 | 2147483647 311351 65 | 0.000 % |
1039.14/1039.75 c | 438316 | 1091 103841 441767 | 2147483647 311564 65 | 0.000 % |
1040.04/1040.61 c | 438549 | 1091 103841 441767 | 2147483647 311797 65 | 0.000 % |
1041.24/1041.81 c | 438811 | 1091 103841 441767 | 2147483647 312059 65 | 0.000 % |
1042.24/1042.83 c | 439092 | 1091 103841 441767 | 2147483647 312340 65 | 0.000 % |
1043.64/1044.21 c | 439402 | 1091 103841 441767 | 2147483647 312650 65 | 0.000 % |
1044.44/1045.06 c | 439741 | 1091 103841 441767 | 2147483647 312989 65 | 0.000 % |
1045.64/1046.29 c | 440113 | 1091 103841 441767 | 2147483647 313361 65 | 0.000 % |
1047.44/1048.04 c | 440522 | 1091 103841 441767 | 2147483647 313770 65 | 0.000 % |
1049.44/1050.02 c | 440972 | 1091 103841 441767 | 2147483647 314220 65 | 0.000 % |
1050.44/1051.08 c | 441465 | 1091 103841 441767 | 2147483647 314713 65 | 0.000 % |
1052.54/1053.13 c | 442010 | 1091 103841 441767 | 2147483647 315258 65 | 0.000 % |
1054.43/1055.09 c | 442609 | 1091 103841 441767 | 2147483647 315857 65 | 0.000 % |
1056.33/1056.97 c | 443265 | 1091 103841 441767 | 2147483647 316513 65 | 0.000 % |
1058.53/1059.17 c | 443985 | 1091 103841 441767 | 2147483647 317233 65 | 0.000 % |
1061.23/1061.85 c | 444777 | 1091 103841 441767 | 2147483647 318025 65 | 0.000 % |
1064.13/1064.75 c | 445649 | 1091 103841 441767 | 2147483647 318897 65 | 0.000 % |
1066.73/1067.35 c | 446610 | 1091 103841 441767 | 2147483647 319858 65 | 0.000 % |
1069.03/1069.64 c | 447664 | 1091 103841 441767 | 2147483647 320912 65 | 0.000 % |
1073.03/1073.66 c | 448823 | 1091 103841 441767 | 2147483647 322071 65 | 0.000 % |
1078.13/1078.77 c | 450096 | 1091 103841 441767 | 2147483647 323344 65 | 0.000 % |
1084.02/1084.62 c | 451498 | 1091 103841 441767 | 2147483647 324746 65 | 0.000 % |
1088.52/1089.13 c | 453038 | 1091 103841 441767 | 2147483647 326286 65 | 0.000 % |
1094.62/1095.29 c | 454733 | 1091 103841 441767 | 2147483647 327981 65 | 0.000 % |
1101.32/1101.96 c | 456597 | 1091 103841 441767 | 2147483647 329845 65 | 0.000 % |
1107.61/1108.25 c | 458648 | 1091 103841 441767 | 2147483647 331896 65 | 0.000 % |
1115.11/1115.78 c | 460902 | 1091 103841 441767 | 333248 277547 65 | 0.000 % |
1121.31/1121.93 c | 463380 | 1091 103841 441767 | 333248 280025 65 | 0.000 % |
1127.71/1128.34 c | 466105 | 1091 103841 441767 | 333248 282750 66 | 0.000 % |
1135.10/1135.74 c | 469105 | 1091 103841 441767 | 333248 285750 66 | 0.000 % |
1143.50/1144.11 c | 472401 | 1091 103841 441767 | 286647 214982 66 | 0.000 % |
1151.00/1151.63 c | 476027 | 1091 103841 441767 | 286647 218608 66 | 0.000 % |
1161.99/1162.66 c | 480014 | 1091 103841 441767 | 222586 222595 66 | 0.000 % |
1170.29/1170.99 c | 484400 | 1091 103841 441767 | 222586 193976 68 | 0.000 % |
1170.59/1171.27 c | 484501 | 1091 103841 441767 | 222586 194077 68 | 0.000 % |
1171.09/1171.73 c | 484613 | 1091 103841 441767 | 222586 194189 68 | 0.000 % |
1171.49/1172.10 c | 484735 | 1091 103841 441767 | 222586 194311 68 | 0.000 % |
1171.89/1172.50 c | 484868 | 1091 103841 441767 | 222586 194444 68 | 0.000 % |
1172.29/1172.93 c | 485016 | 1091 103841 441767 | 222586 194592 68 | 0.000 % |
1172.79/1173.44 c | 485176 | 1091 103841 441767 | 222586 194752 68 | 0.000 % |
1173.18/1173.89 c | 485352 | 1091 103841 441767 | 222586 194928 68 | 0.000 % |
1173.68/1174.35 c | 485548 | 1091 103841 441767 | 222586 195124 68 | 0.000 % |
1173.98/1174.69 c | 485761 | 1091 103841 441767 | 222586 195337 68 | 0.000 % |
1174.48/1175.17 c | 485995 | 1091 103841 441767 | 222586 195571 68 | 0.000 % |
1175.28/1175.99 c | 486251 | 1091 103841 441767 | 222586 195827 68 | 0.000 % |
1176.18/1176.83 c | 486540 | 1091 103841 441767 | 222586 196116 68 | 0.000 % |
1176.68/1177.38 c | 486849 | 1091 103841 441767 | 222586 196425 68 | 0.000 % |
1177.48/1178.18 c | 487188 | 1091 103841 441767 | 222586 196764 68 | 0.000 % |
1178.38/1179.10 c | 487561 | 1091 103841 441767 | 222586 197137 68 | 0.000 % |
1179.28/1179.92 c | 487970 | 1091 103841 441767 | 222586 197546 68 | 0.000 % |
1180.28/1180.93 c | 488420 | 1091 103841 441767 | 222586 197996 68 | 0.000 % |
1181.18/1181.80 c | 488913 | 1091 103841 441767 | 222586 198489 68 | 0.000 % |
1182.47/1183.14 c | 489455 | 1091 103841 441767 | 222586 199031 68 | 0.000 % |
1183.87/1184.54 c | 490051 | 1091 103841 441767 | 2147483647 199627 68 | 0.000 % |
1185.47/1186.12 c | 490707 | 1091 103841 441767 | 2147483647 200283 68 | 0.000 % |
1186.77/1187.45 c | 491427 | 1091 103841 441767 | 2147483647 201003 68 | 0.000 % |
1188.97/1189.69 c | 492219 | 1091 103841 441767 | 2147483647 201795 68 | 0.000 % |
1191.07/1191.78 c | 493091 | 1091 103841 441767 | 2147483647 202667 68 | 0.000 % |
1193.57/1194.21 c | 494049 | 1091 103841 441767 | 2147483647 203625 68 | 0.000 % |
1196.77/1197.48 c | 495107 | 1091 103841 441767 | 2147483647 204683 68 | 0.000 % |
1199.27/1199.94 c | 496265 | 1091 103841 441767 | 2147483647 205841 68 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833911-1242826077/watcher-1833911-1242826077 -o /tmp/evaluation-result-1833911-1242826077/solver-1833911-1242826077 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833911-1242826077.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 3547
/proc/meminfo: memFree=1721344/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310637387 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 214945202258 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3547/statm: 1339 235 195 169 0 50 0
[pid=3548] ppid=3547 vsize=5356 CPUtime=0
/proc/3548/stat : 3548 (SatELiteGTI) S 3547 3547 3335 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310637387 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/3548/statm: 1339 238 198 169 0 50 0
[pid=3550] ppid=3548 vsize=2584 CPUtime=0
/proc/3550/stat : 3550 (sed) R 3548 3547 3335 0 -1 4194304 131 0 0 0 0 0 0 0 21 0 1 0 310637388 2646016 104 1992294400 4194304 4240196 548682069056 18446744073709551615 214945079932 0 0 4096 0 0 0 0 17 0 0 0
/proc/3550/statm: 651 118 95 11 0 55 0
[startup+0.023382 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 3547
/proc/meminfo: memFree=1721344/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637387 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3547/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101393 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 3547
/proc/meminfo: memFree=1721344/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637387 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3547/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301417 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 3547
/proc/meminfo: memFree=1721344/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637387 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3547/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701457 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 3547
/proc/meminfo: memFree=1721344/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310637387 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3547/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50154 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1712368/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=7820 CPUtime=0.65
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 1819 0 0 0 64 1 0 0 23 0 1 0 310637471 8007680 1805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 1955 1805 77 171 0 1782 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13176
[startup+3.10172 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1710640/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=9292 CPUtime=2.25
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 2193 0 0 0 223 2 0 0 25 0 1 0 310637471 9515008 2179 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 2323 2179 77 171 0 2150 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 14648
[startup+6.30108 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1707888/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=11964 CPUtime=5.44
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 2839 0 0 0 542 2 0 0 25 0 1 0 310637471 12251136 2825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 2991 2825 77 171 0 2818 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17320
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1704176/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=15380 CPUtime=11.83
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 3713 0 0 0 1180 3 0 0 25 0 1 0 310637471 15749120 3699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 3845 3699 77 171 0 3672 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20736
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1698800/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=20628 CPUtime=24.61
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 5015 0 0 0 2456 5 0 0 25 0 1 0 310637471 21123072 5001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 5157 5001 77 171 0 4984 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 25984
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1691120/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=28484 CPUtime=50.19
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 6944 0 0 0 5012 7 0 0 25 0 1 0 310637471 29167616 6930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 7121 6930 77 171 0 6948 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 33840
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1680880/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=38756 CPUtime=101.35
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 9451 0 0 0 10125 10 0 0 25 0 1 0 310637471 39686144 9437 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 9689 9437 77 171 0 9516 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 44112
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1670896/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=48836 CPUtime=161.32
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 11937 0 0 0 16119 13 0 0 25 0 1 0 310637471 50008064 11923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 12209 11923 77 171 0 12036 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 54192
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1663216/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=56624 CPUtime=221.3
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 13825 0 0 0 22114 16 0 0 25 0 1 0 310637471 57982976 13811 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 14156 13811 77 171 0 13983 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 61980
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 3553
/proc/meminfo: memFree=1655728/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=64284 CPUtime=281.27
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 15741 0 0 0 28108 19 0 0 25 0 1 0 310637471 65826816 15727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 16071 15727 77 171 0 15898 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 69640
[startup+342.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1647600/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=72520 CPUtime=341.23
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 17721 0 0 0 34102 21 0 0 25 0 1 0 310637471 74260480 17707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 18130 17707 77 171 0 17957 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 77876
[startup+402.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1641520/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=78552 CPUtime=401.21
################
# More data... #
################
/proc/3553/statm: 22866 22432 77 171 0 22693 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 96820
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1628464/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=91464 CPUtime=641.1
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 22455 0 0 0 64084 26 0 0 25 0 1 0 310637471 93659136 22441 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 22866 22441 77 171 0 22693 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 96820
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1623152/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=96836 CPUtime=701.07
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 23790 0 0 0 70079 28 0 0 25 0 1 0 310637471 99160064 23776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 24209 23776 77 171 0 24036 0
Current children cumulated CPU time (s) 701.9
Current children cumulated vsize (KiB) 102192
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1616944/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=102872 CPUtime=761.04
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 25296 0 0 0 76075 29 0 0 25 0 1 0 310637471 105340928 25282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 25718 25282 77 171 0 25545 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 108228
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1612528/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=108200 CPUtime=821.01
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 26451 0 0 0 82070 31 0 0 25 0 1 0 310637471 110796800 26437 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 27050 26437 77 171 0 26877 0
Current children cumulated CPU time (s) 821.84
Current children cumulated vsize (KiB) 113556
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1606768/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=113708 CPUtime=880.98
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 27847 0 0 0 88066 32 0 0 25 0 1 0 310637471 116436992 27833 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 28427 27833 77 171 0 28254 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 119064
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3553
/proc/meminfo: memFree=1605296/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=115184 CPUtime=940.96
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 28218 0 0 0 94063 33 0 0 25 0 1 0 310637471 117948416 28204 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 28796 28204 77 171 0 28623 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 120540
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3555
/proc/meminfo: memFree=1605040/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=115304 CPUtime=1000.93
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 28251 0 0 0 100060 33 0 0 25 0 1 0 310637471 118071296 28237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 28826 28237 77 171 0 28653 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 120660
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3555
/proc/meminfo: memFree=1604912/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=115612 CPUtime=1060.9
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 28300 0 0 0 106057 33 0 0 25 0 1 0 310637471 118386688 28286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 28903 28286 77 171 0 28730 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 120968
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3555
/proc/meminfo: memFree=1604400/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=116120 CPUtime=1120.88
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 28413 0 0 0 112055 33 0 0 25 0 1 0 310637471 118906880 28399 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 29030 28399 77 171 0 28857 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 121476
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3555
/proc/meminfo: memFree=1604336/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=116120 CPUtime=1180.84
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 28417 0 0 0 118051 33 0 0 25 0 1 0 310637471 118906880 28403 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 29030 28403 77 171 0 28857 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 121476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3555
/proc/meminfo: memFree=1604336/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=116120 CPUtime=1199.24
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 28420 0 0 0 119891 33 0 0 25 0 1 0 310637471 118906880 28406 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 29030 28406 77 171 0 28857 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 121476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3555
/proc/meminfo: memFree=1604336/2055920 swapFree=4131180/4192956
[pid=3547] ppid=3545 vsize=5356 CPUtime=0.83
/proc/3547/stat : 3547 (SatELiteGTI) S 3545 3547 3335 0 -1 4194304 336 2970 0 0 0 0 81 2 16 0 1 0 310637387 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3547/statm: 1339 239 197 169 0 50 0
[pid=3553] ppid=3547 vsize=116120 CPUtime=1199.24
/proc/3553/stat : 3553 (minisat_static) R 3547 3547 3335 0 -1 4194304 28420 0 0 0 119891 33 0 0 25 0 1 0 310637471 118906880 28406 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3553/statm: 29030 28406 77 171 0 28857 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 121476
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3547 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=813876
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=27995
# CPU time returned by wait4() is 0.841871
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.07
CPU user time (s): 1199.72
CPU system time (s): 0.35
CPU usage (%): 99.9464
Max. virtual memory (cumulated for all children) (KiB): 121476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.813876
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3306
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 28
runsolver used 1.3018 second user time and 3.16752 second system time
The end
Begin job on node85 at 2009-05-20 15:27:57
IDJOB=1833911
IDBENCH=71064
IDSOLVER=671
FILE ID=node85/1833911-1242826077
PBS_JOBID= 9322486
Free space on /tmp= 126508 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833911-1242826077/watcher-1833911-1242826077 -o /tmp/evaluation-result-1833911-1242826077/solver-1833911-1242826077 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833911-1242826077.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b02fa517730e45c506203f9bd7ebb62c
RANDOM SEED=341708119
node85.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: 1721888 kB
Buffers: 52092 kB
Cached: 178368 kB
SwapCached: 56432 kB
Active: 50052 kB
Inactive: 238936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1721888 kB
SwapTotal: 4192956 kB
SwapFree: 4131180 kB
Dirty: 3220 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 31068 kB
Committed_AS: 962784 kB
PageTables: 1376 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= 126504 MiB
End job on node85 at 2009-05-20 15:48:00