0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 84314 169678 | 25294 0 0 nan | 0.000 % |
0.00/0.37 c | 0 | 83164 277188 | -- 0 -- -- | -- | -1150/107510
0.00/0.37 c ==============================================================================
0.00/0.37 c Result : #vars: 1100 #clauses: 83164 #literals: 277188
0.00/0.37 c CPU time: 0.356945 s
0.00/0.37 c ==============================================================================
0.00/0.45 c This is MiniSat 2.0 beta
0.00/0.45 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.45 c ============================[ Problem Statistics ]=============================
0.00/0.45 c | |
0.00/0.45 c | Number of variables: 1100 |
0.00/0.45 c | Number of clauses: 83164 |
0.00/0.49 c | Parsing time: 0.03 s |
0.00/0.49 c ============================[ Search Statistics ]==============================
0.00/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.49 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.49 c ===============================================================================
0.00/0.49 c | 0 | 1100 83164 277188 | 27721 0 nan | 0.000 % |
0.44/0.51 c | 100 | 1100 83164 277188 | 27721 100 131 | 0.000 % |
0.44/0.53 c | 201 | 1100 83164 277188 | 27721 201 122 | 0.000 % |
0.44/0.54 c | 301 | 1100 83164 277188 | 27721 301 108 | 0.013 % |
0.44/0.55 c | 413 | 1100 83164 277188 | 27721 413 107 | 0.000 % |
0.44/0.56 c | 516 | 1100 83164 277188 | 27721 516 104 | 0.000 % |
0.44/0.58 c | 626 | 1100 83164 277188 | 27721 626 113 | 0.000 % |
0.44/0.59 c | 749 | 1100 83164 277188 | 27721 749 114 | 0.000 % |
0.44/0.61 c | 849 | 1100 83164 277188 | 27721 849 111 | 0.000 % |
0.44/0.62 c | 959 | 1100 83164 277188 | 27721 959 110 | 0.000 % |
0.44/0.63 c | 1080 | 1100 83164 277188 | 27721 1080 109 | 0.000 % |
0.44/0.65 c | 1213 | 1100 83164 277188 | 27721 1213 112 | 0.000 % |
0.44/0.66 c | 1314 | 1100 83164 277188 | 27721 1314 110 | 0.000 % |
0.44/0.68 c | 1424 | 1100 83164 277188 | 27721 1424 107 | 0.012 % |
0.44/0.69 c | 1545 | 1100 83164 277188 | 27721 1545 104 | 0.012 % |
0.44/0.71 c | 1680 | 1100 83164 277188 | 27721 1680 105 | 0.000 % |
0.44/0.73 c | 1827 | 1100 83164 277188 | 27721 1827 102 | 0.013 % |
0.44/0.74 c | 1927 | 1100 83164 277188 | 27721 1927 100 | 0.000 % |
0.44/0.75 c | 2037 | 1100 83164 277188 | 27721 2037 99 | 0.000 % |
0.44/0.77 c | 2160 | 1100 83164 277188 | 27721 2160 101 | 0.000 % |
0.44/0.78 c | 2293 | 1100 83164 277188 | 27721 2293 100 | 0.000 % |
0.44/0.80 c | 2440 | 1100 83164 277188 | 27721 2440 99 | 0.014 % |
0.44/0.82 c | 2604 | 1100 83164 277188 | 27721 2604 97 | 0.000 % |
0.44/0.84 c | 2704 | 1100 83164 277188 | 27721 2704 96 | 0.014 % |
0.44/0.85 c | 2816 | 1100 83164 277188 | 27721 2816 95 | 0.014 % |
0.44/0.87 c | 2937 | 1100 83164 277188 | 27721 2937 93 | 0.012 % |
0.44/0.88 c | 3070 | 1100 83164 277188 | 27721 3070 91 | 0.012 % |
0.44/0.90 c | 3216 | 1100 83164 277188 | 27721 3216 92 | 0.000 % |
0.44/0.92 c | 3377 | 1100 83164 277188 | 27721 3377 92 | 0.000 % |
0.44/0.94 c | 3553 | 1100 83164 277188 | 27721 3553 90 | 0.013 % |
0.44/0.96 c | 3653 | 1100 83164 277188 | 27721 3653 91 | 0.000 % |
0.44/0.97 c | 3763 | 1100 83164 277188 | 27721 3763 91 | 0.000 % |
0.44/0.99 c | 3884 | 1100 83164 277188 | 27721 3884 91 | 0.012 % |
0.98/1.02 c | 4019 | 1100 83164 277188 | 27721 4019 90 | 0.015 % |
0.98/1.04 c | 4166 | 1100 83164 277188 | 27721 4166 91 | 0.000 % |
0.98/1.07 c | 4329 | 1100 83164 277188 | 27721 4329 92 | 0.000 % |
0.98/1.10 c | 4505 | 1100 83164 277188 | 27721 4505 92 | 0.000 % |
1.08/1.13 c | 4699 | 1100 83164 277188 | 27721 4699 94 | 0.000 % |
1.08/1.14 c | 4799 | 1100 83164 277188 | 27721 4799 94 | 0.000 % |
1.08/1.16 c | 4909 | 1100 83164 277188 | 27721 4909 93 | 0.012 % |
1.08/1.17 c | 5033 | 1100 83164 277188 | 27721 5033 93 | 0.000 % |
1.08/1.20 c | 5169 | 1100 83164 277188 | 27721 5169 93 | 0.000 % |
1.17/1.22 c | 5315 | 1100 83164 277188 | 27721 5315 93 | 0.000 % |
1.17/1.24 c | 5476 | 1100 83164 277188 | 27721 5476 92 | 0.014 % |
1.17/1.27 c | 5652 | 1100 83164 277188 | 27721 5652 91 | 0.012 % |
1.17/1.29 c | 5846 | 1100 83164 277188 | 27721 5846 90 | 0.014 % |
1.27/1.32 c | 6059 | 1100 83164 277188 | 27721 6059 89 | 0.000 % |
1.27/1.34 c | 6160 | 1100 83164 277188 | 27721 6160 89 | 0.000 % |
1.27/1.36 c | 6273 | 1100 83164 277188 | 27721 6273 89 | 0.000 % |
1.27/1.38 c | 6395 | 1100 83164 277188 | 27721 6395 89 | 0.000 % |
1.37/1.40 c | 6530 | 1100 83164 277188 | 27721 6530 89 | 0.013 % |
1.37/1.42 c | 6678 | 1100 83164 277188 | 27721 6678 89 | 0.000 % |
1.37/1.45 c | 6841 | 1100 83164 277188 | 27721 6841 90 | 0.000 % |
1.37/1.47 c | 7018 | 1100 83164 277188 | 27721 7018 90 | 0.000 % |
1.47/1.50 c | 7211 | 1100 83164 277188 | 27721 7211 91 | 0.000 % |
1.47/1.54 c | 7424 | 1100 83164 277188 | 27721 7424 90 | 0.000 % |
1.47/1.57 c | 7661 | 1100 83164 277188 | 27721 7661 90 | 0.015 % |
1.47/1.59 c | 7761 | 1100 83164 277188 | 27721 7761 89 | 0.015 % |
1.57/1.61 c | 7871 | 1100 83164 277188 | 27721 7871 89 | 0.000 % |
1.57/1.63 c | 7994 | 1100 83164 277188 | 27721 7994 88 | 0.013 % |
1.57/1.65 c | 8127 | 1100 83164 277188 | 27721 8127 88 | 0.012 % |
1.57/1.67 c | 8274 | 1100 83164 277188 | 27721 8274 87 | 0.012 % |
1.67/1.70 c | 8435 | 1100 83164 277188 | 27721 8435 87 | 0.000 % |
1.67/1.73 c | 8611 | 1100 83164 277188 | 27721 8611 86 | 0.000 % |
1.67/1.76 c | 8805 | 1100 83164 277188 | 27721 8805 85 | 0.011 % |
1.67/1.79 c | 9017 | 1100 83164 277188 | 27721 9017 85 | 0.011 % |
1.77/1.83 c | 9252 | 1100 83164 277188 | 27721 9252 86 | 0.000 % |
1.77/1.87 c | 9508 | 1100 83164 277188 | 27721 9508 86 | 0.000 % |
1.77/1.89 c | 9610 | 1100 83164 277188 | 27721 9610 87 | 0.000 % |
1.87/1.91 c | 9720 | 1100 83164 277188 | 27721 9720 86 | 0.011 % |
1.87/1.93 c | 9841 | 1100 83164 277188 | 27721 9841 86 | 0.000 % |
1.87/1.96 c | 9975 | 1100 83164 277188 | 27721 9975 86 | 0.011 % |
1.87/1.99 c | 10121 | 1100 83164 277188 | 2147483647 10121 86 | 0.011 % |
1.97/2.01 c | 10282 | 1100 83164 277188 | 2147483647 10282 85 | 0.015 % |
1.97/2.04 c | 10459 | 1100 83164 277188 | 2147483647 10459 85 | 0.011 % |
1.97/2.08 c | 10652 | 1100 83164 277188 | 2147483647 10652 85 | 0.014 % |
2.07/2.12 c | 10867 | 1100 83164 277188 | 2147483647 10867 85 | 0.013 % |
2.07/2.16 c | 11101 | 1100 83164 277188 | 2147483647 11101 84 | 0.011 % |
2.17/2.22 c | 11358 | 1100 83164 277188 | 2147483647 11358 83 | 0.000 % |
2.17/2.27 c | 11639 | 1100 83164 277188 | 2147483647 11639 83 | 0.013 % |
2.17/2.29 c | 11739 | 1100 83164 277188 | 2147483647 11739 82 | 0.014 % |
2.27/2.31 c | 11849 | 1100 83164 277188 | 2147483647 11849 82 | 0.012 % |
2.27/2.34 c | 11970 | 1100 83164 277188 | 2147483647 11970 82 | 0.014 % |
2.27/2.37 c | 12107 | 1100 83164 277188 | 2147483647 12107 81 | 0.014 % |
2.27/2.39 c | 12255 | 1100 83164 277188 | 2147483647 12255 81 | 0.013 % |
2.38/2.42 c | 12416 | 1100 83164 277188 | 2147483647 12416 80 | 0.013 % |
2.38/2.46 c | 12593 | 1100 83164 277188 | 2147483647 12593 80 | 0.000 % |
2.48/2.51 c | 12786 | 1100 83164 277188 | 2147483647 12786 81 | 0.000 % |
2.48/2.55 c | 12999 | 1100 83164 277188 | 2147483647 12999 81 | 0.000 % |
2.48/2.59 c | 13232 | 1100 83164 277188 | 2147483647 13232 81 | 0.012 % |
2.58/2.64 c | 13488 | 1100 83164 277188 | 2147483647 13488 81 | 0.000 % |
2.58/2.70 c | 13773 | 1100 83164 277188 | 2147483647 13773 81 | 0.000 % |
2.68/2.76 c | 14082 | 1100 83164 277188 | 2147483647 14082 81 | 0.015 % |
2.68/2.78 c | 14182 | 1100 83164 277188 | 2147483647 14182 81 | 0.000 % |
2.77/2.80 c | 14292 | 1100 83164 277188 | 2147483647 14292 81 | 0.000 % |
2.77/2.83 c | 14413 | 1100 83164 277188 | 2147483647 14413 81 | 0.000 % |
2.77/2.85 c | 14546 | 1100 83164 277188 | 2147483647 14546 81 | 0.013 % |
2.77/2.88 c | 14694 | 1100 83164 277188 | 2147483647 14694 82 | 0.000 % |
2.87/2.92 c | 14856 | 1100 83164 277188 | 2147483647 14856 82 | 0.000 % |
2.87/2.95 c | 15033 | 1100 83164 277188 | 2147483647 15033 82 | 0.000 % |
2.87/2.99 c | 15226 | 1100 83164 277188 | 2147483647 15226 82 | 0.000 % |
2.97/3.04 c | 15438 | 1100 83164 277188 | 2147483647 15438 82 | 0.000 % |
2.97/3.08 c | 15671 | 1100 83164 277188 | 2147483647 15671 82 | 0.000 % |
3.07/3.13 c | 15927 | 1100 83164 277188 | 2147483647 15927 82 | 0.000 % |
3.07/3.18 c | 16209 | 1100 83164 277188 | 2147483647 16209 82 | 0.012 % |
3.18/3.24 c | 16518 | 1100 83164 277188 | 2147483647 16518 81 | 0.014 % |
3.28/3.32 c | 16858 | 1100 83164 277188 | 2147483647 16858 82 | 0.000 % |
3.28/3.35 c | 16960 | 1100 83164 277188 | 2147483647 16960 82 | 0.000 % |
3.28/3.37 c | 17071 | 1100 83164 277188 | 2147483647 17071 82 | 0.000 % |
3.28/3.40 c | 17192 | 1100 83164 277188 | 2147483647 17192 83 | 0.000 % |
3.37/3.42 c | 17325 | 1100 83164 277188 | 2147483647 17325 83 | 0.000 % |
3.37/3.46 c | 17471 | 1100 83164 277188 | 2147483647 17471 83 | 0.000 % |
3.37/3.49 c | 17631 | 1100 83164 277188 | 2147483647 17631 83 | 0.014 % |
3.47/3.53 c | 17811 | 1100 83164 277188 | 2147483647 17811 83 | 0.014 % |
3.47/3.57 c | 18004 | 1100 83164 277188 | 2147483647 18004 83 | 0.000 % |
3.57/3.61 c | 18217 | 1100 83164 277188 | 2147483647 18217 83 | 0.000 % |
3.57/3.66 c | 18451 | 1100 83164 277188 | 2147483647 18451 83 | 0.000 % |
3.67/3.72 c | 18708 | 1100 83164 277188 | 2147483647 18708 83 | 0.000 % |
3.67/3.78 c | 18991 | 1100 83164 277188 | 2147483647 18991 83 | 0.000 % |
3.77/3.84 c | 19303 | 1100 83164 277188 | 2147483647 19303 83 | 0.013 % |
3.87/3.91 c | 19642 | 1100 83164 277188 | 2147483647 19642 82 | 0.011 % |
3.87/3.99 c | 20014 | 1100 83164 277188 | 2147483647 20014 82 | 0.012 % |
3.97/4.02 c | 20114 | 1100 83164 277188 | 2147483647 20114 82 | 0.000 % |
3.97/4.05 c | 20224 | 1100 83164 277188 | 2147483647 20224 82 | 0.000 % |
3.97/4.07 c | 20346 | 1100 83164 277188 | 2147483647 20346 82 | 0.011 % |
4.07/4.11 c | 20479 | 1100 83164 277188 | 2147483647 20479 83 | 0.011 % |
4.07/4.15 c | 20626 | 1100 83164 277188 | 2147483647 20626 83 | 0.000 % |
4.07/4.18 c | 20786 | 1100 83164 277188 | 2147483647 20786 83 | 0.000 % |
4.17/4.22 c | 20962 | 1100 83164 277188 | 2147483647 20962 83 | 0.000 % |
4.17/4.27 c | 21156 | 1100 83164 277188 | 2147483647 21156 83 | 0.000 % |
4.28/4.31 c | 21370 | 1100 83164 277188 | 2147483647 21370 83 | 0.000 % |
4.28/4.36 c | 21603 | 1100 83164 277188 | 2147483647 21603 82 | 0.011 % |
4.37/4.42 c | 21859 | 1100 83164 277188 | 2147483647 21859 82 | 0.000 % |
4.37/4.49 c | 22141 | 1100 83164 277188 | 2147483647 22141 82 | 0.014 % |
4.47/4.56 c | 22450 | 1100 83164 277188 | 2147483647 22450 82 | 0.014 % |
4.57/4.64 c | 22790 | 1100 83164 277188 | 2147483647 22790 81 | 0.014 % |
4.67/4.72 c | 23165 | 1100 83164 277188 | 2147483647 23165 81 | 0.014 % |
4.77/4.82 c | 23575 | 1100 83164 277188 | 2147483647 23575 81 | 0.000 % |
4.77/4.84 c | 23675 | 1100 83164 277188 | 2147483647 23675 81 | 0.000 % |
4.77/4.87 c | 23785 | 1100 83164 277188 | 2147483647 23785 81 | 0.000 % |
4.87/4.90 c | 23906 | 1100 83164 277188 | 2147483647 23906 81 | 0.000 % |
4.87/4.94 c | 24039 | 1100 83164 277188 | 2147483647 24039 81 | 0.012 % |
4.87/4.98 c | 24186 | 1100 83164 277188 | 2147483647 24186 81 | 0.000 % |
4.97/5.02 c | 24347 | 1100 83164 277188 | 2147483647 24347 81 | 0.000 % |
4.97/5.06 c | 24525 | 1100 83164 277188 | 2147483647 24525 81 | 0.000 % |
5.07/5.12 c | 24718 | 1100 83164 277188 | 2147483647 24718 82 | 0.000 % |
5.07/5.18 c | 24932 | 1100 83164 277188 | 2147483647 24932 82 | 0.000 % |
5.17/5.24 c | 25166 | 1100 83164 277188 | 2147483647 25166 82 | 0.000 % |
5.28/5.30 c | 25424 | 1100 83164 277188 | 2147483647 25424 82 | 0.000 % |
5.28/5.37 c | 25706 | 1100 83164 277188 | 2147483647 25706 82 | 0.000 % |
5.38/5.46 c | 26015 | 1100 83164 277188 | 2147483647 26015 82 | 0.014 % |
5.48/5.55 c | 26355 | 1100 83164 277188 | 2147483647 26355 83 | 0.000 % |
5.57/5.63 c | 26727 | 1100 83164 277188 | 2147483647 26727 82 | 0.000 % |
5.67/5.74 c | 27136 | 1100 83164 277188 | 2147483647 27136 82 | 0.013 % |
5.77/5.87 c | 27588 | 1100 83164 277188 | 2147483647 27588 82 | 0.013 % |
5.87/5.91 c | 27688 | 1100 83164 277188 | 2147483647 27688 82 | 0.000 % |
5.87/5.94 c | 27799 | 1100 83164 277188 | 2147483647 27799 82 | 0.000 % |
5.87/5.97 c | 27920 | 1100 83164 277188 | 2147483647 27920 82 | 0.012 % |
5.97/6.01 c | 28053 | 1100 83164 277188 | 2147483647 28053 82 | 0.014 % |
5.97/6.05 c | 28199 | 1100 83164 277188 | 2147483647 28199 83 | 0.000 % |
5.97/6.09 c | 28361 | 1100 83164 277188 | 2147483647 28361 83 | 0.013 % |
6.07/6.13 c | 28540 | 1100 83164 277188 | 2147483647 28540 83 | 0.011 % |
6.07/6.19 c | 28733 | 1100 83164 277188 | 2147483647 28733 83 | 0.000 % |
6.17/6.27 c | 28945 | 1100 83164 277188 | 2147483647 28945 83 | 0.000 % |
6.27/6.34 c | 29179 | 1100 83164 277188 | 2147483647 29179 83 | 0.000 % |
6.37/6.41 c | 29436 | 1100 83164 277188 | 2147483647 29436 83 | 0.012 % |
6.37/6.49 c | 29719 | 1100 83164 277188 | 2147483647 29719 83 | 0.013 % |
6.48/6.57 c | 30029 | 1100 83164 277188 | 2147483647 30029 83 | 0.013 % |
6.58/6.68 c | 30371 | 1100 83164 277188 | 2147483647 30371 83 | 0.000 % |
6.77/6.80 c | 30744 | 1100 83164 277188 | 2147483647 30744 84 | 0.000 % |
6.87/6.91 c | 31153 | 1100 83164 277188 | 2147483647 31153 84 | 0.000 % |
6.97/7.03 c | 31603 | 1100 83164 277188 | 2147483647 31603 84 | 0.000 % |
7.07/7.19 c | 32099 | 1100 83164 277188 | 2147483647 32099 83 | 0.013 % |
7.17/7.22 c | 32199 | 1100 83164 277188 | 2147483647 32199 83 | 0.000 % |
7.17/7.26 c | 32309 | 1100 83164 277188 | 2147483647 32309 83 | 0.000 % |
7.17/7.29 c | 32431 | 1100 83164 277188 | 2147483647 32431 83 | 0.013 % |
7.27/7.35 c | 32565 | 1100 83164 277188 | 2147483647 32565 83 | 0.000 % |
7.27/7.39 c | 32714 | 1100 83164 277188 | 2147483647 32714 84 | 0.000 % |
7.37/7.44 c | 32874 | 1100 83164 277188 | 2147483647 32874 84 | 0.000 % |
7.37/7.49 c | 33050 | 1100 83164 277188 | 2147483647 33050 83 | 0.000 % |
7.47/7.55 c | 33245 | 1100 83164 277188 | 2147483647 33245 84 | 0.000 % |
7.58/7.61 c | 33459 | 1100 83164 277188 | 2147483647 33459 84 | 0.000 % |
7.58/7.70 c | 33692 | 1100 83164 277188 | 2147483647 33692 84 | 0.000 % |
7.67/7.77 c | 33948 | 1100 83164 277188 | 2147483647 33948 84 | 0.013 % |
7.77/7.86 c | 34229 | 1100 83164 277188 | 2147483647 34229 84 | 0.013 % |
7.87/7.95 c | 34538 | 1100 83164 277188 | 2147483647 34538 84 | 0.000 % |
7.97/8.07 c | 34878 | 1100 83164 277188 | 2147483647 34878 85 | 0.000 % |
8.17/8.21 c | 35252 | 1100 83164 277188 | 2147483647 35252 85 | 0.000 % |
8.27/8.34 c | 35661 | 1100 83164 277188 | 2147483647 35661 85 | 0.015 % |
8.37/8.50 c | 36113 | 1100 83164 277188 | 2147483647 36113 84 | 0.015 % |
8.57/8.66 c | 36606 | 1100 83164 277188 | 2147483647 36606 84 | 0.010 % |
8.77/8.83 c | 37148 | 1100 83164 277188 | 2147483647 37148 84 | 0.014 % |
8.77/8.88 c | 37252 | 1100 83164 277188 | 2147483647 37252 84 | 0.014 % |
8.87/8.92 c | 37364 | 1100 83164 277188 | 2147483647 37364 84 | 0.012 % |
8.87/8.97 c | 37486 | 1100 83164 277188 | 2147483647 37486 84 | 0.000 % |
8.97/9.03 c | 37623 | 1100 83164 277188 | 2147483647 37623 84 | 0.015 % |
8.97/9.08 c | 37769 | 1100 83164 277188 | 2147483647 37769 83 | 0.014 % |
9.07/9.14 c | 37931 | 1100 83164 277188 | 2147483647 37931 83 | 0.015 % |
9.17/9.21 c | 38113 | 1100 83164 277188 | 2147483647 38113 83 | 0.015 % |
9.17/9.28 c | 38310 | 1100 83164 277188 | 2147483647 38310 83 | 0.013 % |
9.27/9.34 c | 38522 | 1100 83164 277188 | 2147483647 38522 83 | 0.013 % |
9.37/9.46 c | 38756 | 1100 83164 277188 | 2147483647 38756 83 | 0.000 % |
9.47/9.59 c | 39014 | 1100 83164 277188 | 2147483647 39014 84 | 0.000 % |
9.67/9.71 c | 39297 | 1100 83164 277188 | 2147483647 39297 84 | 0.000 % |
9.78/9.82 c | 39606 | 1100 83164 277188 | 2147483647 39606 84 | 0.000 % |
9.88/9.95 c | 39947 | 1100 83164 277188 | 2147483647 39947 84 | 0.000 % |
9.97/10.09 c | 40319 | 1100 83164 277188 | 2147483647 40319 84 | 0.000 % |
10.17/10.24 c | 40728 | 1100 83164 277188 | 2147483647 40728 85 | 0.000 % |
10.27/10.38 c | 41179 | 1100 83164 277188 | 2147483647 41179 85 | 0.000 % |
10.47/10.58 c | 41672 | 1100 83164 277188 | 2147483647 41672 85 | 0.013 % |
10.67/10.78 c | 42216 | 1100 83164 277188 | 2147483647 42216 84 | 0.013 % |
10.98/11.02 c | 42812 | 1100 83164 277188 | 2147483647 42812 84 | 0.013 % |
10.98/11.06 c | 42913 | 1100 83164 277188 | 2147483647 42913 84 | 0.013 % |
11.07/11.10 c | 43023 | 1100 83164 277188 | 2147483647 43023 84 | 0.013 % |
11.07/11.15 c | 43146 | 1100 83164 277188 | 2147483647 43146 84 | 0.000 % |
11.17/11.20 c | 43280 | 1100 83164 277188 | 2147483647 43280 84 | 0.000 % |
11.17/11.27 c | 43428 | 1100 83164 277188 | 2147483647 43428 84 | 0.000 % |
11.27/11.34 c | 43588 | 1100 83164 277188 | 2147483647 43588 84 | 0.011 % |
11.37/11.42 c | 43765 | 1100 83164 277188 | 2147483647 43765 84 | 0.000 % |
11.37/11.49 c | 43958 | 1100 83164 277188 | 2147483647 43958 84 | 0.012 % |
11.47/11.57 c | 44171 | 1100 83164 277188 | 2147483647 44171 84 | 0.014 % |
11.57/11.68 c | 44404 | 1100 83164 277188 | 2147483647 44404 84 | 0.012 % |
11.67/11.77 c | 44662 | 1100 83164 277188 | 2147483647 44662 84 | 0.014 % |
11.77/11.87 c | 44944 | 1100 83164 277188 | 2147483647 44944 84 | 0.012 % |
11.87/11.99 c | 45257 | 1100 83164 277188 | 2147483647 45257 84 | 0.014 % |
12.07/12.11 c | 45596 | 1100 83164 277188 | 2147483647 45596 84 | 0.014 % |
12.17/12.28 c | 45968 | 1100 83164 277188 | 2147483647 45968 84 | 0.000 % |
12.47/12.50 c | 46377 | 1100 83164 277188 | 2147483647 46377 84 | 0.000 % |
12.67/12.72 c | 46826 | 1100 83164 277188 | 2147483647 46826 85 | 0.010 % |
12.87/12.92 c | 47319 | 1100 83164 277188 | 2147483647 47319 85 | 0.010 % |
13.07/13.13 c | 47862 | 1100 83164 277188 | 2147483647 47862 85 | 0.015 % |
13.37/13.40 c | 48458 | 1100 83164 277188 | 2147483647 48458 85 | 0.000 % |
13.66/13.72 c | 49114 | 1100 83164 277188 | 2147483647 49114 85 | 0.000 % |
13.66/13.78 c | 49214 | 1100 83164 277188 | 2147483647 49214 85 | 0.014 % |
13.76/13.83 c | 49325 | 1100 83164 277188 | 2147483647 49325 84 | 0.013 % |
13.76/13.89 c | 49446 | 1100 83164 277188 | 2147483647 49446 84 | 0.000 % |
13.86/13.95 c | 49579 | 1100 83164 277188 | 2147483647 49579 84 | 0.000 % |
13.96/14.02 c | 49725 | 1100 83164 277188 | 2147483647 49725 85 | 0.000 % |
13.96/14.09 c | 49888 | 1100 83164 277188 | 2147483647 49888 85 | 0.000 % |
14.06/14.18 c | 50064 | 1100 83164 277188 | 2147483647 50064 85 | 0.014 % |
14.17/14.28 c | 50257 | 1100 83164 277188 | 2147483647 50257 85 | 0.000 % |
14.27/14.35 c | 50471 | 1100 83164 277188 | 2147483647 50471 85 | 0.000 % |
14.36/14.45 c | 50708 | 1100 83164 277188 | 2147483647 50708 85 | 0.000 % |
14.46/14.56 c | 50966 | 1100 83164 277188 | 2147483647 50966 85 | 0.000 % |
14.56/14.68 c | 51249 | 1100 83164 277188 | 2147483647 51249 85 | 0.011 % |
14.77/14.81 c | 51560 | 1100 83164 277188 | 2147483647 51560 85 | 0.014 % |
14.87/14.99 c | 51899 | 1100 83164 277188 | 2147483647 51899 85 | 0.000 % |
15.07/15.17 c | 52272 | 1100 83164 277188 | 2147483647 52272 85 | 0.000 % |
15.27/15.33 c | 52683 | 1100 83164 277188 | 2147483647 52683 85 | 0.013 % |
15.47/15.50 c | 53132 | 1100 83164 277188 | 2147483647 53132 85 | 0.013 % |
15.57/15.67 c | 53625 | 1100 83164 277188 | 2147483647 53625 85 | 0.000 % |
15.77/15.87 c | 54172 | 1100 83164 277188 | 2147483647 54172 85 | 0.013 % |
16.07/16.11 c | 54771 | 1100 83164 277188 | 2147483647 54771 85 | 0.013 % |
16.27/16.37 c | 55427 | 1100 83164 277188 | 2147483647 55427 84 | 0.013 % |
16.67/16.73 c | 56148 | 1100 83164 277188 | 2147483647 56148 84 | 0.013 % |
16.67/16.78 c | 56248 | 1100 83164 277188 | 2147483647 56248 84 | 0.000 % |
16.77/16.82 c | 56359 | 1100 83164 277188 | 2147483647 56359 84 | 0.012 % |
16.77/16.88 c | 56480 | 1100 83164 277188 | 2147483647 56480 84 | 0.012 % |
16.87/16.95 c | 56614 | 1100 83164 277188 | 2147483647 56614 84 | 0.015 % |
16.97/17.01 c | 56760 | 1100 83164 277188 | 2147483647 56760 84 | 0.015 % |
16.97/17.09 c | 56920 | 1100 83164 277188 | 2147483647 56920 84 | 0.012 % |
17.07/17.16 c | 57097 | 1100 83164 277188 | 2147483647 57097 83 | 0.013 % |
17.17/17.28 c | 57291 | 1100 83164 277188 | 2147483647 57291 84 | 0.000 % |
17.27/17.39 c | 57505 | 1100 83164 277188 | 2147483647 57505 84 | 0.012 % |
17.47/17.51 c | 57738 | 1100 83164 277188 | 2147483647 57738 84 | 0.000 % |
17.57/17.61 c | 57994 | 1100 83164 277188 | 2147483647 57994 84 | 0.000 % |
17.66/17.75 c | 58276 | 1100 83164 277188 | 2147483647 58276 84 | 0.000 % |
17.76/17.89 c | 58585 | 1100 83164 277188 | 2147483647 58585 84 | 0.000 % |
18.07/18.10 c | 58924 | 1100 83164 277188 | 2147483647 58924 84 | 0.000 % |
18.17/18.27 c | 59298 | 1100 83164 277188 | 2147483647 59298 84 | 0.011 % |
18.37/18.44 c | 59707 | 1100 83164 277188 | 2147483647 59707 85 | 0.000 % |
18.58/18.66 c | 60157 | 1100 83164 277188 | 2147483647 60157 84 | 0.000 % |
18.77/18.89 c | 60650 | 1100 83164 277188 | 2147483647 60650 85 | 0.014 % |
19.07/19.12 c | 61192 | 1100 83164 277188 | 2147483647 61192 85 | 0.013 % |
19.37/19.42 c | 61794 | 1100 83164 277188 | 2147483647 61794 85 | 0.000 % |
19.67/19.73 c | 62449 | 1100 83164 277188 | 2147483647 62449 85 | 0.012 % |
19.97/20.07 c | 63169 | 1100 83164 277188 | 2147483647 63169 85 | 0.000 % |
20.37/20.44 c | 63962 | 1100 83164 277188 | 2147483647 63962 85 | 0.000 % |
20.37/20.49 c | 64062 | 1100 83164 277188 | 2147483647 64062 84 | 0.013 % |
20.46/20.56 c | 64174 | 1100 83164 277188 | 2147483647 64174 85 | 0.000 % |
20.56/20.63 c | 64298 | 1100 83164 277188 | 2147483647 64298 85 | 0.000 % |
20.66/20.70 c | 64431 | 1100 83164 277188 | 2147483647 64431 85 | 0.000 % |
20.66/20.77 c | 64578 | 1100 83164 277188 | 2147483647 64578 85 | 0.013 % |
20.77/20.87 c | 64740 | 1100 83164 277188 | 2147483647 64740 85 | 0.000 % |
20.87/20.98 c | 64917 | 1100 83164 277188 | 2147483647 64917 85 | 0.000 % |
20.96/21.07 c | 65110 | 1100 83164 277188 | 2147483647 65110 85 | 0.012 % |
21.06/21.16 c | 65322 | 1100 83164 277188 | 2147483647 65322 85 | 0.000 % |
21.16/21.28 c | 65555 | 1100 83164 277188 | 2147483647 65555 85 | 0.015 % |
21.36/21.44 c | 65811 | 1100 83164 277188 | 2147483647 65811 85 | 0.000 % |
21.46/21.59 c | 66092 | 1100 83164 277188 | 2147483647 66092 85 | 0.000 % |
21.66/21.79 c | 66402 | 1100 83164 277188 | 2147483647 66402 85 | 0.000 % |
21.87/21.98 c | 66743 | 1100 83164 277188 | 2147483647 66743 85 | 0.012 % |
22.17/22.20 c | 67116 | 1100 83164 277188 | 2147483647 67116 85 | 0.012 % |
22.37/22.42 c | 67525 | 1100 83164 277188 | 2147483647 67525 85 | 0.012 % |
22.57/22.67 c | 67975 | 1100 83164 277188 | 2147483647 67975 85 | 0.000 % |
22.87/22.98 c | 68469 | 1100 83164 277188 | 2147483647 68469 85 | 0.013 % |
23.27/23.32 c | 69014 | 1100 83164 277188 | 2147483647 69014 85 | 0.013 % |
23.67/23.73 c | 69610 | 1100 83164 277188 | 2147483647 69610 85 | 0.000 % |
24.07/24.11 c | 70267 | 1100 83164 277188 | 2147483647 70267 85 | 0.000 % |
24.47/24.52 c | 70987 | 1100 83164 277188 | 2147483647 70987 85 | 0.000 % |
24.87/24.98 c | 71779 | 1100 83164 277188 | 2147483647 71779 85 | 0.000 % |
25.37/25.44 c | 72651 | 1100 83164 277188 | 2147483647 72651 84 | 0.012 % |
25.37/25.49 c | 72753 | 1100 83164 277188 | 2147483647 72753 84 | 0.013 % |
25.47/25.58 c | 72863 | 1100 83164 277188 | 2147483647 72863 84 | 0.000 % |
25.57/25.66 c | 72984 | 1100 83164 277188 | 2147483647 72984 84 | 0.015 % |
25.67/25.76 c | 73117 | 1100 83164 277188 | 2147483647 73117 84 | 0.015 % |
25.77/25.84 c | 73264 | 1100 83164 277188 | 2147483647 73264 84 | 0.011 % |
25.87/25.93 c | 73424 | 1100 83164 277188 | 2147483647 73424 84 | 0.000 % |
25.97/26.02 c | 73600 | 1100 83164 277188 | 2147483647 73600 84 | 0.012 % |
26.07/26.15 c | 73795 | 1100 83164 277188 | 2147483647 73795 84 | 0.011 % |
26.27/26.30 c | 74008 | 1100 83164 277188 | 2147483647 74008 84 | 0.013 % |
26.37/26.46 c | 74242 | 1100 83164 277188 | 2147483647 74242 84 | 0.000 % |
26.57/26.61 c | 74498 | 1100 83164 277188 | 2147483647 74498 84 | 0.000 % |
26.67/26.78 c | 74779 | 1100 83164 277188 | 2147483647 74779 84 | 0.000 % |
26.87/26.96 c | 75088 | 1100 83164 277188 | 2147483647 75088 84 | 0.013 % |
27.06/27.14 c | 75427 | 1100 83164 277188 | 2147483647 75427 84 | 0.000 % |
27.26/27.37 c | 75801 | 1100 83164 277188 | 2147483647 75801 84 | 0.013 % |
27.47/27.58 c | 76211 | 1100 83164 277188 | 2147483647 76211 84 | 0.012 % |
27.76/27.80 c | 76660 | 1100 83164 277188 | 2147483647 76660 84 | 0.010 % |
27.96/28.08 c | 77155 | 1100 83164 277188 | 2147483647 77155 84 | 0.011 % |
28.26/28.37 c | 77697 | 1100 83164 277188 | 2147483647 77697 84 | 0.014 % |
28.66/28.72 c | 78293 | 1100 83164 277188 | 2147483647 78293 84 | 0.014 % |
29.06/29.10 c | 78949 | 1100 83164 277188 | 2147483647 78949 83 | 0.000 % |
29.46/29.50 c | 79669 | 1100 83164 277188 | 2147483647 79669 83 | 0.014 % |
29.86/29.96 c | 80462 | 1100 83164 277188 | 2147483647 80462 83 | 0.014 % |
30.36/30.46 c | 81334 | 1100 83164 277188 | 2147483647 81334 83 | 0.014 % |
30.96/31.05 c | 82293 | 1100 83164 277188 | 2147483647 82293 82 | 0.013 % |
31.06/31.11 c | 82393 | 1100 83164 277188 | 2147483647 82393 82 | 0.000 % |
31.06/31.18 c | 82504 | 1100 83164 277188 | 2147483647 82504 82 | 0.016 % |
31.16/31.27 c | 82625 | 1100 83164 277188 | 2147483647 82625 82 | 0.000 % |
31.26/31.37 c | 82761 | 1100 83164 277188 | 2147483647 82761 82 | 0.011 % |
31.37/31.47 c | 82907 | 1100 83164 277188 | 2147483647 82907 82 | 0.011 % |
31.47/31.59 c | 83069 | 1100 83164 277188 | 2147483647 83069 82 | 0.013 % |
31.67/31.72 c | 83245 | 1100 83164 277188 | 2147483647 83245 82 | 0.000 % |
31.77/31.82 c | 83438 | 1100 83164 277188 | 2147483647 83438 83 | 0.016 % |
31.87/31.99 c | 83652 | 1100 83164 277188 | 2147483647 83652 83 | 0.000 % |
32.07/32.12 c | 83885 | 1100 83164 277188 | 2147483647 83885 83 | 0.013 % |
32.16/32.27 c | 84141 | 1100 83164 277188 | 2147483647 84141 83 | 0.013 % |
32.36/32.46 c | 84423 | 1100 83164 277188 | 2147483647 84423 83 | 0.014 % |
32.56/32.68 c | 84733 | 1100 83164 277188 | 2147483647 84733 83 | 0.014 % |
32.76/32.86 c | 85073 | 1100 83164 277188 | 2147483647 85073 83 | 0.011 % |
32.97/33.09 c | 85445 | 1100 83164 277188 | 2147483647 85445 83 | 0.000 % |
33.26/33.36 c | 85855 | 1100 83164 277188 | 2147483647 85855 83 | 0.000 % |
33.56/33.60 c | 86306 | 1100 83164 277188 | 2147483647 86306 83 | 0.013 % |
33.86/33.91 c | 86799 | 1100 83164 277188 | 2147483647 86799 82 | 0.000 % |
34.16/34.22 c | 87341 | 1100 83164 277188 | 2147483647 87341 82 | 0.014 % |
34.56/34.61 c | 87937 | 1100 83164 277188 | 2147483647 87937 82 | 0.000 % |
34.96/35.01 c | 88592 | 1100 83164 277188 | 2147483647 88592 82 | 0.014 % |
35.46/35.54 c | 89312 | 1100 83164 277188 | 2147483647 89312 83 | 0.000 % |
36.05/36.11 c | 90106 | 1100 83164 277188 | 2147483647 90106 83 | 0.000 % |
36.55/36.65 c | 90977 | 1100 83164 277188 | 2147483647 90977 83 | 0.013 % |
37.15/37.24 c | 91937 | 1100 83164 277188 | 2147483647 91937 83 | 0.013 % |
37.76/37.89 c | 92990 | 1100 83164 277188 | 2147483647 92990 83 | 0.013 % |
37.86/37.96 c | 93091 | 1100 83164 277188 | 2147483647 93091 83 | 0.000 % |
37.96/38.04 c | 93201 | 1100 83164 277188 | 2147483647 93201 83 | 0.000 % |
38.06/38.13 c | 93323 | 1100 83164 277188 | 2147483647 93323 83 | 0.000 % |
38.16/38.22 c | 93457 | 1100 83164 277188 | 2147483647 93457 83 | 0.012 % |
38.26/38.33 c | 93603 | 1100 83164 277188 | 2147483647 93603 83 | 0.000 % |
38.36/38.46 c | 93765 | 1100 83164 277188 | 2147483647 93765 83 | 0.012 % |
38.56/38.61 c | 93941 | 1100 83164 277188 | 2147483647 93941 83 | 0.015 % |
38.66/38.74 c | 94134 | 1100 83164 277188 | 2147483647 94134 83 | 0.015 % |
38.86/38.91 c | 94346 | 1100 83164 277188 | 2147483647 94346 83 | 0.012 % |
38.96/39.06 c | 94579 | 1100 83164 277188 | 2147483647 94579 83 | 0.012 % |
39.16/39.30 c | 94835 | 1100 83164 277188 | 2147483647 94835 83 | 0.000 % |
39.36/39.49 c | 95116 | 1100 83164 277188 | 2147483647 95116 83 | 0.014 % |
39.66/39.75 c | 95425 | 1100 83164 277188 | 2147483647 95425 83 | 0.000 % |
39.96/40.00 c | 95765 | 1100 83164 277188 | 2147483647 95765 83 | 0.012 % |
40.15/40.22 c | 96138 | 1100 83164 277188 | 2147483647 96138 83 | 0.014 % |
40.35/40.46 c | 96547 | 1100 83164 277188 | 2147483647 96547 83 | 0.014 % |
40.75/40.80 c | 96996 | 1100 83164 277188 | 2147483647 96996 83 | 0.000 % |
41.05/41.17 c | 97490 | 1100 83164 277188 | 2147483647 97490 83 | 0.000 % |
41.35/41.49 c | 98032 | 1100 83164 277188 | 2147483647 98032 83 | 0.013 % |
41.85/41.97 c | 98629 | 1100 83164 277188 | 2147483647 98629 83 | 0.000 % |
42.35/42.47 c | 99287 | 1100 83164 277188 | 2147483647 99287 83 | 0.012 % |
42.95/43.02 c | 100008 | 1100 83164 277188 | 2147483647 100008 83 | 0.012 % |
43.55/43.60 c | 100801 | 1100 83164 277188 | 2147483647 100801 83 | 0.000 % |
44.16/44.25 c | 101672 | 1100 83164 277188 | 2147483647 101672 83 | 0.000 % |
44.86/44.91 c | 102630 | 1100 83164 277188 | 2147483647 102630 83 | 0.010 % |
45.66/45.70 c | 103684 | 1100 83164 277188 | 2147483647 103684 83 | 0.010 % |
46.36/46.48 c | 104842 | 1100 83164 277188 | 2147483647 104842 83 | 0.014 % |
46.46/46.55 c | 104943 | 1100 83164 277188 | 2147483647 104943 83 | 0.013 % |
46.56/46.62 c | 105056 | 1100 83164 277188 | 2147483647 105056 83 | 0.012 % |
46.66/46.79 c | 105178 | 1100 83164 277188 | 2147483647 105178 83 | 0.000 % |
46.86/46.90 c | 105313 | 1100 83164 277188 | 2147483647 105313 83 | 0.000 % |
46.96/47.04 c | 105460 | 1100 83164 277188 | 2147483647 105460 83 | 0.000 % |
47.06/47.16 c | 105620 | 1100 83164 277188 | 2147483647 105620 83 | 0.000 % |
47.16/47.27 c | 105802 | 1100 83164 277188 | 2147483647 105802 83 | 0.013 % |
47.36/47.43 c | 105995 | 1100 83164 277188 | 2147483647 105995 83 | 0.000 % |
47.56/47.65 c | 106207 | 1100 83164 277188 | 2147483647 106207 83 | 0.000 % |
47.76/47.85 c | 106441 | 1100 83164 277188 | 2147483647 106441 83 | 0.000 % |
47.95/48.09 c | 106697 | 1100 83164 277188 | 2147483647 106697 83 | 0.000 % |
48.26/48.33 c | 106978 | 1100 83164 277188 | 2147483647 106978 83 | 0.013 % |
48.55/48.61 c | 107288 | 1100 83164 277188 | 2147483647 107288 83 | 0.013 % |
48.75/48.84 c | 107628 | 1100 83164 277188 | 2147483647 107628 83 | 0.012 % |
48.95/49.09 c | 108000 | 1100 83164 277188 | 2147483647 108000 83 | 0.000 % |
49.36/49.44 c | 108410 | 1100 83164 277188 | 2147483647 108410 83 | 0.000 % |
49.65/49.75 c | 108859 | 1100 83164 277188 | 2147483647 108859 83 | 0.013 % |
50.05/50.10 c | 109352 | 1100 83164 277188 | 2147483647 109352 83 | 0.011 % |
50.46/50.56 c | 109894 | 1100 83164 277188 | 2147483647 109894 83 | 0.013 % |
50.95/51.08 c | 110492 | 1100 83164 277188 | 2147483647 110492 83 | 0.013 % |
51.45/51.57 c | 111148 | 1100 83164 277188 | 2147483647 111148 83 | 0.013 % |
52.05/52.14 c | 111868 | 1100 83164 277188 | 2147483647 111868 83 | 0.000 % |
52.66/52.75 c | 112660 | 1100 83164 277188 | 2147483647 112660 83 | 0.013 % |
53.36/53.47 c | 113533 | 1100 83164 277188 | 2147483647 113533 82 | 0.011 % |
54.25/54.31 c | 114491 | 1100 83164 277188 | 2147483647 114491 83 | 0.000 % |
55.15/55.22 c | 115544 | 1100 83164 277188 | 2147483647 115544 83 | 0.000 % |
56.35/56.45 c | 116704 | 1100 83164 277188 | 2147483647 116704 84 | 0.000 % |
57.45/57.54 c | 117978 | 1100 83164 277188 | 2147483647 117978 84 | 0.000 % |
57.55/57.62 c | 118079 | 1100 83164 277188 | 2147483647 118079 84 | 0.000 % |
57.65/57.76 c | 118189 | 1100 83164 277188 | 2147483647 118189 84 | 0.000 % |
57.75/57.87 c | 118310 | 1100 83164 277188 | 2147483647 118310 84 | 0.000 % |
57.95/58.01 c | 118443 | 1100 83164 277188 | 2147483647 118443 84 | 0.013 % |
58.05/58.16 c | 118589 | 1100 83164 277188 | 2147483647 118589 84 | 0.013 % |
58.26/58.33 c | 118749 | 1100 83164 277188 | 2147483647 118749 84 | 0.000 % |
58.35/58.49 c | 118926 | 1100 83164 277188 | 2147483647 118926 84 | 0.000 % |
58.65/58.70 c | 119119 | 1100 83164 277188 | 2147483647 119119 84 | 0.013 % |
58.75/58.89 c | 119332 | 1100 83164 277188 | 2147483647 119332 84 | 0.000 % |
58.95/59.09 c | 119567 | 1100 83164 277188 | 2147483647 119567 84 | 0.000 % |
59.26/59.31 c | 119825 | 1100 83164 277188 | 2147483647 119825 84 | 0.000 % |
59.45/59.59 c | 120106 | 1100 83164 277188 | 120000 120106 84 | 0.000 % |
59.95/60.03 c | 120415 | 1100 83164 277188 | 120000 106690 83 | 0.012 % |
60.25/60.32 c | 120754 | 1100 83164 277188 | 120000 107029 83 | 0.013 % |
60.55/60.63 c | 121128 | 1100 83164 277188 | 120000 107403 83 | 0.000 % |
60.85/60.94 c | 121540 | 1100 83164 277188 | 120000 107815 83 | 0.000 % |
61.25/61.39 c | 121992 | 1100 83164 277188 | 120000 108267 83 | 0.000 % |
61.75/61.84 c | 122485 | 1100 83164 277188 | 120000 108760 83 | 0.000 % |
62.15/62.30 c | 123027 | 1100 83164 277188 | 120000 109302 83 | 0.014 % |
62.85/62.96 c | 123623 | 1100 83164 277188 | 120000 109898 84 | 0.000 % |
63.45/63.59 c | 124278 | 1100 83164 277188 | 120000 110553 84 | 0.000 % |
64.15/64.20 c | 124999 | 1100 83164 277188 | 120000 111274 83 | 0.000 % |
64.75/64.89 c | 125792 | 1100 83164 277188 | 120000 112067 83 | 0.014 % |
65.45/65.58 c | 126665 | 1100 83164 277188 | 120000 112940 83 | 0.013 % |
66.35/66.48 c | 127623 | 1100 83164 277188 | 120000 113898 83 | 0.000 % |
67.35/67.40 c | 128677 | 1100 83164 277188 | 120000 114952 83 | 0.013 % |
68.25/68.31 c | 129835 | 1100 83164 277188 | 120000 116110 83 | 0.000 % |
69.45/69.51 c | 131109 | 1100 83164 277188 | 116275 102540 81 | 0.000 % |
70.54/70.63 c | 132510 | 1100 83164 277188 | 116275 103941 81 | 0.000 % |
70.64/70.75 c | 132610 | 1100 83164 277188 | 116275 104041 81 | 0.000 % |
70.74/70.86 c | 132720 | 1100 83164 277188 | 116275 104151 82 | 0.000 % |
70.84/70.96 c | 132841 | 1100 83164 277188 | 116275 104272 82 | 0.000 % |
70.94/71.09 c | 132974 | 1100 83164 277188 | 116275 104405 82 | 0.014 % |
71.14/71.22 c | 133121 | 1100 83164 277188 | 116275 104552 82 | 0.000 % |
71.24/71.36 c | 133281 | 1100 83164 277188 | 116275 104712 82 | 0.000 % |
71.45/71.51 c | 133457 | 1100 83164 277188 | 116275 104888 82 | 0.000 % |
71.54/71.65 c | 133652 | 1100 83164 277188 | 116275 105083 82 | 0.015 % |
71.74/71.84 c | 133864 | 1100 83164 277188 | 116275 105295 82 | 0.015 % |
71.94/72.04 c | 134098 | 1100 83164 277188 | 116275 105529 81 | 0.015 % |
72.14/72.27 c | 134354 | 1100 83164 277188 | 116275 105785 82 | 0.000 % |
72.45/72.51 c | 134636 | 1100 83164 277188 | 116275 106067 82 | 0.000 % |
72.64/72.72 c | 134945 | 1100 83164 277188 | 116275 106376 82 | 0.000 % |
72.94/73.03 c | 135288 | 1100 83164 277188 | 116275 106719 82 | 0.000 % |
73.24/73.33 c | 135660 | 1100 83164 277188 | 116275 107091 82 | 0.012 % |
73.44/73.60 c | 136069 | 1100 83164 277188 | 116275 107500 82 | 0.000 % |
73.94/74.09 c | 136518 | 1100 83164 277188 | 116275 107949 82 | 0.000 % |
74.44/74.54 c | 137012 | 1100 83164 277188 | 116275 108443 82 | 0.000 % |
75.04/75.15 c | 137554 | 1100 83164 277188 | 116275 108985 82 | 0.000 % |
75.54/75.67 c | 138151 | 1100 83164 277188 | 116275 109582 83 | 0.000 % |
76.14/76.24 c | 138806 | 1100 83164 277188 | 116275 110237 83 | 0.000 % |
76.74/76.80 c | 139528 | 1100 83164 277188 | 116275 110959 83 | 0.015 % |
77.54/77.61 c | 140322 | 1100 83164 277188 | 111435 111753 83 | 0.000 % |
78.44/78.52 c | 141194 | 1100 83164 277188 | 111435 99370 82 | 0.000 % |
79.24/79.37 c | 142152 | 1100 83164 277188 | 111435 100328 82 | 0.000 % |
80.04/80.16 c | 143205 | 1100 83164 277188 | 111435 101381 82 | 0.011 % |
80.84/80.98 c | 144363 | 1100 83164 277188 | 111435 102539 83 | 0.000 % |
82.04/82.13 c | 145636 | 1100 83164 277188 | 111435 103812 83 | 0.000 % |
83.34/83.46 c | 147037 | 1100 83164 277188 | 111435 105213 83 | 0.000 % |
84.84/84.94 c | 148577 | 1100 83164 277188 | 111435 106753 84 | 0.000 % |
84.94/85.08 c | 148679 | 1100 83164 277188 | 111435 106855 84 | 0.000 % |
85.04/85.19 c | 148790 | 1100 83164 277188 | 111435 106966 84 | 0.000 % |
85.24/85.31 c | 148913 | 1100 83164 277188 | 111435 107089 84 | 0.000 % |
85.34/85.41 c | 149047 | 1100 83164 277188 | 111435 107223 84 | 0.000 % |
85.44/85.53 c | 149194 | 1100 83164 277188 | 111435 107370 84 | 0.000 % |
85.54/85.65 c | 149354 | 1100 83164 277188 | 111435 107530 84 | 0.000 % |
85.74/85.80 c | 149530 | 1100 83164 277188 | 111435 107706 84 | 0.000 % |
85.94/86.06 c | 149723 | 1100 83164 277188 | 111435 107899 84 | 0.000 % |
86.14/86.28 c | 149935 | 1100 83164 277188 | 111435 108111 84 | 0.000 % |
86.44/86.52 c | 150168 | 1100 83164 277188 | 108176 108344 84 | 0.000 % |
86.74/86.84 c | 150425 | 1100 83164 277188 | 108176 94564 83 | 0.013 % |
87.04/87.13 c | 150708 | 1100 83164 277188 | 108176 94847 83 | 0.000 % |
87.34/87.41 c | 151017 | 1100 83164 277188 | 108176 95156 83 | 0.014 % |
87.74/87.82 c | 151359 | 1100 83164 277188 | 108176 95498 84 | 0.000 % |
88.03/88.13 c | 151733 | 1100 83164 277188 | 108176 95872 84 | 0.000 % |
88.33/88.49 c | 152142 | 1100 83164 277188 | 108176 96281 84 | 0.000 % |
88.73/88.88 c | 152595 | 1100 83164 277188 | 108176 96734 84 | 0.000 % |
89.23/89.33 c | 153088 | 1100 83164 277188 | 108176 97227 84 | 0.000 % |
89.73/89.81 c | 153630 | 1100 83164 277188 | 108176 97769 84 | 0.000 % |
90.23/90.38 c | 154226 | 1100 83164 277188 | 108176 98365 85 | 0.000 % |
90.93/91.00 c | 154881 | 1100 83164 277188 | 108176 99020 85 | 0.000 % |
91.53/91.65 c | 155601 | 1100 83164 277188 | 108176 99740 85 | 0.000 % |
92.24/92.37 c | 156395 | 1100 83164 277188 | 108176 100534 85 | 0.000 % |
93.13/93.24 c | 157267 | 1100 83164 277188 | 108176 101406 85 | 0.000 % |
94.03/94.18 c | 158225 | 1100 83164 277188 | 108176 102364 84 | 0.015 % |
95.03/95.13 c | 159279 | 1100 83164 277188 | 108176 103418 84 | 0.000 % |
96.13/96.29 c | 160438 | 1100 83164 277188 | 104141 104577 84 | 0.000 % |
97.23/97.34 c | 161712 | 1100 83164 277188 | 104141 91226 85 | 0.000 % |
98.23/98.36 c | 163113 | 1100 83164 277188 | 104141 92627 85 | 0.000 % |
99.63/99.71 c | 164656 | 1100 83164 277188 | 104141 94170 84 | 0.000 % |
101.03/101.17 c | 166351 | 1100 83164 277188 | 104141 95865 84 | 0.014 % |
101.13/101.25 c | 166452 | 1100 83164 277188 | 104141 95966 84 | 0.014 % |
101.23/101.33 c | 166564 | 1100 83164 277188 | 104141 96078 84 | 0.000 % |
101.33/101.48 c | 166687 | 1100 83164 277188 | 104141 96201 84 | 0.000 % |
101.53/101.64 c | 166822 | 1100 83164 277188 | 104141 96336 84 | 0.000 % |
101.63/101.77 c | 166968 | 1100 83164 277188 | 104141 96482 84 | 0.000 % |
101.83/101.93 c | 167128 | 1100 83164 277188 | 104141 96642 84 | 0.000 % |
102.03/102.10 c | 167304 | 1100 83164 277188 | 104141 96818 84 | 0.000 % |
102.13/102.29 c | 167500 | 1100 83164 277188 | 104141 97014 84 | 0.000 % |
102.33/102.50 c | 167712 | 1100 83164 277188 | 104141 97226 84 | 0.000 % |
102.63/102.71 c | 167946 | 1100 83164 277188 | 104141 97460 84 | 0.000 % |
102.83/102.97 c | 168203 | 1100 83164 277188 | 104141 97717 84 | 0.013 % |
103.13/103.20 c | 168484 | 1100 83164 277188 | 104141 97998 84 | 0.012 % |
103.43/103.55 c | 168794 | 1100 83164 277188 | 104141 98308 84 | 0.000 % |
103.73/103.88 c | 169133 | 1100 83164 277188 | 104141 98647 84 | 0.000 % |
104.03/104.16 c | 169506 | 1100 83164 277188 | 104141 99020 84 | 0.011 % |
104.43/104.58 c | 169915 | 1100 83164 277188 | 104141 99429 85 | 0.000 % |
104.93/105.02 c | 170364 | 1100 83164 277188 | 99516 99878 85 | 0.000 % |
105.33/105.48 c | 170857 | 1100 83164 277188 | 99516 87055 84 | 0.000 % |
105.83/105.94 c | 171401 | 1100 83164 277188 | 99516 87599 84 | 0.000 % |
106.33/106.45 c | 171997 | 1100 83164 277188 | 99516 88195 84 | 0.013 % |
106.83/106.92 c | 172652 | 1100 83164 277188 | 99516 88850 84 | 0.012 % |
107.42/107.59 c | 173373 | 1100 83164 277188 | 99516 89571 84 | 0.013 % |
108.23/108.33 c | 174165 | 1100 83164 277188 | 99516 90363 84 | 0.000 % |
108.92/109.06 c | 175038 | 1100 83164 277188 | 99516 91236 84 | 0.014 % |
109.93/110.09 c | 175997 | 1100 83164 277188 | 99516 92195 84 | 0.000 % |
110.93/111.02 c | 177050 | 1100 83164 277188 | 99516 93248 84 | 0.000 % |
111.92/112.07 c | 178209 | 1100 83164 277188 | 99516 94407 85 | 0.000 % |
113.13/113.22 c | 179482 | 1100 83164 277188 | 99516 95680 86 | 0.000 % |
114.42/114.59 c | 180882 | 1100 83164 277188 | 96198 84671 85 | 0.000 % |
115.82/115.90 c | 182424 | 1100 83164 277188 | 96198 86213 86 | 0.000 % |
117.42/117.56 c | 184122 | 1100 83164 277188 | 96198 87911 86 | 0.000 % |
119.02/119.12 c | 185985 | 1100 83164 277188 | 96198 89774 85 | 0.013 % |
119.12/119.25 c | 186085 | 1100 83164 277188 | 96198 89874 85 | 0.012 % |
119.22/119.38 c | 186195 | 1100 83164 277188 | 96198 89984 85 | 0.000 % |
119.32/119.49 c | 186318 | 1100 83164 277188 | 96198 90107 85 | 0.000 % |
119.52/119.64 c | 186451 | 1100 83164 277188 | 96198 90240 86 | 0.000 % |
119.62/119.78 c | 186597 | 1100 83164 277188 | 96198 90386 85 | 0.000 % |
119.82/119.96 c | 186758 | 1100 83164 277188 | 96198 90547 86 | 0.000 % |
120.02/120.17 c | 186934 | 1100 83164 277188 | 96198 90723 86 | 0.012 % |
120.22/120.33 c | 187129 | 1100 83164 277188 | 96198 90918 86 | 0.000 % |
120.42/120.54 c | 187341 | 1100 83164 277188 | 96198 91130 86 | 0.000 % |
120.62/120.75 c | 187574 | 1100 83164 277188 | 96198 91363 86 | 0.000 % |
120.92/121.08 c | 187831 | 1100 83164 277188 | 96198 91620 86 | 0.000 % |
121.22/121.32 c | 188112 | 1100 83164 277188 | 96198 91901 86 | 0.000 % |
121.42/121.58 c | 188421 | 1100 83164 277188 | 96198 92210 86 | 0.000 % |
121.72/121.87 c | 188761 | 1100 83164 277188 | 96198 92550 86 | 0.000 % |
122.12/122.22 c | 189133 | 1100 83164 277188 | 96198 92922 86 | 0.014 % |
122.41/122.51 c | 189545 | 1100 83164 277188 | 96198 93334 86 | 0.014 % |
122.81/122.99 c | 189994 | 1100 83164 277188 | 96198 93783 86 | 0.000 % |
123.21/123.38 c | 190487 | 1100 83164 277188 | 93792 94276 86 | 0.000 % |
123.71/123.82 c | 191029 | 1100 83164 277188 | 93792 83311 84 | 0.000 % |
124.41/124.58 c | 191625 | 1100 83164 277188 | 93792 83907 85 | 0.000 % |
125.01/125.17 c | 192281 | 1100 83164 277188 | 93792 84563 85 | 0.000 % |
125.61/125.70 c | 193001 | 1100 83164 277188 | 93792 85283 85 | 0.014 % |
126.21/126.36 c | 193795 | 1100 83164 277188 | 93792 86077 86 | 0.000 % |
126.91/127.03 c | 194667 | 1100 83164 277188 | 93792 86949 86 | 0.015 % |
127.61/127.78 c | 195626 | 1100 83164 277188 | 93792 87908 86 | 0.000 % |
128.71/128.80 c | 196679 | 1100 83164 277188 | 93792 88961 86 | 0.000 % |
129.61/129.74 c | 197837 | 1100 83164 277188 | 93792 90119 85 | 0.000 % |
130.51/130.69 c | 199110 | 1100 83164 277188 | 93792 91392 85 | 0.014 % |
131.71/131.83 c | 200510 | 1100 83164 277188 | 92284 92792 85 | 0.014 % |
133.11/133.24 c | 202050 | 1100 83164 277188 | 92284 82223 86 | 0.000 % |
134.71/134.87 c | 203744 | 1100 83164 277188 | 92284 83917 87 | 0.000 % |
136.41/136.59 c | 205607 | 1100 83164 277188 | 92284 85780 87 | 0.000 % |
138.31/138.45 c | 207657 | 1100 83164 277188 | 92284 87830 87 | 0.012 % |
138.41/138.54 c | 207757 | 1100 83164 277188 | 92284 87930 87 | 0.011 % |
138.51/138.66 c | 207868 | 1100 83164 277188 | 92284 88041 87 | 0.000 % |
138.60/138.77 c | 207989 | 1100 83164 277188 | 92284 88162 87 | 0.013 % |
138.70/138.89 c | 208122 | 1100 83164 277188 | 92284 88295 87 | 0.011 % |
138.90/139.07 c | 208271 | 1100 83164 277188 | 92284 88444 87 | 0.000 % |
139.10/139.23 c | 208431 | 1100 83164 277188 | 92284 88604 87 | 0.000 % |
139.20/139.39 c | 208608 | 1100 83164 277188 | 92284 88781 87 | 0.000 % |
139.40/139.56 c | 208801 | 1100 83164 277188 | 92284 88974 87 | 0.000 % |
139.61/139.76 c | 209013 | 1100 83164 277188 | 92284 89186 87 | 0.000 % |
139.90/140.00 c | 209248 | 1100 83164 277188 | 92284 89421 87 | 0.000 % |
140.10/140.24 c | 209506 | 1100 83164 277188 | 92284 89679 87 | 0.000 % |
140.40/140.53 c | 209790 | 1100 83164 277188 | 92284 89963 87 | 0.000 % |
140.70/140.81 c | 210100 | 1100 83164 277188 | 90173 90273 87 | 0.000 % |
141.00/141.17 c | 210439 | 1100 83164 277188 | 90173 78702 85 | 0.000 % |
141.30/141.46 c | 210812 | 1100 83164 277188 | 90173 79075 85 | 0.000 % |
141.60/141.77 c | 211222 | 1100 83164 277188 | 90173 79485 85 | 0.000 % |
142.00/142.10 c | 211673 | 1100 83164 277188 | 90173 79936 85 | 0.014 % |
142.30/142.46 c | 212168 | 1100 83164 277188 | 90173 80431 85 | 0.000 % |
142.71/142.89 c | 212710 | 1100 83164 277188 | 90173 80973 84 | 0.014 % |
143.21/143.37 c | 213308 | 1100 83164 277188 | 90173 81571 84 | 0.014 % |
143.81/143.95 c | 213963 | 1100 83164 277188 | 90173 82226 84 | 0.014 % |
144.51/144.64 c | 214684 | 1100 83164 277188 | 90173 82947 84 | 0.014 % |
145.11/145.25 c | 215476 | 1100 83164 277188 | 90173 83739 84 | 0.014 % |
145.91/146.03 c | 216347 | 1100 83164 277188 | 90173 84610 84 | 0.000 % |
146.81/146.92 c | 217305 | 1100 83164 277188 | 90173 85568 83 | 0.014 % |
147.80/147.96 c | 218358 | 1100 83164 277188 | 90173 86621 83 | 0.014 % |
148.80/148.99 c | 219516 | 1100 83164 277188 | 90173 87779 83 | 0.014 % |
150.10/150.30 c | 220789 | 1100 83164 277188 | 88263 79372 80 | 0.000 % |
151.20/151.31 c | 222189 | 1100 83164 277188 | 88263 80772 81 | 0.000 % |
152.40/152.51 c | 223729 | 1100 83164 277188 | 88263 82312 81 | 0.014 % |
153.91/154.07 c | 225425 | 1100 83164 277188 | 88263 84008 81 | 0.013 % |
155.60/155.77 c | 227289 | 1100 83164 277188 | 88263 85872 80 | 0.013 % |
157.40/157.53 c | 229338 | 1100 83164 277188 | 88263 87921 80 | 0.014 % |
159.40/159.51 c | 231592 | 1100 83164 277188 | 2147483647 90175 80 | 0.012 % |
159.50/159.62 c | 231694 | 1100 83164 277188 | 2147483647 90277 80 | 0.000 % |
159.60/159.75 c | 231805 | 1100 83164 277188 | 2147483647 90388 80 | 0.000 % |
159.70/159.87 c | 231926 | 1100 83164 277188 | 2147483647 90509 80 | 0.000 % |
159.80/159.99 c | 232060 | 1100 83164 277188 | 2147483647 90643 80 | 0.013 % |
160.00/160.17 c | 232209 | 1100 83164 277188 | 2147483647 90792 80 | 0.000 % |
160.20/160.32 c | 232370 | 1100 83164 277188 | 2147483647 90953 80 | 0.000 % |
160.30/160.45 c | 232547 | 1100 83164 277188 | 2147483647 91130 80 | 0.000 % |
160.50/160.64 c | 232740 | 1100 83164 277188 | 2147483647 91323 80 | 0.000 % |
160.70/160.83 c | 232953 | 1100 83164 277188 | 2147483647 91536 80 | 0.013 % |
160.90/161.05 c | 233186 | 1100 83164 277188 | 2147483647 91769 80 | 0.012 % |
161.10/161.29 c | 233445 | 1100 83164 277188 | 2147483647 92028 80 | 0.015 % |
161.40/161.54 c | 233726 | 1100 83164 277188 | 2147483647 92309 80 | 0.014 % |
161.70/161.82 c | 234039 | 1100 83164 277188 | 2147483647 92622 80 | 0.000 % |
162.00/162.16 c | 234378 | 1100 83164 277188 | 2147483647 92961 80 | 0.000 % |
162.30/162.44 c | 234751 | 1100 83164 277188 | 2147483647 93334 80 | 0.000 % |
162.60/162.75 c | 235161 | 1100 83164 277188 | 2147483647 93744 80 | 0.000 % |
162.90/163.08 c | 235610 | 1100 83164 277188 | 2147483647 94193 81 | 0.013 % |
163.30/163.47 c | 236105 | 1100 83164 277188 | 2147483647 94688 81 | 0.012 % |
163.80/163.93 c | 236647 | 1100 83164 277188 | 2147483647 95230 81 | 0.012 % |
164.30/164.46 c | 237245 | 1100 83164 277188 | 2147483647 95828 81 | 0.000 % |
164.90/165.03 c | 237900 | 1100 83164 277188 | 2147483647 96483 81 | 0.014 % |
165.60/165.70 c | 238620 | 1100 83164 277188 | 2147483647 97203 80 | 0.014 % |
166.19/166.37 c | 239412 | 1100 83164 277188 | 2147483647 97995 80 | 0.014 % |
166.79/166.95 c | 240283 | 1100 83164 277188 | 98585 98866 80 | 0.014 % |
167.59/167.75 c | 241242 | 1100 83164 277188 | 98585 88204 80 | 0.012 % |
168.39/168.59 c | 242296 | 1100 83164 277188 | 98585 89258 80 | 0.013 % |
169.20/169.39 c | 243454 | 1100 83164 277188 | 98585 90416 80 | 0.013 % |
170.30/170.46 c | 244729 | 1100 83164 277188 | 98585 91691 80 | 0.013 % |
171.59/171.75 c | 246129 | 1100 83164 277188 | 98585 93091 79 | 0.013 % |
172.99/173.14 c | 247669 | 1100 83164 277188 | 98585 94631 79 | 0.013 % |
174.39/174.58 c | 249364 | 1100 83164 277188 | 98585 96326 78 | 0.014 % |
176.19/176.34 c | 251229 | 1100 83164 277188 | 96962 85916 75 | 0.013 % |
177.99/178.19 c | 253278 | 1100 83164 277188 | 96962 87965 75 | 0.014 % |
180.09/180.28 c | 255531 | 1100 83164 277188 | 96962 90218 74 | 0.014 % |
182.39/182.56 c | 258009 | 1100 83164 277188 | 96962 92696 77 | 0.000 % |
182.49/182.68 c | 258109 | 1100 83164 277188 | 96962 92796 77 | 0.000 % |
182.59/182.79 c | 258220 | 1100 83164 277188 | 96962 92907 77 | 0.000 % |
182.79/182.91 c | 258341 | 1100 83164 277188 | 96962 93028 77 | 0.000 % |
182.89/183.04 c | 258474 | 1100 83164 277188 | 96962 93161 77 | 0.000 % |
182.99/183.19 c | 258620 | 1100 83164 277188 | 96962 93307 77 | 0.000 % |
183.19/183.34 c | 258780 | 1100 83164 277188 | 96962 93467 77 | 0.014 % |
183.39/183.50 c | 258959 | 1100 83164 277188 | 96962 93646 77 | 0.014 % |
183.59/183.70 c | 259153 | 1100 83164 277188 | 96962 93840 77 | 0.014 % |
183.69/183.88 c | 259365 | 1100 83164 277188 | 96962 94052 77 | 0.014 % |
183.89/184.07 c | 259598 | 1100 83164 277188 | 96962 94285 77 | 0.014 % |
184.19/184.33 c | 259854 | 1100 83164 277188 | 96962 94541 77 | 0.000 % |
184.48/184.61 c | 260135 | 1100 83164 277188 | 94689 94822 77 | 0.011 % |
184.78/184.91 c | 260444 | 1100 83164 277188 | 94689 84157 75 | 0.011 % |
184.98/185.19 c | 260785 | 1100 83164 277188 | 94689 84498 75 | 0.000 % |
185.28/185.50 c | 261160 | 1100 83164 277188 | 94689 84873 76 | 0.012 % |
185.58/185.80 c | 261569 | 1100 83164 277188 | 94689 85282 75 | 0.000 % |
185.98/186.19 c | 262019 | 1100 83164 277188 | 94689 85732 76 | 0.000 % |
186.38/186.57 c | 262512 | 1100 83164 277188 | 94689 86225 76 | 0.000 % |
186.89/187.09 c | 263056 | 1100 83164 277188 | 94689 86769 76 | 0.000 % |
187.38/187.56 c | 263654 | 1100 83164 277188 | 94689 87367 77 | 0.000 % |
188.08/188.21 c | 264309 | 1100 83164 277188 | 94689 88022 77 | 0.000 % |
188.58/188.76 c | 265029 | 1100 83164 277188 | 94689 88742 77 | 0.000 % |
189.28/189.45 c | 265821 | 1100 83164 277188 | 94689 89534 78 | 0.000 % |
190.09/190.24 c | 266692 | 1100 83164 277188 | 94689 90405 79 | 0.000 % |
190.88/191.02 c | 267651 | 1100 83164 277188 | 94689 91364 79 | 0.000 % |
191.88/192.05 c | 268704 | 1100 83164 277188 | 94689 92417 79 | 0.000 % |
192.98/193.19 c | 269862 | 1100 83164 277188 | 94689 93575 79 | 0.000 % |
194.38/194.52 c | 271136 | 1100 83164 277188 | 2147483647 94849 80 | 0.000 % |
195.68/195.85 c | 272537 | 1100 83164 277188 | 2147483647 96250 80 | 0.013 % |
197.28/197.45 c | 274077 | 1100 83164 277188 | 2147483647 97790 81 | 0.000 % |
198.88/199.06 c | 275771 | 1100 83164 277188 | 2147483647 99484 81 | 0.000 % |
200.58/200.79 c | 277636 | 1100 83164 277188 | 2147483647 101349 81 | 0.016 % |
202.47/202.69 c | 279685 | 1100 83164 277188 | 2147483647 103398 81 | 0.000 % |
204.77/204.99 c | 281940 | 1100 83164 277188 | 103714 91414 77 | 0.000 % |
207.27/207.43 c | 284418 | 1100 83164 277188 | 103714 93892 77 | 0.000 % |
209.77/209.97 c | 287143 | 1100 83164 277188 | 103714 96617 77 | 0.016 % |
209.87/210.07 c | 287246 | 1100 83164 277188 | 103714 96720 77 | 0.000 % |
209.97/210.17 c | 287357 | 1100 83164 277188 | 103714 96831 77 | 0.000 % |
210.07/210.27 c | 287478 | 1100 83164 277188 | 103714 96952 77 | 0.000 % |
210.17/210.38 c | 287611 | 1100 83164 277188 | 103714 97085 77 | 0.000 % |
210.37/210.53 c | 287757 | 1100 83164 277188 | 103714 97231 77 | 0.000 % |
210.47/210.66 c | 287919 | 1100 83164 277188 | 103714 97393 77 | 0.000 % |
210.67/210.86 c | 288096 | 1100 83164 277188 | 103714 97570 77 | 0.016 % |
210.97/211.11 c | 288291 | 1100 83164 277188 | 103714 97765 77 | 0.000 % |
211.17/211.31 c | 288503 | 1100 83164 277188 | 103714 97977 77 | 0.000 % |
211.37/211.55 c | 288737 | 1100 83164 277188 | 103714 98211 78 | 0.000 % |
211.57/211.75 c | 288993 | 1100 83164 277188 | 103714 98467 78 | 0.000 % |
211.87/212.03 c | 289274 | 1100 83164 277188 | 103714 98748 78 | 0.000 % |
212.17/212.33 c | 289583 | 1100 83164 277188 | 103714 99057 78 | 0.013 % |
212.57/212.72 c | 289922 | 1100 83164 277188 | 103714 99396 78 | 0.000 % |
212.87/213.01 c | 290294 | 1100 83164 277188 | 99475 99768 78 | 0.000 % |
213.36/213.50 c | 290703 | 1100 83164 277188 | 99475 85108 77 | 0.000 % |
213.66/213.88 c | 291152 | 1100 83164 277188 | 99475 85557 77 | 0.015 % |
214.06/214.25 c | 291647 | 1100 83164 277188 | 99475 86052 77 | 0.014 % |
214.56/214.70 c | 292189 | 1100 83164 277188 | 99475 86594 77 | 0.000 % |
215.06/215.24 c | 292785 | 1100 83164 277188 | 99475 87190 77 | 0.011 % |
215.56/215.77 c | 293440 | 1100 83164 277188 | 99475 87845 77 | 0.000 % |
216.26/216.43 c | 294160 | 1100 83164 277188 | 99475 88565 77 | 0.013 % |
217.06/217.24 c | 294953 | 1100 83164 277188 | 99475 89358 77 | 0.012 % |
217.96/218.16 c | 295824 | 1100 83164 277188 | 99475 90229 77 | 0.014 % |
218.76/218.96 c | 296782 | 1100 83164 277188 | 99475 91187 77 | 0.011 % |
219.77/219.94 c | 297835 | 1100 83164 277188 | 99475 92240 77 | 0.014 % |
220.86/221.02 c | 298995 | 1100 83164 277188 | 99475 93400 77 | 0.015 % |
221.96/222.12 c | 300272 | 1100 83164 277188 | 94406 94677 77 | 0.012 % |
223.26/223.44 c | 301673 | 1100 83164 277188 | 94406 82835 76 | 0.000 % |
224.26/224.46 c | 303215 | 1100 83164 277188 | 94406 84377 76 | 0.000 % |
225.46/225.66 c | 304910 | 1100 83164 277188 | 94406 86072 76 | 0.011 % |
227.06/227.21 c | 306774 | 1100 83164 277188 | 94406 87936 76 | 0.014 % |
228.46/228.65 c | 308823 | 1100 83164 277188 | 94406 89985 76 | 0.011 % |
230.36/230.53 c | 311079 | 1100 83164 277188 | 91163 80420 75 | 0.014 % |
232.96/233.16 c | 313558 | 1100 83164 277188 | 91163 82899 78 | 0.000 % |
236.05/236.20 c | 316285 | 1100 83164 277188 | 91163 85626 81 | 0.000 % |
238.85/239.03 c | 319284 | 1100 83164 277188 | 91163 88625 82 | 0.000 % |
238.95/239.13 c | 319388 | 1100 83164 277188 | 91163 88729 82 | 0.000 % |
239.05/239.25 c | 319500 | 1100 83164 277188 | 91163 88841 82 | 0.014 % |
239.15/239.35 c | 319621 | 1100 83164 277188 | 91163 88962 82 | 0.000 % |
239.35/239.50 c | 319754 | 1100 83164 277188 | 91163 89095 82 | 0.000 % |
239.45/239.68 c | 319901 | 1100 83164 277188 | 91163 89242 82 | 0.000 % |
239.66/239.84 c | 320062 | 1100 83164 277188 | 2147483647 89403 82 | 0.000 % |
239.85/240.03 c | 320238 | 1100 83164 277188 | 2147483647 89579 82 | 0.000 % |
240.05/240.20 c | 320431 | 1100 83164 277188 | 2147483647 89772 82 | 0.000 % |
240.25/240.40 c | 320643 | 1100 83164 277188 | 2147483647 89984 82 | 0.000 % |
240.35/240.57 c | 320876 | 1100 83164 277188 | 2147483647 90217 82 | 0.000 % |
240.65/240.80 c | 321132 | 1100 83164 277188 | 2147483647 90473 82 | 0.000 % |
240.85/241.07 c | 321413 | 1100 83164 277188 | 2147483647 90754 82 | 0.012 % |
241.15/241.32 c | 321723 | 1100 83164 277188 | 2147483647 91064 82 | 0.000 % |
241.45/241.63 c | 322064 | 1100 83164 277188 | 2147483647 91405 82 | 0.000 % |
241.85/242.08 c | 322436 | 1100 83164 277188 | 2147483647 91777 83 | 0.000 % |
242.35/242.50 c | 322846 | 1100 83164 277188 | 2147483647 92187 83 | 0.000 % |
242.75/242.98 c | 323295 | 1100 83164 277188 | 2147483647 92636 83 | 0.000 % |
243.35/243.51 c | 323789 | 1100 83164 277188 | 2147483647 93130 83 | 0.000 % |
243.75/243.98 c | 324331 | 1100 83164 277188 | 2147483647 93672 83 | 0.000 % |
244.35/244.50 c | 324928 | 1100 83164 277188 | 2147483647 94269 83 | 0.000 % |
244.85/245.06 c | 325583 | 1100 83164 277188 | 2147483647 94924 83 | 0.012 % |
245.55/245.78 c | 326304 | 1100 83164 277188 | 2147483647 95645 84 | 0.000 % |
246.65/246.81 c | 327101 | 1100 83164 277188 | 2147483647 96442 84 | 0.000 % |
247.55/247.77 c | 327972 | 1100 83164 277188 | 2147483647 97313 84 | 0.000 % |
248.64/248.84 c | 328933 | 1100 83164 277188 | 2147483647 98274 84 | 0.000 % |
249.85/250.00 c | 329986 | 1100 83164 277188 | 2147483647 99327 85 | 0.011 % |
250.94/251.13 c | 331144 | 1100 83164 277188 | 99341 83746 86 | 0.014 % |
252.14/252.40 c | 332419 | 1100 83164 277188 | 99341 85021 86 | 0.012 % |
253.54/253.70 c | 333819 | 1100 83164 277188 | 99341 86421 86 | 0.014 % |
254.84/255.01 c | 335359 | 1100 83164 277188 | 99341 87961 86 | 0.000 % |
256.34/256.59 c | 337055 | 1100 83164 277188 | 99341 89657 85 | 0.014 % |
258.24/258.46 c | 338920 | 1100 83164 277188 | 99341 91522 87 | 0.000 % |
260.14/260.32 c | 340969 | 1100 83164 277188 | 92602 79082 83 | 0.000 % |
261.94/262.18 c | 343222 | 1100 83164 277188 | 92602 81335 83 | 0.000 % |
264.04/264.25 c | 345701 | 1100 83164 277188 | 92602 83814 83 | 0.012 % |
266.44/266.63 c | 348426 | 1100 83164 277188 | 92602 86539 83 | 0.013 % |
268.84/269.08 c | 351424 | 1100 83164 277188 | 88114 80309 82 | 0.000 % |
271.44/271.65 c | 354720 | 1100 83164 277188 | 88114 83605 82 | 0.012 % |
271.54/271.74 c | 354821 | 1100 83164 277188 | 88114 83706 82 | 0.013 % |
271.63/271.85 c | 354931 | 1100 83164 277188 | 88114 83816 81 | 0.000 % |
271.73/271.95 c | 355052 | 1100 83164 277188 | 88114 83937 81 | 0.000 % |
271.83/272.08 c | 355185 | 1100 83164 277188 | 88114 84070 82 | 0.000 % |
272.03/272.24 c | 355331 | 1100 83164 277188 | 88114 84216 82 | 0.000 % |
272.13/272.37 c | 355491 | 1100 83164 277188 | 88114 84376 82 | 0.012 % |
272.33/272.53 c | 355668 | 1100 83164 277188 | 88114 84553 82 | 0.000 % |
272.43/272.69 c | 355862 | 1100 83164 277188 | 88114 84747 82 | 0.000 % |
272.64/272.87 c | 356074 | 1100 83164 277188 | 88114 84959 82 | 0.000 % |
272.93/273.14 c | 356308 | 1100 83164 277188 | 88114 85193 82 | 0.000 % |
273.13/273.36 c | 356564 | 1100 83164 277188 | 88114 85449 82 | 0.013 % |
273.53/273.74 c | 356849 | 1100 83164 277188 | 88114 85734 82 | 0.000 % |
273.83/274.02 c | 357158 | 1100 83164 277188 | 88114 86043 82 | 0.000 % |
274.13/274.32 c | 357497 | 1100 83164 277188 | 88114 86382 82 | 0.000 % |
274.43/274.69 c | 357871 | 1100 83164 277188 | 88114 86756 82 | 0.013 % |
274.83/275.00 c | 358280 | 1100 83164 277188 | 88114 87165 82 | 0.013 % |
275.23/275.46 c | 358732 | 1100 83164 277188 | 88114 87617 82 | 0.013 % |
275.73/275.95 c | 359226 | 1100 83164 277188 | 88114 88111 82 | 0.000 % |
276.23/276.46 c | 359770 | 1100 83164 277188 | 88114 88655 82 | 0.012 % |
276.93/277.12 c | 360368 | 1100 83164 277188 | 78062 78429 82 | 0.012 % |
277.54/277.75 c | 361023 | 1100 83164 277188 | 78062 69802 84 | 0.013 % |
278.24/278.41 c | 361743 | 1100 83164 277188 | 78062 70522 84 | 0.000 % |
278.84/279.04 c | 362535 | 1100 83164 277188 | 78062 71314 84 | 0.000 % |
279.74/279.93 c | 363407 | 1100 83164 277188 | 78062 72186 85 | 0.000 % |
280.34/280.55 c | 364368 | 1100 83164 277188 | 78062 73147 86 | 0.000 % |
281.34/281.55 c | 365421 | 1100 83164 277188 | 78062 74200 86 | 0.014 % |
282.34/282.55 c | 366580 | 1100 83164 277188 | 78062 75359 86 | 0.000 % |
283.54/283.78 c | 367856 | 1100 83164 277188 | 78062 76635 87 | 0.000 % |
284.64/284.90 c | 369256 | 1100 83164 277188 | 78062 78035 87 | 0.000 % |
286.03/286.25 c | 370796 | 1100 83164 277188 | 2147483647 79575 87 | 0.014 % |
287.63/287.85 c | 372490 | 1100 83164 277188 | 2147483647 81269 86 | 0.000 % |
289.33/289.52 c | 374354 | 1100 83164 277188 | 2147483647 83133 86 | 0.014 % |
291.03/291.27 c | 376403 | 1100 83164 277188 | 2147483647 85182 86 | 0.000 % |
292.93/293.19 c | 378658 | 1100 83164 277188 | 2147483647 87437 86 | 0.000 % |
295.63/295.87 c | 381136 | 1100 83164 277188 | 88779 76942 82 | 0.000 % |
298.03/298.24 c | 383861 | 1100 83164 277188 | 88779 79667 81 | 0.014 % |
300.63/300.90 c | 386860 | 1100 83164 277188 | 88779 82666 81 | 0.000 % |
303.72/303.96 c | 390156 | 1100 83164 277188 | 85806 85962 81 | 0.013 % |
306.73/306.99 c | 393782 | 1100 83164 277188 | 85806 76413 77 | 0.000 % |
306.82/307.08 c | 393882 | 1100 83164 277188 | 85806 76513 77 | 0.000 % |
306.92/307.18 c | 393992 | 1100 83164 277188 | 85806 76623 76 | 0.000 % |
307.02/307.29 c | 394113 | 1100 83164 277188 | 85806 76744 77 | 0.011 % |
307.12/307.38 c | 394248 | 1100 83164 277188 | 85806 76879 77 | 0.011 % |
307.32/307.50 c | 394394 | 1100 83164 277188 | 85806 77025 77 | 0.000 % |
307.42/307.64 c | 394555 | 1100 83164 277188 | 85806 77186 77 | 0.000 % |
307.52/307.77 c | 394732 | 1100 83164 277188 | 85806 77363 77 | 0.000 % |
307.73/307.93 c | 394927 | 1100 83164 277188 | 85806 77558 77 | 0.000 % |
307.92/308.11 c | 395139 | 1100 83164 277188 | 85806 77770 77 | 0.000 % |
308.12/308.33 c | 395374 | 1100 83164 277188 | 85806 78005 77 | 0.000 % |
308.32/308.51 c | 395630 | 1100 83164 277188 | 85806 78261 77 | 0.000 % |
308.52/308.74 c | 395912 | 1100 83164 277188 | 85806 78543 77 | 0.000 % |
308.72/308.94 c | 396224 | 1100 83164 277188 | 85806 78855 77 | 0.000 % |
309.02/309.22 c | 396563 | 1100 83164 277188 | 85806 79194 77 | 0.000 % |
309.32/309.53 c | 396936 | 1100 83164 277188 | 85806 79567 78 | 0.000 % |
309.62/309.84 c | 397345 | 1100 83164 277188 | 85806 79976 78 | 0.000 % |
309.92/310.18 c | 397794 | 1100 83164 277188 | 85806 80425 78 | 0.000 % |
310.32/310.56 c | 398289 | 1100 83164 277188 | 85806 80920 78 | 0.000 % |
310.82/311.01 c | 398831 | 1100 83164 277188 | 85806 81462 78 | 0.000 % |
311.32/311.57 c | 399428 | 1100 83164 277188 | 85806 82059 78 | 0.012 % |
311.82/312.09 c | 400087 | 1100 83164 277188 | 82631 82718 79 | 0.000 % |
312.72/312.90 c | 400809 | 1100 83164 277188 | 82631 74140 77 | 0.000 % |
313.42/313.68 c | 401602 | 1100 83164 277188 | 82631 74933 78 | 0.000 % |
314.12/314.31 c | 402473 | 1100 83164 277188 | 82631 75804 78 | 0.000 % |
314.82/315.00 c | 403431 | 1100 83164 277188 | 82631 76762 78 | 0.000 % |
315.72/315.92 c | 404485 | 1100 83164 277188 | 82631 77816 79 | 0.000 % |
316.82/317.07 c | 405643 | 1100 83164 277188 | 82631 78974 79 | 0.000 % |
318.02/318.24 c | 406917 | 1100 83164 277188 | 82631 80248 79 | 0.000 % |
319.21/319.45 c | 408317 | 1100 83164 277188 | 82631 81648 80 | 0.014 % |
320.61/320.81 c | 409857 | 1100 83164 277188 | 82631 83188 80 | 0.000 % |
322.02/322.24 c | 411552 | 1100 83164 277188 | 74662 68233 81 | 0.000 % |
323.71/323.90 c | 413416 | 1100 83164 277188 | 74662 70097 82 | 0.000 % |
325.21/325.44 c | 415465 | 1100 83164 277188 | 74662 72146 82 | 0.000 % |
326.71/326.98 c | 417718 | 1100 83164 277188 | 74662 74399 82 | 0.000 % |
328.41/328.67 c | 420196 | 1100 83164 277188 | 2147483647 69344 81 | 0.000 % |
330.61/330.82 c | 422921 | 1100 83164 277188 | 2147483647 72069 81 | 0.000 % |
333.01/333.25 c | 425919 | 1100 83164 277188 | 2147483647 75067 81 | 0.000 % |
336.21/336.44 c | 429216 | 1100 83164 277188 | 2147483647 78364 81 | 0.015 % |
339.61/339.80 c | 432842 | 1100 83164 277188 | 79149 72331 78 | 0.015 % |
342.91/343.15 c | 436831 | 1100 83164 277188 | 79149 76320 78 | 0.015 % |
343.01/343.28 c | 436932 | 1100 83164 277188 | 79149 76421 78 | 0.000 % |
343.21/343.40 c | 437042 | 1100 83164 277188 | 79149 76531 78 | 0.014 % |
343.31/343.52 c | 437163 | 1100 83164 277188 | 79149 76652 78 | 0.000 % |
343.40/343.63 c | 437296 | 1100 83164 277188 | 79149 76785 78 | 0.000 % |
343.50/343.74 c | 437444 | 1100 83164 277188 | 79149 76933 78 | 0.014 % |
343.60/343.86 c | 437604 | 1100 83164 277188 | 79149 77093 78 | 0.013 % |
343.80/344.03 c | 437780 | 1100 83164 277188 | 79149 77269 78 | 0.013 % |
343.90/344.19 c | 437975 | 1100 83164 277188 | 79149 77464 78 | 0.013 % |
344.11/344.38 c | 438187 | 1100 83164 277188 | 79149 77676 78 | 0.013 % |
344.40/344.60 c | 438421 | 1100 83164 277188 | 79149 77910 78 | 0.000 % |
344.50/344.79 c | 438677 | 1100 83164 277188 | 79149 78166 78 | 0.000 % |
344.70/344.99 c | 438959 | 1100 83164 277188 | 79149 78448 78 | 0.014 % |
345.00/345.22 c | 439270 | 1100 83164 277188 | 79149 78759 78 | 0.000 % |
345.21/345.43 c | 439609 | 1100 83164 277188 | 79149 79098 78 | 0.014 % |
345.50/345.71 c | 439981 | 1100 83164 277188 | 79149 79470 78 | 0.014 % |
345.90/346.11 c | 440390 | 1100 83164 277188 | 70714 71102 77 | 0.013 % |
346.21/346.46 c | 440840 | 1100 83164 277188 | 70714 64126 77 | 0.014 % |
346.60/346.81 c | 441335 | 1100 83164 277188 | 70714 64621 77 | 0.013 % |
347.00/347.21 c | 441878 | 1100 83164 277188 | 70714 65164 77 | 0.013 % |
347.40/347.68 c | 442475 | 1100 83164 277188 | 70714 65761 77 | 0.014 % |
347.90/348.15 c | 443131 | 1100 83164 277188 | 70714 66417 77 | 0.000 % |
348.40/348.69 c | 443851 | 1100 83164 277188 | 70714 67137 76 | 0.013 % |
349.10/349.37 c | 444645 | 1100 83164 277188 | 70714 67931 76 | 0.013 % |
349.80/350.00 c | 445517 | 1100 83164 277188 | 70714 68803 76 | 0.013 % |
350.50/350.72 c | 446476 | 1100 83164 277188 | 70714 69762 77 | 0.000 % |
351.20/351.48 c | 447530 | 1100 83164 277188 | 70714 70816 78 | 0.000 % |
352.30/352.55 c | 448689 | 1100 83164 277188 | 70714 64894 78 | 0.000 % |
353.20/353.42 c | 449964 | 1100 83164 277188 | 70714 66169 79 | 0.000 % |
354.20/354.45 c | 451364 | 1100 83164 277188 | 2147483647 67569 79 | 0.011 % |
355.20/355.44 c | 452904 | 1100 83164 277188 | 2147483647 69109 79 | 0.013 % |
356.50/356.74 c | 454600 | 1100 83164 277188 | 2147483647 70805 79 | 0.013 % |
358.09/358.38 c | 456463 | 1100 83164 277188 | 2147483647 72668 79 | 0.013 % |
359.69/359.93 c | 458512 | 1100 83164 277188 | 2147483647 74717 78 | 0.013 % |
361.89/362.12 c | 460770 | 1100 83164 277188 | 2147483647 76975 81 | 0.000 % |
363.80/364.08 c | 463249 | 1100 83164 277188 | 2147483647 79454 81 | 0.000 % |
366.09/366.31 c | 465974 | 1100 83164 277188 | 2147483647 82179 82 | 0.000 % |
368.69/368.91 c | 468971 | 1100 83164 277188 | 2147483647 85176 83 | 0.000 % |
371.49/371.73 c | 472267 | 1100 83164 277188 | 2147483647 88472 83 | 0.000 % |
375.49/375.72 c | 475892 | 1100 83164 277188 | 2147483647 92097 85 | 0.000 % |
380.18/380.41 c | 479880 | 1100 83164 277188 | 2147483647 96085 85 | 0.000 % |
385.58/385.80 c | 484271 | 1100 83164 277188 | 96205 84641 81 | 0.000 % |
385.68/385.94 c | 484371 | 1100 83164 277188 | 96205 84741 81 | 0.000 % |
385.79/386.05 c | 484483 | 1100 83164 277188 | 96205 84853 81 | 0.000 % |
385.98/386.23 c | 484604 | 1100 83164 277188 | 96205 84974 81 | 0.000 % |
386.18/386.43 c | 484737 | 1100 83164 277188 | 96205 85107 81 | 0.000 % |
386.38/386.63 c | 484884 | 1100 83164 277188 | 96205 85254 81 | 0.013 % |
386.58/386.86 c | 485046 | 1100 83164 277188 | 96205 85416 81 | 0.000 % |
386.78/387.05 c | 485225 | 1100 83164 277188 | 96205 85595 81 | 0.000 % |
386.99/387.22 c | 485419 | 1100 83164 277188 | 96205 85789 81 | 0.000 % |
387.18/387.43 c | 485631 | 1100 83164 277188 | 96205 86001 81 | 0.000 % |
387.38/387.69 c | 485864 | 1100 83164 277188 | 96205 86234 81 | 0.000 % |
387.68/387.97 c | 486122 | 1100 83164 277188 | 96205 86492 81 | 0.000 % |
387.88/388.17 c | 486403 | 1100 83164 277188 | 96205 86773 81 | 0.000 % |
388.18/388.42 c | 486713 | 1100 83164 277188 | 96205 87083 81 | 0.000 % |
388.38/388.69 c | 487052 | 1100 83164 277188 | 96205 87422 81 | 0.011 % |
388.78/389.03 c | 487424 | 1100 83164 277188 | 96205 87794 82 | 0.000 % |
389.18/389.44 c | 487834 | 1100 83164 277188 | 96205 88204 82 | 0.000 % |
389.58/389.89 c | 488283 | 1100 83164 277188 | 96205 88653 82 | 0.000 % |
390.08/390.31 c | 488776 | 1100 83164 277188 | 96205 89146 83 | 0.000 % |
390.48/390.71 c | 489320 | 1100 83164 277188 | 96205 89690 83 | 0.000 % |
390.88/391.17 c | 489917 | 1100 83164 277188 | 96205 90287 83 | 0.013 % |
391.48/391.76 c | 490574 | 1100 83164 277188 | 90370 90944 82 | 0.013 % |
392.18/392.43 c | 491294 | 1100 83164 277188 | 90370 76725 82 | 0.000 % |
392.68/392.93 c | 492088 | 1100 83164 277188 | 90370 77519 82 | 0.000 % |
393.48/393.74 c | 492961 | 1100 83164 277188 | 90370 78392 83 | 0.000 % |
394.18/394.49 c | 493919 | 1100 83164 277188 | 90370 79350 83 | 0.012 % |
395.08/395.35 c | 494972 | 1100 83164 277188 | 90370 80403 83 | 0.011 % |
396.08/396.39 c | 496131 | 1100 83164 277188 | 90370 81562 83 | 0.000 % |
397.18/397.44 c | 497404 | 1100 83164 277188 | 90370 82835 84 | 0.000 % |
398.48/398.73 c | 498804 | 1100 83164 277188 | 90370 84235 84 | 0.000 % |
399.78/400.04 c | 500345 | 1100 83164 277188 | 85432 85776 84 | 0.000 % |
401.48/401.70 c | 502041 | 1100 83164 277188 | 85432 77562 86 | 0.000 % |
403.77/404.03 c | 503904 | 1100 83164 277188 | 85432 79425 87 | 0.000 % |
405.68/405.92 c | 505953 | 1100 83164 277188 | 85432 81474 88 | 0.000 % |
407.97/408.25 c | 508206 | 1100 83164 277188 | 85432 83727 89 | 0.000 % |
410.57/410.86 c | 510685 | 1100 83164 277188 | 85524 86206 89 | 0.012 % |
412.67/412.95 c | 513414 | 1100 83164 277188 | 85524 77407 90 | 0.000 % |
415.27/415.59 c | 516411 | 1100 83164 277188 | 85524 80404 90 | 0.012 % |
418.07/418.32 c | 519710 | 1100 83164 277188 | 85524 83703 89 | 0.012 % |
421.07/421.36 c | 523335 | 1100 83164 277188 | 83993 75928 88 | 0.000 % |
425.47/425.73 c | 527323 | 1100 83164 277188 | 83993 79916 88 | 0.015 % |
429.96/430.28 c | 531708 | 1100 83164 277188 | 82593 70975 83 | 0.014 % |
434.46/434.70 c | 536531 | 1100 83164 277188 | 82593 75798 82 | 0.011 % |
434.56/434.81 c | 536631 | 1100 83164 277188 | 82593 75898 82 | 0.000 % |
434.66/434.91 c | 536742 | 1100 83164 277188 | 82593 76009 82 | 0.000 % |
434.76/435.01 c | 536863 | 1100 83164 277188 | 82593 76130 82 | 0.000 % |
434.86/435.13 c | 536997 | 1100 83164 277188 | 82593 76264 82 | 0.000 % |
434.96/435.29 c | 537143 | 1100 83164 277188 | 82593 76410 82 | 0.000 % |
435.16/435.46 c | 537303 | 1100 83164 277188 | 82593 76570 82 | 0.000 % |
435.36/435.62 c | 537479 | 1100 83164 277188 | 82593 76746 82 | 0.014 % |
435.46/435.77 c | 537672 | 1100 83164 277188 | 82593 76939 82 | 0.014 % |
435.66/435.99 c | 537884 | 1100 83164 277188 | 82593 77151 82 | 0.000 % |
435.96/436.22 c | 538118 | 1100 83164 277188 | 82593 77385 82 | 0.000 % |
436.16/436.45 c | 538376 | 1100 83164 277188 | 82593 77643 82 | 0.000 % |
436.46/436.71 c | 538660 | 1100 83164 277188 | 82593 77927 82 | 0.014 % |
436.66/436.91 c | 538970 | 1100 83164 277188 | 82593 78237 82 | 0.014 % |
436.86/437.19 c | 539310 | 1100 83164 277188 | 82593 78577 83 | 0.000 % |
437.16/437.49 c | 539683 | 1100 83164 277188 | 82593 78950 83 | 0.011 % |
437.56/437.82 c | 540093 | 1100 83164 277188 | 79268 79360 83 | 0.000 % |
438.06/438.39 c | 540545 | 1100 83164 277188 | 79268 68760 82 | 0.000 % |
438.66/438.94 c | 541038 | 1100 83164 277188 | 79268 69253 82 | 0.000 % |
439.06/439.38 c | 541581 | 1100 83164 277188 | 79268 69796 83 | 0.000 % |
439.56/439.84 c | 542178 | 1100 83164 277188 | 79268 70393 83 | 0.000 % |
439.96/440.29 c | 542834 | 1100 83164 277188 | 79268 71049 83 | 0.000 % |
440.56/440.87 c | 543555 | 1100 83164 277188 | 79268 71770 83 | 0.000 % |
441.35/441.68 c | 544348 | 1100 83164 277188 | 79268 72563 84 | 0.000 % |
442.05/442.30 c | 545219 | 1100 83164 277188 | 79268 73434 84 | 0.000 % |
442.75/443.01 c | 546177 | 1100 83164 277188 | 79268 74392 84 | 0.000 % |
443.45/443.76 c | 547230 | 1100 83164 277188 | 79268 75445 84 | 0.000 % |
444.45/444.76 c | 548390 | 1100 83164 277188 | 79268 76605 84 | 0.013 % |
445.45/445.77 c | 549664 | 1100 83164 277188 | 79268 77879 84 | 0.000 % |
446.75/447.03 c | 551065 | 1100 83164 277188 | 78216 71403 82 | 0.014 % |
448.45/448.80 c | 552608 | 1100 83164 277188 | 78216 72946 84 | 0.000 % |
450.05/450.37 c | 554304 | 1100 83164 277188 | 78216 74642 85 | 0.000 % |
451.55/451.87 c | 556168 | 1100 83164 277188 | 78216 76506 85 | 0.000 % |
452.85/453.18 c | 558218 | 1100 83164 277188 | 78216 78556 84 | 0.000 % |
454.55/454.80 c | 560472 | 1100 83164 277188 | 2147483647 72955 81 | 0.013 % |
456.25/456.52 c | 562950 | 1100 83164 277188 | 2147483647 75433 80 | 0.012 % |
458.25/458.52 c | 565676 | 1100 83164 277188 | 2147483647 78159 80 | 0.013 % |
460.65/460.95 c | 568673 | 1100 83164 277188 | 2147483647 81156 79 | 0.013 % |
463.45/463.71 c | 571969 | 1100 83164 277188 | 2147483647 84452 79 | 0.015 % |
466.64/466.91 c | 575595 | 1100 83164 277188 | 2147483647 88078 79 | 0.000 % |
469.94/470.23 c | 579582 | 1100 83164 277188 | 2147483647 92065 81 | 0.000 % |
474.74/475.10 c | 583967 | 1100 83164 277188 | 92486 86450 81 | 0.000 % |
479.44/479.73 c | 588791 | 1100 83164 277188 | 92486 91274 84 | 0.000 % |
484.84/485.18 c | 594097 | 1100 83164 277188 | 92483 85660 86 | 0.000 % |
484.94/485.30 c | 594199 | 1100 83164 277188 | 92483 85762 86 | 0.000 % |
485.14/485.42 c | 594309 | 1100 83164 277188 | 92483 85872 86 | 0.000 % |
485.24/485.55 c | 594433 | 1100 83164 277188 | 92483 85996 86 | 0.000 % |
485.34/485.69 c | 594567 | 1100 83164 277188 | 92483 86130 86 | 0.000 % |
485.54/485.85 c | 594713 | 1100 83164 277188 | 92483 86276 86 | 0.000 % |
485.74/486.04 c | 594875 | 1100 83164 277188 | 92483 86438 86 | 0.000 % |
485.94/486.22 c | 595051 | 1100 83164 277188 | 92483 86614 86 | 0.000 % |
486.14/486.43 c | 595244 | 1100 83164 277188 | 92483 86807 86 | 0.000 % |
486.34/486.65 c | 595456 | 1100 83164 277188 | 92483 87019 86 | 0.000 % |
486.64/486.91 c | 595689 | 1100 83164 277188 | 92483 87252 86 | 0.000 % |
486.84/487.20 c | 595947 | 1100 83164 277188 | 92483 87510 86 | 0.000 % |
487.24/487.57 c | 596229 | 1100 83164 277188 | 92483 87792 86 | 0.000 % |
487.63/487.90 c | 596538 | 1100 83164 277188 | 92483 88101 87 | 0.000 % |
488.04/488.34 c | 596878 | 1100 83164 277188 | 92483 88441 87 | 0.000 % |
488.44/488.77 c | 597250 | 1100 83164 277188 | 92483 88813 87 | 0.000 % |
488.84/489.19 c | 597660 | 1100 83164 277188 | 92483 89223 87 | 0.000 % |
489.33/489.61 c | 598109 | 1100 83164 277188 | 92483 89672 87 | 0.000 % |
489.73/490.04 c | 598603 | 1100 83164 277188 | 92483 90166 87 | 0.000 % |
490.13/490.47 c | 599147 | 1100 83164 277188 | 92483 90710 88 | 0.000 % |
490.93/491.23 c | 599744 | 1100 83164 277188 | 92483 91307 88 | 0.000 % |
491.44/491.79 c | 600399 | 1100 83164 277188 | 91564 91962 88 | 0.000 % |
492.33/492.63 c | 601121 | 1100 83164 277188 | 91564 78780 91 | 0.000 % |
493.03/493.32 c | 601915 | 1100 83164 277188 | 91564 79574 91 | 0.000 % |
493.73/494.07 c | 602786 | 1100 83164 277188 | 91564 80445 90 | 0.015 % |
494.64/494.96 c | 603745 | 1100 83164 277188 | 91564 81404 90 | 0.014 % |
495.93/496.21 c | 604799 | 1100 83164 277188 | 91564 82458 90 | 0.011 % |
496.93/497.21 c | 605960 | 1100 83164 277188 | 91564 83619 90 | 0.012 % |
498.23/498.57 c | 607236 | 1100 83164 277188 | 91564 84895 90 | 0.012 % |
499.53/499.87 c | 608636 | 1100 83164 277188 | 91564 86295 90 | 0.012 % |
500.83/501.13 c | 610176 | 1100 83164 277188 | 87660 87835 90 | 0.012 % |
502.23/502.54 c | 611872 | 1100 83164 277188 | 87660 76277 87 | 0.011 % |
503.93/504.27 c | 613735 | 1100 83164 277188 | 87660 78140 86 | 0.011 % |
505.83/506.11 c | 615785 | 1100 83164 277188 | 87660 80190 85 | 0.011 % |
507.83/508.13 c | 618038 | 1100 83164 277188 | 87660 82443 84 | 0.015 % |
510.23/510.59 c | 620516 | 1100 83164 277188 | 84405 72900 84 | 0.000 % |
512.73/513.07 c | 623241 | 1100 83164 277188 | 84405 75625 86 | 0.000 % |
515.63/515.98 c | 626238 | 1100 83164 277188 | 84405 78622 87 | 0.000 % |
518.32/518.61 c | 629536 | 1100 83164 277188 | 84405 81920 89 | 0.000 % |
522.82/523.16 c | 633161 | 1100 83164 277188 | 82386 73349 96 | 0.000 % |
527.02/527.39 c | 637148 | 1100 83164 277188 | 82386 77336 96 | 0.000 % |
531.02/531.34 c | 641533 | 1100 83164 277188 | 80188 69997 92 | 0.013 % |
536.31/536.61 c | 646356 | 1100 83164 277188 | 80188 74820 95 | 0.000 % |
542.02/542.33 c | 651661 | 1100 83164 277188 | 78464 67624 92 | 0.000 % |
547.41/547.78 c | 657499 | 1100 83164 277188 | 78464 73462 93 | 0.000 % |
547.51/547.89 c | 657600 | 1100 83164 277188 | 78464 73563 93 | 0.000 % |
547.71/548.02 c | 657711 | 1100 83164 277188 | 78464 73674 93 | 0.000 % |
547.81/548.16 c | 657833 | 1100 83164 277188 | 78464 73796 93 | 0.000 % |
548.01/548.30 c | 657966 | 1100 83164 277188 | 78464 73929 93 | 0.013 % |
548.11/548.49 c | 658112 | 1100 83164 277188 | 78464 74075 93 | 0.013 % |
548.31/548.70 c | 658275 | 1100 83164 277188 | 78464 74238 93 | 0.000 % |
548.51/548.90 c | 658454 | 1100 83164 277188 | 78464 74417 93 | 0.014 % |
548.71/549.05 c | 658648 | 1100 83164 277188 | 78464 74611 93 | 0.014 % |
548.91/549.25 c | 658862 | 1100 83164 277188 | 78464 74825 93 | 0.000 % |
549.11/549.49 c | 659096 | 1100 83164 277188 | 78464 75059 93 | 0.000 % |
549.51/549.81 c | 659352 | 1100 83164 277188 | 78464 75315 93 | 0.000 % |
549.81/550.12 c | 659638 | 1100 83164 277188 | 78464 75601 93 | 0.000 % |
550.11/550.41 c | 659948 | 1100 83164 277188 | 78464 75911 93 | 0.000 % |
550.31/550.68 c | 660288 | 1100 83164 277188 | 75963 76251 93 | 0.014 % |
550.71/551.04 c | 660660 | 1100 83164 277188 | 75963 63484 92 | 0.000 % |
550.91/551.26 c | 661071 | 1100 83164 277188 | 75963 63895 92 | 0.000 % |
551.31/551.69 c | 661522 | 1100 83164 277188 | 75963 64346 92 | 0.000 % |
551.91/552.26 c | 662015 | 1100 83164 277188 | 75963 64839 93 | 0.000 % |
552.41/552.77 c | 662557 | 1100 83164 277188 | 75963 65381 93 | 0.000 % |
553.01/553.34 c | 663155 | 1100 83164 277188 | 75963 65979 94 | 0.000 % |
553.51/553.85 c | 663810 | 1100 83164 277188 | 75963 66634 94 | 0.000 % |
554.01/554.35 c | 664533 | 1100 83164 277188 | 75963 67357 94 | 0.000 % |
554.91/555.24 c | 665327 | 1100 83164 277188 | 75963 68151 95 | 0.000 % |
555.80/556.10 c | 666198 | 1100 83164 277188 | 75963 69022 95 | 0.000 % |
556.60/556.94 c | 667158 | 1100 83164 277188 | 75963 69982 96 | 0.000 % |
557.50/557.84 c | 668211 | 1100 83164 277188 | 75963 71035 96 | 0.000 % |
558.60/558.90 c | 669370 | 1100 83164 277188 | 75963 72194 96 | 0.000 % |
559.61/559.95 c | 670645 | 1100 83164 277188 | 72825 73469 96 | 0.000 % |
560.71/561.05 c | 672045 | 1100 83164 277188 | 72825 66420 101 | 0.013 % |
562.50/562.86 c | 673585 | 1100 83164 277188 | 72825 67960 102 | 0.000 % |
564.30/564.67 c | 675281 | 1100 83164 277188 | 72825 69656 103 | 0.000 % |
565.90/566.29 c | 677145 | 1100 83164 277188 | 72825 71520 104 | 0.000 % |
567.80/568.14 c | 679194 | 1100 83164 277188 | 72825 64509 103 | 0.000 % |
569.60/569.97 c | 681447 | 1100 83164 277188 | 65318 58604 98 | 0.000 % |
571.50/571.82 c | 683926 | 1100 83164 277188 | 65318 61083 97 | 0.000 % |
573.70/574.04 c | 686651 | 1100 83164 277188 | 65318 63808 95 | 0.013 % |
576.60/576.94 c | 689648 | 1100 83164 277188 | 65318 59569 94 | 0.014 % |
579.10/579.44 c | 692944 | 1100 83164 277188 | 59923 56472 89 | 0.012 % |
581.60/581.99 c | 696571 | 1100 83164 277188 | 59923 60099 89 | 0.000 % |
585.10/585.43 c | 700561 | 1100 83164 277188 | 2147483647 58080 91 | 0.000 % |
589.20/589.51 c | 704946 | 1100 83164 277188 | 2147483647 62465 95 | 0.000 % |
593.79/594.19 c | 709770 | 1100 83164 277188 | 2147483647 67289 96 | 0.000 % |
600.09/600.48 c | 715077 | 1100 83164 277188 | 67519 62595 96 | 0.014 % |
606.80/607.16 c | 720913 | 1100 83164 277188 | 67519 58736 98 | 0.000 % |
612.89/613.27 c | 727332 | 1100 83164 277188 | 67519 65155 100 | 0.000 % |
613.09/613.40 c | 727433 | 1100 83164 277188 | 67519 65256 100 | 0.000 % |
613.19/613.52 c | 727543 | 1100 83164 277188 | 67519 65366 100 | 0.000 % |
613.40/613.73 c | 727665 | 1100 83164 277188 | 67519 65488 101 | 0.000 % |
613.59/613.92 c | 727798 | 1100 83164 277188 | 67519 65621 101 | 0.000 % |
613.69/614.06 c | 727946 | 1100 83164 277188 | 67519 65769 101 | 0.000 % |
613.79/614.17 c | 728106 | 1100 83164 277188 | 67519 65929 101 | 0.000 % |
613.99/614.34 c | 728282 | 1100 83164 277188 | 67519 66105 101 | 0.012 % |
614.19/614.53 c | 728475 | 1100 83164 277188 | 67519 66298 101 | 0.000 % |
614.39/614.74 c | 728687 | 1100 83164 277188 | 67519 66510 101 | 0.011 % |
614.49/614.90 c | 728921 | 1100 83164 277188 | 67519 66744 101 | 0.014 % |
614.79/615.13 c | 729177 | 1100 83164 277188 | 67519 67000 100 | 0.011 % |
614.99/615.34 c | 729459 | 1100 83164 277188 | 67519 67282 100 | 0.000 % |
615.19/615.59 c | 729770 | 1100 83164 277188 | 67519 67593 100 | 0.013 % |
615.49/615.87 c | 730110 | 1100 83164 277188 | 59877 59986 97 | 0.000 % |
615.89/616.24 c | 730482 | 1100 83164 277188 | 59877 53478 99 | 0.013 % |
616.19/616.51 c | 730891 | 1100 83164 277188 | 59877 53887 99 | 0.012 % |
616.39/616.77 c | 731341 | 1100 83164 277188 | 59877 54337 99 | 0.015 % |
616.89/617.20 c | 731835 | 1100 83164 277188 | 59877 54831 98 | 0.011 % |
617.19/617.58 c | 732378 | 1100 83164 277188 | 59877 55374 98 | 0.000 % |
617.69/618.08 c | 732975 | 1100 83164 277188 | 59877 55971 98 | 0.014 % |
618.19/618.54 c | 733632 | 1100 83164 277188 | 59877 56628 98 | 0.000 % |
618.59/618.97 c | 734352 | 1100 83164 277188 | 59877 57348 98 | 0.014 % |
619.18/619.55 c | 735144 | 1100 83164 277188 | 59877 58140 98 | 0.012 % |
619.78/620.18 c | 736015 | 1100 83164 277188 | 59877 59011 97 | 0.000 % |
620.69/621.06 c | 736975 | 1100 83164 277188 | 59877 59971 98 | 0.000 % |
621.48/621.83 c | 738028 | 1100 83164 277188 | 59877 55027 103 | 0.012 % |
622.68/623.02 c | 739187 | 1100 83164 277188 | 59877 56186 103 | 0.000 % |
623.39/623.79 c | 740462 | 1100 83164 277188 | 2147483647 57461 103 | 0.000 % |
624.28/624.68 c | 741863 | 1100 83164 277188 | 2147483647 58862 103 | 0.000 % |
625.59/625.96 c | 743403 | 1100 83164 277188 | 2147483647 60402 102 | 0.013 % |
627.18/627.54 c | 745097 | 1100 83164 277188 | 2147483647 62096 102 | 0.000 % |
628.68/629.06 c | 746960 | 1100 83164 277188 | 2147483647 63959 103 | 0.000 % |
630.58/630.95 c | 749010 | 1100 83164 277188 | 2147483647 66009 103 | 0.000 % |
633.08/633.45 c | 751263 | 1100 83164 277188 | 2147483647 68262 104 | 0.000 % |
635.28/635.61 c | 753744 | 1100 83164 277188 | 2147483647 70743 105 | 0.000 % |
637.48/637.89 c | 756469 | 1100 83164 277188 | 2147483647 73468 105 | 0.000 % |
640.78/641.20 c | 759470 | 1100 83164 277188 | 2147483647 76469 104 | 0.011 % |
643.47/643.82 c | 762766 | 1100 83164 277188 | 2147483647 79765 103 | 0.011 % |
647.17/647.58 c | 766392 | 1100 83164 277188 | 2147483647 83391 101 | 0.013 % |
652.17/652.59 c | 770379 | 1100 83164 277188 | 87001 87378 99 | 0.011 % |
656.97/657.36 c | 774765 | 1100 83164 277188 | 87001 77592 92 | 0.013 % |
662.36/662.76 c | 779589 | 1100 83164 277188 | 87001 82416 90 | 0.013 % |
666.56/666.95 c | 784894 | 1100 83164 277188 | 82827 72520 87 | 0.000 % |
671.96/672.32 c | 790731 | 1100 83164 277188 | 77626 78357 88 | 0.014 % |
677.66/678.01 c | 797150 | 1100 83164 277188 | 77626 74894 85 | 0.013 % |
683.56/683.99 c | 804209 | 1100 83164 277188 | 77744 71930 81 | 0.014 % |
683.66/684.08 c | 804309 | 1100 83164 277188 | 77744 72030 81 | 0.013 % |
683.86/684.21 c | 804419 | 1100 83164 277188 | 77744 72140 81 | 0.014 % |
683.95/684.32 c | 804540 | 1100 83164 277188 | 77744 72261 81 | 0.014 % |
684.15/684.50 c | 804673 | 1100 83164 277188 | 77744 72394 81 | 0.000 % |
684.25/684.66 c | 804819 | 1100 83164 277188 | 77744 72540 82 | 0.000 % |
684.45/684.83 c | 804981 | 1100 83164 277188 | 77744 72702 82 | 0.000 % |
684.55/684.94 c | 805158 | 1100 83164 277188 | 77744 72879 81 | 0.000 % |
684.75/685.12 c | 805351 | 1100 83164 277188 | 77744 73072 81 | 0.000 % |
684.86/685.28 c | 805563 | 1100 83164 277188 | 77744 73284 81 | 0.013 % |
685.15/685.51 c | 805796 | 1100 83164 277188 | 77744 73517 82 | 0.000 % |
685.35/685.72 c | 806055 | 1100 83164 277188 | 77744 73776 82 | 0.000 % |
685.55/685.92 c | 806336 | 1100 83164 277188 | 77744 74057 82 | 0.000 % |
685.75/686.15 c | 806648 | 1100 83164 277188 | 77744 74369 82 | 0.000 % |
686.06/686.41 c | 806988 | 1100 83164 277188 | 77744 74709 82 | 0.013 % |
686.25/686.69 c | 807365 | 1100 83164 277188 | 77744 75086 82 | 0.000 % |
686.65/687.00 c | 807776 | 1100 83164 277188 | 77744 75497 83 | 0.011 % |
686.95/687.34 c | 808225 | 1100 83164 277188 | 77744 75946 83 | 0.000 % |
687.45/687.80 c | 808722 | 1100 83164 277188 | 77744 76443 83 | 0.000 % |
687.85/688.27 c | 809264 | 1100 83164 277188 | 77744 76985 83 | 0.014 % |
688.35/688.76 c | 809862 | 1100 83164 277188 | 77744 77583 83 | 0.011 % |
688.85/689.25 c | 810519 | 1100 83164 277188 | 77721 78240 82 | 0.011 % |
689.65/690.01 c | 811243 | 1100 83164 277188 | 77721 71140 81 | 0.000 % |
690.25/690.65 c | 812035 | 1100 83164 277188 | 77721 71932 81 | 0.000 % |
690.95/691.33 c | 812907 | 1100 83164 277188 | 77721 72804 82 | 0.000 % |
691.55/691.95 c | 813867 | 1100 83164 277188 | 77721 73764 82 | 0.000 % |
692.25/692.63 c | 814921 | 1100 83164 277188 | 77721 74818 83 | 0.000 % |
693.15/693.52 c | 816079 | 1100 83164 277188 | 77721 75976 83 | 0.014 % |
694.15/694.51 c | 817352 | 1100 83164 277188 | 77721 77249 84 | 0.000 % |
695.25/695.62 c | 818753 | 1100 83164 277188 | 77721 70818 80 | 0.000 % |
696.25/696.66 c | 820293 | 1100 83164 277188 | 2147483647 72358 80 | 0.000 % |
697.45/697.81 c | 821988 | 1100 83164 277188 | 2147483647 74053 80 | 0.000 % |
698.65/699.07 c | 823851 | 1100 83164 277188 | 2147483647 75916 80 | 0.000 % |
700.05/700.49 c | 825900 | 1100 83164 277188 | 2147483647 77965 80 | 0.000 % |
701.75/702.11 c | 828155 | 1100 83164 277188 | 2147483647 80220 80 | 0.000 % |
703.65/704.00 c | 830633 | 1100 83164 277188 | 2147483647 82698 80 | 0.000 % |
705.54/705.94 c | 833359 | 1100 83164 277188 | 2147483647 85424 79 | 0.013 % |
707.64/708.03 c | 836361 | 1100 83164 277188 | 2147483647 88426 79 | 0.000 % |
710.04/710.42 c | 839659 | 1100 83164 277188 | 2147483647 91724 78 | 0.014 % |
713.24/713.63 c | 843284 | 1100 83164 277188 | 2147483647 95349 78 | 0.013 % |
716.94/717.30 c | 847273 | 1100 83164 277188 | 2147483647 99338 76 | 0.014 % |
721.14/721.53 c | 851658 | 1100 83164 277188 | 102065 89168 76 | 0.014 % |
725.74/726.13 c | 856482 | 1100 83164 277188 | 102065 93992 76 | 0.014 % |
731.33/731.76 c | 861787 | 1100 83164 277188 | 97511 81422 70 | 0.014 % |
737.83/738.26 c | 867622 | 1100 83164 277188 | 97511 87257 68 | 0.014 % |
745.53/745.90 c | 874043 | 1100 83164 277188 | 89635 74685 64 | 0.013 % |
751.82/752.27 c | 881102 | 1100 83164 277188 | 80642 68894 68 | 0.000 % |
757.82/758.20 c | 888867 | 1100 83164 277188 | 80642 76659 71 | 0.000 % |
757.82/758.29 c | 888971 | 1100 83164 277188 | 80642 76763 71 | 0.014 % |
757.92/758.39 c | 889081 | 1100 83164 277188 | 80642 76873 71 | 0.000 % |
758.02/758.49 c | 889202 | 1100 83164 277188 | 80642 76994 71 | 0.000 % |
758.12/758.58 c | 889335 | 1100 83164 277188 | 80642 77127 71 | 0.011 % |
758.22/758.66 c | 889481 | 1100 83164 277188 | 80642 77273 71 | 0.000 % |
758.32/758.78 c | 889642 | 1100 83164 277188 | 80642 77434 71 | 0.012 % |
758.42/758.89 c | 889818 | 1100 83164 277188 | 80642 77610 71 | 0.012 % |
758.63/759.01 c | 890013 | 1100 83164 277188 | 2147483647 77805 71 | 0.000 % |
758.72/759.17 c | 890226 | 1100 83164 277188 | 2147483647 78018 72 | 0.000 % |
758.92/759.30 c | 890459 | 1100 83164 277188 | 2147483647 78251 72 | 0.000 % |
759.02/759.44 c | 890715 | 1100 83164 277188 | 2147483647 78507 72 | 0.000 % |
759.22/759.61 c | 890996 | 1100 83164 277188 | 2147483647 78788 72 | 0.000 % |
759.42/759.82 c | 891305 | 1100 83164 277188 | 2147483647 79097 72 | 0.000 % |
759.62/760.03 c | 891645 | 1100 83164 277188 | 2147483647 79437 72 | 0.013 % |
759.82/760.27 c | 892019 | 1100 83164 277188 | 2147483647 79811 72 | 0.011 % |
760.12/760.55 c | 892429 | 1100 83164 277188 | 2147483647 80221 73 | 0.000 % |
760.42/760.81 c | 892878 | 1100 83164 277188 | 2147483647 80670 73 | 0.000 % |
760.62/761.07 c | 893374 | 1100 83164 277188 | 2147483647 81166 73 | 0.000 % |
761.02/761.41 c | 893918 | 1100 83164 277188 | 2147483647 81710 73 | 0.000 % |
761.42/761.83 c | 894514 | 1100 83164 277188 | 2147483647 82306 73 | 0.000 % |
761.92/762.33 c | 895174 | 1100 83164 277188 | 2147483647 82966 74 | 0.000 % |
762.32/762.72 c | 895896 | 1100 83164 277188 | 2147483647 83688 74 | 0.000 % |
762.82/763.23 c | 896690 | 1100 83164 277188 | 2147483647 84482 74 | 0.016 % |
763.32/763.70 c | 897564 | 1100 83164 277188 | 2147483647 85356 75 | 0.011 % |
764.22/764.60 c | 898523 | 1100 83164 277188 | 2147483647 86315 76 | 0.000 % |
765.12/765.59 c | 899576 | 1100 83164 277188 | 2147483647 87368 77 | 0.000 % |
766.32/766.77 c | 900734 | 1100 83164 277188 | 2147483647 88526 77 | 0.000 % |
767.32/767.72 c | 902007 | 1100 83164 277188 | 2147483647 89799 78 | 0.000 % |
768.52/768.91 c | 903407 | 1100 83164 277188 | 2147483647 91199 79 | 0.000 % |
769.72/770.14 c | 904950 | 1100 83164 277188 | 2147483647 92742 80 | 0.000 % |
771.11/771.55 c | 906644 | 1100 83164 277188 | 2147483647 94436 80 | 0.000 % |
772.51/772.95 c | 908508 | 1100 83164 277188 | 2147483647 96300 80 | 0.000 % |
774.51/774.94 c | 910558 | 1100 83164 277188 | 2147483647 98350 81 | 0.000 % |
776.41/776.84 c | 912812 | 1100 83164 277188 | 2147483647 100604 83 | 0.000 % |
778.81/779.27 c | 915291 | 1100 83164 277188 | 2147483647 103083 84 | 0.000 % |
781.41/781.81 c | 918016 | 1100 83164 277188 | 2147483647 105808 85 | 0.000 % |
784.61/785.06 c | 921013 | 1100 83164 277188 | 107795 96439 88 | 0.000 % |
788.11/788.60 c | 924311 | 1100 83164 277188 | 107795 99737 90 | 0.000 % |
791.71/792.17 c | 927939 | 1100 83164 277188 | 107795 103365 92 | 0.000 % |
795.91/796.39 c | 931927 | 1100 83164 277188 | 105428 92644 98 | 0.000 % |
801.51/801.91 c | 936313 | 1100 83164 277188 | 105428 97030 99 | 0.000 % |
807.01/807.48 c | 941137 | 1100 83164 277188 | 100719 81608 112 | 0.000 % |
813.20/813.67 c | 946443 | 1100 83164 277188 | 100719 86914 112 | 0.000 % |
821.40/821.87 c | 952278 | 1100 83164 277188 | 90472 71598 112 | 0.000 % |
829.69/830.18 c | 958696 | 1100 83164 277188 | 90472 78016 111 | 0.009 % |
837.99/838.43 c | 965755 | 1100 83164 277188 | 79320 68191 107 | 0.013 % |
846.59/847.05 c | 973522 | 1100 83164 277188 | 72436 63795 102 | 0.013 % |
855.48/855.91 c | 982062 | 1100 83164 277188 | 70274 61673 100 | 0.000 % |
855.58/856.00 c | 982168 | 1100 83164 277188 | 70274 61779 100 | 0.000 % |
855.58/856.10 c | 982279 | 1100 83164 277188 | 70274 61890 100 | 0.000 % |
855.78/856.22 c | 982400 | 1100 83164 277188 | 70274 62011 100 | 0.000 % |
855.88/856.31 c | 982533 | 1100 83164 277188 | 70274 62144 100 | 0.013 % |
855.98/856.48 c | 982680 | 1100 83164 277188 | 70274 62291 100 | 0.000 % |
856.18/856.62 c | 982842 | 1100 83164 277188 | 70274 62453 100 | 0.000 % |
856.28/856.74 c | 983018 | 1100 83164 277188 | 70274 62629 100 | 0.000 % |
856.49/856.95 c | 983211 | 1100 83164 277188 | 70274 62822 100 | 0.000 % |
856.68/857.14 c | 983423 | 1100 83164 277188 | 70274 63034 100 | 0.000 % |
856.88/857.37 c | 983656 | 1100 83164 277188 | 70274 63267 101 | 0.000 % |
857.08/857.56 c | 983913 | 1100 83164 277188 | 70274 63524 101 | 0.000 % |
857.28/857.79 c | 984197 | 1100 83164 277188 | 70274 63808 101 | 0.000 % |
857.58/858.06 c | 984506 | 1100 83164 277188 | 70274 64117 101 | 0.000 % |
857.88/858.39 c | 984845 | 1100 83164 277188 | 70274 64456 101 | 0.000 % |
858.28/858.72 c | 985217 | 1100 83164 277188 | 70274 64828 101 | 0.014 % |
858.58/859.08 c | 985626 | 1100 83164 277188 | 70274 65237 101 | 0.000 % |
858.98/859.45 c | 986077 | 1100 83164 277188 | 70274 65688 101 | 0.013 % |
859.38/859.89 c | 986573 | 1100 83164 277188 | 70274 66184 101 | 0.000 % |
859.88/860.33 c | 987120 | 1100 83164 277188 | 70274 66731 102 | 0.000 % |
860.38/860.84 c | 987717 | 1100 83164 277188 | 70274 67328 102 | 0.000 % |
860.98/861.42 c | 988372 | 1100 83164 277188 | 70274 67983 102 | 0.000 % |
861.58/862.01 c | 989092 | 1100 83164 277188 | 70274 68703 102 | 0.000 % |
862.28/862.72 c | 989885 | 1100 83164 277188 | 70274 69496 103 | 0.000 % |
862.98/863.44 c | 990756 | 1100 83164 277188 | 2147483647 70367 103 | 0.000 % |
863.68/864.17 c | 991714 | 1100 83164 277188 | 2147483647 71325 103 | 0.000 % |
864.38/864.86 c | 992768 | 1100 83164 277188 | 2147483647 72379 103 | 0.000 % |
865.38/865.87 c | 993927 | 1100 83164 277188 | 2147483647 73538 103 | 0.013 % |
866.48/866.91 c | 995200 | 1100 83164 277188 | 2147483647 74811 102 | 0.013 % |
867.78/868.23 c | 996601 | 1100 83164 277188 | 2147483647 76212 102 | 0.013 % |
869.28/869.70 c | 998141 | 1100 83164 277188 | 2147483647 77752 102 | 0.013 % |
870.68/871.16 c | 999837 | 1100 83164 277188 | 2147483647 79448 102 | 0.000 % |
872.27/872.77 c | 1001702 | 1100 83164 277188 | 2147483647 81313 103 | 0.000 % |
874.08/874.53 c | 1003751 | 1100 83164 277188 | 2147483647 83362 103 | 0.011 % |
876.07/876.56 c | 1006008 | 1100 83164 277188 | 2147483647 85619 102 | 0.013 % |
878.07/878.58 c | 1008488 | 1100 83164 277188 | 2147483647 88099 103 | 0.000 % |
880.87/881.32 c | 1011216 | 1100 83164 277188 | 89612 80872 99 | 0.000 % |
883.47/883.96 c | 1014213 | 1100 83164 277188 | 89612 83869 99 | 0.014 % |
886.07/886.55 c | 1017513 | 1100 83164 277188 | 89612 87169 98 | 0.014 % |
889.67/890.10 c | 1021138 | 1100 83164 277188 | 2147483647 90794 100 | 0.000 % |
893.77/894.28 c | 1025126 | 1100 83164 277188 | 2147483647 94782 100 | 0.000 % |
899.56/900.03 c | 1029511 | 1100 83164 277188 | 2147483647 99167 101 | 0.000 % |
905.46/905.90 c | 1034334 | 1100 83164 277188 | 99657 86853 101 | 0.000 % |
911.06/911.58 c | 1039640 | 1100 83164 277188 | 99657 92159 103 | 0.000 % |
917.56/918.00 c | 1045475 | 1100 83164 277188 | 92521 83537 105 | 0.000 % |
924.66/925.15 c | 1051894 | 1100 83164 277188 | 88062 73994 102 | 0.000 % |
933.15/933.70 c | 1058954 | 1100 83164 277188 | 88062 81054 101 | 0.000 % |
939.65/940.18 c | 1066718 | 1100 83164 277188 | 82100 74980 96 | 0.000 % |
948.85/949.38 c | 1075262 | 1100 83164 277188 | 78265 71902 92 | 0.014 % |
962.84/963.30 c | 1084657 | 1100 83164 277188 | 76642 66471 87 | 0.014 % |
962.94/963.45 c | 1084759 | 1100 83164 277188 | 76642 66573 87 | 0.014 % |
963.04/963.59 c | 1084869 | 1100 83164 277188 | 76642 66683 87 | 0.013 % |
963.24/963.76 c | 1084990 | 1100 83164 277188 | 76642 66804 87 | 0.014 % |
963.44/963.94 c | 1085123 | 1100 83164 277188 | 76642 66937 87 | 0.013 % |
963.54/964.09 c | 1085270 | 1100 83164 277188 | 76642 67084 87 | 0.014 % |
963.74/964.26 c | 1085431 | 1100 83164 277188 | 76642 67245 87 | 0.014 % |
963.94/964.42 c | 1085607 | 1100 83164 277188 | 76642 67421 87 | 0.014 % |
964.14/964.63 c | 1085800 | 1100 83164 277188 | 76642 67614 87 | 0.000 % |
964.24/964.78 c | 1086014 | 1100 83164 277188 | 76642 67828 87 | 0.000 % |
964.54/965.00 c | 1086248 | 1100 83164 277188 | 76642 68062 87 | 0.000 % |
964.74/965.20 c | 1086505 | 1100 83164 277188 | 76642 68319 87 | 0.012 % |
964.94/965.45 c | 1086786 | 1100 83164 277188 | 76642 68600 87 | 0.000 % |
965.14/965.69 c | 1087095 | 1100 83164 277188 | 76642 68909 87 | 0.000 % |
965.44/965.95 c | 1087435 | 1100 83164 277188 | 76642 69249 88 | 0.000 % |
965.74/966.21 c | 1087808 | 1100 83164 277188 | 76642 69622 88 | 0.013 % |
965.94/966.48 c | 1088217 | 1100 83164 277188 | 76642 70031 88 | 0.011 % |
966.24/966.72 c | 1088666 | 1100 83164 277188 | 76642 70480 87 | 0.000 % |
966.54/967.07 c | 1089161 | 1100 83164 277188 | 76642 70975 87 | 0.000 % |
966.94/967.46 c | 1089704 | 1100 83164 277188 | 76642 71518 87 | 0.000 % |
967.44/968.00 c | 1090300 | 1100 83164 277188 | 71814 72114 87 | 0.000 % |
968.03/968.58 c | 1090955 | 1100 83164 277188 | 71814 61435 80 | 0.000 % |
968.43/969.00 c | 1091676 | 1100 83164 277188 | 71814 62156 79 | 0.011 % |
968.93/969.47 c | 1092469 | 1100 83164 277188 | 71814 62949 79 | 0.000 % |
969.43/969.92 c | 1093341 | 1100 83164 277188 | 71814 63821 79 | 0.016 % |
969.93/970.44 c | 1094299 | 1100 83164 277188 | 71814 64779 79 | 0.011 % |
970.43/970.96 c | 1095356 | 1100 83164 277188 | 71814 65836 78 | 0.016 % |
971.03/971.59 c | 1096514 | 1100 83164 277188 | 71814 66994 78 | 0.016 % |
972.03/972.59 c | 1097787 | 1100 83164 277188 | 71814 68267 80 | 0.000 % |
972.94/973.45 c | 1099187 | 1100 83164 277188 | 71814 69667 81 | 0.000 % |
973.83/974.37 c | 1100727 | 1100 83164 277188 | 2147483647 71207 81 | 0.000 % |
975.23/975.72 c | 1102422 | 1100 83164 277188 | 2147483647 72902 81 | 0.000 % |
976.93/977.45 c | 1104286 | 1100 83164 277188 | 2147483647 74766 82 | 0.000 % |
978.83/979.37 c | 1106335 | 1100 83164 277188 | 2147483647 76815 83 | 0.000 % |
980.43/980.95 c | 1108591 | 1100 83164 277188 | 2147483647 79071 83 | 0.000 % |
982.63/983.15 c | 1111072 | 1100 83164 277188 | 2147483647 81552 85 | 0.000 % |
984.53/985.07 c | 1113799 | 1100 83164 277188 | 2147483647 84279 87 | 0.000 % |
986.83/987.31 c | 1116796 | 1100 83164 277188 | 2147483647 87276 87 | 0.000 % |
989.53/990.05 c | 1120092 | 1100 83164 277188 | 2147483647 90572 88 | 0.013 % |
994.42/994.91 c | 1123718 | 1100 83164 277188 | 2147483647 94198 91 | 0.000 % |
998.82/999.38 c | 1127706 | 1100 83164 277188 | 2147483647 98186 93 | 0.000 % |
1002.62/1003.11 c | 1132093 | 1100 83164 277188 | 100480 91754 90 | 0.000 % |
1007.83/1008.35 c | 1136916 | 1100 83164 277188 | 100480 96577 92 | 0.000 % |
1013.13/1013.61 c | 1142222 | 1100 83164 277188 | 99661 90162 93 | 0.000 % |
1018.32/1018.86 c | 1148057 | 1100 83164 277188 | 99661 95997 93 | 0.000 % |
1026.62/1027.12 c | 1154476 | 1100 83164 277188 | 97940 87723 101 | 0.000 % |
1035.12/1035.61 c | 1161536 | 1100 83164 277188 | 93247 76616 106 | 0.000 % |
1045.91/1046.45 c | 1169300 | 1100 83164 277188 | 93247 84380 108 | 0.000 % |
1058.01/1058.51 c | 1177845 | 1100 83164 277188 | 85080 76099 110 | 0.014 % |
1067.70/1068.29 c | 1187239 | 1100 83164 277188 | 78254 69665 104 | 0.000 % |
1077.60/1078.17 c | 1197572 | 1100 83164 277188 | 72426 66628 101 | 0.000 % |
1077.80/1078.31 c | 1197673 | 1100 83164 277188 | 72426 66729 101 | 0.000 % |
1077.90/1078.45 c | 1197784 | 1100 83164 277188 | 72426 66840 101 | 0.000 % |
1078.00/1078.58 c | 1197905 | 1100 83164 277188 | 72426 66961 101 | 0.000 % |
1078.20/1078.72 c | 1198039 | 1100 83164 277188 | 72426 67095 101 | 0.000 % |
1078.30/1078.88 c | 1198186 | 1100 83164 277188 | 72426 67242 101 | 0.000 % |
1078.50/1079.02 c | 1198348 | 1100 83164 277188 | 72426 67404 101 | 0.000 % |
1078.70/1079.20 c | 1198525 | 1100 83164 277188 | 72426 67581 101 | 0.000 % |
1078.90/1079.47 c | 1198718 | 1100 83164 277188 | 72426 67774 101 | 0.000 % |
1079.20/1079.70 c | 1198931 | 1100 83164 277188 | 72426 67987 101 | 0.000 % |
1079.40/1079.96 c | 1199164 | 1100 83164 277188 | 72426 68220 101 | 0.000 % |
1079.70/1080.23 c | 1199422 | 1100 83164 277188 | 72426 68478 101 | 0.000 % |
1080.00/1080.53 c | 1199703 | 1100 83164 277188 | 72426 68759 101 | 0.000 % |
1080.30/1080.83 c | 1200016 | 1100 83164 277188 | 69057 69072 101 | 0.000 % |
1080.80/1081.33 c | 1200356 | 1100 83164 277188 | 69057 58268 101 | 0.000 % |
1081.20/1081.77 c | 1200729 | 1100 83164 277188 | 69057 58641 101 | 0.000 % |
1081.60/1082.12 c | 1201138 | 1100 83164 277188 | 69057 59050 101 | 0.000 % |
1082.00/1082.54 c | 1201587 | 1100 83164 277188 | 69057 59499 102 | 0.000 % |
1082.60/1083.14 c | 1202081 | 1100 83164 277188 | 69057 59993 102 | 0.000 % |
1083.30/1083.85 c | 1202624 | 1100 83164 277188 | 69057 60536 102 | 0.000 % |
1083.90/1084.43 c | 1203221 | 1100 83164 277188 | 69057 61133 103 | 0.000 % |
1084.50/1085.06 c | 1203877 | 1100 83164 277188 | 69057 61789 103 | 0.000 % |
1085.10/1085.69 c | 1204597 | 1100 83164 277188 | 69057 62509 103 | 0.000 % |
1085.99/1086.59 c | 1205389 | 1100 83164 277188 | 69057 63301 104 | 0.000 % |
1086.79/1087.37 c | 1206260 | 1100 83164 277188 | 69057 64172 104 | 0.000 % |
1087.49/1088.08 c | 1207220 | 1100 83164 277188 | 69057 65132 104 | 0.000 % |
1088.29/1088.90 c | 1208275 | 1100 83164 277188 | 69057 66187 104 | 0.013 % |
1089.19/1089.76 c | 1209433 | 1100 83164 277188 | 69057 67345 104 | 0.000 % |
1090.39/1090.96 c | 1210708 | 1100 83164 277188 | 67912 68620 103 | 0.000 % |
1091.69/1092.27 c | 1212111 | 1100 83164 277188 | 67912 61612 100 | 0.000 % |
1092.99/1093.56 c | 1213651 | 1100 83164 277188 | 67912 63152 99 | 0.013 % |
1094.09/1094.70 c | 1215346 | 1100 83164 277188 | 67912 64847 99 | 0.000 % |
1095.49/1096.00 c | 1217212 | 1100 83164 277188 | 67912 66713 98 | 0.012 % |
1096.99/1097.56 c | 1219263 | 1100 83164 277188 | 67912 61901 96 | 0.000 % |
1098.49/1099.07 c | 1221517 | 1100 83164 277188 | 2147483647 64155 95 | 0.000 % |
1100.69/1101.27 c | 1223996 | 1100 83164 277188 | 2147483647 66634 97 | 0.000 % |
1103.29/1103.86 c | 1226722 | 1100 83164 277188 | 2147483647 69360 98 | 0.000 % |
1105.78/1106.31 c | 1229719 | 1100 83164 277188 | 2147483647 72357 98 | 0.000 % |
1108.98/1109.55 c | 1233016 | 1100 83164 277188 | 2147483647 75654 98 | 0.000 % |
1113.48/1114.04 c | 1236641 | 1100 83164 277188 | 2147483647 79279 100 | 0.000 % |
1118.38/1118.91 c | 1240628 | 1100 83164 277188 | 82639 83266 101 | 0.000 % |
1123.28/1123.82 c | 1245014 | 1100 83164 277188 | 82639 75599 98 | 0.000 % |
1129.08/1129.62 c | 1249838 | 1100 83164 277188 | 82639 80423 100 | 0.000 % |
1134.07/1134.63 c | 1255146 | 1100 83164 277188 | 80585 72226 98 | 0.000 % |
1140.08/1140.67 c | 1260982 | 1100 83164 277188 | 77080 65395 94 | 0.000 % |
1145.87/1146.43 c | 1267401 | 1100 83164 277188 | 77080 71814 94 | 0.000 % |
1153.57/1154.16 c | 1274468 | 1100 83164 277188 | 74414 66639 91 | 0.000 % |
1160.86/1161.47 c | 1282232 | 1100 83164 277188 | 72172 62000 87 | 0.000 % |
1169.87/1170.43 c | 1290772 | 1100 83164 277188 | 69768 58809 81 | 0.000 % |
1178.46/1179.04 c | 1300167 | 1100 83164 277188 | 68039 68204 79 | 0.000 % |
1186.36/1186.91 c | 1310501 | 1100 83164 277188 | 2147483647 68781 74 | 0.014 % |
1195.25/1195.87 c | 1321868 | 1100 83164 277188 | 2147483647 80148 84 | 0.000 % |
1195.35/1195.95 c | 1321968 | 1100 83164 277188 | 2147483647 80248 84 | 0.000 % |
1195.45/1196.04 c | 1322079 | 1100 83164 277188 | 2147483647 80359 84 | 0.013 % |
1195.55/1196.14 c | 1322201 | 1100 83164 277188 | 2147483647 80481 84 | 0.000 % |
1195.65/1196.27 c | 1322336 | 1100 83164 277188 | 2147483647 80616 84 | 0.000 % |
1195.85/1196.44 c | 1322483 | 1100 83164 277188 | 2147483647 80763 84 | 0.000 % |
1196.05/1196.61 c | 1322643 | 1100 83164 277188 | 2147483647 80923 84 | 0.000 % |
1196.15/1196.77 c | 1322820 | 1100 83164 277188 | 2147483647 81100 84 | 0.000 % |
1196.35/1196.95 c | 1323014 | 1100 83164 277188 | 2147483647 81294 84 | 0.000 % |
1196.55/1197.13 c | 1323227 | 1100 83164 277188 | 2147483647 81507 84 | 0.000 % |
1196.65/1197.29 c | 1323463 | 1100 83164 277188 | 2147483647 81743 85 | 0.000 % |
1196.95/1197.51 c | 1323723 | 1100 83164 277188 | 2147483647 82003 85 | 0.000 % |
1197.15/1197.72 c | 1324004 | 1100 83164 277188 | 2147483647 82284 85 | 0.000 % |
1197.35/1197.96 c | 1324313 | 1100 83164 277188 | 2147483647 82593 85 | 0.000 % |
1197.65/1198.25 c | 1324653 | 1100 83164 277188 | 2147483647 82933 85 | 0.000 % |
1197.95/1198.58 c | 1325026 | 1100 83164 277188 | 2147483647 83306 85 | 0.000 % |
1198.35/1198.94 c | 1325436 | 1100 83164 277188 | 2147483647 83716 85 | 0.000 % |
1198.75/1199.35 c | 1325885 | 1100 83164 277188 | 2147483647 84165 85 | 0.000 % |
1199.25/1199.85 c | 1326378 | 1100 83164 277188 | 2147483647 84658 85 | 0.000 % |
1199.75/1200.30 c | 1326920 | 1100 83164 277188 | 2147483647 85200 86 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834141-1242828452/watcher-1834141-1242828452 -o /tmp/evaluation-result-1834141-1242828452/solver-1834141-1242828452 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834141-1242828452.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10874
/proc/meminfo: memFree=1825072/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 310879881 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 259353444434 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/10874/statm: 1339 235 195 169 0 50 0
[pid=10875] ppid=10874 vsize=5356 CPUtime=0
/proc/10875/stat : 10875 (SatELiteGTI) R 10874 10874 10519 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310879882 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/10875/statm: 1339 238 198 169 0 50 0
[pid=10877] ppid=10875 vsize=0 CPUtime=0
/proc/10877/stat : 10877 (sed) Z 10875 10874 10519 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310879882 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/10877/statm: 0 0 0 0 0 0 0
[startup+0.0499541 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10874
/proc/meminfo: memFree=1825072/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310879881 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10874/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102757 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10874
/proc/meminfo: memFree=1825072/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310879881 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10874/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301796 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10874
/proc/meminfo: memFree=1825072/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310879881 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10874/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701883 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 10874
/proc/meminfo: memFree=1825072/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 5356
[startup+1.50303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1816600/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=8624 CPUtime=1.03
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 2050 0 0 0 102 1 0 0 25 0 1 0 310879927 8830976 2036 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 2156 2036 77 171 0 1983 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13980
[startup+3.10135 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1814040/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=11460 CPUtime=2.63
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 2765 0 0 0 261 2 0 0 25 0 1 0 310879927 11735040 2751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 2865 2751 77 171 0 2692 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16816
[startup+6.30299 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1808536/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=16508 CPUtime=5.83
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 4005 0 0 0 580 3 0 0 25 0 1 0 310879927 16904192 3991 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 4127 3991 77 171 0 3954 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 21864
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1800992/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=23320 CPUtime=12.23
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 5711 0 0 0 1218 5 0 0 25 0 1 0 310879927 23879680 5697 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 5830 5697 77 171 0 5657 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 28676
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1790816/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=33076 CPUtime=25.03
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 8127 0 0 0 2495 8 0 0 25 0 1 0 310879927 33869824 8113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 8269 8113 77 171 0 8096 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 38432
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1777312/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=46596 CPUtime=50.61
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 11515 0 0 0 5050 11 0 0 25 0 1 0 310879927 47714304 11501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 11649 11501 77 171 0 11476 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 51952
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1772832/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=101.79
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12570 0 0 0 10166 13 0 0 25 0 1 0 310879927 52039680 12556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12556 77 171 0 12532 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 56176
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1772640/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=161.76
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12570 0 0 0 16162 14 0 0 25 0 1 0 310879927 52039680 12556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12556 77 171 0 12532 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 56176
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1772576/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=221.72
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12570 0 0 0 22158 14 0 0 25 0 1 0 310879927 52039680 12556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12556 77 171 0 12532 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 56176
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1772512/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=281.7
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12571 0 0 0 28155 15 0 0 25 0 1 0 310879927 52039680 12557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12557 77 171 0 12532 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 56176
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1772392/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=341.67
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12571 0 0 0 34152 15 0 0 25 0 1 0 310879927 52039680 12557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12557 77 171 0 12532 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 56176
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1772328/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=401.63
################
# More data... #
################
/proc/10880/statm: 12705 12557 77 171 0 12532 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 56176
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1772008/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=581.56
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12571 0 0 0 58141 15 0 0 25 0 1 0 310879927 52039680 12557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12557 77 171 0 12532 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 56176
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1771944/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=641.54
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12571 0 0 0 64138 16 0 0 25 0 1 0 310879927 52039680 12557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12557 77 171 0 12532 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 56176
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1771752/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=701.51
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12571 0 0 0 70135 16 0 0 25 0 1 0 310879927 52039680 12557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12557 77 171 0 12532 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 56176
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1771688/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=50820 CPUtime=761.48
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 12571 0 0 0 76132 16 0 0 25 0 1 0 310879927 52039680 12557 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 12705 12557 77 171 0 12532 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 56176
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1766440/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=55968 CPUtime=821.46
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13852 0 0 0 82128 18 0 0 25 0 1 0 310879927 57311232 13838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 13992 13838 77 171 0 13819 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 61324
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1766184/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=56132 CPUtime=881.43
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13897 0 0 0 88125 18 0 0 25 0 1 0 310879927 57479168 13883 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 14033 13883 77 171 0 13860 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 61488
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1765928/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=56264 CPUtime=941.41
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13937 0 0 0 94123 18 0 0 25 0 1 0 310879927 57614336 13923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 14066 13923 77 171 0 13893 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 61620
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1765864/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=56264 CPUtime=1001.38
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13937 0 0 0 100120 18 0 0 25 0 1 0 310879927 57614336 13923 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 14066 13923 77 171 0 13893 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 61620
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1765800/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=56264 CPUtime=1061.36
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13937 0 0 0 106117 19 0 0 25 0 1 0 310879927 57614336 13923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 14066 13923 77 171 0 13893 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 61620
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1765736/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=56264 CPUtime=1121.34
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13937 0 0 0 112115 19 0 0 25 0 1 0 310879927 57614336 13923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 14066 13923 77 171 0 13893 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 61620
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1765672/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=56264 CPUtime=1181.32
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13937 0 0 0 118113 19 0 0 25 0 1 0 310879927 57614336 13923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 14066 13923 77 171 0 13893 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 61620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 10880
/proc/meminfo: memFree=1765672/2055920 swapFree=4180316/4192956
[pid=10874] ppid=10872 vsize=5356 CPUtime=0.44
/proc/10874/stat : 10874 (SatELiteGTI) S 10872 10874 10519 0 -1 4194304 336 2086 0 0 0 0 43 1 16 0 1 0 310879881 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10874/statm: 1339 239 197 169 0 50 0
[pid=10880] ppid=10874 vsize=56264 CPUtime=1199.61
/proc/10880/stat : 10880 (minisat_static) R 10874 10874 10519 0 -1 4194304 13937 0 0 0 119942 19 0 0 25 0 1 0 310879927 57614336 13923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/10880/statm: 14066 13923 77 171 0 13893 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 61620
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 10874 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=432934
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.448931
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.85
CPU system time (s): 0.2
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 61620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.432934
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2422
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= 7
runsolver used 1.51077 second user time and 2.98355 second system time
The end
Begin job on node1 at 2009-05-20 16:07:32
IDJOB=1834141
IDBENCH=71613
IDSOLVER=671
FILE ID=node1/1834141-1242828452
PBS_JOBID= 9322543
Free space on /tmp= 66200 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v1150c84314gyes1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834141-1242828452/watcher-1834141-1242828452 -o /tmp/evaluation-result-1834141-1242828452/solver-1834141-1242828452 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834141-1242828452.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d217d44a5e3291823bfd6ded60a7812f
RANDOM SEED=1406920679
node1.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.259
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 : 5931.00
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.259
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: 1825552 kB
Buffers: 23592 kB
Cached: 168072 kB
SwapCached: 6760 kB
Active: 126996 kB
Inactive: 72932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1825552 kB
SwapTotal: 4192956 kB
SwapFree: 4180316 kB
Dirty: 2588 kB
Writeback: 0 kB
Mapped: 13436 kB
Slab: 16476 kB
Committed_AS: 1098812 kB
PageTables: 1456 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= 66196 MiB
End job on node1 at 2009-05-20 16:27:35