0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25200 75600 | 7559 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 25017 76050 | -- 0 -- -- | -- | -183/450
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 5841 #clauses: 25017 #literals: 76050
0.00/0.08 c CPU time: 0.077988 s
0.00/0.08 c ==============================================================================
0.00/0.11 c This is MiniSat 2.0 beta
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c ============================[ Problem Statistics ]=============================
0.00/0.11 c | |
0.00/0.11 c | Number of variables: 5841 |
0.00/0.11 c | Number of clauses: 25017 |
0.00/0.13 c | Parsing time: 0.02 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 5841 25017 76050 | 8339 0 nan | 0.000 % |
0.00/0.15 c | 100 | 5841 25017 76050 | 8339 100 105 | 0.000 % |
0.00/0.17 c | 203 | 5841 25017 76050 | 8339 203 115 | 0.000 % |
0.00/0.19 c | 304 | 5841 25017 76050 | 8339 304 117 | 0.000 % |
0.10/0.20 c | 416 | 5841 25017 76050 | 8339 416 117 | 0.000 % |
0.10/0.22 c | 519 | 5841 25017 76050 | 8339 519 128 | 0.000 % |
0.10/0.24 c | 629 | 5841 25017 76050 | 8339 629 131 | 0.000 % |
0.10/0.26 c | 750 | 5841 25017 76050 | 8339 750 124 | 0.000 % |
0.10/0.28 c | 850 | 5841 25017 76050 | 8339 850 124 | 0.000 % |
0.10/0.30 c | 962 | 5841 25017 76050 | 8339 962 123 | 0.000 % |
0.10/0.32 c | 1083 | 5841 25017 76050 | 8339 1083 122 | 0.000 % |
0.10/0.34 c | 1217 | 5841 25017 76050 | 8339 1217 121 | 0.000 % |
0.10/0.36 c | 1319 | 5841 25017 76050 | 8339 1319 121 | 0.000 % |
0.10/0.38 c | 1430 | 5841 25017 76050 | 8339 1430 120 | 0.000 % |
0.10/0.40 c | 1553 | 5841 25017 76050 | 8339 1553 119 | 0.000 % |
0.10/0.42 c | 1687 | 5841 25017 76050 | 8339 1687 117 | 0.000 % |
0.10/0.45 c | 1834 | 5841 25017 76050 | 8339 1834 117 | 0.000 % |
0.10/0.47 c | 1935 | 5841 25017 76050 | 8339 1935 117 | 0.000 % |
0.10/0.48 c | 2045 | 5841 25017 76050 | 8339 2045 117 | 0.000 % |
0.10/0.51 c | 2167 | 5841 25017 76050 | 8339 2167 119 | 0.000 % |
0.10/0.53 c | 2300 | 5841 25017 76050 | 8339 2300 119 | 0.000 % |
0.10/0.56 c | 2448 | 5841 25017 76050 | 8339 2448 119 | 0.000 % |
0.10/0.58 c | 2608 | 5841 25017 76050 | 8339 2608 118 | 0.000 % |
0.10/0.60 c | 2708 | 5841 25017 76050 | 8339 2708 117 | 0.000 % |
0.10/0.62 c | 2818 | 5841 25017 76050 | 8339 2818 117 | 0.000 % |
0.10/0.64 c | 2939 | 5841 25017 76050 | 8339 2939 116 | 0.000 % |
0.10/0.67 c | 3073 | 5841 25017 76050 | 8339 3073 115 | 0.000 % |
0.10/0.70 c | 3220 | 5841 25017 76050 | 8339 3220 116 | 0.000 % |
0.10/0.73 c | 3381 | 5841 25017 76050 | 8339 3381 117 | 0.000 % |
0.10/0.76 c | 3557 | 5841 25017 76050 | 8339 3557 119 | 0.000 % |
0.10/0.78 c | 3658 | 5841 25017 76050 | 8339 3658 119 | 0.000 % |
0.10/0.80 c | 3768 | 5841 25017 76050 | 8339 3768 118 | 0.000 % |
0.10/0.83 c | 3890 | 5841 25017 76050 | 8339 3890 118 | 0.000 % |
0.10/0.86 c | 4024 | 5841 25017 76050 | 8339 4024 118 | 0.000 % |
0.10/0.89 c | 4171 | 5841 25017 76050 | 8339 4171 118 | 0.000 % |
0.10/0.92 c | 4332 | 5841 25017 76050 | 8339 4332 118 | 0.000 % |
0.10/0.96 c | 4509 | 5841 25017 76050 | 8339 4509 118 | 0.000 % |
0.10/1.00 c | 4702 | 5841 25017 76050 | 8339 4702 119 | 0.000 % |
0.10/1.02 c | 4802 | 5841 25017 76050 | 8339 4802 118 | 0.000 % |
0.10/1.04 c | 4913 | 5841 25017 76050 | 8339 4913 118 | 0.000 % |
0.10/1.07 c | 5037 | 5841 25017 76050 | 8339 5037 118 | 0.000 % |
1.07/1.10 c | 5170 | 5841 25017 76050 | 8339 5170 119 | 0.000 % |
1.07/1.13 c | 5317 | 5841 25017 76050 | 8339 5317 119 | 0.000 % |
1.07/1.16 c | 5478 | 5841 25017 76050 | 8339 5478 119 | 0.000 % |
1.17/1.20 c | 5654 | 5841 25017 76050 | 8339 5654 119 | 0.000 % |
1.17/1.24 c | 5847 | 5841 25017 76050 | 8339 5847 119 | 0.000 % |
1.17/1.29 c | 6061 | 5841 25017 76050 | 8339 6061 118 | 0.000 % |
1.27/1.31 c | 6161 | 5841 25017 76050 | 8339 6161 118 | 0.000 % |
1.27/1.34 c | 6273 | 5841 25017 76050 | 8339 6273 118 | 0.000 % |
1.27/1.36 c | 6394 | 5841 25017 76050 | 8339 6394 118 | 0.000 % |
1.27/1.39 c | 6527 | 5841 25017 76050 | 8339 6527 118 | 0.000 % |
1.37/1.42 c | 6674 | 5841 25017 76050 | 8339 6674 117 | 0.000 % |
1.37/1.46 c | 6835 | 5841 25017 76050 | 8339 6835 117 | 0.000 % |
1.37/1.50 c | 7012 | 5841 25017 76050 | 8339 7012 117 | 0.000 % |
1.47/1.54 c | 7207 | 5841 25017 76050 | 8339 7207 117 | 0.000 % |
1.47/1.58 c | 7420 | 5841 25017 76050 | 8339 7420 117 | 0.000 % |
1.58/1.64 c | 7653 | 5841 25017 76050 | 8339 7653 117 | 0.000 % |
1.58/1.66 c | 7755 | 5841 25017 76050 | 8339 7755 117 | 0.000 % |
1.58/1.69 c | 7865 | 5841 25017 76050 | 8339 7865 117 | 0.000 % |
1.67/1.71 c | 7986 | 5841 25017 76050 | 8339 7986 117 | 0.000 % |
1.67/1.75 c | 8120 | 5841 25017 76050 | 8339 8120 117 | 0.000 % |
1.67/1.78 c | 8266 | 5841 25017 76050 | 8339 8266 117 | 0.000 % |
1.77/1.82 c | 8426 | 5841 25017 76050 | 8339 8426 117 | 0.000 % |
1.77/1.87 c | 8604 | 5841 25017 76050 | 8339 7762 115 | 0.000 % |
1.87/1.91 c | 8798 | 5841 25017 76050 | 8339 7956 115 | 0.000 % |
1.87/1.96 c | 9012 | 5841 25017 76050 | 8339 8170 115 | 0.000 % |
1.97/2.01 c | 9246 | 5841 25017 76050 | 8339 8404 115 | 0.000 % |
1.97/2.07 c | 9504 | 5841 25017 76050 | 8339 7822 115 | 0.000 % |
2.07/2.10 c | 9605 | 5841 25017 76050 | 8339 7923 115 | 0.000 % |
2.07/2.12 c | 9716 | 5841 25017 76050 | 8339 8034 115 | 0.000 % |
2.07/2.15 c | 9837 | 5841 25017 76050 | 8339 8155 115 | 0.000 % |
2.07/2.18 c | 9970 | 5841 25017 76050 | 8339 8288 115 | 0.000 % |
2.18/2.22 c | 10121 | 5841 25017 76050 | 2147483647 8439 115 | 0.000 % |
2.18/2.25 c | 10281 | 5841 25017 76050 | 2147483647 8599 115 | 0.000 % |
2.18/2.29 c | 10457 | 5841 25017 76050 | 2147483647 8775 116 | 0.000 % |
2.28/2.34 c | 10650 | 5841 25017 76050 | 2147483647 8968 116 | 0.000 % |
2.28/2.39 c | 10862 | 5841 25017 76050 | 2147483647 9180 116 | 0.000 % |
2.38/2.45 c | 11097 | 5841 25017 76050 | 2147483647 9415 116 | 0.000 % |
2.48/2.51 c | 11353 | 5841 25017 76050 | 2147483647 9671 116 | 0.000 % |
2.48/2.57 c | 11634 | 5841 25017 76050 | 2147483647 9952 117 | 0.000 % |
2.58/2.60 c | 11736 | 5841 25017 76050 | 2147483647 10054 117 | 0.000 % |
2.58/2.62 c | 11846 | 5841 25017 76050 | 2147483647 10164 117 | 0.000 % |
2.58/2.65 c | 11967 | 5841 25017 76050 | 2147483647 10285 117 | 0.000 % |
2.58/2.69 c | 12100 | 5841 25017 76050 | 2147483647 10418 117 | 0.000 % |
2.68/2.73 c | 12247 | 5841 25017 76050 | 2147483647 10565 117 | 0.000 % |
2.68/2.76 c | 12409 | 5841 25017 76050 | 2147483647 10727 117 | 0.000 % |
2.77/2.81 c | 12587 | 5841 25017 76050 | 2147483647 10905 117 | 0.000 % |
2.77/2.86 c | 12780 | 5841 25017 76050 | 2147483647 11098 117 | 0.000 % |
2.87/2.91 c | 12994 | 5841 25017 76050 | 2147483647 11312 117 | 0.000 % |
2.87/2.97 c | 13227 | 5841 25017 76050 | 2147483647 11545 118 | 0.000 % |
2.97/3.04 c | 13485 | 5841 25017 76050 | 2147483647 11803 118 | 0.000 % |
3.07/3.11 c | 13767 | 5841 25017 76050 | 2147483647 12085 119 | 0.000 % |
3.07/3.19 c | 14077 | 5841 25017 76050 | 2147483647 12395 119 | 0.000 % |
3.17/3.22 c | 14178 | 5841 25017 76050 | 2147483647 12496 119 | 0.000 % |
3.17/3.25 c | 14288 | 5841 25017 76050 | 2147483647 12606 119 | 0.000 % |
3.17/3.28 c | 14410 | 5841 25017 76050 | 2147483647 12728 119 | 0.000 % |
3.28/3.32 c | 14544 | 5841 25017 76050 | 2147483647 12862 118 | 0.000 % |
3.28/3.35 c | 14694 | 5841 25017 76050 | 2147483647 13012 118 | 0.000 % |
3.28/3.40 c | 14855 | 5841 25017 76050 | 2147483647 13173 119 | 0.000 % |
3.38/3.44 c | 15031 | 5841 25017 76050 | 2147483647 13349 119 | 0.000 % |
3.38/3.49 c | 15226 | 5841 25017 76050 | 2147483647 13544 118 | 0.000 % |
3.47/3.55 c | 15438 | 5841 25017 76050 | 2147483647 13756 118 | 0.000 % |
3.57/3.62 c | 15671 | 5841 25017 76050 | 2147483647 13989 119 | 0.000 % |
3.57/3.68 c | 15927 | 5841 25017 76050 | 2147483647 14245 118 | 0.000 % |
3.67/3.76 c | 16208 | 5841 25017 76050 | 2147483647 14526 119 | 0.000 % |
3.77/3.84 c | 16518 | 5841 25017 76050 | 2147483647 14836 119 | 0.000 % |
3.87/3.94 c | 16858 | 5841 25017 76050 | 2147483647 15176 119 | 0.000 % |
3.87/3.97 c | 16958 | 5841 25017 76050 | 2147483647 15276 119 | 0.000 % |
3.97/4.00 c | 17068 | 5841 25017 76050 | 2147483647 15386 119 | 0.000 % |
3.97/4.03 c | 17189 | 5841 25017 76050 | 2147483647 15507 119 | 0.000 % |
3.97/4.07 c | 17322 | 5841 25017 76050 | 2147483647 15640 119 | 0.000 % |
4.07/4.11 c | 17469 | 5841 25017 76050 | 2147483647 15787 119 | 0.000 % |
4.07/4.16 c | 17629 | 5841 25017 76050 | 2147483647 15947 119 | 0.000 % |
4.17/4.21 c | 17807 | 5841 25017 76050 | 2147483647 16125 119 | 0.000 % |
4.17/4.26 c | 18000 | 5841 25017 76050 | 2147483647 16318 119 | 0.000 % |
4.27/4.32 c | 18213 | 5841 25017 76050 | 2147483647 16531 119 | 0.000 % |
4.27/4.39 c | 18447 | 5841 25017 76050 | 2147483647 16765 120 | 0.000 % |
4.37/4.46 c | 18704 | 5841 25017 76050 | 2147483647 17022 120 | 0.000 % |
4.47/4.55 c | 18986 | 5841 25017 76050 | 2147483647 17304 120 | 0.000 % |
4.57/4.63 c | 19295 | 5841 25017 76050 | 2147483647 17613 121 | 0.000 % |
4.67/4.73 c | 19634 | 5841 25017 76050 | 2147483647 17952 120 | 0.000 % |
4.77/4.84 c | 20006 | 5841 25017 76050 | 2147483647 18324 121 | 0.000 % |
4.77/4.88 c | 20106 | 5841 25017 76050 | 2147483647 18424 121 | 0.000 % |
4.87/4.91 c | 20217 | 5841 25017 76050 | 2147483647 18535 121 | 0.000 % |
4.87/4.95 c | 20339 | 5841 25017 76050 | 2147483647 18657 121 | 0.000 % |
4.87/5.00 c | 20473 | 5841 25017 76050 | 2147483647 18791 121 | 0.000 % |
4.97/5.05 c | 20620 | 5841 25017 76050 | 2147483647 18938 121 | 0.000 % |
5.07/5.10 c | 20780 | 5841 25017 76050 | 2147483647 19098 121 | 0.000 % |
5.07/5.16 c | 20956 | 5841 25017 76050 | 2147483647 19274 121 | 0.000 % |
5.17/5.21 c | 21150 | 5841 25017 76050 | 2147483647 19468 121 | 0.000 % |
5.17/5.27 c | 21362 | 5841 25017 76050 | 2147483647 19680 121 | 0.000 % |
5.27/5.35 c | 21595 | 5841 25017 76050 | 2147483647 19913 121 | 0.000 % |
5.37/5.43 c | 21853 | 5841 25017 76050 | 2147483647 20171 121 | 0.000 % |
5.47/5.52 c | 22134 | 5841 25017 76050 | 2147483647 20452 121 | 0.000 % |
5.57/5.62 c | 22443 | 5841 25017 76050 | 2147483647 20761 121 | 0.000 % |
5.67/5.73 c | 22782 | 5841 25017 76050 | 2147483647 21100 122 | 0.000 % |
5.77/5.85 c | 23156 | 5841 25017 76050 | 2147483647 21474 122 | 0.000 % |
5.87/5.98 c | 23569 | 5841 25017 76050 | 2147483647 21887 122 | 0.000 % |
5.97/6.02 c | 23669 | 5841 25017 76050 | 2147483647 21987 122 | 0.000 % |
5.97/6.06 c | 23780 | 5841 25017 76050 | 2147483647 22098 122 | 0.000 % |
6.07/6.10 c | 23901 | 5841 25017 76050 | 2147483647 22219 122 | 0.000 % |
6.07/6.15 c | 24035 | 5841 25017 76050 | 2147483647 22353 122 | 0.000 % |
6.17/6.20 c | 24181 | 5841 25017 76050 | 2147483647 22499 122 | 0.000 % |
6.17/6.26 c | 24341 | 5841 25017 76050 | 2147483647 22659 122 | 0.000 % |
6.27/6.31 c | 24518 | 5841 25017 76050 | 2147483647 22836 122 | 0.000 % |
6.27/6.38 c | 24711 | 5841 25017 76050 | 2147483647 23029 122 | 0.000 % |
6.37/6.45 c | 24923 | 5841 25017 76050 | 2147483647 23241 122 | 0.000 % |
6.47/6.53 c | 25158 | 5841 25017 76050 | 2147483647 23476 122 | 0.000 % |
6.58/6.61 c | 25414 | 5841 25017 76050 | 2147483647 23732 122 | 0.000 % |
6.68/6.70 c | 25696 | 5841 25017 76050 | 2147483647 24014 122 | 0.000 % |
6.77/6.81 c | 26006 | 5841 25017 76050 | 2147483647 24324 122 | 0.000 % |
6.87/6.93 c | 26345 | 5841 25017 76050 | 2147483647 24663 123 | 0.000 % |
6.97/7.07 c | 26717 | 5841 25017 76050 | 2147483647 25035 123 | 0.000 % |
7.17/7.20 c | 27126 | 5841 25017 76050 | 2147483647 25444 123 | 0.000 % |
7.27/7.36 c | 27575 | 5841 25017 76050 | 2147483647 25893 123 | 0.000 % |
7.27/7.39 c | 27675 | 5841 25017 76050 | 2147483647 25993 123 | 0.000 % |
7.37/7.44 c | 27785 | 5841 25017 76050 | 2147483647 26103 123 | 0.000 % |
7.37/7.48 c | 27906 | 5841 25017 76050 | 2147483647 26224 123 | 0.000 % |
7.47/7.54 c | 28041 | 5841 25017 76050 | 2147483647 26359 123 | 0.000 % |
7.47/7.59 c | 28188 | 5841 25017 76050 | 2147483647 26506 123 | 0.000 % |
7.57/7.65 c | 28349 | 5841 25017 76050 | 2147483647 26667 123 | 0.000 % |
7.67/7.71 c | 28525 | 5841 25017 76050 | 2147483647 26843 123 | 0.000 % |
7.67/7.78 c | 28719 | 5841 25017 76050 | 2147483647 27037 123 | 0.000 % |
7.77/7.86 c | 28932 | 5841 25017 76050 | 2147483647 27250 123 | 0.000 % |
7.87/7.95 c | 29165 | 5841 25017 76050 | 2147483647 27483 123 | 0.000 % |
7.97/8.03 c | 29422 | 5841 25017 76050 | 2147483647 27740 123 | 0.000 % |
8.07/8.13 c | 29703 | 5841 25017 76050 | 2147483647 28021 123 | 0.000 % |
8.17/8.24 c | 30012 | 5841 25017 76050 | 2147483647 28330 123 | 0.000 % |
8.27/8.37 c | 30352 | 5841 25017 76050 | 2147483647 28670 123 | 0.000 % |
8.46/8.50 c | 30728 | 5841 25017 76050 | 2147483647 29046 123 | 0.000 % |
8.56/8.65 c | 31137 | 5841 25017 76050 | 2147483647 29455 123 | 0.000 % |
8.78/8.81 c | 31586 | 5841 25017 76050 | 2147483647 29904 124 | 0.000 % |
8.88/9.00 c | 32079 | 5841 25017 76050 | 2147483647 30397 124 | 0.000 % |
8.97/9.04 c | 32180 | 5841 25017 76050 | 2147483647 30498 124 | 0.000 % |
8.97/9.09 c | 32292 | 5841 25017 76050 | 2147483647 30610 124 | 0.000 % |
9.07/9.13 c | 32415 | 5841 25017 76050 | 2147483647 30733 124 | 0.000 % |
9.07/9.19 c | 32549 | 5841 25017 76050 | 2147483647 30867 124 | 0.000 % |
9.17/9.25 c | 32696 | 5841 25017 76050 | 2147483647 31014 123 | 0.000 % |
9.27/9.31 c | 32856 | 5841 25017 76050 | 2147483647 31174 123 | 0.000 % |
9.27/9.38 c | 33032 | 5841 25017 76050 | 2147483647 31350 123 | 0.000 % |
9.37/9.47 c | 33226 | 5841 25017 76050 | 2147483647 31544 123 | 0.000 % |
9.47/9.55 c | 33441 | 5841 25017 76050 | 2147483647 31759 123 | 0.000 % |
9.57/9.64 c | 33674 | 5841 25017 76050 | 2147483647 31992 123 | 0.000 % |
9.67/9.73 c | 33930 | 5841 25017 76050 | 2147483647 32248 123 | 0.000 % |
9.77/9.84 c | 34213 | 5841 25017 76050 | 2147483647 32531 123 | 0.000 % |
9.87/9.96 c | 34522 | 5841 25017 76050 | 2147483647 32840 124 | 0.000 % |
9.97/10.09 c | 34861 | 5841 25017 76050 | 2147483647 33179 124 | 0.000 % |
10.17/10.23 c | 35233 | 5841 25017 76050 | 2147483647 33551 124 | 0.000 % |
10.37/10.40 c | 35643 | 5841 25017 76050 | 2147483647 33961 124 | 0.000 % |
10.47/10.59 c | 36092 | 5841 25017 76050 | 2147483647 34410 124 | 0.000 % |
10.67/10.80 c | 36587 | 5841 25017 76050 | 2147483647 34905 124 | 0.000 % |
10.97/11.03 c | 37129 | 5841 25017 76050 | 2147483647 35447 124 | 0.000 % |
10.97/11.08 c | 37231 | 5841 25017 76050 | 2147483647 35549 124 | 0.000 % |
11.07/11.13 c | 37343 | 5841 25017 76050 | 2147483647 35661 124 | 0.000 % |
11.07/11.17 c | 37465 | 5841 25017 76050 | 2147483647 35783 124 | 0.000 % |
11.17/11.23 c | 37598 | 5841 25017 76050 | 2147483647 35916 124 | 0.000 % |
11.27/11.31 c | 37745 | 5841 25017 76050 | 2147483647 36063 124 | 0.000 % |
11.27/11.37 c | 37905 | 5841 25017 76050 | 2147483647 36223 124 | 0.000 % |
11.37/11.45 c | 38081 | 5841 25017 76050 | 2147483647 36399 124 | 0.000 % |
11.47/11.53 c | 38277 | 5841 25017 76050 | 2147483647 36595 124 | 0.000 % |
11.57/11.62 c | 38489 | 5841 25017 76050 | 2147483647 36807 124 | 0.000 % |
11.67/11.71 c | 38723 | 5841 25017 76050 | 2147483647 37041 124 | 0.000 % |
11.77/11.82 c | 38983 | 5841 25017 76050 | 2147483647 37301 124 | 0.000 % |
11.87/11.92 c | 39264 | 5841 25017 76050 | 2147483647 37582 124 | 0.000 % |
11.96/12.06 c | 39573 | 5841 25017 76050 | 2147483647 37891 124 | 0.000 % |
12.18/12.21 c | 39912 | 5841 25017 76050 | 2147483647 38230 124 | 0.000 % |
12.27/12.36 c | 40285 | 5841 25017 76050 | 2147483647 38603 125 | 0.000 % |
12.47/12.53 c | 40694 | 5841 25017 76050 | 2147483647 39012 125 | 0.000 % |
12.67/12.74 c | 41143 | 5841 25017 76050 | 2147483647 39461 125 | 0.000 % |
12.87/12.93 c | 41636 | 5841 25017 76050 | 2147483647 39954 125 | 0.000 % |
13.07/13.16 c | 42179 | 5841 25017 76050 | 2147483647 40497 125 | 0.000 % |
13.36/13.42 c | 42776 | 5841 25017 76050 | 2147483647 41094 125 | 0.000 % |
13.36/13.47 c | 42878 | 5841 25017 76050 | 2147483647 41196 125 | 0.000 % |
13.46/13.53 c | 42988 | 5841 25017 76050 | 2147483647 41306 125 | 0.000 % |
13.46/13.59 c | 43109 | 5841 25017 76050 | 2147483647 41427 125 | 0.000 % |
13.56/13.65 c | 43243 | 5841 25017 76050 | 2147483647 41561 124 | 0.000 % |
13.66/13.72 c | 43390 | 5841 25017 76050 | 2147483647 41708 124 | 0.000 % |
13.66/13.79 c | 43551 | 5841 25017 76050 | 2147483647 41869 124 | 0.000 % |
13.76/13.88 c | 43727 | 5841 25017 76050 | 2147483647 42045 124 | 0.000 % |
13.86/13.97 c | 43920 | 5841 25017 76050 | 2147483647 42238 124 | 0.000 % |
13.96/14.07 c | 44132 | 5841 25017 76050 | 2147483647 42450 124 | 0.000 % |
14.07/14.17 c | 44366 | 5841 25017 76050 | 2147483647 42684 124 | 0.000 % |
14.17/14.29 c | 44622 | 5841 25017 76050 | 2147483647 42940 124 | 0.000 % |
14.37/14.41 c | 44904 | 5841 25017 76050 | 2147483647 43222 124 | 0.000 % |
14.47/14.55 c | 45214 | 5841 25017 76050 | 2147483647 43532 124 | 0.000 % |
14.67/14.70 c | 45555 | 5841 25017 76050 | 2147483647 43873 124 | 0.000 % |
14.77/14.88 c | 45929 | 5841 25017 76050 | 2147483647 44247 124 | 0.000 % |
14.97/15.06 c | 46342 | 5841 25017 76050 | 2147483647 44660 125 | 0.000 % |
15.17/15.25 c | 46791 | 5841 25017 76050 | 2147483647 45109 125 | 0.000 % |
15.37/15.46 c | 47284 | 5841 25017 76050 | 2147483647 45602 125 | 0.000 % |
15.67/15.71 c | 47827 | 5841 25017 76050 | 2147483647 46145 125 | 0.000 % |
15.87/15.99 c | 48424 | 5841 25017 76050 | 2147483647 46742 125 | 0.000 % |
16.27/16.30 c | 49080 | 5841 25017 76050 | 2147483647 47398 125 | 0.000 % |
16.27/16.36 c | 49182 | 5841 25017 76050 | 2147483647 47500 125 | 0.000 % |
16.37/16.43 c | 49292 | 5841 25017 76050 | 2147483647 47610 125 | 0.000 % |
16.37/16.50 c | 49414 | 5841 25017 76050 | 2147483647 47732 125 | 0.000 % |
16.47/16.57 c | 49547 | 5841 25017 76050 | 2147483647 47865 125 | 0.000 % |
16.57/16.65 c | 49693 | 5841 25017 76050 | 2147483647 48011 125 | 0.000 % |
16.67/16.73 c | 49853 | 5841 25017 76050 | 2147483647 48171 125 | 0.000 % |
16.77/16.82 c | 50029 | 5841 25017 76050 | 2147483647 48347 125 | 0.000 % |
16.87/16.92 c | 50224 | 5841 25017 76050 | 2147483647 48542 125 | 0.000 % |
16.97/17.03 c | 50436 | 5841 25017 76050 | 2147483647 48754 125 | 0.000 % |
17.07/17.16 c | 50669 | 5841 25017 76050 | 2147483647 48987 125 | 0.000 % |
17.17/17.29 c | 50925 | 5841 25017 76050 | 2147483647 49243 125 | 0.000 % |
17.37/17.44 c | 51208 | 5841 25017 76050 | 2147483647 49526 125 | 0.000 % |
17.47/17.58 c | 51517 | 5841 25017 76050 | 2147483647 49835 125 | 0.000 % |
17.67/17.75 c | 51858 | 5841 25017 76050 | 2147483647 50176 125 | 0.000 % |
17.86/17.94 c | 52232 | 5841 25017 76050 | 2147483647 50550 125 | 0.000 % |
18.07/18.13 c | 52641 | 5841 25017 76050 | 2147483647 50959 126 | 0.000 % |
18.27/18.37 c | 53090 | 5841 25017 76050 | 2147483647 51408 126 | 0.000 % |
18.57/18.62 c | 53583 | 5841 25017 76050 | 2147483647 51901 126 | 0.000 % |
18.87/18.91 c | 54125 | 5841 25017 76050 | 2147483647 52443 126 | 0.000 % |
19.17/19.22 c | 54722 | 5841 25017 76050 | 2147483647 53040 126 | 0.000 % |
19.47/19.55 c | 55377 | 5841 25017 76050 | 2147483647 53695 126 | 0.000 % |
19.77/19.90 c | 56097 | 5841 25017 76050 | 2147483647 54415 126 | 0.000 % |
19.87/19.96 c | 56197 | 5841 25017 76050 | 2147483647 54515 126 | 0.000 % |
19.96/20.03 c | 56308 | 5841 25017 76050 | 2147483647 54626 126 | 0.000 % |
19.96/20.10 c | 56430 | 5841 25017 76050 | 2147483647 54748 126 | 0.000 % |
20.06/20.18 c | 56563 | 5841 25017 76050 | 2147483647 54881 126 | 0.000 % |
20.16/20.29 c | 56709 | 5841 25017 76050 | 2147483647 55027 126 | 0.000 % |
20.26/20.38 c | 56869 | 5841 25017 76050 | 2147483647 55187 126 | 0.000 % |
20.36/20.49 c | 57046 | 5841 25017 76050 | 2147483647 55364 126 | 0.000 % |
20.57/20.60 c | 57240 | 5841 25017 76050 | 2147483647 55558 126 | 0.000 % |
20.67/20.71 c | 57452 | 5841 25017 76050 | 2147483647 55770 126 | 0.000 % |
20.77/20.83 c | 57686 | 5841 25017 76050 | 2147483647 56004 126 | 0.000 % |
20.87/20.98 c | 57945 | 5841 25017 76050 | 2147483647 56263 126 | 0.000 % |
21.07/21.13 c | 58228 | 5841 25017 76050 | 2147483647 56546 126 | 0.000 % |
21.17/21.29 c | 58537 | 5841 25017 76050 | 2147483647 56855 126 | 0.000 % |
21.37/21.48 c | 58877 | 5841 25017 76050 | 2147483647 57195 126 | 0.000 % |
21.57/21.68 c | 59249 | 5841 25017 76050 | 2147483647 57567 126 | 0.000 % |
21.86/21.90 c | 59658 | 5841 25017 76050 | 2147483647 57976 126 | 0.000 % |
22.07/22.13 c | 60108 | 5841 25017 76050 | 2147483647 58426 126 | 0.000 % |
22.37/22.40 c | 60601 | 5841 25017 76050 | 2147483647 58919 126 | 0.000 % |
22.57/22.69 c | 61143 | 5841 25017 76050 | 2147483647 59461 126 | 0.000 % |
22.96/23.02 c | 61739 | 5841 25017 76050 | 2147483647 60057 126 | 0.000 % |
23.26/23.37 c | 62396 | 5841 25017 76050 | 2147483647 60714 126 | 0.000 % |
23.66/23.77 c | 63117 | 5841 25017 76050 | 2147483647 61435 127 | 0.000 % |
24.17/24.22 c | 63910 | 5841 25017 76050 | 2147483647 62228 127 | 0.000 % |
24.17/24.27 c | 64010 | 5841 25017 76050 | 2147483647 62328 127 | 0.000 % |
24.27/24.35 c | 64123 | 5841 25017 76050 | 2147483647 62441 127 | 0.000 % |
24.36/24.44 c | 64246 | 5841 25017 76050 | 2147483647 62564 127 | 0.000 % |
24.46/24.52 c | 64379 | 5841 25017 76050 | 2147483647 62697 126 | 0.000 % |
24.56/24.61 c | 64525 | 5841 25017 76050 | 2147483647 62843 126 | 0.000 % |
24.66/24.72 c | 64686 | 5841 25017 76050 | 2147483647 63004 126 | 0.000 % |
24.76/24.83 c | 64863 | 5841 25017 76050 | 2147483647 63181 127 | 0.000 % |
24.86/24.95 c | 65056 | 5841 25017 76050 | 2147483647 63374 127 | 0.000 % |
25.06/25.10 c | 65268 | 5841 25017 76050 | 2147483647 63586 127 | 0.000 % |
25.16/25.25 c | 65503 | 5841 25017 76050 | 2147483647 63821 127 | 0.000 % |
25.37/25.41 c | 65762 | 5841 25017 76050 | 2147483647 64080 127 | 0.000 % |
25.47/25.57 c | 66043 | 5841 25017 76050 | 2147483647 64361 127 | 0.000 % |
25.67/25.76 c | 66352 | 5841 25017 76050 | 2147483647 64670 127 | 0.000 % |
25.87/25.98 c | 66691 | 5841 25017 76050 | 2147483647 65009 127 | 0.000 % |
26.17/26.20 c | 67065 | 5841 25017 76050 | 2147483647 65383 127 | 0.000 % |
26.37/26.45 c | 67477 | 5841 25017 76050 | 2147483647 65795 127 | 0.000 % |
26.67/26.73 c | 67926 | 5841 25017 76050 | 2147483647 66244 127 | 0.000 % |
26.97/27.01 c | 68419 | 5841 25017 76050 | 2147483647 66737 127 | 0.000 % |
27.27/27.34 c | 68964 | 5841 25017 76050 | 2147483647 67282 127 | 0.000 % |
27.67/27.70 c | 69560 | 5841 25017 76050 | 2147483647 67878 128 | 0.000 % |
28.06/28.10 c | 70215 | 5841 25017 76050 | 2147483647 68533 128 | 0.000 % |
28.46/28.53 c | 70935 | 5841 25017 76050 | 2147483647 69253 128 | 0.000 % |
28.86/28.97 c | 71727 | 5841 25017 76050 | 2147483647 70045 128 | 0.000 % |
29.36/29.49 c | 72598 | 5841 25017 76050 | 2147483647 70916 129 | 0.000 % |
29.46/29.57 c | 72698 | 5841 25017 76050 | 2147483647 71016 129 | 0.000 % |
29.56/29.64 c | 72808 | 5841 25017 76050 | 2147483647 71126 128 | 0.000 % |
29.66/29.73 c | 72930 | 5841 25017 76050 | 2147483647 71248 129 | 0.000 % |
29.76/29.81 c | 73065 | 5841 25017 76050 | 2147483647 71383 129 | 0.000 % |
29.86/29.91 c | 73211 | 5841 25017 76050 | 2147483647 71529 129 | 0.000 % |
29.97/30.01 c | 73371 | 5841 25017 76050 | 2147483647 71689 129 | 0.000 % |
30.07/30.13 c | 73547 | 5841 25017 76050 | 2147483647 71865 129 | 0.000 % |
30.17/30.26 c | 73740 | 5841 25017 76050 | 2147483647 72058 128 | 0.000 % |
30.37/30.40 c | 73952 | 5841 25017 76050 | 2147483647 72270 129 | 0.000 % |
30.47/30.56 c | 74186 | 5841 25017 76050 | 2147483647 72504 129 | 0.000 % |
30.66/30.74 c | 74442 | 5841 25017 76050 | 2147483647 72760 129 | 0.000 % |
30.87/30.92 c | 74723 | 5841 25017 76050 | 2147483647 73041 129 | 0.000 % |
31.06/31.12 c | 75032 | 5841 25017 76050 | 2147483647 73350 129 | 0.000 % |
31.26/31.35 c | 75372 | 5841 25017 76050 | 2147483647 73690 129 | 0.000 % |
31.46/31.59 c | 75746 | 5841 25017 76050 | 2147483647 74064 129 | 0.000 % |
31.76/31.86 c | 76156 | 5841 25017 76050 | 2147483647 74474 129 | 0.000 % |
32.06/32.14 c | 76605 | 5841 25017 76050 | 2147483647 74923 129 | 0.000 % |
32.36/32.47 c | 77102 | 5841 25017 76050 | 2147483647 75420 129 | 0.000 % |
32.76/32.83 c | 77645 | 5841 25017 76050 | 2147483647 75963 129 | 0.000 % |
33.16/33.21 c | 78243 | 5841 25017 76050 | 2147483647 76561 129 | 0.000 % |
33.57/33.60 c | 78899 | 5841 25017 76050 | 2147483647 77217 129 | 0.000 % |
33.97/34.08 c | 79620 | 5841 25017 76050 | 2147483647 77938 129 | 0.000 % |
34.56/34.61 c | 80414 | 5841 25017 76050 | 2147483647 78732 129 | 0.000 % |
35.06/35.19 c | 81286 | 5841 25017 76050 | 2147483647 79604 129 | 0.000 % |
35.76/35.86 c | 82246 | 5841 25017 76050 | 2147483647 80564 130 | 0.000 % |
35.86/35.93 c | 82346 | 5841 25017 76050 | 2147483647 80664 130 | 0.000 % |
35.96/36.01 c | 82456 | 5841 25017 76050 | 2147483647 80774 130 | 0.000 % |
36.06/36.10 c | 82578 | 5841 25017 76050 | 2147483647 80896 130 | 0.000 % |
36.16/36.21 c | 82713 | 5841 25017 76050 | 2147483647 81031 130 | 0.000 % |
36.26/36.31 c | 82860 | 5841 25017 76050 | 2147483647 81178 130 | 0.000 % |
36.36/36.43 c | 83020 | 5841 25017 76050 | 2147483647 81338 130 | 0.000 % |
36.46/36.58 c | 83196 | 5841 25017 76050 | 2147483647 81514 130 | 0.000 % |
36.66/36.72 c | 83390 | 5841 25017 76050 | 2147483647 81708 130 | 0.000 % |
36.76/36.88 c | 83602 | 5841 25017 76050 | 2147483647 81920 130 | 0.000 % |
36.96/37.03 c | 83835 | 5841 25017 76050 | 2147483647 82153 130 | 0.000 % |
37.16/37.23 c | 84091 | 5841 25017 76050 | 2147483647 82409 129 | 0.000 % |
37.36/37.43 c | 84372 | 5841 25017 76050 | 2147483647 82690 129 | 0.000 % |
37.56/37.66 c | 84682 | 5841 25017 76050 | 2147483647 83000 129 | 0.000 % |
37.76/37.89 c | 85021 | 5841 25017 76050 | 2147483647 83339 129 | 0.000 % |
38.06/38.16 c | 85396 | 5841 25017 76050 | 2147483647 83714 129 | 0.000 % |
38.36/38.43 c | 85806 | 5841 25017 76050 | 2147483647 84124 129 | 0.000 % |
38.66/38.72 c | 86256 | 5841 25017 76050 | 2147483647 84574 129 | 0.000 % |
38.96/39.04 c | 86749 | 5841 25017 76050 | 2147483647 85067 129 | 0.000 % |
39.36/39.44 c | 87291 | 5841 25017 76050 | 2147483647 85609 130 | 0.000 % |
39.76/39.86 c | 87888 | 5841 25017 76050 | 2147483647 86206 130 | 0.000 % |
40.26/40.34 c | 88544 | 5841 25017 76050 | 2147483647 86862 130 | 0.000 % |
40.77/40.85 c | 89264 | 5841 25017 76050 | 2147483647 87582 130 | 0.000 % |
41.36/41.43 c | 90057 | 5841 25017 76050 | 2147483647 88375 130 | 0.000 % |
42.06/42.10 c | 90930 | 5841 25017 76050 | 2147483647 89248 130 | 0.000 % |
42.66/42.76 c | 91889 | 5841 25017 76050 | 2147483647 90207 130 | 0.000 % |
43.46/43.51 c | 92942 | 5841 25017 76050 | 2147483647 91260 130 | 0.000 % |
43.46/43.59 c | 93042 | 5841 25017 76050 | 2147483647 91360 130 | 0.000 % |
43.56/43.70 c | 93154 | 5841 25017 76050 | 2147483647 91472 130 | 0.000 % |
43.76/43.81 c | 93275 | 5841 25017 76050 | 2147483647 91593 130 | 0.000 % |
43.86/43.92 c | 93408 | 5841 25017 76050 | 2147483647 91726 130 | 0.000 % |
43.96/44.05 c | 93556 | 5841 25017 76050 | 2147483647 91874 130 | 0.000 % |
44.16/44.20 c | 93717 | 5841 25017 76050 | 2147483647 92035 130 | 0.000 % |
44.26/44.36 c | 93894 | 5841 25017 76050 | 2147483647 92212 130 | 0.000 % |
44.46/44.52 c | 94088 | 5841 25017 76050 | 2147483647 92406 130 | 0.000 % |
44.66/44.70 c | 94300 | 5841 25017 76050 | 2147483647 92618 130 | 0.000 % |
44.76/44.86 c | 94533 | 5841 25017 76050 | 2147483647 92851 130 | 0.000 % |
44.96/45.10 c | 94790 | 5841 25017 76050 | 2147483647 93108 130 | 0.000 % |
45.26/45.32 c | 95073 | 5841 25017 76050 | 2147483647 93391 130 | 0.000 % |
45.46/45.59 c | 95382 | 5841 25017 76050 | 2147483647 93700 130 | 0.000 % |
45.76/45.86 c | 95723 | 5841 25017 76050 | 2147483647 94041 130 | 0.000 % |
46.06/46.14 c | 96095 | 5841 25017 76050 | 2147483647 94413 130 | 0.000 % |
46.36/46.46 c | 96504 | 5841 25017 76050 | 2147483647 94822 130 | 0.000 % |
46.76/46.82 c | 96956 | 5841 25017 76050 | 2147483647 95274 130 | 0.000 % |
47.06/47.20 c | 97449 | 5841 25017 76050 | 2147483647 95767 130 | 0.000 % |
47.56/47.60 c | 97992 | 5841 25017 76050 | 2147483647 96310 131 | 0.000 % |
47.96/48.05 c | 98588 | 5841 25017 76050 | 2147483647 96906 131 | 0.000 % |
48.46/48.59 c | 99244 | 5841 25017 76050 | 2147483647 97562 131 | 0.000 % |
49.06/49.11 c | 99966 | 5841 25017 76050 | 2147483647 98284 131 | 0.000 % |
49.66/49.75 c | 100758 | 5841 25017 76050 | 2147483647 99076 131 | 0.000 % |
50.26/50.38 c | 101629 | 5841 25017 76050 | 2147483647 99947 131 | 0.000 % |
51.06/51.10 c | 102589 | 5841 25017 76050 | 2147483647 100907 131 | 0.000 % |
51.85/51.95 c | 103643 | 5841 25017 76050 | 2147483647 101961 131 | 0.000 % |
52.65/52.79 c | 104801 | 5841 25017 76050 | 2147483647 103119 132 | 0.000 % |
52.75/52.88 c | 104901 | 5841 25017 76050 | 2147483647 103219 132 | 0.000 % |
52.85/52.99 c | 105012 | 5841 25017 76050 | 2147483647 103330 132 | 0.000 % |
53.05/53.12 c | 105134 | 5841 25017 76050 | 2147483647 103452 132 | 0.000 % |
53.16/53.25 c | 105267 | 5841 25017 76050 | 2147483647 103585 132 | 0.000 % |
53.26/53.39 c | 105414 | 5841 25017 76050 | 2147483647 103732 132 | 0.000 % |
53.46/53.52 c | 105574 | 5841 25017 76050 | 2147483647 103892 132 | 0.000 % |
53.56/53.69 c | 105751 | 5841 25017 76050 | 2147483647 104069 132 | 0.000 % |
53.76/53.85 c | 105945 | 5841 25017 76050 | 2147483647 104263 132 | 0.000 % |
53.96/54.04 c | 106157 | 5841 25017 76050 | 2147483647 104475 131 | 0.000 % |
54.15/54.24 c | 106390 | 5841 25017 76050 | 2147483647 104708 131 | 0.000 % |
54.35/54.45 c | 106646 | 5841 25017 76050 | 2147483647 104964 131 | 0.000 % |
54.65/54.72 c | 106928 | 5841 25017 76050 | 2147483647 105246 131 | 0.000 % |
54.85/54.99 c | 107237 | 5841 25017 76050 | 2147483647 105555 131 | 0.000 % |
55.16/55.29 c | 107576 | 5841 25017 76050 | 2147483647 105894 132 | 0.000 % |
55.56/55.61 c | 107948 | 5841 25017 76050 | 2147483647 106266 132 | 0.000 % |
55.86/55.93 c | 108357 | 5841 25017 76050 | 2147483647 106675 132 | 0.000 % |
56.25/56.33 c | 108809 | 5841 25017 76050 | 2147483647 107127 132 | 0.000 % |
56.65/56.76 c | 109303 | 5841 25017 76050 | 2147483647 107621 132 | 0.000 % |
57.16/57.26 c | 109846 | 5841 25017 76050 | 2147483647 108164 132 | 0.000 % |
57.65/57.75 c | 110444 | 5841 25017 76050 | 2147483647 108762 132 | 0.000 % |
58.15/58.28 c | 111099 | 5841 25017 76050 | 2147483647 109417 132 | 0.000 % |
58.86/58.90 c | 111819 | 5841 25017 76050 | 2147483647 110137 132 | 0.000 % |
59.46/59.53 c | 112611 | 5841 25017 76050 | 2147483647 110929 132 | 0.000 % |
60.25/60.33 c | 113482 | 5841 25017 76050 | 2147483647 111800 132 | 0.000 % |
61.05/61.13 c | 114441 | 5841 25017 76050 | 2147483647 112759 132 | 0.000 % |
61.85/61.99 c | 115496 | 5841 25017 76050 | 2147483647 113814 133 | 0.000 % |
62.95/63.04 c | 116655 | 5841 25017 76050 | 2147483647 114973 133 | 0.000 % |
63.95/64.06 c | 117929 | 5841 25017 76050 | 2147483647 116247 133 | 0.000 % |
64.05/64.16 c | 118029 | 5841 25017 76050 | 2147483647 116347 133 | 0.000 % |
64.25/64.30 c | 118140 | 5841 25017 76050 | 2147483647 116458 133 | 0.000 % |
64.35/64.42 c | 118261 | 5841 25017 76050 | 2147483647 116579 133 | 0.000 % |
64.45/64.54 c | 118394 | 5841 25017 76050 | 2147483647 116712 133 | 0.000 % |
64.55/64.69 c | 118540 | 5841 25017 76050 | 2147483647 116858 133 | 0.000 % |
64.75/64.84 c | 118701 | 5841 25017 76050 | 2147483647 117019 133 | 0.000 % |
64.95/65.01 c | 118878 | 5841 25017 76050 | 2147483647 117196 133 | 0.000 % |
65.15/65.23 c | 119071 | 5841 25017 76050 | 2147483647 117389 133 | 0.000 % |
65.35/65.46 c | 119283 | 5841 25017 76050 | 2147483647 117601 133 | 0.000 % |
65.55/65.69 c | 119517 | 5841 25017 76050 | 2147483647 117835 133 | 0.000 % |
65.85/65.94 c | 119773 | 5841 25017 76050 | 2147483647 118091 133 | 0.000 % |
66.15/66.23 c | 120055 | 5841 25017 76050 | 2147483647 118373 133 | 0.000 % |
66.45/66.54 c | 120364 | 5841 25017 76050 | 2147483647 118682 133 | 0.000 % |
66.75/66.87 c | 120703 | 5841 25017 76050 | 2147483647 119021 133 | 0.000 % |
67.15/67.22 c | 121075 | 5841 25017 76050 | 2147483647 119393 133 | 0.000 % |
67.54/67.63 c | 121484 | 5841 25017 76050 | 2147483647 119802 133 | 0.000 % |
67.94/68.04 c | 121934 | 5841 25017 76050 | 2147483647 120252 133 | 0.000 % |
68.35/68.49 c | 122428 | 5841 25017 76050 | 2147483647 120746 133 | 0.000 % |
68.95/69.00 c | 122972 | 5841 25017 76050 | 2147483647 121290 133 | 0.000 % |
69.45/69.52 c | 123568 | 5841 25017 76050 | 2147483647 121886 133 | 0.000 % |
70.04/70.13 c | 124223 | 5841 25017 76050 | 2147483647 122541 133 | 0.000 % |
70.64/70.77 c | 124943 | 5841 25017 76050 | 2147483647 123261 133 | 0.000 % |
71.45/71.53 c | 125735 | 5841 25017 76050 | 2147483647 124053 133 | 0.000 % |
72.15/72.27 c | 126609 | 5841 25017 76050 | 2147483647 124927 133 | 0.000 % |
73.04/73.17 c | 127570 | 5841 25017 76050 | 2147483647 125888 133 | 0.000 % |
74.04/74.19 c | 128625 | 5841 25017 76050 | 2147483647 126943 134 | 0.000 % |
75.14/75.22 c | 129784 | 5841 25017 76050 | 2147483647 128102 134 | 0.000 % |
76.34/76.41 c | 131057 | 5841 25017 76050 | 2147483647 129375 134 | 0.000 % |
77.64/77.73 c | 132457 | 5841 25017 76050 | 2147483647 130775 134 | 0.000 % |
77.73/77.84 c | 132558 | 5841 25017 76050 | 2147483647 130876 134 | 0.000 % |
77.93/78.00 c | 132669 | 5841 25017 76050 | 2147483647 130987 134 | 0.000 % |
78.04/78.14 c | 132792 | 5841 25017 76050 | 2147483647 131110 134 | 0.000 % |
78.14/78.29 c | 132926 | 5841 25017 76050 | 2147483647 131244 134 | 0.000 % |
78.33/78.46 c | 133074 | 5841 25017 76050 | 2147483647 131392 134 | 0.000 % |
78.53/78.65 c | 133234 | 5841 25017 76050 | 2147483647 131552 134 | 0.000 % |
78.74/78.84 c | 133410 | 5841 25017 76050 | 2147483647 131728 134 | 0.000 % |
78.94/79.06 c | 133603 | 5841 25017 76050 | 2147483647 131921 134 | 0.000 % |
79.15/79.28 c | 133816 | 5841 25017 76050 | 2147483647 132134 134 | 0.000 % |
79.44/79.52 c | 134050 | 5841 25017 76050 | 2147483647 132368 134 | 0.000 % |
79.64/79.80 c | 134306 | 5841 25017 76050 | 2147483647 132624 134 | 0.000 % |
80.04/80.12 c | 134590 | 5841 25017 76050 | 2147483647 132908 134 | 0.000 % |
80.34/80.45 c | 134899 | 5841 25017 76050 | 2147483647 133217 134 | 0.000 % |
80.74/80.82 c | 135239 | 5841 25017 76050 | 2147483647 133557 134 | 0.000 % |
81.14/81.22 c | 135612 | 5841 25017 76050 | 2147483647 133930 134 | 0.000 % |
81.54/81.70 c | 136023 | 5841 25017 76050 | 2147483647 134341 134 | 0.000 % |
82.04/82.17 c | 136472 | 5841 25017 76050 | 2147483647 134790 134 | 0.000 % |
82.54/82.64 c | 136966 | 5841 25017 76050 | 2147483647 135284 134 | 0.000 % |
83.03/83.16 c | 137508 | 5841 25017 76050 | 2147483647 135826 134 | 0.000 % |
83.64/83.79 c | 138107 | 5841 25017 76050 | 2147483647 136425 134 | 0.000 % |
84.33/84.44 c | 138763 | 5841 25017 76050 | 2147483647 137081 134 | 0.000 % |
85.03/85.15 c | 139483 | 5841 25017 76050 | 2147483647 137801 134 | 0.000 % |
85.84/85.92 c | 140275 | 5841 25017 76050 | 2147483647 138593 134 | 0.000 % |
86.74/86.88 c | 141147 | 5841 25017 76050 | 2147483647 139465 134 | 0.000 % |
87.64/87.80 c | 142105 | 5841 25017 76050 | 2147483647 140423 134 | 0.000 % |
88.74/88.86 c | 143159 | 5841 25017 76050 | 2147483647 141477 134 | 0.000 % |
89.83/89.98 c | 144318 | 5841 25017 76050 | 2147483647 142636 134 | 0.000 % |
91.13/91.26 c | 145593 | 5841 25017 76050 | 2147483647 143911 134 | 0.000 % |
92.53/92.66 c | 146993 | 5841 25017 76050 | 2147483647 145311 135 | 0.000 % |
94.03/94.18 c | 148534 | 5841 25017 76050 | 2147483647 146852 135 | 0.000 % |
94.23/94.32 c | 148635 | 5841 25017 76050 | 2147483647 146953 135 | 0.000 % |
94.33/94.45 c | 148745 | 5841 25017 76050 | 2147483647 147063 135 | 0.000 % |
94.54/94.60 c | 148869 | 5841 25017 76050 | 2147483647 147187 135 | 0.000 % |
94.64/94.75 c | 149003 | 5841 25017 76050 | 2147483647 147321 135 | 0.000 % |
94.83/94.97 c | 149151 | 5841 25017 76050 | 2147483647 147469 135 | 0.000 % |
95.03/95.17 c | 149311 | 5841 25017 76050 | 2147483647 147629 135 | 0.000 % |
95.23/95.37 c | 149489 | 5841 25017 76050 | 2147483647 147807 135 | 0.000 % |
95.53/95.60 c | 149683 | 5841 25017 76050 | 2147483647 148001 135 | 0.000 % |
95.74/95.84 c | 149896 | 5841 25017 76050 | 2147483647 148214 134 | 0.000 % |
96.03/96.10 c | 150131 | 5841 25017 76050 | 2147483647 148449 134 | 0.000 % |
96.23/96.39 c | 150387 | 5841 25017 76050 | 2147483647 148705 134 | 0.000 % |
96.63/96.73 c | 150668 | 5841 25017 76050 | 2147483647 148986 134 | 0.000 % |
96.93/97.07 c | 150978 | 5841 25017 76050 | 2147483647 149296 134 | 0.000 % |
97.33/97.48 c | 151318 | 5841 25017 76050 | 2147483647 149636 134 | 0.000 % |
97.73/97.86 c | 151691 | 5841 25017 76050 | 2147483647 150009 135 | 0.000 % |
98.22/98.33 c | 152102 | 5841 25017 76050 | 2147483647 150420 135 | 0.000 % |
98.72/98.85 c | 152551 | 5841 25017 76050 | 2147483647 150869 135 | 0.000 % |
99.23/99.36 c | 153045 | 5841 25017 76050 | 2147483647 151363 135 | 0.000 % |
99.93/100.00 c | 153587 | 5841 25017 76050 | 2147483647 151905 135 | 0.000 % |
100.53/100.69 c | 154185 | 5841 25017 76050 | 2147483647 152503 135 | 0.000 % |
101.32/101.46 c | 154842 | 5841 25017 76050 | 2147483647 153160 135 | 0.000 % |
102.12/102.21 c | 155563 | 5841 25017 76050 | 2147483647 153881 135 | 0.000 % |
102.93/103.09 c | 156356 | 5841 25017 76050 | 2147483647 154674 135 | 0.000 % |
103.93/104.02 c | 157227 | 5841 25017 76050 | 2147483647 155545 135 | 0.000 % |
104.93/105.05 c | 158187 | 5841 25017 76050 | 2147483647 156505 135 | 0.000 % |
106.13/106.20 c | 159240 | 5841 25017 76050 | 2147483647 157558 135 | 0.000 % |
107.32/107.46 c | 160398 | 5841 25017 76050 | 2147483647 158716 135 | 0.000 % |
108.72/108.81 c | 161671 | 5841 25017 76050 | 2147483647 159989 135 | 0.000 % |
110.33/110.41 c | 163071 | 5841 25017 76050 | 2147483647 161389 135 | 0.000 % |
112.13/112.23 c | 164615 | 5841 25017 76050 | 2147483647 162933 135 | 0.000 % |
114.02/114.12 c | 166309 | 5841 25017 76050 | 2147483647 164627 135 | 0.000 % |
114.12/114.27 c | 166409 | 5841 25017 76050 | 2147483647 164727 135 | 0.000 % |
114.33/114.42 c | 166519 | 5841 25017 76050 | 2147483647 164837 135 | 0.000 % |
114.52/114.61 c | 166641 | 5841 25017 76050 | 2147483647 164959 135 | 0.000 % |
114.72/114.80 c | 166774 | 5841 25017 76050 | 2147483647 165092 135 | 0.000 % |
114.92/115.00 c | 166922 | 5841 25017 76050 | 2147483647 165240 135 | 0.000 % |
115.12/115.22 c | 167085 | 5841 25017 76050 | 2147483647 165403 135 | 0.000 % |
115.32/115.47 c | 167262 | 5841 25017 76050 | 2147483647 165580 135 | 0.000 % |
115.62/115.73 c | 167455 | 5841 25017 76050 | 2147483647 165773 135 | 0.000 % |
115.82/115.99 c | 167667 | 5841 25017 76050 | 2147483647 165985 135 | 0.000 % |
116.12/116.26 c | 167900 | 5841 25017 76050 | 2147483647 166218 135 | 0.000 % |
116.43/116.58 c | 168157 | 5841 25017 76050 | 2147483647 166475 135 | 0.000 % |
116.83/116.91 c | 168438 | 5841 25017 76050 | 2147483647 166756 135 | 0.000 % |
117.22/117.33 c | 168747 | 5841 25017 76050 | 2147483647 167065 135 | 0.000 % |
117.63/117.72 c | 169086 | 5841 25017 76050 | 2147483647 167404 135 | 0.000 % |
118.12/118.22 c | 169458 | 5841 25017 76050 | 2147483647 167776 135 | 0.000 % |
118.62/118.74 c | 169867 | 5841 25017 76050 | 2147483647 168185 135 | 0.000 % |
119.22/119.32 c | 170316 | 5841 25017 76050 | 2147483647 168634 135 | 0.000 % |
119.82/119.94 c | 170810 | 5841 25017 76050 | 2147483647 169128 135 | 0.000 % |
120.52/120.66 c | 171352 | 5841 25017 76050 | 2147483647 169670 135 | 0.000 % |
121.22/121.40 c | 171948 | 5841 25017 76050 | 2147483647 170266 135 | 0.000 % |
122.12/122.21 c | 172603 | 5841 25017 76050 | 2147483647 170921 135 | 0.000 % |
122.92/123.09 c | 173323 | 5841 25017 76050 | 2147483647 171641 135 | 0.000 % |
123.92/124.07 c | 174115 | 5841 25017 76050 | 2147483647 172433 135 | 0.000 % |
125.02/125.15 c | 174986 | 5841 25017 76050 | 2147483647 173304 135 | 0.000 % |
126.11/126.29 c | 175944 | 5841 25017 76050 | 2147483647 174262 135 | 0.000 % |
127.53/127.63 c | 176997 | 5841 25017 76050 | 2147483647 175315 135 | 0.000 % |
128.92/129.04 c | 178156 | 5841 25017 76050 | 2147483647 176474 135 | 0.000 % |
130.52/130.63 c | 179429 | 5841 25017 76050 | 2147483647 177747 135 | 0.000 % |
132.11/132.27 c | 180829 | 5841 25017 76050 | 2147483647 179147 135 | 0.000 % |
133.92/134.09 c | 182372 | 5841 25017 76050 | 2147483647 180690 135 | 0.000 % |
135.81/135.98 c | 184067 | 5841 25017 76050 | 2147483647 182385 135 | 0.000 % |
138.12/138.28 c | 185930 | 5841 25017 76050 | 2147483647 184248 136 | 0.000 % |
138.32/138.44 c | 186030 | 5841 25017 76050 | 2147483647 184348 136 | 0.000 % |
138.52/138.65 c | 186140 | 5841 25017 76050 | 2147483647 184458 135 | 0.000 % |
138.72/138.84 c | 186261 | 5841 25017 76050 | 2147483647 184579 135 | 0.000 % |
138.91/139.02 c | 186396 | 5841 25017 76050 | 2147483647 184714 135 | 0.000 % |
139.12/139.26 c | 186542 | 5841 25017 76050 | 2147483647 184860 135 | 0.000 % |
139.42/139.54 c | 186703 | 5841 25017 76050 | 2147483647 185021 135 | 0.000 % |
139.72/139.80 c | 186880 | 5841 25017 76050 | 2147483647 185198 135 | 0.000 % |
139.91/140.09 c | 187074 | 5841 25017 76050 | 2147483647 185392 135 | 0.000 % |
140.31/140.43 c | 187287 | 5841 25017 76050 | 2147483647 185605 135 | 0.000 % |
140.61/140.76 c | 187520 | 5841 25017 76050 | 2147483647 185838 135 | 0.000 % |
141.01/141.13 c | 187776 | 5841 25017 76050 | 2147483647 186094 135 | 0.000 % |
141.41/141.54 c | 188058 | 5841 25017 76050 | 2147483647 186376 135 | 0.000 % |
141.92/142.01 c | 188368 | 5841 25017 76050 | 2147483647 186686 135 | 0.000 % |
142.41/142.50 c | 188707 | 5841 25017 76050 | 2147483647 187025 135 | 0.000 % |
142.91/143.03 c | 189081 | 5841 25017 76050 | 2147483647 187399 135 | 0.000 % |
143.51/143.63 c | 189493 | 5841 25017 76050 | 2147483647 187811 135 | 0.000 % |
144.11/144.28 c | 189942 | 5841 25017 76050 | 2147483647 188260 135 | 0.000 % |
144.81/144.96 c | 190436 | 5841 25017 76050 | 2147483647 188754 135 | 0.000 % |
145.50/145.66 c | 190979 | 5841 25017 76050 | 2147483647 189297 135 | 0.000 % |
146.31/146.44 c | 191575 | 5841 25017 76050 | 2147483647 189893 135 | 0.000 % |
147.21/147.38 c | 192230 | 5841 25017 76050 | 2147483647 190548 135 | 0.000 % |
148.11/148.27 c | 192950 | 5841 25017 76050 | 2147483647 191268 135 | 0.000 % |
149.21/149.37 c | 193742 | 5841 25017 76050 | 2147483647 192060 135 | 0.000 % |
150.31/150.47 c | 194614 | 5841 25017 76050 | 2147483647 192932 135 | 0.000 % |
151.51/151.66 c | 195572 | 5841 25017 76050 | 2147483647 193890 135 | 0.000 % |
153.00/153.11 c | 196625 | 5841 25017 76050 | 2147483647 194943 135 | 0.000 % |
154.51/154.66 c | 197783 | 5841 25017 76050 | 2147483647 196101 135 | 0.000 % |
156.21/156.32 c | 199056 | 5841 25017 76050 | 2147483647 197374 135 | 0.000 % |
158.11/158.26 c | 200457 | 5841 25017 76050 | 2147483647 198775 135 | 0.000 % |
160.00/160.17 c | 201999 | 5841 25017 76050 | 2147483647 200317 135 | 0.000 % |
162.31/162.40 c | 203694 | 5841 25017 76050 | 2147483647 202012 135 | 0.000 % |
164.60/164.70 c | 205557 | 5841 25017 76050 | 2147483647 203875 136 | 0.000 % |
167.31/167.48 c | 207606 | 5841 25017 76050 | 2147483647 205924 136 | 0.000 % |
167.51/167.63 c | 207706 | 5841 25017 76050 | 2147483647 206024 136 | 0.000 % |
167.70/167.82 c | 207816 | 5841 25017 76050 | 2147483647 206134 136 | 0.000 % |
167.90/168.03 c | 207937 | 5841 25017 76050 | 2147483647 206255 136 | 0.000 % |
168.10/168.25 c | 208070 | 5841 25017 76050 | 2147483647 206388 136 | 0.000 % |
168.31/168.50 c | 208216 | 5841 25017 76050 | 2147483647 206534 136 | 0.000 % |
168.60/168.76 c | 208377 | 5841 25017 76050 | 2147483647 206695 136 | 0.000 % |
168.90/169.06 c | 208554 | 5841 25017 76050 | 2147483647 206872 136 | 0.000 % |
169.20/169.35 c | 208748 | 5841 25017 76050 | 2147483647 207066 136 | 0.000 % |
169.50/169.68 c | 208960 | 5841 25017 76050 | 2147483647 207278 136 | 0.000 % |
169.90/170.02 c | 209193 | 5841 25017 76050 | 2147483647 207511 136 | 0.000 % |
170.20/170.37 c | 209452 | 5841 25017 76050 | 2147483647 207770 136 | 0.000 % |
170.60/170.75 c | 209733 | 5841 25017 76050 | 2147483647 208051 136 | 0.000 % |
171.10/171.22 c | 210045 | 5841 25017 76050 | 2147483647 208363 136 | 0.000 % |
171.60/171.78 c | 210387 | 5841 25017 76050 | 2147483647 208705 136 | 0.000 % |
172.20/172.35 c | 210759 | 5841 25017 76050 | 2147483647 209077 136 | 0.000 % |
172.80/172.95 c | 211169 | 5841 25017 76050 | 2147483647 209487 136 | 0.000 % |
173.40/173.58 c | 211619 | 5841 25017 76050 | 2147483647 209937 136 | 0.000 % |
174.20/174.35 c | 212113 | 5841 25017 76050 | 2147483647 210431 136 | 0.000 % |
175.00/175.19 c | 212655 | 5841 25017 76050 | 2147483647 210973 136 | 0.000 % |
175.90/176.02 c | 213251 | 5841 25017 76050 | 2147483647 211569 136 | 0.000 % |
176.70/176.87 c | 213907 | 5841 25017 76050 | 2147483647 212225 136 | 0.000 % |
177.60/177.77 c | 214627 | 5841 25017 76050 | 2147483647 212945 136 | 0.000 % |
178.69/178.82 c | 215420 | 5841 25017 76050 | 2147483647 213738 136 | 0.000 % |
179.89/180.07 c | 216292 | 5841 25017 76050 | 2147483647 214610 136 | 0.000 % |
181.40/181.54 c | 217250 | 5841 25017 76050 | 2147483647 215568 136 | 0.000 % |
182.80/182.97 c | 218304 | 5841 25017 76050 | 2147483647 216622 136 | 0.000 % |
184.40/184.56 c | 219463 | 5841 25017 76050 | 2147483647 217781 136 | 0.000 % |
185.99/186.18 c | 220739 | 5841 25017 76050 | 2147483647 219057 136 | 0.000 % |
188.00/188.19 c | 222139 | 5841 25017 76050 | 2147483647 220457 136 | 0.000 % |
190.09/190.30 c | 223679 | 5841 25017 76050 | 2147483647 221997 136 | 0.000 % |
192.50/192.67 c | 225373 | 5841 25017 76050 | 2147483647 223691 136 | 0.000 % |
195.09/195.24 c | 227236 | 5841 25017 76050 | 2147483647 225554 137 | 0.000 % |
197.89/198.10 c | 229285 | 5841 25017 76050 | 2147483647 227603 137 | 0.000 % |
201.19/201.32 c | 231541 | 5841 25017 76050 | 2147483647 229859 137 | 0.000 % |
201.39/201.53 c | 231641 | 5841 25017 76050 | 2147483647 229959 137 | 0.000 % |
201.59/201.73 c | 231752 | 5841 25017 76050 | 2147483647 230070 137 | 0.000 % |
201.79/201.97 c | 231876 | 5841 25017 76050 | 2147483647 230194 137 | 0.000 % |
202.09/202.23 c | 232009 | 5841 25017 76050 | 2147483647 230327 137 | 0.000 % |
202.39/202.53 c | 232156 | 5841 25017 76050 | 2147483647 230474 137 | 0.000 % |
202.59/202.79 c | 232317 | 5841 25017 76050 | 2147483647 230635 137 | 0.000 % |
202.89/203.07 c | 232493 | 5841 25017 76050 | 2147483647 230811 137 | 0.000 % |
203.29/203.41 c | 232686 | 5841 25017 76050 | 2147483647 231004 137 | 0.000 % |
203.69/203.81 c | 232899 | 5841 25017 76050 | 2147483647 231217 137 | 0.000 % |
204.09/204.22 c | 233132 | 5841 25017 76050 | 2147483647 231450 137 | 0.000 % |
204.49/204.64 c | 233390 | 5841 25017 76050 | 2147483647 231708 137 | 0.000 % |
204.88/205.08 c | 233671 | 5841 25017 76050 | 2147483647 231989 137 | 0.000 % |
205.38/205.59 c | 233982 | 5841 25017 76050 | 2147483647 232300 137 | 0.000 % |
205.98/206.12 c | 234321 | 5841 25017 76050 | 2147483647 232639 137 | 0.000 % |
206.58/206.75 c | 234693 | 5841 25017 76050 | 2147483647 233011 137 | 0.000 % |
207.28/207.46 c | 235102 | 5841 25017 76050 | 2147483647 233420 137 | 0.000 % |
207.99/208.18 c | 235551 | 5841 25017 76050 | 2147483647 233869 137 | 0.000 % |
208.89/209.02 c | 236044 | 5841 25017 76050 | 2147483647 234362 137 | 0.000 % |
209.79/209.90 c | 236587 | 5841 25017 76050 | 2147483647 234905 137 | 0.000 % |
210.78/210.92 c | 237183 | 5841 25017 76050 | 2147483647 235501 137 | 0.000 % |
211.79/211.94 c | 237838 | 5841 25017 76050 | 2147483647 236156 137 | 0.000 % |
212.88/213.01 c | 238560 | 5841 25017 76050 | 2147483647 236878 137 | 0.000 % |
214.18/214.32 c | 239353 | 5841 25017 76050 | 2147483647 237671 137 | 0.000 % |
215.38/215.60 c | 240225 | 5841 25017 76050 | 2147483647 238543 137 | 0.000 % |
216.98/217.16 c | 241183 | 5841 25017 76050 | 2147483647 239501 137 | 0.000 % |
218.59/218.71 c | 242238 | 5841 25017 76050 | 2147483647 240556 137 | 0.000 % |
220.38/220.53 c | 243397 | 5841 25017 76050 | 2147483647 241715 137 | 0.000 % |
222.18/222.36 c | 244671 | 5841 25017 76050 | 2147483647 242989 137 | 0.000 % |
224.28/224.46 c | 246071 | 5841 25017 76050 | 2147483647 244389 137 | 0.000 % |
226.78/226.98 c | 247614 | 5841 25017 76050 | 2147483647 245932 137 | 0.000 % |
229.47/229.69 c | 249311 | 5841 25017 76050 | 2147483647 247629 137 | 0.000 % |
232.28/232.44 c | 251174 | 5841 25017 76050 | 2147483647 249492 137 | 0.000 % |
235.47/235.65 c | 253223 | 5841 25017 76050 | 2147483647 251541 138 | 0.000 % |
238.98/239.16 c | 255477 | 5841 25017 76050 | 2147483647 253795 138 | 0.000 % |
242.87/243.09 c | 257956 | 5841 25017 76050 | 2147483647 256274 138 | 0.000 % |
243.07/243.30 c | 258056 | 5841 25017 76050 | 2147483647 256374 138 | 0.000 % |
243.47/243.60 c | 258167 | 5841 25017 76050 | 2147483647 256485 138 | 0.000 % |
243.67/243.87 c | 258289 | 5841 25017 76050 | 2147483647 256607 138 | 0.000 % |
243.97/244.14 c | 258422 | 5841 25017 76050 | 2147483647 256740 138 | 0.000 % |
244.27/244.43 c | 258568 | 5841 25017 76050 | 2147483647 256886 138 | 0.000 % |
244.57/244.79 c | 258729 | 5841 25017 76050 | 2147483647 257047 138 | 0.000 % |
244.97/245.12 c | 258906 | 5841 25017 76050 | 2147483647 257224 138 | 0.000 % |
245.27/245.49 c | 259100 | 5841 25017 76050 | 2147483647 257418 138 | 0.000 % |
245.67/245.87 c | 259315 | 5841 25017 76050 | 2147483647 257633 138 | 0.000 % |
246.17/246.37 c | 259549 | 5841 25017 76050 | 2147483647 257867 138 | 0.000 % |
246.77/246.90 c | 259806 | 5841 25017 76050 | 2147483647 258124 138 | 0.000 % |
247.27/247.43 c | 260088 | 5841 25017 76050 | 2147483647 258406 138 | 0.000 % |
247.87/248.05 c | 260397 | 5841 25017 76050 | 2147483647 258715 138 | 0.000 % |
248.58/248.71 c | 260737 | 5841 25017 76050 | 2147483647 259055 138 | 0.000 % |
249.27/249.43 c | 261109 | 5841 25017 76050 | 2147483647 259427 138 | 0.000 % |
249.97/250.13 c | 261518 | 5841 25017 76050 | 2147483647 259836 138 | 0.000 % |
250.87/251.01 c | 261968 | 5841 25017 76050 | 2147483647 260286 138 | 0.000 % |
251.67/251.89 c | 262461 | 5841 25017 76050 | 2147483647 260779 138 | 0.000 % |
252.77/252.90 c | 263003 | 5841 25017 76050 | 2147483647 261321 138 | 0.000 % |
253.86/254.07 c | 263599 | 5841 25017 76050 | 2147483647 261917 138 | 0.000 % |
255.07/255.27 c | 264254 | 5841 25017 76050 | 2147483647 262572 138 | 0.000 % |
256.27/256.46 c | 264974 | 5841 25017 76050 | 2147483647 263292 138 | 0.000 % |
257.66/257.83 c | 265766 | 5841 25017 76050 | 2147483647 264084 138 | 0.000 % |
259.16/259.31 c | 266638 | 5841 25017 76050 | 2147483647 264956 138 | 0.000 % |
260.76/260.96 c | 267597 | 5841 25017 76050 | 2147483647 265915 138 | 0.000 % |
262.66/262.86 c | 268650 | 5841 25017 76050 | 2147483647 266968 138 | 0.000 % |
264.66/264.84 c | 269810 | 5841 25017 76050 | 2147483647 268128 138 | 0.000 % |
266.97/267.15 c | 271086 | 5841 25017 76050 | 2147483647 269404 138 | 0.000 % |
269.37/269.60 c | 272486 | 5841 25017 76050 | 2147483647 270804 138 | 0.000 % |
272.06/272.22 c | 274028 | 5841 25017 76050 | 2147483647 272346 138 | 0.000 % |
275.26/275.40 c | 275723 | 5841 25017 76050 | 2147483647 274041 138 | 0.000 % |
278.55/278.74 c | 277586 | 5841 25017 76050 | 2147483647 275904 138 | 0.000 % |
282.36/282.55 c | 279637 | 5841 25017 76050 | 2147483647 277955 138 | 0.000 % |
286.46/286.61 c | 281891 | 5841 25017 76050 | 2147483647 280209 138 | 0.000 % |
290.85/291.00 c | 284369 | 5841 25017 76050 | 2147483647 282687 138 | 0.000 % |
295.36/295.57 c | 287095 | 5841 25017 76050 | 2147483647 285413 138 | 0.000 % |
295.66/295.84 c | 287195 | 5841 25017 76050 | 2147483647 285513 138 | 0.000 % |
295.86/296.07 c | 287306 | 5841 25017 76050 | 2147483647 285624 138 | 0.000 % |
296.16/296.39 c | 287428 | 5841 25017 76050 | 2147483647 285746 138 | 0.000 % |
296.46/296.67 c | 287564 | 5841 25017 76050 | 2147483647 285882 138 | 0.000 % |
296.86/297.03 c | 287710 | 5841 25017 76050 | 2147483647 286028 138 | 0.000 % |
297.25/297.42 c | 287872 | 5841 25017 76050 | 2147483647 286190 138 | 0.000 % |
297.65/297.80 c | 288048 | 5841 25017 76050 | 2147483647 286366 138 | 0.000 % |
298.06/298.23 c | 288241 | 5841 25017 76050 | 2147483647 286559 138 | 0.000 % |
298.55/298.70 c | 288454 | 5841 25017 76050 | 2147483647 286772 138 | 0.000 % |
299.06/299.21 c | 288687 | 5841 25017 76050 | 2147483647 287005 138 | 0.000 % |
299.55/299.71 c | 288946 | 5841 25017 76050 | 2147483647 287264 138 | 0.000 % |
300.16/300.38 c | 289227 | 5841 25017 76050 | 2147483647 287545 138 | 0.000 % |
300.85/301.01 c | 289537 | 5841 25017 76050 | 2147483647 287855 138 | 0.000 % |
301.55/301.73 c | 289879 | 5841 25017 76050 | 2147483647 288197 138 | 0.000 % |
302.25/302.49 c | 290252 | 5841 25017 76050 | 2147483647 288570 138 | 0.000 % |
303.15/303.30 c | 290661 | 5841 25017 76050 | 2147483647 288979 138 | 0.000 % |
304.05/304.25 c | 291110 | 5841 25017 76050 | 2147483647 289428 138 | 0.000 % |
305.04/305.20 c | 291604 | 5841 25017 76050 | 2147483647 289922 138 | 0.000 % |
306.05/306.22 c | 292147 | 5841 25017 76050 | 2147483647 290465 138 | 0.000 % |
307.15/307.36 c | 292743 | 5841 25017 76050 | 2147483647 291061 138 | 0.000 % |
308.25/308.50 c | 293399 | 5841 25017 76050 | 2147483647 291717 138 | 0.000 % |
309.75/309.94 c | 294120 | 5841 25017 76050 | 2147483647 292438 138 | 0.000 % |
311.15/311.39 c | 294913 | 5841 25017 76050 | 2147483647 293231 138 | 0.000 % |
312.94/313.12 c | 295784 | 5841 25017 76050 | 2147483647 294102 138 | 0.000 % |
314.84/315.05 c | 296745 | 5841 25017 76050 | 2147483647 295063 138 | 0.000 % |
316.84/317.03 c | 297798 | 5841 25017 76050 | 2147483647 296116 138 | 0.000 % |
318.94/319.13 c | 298956 | 5841 25017 76050 | 2147483647 297274 138 | 0.000 % |
321.15/321.37 c | 300229 | 5841 25017 76050 | 2147483647 298547 138 | 0.000 % |
323.74/323.97 c | 301629 | 5841 25017 76050 | 2147483647 299947 138 | 0.000 % |
326.64/326.81 c | 303173 | 5841 25017 76050 | 2147483647 301491 138 | 0.000 % |
329.64/329.85 c | 304868 | 5841 25017 76050 | 2147483647 303186 139 | 0.000 % |
333.04/333.28 c | 306734 | 5841 25017 76050 | 2147483647 305052 139 | 0.000 % |
337.04/337.22 c | 308783 | 5841 25017 76050 | 2147483647 307101 139 | 0.000 % |
341.33/341.54 c | 311039 | 5841 25017 76050 | 2147483647 309357 139 | 0.000 % |
346.24/346.48 c | 313518 | 5841 25017 76050 | 2147483647 311836 139 | 0.000 % |
351.44/351.66 c | 316245 | 5841 25017 76050 | 2147483647 314563 139 | 0.000 % |
357.03/357.25 c | 319242 | 5841 25017 76050 | 2147483647 317560 139 | 0.000 % |
357.23/357.47 c | 319342 | 5841 25017 76050 | 2147483647 317660 139 | 0.000 % |
357.53/357.73 c | 319452 | 5841 25017 76050 | 2147483647 317770 139 | 0.000 % |
357.83/358.03 c | 319575 | 5841 25017 76050 | 2147483647 317893 139 | 0.000 % |
358.23/358.46 c | 319708 | 5841 25017 76050 | 2147483647 318026 139 | 0.000 % |
358.63/358.85 c | 319855 | 5841 25017 76050 | 2147483647 318173 139 | 0.000 % |
359.03/359.21 c | 320016 | 5841 25017 76050 | 2147483647 318334 139 | 0.000 % |
359.43/359.68 c | 320192 | 5841 25017 76050 | 2147483647 318510 139 | 0.000 % |
359.93/360.15 c | 320385 | 5841 25017 76050 | 2147483647 318703 139 | 0.000 % |
360.43/360.64 c | 320597 | 5841 25017 76050 | 2147483647 318915 139 | 0.000 % |
361.03/361.22 c | 320832 | 5841 25017 76050 | 2147483647 319150 139 | 0.000 % |
361.53/361.78 c | 321088 | 5841 25017 76050 | 2147483647 319406 139 | 0.000 % |
362.34/362.55 c | 321369 | 5841 25017 76050 | 2147483647 319687 139 | 0.000 % |
363.03/363.27 c | 321678 | 5841 25017 76050 | 2147483647 319996 139 | 0.000 % |
363.83/364.05 c | 322017 | 5841 25017 76050 | 2147483647 320335 139 | 0.000 % |
364.73/364.93 c | 322389 | 5841 25017 76050 | 2147483647 320707 139 | 0.000 % |
365.63/365.88 c | 322799 | 5841 25017 76050 | 2147483647 321117 139 | 0.000 % |
366.63/366.81 c | 323249 | 5841 25017 76050 | 2147483647 321567 139 | 0.000 % |
367.63/367.88 c | 323742 | 5841 25017 76050 | 2147483647 322060 139 | 0.000 % |
368.83/369.04 c | 324286 | 5841 25017 76050 | 2147483647 322604 139 | 0.000 % |
370.12/370.36 c | 324882 | 5841 25017 76050 | 2147483647 323200 139 | 0.000 % |
371.52/371.70 c | 325539 | 5841 25017 76050 | 2147483647 323857 139 | 0.000 % |
373.13/373.31 c | 326262 | 5841 25017 76050 | 2147483647 324580 139 | 0.000 % |
374.83/375.09 c | 327055 | 5841 25017 76050 | 2147483647 325373 139 | 0.000 % |
376.82/377.01 c | 327927 | 5841 25017 76050 | 2147483647 326245 139 | 0.000 % |
378.72/378.91 c | 328887 | 5841 25017 76050 | 2147483647 327205 139 | 0.000 % |
380.93/381.10 c | 329940 | 5841 25017 76050 | 2147483647 328258 139 | 0.000 % |
383.73/383.97 c | 331098 | 5841 25017 76050 | 328318 286583 139 | 0.000 % |
386.13/386.32 c | 332373 | 5841 25017 76050 | 328318 287858 139 | 0.000 % |
388.72/388.99 c | 333773 | 5841 25017 76050 | 328318 289258 139 | 0.000 % |
391.62/391.81 c | 335314 | 5841 25017 76050 | 328318 290799 139 | 0.000 % |
394.52/394.73 c | 337008 | 5841 25017 76050 | 328318 292493 139 | 0.000 % |
398.02/398.22 c | 338871 | 5841 25017 76050 | 328318 294356 139 | 0.000 % |
401.62/401.84 c | 340921 | 5841 25017 76050 | 2147483647 296406 139 | 0.000 % |
405.62/405.84 c | 343176 | 5841 25017 76050 | 2147483647 298661 140 | 0.000 % |
410.22/410.46 c | 345654 | 5841 25017 76050 | 2147483647 301139 140 | 0.000 % |
415.42/415.64 c | 348381 | 5841 25017 76050 | 2147483647 303866 140 | 0.000 % |
420.71/420.94 c | 351379 | 5841 25017 76050 | 2147483647 306864 140 | 0.000 % |
426.91/427.15 c | 354675 | 5841 25017 76050 | 2147483647 310160 141 | 0.000 % |
427.21/427.40 c | 354776 | 5841 25017 76050 | 2147483647 310261 141 | 0.000 % |
427.41/427.66 c | 354886 | 5841 25017 76050 | 2147483647 310371 141 | 0.000 % |
427.72/427.96 c | 355008 | 5841 25017 76050 | 2147483647 310493 141 | 0.000 % |
428.11/428.33 c | 355141 | 5841 25017 76050 | 2147483647 310626 141 | 0.000 % |
428.41/428.69 c | 355287 | 5841 25017 76050 | 2147483647 310772 141 | 0.000 % |
428.81/429.07 c | 355447 | 5841 25017 76050 | 2147483647 310932 141 | 0.000 % |
429.31/429.51 c | 355623 | 5841 25017 76050 | 2147483647 311108 140 | 0.000 % |
429.71/429.97 c | 355818 | 5841 25017 76050 | 2147483647 311303 140 | 0.000 % |
430.21/430.46 c | 356030 | 5841 25017 76050 | 2147483647 311515 140 | 0.000 % |
430.91/431.15 c | 356266 | 5841 25017 76050 | 2147483647 311751 140 | 0.000 % |
431.51/431.75 c | 356522 | 5841 25017 76050 | 2147483647 312007 140 | 0.000 % |
432.21/432.43 c | 356803 | 5841 25017 76050 | 2147483647 312288 140 | 0.000 % |
432.81/433.08 c | 357114 | 5841 25017 76050 | 2147483647 312599 140 | 0.000 % |
433.60/433.83 c | 357453 | 5841 25017 76050 | 2147483647 312938 140 | 0.000 % |
434.41/434.61 c | 357825 | 5841 25017 76050 | 2147483647 313310 140 | 0.000 % |
435.20/435.48 c | 358234 | 5841 25017 76050 | 2147483647 313719 140 | 0.000 % |
436.10/436.35 c | 358683 | 5841 25017 76050 | 2147483647 314168 140 | 0.000 % |
437.10/437.36 c | 359176 | 5841 25017 76050 | 2147483647 314661 140 | 0.000 % |
438.20/438.49 c | 359718 | 5841 25017 76050 | 2147483647 315203 140 | 0.000 % |
439.50/439.76 c | 360318 | 5841 25017 76050 | 2147483647 315803 140 | 0.000 % |
440.91/441.14 c | 360973 | 5841 25017 76050 | 2147483647 316458 140 | 0.000 % |
442.30/442.50 c | 361695 | 5841 25017 76050 | 2147483647 317180 140 | 0.000 % |
443.80/444.03 c | 362487 | 5841 25017 76050 | 2147483647 317972 140 | 0.000 % |
445.50/445.73 c | 363359 | 5841 25017 76050 | 2147483647 318844 140 | 0.000 % |
447.51/447.71 c | 364318 | 5841 25017 76050 | 2147483647 319803 140 | 0.000 % |
449.70/450.00 c | 365372 | 5841 25017 76050 | 2147483647 320857 141 | 0.000 % |
452.10/452.35 c | 366533 | 5841 25017 76050 | 2147483647 322018 140 | 0.000 % |
454.80/455.01 c | 367806 | 5841 25017 76050 | 2147483647 323291 140 | 0.000 % |
457.40/457.65 c | 369206 | 5841 25017 76050 | 2147483647 324691 141 | 0.000 % |
460.49/460.76 c | 370746 | 5841 25017 76050 | 325487 326231 141 | 0.000 % |
463.89/464.15 c | 372443 | 5841 25017 76050 | 325487 294357 141 | 0.000 % |
467.49/467.71 c | 374307 | 5841 25017 76050 | 325487 296221 141 | 0.000 % |
471.19/471.41 c | 376357 | 5841 25017 76050 | 325487 298271 141 | 0.000 % |
475.19/475.42 c | 378612 | 5841 25017 76050 | 325487 300526 142 | 0.000 % |
479.79/480.00 c | 381092 | 5841 25017 76050 | 2147483647 303006 142 | 0.000 % |
484.89/485.19 c | 383817 | 5841 25017 76050 | 2147483647 305731 142 | 0.000 % |
490.28/490.57 c | 386814 | 5841 25017 76050 | 2147483647 308728 142 | 0.000 % |
496.38/496.63 c | 390110 | 5841 25017 76050 | 2147483647 312024 142 | 0.000 % |
503.48/503.72 c | 393736 | 5841 25017 76050 | 2147483647 315650 142 | 0.000 % |
503.68/503.96 c | 393838 | 5841 25017 76050 | 2147483647 315752 142 | 0.000 % |
503.98/504.26 c | 393951 | 5841 25017 76050 | 2147483647 315865 142 | 0.000 % |
504.28/504.56 c | 394072 | 5841 25017 76050 | 2147483647 315986 142 | 0.000 % |
504.68/504.92 c | 394205 | 5841 25017 76050 | 2147483647 316119 142 | 0.000 % |
504.98/505.24 c | 394351 | 5841 25017 76050 | 2147483647 316265 142 | 0.000 % |
505.38/505.65 c | 394511 | 5841 25017 76050 | 2147483647 316425 142 | 0.000 % |
505.88/506.13 c | 394688 | 5841 25017 76050 | 2147483647 316602 142 | 0.000 % |
506.28/506.59 c | 394881 | 5841 25017 76050 | 2147483647 316795 142 | 0.000 % |
506.78/507.09 c | 395094 | 5841 25017 76050 | 2147483647 317008 142 | 0.000 % |
507.38/507.67 c | 395328 | 5841 25017 76050 | 2147483647 317242 142 | 0.000 % |
507.98/508.24 c | 395585 | 5841 25017 76050 | 2147483647 317499 142 | 0.000 % |
508.78/509.00 c | 395866 | 5841 25017 76050 | 2147483647 317780 142 | 0.000 % |
509.38/509.69 c | 396175 | 5841 25017 76050 | 2147483647 318089 142 | 0.000 % |
510.28/510.51 c | 396514 | 5841 25017 76050 | 2147483647 318428 142 | 0.000 % |
511.08/511.38 c | 396886 | 5841 25017 76050 | 2147483647 318800 142 | 0.000 % |
511.98/512.26 c | 397296 | 5841 25017 76050 | 2147483647 319210 142 | 0.000 % |
512.98/513.20 c | 397747 | 5841 25017 76050 | 2147483647 319661 142 | 0.000 % |
513.97/514.24 c | 398240 | 5841 25017 76050 | 2147483647 320154 142 | 0.000 % |
515.07/515.35 c | 398783 | 5841 25017 76050 | 2147483647 320697 142 | 0.000 % |
516.28/516.59 c | 399380 | 5841 25017 76050 | 2147483647 321294 142 | 0.000 % |
517.67/517.90 c | 400036 | 5841 25017 76050 | 321915 321950 142 | 0.000 % |
519.37/519.68 c | 400756 | 5841 25017 76050 | 321915 287966 142 | 0.000 % |
520.97/521.21 c | 401550 | 5841 25017 76050 | 321915 288760 142 | 0.000 % |
522.77/523.01 c | 402422 | 5841 25017 76050 | 321915 289632 142 | 0.000 % |
524.58/524.83 c | 403381 | 5841 25017 76050 | 321915 290591 142 | 0.000 % |
526.57/526.89 c | 404434 | 5841 25017 76050 | 321915 291644 142 | 0.000 % |
528.77/529.06 c | 405592 | 5841 25017 76050 | 321915 292802 142 | 0.000 % |
531.27/531.53 c | 406866 | 5841 25017 76050 | 321915 294076 142 | 0.000 % |
533.77/534.05 c | 408266 | 5841 25017 76050 | 321915 295476 142 | 0.000 % |
536.67/536.93 c | 409807 | 5841 25017 76050 | 321915 297017 142 | 0.000 % |
540.07/540.31 c | 411502 | 5841 25017 76050 | 2147483647 298712 142 | 0.000 % |
543.76/544.03 c | 413365 | 5841 25017 76050 | 2147483647 300575 142 | 0.000 % |
547.67/547.90 c | 415414 | 5841 25017 76050 | 2147483647 302624 142 | 0.000 % |
551.86/552.18 c | 417667 | 5841 25017 76050 | 2147483647 304877 142 | 0.000 % |
556.56/556.90 c | 420146 | 5841 25017 76050 | 2147483647 307356 142 | 0.000 % |
561.46/561.71 c | 422872 | 5841 25017 76050 | 2147483647 310082 143 | 0.000 % |
567.06/567.38 c | 425870 | 5841 25017 76050 | 2147483647 313080 143 | 0.000 % |
573.46/573.73 c | 429168 | 5841 25017 76050 | 2147483647 316378 143 | 0.000 % |
580.75/581.04 c | 432793 | 5841 25017 76050 | 2147483647 320003 143 | 0.000 % |
588.15/588.50 c | 436780 | 5841 25017 76050 | 2147483647 323990 143 | 0.000 % |
588.45/588.71 c | 436881 | 5841 25017 76050 | 2147483647 324091 143 | 0.000 % |
588.65/588.97 c | 436994 | 5841 25017 76050 | 2147483647 324204 143 | 0.000 % |
589.05/589.33 c | 437116 | 5841 25017 76050 | 2147483647 324326 143 | 0.000 % |
589.37/589.70 c | 437251 | 5841 25017 76050 | 2147483647 324461 143 | 0.000 % |
589.76/590.03 c | 437397 | 5841 25017 76050 | 2147483647 324607 143 | 0.000 % |
590.16/590.42 c | 437559 | 5841 25017 76050 | 2147483647 324769 143 | 0.000 % |
590.66/590.91 c | 437736 | 5841 25017 76050 | 2147483647 324946 143 | 0.000 % |
591.06/591.36 c | 437931 | 5841 25017 76050 | 2147483647 325141 143 | 0.000 % |
591.57/591.88 c | 438145 | 5841 25017 76050 | 2147483647 325355 143 | 0.000 % |
592.06/592.37 c | 438380 | 5841 25017 76050 | 2147483647 325590 143 | 0.000 % |
592.67/592.94 c | 438636 | 5841 25017 76050 | 2147483647 325846 143 | 0.000 % |
593.26/593.57 c | 438918 | 5841 25017 76050 | 2147483647 326128 143 | 0.000 % |
593.96/594.29 c | 439227 | 5841 25017 76050 | 2147483647 326437 143 | 0.000 % |
594.76/595.09 c | 439566 | 5841 25017 76050 | 2147483647 326776 143 | 0.000 % |
595.66/595.93 c | 439938 | 5841 25017 76050 | 2147483647 327148 143 | 0.000 % |
596.56/596.82 c | 440347 | 5841 25017 76050 | 327211 327557 143 | 0.000 % |
597.76/598.03 c | 440797 | 5841 25017 76050 | 327211 294307 143 | 0.000 % |
598.66/598.98 c | 441292 | 5841 25017 76050 | 327211 294802 143 | 0.000 % |
599.76/600.04 c | 441834 | 5841 25017 76050 | 327211 295344 143 | 0.000 % |
600.86/601.19 c | 442431 | 5841 25017 76050 | 327211 295941 143 | 0.000 % |
602.26/602.55 c | 443087 | 5841 25017 76050 | 327211 296597 143 | 0.000 % |
603.76/604.10 c | 443807 | 5841 25017 76050 | 327211 297317 143 | 0.000 % |
605.45/605.76 c | 444602 | 5841 25017 76050 | 327211 298112 143 | 0.000 % |
607.15/607.45 c | 445473 | 5841 25017 76050 | 327211 298983 143 | 0.000 % |
609.05/609.33 c | 446432 | 5841 25017 76050 | 327211 299942 143 | 0.000 % |
610.95/611.28 c | 447485 | 5841 25017 76050 | 327211 300995 143 | 0.000 % |
613.25/613.53 c | 448645 | 5841 25017 76050 | 327211 302155 143 | 0.000 % |
615.75/616.06 c | 449918 | 5841 25017 76050 | 327211 303428 143 | 0.000 % |
618.15/618.47 c | 451318 | 5841 25017 76050 | 2147483647 304828 143 | 0.000 % |
620.75/621.09 c | 452858 | 5841 25017 76050 | 2147483647 306368 144 | 0.000 % |
623.95/624.27 c | 454552 | 5841 25017 76050 | 2147483647 308062 144 | 0.000 % |
627.65/627.90 c | 456416 | 5841 25017 76050 | 2147483647 309926 144 | 0.000 % |
631.45/631.76 c | 458465 | 5841 25017 76050 | 2147483647 311975 144 | 0.000 % |
635.65/635.93 c | 460718 | 5841 25017 76050 | 2147483647 314228 144 | 0.000 % |
640.34/640.66 c | 463197 | 5841 25017 76050 | 2147483647 316707 144 | 0.000 % |
645.34/645.63 c | 465922 | 5841 25017 76050 | 2147483647 319432 144 | 0.000 % |
651.04/651.33 c | 468922 | 5841 25017 76050 | 2147483647 322432 144 | 0.000 % |
657.03/657.35 c | 472218 | 5841 25017 76050 | 2147483647 325728 144 | 0.000 % |
664.24/664.57 c | 475844 | 5841 25017 76050 | 2147483647 329354 144 | 0.000 % |
671.84/672.19 c | 479831 | 5841 25017 76050 | 2147483647 333341 145 | 0.000 % |
680.73/681.02 c | 484216 | 5841 25017 76050 | 2147483647 337726 145 | 0.000 % |
680.92/681.29 c | 484316 | 5841 25017 76050 | 2147483647 337826 145 | 0.000 % |
681.22/681.58 c | 484426 | 5841 25017 76050 | 2147483647 337936 145 | 0.000 % |
681.52/681.90 c | 484550 | 5841 25017 76050 | 2147483647 338060 145 | 0.000 % |
682.02/682.32 c | 484683 | 5841 25017 76050 | 2147483647 338193 145 | 0.000 % |
682.42/682.72 c | 484829 | 5841 25017 76050 | 2147483647 338339 145 | 0.000 % |
682.83/683.11 c | 484989 | 5841 25017 76050 | 2147483647 338499 145 | 0.000 % |
683.23/683.53 c | 485165 | 5841 25017 76050 | 2147483647 338675 145 | 0.000 % |
683.73/684.00 c | 485359 | 5841 25017 76050 | 2147483647 338869 145 | 0.000 % |
684.23/684.51 c | 485574 | 5841 25017 76050 | 2147483647 339084 145 | 0.000 % |
684.83/685.15 c | 485808 | 5841 25017 76050 | 2147483647 339318 145 | 0.000 % |
685.43/685.79 c | 486064 | 5841 25017 76050 | 2147483647 339574 145 | 0.000 % |
686.13/686.50 c | 486348 | 5841 25017 76050 | 2147483647 339858 145 | 0.000 % |
686.93/687.28 c | 486659 | 5841 25017 76050 | 2147483647 340169 145 | 0.000 % |
687.73/688.05 c | 487002 | 5841 25017 76050 | 2147483647 340512 145 | 0.000 % |
688.63/688.98 c | 487374 | 5841 25017 76050 | 2147483647 340884 145 | 0.000 % |
689.53/689.88 c | 487784 | 5841 25017 76050 | 2147483647 341294 145 | 0.000 % |
690.63/690.90 c | 488233 | 5841 25017 76050 | 2147483647 341743 145 | 0.000 % |
691.63/691.96 c | 488729 | 5841 25017 76050 | 2147483647 342239 145 | 0.000 % |
692.83/693.15 c | 489271 | 5841 25017 76050 | 2147483647 342781 145 | 0.000 % |
694.23/694.50 c | 489867 | 5841 25017 76050 | 2147483647 343377 145 | 0.000 % |
695.63/695.92 c | 490522 | 5841 25017 76050 | 343510 344032 145 | 0.000 % |
697.53/697.80 c | 491242 | 5841 25017 76050 | 343510 298911 146 | 0.000 % |
698.92/699.23 c | 492035 | 5841 25017 76050 | 343510 299704 146 | 0.000 % |
700.62/700.94 c | 492907 | 5841 25017 76050 | 343510 300576 146 | 0.000 % |
702.63/702.92 c | 493866 | 5841 25017 76050 | 343510 301535 146 | 0.000 % |
704.62/704.92 c | 494919 | 5841 25017 76050 | 343510 302588 146 | 0.000 % |
706.82/707.19 c | 496079 | 5841 25017 76050 | 343510 303748 146 | 0.000 % |
709.52/709.88 c | 497354 | 5841 25017 76050 | 343510 305023 146 | 0.000 % |
712.42/712.75 c | 498755 | 5841 25017 76050 | 343510 306424 146 | 0.000 % |
715.42/715.76 c | 500295 | 5841 25017 76050 | 307669 307964 146 | 0.000 % |
718.92/719.27 c | 501989 | 5841 25017 76050 | 307669 278261 147 | 0.000 % |
722.42/722.79 c | 503852 | 5841 25017 76050 | 307669 280124 147 | 0.000 % |
726.11/726.42 c | 505902 | 5841 25017 76050 | 307669 282174 147 | 0.000 % |
730.22/730.57 c | 508155 | 5841 25017 76050 | 307669 284427 147 | 0.000 % |
734.71/735.00 c | 510633 | 5841 25017 76050 | 2147483647 286905 147 | 0.000 % |
739.21/739.57 c | 513358 | 5841 25017 76050 | 2147483647 289630 147 | 0.000 % |
744.31/744.61 c | 516357 | 5841 25017 76050 | 2147483647 292629 148 | 0.000 % |
750.31/750.65 c | 519654 | 5841 25017 76050 | 2147483647 295926 148 | 0.000 % |
756.70/757.08 c | 523279 | 5841 25017 76050 | 2147483647 299551 148 | 0.000 % |
763.90/764.29 c | 527266 | 5841 25017 76050 | 2147483647 303538 148 | 0.000 % |
772.30/772.66 c | 531651 | 5841 25017 76050 | 2147483647 307923 148 | 0.000 % |
781.40/781.76 c | 536474 | 5841 25017 76050 | 2147483647 312746 148 | 0.000 % |
781.70/782.00 c | 536574 | 5841 25017 76050 | 2147483647 312846 148 | 0.000 % |
782.00/782.32 c | 536684 | 5841 25017 76050 | 2147483647 312956 148 | 0.000 % |
782.30/782.65 c | 536805 | 5841 25017 76050 | 2147483647 313077 148 | 0.000 % |
782.60/782.99 c | 536938 | 5841 25017 76050 | 2147483647 313210 148 | 0.000 % |
783.00/783.37 c | 537084 | 5841 25017 76050 | 2147483647 313356 148 | 0.000 % |
783.50/783.81 c | 537246 | 5841 25017 76050 | 2147483647 313518 148 | 0.000 % |
783.79/784.19 c | 537423 | 5841 25017 76050 | 2147483647 313695 148 | 0.000 % |
784.29/784.68 c | 537616 | 5841 25017 76050 | 2147483647 313888 148 | 0.000 % |
784.89/785.21 c | 537829 | 5841 25017 76050 | 2147483647 314101 148 | 0.000 % |
785.39/785.76 c | 538062 | 5841 25017 76050 | 2147483647 314334 148 | 0.000 % |
786.09/786.41 c | 538320 | 5841 25017 76050 | 2147483647 314592 148 | 0.000 % |
786.79/787.10 c | 538601 | 5841 25017 76050 | 2147483647 314873 148 | 0.000 % |
787.49/787.87 c | 538910 | 5841 25017 76050 | 2147483647 315182 148 | 0.000 % |
788.29/788.67 c | 539249 | 5841 25017 76050 | 2147483647 315521 148 | 0.000 % |
789.19/789.50 c | 539621 | 5841 25017 76050 | 2147483647 315893 148 | 0.000 % |
790.00/790.37 c | 540031 | 5841 25017 76050 | 2147483647 316303 148 | 0.000 % |
790.99/791.37 c | 540480 | 5841 25017 76050 | 2147483647 316752 148 | 0.000 % |
792.09/792.49 c | 540973 | 5841 25017 76050 | 2147483647 317245 148 | 0.000 % |
793.29/793.61 c | 541516 | 5841 25017 76050 | 2147483647 317788 148 | 0.000 % |
794.69/795.03 c | 542112 | 5841 25017 76050 | 2147483647 318384 148 | 0.000 % |
795.99/796.38 c | 542769 | 5841 25017 76050 | 2147483647 319041 148 | 0.000 % |
797.49/797.82 c | 543489 | 5841 25017 76050 | 2147483647 319761 148 | 0.000 % |
799.09/799.44 c | 544282 | 5841 25017 76050 | 2147483647 320554 148 | 0.000 % |
800.99/801.30 c | 545155 | 5841 25017 76050 | 2147483647 321427 148 | 0.000 % |
803.09/803.45 c | 546113 | 5841 25017 76050 | 2147483647 322385 148 | 0.000 % |
805.29/805.60 c | 547166 | 5841 25017 76050 | 2147483647 323438 148 | 0.000 % |
807.39/807.78 c | 548324 | 5841 25017 76050 | 2147483647 324596 148 | 0.000 % |
810.08/810.42 c | 549597 | 5841 25017 76050 | 2147483647 325869 148 | 0.000 % |
813.48/813.89 c | 550997 | 5841 25017 76050 | 326272 291708 147 | 0.000 % |
816.48/816.87 c | 552538 | 5841 25017 76050 | 326272 293249 147 | 0.000 % |
819.98/820.33 c | 554233 | 5841 25017 76050 | 326272 294944 147 | 0.000 % |
823.48/823.86 c | 556096 | 5841 25017 76050 | 326272 296807 147 | 0.000 % |
827.58/827.97 c | 558145 | 5841 25017 76050 | 326272 298856 147 | 0.000 % |
831.78/832.17 c | 560398 | 5841 25017 76050 | 2147483647 301109 147 | 0.000 % |
836.27/836.69 c | 562876 | 5841 25017 76050 | 2147483647 303587 147 | 0.000 % |
841.28/841.64 c | 565602 | 5841 25017 76050 | 2147483647 306313 148 | 0.000 % |
846.97/847.30 c | 568599 | 5841 25017 76050 | 2147483647 309310 148 | 0.000 % |
853.47/853.83 c | 571895 | 5841 25017 76050 | 2147483647 312606 148 | 0.000 % |
859.97/860.31 c | 575520 | 5841 25017 76050 | 2147483647 316231 148 | 0.000 % |
868.16/868.58 c | 579507 | 5841 25017 76050 | 2147483647 320218 148 | 0.000 % |
876.86/877.22 c | 583893 | 5841 25017 76050 | 2147483647 324604 148 | 0.000 % |
886.16/886.51 c | 588717 | 5841 25017 76050 | 2147483647 329428 149 | 0.000 % |
896.55/896.93 c | 594025 | 5841 25017 76050 | 330711 300127 150 | 0.000 % |
896.85/897.22 c | 594126 | 5841 25017 76050 | 330711 300228 150 | 0.000 % |
897.05/897.49 c | 594236 | 5841 25017 76050 | 330711 300338 150 | 0.000 % |
897.36/897.79 c | 594357 | 5841 25017 76050 | 330711 300459 150 | 0.000 % |
897.65/898.09 c | 594490 | 5841 25017 76050 | 330711 300592 150 | 0.000 % |
898.05/898.48 c | 594636 | 5841 25017 76050 | 330711 300738 150 | 0.000 % |
898.45/898.84 c | 594796 | 5841 25017 76050 | 330711 300898 150 | 0.000 % |
898.86/899.28 c | 594972 | 5841 25017 76050 | 330711 301074 150 | 0.000 % |
899.36/899.74 c | 595165 | 5841 25017 76050 | 330711 301267 150 | 0.000 % |
899.86/900.25 c | 595378 | 5841 25017 76050 | 330711 301480 150 | 0.000 % |
900.46/900.80 c | 595611 | 5841 25017 76050 | 330711 301713 150 | 0.000 % |
900.96/901.37 c | 595868 | 5841 25017 76050 | 330711 301970 150 | 0.000 % |
901.56/901.97 c | 596149 | 5841 25017 76050 | 330711 302251 150 | 0.000 % |
902.26/902.66 c | 596458 | 5841 25017 76050 | 330711 302560 150 | 0.000 % |
903.06/903.42 c | 596797 | 5841 25017 76050 | 330711 302899 150 | 0.000 % |
903.86/904.27 c | 597170 | 5841 25017 76050 | 330711 303272 150 | 0.000 % |
904.75/905.16 c | 597580 | 5841 25017 76050 | 330711 303682 150 | 0.000 % |
905.85/906.27 c | 598031 | 5841 25017 76050 | 330711 304133 150 | 0.000 % |
906.95/907.37 c | 598524 | 5841 25017 76050 | 330711 304626 150 | 0.000 % |
908.05/908.47 c | 599066 | 5841 25017 76050 | 330711 305168 150 | 0.000 % |
909.36/909.72 c | 599663 | 5841 25017 76050 | 330711 305765 150 | 0.000 % |
910.75/911.11 c | 600320 | 5841 25017 76050 | 306109 306422 150 | 0.000 % |
912.45/912.81 c | 601040 | 5841 25017 76050 | 306109 274574 151 | 0.000 % |
913.95/914.38 c | 601833 | 5841 25017 76050 | 306109 275367 151 | 0.000 % |
915.55/915.99 c | 602704 | 5841 25017 76050 | 306109 276238 151 | 0.000 % |
917.25/917.65 c | 603662 | 5841 25017 76050 | 306109 277196 151 | 0.000 % |
919.15/919.54 c | 604715 | 5841 25017 76050 | 306109 278249 151 | 0.000 % |
921.25/921.62 c | 605874 | 5841 25017 76050 | 306109 279408 151 | 0.000 % |
923.55/923.94 c | 607150 | 5841 25017 76050 | 306109 280684 151 | 0.000 % |
926.35/926.73 c | 608550 | 5841 25017 76050 | 306109 282084 151 | 0.000 % |
929.44/929.88 c | 610092 | 5841 25017 76050 | 2147483647 283626 151 | 0.000 % |
932.55/932.99 c | 611787 | 5841 25017 76050 | 2147483647 285321 151 | 0.000 % |
935.94/936.36 c | 613651 | 5841 25017 76050 | 2147483647 287185 151 | 0.000 % |
939.64/940.09 c | 615700 | 5841 25017 76050 | 2147483647 289234 151 | 0.000 % |
943.84/944.28 c | 617953 | 5841 25017 76050 | 2147483647 291487 151 | 0.000 % |
948.44/948.80 c | 620431 | 5841 25017 76050 | 2147483647 293965 151 | 0.000 % |
953.24/953.63 c | 623160 | 5841 25017 76050 | 2147483647 296694 151 | 0.000 % |
958.64/959.02 c | 626159 | 5841 25017 76050 | 2147483647 299693 151 | 0.000 % |
964.63/965.07 c | 629458 | 5841 25017 76050 | 2147483647 302992 152 | 0.000 % |
971.53/971.92 c | 633085 | 5841 25017 76050 | 2147483647 306619 152 | 0.000 % |
979.23/979.62 c | 637072 | 5841 25017 76050 | 2147483647 310606 152 | 0.000 % |
987.73/988.10 c | 641457 | 5841 25017 76050 | 2147483647 314991 152 | 0.000 % |
997.12/997.59 c | 646282 | 5841 25017 76050 | 2147483647 319816 152 | 0.000 % |
1007.12/1007.51 c | 651587 | 5841 25017 76050 | 2147483647 325121 152 | 0.000 % |
1019.22/1019.62 c | 657422 | 5841 25017 76050 | 2147483647 330956 152 | 0.000 % |
1019.42/1019.86 c | 657522 | 5841 25017 76050 | 2147483647 331056 152 | 0.000 % |
1019.82/1020.20 c | 657632 | 5841 25017 76050 | 2147483647 331166 152 | 0.000 % |
1020.02/1020.48 c | 657753 | 5841 25017 76050 | 2147483647 331287 152 | 0.000 % |
1020.42/1020.87 c | 657886 | 5841 25017 76050 | 2147483647 331420 152 | 0.000 % |
1020.82/1021.22 c | 658033 | 5841 25017 76050 | 2147483647 331567 152 | 0.000 % |
1021.22/1021.67 c | 658198 | 5841 25017 76050 | 2147483647 331732 152 | 0.000 % |
1021.71/1022.12 c | 658374 | 5841 25017 76050 | 2147483647 331908 152 | 0.000 % |
1022.21/1022.60 c | 658567 | 5841 25017 76050 | 2147483647 332101 152 | 0.000 % |
1022.71/1023.17 c | 658780 | 5841 25017 76050 | 2147483647 332314 152 | 0.000 % |
1023.31/1023.74 c | 659013 | 5841 25017 76050 | 2147483647 332547 152 | 0.000 % |
1024.01/1024.42 c | 659270 | 5841 25017 76050 | 2147483647 332804 152 | 0.000 % |
1024.71/1025.10 c | 659551 | 5841 25017 76050 | 2147483647 333085 152 | 0.000 % |
1025.52/1025.96 c | 659863 | 5841 25017 76050 | 2147483647 333397 152 | 0.000 % |
1026.32/1026.73 c | 660202 | 5841 25017 76050 | 333534 333736 152 | 0.000 % |
1027.52/1027.93 c | 660575 | 5841 25017 76050 | 333534 294504 152 | 0.000 % |
1028.42/1028.87 c | 660985 | 5841 25017 76050 | 333534 294914 152 | 0.000 % |
1029.32/1029.76 c | 661434 | 5841 25017 76050 | 333534 295363 152 | 0.000 % |
1030.32/1030.76 c | 661928 | 5841 25017 76050 | 333534 295857 152 | 0.000 % |
1031.42/1031.85 c | 662473 | 5841 25017 76050 | 333534 296402 152 | 0.000 % |
1032.71/1033.10 c | 663069 | 5841 25017 76050 | 333534 296998 152 | 0.000 % |
1034.11/1034.54 c | 663724 | 5841 25017 76050 | 333534 297653 152 | 0.000 % |
1035.51/1035.95 c | 664446 | 5841 25017 76050 | 333534 298375 152 | 0.000 % |
1037.21/1037.60 c | 665238 | 5841 25017 76050 | 333534 299167 152 | 0.000 % |
1038.91/1039.36 c | 666111 | 5841 25017 76050 | 333534 300040 152 | 0.000 % |
1040.91/1041.34 c | 667069 | 5841 25017 76050 | 333534 300998 152 | 0.000 % |
1043.11/1043.54 c | 668122 | 5841 25017 76050 | 333534 302051 152 | 0.000 % |
1045.31/1045.72 c | 669280 | 5841 25017 76050 | 333534 303209 152 | 0.000 % |
1047.71/1048.16 c | 670554 | 5841 25017 76050 | 303930 304483 152 | 0.000 % |
1050.71/1051.19 c | 671957 | 5841 25017 76050 | 303930 275144 152 | 0.000 % |
1053.51/1053.95 c | 673497 | 5841 25017 76050 | 303930 276684 152 | 0.000 % |
1056.61/1057.07 c | 675192 | 5841 25017 76050 | 303930 278379 151 | 0.000 % |
1060.01/1060.50 c | 677059 | 5841 25017 76050 | 303930 280246 151 | 0.000 % |
1063.90/1064.38 c | 679110 | 5841 25017 76050 | 303930 282297 151 | 0.000 % |
1068.00/1068.47 c | 681363 | 5841 25017 76050 | 2147483647 284550 152 | 0.000 % |
1072.40/1072.85 c | 683841 | 5841 25017 76050 | 2147483647 287028 152 | 0.000 % |
1077.50/1077.93 c | 686567 | 5841 25017 76050 | 2147483647 289754 152 | 0.000 % |
1083.30/1083.75 c | 689564 | 5841 25017 76050 | 2147483647 292751 152 | 0.000 % |
1089.49/1089.98 c | 692862 | 5841 25017 76050 | 2147483647 296049 152 | 0.000 % |
1096.19/1096.61 c | 696488 | 5841 25017 76050 | 2147483647 299675 152 | 0.000 % |
1103.69/1104.12 c | 700475 | 5841 25017 76050 | 2147483647 303662 152 | 0.000 % |
1112.19/1112.68 c | 704861 | 5841 25017 76050 | 2147483647 308048 152 | 0.000 % |
1121.28/1121.75 c | 709685 | 5841 25017 76050 | 2147483647 312872 152 | 0.000 % |
1131.18/1131.67 c | 714990 | 5841 25017 76050 | 2147483647 318177 153 | 0.000 % |
1141.88/1142.37 c | 720825 | 5841 25017 76050 | 2147483647 324012 153 | 0.000 % |
1154.27/1154.76 c | 727243 | 5841 25017 76050 | 2147483647 330430 153 | 0.000 % |
1154.47/1154.99 c | 727343 | 5841 25017 76050 | 2147483647 330530 153 | 0.000 % |
1154.77/1155.27 c | 727453 | 5841 25017 76050 | 2147483647 330640 153 | 0.000 % |
1155.07/1155.59 c | 727575 | 5841 25017 76050 | 2147483647 330762 153 | 0.000 % |
1155.47/1155.99 c | 727708 | 5841 25017 76050 | 2147483647 330895 153 | 0.000 % |
1155.87/1156.36 c | 727854 | 5841 25017 76050 | 2147483647 331041 153 | 0.000 % |
1156.27/1156.76 c | 728018 | 5841 25017 76050 | 2147483647 331205 153 | 0.000 % |
1156.78/1157.29 c | 728195 | 5841 25017 76050 | 2147483647 331382 153 | 0.000 % |
1157.27/1157.74 c | 728388 | 5841 25017 76050 | 2147483647 331575 153 | 0.000 % |
1157.77/1158.22 c | 728600 | 5841 25017 76050 | 2147483647 331787 153 | 0.000 % |
1158.27/1158.75 c | 728833 | 5841 25017 76050 | 2147483647 332020 153 | 0.000 % |
1158.97/1159.45 c | 729090 | 5841 25017 76050 | 2147483647 332277 153 | 0.000 % |
1159.67/1160.19 c | 729372 | 5841 25017 76050 | 2147483647 332559 153 | 0.000 % |
1160.57/1161.01 c | 729684 | 5841 25017 76050 | 2147483647 332871 153 | 0.000 % |
1161.38/1161.85 c | 730024 | 5841 25017 76050 | 2147483647 333211 153 | 0.000 % |
1162.28/1162.78 c | 730396 | 5841 25017 76050 | 2147483647 333583 153 | 0.000 % |
1163.28/1163.70 c | 730805 | 5841 25017 76050 | 2147483647 333992 153 | 0.000 % |
1164.27/1164.73 c | 731254 | 5841 25017 76050 | 2147483647 334441 153 | 0.000 % |
1165.37/1165.86 c | 731747 | 5841 25017 76050 | 2147483647 334934 153 | 0.000 % |
1166.67/1167.11 c | 732289 | 5841 25017 76050 | 2147483647 335476 153 | 0.000 % |
1167.97/1168.44 c | 732886 | 5841 25017 76050 | 2147483647 336073 153 | 0.000 % |
1169.57/1170.03 c | 733542 | 5841 25017 76050 | 2147483647 336729 153 | 0.000 % |
1171.17/1171.64 c | 734262 | 5841 25017 76050 | 2147483647 337449 153 | 0.000 % |
1172.87/1173.38 c | 735054 | 5841 25017 76050 | 2147483647 338241 153 | 0.000 % |
1174.88/1175.39 c | 735930 | 5841 25017 76050 | 2147483647 339117 153 | 0.000 % |
1177.07/1177.51 c | 736888 | 5841 25017 76050 | 2147483647 340075 152 | 0.000 % |
1179.47/1179.91 c | 737943 | 5841 25017 76050 | 2147483647 341130 152 | 0.000 % |
1181.87/1182.40 c | 739101 | 5841 25017 76050 | 2147483647 342288 153 | 0.000 % |
1184.76/1185.24 c | 740374 | 5841 25017 76050 | 343189 343561 153 | 0.000 % |
1188.06/1188.53 c | 741774 | 5841 25017 76050 | 343189 300291 153 | 0.000 % |
1191.16/1191.62 c | 743314 | 5841 25017 76050 | 343189 301831 153 | 0.000 % |
1194.57/1195.08 c | 745008 | 5841 25017 76050 | 343189 303525 153 | 0.000 % |
1198.36/1198.87 c | 746873 | 5841 25017 76050 | 343189 305390 153 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832709-1242786526/watcher-1832709-1242786526 -o /tmp/evaluation-result-1832709-1242786526/solver-1832709-1242786526 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832709-1242786526.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8287
/proc/meminfo: memFree=1625016/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306678596 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8287/statm: 1339 237 197 169 0 50 0
[startup+0.109168 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8287
/proc/meminfo: memFree=1625016/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306678596 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8287/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201185 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8287
/proc/meminfo: memFree=1625016/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.301195 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8287
/proc/meminfo: memFree=1625016/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.701236 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 8287
/proc/meminfo: memFree=1625016/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1619368/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=7000 CPUtime=1.37
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 1500 0 0 0 136 1 0 0 25 0 1 0 306678608 7168000 1486 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 1750 1486 77 171 0 1577 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12356
[startup+3.10246 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1617576/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=9508 CPUtime=2.97
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 2144 0 0 0 296 1 0 0 25 0 1 0 306678608 9736192 2130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 2377 2130 77 171 0 2204 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14864
[startup+6.30178 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1611240/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=15388 CPUtime=6.17
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 3586 0 0 0 614 3 0 0 25 0 1 0 306678608 15757312 3572 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 3847 3572 77 171 0 3674 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 20744
[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1601704/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=24264 CPUtime=12.57
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 5816 0 0 0 1252 5 0 0 25 0 1 0 306678608 24846336 5802 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 6066 5802 77 171 0 5893 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 29620
[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1587496/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=37928 CPUtime=25.37
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 9216 0 0 0 2526 11 0 0 25 0 1 0 306678608 38838272 9202 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 9482 9202 77 171 0 9309 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 43284
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1566376/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=59360 CPUtime=50.96
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 14546 0 0 0 5080 16 0 0 25 0 1 0 306678608 60784640 14532 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 14840 14532 77 171 0 14667 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 64716
[startup+102.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1534376/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=90780 CPUtime=102.13
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 22397 0 0 0 10186 27 0 0 25 0 1 0 306678608 92958720 22383 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 22695 22383 77 171 0 22522 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 96136
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1506664/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=118368 CPUtime=162.11
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 29354 0 0 0 16175 36 0 0 25 0 1 0 306678608 121208832 29340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 29592 29340 77 171 0 29419 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 123724
[startup+222.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1481128/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=143720 CPUtime=222.08
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 35630 0 0 0 22163 45 0 0 25 0 1 0 306678608 147169280 35616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 35930 35616 77 171 0 35757 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 149076
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1460264/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=164708 CPUtime=282.06
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 40887 0 0 0 28155 51 0 0 25 0 1 0 306678608 168660992 40873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 41177 40873 77 171 0 41004 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 170064
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1440360/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=184112 CPUtime=342.03
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 45770 0 0 0 34147 56 0 0 25 0 1 0 306678608 188530688 45756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 46028 45756 77 171 0 45855 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 189468
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1428520/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=196336 CPUtime=402.02
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 48689 0 0 0 40142 60 0 0 25 0 1 0 306678608 201048064 48675 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 49084 48675 77 171 0 48911 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 201692
[startup+462.301 s]
################
# More data... #
################
/proc/8293/statm: 49249 48865 77 171 0 49076 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 202352
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1427304/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=197392 CPUtime=581.95
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 48961 0 0 0 58135 60 0 0 25 0 1 0 306678608 202129408 48947 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 49348 48947 77 171 0 49175 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 202748
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1422760/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=201616 CPUtime=641.94
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 50017 0 0 0 64132 62 0 0 25 0 1 0 306678608 206454784 50003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 50404 50003 77 171 0 50231 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 206972
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1410728/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=213496 CPUtime=701.92
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 53000 0 0 0 70126 66 0 0 25 0 1 0 306678608 218619904 52986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 53374 52986 77 171 0 53201 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 218852
[startup+762.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1410600/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=213496 CPUtime=761.91
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 53000 0 0 0 76125 66 0 0 25 0 1 0 306678608 218619904 52986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 53374 52986 77 171 0 53201 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 218852
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1410536/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=213496 CPUtime=821.88
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 53000 0 0 0 82122 66 0 0 25 0 1 0 306678608 218619904 52986 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 53374 52986 77 171 0 53201 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 218852
[startup+882.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8293
/proc/meminfo: memFree=1410408/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=213496 CPUtime=881.86
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 53000 0 0 0 88120 66 0 0 25 0 1 0 306678608 218619904 52986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 53374 52986 77 171 0 53201 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 218852
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8295
/proc/meminfo: memFree=1410216/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=213496 CPUtime=941.84
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 53000 0 0 0 94117 67 0 0 25 0 1 0 306678608 218619904 52986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 53374 52986 77 171 0 53201 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 218852
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8295
/proc/meminfo: memFree=1410152/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=213496 CPUtime=1001.82
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 53000 0 0 0 100115 67 0 0 25 0 1 0 306678608 218619904 52986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 53374 52986 77 171 0 53201 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 218852
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8295
/proc/meminfo: memFree=1405608/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=217984 CPUtime=1061.8
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 54131 0 0 0 106110 70 0 0 25 0 1 0 306678608 223215616 54117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 54496 54117 77 171 0 54323 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 223340
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8295
/proc/meminfo: memFree=1405544/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=217984 CPUtime=1121.78
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 54131 0 0 0 112108 70 0 0 25 0 1 0 306678608 223215616 54117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 54496 54117 77 171 0 54323 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 223340
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8295
/proc/meminfo: memFree=1399720/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=224188 CPUtime=1181.77
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 55670 0 0 0 118105 72 0 0 25 0 1 0 306678608 229568512 55656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 56047 55656 77 171 0 55874 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 229544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8295
/proc/meminfo: memFree=1398440/2055920 swapFree=4179764/4192956
[pid=8287] ppid=8285 vsize=5356 CPUtime=0.1
/proc/8287/stat : 8287 (SatELiteGTI) S 8285 8287 7661 0 -1 4194304 336 1152 0 0 0 0 10 0 16 0 1 0 306678596 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8287/statm: 1339 239 197 169 0 50 0
[pid=8293] ppid=8287 vsize=224980 CPUtime=1199.97
/proc/8293/stat : 8293 (minisat_static) R 8287 8287 7661 0 -1 4194304 55879 0 0 0 119924 73 0 0 25 0 1 0 306678608 230379520 55865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8293/statm: 56245 55865 77 171 0 56072 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 230336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8287 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=105983
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.114981
# 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.51
CPU time (s): 1200.07
CPU user time (s): 1199.34
CPU system time (s): 0.73
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 230336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.105983
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1488
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= 6
runsolver used 1.46378 second user time and 2.99254 second system time
The end
Begin job on node70 at 2009-05-20 04:28:46
IDJOB=1832709
IDBENCH=70318
IDSOLVER=671
FILE ID=node70/1832709-1242786526
PBS_JOBID= 9322367
Free space on /tmp= 66184 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/6000/unif-k3-r4.2-v6000-c25200-S821759333-092.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832709-1242786526/watcher-1832709-1242786526 -o /tmp/evaluation-result-1832709-1242786526/solver-1832709-1242786526 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832709-1242786526.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b4ec0c2df22218bd519db808f39dee11
RANDOM SEED=1175998285
node70.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1625496 kB
Buffers: 27012 kB
Cached: 352268 kB
SwapCached: 7436 kB
Active: 79640 kB
Inactive: 308536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1625496 kB
SwapTotal: 4192956 kB
SwapFree: 4179764 kB
Dirty: 2036 kB
Writeback: 0 kB
Mapped: 14088 kB
Slab: 28348 kB
Committed_AS: 964728 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= 66180 MiB
End job on node70 at 2009-05-20 04:48:48